< 1400025600 455479 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :> length $ fix $ take 0 < 1400025602 975837 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 0 < 1400025626 42096 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :That is great < 1400025663 195988 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: fix always gives the least fixed point. < 1400025801 359382 :tertu!~tertu@143.44.70.199 JOIN :#esoteric < 1400025802 983315 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's the official haskell report definition of what recursion does. < 1400025849 923652 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :> take 0 undefined < 1400025851 296730 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [] < 1400025854 967480 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :oh. < 1400025915 504874 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :the only thing below [] is ⊥, and that isn't a fixed point of (take 0) < 1400026051 488315 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :> fix (1*) < 1400026055 270006 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1400026075 981834 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :kmc: yeah, i thought take 0 was strict. < 1400026094 71642 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :> take 1 (5:undefined) < 1400026095 498148 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [5] < 1400026118 943853 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :hmm < 1400026126 308138 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :> take 1 (undefined:undefined) < 1400026127 725003 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [*Exception: Prelude.undefined < 1400026147 526611 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Is that [undefined] except for failure to show properly? < 1400026164 47130 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :well le't see < 1400026171 600803 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :> length take 1 (undefined:undefined) < 1400026172 833745 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match expected type ‘a2 -> [a3] -> t’ < 1400026172 980973 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : with actual type ‘GHC.Types.Int’Couldn't match expected type ‘[a0]’ < 1400026172 981052 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : with actual type ‘GHC.Types.Int -> [a1] -> [a1]’ < 1400026176 450535 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :> length $ take 1 (undefined:undefined) < 1400026178 894588 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1 < 1400026182 615761 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :yep < 1400026183 681742 :Sorella!~queen@oftn/member/Sorella JOIN :#esoteric < 1400026213 20901 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> undefined :: [()] < 1400026214 242649 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : *Exception: Prelude.undefined < 1400026232 233794 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :> length (undefined :: [()]) < 1400026233 491491 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : *Exception: Prelude.undefined < 1400026243 661653 :ter2!~tertu@143.44.70.199 JOIN :#esoteric < 1400026243 822429 :tertu!~tertu@143.44.70.199 QUIT :Disconnected by services < 1400026282 462179 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's a general rule that f undefined = undefined iff fix f = undefined < 1400026333 86702 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, fix f is the limit of iterate f undefined < 1400026355 456319 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Am I a traitor to Magic if I try Hearthstone? < 1400026355 739399 :tertu!~tertu@143.44.70.199 JOIN :#esoteric < 1400026355 886945 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Is it possible to prove the first statement < 1400026360 269892 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :yes < 1400026388 157109 :tertu!~tertu@143.44.70.199 QUIT :Client Quit < 1400026414 489792 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :first, if f undefined = undefined then clearly undefined is the least fixpoint, so fix f = undefined < 1400026424 974386 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :the yes was about traitors < 1400026429 26290 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :death to traitors < 1400026477 563407 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if f undefined is _not_ undefined, then undefined is not a fixpoint of f at all, so fix f is not undefined. < 1400026506 61980 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well fix f is not = undefined. < 1400026538 917685 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that fix f is actually defined as anything requires using CPO to prove there's always a least fixpoint. < 1400026558 434947 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :boring < 1400026598 401080 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and that probably involves using that limit of iterate f undefined as a lemma. < 1400026611 94907 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION is a bit vague on that part. < 1400026614 161793 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Quit: Textual IRC Client: www.textualapp.com < 1400026684 366695 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1400027102 91056 :tromp!~tromp@ool-4570a006.dyn.optonline.net QUIT :Remote host closed the connection < 1400027141 877900 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1400027408 154395 :shikhout!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1400027573 218580 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 245 seconds < 1400027836 420952 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1400028026 696814 :nooodl!~nooodl@165.101-242-81.adsl-dyn.isp.belgacom.be QUIT :Ping timeout: 252 seconds < 1400028173 310106 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Ping timeout: 264 seconds < 1400028816 917786 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :fungot: Are you happier now that the gods are dying? Or do you dream of Heston with omniscient beard? < 1400028817 80761 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :kmc: 1 egobot: daemon egobot reload a file for os x? i'm trying to < 1400028896 490428 :tromp!~tromp@ool-4570a006.dyn.optonline.net JOIN :#esoteric < 1400029015 6130 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :fungot dreams of Dæmon Egobot, Lord of the Tenth Circle of Bothell. < 1400029015 367862 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: hello lord_rob, how is the work of a tortured mind making a single last grasp for a semblance of comforting sanity overlaid upon a fundamentally chaotic at ultimately inimical universe. < 1400029070 952122 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^style < 1400029071 99371 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube < 1400029081 24602 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :oh, plenty of new styles! < 1400029091 397020 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: stop that, you're ruining boily's sanity project < 1400029091 544246 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :oerjan: only 4 years?!" < 1400029101 33595 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :oh I should ask my information theory question here < 1400029123 293532 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :Four Years of Sanity. < 1400029133 694788 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :if you have an accurate model of the noise in a signal, can you insert encrypted messages into that signal in a way that's indistinguishable from more noise if you don't know the key? < 1400029147 443901 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I think you can and that it would be kind of like spread spectrum CDMA, but I'm not sure < 1400029196 419719 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :I would expect so, but can't really justify it < 1400029198 547105 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I was thinking about hiding data in digital TV transmissions by corrupting MPEG blocks in a way that looks like ordinary broadcast noise < 1400029214 974147 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :so, stenography? < 1400029219 270091 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :steganography < 1400029222 762352 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :of course you can. we had a practical exam question once where we had to extract a signal from a post-modern waveform. < 1400029224 719877 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :right < 1400029226 398722 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :i hate that word < 1400029249 93008 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :you can definitely insert an "encrypted carrier" by modeling the noise process using, say, a stream cipher as your RNG < 1400029263 406866 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and the receiver can sync to it by looking for correlations < 1400029264 9568 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :^style oots < 1400029264 157406 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Selected style: oots (Order Of The Stick) < 1400029268 740230 :boily!~boily@96.127.201.149 QUIT :Quit: MATERIAL CHICKEN < 1400029270 251994 :metasepia!~metasepia@96.127.201.149 QUIT :Remote host closed the connection < 1400029296 445051 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I'm not sure how best to modulate that carrier without changing its statistical properties < 1400029304 777990 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :fungot: I like airships < 1400029305 79932 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Sgeo: a good way, and our little dog, too! neat, having dinner together, and i know that, i'm the most badass halfling ever! in the name of, " it's alive and well, as theological revelations the oracle that. we visited ' im. or ' er, much like this go board and replace it with my little eye... something that the target " hates, fears, or otherwise, there wouldn't that be so lucky. tha way lies madness. < 1400029307 264069 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :but you could at least do simple on-off-keying (where "off" = uncorrelated noise) < 1400029442 18526 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :http://www.arl.army.mil/arlreports/2001/ARL-TR-2433.pdf looks relevant < 1400029450 416952 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :the magic search phrase was "spread spectrum steganography" < 1400029813 404783 :Bike_!~Glossina@71-222-127-182.ptld.qwest.net JOIN :#esoteric < 1400029889 984761 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :anyway I think this should work with any noise you can model accurately < 1400029901 49726 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :hiding messages in markov chain output would be an example < 1400029915 5443 :Bike!~Glossina@67-5-207-17.ptld.qwest.net QUIT :Ping timeout: 276 seconds < 1400029919 897379 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Hmm, I know the guy who makes King James Programming... < 1400029926 12691 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Should I put him touch with MI6? < 1400029935 24293 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric ::D < 1400029970 9825 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and I think that under standard cryptographic assumptions it would be impossible to detect these signals without knowing the key < 1400029975 96993 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :Taneb, the losethos OS thing? < 1400029980 41547 :Bike!~Glossina@75-164-160-167.ptld.qwest.net JOIN :#esoteric < 1400030004 16629 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :fowl, no, that's unrelated < 1400030025 779001 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :Taneb, some other christian fundamentalist is programming? < 1400030042 322434 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :fowl, no, it's Markov chain output < 1400030042 785858 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :http://kingjamesprogramming.tumblr.com/ < 1400030054 949791 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Seeded with KJV and SICP < 1400030057 683703 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :oh < 1400030070 930460 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :ive seen this before < 1400030089 392987 :Bike_!~Glossina@71-222-127-182.ptld.qwest.net QUIT :Ping timeout: 252 seconds < 1400030148 527886 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :"Thy people shall be my people, and Assyria the work of those who contributed to making this a real book, especially Terry Ehling" < 1400030199 702598 :Sprocklem!~sprocklem@unaffiliated/sprocklem PRIVMSG #esoteric :lol < 1400030229 996056 :Sprocklem!~sprocklem@unaffiliated/sprocklem PRIVMSG #esoteric :"you must, at no additional cost, fee or expense to the user, provide a copy, a means of abstraction — that binds a collection of procedures, or a package, and interfaces these to the rest of the acts of Azariah" < 1400030302 593561 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :The garbage collector uses the low-level predicate pointer-to-pair? instead of the list-structure pair? operation because in a real system there might be various things that are in the mountain of Zion < 1400030340 251929 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :haha "Peace and safety; then sudden destruction cometh upon them, as in the metacircular evaluator described in section 5.4.2" < 1400030340 398696 :Sprocklem!~sprocklem@unaffiliated/sprocklem PRIVMSG #esoteric :"The following random-in-range procedure implements this strategy recursively, walking down the list of names of blasphemy" < 1400030373 726989 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Oh yes! Remembered something I was going to ask. < 1400030389 683959 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Does anyone know of a dependent type system which included database queries? < 1400030422 293654 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net NICK :\o_yay < 1400030516 583652 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: gnite < 1400030536 713085 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Eg "foo : (x : String & age of all records in table 1 with name x < 4)" < 1400031210 662117 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Although this ends up awkward in the presence of database mutation (which is somewhat necessary) < 1400031253 819834 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Doesn't Datomic ... somehow incorporate time into things? I remember it was too proprietary for me to want to look too closely < 1400031276 372443 :Bike!~Glossina@75-164-160-167.ptld.qwest.net PRIVMSG #esoteric :Taneb: psh just return a fresh db < 1400031285 437702 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :And then re-typecheck everything! < 1400031299 303538 :Bike!~Glossina@75-164-160-167.ptld.qwest.net PRIVMSG #esoteric :damn right. < 1400031384 61225 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Anyway, goodnight < 1400032351 351562 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Quit: Leaving < 1400036117 17873 :Sorella!~queen@oftn/member/Sorella QUIT :Quit: It is tiem! < 1400036176 419177 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1400036224 628332 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Remote host closed the connection < 1400036289 426323 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1400036323 396282 :ter2!~tertu@143.44.70.199 NICK :tertu < 1400036449 489703 :shikhout!~shikhin@unaffiliated/shikhin NICK :shikhin < 1400036484 374137 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Quit: Lost terminal < 1400037676 661199 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1400040341 432679 :tromp!~tromp@ool-4570a006.dyn.optonline.net QUIT :Ping timeout: 264 seconds < 1400043376 253692 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1400043510 550364 :MoALTz__!~no@user-164-126-252-188.play-internet.pl JOIN :#esoteric < 1400043685 332786 :MoALTz_!~no@user-164-126-252-188.play-internet.pl QUIT :Ping timeout: 258 seconds < 1400043731 444789 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: Sleeping < 1400044169 219228 :password2!~password@197.78.182.14 JOIN :#esoteric < 1400044672 479250 :atslash!~atslash@46.72.95.117 JOIN :#esoteric < 1400044830 46606 :atslash!~atslash@46.72.95.117 QUIT :Client Quit < 1400045387 345380 :hk3380!~test@natvip29.york.ac.uk QUIT :Ping timeout: 258 seconds < 1400045758 65318 :\o_yay!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Quit: http://i.imgur.com/Akc6r.gif < 1400045779 716812 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1400047964 770457 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep < 1400048232 921312 :MoALTz__!~no@user-164-126-252-188.play-internet.pl QUIT :Quit: bbl < 1400048361 873742 :Bike!~Glossina@75-164-160-167.ptld.qwest.net QUIT :Ping timeout: 276 seconds < 1400048885 75812 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Quit: http://i.imgur.com/Akc6r.gif < 1400048959 111211 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Read error: Connection reset by peer < 1400048968 904028 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1400049329 230713 :password2!~password@197.78.182.14 QUIT :Remote host closed the connection < 1400049411 455952 :hk3380!~test@90.214.229.65 JOIN :#esoteric < 1400049567 351633 :password2!~password@197.78.182.14 JOIN :#esoteric < 1400049683 924522 :drdanmaku!uid17782@gateway/web/irccloud.com/x-brdgkitthkuhcejw QUIT :Quit: Connection closed for inactivity < 1400049750 490388 :mtve!~mtve@10130.x.rootbsd.net JOIN :#esoteric < 1400050325 36200 :password2!~password@197.78.182.14 QUIT :Remote host closed the connection < 1400050376 863714 :password2!~password@197.78.182.14 JOIN :#esoteric < 1400051984 587082 :tertu!~tertu@143.44.70.199 QUIT :Ping timeout: 255 seconds < 1400052144 847700 :password2!~password@197.78.182.14 QUIT :Ping timeout: 276 seconds < 1400053253 602271 :slereah!~slereah@46.218.232.202 JOIN :#esoteric < 1400053255 411681 :hk3380!~test@90.214.229.65 QUIT :Ping timeout: 252 seconds < 1400055519 656554 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1400055947 853318 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1400055965 873800 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :are there esoteric cryptosystems < 1400056079 536150 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :Tattooing your data on the head of a slave < 1400056149 740312 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :No, only unbreakable 256-bit military grade ones < 1400056187 977648 :slereah!~slereah@46.218.232.202 PART #esoteric :"Leaving" < 1400056213 577839 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :(invented independently, of course, not by a military) < 1400057365 643287 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1400057365 830916 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1400057526 797482 :Slereah_!~jackal@176.222.51.233 QUIT :Ping timeout: 276 seconds < 1400057565 251038 :Slereah_!~jackal@176.222.51.233 JOIN :#esoteric < 1400058394 799291 :pdxleif!~pdxleif@ec2-50-112-124-255.us-west-2.compute.amazonaws.com QUIT :Ping timeout: 240 seconds < 1400058572 913811 :pdxleif!~pdxleif@ec2-50-112-124-255.us-west-2.compute.amazonaws.com JOIN :#esoteric < 1400059642 498699 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1400061778 251916 :Slereah_!~jackal@176.222.51.233 QUIT :Ping timeout: 240 seconds < 1400061813 249767 :Slereah_!~jackal@176.222.51.233 JOIN :#esoteric < 1400062077 437523 :nucular!~MOO@p4FF91FD4.dip0.t-ipconnect.de JOIN :#esoteric < 1400062077 584775 :nucular!~MOO@p4FF91FD4.dip0.t-ipconnect.de QUIT :Changing host < 1400062077 584837 :nucular!~MOO@unaffiliated/nucular JOIN :#esoteric < 1400062590 575060 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1400062775 642538 :slereah!~slereah@46.218.232.202 JOIN :#esoteric < 1400062777 772568 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :Hello < 1400062797 662709 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Hi, slereah < 1400062958 758477 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :Bleh, the worst error < 1400062966 313657 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :The one that only happens for huge amounts of data < 1400063046 863989 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :ahhhhhh ErrorTooMuchData < 1400063132 105892 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :I know! < 1400063148 139767 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :Its just a quicksort :( < 1400063162 300764 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :But it gives up on some 200.000 array < 1400063455 904010 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :Hm, what to do < 1400063460 981052 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :I fear using Valgrind < 1400063528 365787 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :is there any way that you can use less data? < 1400063539 278797 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :Well I still have to treat them < 1400063559 530890 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :I guess I'll launch Valgrind and go to lunch < 1400063624 40411 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :execvp("sort" < 1400063646 617815 :Patashu!Nikolaos@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1400063686 117500 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1400063706 600575 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 240 seconds < 1400063908 773277 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric ::-o < 1400063964 282128 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Jafet: good plan. i recall calling out to sort speeded up something i did a _lot_, once. (i don't recall what i was doing, though.) < 1400063980 95664 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's very good at sorting, after all. < 1400064003 790175 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(i assume it was gnu sort) < 1400064044 492050 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :It's not very good at being readable, however < 1400064059 599746 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Behold the blob http://git.savannah.gnu.org/gitweb/?p=coreutils.git;a=blob;f=src/sort.c < 1400064362 582570 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm, i think i was sorting a huge file that didn't fit into memory. < 1400064703 250183 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1400064703 437669 :Patashu!Nikolaos@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1400065317 779784 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :200k doesn't sound like much < 1400065359 555821 :jhj1!jhj@2600:3c00::f03c:91ff:feae:3efa QUIT :Ping timeout: 265 seconds < 1400065434 605871 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :"NapalmV sends this news from the BBC: "The European Union Court of Justice said links to 'irrelevant' and outdated data should be erased on request. The case was brought by a Spanish man who complained that an auction notice of his repossessed home on Google's search results infringed his privacy. Google said the ruling was 'disappointing.'" < 1400065440 324407 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :"disappointing"? < 1400065482 436302 :nooodl!~nooodl@165.101-242-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1400065537 128921 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it's a legal right to have wrong data or outdated data removed or corrected < 1400065546 897511 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :in most EU countries at least < 1400065555 798103 :boily!~boily@96.127.201.149 QUIT :Quit: ¨¨¨¨¨¨¨¨ < 1400065555 946934 :jhj1!jhj@2600:3c00::f03c:91ff:feae:3efa JOIN :#esoteric < 1400065607 461743 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :theoretically... google isn't even allowed to collect information about me without asking me for permisison to do so < 1400065624 227420 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(if google was bound by swiss laws) < 1400065635 99911 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes but it hurts the business model of doing things without a huge human staff. < 1400065646 163906 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mroman_: you realize that would have killed the internet, right? < 1400065695 105144 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :search engines would have been _impossible_ to invent if it required positive action from those indexed. < 1400065723 538125 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I don't quiet agree with that. < 1400065743 613928 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :webmasters could've registered their website for being indexed < 1400065749 355925 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*websites < 1400065783 36030 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and besides < 1400065790 423103 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :they could still index webpages without your permission < 1400065801 508158 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :because what you publish on your websites is usually considered "public" < 1400065833 697869 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :what's really illegal is to put all the informtion pieces together to make statements about an individual person < 1400065836 513622 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well duh. < 1400065880 294126 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, this is why robots.txt was invented. he should have been going after the website which publicized him, not google... < 1400065901 504047 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yeah < 1400065919 491365 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but the law shouldn't work like that "unless you say no I'm just gonna do some illegal stuff" < 1400065935 507248 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :at least not for privacy < 1400065940 931264 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that beats the whole point of privacy imo < 1400065990 595252 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes but for historical reasons search engines _had_ to assume the absense of robots.txt meant consent. < 1400065992 323582 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :theoretically google has to inform me once they received data about me from a third party < 1400066004 20736 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :i.e. if someone else said something on some website about me < 1400066019 248357 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and google indexed it and analyzed it "deeper" they would have to call me about that ;) < 1400066028 298840 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Read error: Connection reset by peer < 1400066037 602306 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes, theoretically it's impossible to do anything useful without breaking a law hth < 1400066049 992056 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :however, sending information about my person to foreign countries is actually illegal too < 1400066053 314958 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :unless you have more lawyers than customers. < 1400066063 620556 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so if somebody says something about me on facebook that's already very problematic < 1400066067 185381 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1400066069 277708 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :If someone reads something about you anywhere, they are legally obliged to tell you? < 1400066096 205371 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Jafet: depends on what they read and what they do with the information < 1400066097 744919 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :p. good law < 1400066110 219230 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Jafet, i read that u suck < 1400066115 341380 :AnotherTest!~turingcom@d51A42986.access.telenet.be JOIN :#esoteric < 1400066174 468466 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Jafet: It is a good law < 1400066183 721017 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :otherwise you could say "Well, I didn't collect that information myself" < 1400066184 786527 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Taneb: thank you for fulfilling your legal obligation under swiss law < 1400066190 765072 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mroman_: so what you're saying is that an actually plausible working internet without having more than the population of earth employed to check everything is illegal in switzerland. gotcha. < 1400066191 868632 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and you'd be safe from legal consequences < 1400066229 242094 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oerjan: I don't know what your definition of "plausible working internet" is < 1400066235 412993 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :The internet still works without social media < 1400066293 647775 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :You are not allowed to make a profile of a person with data you collected from third parties < 1400066304 559725 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that doesn't mean social medias are doomed to not exist < 1400066316 561219 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it just means that they are not allowed to analyze what people write < 1400066330 886248 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :No, you are not allowed to. Other people are, because they are not swiss. < 1400066332 458333 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :if they just "store" the information they are not creating a profile of my person < 1400066358 62294 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and < 1400066411 291851 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it still be possible to have social medias and stuff < 1400066448 701950 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :they might not be free anymore, because they can't make money by shitting on privacy < 1400066473 543598 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so they probably have to earn money differently < 1400066482 166924 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm < 1400066484 370137 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :No, people will not use them and will use the ones that charge no money and shit on privacy. < 1400066496 569858 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Especially your privacy. < 1400066523 121158 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Jafet: probably < 1400066601 78369 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It's just that I don't really get people complaining about privacy < 1400066625 62741 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :they complain about it but they still use the free social medias that don't conform to local laws < 1400066652 836957 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1400066655 476120 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it's not the case that it's impossible to have such social medias, it's just that nobody really actually wants them < 1400066690 842096 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :this conversation was a bad idea. < 1400066699 151874 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I don't really expect anything different from a continent that created browserchoice.eu < 1400066700 206381 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :now i'm all grumpy. < 1400066706 250758 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oerjan: why? < 1400066713 558354 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Did I make you angry? < 1400066724 998804 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :slightly. < 1400066731 23308 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :how so? < 1400066770 70492 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :because you reminded me that the world sucks, hth < 1400066780 151571 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :o_O < 1400066858 757559 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also because headache. < 1400066941 839300 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I should probably read about privacy laws in the US :) < 1400066987 806366 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Don't worry, it won't take that much time. < 1400067049 793016 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :XD < 1400067082 21243 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :"public disclosure of private facts" < 1400067398 782218 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :is there an official website that documents/publishes laws in the US? < 1400068952 94251 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1400069173 57272 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1400069703 29389 :monotone!~monotone@room208.org QUIT :Quit: kernel updates < 1400069941 433730 :monotone!~monotone@room208.org JOIN :#esoteric < 1400070825 775606 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 276 seconds < 1400070906 452496 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1400070957 182698 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :You know < 1400070966 307956 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :I wonder how bad gotos really are < 1400070977 414646 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :I think they get a lot of bad rep because of spaghetti code < 1400070980 937715 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://sprunge.us/FaUX man, freenode operators must've done something very personal to this person. < 1400070992 95771 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :But I think people are just afraid to use it nowadays < 1400071016 143992 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :Apparently not enough to use the word FUCK < 1400071030 205763 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :His mama raised him right! < 1400071135 576087 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Perhaps it's a case of steganography, and all the numbers encode a hidden message. < 1400071166 974730 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :659 F{}CK YOU!!! < 1400071171 446235 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :That is a lot of fuck you < 1400071244 770638 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :slereah: "GOTO considered harmful" considered harmful < 1400071420 844673 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :CPS is good. < 1400071431 600965 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07One14]]4 10 02http://esolangs.org/w/index.php?diff=39515&oldid=39514 5* 03Oerjan 5* (+30) 10fmt, sp < 1400071825 303962 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :Is there a general channel for like < 1400071828 483038 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :Algorithm questions < 1400071830 737062 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :I am wondery < 1400071843 212576 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :I always have a bunch < 1400071915 822955 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:Rand.Next()14]]4 10 02http://esolangs.org/w/index.php?diff=39516&oldid=39508 5* 03Oerjan 5* (+347) 10unsigned, and No. < 1400071992 568491 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :apparently there's a ##algorithms < 1400072034 791116 :AnotherTest!~turingcom@d51A42986.access.telenet.be QUIT :Ping timeout: 276 seconds < 1400072040 372755 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :with one # even (surprisingly) < 1400072062 781777 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :must mean knuth owns it. < 1400072160 170181 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :Thanks < 1400073604 918633 :hk3380!~test@90.214.229.65 JOIN :#esoteric < 1400074348 441686 :drdanmaku!uid17782@gateway/web/irccloud.com/x-lustouptuhsxedyh JOIN :#esoteric < 1400074408 503076 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :oerjan: isn't the Perl implementation of CHIQRSX9+ also not Turing-complete by the same reasoning? < 1400074468 801866 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1400074848 358081 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :FireFly: indeed. that's part of its purpose. < 1400074888 52984 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in fact i considered linking to that < 1400074999 373806 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION notes that he didn't add that article, and his only edit is to adjust the url. < 1400075037 839223 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*a url < 1400075139 942341 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in fact the article was added before i joined the wiki. < 1400075298 250073 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 240 seconds < 1400075564 711429 :tertu!~tertu@143.44.70.199 JOIN :#esoteric < 1400076802 438296 :Bike!~Glossina@75-164-160-167.ptld.qwest.net JOIN :#esoteric < 1400077012 959979 :edwardk_!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1400077213 123902 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1400077221 786280 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Ping timeout: 276 seconds < 1400077320 696462 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1400078483 785566 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1400079862 463705 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1400080733 426520 :Bike!~Glossina@75-164-160-167.ptld.qwest.net QUIT :Ping timeout: 264 seconds < 1400081218 250668 :Slereah_!~jackal@176.222.51.233 QUIT :Ping timeout: 240 seconds < 1400081553 700800 :Slereah_!~jackal@176.222.51.233 JOIN :#esoteric < 1400081952 622009 :password2!~password@197.78.182.14 JOIN :#esoteric < 1400082428 139563 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :alright < 1400082435 921650 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :now I just need to bind type vars to specific types < 1400082747 549862 :Bike!~Glossina@69.166.35.237 JOIN :#esoteric < 1400082983 731529 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yay \o/ :) < 1400082984 15515 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69      | < 1400082984 200150 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69     /| < 1400083049 996631 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Implementing a type system is easier than I thought < 1400083123 770781 :slereah!~slereah@46.218.232.202 QUIT :Quit: Leaving < 1400083532 730278 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1400083653 150477 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :At least for static typed stack stuff < 1400083661 626129 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :with a C like type-system < 1400083952 752181 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Quit: http://i.imgur.com/Akc6r.gif < 1400084253 418557 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 252 seconds < 1400084561 690247 :nucular_!~MOO@p4FC7E9DA.dip0.t-ipconnect.de JOIN :#esoteric < 1400084634 519921 :Bike!~Glossina@69.166.35.237 QUIT :Ping timeout: 240 seconds < 1400084781 394011 :nucular!~MOO@unaffiliated/nucular QUIT :Ping timeout: 252 seconds < 1400084909 92982 :nucular_!~MOO@p4FC7E9DA.dip0.t-ipconnect.de NICK :nucular < 1400084923 91958 :nucular!~MOO@p4FC7E9DA.dip0.t-ipconnect.de QUIT :Changing host < 1400084923 240664 :nucular!~MOO@unaffiliated/nucular JOIN :#esoteric < 1400085233 338349 :TodPunk!Tod@50-198-177-186-static.hfc.comcastbusiness.net QUIT :Ping timeout: 264 seconds < 1400086220 355111 :Bike!~Glossina@69.166.35.237 JOIN :#esoteric < 1400086493 337322 :Bike!~Glossina@69.166.35.237 QUIT :Ping timeout: 264 seconds < 1400086608 696759 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Remote host closed the connection < 1400086626 407917 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1400086629 421447 :hk3380!~test@90.214.229.65 QUIT :Ping timeout: 252 seconds < 1400086923 168509 :TodPunk!Tod@50-198-177-186-static.hfc.comcastbusiness.net JOIN :#esoteric < 1400088282 903312 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Why does Haskell not allow function overloading? < 1400088303 660022 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :assuming types don't overlap like pu < 1400088318 299183 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :foo :: a -> int -> double and bar :: int -> a -> double < 1400088322 836046 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that'd be tricky < 1400088343 206916 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :currently I'm just picking the first variant I find that typechecks < 1400088380 382958 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :well, what for? if it does the same thing but depends on certain properties, make a class < 1400088391 367359 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :if it does different stuff, name it differently < 1400088425 691148 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Makes sense for Haskell @class < 1400088428 398712 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :true < 1400088432 647829 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I don't have classes yet :D < 1400088490 613656 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I rely on overloading for now I guess < 1400088529 504526 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which means that somebody can break all existing pieces of code by defining < 1400088535 1009 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :add :- A -> A < 1400088547 555965 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :because that'd overload pretty much every add variant < 1400088549 849662 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :or even worse < 1400088552 39230 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :add :- -> < 1400088570 175140 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I should probably restrict that somehow in the future < 1400088747 935147 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :what are you doing < 1400089386 334154 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 258 seconds < 1400089432 804293 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :( :t index < 1400089436 519961 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :09Data.HVect.index : (13i : 12Fin 13k) -> 12HVect 13ts -> 09index 13i 13ts < 1400089436 668126 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :09Prelude.List.index : (13n : 12Nat) -> (13l : 12List 13a) -> (09lt 13n (09length 13l) 12= 04True) -> 13a < 1400089436 668221 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :09Prelude.Stream.index : 12Nat -> 12Stream 13a -> 13a < 1400089436 668258 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :09Prelude.Vect.index : 12Fin 13n -> 12Vect 13n 13a -> 13a < 1400089478 195174 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :myname: What would you propose for these? < 1400089547 130752 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Melvar: all of those but Prelude.List.index are special cases of the HVect case < 1400089556 782455 :MoALTz!~no@user-5-173-28-196.play-internet.pl JOIN :#esoteric < 1400089567 117167 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :No they aren’t. < 1400089596 723088 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :Vect’s, I suppose, is, but HVect.index uses Vect.index in its type. < 1400089604 166792 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ok, if you parameterise over the index type too < 1400089615 815058 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Melvar: what I mean is that you could make a class by tweaking Data.HVect.index's type. < 1400089653 268836 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :A Stream is infinite and thus any Nat will do, which is not the case for any of the rest … < 1400089701 330213 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I don't know Idris so this is some kind of frankenstein haskell: class Index seq where type Index seq; type At : Index seq -> Type; index : (idx : Index seq) -> seq -> At idx < 1400089711 250589 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :of course this is ugly. it supports Prelude.List.index too if you make Index a tuple < 1400089853 944320 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :Doesn’t look like there’d be any chance of inferring things, even if it could be made to work. < 1400089875 764224 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :http://www.openwall.com/lists/oss-security/2014/05/12/3 CVE-2014-0196: Linux kernel pty layer race condition memory corruption < 1400090026 697857 :Slereah!~jackal@176.222.51.233 JOIN :#esoteric < 1400090063 702383 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :elliott: Btw you overloaded Index there. < 1400090075 715158 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I said it was frankenstein. < 1400090081 630884 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :Okay. < 1400090198 699372 :Slereah_!~jackal@176.222.51.233 QUIT :Ping timeout: 252 seconds < 1400090201 311485 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :( :t (::) < 1400090201 738754 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :04Effects.Env.:: : 12Handler 13eff 13m => 13a -> 12Env 13m 13xs -> 12Env 13m (04MkEff 13a 13eff 04:: 13xs) < 1400090201 886522 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :04Data.HVect.:: : 13t -> 12HVect 13ts -> 12HVect (13t 04:: 13ts) < 1400090202 34725 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :04Prelude.List.:: : 13a -> 12List 13a -> 12List 13a < 1400090202 34821 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :04Data.Vect.Quantifiers.:: : 13P 13x -> 12All 13P 13xs -> 12All 13P (13x 04:: 13xs) < 1400090202 34858 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :04Prelude.Stream.:: : 13a -> 12Lazy' 04LazyCodata (12Stream 13a) -> 12Stream 13a14↵… < 1400090251 34652 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :Prelude.Vect.(::) got cut off. < 1400090432 418287 :hk3380!~test@natvip29.york.ac.uk JOIN :#esoteric < 1400090597 795647 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :( [True,"foo"] < 1400090598 161982 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :When elaborating an application of constructor 04__infer: < 1400090598 343413 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric : Can't disambiguate name: Effects.Env.::, Data.HVect.::, Prelude.List.::, Data.Vect.Quantifiers.::, Prelude.Stream.::, Prelude.Vect.:: < 1400090637 338648 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :Huh, that used to work. < 1400090833 129225 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :myname: static typed stack-based programming languages < 1400091010 676483 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :Mh, I guess i since imported Quantifiers and Env. < 1400091454 740531 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :myname: I can probably even infer types < 1400091468 155094 :Slereah_!~jackal@176.222.51.233 JOIN :#esoteric < 1400091475 852575 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :if you have a set of built-ins with explicit type signatures < 1400091683 698044 :Slereah!~jackal@176.222.51.233 QUIT :Ping timeout: 252 seconds < 1400092422 302332 :password2!~password@197.78.182.14 QUIT :Ping timeout: 258 seconds < 1400094509 843917 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1400094511 757962 :Bike!~Glossina@75-164-160-167.ptld.qwest.net JOIN :#esoteric < 1400094867 957824 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :tromp_: you may enjoy http://int-e.eu/~bf3/tmp/Goodstein.hs (corresponding to a horrible 644 bits implementation of the Goodstein sequence in blc with room for improvement) < 1400094935 856148 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Hm < 1400094942 754850 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :What's a good video to gif converter < 1400094988 619197 :nooodl!~nooodl@165.101-242-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :ffmpeg? < 1400095004 863059 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :Let's give it a whirl < 1400095392 810652 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :http://www.imagemagick.org/Usage/video/ perhaps. (Conceptually, to me, ImageMagick is "the right tool for the job") < 1400095413 351328 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone < 1400095416 603821 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :But I'm fairly ignorant about the topic. < 1400095454 54098 :Bike!~Glossina@75-164-160-167.ptld.qwest.net PRIVMSG #esoteric :Slereah_: monotone wrote a walkthrough http://blog.room208.org/post/48793543478 < 1400096025 456034 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :hello party people < 1400096347 932869 :Bike!~Glossina@75-164-160-167.ptld.qwest.net PRIVMSG #esoteric :"In the past, Gaussian, Inc. has attracted controversy for its licensing terms that stipulate that researchers who develop competing software packages are not permitted to use the software" science code < 1400096600 509175 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Does "Gaussian, Inc." own the patents for the normal distribution? < 1400096636 897268 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :wow; impressive, int-e! < 1400096679 936636 :Bike!~Glossina@75-164-160-167.ptld.qwest.net PRIVMSG #esoteric :it's a quantum mechanics thing. not sure why it's named after gauss but what isn't < 1400096688 514056 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :"The name originates from Pople's use of Gaussian orbitals to speed up calculations compared to those using Slater-type orbitals" < 1400096705 490902 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I've used netpbm from shell scripts to do video processing < 1400096712 324144 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :including, like, chroma key < 1400096714 872545 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and other fancy compositing < 1400096723 855413 :Bike!~Glossina@75-164-160-167.ptld.qwest.net PRIVMSG #esoteric :kmc: i meant the origin of gaussian orbitals < 1400096729 244528 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :oh :3 < 1400096770 533253 :Bike!~Glossina@75-164-160-167.ptld.qwest.net PRIVMSG #esoteric :i'm full of layers, man < 1400097165 387470 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1400097258 584350 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :tromp_: the encoding data O = Zero | Succ O | Limit (Nat -> O) is actually fairly standard, but I took a while to realize two things. First, there is the connection between the 'Limit' constructor and the fundamental sequence as used in the Hardy hierarchy. (The connection from there to the Goodstein sequence is made on Wikipedia). Secondly, doing arithmetic on that representation is actually just a copy of the paper... < 1400097264 589843 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :...definition. (n + 0 = 0; n + (m + 1) = (n + m) + 1; n + (lim f) = lim (n + f), so that's easy (with some caveats, most notably that w (omega) has a "fundamental sequence" different from 1 + w in that representation. So one has to be careful there.) < 1400097303 51751 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :) (for oerjan) < 1400097303 780938 :jconn!~va@1-130.ipswich.cc.colocall.com PRIVMSG #esoteric :int-e: for oerjan < 1400097309 56435 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hah. < 1400097339 860648 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: if you call a method fn foo(&'t mut self) -> Bar<'t> then 'self' is borrowed mutably for the duration of 't, regardless of how Bar uses its lifetime parameter < 1400097342 769591 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :v. unfortunate :/ < 1400097403 572311 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :int-e: it's hard to appreciate how much faster goodstein grows than the Ackerman-like g i define, which only takes 47 bits:( < 1400097524 519020 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :tromp_: btw your "g" appears here: https://en.wikipedia.org/wiki/Fast-growing_hierarchy#Definition < 1400097618 486675 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :tromp_: it's also noteworthy that most of the effort is spent on converting the input to its hereditary base 2 representation and the corresponding ordinal. from there to the result it's only 91 bits. < 1400097776 71621 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :oh, that's so much nicer. should consider that ordinal the starting point then < 1400098044 779143 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :tromp_: That's not entirely fair though, because the ordinals encode the necessary recursive structure. Somewhere in the middel, we could start from the cantor normal form of the heriditary base representation (so just a binary tree, of type: data O = Zero | ExpWPlus O O, encoded as a fold), it's 384 bits. < 1400098453 395888 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :such a round number... < 1400098471 559800 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :thx for the link; i included it on my page < 1400098623 395214 :Slereah_!~jackal@176.222.51.233 NICK :Slereah < 1400100019 587258 :nucular!~MOO@unaffiliated/nucular QUIT :Quit: Switching to phone... < 1400100229 431589 :mhi^!~mhi@unaffiliated/mhi/x-9993184 JOIN :#esoteric < 1400100870 474093 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1400101279 793083 :ion!ion@heh.fi PRIVMSG #esoteric :http://youtu.be/HTPOSdyA7Uo http://youtu.be/eKK98MpqujA < 1400101564 264081 :lambdabot!~lambdabot@silicon.int-e.eu QUIT :Read error: Operation timed out < 1400101704 100710 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1400101734 380447 :cillo!~cillo@94.100.41.59 JOIN :#esoteric < 1400101916 978590 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Implementing a type system is easier than I thought <-- now do inference twh < 1400101975 801068 :cillo!~cillo@94.100.41.59 QUIT :Client Quit < 1400102420 776470 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 255 seconds < 1400102422 867250 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell mroman_ Why does Haskell not allow function overloading? <-- the original invention of type classes was in order to have a more principled way of doing overloading than any other language. < 1400102431 557903 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :eek < 1400102436 449598 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: AAAAAAAAAAAA < 1400102446 653529 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: it'll be back in a moment < 1400102457 313773 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :whew < 1400102486 250417 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :this is what happened: https://clientarea.ramnode.com/announcements.php?id=352 < 1400102513 415882 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 252 seconds < 1400102544 35462 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :seems they took almost 15 minutes. < 1400102549 223807 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :those evil dutch < 1400102555 405478 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :they're american < 1400102561 1803 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric ::P < 1400102568 968012 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(they company is, that is.) < 1400102569 674769 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, aren't you in germany. < 1400102574 853139 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :no I'm in Austria < 1400102595 789146 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but from Germany ... < 1400102597 899049 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ACTION shrugs < 1400102622 679771 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well your client is in .de < 1400102631 209419 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :... that's another server ... < 1400102650 875759 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fiendish < 1400102656 352822 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but it was too weak for lambdabot :) < 1400102666 249755 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i can believe that. < 1400102706 260163 :lambdabot!~lambdabot@silicon.int-e.eu JOIN :#esoteric < 1400102710 952543 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@bot < 1400102712 434068 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@hug lambdabot < 1400102718 258388 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric ::) < 1400102724 266664 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :http://hackage.haskell.org/trac/ghc/newticket?type=bug < 1400102743 315872 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell mroman_ Why does Haskell not allow function overloading? <-- the original invention of type classes was in order to have a more principled way of doing overloading than any other language. < 1400102750 281584 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1400102799 597236 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm that reminds me, i wonder if that bug i reported ever got a response. actually i guess not because i think i registered my email. < 1400102814 731185 :Bike!~Glossina@75-164-160-167.ptld.qwest.net QUIT :Ping timeout: 240 seconds < 1400102857 26667 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nope, no change. < 1400102941 451213 :Bike!~Glossina@67-5-227-55.ptld.qwest.net JOIN :#esoteric < 1400103104 343641 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :as expected, really, it's a you're-doing-it-wrong-but-it-doesn't-really-affect-realistic-programs bug < 1400103151 237764 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: actually it's nice to see that a 15 minutes absence of lambdabot is surprising people again, rather than being business as usual. :) < 1400103180 524855 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1400103321 728745 :nooodl_!~nooodl@165.101-242-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1400103325 345441 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :( :t (>>=) < 1400103325 777300 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :09Effects.>>= : 12Eff 13m 13a 13xs 13xs' -> ((13val : 13a) -> 12Eff 13m 13b (13xs' 13val) 13xs'') -> 12Eff 13m 13b 13xs 13xs'' < 1400103325 925136 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :09Prelude.Monad.>>= : 12Monad 13m => 13m 13a -> (13a -> 13m 13b) -> 13m 13b < 1400103455 572863 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's like the added distinctions in dependently typed languages make it too hard to make useful classes for functions that are different versions of the "same" concept... < 1400103521 453987 :nooodl!~nooodl@165.101-242-81.adsl-dyn.isp.belgacom.be QUIT :Ping timeout: 264 seconds < 1400103533 904029 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :Pretty much, in some cases at least. < 1400103536 102714 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(looking also at your index and (::) examples earlier) < 1400103598 479356 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suppose someone needs to invent a more suitable way of abstracting over those differences < 1400103672 817307 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm isn't that among the use cases for ghc's PolyKind and ConstraintKind extensions < 1400103686 90435 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*+s < 1400103744 557095 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but you still need things to fit just right. < 1400103823 914212 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :( :t Type -> Type < 1400103824 312448 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :12Type -> 12Type : 12Type < 1400103836 69370 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :( :t Show < 1400103836 491071 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :12Prelude.Show : 12Type -> 12Type < 1400103898 309397 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( :t Show Int < 1400103898 600387 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :12Show 12Int : 12Type < 1400103909 2092 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ic < 1400103918 395313 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :( the (Show Int) %instance < 1400103918 823854 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :04constructor of Prelude.Show (\13{meth0} => 09prim__toStrInt 13meth) : 12Show 12Int < 1400103942 848154 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :idris runs on meth < 1400104003 146350 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh, methodical < 1400104030 680773 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1400104047 959311 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boilaften < 1400104113 3308 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :good oerjaning. < 1400104168 393268 :metasepia!~metasepia@96.127.201.149 JOIN :#esoteric < 1400104285 909513 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :~metar CYUL < 1400104286 320617 :metasepia!~metasepia@96.127.201.149 PRIVMSG #esoteric :CYUL 142121Z 18009G15KT 15SM SCT045 OVC070 23/15 A3008 RMK SC3AC5 SLP187 DENSITY ALT 800FT < 1400104298 187710 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :~metar ENVA < 1400104298 610757 :metasepia!~metasepia@96.127.201.149 PRIVMSG #esoteric :ENVA 142120Z 17003KT CAVOK 04/M02 Q1029 RMK WIND 670FT 30003KT < 1400104343 941450 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :oerjan: “class Finite (n : Nat) t where isoFin : Iso t (Fin n)” is also a thing, outside of the stdlib though. < 1400104364 353330 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :you are my DENSITY, DENSITY, DENSITY 君と行ける未来 ♪ < 1400104634 160963 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: huh, and that goodstein program has no recursion? < 1400104658 762958 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: that was the point < 1400104985 904127 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: here is a somewhat odd bit of Rust code: for _ in replace(&mut self.roots, vec!()).move_iter().rev() {} < 1400105350 174597 :nooodl_!~nooodl@165.101-242-81.adsl-dyn.isp.belgacom.be NICK :nooodl < 1400105609 28551 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :ACTION hands idris-bot some 3,4-methylenedioxymethamphetamine < 1400105803 95635 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :ACTION hands metasepia some organic free-range Himalayan tofu < 1400105825 290773 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :kmc: you vile bot drugger! you should feel ashamed! < 1400106018 343197 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: that's not tofu but rancid butter hth < 1400106203 470223 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :ntdnh. < 1400106273 674646 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"According to the Tibetan custom, butter tea is drunk in separate sips, and after each sip the host refills the bowl to the brim. Thus, the guest never drains his bowl; rather, it is constantly topped up. If the visitor does not wish to drink, the best thing to do is leave the tea untouched until the time comes to leave and then drain the bowl. In this way etiquette is observed and the host will not be offended." < 1400106449 603925 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"Based-on the principles believed to be at work with the tea, coffee-drinkers have created a coffee version of the beverage." < 1400106480 48678 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :I reject your reality and substitue my sane own. < 1400106581 40944 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i've tried to reject reality but it's somehow not working properly. < 1400106734 387999 :edwardk_!~edwardk@pdpc/supporter/professional/edwardk NICK :edwardk < 1400106779 29172 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :spot the hidden burn "Many different political entities have communities of herders who produce and consume yak's dairy products including cheese and butter – for example, China, India, Mongolia, Nepal, and Tibet." < 1400106807 868751 :Bike!~Glossina@67-5-227-55.ptld.qwest.net PRIVMSG #esoteric :that sounds like a shoddy patch over "countries". < 1400106831 807080 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :it's not very hidden... it's more like check-out-that-pulsating-radiating-mesmerizing-glow. < 1400106958 777339 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm just amazed that it's been there since 2011. < 1400106966 863187 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :wikipedia? < 1400106968 769867 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :https://en.wikipedia.org/w/index.php?title=Yak_butter&diff=437641611&oldid=437595102 < 1400106977 607032 :Bike!~Glossina@67-5-227-55.ptld.qwest.net PRIVMSG #esoteric :it's not inaccurate. < 1400107001 524076 :Bike!~Glossina@67-5-227-55.ptld.qwest.net PRIVMSG #esoteric :nominally, tibet has a good deal of self-governance. < 1400107003 956610 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :that seems less like a deliberate burn and more like an attempt to avoid trouble from chinese nationalist trolls < 1400107009 554908 :Bike!~Glossina@67-5-227-55.ptld.qwest.net PRIVMSG #esoteric :basically that. < 1400107014 676419 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :of which there are many < 1400107035 188801 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I don't know if the govt has an app to coördinate the trolls like Israel does < 1400107046 612164 :Bike!~Glossina@67-5-227-55.ptld.qwest.net PRIVMSG #esoteric :the usual term for when you want to talk about nations without talking about nations is "culture", though < 1400107060 123803 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well i'm just amazed that they haven't removed it _anyhow_. admittedly i didn't check all intervening edits. < 1400107067 366494 :Bike!~Glossina@67-5-227-55.ptld.qwest.net PRIVMSG #esoteric :why would they remove it? < 1400107067 890869 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :yes, there's no reason to mention politics there < 1400107074 205119 :Bike!~Glossina@67-5-227-55.ptld.qwest.net PRIVMSG #esoteric :oh, because they're trolls, you mean < 1400107158 200161 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'd imagine even listing China and Tibet separately under _any_ categorization would be enough to trigger them. < 1400107164 681732 :Bike!~Glossina@67-5-227-55.ptld.qwest.net PRIVMSG #esoteric :yeah i see what you mean < 1400107175 561311 :Bike!~Glossina@67-5-227-55.ptld.qwest.net PRIVMSG #esoteric :maybe chinese nationalists don't care for yak butter < 1400107189 385053 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...plausible. < 1400107235 958047 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1400107399 597238 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :well PRC also claims Taiwan and yet puts up with ROC being listed separately in some categorizations, as long as the right words are used < 1400107409 875647 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :e.g. "Chinese Taipei" at the olympics, what a wonderful bit of deliberate ambiguity < 1400107475 230965 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :although Hong Kong has its own Olympic delegation as well < 1400107558 735286 :Bike!~Glossina@67-5-227-55.ptld.qwest.net PRIVMSG #esoteric :i didn't know taiwan even had an olympic team. < 1400107572 48225 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Template:Multiple_Olympic_Teams < 1400107588 842909 :Bike!~Glossina@67-5-227-55.ptld.qwest.net PRIVMSG #esoteric :what about macau? < 1400107597 75125 :Bike!~Glossina@67-5-227-55.ptld.qwest.net PRIVMSG #esoteric :guess not. < 1400107606 94284 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :they're not members of the IOC but they participate in the Asia Games or something < 1400108001 300841 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :nice! http://rust.godbolt.org/ < 1400108098 725860 :Bike!~Glossina@67-5-227-55.ptld.qwest.net PRIVMSG #esoteric :i guess "int x;" isn't legal so i give up < 1400108114 222936 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :kmc, I like that :) < 1400108160 178584 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :holy shit, people are doing GBA homebrew in Rust: https://github.com/exoticorn/gba-rust < 1400108169 930855 :Bike!~Glossina@67-5-227-55.ptld.qwest.net PRIVMSG #esoteric :awesome < 1400108195 592267 :Bike!~Glossina@67-5-227-55.ptld.qwest.net PRIVMSG #esoteric :what processors does rustc target, anyway < 1400108206 169784 :Bike!~Glossina@67-5-227-55.ptld.qwest.net PRIVMSG #esoteric :oh right llvm < 1400108352 298712 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :there's also a hardware abstraction layer for bare metal ARM: https://github.com/hackndev/zinc < 1400108363 413830 :Sorella!~queen@oftn/member/Sorella JOIN :#esoteric < 1400108365 304199 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :ACTION is reading backlog of This Week in Rust < 1400108871 923324 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Quit: Computer has gone to sleep. < 1400109122 385398 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net JOIN :#esoteric < 1400109364 370791 :boily!~boily@96.127.201.149 QUIT :Quit: MERIDIAN CHICKEN < 1400109366 589677 :metasepia!~metasepia@96.127.201.149 QUIT :Remote host closed the connection < 1400109461 328606 :hogeyui!~hogeyuiVP@vps.usamimi.biz QUIT :Ping timeout: 264 seconds < 1400109869 325472 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :With OOP, if an object has several methods that do the same thing, how is a subclasser supposed to know which one to override to override the others? Is that expected to be part of documentation, or just reading the code? < 1400109936 891892 :Bike!~Glossina@67-5-227-55.ptld.qwest.net PRIVMSG #esoteric :probably < 1400110032 650761 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :several methods that do the same thing -- code smell < 1400110071 84007 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Seems to happen all the time in Smalltalk < 1400110077 346852 :Bike!~Glossina@67-5-227-55.ptld.qwest.net PRIVMSG #esoteric :sgeo probably means similar-but-a-bit-different things, like a method that writes a description of the object to standard output vs. a method that writes a description of the object on the washington monument < 1400110081 76909 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :smelltalk :D < 1400110122 212195 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :But the question also kind of extends to Java and actual issues I've encountered, where it seems non-obvious what the mimimal set of methods I need to override to prevent something from happening is < 1400110176 259339 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :clearly you need to borrow Haskell's new MINIMAL pragma. < 1400110218 590102 :Bike!~Glossina@67-5-227-55.ptld.qwest.net PRIVMSG #esoteric :or have some non virtual methods obviously < 1400110262 966294 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I think this may be subtyping's fault, or something < 1400110279 490916 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: yay < 1400110298 784212 :Bike!~Glossina@67-5-227-55.ptld.qwest.net PRIVMSG #esoteric :well you can't even state the problem without subtyping. < 1400110306 626417 :Bike!~Glossina@67-5-227-55.ptld.qwest.net PRIVMSG #esoteric :so. you know. < 1400110312 676269 :Bike!~Glossina@67-5-227-55.ptld.qwest.net PRIVMSG #esoteric :blame smalltalk. < 1400110332 388992 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoever came up with that MINIMAL thing must've been p. great < 1400110348 130300 :hogeyui!~hogeyuiVP@vps.usamimi.biz JOIN :#esoteric < 1400110484 791463 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :was it you < 1400110487 280969 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :is that the joke < 1400110500 124404 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :smelltalk :D < 1400110510 174814 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kmc: hey no fun ruining the joke this soon < 1400110675 497283 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :There is the theory of the mobius < 1400110683 9228 :nooodl!~nooodl@165.101-242-81.adsl-dyn.isp.belgacom.be QUIT :Ping timeout: 255 seconds < 1400110744 657943 :Bike!~Glossina@67-5-227-55.ptld.qwest.net PRIVMSG #esoteric :a twist in the fabric of space, where time becomes a loop. < 1400110782 664607 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :> cycle "time becomes a loop. " < 1400110783 946605 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "time becomes a loop. time becomes a loop. time becomes a loop. time becomes... < 1400110843 902173 :Bike!~Glossina@67-5-227-55.ptld.qwest.net PRIVMSG #esoteric :good stopping point. < 1400110977 611084 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yes it was me < 1400110980 347180 :Bike!~Glossina@67-5-227-55.ptld.qwest.net PRIVMSG #esoteric :when we reach that point, whatever happened will happen again < 1400110988 25434 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that is the joke < 1400111015 438968 :Bike!~Glossina@67-5-227-55.ptld.qwest.net PRIVMSG #esoteric :shachaf will introduce MINIMAL again < 1400111077 975747 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :MINIMALER < 1400111170 427308 :Bike!~Glossina@67-5-227-55.ptld.qwest.net PRIVMSG #esoteric :hm, this paper claims to determine a "word length" for neural information < 1400111598 683870 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :whats neural information < 1400111638 281729 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I'm hungry, but it's almost 1 AM < 1400111642 715163 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :And I don't have any food < 1400111648 947819 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :Taneb, fourth meal < 1400111713 44979 :Bike!~Glossina@67-5-227-55.ptld.qwest.net PRIVMSG #esoteric :fowl: information neurons "send". < 1400111766 30225 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :what lke a float < 1400111815 628423 :Bike!~Glossina@67-5-227-55.ptld.qwest.net PRIVMSG #esoteric :yes. like a float. exactly. < 1400111858 522502 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :are brains IEEE 754 compliant? < 1400111968 634995 :Bike!~Glossina@67-5-227-55.ptld.qwest.net PRIVMSG #esoteric :it actually uses the IBM 7094 format, for compatibility