00:07:40 -!- Nisstyre-laptop has quit (Ping timeout: 244 seconds). 00:31:15 -!- cuwauwi has joined. 00:32:15 another brazilian? 00:34:26 oerjan: Racist! 00:34:30 `welcome cuwauwi 00:34:35 cuwauwi: Welcome to the international hub for esoteric programming language design! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 00:34:51 Gregor: Hattist! 00:37:47 oerjan: Istist! 00:39:10 Antidisestablishmentarianist! 00:41:16 *gasp* 00:41:41 you don't _have_ to stop breathing while reading the word, you know 00:42:20 But the Anglican church /must/ be separated from the crown! 00:43:56 the Queen will _not_ be amused. 00:45:33 -!- glogbackup has joined. 00:46:02 see, you've confused the bots again! 00:50:17 it's a little known fact that the anglican church is actually one of the central structural components of the crown 00:50:45 you can't separate it, all the jewels will fall of and it would flop around like a blancmange 00:51:07 @wm blancmange 00:51:08 *** "blancmange" wn "WordNet (r) 3.0 (2006)" 00:51:08 blancmange 00:51:08 n 1: sweet almond-flavored milk pudding thickened with gelatin 00:51:08 or cornstarch; usually molded 00:51:19 OKAY 00:51:25 honestly oerjan surely you've heard of the blancmange curve 00:52:03 indeed i have. just now in fact 00:52:27 worst mathematician? 00:53:50 well it does look similar to some stuff (weierstrass curve?) 00:56:39 ooh that triangle sum looks _very_ familiar. i think it was the very curve i was trying to convince someone else was nowhere differentiable in my first university year or so 01:00:02 -!- sebbu2 has joined. 01:00:34 i was a better mathematician than him, but he was a better programmer/hacker 01:01:22 -!- sebbu has quit (Ping timeout: 255 seconds). 01:03:19 -!- sebbu2 has changed nick to sebbu. 01:03:54 -!- monqy has joined. 01:08:44 -!- gasoline has joined. 01:08:53 hi peeps 01:09:00 `welcome gasoline 01:09:03 gasoline: Welcome to the international hub for esoteric programming language design! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 01:09:12 (everyone be careful with the matches) 01:09:13 oerjan, (it occurs to me that it's only obvious that the blancmange is non-differentiable on a countable subset of [0,1]) 01:09:16 no thanks HackEgo 01:09:44 wow you peeps got bizar bots 01:10:08 the reason for HackEgo and EgoBot both existing is admittedly pretty confusing 01:10:15 i'm still not sure i understand 01:10:20 aha 01:10:35 ^echo I'm bizarre too! 01:10:35 I'm bizarre too! I'm bizarre too! 01:10:44 Phantom_Hoover: a-ha 01:10:50 yes but fungot is deliberately bizarre 01:10:51 Phantom_Hoover: definition if universe and if/ what is responsible for a unix box somewhere 01:11:25 does the kosmos orignate from order or disorder / chaos 01:11:43 i accept plausible 01:12:08 is gasoline a markov bot too 01:12:08 Does it both? 01:12:23 how ? 01:12:35 make it plausible and i agree 01:12:35 my vote: yes 01:12:56 Phantom_Hoover: yeah i think my argument may have been a bit non-rigorous 01:13:38 oerjan, i guess you can go from "nondifferentiable in a dense subset" to "nowhere differentiable" pretty quickly with the actual definitions 01:13:57 Phantom_Hoover: i'm not going to be on that either way 01:13:59 *bet 01:14:05 -!- SingingBoyo has joined. 01:14:45 ^ul ((I am programmable too! )S:^):^ 01:14:45 I am programmable too! I am programmable too! I am programmable too! I am programmable too! I am programmable too! I am programmable too! I am programmable too! I am programmable too! I am programmable too! I am programmable too! I am programmable too! I am programmable too! I am programmable too! I am programmable too! I ...too much output! 01:14:53 fungot 01:14:54 shachaf: btw i still don't get it just because i use it for screen??? 01:15:10 yes, fungot. just because you use it for screen 01:15:11 shachaf: but eventually, you start depending on eval order, you can do 01:15:58 markov chains sure are chatty folk, wouldn't you agree, fungot 01:15:59 Bike: rather than after trying rewind on it purely from the perspective of someone who has a javascript-based search form he tries to trick humans into making losing bargains, just like in doom 01:16:10 wow, what 01:16:20 * oerjan is reminded of Gregor's (?) horrible tome of eval puns 01:16:25 ^style 01:16:25 Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube 01:16:38 ^style iwcs 01:16:39 Selected style: iwcs (Irregular Webcomic scripts) 01:16:56 don't think i've seen fungot with this style 01:16:57 Phantom_Hoover: oh, of the house, so he wasn't joking i don't bolivia! something that might help us get a healer 01:17:17 i don't bolivia either 01:17:31 fungot, i think i prefer the homestuck 01:17:31 Phantom_Hoover: but, but... that's not a fish. it's a lump of rock! we didn't give any thought the guys at nasa has fast-tracked a prototype deep has held out well, a funny thing happened on a real. how come they are, since i heard the news from the east of paris. made of plaster 01:17:33 is it in anyones intentions to make sense ? 01:17:40 gasoline: rarely 01:17:41 no 01:17:51 `WELCOME gasoline 01:17:54 GASOLINE: WELCOME TO THE INTERNATIONAL HUB FOR ESOTERIC PROGRAMMING LANGUAGE DESIGN! FOR MORE INFORMATION, CHECK OUT OUR WIKI: HTTP://ESOLANGS.ORG/WIKI/MAIN_PAGE. (FOR THE OTHER KIND OF ESOTERICA, TRY #ESOTERIC ON IRC.DAL.NET.) 01:17:56 it's just a babble pot written in befunge 01:18:00 hi shachaf 01:18:00 ^source 01:18:00 http://git.zem.fi/fungot/blob/HEAD:/fungot.b98 01:18:20 gotcha HackEgo 01:18:31 `? shachaf 01:18:34 shachaf ? ¯\(°_o)/¯ 01:18:39 wat 01:18:42 huh 01:18:43 `? shachaf 01:18:43 `? shachaf 01:18:45 shachaf sprø som selleri 01:18:58 `? oerjan 01:19:01 now what 01:19:01 oerjan ? ¯\(°_o)/¯ 01:19:05 `? oerjan 01:19:07 `? oerjan 01:19:10 Phantom_Hoover: final space problem 01:19:10 oerjan ? ¯\(°_o)/¯ 01:19:10 shachaf sprø som selleri 01:19:23 oerjan, wait what 01:19:33 Your evil overlord oerjan is a lazy expert in future computation. Also a lying Norwegian. 01:19:48 Phantom_Hoover: if you tab complete a nick it gives a final space. `? distinguishes that from without. 01:20:07 ahhhh 01:20:20 Hey, that's not a lie 01:20:28 `? FireFly 01:20:30 what isn't? 01:20:31 FireFly? ¯\(°_o)/¯ 01:20:36 Your line 01:21:00 is this seriously a whole irc bot written in befunge 01:21:05 yes 01:21:14 this was compiled from something else 01:21:15 right 01:21:18 tell me it was 01:21:25 That'd be boring 01:21:40 Fungot is written in Befunge? 01:21:50 shachaf didn't know? 01:21:58 i refuse to believe a human wrote this 01:22:00 Bike, not as far as i know, and it doesn't look like it is 01:22:03 I thought that was common knowledge? 01:22:04 oerjan: Nope. 01:22:11 No one ever told me! 01:22:13 fizzie: Bike refuses to believe you are human 01:22:20 i mean there are comments and everything 01:22:21 i'm sorry fizzie, i have principles 01:22:37 fizzie just passed the anti-Turing test? 01:22:51 hm, or failed perhaps 01:22:54 > "We have lambdabot here too!" 01:22:55 "We have lambdabot here too!" 01:22:58 -!- cherep_ has quit (Quit: Leaving). 01:23:11 lambdabot is haskell, right 01:23:26 yes 01:23:44 thank you. 01:24:20 Bike: That's not the proper way to address lambdabot. 01:24:23 @thank you 01:24:23 Maybe you meant: thank you thanks 01:24:25 Hmm. 01:24:26 @thx 01:24:27 you are welcome 01:24:47 @thanks 01:24:48 you are welcome 01:24:53 HackEgo and EgoBot are both sandboxed linux environment thingies 01:25:07 Can I run commands as root on HackEgo? 01:25:08 oonbotti: you are here too! 01:25:09 oerjan: Why do you think I am here too!? 01:25:21 shachaf: you can _try_... 01:25:27 `help 01:25:29 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 01:25:31 oonbotti: you are a bot 01:25:34 FireFly: Perhaps you would like me to be a bot. 01:25:39 `? HackEgo 01:25:41 @thanks, lambdabot 01:25:42 you are welcome 01:25:42 HackEgo, also known as HackBot, is a bot that runs arbitrary commands on Unix. See `help for info on using it. You should totally try to hax0r it! Make sure you imagine it's running as root with no sandboxing. 01:26:01 `help 01:26:03 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 01:26:04 `help 01:26:06 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 01:26:24 speaking of turing tests, quick poll, raise your hand if you're actually an ELIZA script 01:26:58 An ELIZA script would turn that into a question 01:27:03 So no, I am not 01:27:07 * oerjan raises hand 01:27:15 How would you feel about actually being an ELIZA script? 01:27:19 ha, you fail the eliza test oerjan 01:27:20 `echo $PWD 01:27:22 * shachaf is SHRDLU 01:27:22 ​$PWD 01:27:27 `run echo $PWD 01:27:28 `run echo $PWD 01:27:30 ​/hackenv 01:27:36 Stop being me, shachaf 01:27:39 `run id -a 01:27:42 uid=5000 gid=227965 01:27:42 shachaf, what is the color of the pyramid on the green block 01:27:48 fiora, noted 01:27:51 ​/hackenv 01:27:54 Gregor: Can we have root access to HackEgo? 01:28:01 It's sandboxed, right? 01:28:40 -!- Phantom_Hoover has quit (Remote host closed the connection). 01:28:55 `run ls | xargs 01:28:58 bin canary foo karma lib paste quotes share wisdom zalgo.hs 01:29:23 | xargs? 01:29:29 Is that the same thing as echo $(ls)? 01:29:40 Yeah, I guess 01:29:52 i think xargs is meant to be a safe version that deals with quotation and stuff 01:30:00 since shell is kind of. chaotic 01:30:33 Pft. 01:30:38 i've been using | fmt -w500 or thereabouts for HackEgo 01:30:58 | xargs is just a lazy way to get everything on one line 01:31:14 well, xargs has proper uses too 01:31:14 `ls 01:31:17 bin \ canary \ foo \ karma \ lib \ paste \ quotes \ share \ wisdom \ zalgo.hs 01:31:22 Ah, neat 01:31:47 `run echo $PATH 01:31:50 ​/hackenv/bin:/opt/python27/bin:/opt/ghc/bin:/usr/bin:/bin 01:32:52 `run ghc -e 'print "Broken I think"' 01:32:56 ghc: can't find a package database at /usr/lib/ghc-6.12.1/package.conf.d 01:33:24 `ls bin 01:33:26 ​? \ @ \ No \ WELCOME \ WeLcOmE \ addquote \ addquotee \ allquotes \ anonlog \ calc \ define \ delquote \ delquotee \ etymology \ forget \ fortune \ frink \ fuck \ google \ hatesgeo \ hi \ joustreport \ jousturl \ json \ k \ karma \ karma+ \ karma- \ learn \ log \ logurl \ macro \ maketext \ marco \ paste \ pastefortunes \ pastekarma \ pastelog \ pastelogs \ pastenquotes \ pastequotes \ pastewisdom \ pastlog \ ping 01:36:31 kmc: Did you know that? 01:36:57 know what? 01:37:04 xargs with no args? 01:37:15 that's convenient 01:38:31 kmc: fungot is written in Befunge. 01:38:32 shachaf: oh, there's a sign, maybe. it's the only country with a specific law against walking up the path! wranglin' giant reptiles. in the background 01:40:21 oh 01:40:24 i didn't know that either 01:40:28 http://git.zem.fi/fungot/blob/HEAD:/fungot.b98 01:40:29 shachaf: sorry, i don't know what they're up here while dad and i know, the guy who does the opposite of normal software engineering we've seen you before in cyberspace. this patch of light a star. they're too uncouth point, followed by the gerund if necessary, bein' dead on flimsy premise. the characters exchanged jokes about it amidst unresolved sexual tension. 01:41:46 whoever wrote fungot is insane. funges are hard. 01:41:46 SingingBoyo: are you sure the technology! come about fer what purpose, ye scurvy creature! it's killed kyros and lambert, a travelling merchant, practised with bow, can i make new laws on the books, is now carting around two wannabe scientists are still growing! they look, let me pick something of it, fast, highly technological terror you've constructed. the ability to be captured a spanish galleon! arrr!! 01:41:48 impressive 01:42:45 "fast, highly technological terror you've constructed" 01:43:20 ^style 01:43:21 Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc iwcs* jargon lovecraft nethack pa qwantz sms speeches ss wp youtube 01:43:22 shachaf: lens/travis-cabal-apt-install uses xargs for that. 01:43:50 fungot: That's not the first time f​ungot has said that. 01:43:50 shachaf: you! shall not! parse! enjoying the easy life at the expense of the artwork, and if the thermal exhaust port gets hit... i should join the dark side, the snakes, and 9... 01:44:03 Er, FireFly: 01:44:14 Oh, okay 01:45:23 ^style youtube 01:45:23 Selected style: youtube (Some YouTube comments) 01:45:30 fungot: speak your mind 01:45:30 FireFly: avril lavigne could be wrong. this website is pretty good for about 10 seconds and then i jizz in my pants. great job 01:45:38 Oh god. 01:45:54 Firefly: that's what you get for going with youtube 01:46:19 f​ungot 01:46:34 befungot 01:46:34 shachaf: what/ why are you, stop looking for the movie. 01:53:05 -!- gasoline has quit (Remote host closed the connection). 02:10:14 -!- ifnspifn has quit (Quit: ifnspifn). 02:10:57 -!- Arc_Koen has quit (Quit: Comment on appelle un mec qui pilote un avion ?). 02:13:31 -!- Nisstyre-laptop has joined. 02:40:59 fungot! 02:41:00 kmc: haha jt shaking his head. and bullet time? 02:41:15 fungot! fun..got! 02:41:16 kmc: nothing to do some break, but computers have no theory, you really that hard for you. he's a pretend christian. his brother is a fake? 02:44:59 fungot: great job 02:44:59 kmc: i guess, possibly to the person who feels sick after watching this kind of " mental instability". too much, the docks, the history channel on modern marvels, they always bring him back as a result of very poor research. 02:46:03 ^style iwcs 02:46:03 Selected style: iwcs (Irregular Webcomic scripts) 02:46:11 ^style lovecraft 02:46:12 Selected style: lovecraft (H. P. Lovecraft's writings) 02:46:16 fungot: ! 02:46:16 kmc: published fnord 1936 in astounding stories, vol. 13, p. fnord. prop... fnord... 02:47:01 in college i used to collect old CRT monitors and have them in my room displaying markov chain output in that xscreensaver 'phosphor' mode, 24/7 02:47:29 i had one that was trained on the holy books of the world's religions 02:47:41 and another that was trained on the wikipedia talk pages regarding the world's religions 02:48:05 so the first one would proselytize continuously and the second one would conduct flamewars with itself 02:49:02 this sounds like a meditation ritual 03:12:03 hi kmc 03:12:46 spj wants YOU for G.H.C. army 03:13:59 -!- FreeFull has quit. 03:21:59 -!- Sgeo|web has joined. 03:22:40 -!- Sgeo|web has changed nick to Sgeo. 03:27:58 o rly 03:28:44 http://www.haskell.org/pipermail/haskell-cafe/2012-December/105041.html 03:29:43 :( why does CentOS include an obsolete Mercurial? 03:30:40 CentOS has exactly the same packages as the corresponding RHEL version 03:30:45 if you want newer stuff you should add EPEL 03:36:50 Maybe I could just compile and use Mercurial from source? 03:37:11 Using obsolete is not an option -- I sort of copied all the stuff over from one machine to another 03:39:23 why are you using centos? 03:40:20 Because not my choice, although I do have root access 03:42:55 well 03:43:08 ok 03:43:43 If you have root access, you have a choice. 03:48:16 How long does it take for a caffeine addiction to develop? 03:48:32 About a week. 03:48:43 I had one coffe on Monday and one on Tuesday, now I'm looking forward to having coffee on Thursday 03:49:11 When do you drink your coffee? 03:49:21 Around 11am 03:50:20 1100 drink coffee everyday 03:54:39 -!- jfischoff has quit (Quit: jfischoff). 04:05:14 -!- SingingBoyo has quit (Ping timeout: 240 seconds). 04:19:32 -!- jfischoff has joined. 04:31:24 -!- jfischoff has quit (Remote host closed the connection). 04:48:44 more like 1100 drink a 7-Eleven Double Gulp everyday 04:52:59 Wouldn't doing that at 0711 make more sense? 04:53:26 no because i am not awake then 05:00:12 -!- variable has quit (Ping timeout: 264 seconds). 05:17:35 -!- oerjan has quit (Quit: leaving). 05:20:00 -!- heroux has quit (Read error: Operation timed out). 05:23:53 -!- heroux has joined. 05:27:24 A chess variant: The king is allowed to make a long move once per game. 05:28:00 (Castling does not count as this long move.) 05:43:53 -!- variable has joined. 06:12:42 -!- Bike has quit (Ping timeout: 264 seconds). 06:41:16 -!- Bike has joined. 07:19:17 -!- ifnspifn has joined. 07:29:25 -!- Bike has quit (Ping timeout: 256 seconds). 07:31:24 -!- zzo38 has quit (Remote host closed the connection). 07:32:52 -!- Bike has joined. 07:34:40 -!- Bike_ has joined. 07:35:49 -!- Bike has quit (Disconnected by services). 07:35:55 -!- Bike_ has changed nick to Bike. 07:38:04 -!- ais523 has joined. 07:47:53 I thought I was human. :/ :\ 07:49:19 how silly of you 07:49:37 fungot: Did I at least write you? 07:49:38 fizzie: it was while struggling up the colossal spiral incline that we first encounter the permanent entry of the weird over the ancient eastern mind, and there was nothing anywhere but blackness and horror and silence and bones. 07:49:53 oh, are there tong-nou fans here? 07:50:09 what's a tong-nou 07:50:10 help 07:51:10 What's CPR analysis? 07:51:23 ^style 07:51:24 Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft* nethack pa qwantz sms speeches ss wp youtube 07:51:25 (Okay, that was obvious.) 07:51:27 Ah, Constructed Product Result 07:51:45 Really, "Construct Product Result"? 07:52:25 tong-nou is an obscure video game, i was just wondering because the phrase "eastern mind" doesn't come up in many other contexts (that aren't, like, racist orientalist shit, maybe?) 07:52:58 fungot knows many things 07:52:59 olsner: published november 1923 in weird tales, vol. 45, no. 1, p. fnord. 07:53:20 ^style nethack 07:53:20 Selected style: nethack (NetHack 3.4.3 data.base, rumors.tru, rumors.fal) 07:53:22 fungot fungot fungot 07:53:22 shachaf: the secret of wands of nothing happens: try again! xander double ( grabbing the gun): a japanese flail. ( autolycus the rogue, from the dead body of a wand of undead turning might bring your dog. 07:53:36 the secret of wands of nothing happens: try again! 07:53:42 good advice 07:53:45 fungot fungot fungot 07:53:45 shachaf: sorry, no one really subscribes to rec.games.roguelike.nethack. ' you have a hidden enchanted touch. we are fools" ( the rime of the days before he had still spent a deal of indian lore in his memory. ( prehistoric animals, and from the cemetery intimidates and disconcerts that which startled mrs. hall. it has become an accepted fact amongst the practitioners of the same fashion that a shimmering gold shield is not lik 07:53:51 Lovecraft could arguably be "racist orientalist shit". 07:54:34 dunno if i'd call him orientalist, he went more the "evil hivemind" route than the "ancient Chinese wisdom" route 07:54:56 fungot: What kind of settings did I use for this style? It's so incoherent. 07:54:56 fizzie: thoth: the minotaur was a monster you'll have a hidden enchanted touch. 07:55:28 f​ungot f​ungot f​ungot 07:55:34 f​ungot f​ungot f​ungot f​ungot f​ungot 07:55:39 hi f​ungot 07:56:36 It seems very interested in the hidden enchanted touch. 07:56:52 hi fungot 07:56:52 shachaf: most of the wild, hunters but hunters ever of the mazes. he created an empire in which they died and in the saddle, and at times the gods are happy when they take the back of the oligocene being 8 feet high, and i will eat them. 07:57:01 f​ungot is a liar. 07:57:11 I like how that ends. 07:57:43 I think "them" is referring to the gods. 08:01:10 fungot: eat gods 08:01:10 olsner: marduk: first in the use of his seed unto molech, to the galaxy, by sucking the blood of sleeping persons.... thrice i filled the tub and emptied it. however, one would go endlessly along its twisting paths without ever finding the exit. ( excerpted from internet oracularity 576.6) 08:01:36 Man, those Internet Oracle answers are sometimes kinda weird. 08:01:38 that's pretty appropriate, I think. 08:02:08 Bike Bike Bike 08:02:12 I should maybe add a style one of these days, I haven't done it in a long while. 08:02:25 internet oracle style? 08:02:50 or, how about... gangnam style? HAHA so funny 08:03:28 )()))))((()()()()(((()))()()())))(()((())( 08:03:57 ^style gangnam 08:03:57 Not found. 08:04:07 A bit behind the times, there. 08:04:23 everybody here's seen the music video without music, right 08:05:00 is it actually the video without music or is it just redubbed with sound effects? 08:05:32 it's redubbed to add sound effects, but it's pretty good 08:05:53 i've yet to actually hear the song, whenever i'm tempted to I just go back and watch the music video instead. 08:16:37 -!- Bike has quit (Quit: sleep). 08:17:33 -!- epicmonkey has joined. 08:18:55 fungot: say something 08:18:56 olsner: they say that a lembas wafer is a good way off from among his people; because he hath given of his face exposed excepting only his pink, peaked nose. it was overheard or repeated by an eight- pointed star. he is the best from their priesthood. 08:19:34 -!- c00kiemon5ter has quit (*.net *.split). 08:19:52 -!- c00kiemon5ter has joined. 08:20:37 a lembas wafer is "a good way off"? interesting 08:27:36 -!- monqy has quit (Quit: hello). 08:29:40 -!- GreyKnight has joined. 08:31:04 I ♥ Unicode 08:31:25 Heh my IRC client got confused by that :-) 08:31:41 I � Unicode 08:31:51 So I had another great idea for communist programming 08:31:57 -!- asiekierka has quit (Excess Flood). 08:32:44 `welcome GreyKnight 08:32:45 Integers are the workers of computing, but those hoity-toity objects take all the credit 08:32:57 GreyKnight: Welcome to the international hub for esoteric programming language design! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 08:33:01 What if we throw out all the objects and give their methods/properties to integers instead? 08:33:20 -!- SingingBoyo has joined. 08:33:27 shachaf: I've been here a hundred times but thanks anyway :-P 08:34:01 GreyKnight: So? 08:34:10 -!- asiekierka has joined. 08:35:01 Well... I already knew everything in the welcome blurb... 08:35:20 So? 08:35:31 The point is to make you feel welcome, not to teach you. 08:35:35 Fiora knows. 08:35:50 I said thanks for the welcome part 08:36:00 `WeLcOmE GreyKnight 08:36:04 GrEyKnIgHt: WeLcOmE To tHe iNtErNaTiOnAl hUb fOr eSoTeRiC PrOgRaMmInG LaNgUaGe dEsIgN! fOr mOrE InFoRmAtIoN, cHeCk oUt oUr wIkI: hTtP://EsOlAnGs.oRg/wIkI/MaIn_pAgE. (FoR ThE OtHeR KiNd oF EsOtErIcA, tRy #EsOtErIc oN IrC.DaL.NeT.) 08:36:23 Okay, *that* was amusing 08:37:03 (But the URL is broken now, sadface) 08:37:57 `WELCOME GreyKnight 08:38:00 ​GREYKNIGHT: WELCOME TO THE INTERNATIONAL HUB FOR ESOTERIC PROGRAMMING LANGUAGE DESIGN! FOR MORE INFORMATION, CHECK OUT OUR WIKI: HTTP://ESOLANGS.ORG/WIKI/M 08:38:24 `run printf '\x031a\x032b\x033c\x034d' 08:38:27 ​.1a.2b.3c.4d 08:38:30 :-( 08:38:31 Anyway, suppose we use integers in place of objects/classes. The catch is that if, for example, you modify the .equals() method of 5, it affects all instances of 5 08:38:35 Gregor!!!!!!!!!!!!!! 08:41:50 I guess you should use integers instead of floats instead? Just make them all rational, easy 08:42:48 (get lost, Cantor) 08:42:55 http://esolangs.org/wiki/Forte 08:43:20 "if, for example, you modify the .equals() method of 5, it affects all instances of 5" reminded me of this 08:44:26 That is similar 08:45:02 I guess if I have a .value() method or something I can maybe produce a superset of Forte's functionality 08:46:08 hmm, so cpressey has written an underload derivative 08:46:08 ais523: You have 1 new message. '/msg lambdabot @messages' to read it. 08:46:12 @messages 08:46:12 oerjan said 3d 9h 48m 47s ago: http://esolangs.org/wiki/Talk:Carriage#Representation_erasure 08:46:22 Hm a string can be regarded as a function mapping integers to integers 08:46:24 I finally feel like I'm officially a big esolang name 08:47:35 I thought you already were 08:47:36 Brb 08:47:42 -!- GreyKnight has quit (Quit: brb). 08:47:45 ais523: You've "made it", now. No more financial troubles for the rest of your life. 08:48:02 `welcome ais523 08:48:05 ais523: Welcome to the international hub for esoteric programming language design! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 08:49:34 -!- GreyKnight has joined. 08:51:26 -!- Taneb has joined. 08:51:38 ais523: at least I suppose you got a bit famous for *not* implementing a certain esoteric language :-) 08:55:36 everyone's famous for that :) 08:56:32 At least you could legitimately claim you were waiting for your future self to do it 08:57:11 no, stop it! 08:57:41 `run printf '\u031a\u032b\u033c\u034d' 08:57:44 ​\u031a\u032b\u033c\u034d 08:57:50 Oh, hey, the string-as-function thing should work for Feather too 08:57:52 OK, printf doesn't implement that yet 08:58:09 shachaf: \x only reads the next two digits; \u does four, \U does eight 08:58:15 in most languages which have them 08:58:27 ais523: Yes, but I wanted two characters. 08:58:30 I was trying to IRC colors. 08:58:37 ah, OK 08:58:53 I think HackEgo has a control code filter 08:59:14 Thanks for being terrible, HackEgo. :-( 08:59:22 All the coolbots use colour these days. 08:59:28 s/lb/l b/ 08:59:37 Uncool is the new cool 09:05:07 -!- epicmonkey has quit (Ping timeout: 246 seconds). 09:06:16 https://github.com/Frib/Armok 09:06:26 Someone made an esolang without realising 09:08:48 The cave is only 1-dimensional! 09:08:53 is it a BF derivative? 09:09:16 s/B/D/ 09:09:42 I guessed 09:09:43 from the name 09:10:08 I don't think it's a BF derivative 09:10:11 It looks similar 09:10:33 It's closer to MARIOLang with threading 09:10:41 ^bf +++>,[<.>.,[.[-]],]!2a3b4c5d 09:10:42 abcd 09:10:44 ^ the better bot 09:11:15 -!- sebbu2 has joined. 09:11:15 -!- sebbu2 has quit (Changing host). 09:11:15 -!- sebbu2 has joined. 09:11:40 did that come out in color? I set my client to filter colors 09:11:45 It did. 09:11:57 Thanks for being terrible, ais523. 09:12:02 (To paraphrase shachaf.) 09:12:06 why is that terrible? 09:12:14 I don't know, but apparently it is. 09:12:29 I suppose life's just flat and dull without colours? 09:14:37 ^bf +++>,>,[<<.>.+>.+]!1a 09:14:37 abcdefghi:j;kn?o@pAqBrCsDtEuFvGwHxIyJzK{L|M}N~OPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstu ... 09:14:45 Well, it started all right. 09:14:50 -!- sebbu has quit (Ping timeout: 250 seconds). 09:17:53 -!- nooga has joined. 09:21:40 Thanks for being terrible, fizzie 09:32:30 @thx for being terrible, lambdabot 09:32:31 you are welcome 09:38:58 -!- iamcal has quit (Remote host closed the connection). 09:42:55 Is data Stack :: * -> * -> * where Empty :: Stack Zero a; (:-) :: a -> Stack n a -> Stack (Succ n) a traversable? 09:45:18 -!- sebbu has joined. 09:45:18 -!- sebbu has quit (Changing host). 09:45:18 -!- sebbu has joined. 09:46:46 -!- sebbu2 has quit (Ping timeout: 246 seconds). 09:46:56 -!- Taneb has quit (Quit: Leaving). 09:50:18 kmc: Did you read http://research.microsoft.com/en-us/um/people/simonpj/Papers/cpr/index.htm ? 09:50:32 The other end of "how to make a fast curry". 09:50:53 rwbarton pointed out that the dual of currying is more like returning sums than returning products. 09:50:58 Or at least I think that's what he was saying. 09:51:04 Compare foldr and unfoldr, for example. 09:54:14 Taneb: Is that just Vect? 09:57:06 Can you do similar partial inlining for things that accept/return sums? 09:59:45 elliott fizzie 09:59:51 oops Fiora 10:00:18 Sgeo Sgeo Sgeo 10:00:31 -!- aloril has quit (Ping timeout: 260 seconds). 10:01:16 Hastur Hastur Hastur 10:01:51 `WELCOME GreyKnight 10:01:54 GREYKNIGHT: WELCOME TO THE INTERNATIONAL HUB FOR ESOTERIC PROGRAMMING LANGUAGE DESIGN! FOR MORE INFORMATION, CHECK OUT OUR WIKI: HTTP://ESOLANGS.ORG/WIKI/MAIN_PAGE. (FOR THE OTHER KIND OF ESOTERICA, TRY #ESOTERIC ON IRC.DAL.NET.) 10:02:32 THANKS 10:07:30 Oh, Taneb is gone. 10:07:35 @ask Taneb Why not? 10:07:35 Consider it noted. 10:08:54 I like that Taneb's snippet has a :-) in it 10:09:25 How do you feel about its (:- ? 10:11:00 Why is its nose on its forehead :-O 10:11:27 @quote eat.a 10:11:27 SamB_XP says: I once saw it eat a comment (:[{- Help! -}]) 10:12:48 om nom nom 10:12:48 What does the syntax mean anyway, I only know a tiny bit of Haskell 10:13:03 -!- aloril has joined. 10:13:39 Which part? 10:13:58 (:-) 10:14:19 Oh, it's just referring to the infix name :- 10:14:22 > 1 + 2 10:14:24 3 10:14:25 > (+) 1 2 10:14:27 3 10:14:28 (And/or SamB_XP's bit) 10:14:33 (+) is a function that takes two arguments. 10:14:34 Oh yeah 10:14:40 > (^2) 5 10:14:42 25 10:14:47 (^2) is a function that takes one argument and squares it. 10:14:59 I knew you could do that, just didn't think of :- as an operator 10:15:08 So it didn't connect 10:15:26 @tell monqy (-: 10:15:26 Consider it noted. 10:15:58 @tell lambdabot aren't you helpful! 10:15:59 Nice try ;) 10:17:59 -!- iamcal has joined. 10:28:45 -!- slickeli has joined. 10:29:09 -!- slickeli has left. 10:29:17 -!- slickeli has joined. 10:36:08 -!- epicmonkey has joined. 10:47:17 -!- Phantom_Hoover has joined. 10:55:54 -!- oklofok has quit (Ping timeout: 264 seconds). 10:59:59 -!- TeruFSX_ has quit (Read error: Connection reset by peer). 11:02:49 -!- TeruFSX has joined. 11:10:24 -!- ais523 has quit (Read error: Connection reset by peer). 11:10:31 -!- ais523 has joined. 11:27:23 -!- sebbu has quit (Read error: Connection reset by peer). 11:27:49 -!- sebbu has joined. 11:28:13 McAffee was arrested 11:28:24 yes 11:28:35 I saw it today at news 11:28:48 to bad for him 11:36:00 `hatesgeo 11:36:33 Oh, right, that script that points out how I had some severe connection issues? 11:36:33 No output. 11:36:38 o.O 11:36:44 `cat bin/hatesgeo 11:36:47 ​#!/bin/sh \ perl -n -e '/:(.*?)!.*JOIN/; $j{$1}++; END {print "$_ $j{$_};" for sort {$j{$b} <=> $j{$a}} keys %j}' $@ 11:37:03 oh man 11:37:31 Oh, my most recent JOIN was as Sgeo|web 11:38:02 Hmm, I guess you also have to pass it the filename of a log file? 11:38:24 Also, why do you hate me? 11:38:31 I don't 11:38:35 I was curious what it did 11:38:44 Ah 11:38:47 so in one CS class there's a rather silly assignment which is the end of a series of assignments 11:39:18 wherein you are given a simple CFG and work on derivations 11:39:26 the CFG is just bracketed subtraction expressions on numbers 11:40:06 the last problem, inexplicably titled 'Galaxy' instead of, say, 'Problem 4', is to evaluate the expression given a derivation, assuming that all numbers are 42 11:40:35 heh 11:40:46 unfortunately, due to the rather lame subset of everything useful that they use, you can ignore the whole CFG thing and just do simple text evaluation 11:41:00 I don't even really know what CFG is 11:41:15 context-free grammar 11:41:28 I managed to golf the whole assignment down to 53 characters of perl 11:43:15 Sgeo: you don't know how context-free grammars work? 11:43:28 I was sad I couldn't break 50 11:43:33 Didn't recognize the abbreviation. I have ... some idea 11:44:47 for instance "initial state A, rules A -> a, A -> aAa, B -> bb" is a CFG. it generates the words a, abba, aabbaa, aaabbaaa etc 11:45:07 oops. 11:45:19 let's try that again 11:45:34 *for instance "initial state A, rules A -> bb, A -> aAa" is a CFG. it generates the words bb, abba, aabbaa, aaabbaaa etc 11:45:45 because A -> bb gives the word bb 11:45:52 A -> aAa -> abba gives abba 11:46:04 A -> aAa -> aaAaa -> aabbaa gives aabbaa 11:47:37 here, A is a nonterminal, a and b are terminals. the set of words generated is the set of words over terminals you can generate by turning left hand sides of rules into right hand sides of rules. left hand sides of rules are always just a single nonterminal. 11:47:52 -!- Arc_Koen has joined. 11:48:28 everyone should learn to love CFG's, they're the second best language class 11:49:58 -!- Taneb has joined. 11:51:25 What's first best? 11:52:15 regular languages 11:53:37 -!- TeruFSX has quit (Read error: Connection reset by peer). 11:54:50 -!- TeruFSX has joined. 12:03:11 ais523: I want to vary from your example feather code slightly 12:04:50 Have a program be a function [ sys ¦ body... ] and the "root object" is passed as the sys argument when starting up 12:04:50 atomCompare, callCC, and IO can be extracted as properties of sys 12:05:27 Yay, ¦ 12:07:27 My normal keyboard fails at regular pipes :-P 12:07:27 s/normal/phone/ 12:07:27 Common typo 12:09:37 Wait, there exists example Feather code? 12:10:02 Like one tiny fragment 12:10:36 And part of the syntax was already obsolete (grouping is now by parentheses not brackets) 12:10:56 I have some examples of my own based on discussions with ais523 12:13:14 E.g. the =<< method can be defined on o by: 12:13:16 o =<< <<= [dummy ¦ callcc [cc ¦ o <<= <<= cc]] 12:16:34 -!- Taneb has quit (Ping timeout: 240 seconds). 12:18:22 I feel pathetic that I didn't get this until I read the discussion 12:18:22 http://www.scp-wiki.net/scp-001-ex-j 12:24:28 -!- Taneb has joined. 12:27:17 Hi Taneb did you see update (not particulary makot) 12:27:19 maojor 12:27:20 major 12:27:23 Yes 12:27:23 Taneb: You have 1 new message. '/msg lambdabot @messages' to read it. 12:27:26 Aaaah 12:27:26 -!- Sgeo has changed nick to Roxy. 12:27:27 Aaaah 12:27:28 Oh no 12:27:35 -!- Roxy has changed nick to Sgeo. 12:27:55 Sgeo: I got it! Amusing 12:30:13 SingingBoyo: Who are you? 12:31:05 shachaf: Just a canadian. don't mind me. 12:31:31 SingingBoyo: if you need me I'll be off riding my moose. 12:31:32 What was your previous nick? 12:31:51 why did it put SingingBoyo. meh. 12:31:56 and I've never had a previous nick lol 12:32:04 `pastelog SingingBoyo 12:32:10 ._. 12:32:29 `welcome SiningBoyo 12:32:34 SiningBoyo: Welcome to the international hub for esoteric programming language design! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 12:32:37 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.15311 12:32:41 -!- oklofok has joined. 12:32:48 `pastelogs SingingBoyo 12:33:04 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.10325 12:33:14 asdfasdf 12:33:36 oh hmm. guess I was around for a day or so ages back. 12:33:38 hello ais and other people who don't see colors 12:34:17 oklofok: I see colors, including this one. 12:35:05 what color is your background? 12:35:38 Mine's black 12:35:44 would be nice to know everyone's background color so i could secretly communicate with only people with non-white backgrounds 12:35:49 pitch black! 12:36:07 hmm. I can read that. and I have a white background 12:36:12 :( 12:36:19 your plan has failed! 12:36:33 can you read "so i could secretly communicate with only people with non-white backgrounds"? 12:36:36 That's racist :-o 12:36:38 in the previous sentence 12:36:40 yup 12:36:56 and then GreyKnight said 'pitch black!' 12:37:05 shachaf, I'm not very good at defining traversable instances 12:37:08 foo 12:37:09 But I've got it now :) 12:37:38 this client has an odd palette 12:38:02 Taneb: Isn't it the same as []'s Traversable instance? 12:39:10 fungot I love you 12:39:11 GreyKnight: they say that you can only kill a lich once and then led to the military base, two soldiers appeared before him! ( who goes there?, by j.r.r. tolkien) 12:41:08 shachaf, annoyingly, not quite 12:41:09 bbl 12:41:10 -!- Taneb has quit (Quit: Leaving). 12:43:04 GreyKnight: i'm pretty sure it's the same palette in every client 12:44:04 because you send something like 0x01 where 1 is some small number and then you send and ascii number between 0-15 and that's what colors it 12:44:11 *an ascii 12:44:32 sasdfewasfewmmm 12:45:13 well 12:45:55 the same palette in the sense that you can send me the same colors as anyone else, of course they might look silly in your end, but then so will our messages prolly 12:50:25 That's what I meant 12:51:24 yeah 12:51:45 dusty pink beige light brown turquoise 12:52:12 also the number seems to be taken mod 16 12:52:49 Probably depends on the implementation 12:53:12 hello? 12:53:35 12:53:38 err 12:54:06 12:54:09 hmm 12:54:19 12:54:40 oh right. 12:54:40 whut 12:55:33 I'm scared and confused 12:56:30 okokokokokokokokokokokokokokokok o 12:56:33 hmm 12:57:09 so it's mod 16 when i'm writing the message, then shows up as white after going through the network. 12:57:36 then again mirc/nnscript shows many things differently in the prompt than on channel 12:58:22 also up there i first said 32 color codes, then 32 colored spaces. oops. 12:58:49 34 12:59:33 what is oko 12:59:58 okokokokokokokokokoko 13:01:18 -!- Sgeo has quit (Ping timeout: 245 seconds). 13:02:47 kokokokokok 13:03:15 > cycle "ok" 13:03:16 "okokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokok... 13:03:41 ^ul ((ok)S:^):^ 13:03:41 okokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokok ...too much output! 13:03:52 That's a lot of oko 13:04:02 fnugot 13:04:04 fungot 13:04:04 shachaf: if you can't wipe your greasy bare hands on a scare monster scroll. ( the stand, by sucking the blood of sleeping persons.... the legend tells how the wind, the lyre, pan's pipes, numbers, the first ever seen your weapon and take off your clothes. 13:04:13 GNUgot, a GNU implementation of fungot 13:04:13 FireFly: it is rectangular in shape, very thin cakes, made of a sort of thing hrun the barbarian and the outside, he was bested only twice: once when orpheus put him to attempt the conquest of medusa. 13:04:21 fungot 13:04:22 shachaf: a magic lamp. once in a knockingshop it was another cockatrice. i knew my erik too well to feel the latter with just a computer key, followed by a priestess who went into his back. knife in his honor. it wraps itself around its prey and digests it. 13:04:28 ^style youtube 13:04:28 Selected style: youtube (Some YouTube comments) 13:04:29 fungot 13:04:30 shachaf: this looks pretty good run-down of the french guy is a pig next to grandma, they certainly felt very max payne-ish yes, i like hip hop no trance...1 2 3..........wtf...opera... 13:05:15 Makes perfect sense, fungot 13:05:15 FireFly: i am buying this album. 13:05:32 -!- augur has quit (Remote host closed the connection). 13:13:00 fungot: which album 13:13:00 oklofok: cool hair. i can say 13:13:57 fungot's latest album, out now, just in time for Christmas! 13:13:57 GreyKnight: looks like they have been writing and directing the digital shorts more often! 13:14:00 Hmm "fungot's" doesn't trigger him? Not sure how I feel about this 13:14:00 GreyKnight: " plus the way they make there games) and non-frizzy!!!! 13:14:01 fungot, what will be on your new album? 13:14:01 GreyKnight: coulda been good once, as it was good and bad things so in depth so game has a point. and bullet time))) luv av. and more 13:14:24 wow 13:14:28 i will buy this album too. 13:14:32 nm I was lagging I guess! 13:15:05 Wow, digital shorts and games? Best album ever 13:15:21 fungot, what about hidden tracks? 13:15:21 GreyKnight: i am not 100% sure. and the crash 13:16:44 Oh dear, it crashes if you try to access the hidden track :-( 13:19:35 Given this style is trained from youtube comments, I'm surprised fungot isn't swearing more... 13:24:28 youtube comments do not involve much swearing? 13:25:57 Hm, not just me lagged, is it fungot ? 13:25:58 ^style 13:25:58 Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube* 13:26:15 -!- ais523 has quit. 13:26:31 -!- ais523 has joined. 13:27:18 Phantom_Hoover: TBF I don't use that site much, but I was reliably informed the comments have a high proportion of scum and villainy 13:27:20 ^style c64 13:27:21 Selected style: c64 (C64 programming material) 13:27:33 SAVE "FUNGOT", 8, 1 13:29:49 GreyKnight, yeah, but they're mostly just dumb. 13:30:00 fungot why don't you like me :-( 13:31:17 Is fungot throttled or something? 13:32:37 Yes. 13:32:59 aw :< 13:36:42 aww why would anyone throttle fungot 13:36:42 SingingBoyo: now type a second. if you " branch out of the cursor, fetches characters from ram, instead determines where screen memory pointer at 56 ( 38), 13:37:42 -!- ais523 has quit (Read error: Connection reset by peer). 13:37:54 -!- ais523 has joined. 13:38:11 hi 13:42:09 -!- augur has joined. 13:55:40 -!- ais523 has quit. 13:55:53 -!- ais523 has joined. 14:12:00 -!- Phantom_Hoover has quit (Remote host closed the connection). 14:12:05 -!- Arc_Koen has quit (Ping timeout: 265 seconds). 14:12:55 hi asiekierka 14:12:57 sup 14:14:04 the sky 14:14:11 -!- ais523_ has joined. 14:14:40 -!- ais523 has quit (Read error: Connection reset by peer). 14:14:56 up is direction that is on the opposite direction of direction down 14:15:03 -!- ais523_ has changed nick to ais523. 14:15:45 Up is the +ve y direction 14:16:27 -!- Arc_Koen has joined. 14:16:36 -!- ogrom has joined. 14:16:53 -!- Phantom_Hoover has joined. 14:19:49 -!- boily has joined. 14:19:58 -!- Phantom__Hoover has joined. 14:20:18 Up is what ais523 connection isn't, much 14:21:45 -!- Phantom___Hoover has joined. 14:22:59 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds). 14:24:06 -!- Phantom_Hoover has joined. 14:24:16 @pig 14:24:16 pong 14:24:23 that was weird 14:24:42 -!- Phantom__Hoover has quit (Ping timeout: 264 seconds). 14:25:02 -!- ogrom has left ("Left"). 14:25:28 @pång 14:25:28 pong 14:25:54 -!- Phantom___Hoover has quit (Ping timeout: 240 seconds). 14:26:09 -!- Phantom_Hoover has quit (Read error: Operation timed out). 14:26:10 -!- Phantom__Hoover has joined. 14:27:52 @pigs 14:27:52 pong 14:29:30 -!- Phantom___Hoover has joined. 14:29:43 @pie 14:29:43 Maybe you meant: bid dice id ping pl time 14:29:43 -!- GreyKnight has quit (Remote host closed the connection). 14:30:17 -!- PH|ohgodwhat has joined. 14:30:20 @ping 14:30:20 pong 14:30:33 help my connection to irc keeps dropping as soon as i connect in xchat 14:30:35 @ping 14:30:35 pong 14:30:37 -!- Phantom__Hoover has quit (Ping timeout: 246 seconds). 14:31:02 -!- PH|ohgodwhat has changed nick to Phantom_Hoover. 14:31:09 -!- Phantom_Hoover has quit (Changing host). 14:31:09 -!- Phantom_Hoover has joined. 14:31:17 @pong 14:31:17 pong 14:31:26 @pn0g 14:31:26 pong 14:32:30 -!- GreyKnight has joined. 14:33:59 -!- Phantom___Hoover has quit (Ping timeout: 260 seconds). 14:56:41 -!- ifnspifn has quit (Quit: ifnspifn). 15:03:45 -!- GreyKnight has quit (Ping timeout: 260 seconds). 15:05:57 -!- ais523 has quit (Ping timeout: 248 seconds). 15:15:31 -!- SingingBoyo has quit (Ping timeout: 260 seconds). 15:16:28 03:29:43 :( why does CentOS include an obsolete Mercurial? 15:16:31 why are you -- 15:16:33 never mind i don't want to know 15:17:06 -!- GreyKnight has joined. 15:17:23 04:48:44 more like 1100 drink a 7-Eleven Double Gulp everyday 15:17:24 04:52:59 Wouldn't doing that at 0711 make more sense? 15:17:24 04:53:25 no because i am not awake then 15:17:27 kmc: living the dream 15:18:43 the new diet craze that's sweeping the nation 15:23:52 13:05:15 FireFly: i am buying this album. 15:23:53 elliott: it stores the scan line at a time. there are two types of argu- ments are also available to you from where the sprite at 3 locations one at a rate of the switches are used to send into the same timing test on a ( a value of 2048 ( 801), 15:23:54 13:13:00 fungot: which album 15:23:54 13:13:00 oklofok: cool hair. i can say 15:23:54 elliott: a control message. press play record messages, this subroutine is ffd2. when 15:23:54 elliott: a normal character set. in the frequency is the only way to get the number will make all keys repeating, while the 8 bits provide single raster resolution within the device you intend opening a datasette recorder file, you select one of the locations affected are control register ( pr) and 15:23:56 13:14:01 fungot, what will be on your new album? 15:23:56 13:14:01 GreyKnight: coulda been good once, as it was good and bad things so in depth so game has a point. and bullet time))) luv av. and more 15:23:57 elliott: there are, however, keep in mind when you write, and 15:24:00 i would listen to this 15:24:26 -!- ais523 has joined. 15:24:30 ais523: hi 15:25:29 elliott, it's not just music! It has digital shorts and games too! 15:25:43 Cool Hair by fungot, get yours today 15:25:43 GreyKnight: the exception to this bit is set to 1 and 1.99999..., and then resume execution by typing the run/ stop key is pressed 15:27:48 -!- Taneb has joined. 15:34:28 shachaf, you can't use the list instance because it makes a type error 15:34:46 "Couldn't match type `Succ Zero' with `Zero'" 15:36:30 I've made separate instances for Stack Zero and Traversable (Stack n) => Traversable (Stack (Succ n)) 15:39:25 ...you guys are trying to do computation with a type system, aren't you 15:39:43 No, just me 15:39:48 And just encoding the length of the stack 15:44:51 I'll try computation with type system after I finish my list based "computer" in cpp 15:47:30 -!- GreyKnight has quit (Ping timeout: 260 seconds). 15:50:55 Taneb: did you see ph got complaints about that blog 15:51:16 ...the one I write? 15:51:22 the one "ph" writes 15:51:26 -!- GreyKnight has joined. 15:51:29 whereby "ph" i mean "taneb" 15:51:48 Yay 15:51:53 And no, I didn't 15:51:56 Taneb: it was from the author of one of the languages you reviewed 15:52:02 :) 15:52:21 esoteric language reviews? 15:52:34 GreyKnight, not serious ones 15:52:50 It's me pretending to be Phantom_Hoover being nasty to brainfuck derivatives 15:52:55 elliott, where's the complaint? 15:53:09 his inbox 15:53:28 Hehe 15:53:38 Phantom_Hoover, can you forward it to me? 15:54:00 Or do you mean the Tumblr account's inbox? 15:54:27 -!- Phantom__Hoover has joined. 15:54:40 Taneb, might still be amusing, link plox :-) 15:54:48 phantom-hoover.tumblr.com 15:54:54 I think 15:54:59 Tumblr's blocked here 15:55:16 what 15:55:44 Phantom__Hoover, elliott says someone's been complaining about your blog 15:55:51 i said that! 15:56:04 Can you forward the complaint to me? 15:56:51 Taneb, "just a single solid of text" you say 15:57:07 I'm afraid I can't edit it from here 15:57:25 ^style ct 15:57:25 Selected style: ct (Chrono Trigger game script) 15:57:32 fungot! 15:57:32 FireFly: the masamune!? crono, it's you, isn't this morbid? the great adventurer toma levine rests in a grave to the north. it's a great place for a picnic! heard that magus's place... 15:57:57 fungot is getting a bit gothy there, picnics in a graveyard?! 15:57:58 GreyKnight: is the gate key okay!! get' em! 200g per night. care, and stay...healthy! my husband...he's...he's...gone... but he left me precious gifts! the seeds...and our child, it's ancient history now... 15:58:17 GreyKnight, yeah he's pretty sinister when he's set to ct 15:58:22 ...and now we're recreating Jack and the Beanstalk 15:58:34 he threatened to kill me a while back 15:58:41 fungot, do you still want to kill me btw 15:58:41 Phantom__Hoover: and you call yourself a frog, and ayla... i will not betray my friends! he must be the invention. hope it still leaves you hungry! here you are the only one thing we need to defeat you, lavos. 15:58:42 heh 15:58:43 quote? 15:58:51 -!- Nisstyre-laptop has quit (Ping timeout: 244 seconds). 15:59:05 oh god i don't remember what he actually said, it was like two years go 15:59:17 ^style 15:59:18 Available: agora alice c64 ct* darwin discworld europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube 15:59:19 oh, nm 16:00:01 fizzie, is the format I would use to write a style and email it to you publicized anywhere? 16:00:04 wp = wikipedia? 16:00:14 ^style wp 16:00:15 Selected style: wp (1/256th of all Wikipedia "Talk:" namespace pages) 16:00:28 fungot, is this wikipedia? 16:00:28 ahaha 16:00:29 Taneb: please go to :image:wvcr-fm.jpgthe image description page and edit it to include a wikipedia:fair use rationale guideline fair use rationale on the other images used on this page. 16:00:44 fungot? 16:00:45 FireFly: ' ' edison built a bulb with the inside surface covered with metal foil. he connected the foil to the positive terminal of the filament, the many electons emmitted from the hot filament were attracted to the daughter, and eagerly agrees to rent the room. 16:00:48 fungot, are you related to betacommandbot?!? 16:00:50 GreyKnight: i don't know what it's about, it allows the construction of the french monarchy?" so third, the experiment is not about “knowing or not knowing the which way fnord but actually the fnord together of a fringe and fnord pattern because of the passage of time. 16:01:18 "the many electons emmitted from the hot filament were attracted to the daughter" what? 16:01:34 the electron-daughter interaction, didn't you pay attention in school? 16:12:08 -!- greyooze has joined. 16:12:33 -!- Bike has joined. 16:12:34 -!- GreyKnight has quit (Ping timeout: 250 seconds). 16:12:37 -!- greyooze has changed nick to GreyKnight. 16:13:04 fungot, you lookin' at me?! 16:13:05 GreyKnight: gnu license for the site to communicate directly with her fans whether they want her to or not, this is the intended meaning? it would appear the original definition of conservative.) 16:23:55 -!- slickeli has left. 16:45:29 hm the GNU license has fans and is female 16:46:40 what IS that link in the topic? It's blocked for me 16:49:53 -!- augur_ has joined. 16:49:57 -!- augur has quit (Read error: Connection reset by peer). 16:51:01 -!- Taneb has quit (Ping timeout: 248 seconds). 16:52:35 -!- kmc has quit (Ping timeout: 240 seconds). 16:53:46 -!- kmc has joined. 16:56:30 -!- kallisti has quit (Ping timeout: 264 seconds). 16:57:47 -!- Taneb has joined. 16:58:11 isn't it obvious from the URL? 16:58:51 -!- Taneb has quit (Client Quit). 17:00:22 Hm, it times out for me 17:00:32 something to do with turkeys and a molotov cocktail 17:00:36 fairly improbably combination 17:00:44 s/bly/ble/ 17:00:47 and porn 17:01:05 Link worked for me, although a bit slowly 17:01:18 I figured that part was a joke since turkeys aren't a particularly mainstream fetish AFAIK 17:02:03 is brain bleach required? 17:02:40 Not particularly 17:02:46 Depends on what you think of us 17:02:56 -!- kallisti has joined. 17:03:01 -!- kallisti has quit (Changing host). 17:03:01 -!- kallisti has joined. 17:03:01 ...assuming it's meant to point to what I think it is 17:03:27 whut 17:03:32 curl: (7) couldn't connect to host at 5z8.info:80 17:03:34 :( 17:04:06 -!- Deewiant has set topic: ♣ Hacking ♣ http://codu.org/logs/_esoteric/. 17:04:21 It's slow enough that it's counterproductive 17:04:51 GreyKnight: 5z8.info is shadyurl.com 17:05:19 sounds, er, shady 17:09:20 takes a second or two 17:10:43 Fiora: this was brilliant http://fioraaeterna.tumblr.com/post/20186536921/ 17:12:47 -!- Phantom_Hoover has quit (Quit: Lost terminal). 17:14:12 -!- FreeFull has joined. 17:22:10 Awwww, didn't know the creepy URL was so unreliable :( 17:22:26 :( 17:28:57 travis-ci.org is pretty nifty, but also makes me go, “and what do they get out of this?” 17:29:22 Gregor: they have sponsors 17:29:29 and some kind of paid thing 17:29:36 for corps 17:29:56 https://love.travis-ci.org/sponsors http://about.travis-ci.org/docs/user/travis-pro/ 17:31:10 Is running free CI for any idiot on github sufficient advertisement to be worth it for the pro users it attracts, I wonder? 17:31:30 (As per sponsors... that's nice and all, but sponsors is not a business model.) 17:31:34 -!- epicmonkey has quit (Ping timeout: 246 seconds). 17:31:41 didn't say it was a business model 17:31:51 though it is a better one than many have 17:32:28 Well sure, lots of Internet businesses crop up with no real money source, then “mysteriously” vanish when their venture capital runs dry. 17:32:38 Gregor: well, "new random hosted CI thing" isn't a very compelling sell since I believe there's already a ton of them 17:33:15 "new random hosted CI thing that has a massively popular free version that you can check out and has GitHub integration" seems like a pretty good way to get customers 17:33:20 Hmmm. 17:33:22 Quite possibly. 17:34:01 (github's integration is cool -- pull requests get their builds automatically checked an dstuff) 17:34:04 *an dstuff 17:34:05 *and stuff 17:34:08 help 17:35:19 s/ //g THERE 17:37:08 andstuff? 17:38:31 I'm a helper! 17:38:49 s/.//g 17:40:01 even better 17:49:46 ais523: oh, also, did you see my comment a while back about the Feather "root object"? 17:50:57 you'd given this snippet: [ atomCompare | [ callCC | [ programText | [ IO | ( ( callCC ( ) ) ) ] ] ] ] 17:52:38 what if we pass atomCompare, callCC, and IO as members of the root object, and then the initial program can just be a function [ root-object | <...> ] 17:52:55 makes it a bit more readable (** suppressed laughter **) 17:59:10 -!- Phantom__Hoover has quit (Read error: Operation timed out). 18:02:12 hm how do I identify a Church numeral in order to print its value, I should probably know this 18:02:22 -!- sebbu has quit (Ping timeout: 246 seconds). 18:02:40 something ridiculously prodigal no doubt ;-) 18:04:05 -!- ais523 has quit. 18:06:46 okay think I see it 18:12:22 "the many electons emmitted from the hot filament were attracted to the daughter, and eagerly agrees to rent the room" <3 fungot (and I suppose Wikipedia Talk namespace too) 18:12:23 fizzie: i have moved the section about international relations. the full title is " kokin wakashū" and then freely use " kokinshū" is often subject to debate. 18:14:27 fungot: I think we should have a disambiguation page at [[Ireland]], what do you think? 18:14:28 GreyKnight: 5) the fox bio doesn't show him working for the studios wrote that lame description of jesse james hollywood's capture. 18:15:15 It's Talk: 'cause I hoped that would be more conversation-like than the main namespace. 18:16:07 fizzie: it is also where the main soap operas take place so I love you if you are the one who implemented this style! 18:16:40 are there fungot styles fizzie did not implement 18:16:40 elliott: o'er the fnord steep, 4 july 2008 ( utc) ( forgot to sign in) loving this. he was a captain during the baluchistan. however, i can't speak for him, he 18:16:52 I don't know 18:17:09 fungot, use four tildes! ~~~~ 18:17:10 GreyKnight: i don't know which article to merge into the democratic party? free socialist 12:57, 9 october 2008 ( utc)/span/small!-- template:unsigned !--autosigned by sinebot-- ( nevermind, it's under gang of four allowed deng to fnord 18:17:17 :> 18:17:18 looks like it did not manage to use them correctly 18:17:41 hm looks like some HTML leaked in there too 18:17:47 /span/small 18:17:56 -!- zzo38 has joined. 18:18:17 elliott, was it you who came up with the idea of using a map for Feather input? 18:18:32 ^style 18:18:32 Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp* youtube 18:18:34 I think so? 18:18:43 ^style irc 18:18:43 Selected style: irc (IRC logs of freenode/#esoteric, freenode/#scheme and ircnet/#douglasadams) 18:19:50 okay; it was a good idea so I am going to credit-slash-blame you once I manage to get it implemented 18:21:01 Hello, fungot 18:21:01 FireFly: based on a very special case of 3d in msw logo works in three fnord 2d is, in essence... you think the macro idea is the same 18:21:34 -!- carado has joined. 18:25:42 -!- Taneb has joined. 18:27:07 'A "brony" is the term used to describe the adult fans of the My Little Pony game and of the TV show of the same title.' -- BBC News Website 18:28:09 Internet is leaking 18:31:25 elliott: YouTube came from... asiekierka? 18:31:34 fizzie: what 18:31:35 Someone, anyway. 18:31:45 Taneb - >game 18:31:48 asiekierka: It wasn't you? It was someone. 18:31:50 that's it, i quit the fandom 18:31:53 Taneb, what link? 18:31:56 fizzie: what do you mean even 18:31:58 i'm not sure 18:32:06 http://www.bbc.co.uk/news/technology-20629245 18:32:11 asiekierka: Someone sent me the fungot style file for YouTube. 18:32:11 fizzie: ' () and f 18:32:32 fungot: What about your own '() 18:32:33 GreyKnight: what hardware os? i just want to grasp some concepts like continuations, exceptions, flows down into at all times 18:37:32 -!- Taneb has changed nick to Taneb|Away. 18:37:37 -!- epicmonkey has joined. 18:37:56 fungot: everybody loves them some continuations 18:37:57 GreyKnight: i second that dare. nosfe's scary. if i would send the game the same way 18:38:57 fizzie - oh, yeah 18:38:58 that was me 18:48:22 How recent of IRC logs of fungot style file do they use? 18:48:49 fizzie: It was asiekierka. 18:49:00 I hear it was done with copy-and-paste, not web scraping. 18:50:28 elliott: IIRC i web scraped the two most popular video 18:50:30 s 18:50:35 and then ran a few sed commands to get the result 18:50:47 or maybe i just copy-pasted the two most popular videos and sedded them 18:50:47 not sure 18:52:24 so how DO we submit styles? 18:52:34 they have to be signed in triplicate 18:53:57 -!- GreyKnight has quit (Quit: back later). 18:55:54 -!- TeruFSX_ has joined. 18:56:00 -!- TeruFSX has quit (Ping timeout: 264 seconds). 19:02:55 siemasz siekierka 19:04:09 Czesc asiekierka 19:04:47 Bork bork bork asiekierka 19:05:06 omg.. jesus was a mushroom! 19:05:39 do you know john allegro? he wrote this fascinating book about the origins of religion 19:05:43 -!- sebbu has joined. 19:05:43 -!- sebbu has quit (Changing host). 19:05:43 -!- sebbu has joined. 19:07:41 http://www.google.de/url?sa=t&rct=j&q=&esrc=s&source=web&cd=1&ved=0CDQQFjAA&url=http%3A%2F%2Fstatic.socialgo.com%2Fcache%2F246062%2Fassets%2Ffiles%2F4e9428f9e8f92-246062-JohnAllegroTheSacredMushroomAndTheCross.pdf&ei=6-zAUKbHEseftAb5pYFw&usg=AFQjCNEzOHzyYXWsaqDcH67LpuUqi4CU7Q&sig2=VcvFk51BCxrKOKoe8MBqDA 19:07:46 it's worth reading 19:10:20 sorry.. this one seems not to work 19:11:17 i only have a german version here.. but i'm sure you'll be able to find it your prefered language around the web ;) 19:12:04 jesus is the main topic of this channel isn't it? 19:12:19 -!- ais523 has joined. 19:12:32 yes 19:12:43 good 19:13:53 -!- Taneb|Away has changed nick to Taneb. 19:14:25 hail the mighty penis in the sky 19:14:37 :D 19:14:47 i see you found it 19:15:07 that was a direct link to an english pdf :P 19:15:15 does it work? 19:15:19 hm.. 19:15:23 very much so 19:15:31 i had some trouble opening it 19:17:09 How to pick the lock of a "PERFECT MICRO" floppy disk box? 19:23:54 Hammer. 19:27:29 Lockpick. 19:27:44 Nose. 19:28:00 there ought to be a tool called nosepick 19:28:23 sort of a spoon, I guess 19:28:34 Quite narrow 19:29:48 It's a bit worrying that fungot wants to grasp continuations 19:29:49 FireFly: here's why you should have said something disturbing :) 19:30:35 FireFly, now fungot's smiling and it's all your fault for not saying something disturbing 19:30:36 Taneb: ugh... so i'm trying a brainfuck only quine first place, would i be? 19:31:54 fungot: luckily you have a built-in brainfuck interpreter to try it out in 19:31:55 FireFly: setting up scsh ( fnord) ( eq? x ' ( 1 ( 7 9 8 10)? please say " a continuation is 19:32:27 there fungot goes again wanting someone to teach them about continuations 19:32:28 olsner: to evaluate the previous s-expression and send it to /dev/ null 19:33:42 -!- sebbu2 has joined. 19:33:55 fungot's aware that he just sent an s-expression? 19:33:56 FireFly: ( and i can't rename it on the floor, it was " wanted pages"), then 19:34:32 does befunge have s-expressions? 19:37:13 -!- sebbu has quit (Ping timeout: 245 seconds). 19:43:22 -!- sebbu has joined. 19:43:42 -!- sebbu has quit (Changing host). 19:43:42 -!- sebbu has joined. 19:46:48 -!- sebbu2 has quit (Ping timeout: 245 seconds). 19:48:09 -!- atehwa has quit (Read error: Operation timed out). 19:51:38 -!- atehwa has joined. 19:57:44 -!- GreyKnight has joined. 19:58:08 fungot: botsnack 19:58:09 GreyKnight: it's just an anus.' and stops. egh. i need to know it 19:58:19 ._. 19:58:28 It's just an anus, GreyKnight! 19:58:44 This is not what I wanted. I wanted the opposite of this. 19:59:04 an anus that doesn't stop? are you sure? 19:59:25 And fungot needs to "know it" o_O 19:59:25 GreyKnight: then translate the lets into lambdas function applications instead of lets? i suspect not 20:01:43 GreyKnight: thanks, glad you liked that post 20:02:01 I shared it around the office too 20:02:36 Especially when he lines up all the knights, it's hilarious 20:03:02 He has a few other variations where he does it with bishops or similar 20:03:19 nakamura is really totally amazing 20:04:08 Knights were the best I think, because of their loose capturing net 20:04:22 yeah, and being able to do that checkmate so quickly is amazing 20:04:31 But he is all "kekekeke knight rush" :-D 20:04:36 I mean, he's practiced it, but, it's sooo easy to accidentally stalemate someone in a knight checkmate 20:04:40 like that 20:06:05 I can accidentally stalemate even playing at normal speed ._. 20:06:07 (I'm not very good) 20:06:07 -!- pikhq_ has quit (Ping timeout: 264 seconds). 20:06:14 me too 20:06:28 I'm pretty terribly out of practice 20:06:54 I used to play like 5 minute games online though, it was fun 20:06:56 -!- Vorpal has joined. 20:07:34 what is chess 20:08:32 It's a game, like snakes and ladders, except different 20:09:54 i can never remember how the horsey guys move. 20:10:54 I saw an esoteric ("the other kind") version of chess once, I wonder if I can come up with our kind of esoteric chess :> 20:10:54 * GreyKnight leaps across a few squares to demonstrate to Bike 20:11:15 -!- pikhq has joined. 20:11:23 agh shit, you sunk my battleship, right? 20:11:26 I wonder how often people shove their chess variants into chess computers to see how it affects strategy and stuff 20:11:32 like by modifying move generation 20:11:36 we already made a chess variant 20:11:40 it was good 20:11:43 Do tell 20:11:44 unplayable of course 20:11:47 well it was continuous chess 20:11:54 and mostly uncomputable 20:12:36 less excitingly, you could probably make an esolang based on move notation 20:12:57 how about making an esolang based on solving a chess puzzle on an NxN board? 20:13:05 generalized chess is EXPTIME 20:13:07 Continuous as in non-grid-based positioning? 20:13:08 Are the rules written up anywhere? 20:13:20 Fiora: like n-queens or something? 20:16:36 Bike: like, NxN chess board with arbitrary pieces, solve for mate 20:16:46 or the decision problem, "is a forced mate possible"? 20:16:47 I guess 20:16:51 EXPTIME-complete apparently 20:16:54 right 20:19:10 I am thinking about an infinite chessboard with the ability to "paint" squares as you land on them 20:19:54 that sounds, um.... kind of like Angels and Demons for some reason 20:20:16 or whatever that puzzle is called, I don't remember... 20:20:30 For a given initial arrangement of pieces and initial board colouring, this might be TC 20:20:31 http://en.wikipedia.org/wiki/Angel_problem right 20:21:00 Yeah... I think that sounds TC... 20:21:32 where did conway get all the money for these prizes 20:22:32 oh, $100 isn't much, i guess 20:22:46 i should really get winning ways sometime. 20:24:25 I got a receipt from an oil change place that said, if I remember correctly, "Team: T:ppater B:ppater S:ppater M:ppater" 20:24:29 now I'm tempted to go back and dive through the chess programming wiki again <_<; 20:24:41 Anyone have any idea what that means? 20:24:54 -!- epicmonkey has quit (Ping timeout: 240 seconds). 20:25:30 tuesday, briday, sunday, monday 20:25:39 poor ppater is always the team 20:26:34 Maybe it was raining 20:26:43 ppater ppater ppater 20:26:51 there should be an addtional day between saturday and sunday *sigh 20:27:24 reminds me of the short film about an extra integer existing between three and four 20:27:58 Revolutionary new research 20:29:15 olsner: I've never seen that, but have heard similar gags before 20:29:30 How did this one proceed? 20:29:56 elliott: you wouldn't happen to have any information about continuous chess, would you? 20:30:26 ask PH 20:30:30 he will remember it better than me 20:30:32 i would add two integers..12 would do a better base 20:31:17 tswett, if you see him before I do, I would also like info! 20:31:48 -!- oerjan has joined. 20:33:03 I bought this "adapter from 2x(3.5mm stereo) headphones+mic to 3.5mm four-pole headset connector" cable, and it didn't work; I just multimetered it, and it's just a splitter that has two female 4-pole 3.5mm connectors, and a direct mapping from each ring (of both) into the corresponding ring of the 4-pole male. 20:33:06 Well, there's this: http://www.chessvariants.org/other.dir/continuouschess.html 20:33:17 But that's not as continuous as I was hoping. 20:34:14 GreyKnight: the usual... scientist has revolutionary idea, scientist considered crazy, the movie ends on a mysterious note with his shrink seeing the same thing (maybe it's real!!) 20:34:44 unfortunately it only works when applied to ideas that you can pretend to believe in 20:35:22 I wonder about applying the ideas behind quantum football to chess 20:36:26 Both kings are spread out across the whole board. Goal is to spike the enemy king's wavefunction into a threatened square of one of your pieces 20:37:53 *g 20:38:14 Oh fudge. I just clicked on a link from the Wikipedia article "Differential game" and it led me to an article co-written by the head of my university's math department. 20:38:25 GreyKnight: how spiked does it need to be? 20:39:16 I don't know! What is the criterion in quantum football? 20:40:51 i just got back from a tour of the fourth oldest nuclear reactor in the USA 20:41:20 hm. which one is that? 20:41:33 Hm maybe we want probability 63/64 on the square. Or can we sum across all threatened squares actually? 20:44:24 I know of many chess variant 20:47:32 Taneb: Huh? 20:48:13 Huh huh? 20:48:33 Taneb: don't you want to change your nick to Tneb? I think it would be better somehow 20:48:55 olsner, I'd rather have Tanb, for etymological reasons 20:49:09 I thought about that, but it's not as good 20:49:37 How about Ngvd? 20:49:44 rip my e 20:49:56 That's not your e! 20:50:06 That's my great-grandfather's e! 20:50:10 I think the e is required in Ngevd 20:50:12 Which he got from his father! 20:50:17 Which he got from his mother! 20:50:21 Who was called Elliott! 20:50:29 (actually true) 20:50:40 (mildly misleading, but true) 20:53:51 the e is somehow essential to make the initial ŋ sound 21:05:36 Bike: MIT Nuclear Research Reactor 21:06:02 neat 21:07:12 -!- sebbu2 has joined. 21:08:28 yeah 21:08:41 one of only a few reactors that still uses highly enriched uranium 21:09:08 they describe their fuel as "self-protecting", which means that it would be extremely difficult to steal it without killing yourself immediately 21:09:17 innovative 21:09:17 haha 21:09:34 I did not realise MIT had a nuclear reactor 21:09:38 slightly more scared of them now 21:10:14 kmc: I like their style 21:10:17 i recently found out that one of the older reactors (used for the Manhattan Project) is relatively near me, so i thought that might have been it for some reason 21:10:24 not just any reactor, a super old reactor that uses HEU, *and* they let undergrads control it! 21:10:33 -!- sebbu has quit (Ping timeout: 245 seconds). 21:10:49 Sounds like we're safe forever! 21:11:47 The world's first commercial nuclear power plant is in the next county over from here 21:12:20 hm how do I identify a Church numeral in order to print its value, I should probably know this 21:12:37 i thought i did that a while ago. 21:12:40 Bike: which reactor is that? 21:13:03 but for which esolang... 21:13:39 kmc: the B reactor at "Site W" 21:13:58 Answer I came up with was "have the interpreter evaluate it with args add1 and 0, then print the result 21:14:01 oh, apparently that was the first full scale reactor 21:14:03 " 21:14:18 oh it was http://esolangs.org/wiki/Real_Fast_Nora%27s_Hair_Salon_3:_Shear_Disaster_Download 21:14:22 Heh 21:14:35 GreyKnight: well yeah that was about what i did 21:14:40 That will at least give the right answer for Church numerals and mumblesomething for other functions 21:14:51 One of my better esolangs 21:14:56 good name too 21:15:01 Okay cool, if I am like oerjan I am probably correct :-) 21:16:02 Bike: Hanford site? 21:16:06 yeah 21:16:24 fun 21:16:38 i've never been there. aaaand i don't think they exactly offer tours 21:16:39 those old manhattan project facilities are all super contaminated 21:16:49 because they didn't really give a shit about safety or the environment back then 21:16:58 did they even know how to give a shit about it yet? 21:17:18 the MIT reactor is almost as old (well, about 10 years younger) but is in the middle of a dense metropolitan area and so i guess they had to be more careful 21:17:18 like that would have been before they did those "set off a nuke, make soldiers sit nearby, see if they throw up" experiments 21:17:22 yeah 21:17:45 i'm imagining an mit building constructed entirely out of lead 21:18:36 Taneb: Church numerals as de Bruijn indices?!? You're a madman! 21:18:51 Hey, I just write the esolang 21:18:55 it is pretty boring looking on the outside 21:18:55 I don't have to use it 21:18:56 http://www.wgbh.org/imageassets/0321reactor.jpg 21:19:18 It was meant to be BIT-sans-brackets 21:19:21 it looks like a water tower... 21:19:27 which is probably what they modeled it after 21:19:43 yeah 21:20:37 one of the things they use it for is radiation therapy for cancer 21:20:43 they produce isotopes for medical use 21:20:51 but they also actually perform experimental therapies at the reactor 21:20:57 wow, what 21:21:05 they move patients to a reactor? 21:21:19 yeah for http://en.wikipedia.org/wiki/Boron_neutron_capture_therapy 21:21:32 that dude in the pic looks like a cyborg 21:21:32 they give you a drug with a bunch of boron in it, that preferentially binds to cancer cells 21:21:43 then they take you to the reactor and put your head right up against the core and open a little window 21:21:48 and you get mucho neutrons in the brain 21:21:49 getting their brain scanned with science and radiation 21:21:54 and they make the boron radioactive 21:21:56 good god 21:21:58 turning it into neutrons 21:22:01 pretty sure this is how science works?? 21:22:08 yeah 21:22:18 this is one of those "well, he already *has* cancer" type of therapies 21:22:20 i do like the idea of just shoving people into a nuclear reactor as treatment 21:22:34 -!- ais523 has quit. 21:22:35 elliott, you're thinking of magix 21:22:38 *c 21:22:41 "well, we destroyed the cancer. also everything else" 21:22:45 radiotherapy always makes me remember what i've read from Goiânia now 21:22:50 so i'm unreasonably spooked by it 21:23:30 "Just fall into a nuclear reactor and hope for the best" 21:24:20 i wonder if you get free radiotherapy if you work as a nuke diver 21:26:43 -!- Phantom_Hoover has joined. 21:27:06 That will at least give the right answer for Church numerals and mumblesomething for other functions <-- my implementation (the churchToInt function in that page) does what i could to make sure it errors out on anything not a church numeral, by making anything that shouldn't pass on an annotated number value clear it to Nothing. 21:28:32 where's all this then 21:28:42 oh and by using v as the actual combinator used when you try to use a number as a function, this makes it useless for everything functional. 21:30:20 21:20:57: wow, what 21:30:20 21:21:05: they move patients to a reactor? 21:30:29 -!- carado has quit (Ping timeout: 246 seconds). 21:30:44 back in the 80s they used the particle accelerator at lawrence berkeley labs for cancer treatment 21:31:23 it involved timing particle decays so they dumped all the energy in the tumour 21:31:41 oerjan: my Haskell is not great but I will try to understand your approach :-) 21:31:56 Phantom_Hoover, haha that is awesome 21:32:33 markus hess also tampered with the control computers at some point, which is why i know that 21:32:43 Phantom_Hoover: oh, tswett and myself want to know about continuous chess? 21:32:50 oh 21:33:41 right uh the gist of it is that for a board you have [0,8]^2 21:34:03 and your pieces are a collection of disjoint subsets of that 21:34:26 the rules for moving are that 21:34:36 -!- carado has joined. 21:34:48 a) the piece's measure must be conserved 21:35:26 -!- sebbu has joined. 21:35:31 b) the displacement of the centroid of the piece must correspond to a legal chess move for that piece 21:35:46 -!- sebbu has quit (Changing host). 21:35:46 -!- sebbu has joined. 21:36:11 * GreyKnight likes this so far 21:36:17 (a 'move' is a function f that satisfies these properties, also) 21:36:53 c) for all x in the piece being moved, there may not be any other piece along the line from x to f(x) 21:37:09 the exceptions to c) are that knight may move through other piece of your colour 21:37:38 and that you can move through opposing piece if there is some other piece being moved to its location 21:38:45 wait, is time continuous too? 21:38:51 no 21:38:53 -!- Taneb has quit (Ping timeout: 255 seconds). 21:38:55 lame 21:39:07 -!- sebbu2 has quit (Ping timeout: 260 seconds). 21:39:33 How does capturing proceed? 21:39:33 still better than the other crap being proposed during the chess variant fad 21:39:45 Bike: we started to make time continuous 21:39:50 but it kind of went badly 21:39:57 persevere! 21:40:03 GreyKnight, you capture opposing piece if you map your piece onto it 21:40:20 the second exception to c) is basically "you can move through opposing piece that you've captured" 21:40:31 -!- Taneb has joined. 21:40:58 Exactly onto it? Do all pieces have the same measure? 21:41:11 initially, yes 21:41:28 i wonder if there's even alternating games with continuous time in math 21:41:32 because that sounds insane 21:41:42 but the measure of a captured piece obviously decreases 21:42:15 additional challenges: incorporate castling and promotion into this 21:42:51 "Dynamic noncooperative game theory" hm yes this sounds reasonable 21:43:06 thompson's lamp: the game 21:43:24 it's not even thompson's lamp 21:43:37 thompson's lamp at least only switches countably many times 21:43:37 I meant if you made it continuous-time 21:43:41 that is one way you could do it 21:43:45 sort of 21:44:06 although is Q continuous? 21:44:07 -!- greyooze has joined. 21:44:24 -!- xDEADCA7 has joined. 21:44:30 Phantom_Hoover: erm as I was saying: 21:44:38 do all pieces have the same measure? 21:44:46 but the measure of a captured piece obviously decreases 21:44:46 additional challenges: incorporate castling and promotion into this 21:44:51 21:41:11 initially, yes 21:44:52 hth 21:45:10 oh so you can capture *part* of a piece, interesting 21:45:18 yeah 21:45:36 oh also 21:45:40 -!- GreyKnight has quit (Ping timeout: 252 seconds). 21:45:45 haha 21:45:45 -!- greyooze has changed nick to GreyKnight. 21:45:56 yeah, get out! 21:45:57 i think i actually had it so knight can move through any piece whatsoever, not just friendly 21:46:01 never liked him anyway 21:46:22 so you can use it to capture parts of enemy piece 21:47:25 could you describe again the rule about moving through an enemy piece, not sure I got that bit 21:47:49 you can't move through enemy piece unless you're also capturing it in the same move 21:49:04 ah, so your destination has to partly overlap the enemy piece in question 21:49:23 yeah 21:50:55 -!- sebbu2 has joined. 21:50:56 is check/mate the obvious extension, or anything fancy about it? 21:51:46 (obvious extension being "as long as part of the king would escape the threatened capture you're fine, otherwise you're in check") 21:51:49 it's the obvious extension, which i'm fairly sure also makes it undecidable to work out who's won a general match 21:52:07 (I write it explicitly as it may not be as obvious as I thought) 21:52:13 -!- sebbu has quit (Ping timeout: 245 seconds). 21:53:52 can a single piece split into N disjoint parts (as long as total measure is preserved)? The wording was a bit unclear 21:54:04 yeah, it can 21:54:37 the 'disjoint subsets' bit just means you can't have pieces overlapping 21:54:37 no nonmeasurable pieces, huh. sad 21:54:57 Phantom_Hoover: well everything is undecidable 21:55:01 since the functions can be uncomputable 21:55:42 I don't know how we would even *start* a match never mind finish one ;-) 21:56:25 elliott, even if you restrict it to computable functions though 21:58:22 might restrict to polygonal pieces 21:58:27 GreyKnight, me and oko played like 2 matches with a 3x3 board and just kings in opposite corners once 21:58:30 (what do you mean, BORING?) 21:59:59 at least, connected 22:00:41 convex polygons would still give you a weird amoeba chess 22:00:57 -!- GreyKnight has quit (Ping timeout: 252 seconds). 22:02:23 i guess strategies in continuous games are basically solutions to first order differential equations 22:02:44 because what you do next (your derivative) depends on the other guy's state 22:02:45 -!- augur_ has quit (Remote host closed the connection). 22:02:48 -!- GreyKnight has joined. 22:02:48 *dramatic sigh* 22:02:51 and vice versa 22:03:17 -!- augur has joined. 22:06:32 -!- carado has quit (Ping timeout: 246 seconds). 22:07:35 -!- augur has quit (Ping timeout: 260 seconds). 22:08:03 fractran is awesome :-) 22:09:40 -!- boily has quit (Quit: Poulet!). 22:16:34 oklofok, augh don't talk about differential equations 22:17:17 -!- SingingBoyo has joined. 22:18:27 -!- xDEADCA7 has quit (Quit: Sto andando via). 22:22:43 -!- monqy has joined. 22:26:00 -!- GreyKnight has quit (Ping timeout: 252 seconds). 22:29:13 -!- GreyKnight has joined. 22:29:21 -!- Taneb has quit (Ping timeout: 256 seconds). 22:46:49 -!- augur has joined. 22:47:38 -!- augur has quit (Read error: Connection reset by peer). 22:47:49 -!- augur has joined. 22:49:11 -!- glogbackup has left. 22:51:33 -!- nooga has quit (Ping timeout: 248 seconds). 22:51:48 -!- GreyKnight has quit (Ping timeout: 255 seconds). 22:52:19 -!- sebbu2 has changed nick to sebbu. 22:53:12 -!- Frooxius has quit (Ping timeout: 244 seconds). 22:53:51 -!- Frooxius has joined. 22:55:25 -!- GreyKnight has joined. 22:59:24 -!- sebbu has quit (Read error: Connection reset by peer). 22:59:51 -!- sebbu has joined. 22:59:51 -!- sebbu has quit (Changing host). 22:59:51 -!- sebbu has joined. 23:01:34 -!- GreyKnight has quit (Ping timeout: 240 seconds). 23:05:52 -!- GreyKnight has joined. 23:28:54 -!- Nisstyre has joined. 23:29:39 -!- augur has quit (Ping timeout: 276 seconds). 23:51:45 -!- Vorpal has quit (Ping timeout: 276 seconds). 23:55:49 -!- greyooze has joined. 23:57:24 -!- GreyKnight has quit (Ping timeout: 265 seconds). 23:57:28 -!- greyooze has changed nick to GreyKnight. 23:58:34 question 23:59:37 does fungot's funge code go all the way up to handling the IRC protocol, or is there a separate IRC layer that just passes lines down/up? 23:59:37 GreyKnight: it had the usual arithmetic operators and all! 23:59:50 you don't say!