< 1510792912 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1510793152 0 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1510793824 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1510793885 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :grmbl windows appears to have managed to reboot without my permission. < 1510793902 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it does that due to mandated updates < 1510793919 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i had applied a hack that was supposed to prevent it. < 1510794079 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hack harder < 1510794345 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the most annoying thing is that although it tried to restart the browser, it came up with a halfway wrong set of tabs. < 1510794555 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric < 1510794557 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :QUINTHELLOPIAAAAAAAAAAAA! < 1510794581 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :fungot: NOSTRIIIIIIIIIIIIIIL! < 1510794581 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: they say that an opulent throne room is rarely a place to go to my lair to die. ( wump ( 6) " fillet of a sort, yet there was no sword in its eyes. < 1510794597 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :HELLØØØØØØØØØØØØØØØRJAN! < 1510794645 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :is fungot playing NetHack again? < 1510794645 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :ais523: polymorph into an unknown being. a towel, it is even more muddled and confused. ( fog, by patrick mcgoohan) < 1510794667 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :helloily! < 1510794693 0 :jaboja!~jaboja@jaboja.pl QUIT :Remote host closed the connection < 1510795309 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :fungot: you're already an unknown being. stop polymorphing. < 1510795309 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: rogue, and hung upon the stays to dry. our stout boots, leathern breeks and deerskin shirts, with a +5 shovel. able to shapeshift, his unpopularity may have been introduced by the all-restrainer hupnos. his nature by which he holds, consisting of a sort of a pearly whiteness; but these luxuriances only formed a more horrid contrast with his claws and poison their unwary victims as well as grabbing and crushing the life o < 1510795309 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :his523! < 1510795309 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hmph the SO thread i found it now has a comment that the hack no longer works. and hasn't for about a year :P < 1510795309 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i guess i've just been diligent with rebooting by hand in time. < 1510795309 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :except now. i don't remember getting a message that it was _about_ to reboot. < 1510795314 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :of course i cannot find a new, up to date answer. < 1510795336 0 :fizzie!?@? PRIVMSG #esoteric :ais523: Yes, I set the style to that the other week, and it seems to have stuck. < 1510795365 0 :Elronnd!elronnd@slashem.me QUIT :*.net *.split < 1510795366 0 :watered!~water@2405:204:54a9:4e22:42f7:a1c8:b1d5:9a49 QUIT :*.net *.split < 1510795366 0 :fungot!~fungot@momus.zem.fi QUIT :*.net *.split < 1510795366 0 :sdhand!~sam@unaffiliated/kyubiko QUIT :*.net *.split < 1510795367 0 :GeekDude!~G33kDude@unaffiliated/g33kdude QUIT :*.net *.split < 1510795367 0 :wladz!~zuz@107.170.255.55 QUIT :*.net *.split < 1510795367 0 :Melvar!~melvar@dslb-088-076-098-100.088.076.pools.vodafone-ip.de QUIT :*.net *.split < 1510795367 0 :olsner!~salparot@c83-249-177-44.bredband.comhem.se QUIT :*.net *.split < 1510795367 0 :brandonson!~brandon@208.91.114.4 QUIT :*.net *.split < 1510795367 0 :ocharles!sid30093@musicbrainz/user/ocharles QUIT :*.net *.split < 1510795367 0 :Roger9!rdococ@unaffiliated/rdococ QUIT :*.net *.split < 1510795367 0 :zgrepc!sid43445@ircpuzzles/2015/april-fools/sixth/zgrep QUIT :*.net *.split < 1510795368 0 :sftp!~sftp@unaffiliated/sftp QUIT :*.net *.split < 1510795368 0 :copumpkin!copumpkinm@haskell/developer/copumpkin QUIT :*.net *.split < 1510795368 0 :Slereah_!~Slereah@ALille-651-1-247-71.w90-1.abo.wanadoo.fr QUIT :*.net *.split < 1510795368 0 :idris-bot!~idris-bot@dslb-088-076-098-100.088.076.pools.vodafone-ip.de QUIT :*.net *.split < 1510795368 0 :staffehn!~quassel@2001:41d0:52:d00::1d3 QUIT :*.net *.split < 1510795368 0 :BooK!~book@klonk.bruhat-souche.net QUIT :*.net *.split < 1510795368 0 :clog!~nef@bespin.org QUIT :*.net *.split < 1510795368 0 :Bowserinator!Bowserinat@unaffiliated/bowserinator QUIT :*.net *.split < 1510795368 0 :b_jonas!~x@russell2.math.bme.hu QUIT :*.net *.split < 1510795369 0 :pdxleif!~pdxleif@ec2-54-68-166-10.us-west-2.compute.amazonaws.com QUIT :*.net *.split < 1510795369 0 :joast!~rick@cpe-98-145-132-215.natnow.res.rr.com QUIT :*.net *.split < 1510795369 0 :Cale!~cale@2607:fea8:98df:f37d:cdce:a349:d867:cd74 QUIT :*.net *.split < 1510795369 0 :aloril!~aloril@dsl-tkubng11-54f948-150.dhcp.inet.fi QUIT :*.net *.split < 1510795369 0 :Deewiant!~deewiant@fr1.ut.deewiant.iki.fi QUIT :*.net *.split < 1510795369 0 :myname!~myname@ks300980.kimsufi.com QUIT :*.net *.split < 1510795369 0 :Warrigal!~tswett@192.241.237.138 QUIT :*.net *.split < 1510795369 0 :shikhin!shikhin@unaffiliated/shikhin QUIT :*.net *.split < 1510795369 0 :dingbat!uid70835@gateway/web/irccloud.com/x-jtgjrkfnnxtvodxo QUIT :*.net *.split < 1510795369 0 :lynn!sid154965@gateway/web/irccloud.com/x-raufhxygcngqtqke QUIT :*.net *.split < 1510795369 0 :ATMunn!ATMunn@unaffiliated/atmunn26 QUIT :*.net *.split < 1510795370 0 :Lymia!lymia@magical.girl.lyrical.lymia.moe QUIT :*.net *.split < 1510795370 0 :izabera!~izabera@unaffiliated/izabera QUIT :*.net *.split < 1510795370 0 :^v!v^@me.pxtst.com QUIT :*.net *.split < 1510795370 0 :sparr!~sparr@pdpc/supporter/active/sparr QUIT :*.net *.split < 1510795370 0 :Hooloovo0!Hooloovoo@hooloovoo.blue QUIT :*.net *.split < 1510795370 0 :moonythedwarf!~moony@unaffiliated/moonythedwarf QUIT :*.net *.split < 1510795370 0 :ais523!~ais523@unaffiliated/ais523 QUIT :*.net *.split < 1510795371 0 :grumble!~grumble@freenode/staff/grumble QUIT :*.net *.split < 1510795371 0 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :*.net *.split < 1510795371 0 :int-e!~noone@int-e.eu QUIT :*.net *.split < 1510795371 0 :quintopia!~quintopia@unaffiliated/quintopia QUIT :*.net *.split < 1510795371 0 :pelegreno_!~cinch@107.170.175.57 QUIT :*.net *.split < 1510795371 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :*.net *.split < 1510795372 0 :jjthrash!~jjthrash@util.brownbirdlabs.com QUIT :*.net *.split < 1510795372 0 :Yurume_______!23f9939a@121.78.85.35 QUIT :*.net *.split < 1510795372 0 :FreeFull!~freefull@defocus/sausage-lover QUIT :*.net *.split < 1510795372 0 :ineiros_!ineiros@kapsi.fi QUIT :*.net *.split < 1510795372 0 :Sgeo!~Sgeo@ool-18b98627.dyn.optonline.net QUIT :*.net *.split < 1510795372 0 :APic!apic@apic.name QUIT :*.net *.split < 1510795372 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :*.net *.split < 1510795373 0 :incomprehensibly!sid3405@gateway/web/irccloud.com/x-uiwkxeehbvqlbegf QUIT :*.net *.split < 1510795373 0 :hakatashi!~hakatashi@104.131.49.125 QUIT :*.net *.split < 1510795373 0 :ybden!ybden@coleridge.vehk.de QUIT :*.net *.split < 1510795373 0 :zemhill!bfjoust@selene.zem.fi QUIT :*.net *.split < 1510795373 0 :digitalcold!~redacted@192.73.232.206 QUIT :*.net *.split < 1510795373 0 :xkapastel!uid17782@gateway/web/irccloud.com/x-yqagqxhrgdtwahim QUIT :*.net *.split < 1510795373 0 :atslash!~atslash@broadband-46-188-0-82.2com.net QUIT :*.net *.split < 1510795373 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :*.net *.split < 1510795373 0 :fractal!fractal@unaffiliated/scounder QUIT :*.net *.split < 1510795374 0 :sebbu!~sebbu@unaffiliated/sebbu QUIT :*.net *.split < 1510795374 0 :__20h__!~some_one@r-36.net QUIT :*.net *.split < 1510795374 0 :heroux!sandroco@gateway/shell/insomnia247/x-pwphjypmudkxbcbi QUIT :*.net *.split < 1510795374 0 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-gbdjgiaumqmvxjcb QUIT :*.net *.split < 1510795374 0 :trn!jhj@prone.ws QUIT :*.net *.split < 1510795374 0 :puckipedia!~puck@puckipedia.com QUIT :*.net *.split < 1510795374 0 :ski!~ski@remote11.chalmers.se QUIT :*.net *.split < 1510795374 0 :Taneb!~Taneb@runciman.hacksoc.org QUIT :*.net *.split < 1510795374 0 :betaveros!~betaveros@mint-square.mit.edu QUIT :*.net *.split < 1510795374 0 :shachaf!~shachaf@unaffiliated/shachaf QUIT :*.net *.split < 1510795374 0 :paul2520_!~paul2520@paulkaefer.com QUIT :*.net *.split < 1510795374 0 :imode!~imode@unaffiliated/imode QUIT :*.net *.split < 1510795374 0 :garit2!~garit@unaffiliated/garit QUIT :*.net *.split < 1510795375 0 :doesthiswork!~Adium@207.55.82.87 QUIT :*.net *.split < 1510795375 0 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net QUIT :*.net *.split < 1510795375 0 :erdic!~erdic@unaffiliated/motley QUIT :*.net *.split < 1510795375 0 :HackEgo!~HackEgo@162.248.166.242 QUIT :*.net *.split < 1510795375 0 :contrapumpkin!~copumpkin@haskell/developer/copumpkin QUIT :*.net *.split < 1510795375 0 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :*.net *.split < 1510795375 0 :rodgort`!~rodgort@68.ip-149-56-14.net QUIT :*.net *.split < 1510795375 0 :lifthrasiir!~lifthrasi@ec2-52-79-98-81.ap-northeast-2.compute.amazonaws.com QUIT :*.net *.split < 1510795375 0 :mtve!~mtve@fortress3.myftp.org QUIT :*.net *.split < 1510795375 0 :relrod!~relrod@redhat/relrod QUIT :*.net *.split < 1510795375 0 :xa0!~zeta@unaffiliated/uoy QUIT :*.net *.split < 1510795376 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com QUIT :*.net *.split < 1510795376 0 :deltab!~deltab@ds6266.dedicated.turbodns.co.uk QUIT :*.net *.split < 1510795376 0 :Gregor!dlopen@71.19.155.102 QUIT :*.net *.split < 1510795641 0 :iovoid!~iovoid@unaffiliated/iovoid QUIT :Quit: * < 1510795702 0 :iovoid!~iovoid@unaffiliated/iovoid JOIN :#esoteric < 1510795702 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric < 1510795702 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1510795702 0 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1510795702 0 :watered!~water@2405:204:54a9:4e22:42f7:a1c8:b1d5:9a49 JOIN :#esoteric < 1510795702 0 :garit2!~garit@unaffiliated/garit JOIN :#esoteric < 1510795702 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1510795702 0 :xkapastel!uid17782@gateway/web/irccloud.com/x-yqagqxhrgdtwahim JOIN :#esoteric < 1510795702 0 :sftp!~sftp@unaffiliated/sftp JOIN :#esoteric < 1510795702 0 :atslash!~atslash@broadband-46-188-0-82.2com.net JOIN :#esoteric < 1510795702 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1510795702 0 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric < 1510795702 0 :fractal!fractal@unaffiliated/scounder JOIN :#esoteric < 1510795702 0 :pdxleif!~pdxleif@ec2-54-68-166-10.us-west-2.compute.amazonaws.com JOIN :#esoteric < 1510795702 0 :fungot!~fungot@momus.zem.fi JOIN :#esoteric < 1510795702 0 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1510795702 0 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1510795702 0 :__20h__!~some_one@r-36.net JOIN :#esoteric < 1510795702 0 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1510795702 0 :copumpkin!copumpkinm@haskell/developer/copumpkin JOIN :#esoteric < 1510795702 0 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net JOIN :#esoteric < 1510795702 0 :sdhand!~sam@unaffiliated/kyubiko JOIN :#esoteric < 1510795702 0 :erdic!~erdic@unaffiliated/motley JOIN :#esoteric < 1510795702 0 :ineiros_!ineiros@kapsi.fi JOIN :#esoteric < 1510795702 0 :HackEgo!~HackEgo@162.248.166.242 JOIN :#esoteric < 1510795702 0 :Cale!~cale@2607:fea8:98df:f37d:cdce:a349:d867:cd74 JOIN :#esoteric < 1510795702 0 :Slereah_!~Slereah@ALille-651-1-247-71.w90-1.abo.wanadoo.fr JOIN :#esoteric < 1510795702 0 :contrapumpkin!~copumpkin@haskell/developer/copumpkin JOIN :#esoteric < 1510795702 0 :Sgeo!~Sgeo@ool-18b98627.dyn.optonline.net JOIN :#esoteric < 1510795702 0 :idris-bot!~idris-bot@dslb-088-076-098-100.088.076.pools.vodafone-ip.de JOIN :#esoteric < 1510795702 0 :aloril!~aloril@dsl-tkubng11-54f948-150.dhcp.inet.fi JOIN :#esoteric < 1510795702 0 :GeekDude!~G33kDude@unaffiliated/g33kdude JOIN :#esoteric < 1510795702 0 :brandonson!~brandon@208.91.114.4 JOIN :#esoteric < 1510795702 0 :Elronnd!elronnd@slashem.me JOIN :#esoteric < 1510795702 0 :staffehn!~quassel@2001:41d0:52:d00::1d3 JOIN :#esoteric < 1510795702 0 :APic!apic@apic.name JOIN :#esoteric < 1510795702 0 :Deewiant!~deewiant@fr1.ut.deewiant.iki.fi JOIN :#esoteric < 1510795702 0 :grumble!~grumble@freenode/staff/grumble JOIN :#esoteric < 1510795702 0 :myname!~myname@ks300980.kimsufi.com JOIN :#esoteric < 1510795702 0 :BooK!~book@klonk.bruhat-souche.net JOIN :#esoteric < 1510795702 0 :clog!~nef@bespin.org JOIN :#esoteric < 1510795702 0 :Bowserinator!Bowserinat@unaffiliated/bowserinator JOIN :#esoteric < 1510795702 0 :rodgort`!~rodgort@68.ip-149-56-14.net JOIN :#esoteric < 1510795702 0 :ocharles!sid30093@musicbrainz/user/ocharles JOIN :#esoteric < 1510795702 0 :heroux!sandroco@gateway/shell/insomnia247/x-pwphjypmudkxbcbi JOIN :#esoteric < 1510795702 0 :wladz!~zuz@107.170.255.55 JOIN :#esoteric < 1510795702 0 :lifthrasiir!~lifthrasi@ec2-52-79-98-81.ap-northeast-2.compute.amazonaws.com JOIN :#esoteric < 1510795702 0 :Melvar!~melvar@dslb-088-076-098-100.088.076.pools.vodafone-ip.de JOIN :#esoteric < 1510795702 0 :int-e!~noone@int-e.eu JOIN :#esoteric < 1510795702 0 :Roger9!rdococ@unaffiliated/rdococ JOIN :#esoteric < 1510795702 0 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-gbdjgiaumqmvxjcb JOIN :#esoteric < 1510795702 0 :Warrigal!~tswett@192.241.237.138 JOIN :#esoteric < 1510795702 0 :joast!~rick@cpe-98-145-132-215.natnow.res.rr.com JOIN :#esoteric < 1510795702 0 :shikhin!shikhin@unaffiliated/shikhin JOIN :#esoteric < 1510795702 0 :olsner!~salparot@c83-249-177-44.bredband.comhem.se JOIN :#esoteric < 1510795702 0 :dingbat!uid70835@gateway/web/irccloud.com/x-jtgjrkfnnxtvodxo JOIN :#esoteric < 1510795702 0 :lynn!sid154965@gateway/web/irccloud.com/x-raufhxygcngqtqke JOIN :#esoteric < 1510795702 0 :mtve!~mtve@fortress3.myftp.org JOIN :#esoteric < 1510795702 0 :ATMunn!ATMunn@unaffiliated/atmunn26 JOIN :#esoteric < 1510795702 0 :relrod!~relrod@redhat/relrod JOIN :#esoteric < 1510795702 0 :zgrepc!sid43445@ircpuzzles/2015/april-fools/sixth/zgrep JOIN :#esoteric < 1510795702 0 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN :#esoteric < 1510795702 0 :trn!jhj@prone.ws JOIN :#esoteric < 1510795702 0 :Lymia!lymia@magical.girl.lyrical.lymia.moe JOIN :#esoteric < 1510795702 0 :puckipedia!~puck@puckipedia.com JOIN :#esoteric < 1510795702 0 :moonythedwarf!~moony@unaffiliated/moonythedwarf JOIN :#esoteric < 1510795702 0 :izabera!~izabera@unaffiliated/izabera JOIN :#esoteric < 1510795702 0 :quintopia!~quintopia@unaffiliated/quintopia JOIN :#esoteric < 1510795702 0 :ski!~ski@remote11.chalmers.se JOIN :#esoteric < 1510795702 0 :incomprehensibly!sid3405@gateway/web/irccloud.com/x-uiwkxeehbvqlbegf JOIN :#esoteric < 1510795702 0 :^v!v^@me.pxtst.com JOIN :#esoteric < 1510795702 0 :xa0!~zeta@unaffiliated/uoy JOIN :#esoteric < 1510795702 0 :hakatashi!~hakatashi@104.131.49.125 JOIN :#esoteric < 1510795702 0 :ybden!ybden@coleridge.vehk.de JOIN :#esoteric < 1510795702 0 :pelegreno_!~cinch@107.170.175.57 JOIN :#esoteric < 1510795702 0 :sparr!~sparr@pdpc/supporter/active/sparr JOIN :#esoteric < 1510795702 0 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1510795702 0 :Hooloovo0!Hooloovoo@hooloovoo.blue JOIN :#esoteric < 1510795702 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com JOIN :#esoteric < 1510795702 0 :deltab!~deltab@ds6266.dedicated.turbodns.co.uk JOIN :#esoteric < 1510795702 0 :b_jonas!~x@russell2.math.bme.hu JOIN :#esoteric < 1510795702 0 :Taneb!~Taneb@runciman.hacksoc.org JOIN :#esoteric < 1510795702 0 :digitalcold!~redacted@192.73.232.206 JOIN :#esoteric < 1510795702 0 :betaveros!~betaveros@mint-square.mit.edu JOIN :#esoteric < 1510795702 0 :Gregor!dlopen@71.19.155.102 JOIN :#esoteric < 1510795702 0 :shachaf!~shachaf@unaffiliated/shachaf JOIN :#esoteric < 1510795702 0 :jjthrash!~jjthrash@util.brownbirdlabs.com JOIN :#esoteric < 1510795702 0 :paul2520_!~paul2520@paulkaefer.com JOIN :#esoteric < 1510795702 0 :Yurume_______!23f9939a@121.78.85.35 JOIN :#esoteric < 1510795705 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :wait. < 1510795705 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :Norway. < 1510795705 0 :augur!~augur@192.195.83.130 JOIN :#esoteric < 1510795840 0 :fizzie!?@? PRIVMSG #esoteric :"The Norway model" is often in the papers here these days, what with people speculating about post-Brexit scenarios. < 1510795855 0 :augur!~augur@192.195.83.130 QUIT :Remote host closed the connection < 1510796054 0 :augur!~augur@192.195.83.130 JOIN :#esoteric < 1510796553 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION sets his activity period to 15:00 - 09:00
< 1510796569 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that should be reasonable _most_ days. < 1510796601 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(yep, it's pretty much the inverse of everyone else) < 1510796696 0 :augur!~augur@192.195.83.130 QUIT :Remote host closed the connection < 1510797008 0 :augur!~augur@192.195.83.130 JOIN :#esoteric < 1510797597 0 :Downgoat!49bd34df@gateway/web/freenode/ip.73.189.52.223 JOIN :#esoteric < 1510797602 0 :Downgoat!49bd34df@gateway/web/freenode/ip.73.189.52.223 PRIVMSG #esoteric :hello < 1510797621 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hi Downgoat < 1510797640 0 :Downgoat!49bd34df@gateway/web/freenode/ip.73.189.52.223 PRIVMSG #esoteric :for the code-golf site. I was wondering if anyone here has any ideas on who should be allowed to edit posts < 1510797646 0 :Downgoat!49bd34df@gateway/web/freenode/ip.73.189.52.223 PRIVMSG #esoteric :Stack Exchange allows pretty much everyone < 1510797664 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Downgoat: one big idea I had/rediscovered since our last conversation < 1510797681 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :is to have, instead of two layers (challenge/answer), three layers (challenge/answer/note) < 1510797689 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :anyone can submit a note on anyone else's answer (or their own) < 1510797699 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :containing explanations, questions, further commentary, etc. < 1510797713 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm thinking that an answer would just be the code of an answer, and the explanation would be a note < 1510797720 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that way you can have competing explanations for the same answer < 1510797746 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if you do that there wouldn't be much need to be able to edit other peoples' posts; on PPCG editing someone else's post to golf it is discouraged, and editing in an explanation wouldn't be needed as you could just add your own < 1510797751 0 :Downgoat!49bd34df@gateway/web/freenode/ip.73.189.52.223 PRIVMSG #esoteric :So kinda like reddit where you can respond to a post's 'answer' with another 'post' < 1510797782 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yep < 1510797986 0 :augur!~augur@192.195.83.130 QUIT :Remote host closed the connection < 1510798044 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think it's beneficial for anyone to be able to edit challenges, at least before they go live < 1510798063 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(I'm thinking we sandbox challenges "in-place" but without the ability to answer, then vote them open when we think they're ready) < 1510798210 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Resplicate14]]4 N10 02https://esolangs.org/w/index.php?oldid=53366 5* 03Ais523 5* (+24) 10an all-lowercase redirect will allow any capitalisation of the word to be found in search, and this is a hard word to capitalise correctly < 1510798724 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 255 seconds < 1510799589 0 :iconmaster!~iconmaste@129.21.122.210 JOIN :#esoteric < 1510799923 0 :watered!~water@2405:204:54a9:4e22:42f7:a1c8:b1d5:9a49 QUIT :Ping timeout: 250 seconds < 1510800010 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Quit: MISCELLANEOUS CHICKEN < 1510800409 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Bitwise Cyclic Tag14]]4 10 02https://esolangs.org/w/index.php?diff=53367&oldid=53264 5* 03Ais523 5* (+25) 10+[[Category:Queue-based]] < 1510800619 0 :augur!~augur@192.195.83.130 JOIN :#esoteric < 1510801121 0 :augur!~augur@192.195.83.130 QUIT :Ping timeout: 248 seconds < 1510803469 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03Avuxo 5* 10New user account < 1510803553 0 :Downgoat!49bd34df@gateway/web/freenode/ip.73.189.52.223 PRIVMSG #esoteric :ais523: yeah, there is a special button to submit to a 'review' mode rather than a publish so you can get feedback < 1510803606 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :perhaps that could be automatic for all problems? I proposed that on PPCG and it was rejected because of the way that the new questions list sorted, but that wouldn't be a problem if we could define our own sort orders < 1510803698 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=53368&oldid=53360 5* 03Avuxo 5* (+285) 10/* Introductions */ < 1510803700 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, this reminds me: another useful feature would be a) hiding answers to a question by default (with an option to permanently unhide them) so that people can work on a problem unspoilt, b) allowing identical or similar answers by different people but merging identical anwers and hiding worse answers by default unless they were voted signfiicantly different < 1510803716 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this would give us most of the advantages of anagolf in addition to most of the advantages of PPCG < 1510803738 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the FGITW problem on PPCG is nasty, having it so that if ten people independently come up with the same answer they all get credit seems better < 1510803766 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(this might lead to people cheating using a second account / logging out / whatever, but as long as there's no real reward the incentive for cheating should be low and it should also be fairly easy to detect) < 1510804576 0 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 248 seconds < 1510805477 0 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1510805919 0 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 248 seconds < 1510806289 0 :watered!~water@2405:204:54a9:4e22:42f7:a1c8:b1d5:9a49 JOIN :#esoteric < 1510806392 0 :atslash!~atslash@broadband-46-188-0-82.2com.net QUIT :Ping timeout: 255 seconds < 1510806459 0 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1510807026 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1510807308 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 268 seconds < 1510807325 0 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1510807823 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:Ais52314]]4 10 02https://esolangs.org/w/index.php?diff=53369&oldid=53235 5* 03Ais523 5* (+17) 10I forgot to add A Pear Tree < 1510808127 0 :garit2!~garit@unaffiliated/garit QUIT :Ping timeout: 248 seconds < 1510809538 0 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: sorry for my connection < 1510809740 0 :iconmaster!~iconmaste@129.21.122.210 QUIT :Ping timeout: 255 seconds < 1510810523 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1510810736 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03Tfbninja 5* 10New user account < 1510811394 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=53370&oldid=53368 5* 03Tfbninja 5* (+306) 10/* Introductions */ < 1510811547 0 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1510811761 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Aceto14]]4 M10 02https://esolangs.org/w/index.php?diff=53371&oldid=52015 5* 03Tfbninja 5* (-2) 10/* Grammar */ < 1510811799 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Aceto14]]4 10 02https://esolangs.org/w/index.php?diff=53372&oldid=53371 5* 03Tfbninja 5* (+19) 10/* Examples */ < 1510811920 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Aceto14]]4 10 02https://esolangs.org/w/index.php?diff=53373&oldid=53372 5* 03Tfbninja 5* (+11) 10/* Examples */ < 1510812120 0 :variable!?@? NICK :constant < 1510813152 0 :constant!~variable@freebsd/developer/variable QUIT :Quit: Found 1 in /dev/zero < 1510813509 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1510813793 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 248 seconds < 1510814474 0 :augur!~augur@192.195.83.130 JOIN :#esoteric < 1510814510 0 :augur!~augur@192.195.83.130 QUIT :Read error: Connection reset by peer < 1510814538 0 :augur!~augur@192.195.83.130 JOIN :#esoteric < 1510815550 0 :xkapastel!uid17782@gateway/web/irccloud.com/x-yqagqxhrgdtwahim QUIT :Quit: Connection closed for inactivity < 1510817811 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1510817835 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net PRIVMSG #esoteric :shachaf, I got Philip Wadler to sign my laptop < 1510817880 0 :LKoen!~LKoen@2a01:e35:2eed:a430:ec15:143:ae78:77ea JOIN :#esoteric < 1510817893 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`hi sleffy < 1510817893 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Hi sleffy. Heffy. < 1510817912 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net PRIVMSG #esoteric :ah, I seem to have skipped the pleasantries. My apologies. < 1510817915 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net PRIVMSG #esoteric :`hi shachaf < 1510817916 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Hi shachaf. Hachaf. < 1510818421 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`thanks sleffy < 1510818422 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Thanks, sleffy. Theffy. < 1510819789 0 :doesthiswork!~Adium@207.55.82.87 QUIT :Quit: Leaving. < 1510820552 0 :augur!~augur@192.195.83.130 QUIT :Remote host closed the connection < 1510822241 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`ysaclist 68 < 1510822243 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :ysaclist 68: boily shachaf < 1510822248 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@tell boily ysaclist 68 < 1510822248 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1510822657 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 248 seconds < 1510822990 0 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1510823578 0 :augur!~augur@2600:380:4630:1ca7:fdfd:544b:db59:e563 JOIN :#esoteric < 1510824287 0 :augur!~augur@2600:380:4630:1ca7:fdfd:544b:db59:e563 QUIT :Remote host closed the connection < 1510824780 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :hmm. I can infer it. 25 people have highscores >1000. global achievment stats say that's 4.7% of players < 1510824812 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :25 / 4.7 * 100 = 532 people own this game, and I'mranked number 111 < 1510824883 0 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Ping timeout: 268 seconds < 1510824947 0 :atslash!~atslash@broadband-46-188-0-82.2com.net JOIN :#esoteric < 1510825032 0 :AnotherTest!~turingcom@193.190.253.145 JOIN :#esoteric < 1510825055 0 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :what game < 1510825101 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :switch 'n' shoot < 1510825138 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :http://steamcommunity.com/stats/498470/leaderboards/1394823/?sr=106 < 1510825211 0 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 240 seconds < 1510828073 0 :watered!~water@2405:204:54a9:4e22:42f7:a1c8:b1d5:9a49 QUIT :Ping timeout: 255 seconds < 1510831496 0 :MDude!~MDude@pa-67-234-79-69.dhcp.embarqhsd.net JOIN :#esoteric < 1510831964 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric < 1510832839 0 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric < 1510833362 0 :watered!~water@2405:204:54a9:4e22:42f7:a1c8:b1d5:9a49 JOIN :#esoteric < 1510834127 0 :AnotherTest!~turingcom@193.190.253.145 QUIT :Ping timeout: 260 seconds < 1510834472 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Quit: OCCIPITAL CHICKEN < 1510834910 0 :jaboja!~jaboja@jaboja.pl QUIT :Ping timeout: 268 seconds < 1510835799 0 :garit!~garit@unaffiliated/garit JOIN :#esoteric < 1510835818 0 :watered!~water@2405:204:54a9:4e22:42f7:a1c8:b1d5:9a49 QUIT :Read error: Connection reset by peer < 1510835946 0 :watered!~water@2405:204:54a9:4e22:42f7:a1c8:b1d5:9a49 JOIN :#esoteric < 1510835949 0 :watered!~water@2405:204:54a9:4e22:42f7:a1c8:b1d5:9a49 QUIT :Client Quit < 1510836737 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Oh. Apparently http://www.bardsworth.com/ has announced a few months ago that the comic is abandonned. Pity. < 1510836854 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I think this is the first time I've seen a webcomic where the author honestly announced that he's abandonning the comic forever. "We the robots" just said it's on an indefinite hiatus. < 1510836896 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Most of the comics that are stuck in an incomplete state don't have any kind of announcement, they just de facto don't update. < 1510837020 0 :int-e!~noone@int-e.eu PART #esoteric :"PURPOSEFUL CHICKEN" < 1510837020 0 :int-e!~noone@int-e.eu JOIN :#esoteric < 1510838049 0 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1510839554 0 :LKoen!~LKoen@2a01:e35:2eed:a430:ec15:143:ae78:77ea QUIT :Remote host closed the connection < 1510841624 0 :iconmaster!~iconmaste@icon-thinkpad.wireless.rit.edu JOIN :#esoteric < 1510843798 0 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1510846056 0 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric < 1510846482 0 :iconmaster!~iconmaste@icon-thinkpad.wireless.rit.edu QUIT :Ping timeout: 260 seconds < 1510846581 0 :mtve!~mtve@fortress3.myftp.org QUIT :Quit: Terminated with extreme prejudice - dircproxy 1.2.0 < 1510848574 0 :Cale!~cale@2607:fea8:98df:f37d:cdce:a349:d867:cd74 QUIT :Ping timeout: 258 seconds < 1510848704 0 :erkin!~erkin@unaffiliated/erkin QUIT :Quit: Ouch! Got SIGABRT, dying... < 1510848774 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1510848825 0 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1510848837 0 :AnotherTest!~turingcom@ptr-82l26zdvv6lcpljuq7d.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1510849084 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, the recent Firefox upgrade is a really big one; they should have bumped the major version number for it but they ended up devaluing their version number ages ago < 1510849084 0 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: sorry for my connection < 1510849097 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1510849126 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that said, it's broken a lot of extensions; NoScript say that they haven't quite got ready in time for the release and are hoping to have a working extension soon < 1510849132 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so atm I'm browsing with JavaScript turned off entirely < 1510849161 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :most things still work, the things that don't are mostly sending content to websites (as opposed to reading them) < 1510849242 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Aceto14]]4 10 02https://esolangs.org/w/index.php?diff=53374&oldid=53373 5* 03Tfbninja 5* (+42) 10/* Examples */ < 1510849244 0 :Roger9!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :I'm somewhat more lenient on scripts running, but I do have an addon that detects and disables trackers. < 1510849739 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :most scripts actively make the sites they're on worse < 1510849765 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :normally I whitelist exceptions, but there aren't any fine-grained extensions that work yet so I had to go for the simple, overparanoid option < 1510849768 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's an interesting experience < 1510850082 0 :augur!~augur@2600:380:8416:161a:d9db:139d:c99a:c9d3 JOIN :#esoteric < 1510850207 0 :fungot!~fungot@momus.zem.fi QUIT :Ping timeout: 250 seconds < 1510850264 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :ais523: Do you know about Wang tilings? I wonder how big the smallest set is for which tilability of the plane is unknown. < 1510850439 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :int-e: vaguely, I can't remember the details < 1510850452 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :are those just a mathematical formalization of jigsaw puzzles? < 1510850504 0 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net JOIN :#esoteric < 1510850585 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :ais523: With fixed orientation of pieces, yes. < 1510850667 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But I'll take it as a no. (basically, https://en.wikipedia.org/wiki/Wang_tile isn't as informative as I'd like, though perhaps I could find the answer by following some of the references.) < 1510850725 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so Wang tilings are obviously TC as you can implement But Is It Art? with them < 1510850742 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(that's a weird language to go via for TCness proofs…) < 1510850794 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: which recent firefox update? ah yes, the one that broke all extensions. < 1510850837 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :is that even recent? I think it's been out months ago. < 1510850865 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it got pushed to Ubuntu yesterday < 1510850891 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: what? isn't that backwards? I thought you can implement wang tiles using But Is It Art, because wang tiles are on a square grid, one tile for each square, with just the borders different, < 1510850906 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :whereas But Is It Art tiles can be of any contiguous shape < 1510850910 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: you can do it either way < 1510850929 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :to compile BIIA? into Wang Tiles, you create a unique border code for each internal square connection in the BIIA? program < 1510850931 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh, you use multiple wang tiles to emulate a ButArt tiles? < 1510850934 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :right < 1510850939 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :while using a single continuous border code for the outside of the BIIA? tiles < 1510850970 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :anyway, this comes down to "what's the shortest program for which we're not sure whether or not it halts?" < 1510850978 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if PPCG doesn't have a question for that already, it ought to < 1510850979 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I suspect it does < 1510851000 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Ok, but this is still a bit backwards, because I thought we knew that wang tiles are TC because the TAOCP claims that or something very close, and we prove that But Art is turing complete using that. < 1510851058 0 :aloril!~aloril@dsl-tkubng11-54f948-150.dhcp.inet.fi QUIT :Ping timeout: 258 seconds < 1510851076 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I can't find it but it's a hard thing to search for < 1510851093 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: infinite BIIA (and infinite Wang tiles, for that matter) can simulate arbitrary cellular automato < 1510851094 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm... let me look it up. I think it might not have been called Wang tiles < 1510851096 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*automata < 1510851168 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: yes, infinite 1d CA or something like that would be the reasonable proof, but I've read TAOCP first three volumes Hungarian translation (based on old editions) early when I was young so it sort of skewed my knowledge, many things it stated I still consider more basic than really more basic things < 1510851212 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: oh come on, it *is* called Wang. just look up Wang in the index of TAOCP vol 1. < 1510851227 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :let me see what exactly it claims about it < 1510851369 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :although it is in a starred section < 1510851373 0 :aloril!~aloril@dsl-tkubng11-54f948-150.dhcp.inet.fi JOIN :#esoteric < 1510851375 0 :atslash!~atslash@broadband-46-188-0-82.2com.net QUIT :Quit: This computer has gone to sleep < 1510851391 0 :atslash!~atslash@broadband-46-188-0-82.2com.net JOIN :#esoteric < 1510851420 0 :atslash!~atslash@broadband-46-188-0-82.2com.net QUIT :Client Quit < 1510851525 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm, I think you might be right, this doesn't claim anywhere that this is turing-complete < 1510851528 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :damn < 1510851531 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :sorry < 1510851535 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: ^ < 1510852491 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :ais523: well, it's easy to find the answer for Turing Machines because of the busy beaver function. < 1510852547 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :cf. https://en.wikipedia.org/wiki/Busy_beaver#Exact_values_and_lower_bounds < 1510852676 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :.oO(I think ais knows that) < 1510852700 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: it's not necessarily *easier* to find the answer, it's just more researched already < 1510852729 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :b_jonas: the answer *was* about the state of the art < 1510852762 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :b_jonas: I was using "finding" in the sense of locating the information. < 1510852777 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ok < 1510852930 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :int-e: I assume that if the value of the busy beaver function is not listed as an exact number, it means that there's at least one program of that size for which we don't know whether it halts? < 1510852945 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(I can conceiveably imagine that there's a program for which we do know that it halts, but don't know how long it takes) < 1510853009 0 :erkin!~erkin@unaffiliated/erkin QUIT :Read error: Connection reset by peer < 1510853137 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :https://www.f6s.com/sergiodemianlerner <-- meh, an unpublished proof?! < 1510853185 0 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1510853378 0 :erkin!~erkin@unaffiliated/erkin QUIT :Remote host closed the connection < 1510853491 0 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1510853502 0 :erkin!~erkin@unaffiliated/erkin QUIT :Read error: Connection reset by peer < 1510853557 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :ais523: http://www.logique.jussieu.fr/~michel/ha.html says that "The study of Turing machines with 5 states and 2 symbols is still going on." and I have no reason to believe that it was resolved in the meantime. < 1510854065 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what's lambdabot's callsign again? < 1510854070 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :>? < 1510854074 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :? < 1510854099 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :^prefixes < 1510854107 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, fungot isn't here < 1510854114 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's @ anyway, I think < 1510854118 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although it responds to ? sometimes too < 1510854118 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :indeed < 1510854121 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and has a special case for > < 1510854124 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :> 2 + 2 < 1510854126 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 4 < 1510854137 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :@tell boily I probably can't 22, but I may be able to 26 < 1510854137 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1510854183 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric ::t 3 < 1510854184 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Num p => p < 1510854185 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :> 2 < 1510854187 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 2 < 1510854194 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :@run 4*4 < 1510854196 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 16 < 1510854199 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :^ each of those < 1510854203 0 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1510854204 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :whta's the question mark thing? < 1510854221 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :?help < 1510854221 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :help . Ask for help for . Try 'list' for all commands < 1510854223 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :whoa < 1510854227 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :?run 4*5 < 1510854229 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 20 < 1510854231 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :wow < 1510854312 0 :iconmaster!~iconmaste@129.21.122.210 JOIN :#esoteric < 1510854455 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1510854479 0 :lifthrasiir!~lifthrasi@ec2-52-79-98-81.ap-northeast-2.compute.amazonaws.com QUIT :Quit: No Ping reply in 180 seconds. < 1510854568 0 :lifthrasiir!~lifthrasi@ec2-52-79-98-81.ap-northeast-2.compute.amazonaws.com JOIN :#esoteric < 1510854829 0 :fungot!~fungot@momus.zem.fi JOIN :#esoteric < 1510855488 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so apparently M:tG Unstable is going to have some sort of combo creatures made from two cards, with some cards dedicated as front halves and some dedicated as back halves. < 1510855501 0 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: quit < 1510855549 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :or maybe not. I dunno. < 1510855559 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :maybe it just has place splicing of two arbitrary creatures. < 1510855672 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm, and I think the back halves will work as standalone creatures too. < 1510855761 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I wonder how this will work < 1510855812 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :wait, the back halves have supertype Host? < 1510855837 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :is that what MaRo meant by a mythic vanilla creature, because the supertype doesn't count? < 1510856037 0 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 260 seconds < 1510856315 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 255 seconds < 1510856512 0 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:1061:fc6d:8307:32a2 JOIN :#esoteric < 1510856512 0 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:1061:fc6d:8307:32a2 QUIT :Changing host < 1510856512 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1510856716 0 :augur!~augur@2600:380:8416:161a:d9db:139d:c99a:c9d3 QUIT :Ping timeout: 258 seconds < 1510856724 0 :atslash!~atslash@broadband-46-188-0-82.2com.net JOIN :#esoteric < 1510856999 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :And apparently the front half has a trigger condition and the back half an action, and together they form a triggered ability. < 1510857002 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Or something. < 1510857683 0 :sftp!~sftp@unaffiliated/sftp QUIT :Max SendQ exceeded < 1510857713 0 :sftp!~sftp@unaffiliated/sftp JOIN :#esoteric < 1510858779 0 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric < 1510858833 0 :atslash!~atslash@broadband-46-188-0-82.2com.net QUIT :Quit: Leaving < 1510859275 0 :atslash!~atslash@broadband-46-188-0-82.2com.net JOIN :#esoteric < 1510859442 0 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1510861125 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( "pure speculation" would be a fine name for a Haskell fintech company :P ) < 1510861195 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1510861501 0 :AnotherTest!~turingcom@ptr-82l26zdvv6lcpljuq7d.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 252 seconds < 1510861634 0 :AnotherTest!~turingcom@d51A46C74.access.telenet.be JOIN :#esoteric < 1510861775 0 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1510861848 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1510862006 0 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :Haha < 1510862719 0 :iconmaster!~iconmaste@129.21.122.210 QUIT :Ping timeout: 248 seconds < 1510862826 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1510863077 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net JOIN :#esoteric < 1510863311 0 :xkapastel!uid17782@gateway/web/irccloud.com/x-vbtnulcndmjzjvac JOIN :#esoteric < 1510863627 0 :MDude!~MDude@pa-67-234-79-69.dhcp.embarqhsd.net QUIT :Quit: Going offline, see ya! (www.adiirc.com) < 1510865642 0 :Cale!~cale@2607:fea8:98df:f37d:490:8531:5a2a:5f15 JOIN :#esoteric < 1510866693 0 :atslash!~atslash@broadband-46-188-0-82.2com.net QUIT :Ping timeout: 268 seconds < 1510866736 0 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1510867884 0 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Quit: Leaving < 1510867972 0 :iconmaster!~iconmaste@129.21.122.210 JOIN :#esoteric < 1510868928 0 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 240 seconds < 1510869911 0 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: quit < 1510870674 0 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net JOIN :#esoteric < 1510871484 0 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” < 1510871881 0 :jaboja!~jaboja@jaboja.pl QUIT :Ping timeout: 240 seconds < 1510871961 0 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric < 1510872915 0 :augur!~augur@192.195.83.130 JOIN :#esoteric < 1510873537 0 :hppavilion[1]!~dosgmowdo@58-0-174-206.gci.net QUIT :Ping timeout: 260 seconds < 1510874189 0 :AnotherTest!~turingcom@d51A46C74.access.telenet.be QUIT :Ping timeout: 255 seconds < 1510874509 0 :wob_jonas!b03f190d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.13 JOIN :#esoteric < 1510874620 0 :wob_jonas!b03f190d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.13 PRIVMSG #esoteric :zzo38: you'll have to update your M:tG variant rules about card names for the Unstable augment mechanic. < 1510874621 0 :iconmaster!~iconmaste@129.21.122.210 QUIT :Quit: Leaving < 1510874624 0 :wob_jonas!b03f190d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.13 QUIT :Client Quit < 1510874688 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :has anyone ever written a boolfuck program that computes the factorial of arbitrarily large numbers ? < 1510874833 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1510876641 0 :garit!~garit@unaffiliated/garit QUIT :Ping timeout: 248 seconds