00:01:21 -!- ineiros has joined. 00:12:21 -!- aloril has joined. 00:24:11 -!- oerjan has joined. 00:28:19 I probably don't know enough group theory to get this <-- i knew enough group theory but not enough irish geography. 00:28:58 I'd actually heard about the monster group, but that is probably more due to casual wikipedia browsing than maths knowledge 00:29:14 well it _is_ the most famous sporadic group. 00:29:21 (and the largest) 00:29:26 It's even listed on WP:UA 00:40:47 -!- MoALTz has quit (Quit: Leaving). 00:44:50 -!- Tritonio has quit (Remote host closed the connection). 00:45:14 -!- Tritonio has joined. 00:45:23 -!- `^_^v has joined. 01:15:12 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 01:17:47 -!- `^_^v has quit (Quit: This computer has gone to sleep). 01:20:13 -!- `^_^v has joined. 01:26:34 -!- `^_^v has quit (Quit: This computer has gone to sleep). 01:31:38 -!- Tritonio has quit (Remote host closed the connection). 01:34:53 -!- `^_^v has joined. 01:36:02 -!- `^_^v has quit (Client Quit). 01:41:14 -!- hppavilion[1] has joined. 01:42:16 [wiki] [[Logicode]] https://esolangs.org/w/index.php?diff=49692&oldid=49691 * Qwerp-Derp * (+64) 01:43:17 [wiki] [[Logicode]] https://esolangs.org/w/index.php?diff=49693&oldid=49692 * Qwerp-Derp * (+39) 02:03:32 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 02:16:17 -!- Robdgreat has quit (Remote host closed the connection). 02:16:27 -!- Robdgreat has joined. 02:29:29 -!- hppavilion[1] has joined. 02:33:40 -!- Frooxius has joined. 02:35:14 -!- Froox has quit (Ping timeout: 265 seconds). 02:35:15 quintopia: Apparently, flagged half notes are a thing 02:35:20 (I think you're the one I was talking to) 03:15:52 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 03:17:30 What's the sound quality like on bone-conduction headphones? 03:18:06 this is relevant to my interests 03:19:43 it's a bit ossified. 03:19:59 * Robdgreat holds up a giant BOOO sign 03:21:11 thank you, i'll be here all week, unless i get dragged away. 04:24:49 `bienvenido Robdgreat 04:24:56 Robdgreat: ¡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.) 04:25:20 Ignore the bit about no hablamos espñol. 04:25:40 I thought the welcomes were supposed to be direct translations? 04:25:56 ok, help me out here. which bot am I ignoring? 04:26:04 Are you ignoring HackEgo? 04:26:13 shachaf: it's because of the venezuelans, who wouldn't get the point that this isn't a spanish channel. 04:26:19 `? welcome 04:26:20 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.) 04:26:23 there we go 04:26:30 I'm going to live to regret unignoring him 04:26:32 `relcome Robdgreat 04:26:34 ​Robdgreat: 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.) 04:26:47 trust shachaf to work hard on the regretting part 04:27:11 `slwd welcome//s#!#! Unfortunately, most of us do not speak Spanish.# 04:27:20 shachaf: does this mean that you do speak spanish 04:27:21 <\oren\> man relcome looks a lot better with my new color scheme 04:27:27 Not me. 04:27:47 oerjan: I don't mean that it's false, just irrelevant. 04:28:08 oerjan: Come on, I've made so many improvements to HackEgo. 04:28:13 perhaps. 04:28:23 `? shaventions 04:28:24 shaventions include: before/lastfiles, culprits, hog/{h,d}oag, le//rn, tmp/, mk/mkx, sled/sedlast, spore/spam/speek/sport/1. Taneb invented them. 04:28:32 Without me you'd still be echo > and seding all the time. 04:28:43 tru 04:28:44 And never culpriting, and so on. 04:29:07 `cwlprits shavention 04:29:09 shachaf shachaf shachaf shachaf shachaf 04:29:31 <\oren\> what'd doag? 04:29:32 `dowg shavention 04:29:37 2016-06-28 slwd shavention//s#hogue#{h,d}oag# \ 2016-06-25 sled wisdom/shavention//s#mk#tmp/, mk# \ 2016-06-07 sled wisdom/shavention//s/\\*list, // \ 2016-06-05 sedlast s/$/. Taneb invented them./ \ 2016-06-05 le/rn shavention/shaventions include: before/lastfiles, culprits, hog/hogue, le//rn, *lis 04:29:53 Pretty sure I shavented some more things since then. 04:30:21 hm i guess i invented the w versions, maybe. 04:30:30 `dog bin/doag 04:30:31 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: dog: not found 04:30:38 `doag bin/doag 04:30:40 2016-06-27 mkx bin/doag//hg log --removed --template "{date|shortdate} {desc}\\n" -- "$@" 04:30:54 That was in June?! 04:31:12 `` rgrep -l template bin 04:31:16 bin/lastfiles \ bin/hoag \ bin/doag \ bin/macro \ bin/hog \ bin/culprits-ng \ bin/before 04:32:01 oerjan: Yes, you shavented all the w versions. 04:33:21 <\oren\> `` rgrep -l wisdom bin 04:33:22 bin/lastwisdoms \ bin/learn \ bin/learn_append2 \ bin/leann \ bin/slashlearn \ bin/dowg \ bin/learn_append \ bin/howg \ bin/slwd \ bin/forget \ bin/? \ bin/pastewisdom \ bin/wisdöm \ bin/cwlprits \ bin/footnote \ bin/wisdom \ bin/ls 04:33:33 `cat bin/wisdöm 04:33:34 ​#!/bin/sh \ wisdom | döts 04:33:38 `` cat bin/ho{,a}g 04:33:39 hg log --template "{desc}\n" -- "$@" \ hg log --removed --template "{desc}\n" -- "$@" 04:33:43 `cat bin/döts 04:33:44 ​#!/bin/sh \ print_args_or_input "$@" | sed -re "y/aehiotuwxyAEHIOUWXY/äëḧïöẗüẅẍÿÄËḦÏÖÜẄẌŸ/" 04:34:15 Are you going to shavent dog for completeness? 04:34:33 nah 04:34:38 `cat bin/lastwisdoms 04:34:39 find .hg/store/data/wisdom -type f -print0 | xargs -0 /bin/ls -t | perl -pe 'use POSIX;chop;$d=strftime("%F",localtime((stat($_))[9]));s=^.hg/store/data/wisdom/(.*).i$=\1 // =;s=^=/$d/ = if$d ne$p;$p=$d;s=_(.)=uc($1)=eg;s=~([0-9a-f][0-9a-f])=chr hex$1=eg' 04:34:53 classic b_jonas 04:34:59 `cwlprism lastwisdoms 04:35:00 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: cwlprism: not found 04:35:07 `cwlprits lastwisdoms 04:35:08 i just find it slightly inelegant that the a and w modifiers clash in position... 04:35:12 No output. 04:35:13 <\oren\> what about höwg? 04:35:25 also, is a consistently used 04:35:28 oerjan: Ah, good point. 04:35:47 <\oren\> hoawg 04:35:53 <\oren\> howag 04:36:00 <\oren\> haowg 04:36:10 `cat bin/ho{w,a}g 04:36:10 cat: bin/ho{w,a}g: No such file or directory 04:36:14 `` cat bin/ho{w,a}g 04:36:15 hoag "wisdom/$1" \ hg log --removed --template "{desc}\n" -- "$@" 04:36:20 Let's see. The etymology is: 04:36:23 hog is hg log 04:36:41 hoag is a variant of hog (that uses --removed to show everything that might be relevant) 04:36:45 It's named after Jonathan Hoag 04:36:49 `` mv bin/h{ow,wa}g 04:36:54 No output. 04:37:04 howg is a variant of howg that has the same pronunciation, but adds wisdom/ 04:37:09 `hwag shavention 04:37:11 slwd shavention//s#hogue#{h,d}oag# \ sled wisdom/shavention//s#mk#tmp/, mk# \ sled wisdom/shavention//s/\\*list, // \ sedlast s/$/. Taneb invented them./ \ le/rn shavention/shaventions include: before/lastfiles, culprits, hog/hogue, le//rn, *list, mk/mkx, sled/sedlast, spore/spam/speek/sport/1 04:37:18 NOT ANY MORE 04:37:23 hwag? 04:37:25 tmns hth 04:37:51 <\oren\> whag 04:38:12 Look, you can't just rename one of them. 04:38:15 What about dowg? 04:38:21 You should document the naming scheme if you 04:38:25 're going to change it. 04:39:17 `mkx bin/howg//echo "howg is deprecated! use hwag instead."; exec hwag "$@" 04:39:19 bin/howg 04:39:42 `` cat bin/dowg 04:39:43 doag "wisdom/$1" 04:40:14 `` mv bin/d{ow,wa}g 04:40:16 No output. 04:41:14 * oerjan feels conflicted 04:42:16 I don't understand this new scheme. 04:42:22 `` mv bin/d{wa,ow}g 04:42:24 No output. 04:42:29 `` mv bin/h{wa,ow}g 04:42:31 No output. 04:42:37 I'd rather revert the whole thing unless there's a consistent rationale or heuristic for figuring out the right script. 04:43:15 OKAY 04:43:20 (DONE) 04:43:34 `` ls bin/*g 04:43:35 bin/anonlog \ bin/culprits-ng \ bin/doag \ bin/dowg \ bin/hoag \ bin/hog \ bin/howg \ bin/log \ bin/noping \ bin/pastalog \ bin/pastelog \ bin/pastlog \ bin/ping \ bin/pong \ bin/preprocess-mtg \ bin/randomanonlog \ bin/rng \ bin/searchlog \ bin/something 04:43:47 `cat bin/anonlog 04:43:48 ​#!/bin/sh \ cd /var/irclogs/_esoteric \ if [ "$1" ]; then \ grep -P -i -- "$1" ????-??-??.txt | shuf -n 1| sed "s=<[^>]*> ==" \ else \ file=$(shuf -en 1 ????-??-??.txt) \ echo "$file:$(grep "<.*>" $file | shuf -n 1)" | sed "s=<[^>]*> ==" \ fi 04:44:23 `cat bin/something 04:44:23 ​ELF............>.....0@.....@....... ..........@.8..@.........@.......@.@.....@.@.....À.......À............................@......@............................................@.......@.....\......\........ ....................`......`.....`......¬....... .................`.....`.....à.......à................ 04:44:27 `` ls bin/{d,h}*g 04:44:28 bin/doag \ bin/dowg \ bin/hoag \ bin/hog \ bin/howg 04:44:31 `something 04:44:32 Segmentation fault 04:44:36 very good 04:44:45 `` grep -v 'remove' bin/{d,h}*g 04:44:46 bin/dowg:doag "wisdom/$1" \ bin/hog:hg log --template "{desc}\n" -- "$@" \ bin/howg:hoag "wisdom/$1" 04:44:50 `` objdump -d bin/something | paste 04:44:52 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/paste/paste.15531 04:45:04 `hoag bin/something 04:45:06 ` mv jnk/something bin/something 04:45:06 what's this rubbish? 04:45:13 it's only hog which doesn't use --removed 04:45:20 Yes. 04:45:26 Do we want to standardize on always using --removed? 04:45:41 It gives more complete but often irrelevant output. 04:45:43 <\oren\> Robdgreat: the'yre degugging and modifying the bot in realtime 04:46:21 `dog 04:46:21 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: dog: not found 04:46:26 `hog bin/something 04:46:27 ` mv jnk/something bin/something 04:46:33 Er. 04:46:35 `hog jnk/something 04:46:36 ` mv bin/Something jnk/something 04:46:42 `hog bin/Something 04:46:43 ` gcc -x c -o bin/Something wGAUV3ER \ ` gcc -x c waDs9gmT -o bin/Something \ ` gcc -x c UZ3ESUfL -o bin/Something \ ` gcc -x c 6TL7V2mM -o bin/Something \ ` gcc -x c yn9LVhJv -o bin/Something 04:46:52 `hog wGAUV3ER 04:46:53 revert \ fetch http://pastebin.com/raw/wGAUV3ER 04:46:59 `url wGAUV3ER 04:47:00 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/wGAUV3ER 04:47:24 <\oren\> an error ocured 04:49:40 <\oren\> looks like that pastebin is some sort of crude interpreter 04:49:58 yeah one of moon_'s experiments. 04:50:41 (or did he make a wiki page? i've forgotten.) 04:52:04 -!- digin4 has joined. 04:54:12 `relcome digin4 04:54:14 ​digin4: 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.) 04:55:44 Hmm, welcome should be the wisdom version of relcome 04:55:59 it is hth 04:57:42 true tdh 04:57:46 `? tmns 04:57:47 tmns makes no sense. 04:57:54 the monkeys now sing 04:57:54 -!- digin4 has quit (Quit: Leaving). 04:58:16 -!- digin4 has joined. 04:59:41 the bananas now fly 04:59:59 -!- digin4 has quit (Remote host closed the connection). 05:00:15 i think digin4 found us too surreal 05:00:26 -!- digin4 has joined. 05:00:43 either that, or e's having connection trouble. 05:01:31 I should learn about surreal numbers. 05:01:35 Wasn't someone in here an expert? 05:02:11 i don't remember. 05:02:55 `? surreal number 05:02:56 surreal number? ¯\(°​_o)/¯ 05:07:57 `le/rn surreal number/Surrey numbers are very county, as long as they're not Spelthorne. 05:08:00 Learned «surreal number» 05:09:01 that wisdom should be sufficiently surreal hth 05:22:23 -!- digin4 has quit (Quit: Leaving). 05:38:09 i am frustrated at higher education mathematdicks 05:38:13 : - ( 05:38:21 maybe i just have a bad teacher!!!!!!!!!!!!!!!!!!!! 05:41:19 -!- `^_^v has joined. 05:42:10 -!- hppavilion[1] has joined. 06:03:11 -!- PinealGlandOptic has joined. 06:09:51 -!- `^_^v has quit (Quit: This computer has gone to sleep). 06:19:14 -!- digin4 has joined. 06:28:24 -!- hppavilion[1] has quit (Read error: Connection reset by peer). 06:38:28 -!- hppavilion[1] has joined. 06:42:35 -!- digin4 has quit (Quit: Leaving). 06:52:05 oerjan: Your lightning is a dick to Reindeese 06:54:00 wat 06:55:31 either hppavilion[1] is making a late surreal contribution, or he's finally cracked. 06:56:26 -!- oerjan has quit (Quit: Nite). 07:04:34 -!- Caesura has quit (Read error: Connection reset by peer). 07:04:56 -!- Caesura has joined. 07:26:15 https://sites.google.com/a/bostic.com/keithbostic/vi/nvi-faq#A14 07:26:23 You can buy version 13.3 source with an unrestricted license for $400 from AT&T Software Solutions by calling +1-800-462-8146. Binary redistribution of cscope is an additional $1500, one-time flat fee. 07:26:26 suuuuuuuuuuuuure 07:26:30 what a bargain 07:36:44 compiling seems to be expensive 07:46:18 [wiki] [[Talk:Logicode]] N https://esolangs.org/w/index.php?oldid=49694 * Darkrifts * (+215) Created page with "In the '''IO''' section, it uses the term
func
, but aren't
circ
declarations the way to make functions? ~~~~" 08:10:51 -!- carado has joined. 08:29:16 @tell oerjan 300 reindeer were killed by lighting in Norway. 08:29:16 Consider it noted. 08:39:15 * hppavilion[1] . o O ( Can a (novel-length) book be written without chapter format without looking terrible? ) 08:40:20 -!- bb010g has joined. 09:34:12 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 09:42:22 -!- AnotherTest has joined. 09:50:07 -!- Tritonio has joined. 09:50:55 -!- Tritonio has quit (Excess Flood). 09:51:08 -!- Tritonio has joined. 10:10:34 -!- Guest15977 has quit (Ping timeout: 244 seconds). 10:22:27 -!- primo_ has quit (Ping timeout: 244 seconds). 11:10:03 -!- Tritonio has quit (Ping timeout: 240 seconds). 11:10:34 -!- bb010g has quit (Quit: Connection closed for inactivity). 11:14:11 -!- Tritonio has joined. 12:11:11 -!- PinealGlandOptic has quit (Quit: leaving). 12:12:09 -!- Tritonio has quit (Ping timeout: 244 seconds). 12:16:46 -!- primo_ has joined. 12:18:14 -!- Guest15977 has joined. 12:19:53 -!- primo_ has left. 12:47:29 -!- Tritonio has joined. 12:58:24 -!- Tritonio has changed nick to Tritonio_. 13:02:19 -!- Tritonio_ has changed nick to Tritonio. 13:09:25 -!- Tritonio has changed nick to Tritonio_. 13:09:33 -!- augur has quit (Remote host closed the connection). 13:10:44 -!- Tritonio_ has changed nick to Tritonio__. 13:11:00 -!- Tritonio__ has changed nick to Tritonio. 13:14:05 -!- augur has joined. 13:18:21 -!- augur has quit (Ping timeout: 250 seconds). 13:18:36 -!- Tritonio has quit (Remote host closed the connection). 13:18:57 -!- Tritonio has joined. 13:47:55 -!- `^_^v has joined. 14:08:56 -!- `^_^v has quit (Quit: This computer has gone to sleep). 14:11:42 -!- Tritonio has quit (Changing host). 14:11:42 -!- Tritonio has joined. 14:13:50 -!- Tritonio has quit (Remote host closed the connection). 14:14:09 -!- Tritonio has joined. 14:14:47 -!- Tritonio has quit (Excess Flood). 14:14:59 -!- Tritonio has joined. 14:24:35 -!- yorick_ has joined. 14:25:08 -!- yorick has quit (Ping timeout: 244 seconds). 14:25:08 -!- Deewiant has quit (Ping timeout: 244 seconds). 14:25:38 -!- Deewiant has joined. 14:26:57 -!- digin4 has joined. 14:39:29 -!- Tritonio_ has joined. 14:40:00 -!- Tritonio_ has quit (Excess Flood). 14:40:14 -!- Tritonio_ has joined. 14:40:44 -!- Tritonio_ has quit (Excess Flood). 14:40:58 -!- Tritonio_ has joined. 14:42:00 -!- Tritonio has quit (Ping timeout: 258 seconds). 14:43:59 -!- Tritonio_ has changed nick to Tritonio. 15:17:04 -!- Phantom_Hoover has joined. 15:19:45 -!- `^_^v has joined. 15:24:27 -!- Phantom__Hoover has joined. 15:27:58 -!- Phantom_Hoover has quit (Ping timeout: 244 seconds). 15:34:48 -!- polybot has joined. 15:57:43 -!- digin4 has quit (Quit: Leaving). 16:02:02 -!- Slereah has joined. 16:02:04 Hey hey 16:04:40 I'm trying to rewrite my lazy bird interpreter 16:04:47 Trying to do it with C# 16:04:52 So far not working so good 16:04:54 write it in lazy bird 16:05:05 I tried thusly : 16:05:06 del printx = x => { Console.Write('a'); return x; }; 16:05:06 del m = x => x(x); 16:05:09 m(printx); 16:05:17 But that only gives me a single a 16:05:29 Not quite sure why, I think it might be the order of evaluation 16:09:15 Yeah I think the evaluation is backward compared to the normal operation 16:09:26 m(printx(i, 'a')(printx(i, 'b'))); prints "ab" rather than "ba" 16:09:38 Wait no 16:09:40 That's correct 16:09:45 But then why 16:10:40 -!- Tritonio has quit (Remote host closed the connection). 16:11:24 -!- Tritonio has joined. 16:17:12 -!- Tritonio has quit (Remote host closed the connection). 16:17:13 -!- `^_^v has quit (Quit: This computer has gone to sleep). 16:27:27 -!- Tritonio has joined. 16:28:13 -!- Tritonio has quit (Excess Flood). 16:33:30 -!- Tritonio has joined. 16:33:57 -!- Tritonio has quit (Remote host closed the connection). 16:38:13 Slereah: I don't seem to recall C# having a "del" keyword. 16:38:37 del is delegate del del(del a); 16:38:58 Is that kosher to make a pure lambda expression 16:39:14 Yeah, seems fine. 16:39:40 I might name it Del, though. 16:39:45 m(printx('a')); doesn't print two a's, even though printx('a')(printx('a')); does 16:40:06 If it's named "del", then someone might mistake it for a keyword. 16:40:24 Psh who cares for someone :p 16:40:32 It's not like someone else will see that code 16:41:50 So, when you evaluate m(printx('a')), that's going to first evaluate printx('a') (which will output 'a') and then call m() on the result. 16:42:40 Hm 16:42:48 Can I switch the order of evaluation? 16:43:14 But wait, why does printx('a') typecheck? Isn't printx a "del", meaning it can only take a "del" as an argument? 16:43:17 It ain't called Lazy Bird for nothing 16:43:26 Well, you could do something like... 16:43:29 printx isn't quite as pure 16:43:32 m(unusedValue => printx('a')) 16:43:37 It's delegate del delchar(char c); 16:44:09 All right. 16:44:12 Maybe what you're after is... 16:44:34 Something along the lines of... 16:44:58 delchar printx = inputChar => x => { Console.Write(inputChar); return x; }; 16:45:32 Would that solve my problem though 16:45:49 If the evaluation is done in the wrong order it will change the behaviour of programs 16:46:12 Hm 16:46:27 -!- ocharles_ has joined. 16:46:43 I could just rewrite a lambda interpreter myself but if I could change to lazy evaluation the existing lambdas it would be swell 16:47:25 There's gonna be a nice way to do this in C#... 16:47:30 -!- sewilton_ has joined. 16:47:49 Technically this would only affect the non-pure operators 16:48:01 But I'm not sure how to fix this especially for those 16:48:15 I feel like just using "del", exactly as you're currently using it, ought to work. 16:48:22 -!- pdxleif- has joined. 16:48:27 -!- mysanthrop has joined. 16:48:42 Then again, maybe not. 16:48:44 -!- lifthras1ir has joined. 16:48:47 Hmmmmm. 16:48:54 -!- HackEgo has quit (Remote host closed the connection). 16:48:56 -!- sewilton has quit (Ping timeout: 260 seconds). 16:48:57 -!- pdxleif has quit (Ping timeout: 260 seconds). 16:48:59 -!- carado has quit (Ping timeout: 260 seconds). 16:48:59 -!- ocharles has quit (Ping timeout: 260 seconds). 16:49:00 -!- Lymia has quit (Ping timeout: 260 seconds). 16:49:01 -!- JX7P has quit (Ping timeout: 260 seconds). 16:49:01 -!- lifthrasiir has quit (Ping timeout: 260 seconds). 16:49:02 -!- myname has quit (Remote host closed the connection). 16:49:04 -!- pdxleif- has changed nick to pdxleif. 16:49:31 Switching to delchar printx = inputChar => x => { Console.Write(inputChar); return x; }; still only produces one a 16:49:36 -!- HackEgo has joined. 16:50:33 And what expression are you using now? 16:50:40 What are you evaluating that only produces one a? 16:50:41 m(printx('a')); 16:50:51 With m = x => x(x); 16:51:22 https://gyazo.com/e0bc79e0dab2a2d8303b71cf935e62fe.png 16:51:31 That would produce only one "a" even if lazy evaluation were used. 16:51:38 Would it? 16:51:46 Hm 16:51:51 What to do 16:51:53 -!- Lymia has joined. 16:51:55 -!- IRIXUser has joined. 16:52:19 -!- IRIXUser has changed nick to Guest23396. 16:52:21 m(printx('a')) would reduce to printx('a')(printx('a')). The outer printx('a') would get reduced and thus would print "a", leaving you with printx('a'). Then evaluation would finish. 16:52:34 Ah yes 16:52:45 Let's see what happens if I add an i 16:53:03 m(printx('a'))(i); does produce two i's 16:53:38 and u(u((printx('a'))))(i); does produce an infinite loop 16:53:39 All is well 16:53:51 I guess I need to do (my program)(i) by default 16:54:58 Now to do a parser for the code 16:55:15 I bet C# has a standard one by default 16:55:57 -!- sewilton_ has changed nick to sewilton. 16:57:12 -!- ocharles_ has changed nick to ocharles. 16:58:07 Parsing this oughta be pretty easy. Consider using recursion. 16:58:46 yeah shouldn't be too hard 16:58:56 There's only one operation to be applied 16:59:37 public static LbExpression Parse(TextReader reader) { switch (reader.Read()) { case '`': LbExpression function = Parse(reader); LbExpression argument = Parse(reader); return function.Apply(reader); case ... } } 16:59:41 -!- carado has joined. 17:04:24 -!- Tritonio has joined. 17:05:12 -!- polybot has quit (Ping timeout: 240 seconds). 17:06:22 -!- mysanthrop has changed nick to myname. 17:15:00 -!- Tritonio has quit (Remote host closed the connection). 17:18:21 -!- Tritonio has joined. 17:25:16 So far so good 17:25:22 Let's try a more complicated expression 17:26:05 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 17:26:55 `````````````.h.e.l.l.o.,. .w.o.r.l.d.!i prints "hhee" 17:26:58 Not good 17:26:58 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ````````````.h.e.l.l.o.,.: not found 17:27:58 Ah, I see the problem 17:29:21 Gotta find the correct regular expression for a combinator expression 17:33:05 What's a regular expression if X = a is an expression and X = `XX is an expression 17:34:27 Apparently basic regexps do not handle nesting 17:34:29 hm 17:34:45 Might have to do it by hand 17:36:55 -!- MoALTz has joined. 17:36:55 -!- Phantom_Hoover has joined. 17:45:35 http://www.operasoftware.com/press/releases/desktop/opera-releases-bork-edition 17:46:32 Hello world works 17:46:34 Hurray 17:46:40 Now let's try the Fibonacci 17:47:21 "Process is terminated due to stack overflow" 17:47:27 Ouch 17:47:41 I guess when the program doesn't stop it doesn't print things until the end 17:48:49 wait no 17:48:58 `u`u.a prints characters before the stack overflow 17:48:59 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: u`u.a: not found 17:52:40 Maybe I should just rewrite it like before as a dynamic string 17:52:48 Might avoid the stack overflows 18:13:10 -!- gamemanj has joined. 18:35:31 -!- TellsTogo has joined. 18:38:07 -!- Phantom_Hoover has quit (Ping timeout: 258 seconds). 18:42:56 -!- Phantom_Hoover has joined. 18:46:58 -!- cyra has quit (Read error: Connection reset by peer). 19:03:26 <\oren\> `u8tbl 0x2624 0x2624 19:03:27 ​☤ 19:05:57 -!- DHeadshot has joined. 19:07:08 -!- Tritonio has quit (Remote host closed the connection). 19:13:14 -!- ski has quit (Ping timeout: 265 seconds). 19:13:22 -!- ski has joined. 19:13:30 -!- iaglium has quit (Ping timeout: 250 seconds). 19:15:49 -!- iaglium has joined. 19:35:21 -!- Zarutian has joined. 19:56:48 <\oren\> `u8tbl 0x262B 0x262C 19:56:49 ​☫☬ 19:57:21 <\oren\> `u8tbl 0x2670 0x2671 19:57:21 ​♰♱ 19:57:40 <\oren\> `u8tbl 0x2768 0x2775 19:57:41 ​❨❩❪❫❬❭❮❯ \ ❰❱❲❳❴❵ 19:58:29 Like HTML tags, but more confusing. 19:58:35 <\oren\> `u8tbl 0x2380 0x238B 19:58:36 ​⎀⎁⎂⎃⎄⎅⎆⎇⎈⎉⎊⎋ 19:59:17 <\oren\> `u8tbl 0x2729 0x2730 19:59:17 ​✩✪✫✬✭✮✯ \ ✰ 19:59:34 <\oren\> my god its full of stars 19:59:51 -!- polybot has joined. 19:59:58 <\oren\> `u8tbl 0x27AB 0x27AC 19:59:59 ​➫➬ 20:00:29 <\oren\> `u8tbl 0xFFE8 0xFFEE 20:00:30 ​│←↑→↓■○ 20:01:07 <\oren\> `u8tbl 0xFFFE 0xFFFE 20:01:08 ​￾ 20:07:57 <\oren\> ☫ and ☬​ are hard to draw 20:25:05 -!- polybot has quit (Ping timeout: 258 seconds). 20:25:11 space grunts looks like a mobile game for whiever it was who did 't like the turnbased aspect of roguelikes 20:25:33 -!- polybot has joined. 20:37:25 -!- TellsTogo has quit (Quit: Page closed). 20:39:48 turnbased means time to think 20:39:58 i like that 20:41:04 -!- gamemanj has quit (Quit: Leaving). 20:51:33 -!- APNG has quit (Ping timeout: 276 seconds). 20:56:33 -!- polybot has changed nick to Moonythedwarf. 20:57:09 -!- DHeadshot has quit (Ping timeout: 265 seconds). 20:57:13 -!- Soni has joined. 20:57:57 -!- Soni has changed nick to APNG. 21:00:30 -!- MDead has joined. 21:02:44 -!- Melvar` has joined. 21:03:19 -!- Melvar has quit (Disconnected by services). 21:03:22 -!- Melvar` has changed nick to Melvar. 21:03:40 -!- lifthrasiir has joined. 21:07:18 -!- ineiros_ has joined. 21:10:13 -!- lifthras1ir has quit (*.net *.split). 21:10:13 -!- ineiros has quit (*.net *.split). 21:10:13 -!- MDude has quit (*.net *.split). 21:20:15 i know way too few people that do graphical stuff 21:22:15 -!- idris-bot has quit (Quit: Terminated). 21:23:26 -!- idris-bot has joined. 21:27:55 -!- Moonythedwarf has quit (Ping timeout: 244 seconds). 21:33:45 -!- Moonythedwarf has joined. 21:39:32 Does 0xFFFE even have a definition? 21:39:54 It is an invalid Unicode character. 21:40:36 Phew 22:09:28 -!- moonythedwarf_ has joined. 22:11:03 -!- Moonythedwarf has quit (Ping timeout: 240 seconds). 22:13:29 -!- randomact2016 has joined. 22:13:36 -!- randomact2016 has left. 22:17:57 -!- carado has quit (Ping timeout: 265 seconds). 22:20:47 -!- augur has joined. 22:34:32 moo 22:37:54 <\oren\> prooftechnique: it is invalid, but still can occur, so there is a glyph for it in my font 22:38:02 -!- wob_jonas has joined. 22:38:12 hi wob_jonas 22:38:20 <\oren\> helwob_jellonas! 22:39:03 My bank card again got physically damaged. This is the third time my bank card has had a shorter lifespan than their normal replacement time. 22:39:27 I know it's getting a lot of wear because I'm carrying it in my wallet all the time, but isn't that supposed to be sort of normal use for a bank card? 22:39:49 <\oren\> maybe your wallet is too small or too big 22:40:17 <\oren\> or you have too many cards in your wallet 22:40:38 Question: anyone know of a IRC bot that can preform the Riemann function? 22:41:00 This time it's not around the chip where it torn, but instead there's a tear starting from the short side of the card you hold in your hand when you insert it, on the side of the magnetic strip. 22:41:51 \oren\: maybe, or more likely too much cash and tickest and other non-card items, or the wallet is getting pulled tense and curved in my pocket 22:42:36 The usual advice is to not put your bank card (or other fragile items like a calculator or mobile phone) in your back pocket, but I never do that! I always have it in my front jeans pocket (or rarely in a bag). 22:43:05 -!- byteflame has joined. 22:44:04 moonythedwarf_: we have some reasonably programmable bots, so presumably you can upload a short program that computes it 22:44:24 any of them have node.js? 22:44:32 you can probably find a ready-made implementation of it in some library 22:44:43 I don't know, I don't do node.js 22:44:45 Already have. 22:44:47 `` node 22:44:48 ​/hackenv/bin/`: line 4: node: command not found 22:44:52 ): 22:45:08 moonythedwarf_: you mean the Riemann zeta function, right? 22:45:13 Yes. 22:45:34 I think, leme check 22:46:11 This Riemann zeta: http://dlmf.nist.gov/25.2 22:47:26 Riemann(f, a, b, n, sampler) 22:47:26 Calculates the Riemann sum for a one-variable function f on the interval [a,b] with n equally-spaced divisons. If sampler is given, that function will be used to calculate which value to sample on each subinterval; otherwise, the left endpoint will be used. 22:47:28 Hmm 22:47:30 Dunno 22:48:18 moonythedwarf_: that's not the Riemann zeta, that's quadrature (approximating a Riemann integral) in one dimension 22:48:21 totally different thing 22:48:34 Ah. 22:48:40 i just searched by name. 22:48:42 :L 22:49:07 * moonythedwarf_ feels stupid now 22:49:19 moonythedwarf_: ok, so what do you actually want? 22:49:29 Dunno. 22:49:38 <\oren\> I don't think I've ever put anything in the back pocket of my jeans. how would I sit? 22:50:35 In the Dungeons&Dragons game I managed to summon a grandfather clock into a prison cell and when it chimed the guards game down and wondered how it got there. 22:50:38 \oren\: I put a key there, and sometimes plastic bags. never bigger stuff. 22:51:06 zzo38: is it wise to alert your guards that you can do magic? 22:51:36 ^ 22:52:29 nah, I guess they probably already knew so it doesn't matter 22:52:45 There was a anti-magic field active, but the book that summoned the clock somehow overcomes that anti-magic, and so they were unable to unsummon it. 22:53:32 zzo38: is that plain arcane magic, or something different? 22:53:51 -!- DHeadshot has joined. 22:53:54 * zgrep pops in to glimpse at the backlog and sees an out of context «is it wise to alert your guards that you can do magic?», zgrep now imagines wob_jonas locked in a castle room, with guards outside guarding him 22:53:56 I don't know how the book works. I just wrote "clock" and there it was. 22:55:07 summon a pair of magic garden clippers that can cut through steel 22:55:08 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 22:55:57 no wait, I think you do psionic magic, not arcane, right? 22:56:10 zzo38: oh! just wrote "clock"? is that like Scribblenauts? 22:56:20 wob_jonas: My character can do both, but I don't know how this book works. 22:56:24 Sounds like it wob_jonas 22:56:40 have they tested whether it's an illusion? 22:56:52 maybe it can make a teleporter? and that ^ 22:56:56 Not as far as I know 22:57:09 The reason for the clock was to time the expiration of a spell I had set up elsewhere. The spell created a large block and was meant to make noise by the cups sitting on top of it falling down once the spell expires (causing the block to disappear), to wake us up, but we were put in jail instead. 22:57:56 Therefore I trick the guards in going to the hotel just before it would expire, so they would hear the noise, enter the room and try to dispel the magic cups but they can't because it isn't magic. They might think therefore that we have stronger magic than they have because they can't dispel our magic. 22:58:51 may work, but couldnt they detect it? 22:59:17 wait, is the clock set to the right time for that? or do you have some way to find out what time it is, from a prison cell? 22:59:37 wob_jonas: That's what I used the clock for; to determine what time it was. 22:59:58 I guess you could just ask the guards 23:00:09 wob_jonas: They refused to answer. 23:00:22 zzo38: right, but did the clock arrive set to the right time and wound up? 23:00:57 Yes; it was early enough that I still knew what time it was, and it was wound up, too. 23:02:28 They might detect a dim aura if they tried, but not any stronger aura because there isn't actually any magic in effect in the hotel room (it has already expired), and in any case the cups themselves are not magical. 23:06:11 Are the guards familiar with the tale of the head of Vecna? 23:08:20 I don't know if they are or not 23:10:28 -!- hppavilion[1] has joined. 23:10:41 hi hppavilion[1] 23:12:07 Pedantic level 1: Replace all occurrences of pi with tau/2 (unless it's 2pi, in which case you just use tau) 23:12:32 Pedantic level 2: pi and tau are both acceptable, but replace all occurrences of 2 with tau/pi 23:13:04 hppavilion[1]: you mean Pendantic level tau / pi ? 23:13:10 -!- idris-bot has quit (Quit: Terminated). 23:13:15 moonythedwarf_: ...I am a failure. 23:13:36 Linguistic Prank Idea: Start interpreting numbers written in standard digital fashion as an abjad 23:13:55 There's nothing pedantic about using 2pi instead of pi 23:14:01 It's just preference. 23:14:16 shachaf: But using 'tau' exclusively I mean 23:14:26 That's a tiny bit pedantic 23:14:37 Not pedantic. 23:14:41 A little bit 23:14:46 Pedantic is the sort of thing I'm being right now. 23:15:00 Like, using tau/2 even when you JUST want pi 23:15:02 ...touche 23:15:04 But there's nothing incorrect about pi. 23:15:05 Some programs I wrote do use tau but not pi 23:15:13 (Or even better, an ultra-abjad, in which vowels aren't just inferred; which specific vowel sound is used is unnecessary) 23:15:41 -!- Melvar has quit (Quit: rebooting). 23:16:13 I'm a fan of the middle camp, in which Pi and Tau are both acceptable. I would call it a Golden Mean Fallacy, but we're discussing pi(/tau), not any other irrational numbers 23:16:17 Of course it is correct there is nothing incorrect about pi, but tau seems to be work better in many cases; but it isn't (just) because of circles, anyways. 23:16:38 I consider both acceptable, but find tau more useful in more cases than pi. 23:17:32 zzo38: Yes, exactly 23:17:56 but that's not pedantry, yo 23:18:09 I think we should start using tau (together with pi) without any explanation at the beginning (so no tau = 2pi disambiguation), so people just have to start getting used to it 23:18:15 hppavilion[1]: use pi / pi t orepresent 1. 23:18:17 shachaf: It is if you systematically refuse to use pi 23:18:31 Still not pedantry. Just a preference. 23:18:49 moonythedwarf_: That's level 3, and you have to use it when you would otherwise just drop it to imply a coefficient of 1 23:18:54 If I systematically refuse to eat bell peppers, it's not pedantry to not eat bell peppers. 23:19:20 ("The parent quadratic function is y = pi/pix^2+0x+0") 23:21:18 hppavilion[1]: here is a derivative for that: (d)/(dx)(π/(π x^2)+0 x+0) = -2/x^3\ 23:21:26 s/\\/ / 23:21:47 Numeric Abjad: 0 [z], 1 [w], 2 [t], 3 [θ], 4 [f], 5 [k], 6 [s], 7 [j], 8 [p], 9 [n] 23:22:21 shachaf: Pedantry was the wrong word, but I couldn't think of anything better 23:22:35 -!- Melvar has joined. 23:23:33 hppavilion[1]: no [r]? 23:23:47 wob_jonas: Where would the [r] be? 23:24:27 wob_jonas: Also, [r] would lead to r-colored vowels, which would make things more confusing 23:24:33 hppavilion[1]: dunno, anywhere so you get a saner set of consonants. 23:24:58 (between the sounds you can put any monopthong you like (or none, if you like); a decimal point is represented by a [b]) 23:25:43 -!- idris-bot has joined. 23:25:47 Hm, 1 should be [g] because [w] can be a difficult sound sometimes 23:25:57 wob_jonas: Why is this system insane? 23:26:12 it's not insane, but [r] is common and useful 23:26:43 wob_jonas: Yeah, but [r] leads to r-coloring, which makes things harder to understand. I guess 0 could be [r]? 23:26:56 Yeah, 0 is [r] 23:27:25 its just a _esoteric_ set of constants hppavilion[1] (; 23:28:42 moonythedwarf_: (1) "an _esoteric_" (2) That winky face is backwards; while (: is acceptable (if strange), (; is never allowed, only ;) (3) Many of them were chosen based on their initial sound in English to make it easier for English speakers (one of the larger groups) to understand 23:30:08 But, English are not abjad. 23:30:11 but i always wink my _right_ eye 23:31:09 zzo38: Yeah, but if I try to make the numbers have vowels, I lead to issues with numbers that don't contain any 23:31:32 Ah, OK 23:31:44 e.g. if the even digits are vowels and the odds are consonants, then you have trouble pronouncing 573597335 23:32:14 Yes, I can understand you 23:32:46 That was for anyone else reading (also, I'd already started typing and I don't like aborting messages) 23:33:21 * hppavilion[1] is pro-life, but only for relatively short Unicode strings used in text-only chat 23:35:49 hppavilion[1]: you could take a language with a somewhat strict syllable structure, and have every two consecutive digits be pronounced as a syllable, or even some more complicated system 23:36:49 I did have an idea like that too; treat even positions as vowels and odd positions as consonants; that isn't quite same but it is a similar thing. 23:36:52 -!- Guest15977 has quit (Ping timeout: 240 seconds). 23:37:20 I think there's even such a system, though not for generating any word, but as a system to read out numbers in a terse way 23:37:23 let me try to find it 23:38:06 wob_jonas: I could, I suppose, though odd numbers complicate a bit (even though the solution is quite obvious) 23:38:59 Every digit has a consonant sound and a vowel; you make these in sequence, in odd-length strings the remaining symbol is put at the end of the last syllable 23:39:07 If you didn't want the system workable by humans, then you'd just use arithmetical coding or some sort to generate almost exactly every reasonable pronunciation in a reasonable rate. 23:39:07 But then you have to memorize twice as many sounds 23:39:26 Abjad is simpler though 23:39:34 The abjad system yes is simpler and it does work too. 23:41:04 make it an abjad then, with the ten sounds being some permutations of [p m t d n k v z S r] ? 23:42:45 I think hppavilion[1]'s idea to omit [r] does make some sense, due to r-colour-vowels; it would be too difficult including all sound anyways 23:43:00 hellob_jonas 23:43:11 hi shachaf 23:43:46 or you could use syllables such that each two digits encode a syllable consisting of a consonant or consonant cluster from a set of 20 and a vowel from a set of 5. 23:44:43 wob_jonas: zzo38: If I do include [r], it has to be as 0 as that seems to be the only logical place for an r-colored vowel to exist 23:44:55 Better to use https://en.wikipedia.org/wiki/Mnemonic_major_system 23:45:04 -!- tromp has joined. 23:45:28 wob_jonas: I suppose I could, to make an abugida 23:45:41 But I think ultra-abjad is the best 23:45:49 (it'd most likely slowly evolve into an abjad) 23:46:55 OK, now to test 23:47:24 what if you use an escape digit so you encode 19 consonant clusters with 1, 2, ..., 9, 00, 01, ..., 09 respectively, such that the clusters you'd rather avoid at initial position get the codes staring by a zero? 23:47:32 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 23:47:36 no wait, that's stupi 23:47:41 forget that 23:48:06 still, you could use an escape digit somehwo 23:48:19 (final digits are allowed to drop the subsequent vowel) 23:48:50 Reference: http://pastebin.com/QE4pPHu3 23:48:56 sin 23:49:21 fotar 23:49:27 fot 23:49:39 (read those back to me from the lookup) 23:50:18 (Maybe I should allow multiple similar sounds for each- so [t] and [d] are the same) 23:50:27 OK 23:50:46 -!- Guest15977 has joined. 23:52:28 -!- Phantom_Hoover has joined. 23:53:30 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 23:58:49 OK, updated 23:59:31 Sometimes in a Dungeons&Dragons game, the duration of a spell can be much more important than the spell itself. 23:59:46 -!- DHeadshot has quit (Ping timeout: 252 seconds).