< 1513987681 305822 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Taneb: fun, so why does... https://arin.ga/uEVn6I ... terminate? < 1513987970 148271 :sebbu2!~sebbu@unaffiliated/sebbu NICK :sebbu < 1513990180 762572 :c0ntrapumpkin!~copumpkin@haskell/developer/copumpkin NICK :contrapumpkin < 1513990590 429325 :augur!~augur@192.195.83.130 JOIN :#esoteric < 1513992218 679660 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1513993674 708411 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 268 seconds < 1513994799 640705 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1513995176 650025 :variable!~variable@freebsd/developer/variable NICK :constant < 1513995341 559990 :constant!~variable@freebsd/developer/variable QUIT :Quit: Found 1 in /dev/zero < 1513996476 522974 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1513998441 568526 :variable!~variable@freebsd/developer/variable QUIT :Quit: Found 1 in /dev/zero < 1513998837 692658 :fnodeuser!~irssiuser@ppp-2-86-205-194.home.otenet.gr QUIT :Ping timeout: 240 seconds < 1513998943 322481 :fnodeuser!~irssiuser@ppp-2-86-205-194.home.otenet.gr JOIN :#esoteric < 1513998947 975724 :fnodeuser!~irssiuser@ppp-2-86-205-194.home.otenet.gr QUIT :Client Quit < 1513998984 727379 :fnodeuser!~irssiuser@ppp-2-86-205-194.home.otenet.gr JOIN :#esoteric < 1514000579 895598 :hellomate2222!491ae13f@gateway/web/freenode/ip.73.26.225.63 JOIN :#esoteric < 1514002651 343835 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1514003961 338627 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 256 seconds < 1514004801 370339 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1514005916 636532 :augur!~augur@192.195.83.130 QUIT :Remote host closed the connection < 1514009011 343435 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 260 seconds < 1514009216 99545 :augur!~augur@192.195.83.130 JOIN :#esoteric < 1514009804 906510 :hellomate2222!491ae13f@gateway/web/freenode/ip.73.26.225.63 QUIT :Ping timeout: 260 seconds < 1514010247 131074 :adu!~ajr@pool-71-178-160-229.washdc.fios.verizon.net JOIN :#esoteric < 1514010450 187857 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1514011428 566503 :variable!~variable@freebsd/developer/variable QUIT :Quit: Found 1 in /dev/zero < 1514012855 79358 :augur!~augur@192.195.83.130 QUIT :Remote host closed the connection < 1514012902 348336 :augur!~augur@192.195.83.130 JOIN :#esoteric < 1514014221 582368 :adu!~ajr@pool-71-178-160-229.washdc.fios.verizon.net QUIT :Quit: adu < 1514014293 94051 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 264 seconds < 1514014611 921315 :newsham!~chat@udp217044uds.hawaiiantel.net JOIN :#esoteric < 1514014624 265286 :newsham_!~chat@udp217044uds.hawaiiantel.net QUIT :Read error: Connection reset by peer < 1514014810 764138 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1514015105 422780 :augur!~augur@192.195.83.130 QUIT :Ping timeout: 248 seconds < 1514016743 375388 :augur!~augur@2600:380:4662:db19:1d4f:4fd4:c1b2:6a56 JOIN :#esoteric < 1514017089 354255 :newsham_!~chat@udp217044uds.hawaiiantel.net JOIN :#esoteric < 1514017125 974007 :newsham!~chat@udp217044uds.hawaiiantel.net QUIT :Read error: Connection reset by peer < 1514019741 310884 :newsham_!~chat@udp217044uds.hawaiiantel.net QUIT :Read error: Connection reset by peer < 1514019757 931063 :newsham!~chat@udp217044uds.hawaiiantel.net JOIN :#esoteric < 1514021097 728918 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 240 seconds < 1514024210 688365 :augur!~augur@2600:380:4662:db19:1d4f:4fd4:c1b2:6a56 QUIT :Remote host closed the connection < 1514025601 342498 :impomatic!~digital_w@host109-149-156-138.range109-149.btcentralplus.com QUIT :Ping timeout: 248 seconds < 1514026291 636304 :sdfgsdfg23!~sdfgsdfg@unaffiliated/sdfgsdfg JOIN :#esoteric < 1514027963 32310 :TieSoul!~TieSoul@2a02:a448:4a62:1:fc24:18aa:acb4:705d JOIN :#esoteric < 1514028840 243940 :TieSoul!~TieSoul@2a02:a448:4a62:1:fc24:18aa:acb4:705d QUIT :Quit: Leaving < 1514029914 160661 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Yay, there's a new generic source for malware in Germany, bealocalhost.de. < 1514030343 871950 :xkapastel!uid17782@gateway/web/irccloud.com/x-ldwroktqwxugircu QUIT :Quit: Connection closed for inactivity < 1514030976 806796 :sdfgsdfg23!~sdfgsdfg@unaffiliated/sdfgsdfg PRIVMSG #esoteric :cant connect < 1514030994 66338 :int-e!~noone@int-e.eu PRIVMSG #esoteric :sdfgsdfg23: it resolves to 127.0.0.1 :P < 1514031000 366256 :sdfgsdfg23!~sdfgsdfg@unaffiliated/sdfgsdfg PRIVMSG #esoteric :oh < 1514031004 81187 :sdfgsdfg23!~sdfgsdfg@unaffiliated/sdfgsdfg PRIVMSG #esoteric :silly me < 1514031103 307989 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Which is a mild curiosity by itself. It gets interesting when you learn that "bea" is short for "besonderes Anwaltspostfach", an electronic mailbox for lawyers that's supposed to become mandatory in January. < 1514031161 846389 :int-e!~noone@int-e.eu PRIVMSG #esoteric :So why do they have that domain? Apparently, part of their client is a web service that runs locally. Which is something that browsers don't really like; you'll get lots of warnings. So they registered this domain. < 1514031234 376728 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And then it gets embarrassing because browsers warn when you're not using SSL. So there's an SSL certificate for that domain. And the private key is shipped with the client. And... surprise!... somebody revoked the certificate on the 21st or 22nd of December :) < 1514031328 903319 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :int-e, I can't really prove that it terminates, but the recursive calls to pred and succ in the definition of succ are always to much smaller numbers < 1514031410 858643 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Taneb: Yes, I also believe that it terminates. However, I tried some automatic tools and they failed, and I don't have a complete paper proof either. < 1514031513 919252 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1514032291 326256 :zseri!~zseri@i5E86C7C5.versanet.de JOIN :#esoteric < 1514032794 740836 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1514034123 551276 :zseri!~zseri@i5E86C7C5.versanet.de QUIT :Quit: Leaving < 1514034717 17013 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1514034789 348027 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1514034823 183096 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :ACTION . o O ( be a localhost. yes, you too can now be a localhost! ) < 1514034950 359763 :int-e!~noone@int-e.eu PRIVMSG #esoteric :FireFly: Yes, I liked that reading as well. < 1514035102 447026 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: sorry for my connection < 1514035116 186922 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1514035316 923811 :sdfgsdfg23!~sdfgsdfg@unaffiliated/sdfgsdfg PRIVMSG #esoteric :lawyers are assholes < 1514035320 235998 :sdfgsdfg23!~sdfgsdfg@unaffiliated/sdfgsdfg PRIVMSG #esoteric :generally < 1514035340 183466 :sdfgsdfg23!~sdfgsdfg@unaffiliated/sdfgsdfg PRIVMSG #esoteric :selfish < 1514035372 637016 :sdfgsdfg23!~sdfgsdfg@unaffiliated/sdfgsdfg PRIVMSG #esoteric :damn one of you will sue my ass now < 1514035406 508672 :sdfgsdfg23!~sdfgsdfg@unaffiliated/sdfgsdfg PRIVMSG #esoteric :unusual creatures < 1514035487 114646 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :? < 1514035528 586533 :int-e!~noone@int-e.eu PRIVMSG #esoteric :sdfgsdfg23: I think you're overgeneralizing. < 1514035564 992877 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :int-e: that "certificate for 127.0.0.1" thing is, unfortunately, not the stupidest use of certificates I'm aware of < 1514035567 338670 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although it's up there < 1514035608 367836 :int-e!~noone@int-e.eu PRIVMSG #esoteric :ais523: it is really stupid when you use the same certificate everywhere and then it gets revoked :P < 1514035656 305230 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :is "the private key became public" a sufficient reason for a CA to revoke unilaterally? < 1514035663 824484 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or do they need permission from the key's owner? < 1514035678 394470 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :come to think of it, the private key might be enough on its own to create a revocation request < 1514035682 962319 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And there really isn't a good fix. (What they are trying to do, by the looks of it, is to get all the lawyers install a custom CA certificate, which, presumably, will then be used to sign the individual bealocalhost.de certificates. There's no way that this can end well.) < 1514035793 568472 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1514035807 184806 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1514035826 98018 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :‎[13:29] ‎<‎ais523‎>‎ now I'm wondering if 127.0.0.1 is inherently secure or if there's some way to inject packets to look like they come from there < 1514035827 597758 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :‎[13:29] ‎<‎ais523‎>‎ I think it's possible to send an IP packet with a forged source address, isn't it? just it tends not to be useful because you won't get a reply < 1514035927 203892 :int-e!~noone@int-e.eu PRIVMSG #esoteric :well, properly configured routers and network stacks will not accept/forward such packages. < 1514035986 6928 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes, if the address claims to be 127.0.0.1 most routers will be more than a little sceptical < 1514035987 260722 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But I believe that there's no guarantee that a packet with a forged 127.0.0.1 "from" address makes it to another host. < 1514036001 467519 :int-e!~noone@int-e.eu PRIVMSG #esoteric :...I'm missing a negation. < 1514036009 305934 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :"huh, that packet's saying I sent it, that seems a little surprising" < 1514036281 66143 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Yes, I think best practices say that you shouldn't accept such packets. < 1514036349 625735 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :what is the quality of music that makes it sound christmasy? < 1514036360 687466 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :https://www.youtube.com/watch?v=R8IWkC7tT44 < 1514036497 467622 :int-e!~noone@int-e.eu PRIVMSG #esoteric :ACTION eyes \oren\_ suspiciously and doesn't click. < 1514037156 258691 :sdfgsdfg23!~sdfgsdfg@unaffiliated/sdfgsdfg PRIVMSG #esoteric :https://www.youtube.com/watch?v=MVeWsxeG44U < 1514037823 870154 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :int-e: it's music from a game I've been playing, Xmas Shooting : Scramble! < 1514040133 393857 :wob_jonas!b03f18ad@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.173 JOIN :#esoteric < 1514040202 569238 :wob_jonas!b03f18ad@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.173 PRIVMSG #esoteric :ais523: as far as I see, the localhost trick works like this. win32 doesn't have sane AF_LOCAL sockets for some reason, so either you write a non-portable program that uses crazy win32-specific IPC and will never work on windows, or you write unsafe shit that uses localhost and will be secure only as long as there's only one user on your computer. < 1514040233 324207 :wob_jonas!b03f18ad@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.173 PRIVMSG #esoteric :So now we got a lot of lazy programs that use localhost tcp communications and assume they're secure, despite that in most of them, any other user on the host can just make them misbehave. < 1514040254 19851 :wob_jonas!b03f18ad@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.173 PRIVMSG #esoteric :Even on windows, it's sort of the easiest way to do IPC, which is why even non-portable programs do that. < 1514040285 494171 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wob_jonas: why would that need an SSL certificate, though? < 1514040299 283311 :wob_jonas!b03f18ad@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.173 PRIVMSG #esoteric :ais523: to pacify browsers when there's a combination with an external site involved, I'd guess < 1514040332 612537 :wob_jonas!b03f18ad@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.173 PRIVMSG #esoteric :ais523: it's even worse with browsers because when you view local pages, the browser just has to assume it's all secure, and can't distinguish between different things you download and view locally < 1514040468 9043 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wob_jonas: I mean, browsers don't use AF_LOCAL sockets either < 1514040477 249334 :wob_jonas!b03f18ad@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.173 PRIVMSG #esoteric :no wait, the local files aren't relevant < 1514040483 310259 :wob_jonas!b03f18ad@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.173 PRIVMSG #esoteric :you're saying the certificate is for localhost < 1514040507 119894 :wob_jonas!b03f18ad@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.173 PRIVMSG #esoteric :then I guess it's a webpage served as a combination between localhost and some remote host < 1514040523 555013 :wob_jonas!b03f18ad@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.173 PRIVMSG #esoteric :with some local program acting as a http server involved < 1514040529 909972 :wob_jonas!b03f18ad@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.173 PRIVMSG #esoteric :and the browser wants the combination to be all https < 1514042985 183959 :sdfgsdfg23!~sdfgsdfg@unaffiliated/sdfgsdfg QUIT :Ping timeout: 264 seconds < 1514044761 195805 :moony!~moony@unaffiliated/moonythedwarf JOIN :#esoteric < 1514045781 730162 :kritixilithos!~kritixili@unaffiliated/kritixilithos JOIN :#esoteric < 1514046189 126812 :moony!~moony@unaffiliated/moonythedwarf QUIT :Ping timeout: 264 seconds < 1514047137 409877 :garit!~garit@unaffiliated/garit QUIT :Ping timeout: 248 seconds < 1514047236 547720 :wob_jonas!b03f18ad@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.173 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1514047355 440869 :kritixilithos!~kritixili@unaffiliated/kritixilithos QUIT :Ping timeout: 240 seconds < 1514047945 325957 :wob_jonas!b03f18ad@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.173 JOIN :#esoteric < 1514047977 452502 :wob_jonas!b03f18ad@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.173 PRIVMSG #esoteric :debian now has vanilla ffmpeg, not just their avconv clone? nice < 1514047990 974394 :wob_jonas!b03f18ad@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.173 PRIVMSG #esoteric :it's good to say these sorts of forks getting smoothed out < 1514048037 106200 :wob_jonas!b03f18ad@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.173 PRIVMSG #esoteric :about the only other time this has happened was with eglibc, a fork that's ended now that they fixed their disputes with glibc and made one glibc that does what everyone wants < 1514048097 12768 :wob_jonas!b03f18ad@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.173 QUIT :Client Quit < 1514048351 606921 :xkapastel!uid17782@gateway/web/irccloud.com/x-btknicgrsdolbhao JOIN :#esoteric < 1514048411 413100 :kritixilithos!~kritixili@x1-6-b8-d9-4d-67-1b-b5.cpe.webspeed.dk JOIN :#esoteric < 1514048628 342182 :wob_jonas!b03f1874@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.116 JOIN :#esoteric < 1514049817 574015 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1514050277 886759 :wob_jonas!b03f1874@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.116 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1514050925 451528 :kritixilithos!~kritixili@x1-6-b8-d9-4d-67-1b-b5.cpe.webspeed.dk QUIT :Ping timeout: 240 seconds < 1514051199 361273 :kritixilithos!~kritixili@83.88.251.147 JOIN :#esoteric > 1514051338 239363 PRIVMSG #esoteric :14[[07Decimal14]]4 10 02https://esolangs.org/w/index.php?diff=53656&oldid=52035 5* 03MD XF 5* (+724) 10 < 1514051595 449017 :kritixilithos!~kritixili@83.88.251.147 QUIT :Read error: Connection reset by peer < 1514051722 881476 :variable!~variable@freebsd/developer/variable NICK :constant < 1514051813 362900 :kritixilithos!~kritixili@83.88.251.147 JOIN :#esoteric < 1514051910 141324 :kritixilithos!~kritixili@83.88.251.147 QUIT :Changing host < 1514051910 230002 :kritixilithos!~kritixili@unaffiliated/kritixilithos JOIN :#esoteric < 1514051912 576179 :kritixilithos!~kritixili@unaffiliated/kritixilithos QUIT :Client Quit < 1514052105 696979 :constant!~variable@freebsd/developer/variable QUIT :Quit: Found 1 in /dev/zero < 1514052248 618456 :dingbat!uid70835@gateway/web/irccloud.com/x-ozsfjgplruaflvhv JOIN :#esoteric < 1514052545 957808 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric < 1514052664 515285 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: quit < 1514055259 696557 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :I have a book from library that mentions outguess stuff. They mention multiple choice test, and it seem maybe the people who design the test could use a computer to help to make it harder to guess. < 1514055284 486787 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :They also mention falsified financial data; it also seem like you could write a computer program to help you to cheat at it. < 1514055414 613061 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :They also mention Shannon's outguessing machine, and that he was the only person who could win. And then they described how we win, which is what I expected; he was able to carry out the program mentally, to know how the machine is working. < 1514055524 108774 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :And in many of cases being mentioned, using dice might also be of some help. < 1514055573 950886 :garit!~garit@94.197.121.169.threembb.co.uk JOIN :#esoteric < 1514055573 997477 :garit!~garit@94.197.121.169.threembb.co.uk QUIT :Changing host < 1514055573 997506 :garit!~garit@unaffiliated/garit JOIN :#esoteric < 1514055583 282897 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :(Unless the government sells biased dice in order to more easily spy on people, but then the people can easily expose them doing so.) < 1514056366 339453 :jaboja!~jaboja@jaboja.pl QUIT :Ping timeout: 260 seconds < 1514057648 561899 :contrapumpkin!~copumpkin@haskell/developer/copumpkin QUIT :Quit: Textual IRC Client: www.textualapp.com < 1514057703 122381 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1514058376 384242 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric < 1514058519 371536 :augur!~augur@2600:380:4611:a486:2df6:4a8f:6b9e:f679 JOIN :#esoteric < 1514058772 778357 :contrapumpkin!~copumpkin@haskell/developer/copumpkin JOIN :#esoteric < 1514060157 732986 :fnodeuser!~irssiuser@ppp-2-86-205-194.home.otenet.gr QUIT :Ping timeout: 240 seconds < 1514060298 293410 :fnodeuser!~irssiuser@ppp-2-86-205-194.home.otenet.gr JOIN :#esoteric < 1514060813 699809 :moony!~moony@unaffiliated/moonythedwarf JOIN :#esoteric < 1514062216 476297 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1514062495 870343 :garit!~garit@unaffiliated/garit QUIT :Ping timeout: 248 seconds < 1514062667 26934 :zseri!~zseri@i5E86C7C5.versanet.de JOIN :#esoteric < 1514062746 377662 :augur!~augur@2600:380:4611:a486:2df6:4a8f:6b9e:f679 QUIT :Ping timeout: 265 seconds < 1514062871 796874 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1514063471 451359 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1514064189 422161 :atrapado_!~atrapado@unaffiliated/atrapado JOIN :#esoteric < 1514064191 413014 :atrapado_!~atrapado@unaffiliated/atrapado QUIT :Max SendQ exceeded < 1514064237 340925 :augur!~augur@2600:380:462f:4a44:f4a6:7b2d:9fb9:86c1 JOIN :#esoteric < 1514064260 341351 :variable!~variable@freebsd/developer/variable QUIT :Quit: /dev/null is full < 1514064267 415346 :atrapado_!~atrapado@unaffiliated/atrapado JOIN :#esoteric < 1514064715 236276 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1514064924 397109 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1514065622 205269 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1514065679 446969 :atrapado_!~atrapado@unaffiliated/atrapado QUIT :Ping timeout: 252 seconds < 1514065797 694953 :moony!~moony@unaffiliated/moonythedwarf QUIT :Ping timeout: 240 seconds < 1514067148 570029 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :<\oren\_> what is the quality of music that makes it sound christmasy? <-- not being japanese is a start hth < 1514067258 825043 :variable!~variable@freebsd/developer/variable NICK :trout < 1514067890 461871 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 252 seconds < 1514068447 406186 :jaboja!~jaboja@jaboja.pl QUIT :Quit: Leaving < 1514068572 794604 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :. o O ( the trout is out there ) < 1514068580 510437 :trout!~variable@freebsd/developer/variable PRIVMSG #esoteric :oerjan: ? < 1514068602 6144 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :( no-one things this way ) O o . < 1514068630 673405 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Taneb: maybe japanese do < 1514068644 287536 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :Perhaps! < 1514068675 755822 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :In other news I finished the first chapter of the HoTT book just now < 1514068692 813292 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :I'll find some paper and start the exercises tomorrow! < 1514068695 254958 :trout!~variable@freebsd/developer/variable PRIVMSG #esoteric :HoTT? < 1514068717 149552 :trout!~variable@freebsd/developer/variable PRIVMSG #esoteric :o < 1514068717 761891 :trout!~variable@freebsd/developer/variable PRIVMSG #esoteric :https://homotopytypetheory.org/book/ < 1514068723 863704 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :Yeah, that is the one! < 1514068739 535234 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :I got myself a physical copy (because paper is so nice) < 1514068813 649951 :zseri!~zseri@i5E86C7C5.versanet.de QUIT :Quit: Leaving < 1514069027 387184 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I wonder how many book authors think about the abbreviating (and making sure they don't accidentally conflict with an existing book) when it comes to choosing the title. < 1514069171 485706 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :Like my upcoming book, These Ants on Chess Pieces < 1514069289 785303 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :(note: this is not actually a book I am writing or will be writing) < 1514069763 718163 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :These Ants. Thants. < 1514069988 614030 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Taneb: Is it just macro lens photos of ants on chess pieces? < 1514070124 84688 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :fizzie, possible < 1514070127 124353 :Taneb!~Taneb@2001:41c8:51:10d:: PRIVMSG #esoteric :*possibly < 1514070678 400949 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1514070931 948813 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The smoke just came out of my amplifier. :/ < 1514070948 70086 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There was a flash, a bang, and orange flames. < 1514070957 811550 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And a thin wisp of smoke. < 1514070987 764715 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Sad occasion. I liked that thing. < 1514071090 920487 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That smoke is sealed in there pretty well, but fire usually gets it out < 1514071267 62266 :erkin!~erkin@unaffiliated/erkin QUIT :Quit: Ouch! Got SIGABRT, dying... < 1514071939 369019 :augur!~augur@2600:380:462f:4a44:f4a6:7b2d:9fb9:86c1 QUIT :Ping timeout: 265 seconds < 1514072111 365012 :augur!~augur@2600:380:465d:158e:705c:407b:bac3:1e06 JOIN :#esoteric < 1514073045 92604 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 264 seconds