00:07:40 -!- Nisstyre-laptop has quit (Ping timeout: 244 seconds).
00:31:15 -!- cuwauwi has joined.
00:34:35 <HackEgo> 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:39:10 <oerjan> Antidisestablishmentarianist!
00:41:41 <oerjan> you don't _have_ to stop breathing while reading the word, you know
00:42:20 <Gregor> But the Anglican church /must/ be separated from the crown!
00:43:56 <oerjan> the Queen will _not_ be amused.
00:45:33 -!- glogbackup has joined.
00:46:02 <oerjan> see, you've confused the bots again!
00:50:17 <Phantom_Hoover> it's a little known fact that the anglican church is actually one of the central structural components of the crown
00:50:45 <Phantom_Hoover> you can't separate it, all the jewels will fall of and it would flop around like a blancmange
00:51:08 <lambdabot> *** "blancmange" wn "WordNet (r) 3.0 (2006)"
00:51:08 <lambdabot> n 1: sweet almond-flavored milk pudding thickened with gelatin
00:51:25 <Phantom_Hoover> honestly oerjan surely you've heard of the blancmange curve
00:52:03 <oerjan> indeed i have. just now in fact
00:53:50 <oerjan> well it does look similar to some stuff (weierstrass curve?)
00:56:39 <oerjan> 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 <oerjan> 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:09:03 <HackEgo> 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 <oerjan> (everyone be careful with the matches)
01:09:13 <Phantom_Hoover> oerjan, (it occurs to me that it's only obvious that the blancmange is non-differentiable on a countable subset of [0,1])
01:10:08 <Phantom_Hoover> the reason for HackEgo and EgoBot both existing is admittedly pretty confusing
01:10:35 <oerjan> ^echo I'm bizarre too!
01:10:35 <fungot> I'm bizarre too! I'm bizarre too!
01:10:51 <fungot> Phantom_Hoover: definition if universe and if/ what is responsible for a unix box somewhere
01:11:25 <gasoline> does the kosmos orignate from order or disorder / chaos
01:12:56 <oerjan> Phantom_Hoover: yeah i think my argument may have been a bit non-rigorous
01:13:38 <Phantom_Hoover> oerjan, i guess you can go from "nondifferentiable in a dense subset" to "nowhere differentiable" pretty quickly with the actual definitions
01:13:57 <oerjan> Phantom_Hoover: i'm not going to be on that either way
01:14:05 -!- SingingBoyo has joined.
01:14:45 <oerjan> ^ul ((I am programmable too! )S:^):^
01:14:45 <fungot> 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:54 <fungot> shachaf: btw i still don't get it just because i use it for screen???
01:15:10 <shachaf> yes, fungot. just because you use it for screen
01:15:11 <fungot> shachaf: but eventually, you start depending on eval order, you can do
01:15:58 <Bike> markov chains sure are chatty folk, wouldn't you agree, fungot
01:15:59 <fungot> 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:20 * oerjan is reminded of Gregor's (?) horrible tome of eval puns
01:16:25 <fungot> 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:39 <fungot> Selected style: iwcs (Irregular Webcomic scripts)
01:16:57 <fungot> 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 <oerjan> i don't bolivia either
01:17:31 <fungot> 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 <gasoline> is it in anyones intentions to make sense ?
01:17:54 <HackEgo> 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:18:00 <fungot> http://git.zem.fi/fungot/blob/HEAD:/fungot.b98
01:19:10 <oerjan> Phantom_Hoover: final space problem
01:19:33 <HackEgo> Your evil overlord oerjan is a lazy expert in future computation. Also a lying Norwegian.
01:19:48 <oerjan> Phantom_Hoover: if you tab complete a nick it gives a final space. `? distinguishes that from without.
01:21:00 <Bike> is this seriously a whole irc bot written in befunge
01:21:14 <Bike> this was compiled from something else
01:21:18 <Bike> tell me it was
01:21:40 <shachaf> Fungot is written in Befunge?
01:21:58 <Bike> i refuse to believe a human wrote this
01:22:00 <Phantom_Hoover> Bike, not as far as i know, and it doesn't look like it is
01:22:03 <FireFly> I thought that was common knowledge?
01:22:13 <oerjan> fizzie: Bike refuses to believe you are human
01:22:21 <Bike> i'm sorry fizzie, i have principles
01:22:37 <FireFly> fizzie just passed the anti-Turing test?
01:22:54 <oerjan> > "We have lambdabot here too!"
01:22:58 -!- cherep_ has quit (Quit: Leaving).
01:23:11 <Bike> lambdabot is haskell, right
01:24:20 <shachaf> Bike: That's not the proper way to address lambdabot.
01:24:53 <Phantom_Hoover> HackEgo and EgoBot are both sandboxed linux environment thingies
01:25:07 <shachaf> Can I run commands as root on HackEgo?
01:25:08 <oerjan> oonbotti: you are here too!
01:25:09 <oonbotti> oerjan: Why do you think I am here too!?
01:25:21 <oerjan> shachaf: you can _try_...
01:25:29 <HackEgo> Runs arbitrary code in GNU/Linux. Type "`<command>", or "`run <command>" for full shell commands. "`fetch <URL>" downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert <rev>" can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/
01:25:34 <oonbotti> FireFly: Perhaps you would like me to be a bot.
01:25:41 <Bike> @thanks, lambdabot
01:25:42 <HackEgo> 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:03 <HackEgo> Runs arbitrary code in GNU/Linux. Type "`<command>", or "`run <command>" for full shell commands. "`fetch <URL>" downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert <rev>" can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/
01:26:06 <HackEgo> Runs arbitrary code in GNU/Linux. Type "`<command>", or "`run <command>" for full shell commands. "`fetch <URL>" downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert <rev>" can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/
01:26:24 <Bike> speaking of turing tests, quick poll, raise your hand if you're actually an ELIZA script
01:26:58 <FreeFull> An ELIZA script would turn that into a question
01:27:15 <Fiora> How would you feel about actually being an ELIZA script?
01:27:19 <Bike> ha, you fail the eliza test oerjan
01:27:42 <Bike> shachaf, what is the color of the pyramid on the green block
01:27:54 <shachaf> Gregor: Can we have root access to HackEgo?
01:28:40 -!- Phantom_Hoover has quit (Remote host closed the connection).
01:28:58 <HackEgo> bin canary foo karma lib paste quotes share wisdom zalgo.hs
01:29:29 <shachaf> Is that the same thing as echo $(ls)?
01:29:52 <Bike> i think xargs is meant to be a safe version that deals with quotation and stuff
01:30:00 <Bike> since shell is kind of. chaotic
01:30:38 <oerjan> i've been using | fmt -w500 or thereabouts for HackEgo
01:30:58 <FreeFull> | xargs is just a lazy way to get everything on one line
01:31:14 <FireFly> well, xargs has proper uses too
01:31:17 <HackEgo> bin \ canary \ foo \ karma \ lib \ paste \ quotes \ share \ wisdom \ zalgo.hs
01:31:50 <HackEgo> /hackenv/bin:/opt/python27/bin:/opt/ghc/bin:/usr/bin:/bin
01:32:52 <oerjan> `run ghc -e 'print "Broken I think"'
01:32:56 <HackEgo> ghc: can't find a package database at /usr/lib/ghc-6.12.1/package.conf.d
01:33:26 <HackEgo> ? \ @ \ 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:57 <kmc> know what?
01:37:04 <kmc> xargs with no args?
01:37:15 <kmc> that's convenient
01:38:31 <shachaf> kmc: fungot is written in Befunge.
01:38:32 <fungot> 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:24 <kmc> i didn't know that either
01:40:28 <shachaf> http://git.zem.fi/fungot/blob/HEAD:/fungot.b98
01:40:29 <fungot> 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 <SingingBoyo> whoever wrote fungot is insane. funges are hard.
01:41:46 <fungot> 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 <kmc> impressive
01:42:45 <FireFly> "fast, highly technological terror you've constructed"
01:43:21 <fungot> 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 <ion> shachaf: lens/travis-cabal-apt-install uses xargs for that.
01:43:50 <shachaf> fungot: That's not the first time fungot has said that.
01:43:50 <fungot> 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:45:23 <fungot> Selected style: youtube (Some YouTube comments)
01:45:30 <fungot> 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:54 <SingingBoyo> Firefly: that's what you get for going with youtube
01:46:34 <fungot> 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:41:00 <fungot> kmc: haha jt shaking his head. and bullet time?
02:41:15 <kmc> fungot! fun..got!
02:41:16 <fungot> 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 <kmc> fungot: great job
02:44:59 <fungot> 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 <kmc> ^style iwcs
02:46:03 <fungot> Selected style: iwcs (Irregular Webcomic scripts)
02:46:11 <kmc> ^style lovecraft
02:46:12 <fungot> Selected style: lovecraft (H. P. Lovecraft's writings)
02:46:16 <fungot> kmc: published fnord 1936 in astounding stories, vol. 13, p. fnord. prop... fnord...
02:47:01 <kmc> 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 <kmc> i had one that was trained on the holy books of the world's religions
02:47:41 <kmc> and another that was trained on the wikipedia talk pages regarding the world's religions
02:48:05 <kmc> so the first one would proselytize continuously and the second one would conduct flamewars with itself
02:49:02 <Bike> this sounds like a meditation ritual
03:12:46 <shachaf> 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:28:44 <shachaf> http://www.haskell.org/pipermail/haskell-cafe/2012-December/105041.html
03:29:43 <Sgeo> :( why does CentOS include an obsolete Mercurial?
03:30:40 <kmc> CentOS has exactly the same packages as the corresponding RHEL version
03:30:45 <kmc> if you want newer stuff you should add EPEL
03:36:50 <Sgeo> Maybe I could just compile and use Mercurial from source?
03:37:11 <Sgeo> Using obsolete is not an option -- I sort of copied all the stuff over from one machine to another
03:39:23 <kmc> why are you using centos?
03:40:20 <Sgeo> Because not my choice, although I do have root access
03:43:43 <shachaf> If you have root access, you have a choice.
03:48:16 <Sgeo> How long does it take for a caffeine addiction to develop?
03:48:43 <Sgeo> I had one coffe on Monday and one on Tuesday, now I'm looking forward to having coffee on Thursday
03:49:11 <shachaf> When do you drink your coffee?
03:50:20 <shachaf> <kmc> 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 <kmc> more like 1100 drink a 7-Eleven Double Gulp everyday
04:52:59 <Sgeo> Wouldn't doing that at 0711 make more sense?
04:53:26 <kmc> 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 <zzo38> A chess variant: The king is allowed to make a long move once per game.
05:28:00 <zzo38> (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 <fizzie> I thought I was human. :/ :\
07:49:37 <fizzie> fungot: Did I at least write you?
07:49:38 <fungot> 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 <Bike> oh, are there tong-nou fans here?
07:51:24 <fungot> 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 <fizzie> (Okay, that was obvious.)
07:51:27 <shachaf> Ah, Constructed Product Result
07:51:45 <shachaf> Really, "Construct Product Result"?
07:52:25 <Bike> 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 <olsner> fungot knows many things
07:52:59 <fungot> olsner: published november 1923 in weird tales, vol. 45, no. 1, p. fnord.
07:53:20 <fungot> Selected style: nethack (NetHack 3.4.3 data.base, rumors.tru, rumors.fal)
07:53:22 <fungot> 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 <shachaf> the secret of wands of nothing happens: try again!
07:53:45 <fungot> 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 <fizzie> Lovecraft could arguably be "racist orientalist shit".
07:54:34 <Bike> dunno if i'd call him orientalist, he went more the "evil hivemind" route than the "ancient Chinese wisdom" route
07:54:56 <fizzie> fungot: What kind of settings did I use for this style? It's so incoherent.
07:54:56 <fungot> fizzie: thoth: the minotaur was a monster you'll have a hidden enchanted touch.
07:55:34 <shachaf> fungot fungot fungot fungot fungot
07:56:36 <fizzie> It seems very interested in the hidden enchanted touch.
07:56:52 <fungot> 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:43 <fizzie> I think "them" is referring to the gods.
08:01:10 <fungot> 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 <fizzie> Man, those Internet Oracle answers are sometimes kinda weird.
08:01:38 <Bike> that's pretty appropriate, I think.
08:02:12 <fizzie> I should maybe add a style one of these days, I haven't done it in a long while.
08:02:25 <olsner> internet oracle style?
08:02:50 <olsner> or, how about... gangnam style? HAHA so funny
08:03:28 <Bike> )()))))((()()()()(((()))()()())))(()((())(
08:04:07 <fizzie> A bit behind the times, there.
08:04:23 <Bike> everybody here's seen the music video without music, right
08:05:00 <olsner> is it actually the video without music or is it just redubbed with sound effects?
08:05:32 <Bike> it's redubbed to add sound effects, but it's pretty good
08:05:53 <Bike> 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:56 <fungot> 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 <olsner> 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:25 <GreyKnight> Heh my IRC client got confused by that :-)
08:31:51 <GreyKnight> So I had another great idea for communist programming
08:31:57 -!- asiekierka has quit (Excess Flood).
08:32:45 <GreyKnight> Integers are the workers of computing, but those hoity-toity objects take all the credit
08:32:57 <HackEgo> 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 <GreyKnight> 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 <GreyKnight> shachaf: I've been here a hundred times but thanks anyway :-P
08:34:10 -!- asiekierka has joined.
08:35:01 <GreyKnight> Well... I already knew everything in the welcome blurb...
08:35:31 <shachaf> The point is to make you feel welcome, not to teach you.
08:36:04 <HackEgo> 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:38:00 <HackEgo> ＧＲＥＹＫＮＩＧＨＴ： ＷＥＬＣＯＭＥ ＴＯ ＴＨＥ ＩＮＴＥＲＮＡＴＩＯＮＡＬ ＨＵＢ ＦＯＲ ＥＳＯＴＥＲＩＣ ＰＲＯＧＲＡＭＭＩＮＧ ＬＡＮＧＵＡＧＥ ＤＥＳＩＧＮ！ ＦＯＲ ＭＯＲＥ ＩＮＦＯＲＭＡＴＩＯＮ， ＣＨＥＣＫ ＯＵＴ ＯＵＲ ＷＩＫＩ： ＨＴＴＰ：／／ＥＳＯＬＡＮＧＳ．ＯＲＧ／ＷＩＫＩ／Ｍ
08:38:24 <shachaf> `run printf '\x031a\x032b\x033c\x034d'
08:38:31 <GreyKnight> 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:41:50 <GreyKnight> I guess you should use integers instead of floats instead? Just make them all rational, easy
08:42:55 <oklofok> http://esolangs.org/wiki/Forte
08:43:20 <oklofok> "if, for example, you modify the .equals() method of 5, it affects all instances of 5" reminded me of this
08:45:02 <GreyKnight> I guess if I have a .value() method or something I can maybe produce a superset of Forte's functionality
08:46:08 <ais523> hmm, so cpressey has written an underload derivative
08:46:08 <lambdabot> ais523: You have 1 new message. '/msg lambdabot @messages' to read it.
08:46:12 <lambdabot> oerjan said 3d 9h 48m 47s ago: http://esolangs.org/wiki/Talk:Carriage#Representation_erasure
08:46:22 <GreyKnight> Hm a string can be regarded as a function mapping integers to integers
08:46:24 <ais523> I finally feel like I'm officially a big esolang name
08:47:42 -!- GreyKnight has quit (Quit: brb).
08:47:45 <fizzie> ais523: You've "made it", now. No more financial troubles for the rest of your life.
08:48:05 <HackEgo> 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 <GreyKnight> ais523: at least I suppose you got a bit famous for *not* implementing a certain esoteric language :-)
08:55:36 <ais523> everyone's famous for that :)
08:56:32 <GreyKnight> At least you could legitimately claim you were waiting for your future self to do it
08:57:41 <ais523> `run printf '\u031a\u032b\u033c\u034d'
08:57:50 <GreyKnight> Oh, hey, the string-as-function thing should work for Feather too
08:57:52 <ais523> OK, printf doesn't implement that yet
08:58:09 <ais523> shachaf: \x only reads the next two digits; \u does four, \U does eight
08:58:15 <ais523> in most languages which have them
08:58:27 <shachaf> ais523: Yes, but I wanted two characters.
08:58:30 <shachaf> I was trying to IRC colors.
08:58:53 <ais523> I think HackEgo has a control code filter
08:59:14 <shachaf> Thanks for being terrible, HackEgo. :-(
08:59:22 <shachaf> All the coolbots use colour these days.
09:05:07 -!- epicmonkey has quit (Ping timeout: 246 seconds).
09:06:16 <Taneb> https://github.com/Frib/Armok
09:06:26 <Taneb> Someone made an esolang without realising
09:08:53 <ais523> is it a BF derivative?
09:10:08 <Taneb> I don't think it's a BF derivative
09:10:33 <Taneb> It's closer to MARIOLang with threading
09:10:41 <fizzie> ^bf +++>,[<.>.,[.[-]],]!2a3b4c5d
09:11:15 -!- sebbu2 has joined.
09:11:15 -!- sebbu2 has quit (Changing host).
09:11:15 -!- sebbu2 has joined.
09:11:40 <ais523> did that come out in color? I set my client to filter colors
09:11:57 <fizzie> Thanks for being terrible, ais523.
09:12:02 <fizzie> (To paraphrase shachaf.)
09:12:14 <fizzie> I don't know, but apparently it is.
09:12:29 <fizzie> I suppose life's just flat and dull without colours?
09:14:37 <fizzie> ^bf +++>,>,[<<.>.+>.+]!1a
09:14:37 <fungot> abcdefghi:j;k<l=m>n?o@pAqBrCsDtEuFvGwHxIyJzK{L|M}N~OPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstu ...
09:14:45 <fizzie> Well, it started all right.
09:14:50 -!- sebbu has quit (Ping timeout: 250 seconds).
09:17:53 -!- nooga has joined.
09:32:30 <shachaf> @thx for being terrible, lambdabot
09:38:58 -!- iamcal has quit (Remote host closed the connection).
09:42:55 <Taneb> 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 <shachaf> kmc: Did you read http://research.microsoft.com/en-us/um/people/simonpj/Papers/cpr/index.htm ?
09:50:32 <shachaf> The other end of "how to make a fast curry".
09:50:53 <shachaf> rwbarton pointed out that the dual of currying is more like returning sums than returning products.
09:50:58 <shachaf> Or at least I think that's what he was saying.
09:51:04 <shachaf> Compare foldr and unfoldr, for example.
09:57:06 <shachaf> Can you do similar partial inlining for things that accept/return sums?
09:59:45 <Sgeo> elliott fizzie
10:00:31 -!- aloril has quit (Ping timeout: 260 seconds).
10:01:54 <HackEgo> 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:08:54 <GreyKnight> I like that Taneb's snippet has a :-) in it
10:09:25 <shachaf> How do you feel about its (:- ?
10:11:27 <lambdabot> SamB_XP says: I once saw it eat a comment (:[{- Help! -}])
10:12:48 <GreyKnight> What does the syntax mean anyway, I only know a tiny bit of Haskell
10:13:03 -!- aloril has joined.
10:14:19 <shachaf> Oh, it's just referring to the infix name :-
10:14:33 <shachaf> (+) is a function that takes two arguments.
10:14:47 <shachaf> (^2) is a function that takes one argument and squares it.
10:14:59 <GreyKnight> I knew you could do that, just didn't think of :- as an operator
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 <Sgeo> McAffee was arrested
11:36:33 <Sgeo> Oh, right, that script that points out how I had some severe connection issues?
11:36:47 <HackEgo> #!/bin/sh \ perl -n -e '/:(.*?)!.*JOIN/; $j{$1}++; END {print "$_ $j{$_};" for sort {$j{$b} <=> $j{$a}} keys %j}' $@
11:37:31 <Sgeo> Oh, my most recent JOIN was as Sgeo|web
11:38:02 <Sgeo> Hmm, I guess you also have to pass it the filename of a log file?
11:38:24 <Sgeo> Also, why do you hate me?
11:38:35 <coppro> I was curious what it did
11:38:47 <coppro> so in one CS class there's a rather silly assignment which is the end of a series of assignments
11:39:18 <coppro> wherein you are given a simple CFG and work on derivations
11:39:26 <coppro> the CFG is just bracketed subtraction expressions on numbers
11:40:06 <coppro> 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:46 <coppro> 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 <Sgeo> I don't even really know what CFG is
11:41:28 <coppro> I managed to golf the whole assignment down to 53 characters of perl
11:43:15 <oklopol> Sgeo: you don't know how context-free grammars work?
11:43:28 <coppro> I was sad I couldn't break 50
11:43:33 <Sgeo> Didn't recognize the abbreviation. I have ... some idea
11:44:47 <oklopol> 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:34 <oklopol> *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 <oklopol> because A -> bb gives the word bb
11:45:52 <oklopol> A -> aAa -> abba gives abba
11:46:04 <oklopol> A -> aAa -> aaAaa -> aabbaa gives aabbaa
11:47:37 <oklopol> 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 <oklopol> everyone should learn to love CFG's, they're the second best language class
11:49:58 -!- Taneb has joined.
11:53:37 -!- TeruFSX has quit (Read error: Connection reset by peer).
11:54:50 -!- TeruFSX has joined.
12:03:11 <GreyKnight> ais523: I want to vary from your example feather code slightly
12:04:50 <GreyKnight> Have a program be a function [ sys ¦ body... ] and the "root object" is passed as the sys argument when starting up
12:04:50 <GreyKnight> atomCompare, callCC, and IO can be extracted as properties of sys
12:07:27 <GreyKnight> My normal keyboard fails at regular pipes :-P
12:09:37 <Sgeo> Wait, there exists example Feather code?
12:10:36 <GreyKnight> And part of the syntax was already obsolete (grouping is now by parentheses not brackets)
12:10:56 <GreyKnight> I have some examples of my own based on discussions with ais523
12:13:14 <GreyKnight> E.g. the =<< method can be defined on o by:
12:13:16 <GreyKnight> o =<< <<= [dummy ¦ callcc [cc ¦ o <<= <<= cc]]
12:16:34 -!- Taneb has quit (Ping timeout: 240 seconds).
12:18:22 <Sgeo> I feel pathetic that I didn't get this until I read the discussion
12:18:22 <Sgeo> http://www.scp-wiki.net/scp-001-ex-j
12:24:28 -!- Taneb has joined.
12:27:17 <Sgeo> Hi Taneb did you see update (not particulary makot)
12:27:23 <lambdabot> Taneb: You have 1 new message. '/msg lambdabot @messages' to read it.
12:27:26 -!- Sgeo has changed nick to Roxy.
12:27:35 -!- Roxy has changed nick to Sgeo.
12:31:31 <SingingBoyo> SingingBoyo: if you need me I'll be off riding my moose.
12:31:32 <shachaf> What was your previous nick?
12:32:29 <Taneb> `welcome SiningBoyo
12:32:34 <HackEgo> 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 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.15311
12:32:41 -!- oklofok has joined.
12:33:04 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.10325
12:33:36 <SingingBoyo> oh hmm. guess I was around for a day or so ages back.
12:33:38 <oklofok> hello ais and other people who don't see colors
12:34:17 <shachaf> oklofok: I see colors, including this one.
12:35:05 <oklofok> what color is your background?
12:35:44 <oklofok> would be nice to know everyone's background color so i could secretly communicate with only people with non-white backgrounds
12:36:07 <SingingBoyo> hmm. I can read that. and I have a white background
12:36:33 <oklofok> can you read "so i could secretly communicate with only people with non-white backgrounds"?
12:37:05 <Taneb> shachaf, I'm not very good at defining traversable instances
12:37:09 <Taneb> But I've got it now :)
12:38:02 <shachaf> Taneb: Isn't it the same as []'s Traversable instance?
12:39:11 <fungot> 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 <Taneb> shachaf, annoyingly, not quite
12:41:10 -!- Taneb has quit (Quit: Leaving).
12:43:04 <oklofok> GreyKnight: i'm pretty sure it's the same palette in every client
12:44:04 <oklofok> 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:45:55 <oklofok> 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:51:45 <GreyKnight> dusty pink beige light brown turquoise
12:52:12 <oklofok> also the number seems to be taken mod 16
12:52:49 <FireFly> Probably depends on the implementation
12:56:30 <oklofok> okokokokokokokokokokokokokokokok o
12:57:09 <oklofok> so it's mod 16 when i'm writing the message, then shows up as white after going through the network.
12:57:36 <oklofok> then again mirc/nnscript shows many things differently in the prompt than on channel
12:58:22 <oklofok> also up there i first said 32 color codes, then 32 colored spaces. oops.
13:01:18 -!- Sgeo has quit (Ping timeout: 245 seconds).
13:03:16 <lambdabot> "okokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokok...
13:03:41 <fungot> okokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokokok ...too much output!
13:04:04 <fungot> 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 <FireFly> GNUgot, a GNU implementation of fungot
13:04:13 <fungot> 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:22 <fungot> 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 <fungot> Selected style: youtube (Some YouTube comments)
13:04:30 <fungot> 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 <FireFly> Makes perfect sense, fungot
13:05:15 <fungot> FireFly: i am buying this album.
13:05:32 -!- augur has quit (Remote host closed the connection).
13:13:00 <fungot> oklofok: cool hair. i can say
13:13:57 <GreyKnight> fungot's latest album, out now, just in time for Christmas!
13:13:57 <fungot> GreyKnight: looks like they have been writing and directing the digital shorts more often!
13:14:00 <GreyKnight> Hmm "fungot's" doesn't trigger him? Not sure how I feel about this
13:14:00 <fungot> GreyKnight: " plus the way they make there games) and non-frizzy!!!!
13:14:01 <GreyKnight> fungot, what will be on your new album?
13:14:01 <fungot> 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:28 <oklofok> i will buy this album too.
13:15:05 <GreyKnight> Wow, digital shorts and games? Best album ever
13:15:21 <fungot> GreyKnight: i am not 100% sure. and the crash
13:16:44 <GreyKnight> Oh dear, it crashes if you try to access the hidden track :-(
13:19:35 <GreyKnight> Given this style is trained from youtube comments, I'm surprised fungot isn't swearing more...
13:25:57 <GreyKnight> Hm, not just me lagged, is it fungot ?
13:25:58 <fungot> 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 <GreyKnight> 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:21 <fungot> Selected style: c64 (C64 programming material)
13:36:42 <fungot> 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: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:14:11 -!- ais523_ has joined.
14:14:40 -!- ais523 has quit (Read error: Connection reset by peer).
14:14:56 <nortti> up is direction that is on the opposite direction of direction down
14:15:03 -!- ais523_ has changed nick to ais523.
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 <GreyKnight> 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:42 -!- Phantom__Hoover has quit (Ping timeout: 264 seconds).
14:25:02 -!- ogrom has left ("Left").
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:29:30 -!- Phantom___Hoover has joined.
14:29:43 <lambdabot> 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:33 <PH|ohgodwhat> help my connection to irc keeps dropping as soon as i connect in xchat
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: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 <elliott> 03:29:43 <Sgeo> :( why does CentOS include an obsolete Mercurial?
15:16:33 <elliott> never mind i don't want to know
15:17:06 -!- GreyKnight has joined.
15:17:23 <elliott> 04:48:44 <kmc> more like 1100 drink a 7-Eleven Double Gulp everyday
15:17:24 <elliott> 04:52:59 <Sgeo> Wouldn't doing that at 0711 make more sense?
15:17:24 <elliott> 04:53:25 <kmc> no because i am not awake then
15:18:43 <GreyKnight> the new diet craze that's sweeping the nation
15:23:52 <elliott> 13:05:15 <fungot> FireFly: i am buying this album.
15:23:53 <fungot> 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 <elliott> 13:13:00 <oklofok> fungot: which album
15:23:54 <elliott> 13:13:00 <fungot> oklofok: cool hair. i can say
15:23:54 <fungot> elliott: a control message. press play record messages, this subroutine is ffd2. when
15:23:54 <fungot> 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 <elliott> 13:14:01 <GreyKnight> fungot, what will be on your new album?
15:23:56 <elliott> 13:14:01 <fungot> 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 <fungot> elliott: there are, however, keep in mind when you write, and
15:24:26 -!- ais523 has joined.
15:25:29 <GreyKnight> elliott, it's not just music! It has digital shorts and games too!
15:25:43 <fungot> 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 <Taneb> shachaf, you can't use the list instance because it makes a type error
15:34:46 <Taneb> "Couldn't match type `Succ Zero' with `Zero'"
15:36:30 <Taneb> I've made separate instances for Stack Zero and Traversable (Stack n) => Traversable (Stack (Succ n))
15:39:25 <GreyKnight> ...you guys are trying to do computation with a type system, aren't you
15:39:48 <Taneb> And just encoding the length of the stack
15:44:51 <nortti> 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 <elliott> Taneb: did you see ph got complaints about that blog
15:51:16 <Taneb> ...the one I write?
15:51:26 -!- GreyKnight has joined.
15:51:29 <elliott> whereby "ph" i mean "taneb"
15:51:56 <elliott> Taneb: it was from the author of one of the languages you reviewed
15:52:34 <Taneb> GreyKnight, not serious ones
15:52:50 <Taneb> It's me pretending to be Phantom_Hoover being nasty to brainfuck derivatives
15:52:55 <Taneb> elliott, where's the complaint?
15:53:38 <Taneb> Phantom_Hoover, can you forward it to me?
15:54:00 <Taneb> Or do you mean the Tumblr account's inbox?
15:54:27 -!- Phantom__Hoover has joined.
15:54:40 <GreyKnight> Taneb, might still be amusing, link plox :-)
15:54:48 <Taneb> phantom-hoover.tumblr.com
15:54:59 <Taneb> Tumblr's blocked here
15:55:44 <Taneb> Phantom__Hoover, elliott says someone's been complaining about your blog
15:56:04 <Taneb> Can you forward the complaint to me?
15:56:51 <GreyKnight> Taneb, "just a single solid of text" you say
15:57:07 <Taneb> I'm afraid I can't edit it from here
15:57:25 <fungot> Selected style: ct (Chrono Trigger game script)
15:57:32 <fungot> 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 <GreyKnight> fungot is getting a bit gothy there, picnics in a graveyard?!
15:57:58 <fungot> 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:22 <GreyKnight> ...and now we're recreating Jack and the Beanstalk
15:58:41 <fungot> 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:51 -!- Nisstyre-laptop has quit (Ping timeout: 244 seconds).
15:59:05 <Phantom__Hoover> oh god i don't remember what he actually said, it was like two years go
15:59:18 <fungot> 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
16:00:01 <Taneb> fizzie, is the format I would use to write a style and email it to you publicized anywhere?
16:00:15 <fungot> Selected style: wp (1/256th of all Wikipedia "Talk:" namespace pages)
16:00:28 <Taneb> fungot, is this wikipedia?
16:00:29 <fungot> 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:45 <fungot> 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 <GreyKnight> fungot, are you related to betacommandbot?!?
16:00:50 <fungot> 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 <FireFly> "the many electons emmitted from the hot filament were attracted to the daughter" what?
16:01:34 <GreyKnight> 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:05 <fungot> 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 <GreyKnight> hm the GNU license has fans and is female
16:46:40 <GreyKnight> 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 <FireFly> isn't it obvious from the URL?
16:58:51 -!- Taneb has quit (Client Quit).
17:00:32 <GreyKnight> something to do with turkeys and a molotov cocktail
17:01:05 <Deewiant> Link worked for me, although a bit slowly
17:01:18 <GreyKnight> I figured that part was a joke since turkeys aren't a particularly mainstream fetish AFAIK
17:02:46 <FireFly> 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 <FireFly> ...assuming it's meant to point to what I think it is
17:03:32 <FireFly> curl: (7) couldn't connect to host at 5z8.info:80
17:04:06 -!- Deewiant has set topic: ♣ Hacking ♣ http://codu.org/logs/_esoteric/.
17:04:21 <Deewiant> It's slow enough that it's counterproductive
17:04:51 <Deewiant> GreyKnight: 5z8.info is shadyurl.com
17:10:43 <GreyKnight> 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 <Gregor> Awwww, didn't know the creepy URL was so unreliable :(
17:28:57 <Gregor> travis-ci.org is pretty nifty, but also makes me go, “and what do they get out of this?”
17:29:22 <elliott> Gregor: they have sponsors
17:29:29 <elliott> and some kind of paid thing
17:29:56 <elliott> https://love.travis-ci.org/sponsors http://about.travis-ci.org/docs/user/travis-pro/
17:31:10 <Gregor> 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 <Gregor> (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 <elliott> didn't say it was a business model
17:31:51 <elliott> though it is a better one than many have
17:32:28 <Gregor> 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 <elliott> 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 <elliott> "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:34:01 <elliott> (github's integration is cool -- pull requests get their builds automatically checked an dstuff)
17:49:46 <GreyKnight> ais523: oh, also, did you see my comment a while back about the Feather "root object"?
17:50:57 <GreyKnight> you'd given this snippet: [ atomCompare | [ callCC | [ programText | [ IO | ( ( callCC ( <initial root object> ) ) <bootstrap the parser> ) ] ] ] ]
17:52:38 <GreyKnight> 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 <GreyKnight> makes it a bit more readable (** suppressed laughter **)
17:59:10 -!- Phantom__Hoover has quit (Read error: Operation timed out).
18:02:12 <GreyKnight> 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 <GreyKnight> something ridiculously prodigal no doubt ;-)
18:04:05 -!- ais523 has quit.
18:12:22 <fizzie> "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 <fungot> 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 <GreyKnight> fungot: I think we should have a disambiguation page at [[Ireland]], what do you think?
18:14:28 <fungot> 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 <fizzie> It's Talk: 'cause I hoped that would be more conversation-like than the main namespace.
18:16:07 <GreyKnight> 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 <elliott> are there fungot styles fizzie did not implement
18:16:40 <fungot> 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:17:10 <fungot> 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:18 <elliott> looks like it did not manage to use them correctly
18:17:41 <GreyKnight> hm looks like some HTML leaked in there too
18:17:56 -!- zzo38 has joined.
18:18:17 <GreyKnight> elliott, was it you who came up with the idea of using a map for Feather input?
18:18:32 <fungot> 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:43 <fungot> Selected style: irc (IRC logs of freenode/#esoteric, freenode/#scheme and ircnet/#douglasadams)
18:19:50 <GreyKnight> 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 <fungot> 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 <Taneb> '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:31:25 <fizzie> elliott: YouTube came from... asiekierka?
18:31:48 <fizzie> asiekierka: It wasn't you? It was someone.
18:32:06 <Taneb> http://www.bbc.co.uk/news/technology-20629245
18:32:11 <fizzie> asiekierka: Someone sent me the fungot style file for YouTube.
18:32:33 <fungot> 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 <GreyKnight> fungot: everybody loves them some continuations
18:37:57 <fungot> GreyKnight: i second that dare. nosfe's scary. if i would send the game the same way
18:48:22 <zzo38> How recent of IRC logs of fungot style file do they use?
18:48:49 <elliott> fizzie: It was asiekierka.
18:49:00 <elliott> I hear it was done with copy-and-paste, not web scraping.
18:50:28 <asiekierka> elliott: IIRC i web scraped the two most popular video
18:50:35 <asiekierka> and then ran a few sed commands to get the result
18:50:47 <asiekierka> or maybe i just copy-pasted the two most popular videos and sedded them
18:52:34 <elliott> 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:04:47 <Gregor> Bork bork bork asiekierka
19:05:06 <hagb4rd> omg.. jesus was a mushroom!
19:05:39 <hagb4rd> 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 <hagb4rd> 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:10:20 <hagb4rd> sorry.. this one seems not to work
19:11:17 <hagb4rd> 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 <hagb4rd> jesus is the main topic of this channel isn't it?
19:12:19 -!- ais523 has joined.
19:13:53 -!- Taneb|Away has changed nick to Taneb.
19:14:25 <oklofok> hail the mighty penis in the sky
19:15:07 <oklofok> that was a direct link to an english pdf :P
19:15:31 <hagb4rd> i had some trouble opening it
19:17:09 <zzo38> How to pick the lock of a "PERFECT MICRO" floppy disk box?
19:28:00 <olsner> there ought to be a tool called nosepick
19:28:23 <olsner> sort of a spoon, I guess
19:29:48 <FireFly> It's a bit worrying that fungot wants to grasp continuations
19:29:49 <fungot> FireFly: here's why you should have said something disturbing :)
19:30:35 <Taneb> FireFly, now fungot's smiling and it's all your fault for not saying something disturbing
19:30:36 <fungot> Taneb: ugh... so i'm trying a brainfuck only quine first place, would i be?
19:31:54 <FireFly> fungot: luckily you have a built-in brainfuck interpreter to try it out in
19:31:55 <fungot> FireFly: setting up scsh ( fnord) ( eq? x ' ( 1 ( 7 9 8 10)? please say " a continuation is
19:32:27 <olsner> there fungot goes again wanting someone to teach them about continuations
19:32:28 <fungot> olsner: to evaluate the previous s-expression and send it to /dev/ null
19:33:42 -!- sebbu2 has joined.
19:33:55 <FireFly> fungot's aware that he just sent an s-expression?
19:33:56 <fungot> FireFly: ( and i can't rename it on the floor, it was " wanted pages"), then
19:34:32 <olsner> 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:09 <fungot> GreyKnight: it's just an anus.' and stops. egh. i need to know it
19:58:28 <Gregor> It's just an anus, GreyKnight!
19:58:44 <GreyKnight> This is not what I wanted. I wanted the opposite of this.
19:59:04 <Bike> an anus that doesn't stop? are you sure?
19:59:25 <fungot> GreyKnight: then translate the lets into lambdas function applications instead of lets? i suspect not
20:01:43 <Fiora> GreyKnight: thanks, glad you liked that post
20:02:36 <GreyKnight> Especially when he lines up all the knights, it's hilarious
20:03:02 <Fiora> He has a few other variations where he does it with bishops or similar
20:03:19 <Fiora> nakamura is really totally amazing
20:04:08 <GreyKnight> Knights were the best I think, because of their loose capturing net
20:04:22 <Fiora> yeah, and being able to do that checkmate so quickly is amazing
20:04:31 <GreyKnight> But he is all "kekekeke knight rush" :-D
20:04:36 <Fiora> I mean, he's practiced it, but, it's sooo easy to accidentally stalemate someone in a knight checkmate
20:06:05 <GreyKnight> I can accidentally stalemate even playing at normal speed ._.
20:06:07 -!- pikhq_ has quit (Ping timeout: 264 seconds).
20:06:28 <Fiora> I'm pretty terribly out of practice
20:06:54 <Fiora> I used to play like 5 minute games online though, it was fun
20:06:56 -!- Vorpal has joined.
20:08:32 <GreyKnight> It's a game, like snakes and ladders, except different
20:09:54 <Bike> i can never remember how the horsey guys move.
20:10:54 <GreyKnight> 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 <Bike> agh shit, you sunk my battleship, right?
20:11:26 <Fiora> I wonder how often people shove their chess variants into chess computers to see how it affects strategy and stuff
20:11:32 <Fiora> like by modifying move generation
20:11:36 <elliott> we already made a chess variant
20:11:47 <elliott> well it was continuous chess
20:12:36 <Bike> less excitingly, you could probably make an esolang based on move notation
20:12:57 <Fiora> how about making an esolang based on solving a chess puzzle on an NxN board?
20:13:05 <Fiora> generalized chess is EXPTIME
20:13:07 <GreyKnight> Continuous as in non-grid-based positioning?
20:13:20 <Bike> Fiora: like n-queens or something?
20:16:36 <Fiora> Bike: like, NxN chess board with arbitrary pieces, solve for mate
20:16:46 <Fiora> or the decision problem, "is a forced mate possible"?
20:16:51 <Fiora> EXPTIME-complete apparently
20:19:10 <GreyKnight> I am thinking about an infinite chessboard with the ability to "paint" squares as you land on them
20:19:54 <Fiora> that sounds, um.... kind of like Angels and Demons for some reason
20:20:16 <Fiora> or whatever that puzzle is called, I don't remember...
20:20:30 <GreyKnight> For a given initial arrangement of pieces and initial board colouring, this might be TC
20:20:31 <Fiora> http://en.wikipedia.org/wiki/Angel_problem right
20:21:00 <Fiora> Yeah... I think that sounds TC...
20:21:32 <Bike> where did conway get all the money for these prizes
20:22:32 <Bike> oh, $100 isn't much, i guess
20:22:46 <Bike> i should really get winning ways sometime.
20:24:25 <tswett> 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 <Fiora> now I'm tempted to go back and dive through the chess programming wiki again <_<;
20:24:41 <tswett> Anyone have any idea what that means?
20:24:54 -!- epicmonkey has quit (Ping timeout: 240 seconds).
20:25:30 <olsner> tuesday, briday, sunday, monday
20:25:39 <olsner> poor ppater is always the team
20:26:51 <hagb4rd> there should be an addtional day between saturday and sunday *sigh
20:27:24 <olsner> reminds me of the short film about an extra integer existing between three and four
20:29:15 <GreyKnight> olsner: I've never seen that, but have heard similar gags before
20:29:56 <tswett> elliott: you wouldn't happen to have any information about continuous chess, would you?
20:30:30 <elliott> he will remember it better than me
20:30:32 <hagb4rd> i would add two integers..12 would do a better base
20:31:17 <GreyKnight> tswett, if you see him before I do, I would also like info!
20:31:48 -!- oerjan has joined.
20:33:03 <fizzie> 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 <tswett> Well, there's this: http://www.chessvariants.org/other.dir/continuouschess.html
20:33:17 <tswett> But that's not as continuous as I was hoping.
20:34:14 <olsner> 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 <olsner> unfortunately it only works when applied to ideas that you can pretend to believe in
20:35:22 <GreyKnight> I wonder about applying the ideas behind quantum football to chess
20:36:26 <GreyKnight> 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:38:14 <tswett> 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 <Bike> GreyKnight: how spiked does it need to be?
20:39:16 <GreyKnight> I don't know! What is the criterion in quantum football?
20:40:51 <kmc> i just got back from a tour of the fourth oldest nuclear reactor in the USA
20:41:20 <Bike> hm. which one is that?
20:41:33 <GreyKnight> Hm maybe we want probability 63/64 on the square. Or can we sum across all threatened squares actually?
20:44:24 <zzo38> I know of many chess variant
20:48:33 <olsner> Taneb: don't you want to change your nick to Tneb? I think it would be better somehow
20:48:55 <Taneb> olsner, I'd rather have Tanb, for etymological reasons
20:49:09 <olsner> I thought about that, but it's not as good
20:49:56 <Taneb> That's not your e!
20:50:06 <Taneb> That's my great-grandfather's e!
20:50:10 <olsner> I think the e is required in Ngevd
20:50:12 <Taneb> Which he got from his father!
20:50:17 <Taneb> Which he got from his mother!
20:50:21 <Taneb> Who was called Elliott!
20:50:40 <Taneb> (mildly misleading, but true)
20:53:51 <olsner> the e is somehow essential to make the initial ŋ sound
21:05:36 <kmc> Bike: MIT Nuclear Research Reactor
21:07:12 -!- sebbu2 has joined.
21:08:41 <kmc> one of only a few reactors that still uses highly enriched uranium
21:09:08 <kmc> they describe their fuel as "self-protecting", which means that it would be extremely difficult to steal it without killing yourself immediately
21:09:34 <elliott> I did not realise MIT had a nuclear reactor
21:09:38 <elliott> slightly more scared of them now
21:10:17 <Bike> 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 <kmc> 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:11:47 <Taneb> The world's first commercial nuclear power plant is in the next county over from here
21:12:20 <oerjan> <GreyKnight> hm how do I identify a Church numeral in order to print its value, I should probably know this
21:12:37 <oerjan> i thought i did that a while ago.
21:12:40 <kmc> Bike: which reactor is that?
21:13:03 <oerjan> but for which esolang...
21:13:39 <Bike> kmc: the B reactor at "Site W"
21:13:58 <GreyKnight> Answer I came up with was "have the interpreter evaluate it with args add1 and 0, then print the result
21:14:01 <Bike> oh, apparently that was the first full scale reactor
21:14:18 <oerjan> oh it was http://esolangs.org/wiki/Real_Fast_Nora%27s_Hair_Salon_3:_Shear_Disaster_Download
21:14:35 <oerjan> GreyKnight: well yeah that was about what i did
21:14:40 <GreyKnight> That will at least give the right answer for Church numerals and mumblesomething for other functions
21:14:51 <Taneb> One of my better esolangs
21:15:01 <GreyKnight> Okay cool, if I am like oerjan I am probably correct :-)
21:16:02 <kmc> Bike: Hanford site?
21:16:38 <Bike> i've never been there. aaaand i don't think they exactly offer tours
21:16:39 <kmc> those old manhattan project facilities are all super contaminated
21:16:49 <kmc> because they didn't really give a shit about safety or the environment back then
21:16:58 <Bike> did they even know how to give a shit about it yet?
21:17:18 <kmc> 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 <Bike> 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:45 <Bike> i'm imagining an mit building constructed entirely out of lead
21:18:36 <GreyKnight> Taneb: Church numerals as de Bruijn indices?!? You're a madman!
21:18:51 <Taneb> Hey, I just write the esolang
21:18:55 <kmc> it is pretty boring looking on the outside
21:18:55 <Taneb> I don't have to use it
21:18:56 <kmc> http://www.wgbh.org/imageassets/0321reactor.jpg
21:19:18 <Taneb> It was meant to be BIT-sans-brackets
21:19:21 <Bike> it looks like a water tower...
21:19:27 <Bike> which is probably what they modeled it after
21:20:37 <kmc> one of the things they use it for is radiation therapy for cancer
21:20:43 <kmc> they produce isotopes for medical use
21:20:51 <kmc> but they also actually perform experimental therapies at the reactor
21:21:05 <Bike> they move patients to a reactor?
21:21:19 <kmc> yeah for http://en.wikipedia.org/wiki/Boron_neutron_capture_therapy
21:21:32 <elliott> that dude in the pic looks like a cyborg
21:21:32 <kmc> they give you a drug with a bunch of boron in it, that preferentially binds to cancer cells
21:21:43 <kmc> then they take you to the reactor and put your head right up against the core and open a little window
21:21:48 <kmc> and you get mucho neutrons in the brain
21:21:49 <elliott> getting their brain scanned with science and radiation
21:21:54 <kmc> and they make the boron radioactive
21:22:01 <elliott> pretty sure this is how science works??
21:22:18 <kmc> this is one of those "well, he already *has* cancer" type of therapies
21:22:20 <elliott> i do like the idea of just shoving people into a nuclear reactor as treatment
21:22:34 -!- ais523 has quit.
21:22:35 <Taneb> elliott, you're thinking of magix
21:22:41 <elliott> "well, we destroyed the cancer. also everything else"
21:22:45 <Bike> radiotherapy always makes me remember what i've read from Goiânia now
21:22:50 <Bike> so i'm unreasonably spooked by it
21:23:30 <GreyKnight> "Just fall into a nuclear reactor and hope for the best"
21:24:20 <Bike> i wonder if you get free radiotherapy if you work as a nuke diver
21:26:43 -!- Phantom_Hoover has joined.
21:27:06 <oerjan> <GreyKnight> 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:42 <oerjan> 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:29 -!- carado has quit (Ping timeout: 246 seconds).
21:30:44 <Phantom_Hoover> back in the 80s they used the particle accelerator at lawrence berkeley labs for cancer treatment
21:31:23 <Phantom_Hoover> it involved timing particle decays so they dumped all the energy in the tumour
21:31:41 <GreyKnight> oerjan: my Haskell is not great but I will try to understand your approach :-)
21:32:33 <Phantom_Hoover> markus hess also tampered with the control computers at some point, which is why i know that
21:32:43 <GreyKnight> Phantom_Hoover: oh, tswett and myself want to know about continuous chess?
21:33:41 <Phantom_Hoover> right uh the gist of it is that for a board you have [0,8]^2
21:34:03 <Phantom_Hoover> and your pieces are a collection of disjoint subsets of that
21:34:36 -!- carado has joined.
21:35:26 -!- sebbu has joined.
21:35:31 <Phantom_Hoover> 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:17 <Phantom_Hoover> (a 'move' is a function f that satisfies these properties, also)
21:36:53 <Phantom_Hoover> 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 <Phantom_Hoover> the exceptions to c) are that knight may move through other piece of your colour
21:37:38 <Phantom_Hoover> and that you can move through opposing piece if there is some other piece being moved to its location
21:38:45 <Bike> wait, is time continuous too?
21:38:53 -!- Taneb has quit (Ping timeout: 255 seconds).
21:39:07 -!- sebbu2 has quit (Ping timeout: 260 seconds).
21:39:33 <Phantom_Hoover> still better than the other crap being proposed during the chess variant fad
21:39:45 <elliott> Bike: we started to make time continuous
21:40:03 <Phantom_Hoover> GreyKnight, you capture opposing piece if you map your piece onto it
21:40:20 <Phantom_Hoover> 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 <GreyKnight> Exactly onto it? Do all pieces have the same measure?
21:41:28 <oklofok> i wonder if there's even alternating games with continuous time in math
21:41:32 <oklofok> because that sounds insane
21:41:42 <Phantom_Hoover> but the measure of a captured piece obviously decreases
21:42:15 <Phantom_Hoover> additional challenges: incorporate castling and promotion into this
21:42:51 <Bike> "Dynamic noncooperative game theory" hm yes this sounds reasonable
21:43:37 <Phantom_Hoover> thompson's lamp at least only switches countably many times
21:43:37 <elliott> I meant if you made it continuous-time
21:43:41 <elliott> that is one way you could do it
21:44:07 -!- greyooze has joined.
21:44:24 -!- xDEADCA7 has joined.
21:44:30 <greyooze> Phantom_Hoover: erm as I was saying:
21:44:38 <greyooze> do all pieces have the same measure?
21:44:46 <Phantom_Hoover> <Phantom_Hoover> but the measure of a captured piece obviously decreases
21:44:46 <Phantom_Hoover> <Phantom_Hoover> additional challenges: incorporate castling and promotion into this
21:44:51 <elliott> 21:41:11 <Phantom_Hoover> initially, yes
21:45:10 <greyooze> oh so you can capture *part* of a piece, interesting
21:45:40 -!- GreyKnight has quit (Ping timeout: 252 seconds).
21:45:45 -!- greyooze has changed nick to GreyKnight.
21:45:57 <Phantom_Hoover> i think i actually had it so knight can move through any piece whatsoever, not just friendly
21:47:25 <GreyKnight> could you describe again the rule about moving through an enemy piece, not sure I got that bit
21:47:49 <Phantom_Hoover> you can't move through enemy piece unless you're also capturing it in the same move
21:49:04 <GreyKnight> ah, so your destination has to partly overlap the enemy piece in question
21:50:55 -!- sebbu2 has joined.
21:50:56 <GreyKnight> is check/mate the obvious extension, or anything fancy about it?
21:51:46 <GreyKnight> (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 <Phantom_Hoover> 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 <GreyKnight> (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 <GreyKnight> can a single piece split into N disjoint parts (as long as total measure is preserved)? The wording was a bit unclear
21:54:37 <Phantom_Hoover> the 'disjoint subsets' bit just means you can't have pieces overlapping
21:54:37 <Bike> no nonmeasurable pieces, huh. sad
21:54:57 <elliott> Phantom_Hoover: well everything is undecidable
21:55:01 <elliott> since the functions can be uncomputable
21:55:42 <GreyKnight> I don't know how we would even *start* a match never mind finish one ;-)
21:56:25 <Phantom_Hoover> elliott, even if you restrict it to computable functions though
21:58:22 <oerjan> might restrict to polygonal pieces
21:58:27 <Phantom_Hoover> GreyKnight, me and oko played like 2 matches with a 3x3 board and just kings in opposite corners once
21:58:30 <oerjan> (what do you mean, BORING?)
22:00:41 <oklofok> convex polygons would still give you a weird amoeba chess
22:00:57 -!- GreyKnight has quit (Ping timeout: 252 seconds).
22:02:23 <oklofok> i guess strategies in continuous games are basically solutions to first order differential equations
22:02:44 <oklofok> 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: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:09:40 -!- boily has quit (Quit: Poulet!).
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:59:37 <GreyKnight> 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 <fungot> GreyKnight: it had the usual arithmetic operators and all!