< 1401408114 725925 :ion!ion@heh.fi PRIVMSG #esoteric :http://spacecollege.org/isee3/we-are-now-in-command-of-the-isee-3-spacecraft.html < 1401408895 862690 :Rugxulo!~user@adsl-065-013-115-246.sip.mob.bellsouth.net QUIT :Quit: ERC Version 5.3 (IRC client for Emacs) < 1401409817 629865 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Quit: Leaving < 1401410959 400707 :not^v!~notnot^v@2601:4:4500:887:59f8:6778:22b6:7ca1 JOIN :#esoteric < 1401411737 173191 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :"This is the kind of movie where a man shitting in a hat is not enough; he must shit in two hats, and then spill one of them in close-up." < 1401412110 892656 :Bike!~Glossina@71-222-125-221.ptld.qwest.net PRIVMSG #esoteric :is this re: the ISEE < 1401412208 478573 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nope, this is some unrelated shit < 1401412830 428654 :rottytooth!~rottytoot@static-71-183-108-23.nycmny.fios.verizon.net QUIT :Quit: HydraIRC -> http://www.hydrairc.com <- Wibbly Wobbly IRC < 1401415855 194627 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :http://www.reddit.com/r/ruby/comments/26st9q/got_missing_methods_solution_method_not_missing/ < 1401416541 321551 :ion!ion@heh.fi PRIVMSG #esoteric :http://new.livestream.com/spacex/DragonV2 < 1401416739 608740 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :that countdown was awesome < 1401416750 766571 :ion!ion@heh.fi PRIVMSG #esoteric :hah < 1401416964 354088 :MoALTz!~no@user-164-126-209-211.play-internet.pl QUIT :Read error: Connection reset by peer < 1401417011 438139 :MoALTz!~no@user-164-126-209-211.play-internet.pl JOIN :#esoteric < 1401417746 454064 :ion!ion@heh.fi PRIVMSG #esoteric :http://en.wikipedia.org/wiki/HAL/S#Syntax < 1401418886 700879 :aretecode!~aretecode@173.192.170.114-static.reverse.softlayer.com QUIT :Ping timeout: 255 seconds < 1401419054 171576 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Hum. I don't think my solution on XSS-Game level 6 was the intended one < 1401419107 147326 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :V hfrq n qngn HEV < 1401419187 877462 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hff wrx furfu xecp ntower < 1401419209 262313 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*furffu < 1401419221 804588 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*furrfu < 1401419297 312313 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Only one of those words is rot13? < 1401419334 321761 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ebg13 vf uneq < 1401419335 727781 :Bike!~Glossina@71-222-125-221.ptld.qwest.net PRIVMSG #esoteric :did you know that if you pick a random series of letters there's a 50% chance that it's rot13 for D I C K S Q U A D < 1401419337 587059 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :the rest are rot26 < 1401419418 239819 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: snfpvangvat < 1401419448 902012 :Bike!~Glossina@71-222-125-221.ptld.qwest.net PRIVMSG #esoteric :ⅅ 𝕀 ℂ 𝕂 𝕊 ℚ 𝕌 𝔸 𝔻 < 1401419467 102701 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's not rot13 Bike < 1401419476 936611 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`unidecode ⅅ 𝕀 ℂ 𝕂 𝕊 ℚ 𝕌 𝔸 𝔻 < 1401419477 387994 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+2145 DOUBLE-STRUCK ITALIC CAPITAL D] [U+0020 SPACE] [U+1D540 MATHEMATICAL DOUBLE-STRUCK CAPITAL I] [U+0020 SPACE] [U+2102 DOUBLE-STRUCK CAPITAL C] [U+0020 SPACE] [U+1D542 MATHEMATICAL DOUBLE-STRUCK CAPITAL K] [U+0020 SPACE] [U+1D54A MATHEMATICAL DOUBLE-STRUCK CAPITAL S] [U+0020 SPACE] [U+211A DOUBLE-STRUCK CAPITAL Q] [U+0020 SPACE] [U+1D54C M < 1401419510 201848 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`unidecode ⅅ𝕀ℂ𝕂𝕊ℚ𝕌𝔸𝔻 < 1401419510 678506 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+2145 DOUBLE-STRUCK ITALIC CAPITAL D] [U+1D540 MATHEMATICAL DOUBLE-STRUCK CAPITAL I] [U+2102 DOUBLE-STRUCK CAPITAL C] [U+1D542 MATHEMATICAL DOUBLE-STRUCK CAPITAL K] [U+1D54A MATHEMATICAL DOUBLE-STRUCK CAPITAL S] [U+211A DOUBLE-STRUCK CAPITAL Q] [U+1D54C MATHEMATICAL DOUBLE-STRUCK CAPITAL U] [U+1D538 MATHEMATICAL DOUBLE-STRUCK CAPITAL A] [U+1D5 < 1401419545 442686 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wait is that blackboard bold < 1401419548 748500 :Bike!~Glossina@71-222-125-221.ptld.qwest.net PRIVMSG #esoteric :hackego wants the d < 1401419582 554029 :Bike!~Glossina@71-222-125-221.ptld.qwest.net PRIVMSG #esoteric :In addition, a blackboard-bold Greek letter mu (not found in Unicode) is sometimes used by number theorists and algebraic geometers (with a subscript n) to designate the group (or more specifically group scheme) of n-th roots of unity. < 1401419593 659308 :Bike!~Glossina@71-222-125-221.ptld.qwest.net PRIVMSG #esoteric :so even with all these bullshit characters they're missing ones mathematicians actually use < 1401419626 398470 :ion!ion@heh.fi PRIVMSG #esoteric :nice < 1401420000 346870 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 PRIVMSG #esoteric :Do they have blackboard-bold aleph though? < 1401420097 745046 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :do they have blackboard-bold multiocular O < 1401420133 379538 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :`unidecode ☆ < 1401420133 857421 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+2606 WHITE STAR] < 1401420139 301597 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :blackboard-bold white star? < 1401420995 529924 :conehead!~conehead@unaffiliated/conehead QUIT :Ping timeout: 252 seconds < 1401421119 933250 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :black hole sun < 1401421227 141436 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1401421489 19639 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :won't you come? < 1401421935 782606 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Black Sun, Blaxxun. I miss Cybertown < 1401421945 322432 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Also, no green sun? < 1401422188 14708 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :Sgeo (only): in what modern country was the mayan civilization located? < 1401422215 108725 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I'm guessing either US or Mexico, but I'm not certain < 1401422375 673668 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it was no modern country hth < 1401422406 811557 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION wikipedes
< 1401422502 297066 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :no country for old mayans < 1401422710 612598 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: excuse me did you mean that as a joke or as a trick question, i need to know why to swat you twh < 1401422817 254381 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: it's a serious question. and mexico (or more specifically yucatan peninsula) is what i was looking for. (i hope you won't swat me for not writing out the longwinded version that makes it clear that i realize maya and mexico never coexisted) < 1401422853 59779 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, no. < 1401422879 716498 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION swats quintopia for not realizing the maya civilization included parts outside mexico -----###
< 1401422897 701434 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :damn that would have been doubly longwinded < 1401422936 749750 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :the point was to find out what country random people most associate maya with. not whether they can list all the countries it overlapped. < 1401422973 486811 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if i recall correctly, the last independent maya kingdom conquered by the spanish was in nicaragua. < 1401422999 415045 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ic < 1401423024 521702 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION learned that too on wikipedia
< 1401423070 316978 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :wikipedia makes everyone experts! < 1401423105 238365 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm wait < 1401423112 137633 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION needs to check that
< 1401423186 62343 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :was probably guatemala. sound practically alike! < 1401423295 535036 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yeah one of my random pollees said "southern mexico, belize, and guatemala". she's too smart. < 1401423310 535669 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i would have said "mexico and probably some other places" < 1401423402 941004 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :there are several nicaraguan and guatemalan restaurants within a short walk of my house < 1401423470 514555 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :two last cities conquered in 1697 < 1401423494 719518 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :used to live near a good el savadoran restaurant < 1401423508 991668 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :good times < 1401423742 53844 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wait am i forgetting to eat again -> < 1401423892 229827 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :http://imgur.com/gallery/Jb6jW < 1401423992 495870 :Bike!~Glossina@71-222-125-221.ptld.qwest.net PRIVMSG #esoteric :complete comfort sounds pretty good < 1401424017 617919 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :FULL ABSOLUTE PROTECTION OF MICROCHIPS IMPLANTED INTO THE HUMAN !!! < 1401424026 544607 :Bike!~Glossina@71-222-125-221.ptld.qwest.net PRIVMSG #esoteric :"It's like a pipboy... for your house!!" son, < 1401424140 478558 :tertu3!~tertu@143.44.70.199 JOIN :#esoteric < 1401424311 392797 :not^v!~notnot^v@2601:4:4500:887:59f8:6778:22b6:7ca1 QUIT :Read error: Connection reset by peer < 1401424399 308570 :tertu3!~tertu@143.44.70.199 QUIT :Client Quit < 1401424421 400957 :tertu3!~tertu@143.44.70.199 JOIN :#esoteric < 1401424577 125783 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :what < 1401424614 295189 :Bike!~Glossina@71-222-125-221.ptld.qwest.net PRIVMSG #esoteric :a comment on the images < 1401424935 262814 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :what is your reaction meant to mean, though < 1401424956 919393 :Bike!~Glossina@71-222-125-221.ptld.qwest.net PRIVMSG #esoteric :cruelty. < 1401425631 445537 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :okay < 1401425636 263274 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :fungots fall on fungot falls < 1401425636 694744 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :kmc: but i don't believe i ever said anything about compiling))) you only need to work?' < 1401425691 159123 :ter2!~tertu@143.44.70.199 JOIN :#esoteric < 1401425691 252224 :tertu3!~tertu@143.44.70.199 QUIT :Read error: Connection reset by peer < 1401425699 910636 :ter2!~tertu@143.44.70.199 NICK :tertu < 1401425991 75504 :newsham!~chat@udp217044uds.hawaiiantel.net PRIVMSG #esoteric :http://www.computerhistory.org/revolution/minicomputers/11/362 < 1401426090 54625 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: what is your opinion on rockets < 1401426090 291546 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :oerjan: s/ a comment/ fnord" is what i do actually know one or two sml implementations. scheme has so many parentheses, though? < 1401426111 591873 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: that doesn't seem very relevant < 1401426112 35755 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :oerjan: the implementation is flawed. why do you wanna try my hand at porting it to common lisp, i personally am not a toy" or " fnord". < 1401426129 487566 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: oh. sorry about that. < 1401426129 875584 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :oerjan: ' vehemently blurry' would be an idea to let users with commit access put eggs online too?! < 1401426130 627233 :MoALTz_!~no@user-164-126-209-211.play-internet.pl JOIN :#esoteric < 1401426145 637813 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :http://blog.bryanbibat.net/2014/01/30/obligatory-hearthstone-post-from-a-former-magic-player/ < 1401426250 42442 :Bike!~Glossina@71-222-125-221.ptld.qwest.net PRIVMSG #esoteric :oddly, recipes were probably actually my first exposure to computers. < 1401426258 734615 :Bike!~Glossina@71-222-125-221.ptld.qwest.net PRIVMSG #esoteric :my parents' cookbook still has printed emails from the 90s in it < 1401426307 138987 :MoALTz!~no@user-164-126-209-211.play-internet.pl QUIT :Ping timeout: 258 seconds < 1401427659 460787 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:Rail14]]4 M10 02http://esolangs.org/w/index.php?diff=39721&oldid=39719 5* 03Oerjan 5* (+48) 10unsigned, move to end of intro < 1401427776 509442 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com TOPIC #esoteric :Vehemently blurry | brainfuck survey: https://www.surveymonkey.com/s/L82SNZV | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/ < 1401427931 637365 :not^v!~notnot^v@2601:4:4500:887:5db5:77e8:fa7a:7e56 JOIN :#esoteric < 1401427934 871120 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:Rail14]]4 M10 02http://esolangs.org/w/index.php?diff=39722&oldid=39721 5* 03Oerjan 5* (+36) 10Move this long comment to own section < 1401428146 387704 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Quit: Computer has gone to sleep. < 1401428262 340964 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1401428542 970970 :Bike!~Glossina@71-222-125-221.ptld.qwest.net PRIVMSG #esoteric :is the set of lambda calculus terms that reduce to themselves in n steps r.e.? < 1401429144 27204 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh, yes. < 1401429160 625229 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :just try all n step reductions on each term < 1401429203 56563 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there's only a finite number of options in each step < 1401430042 240116 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1401430138 168743 :password2!~password@197.78.138.232 JOIN :#esoteric < 1401430147 12796 :Bike!~Glossina@71-222-125-221.ptld.qwest.net PRIVMSG #esoteric :recursive, too, then. < 1401430873 539110 :fowl!~fowl@unaffiliated/fowlmouth QUIT :Ping timeout: 252 seconds < 1401430976 219081 :fowl!~fowl@unaffiliated/fowlmouth JOIN :#esoteric < 1401431202 714851 :MoALTz_!~no@user-164-126-209-211.play-internet.pl QUIT :Quit: Leaving < 1401432082 176414 :KingOfKarlsruhe!~stud-heco@unaffiliated/kingofkarlsruhe JOIN :#esoteric < 1401432115 214620 :not^v!~notnot^v@2601:4:4500:887:5db5:77e8:fa7a:7e56 QUIT :Ping timeout: 240 seconds < 1401432166 240913 :not^v!~notnot^v@2601:4:4500:887:9922:32fb:d3f5:b02 JOIN :#esoteric < 1401433030 706713 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1401433467 828665 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep < 1401433850 274187 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Rdebath14]]4 10 02http://esolangs.org/w/index.php?diff=39723&oldid=39264 5* 03Rdebath 5* (+10728) 10/* Performance Matrix */ < 1401433916 27171 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Rdebath14]]4 10 02http://esolangs.org/w/index.php?diff=39724&oldid=39723 5* 03Rdebath 5* (-7112) 10/* Performance Matrix */ < 1401434507 547401 :password2!~password@197.78.138.232 QUIT :Ping timeout: 260 seconds < 1401435235 501381 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1401435500 2310 :Sorella!~queen@oftn/member/Sorella QUIT :Quit: It is tiem! < 1401435953 797069 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Rdebath14]]4 10 02http://esolangs.org/w/index.php?diff=39725&oldid=39724 5* 03Rdebath 5* (+271) 10/* Interpreter List */ < 1401437263 869340 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Rdebath14]]4 10 02http://esolangs.org/w/index.php?diff=39726&oldid=39725 5* 03Rdebath 5* (-1758) 10/* Interpreter List */ < 1401437687 501513 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1401437687 774916 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1401438602 341745 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Quit: ZNC - http://znc.sourceforge.net < 1401438942 336711 :Slereah_!~jackal@176.222.51.233 QUIT :Ping timeout: 245 seconds < 1401438967 96061 :Slereah_!~jackal@176.222.51.233 JOIN :#esoteric < 1401439581 210617 :impomatic!~digital_w@43.16.208.46.dyn.plus.net PRIVMSG #esoteric :
ACTION is just preparing to catch the train to Cambridge for the Core War tournament tomorrow :-)
< 1401439625 647626 :impomatic!~digital_w@43.16.208.46.dyn.plus.net PRIVMSG #esoteric :I should be on IRC to post live updates from the tournament. < 1401439764 976485 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :there are core war tournaments? < 1401439771 847899 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :like, offline? < 1401439782 526530 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i'm impressed < 1401440507 893283 :slereah!~slereah@46.218.232.202 JOIN :#esoteric < 1401440509 384728 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :Hello < 1401440817 88050 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :I launched a perceptron with 3300 inputs < 1401440833 574855 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :I may as well go home because it's not gonna be over until next week < 1401443169 885938 :impomatic!~digital_w@43.16.208.46.dyn.plus.net PRIVMSG #esoteric :myname: yes, tournaments for a few other games too, notably Robocode :-) < 1401443188 154770 :impomatic!~digital_w@43.16.208.46.dyn.plus.net PRIVMSG #esoteric :There've been offline CW tournaments in France and Austria so far this year. < 1401443200 414062 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :impomatic: i'd love robocode if it'd be less java < 1401443248 895372 :impomatic!~digital_w@43.16.208.46.dyn.plus.net PRIVMSG #esoteric :I think you can play robocode with Scala. (unless I just imagined it) < 1401443266 264781 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :that'd be interesting < 1401443281 449909 :impomatic!~digital_w@43.16.208.46.dyn.plus.net PRIVMSG #esoteric :There are similar games anyway, CROBOTS, TclRobots, Scalatron, etc < 1401443299 517633 :impomatic!~digital_w@43.16.208.46.dyn.plus.net PART :#esoteric < 1401443300 733903 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :is there some programming game with curses ui? < 1401443999 16920 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :When I was little I had a computer game that taught basic maths (stuff like addition, subtraction, multiplication, division for easy numbers) < 1401444026 87284 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :The story of the game was that the local Mathemagician had been kidnapped and you had to explore the scary forest to save him < 1401444041 763180 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I... used to speedrun that game when I was 6 < 1401444049 814663 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :And now I can't remember the name < 1401444383 212533 :Guest53344!skarn@binary.firrre.com QUIT :Changing host < 1401444383 266952 :Guest53344!skarn@unaffiliated/skarn JOIN :#esoteric < 1401444399 446436 :Guest53344!skarn@unaffiliated/skarn NICK :skarn < 1401444685 273971 :drdanmaku!uid17782@gateway/web/irccloud.com/x-ilgneczuqxnnhbvb QUIT :Quit: Connection closed for inactivity < 1401444834 738927 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Taneb: is it a PC game? or what other game system platform? < 1401444844 428564 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :PC < 1401444851 172853 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :iirc it was point-and-click < 1401444864 764499 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I probably have the CD at home < 1401445094 616412 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :On another note... < 1401445121 831824 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :You know how I have the Haskell lib "groups"? < 1401445192 897353 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I am tempted to add a RULES pragma saying "mappend (invert a) (invert b) => invert (mappend b a)" < 1401445270 466377 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :On the basis that invert can be "division", and division is expensive < 1401446132 499228 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :we have this course for maths students in their 4th semester < 1401446154 468080 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :and there is that one assignment < 1401446163 674366 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :"draw a platypus" < 1401446197 92447 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1401446822 901126 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Taneb: but that sort of depends on what type a and b are; sometimes (mappend (invert a) (invert b)) is actually cheaper, sometimes more expensive < 1401446839 219507 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :That's why I've hesitated < 1401446897 64142 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :maybe add two semantic synonyms to invert, one that prefers to remain separate, and one that prefers to merge; < 1401446944 761005 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :or, um, perhaps define this RULES for only some types < 1401447092 586400 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Anyway, I'm off to get some lunch and then do an exam < 1401447094 663773 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Bye! < 1401447767 904486 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1401448357 406410 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :off to get some bike and do work. < 1401448360 433465 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :à plus! < 1401448362 918067 :boily!~boily@96.127.201.149 QUIT :Quit: Poulet! < 1401449261 662463 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 255 seconds < 1401450379 521298 :mhi^!~mhi@unaffiliated/mhi/x-9993184 JOIN :#esoteric < 1401451450 294235 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1401452066 940846 :Fodor_!~mortuary@5.29.22.102 JOIN :#esoteric < 1401453784 959724 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1401455476 116623 :aloril!~aloril@dsl-tkubrasgw2-54f80b-12.dhcp.inet.fi QUIT :Ping timeout: 252 seconds < 1401456169 993392 :not^v!~notnot^v@2601:4:4500:887:9922:32fb:d3f5:b02 QUIT :Read error: Connection reset by peer < 1401456197 247988 :not^v!~notnot^v@2601:4:4500:887:9922:32fb:d3f5:b02 JOIN :#esoteric < 1401456251 523655 :aloril!~aloril@dsl-tkubrasgw2-54f80b-12.dhcp.inet.fi JOIN :#esoteric < 1401456419 783873 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 240 seconds < 1401457334 242590 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1401459906 880060 :ion!ion@heh.fi PRIVMSG #esoteric :A concrete truck and a concrete truck http://i.imgur.com/80tB0.jpg < 1401459910 98400 :Fjlb!~Kernel@88.214.180.207 JOIN :#esoteric < 1401460143 911065 :Bike!~Glossina@71-222-125-221.ptld.qwest.net PRIVMSG #esoteric :fucked that one up < 1401460158 988476 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :this was more impressive: http://www.independent.co.uk/news/uk/home-news/victoria-line-cement-flooding-fixed-workers-used-sugar-to-stop-spilled-concrete-from-setting-9082206.html < 1401460263 934830 :mihow!~mihow@rrcs-50-75-208-18.nyc.biz.rr.com JOIN :#esoteric < 1401460308 312876 :ion!ion@heh.fi PRIVMSG #esoteric :nice < 1401460774 369646 :tertu!~tertu@143.44.70.199 QUIT :Disconnected by services < 1401460774 465139 :ter2!~tertu@143.44.70.199 JOIN :#esoteric < 1401460912 351146 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1401461124 68924 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Client Quit < 1401461175 500470 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1401461212 14365 :Fjlb!~Kernel@88.214.180.207 QUIT :Ping timeout: 260 seconds < 1401461347 299650 :not^v!~notnot^v@2601:4:4500:887:9922:32fb:d3f5:b02 QUIT :Ping timeout: 240 seconds < 1401461516 298300 :not^v!~notnot^v@2601:4:4500:887:ddaa:9eea:f3a8:f28a JOIN :#esoteric < 1401461668 823084 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: brb < 1401461703 1159 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1401462161 395486 :KingOfKarlsruhe!~stud-heco@unaffiliated/kingofkarlsruhe QUIT :Quit: Leaving. < 1401463507 363279 :not^v!~notnot^v@2601:4:4500:887:ddaa:9eea:f3a8:f28a QUIT :Ping timeout: 240 seconds < 1401464620 141222 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1401465378 469233 :slereah!~slereah@46.218.232.202 QUIT :Quit: Leaving < 1401465805 763392 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Quit: Computer has gone to sleep. < 1401465939 115210 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: Bye < 1401466964 683334 :mihow!~mihow@rrcs-50-75-208-18.nyc.biz.rr.com QUIT :Quit: mihow < 1401467183 517285 :mihow!~mihow@rrcs-50-75-208-18.nyc.biz.rr.com JOIN :#esoteric < 1401467415 713492 :mihow!~mihow@rrcs-50-75-208-18.nyc.biz.rr.com QUIT :Client Quit < 1401467576 868819 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1401467991 516110 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :Someone elsewhere did approximately this: < 1401467996 42609 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :@___@ < 1401467996 193663 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Unknown command, try @list < 1401468006 686417 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :With that particular response. < 1401468045 131793 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm < 1401468053 612461 :Bike!~Glossina@71-222-125-221.ptld.qwest.net PRIVMSG #esoteric :is that unexpected < 1401468066 124003 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :My copy of Parallel and Concurrent Haskell arrived :D < 1401468094 631640 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it's certainly not unexpected as far as lambdabot is concerned. < 1401468096 208366 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :Bike: Not really, I just found it amusing. < 1401468633 170869 :nooodl!~nooodl@36.123-242-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1401469159 387211 :erdic!erdic@unaffiliated/motley QUIT :Remote host closed the connection < 1401469242 121146 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Ping timeout: 255 seconds < 1401470243 64052 :ion!ion@heh.fi PRIVMSG #esoteric :Paraskell < 1401470247 217212 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1401470758 131850 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1401470978 265596 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1401471327 428169 :mihow!~mihow@rrcs-50-75-208-18.nyc.biz.rr.com JOIN :#esoteric < 1401471433 101825 :aloril!~aloril@dsl-tkubrasgw2-54f80b-12.dhcp.inet.fi QUIT :Ping timeout: 258 seconds < 1401471768 573501 :ter2!~tertu@143.44.70.199 NICK :tertu < 1401471870 308192 :not^v!~notnot^v@2601:4:4500:887:39a1:933d:969f:3f4b JOIN :#esoteric < 1401472178 580536 :aloril!~aloril@dsl-tkubrasgw2-54f80b-12.dhcp.inet.fi JOIN :#esoteric < 1401472310 82884 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Quit: Computer has gone to sleep. < 1401472387 694183 :MoALTz!~no@user-46-112-12-140.play-internet.pl JOIN :#esoteric < 1401472453 357115 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: bbl < 1401472620 953178 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1401473050 614272 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Goldfish14]]4 10 02http://esolangs.org/w/index.php?diff=39727&oldid=39650 5* 03GermanyBoy 5* (+1373) 10 < 1401473701 41402 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Goldfish14]]4 10 02http://esolangs.org/w/index.php?diff=39728&oldid=39727 5* 03GermanyBoy 5* (+204) 10 < 1401473755 255567 :not^v!~notnot^v@2601:4:4500:887:39a1:933d:969f:3f4b QUIT :Ping timeout: 240 seconds < 1401474345 158234 :ion!ion@heh.fi PRIVMSG #esoteric :Skip to about 2:00. That voice. http://d396qusza40orc.cloudfront.net/dsp/recoded_videos%2FModule%205_12-h264%20for%20Coursera%20%5B0c477c9c%5D%20.mp4 < 1401474981 292155 :spiette!~spiette@2607:fad8:4:6:f2de:f1ff:fe66:77e5 QUIT :Remote host closed the connection < 1401475298 59112 :tertu!~tertu@143.44.70.199 QUIT :Ping timeout: 252 seconds < 1401475316 150239 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1401475619 658250 :tertu!~tertu@143.44.70.199 JOIN :#esoteric < 1401476077 791806 :drdanmaku!uid17782@gateway/web/irccloud.com/x-qxhjsgcikcqgejvw JOIN :#esoteric < 1401476205 646377 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :ion: interesting talk, now I sort of know what an impulse response is < 1401476215 306806 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :talk? lecture? something < 1401476217 660025 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:GreyKnight14]]4 10 02http://esolangs.org/w/index.php?diff=39729&oldid=8619 5* 03GreyKnight 5* (+110) 10 < 1401476248 768339 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :good morning esotericans < 1401476271 461833 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :goodfternoon < 1401476295 551491 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I slept on and off for about 12 hours < 1401476299 883984 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :nice < 1401476316 336480 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :so is it saturday morning there? < 1401476335 374192 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :friday morning (well, one minute before noon) < 1401476347 489296 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :most places are ahead of the US west coast < 1401476395 892251 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :I can never figure out which direction "ahead of" is when it comes to time zones < 1401476403 714850 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I meant a later time than < 1401476430 275365 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :since we are pretty close to the date line < 1401476439 198234 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :it's "now" everywhere, people just put different numbers on it < 1401476443 508845 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :whoa < 1401476562 842633 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :we're UTC-8, -7 in the summer < 1401476577 751727 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :but not many people live in UTC-9 thru UTC-12 < 1401476581 802088 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :olsner: but relativity says it's impossible to determine what "now" exactly means...!!! < 1401476603 416546 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :just alaska and hawai'i and some other islands < 1401476632 550185 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and afaik nobody has done any silly negative offsets less than 12 < 1401476638 126175 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :like UTC+13 and UTC+14 < 1401476676 915094 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :I might be getting confused because "ahead of" and "before" are the same word in swedish (and e.g. friday morning is before friday evening) < 1401476694 515170 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :quintopia: like, approximately < 1401476767 952669 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :olsner: wut < 1401476782 70958 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :oh, I guess that makes some sense < 1401476931 146486 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :this is like how stacks that grow "up" grow towards smaller addresses B| < 1401476972 893282 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :what, really? that's growing down to me < 1401476994 396502 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :but of course you always add things to the top of the stack even when the top is at the bottom < 1401477036 162118 :Bicyclidine!~Glossina@69.166.35.233 JOIN :#esoteric < 1401477211 161782 :AnotherTest!~turingcom@d51a42986.access.telenet.be JOIN :#esoteric < 1401477554 628013 :Slereah!~jackal@176.222.51.233 JOIN :#esoteric < 1401477639 97357 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Quit: Leaving < 1401477655 692364 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`coins < 1401477657 292980 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​13glanguinecoin 04dupcoin 07tropyrrhotabllaerloidarlycoin 08todcoin 09wikicoin 02exetercugnitecoin 06exandrecoin 13madnanticoin 04matinycoin 07carecoin 08surcoin 09licecoin 02sorcoin 06aarcoin 13datescrcoin 04xorckincoin 07pingcoin 08rhadcoin 09andypacoin 025-logcoin < 1401477711 884577 :not^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1401477758 95570 :Slereah_!~jackal@176.222.51.233 QUIT :Ping timeout: 258 seconds < 1401478128 296677 :erdic!erdic@unaffiliated/motley JOIN :#esoteric < 1401478600 798367 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Quit: Computer has gone to sleep. < 1401478705 913810 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1401479161 374156 :ion!ion@heh.fi PRIVMSG #esoteric :olsner: The whole course has been interesting. https://www.coursera.org/course/dsp < 1401479398 389386 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 240 seconds < 1401479726 925404 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa < 1401479729 415974 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :life is so confusing < 1401479732 659130 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :how does anybody manage < 1401479757 641823 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :fungot: how do you make your way when your way is making you? < 1401479757 698310 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :drugz- no, wait < 1401479757 754583 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :kmc: d has two 100% incompatible stdlibs that you can't do with them < 1401479808 108511 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 252 seconds < 1401480025 465357 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :fungot: are you confusing? < 1401480025 702654 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :olsner: what is how? :) btw, i have, and fnord < 1401480048 886880 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :maybe life seems less confusing now? < 1401480065 571617 :tertu!~tertu@143.44.70.199 QUIT :Ping timeout: 252 seconds < 1401480155 559868 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :not really < 1401480273 15894 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it's vehemently blurry < 1401480317 79626 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :what about life are you making yourself confused about? < 1401480442 902120 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :
ACTION handwaves
< 1401480551 275708 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :kmc: pretty sure nobody manages and we're all just terrified < 1401480862 178912 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :Given a lambda term, can we determine that repeated normal reduction of that term will result in that term? < 1401480878 226508 :Slereah_!~jackal@176.222.51.233 JOIN :#esoteric < 1401480884 578624 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :mcpherrin: I am leaning towards that explanation, yeah < 1401480893 356675 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :Leaving the halting problem to terms that grow unboundedly. < 1401480936 774310 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Bicyclidine: I think a term might grow arbitrarily large before reducing back to the original term < 1401480948 774896 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :mcpherrin: still I am an outlier in more than a few senses :P < 1401480955 591469 :tromp!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :you cannot decide whether a term reduces to itself < 1401480960 686638 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :somebody once told me that in high dimensional space, all points are outliers < 1401481002 318053 :Fodor_!~mortuary@5.29.22.102 QUIT :Quit: Leaving < 1401481011 63621 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :tromp: why not? < 1401481031 682602 :Gracenotes!~person@192.241.203.42 JOIN :#esoteric < 1401481068 155701 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :somebody once told me that in high dimensional space it's pretty hard to know what the hell is happening < 1401481138 878432 :tromp!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :because you can reduce the halting problem to that < 1401481148 776603 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :in high dimensional space nobody can hear you scream < 1401481157 625279 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :How, though? < 1401481179 866724 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :I mean there are plenty of terms w/o normal forms that don't reduce to themselves, or to anything that reduces to itself. < 1401481190 926590 :not^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Quit: http://i.imgur.com/Akc6r.gif < 1401481246 613778 :mcpherri1!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net JOIN :#esoteric < 1401481251 111195 :tromp!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :given a TM M, build a lambda term that will reduce to itself when M is found to halt < 1401481255 567699 :erdic_!erdic@2604:180::6050:fab4 JOIN :#esoteric < 1401481286 287290 :tromp!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :and that grows unboundedly when M doesn't halt < 1401481294 242440 :olsner!~salparot@c83-252-201-82.bredband.comhem.se QUIT :Write error: Connection reset by peer < 1401481295 747096 :erdic!erdic@unaffiliated/motley QUIT :Write error: Broken pipe < 1401481296 705083 :Slereah!~jackal@176.222.51.233 QUIT :Write error: Broken pipe < 1401481299 365191 :Gracenotes_!~person@192.241.203.42 QUIT :Write error: Broken pipe < 1401481302 769996 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net QUIT :Write error: Broken pipe < 1401481310 807897 :olsner!~salparot@c83-252-201-82.bredband.comhem.se JOIN :#esoteric < 1401481344 915602 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :how < 1401481394 86343 :mcpherri1!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net NICK :mcpherrin < 1401481396 211738 :tromp!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :that's straightforward < 1401481458 971080 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :If this was straightforward to me, would I be asking you? < 1401481548 497190 :tromp!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :just let the lambda term simulate M < 1401481582 114621 :tromp!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :and keep track of the number of steps to get a growing component < 1401481815 731063 :erdic_!erdic@2604:180::6050:fab4 QUIT :Changing host < 1401481815 786944 :erdic_!erdic@unaffiliated/motley JOIN :#esoteric < 1401481824 119065 :erdic_!erdic@unaffiliated/motley NICK :erdic < 1401481908 334998 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :i have no idea what that means, apparently < 1401482063 580341 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1401482628 555241 :impomatic!~digital_w@host-231-197-68-109.arq1.ldn.uk.sharedband.net JOIN :#esoteric < 1401482701 532494 :impomatic!~digital_w@host-231-197-68-109.arq1.ldn.uk.sharedband.net PRIVMSG #esoteric :Hi :-) Free hotel wifi! < 1401482765 593634 :mihow!~mihow@rrcs-50-75-208-18.nyc.biz.rr.com QUIT :Quit: mihow < 1401482836 158610 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1401482842 154266 :mihow!~mihow@rrcs-50-75-208-18.nyc.biz.rr.com JOIN :#esoteric < 1401482963 979128 :mihow!~mihow@rrcs-50-75-208-18.nyc.biz.rr.com QUIT :Client Quit < 1401483125 866077 :AnotherTest!~turingcom@d51a42986.access.telenet.be QUIT :Ping timeout: 276 seconds < 1401483217 274386 :Bicyclidine!~Glossina@69.166.35.233 QUIT :Ping timeout: 245 seconds < 1401483222 138107 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone < 1401483805 565091 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Ping timeout: 252 seconds < 1401484724 830811 :impomatic!~digital_w@host-231-197-68-109.arq1.ldn.uk.sharedband.net QUIT :Ping timeout: 276 seconds < 1401485065 211120 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1401485230 426832 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1401485362 522334 :augur_!~augur@pool-71-191-99-239.washdc.east.verizon.net JOIN :#esoteric < 1401485507 874595 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Ping timeout: 240 seconds < 1401485518 257340 :augur!~augur@pool-71-191-99-239.washdc.east.verizon.net JOIN :#esoteric < 1401485586 168883 :augur_!~augur@pool-71-191-99-239.washdc.east.verizon.net QUIT :Read error: Connection reset by peer < 1401485893 213842 :augur!~augur@pool-71-191-99-239.washdc.east.verizon.net QUIT :Ping timeout: 245 seconds < 1401486135 250576 :tertu!~tertu@143.44.70.199 JOIN :#esoteric < 1401486148 394734 :rottytooth!~rottytoot@static-71-183-108-23.nycmny.fios.verizon.net JOIN :#esoteric < 1401486215 107318 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1401486678 777430 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@_@ < 1401486685 225792 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@__@ < 1401486688 621027 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@___@ < 1401486688 786754 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Unknown command, try @list < 1401486757 160718 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : My copy of Parallel and Concurrent Haskell arrived :D <-- you should have ordered two to check for race conditions hth < 1401486781 51423 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :http://achewood.com/index.php?date=03042004 < 1401486878 987874 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat. < 1401487138 335650 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: brb < 1401487247 581946 :ion!ion@heh.fi PRIVMSG #esoteric :>middle-endian datestamp < 1401487280 753521 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :>not using ISO 8601 < 1401487294 346213 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : kmc: pretty sure nobody manages and we're all just terrified <-- HEY YOU BEAT ME TO THE JOKE < 1401487319 149306 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it's an old joke. < 1401487320 804920 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :not hard when you're several hours ahead (hi olsner), but still < 1401487339 605158 :ion!ion@heh.fi PRIVMSG #esoteric :holsner < 1401487344 210277 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :mcpherrin is in the same timezone as me < 1401487352 557189 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :whee time zones < 1401487355 317118 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kmc: i mean in the logs hth < 1401487550 729545 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : i have no idea what that means, apparently <-- hint, lambda calculus is turing complete, so you can simulate anything with it. < 1401487586 488441 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1401487589 650292 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :including an annotated interpreter of lambda calculus < 1401487760 764015 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: ^ < 1401487773 462502 :mhi^!~mhi@unaffiliated/mhi/x-9993184 QUIT :Quit: Lost terminal < 1401488193 681993 :mhi^!~mhi@unaffiliated/mhi/x-9993184 JOIN :#esoteric < 1401488233 389770 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1401488233 485622 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1401488263 15962 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1401488371 269276 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1401488483 111153 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1401488940 737884 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, :) < 1401488951 463531 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 255 seconds < 1401489154 302829 :ter2!~tertu@143.44.70.199 JOIN :#esoteric < 1401489154 497564 :tertu!~tertu@143.44.70.199 QUIT :Disconnected by services < 1401489164 912887 :madbr!boulam@69-165-212-148.cable.teksavvy.com JOIN :#esoteric < 1401489188 568048 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :hi < 1401489236 474335 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Hi, madbr < 1401489384 302858 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Odd question, but anyone know which (if any) image formats respond interestingly to random bit-flipping? < 1401489400 778399 :ion!ion@heh.fi PRIVMSG #esoteric :All of them? :-P < 1401489406 613794 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :Taneb: what do you mean by "interestingly" < 1401489414 769184 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :mcpherrin, pretty corruption < 1401489429 931286 :ion!ion@heh.fi PRIVMSG #esoteric :as opposed to that of our politicians < 1401489440 612740 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yog sothoth showing up, that sort of thing < 1401489451 767452 :ion!ion@heh.fi PRIVMSG #esoteric :and/or yogi bear < 1401489467 963177 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :I think jpeg2000 might be fun < 1401489498 501217 :tertu3!~tertu@143.44.70.199 JOIN :#esoteric < 1401489518 610775 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :video formats where the random reverse-DCT'd data will move around interestingly with motion vectors? < 1401489568 163955 :ion!ion@heh.fi PRIVMSG #esoteric :FSM? http://en.m.wikipedia.org/wiki/File:Yog-Sothoth.jpg < 1401489607 885251 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :On that note, played Arkham Horror today. It did not go well. < 1401489610 515872 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :there's also the LZ* kind of encodings like gif or png which might have some intersting behavior < 1401489627 33597 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :yeah gif is kinda fun, especially if the flips occur early < 1401489669 871167 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :jpg might do some interesting stuff too thanks to its crazy zig zag pattern < 1401489690 387772 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :I think the best thing to do here is to test < 1401489701 226358 :ter2!~tertu@143.44.70.199 QUIT :Ping timeout: 264 seconds < 1401489713 982554 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :take, say, random imgur images, convert to a handful of image formats, and flip random bits! < 1401489722 957278 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :delete runs of bits, etc < 1401489825 244905 :ter2!~tertu@143.44.70.199 JOIN :#esoteric < 1401489835 325471 :Sorella!~queen@oftn/member/Sorella JOIN :#esoteric < 1401489906 311617 :ion!ion@heh.fi PRIVMSG #esoteric :madbr: I see you already deleted some bits from jpeg. ;-) < 1401489997 476259 :madbr!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :haven't tried it < 1401490042 614146 :tertu3!~tertu@143.44.70.199 QUIT :Ping timeout: 265 seconds < 1401490141 546802 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ion: i think confusing Yog-Sothoth with the FSM is a rather dangerous mistake hth < 1401490180 573714 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that is, unless the FSM is really Yog-Sothoth in (really bad) disguise. in which case we're all hosed anyway. < 1401490870 479458 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net JOIN :#esoteric < 1401490877 685142 :tertu3!~tertu@143.44.70.199 JOIN :#esoteric < 1401491069 259588 :ter2!~tertu@143.44.70.199 QUIT :Ping timeout: 264 seconds < 1401491194 93868 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1401491421 730610 :Bicyclidine!~Glossina@137.53.249.130 JOIN :#esoteric < 1401491743 552037 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :fungot: what do you usually do on a Friday night? < 1401491743 927779 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: i think i might get continuations, < 1401491759 684712 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :fungot: continuing what? < 1401491760 290574 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: pythons whitespace thingie makes it hard to get below the third element without dropping something < 1401491772 949113 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :fungot: ah. continuing whitespace. very zen. < 1401491773 174201 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: don't forget " integrate into the operating system < 1401491784 483867 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :fungot: I shall quote you on that. < 1401491785 32668 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: ( 1 ( values 1 2 3)) ( state-5))? i suspect so! :o) < 1401491807 231949 :augur!~augur@pool-71-191-99-239.washdc.east.verizon.net JOIN :#esoteric < 1401492078 375687 :Bike!~Glossina@71-222-125-221.ptld.qwest.net QUIT :Ping timeout: 240 seconds < 1401492206 863669 :Bike!~Glossina@71-222-57-171.ptld.qwest.net JOIN :#esoteric < 1401492291 58387 :ter2!~tertu@143.44.70.199 JOIN :#esoteric < 1401492371 858236 :Sorella!~queen@oftn/member/Sorella QUIT :Quit: It is tiem! < 1401492376 702556 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1401492467 740873 :tertu3!~tertu@143.44.70.199 QUIT :Ping timeout: 240 seconds < 1401493038 826320 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1401493186 230947 :tertu3!~tertu@143.44.70.199 JOIN :#esoteric < 1401493289 512482 :kallisti_!~adam@h215.185.18.98.dynamic.ip.windstream.net JOIN :#esoteric < 1401493338 50963 :ter2!~tertu@143.44.70.199 QUIT :Ping timeout: 252 seconds < 1401493499 846734 :kallisti!~adam@h174.133.141.67.dynamic.ip.windstream.net QUIT :Ping timeout: 276 seconds < 1401493760 221106 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(.) :: forall a c. (exists b. (b -> c, a -> b)) -> (a -> c) < 1401493814 580701 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :now that's just crazy talk < 1401493886 549251 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :shachaf, having a tuple in that type threw me for a minute < 1401493992 812975 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's just, like, coyoneda < 1401494011 195701 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(exists x. (f x, x -> a)) and all that < 1401494163 93338 :metasepia!~metasepia@96.127.201.149 JOIN :#esoteric < 1401494163 912890 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :~duck coyoneda < 1401494164 134511 :metasepia!~metasepia@96.127.201.149 PRIVMSG #esoteric :--- No relevant information < 1401494193 382677 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :~metar ENVA < 1401494193 750604 :metasepia!~metasepia@96.127.201.149 PRIVMSG #esoteric :ENVA 302350Z 34006KT 9999 FEW019 BKN032 09/06 Q1020 RMK WIND 670FT 32010KT < 1401494199 843392 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*brrr* < 1401494202 848997 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :~metar CYUL < 1401494203 194677 :metasepia!~metasepia@96.127.201.149 PRIVMSG #esoteric :CYUL 302300Z 03013G20KT 30SM BKN090 21/06 A3007 RMK AC5 TCU ASOCTD SLP181 DENSITY ALT 600FT < 1401494210 247234 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :^^ < 1401494226 149600 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :boily: coyoneda f a = (exists x. (f x, x -> a)) hth < 1401494242 65551 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :tdnh. < 1401494252 655195 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :I suck at foralls and exists in type signatures. < 1401494257 594170 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you evil scoundrel canadians stealing our weather just because you have daylight < 1401494295 788117 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :boily: it's just functions and tuples hth < 1401494302 622635 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :oerjan: we're having nice weather, with blossoming trees, blue skies, nice bike lanes. < 1401494302 700394 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :admittedly the wether forecast wasn't much better for the daytime < 1401494328 280768 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :shachaf: still. the foralls disturb my chakras and imbalance my humours. < 1401494387 939666 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well what should we expect anyway, after all ENVA is the weather of hell