00:05:29 boily: That's a tough question. Water where there's more ice than liquid water perhaps? 00:06:06 I don't like soda, and if you were on at the time you'd know I'm too young to consume alcohol legally in America, so my options are limited to water and chocolate milk, really. 00:06:24 boily: what's the other? 00:07:33 Let me guess 00:07:35 Fungot? 00:07:38 hppavilion[1]: coffee, tea, yerba mate, kombucha, kvass, mango lassi? 00:08:01 chelloppro. I'm still thinking about it. probably fungotland. 00:08:01 boily: be in cahoots with! you guess none the wiser, you board the shuttle. next stop, it's unbecoming these movies are great. you don't care what the consequences. they allude to other things as well? 00:08:09 boily: Don't like coffee, not british, don't know what the rest of thoe are (though I can guess that the last one contains Mangos xD) 00:09:07 a lassi is a yogurty drink. 00:15:56 Mango lassi is pretty good. 00:17:53 pikhelloq. any beveragey preferences? 00:24:41 orxata! 00:25:00 Is a lassi similar to irssi? 00:25:03 or... glogg! 00:25:18 (this kb doesnt international) 00:27:03 Voiko lasata? 00:27:14 <\oren\> konboilyha, quintossupia, tswello, hippavilion[1]!!!! 00:27:47 <\oren\> pikchao 00:28:13 <\oren\> * pnikchao 00:28:48 `? pikachu 00:28:51 pikachu? ¯\(°_o)/¯ 00:28:55 <\oren\> screw it. ni hao, pikhq 00:29:45 pnikchao++ 00:30:01 quintopia: I never tried horchata nor glogg. are they good? 00:30:22 \bonsoiren\! 00:31:36 boily: I like coffee, I like beer, I like tea, I like yerba, I like mango lassi, I like soda... 00:31:41 My fav soda is Dr Pepper. 00:32:47 A&W Root Beer. 00:32:49 Ooh, I like boily's greeting. 00:33:16 <\oren\> Brio chinotto 00:34:39 I enjoily it. 00:37:55 <\oren\> lifthrasiir: Wow, you added Armenian already! 00:40:54 lifthellorasiir. do you have a link to your font? 00:45:26 <\oren\> boily: lifthrasiir's font is at https://lifthrasiir.github.io/unison/sample.html 00:46:10 [wiki] [[COW]] http://esolangs.org/w/index.php?diff=45818&oldid=40934 * PixelToast * (+3593) Added instructions and hello world code 00:46:18 <^v> my first contribution to the wiki \o/ 00:53:51 ^hello! 00:53:59 (or is it hellov?) 00:54:21 You know what an awesome way to annoy other mathematicians would be? 00:54:49 hm? 00:55:00 Write "(modulus ∞)" after every formula that isn't "(modulus )" 00:56:02 -!- sebbu has quit (Ping timeout: 272 seconds). 00:56:19 \oren\: that was the next alphabet after Cyrillic :p 00:56:33 and my tear was shed when I saw the Armenian Eternity Sign 00:58:11 -!- sebbu has joined. 01:01:27 <\oren\> I don't have that one 01:01:57 that was a latter addition AFAIK 01:02:00 7.0 or 8.0 I think 01:02:34 oh, that was 7.0 01:02:56 it took a lot to get a reasonable glyph 01:03:08 <\oren\> ha. $\textrm{modulo}\;\infty$ 01:03:47 Congruent mod infinity. I like it. 01:03:51 aka \pmod{\infty}? 01:04:57 tswett: can be an actually useful concept when you have a cardinal or ordinal number :p 01:09:27 abita makes a damn good root beer 01:13:19 what's an abita about? 01:16:51 boily: abita this and abita that 01:17:11 * oerjan braces 01:18:12 * oerjan pokes boily 01:19:54 sorry, was midway through supper. 01:20:02 ah. 01:20:08 * boily flexes, practices a few swings 01:20:20 * boily *THWACKS* oerjan 01:20:42 * oerjan sails 30 m through the air 01:21:08 a perfectly parabolical tragectory. 01:39:24 AAAAAAAAAAAAAAAAAAAAAAAAAAARGH! 01:39:29 a fungotting newt killed me. 01:39:29 boily: only one of the previously mentioned it is your birthday. a number of cakes are scattered about your room. you of course it was a nasty pair of trick! he has to go on crazy. 01:39:50 fungot: my birthday is in some days. 01:39:50 boily: that happens, right. the old things i've been angry about. 01:39:58 fungot: once per year. 01:39:58 boily: a young man stands in his bedroom. 01:40:04 fungot: I'm sitting. 01:41:19 What is fungot? 01:41:19 zgrep: you you might be here too. minus 5 build a way up the echeladder a while. 01:41:25 I am here. 01:46:09 oerjan: I be to this I be to that? 01:46:32 boily: you're new-nethacking? 01:46:47 no, DCSSing. 01:46:50 ah 01:49:24 -!- mihow has quit (Quit: mihow). 01:49:46 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 01:56:56 -!- pikhq has quit (Remote host closed the connection). 01:57:04 -!- pikhq has joined. 01:57:51 -!- hppavilion[1] has joined. 02:03:33 -!- boily has quit (Quit: PROTECTED CHICKEN). 02:17:03 -!- jaboja has quit (Read error: Connection reset by peer). 02:17:46 -!- jaboja has joined. 02:17:50 just started using Unison as a terminal font. 02:18:25 not that bad, except that it does not have a fine-tuned bitmap glyph in smaller size 02:19:55 was there a conversation in here where people figured out that recent spectral gap uncomputability result yet 02:20:08 because these guys are making some p. dubious claims about axiomatic independence 02:23:19 they seem to construct a universal wang tiling in the appropriate context, but that doesn't give you independence... right? 02:30:20 -!- mauris has joined. 02:32:58 * oerjan declares this question over his head 02:34:29 oh, new shtetl optimized post 02:38:58 <\oren\> lifthrasiir: you have it in ttf? 02:39:04 yeah 02:39:29 https://github.com/lifthrasiir/unison/blob/gh-pages/unison.ttf 02:39:34 <\oren\> yay 02:40:09 it is not optimized at all, have some performance problem (due to a large number of composite glyphs I think) 02:40:13 but it is at least usable 02:40:32 <\oren\> optimized? 02:40:57 Yay! I made a simple program for graphing! 02:41:06 Now I can look at cool sum-of-sine-wave things! 02:41:13 <\oren\> what't the native size? 02:41:21 12pt (16px). 02:41:58 <\oren\> ah ok, then I don't need to adjust the size 02:41:59 it does not have a bitmap info (yet), so subpixel rendering is up to the rendering engine 02:42:25 in my terminal (PuTTY) the half-filled pixel seems to be too bright 02:42:42 <\oren\> yah a little 02:42:45 ultimately a proper hinting and/or bitmap data should be added to solve that 02:42:57 <\oren\> I'm using a variant of putty 02:43:06 <\oren\> Pietty 02:45:24 <\oren\> `` u8tbl 0xA0 0x100 02:45:31 bash: u8tbl: command not found 02:45:43 <\oren\> `` ./u8tbl 0xA0 0x100 02:45:45 ¡¢£¤¥¦§¨©ª«¬®¯ \ °±²³´µ¶·¸¹º»¼½¾¿ \ ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏ \ ÐÑÒÓÔÕÖ×ØÙÚÛÜÝÞß \ àáâãäåæçèéêëìíîï \ ðñòóôõö÷øùúûüýþÿ \ Ā 02:46:10 -!- andrew has joined. 02:46:39 <\oren\> `` ./u8tbl 0x100 0x17f 02:46:40 ĀāĂăĄąĆćĈĉĊċČčĎď \ ĐđĒēĔĕĖėĘęĚěĜĝĞğ \ ĠġĢģĤĥĦħĨĩĪīĬĭĮį \ İıĲĳĴĵĶķĸĹĺĻļĽľĿ \ ŀŁłŃńŅņŇňŉŊŋŌōŎŏ \ ŐőŒœŔŕŖŗŘřŚśŜŝŞş \ ŠšŢţŤťŦŧŨũŪūŬŭŮů \ ŰűŲųŴŵŶŷŸŹźŻżŽžſ 02:46:51 some are missing, sorry 02:48:18 `` mv u8tbl bin; mv u8tbl.c src 02:48:23 No output. 02:48:47 sin**n(x) is an interesting thing 02:49:25 \oren\: fixed that 02:49:54 <\oren\> yaaaay 02:50:30 `` utf8tbl 0x58d 0x58f 02:50:32 bash: utf8tbl: command not found 02:50:34 `` u8tbl 0x58d 0x58f 02:50:36 ֍֎֏ 02:50:47 hahaha, ambiguous asian width 02:52:58 Why does a cubic function never actually loop back down when I graph it? 02:53:12 It appears to flatten out in the middle before going up, but it never dips 02:55:29 well if its derivative never crosses zero, that would happen 02:56:08 so e.g. x^3 won't dip 02:56:24 but x^3 - C x for C > 0 will 02:57:46 (derivative being 3*x^2 - C) 03:03:32 -!- jaboja has quit (Ping timeout: 256 seconds). 03:12:11 -!- aloril has quit (Ping timeout: 260 seconds). 03:26:07 -!- aloril has joined. 03:28:55 -!- tromp has joined. 03:29:52 <\oren\> lifthrasiir: those look halfwidth to me 03:31:26 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 03:31:45 <\oren\> http://www.orenwatson.be/sjdjs.png 03:41:16 <\oren\> 産畑病発登皮状狂狙狩狭省着短研秒種積究章 03:41:17 <\oren\> 童競等箱節粉紀約級終結給続緑練置脈腸 03:41:25 <\oren\> i also updated my font 04:01:32 -!- aretecode has quit (Read error: Connection reset by peer). 04:01:54 -!- ^v^v has joined. 04:10:18 If we can define algebras, can we define trigonometries? 04:10:38 I'd like to see Kleene Trig so I can figure out what sin("walrus") is 04:10:51 -!- glowcoil has changed nick to incomprehensibly. 04:13:33 \oren\: Have any idea how I could go about doing that? 04:13:54 (Oh, and in the case of sin("walrus"), we're dealing with the ASCIIbet) 04:24:56 -!- v^ has joined. 04:25:10 https://upload.wikimedia.org/wikipedia/commons/9/9d/Circle-trig6.svg 04:25:12 Oh god 04:25:36 And that doesn't take into account a..., ...h, and a...h 04:27:15 -!- ^v^v has quit (Ping timeout: 240 seconds). 04:27:24 What happens if we use rectangles instead of right triangles? 04:35:41 Ugh. Why doesn't math support ALL the trig functions? xD 04:42:12 <\oren\> which math 04:43:18 mainly because everything beyond sin, cos, and arctan can be easily rewritten in terms of those 04:43:59 iirc sec x is just 1 / cos x for example 04:44:31 (we didn't even learn those in high school afair) 04:49:20 I got the vague impression those were only used in the US these days. 04:52:32 -!- tromp has quit (Remote host closed the connection). 04:53:17 -!- tromp has joined. 04:53:24 \oren\: yeah, same to me (the eterenity signs I meant) 04:53:35 not sure but probably PuTTY has its own wcwidth impl? 04:54:02 and bingo, `wcwidth.c` 04:54:18 I seriously don't like the wcwidth approach at all 04:56:50 -!- PupUser0443db has joined. 04:57:46 -!- PupUser0443db has left. 05:03:47 -!- tromp has quit (Ping timeout: 250 seconds). 05:13:04 oerjan: Ah. 05:14:27 oerjan: Is there a place where I can find a table of those definitions? 05:16:38 dunno 05:25:48 oerjan: I figured it out 05:26:14 cot(x) is 1/tan(x), right? 05:26:18 i assumed you would 05:26:21 Or is it atan because of what you said above? 05:26:37 definitely not atan 05:26:43 OK, good 05:26:58 atan is what you need for the inverses. 05:27:02 And would I be right to assume you just divide by the inverse to get the inverse of the derived function? 05:27:05 OK 05:27:23 um... 05:28:08 * oerjan seems to have half forgotten the rule for differentiating inverses 05:28:34 f(g(x)) = x gives g'(x)*f'(g(x)) = 1 05:29:23 so (f^-1)'(x) = 1/f'(f^-1(x)) 05:30:14 the inverse of the derived function may not be that easy. 05:31:05 -!- tromp has joined. 05:35:25 -!- tromp has quit (Ping timeout: 250 seconds). 05:46:15 -!- andrew has quit (Ping timeout: 250 seconds). 05:46:43 -!- andrew has joined. 06:11:06 -!- Phantom_Hoover has joined. 06:29:53 -!- Phantom_Hoover has quit (Remote host closed the connection). 06:32:31 -!- tromp has joined. 06:37:10 -!- tromp has quit (Ping timeout: 256 seconds). 07:29:56 -!- oerjan has quit (Quit: leaving). 07:31:26 -!- Welo has joined. 07:35:12 -!- Patashu has joined. 07:39:16 -!- Patashu has quit (Remote host closed the connection). 07:39:37 -!- Patashu has joined. 07:40:06 -!- hppavilion[1] has quit (Ping timeout: 272 seconds). 07:43:32 -!- hppavilion[1] has joined. 08:04:14 -!- Welo has quit (Quit: Leaving). 08:27:42 -!- mroman has joined. 08:27:48 fnard 08:30:08 -!- hppavilion[1] has quit (Ping timeout: 272 seconds). 08:31:05 -!- hppavilion[1] has joined. 08:38:26 -!- J_Arcane has quit (Ping timeout: 256 seconds). 08:52:24 -!- AnotherTest has joined. 08:57:04 hppavilion[1]: ise the power series 08:57:23 b_jonas: ? 08:59:13 hppavilion[1]: "I'd like to see Kleene Trig so I can figure out what sin("walrus") is" 09:01:50 -!- tromp has joined. 09:03:25 -!- AnotherTest has quit (Ping timeout: 250 seconds). 09:04:12 \oren\: for your font samples, maybe you should separate the sample texts to a different page from the characters, and then add Japanese sample text 09:04:20 -!- hppavilion[1] has quit (Ping timeout: 272 seconds). 09:04:57 \oren\: and I'd also like to see sample text of serbian or similar 09:05:05 (that is, serbian or macedonian mostly) 09:05:16 um 09:05:18 I mean cyrillic 09:05:26 serbian cyrillic or macedonian 09:06:52 -!- tromp has quit (Ping timeout: 272 seconds). 09:15:12 -!- AnotherTest has joined. 09:16:24 \oren\: more about your font. it seems to me as if the deseret letter es ("𐐝" and "𐑅") is mirrored from how it should look like 09:18:13 \oren\: also, in the demo page, I think it would be better if the deseret letters were presented so that the capital letters take up only two lines, not two and a half, and then the small letters take up two lines in the same arrangement 09:19:55 -!- v^ has quit (Read error: Connection reset by peer). 09:22:24 (I don't much like Deseret, but if you have it in your font, do it properly.) 09:28:46 -!- AnotherTest has quit (Ping timeout: 240 seconds). 09:35:02 Anyway, even though there's still many things to be done, I declare my project of moving to the new apartment a success in easy mode. 09:35:55 -!- AnotherTest has joined. 09:36:53 -!- ais523 has joined. 10:10:12 -!- ^v has quit (Ping timeout: 272 seconds). 10:45:39 -!- ais523 has quit. 10:46:35 -!- ais523 has joined. 10:51:10 -!- KOKOLY has joined. 10:59:27 -!- KOKOLY has left ("Closing Window"). 11:11:00 -!- ais523 has quit. 11:11:58 -!- ais523 has joined. 11:19:30 -!- choochter has joined. 11:37:27 -!- boily has joined. 11:40:37 `wisdom 11:41:00 l/L is far too short to be a village in Wales. 11:43:45 -!- AnotherTest has quit (Ping timeout: 250 seconds). 11:52:23 -!- ais523 has quit. 11:52:35 -!- ais523 has joined. 12:04:33 -!- FreeFull has quit (Ping timeout: 250 seconds). 12:05:43 -!- FreeFull has joined. 12:06:44 -!- Patashu has quit (Ping timeout: 272 seconds). 12:10:45 -!- AnotherTest has joined. 12:16:34 -!- ais523 has quit (Quit: lunch). 12:24:16 -!- jaboja has joined. 12:31:01 -!- boily has quit (Quit: TRAVERSABLE CHICKEN). 12:40:57 -!- AnotherTest has quit (Ping timeout: 250 seconds). 12:42:47 -!- AnotherTest has joined. 12:43:07 Very meta; this spam email claims "Your account was detected spam activities and will be fully blocked" (sic), and includes a very spammy-looking "Re-activate now" link into masseyclarkfischer.com/upload/wp-serv/[random garbage].php. 12:47:06 lovely spam 12:47:49 NOTE: Failure to respond to this message, your account will be deactivated from the database. 12:48:19 -!- tromp has joined. 12:49:27 fizzie: that's how you know it's serious 12:50:58 today's been boring on the spam front for me; all I got was an attachment: payment form authentification.rar 12:52:08 been a while since I saw a rar file 12:52:39 -!- tromp has quit (Ping timeout: 250 seconds). 12:52:41 I also got a lot of "find people to date" spam that was in Swedish, over the last week or two, though now it seems to have dried up. 12:52:57 There are some copy_invoice_29845318 12:53:11 Er, copy_invoice_NNNNNNNN.zip's, is what I meant to say. 12:53:22 I always just get the generic ones :L 12:53:26 The dreaded backspace/enter conflict hit again. 12:53:43 "This e-mail is pursuant to your contract with Foreman&Clark Ltd. for ourservices date November 15, 2015 for the amount of $5,487." 12:54:12 -!- andrew has quit (Remote host closed the connection). 12:54:50 That was from "Morton Fitzpatrick, Sales Manager". There's another message sent few hours later naming the same company but an amount of $5,633, sent by "Ulysses Small, Sales Manager". 12:55:01 They've got a lot of Sales Managers at Foreman & Clark Ltd. 12:56:56 -!- TodPunk has quit (Read error: Connection reset by peer). 12:57:03 -!- Tod-Autojoined has joined. 13:01:44 -!- ais523 has joined. 13:01:55 -!- ais523 has quit (Changing host). 13:01:55 -!- ais523 has joined. 13:04:17 -!- ais523 has quit (Client Quit). 13:04:44 -!- ais523 has joined. 13:10:23 [wiki] [[Minsky machine]] http://esolangs.org/w/index.php?diff=45819&oldid=15064 * Ais523 * (+39) /* See also */ +[[Portable Minsky Machine Notation]] (which hopefully won't stay red for long) 13:12:33 [wiki] [[Portable Minsky Machine Notation]] N http://esolangs.org/w/index.php?oldid=45820 * Ais523 * (+6306) Minsky machines are something I discuss a lot (especially recently), and are a well-known and useful system for TCness proofs; it's about time they had the extra practical stuff (notation, etc.) to make them an actual language 13:13:03 [wiki] [[Portable Minsky Machine Notation]] M http://esolangs.org/w/index.php?diff=45821&oldid=45820 * Ais523 * (+0) typo 13:13:36 [wiki] [[Portable Minsky Machine Notation]] M http://esolangs.org/w/index.php?diff=45822&oldid=45821 * Ais523 * (+0) apparently I mentally pronounce hyphens and spaces the same way 13:14:51 [wiki] [[Language list]] http://esolangs.org/w/index.php?diff=45823&oldid=45750 * Ais523 * (+39) /* P */ +[[Portable Minsky Machine Notation]] 13:15:29 [wiki] [[User:Ais523]] http://esolangs.org/w/index.php?diff=45824&oldid=45751 * Ais523 * (+38) +1 13:20:11 fwiw, if you see me create a language page with neither "implemented" nor "unimplemented" on it 13:20:22 it's because an implementation exists but possibly should never be exposed to the public 13:21:53 [wiki] [[Kangaroo]] N http://esolangs.org/w/index.php?oldid=45825 * Ais523 * (+7655) another language I found lying around as a result of [[The Amnesiac From Minsk]] experiments; I'm pretty sure you can compile this one into level 3, but don't have more than a proof sketch yet 13:23:22 [wiki] [[Language list]] http://esolangs.org/w/index.php?diff=45826&oldid=45823 * Ais523 * (+15) /* K */ +[[Kangaroo]] 13:24:04 [wiki] [[User:Ais523]] http://esolangs.org/w/index.php?diff=45827&oldid=45824 * Ais523 * (+14) +1 13:24:16 b_jonas: so wrt your comment a while back about needing to be able to actually run esolangs 13:24:34 my current goal is to write a PMMN compiler that's fast enough to run an Underlambda interp that's written in PMMN 13:24:34 -!- ais523 has quit. 13:24:51 -!- ais523 has joined. 13:25:07 my current goal is to write a PMMN compiler that's fast enough to run an Underlambda interp that's written in PMMN 13:25:13 also to write an Underlambda interp in PMMN 13:29:39 -!- ais523 has quit (Read error: Connection reset by peer). 13:30:41 -!- ais523 has joined. 13:31:16 what is PMMN? 13:32:18 nchambers: http://esolangs.org/wiki/Portable_Minsky_Machine_Notation 13:32:30 i.e. basically minsky machines with actual syntax, rather than being a mathematical conceptualization 13:33:07 ah thanks 13:33:19 I should work on my esolang 13:46:37 ais523: ok 13:47:39 actually I'm on my second attempt now, once I realised that using single static assignment would solve a lot of problems (while introducing new ones) 13:48:43 -!- spiette has joined. 13:49:55 -!- ais523 has quit. 13:51:02 -!- clog has quit (Ping timeout: 260 seconds). 13:57:34 -!- mbrcknl has quit (Ping timeout: 260 seconds). 13:59:11 -!- mbrcknl has joined. 14:12:29 -!- Sgeo has joined. 14:15:36 -!- Sgeo__ has quit (Ping timeout: 256 seconds). 14:49:45 -!- tromp has joined. 14:54:08 -!- tromp has quit (Ping timeout: 256 seconds). 14:55:00 -!- J_Arcane has joined. 14:58:23 -!- jaboja64 has joined. 15:01:46 -!- jaboja has quit (Ping timeout: 240 seconds). 15:44:49 -!- clog has joined. 16:15:00 -!- mroman has quit (Quit: Lost terminal). 16:39:49 -!- LuboBike has joined. 16:40:27 -!- LuboBike has quit (Client Quit). 16:41:14 -!- J_Arcane has quit (Ping timeout: 256 seconds). 16:56:11 -!- AnotherTest has quit (Ping timeout: 250 seconds). 17:04:59 -!- vanila has joined. 17:05:10 has anyone read this new quantum mechanical undecidability result? 17:06:07 http://phys.org/news/2015-12-quantum-physics-problem-unsolvable-godel.html 17:22:10 Is there a Hello-World-Program in Malbolge yet with correct Caps? 17:22:36 Got it 17:22:38 http://rosettacode.org/wiki/Hello_world/Text 17:22:59 Ok, not mixed CAPS 17:24:12 APic: I think there is. have you looked at http://esolangs.org/wiki/Malbolge ? 17:24:23 Not yet 17:24:24 Thanks 17:25:33 http://acooke.org/malbolge.html is the one with mixed Case which i remembered 17:26:40 http://rosettacode.org/wiki/Category:Programming_Tasks and http://rosettacode.org/wiki/Category:Simple shall allow me to write my own 17:46:06 If I see a compiler error message in a bug report, and recognize that it's probably from clang, does that mean I'm programming C too much? 17:49:17 -!- hppavilion[1] has joined. 17:54:35 -!- hppavilion1 has joined. 17:54:39 hippavilion 17:56:36 -!- hppavilion[1] has quit (Ping timeout: 256 seconds). 18:01:37 -!- hppavilion1 has quit (Ping timeout: 250 seconds). 18:02:18 -!- Welo has joined. 18:04:12 -!- hppavilion1 has joined. 18:06:13 -!- tromp has joined. 18:10:12 -!- hppavilion1 has quit (Ping timeout: 256 seconds). 18:10:26 -!- tromp has quit (Ping timeout: 240 seconds). 18:17:10 -!- vanila has left ("Leaving"). 18:18:02 -!- hppavilion1 has joined. 18:18:56 fungot, do you like butterflies? 18:18:56 b_jonas: of apocalypse your thoughts on these developments in your gamefaqs walkthrough/ journal. it can only be a moment. it's a pretty sweet weapon with outstanding juice windfall 18:28:36 -!- AnotherTest has joined. 18:34:02 -!- Phantom_Hoover has joined. 18:53:04 -!- Welo has quit (Quit: Leaving). 19:02:58 I've eliminated many intermediate glyphs that are redundant in the truetype font 19:03:01 I have given up the C++ implementation of W'' for now and am just implementing it in Python 19:04:24 lifthrasiir: as in, automatically? 19:04:29 yup 19:04:33 good 19:04:36 ~^[_ is now an operation on deques. 19:05:24 unison.ttf: 733K -> 654K, unison.woff2: 60K -> 46K 19:05:42 lifthrasiir: will you draw the punctuation characters required for Korean, and then render samples of actual Korean text with the font, so that people can judge aesthetics and readability more than from just the list of characters? 19:06:09 It's equivalent to "`BACK_ROT_LONG_FAR" in W'' 19:06:49 b_jonas: hmm, would UDHR be enough? (as in http://unicode.org/udhr/ ) 19:09:04 lifthrasiir: maybe? I don't know, I don't read Korean. 19:10:58 I also don't know how many punctuation characters you need for typical texts. I assume you need the dot and the comma, but I don't know how much else. 19:11:21 b_jonas: Korean text generally uses same punctuations as western scripts. 19:11:35 (as opposed to Japanese and Chinese) 19:11:39 what? doesn't it use Japanese punctuation marks? 19:11:40 but 19:11:41 ... 19:11:46 how would those fit in a grid? 19:11:54 it doesn't have to 19:12:20 I sort of have the impression that Korean has basically the same grammar as Japenese 19:13:03 that's approximately correct, but Korean writing is much more similar to English writing in general 19:13:42 Similar in what ways? That there are letters that correspond to pronunciation more or less, as opposed to half of the text being written in kanji? 19:15:06 b_jonas: words are separated by spaces, (half-width) period, comma, quotes, excl. mark, ques. mark is in common use (ideographic punctutations were used from time to time but almost extinct nowadays) 19:15:31 I see 19:15:32 you can, though, say that there are some unique punctuations like middle dots in Korean writing 19:15:46 (which are arguably from Japanese) 19:15:48 Sure, European languages have lots of unique punctuation too. 19:16:13 I like guillemets 19:16:16 And different rules for the common punctuation too. 19:16:58 anyway, I'm using it as a terminal font at work 19:17:20 and have fixed some glyphs yesterday in response to that 19:17:29 What do you have in the terminals? Code, English text, Korean text, text in other languages? 19:17:44 IRC :) 19:17:50 Ah. 19:18:04 thus code, English text and Korean text are expected 19:18:16 occasionally Japanese too 19:18:29 I see 19:23:15 okay, I should really sleep by now 19:23:31 tomorrow I'll draw remaining Hangul jamos 19:23:40 (i.e. non-syllables) 19:24:09 non-syllables? as in kanjis? 19:24:23 I thought those were rarely used these days 19:25:11 b_jonas: well, jamos by themselves are used like acronyms or so 19:25:19 only in the casual use though 19:25:31 of course, they should be common in the IRC log 19:25:51 so they're like syllables but are missing the medial or the initial? 19:26:06 or both 19:26:14 maybe the abbreviation should be a better description 19:26:24 ok 19:26:25 the actual pronunciation is not set in stone 19:26:44 people seems to put ㅡ or similar to them 19:26:46 how many of these are there? 19:27:17 approximately 19:27:46 by the way, have you drawn all the syllables in modern use? the set seemed complete enough to me, but I wouldn't have noticed if some were missing 19:28:00 19 initials, 21 medials, 27 finals make about 50 of them (without duplicates) 19:28:12 yeah, 11,172 syllables in the modern Hangul 19:28:18 great 19:28:38 the ancient Hangul in the precomposed form would fill the entire Unicode planes 19:28:49 right 19:29:46 -!- hppavilion1 has quit (Ping timeout: 240 seconds). 19:33:26 -!- hppavilion1 has joined. 19:36:42 Are there elliptic equivalents of the trigonometric functions? e.g. sine(x) (not to be confused with the sine of x, sine is elliptical sine by analogue to sinh) 19:38:48 TRIANGULAR GEOMETRY 19:39:12 (Is that a thing? If superelliptical geometry can be a thing, then square geometry is definitely a thing...) 19:42:47 -!- hernandes has joined. 19:44:10 hooooooooooolaaaaaaa 19:44:25 `welcome.es 19:44:35 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: welcome.es: not found 19:44:41 that isn't the command, is it 19:45:36 hola 19:45:38 `relcome 19:45:41 Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 19:46:00 mauris: That command? 19:46:21 nah, the one aimed at spanish users who stumble in here 19:46:25 Ah 19:46:26 my name is:yorhelsing soto later 10 hablo en ingles pero no mucho 19:46:39 `bienvenido 19:46:41 ¡Bienvenido al centro internacional para el diseño y despliegue de lenguajes de programación esotéricos! Por desgracia, la mayoría de nosotros no hablamos español. Para obtener más información, echa un vistazo a nuestro wiki: http://esolangs.org/. (Para el otro tipo de esoterismo, prueba #esoteric en EFnet o DALnet.) 19:46:43 hola 19:46:52 ustedes hablan en español 19:46:56 ;-) 19:47:22 hola 19:47:50 la mayoría de nosotros no hablamos español, hernandes! lo siento 19:48:23 -!- hernandes1 has joined. 19:48:32 -!- hernandes has quit (Quit: Leaving.). 19:48:52 mauris: Out of curiosity, what are the spanish-speaking users who stumble in here expecting? 19:49:03 que que 19:49:06 hppavilion1: the channel name starts with "#es" 19:49:10 Ah 19:49:15 de que hablan 19:49:26 what what 19:49:39 no espanol 19:49:39 hernandes1 thinks it means "español", but it does not 19:49:49 hablamos japones 19:49:54 konichiwa 19:50:01 que tu hablas en español 19:50:12 (we really need a more descriptive `bienvenido, but i don't speak spanish...) 19:50:16 mi espanol estas mierdo 19:51:04 hello 19:51:16 konichiwa 19:51:19 experiense 19:51:20 mauris: Should we make a `noespanole command (no squiggly because most of us don't have that on our keyboards) that explains that this channel is not what they're looking for 19:51:25 doutashimasuka? 19:51:29 Most likely 19:51:45 o genki desuka? 19:51:52 (They might be looking for it, but it would also note that few of us actually speak spanish) 19:51:53 que de hablas 19:52:26 hello 19:52:35 >:o 19:52:53 hernandes1: hablo el arte de su puta madre una mula 19:52:55 hernandes1: Voy a tratar de aclarar a través de Google Translate. Esto no es una sala de chat en español. Tal vez trate de hacer en # ubuntu-es. 19:53:19 de que hablan 19:53:27 soy un kid 19:53:57 dale 19:54:36 hernandes1: no están hablando de ti :) pero aquí nadie habla español 19:54:52 -!- hernandes1 has quit (Read error: Connection reset by peer). 19:55:09 whew thank you google translate 19:55:15 -!- hernandes has joined. 19:55:28 hernandes: Pocos de nosotros habla español y esto es un canal de programación; probable es que usted está buscando algún otro canal. Lo lamento. 19:56:04 -!- hernandes has quit (Read error: Connection reset by peer). 19:56:25 -!- hernandes has joined. 19:56:33 hernandes: Pocos de nosotros habla español y esto es un canal de programación; probable es que usted está buscando algún otro canal. Lo lamento. 19:58:20 *sigh* 20:00:13 de que 20:01:32 soy niño 20:01:32 -!- hernandes has quit (Remote host closed the connection). 20:01:33 -!- hernandes1 has joined. 20:07:40 -!- tromp has joined. 20:08:35 -!- Patashu has joined. 20:08:38 -!- hernandes1 has quit (Ping timeout: 256 seconds). 20:12:30 -!- tromp has quit (Ping timeout: 272 seconds). 20:17:34 -!- hppavilion1 has quit (Ping timeout: 272 seconds). 20:22:46 -!- hppavilion1 has joined. 20:27:48 -!- jaboja64 has quit (Read error: Connection reset by peer). 20:28:36 -!- jaboja has joined. 20:43:12 -!- Patashu has quit (Ping timeout: 256 seconds). 20:45:52 -!- ^v has joined. 20:45:53 -!- ^v^v has joined. 20:46:02 -!- ^v^v has quit (Remote host closed the connection). 20:59:08 -!- mihow has joined. 21:13:33 -!- hppavilion1 has changed nick to hppavilion[1]. 21:14:40 -!- evalj has joined. 21:21:46 `` find -type f -exec grep 'irc\.dal\.net' {} \; 21:22:10 wait, that's not even in the message 21:22:19 No output. 21:22:22 `` find -type f -exec grep DALnet {} \; 21:22:53 No output. 21:23:08 ugh 21:23:11 why not 21:23:44 `` for f in bin/* wisdom/*; grep -q DALnet "$f" && echo "$f"; done 21:23:45 bash: -c: line 0: syntax error near unexpected token `grep' \ bash: -c: line 0: `for f in bin/* wisdom/*; grep -q DALnet "$f" && echo "$f"; done' 21:23:54 `` for f in bin/* wisdom/*; do grep -q DALnet "$f" && echo "$f"; done 21:24:26 wisdom/esoteric \ grep: wisdom/le: Is a directory 21:24:42 * FireFly sighs, gives up 21:24:50 `cat bin/welcome 21:24:51 #!/usr/bin/perl -w \ if (defined($_=shift)) { s/ *$//; s/ +/ @ /g; exec "bin/@", $_ . " ? welcome"; } else { exec "bin/?", "welcome"; } 21:24:52 -!- ^v has quit (Read error: Connection reset by peer). 21:24:56 `? esoteric 21:24:58 This channel is about programming -- for the other kind of esoterica, try #esoteric on EFnet or DALnet. 21:25:05 `? welcome 21:25:06 Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 21:25:19 now why wouldn't it find that one too 21:26:01 -!- XorSwap has joined. 21:27:01 -!- XorSwap has quit (Client Quit). 21:27:24 `` find / -type f -exec grep DALnet {} \; 21:27:55 grep: /sys/bus/cpu/uevent: Permission denied \ grep: /sys/bus/cpu/drivers_probe: Permission denied \ grep: /sys/bus/clocksource/uevent: Permission denied \ grep: /sys/bus/clocksource/drivers_probe: Permission denied \ grep: /sys/bus/workqueue/uevent: Permission denied \ grep: /sys/bus/workqueue/drivers_probe: Permission denied \ grep: /sys/bus/plat 21:28:21 well, I got some output at least 21:38:24 `` find wisdom -type f -print0 | xargs -0 grep -l DALnet 21:38:25 wisdom/esoteric \ wisdom/welcome.fr \ wisdom/welcome.nl \ wisdom/willkommen \ wisdom/welcome \ wisdom/welcome.sv \ wisdom/welcome.es 21:39:11 `` rgrep -i dahl wisdom 21:39:14 wisdom/dahl:dahl dih dahl dahl \ wisdom/oerjan:Your famous evil overlord oerjan is a lazy expert in future computation. Also an antediluvian Norwegian who hates Roald Dahl. He can never remember the word "amortized" so he put it here for convenience. His arch-nemesis is Betty Crocker. 21:39:20 `culprits wisdom/dahl 21:39:23 int-e ais523 oerjan elliott Bike FreeFull Phantom_Hoover 21:40:18 `? dahl 21:40:19 dahl dih dahl dahl 21:40:21 `` find wisdom -type f -exec grep -l DALnet '{}' + # or the find-only version 21:40:23 wisdom/esoteric \ wisdom/welcome.fr \ wisdom/welcome.nl \ wisdom/willkommen \ wisdom/welcome \ wisdom/welcome.sv \ wisdom/welcome.es 21:40:45 Not that I could have remembered the "-exec ... +" feature without consulting the documentation. 21:40:52 i remember there was a reason for dahl but i've forgotten it entirely 21:41:06 I might have managed the regular -exec ... \; but that would've done far too many greps. 21:45:03 Huh 21:45:12 I didn't know about + 21:46:18 I've been just xargsing it up, sometimes with -print0/-0 if I feel real fancy. 21:46:43 I think the fact that -print0 / -0 is needed is a bit ugly 21:49:39 Hmm 21:49:43 “If you use this option, you must ensure that your $PATH environment variable does not reference `.'; otherwise, an attacker can run any commands they like by leaving an appropriately-named file in a directory in which you will run -execdir. The same applies to having entries in $PATH which are empty or which are not absolute directory names.” 21:50:05 I knew about the former, of course, but what is the problem with having empty directories in $PATH? 21:50:34 FireFly: the same 21:50:43 they'll be interpreted as relative 21:50:51 Huh 21:51:18 even if they start with a leading slash? seems silly 21:51:33 Empty entries, not empty directories. I think. 21:51:39 Oh 21:51:44 FireFly: if an entry has a leading slash, it's not an empty string 21:51:46 Right, that makes more sense 21:51:57 There's also a problem with having PATH undefined by the way, 21:51:58 Right, I read it as entries pointing to empty directories 21:53:07 ah right 21:53:10 that shouldn't be a problme 21:53:27 -!- spiette has quit (Ping timeout: 250 seconds). 21:54:06 although entries pointing to an empty directory on a floppy disk or network drive or similar unaccessible file systems can be a problem because it can slow down exec 21:54:45 Makes sense 21:54:54 though the emptiness doesn't really matter in that case 21:55:40 DOS is even worse, for historical reasons, because no matter the path it looks in the working directory of the current drive first, and if the PATH contains a reference to a nonexistant drive you get an error (a nonexistant directory on a valid drive isn't a problem) 22:11:39 -!- pikhq has quit (Ping timeout: 250 seconds). 22:14:36 -!- pikhq has joined. 22:27:11 Well I just graphed y=x^7 22:29:37 o...k 22:29:40 You kind of have to round 22:29:46 Phantom_Hoover: ^ is exclusive or 22:29:51 Not exponent 22:30:01 Forgot that some people don't think and read in python 22:44:54 -!- oerjan has joined. 22:50:38 -!- MoALTz has quit (Quit: Leaving). 22:55:52 -!- J_Arcane has joined. 22:58:37 -!- evalj has quit (Remote host closed the connection). 23:04:27 -!- edwardk has left. 23:04:46 -!- hppavilion[1] has quit (Ping timeout: 272 seconds). 23:22:12 -!- Lord_of_Life has quit (Excess Flood). 23:23:36 -!- Lord_of_Life has joined. 23:26:26 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 23:31:18 @tell hppavilion1 mauris: Should we make a `noespanole command (no squiggly because most of us don't have that on our keyboards) that explains that this channel is not what they're looking for <-- that's essentially what `bienvenido _is_ hth 23:31:19 Consider it noted. 23:33:11 @tell hppavilion[1] it's impossible to communicate effectively with people who keep changing nick (aka you have a @tell at hppavilion1) 23:33:11 Consider it noted. 23:37:14 [wiki] [[DUCK]] N http://esolangs.org/w/index.php?oldid=45828 * Hurricane996 * (+529) Created page with "Duck is a [[Joke language list|joke language]] made by [[user:Hurricane996]]. The language is different for every interpreter. When you write an interpreter, any program does ..." 23:41:01 -!- hppavilion[1] has joined. 23:41:21 We have plenty of Esolangs 23:41:27 You know what I'm going to create for us? 23:41:38 Something I don't think we have any of? 23:43:04 -!- hppavilion1 has joined. 23:43:12 no hth 23:43:25 (Just joining with a secondary nick to check for a message) 23:44:01 -!- hppavilion1 has quit (Client Quit). 23:44:29 A Knowledge Representation Format. Something like XML or JSON, but eso-. 23:44:35 effectivity, that's us 23:44:54 oerjan What? 23:45:09 effective communication hth 23:45:23 Ah 23:45:29 [wiki] [[User:Hurricane996]] N http://esolangs.org/w/index.php?oldid=45829 * Hurricane996 * (+42) Created page with "Hi. i just want this here to be consistent" 23:45:44 [wiki] [[User talk:Hurricane996]] N http://esolangs.org/w/index.php?oldid=45830 * Hurricane996 * (+20) Created page with "Same as my user page" 23:45:51