< 1399939988 694375 :ter2!~tertu@143.44.70.199 QUIT :Ping timeout: 255 seconds < 1399941353 884477 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1399941478 449751 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1399941856 394909 :tertu!~tertu@143.44.70.199 JOIN :#esoteric < 1399941958 697910 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1399942052 347564 :ter2!~tertu@143.44.70.199 JOIN :#esoteric < 1399942052 494589 :tertu!~tertu@143.44.70.199 QUIT :Disconnected by services < 1399942234 802524 :tromp!~tromp@ool-4570a006.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1399942266 401704 :tertu3!~tertu@143.44.70.199 JOIN :#esoteric < 1399942431 357838 :ter2!~tertu@143.44.70.199 QUIT :Ping timeout: 250 seconds < 1399942975 701509 :ter2!~tertu@143.44.70.199 JOIN :#esoteric < 1399943145 438930 :tertu3!~tertu@143.44.70.199 QUIT :Ping timeout: 252 seconds < 1399943165 698675 :tromp!~tromp@ool-4570a006.dyn.optonline.net JOIN :#esoteric < 1399943181 751164 :tertu!~tertu@143.44.70.199 JOIN :#esoteric < 1399943299 293579 :ter2!~tertu@143.44.70.199 QUIT :Ping timeout: 240 seconds < 1399944734 827531 :shikhout!~shikhin@unaffiliated/shikhin QUIT :Remote host closed the connection < 1399944827 597382 :ter2!~tertu@143.44.70.199 JOIN :#esoteric < 1399944827 745001 :tertu!~tertu@143.44.70.199 QUIT :Disconnected by services < 1399945308 967901 :ter2!~tertu@143.44.70.199 QUIT :Read error: Connection reset by peer < 1399945332 246127 :ter2!~tertu@143.44.70.199 JOIN :#esoteric < 1399945599 245756 :tertu3!~tertu@143.44.70.199 JOIN :#esoteric < 1399945658 266254 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 240 seconds < 1399945778 245844 :ter2!~tertu@143.44.70.199 QUIT :Ping timeout: 240 seconds < 1399946258 244687 :tertu3!~tertu@143.44.70.199 QUIT :Ping timeout: 240 seconds < 1399946455 218006 :atslash!~atslash@46.72.76.109 QUIT :Quit: This computer has gone to sleep < 1399946491 96814 :atslash!~atslash@playisland.ru JOIN :#esoteric < 1399946802 498293 :atslash!~atslash@playisland.ru QUIT :Quit: This computer has gone to sleep < 1399946975 7303 :tromp!~tromp@ool-4570a006.dyn.optonline.net QUIT :Remote host closed the connection < 1399947011 753019 :tromp!~tromp@ool-4570a006.dyn.optonline.net JOIN :#esoteric < 1399947019 393934 :tertu3!~tertu@143.44.70.199 JOIN :#esoteric < 1399947254 722471 :tromp!~tromp@ool-4570a006.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1399948947 579447 :Sorella!~queen@oftn/member/Sorella QUIT :Quit: It is tiem! < 1399949293 659677 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :what's lpc < 1399949958 970154 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Hmm. < 1399949975 34750 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :bitly is actually encouraging people to change passwords, right? < 1399949989 47821 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Gmail filed the email under spam < 1399950044 388343 :monotone!~monotone@room208.org PRIVMSG #esoteric :The notice is on bitly's actual site header, if you're paranoid. < 1399950067 828875 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I'm more worried about Gmail filing it under spam and thus possibly screwing people over < 1399950080 523926 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :For anyone who might not check or believe their spam folder < 1399950105 203767 :monotone!~monotone@room208.org PRIVMSG #esoteric :Welcome to security notifications in the 21st century... < 1399950663 140232 :tromp!~tromp@ool-4570a006.dyn.optonline.net JOIN :#esoteric < 1399950691 161298 :conehead_!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep < 1399951708 463542 :hk3380!~test@natvip29.york.ac.uk QUIT :Ping timeout: 265 seconds < 1399951961 339319 :tertu3!~tertu@143.44.70.199 QUIT :Ping timeout: 264 seconds < 1399952240 345048 :tertu3!~tertu@143.44.70.199 JOIN :#esoteric < 1399952646 383365 :ter2!~tertu@143.44.70.199 JOIN :#esoteric < 1399952754 57112 :tertu3!~tertu@143.44.70.199 QUIT :Ping timeout: 252 seconds < 1399952812 531580 :tromp!~tromp@ool-4570a006.dyn.optonline.net QUIT :Remote host closed the connection < 1399953271 251156 :tromp!~tromp@ool-4570a006.dyn.optonline.net JOIN :#esoteric < 1399953670 538147 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :"The exclusive or of two different Gold codes from the same set is another Gold code in some phase." < 1399953720 893583 :tromp!~tromp@ool-4570a006.dyn.optonline.net QUIT :Remote host closed the connection < 1399953752 753933 :tromp!~tromp@ool-4570a006.dyn.optonline.net JOIN :#esoteric < 1399953835 617490 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Why do I have codes? < 1399953851 937213 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :what? < 1399953907 883451 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :My last name is Gold < 1399953953 808824 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :well then < 1399953994 723691 :tromp!~tromp@ool-4570a006.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1399954135 864876 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :To Randall Munroe: If you're going to reinvent the web, there's a high chance you're more likely to do it sanely than the current web < 1399954136 839113 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i guess that's why, then < 1399954347 127607 :monotone!~monotone@room208.org PRIVMSG #esoteric :Until someone figures out something else that they want to bolt on top and it gets broken again. < 1399954380 933525 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :^ < 1399956794 480758 :password2!~password@197.78.168.137 JOIN :#esoteric < 1399956984 199183 :password2!~password@197.78.168.137 QUIT :Max SendQ exceeded < 1399957020 160402 :password2!~password@197.78.168.137 JOIN :#esoteric < 1399957653 160738 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`coins < 1399957654 653714 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​08bypacoin 09sodateditcoin 02poricoin 06treencoin 13singercoin 04bfccoin 07dateftcoin 08selfcoin 09bupercoin 02frizattcoin 06shercoin 13sallcoin 04bituffcoin 07reignencoin 08homocoin 09muecoin 02hcriecoin 06lammcoin 13prolanshakcoin 04varcoin < 1399959033 585622 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :fungot: today's wisdom, please < 1399959033 896456 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :FireFly: and fnord only has guile, i proclaim it sucks. they fixed my favorite bug, or so < 1399959046 882623 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :very wise < 1399959238 822303 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fungot has wisdom now? < 1399959239 131159 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :shachaf: i just clicked on page 3 saying ' refer to diagram' which turns up quite a lot < 1399959271 566424 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you know what they say, fungot < 1399959271 876539 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :shachaf: they're all secret pervs.) will that be the main proponents of lolcode, and neither riastradh nor i have lots < 1399959279 893722 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :^style < 1399959280 41355 :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 < 1399959331 719364 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :why is there a difference between site and side in english? as a german it confuses me pretty often < 1399959536 713149 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what is the similarity? < 1399959538 44946 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :site in the 'website' sense? < 1399959563 722911 :monotone!~monotone@room208.org PRIVMSG #esoteric :They're two etymologically different words that just happen to sound similar. < 1399959589 721364 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I just realised they're the same in swedish too, but from the unrelated sv:sida = en:page < 1399960325 615385 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :it's both "seite" here < 1399960373 753841 :password2!~password@197.78.168.137 QUIT :Ping timeout: 255 seconds < 1399960646 289092 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1399960790 947281 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Websight. < 1399961003 325342 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@google webside < 1399961005 541892 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :http://www.webside.co.in/ < 1399961005 689283 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Title: Creative, Search & Social | Connected Digital Marketing - WebSide < 1399961008 616514 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@google websight < 1399961009 929417 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :http://www.websightdesign.com/ < 1399961010 76079 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Title: WebSight Design: Bay Area Web Design, Development & Hosting < 1399961015 425754 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@google webseid < 1399961016 198688 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :http://www.youtube.com/user/webseid < 1399961016 345944 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Title: webseid - YouTube < 1399961055 475657 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@google webseite < 1399961056 369503 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :http://de.wikipedia.org/wiki/Webseite < 1399961056 516793 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Title: Webseite – Wikipedia < 1399961127 553685 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :(also, Website /= Webseite.) < 1399961136 508520 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Quit: http://i.imgur.com/Akc6r.gif < 1399962136 900193 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1399963147 373794 :ter2!~tertu@143.44.70.199 QUIT :Ping timeout: 276 seconds < 1399965530 754009 :Bike!~Glossina@75-175-75-106.ptld.qwest.net QUIT :Ping timeout: 255 seconds < 1399965558 504202 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :http://www.cnet.com/news/ancient-d20-die-emerges-from-the-ashes-of-time/ < 1399965964 477062 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone < 1399966269 333027 :slereah_!~slereah@46.218.232.202 JOIN :#esoteric < 1399966271 828574 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :Hello < 1399966331 310964 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :hi < 1399967605 724100 :atslash!~atslash@128-74-191-31.broadband.corbina.ru JOIN :#esoteric < 1399967906 300501 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Somebody wants to reinvent the web? < 1399967931 126793 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :Let's just buy some copper wire and some routers < 1399967936 262844 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :We'll make our own internet! < 1399967952 606070 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :With blackjack < 1399967954 79561 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :And hookers < 1399968065 748277 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Didn't Russia say they were going to do approximately that? < 1399968097 357180 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :They used to have their own network back in the USSR days < 1399968108 357061 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :Also in France we had the minitel~ < 1399968120 20737 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :The earliest network for the public < 1399969620 223698 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1399969729 717915 :quintopia!~quintopia@unaffiliated/quintopia JOIN :#esoteric < 1399970091 943567 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Is there yet a 2D language where you have to modell "data flow"? < 1399970098 28732 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :in addition to instruction flow < 1399970115 188896 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :i.e. data is stored on the 2D grid itself < 1399970159 65998 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(without having a data pointer that points to some cell in the grid) < 1399970167 994765 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :CAs < 1399970178 235911 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :You'd actually have to move data around. < 1399970193 254552 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :The Rube language? < 1399970215 110258 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Wireworld is one that's actually designed to resemble circuits. < 1399970235 591623 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :http://codepad.org/9f6lWtqu < 1399970248 222643 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :DULR change directions of the data stream < 1399970260 702549 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :dulr take data from their "opposite" point and send them < 1399970275 568593 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :i.e. r takes the data from the cell to the left and sends it rightwards < 1399970285 238857 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :until it arrives at another data cell < 1399970315 710987 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(the above code should calculate a=a+2*r, with a initialized to 2) < 1399970368 830370 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oh wait < 1399970397 42165 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :http://codepad.org/H1IXEaXj <- like that < 1399970404 707918 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Also, circuit layouts are 2D computer languages < 1399970406 238253 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :there's no interpreter yet. Just sketched out some things in my hand < 1399970428 244038 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :the result from the addition is moved to the 0 above the * < 1399970469 640690 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Yead. < 1399970472 46317 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*Yeah < 1399970483 178804 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :2d computer languages with timing constraints ;) < 1399970503 806565 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and space costraints too < 1399971233 972167 :Tod-Autojoined!Tod@50-198-177-186-static.hfc.comcastbusiness.net JOIN :#esoteric < 1399971294 475726 :TodPunk!~Tod@50-198-177-186-static.hfc.comcastbusiness.net QUIT :Read error: Connection reset by peer < 1399972283 887158 :drdanmaku!uid17782@gateway/web/irccloud.com/x-zbshimtqinimfddj QUIT :Quit: Connection closed for inactivity < 1399972820 694306 :atslash!~atslash@128-74-191-31.broadband.corbina.ru QUIT :Ping timeout: 255 seconds < 1399973213 729626 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I don't remember if I ever beat all the Rubicon levels < 1399973230 739656 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Or whatever the java-applet game based on RUBE was called < 1399973344 777874 :atslash!~atslash@128-74-191-31.broadband.corbina.ru JOIN :#esoteric < 1399974007 262484 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1399974034 545960 :atslash!~atslash@128-74-191-31.broadband.corbina.ru QUIT :Quit: This computer has gone to sleep < 1399974309 247890 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1399974309 433381 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1399974731 762898 :sign!nyuszika7h@pdpc/supporter/active/nyuszika7h QUIT :Ping timeout: 252 seconds < 1399975868 157601 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1399975967 91259 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1399976246 108421 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1399976904 304516 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell kmc what's lpc <-- the interpreted C-like OO language in which lpmuds are mostly programmed. < 1399976904 451949 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1399976926 756480 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :https://en.wikipedia.org/wiki/LPC_(programming_language) < 1399976956 30922 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :http://upload.wikimedia.org/wikipedia/commons/c/c9/Chaos_magic_ritual_involving_videoconferencing.JPG wat < 1399977276 462819 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1399978125 280093 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : http://www.cnet.com/news/ancient-d20-die-emerges-from-the-ashes-of-time/ <-- argh _two_ tall, space-stealing bars < 1399978155 114500 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*+hovering < 1399978255 677248 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i am mystified that web designers don't understand how annoying that is on laptop screens < 1399978286 963572 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(admittedly, many probably do, which is why i don't see it _everywhere_) < 1399978386 572219 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: I've actually been criticised for /not/ doing that on a website < 1399978394 627776 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :since when are laptop screens considered different from others? < 1399978399 596797 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I wanted to post a rant about how that should be a client-side setting, not a server-side setting < 1399978406 288423 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I didn't, because I didn't think anyone would care < 1399978410 592351 :hk3380!~test@90.214.229.65 JOIN :#esoteric < 1399978419 644923 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :myname: they are wider than they are (not very) tall < 1399978433 23576 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :depends < 1399978438 380986 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well mine is. < 1399978705 166974 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it may be connected to my absent-minded-ness; when things disappear off screen too fast i forget the context of what i'm reading. < 1399978738 407572 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and go into ocpd up-down arrow mode. < 1399978788 369816 :Darkgamma!d9108935@gateway/web/freenode/ip.217.16.137.53 JOIN :#esoteric < 1399978796 119463 :Darkgamma!d9108935@gateway/web/freenode/ip.217.16.137.53 PRIVMSG #esoteric :good day < 1399978808 2087 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :add to that that i've started to zoom text to strain my eyes less... < 1399978824 325235 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hello < 1399978831 517031 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!welcome Darkgamma < 1399978848 529088 :atslash!~atslash@95.80.109.83 JOIN :#esoteric < 1399978850 374887 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...that would be the day the bot is gone. < 1399978857 220061 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Gregor: BOT MISSING < 1399978862 865741 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :`welcome Darkgamma < 1399978863 453535 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: welcome: not found < 1399978867 316394 :Darkgamma!d9108935@gateway/web/freenode/ip.217.16.137.53 PRIVMSG #esoteric :D: < 1399978873 54132 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(Gregor is of course always missing) < 1399978879 56242 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :the welcomes are dead! < 1399978881 758189 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :boily: all the welcomes got deleted a while ago < 1399978885 373465 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh bother. just a minute... < 1399978892 782776 :Darkgamma!d9108935@gateway/web/freenode/ip.217.16.137.53 PRIVMSG #esoteric :it's my first time here o: < 1399978893 544349 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :ais523: weren't some restored? < 1399978896 118064 :Darkgamma!d9108935@gateway/web/freenode/ip.217.16.137.53 PRIVMSG #esoteric :what goes < 1399978900 786564 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :anything. < 1399978904 455380 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Darkgamma: Welcome to the international channel for esolang discussion, development and deployment! Our wiki is available at http://esolangs.org. < 1399978913 199940 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :umm, gah, remembering the welcome message is hard < 1399978926 627200 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :except the first sentence, that was in the topic for /years/, in various variations < 1399978929 104802 :Darkgamma!d9108935@gateway/web/freenode/ip.217.16.137.53 PRIVMSG #esoteric :ais523: yeah, I'm aware of the wiki < 1399978930 173810 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`undo 4539 < 1399978931 966291 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :patching file welcome \ patching file r13elcome \ patching file relcome \ patching file rwelcome \ patching file welcome \ patching file welcome13 < 1399978937 159723 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`relcome Darkgamma < 1399978937 652497 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: relcome: not found < 1399978941 605241 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :argh < 1399978948 83676 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sorry, undo is also broken :( < 1399978949 490618 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`ls < 1399978950 94677 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :98076 \ a \ app.sh \ bdsmreclist \ bin \ canary \ cat \ complaints \ :-D \ dog \ etc \ factor \ fb \ fb.c \ head \ hello \ hello.c \ ibin \ index.html \ interps \ lib \ paste \ pref \ prefs \ quines \ quotes \ r13elcome \ relcome \ rwelcome \ share \ src \ test \ Test \ Test.hi \ Test.hs \ UNPA \ welcome \ welcome \ welcome13 \ Wierd \ wisdom \ wi < 1399978961 330492 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :why are the welcomes in the root dir, not bin? < 1399978966 897228 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run mv *elcom* bin < 1399978968 284967 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1399978974 631952 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :anyway, I preferred it when this channel was about esolangs < 1399978977 583413 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: because `undo is broken < 1399978978 566097 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :rather than about the welcomebot < 1399978982 696825 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`relcome Darkgamma < 1399978983 348733 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /hackenv/bin/relcome: Permission denied \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /hackenv/bin/relcome: cannot execute: Permission denied < 1399978987 842662 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh fuck < 1399978990 145660 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :lol < 1399978997 988019 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run chmod +x bin/*elcom* < 1399978998 755901 :Darkgamma!d9108935@gateway/web/freenode/ip.217.16.137.53 PRIVMSG #esoteric :I see you're having fun >_> < 1399978999 501602 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1399979001 827139 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`relcome Darkgamma < 1399979002 603673 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​02Welcome 06to 13the 04international 07hub 08for 09esoteric 02programming 06language 13design 04and 07deployment! 08For 09more 02information, 06check 13out 04our 07wiki: 08. 09(For 02the 06other 13kind 04of 07esoterica, 08try 09#esoteric 02on 06irc.dal.net.) < 1399979005 112898 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :finally < 1399979008 517025 :Darkgamma!d9108935@gateway/web/freenode/ip.217.16.137.53 PRIVMSG #esoteric :heh < 1399979009 296183 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :woohoo :D < 1399979033 803390 :Darkgamma!d9108935@gateway/web/freenode/ip.217.16.137.53 PRIVMSG #esoteric :thanks :) < 1399979038 219459 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :the balance of the Universe was Restored. now I can go to work. < 1399979049 686280 :boily!~boily@96.127.201.149 QUIT :Quit: don't ask about the chickens. < 1399979100 293963 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I actually had an esolang idea a couple of days ago < 1399979111 745825 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I was working on a program, and writing a bunch of comments to explain why it was doing things < 1399979115 75543 :Darkgamma!d9108935@gateway/web/freenode/ip.217.16.137.53 PRIVMSG #esoteric :also, the link's bad (Main_Page>) < 1399979125 533345 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Darkgamma: that's to do with your client < 1399979129 286906 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :IRC doesn't have a link syntax < 1399979135 500776 :Darkgamma!d9108935@gateway/web/freenode/ip.217.16.137.53 PRIVMSG #esoteric :ais523, sorry for interrupting < 1399979136 878656 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so the client tries to parse the link, and some of them get it wrong < 1399979139 316818 :Darkgamma!d9108935@gateway/web/freenode/ip.217.16.137.53 PRIVMSG #esoteric :(oh ok) < 1399979147 761360 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's OK, you can have a bunch of conversations in parallel in IRC < 1399979160 344412 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so after a while you get used to having a bunch of conversations in parallel, sometimes in the same channel, or the same people, or even both < 1399979195 667220 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :anyway, the standard rule is that the source code should say the "what", but it doesn't say the "why", so you need comments to explain it to other developers < 1399979204 377237 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and my idea was: why don't we explain why the code is doing what it does to the computer? < 1399979229 189493 :Darkgamma!d9108935@gateway/web/freenode/ip.217.16.137.53 PRIVMSG #esoteric :how do you mean < 1399979234 80881 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so that if we have an explanation saying "we're doing this so that foo", and it doesn't cause foo, we get a warning or an error < 1399979244 337036 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then I got a little stuck trying to figure out how you explain a reason to a computer < 1399979247 104193 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oerjan: what bars? < 1399979255 757135 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sheesh, i thought the whole point of enclosing the link in <> was to _decrease_ the chance of clients parsing it wrong < 1399979256 676396 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :my current idea is that you make statements about the future < 1399979272 453601 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :the only thing really disturbing me is that scrolling on that website is laggy < 1399979281 484544 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: blame the qwebirc people, I guess < 1399979287 397990 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mroman_: let me guess, you don't see them because no enable javascript? < 1399979292 443901 :Darkgamma!d9108935@gateway/web/freenode/ip.217.16.137.53 PRIVMSG #esoteric :ais523, like INTERCAL's go-from? < 1399979296 175815 :Darkgamma!d9108935@gateway/web/freenode/ip.217.16.137.53 PRIVMSG #esoteric :but more elaborate? < 1399979305 711279 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Darkgamma: it's not really like COME FROM < 1399979312 588360 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's more like, you make a prediction about the future < 1399979315 953011 :Darkgamma!d9108935@gateway/web/freenode/ip.217.16.137.53 PRIVMSG #esoteric :come-from, my bad < 1399979321 306690 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the compiler tries to prove it, if it can, great < 1399979322 359491 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oerjan: I have IE with JavaScript enabled < 1399979327 900846 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if it can find a counterexample, the program errors out < 1399979338 873913 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if it can't do either, it puts in runtime checks, and complains if the statement ever appears to be false < 1399979391 974147 :Darkgamma!d9108935@gateway/web/freenode/ip.217.16.137.53 PRIVMSG #esoteric :hm < 1399979396 846716 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but I have a wide screen < 1399979402 267662 :Darkgamma!d9108935@gateway/web/freenode/ip.217.16.137.53 PRIVMSG #esoteric :how do you think of doing it < 1399979405 866924 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :1900 times something I guess < 1399979412 167638 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :forever love; while (love) {} < 1399979420 877309 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Darkgamma: I don't, really, it's quite a new idea, and one that might not ever be properly fleshed out < 1399979421 601720 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :If I'd surf with 800x600 things'd probably look different < 1399979425 87938 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I have enough vaporware languages already < 1399979425 254619 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mroman_: they are bars on _top_ and _bottom_ < 1399979441 832759 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mroman_: i surf with non-maximized window + zoom < 1399979445 289141 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but innovative esolang ideas are rare, so I like to share them with the channel in case they inspire other people < 1399979455 111457 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :You mean the menu bar? < 1399979482 738425 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mroman_: you are looking at http://www.cnet.com/news/ancient-d20-die-emerges-from-the-ashes-of-time/ right? < 1399979488 819686 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oerjan: Yeah. < 1399979491 801745 :Darkgamma!d9108935@gateway/web/freenode/ip.217.16.137.53 PRIVMSG #esoteric :ais523, hm I don't know how it'd end up compiled but doing it in an interpreter seems not extremely difficult < 1399979499 185940 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Or are you refering to the ad bar below the menu bar? < 1399979531 485752 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Darkgamma: yeah, if you're merely making statements like "I do this so that there won't be a divide by zero exception" < 1399979535 981031 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and then there's a divide by zero exception < 1399979539 443389 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then that line of code probably isn't doing its job < 1399979551 324158 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :If I surf with a non-maximized window with 200% zoom those bars take almost 90% of the window < 1399979551 976107 :Darkgamma!d9108935@gateway/web/freenode/ip.217.16.137.53 PRIVMSG #esoteric :heh < 1399979582 163776 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but with normal window size and 100% zoom it doesn't disturb me at all < 1399979589 430138 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mroman_: menu at top, menu at bottom. except ... it's suddenly stopped doing that D: < 1399979600 180837 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :the site is still laggy when scrolling < 1399979612 55123 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :now it's just the one hovering on top < 1399979620 152170 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :a while ago it was only bottom. < 1399979628 977754 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so i guess the site is just screwy. < 1399979636 99458 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I also hate websites that hide the scrollbar on the right < 1399979642 905284 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :How am I supposed to scroll then < 1399979659 772685 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ah. arrow keys < 1399979661 78444 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :k < 1399979661 886395 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :scroll wheel < 1399979681 425833 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I like scrolling with the left mouse button < 1399979708 352538 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: are you reinventing design by contract? < 1399979717 260156 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: not exactly < 1399979724 75941 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :there's a difference between a precondition/postcondition, and a reason < 1399979734 702971 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm sort-of inventing asserts, except time-displaced < 1399979742 841707 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :like, the innovation isn't assert(foo); < 1399979766 21780 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but assert(foo will be 5 even after unrelated function X returns); < 1399979821 644452 :Darkgamma!d9108935@gateway/web/freenode/ip.217.16.137.53 PRIVMSG #esoteric :hm < 1399979848 185359 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mroman_: hm normally on sites with hidden scrollbar it reappears when i move the pointer < 1399979854 225713 :Darkgamma!d9108935@gateway/web/freenode/ip.217.16.137.53 PRIVMSG #esoteric :do you assert that foo will be 5 after a specific function or after any general function < 1399979861 808164 :Darkgamma!d9108935@gateway/web/freenode/ip.217.16.137.53 PRIVMSG #esoteric :@ais523 < 1399979861 955438 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Unknown command, try @list < 1399979868 794681 :Darkgamma!d9108935@gateway/web/freenode/ip.217.16.137.53 PRIVMSG #esoteric :@ ais523 < 1399979876 766677 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? ais523 < 1399979877 393225 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Agent “Iä” Smith is an alien with a strange allergy to avian body covering, which he is trying to retroactively prevent from ever evolving. On the 3rd of March, he's lawful good. < 1399979890 787613 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :letting websites style the scrollbar was a dump idea anyway *i think* < 1399979895 85781 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: the wisdom database isn't particularly elucidating, really < 1399979905 892150 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Darkgamma: we don < 1399979917 233599 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I hope they can style the "back" and "forward" button in HTML5 < 1399979923 132800 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :because that would make _so much_ sense < 1399979926 136587 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :'t use @nick addressing here, and lambdabot keeps us honest < 1399979947 562715 :Darkgamma!d9108935@gateway/web/freenode/ip.217.16.137.53 PRIVMSG #esoteric :oh okay < 1399979998 11111 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: that's just what an alien would say < 1399980013 5772 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I also don't get why browsers don't display a scrollbar on pages where you wouldn't need to scroll < 1399980019 781882 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :because it makes the window some pixels wider < 1399980027 859375 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and when there's enough content, the window is suddenly smaller < 1399980044 873885 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and designers freak out because now everything is a little bit displaced when you compare it to a page with less content < 1399980049 386454 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so they do stupid things to fix that < 1399980063 562608 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :like inline scrollbars and shitt < 1399980065 674253 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :do you have an extraneous "don't" in that first sentence < 1399980067 623904 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :or even worse < 1399980076 839371 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :javascript emulated scrolling or whatever it's called < 1399980081 112285 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :mroman_: can't you just do overflow-y:scroll, or whatever it is? < 1399980093 74570 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ais523: you can < 1399980109 296524 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but then you have a scroll bar sort of in the webpage itself < 1399980172 231462 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :the best thing you can do is have your menu bars "fixed" < 1399980176 373848 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so they don't move while scrolling < 1399980187 976037 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*"broken" < 1399980199 225030 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and then make some dummy div to extend the webpage to 101% height so that a scrollbar on the right is always there < 1399980256 607901 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and some quirks I'm pretty sure are just done to be able to place more ads . < 1399980317 259803 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION suddenly imagines a web browser which is made for ignoring all that enterprisey stuff. it'll be called Lenin, and its tagline should be "Because capitalists should not control the Web."
< 1399980355 654819 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :http://news.slashdot.org/story/14/05/12/2013236/lectures-arent-just-boring-theyre-ineffective-too-study-finds o_O < 1399980364 137441 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it'll probably be judged illegal in the US if anyone tried that, though. < 1399980425 793446 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mroman_: are you actually surprised at this finding tdnh < 1399980432 569709 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :No. < 1399980436 827591 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :But I don't listen to lecturers < 1399980444 228896 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :And I don't like to participate < 1399980462 343957 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I just sit in class for the sake of being physically present < 1399980477 895170 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :mroman_, I've almost stopped even that < 1399980483 893855 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It's not like they're teaching anything new < 1399980505 668283 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :So far this semester I've only had As < 1399980508 129465 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :can i offer "teaching methods that teach all people identically aren't effective", then? < 1399980537 93224 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(i'm afraid i have no evidence, only foaming prejudice) < 1399980545 940044 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Some Exam about Lisp, Prolog, Java Bytecode and Functional Programming < 1399980570 133478 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :One question just had some Java Bytecode and you had to interpret it like a freaking jvm < 1399980594 797493 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: surely they're effective for some subset of people, and ineffective for others? < 1399980618 864829 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Like the teachers assume I can't read java bytecode specs < 1399980624 43734 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I know when I was teaching, the normal aim was to find some method that would work for a decent proportion, then find some method that would work on a decent proportion of the remainders, and so on < 1399980702 148655 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I stopped learning for exams that are open book < 1399980712 335451 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It's just not necessary < 1399980736 415313 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I probably ought to learn this term's calculus at some point < 1399980750 778881 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I just print out spec and cheat sheets and I'm done learning < 1399980753 374995 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :mroman_: my guess is, perhaps it will be later on, but maybe not at the current level < 1399980761 591019 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I'll read the specs on the fly during the exam and I'm good < 1399980770 244033 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :admittedly, some exams are "you have to spend a bunch of time trying to figure out wtf the examiner is thinking" < 1399980771 919771 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ais523: I'm in my last semester < 1399980776 889771 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :like, you're not trying to learn the subject < 1399980777 344088 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I'd go out of your way to learn things just so you don't forget how < 1399980784 376620 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you're trying to learn how to comprehend the particular lecturer < 1399980794 507440 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mroman_: the problem is if you need the things you're supposed to have learned as a basis for your next level of courses. < 1399980796 720471 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Taneb: well, learning to work from spec sheets is a pretty useful skill < 1399980801 353447 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ais523: social engineering is an important skill ;) < 1399980812 861996 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which might be more important in math than in computing, i dunno. < 1399980828 591888 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oerjan: yeah. That's only important in math classes < 1399980856 923162 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but the good thing about that is that different people from different backgrounds can choose the same lecture/class/course < 1399980875 249888 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so they can't assume you know things because not everybody has had the same classes as you up to this point < 1399980887 282831 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so essentially you don't need to know anything about what last semester happened < 1399980916 401139 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :So essentially they are proscribed from teaching anything in depth < 1399980918 404417 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Not even for prerequisites? < 1399980920 209951 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Sounds p. good < 1399980931 710457 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ais523: "current level"... They assume I don't know anything about functional programming < 1399980945 207178 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which is a correct assumption for 99.9% of all students < 1399980953 213285 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I wonder how many people in #esoteric don't know anything about functional programming < 1399980958 966543 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's hard to not pick up at least some Haskell if you idle here < 1399980962 945746 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but most of their assumptions just don't apply to somebody like me < 1399980980 974525 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I've started programming at age 12 < 1399980993 317718 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Apparently the second-year compilers module here uses Haskell for parsing, but doesn't really teach it beyond "here's do notation and parsec. Write a parser" < 1399980996 125669 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I knew haskell before I was 18 < 1399981012 694685 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I didn't know Haskell before I was 18, but it wasn't very mainstream back then < 1399981019 189984 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :And someone wrote idiomatic Haskell in Applicative style. < 1399981037 44247 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Taneb: most things with parsec can be done by try and <|> anyway ;) < 1399981044 916586 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :The person marking/evaluating/whatever it looked at it and nodded, confused < 1399981050 727041 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and some of oneOf, many1, string, char < 1399981062 923042 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Taneb: I've seen people try to mark things wrong because they don't understand them :-( < 1399981065 195931 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :quite rarely, though < 1399981075 476973 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :haskell didn't exist when i was 18 hth < 1399981084 922083 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :ais523, the marker had to say "I'm going to have to trust you on this one" < 1399981097 325247 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oerjan: Why are you ending every single sentence with hth < 1399981098 900884 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, when I was 18 I knew lens < 1399981110 664106 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Taneb: there have been cases where people had to ask me to check them < 1399981113 575321 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :mroman_, it's Norwegian for the full stop < 1399981136 157230 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mroman_: it's probably my inner seething anger seeping out < 1399981151 672462 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :twh < 1399981211 161163 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :On my 18th birthday, lens-3.1 was a thing < 1399981225 46966 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I hope you all feel old < 1399981411 844940 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mroman_: also, your admonishment gets somewhat weakened by my quick checking finding _no_ other instance of hth since i joined the channel (although one tdnh). i may have missed one but still... < 1399981571 119719 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION whacks Taneb with his cane =======Ø
< 1399981574 880520 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1399981792 65729 :Darkgamma!d9108935@gateway/web/freenode/ip.217.16.137.53 PRIVMSG #esoteric :(joining in on dead discussion) < 1399981808 610042 :Darkgamma!d9108935@gateway/web/freenode/ip.217.16.137.53 PRIVMSG #esoteric :I don't have a clue about Haskell except that it's a functional prog. language < 1399981808 977202 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oerjan: That was uhm < 1399981809 805346 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :a < 1399981810 130295 :Darkgamma!d9108935@gateway/web/freenode/ip.217.16.137.53 PRIVMSG #esoteric :that's it < 1399981813 287430 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hyperbolic? < 1399981816 354113 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :statement? < 1399981817 141164 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :AH < 1399981821 747732 :Darkgamma!d9108935@gateway/web/freenode/ip.217.16.137.53 PRIVMSG #esoteric :(yeah a bit) < 1399981823 795764 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it's not every single sentence < 1399981834 767475 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it just appears like you use it often < 1399981866 176845 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so often that my mind replaces your nick with "they who uses hth at the end of sentences" < 1399981873 132045 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I've no idea what hth is btw < 1399981879 866956 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`? hth < 1399981880 616156 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hth is help received from a hairy toe. It is not at all hambiguitous. < 1399981895 435830 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`? twh < 1399981896 140765 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :twh would help, but is an hth derivative. hth. twh. hand. < 1399981929 942401 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> nubBy(((>1).).gcd)[2..] < 1399981931 541771 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : mueval-core: L.hs: removeLink: does not exist (No such file or directory) < 1399981935 546667 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> nubBy(((>1).).gcd)[2..] < 1399981937 470183 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97,101,... < 1399981941 612416 :Froox!~Frooxius@cust-101.ktknet.cz QUIT :Quit: *bubbles away* < 1399981951 14406 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Darkgamma: haskell hth ^ < 1399981996 411787 :Darkgamma!d9108935@gateway/web/freenode/ip.217.16.137.53 PRIVMSG #esoteric :ooh < 1399982051 275813 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> (!!3)<$>transpose[show$foldr(\k a->2*10^2^n+a*k`div`(2*k+1))0[1..2^n]|n<-[0..]] < 1399982054 511467 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "314159265358979323846264338327950288419716939937510582097494459230781640628... < 1399982095 560532 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :is that using plouffe's algorithm < 1399982174 29967 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> fix((0:).scanl(+)1) < 1399982175 600714 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [0,1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765,10946,... < 1399982197 900232 :Darkgamma!d9108935@gateway/web/freenode/ip.217.16.137.53 PRIVMSG #esoteric :fancy o: < 1399982204 425221 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that should cover the obligatory par for the course < 1399982240 802333 :Darkgamma!d9108935@gateway/web/freenode/ip.217.16.137.53 PRIVMSG #esoteric :so, basically < 1399982246 19478 :Darkgamma!d9108935@gateway/web/freenode/ip.217.16.137.53 PRIVMSG #esoteric :that last snippet < 1399982266 57315 :Darkgamma!d9108935@gateway/web/freenode/ip.217.16.137.53 PRIVMSG #esoteric :puts zero, then adds one, then adds the last two < 1399982270 651218 :Darkgamma!d9108935@gateway/web/freenode/ip.217.16.137.53 PRIVMSG #esoteric :giving the fibonacci sequence < 1399982344 116013 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sort of, although in a bit roundabout way < 1399982365 736118 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let fib = 0:1:zipWith(+) fib (tail fib) in fib -- less obscurely < 1399982367 100980 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [0,1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765,10946,... < 1399982374 680687 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oerjan: http://sprunge.us/YKdM hth < 1399982400 446592 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :twvh < 1399982415 814269 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fizzie: wow this changes EVERYTHING < 1399982422 90324 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mroman_: i'm not even on TOP hth < 1399982436 823182 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think the distribution looked very different some months back. < 1399982438 267103 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1399982452 587202 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Also, sql? < 1399982498 402428 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Are you going to start telling me I should be nosql webscale etc etc < 1399982503 842796 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Jafet: we're all living inside a fizzie-maintained database < 1399982535 336919 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :No, you can't be webscale because this is irc. < 1399982584 861538 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oerjan: If it helps any, you're still the tops in terms of absolute hth http://sprunge.us/hZjW hth < 1399982662 240540 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And, in fact, if we only look at 2014 http://sprunge.us/igXd hth hand < 1399982664 831533 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah < 1399982698 145038 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :how did lambdabot get on third < 1399982704 133123 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Huh. < 1399982749 881229 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait probably through @messages-loud < 1399982753 383230 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes. < 1399982768 841282 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://sprunge.us/bDKa like that < 1399982837 430925 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :IMPOSSIBLE < 1399983138 336093 :Darkgamma!d9108935@gateway/web/freenode/ip.217.16.137.53 QUIT :Ping timeout: 240 seconds < 1399983507 562062 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I see that oerjan still leads in terms of absolute numbers. < 1399983522 960524 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :As fizzie said. < 1399983617 195882 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let newtype Codensity f x = Codensity {runCodensity :: forall r. (x -> f r) -> f r) < 1399983617 381313 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Parse failed: TypeOperators is not enabled < 1399983688 219703 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let newtype Codensity f x = Codensity {runCodensity :: forall r. (x -> f r) -> f r } < 1399983688 367166 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Parse failed: TypeOperators is not enabled < 1399983711 543224 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: why is that erring out (and no, there aren't any TypeOperators) < 1399983744 689707 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and it already has RankNTypes, which is the only thing ghci complains about < 1399983846 189753 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let f :: (forall x. (forall y. y -> x) -> x) -> Int; f g = g (const 3) in f ($ undefined) < 1399983847 462765 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match type ‘a0 -> x’ with ‘forall y. y -> x’ < 1399983847 610208 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expected type: (forall y. y -> x) -> x < 1399983847 610292 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Actual type: (a0 -> x) -> x < 1399983858 552320 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :erm. < 1399983891 81630 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh. < 1399983906 612347 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: hmm, such declarations are parsed twice, once by haskell-src-exts and then by ghc-as-a-library. I guess the first one fails < 1399983911 433695 :atslash!~atslash@95.80.109.83 QUIT :Ping timeout: 252 seconds < 1399983931 230563 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let f :: (forall x. (forall y. y -> x) -> x) -> Int; f g = g c3; c3 _ = 3 in f ($ undefined) < 1399983932 467092 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(at least that's how I remember things) < 1399983932 614355 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match type ‘a0 -> x’ with ‘forall y. y -> x’ < 1399983932 614446 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expected type: (forall y. y -> x) -> x < 1399983932 614483 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Actual type: (a0 -> x) -> x < 1399983951 197326 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think i may be doing this wrong. < 1399983973 695191 :atslash!~atslash@95.80.109.83 JOIN :#esoteric < 1399984020 837010 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let f :: (forall x. (y -> x) -> x) -> Int; f g = g c3; c3 _ = 3 in f ($ undefined) < 1399984022 764790 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 3 < 1399984128 773734 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let f :: (forall x. (forall y. y -> x) -> x) -> Int; f g = g (const 3); a x = x undefined in f a < 1399984129 904057 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match type ‘t0 -> x’ with ‘forall y. y -> x’ < 1399984130 51571 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expected type: (forall y. y -> x) -> x < 1399984130 51665 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Actual type: (t0 -> x) -> x < 1399984149 795816 :shikhout!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1399984188 32200 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let f :: (forall x. (forall y. y -> x) -> x) -> Int; f g = g (const 3); a :: (forall x. (y -> x) -> x); a x = x undefined in f a < 1399984189 409345 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: type variable ‘y’ < 1399984204 826461 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let f :: (forall x. (forall y. y -> x) -> x) -> Int; f g = g (const 3); a :: forall y. (forall x. (y -> x) -> x); a x = x undefined in f a < 1399984207 580063 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match type ‘y0 -> x’ with ‘forall y. y -> x’ < 1399984207 727668 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expected type: (forall y. y -> x) -> x < 1399984207 727755 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Actual type: (y0 -> x) -> x < 1399984214 366457 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...whatever. < 1399984246 550933 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: a has type (a -> b) -> b, which does not generalize to forall y. y -> x < 1399984337 92379 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :um it's supposed to generalize to forall x. (forall y. y -> x) -> x < 1399984361 345721 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1399984398 660292 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait duh < 1399984404 82217 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh. but then you need a type annotation for a. < 1399984406 75616 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> let f :: (forall x. (forall y. y -> x) -> x) -> Int; f g = g (const 3); a :: (forall y. y -> x) -> x; a x = x undefined in f a < 1399984407 483773 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 3 < 1399984427 34552 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there _was_ one. but i think i switched the foralls. < 1399984457 944011 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Right, you added the one forall that Hindley-Milney adds automatically anyway. < 1399984495 488736 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Quit: Computer has gone to sleep. < 1399984530 789156 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let newtype Codensity f x = Codensity (forall r. (x -> f r) -> f r) < 1399984530 936785 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Parse failed: TypeOperators is not enabled < 1399984613 672885 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Prelude Language.Haskell.Exts> parseModule "newtype Codensity f x = Codensity (forall r. (x -> f r))" < 1399984616 704466 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ParseFailed (SrcLoc {srcFilename = ".hs", srcLine = 1, srcColumn = 57}) "TypeOperators is not enabled" < 1399984652 890191 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which is a different message from what ghci gives < 1399984672 770862 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but it's the one that you get from lambdabot < 1399984676 592039 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :right < 1399984741 662980 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :
ACTION makes a note
< 1399984774 610308 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(as far as I understand, haskell-src-exts is used in order to improve error messages. clearly that doesn't work in this case.) < 1399984793 319915 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, adding {-# LANGUAGE TypeOperators #-} to the beginning doesn't work. < 1399984807 356498 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:Rand.Next()14]]4 N10 02http://esolangs.org/w/index.php?oldid=39508 5* 03Malltog 5* (+191) 10Created page with "== Turing completeness == Is this language really Turing-complete? Is it possible to achieve an [[arbitrary effect at an arbitrary point]], accounting for its reliance on rand..." < 1399984833 91971 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :obviously. (look at 'define' in https://github.com/int-e/lambdabot/blob/master/lambdabot-haskell-plugins/src/Lambdabot/Plugin/Haskell/Eval.hs ) < 1399984861 187488 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :the contents of L.hs is not even taken into account at that point. < 1399984917 790617 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :um i meant that parseModule "{-# LANGUAGE TypeOperators #-}\nnewtype Codensity f x = Codensity (forall r. (x -> f r))" doesn't work either < 1399984966 784328 :Sorella!~queen@oftn/member/Sorella JOIN :#esoteric < 1399985026 166905 :atslash!~atslash@95.80.109.83 QUIT :Quit: This computer has gone to sleep < 1399985044 599507 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ah. < 1399985206 758497 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let {-# LANGUAGE Trustworthy #-} test = "hi" < 1399985206 945486 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Parse failed: Parse error: test < 1399985222 756976 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let {-# LANGUAGE Trustworthy #-}; test = "hi" < 1399985224 851009 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Defined. < 1399985230 339178 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> test < 1399985231 867729 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "hi" < 1399985257 691780 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i must have misunderstood that code. < 1399985276 631094 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1399985315 441382 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let {-# LANGUAGE TemplateHaskell #-}; test2 = "hi again" < 1399985317 394767 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Defined. < 1399985359 177162 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let data Test = Test { _hi :: Bool }; makeLenses ''Test < 1399985359 361504 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Parse failed: Improper character constant or misplaced ' < 1399985365 800735 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :darn < 1399985398 208457 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :parseModuleWithMode (defaultParseMode{ extensions=[EnableExtension TypeOperators] }) "" (RankNTypes works, too) < 1399985414 955194 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :would work < 1399985458 941342 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's rather ridiculous if that means it parses forall x . as an application of a type operator, though. < 1399985479 2414 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :good point. it does. < 1399985490 615165 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@undefine < 1399985490 762634 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Undefined. < 1399985530 499904 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :UnBangedTy (TyParen (TyInfix (TyApp (TyVar (Ident "forall")) (TyVar (Ident "r"))) (UnQual (Symbol ".")) (TyParen (TyFun (TyVar (Ident "x")) (TyApp (TyVar (Ident "f")) (TyVar (Ident "r")))))))]) < 1399985539 44126 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :lovely :) < 1399985586 625897 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let fun :: (forall x. (forall y. y -> x) -> x) -> Int; fun g = g (const 3); awesome :: (forall y. y -> x) -> x; awesome x = x undefined < 1399985586 773143 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Parse failed: TypeOperators is not enabled < 1399985603 290218 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :aha. so RankNTypes _don't_ work in @let at all, only in > < 1399985828 240776 :ter2!~tertu@143.44.70.199 JOIN :#esoteric < 1399985861 540281 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yeah. annoying, and probably not too hard to fix. not trivial though ---> maybe next weekend. < 1399985896 296251 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :good, good < 1399985915 647867 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Ping timeout: 255 seconds < 1399986274 853143 :ter2!~tertu@143.44.70.199 NICK :tertu < 1399987063 645766 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1399987349 342952 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1399987523 241000 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Client Quit < 1399988078 248965 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 240 seconds < 1399988419 220743 :tertu!~tertu@143.44.70.199 QUIT :Ping timeout: 276 seconds < 1399988750 741096 :hk3380!~test@90.214.229.65 QUIT :Ping timeout: 255 seconds < 1399988870 157010 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :yay, haskell-llvm-general-pure fails installing here ~~ < 1399988928 717721 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1399989572 472121 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1399989663 113150 :tertu!~tertu@143.44.70.199 JOIN :#esoteric < 1399990765 812621 :AnotherTest!~turingcom@d51A428A9.access.telenet.be JOIN :#esoteric < 1399991274 686746 :atslash!~atslash@91.195.137.195 JOIN :#esoteric < 1399991537 872744 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1399992036 628734 :hexagon!nyuszika7h@gateway/shell/cadoth.net/x-ovwsyxcslafsdfvt JOIN :#esoteric < 1399992073 725341 :hexagon!nyuszika7h@gateway/shell/cadoth.net/x-ovwsyxcslafsdfvt QUIT :Changing host < 1399992073 954046 :hexagon!nyuszika7h@pdpc/supporter/active/nyuszika7h JOIN :#esoteric < 1399992133 790183 :hexagon!nyuszika7h@pdpc/supporter/active/nyuszika7h NICK :sign < 1399992142 458858 :atslash!~atslash@91.195.137.195 QUIT :Quit: This computer has gone to sleep < 1399992633 865991 :hk3380!~test@natvip29.york.ac.uk JOIN :#esoteric < 1399993099 4581 :hk3380!~test@natvip29.york.ac.uk QUIT :Ping timeout: 240 seconds < 1399993176 935189 :shikhout!~shikhin@unaffiliated/shikhin NICK :shikhin < 1399993195 441388 :Sorella!~queen@oftn/member/Sorella QUIT :Ping timeout: 252 seconds < 1399993373 136289 :HackEgo!~HackEgo@162.248.166.242 QUIT :Ping timeout: 245 seconds < 1399993385 203218 :HackEgo!~HackEgo@162.248.166.242 JOIN :#esoteric < 1399993401 745292 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1399993558 403056 :atslash!~atslash@91.195.137.195 JOIN :#esoteric < 1399993624 282660 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1399993761 730844 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I thought twh was "that won't help" < 1399994143 776810 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :idntimwytim < 1399994196 968159 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :easy :) < 1399994219 682109 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Anyway, the ambiguity makes the abbreviation much more interesting. < 1399994279 44153 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I want to play Portal again. "Where are you going? I don't think you're going where you think you're going." < 1399994345 436898 :Bike!~Glossina@75-175-75-106.ptld.qwest.net JOIN :#esoteric < 1399994399 679222 :ion!ion@heh.fi PRIVMSG #esoteric :The time is 139999439 < 1399994411 19162 :ion!ion@heh.fi PRIVMSG #esoteric :1399994399 even it was. < 1399994445 85813 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> showHex 1399994442 < 1399994446 603209 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : <[Char] -> [Char]> < 1399994452 991326 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> showHex 1399994450 "" < 1399994454 527178 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "53723852" < 1399994566 108121 :ion!ion@heh.fi PRIVMSG #esoteric :% LC_ALL=C TZ=UTC date -d @1400000000 < 1399994568 113833 :ion!ion@heh.fi PRIVMSG #esoteric :Tue May 13 16:53:20 UTC 2014 < 1399994641 785715 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` date -ud @1400000000 < 1399994642 262603 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Tue May 13 16:53:20 UTC 2014 < 1399994670 134203 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Jafet: what is the n? < 1399994684 761454 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :"not" < 1399994688 626513 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :oh, duh < 1399994701 716400 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I need to stop contracting those words, I guess < 1399994758 5951 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :twnh < 1399994835 875808 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :> showHex 12345 "test?" < 1399994837 416373 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "3039test?" < 1399994842 338928 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I see < 1399994890 890227 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> fix shows "" < 1399994892 724947 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "<[Char] -> [Char]>" < 1399994900 42180 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm crap < 1399994900 991375 :hk3380!~test@natvip29.york.ac.uk JOIN :#esoteric < 1399994904 308603 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ncurses seems to be linux only < 1399994921 860371 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :no bsd? < 1399994926 565480 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*unix < 1399994928 723905 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :don't know < 1399994934 571268 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :doesn't compile well on windows at least < 1399995024 951371 :ion!ion@heh.fi PRIVMSG #esoteric :> review hex 12345 < 1399995026 599464 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "3039" < 1399995042 155150 :drdanmaku!uid17782@gateway/web/irccloud.com/x-brdgkitthkuhcejw JOIN :#esoteric < 1399995300 529779 :Sorella!~queen@oftn/member/Sorella JOIN :#esoteric < 1399995412 432677 :Bike!~Glossina@75-175-75-106.ptld.qwest.net PRIVMSG #esoteric :https://levels.io/12-startups-12-months/ beautiful < 1399995842 670778 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> fix shows "" "" < 1399995844 10873 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match type ‘[GHC.Types.Char]’ with ‘[GHC.Types.Char] -> t’ < 1399995844 158154 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expected type: (GHC.Base.String -> [GHC.Types.Char] -> t) < 1399995844 158243 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : -> GHC.Base.String -> [GHC.Types.Char] -> t < 1399995844 158280 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Actual type: (GHC.Base.String -> [GHC.Types.Char] -> t) < 1399995844 158315 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : -> GHC.Show.ShowS < 1399995874 7275 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Huh? < 1399995877 185373 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :But < 1399995880 61554 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> fix shows "" < 1399995881 337333 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "<[Char] -> [Char]>" < 1399995885 393202 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t fix shows "" < 1399995886 418811 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :String < 1399995891 719083 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Oh < 1399995922 544466 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1399995925 598338 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :mroman_: I think for windows you want pdcurses < 1399996186 280701 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :For windows you want cygwin and a stiff drink < 1399996230 751440 :ion!ion@heh.fi PRIVMSG #esoteric :or msys < 1399996302 282970 :Bike!~Glossina@75-175-75-106.ptld.qwest.net PRIVMSG #esoteric :for msys you'll need vodka. < 1399996623 206840 :tertu!~tertu@143.44.70.199 QUIT :Ping timeout: 245 seconds < 1399996816 906154 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :For windows you want linux < 1399996882 636307 :slereah_!~slereah@46.218.232.202 QUIT :Quit: Leaving < 1399997060 131912 :tertu!~tertu@143.44.70.199 JOIN :#esoteric < 1399997323 381571 :tertu!~tertu@143.44.70.199 QUIT :Ping timeout: 245 seconds < 1399997615 535466 :atslash!~atslash@91.195.137.195 QUIT :Quit: This computer has gone to sleep < 1399997826 437873 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1399998279 346724 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 250 seconds < 1399998455 123161 :nucular!~MOO@p4FF91FD4.dip0.t-ipconnect.de JOIN :#esoteric < 1399998455 270652 :nucular!~MOO@p4FF91FD4.dip0.t-ipconnect.de QUIT :Changing host < 1399998455 270720 :nucular!~MOO@unaffiliated/nucular JOIN :#esoteric < 1399999391 138855 :tertu!~tertu@143.44.70.199 JOIN :#esoteric < 1399999481 699586 :hk3380!~test@natvip29.york.ac.uk QUIT :Ping timeout: 252 seconds < 1400000093 455491 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :unix time has passed 1400000000 < 1400000447 467154 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :That's a lot of seconds since 1970 < 1400000556 509268 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`run date +%s < 1400000557 71342 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1400000535 < 1400000568 845988 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :been listening to this for days https://www.youtube.com/watch?v=95jD5tMFjhs&list=PLBB7D6D0650A7FA4B < 1400000648 179695 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 PRIVMSG #esoteric :mroman_: There is some other library that does the curses interface on Windows FWIW. < 1400000713 987216 :Tod-Autojoined!Tod@50-198-177-186-static.hfc.comcastbusiness.net NICK :TodPunk < 1400000834 664837 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :pikhq: With haskell bindings? < 1400000859 772141 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 PRIVMSG #esoteric :It's not *im*possible, but not to my knowledge. < 1400000885 67794 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :you mean pdcurses? < 1400001700 658788 :hk3380!~test@natvip29.york.ac.uk JOIN :#esoteric < 1400001859 611682 :sebbu!~sebbu@ADijon-152-1-24-110.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1400001946 932964 :sebbu!~sebbu@ADijon-152-1-24-110.w83-194.abo.wanadoo.fr QUIT :Changing host < 1400001947 80117 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1400001989 749693 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Ping timeout: 252 seconds < 1400002186 857745 :sebbu!~sebbu@unaffiliated/sebbu NICK :sebbu2 < 1400002225 137802 :tertu!~tertu@143.44.70.199 QUIT :Ping timeout: 276 seconds < 1400002373 212600 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: Lunch < 1400002442 712595 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1400002722 163422 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :fungot: stay inside my aura < 1400002722 595777 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :kmc: i guess he was a masterful schemer? it has been verified that it indeed shall be 0 " if and only if 0 is even or odd number of elements in the list < 1400003239 743296 :atslash!~atslash@46.72.95.117 JOIN :#esoteric < 1400004205 749398 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :fungot: noli turbare circulos meos < 1400004206 30458 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :olsner: what do you mean call-with-output-file there? the point was: " if loading it as text/ plain? < 1400004256 973253 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :mroman_: how much answers have there been to the brainfuck survey < 1400004343 833867 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :12 < 1400004370 811939 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :So far < 1400004432 116721 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Cells should wrap-around, Memory should exand to the right, fatal error on leaving on the left side, re-return EOF, eof=0, non-command-chars as comments, textmode with newline translation < 1400004518 835532 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :^- majority results < 1400004530 698214 :impomatic!~digital_w@43.16.208.46.dyn.plus.net QUIT :Ping timeout: 252 seconds < 1400004648 958611 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :cell values should be infinite, cell positions should be infinite (in both directions), input should be infinite, program length should be infinite < 1400004698 901964 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :^- minority opinion < 1400004798 999215 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :in fact cell values, position, input, and program should all be real numbers < 1400004817 375562 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :how? < 1400004853 606843 :Bike!~Glossina@75-175-75-106.ptld.qwest.net PRIVMSG #esoteric :still holding out for a hilbert space tape. < 1400004894 349014 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :or any kind of space tape for that matter < 1400005169 398754 :Bike!~Glossina@75-175-75-106.ptld.qwest.net QUIT :Ping timeout: 264 seconds < 1400005267 830500 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :is that like a space elevator? < 1400005274 130457 :Bike!~Glossina@67-5-207-17.ptld.qwest.net JOIN :#esoteric < 1400005400 713812 :mhi^!~mhi@unaffiliated/mhi/x-9993184 JOIN :#esoteric < 1400005753 556468 :shikhout!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1400005954 741319 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 240 seconds < 1400006274 820906 :shikhout!~shikhin@unaffiliated/shikhin NICK :shikhin < 1400006548 594771 :impomatic!~digital_w@43.16.208.46.dyn.plus.net JOIN :#esoteric < 1400007270 341617 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :soo < 1400007284 881284 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :every grammatically correct program must be of infinite length? < 1400007328 139204 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :.oO(It's turing complete but no one will be able to write a program that parses) < 1400007356 702866 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :However, we have some programs that are grammatically incorrect but if we just ignore parse errors it runs fine < 1400007401 110055 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :also, we could implement it using lazily generated program that is just NOPs after certain part < 1400007513 826290 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yeah < 1400007518 236042 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but that would be like cheating < 1400007530 915834 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :i mean sure < 1400007540 27880 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :you can always ++ cycle NOP < 1400007561 415871 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :++ repeat NOP actually < 1400007569 834554 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com TOPIC #esoteric :Happy megasecond 1400 | PSA: fizzie is running the wiki now, contact him for any problems | 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/ < 1400007643 601310 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :or should it just be "happy hectomegasecond" < 1400007889 314060 :Slereah!~jackal@bau91-h01-176-189-82-82.dsl.sta.abo.bbox.fr PRIVMSG #esoteric :Hectomegasecond? < 1400007896 482851 :Slereah!~jackal@bau91-h01-176-189-82-82.dsl.sta.abo.bbox.fr PRIVMSG #esoteric :That's like 3000 years < 1400007996 721872 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :3000 beers? im down < 1400008114 182562 :nortti!nortti@nano.smar.fi QUIT :Ping timeout: 276 seconds < 1400008152 630543 :nortti!~juhani@62-183-153-95.bb.dnainternet.fi JOIN :#esoteric < 1400008152 793602 :nortti!~juhani@62-183-153-95.bb.dnainternet.fi QUIT :Client Quit < 1400008173 912677 :nortti!nortti@nano.smar.fi JOIN :#esoteric < 1400008207 647663 :nortti_!~juhani@62-183-153-95.bb.dnainternet.fi JOIN :#esoteric < 1400008417 306587 :nortti_!~juhani@62-183-153-95.bb.dnainternet.fi QUIT :Client Quit < 1400008457 284885 :nortti_!~juhani@62-183-153-95.bb.dnainternet.fi JOIN :#esoteric < 1400008490 656751 :nortti!nortti@nano.smar.fi QUIT :Disconnected by services < 1400008496 498403 :nortti_!~juhani@62-183-153-95.bb.dnainternet.fi NICK :nortti < 1400008617 796450 :nortti!~juhani@62-183-153-95.bb.dnainternet.fi QUIT :Client Quit < 1400008729 482574 :nortti!nortti@nano.smar.fi JOIN :#esoteric < 1400009444 344492 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Remote host closed the connection < 1400010103 836245 :password2!~password@197.78.182.14 JOIN :#esoteric < 1400010153 781980 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:Zero14]]4 10 02http://esolangs.org/w/index.php?diff=39509&oldid=39472 5* 03GreyKnight 5* (+152) 10/* Hello world! */ new section < 1400010232 87921 :password2!~password@197.78.182.14 QUIT :Max SendQ exceeded < 1400010277 142405 :password2!~password@197.78.182.14 JOIN :#esoteric < 1400010340 388186 :password2!~password@197.78.182.14 QUIT :Max SendQ exceeded < 1400010404 118165 :password2!~password@197.78.182.14 JOIN :#esoteric < 1400010495 86207 :password2!~password@197.78.182.14 QUIT :Max SendQ exceeded < 1400011538 325668 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 JOIN :#esoteric < 1400011659 442695 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :is this place active? < 1400011670 904849 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fungot is always active < 1400011671 156219 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :shachaf: i guess it's easier for the programmer. useful enough, in retrospect. did any of this < 1400011672 420603 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no < 1400011699 666049 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :... < 1400011701 498061 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :anyway < 1400011713 806503 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`relcome tailcalled < 1400011714 584271 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​04Welcome 07to 08the 09international 02hub 06for 13esoteric 04programming 07language 08design 09and 02deployment! 06For 13more 04information, 07check 08out 09our 02wiki: 06. 13(For 04the 07other 08kind 09of 02esoterica, 06try 13#esoteric 04on 07irc.dal.net.) < 1400011735 354549 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :does anybody know any function that is "just barely" uncomputable? < 1400011756 324121 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :elaborate < 1400011766 789051 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :maybe you mean a semicomputable function, though < 1400011783 580053 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :well, I made the language called Zero < 1400011801 303131 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :because I wanted to make an unimplementable language without extra power < 1400011809 655130 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :but the method feels kinda cheaty < 1400011850 603250 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :so I was wondering if anyone happened to know an unusable uncomputable function < 1400011870 641791 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :what would a usable uncomputable function even be. < 1400011887 770535 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :an oracle? < 1400011903 564012 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :well, solving the halting problem would be usable < 1400011908 897199 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :well, useful < 1400011915 694080 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :usable = useful in my head < 1400011943 897011 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :eh, well you can reduce uncomputable functions to the halting problem, or something. probably. < 1400011953 522305 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :a random oracle is not very useful, unless you're doing cryptography :) < 1400011992 987296 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :not every uncomputable function, I would assume < 1400011995 606011 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :people study relativization wrt a random oracle in complexity theory < 1400012007 621846 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :you assume. < 1400012013 862486 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :P^A != NP^A with probability 1 for a random oracle A < 1400012017 477955 :MoALTz!~no@user-164-126-252-188.play-internet.pl JOIN :#esoteric < 1400012028 236227 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :but this is also true for some classes that are actually known to be equal < 1400012088 438339 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :well, having an incompressible stream is less powerful than halting problem, correct? < 1400012110 456284 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :i don't want to get out my copy of li and vitanyi but, for example, you can make a turing-complete computer out of diophantine equations < 1400012149 95818 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :tailcalled: well the incompressible stream isn't uncomputable, is it? what's uncomputable is verifying that it's incompressible. < 1400012156 369552 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: ooh, should I read this book? < 1400012167 103923 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :"This was the second-hardest book I ever read. Honestly, it took me years and years to get through it. I even had to buy a 2nd copy, because I kept getting frustrated and throwing the first copy across the room until it was destroyed. So yes, this book requires a substantial effort to read." < 1400012181 808482 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :bike: having a program computing an iincompressible stream is a contradiction in itself < 1400012202 758686 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :bike: because that program would be a compression of the stream < 1400012204 435265 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :kmc: http://fioraaeterna.tumblr.com/post/21338563373/ran-helps-kaguya-learn-information-theory-just fiora-approved < 1400012226 495112 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :bike: of course, the halting sequence is an example of an incompreessible stream < 1400012228 710233 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :kmc: it's good, though i can't endorse the bayes stuff near the end :V < 1400012230 570415 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric ::D < 1400012244 773057 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :whoops, just realized that I didn't specify that I meant infinite stream < 1400012244 920750 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :derp < 1400012252 306384 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :no, i got that. < 1400012269 39864 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :ah, ok < 1400012284 915992 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :i mean i'm sure we all know that finite sequences are all computable. < 1400012288 123535 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :stream implies infinite. otherwise you'd have said string < 1400012292 432184 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :yeah < 1400012292 623414 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :also that. < 1400012296 434106 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :exactly < 1400012302 194746 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :but sometimes streams are finite < 1400012303 840082 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :tailcalled: if I write down a table for f(0), f(1), etc. and flip an ideal coin for each output, the resulting function is uncomputable, and useless < 1400012331 649278 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :stream is incompressible means all its prefixes are incompressible up to a constant < 1400012334 518448 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :kmc: I would prefer a unique characterization < 1400012335 859432 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I can implement queries to this oracle in finite time, too < 1400012346 120586 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it's interesting to think about why this doesn't violate the church-turing thesis < 1400012385 384851 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :kmc: because there is a positive probability of any given prefix, including zeroes < 1400012409 479025 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :although streams are incompressible with probability 1, there's only one known family of such streams, namely the halting probabilities < 1400012423 866321 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :tromp_: is that so? < 1400012443 447459 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :"this is the kind of book that literally sticks open problems in its exercises" hehe.. < 1400012471 293971 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :yeah, it's fun. like taocp or... ok i'm blanking < 1400012479 738943 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :it actually uses the system from taocp, i think. < 1400012479 989938 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :i think so. i don't know how else to define a stream that is provably nicompressible < 1400012520 831449 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :tromp_: are there no uncomputable problems that are easier than the halting problem? < 1400012545 164003 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :easier in what sense? < 1400012567 241848 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :easier in that an oracle for the problem doesn't give you a halting oracle? < 1400012575 9729 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :having an oracle for them does not give you halting, yes. < 1400012596 600367 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :that's not what i'd call easier < 1400012600 110120 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :I wonder about BusyBeaver(x)%2 < 1400012608 340245 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Turing_degree, yes? < 1400012608 968112 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :tromp_: what would you call easier? < 1400012620 335660 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :well it's in general a partial order < 1400012638 660704 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :yeah, there are infinite degrees between 0 and 0', or whatever < 1400012644 886177 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :and they're only pordered < 1400012646 650683 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :i can't think of a well defined class in between recursive and recursively enumerable < 1400012650 523770 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :partial shmartial < 1400012706 978690 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :it feels like there should be such a class < 1400012728 752556 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :a random stream doesnt give you a halting oracle < 1400012738 500616 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :surely that cant be called easier:( < 1400012749 447982 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :i feel like introducing stochasticity is just going to confuse things. or perhaps only confuse me. < 1400012754 200691 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :tromp_: can you give me an example of a random stream which doesn't give the halting oracle? ;) < 1400012775 33537 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :6,6,6,6,6,6,6, < 1400012786 2210 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :I meant a full example :P < 1400012789 539796 :mhi^!~mhi@unaffiliated/mhi/x-9993184 QUIT :Quit: Lost terminal < 1400012804 531741 :nucular!~MOO@unaffiliated/nucular QUIT :Quit: Excess Food < 1400012851 220467 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :kmc: oh, i should also mention the book is pretty esolangy and constructive. they spend a lot of time setting up an explicit turing machine encoding (prefix-free of SKI) and making bitmaps of programs and shit < 1400012868 911990 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :of course i cannot explicitly define one that's provably so < 1400012888 416485 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :but i claim that with prob. 1 a random one has that property < 1400012916 425417 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :well, can you prove that? < 1400012930 606254 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :anyway, I would prefer not doing random stuff < 1400012944 730427 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :not without doing some literature search < 1400012982 251003 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :Bike, that's what i contributed to the book before i invented blc < 1400012992 952950 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :i was still dablling with combinatory logic then < 1400013045 116065 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :Paul Vitanyi was my supervisor btw < 1400013060 499290 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :I wonder if one can exploit rice's theorem in this... < 1400013106 762049 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :probably not... < 1400013332 294215 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :actually, maybe one could use uncomputable functions to make a unusable uncomputable function < 1400013350 46809 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :i.e. let H be the halting function and BB be busy beaver < 1400013361 959633 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :and G be graham's number, for good measure < 1400013386 30229 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :would x -> H(BB(BB(BB(x+G)))) be useful? :P < 1400013398 427649 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :my proposal for one would be the xor of two halting probabilities < 1400013402 830922 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :welp, derp < 1400013407 115172 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :eg one for blc with one for bf < 1400013418 83899 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :or no, it works fine, mine, that is < 1400013424 782980 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :thought I realized a mistake < 1400013455 510156 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :but that seems unusable to me < 1400013460 734656 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :that's well defined and almost certainly uncomputable and useless:) < 1400013471 994353 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric ::D < 1400013533 266828 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :hmm < 1400013533 413997 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :alternatively you could take the halting probability of the universal BLC machine equipped with a halting oracle < 1400013539 18848 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone < 1400013555 46626 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :it's not immediately obvious how to prove my function is uncomputable < 1400013575 648203 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :ie. the next level halting prob < 1400013602 166309 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :so, basically, making unusable uncomputable functions by increasing the uncomputability < 1400013602 769201 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric ::D < 1400013629 384380 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :actually < 1400013634 760501 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :I don't think yours would work < 1400013640 833523 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :yes, that's why i objected to calling such things easy < 1400013681 633853 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :well, it's easy because it can be faked < 1400013691 552137 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :well, it can't < 1400013698 682612 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :well, the hard ones can < 1400013727 850426 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :so the hard easy problems are easy because they are fakable; the easy easy problems are easy because they are easier than halting < 1400013757 820518 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :but couldn't one compute ordinary halting probability from BLC+HO halting probability? < 1400013761 378863 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I get the feeling my ISP is making my internet connection slower after 10 o'clock < 1400013811 112341 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :muuuuuuch slower < 1400013818 332965 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :"yay" < 1400013820 656750 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Do some experiments with downloading big things over the 10 o'clock mark and observing the download speed? < 1400013834 96224 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :no, tailcalled, you cannot simulate the oracle BLC computations that accumulate to that HO haltingprobability < 1400013845 261836 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Or alternatively read the user agreement for the ISP < 1400013848 21785 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :mroman_: you think it's deliberate, and not just that demand increases a lot? < 1400013863 429243 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :kmc: Don't know. < 1400013865 45209 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :tromp_: but the halting probability is essentially the halting sequence < 1400013872 872248 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It's just that streaming movies is impossible after 10 o'clock < 1400013884 523578 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :in the most compressed form < 1400013892 130283 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :tromp_: and there is a computable function that assigns LC terms to OBLC terms, right? < 1400013920 887859 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :with equivalent behaviour < 1400013949 656571 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :the oracle could be a negative de bruijn index < 1400013991 942240 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :or an extra argument < 1400013996 489998 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :sure < 1400014009 356239 :Slereah!~jackal@bau91-h01-176-189-82-82.dsl.sta.abo.bbox.fr QUIT :Ping timeout: 250 seconds < 1400014015 548910 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :but you could always take a normal LC term and convert it to an OBLC term by ignoring the oracle < 1400014032 352221 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :sure; they're identical in the first case < 1400014032 630644 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :and the halting probability let's you check if a program halts, correct? < 1400014047 930375 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :yes < 1400014076 613040 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :so let |x| denote the conversion of LC to OBLC, HOBLC the halting function for OBLC < 1400014086 963260 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :HLC(x) = HOBLC(|x|) < 1400014098 39314 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :where HLC is halting function for lambda calculus < 1400014127 730501 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric ::/ < 1400014140 358329 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :idea < 1400014150 712249 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :what if one took the busy beaver sequence < 1400014160 820659 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :but only makes it explorable in a limited way < 1400014169 431598 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :so essentially < 1400014177 61208 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :there's a counter C < 1400014203 94698 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :and a command B(x) which increments C and takes the xth bit of the Cth busy beaver number < 1400014208 108018 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :yes, for halting functions, the HO case subsumes the plain case < 1400014217 528985 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :but not for halting probabilities < 1400014249 911240 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :so a BLC machine can extract the halting sequence from the halting probability < 1400014252 444890 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :didn't you agree that halting probabilities could be used to find the halting problem? < 1400014256 292579 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :*function < 1400014275 635832 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :but you need an OBLC to do the same for oracle halting prob < 1400014281 990097 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :you... do? < 1400014302 742279 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :it's this halting prob. we're talking about, right? http://en.wikipedia.org/wiki/Halting_probability < 1400014313 357931 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :yes, since it involves doing infinitely many simulations accumulating probabilities < 1400014350 80960 :Slereah_!~jackal@176.222.51.233 JOIN :#esoteric < 1400014362 558298 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It's not fast enough to stream 40m of film in 40m < 1400014364 497422 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :you should read Chaitin's papers on why Omega is "the number of wisdom" < 1400014377 979450 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :wait, how are you able to observe the halting probability? arbitrary approximation? bit-indexing? what is it? < 1400014389 2395 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :if it takes longer than n minutes to download n minutes of film you can't stream it < 1400014397 457577 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that's sorta the streaming lemma < 1400014409 349199 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :actually, you can < 1400014418 167442 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :for example, if it takes n minutes + 1 second < 1400014420 73768 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :it can be your input stream, or an oracle stream of bits < 1400014425 970934 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :you could download a tiny bit < 1400014453 208337 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :you can define machine to compute from infinite input to infinite output < 1400014458 676543 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :and the distance between the part you've dl'ed to and the part you've watched to might not reach zero before the film is over < 1400014471 273397 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :tailcalled: I know < 1400014488 928099 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :tromp_: but in that case < 1400014498 454462 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but currently it looks like it's 1.5*n < 1400014505 434931 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :tromp_: the halting probability is represented as a bit-sequence < 1400014517 670529 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :yes, it is < 1400014538 407472 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :i computed the first 4 bits for blc halting prob < 1400014541 145433 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :tromp_: and by the definition of how the halting probability is, the 1 bits are exactly where the codes for machines that halt are < 1400014551 200063 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :no:( < 1400014571 573538 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :tromp_: yes they are? < 1400014582 851583 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :oh < 1400014583 881838 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :wait < 1400014586 212854 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :I see < 1400014589 76093 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :a halting program of length k contributes 2^-k to the halting prob < 1400014597 851086 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :I didn't see the length part < 1400014599 79402 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :dero < 1400014600 674968 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :*derp < 1400014620 810543 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :whereas in the halting seq it would be some bit at index roughly 2^k < 1400014655 826059 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :anyway, how about my alternative? < 1400014666 130546 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :so halting prob is exponentially more dense than halting sequence < 1400014683 41643 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric ::O I just had the best idea ever < 1400014684 715813 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :what alternative? < 1400014687 91076 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :no, wait < 1400014691 572085 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :._. < 1400014697 34535 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :anyway, my alternative < 1400014705 231465 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :there is an internal counter C < 1400014724 498075 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :and an operation B(x) which increments C and returns the xth bit of the Cth busy beaver number < 1400014738 494606 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :no way to reduce the value of C or anything < 1400014810 671763 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :a little complex < 1400014825 653697 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :how about every other bit of blc halting prob? < 1400014836 725715 :nooodl!~nooodl@165.101-242-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1400014840 834174 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :that's well defined and uncomputable < 1400014847 530384 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :and most certainly useless < 1400014902 411506 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :meh < 1400014903 241056 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :anyway , i shld get back to do some work:( < 1400014939 163788 :AnotherTest!~turingcom@d51A428A9.access.telenet.be QUIT :Ping timeout: 276 seconds < 1400014966 610667 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I graphed how my project is doing at keeping up with Rust language changes: http://people.mozilla.org/~mbrubeck/servo-rust-updates.svg < 1400014995 267001 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :> cycle [] < 1400014996 675674 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : *Exception: Prelude.cycle: empty list < 1400015007 532345 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :( cycle [] < 1400015007 927853 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:7:When elaborating argument 13xs to function 09Prelude.Stream.cycle: < 1400015008 75108 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric : Can't unify < 1400015008 75207 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric : 12Vect 040 13a < 1400015008 75244 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric : with < 1400015008 75282 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric : 12Vect (04S 13n) 13a14↵… < 1400015020 379209 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :woooo dependent types < 1400015034 633241 :nooodl!~nooodl@165.101-242-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :> take 0 (cycle []) < 1400015036 600059 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [] < 1400015041 866258 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :> take 0 undefined < 1400015043 473799 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [] < 1400015054 408953 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :> fix (take 0) < 1400015055 784808 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [] < 1400015056 781079 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1400015074 774284 :nooodl!~nooodl@165.101-242-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :oh right take 0 is just const [] < 1400015148 258706 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :( \a,xs:List a => take 0 xs < 1400015148 652178 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :\13a => \13xs => 04[] : (13a : 12Type) -> 12List 13a -> 12List 13a < 1400015599 503963 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07One14]]4 N10 02http://esolangs.org/w/index.php?oldid=39510 5* 03Tailcalled 5* (+1394) 10Created page with "One is a language invented by Tailcalled. It is an uncomputable extension to a Brainfuck dialect, but it is designed to not be significantly more powerful than ordinary Brainf..." < 1400015613 562358 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :I made a thing :D < 1400015660 361498 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :and yes, I made an instruction that I named Instruction, because I can < 1400015714 964617 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :what does I do on negative input? < 1400015760 735324 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07One14]]4 10 02http://esolangs.org/w/index.php?diff=39511&oldid=39510 5* 03Tailcalled 5* (+89) 10 < 1400015768 310970 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :explained < 1400015800 710486 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :you need to give an example of its usde < 1400015815 884965 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :uhm < 1400015819 144118 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :what is the output on the first call with x=0? < 1400015834 706214 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :how exactly is BB defined? < 1400015839 522470 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :whoops, maybe I should have defined busy beaver more clearly < 1400015873 740287 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :I always forget that BB is somewhat ambiguous :/ < 1400015898 910645 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :also , this requires you to nail down every other detail < 1400016004 56490 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :http://esolangs.org/wiki/Talk:Rand.Next() <- since PRNGs are actually deterministic it should at least be possible to calculate a seed so that it constructs a given brainfuck program < 1400016045 871139 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :however, that sadly doesn't answer if such a seed even exists < 1400016112 530182 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :the seed will need to be at least as big as the program?! < 1400016133 815731 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :not necessarily? < 1400016140 564265 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :well, on avg < 1400016158 313946 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It could happen that the seed 0 will produce the cat program < 1400016211 666595 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :nad your next 10 coin tosses cld be all tails. still on avg that will take 2^10 tries:) < 1400016216 180450 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`coins < 1400016217 652548 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​04birdcoin 07tabllinecoin 08dutackethaxcoin 09fukcoin 02fitcoin 06clecoin 13bubtlecoin 04dularcoin 07convercoin 08factioncoin 09trecoin 02suonymcoin 06eoncoin 13deltmachialigsetticoin 04smilectcoin 07juxtapcoin 08scenscrcoin 09bicscoin 02dreimaccoin 06sandcoin < 1400016242 707198 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa, that wrapped perfectly on my screen < 1400016243 41476 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :tromp_: true < 1400016251 866969 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :That's the beauty about statistics < 1400016253 543664 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: did you see my Rust-graph? < 1400016273 531224 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :If somebody says your coin was manipulated after producing 1 Mio. times tails in a row < 1400016277 361302 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :did we have any duplicates from `coin so far? < 1400016280 117608 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :you can still say "nope. I didn't." < 1400016296 214849 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :int-e: yes, I saw dupcoin twice < 1400016301 252089 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and he'll never prove for sure that you manipulated it < 1400016307 773896 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07One14]]4 10 02http://esolangs.org/w/index.php?diff=39512&oldid=39511 5* 03Tailcalled 5* (+927) 10 < 1400016308 974747 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: yes < 1400016337 991627 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07One14]]4 10 02http://esolangs.org/w/index.php?diff=39513&oldid=39512 5* 03Tailcalled 5* (+0) 10/* Busy Beaver */ mixed up in and out < 1400016374 757659 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :however < 1400016377 227566 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :seems better now? < 1400016380 509140 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :since PRNGs aren't really random < 1400016388 981110 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :nobody cares about absolute proof. < 1400016394 721496 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 240 seconds < 1400016397 278484 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :actually there are quite a few duplicates < 1400016399 716646 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :you might be able to prove that no number shows up more than twice in a row < 1400016500 616025 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 PRIVMSG #esoteric :any more questions about One before I go to bed? < 1400016529 141842 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :elliott: was that directed to me? < 1400016567 970376 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :You can calculate how much you have to throw a die to prove with k% certainty that it was manipulated < 1400016582 131421 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and assuming you cut somebodys hand off if he uses a manipulated die < 1400016586 225768 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah. < 1400016592 701955 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :how big must k be for society to live with it? < 1400016660 754356 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :bifurcoin < 1400016719 354187 :atriq!90208033@gateway/web/freenode/ip.144.32.128.51 JOIN :#esoteric < 1400016727 987373 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :fornicoin < 1400016730 583774 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 QUIT : < 1400016764 755127 :atriq!90208033@gateway/web/freenode/ip.144.32.128.51 PRIVMSG #esoteric :@ask oerjan How do I, as an Englishman, go about pronouncing "Tromsø"? < 1400016764 902359 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1400016767 908873 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :mroman_: 7.18 < 1400016800 123187 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07One14]]4 10 02http://esolangs.org/w/index.php?diff=39514&oldid=39513 5* 03Tailcalled 5* (+68) 10 < 1400016807 307689 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :elliott: that's pretty low < 1400016809 300284 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but ok... < 1400016822 876629 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :mroman_: 92.111111114 < 1400016826 646415 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :the other question is whether k can be lower for less severe punishments < 1400016844 377399 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :atriq: Probably you should aim for the way that Norwegians pronounce it. < 1400016848 638917 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :also weren't you dutch < 1400016850 321315 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> 1/0.0788 < 1400016851 724736 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 12.69035532994924 < 1400016857 450261 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> 1/0.0718 < 1400016859 78837 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 13.927576601671309 < 1400016866 141692 :impomatic!~digital_w@43.16.208.46.dyn.plus.net PRIVMSG #esoteric :Emoticoin? Bacoin? Silicoin? :-) < 1400016867 710287 :atriq!90208033@gateway/web/freenode/ip.144.32.128.51 PRIVMSG #esoteric :shachaf: I'm only dutch etymologically and genealogically speaking < 1400016877 747124 :atriq!90208033@gateway/web/freenode/ip.144.32.128.51 PRIVMSG #esoteric :Culturally and linguistically, I'm Bristish < 1400016887 514328 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :coin-cidences < 1400017037 68912 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Is there crypthography based on the halting problem by any chance? < 1400017058 16430 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :not that I'm aware of < 1400017061 738180 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it would probably be hard to implement < 1400017093 897718 :atriq!90208033@gateway/web/freenode/ip.144.32.128.51 QUIT : < 1400017586 111960 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1400018007 327811 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t hex < 1400018008 218392 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(Choice p, Applicative f, Integral a) => p a (f a) -> p String (f String) < 1400018022 872839 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@messages- < 1400018023 20243 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :atriq asked 20m 58s ago: How do I, as an Englishman, go about pronouncing "Tromsø"? < 1400018040 510734 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: badly hth < 1400018115 789749 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :google translate isn't too bad but i think the ø is a little to weak < 1400018195 736032 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION clicks the english pronunciation, which sounds about as close as he'd expect an english-speaker to be able to get it
< 1400018299 426960 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if i put a hyphen (Troms-ø), then the norwegian pronunciation gets the ø about right put has the wrong pitch accent on the word as a whole < 1400018334 420452 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :did you try putting in an INVISIBLE STRENGTH instead < 1400018372 221392 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nope < 1400018383 704101 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`unicode INVISIBLE STRENGTH < 1400018384 637444 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1400018397 58255 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :very invisible < 1400018438 93319 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell Taneb Read the logs. < 1400018438 240577 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1400018795 797738 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : or should it just be "happy hectomegasecond" <-- i'm pretty sure SI prefixes don't combine. < 1400019226 187370 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :boo < 1400019233 310109 :augur!~augur@50.246.71.61 JOIN :#esoteric < 1400019876 246342 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1400020768 187384 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1400021411 919832 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t fix (take 0) < 1400021412 737547 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :[a] < 1400021422 798098 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fancy < 1400021444 184204 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t fix (drop 0) < 1400021445 153382 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :[a] < 1400021510 463479 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :take 0 is like \_ -> [] :: [a] -> [a] right < 1400021512 324388 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :@eval < 1400021522 246563 :metasepia!~metasepia@96.127.201.149 JOIN :#esoteric < 1400021533 670306 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :@eval fix (take 0) 123 < 1400021538 50005 :Sorella!~queen@oftn/member/Sorella QUIT :Quit: It is tiem! < 1400021543 256207 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :~eval fix (take 0) 123 < 1400021543 403745 :metasepia!~metasepia@96.127.201.149 PRIVMSG #esoteric :Error (127): < 1400021545 766340 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :... < 1400021554 158341 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :~metar ENVA < 1400021554 661664 :metasepia!~metasepia@96.127.201.149 PRIVMSG #esoteric :ENVA 132220Z 35010KT 9999 BKN044 05/M04 Q1018 RMK WIND 670FT 01015KT < 1400021600 310415 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: fix (take 0) is not a function hth < 1400021607 398471 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :> fix (take 0) < 1400021608 897688 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [] < 1400021616 618459 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :oh, it's actually not bottom < 1400021623 894401 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :for once < 1400021627 41560 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :> fix (drop 0) < 1400021631 248342 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1400021635 911924 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :worst < 1400021649 732932 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :my Haskell is borken. too much Java in my world. < 1400021669 325060 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :oerjan: Montréal is now warm! (and humid too) < 1400021674 66440 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :~metar CYUL < 1400021674 468785 :metasepia!~metasepia@96.127.201.149 PRIVMSG #esoteric :CYUL 132240Z 11007KT 30SM FEW055 OVC075 18/09 A3012 RMK SC2AC6 SLP201 DENSITY ALT 200FT < 1400021679 400474 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: you need to go on a profunctor pilgrimage twh < 1400021718 178713 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :I long for the day where we'll push Java 8. a meager consolation, but progress towards the Great Functional Unification! < 1400021747 397359 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :I still agree about the Pilgrimage. that'd do me much good. < 1400021805 706402 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :santiago de composition < 1400021939 510148 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :apparently, Jacob, James and Jacques are all related. < 1400022011 314630 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so are Ørjan, Jürgen and George < 1400022087 13676 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :surprising. < 1400022098 679242 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Ivan, John and Hans. < 1400022158 128864 :augur!~augur@50.246.71.61 QUIT :Remote host closed the connection < 1400022201 600114 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :that one I know because of my girlfriend's surname. < 1400022203 566724 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i probably still have in storage the old baby names book with pictures of trees of big name families < 1400022322 304393 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, hmm < 1400022336 471354 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, are there many fish and chip shops in Norway? < 1400022353 110312 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :not to my knowledge. < 1400022471 330476 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there aren't really as many fish shops as there ought to be, with or without chips < 1400022505 341495 :augur!~augur@50.246.71.61 JOIN :#esoteric < 1400022510 914800 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :. o O ( hm. a fish'n'chip poutine. I should try to make that one time... ) < 1400022539 898816 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :boily, how many fish and chop shops are there in Canadia? < 1400022551 742610 :augur!~augur@50.246.71.61 QUIT :Remote host closed the connection < 1400022557 509863 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :late night fast food is mainly kebab and burgers these days. maybe some sausages, if i'm to believe norway's main relevant comic. < 1400022672 949377 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :does norway have the innovation of 99¢ Fresh Pizza < 1400022674 378236 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :Taneb: eh... not that much, at least here. < 1400022707 242091 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kmc: except for the price, probably. i used to buy pizza slices at the bunnpris chain when i was at university. < 1400022712 718959 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :Taneb: there's the http://www.britandchips.com/ < 1400022713 529018 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :There's two between me and the city wall < 1400022740 607365 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think they were 30 nok or so < 1400022751 547699 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :99¢ Fresh Pizza is a thing in New York, and it's pretty distinct from the standard NYC pizza experience, which is like $2 or $3 a slice < 1400022769 579130 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(back in 1998 or so) < 1400022856 883651 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :looks like that was about $4 then < 1400022873 830540 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :norwegian grocery is based on the strange combination of heavily advertising "low" prices and customers mainly refusing to buy cheap non-name brands < 1400022908 731106 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :NOK/USD experienced quite a drop from July '08 to December '08 < 1400022911 636963 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :but so did many things. < 1400022965 295693 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net JOIN :#esoteric < 1400022977 753926 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well yeah norway has been mostly an oasis against the crisis < 1400022996 719600 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so at some points investors hoarded NOKs < 1400023029 825222 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :"Currently as of 2014, support for Swedish membership of the euro among the general population is low. In September 2013, support fell as low as 9%" < 1400023110 71202 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: i have a vague recall of my dad once making a fish pizza, back in the 80s. and possibly a brunost one, which is even more insane. < 1400023179 783278 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :brunost. I don't know why, but that word inspires me uncharacteristicly high amounts of dread. < 1400023203 562818 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: i can see you have a well-developed intuition. < 1400023235 705742 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(actually i like it in moderate amounts, but then i'm a norwegian. but it does _not_ go well with pizza.) < 1400023266 793240 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :kmc: we have http://www.pizzapizza.ca/ and http://www.doublepizza.net/. < 1400023275 657043 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, for an even higher level of dread, gammalost. < 1400023302 635377 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(i'll eat that too. i think. it's been a while.) < 1400023340 51398 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :“pungent traditional”. I'm... probably going to have a bite of it if I ever get the chance of, but anything can happen. < 1400023392 874454 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I'm almost tempted to switch to Firefox < 1400023411 611378 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :make sure you spend some time on consideration of important life decisions like that sgeo < 1400023476 775017 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :FIREFOX IS THE BESTEST! ANYONE WHO DISAGREE ARE VILE CHROME USERS! < 1400023477 948395 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :Sgeo < 1400023488 207892 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I'd gladly float back and forth between browsers if everything stayed synced < 1400023503 551310 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :look, i know you're having a rough time with your browser choices, but remember, you can talk to us < 1400023514 304914 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :don't rush headlong into a decision that might affect you for the rest of your life < 1400023626 790485 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah look at me, stuck with IE < 1400023662 175635 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :Sgeo, you know you want firefox. it's good for you, and it'll make you feel right. < 1400023816 318873 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: clearly the right thing to do is to have an automatic script to change between browsers until your configuration reaches a periodic point. that way you'll always be synced! < 1400023888 421929 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :but what if Sgeo uses a chaotic map? < 1400023922 221086 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :impossible with finite memory hth < 1400023959 166081 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm sure a realistic setup will converge _long_ before black holes start evaporating. < 1400023976 362802 :atslash!~atslash@46.72.95.117 QUIT :Quit: This computer has gone to sleep < 1400024642 722394 :MoALTz_!~no@user-164-126-252-188.play-internet.pl JOIN :#esoteric < 1400024817 483317 :MoALTz!~no@user-164-126-252-188.play-internet.pl QUIT :Ping timeout: 265 seconds < 1400024859 203952 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I don't particularly want a large chain of "These bookmarks came from Chrome: These bookmarks came from Firefox: These bookmarks came from Chrome: These bookmarks came from Firefox: ..." < 1400024932 597812 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :this is clearly what cyclic directory hard links were made for hth < 1400025045 246207 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :> fix ("These bookmarks came from Chrome: These bookmarks came from Firefox: "++) < 1400025046 549276 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "These bookmarks came from Chrome: These bookmarks came from Firefox: These ... < 1400025076 848222 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kmc: cyclewh < 1400025120 195922 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i'm still pleased about fix (take 0) < 1400025143 594877 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it's also the greatest fixed point! < 1400025200 761418 :ion!ion@heh.fi PRIVMSG #esoteric :heh < 1400025238 368547 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric ::t fix (take 0) < 1400025239 331598 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :[a] < 1400025286 124283 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :good fixed point < 1400025314 552179 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1400025322 146787 :Bike!~Glossina@67-5-207-17.ptld.qwest.net PRIVMSG #esoteric :[] isn't the least fixed point, is it? < 1400025557 316788 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric ::t take 0 < 1400025558 215681 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :[a] -> [a] < 1400025572 351449 :tromp!~tromp@ool-4570a006.dyn.optonline.net JOIN :#esoteric