< 1456185616 242577 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: oh so it's from tswett's network < 1456185640 720283 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :shachaf: I did think of rho expressions, which are like lambda expressions but based on the rho calculus < 1456185657 225053 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :myname brought up #define when I mentioned it < 1456185664 529965 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :first-class preprocessing xD < 1456185755 681803 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :`le/rn last-class function/A last-class function is a function that cannot be passed as an argument, accept a function as an argument, be returned by a function, return a function, set to a variable other than its initial name, or be called < 1456185758 791266 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned «last-class function» < 1456185763 501124 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :`? last-class function < 1456185764 617420 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :A last-class function is a function that cannot be passed as an argument, accept a function as an argument, be returned by a function, return a function, set to a variable other than its initial name, or be called < 1456185785 579222 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :08:07:49 `learn integer/An integer is a number that does not contain a wildcard that matches any character other than a line feed. < 1456185785 737490 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :08:07:50 ​/hackenv/bin/learn: line 3: wisdom/integer/an: No such file or directory \ Learned 'integer/an': integer/An integer is a number that does not contain a wildcard that matches any character other than a line feed. < 1456185794 150400 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :My network is getting really good at remembering long phrases. < 1456185845 596927 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :tswett: clearly today's xkcd is relevant. < 1456185853 912109 :spiette!~spiette@x-132-204-251-254.xtpr.umontreal.ca QUIT :Quit: :qa! < 1456185928 175406 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`` sed -i 's/$/. It can, however, be pointed at, derisively./' wisdom/'last-class function' < 1456185930 272985 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1456185937 155062 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? last-class function < 1456185938 322518 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :A last-class function is a function that cannot be passed as an argument, accept a function as an argument, be returned by a function, return a function, set to a variable other than its initial name, or be called. It can, however, be pointed at, derisively. < 1456185948 276301 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: derisively? < 1456185957 949607 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :did i mispel that < 1456185974 305818 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :nope < 1456185985 123116 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Never heard that word < 1456185987 920799 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: you now, like the higher classes point at the lower < 1456185996 692871 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: Ah < 1456186088 151928 :lynn!~lynn@unaffiliated/lynn QUIT :Ping timeout: 244 seconds < 1456187329 60126 :fungot!~fungot@momus.zem.fi QUIT :Ping timeout: 250 seconds < 1456187352 578721 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :fungone < 1456187361 353038 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :NOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOO < 1456187368 126346 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :`mourn fungot < 1456187368 817909 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Alas, poor fungot, I knew him well! < 1456189298 995164 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1456189473 694488 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net QUIT :Quit: adu < 1456189910 524517 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net QUIT :Quit: mihow < 1456191719 480718 :lambda-11235!~lambda-11@47.208.113.50 JOIN :#esoteric < 1456193690 666420 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Latezzz < 1456194527 484675 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1456194573 887819 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :shachaf: I haven't. < 1456195047 184396 :nisstyre!~yourstrul@oftn/member/Nisstyre QUIT :Ping timeout: 244 seconds < 1456195403 689263 :andrew!~andrew@119.137.85.96 JOIN :#esoteric < 1456195427 624950 :adu!~ajr@73.133.129.229 JOIN :#esoteric < 1456195457 639898 :adu!~ajr@73.133.129.229 PRIVMSG #esoteric :hppavilion[1]: NOOOOOOOO < 1456195473 514797 :adu!~ajr@73.133.129.229 PRIVMSG #esoteric :wait, I mean YEEEEEEEEEEES < 1456196755 360084 :nisstyre!~yourstrul@li611-52.members.linode.com JOIN :#esoteric < 1456197409 288046 :andrew!~andrew@119.137.85.96 QUIT :Remote host closed the connection < 1456198259 775260 :aloril!~aloril@dsl-tkubrasgw1-54fa3f-129.dhcp.inet.fi QUIT :Ping timeout: 240 seconds < 1456198742 592475 :aloril!~aloril@84.250.63.129 JOIN :#esoteric < 1456199786 296092 :andrew!~andrew@119.137.85.96 JOIN :#esoteric < 1456200371 793194 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1456200429 428829 :mad!boulam@69-165-212-148.cable.teksavvy.com JOIN :#esoteric < 1456200528 588377 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :hey < 1456200532 232464 :bb010g!uid21050@gateway/web/irccloud.com/x-zwfweckeizqkacmo JOIN :#esoteric < 1456200690 64341 :perrier_!~cinch@107.170.175.57 QUIT :Read error: Connection reset by peer < 1456200693 382316 :Guest37376!~cinch@107.170.175.57 QUIT :Read error: Connection reset by peer < 1456200696 870703 :Guest58776!~cinch@107.170.175.57 QUIT :Remote host closed the connection < 1456200702 207643 :Guest20424!~cinch@107.170.175.57 QUIT :Remote host closed the connection < 1456200746 315933 :zgrep!sid43445@gateway/web/irccloud.com/x-vrgighsuzwhersgk PRIVMSG #esoteric :`cat bin/mourn < 1456200749 749438 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :echo "Alas, poor $@, I knew him well!" < 1456200758 319274 :zgrep!sid43445@gateway/web/irccloud.com/x-vrgighsuzwhersgk PRIVMSG #esoteric :Oh. That's boring. :( < 1456200938 994006 :MDude!~fyrc@c-73-187-225-46.hsd1.pa.comcast.net PRIVMSG #esoteric :`cat bin/bin < 1456200940 442315 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :cat: bin/bin: No such file or directory < 1456200953 563803 :MDude!~fyrc@c-73-187-225-46.hsd1.pa.comcast.net PRIVMSG #esoteric :`cat bin/bin/bin < 1456200954 284167 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :cat: bin/bin/bin: No such file or directory < 1456200959 569505 :MDude!~fyrc@c-73-187-225-46.hsd1.pa.comcast.net PRIVMSG #esoteric :`cat /secret < 1456200960 320243 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :cat: /secret: No such file or directory < 1456200967 842141 :MDude!~fyrc@c-73-187-225-46.hsd1.pa.comcast.net PRIVMSG #esoteric :`cat bin/secret < 1456200968 526191 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :cat: bin/secret: No such file or directory < 1456200977 474116 :MDude!~fyrc@c-73-187-225-46.hsd1.pa.comcast.net PRIVMSG #esoteric :`cat bin/supersecret < 1456200978 114328 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :cat: bin/supersecret: No such file or directory < 1456200982 872706 :MDude!~fyrc@c-73-187-225-46.hsd1.pa.comcast.net PRIVMSG #esoteric :Well I'm ut of dieas. < 1456200989 144044 :MDude!~fyrc@c-73-187-225-46.hsd1.pa.comcast.net PRIVMSG #esoteric :*out of ideas < 1456201114 889426 :zgrep!sid43445@gateway/web/irccloud.com/x-vrgighsuzwhersgk PRIVMSG #esoteric :`` find / -name '*secret*' < 1456201145 688685 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/proc/sys/net/ipv4/ipfrag_secret_interval \ /proc/sys/net/ipv6/ip6frag_secret_interval \ find: `/proc/tty/driver': Permission denied \ find: `/proc/1/task/1/fd': Permission denied \ find: `/proc/1/task/1/fdinfo': Permission denied \ find: `/proc/1/task/1/ns': Permission denied \ find: `/proc/1/fd': Permission denied \ find: `/proc/1/fdinfo': Per < 1456201235 121153 :andrew!~andrew@119.137.85.96 QUIT :Remote host closed the connection < 1456201381 597711 :adu!~ajr@73.133.129.229 QUIT :Quit: adu < 1456201511 430049 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net JOIN :#esoteric < 1456201522 139352 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net QUIT :Client Quit < 1456201863 29984 :earendel!~anuska@176.2.68.111 QUIT :Ping timeout: 250 seconds < 1456203272 432811 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net JOIN :#esoteric < 1456203489 288189 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Taneb: have you played mage knight? < 1456203492 294724 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net JOIN :#esoteric < 1456203562 169737 :zgrep!sid43445@gateway/web/irccloud.com/x-vrgighsuzwhersgk PRIVMSG #esoteric :`` find / -name '*secret*' > secret.txt < 1456203576 178502 :zgrep!sid43445@gateway/web/irccloud.com/x-vrgighsuzwhersgk PRIVMSG #esoteric :`tomfoolery fs < 1456203600 285568 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :find: `/proc/tty/driver': Permission denied \ find: `/proc/1/task/1/fd': Permission denied \ find: `/proc/1/task/1/fdinfo': Permission denied \ find: `/proc/1/task/1/ns': Permission denied \ find: `/proc/1/fd': Permission denied \ find: `/proc/1/fdinfo': Permission denied \ find: `/proc/1/ns': Permission denied \ find: `/proc/2/task/2/fd': Permissi < 1456203602 182024 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :File system. HackEgo/HackBot's is http://codu.org/projects/hackbot/fshg/index.cgi < 1456203665 760298 :zgrep!sid43445@gateway/web/irccloud.com/x-vrgighsuzwhersgk PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/file/8a87b4c82f52/secret.txt < 1456203839 774485 :zgrep!sid43445@gateway/web/irccloud.com/x-vrgighsuzwhersgk PRIVMSG #esoteric :`url secret.txt < 1456203840 999132 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/secret.txt < 1456203843 935260 :zgrep!sid43445@gateway/web/irccloud.com/x-vrgighsuzwhersgk PRIVMSG #esoteric ::D < 1456203865 729416 :zgrep!sid43445@gateway/web/irccloud.com/x-vrgighsuzwhersgk PRIVMSG #esoteric :Although there probably should be a thing for the permanent version of the latest URL... < 1456204003 290581 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1456204287 274894 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 276 seconds < 1456204779 675547 :earendel!~koko@176.4.34.166 JOIN :#esoteric < 1456204886 411879 :zgrep!sid43445@gateway/web/irccloud.com/x-vrgighsuzwhersgk PRIVMSG #esoteric :`word < 1456204887 222535 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :candroii < 1456204892 917868 :earendel!~koko@176.4.34.166 QUIT :Client Quit < 1456204979 719380 :earendel!~earendel@176.4.34.166 JOIN :#esoteric < 1456205000 709912 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :`word < 1456205001 411980 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :vheta < 1456205014 780443 :zgrep!sid43445@gateway/web/irccloud.com/x-vrgighsuzwhersgk PRIVMSG #esoteric :Makes fake words. < 1456205014 938095 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :...Where does HackEgo get his wordlist? < 1456205020 867297 :Elronnd!elronnd@znc.dank.ninja PRIVMSG #esoteric :ah < 1456205023 573210 :zgrep!sid43445@gateway/web/irccloud.com/x-vrgighsuzwhersgk PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/file/a4e2b9749d1d/bin/word < 1456205399 754341 :APic!apic@apic.name QUIT :Ping timeout: 240 seconds < 1456205774 14604 :APic!apic@apic.name JOIN :#esoteric < 1456206714 528815 :Xe!xe@infoforcefeed/Xe QUIT :Ping timeout: 260 seconds < 1456206830 419254 :Xe!~xe@infoforcefeed/Xe JOIN :#esoteric < 1456209063 836133 :lambda-11235!~lambda-11@47.208.113.50 QUIT :Quit: Bye < 1456210092 100028 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net QUIT :Quit: Leaving < 1456210297 238122 :adu!~ajr@c-73-133-129-229.hsd1.md.comcast.net QUIT :Quit: adu < 1456210968 994429 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1456211222 992946 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 250 seconds < 1456211456 247552 :earendel!~earendel@176.4.34.166 PART :#esoteric < 1456211459 705397 :earendel!~earendel@176.4.34.166 JOIN :#esoteric < 1456212191 592990 :earendel!~earendel@176.4.34.166 PRIVMSG #esoteric :these numbers @word.. is this some kind of probability of occurence for that syllables? < 1456212317 773660 :earendel!~earendel@176.4.34.166 PRIVMSG #esoteric :also how have is this association there "happened"? < 1456213021 827169 :deltab!~deltab@cpc1-smal2-0-0-cust155.19-1.cable.virginm.net PRIVMSG #esoteric :yes, they're weights; a random number is chosen from their sum < 1456213241 294379 :MDude!~fyrc@c-73-187-225-46.hsd1.pa.comcast.net NICK :MDream < 1456213279 644724 :deltab!~deltab@cpc1-smal2-0-0-cust155.19-1.cable.virginm.net PRIVMSG #esoteric :they're presumably generated from lots of input text, counting up how often 'th' is followed by 'w' etc. < 1456213795 166926 :earendel!~earendel@176.4.34.166 PRIVMSG #esoteric :nice < 1456214141 153468 :deltab!~deltab@cpc1-smal2-0-0-cust155.19-1.cable.virginm.net PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Markov_chain#Markov_text_generators < 1456214720 820353 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric < 1456214879 722815 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1456215149 726795 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1456216880 683200 :jaboja!~jaboja@aejg6.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1456217553 153074 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net QUIT :Ping timeout: 244 seconds < 1456217871 733312 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`perl -we "warn 4.5+6.3" < 1456217875 330194 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :um < 1456217879 421011 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Useless use of a constant (warn 4.5+6.3) in void context at -e line 1. < 1456217881 397935 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`perl -we warn 4.5+6.3 < 1456217884 64962 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :10.8 at -e line 1. < 1456217886 117979 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :better < 1456220044 73242 :impomatic_!~digital_w@79.16.114.87.dyn.plus.net QUIT :Ping timeout: 240 seconds < 1456221251 884711 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Ping timeout: 248 seconds < 1456221334 80103 :J_Arcane!~chatzilla@37-219-73-55.nat.bb.dnainternet.fi QUIT :Ping timeout: 240 seconds < 1456222015 985856 :AnotherTest!~turingcom@2a02:2c40:400::1:6e46 JOIN :#esoteric < 1456223005 149502 :lynn_!~lynn@unaffiliated/lynn JOIN :#esoteric < 1456224239 718220 :jaboja!~jaboja@aejg6.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 240 seconds < 1456224278 702077 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :They're generated from word lists, actually. < 1456224345 472644 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Which is probably subtly different from generating them from lots of input text, since it presumably has a higher weight for more uncommon trigrams (or 4-grams or whatever they were). < 1456224389 191586 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's the same procedure fungot uses, except fungot does words, and it uses a variable-length model generated by https://github.com/vsiivola/variKN < 1456224395 437632 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Huh. < 1456224407 510785 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, right, the internet gave up at night. < 1456224434 878794 :fungot!~fungot@momus.zem.fi JOIN :#esoteric < 1456224442 806731 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Feeling all right there? < 1456224443 3370 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :fizzie: they don't ever define " fnord" is invalid? the line does ( which is useful < 1456224461 478209 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :All subsystems nominal, I guess. < 1456224540 830811 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456224562 278053 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, new sort of spam I've never seen before < 1456224594 115677 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's piggybacking on other spam in an unusual way: it suggests that if we download a particular mobile app, it'll cause one category of spam to stop arriving < 1456224641 54569 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :basically trying to position itself as an opt-out, in a way that's fairly suspicious to people who are aware of computers, but it seems likely to fool some people < 1456226793 69348 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1456226822 794512 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@massages-loud < 1456226823 5297 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :You don't have any messages < 1456226902 40879 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hello, ais < 1456226941 490776 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: yes, many spam does that in a much more straightforward way: they include a link to "unsubscribe" from that very spam. < 1456226961 43774 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but I think I've heared of spam that talks about other spam < 1456227057 280914 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: here's one example http://bendwavy.org/wp/?p=3416 < 1456227096 368301 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :then there's http://www.xkcd.com/810/ < 1456227139 801112 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 248 seconds < 1456227873 323641 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456228034 35799 :lynn!~lynn@unaffiliated/lynn JOIN :#esoteric < 1456228063 45418 :benderpc_!benderpc@2404:e800:e61a:41d:e4ca:743b:469b:52b2 JOIN :#esoteric < 1456228186 82469 :lynn_!~lynn@unaffiliated/lynn QUIT :Ping timeout: 244 seconds < 1456228426 194068 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456228438 323588 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456228616 201732 :zemhill!bfjoust@selene.zem.fi QUIT :*.net *.split < 1456228688 309525 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456228933 324227 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456228945 366359 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456228992 382291 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :ACTION should nuke that /boot partition < 1456229015 26319 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :is it possible to merge partitions together? < 1456229123 81621 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :boily: um, in what sense? < 1456229363 128265 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456229373 899613 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :I'm using ubuntu's default partition scheme, and /boot is way too small, always getting clogged by old kernels. < 1456229375 341299 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456229407 850753 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :either there's a way to automatically remove old versions, or just take everything in /boot and put it in /. < 1456229436 164641 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :(and make /boot disappear in a puff of Logic.) < 1456229676 295173 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456229688 334779 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456229928 476287 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456229940 352420 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456229945 957445 :benderpc_!benderpc@2404:e800:e61a:41d:e4ca:743b:469b:52b2 NICK :bender| < 1456229955 966178 :bender|!benderpc@2404:e800:e61a:41d:e4ca:743b:469b:52b2 QUIT :Changing host < 1456229956 124532 :bender|!benderpc@unaffiliated/bender/x-9459530 JOIN :#esoteric < 1456230196 89943 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456230208 193693 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456230292 379052 :boily!~alexandre@96.127.201.149 QUIT :Quit: GLASS CHICKEN < 1456230532 517802 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456230544 351610 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456230784 463245 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456230796 334094 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456231036 485215 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456231050 336865 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456231290 486845 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456231302 333784 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456231417 377221 :carado!~carado@savhon.org QUIT :Quit: Leaving < 1456231463 726699 :carado!~carado@savhon.org JOIN :#esoteric < 1456231703 853043 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456231716 334356 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456231892 992164 :AnotherTest!~turingcom@2a02:2c40:400::1:6e46 QUIT :Ping timeout: 250 seconds < 1456232133 79029 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456232145 351290 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456232385 484231 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456232397 333570 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456232637 488859 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456232650 332489 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456232847 645275 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Addleq14]]4 10 02https://esolangs.org/w/index.php?diff=46458&oldid=20442 5* 0385.194.216.168 5* (+18) 10Added OISC category < 1456233014 39946 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric < 1456233254 172270 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456233266 345706 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456233427 115621 :lynn_!~lynn@unaffiliated/lynn JOIN :#esoteric < 1456233580 154329 :lynn!~lynn@unaffiliated/lynn QUIT :Ping timeout: 244 seconds < 1456233820 206586 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456233831 340680 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456234071 493120 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456234083 333185 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456234323 416962 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456234335 333181 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456234352 45759 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1456234417 61077 :jaboja!~jaboja@aejg6.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1456234657 142149 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456234669 380435 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456234909 487030 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456234921 333994 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456235161 493661 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456235173 364946 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456235196 393017 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1456235436 406599 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456235449 209797 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456235503 791776 :vodkode!~vodkode@fl-71-52-122-10.dhcp.embarqhsd.net QUIT :Quit: Leaving < 1456235743 904275 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456235755 333832 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456235995 483525 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456236007 352733 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456236247 497039 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456236259 347673 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456236499 491535 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456236511 337677 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456236545 940268 :J_Arcane!~chatzilla@37-219-73-55.nat.bb.dnainternet.fi JOIN :#esoteric < 1456236755 26933 :jaboja!~jaboja@aejg6.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 250 seconds < 1456236995 159011 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456237009 282456 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456237176 92970 :lynn_!~lynn@unaffiliated/lynn QUIT :Ping timeout: 244 seconds < 1456237416 213745 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456237423 58561 :spiette!~spiette@x-132-204-251-254.xtpr.umontreal.ca JOIN :#esoteric < 1456237428 351892 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456237668 656680 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456237680 331534 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456237787 669174 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Helloily < 1456237839 422654 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :brainfuck competition is tomorrow < 1456238060 46290 :jaboja!~jaboja@aejg6.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1456238300 174295 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456238311 331890 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456238551 480077 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456238563 163477 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456238803 324905 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456238816 331644 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456238831 834227 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1456238880 23492 :lambda-11235!~lambda-11@47.208.113.50 JOIN :#esoteric < 1456239107 806248 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 248 seconds < 1456239347 933990 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456239360 332309 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456239600 488529 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456239615 332916 :zemhill!bfjoust@2a03:b0c0:1:d0::1ea:f001 JOIN :#esoteric < 1456239846 25483 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1456240007 505377 :earendel2!~earendel@176.4.34.166 JOIN :#esoteric < 1456240027 114328 :earendel2!~earendel@176.4.34.166 PART :#esoteric < 1456240027 507713 :earendel!~earendel@176.4.34.166 QUIT :Disconnected by services < 1456240029 441096 :earendel!~earendel@176.4.34.166 JOIN :#esoteric < 1456240269 561682 :zemhill!bfjoust@2a03:b0c0:1:d0::1ea:f001 QUIT :Remote host closed the connection < 1456240282 300447 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456240294 859200 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456240534 933113 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456240546 339641 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456240774 2879 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Ping timeout: 240 seconds < 1456241014 123601 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456241025 184545 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456241265 346128 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456241277 331155 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456241517 534058 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456241529 159971 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456241766 790123 :AnotherTest!~turingcom@193.190.253.145 JOIN :#esoteric < 1456242006 848689 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456242019 335701 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456242019 861457 :AnotherTest!~turingcom@193.190.253.145 QUIT :Ping timeout: 248 seconds < 1456242081 705531 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ah, ais523 is back < 1456242095 346007 :APic!apic@apic.name PRIVMSG #esoteric :B-) < 1456242108 13444 :J_Arcane!~chatzilla@37-219-73-55.nat.bb.dnainternet.fi QUIT :Ping timeout: 244 seconds < 1456242177 140272 :bender|!benderpc@unaffiliated/bender/x-9459530 QUIT :Quit: Leaving < 1456242417 192751 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456242417 678086 :AnotherTest!~turingcom@2a02:2c40:400::1:6e46 JOIN :#esoteric < 1456242428 342960 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456242604 35250 :jaboja!~jaboja@aejg6.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 240 seconds < 1456242717 391023 :vanila!~vanila@unaffiliated/vanila JOIN :#esoteric < 1456242718 64249 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :hi < 1456242722 519175 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :is this the occult room < 1456242735 596139 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yes < 1456242748 124963 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :magic and symbols < 1456242755 281604 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :vanila: :-( < 1456242759 627596 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`welcome vanila < 1456242765 26176 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :thanks so much oerjan!!!!!!!!!! < 1456242767 5751 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :THAT IS IT < 1456242776 34825 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :vanila: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) < 1456242777 950697 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I know you're a regular but this seems like a suitably passive-aggressive response < 1456242784 856052 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :ais523, I wonder why we aren't celebrating? < 1456242792 954355 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :there was a new brainfuck hello world WORLD RECORD < 1456242801 248900 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :WORLD RECORD < 1456242801 248955 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ooh! < 1456242804 863434 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I was happy about the last one < 1456242807 229187 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :it sould be all over the wiki < 1456242807 387311 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I didn't know about this one though < 1456242813 448248 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :it was a few weeks ago < 1456242815 730918 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :what sort of hello world is it printing and what principle does it use? < 1456242827 734416 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :let me get the link you may have sen it already < 1456242829 879963 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :it was on codegolf < 1456242831 218078 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, I might have celebrated it already then < 1456242846 479823 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :principle? < 1456242864 837696 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :a bf golf to print hello world should have a principle? < 1456242864 995502 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :b_jonas, it did some clever trick about preparing the differences between chars across half the string < 1456242870 961606 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :yes it did! < 1456242874 697905 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :it wasn't just brute forced < 1456242879 293547 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :although there was some bruting < 1456242884 963205 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :invorlved in its creation < 1456242928 822906 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :vanila: in that case I've seen it ages ago and we've discussed it already < 1456242949 815761 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I was hoping someone had found a cleverer trick than transforming the left half of the hello world into the right half < 1456242963 147615 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :ssorry < 1456242969 107663 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :i didnt mean to get hopes up < 1456242994 851838 :lambda-11235!~lambda-11@47.208.113.50 QUIT :Quit: Bye < 1456243043 161614 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :is it http://codegolf.stackexchange.com/a/68494/6691 ? < 1456243053 741127 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :yeah! < 1456243109 699463 :AnotherTest!~turingcom@2a02:2c40:400::1:6e46 QUIT :Ping timeout: 240 seconds < 1456243117 420363 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :oh h.y you know < 1456243121 687455 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :this might be up peoples street here < 1456243127 224865 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :are you familiar with minikanren? < 1456243132 600123 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :let's mention it form http://esolangs.org/wiki/Brainfuck#Hello.2C_World.21 < 1456243138 222831 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :good idea! < 1456243163 642127 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :its this prolog like thing that can generate quines < 1456243185 695734 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :from querying an interpreter like this: (eval q q) < 1456243211 47327 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :and the question is why can't you do this in prolog (with occurs check and fair search) < 1456243226 164950 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :https://www.reddit.com/r/prolog/comments/473hig/generating_scheme_quines_with_prolog/ < 1456243233 29966 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :there's a link to all the code and stuff < 1456243254 668606 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :if anyone could figure out what the secret is.. someone here could (but I coudln't...) < 1456243332 658920 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Brainfuck14]]4 10 02https://esolangs.org/w/index.php?diff=46459&oldid=46402 5* 03B jonas 5* (+180) 10/* Hello, World! */ golf < 1456243336 127310 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :is that even interesting to nayone i hope < 1456243356 821494 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Rosetta seems to have only comma-less variants. What herecy! < 1456243548 674310 :AnotherTest!~turingcom@2a02:2c40:400::1:6e46 JOIN :#esoteric < 1456243552 367848 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@metar KSFO < 1456243553 339478 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :KSFO 231556Z 18003KT 10SM BKN200 11/10 A3008 RMK AO2 SLP185 T01060100 $ < 1456243567 708907 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :was anyone at all interested in that :S < 1456243582 406140 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :its not exactly eso but its really cool imo < 1456243617 282405 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :vanila: since you asked, yes, I was interested, I just have nothing to add... < 1456243623 599039 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :okay! < 1456243665 368754 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :if we found out the secret ingredient it could be aded to clue < 1456243675 280059 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :myabe it already has it though < 1456243915 360888 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456243927 350852 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456243949 694818 :AnotherTest!~turingcom@2a02:2c40:400::1:6e46 QUIT :Ping timeout: 240 seconds < 1456244189 772532 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456244203 350248 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456244240 448449 :lynn!~lynn@unaffiliated/lynn JOIN :#esoteric < 1456244480 486634 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456244492 347912 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456244732 482753 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456244744 349935 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456244984 491295 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456244996 334251 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456245081 114155 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :zemhill: are you OK? < 1456245206 232155 :digitalcold!~redacted@192.73.232.206 QUIT :Ping timeout: 268 seconds < 1456245240 814022 :digitalcold!~redacted@192.73.232.206 JOIN :#esoteric < 1456245480 938772 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456245492 332180 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456245732 421181 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456245744 315814 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456245984 434268 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456245996 340110 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456246028 75017 :p34k!~p34k@nat-wh-wz4-12.rz.uni-karlsruhe.de JOIN :#esoteric < 1456246038 849185 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1456246278 890295 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456246290 349331 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456246307 828412 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 248 seconds < 1456246547 909755 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456246559 343761 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456246565 290280 :jaboja!~jaboja@aejg6.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1456246805 419715 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456246818 176151 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456247022 56093 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: zemhill seems to be in some sort of trouble < 1456247037 316360 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :its f ine < 1456247041 18334 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I don't mind the effect on the channel (it's going pretty slowly), but you might want to check to see if the server's doing OK < 1456247259 839632 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Hrm. < 1456247273 971932 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I remember it getting into this sort of state before. < 1456247302 43487 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I see these messages in the console, but it's also trying to send "JOIN #esoteric" all the time. < 1456247319 632164 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'm guessing it's some sort of a bug in the IRC library I used. Last time I just restarted it to fix it. < 1456247322 64276 :zemhill!bfjoust@selene.zem.fi QUIT :Remote host closed the connection < 1456247327 554131 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Will do the same again. < 1456247337 330149 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456247343 952171 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Should've known better than to write it in Ruby, I guess. < 1456249988 214399 :MoALTz!~no@78-11-180-214.static.ip.netia.com.pl QUIT :Quit: Leaving < 1456250554 418578 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric < 1456250878 510420 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456250883 197821 :ais523!~ais523@unaffiliated/ais523 QUIT :Disconnected by services < 1456250886 258881 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1456251018 79188 :MoALTz!~no@78-11-180-214.static.ip.netia.com.pl JOIN :#esoteric < 1456251416 148138 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1456251486 575280 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456251903 652599 :lambda-11235!~lambda-11@24.156.46.61 JOIN :#esoteric < 1456252084 113503 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 240 seconds < 1456252307 70383 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1456252586 652355 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :vanila: Nearly every problem I ever had with Prolog was solved by generously sprinkling cuts around the place < 1456252657 520088 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :hah < 1456252983 903690 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1456253544 319205 :jaboja!~jaboja@aejg6.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 276 seconds < 1456253927 547761 :bb010g!uid21050@gateway/web/irccloud.com/x-zwfweckeizqkacmo QUIT :Quit: Connection closed for inactivity < 1456254197 398359 :jaboja!~jaboja@aejg6.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1456255289 737937 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 240 seconds < 1456255371 5046 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1456255429 17864 :zyla!~zyla@185.56.175.154 JOIN :#esoteric < 1456255865 562605 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org JOIN :#esoteric < 1456256027 657680 :earendel!~earendel@176.4.34.166 QUIT :Changing host < 1456256027 816879 :earendel!~earendel@unaffiliated/earendel JOIN :#esoteric < 1456256444 318214 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh wow < 1456256468 998047 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so those strange things Wrecan says in #1025 are a reference to something actually < 1456256572 616228 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 255 seconds < 1456256882 69360 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456257306 595931 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :Wow < 1456257344 356560 :zyla!~zyla@185.56.175.154 PART #esoteric :"WeeChat 1.1.1" < 1456257353 44369 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :I'm reading the "gentlest introduction to the ρ-calculus" < 1456257358 336521 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :I have no idea wtf is going on < 1456257434 682526 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :ρ-calculus? < 1456257437 370533 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :is that pattern matching < 1456257480 330164 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :vanila: Yes < 1456257556 250245 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :vanila: I'm trying to figure out rho-expressions (analogous to lambda-expressions) for a LISP < 1456257579 71394 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :might be fun to learn abuot < 1456257583 430153 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :maybe ill read it < 1456257598 340632 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :vanila: Do so, then explain it to me xD < 1456257613 278532 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :vanila: This is the only introduction I could find: http://rho.loria.fr/data/rta2001.pdf < 1456257777 938713 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1456257899 707783 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 240 seconds < 1456258402 461996 :earendel!~earendel@unaffiliated/earendel QUIT :Ping timeout: 252 seconds < 1456258569 876717 :lambda-11235!~lambda-11@24.156.46.61 QUIT :Quit: Bye < 1456258835 254569 :MDream!~fyrc@c-73-187-225-46.hsd1.pa.comcast.net NICK :MDude < 1456259047 338709 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :hppavilion[1]: What's the reference? < 1456259108 329197 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :prooftechnique: ? < 1456259140 666990 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :prooftechnique: That site without the path should take you there, but it doesn't seem to have much < 1456259175 834655 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :hppavilion[1]: I mean the reference in #1025 < 1456259210 354982 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :prooftechnique: That was b_jonas who said that < 1456259216 66366 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Oh, duh < 1456259221 785330 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Sorry, irssi has you both in the same color < 1456259223 690193 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :It was unrelated to what I said < 1456259228 8815 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :b_jonas: Same question :) < 1456259228 887776 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :prooftechnique: It's fine < 1456259326 322525 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :hppavilion[1]: Though I am now also reading that rho paper :D < 1456259383 236735 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric ::D < 1456259389 557896 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :prooftechnique: Do you understand it at all? < 1456259468 722960 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :It sort of looks like a weird extension of normal state machine productions, but I'm only on the second page. Embedding LC sounds promising, anyway < 1456259519 617917 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :prooftechnique: What would be the rho analogue to a lambda expression in a LISP? < 1456259576 411317 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :(rho ...?) < 1456259656 215625 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :rho rho rho of rank always equals one < 1456259678 350976 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :vanila: OK... < 1456259689 803815 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :vanila: rho rho rho your boat? < 1456259748 242676 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :yes < 1456259753 212743 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :its a hacker song < 1456259784 895381 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1456259795 411901 :nycs!~nycs@gw.hq.meetup.com QUIT :Read error: No route to host < 1456260061 71651 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :\lam X . b seems to be just a rewrite rule X -> b. Maybe something like (defun rho (lhs rhs) (lambda lhs rhs))? So then conditionals look like (defun cond-rho (lhs rhs cond) ((rho lhs (rho 't rhs)) cond) < 1456260065 769197 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Or something like that < 1456260103 648513 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Where we assume cond has already been normalized by strat < 1456260296 694604 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Ew, but then I get to the examples, and of course it's not that simple < 1456260481 440012 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1456260487 304687 :lambda-11235!~lambda-11@24.156.46.61 JOIN :#esoteric < 1456260626 767320 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :@tell hppavilion[1] http://link.springer.com/chapter/10.1007%2F3-540-45315-6_11 < 1456260629 413435 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1456261095 141360 :lambda-11235!~lambda-11@24.156.46.61 QUIT :Quit: Bye < 1456261684 397167 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org JOIN :#esoteric < 1456261703 351 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :Hm... < 1456261723 311733 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :I'm wondering what branch of mathematics to base a proof assistant on- what prooftechnique(s) to use < 1456261733 819967 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :prooftechnique: You seem like a good person to ask < 1456261735 526303 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :xD < 1456261749 481203 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :base it on typed lambda calculus < 1456261750 453880 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :A type theory, a logic, or what? < 1456261760 939271 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :vanila: Perhaps. Maybe I should make more than one? < 1456261770 389757 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :there's also Jbob < 1456261772 614077 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :the little prover book < 1456261780 113276 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :its a different sort of prover < 1456261785 130741 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :its for programs < 1456261983 432128 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :vanila: Perhaps I should make a proof assistant with strings as a primitive type? < 1456261999 918128 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :vanila: Perhaps even using (bit)strings for numbers, making them a derived type? < 1456262030 133770 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :do you have any theorems in mind you want ot prove with it < 1456262042 844436 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :vanila: No; just want to make one for the experience < 1456262050 731284 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :Maybe develop it into something useful < 1456262053 327153 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :@messages-lud < 1456262055 343642 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :prooftechnique said 23m 46s ago: http://link.springer.com/chapter/10.1007%2F3-540-45315-6_11 < 1456262057 930684 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :well maybe set a goal < 1456262074 437812 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :pick some slighlty nontrivial theorem you like < 1456262075 771872 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :vanila: Perhaps I should. What's a good theorem to start with with a known proof? < 1456262078 499021 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :and make a prover that can prove it < 1456262084 55426 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :vanila: Pythagorean? < 1456262167 553320 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :vanila: If I do the Pythagorean Theorem, I have lots of options for proofs < 1456262181 159920 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :vanila: I'm thinking of making more than one, each in a different niche < 1456262190 993024 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :Instead of one overarching prover < 1456262245 30071 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :well < 1456262253 122011 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :imo < 1456262256 175832 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :vanila: Or multiple mechanisms in one prover < 1456262261 224347 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :a proof should be a polytime checkable object < 1456262267 877871 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :Perhaps < 1456262273 371463 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :do you disagree < 1456262277 718679 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :i haddnt even finished < 1456262279 266834 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :No < 1456262281 355299 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :I do not < 1456262291 40075 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :Polynomial time is generally good < 1456262304 829078 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :So instead of perhaps, "Probably" < 1456262321 437109 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :vanila: In fact, if it's NP, it hardly counts as a proof IMO < 1456262326 652351 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :yeah < 1456262335 68706 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :P = Proof, NP = Not a Proof < 1456262335 478929 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :vanila: So what's your point < 1456262337 247406 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :? < 1456262370 517100 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :do you know < 1456262377 102077 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :what's the name of this.. < 1456262378 801839 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :vanila: I probably don't < 1456262384 70334 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :ok nvm < 1456262406 519439 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :vanila: I might thouh < 1456262409 279743 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :*though < 1456262546 231237 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :vanila: I'm thinking of including multityping- a single value can be a member of more than one type < 1456262756 888763 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1456262758 307075 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :e.g. 5 is NATURAL, WHOLE, INTEGER, REAL, COMPLEX, SPLIT, DUAL, GAUSS, SPLIT_GAUSS, DUAL_GAUSS < 1456262767 814995 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :And maybe PRIME if I include it, but I probably won't < 1456262808 250269 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :vanila: That's multityping < 1456262811 346881 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org PRIVMSG #esoteric :vanila: Is it stupid? < 1456262884 10145 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :i dont know < 1456263008 564313 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Scheme has a numerical tower vaguely like that. < 1456263107 677035 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Goes number ⊇ complex ⊇ real ⊇ rational ⊇ integer, approximately. < 1456263137 257780 :jaboja!~jaboja@aejg6.neoplus.adsl.tpnet.pl QUIT :Remote host closed the connection < 1456263149 614921 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"For example, 3 is an integer. Therefore 3 is also a rational, a real, and a complex." (R5RS 6.2.1) < 1456263211 91695 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(They're strict subtypes of the higher-level ones, though.) < 1456263286 550919 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1456263651 821981 :MDude!~fyrc@c-73-187-225-46.hsd1.pa.comcast.net QUIT :Ping timeout: 248 seconds < 1456263964 186325 :lynn_!~lynn@unaffiliated/lynn JOIN :#esoteric < 1456263979 403452 :lynn!~lynn@unaffiliated/lynn QUIT :Ping timeout: 252 seconds < 1456263987 613685 :earendel!~earendel@unaffiliated/earendel JOIN :#esoteric < 1456264285 350538 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net JOIN :#esoteric < 1456265735 553924 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org JOIN :#esoteric < 1456266035 490783 :XorSwap!XorSwap@wpa-6-1788.cc.umanitoba.ca JOIN :#esoteric < 1456266139 656569 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1456266520 419500 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Ping timeout: 252 seconds < 1456267543 508737 :XorSwap!XorSwap@wpa-6-1788.cc.umanitoba.ca QUIT :Ping timeout: 252 seconds < 1456268288 244036 :zemhill!bfjoust@selene.zem.fi QUIT :*.net *.split < 1456268289 110719 :relrod!~relrod@redhat/relrod QUIT :*.net *.split < 1456268289 339170 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org QUIT :*.net *.split < 1456268289 965602 :Xe!~xe@infoforcefeed/Xe QUIT :*.net *.split < 1456268290 124162 :sebbu!~sebbu@unaffiliated/sebbu QUIT :*.net *.split < 1456268290 282086 :deltab!~deltab@cpc1-smal2-0-0-cust155.19-1.cable.virginm.net QUIT :*.net *.split < 1456268290 440362 :erdic!~erdic@unaffiliated/motley QUIT :*.net *.split < 1456268290 598387 :Froox!~Frooxius@194.108.5.201 QUIT :*.net *.split < 1456268290 799009 :newsham!~chat@udp217044uds.hawaiiantel.net QUIT :*.net *.split < 1456268291 440102 :nisstyre!~yourstrul@li611-52.members.linode.com QUIT :*.net *.split < 1456268291 956536 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi QUIT :*.net *.split < 1456268292 208311 :mad!boulam@69-165-212-148.cable.teksavvy.com QUIT :*.net *.split < 1456268292 370855 :^v!~v^@c-68-41-215-101.hsd1.mi.comcast.net QUIT :*.net *.split < 1456268292 528715 :int-e!~noone@static.88-198-179-137.clients.your-server.de QUIT :*.net *.split < 1456268292 686975 :tswett!~tswett@192.241.237.138 QUIT :*.net *.split < 1456268292 687032 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :*.net *.split < 1456268292 845350 :coppro!~scshunt@taurine.csclub.uwaterloo.ca QUIT :*.net *.split < 1456268293 3451 :vifino!vifino@tty.sh QUIT :*.net *.split < 1456268293 281437 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :*.net *.split < 1456268293 439326 :p34k!~p34k@nat-wh-wz4-12.rz.uni-karlsruhe.de QUIT :*.net *.split < 1456268293 684171 :fungot!~fungot@momus.zem.fi QUIT :*.net *.split < 1456268294 364001 :Treio!~Treio@87.244.233.250 QUIT :*.net *.split < 1456268295 220692 :yorick__!~yorick@oftn/member/yorick QUIT :*.net *.split < 1456268295 587415 :pikhq!~pikhq@2601:647:4b00:63aa::f63 QUIT :*.net *.split < 1456268295 745559 :lleu!~gnomebad@unaffiliated/lleu QUIT :*.net *.split < 1456268296 92161 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 QUIT :*.net *.split < 1456268296 250203 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net QUIT :*.net *.split < 1456268296 656307 :jameseb!~jameseb_@runciman.hacksoc.org QUIT :*.net *.split < 1456268296 815123 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net QUIT :*.net *.split < 1456268297 279611 :vanila!~vanila@unaffiliated/vanila QUIT :*.net *.split < 1456268297 437729 :carado!~carado@savhon.org QUIT :*.net *.split < 1456268297 603134 :kline!~kline@nds/committee/kline QUIT :*.net *.split < 1456268298 528254 :zgrep!sid43445@gateway/web/irccloud.com/x-vrgighsuzwhersgk QUIT :*.net *.split < 1456268298 686573 :staffehn!~quassel@2001:41d0:52:d00::1d3 QUIT :*.net *.split < 1456268298 844830 :FreeFull!~freefull@defocus/sausage-lover QUIT :*.net *.split < 1456268299 102831 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-swhzfglcoyzyfcqt QUIT :*.net *.split < 1456268299 291650 :jix_!~jix@jixco.de QUIT :*.net *.split < 1456268299 909726 :lynn_!~lynn@unaffiliated/lynn QUIT :*.net *.split < 1456268300 75699 :MoALTz!~no@78-11-180-214.static.ip.netia.com.pl QUIT :*.net *.split < 1456268301 577632 :quintopia!~quintopia@unaffiliated/quintopia QUIT :*.net *.split < 1456268301 735654 :EgoBot!dlopen@libdl.so QUIT :*.net *.split < 1456268301 735734 :Gregor!dlopen@libdl.so QUIT :*.net *.split < 1456268301 735760 :mtve!~mtve@10130.x.rootbsd.net QUIT :*.net *.split < 1456268301 893605 :nitrix!~nitrix@unaffiliated/nitrix QUIT :*.net *.split < 1456268302 51748 :idris-bot!~idris-bot@dslb-092-072-190-108.092.072.pools.vodafone-ip.de QUIT :*.net *.split < 1456268302 51784 :rodgort!~rodgort@105.ip-167-114-152.net QUIT :*.net *.split < 1456268302 334653 :kragniz!~kragniz@nyaa.kragniz.eu QUIT :*.net *.split < 1456268303 181634 :spiette!~spiette@x-132-204-251-254.xtpr.umontreal.ca QUIT :*.net *.split < 1456268303 497218 :gniourf!~gniourf@pdm-l03.insa-lyon.fr QUIT :*.net *.split < 1456268303 841710 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net QUIT :*.net *.split < 1456268303 999777 :FireFly!~firefly@oftn/member/FireFly QUIT :*.net *.split < 1456268304 158267 :heroux!sandroco@gateway/shell/insomnia247/x-xslelgczluhddjwr QUIT :*.net *.split < 1456268304 443164 :clog!~nef@bespin.org QUIT :*.net *.split < 1456268304 601253 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :*.net *.split < 1456268304 601315 :cnr!~connor@unaffiliated/conehead QUIT :*.net *.split < 1456268304 759710 :diginet!~diginet@107.170.146.29 QUIT :*.net *.split < 1456268305 357788 :earendel!~earendel@unaffiliated/earendel QUIT :*.net *.split < 1456268305 707015 :aloril!~aloril@84.250.63.129 QUIT :*.net *.split < 1456268305 865216 :puckipedia!~puck@irc.puckipedia.com QUIT :*.net *.split < 1456268306 23282 :tromp!~tromp@rtc35-235.rentec.com QUIT :*.net *.split < 1456268306 23349 :Alcest!~alcest@69.64.40.177 QUIT :*.net *.split < 1456268306 23368 :izabera!~izabera@unaffiliated/izabera QUIT :*.net *.split < 1456268306 597735 :fractal!~fractal@unaffiliated/scounder QUIT :*.net *.split < 1456268306 755957 :pdxleif!~pdxleif@54.68.166.10 QUIT :*.net *.split < 1456268306 756023 :paul2520!~paul2520@unaffiliated/paul2520 QUIT :*.net *.split < 1456268307 98077 :incomprehensibly!sid3405@gateway/web/irccloud.com/x-ektwtccafzhjntaf QUIT :*.net *.split < 1456268307 256056 :Riviera!Riviera@2a03:b0c0:1:d0::10:b001 QUIT :*.net *.split < 1456268307 467658 :ocharles_!sid30093@gateway/web/irccloud.com/x-rykizuilufhnbamo QUIT :*.net *.split < 1456268307 844108 :Hoolootwo!~Hoolootwo@you.know.what.toasters.rocks QUIT :*.net *.split < 1456268308 263185 :Nithogg!~ethiraric@2001:41d0:51:1::1d31 QUIT :*.net *.split < 1456268308 421108 :hydraz!matheus@unaffiliated/demhydraz QUIT :*.net *.split < 1456268308 676887 :myname!~myname@84.200.43.57 QUIT :*.net *.split < 1456268308 834721 :mbrcknl!sid28171@gateway/web/irccloud.com/x-pycxudpxmjanrlwh QUIT :*.net *.split < 1456268309 383560 :fizzie!fis@unaffiliated/fizzie QUIT :*.net *.split < 1456268310 124050 :Veltas!~quassel@static.117.33.251.148.clients.your-server.de QUIT :*.net *.split < 1456268310 353499 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca QUIT :*.net *.split < 1456268310 595756 :digitalcold!~redacted@192.73.232.206 QUIT :*.net *.split < 1456268310 763523 :APic!apic@apic.name QUIT :*.net *.split < 1456268311 61077 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :*.net *.split < 1456268311 219033 :atehwa!atehwa@aulis.sange.fi QUIT :*.net *.split < 1456268311 377162 :catern!~catern@catern.com QUIT :*.net *.split < 1456268311 860377 :Melvar!~melvar@dslb-092-072-190-108.092.072.pools.vodafone-ip.de QUIT :*.net *.split < 1456268312 18546 :Taneb!~Taneb@runciman.hacksoc.org QUIT :*.net *.split < 1456268312 18644 :j-bot!~j-bot@li1285-84.members.linode.com QUIT :*.net *.split < 1456268312 176629 :nortti!nortti@ayu.smar.moe QUIT :*.net *.split < 1456268312 334588 :shachaf!~shachaf@unaffiliated/shachaf QUIT :*.net *.split < 1456268312 492847 :b_jonas!~x@russell2.math.bme.hu QUIT :*.net *.split < 1456268312 650732 :ski!~ski@remote11.chalmers.se QUIT :*.net *.split < 1456268427 816780 :vifino!vifino@tty.sh JOIN :#esoteric < 1456268427 817491 :coppro!~scshunt@taurine.csclub.uwaterloo.ca JOIN :#esoteric < 1456268427 817524 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1456268427 817548 :tswett!~tswett@192.241.237.138 JOIN :#esoteric < 1456268427 817570 :int-e!~noone@static.88-198-179-137.clients.your-server.de JOIN :#esoteric < 1456268427 817592 :^v!~v^@c-68-41-215-101.hsd1.mi.comcast.net JOIN :#esoteric < 1456268427 817613 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi JOIN :#esoteric < 1456268427 817635 :mad!boulam@69-165-212-148.cable.teksavvy.com JOIN :#esoteric < 1456268427 817656 :jameseb!~jameseb_@runciman.hacksoc.org JOIN :#esoteric < 1456268427 817680 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net JOIN :#esoteric < 1456268427 817701 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 JOIN :#esoteric < 1456268427 817722 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1456268427 817743 :pikhq!~pikhq@2601:647:4b00:63aa::f63 JOIN :#esoteric < 1456268427 817764 :yorick__!~yorick@oftn/member/yorick JOIN :#esoteric < 1456268427 817785 :Treio!~Treio@87.244.233.250 JOIN :#esoteric < 1456268427 817805 :fungot!~fungot@momus.zem.fi JOIN :#esoteric < 1456268427 817826 :p34k!~p34k@nat-wh-wz4-12.rz.uni-karlsruhe.de JOIN :#esoteric < 1456268427 817847 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1456268427 817867 :mbrcknl!sid28171@gateway/web/irccloud.com/x-pycxudpxmjanrlwh JOIN :#esoteric < 1456268427 817888 :myname!~myname@84.200.43.57 JOIN :#esoteric < 1456268427 817908 :hydraz!matheus@unaffiliated/demhydraz JOIN :#esoteric < 1456268427 817929 :Nithogg!~ethiraric@2001:41d0:51:1::1d31 JOIN :#esoteric < 1456268427 817951 :Hoolootwo!~Hoolootwo@you.know.what.toasters.rocks JOIN :#esoteric < 1456268427 817971 :ocharles_!sid30093@gateway/web/irccloud.com/x-rykizuilufhnbamo JOIN :#esoteric < 1456268427 817993 :Riviera!Riviera@2a03:b0c0:1:d0::10:b001 JOIN :#esoteric < 1456268427 974961 :incomprehensibly!sid3405@gateway/web/irccloud.com/x-ektwtccafzhjntaf JOIN :#esoteric < 1456268431 724657 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net QUIT :Remote host closed the connection < 1456268456 486045 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net JOIN :#esoteric < 1456268456 644120 :vanila!~vanila@unaffiliated/vanila JOIN :#esoteric < 1456268456 644249 :carado!~carado@savhon.org JOIN :#esoteric < 1456268456 644275 :zgrep!sid43445@gateway/web/irccloud.com/x-vrgighsuzwhersgk JOIN :#esoteric < 1456268456 644297 :staffehn!~quassel@2001:41d0:52:d00::1d3 JOIN :#esoteric < 1456268456 644319 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1456268456 644341 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-swhzfglcoyzyfcqt JOIN :#esoteric < 1456268456 644363 :jix_!~jix@jixco.de JOIN :#esoteric < 1456268459 920468 :zemhill!bfjoust@selene.zem.fi JOIN :#esoteric < 1456268461 69477 :relrod!~relrod@redhat/relrod JOIN :#esoteric < 1456268465 799342 :lynn_!~lynn@unaffiliated/lynn JOIN :#esoteric < 1456268465 957792 :MoALTz!~no@78-11-180-214.static.ip.netia.com.pl JOIN :#esoteric < 1456268465 957868 :spiette!~spiette@x-132-204-251-254.xtpr.umontreal.ca JOIN :#esoteric < 1456268465 957888 :gniourf!~gniourf@pdm-l03.insa-lyon.fr JOIN :#esoteric < 1456268465 957914 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net JOIN :#esoteric < 1456268465 974926 :FireFly!~firefly@oftn/member/FireFly JOIN :#esoteric < 1456268465 974956 :heroux!sandroco@gateway/shell/insomnia247/x-xslelgczluhddjwr JOIN :#esoteric < 1456268465 974973 :clog!~nef@bespin.org JOIN :#esoteric < 1456268465 974988 :EgoBot!dlopen@libdl.so JOIN :#esoteric < 1456268465 975004 :quintopia!~quintopia@unaffiliated/quintopia JOIN :#esoteric < 1456268465 975070 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1456268465 975086 :cnr!~connor@unaffiliated/conehead JOIN :#esoteric < 1456268465 975101 :Gregor!dlopen@libdl.so JOIN :#esoteric < 1456268465 975117 :mtve!~mtve@10130.x.rootbsd.net JOIN :#esoteric < 1456268465 975131 :nitrix!~nitrix@unaffiliated/nitrix JOIN :#esoteric < 1456268465 975146 :diginet!~diginet@107.170.146.29 JOIN :#esoteric < 1456268465 975162 :idris-bot!~idris-bot@dslb-092-072-190-108.092.072.pools.vodafone-ip.de JOIN :#esoteric < 1456268465 975178 :rodgort!~rodgort@105.ip-167-114-152.net JOIN :#esoteric < 1456268465 975193 :kragniz!~kragniz@nyaa.kragniz.eu JOIN :#esoteric < 1456268503 380988 :Xe!xe@2604:180:1::afa1:7a8e JOIN :#esoteric < 1456268525 9561 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org JOIN :#esoteric < 1456268525 167427 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1456268525 167517 :erdic!~erdic@unaffiliated/motley JOIN :#esoteric < 1456268525 167551 :deltab!~deltab@cpc1-smal2-0-0-cust155.19-1.cable.virginm.net JOIN :#esoteric < 1456268525 167584 :Froox!~Frooxius@194.108.5.201 JOIN :#esoteric < 1456268525 167615 :newsham!~chat@udp217044uds.hawaiiantel.net JOIN :#esoteric < 1456268525 851474 :kline!~kline@5.196.41.224 JOIN :#esoteric < 1456268580 330061 :digitalcold!~redacted@192.73.232.206 JOIN :#esoteric < 1456268580 488066 :APic!apic@apic.name JOIN :#esoteric < 1456268580 488136 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1456268580 488154 :atehwa!atehwa@aulis.sange.fi JOIN :#esoteric < 1456268580 488171 :catern!~catern@catern.com JOIN :#esoteric < 1456268580 488186 :Melvar!~melvar@dslb-092-072-190-108.092.072.pools.vodafone-ip.de JOIN :#esoteric < 1456268580 488202 :Taneb!~Taneb@runciman.hacksoc.org JOIN :#esoteric < 1456268580 488218 :j-bot!~j-bot@li1285-84.members.linode.com JOIN :#esoteric < 1456268580 488234 :nortti!nortti@ayu.smar.moe JOIN :#esoteric < 1456268580 488250 :shachaf!~shachaf@unaffiliated/shachaf JOIN :#esoteric < 1456268580 488265 :b_jonas!~x@russell2.math.bme.hu JOIN :#esoteric < 1456268580 488281 :ski!~ski@remote11.chalmers.se JOIN :#esoteric < 1456268584 548904 :Veltas!~quassel@static.117.33.251.148.clients.your-server.de JOIN :#esoteric < 1456268584 706724 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca JOIN :#esoteric < 1456268597 192411 :nisstyre!~yourstrul@li611-52.members.linode.com JOIN :#esoteric < 1456268597 350134 :fizzie!fis@unaffiliated/fizzie JOIN :#esoteric < 1456268623 147365 :nisstyre!~yourstrul@li611-52.members.linode.com QUIT :Max SendQ exceeded < 1456268626 42782 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net JOIN :#esoteric < 1456268629 554690 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net QUIT :Remote host closed the connection < 1456268640 498064 :zgrep!sid43445@gateway/web/irccloud.com/x-vrgighsuzwhersgk QUIT :Ping timeout: 240 seconds < 1456268665 571115 :hppavilion[1]!~DevourerO@74-114-87-79.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1456268674 201779 :aloril_!~aloril@dsl-tkubrasgw1-54fa3f-129.dhcp.inet.fi JOIN :#esoteric < 1456268681 417663 :catern!~catern@catern.com QUIT :Excess Flood < 1456268711 516559 :catern!~catern@catern.com JOIN :#esoteric < 1456268753 161265 :Xe!xe@2604:180:1::afa1:7a8e QUIT :Changing host < 1456268753 319152 :Xe!xe@infoforcefeed/Xe JOIN :#esoteric < 1456268756 578999 :nisstyre_!~yourstrul@li611-52.members.linode.com JOIN :#esoteric < 1456268786 797214 :aloril!~aloril@84.250.63.129 JOIN :#esoteric < 1456268786 955706 :puckipedia!~puck@irc.puckipedia.com JOIN :#esoteric < 1456268786 955775 :tromp!~tromp@rtc35-235.rentec.com JOIN :#esoteric < 1456268786 955794 :Alcest!~alcest@69.64.40.177 JOIN :#esoteric < 1456268786 955811 :izabera!~izabera@unaffiliated/izabera JOIN :#esoteric < 1456268786 955827 :fractal!~fractal@unaffiliated/scounder JOIN :#esoteric < 1456268786 955843 :pdxleif!~pdxleif@54.68.166.10 JOIN :#esoteric < 1456268786 955858 :paul2520!~paul2520@unaffiliated/paul2520 JOIN :#esoteric < 1456268799 843256 :kline!~kline@5.196.41.224 QUIT :Changing host < 1456268800 1141 :kline!~kline@nds/committee/kline JOIN :#esoteric < 1456268811 56006 :earendel!~earendel@unaffiliated/earendel JOIN :#esoteric < 1456268821 411999 :Alcest!~alcest@69.64.40.177 QUIT :Max SendQ exceeded < 1456268821 569840 :aloril!~aloril@84.250.63.129 QUIT :Max SendQ exceeded < 1456268921 126970 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net QUIT :Quit: mihow < 1456269031 436886 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net JOIN :#esoteric < 1456269108 391685 :gde33!kvirc@546A0B75.cm-12-3a.dynamic.ziggo.nl JOIN :#esoteric < 1456269137 134126 :lynn_!~lynn@unaffiliated/lynn QUIT :Ping timeout: 244 seconds < 1456269151 154383 :lynn!~lynn@unaffiliated/lynn JOIN :#esoteric < 1456269282 509432 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net JOIN :#esoteric < 1456269521 477295 :spiette!~spiette@x-132-204-251-254.xtpr.umontreal.ca QUIT :Quit: :qa! < 1456269934 87890 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :what is a number that a complex isn't? < 1456270021 869215 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :quaternions < 1456270125 933920 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1456270267 740049 :zgrep!sid43445@gateway/web/irccloud.com/x-llvcwqmyxekfewsk JOIN :#esoteric < 1456270453 88064 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456270515 141881 :ais523!~ais523@unaffiliated/ais523 QUIT :Client Quit < 1456270524 672475 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1456270912 971819 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`wisdom < 1456270929 349063 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :category theory/In category theory, category theory is a theory in the category of theories. < 1456270966 195200 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :lol < 1456270966 195245 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` sed -i 's/category theory/the theory of categories/' wisdom/category\ theory < 1456270969 177643 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1456270982 831137 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? category theory < 1456270984 755660 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :In the theory of categories, category theory is a theory in the category of theories. < 1456271088 256186 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net JOIN :#esoteric < 1456271338 253422 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :`? category < 1456271339 338931 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :A category is an enriched category where the enriching category is the category of classes. < 1456271360 369643 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :`? class < 1456271362 345482 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :class? ¯\(°​_o)/¯ < 1456271364 607846 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :`? classes < 1456271368 723199 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :classes? ¯\(°​_o)/¯ < 1456271380 955985 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :HackEgo has no class. < 1456271385 342900 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :(hue hue hue ^^) < 1456271591 733400 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :how many of the category theory wisdoms are actually mathematically accurate? < 1456271593 219670 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`? monad < 1456271594 212783 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Monads are just monoids in the category of endofunctors. < 1456271596 243642 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that one is < 1456271597 740476 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`? comonad < 1456271600 922463 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Comonads are just monads in the dual category. < 1456271612 893014 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that one is I think? not 100% sure < 1456271619 163206 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it may be missing details < 1456271628 155158 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :FireFly: As far as I know, nothing in standard R5RS, but it does have both number? and complex? predicates. < 1456271638 440557 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I see < 1456271649 949699 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"In many implementations the rational? procedure will be the same as real?, and the complex? procedure will be the same as number?, but unusual implementations may be able to represent some irrational numbers exactly or may extend the number system to support some kind of non-complex numbers." < 1456271669 256405 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :his523. comonads are right. < 1456271678 598525 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`? theory < 1456271680 952568 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :theory? ¯\(°​_o)/¯ < 1456271883 937020 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Here's something I'm making < 1456271899 697162 :J_Arcane!~chatzilla@37-219-73-55.nat.bb.dnainternet.fi JOIN :#esoteric < 1456271900 333243 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :`le/rn theory/To be theory is to be like a theorem, but inferior < 1456271903 394488 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Thoof < 1456271904 435920 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned «theory» < 1456271906 380329 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :Thue Proof < 1456271925 891804 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :It's a proof assistant based on string rewriting. It's utterly useless. < 1456271953 279492 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :And I can't test it because I don't know of any good theorems/axiom schemas to test it on < 1456271968 141134 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :`? forty < 1456271969 791837 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :forty means "in a fort-like manner"