< 1460332802 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Okay, there's an exit syscall. man 2 exit isn't too helpful about it on my system... < 1460332827 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :that kills the process iirc < 1460332864 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i think _start eventually boils down to exit(main(argc, argv)) < 1460332871 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :no, there's exit_group for that. < 1460332928 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :"The function _exit() terminates the calling process[...]" < 1460332944 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(libc function names do not always correspond to syscall names) < 1460332958 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i'm looking at the syscall documentation < 1460332972 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :look under C library/kernel differences < 1460333029 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i just looked closer at clone(2) and yeah, i guess since threads would be individual processes that'd only kill the current thread < 1460333496 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm of course sierpinsky is perfect for 56 threads and 9 cycles... < 1460333615 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ah the leaderboard is confused... the 0x05 should be lines of code < 1460333867 0 :Kaynato!~Aedile@cpe-173-88-230-28.neo.res.rr.com PRIVMSG #esoteric :Apparently I was wrong and everything is actually more severely wrong now < 1460333874 0 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Phantom_Hoover: The _Exit function doesn't actually map to the exit syscall, though. < 1460333906 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :pikhq, i was reading the man page for exit(2) < 1460333935 0 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Ah, which mentions that. :) < 1460333975 0 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Yeah, the kernel level notion of "process" is more "a schedulable entity" which may or may not map to a Unix "process". So you get a few weird things like that in the syscall layer. < 1460334053 0 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Probably the worst thing is that setuid etc. is a *god damned pain* to do correctly, because there's not a way of telling Linux to do it atomically across all threads in a process. < 1460334067 0 :Kaynato!~Aedile@cpe-173-88-230-28.neo.res.rr.com PRIVMSG #esoteric :http://pastebin.com/PnRYcK9L < 1460334073 0 :Kaynato!~Aedile@cpe-173-88-230-28.neo.res.rr.com PRIVMSG #esoteric :For oerjan < 1460334272 0 :jaboja!~jaboja@vps.jaboja.pl QUIT :Ping timeout: 268 seconds < 1460334295 0 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 244 seconds < 1460334676 0 :Kaynato!~Aedile@cpe-173-88-230-28.neo.res.rr.com PRIVMSG #esoteric :Nevermind, I got it < 1460334706 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yay < 1460334886 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :as claimed, 0x09 cycles sierpinski... http://sprunge.us/BEba < 1460334936 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(hmm, I could save a thread...) < 1460335173 0 :centrinia!~centrinia@107-208-218-105.lightspeed.tukrga.sbcglobal.net QUIT :Quit: Leaving < 1460335431 0 :lambda-11235!~lambda-11@47.208.113.50 JOIN :#esoteric < 1460335647 0 :lambda-11235!~lambda-11@47.208.113.50 PRIVMSG #esoteric :Ok, I did some thinking and came up with a more succinct language, https://notehub.org/mvig3. < 1460335657 0 :lambda-11235!~lambda-11@47.208.113.50 PRIVMSG #esoteric :Toughts? < 1460335928 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca JOIN :#esoteric < 1460336006 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :I found a book describing the original IBM PC hardware including the full BIOS code, instruction set, and schematic diagrams. < 1460336131 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :int-e, it's this kind of shit that makes me hate THR!! < 1460336193 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Phantom_Hoover: you must really loathe my 15 cycles checkerboard then :P < 1460336218 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(0xf) < 1460336319 0 :centrinia!~centrinia@107-208-218-105.lightspeed.tukrga.sbcglobal.net JOIN :#esoteric < 1460336785 0 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1460336833 0 :earendel!~earendel@unaffiliated/earendel JOIN :#esoteric < 1460336876 0 :impomatic!~impomatic@37.152.222.136 PRIVMSG #esoteric :Nice work on the Sierpinski int-e :-) < 1460336967 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :impomatic, that mario program is the kind of outrage that has provoked inquisitions < 1460336969 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I wonder whether my 5 lines sierpinski is the same as yours... will find out in a moment... < 1460337031 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it'll take almost 0x4000 cycles, ouch < 1460337282 0 :impomatic!~impomatic@37.152.222.136 PRIVMSG #esoteric :int-e: 5 line Sierpinski 0x4FC cycles < 1460337914 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :okay, mine is 4 lines :) < 1460337974 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what languagd? < 1460338008 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :quintopia, http://box-256.com/ < 1460338012 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :that box-256 thing < 1460338040 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :and with that odd LOC counting that ignores empty lines < 1460338061 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :though, hmm, that's not essential anymore... < 1460338081 0 :bb010g!uid21050@gateway/web/irccloud.com/x-zbehiwkwhviodqez JOIN :#esoteric < 1460338138 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1460338234 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :http://sprunge.us/KDYB < 1460338396 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 250 seconds < 1460338431 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1460338433 0 :impomatic!~impomatic@37.152.222.136 PRIVMSG #esoteric :Hmmm... I should've thought of that! < 1460338650 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :in fact, wth... I've spent enough time on this to put it on github... https://github.com/int-e/box256 < 1460338954 0 :impomatic!~impomatic@37.152.222.136 PRIVMSG #esoteric :Some of mine are on Github https://github.com/impomatic/BOX256 < 1460339031 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ah but at least our basic idea is the same :) < 1460339174 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(though I somehow failed to make the forward iteration work) < 1460339760 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :lambda-11235: Individual token notes should have the tokens in monospace < 1460339866 0 :lambda-11235!~lambda-11@47.208.113.50 PRIVMSG #esoteric :hppavilion[1]: Token notes? < 1460339909 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :lambda-11235: Like "-> is right associative, so a -> b -> c = a -> (b -> c). a -> b always has type *." < 1460339914 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :-> and * should be monospaced < 1460340064 0 :lambda-11235!~lambda-11@47.208.113.50 PRIVMSG #esoteric :hppavilion[1]: Better? https://notehub.org/mvig3 < 1460340126 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :lambda-11235: No; that's literally the exact same page, but I'm really just nitpicking < 1460340154 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :lambda-11235: If recursive functions are banned, and functions can only use their predecessor-defined functions, doesn't that make it a BSM? < 1460340210 0 :lambda-11235!~lambda-11@47.208.113.50 PRIVMSG #esoteric :hppavilion[1]: BSM? < 1460340214 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1460340226 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :lambda-11235: Bounded State Machine < 1460340237 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :lambda-11235: A TM with finite memory; FSM-complete < 1460340268 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :linear bounded automaton... how many names does this thing have? < 1460340508 0 :lambda-11235!~lambda-11@47.208.113.50 PRIVMSG #esoteric :hppavilion[1]: I don't think so. An FSM could loop forever. This language can't. < 1460340526 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :lambda-11235: Oh, right < 1460340538 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :int-e: I think I just used the wrong acronym < 1460340596 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :int-e: Also, for a finite string of length 3-5, 12355928 < 1460340621 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :int-e: Would you like the complete list? < 1460340667 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ACTION is not really paying attention < 1460340741 0 :lambda-11235!~lambda-11@47.208.113.50 PRIVMSG #esoteric :Recursive functions are banned to garauntee totality, a property of any typed lambda calculus that doesn't have the fix point function. < 1460340952 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1460341162 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :nonterminating functions can still be immensely more powerful than linear bounded. i recall we found previously that system F can implement goodstein sequences. < 1460341182 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :although this seemed like a different system - dependent but not polymorphic? < 1460341202 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or wait, s/polymorphic/higher rank/ < 1460341268 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(goodstein sequences, fwiw, cannot be proved to terminate in peano arithmetic) < 1460341276 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :er < 1460341284 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :s/nonterminating/terminating/, sheesh < 1460341350 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :was it impomatic who wrote that up in restricted haskell < 1460341364 0 :impomatic!~impomatic@37.152.222.136 PRIVMSG #esoteric :Not me < 1460341372 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh. < 1460341386 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm who am i confusing you with < 1460341399 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :quintopia maybe < 1460341454 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(haskell using rank-n extension but no recursion, so equivalent to system F) < 1460341674 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :int-e: There. I wrote a program to generate all possible names for a LBA < 1460341686 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :int-e: (of reasonable length) < 1460341691 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :When it finishes running, I'll pastebin it < 1460341740 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION keeps getting the impression that google only knows a fraction of our logs < 1460341773 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :oerjan: BTW, do you remember who it was that made Predicate Nomic? < 1460341789 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : i found a relevant page, but not the haskell program < 1460341811 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: the first time i remember seeing that name was yesterday. < 1460341890 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION tries looking for just system f < 1460342000 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :impomatic: https://raw.githubusercontent.com/int-e/box256/master/four_squares_2/multi_0x0B :-) < 1460342075 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net PRIVMSG #esoteric :@ask quintopia Are you the one who invented Predicate Nomic? < 1460342076 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1460342303 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1460343541 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net QUIT :Ping timeout: 252 seconds < 1460343641 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net JOIN :#esoteric < 1460344036 0 :hppavilion[1]!~DevourerO@58-0-174-206.gci.net QUIT :Ping timeout: 252 seconds < 1460346210 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :impomatic: https://raw.githubusercontent.com/int-e/box256/master/checkerboard_2/multi_0x10 ... this time, 0x0F looks impossible, but perhaps there's a better way of dealing with the color swaps. < 1460347302 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :help. < 1460347305 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :how did I become a contributor to len < 1460347307 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :*lens < 1460347364 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :you probably made a categorical mistake. < 1460347464 0 :lambda-11235!~lambda-11@47.208.113.50 PRIVMSG #esoteric :coppro: You pointed them at the sun, and got burned. < 1460347491 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :oerjan: tdh < 1460348564 0 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net JOIN :#esoteric < 1460349863 0 :centrinia!~centrinia@107-208-218-105.lightspeed.tukrga.sbcglobal.net QUIT :Quit: Leaving < 1460350757 0 :lambda-11235!~lambda-11@47.208.113.50 QUIT :Ping timeout: 244 seconds < 1460351085 0 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net JOIN :#esoteric < 1460351343 0 :earendel!?@? NICK :jessi < 1460351359 0 :jessi!?@? NICK :earendel < 1460351682 0 :iconmaster!~iconmaste@129.21.122.8 QUIT :Ping timeout: 246 seconds < 1460351879 0 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net QUIT :Quit: Leaving < 1460352008 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :What is best way to make up temporary files in a shell script? Is it possible to automatically delete once it is finish? < 1460352063 0 :Kaynato!~Aedile@cpe-173-88-230-28.neo.res.rr.com QUIT :Ping timeout: 240 seconds < 1460352431 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Maybe if you opened a file descriptor and then unlinked the file. < 1460352447 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm not sure how well that approach works for shell scripts. < 1460352721 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Would it be possible to make up another program that will do the necessary stuff (given the process ID if necessary) and output the commands that can be use with eval or whatever? < 1460352787 0 :jessi!~jessi@176.0.138.111 JOIN :#esoteric < 1460352846 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :impomatic: it fit... https://raw.githubusercontent.com/int-e/box256/master/checkerboard_2/multi_0x0F < 1460352974 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net JOIN :#esoteric < 1460353066 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Product type yields tuples, but what exactly does quotient type yield? < 1460353179 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :trouble iiuc < 1460353578 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :lambda-11235: All functional languages seem a little contrived. What happens when you grow one? < 1460353593 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: IIUC? < 1460353612 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? iiuc < 1460353647 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :iiuc i understand iiuc correctly. < 1460353694 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: Ah < 1460353710 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :For "what a quotient type yields": that's tricky. < 1460353742 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :tswett: Assuming "yields" is not whatever high-level math word you think I meant < 1460353778 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :There's no such high-level math term, so I'm pretty sure I'm thinking the same thing you're thinking. < 1460353790 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :tswett: OK < 1460353797 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@brain < 1460353798 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :It must be inordinately taxing to be such a boob. < 1460353821 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :tswett: For reference, sum types yield tagged unions and product types yield tuples < 1460353879 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Right. Let's say that we're working in the category of... recursive sets, where the arrows are computable functions. < 1460353886 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Exponents would then yield functions I suppose < 1460353903 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Then yeah. Tagged unions are an implementation of sum types, and tuples are an implementation of product types. < 1460353907 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1460353929 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Sum types and product types are category theoretic duals to each other. < 1460353940 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Likewise, subset types and quotient types are category theoretic duals to each other. < 1460353964 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1460353980 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Subset types can be implemented by just dropping the values that are outside the subset. < 1460353996 0 :earendel!~earendel@unaffiliated/earendel PRIVMSG #esoteric :generator functions in js yield valiues..like compute and spawn the next element of a determined series < 1460354003 0 :earendel!~earendel@unaffiliated/earendel PRIVMSG #esoteric :is it similar < 1460354035 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :earendel: no, not really. < 1460354040 0 :earendel!~earendel@unaffiliated/earendel PRIVMSG #esoteric :one of more functional aspects in js. < 1460354043 0 :earendel!~earendel@unaffiliated/earendel PRIVMSG #esoteric :okay then. < 1460354060 0 :earendel!~earendel@unaffiliated/earendel PRIVMSG #esoteric :nice word though. < 1460354063 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :That is true of JavaScript although it is not related to what hppavilion[1] and tswett was talking about < 1460354084 0 :earendel!~earendel@unaffiliated/earendel PRIVMSG #esoteric :sum types yield tuples < 1460354092 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Yeah, generator functions like this are a pretty neat thing. < 1460354109 0 :earendel!~earendel@unaffiliated/earendel PRIVMSG #esoteric :well.. maybe you're even wrong those generators are quite fancy stuff. < 1460354114 0 :earendel!~earendel@unaffiliated/earendel PRIVMSG #esoteric :maybe not. < 1460354141 0 :earendel!~earendel@unaffiliated/earendel PRIVMSG #esoteric :ah good. we have an agreement. < 1460354196 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Monadic generators is also possible and I have written some JavaScript codes for doing such thing < 1460354209 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :hppavilion[1]: so here's a disappointing answer for you: often, quotient types can't be implemented. < 1460354219 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :hppavilion[1]: let me also give you an answer you'll be happier with. < 1460354254 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Often, quotient types can be implemented by picking one particular element of each equivalence class, and using that to represent the corresponding element of the quotient type. < 1460354256 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :tswett: Damn xD < 1460354257 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :In other words... < 1460354272 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Node.js does not implement the "return" method for generator objects although I made up my own implementation which seem to work in most cases and requires that the function just rethrows any exception it does not know < 1460354279 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :You can often implement a quotient type by having a function which converts all its inputs to some "normal form". < 1460354298 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :And if you do that, then the answer to your original question is... < 1460354302 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Quotient types yield normal forms. < 1460354313 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :tswett: Oh, I suppose that makes sense; if x*y/y = x, then ((T, U)U = T, but < 1460354316 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Whoops < 1460354353 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :tswett: Oh, I suppose that makes sense; if x*y/y = x, then {(T, U) `U} = T, but what's {T `U} if T isn't a tuple? < 1460354400 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :tswett: Oh, subset types would be difference types, wouldn't they? < 1460354411 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Yeah, pretty much. < 1460354413 0 :earendel!~earendel@unaffiliated/earendel PRIVMSG #esoteric :zzo38: return? useless in async code. also you can return values. but why not yield* them? < 1460354420 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Now, quotients of sets are more general than quotients of numbers. < 1460354449 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :In general, the thing that you "quotient over" isn't another set; it's an equivalence relation. < 1460354482 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :earendel: Not all code will be asynchronous though anyways. But yes you can use return and yield and yield* inside of a function, just the method called "return" is not yet implemented < 1460354494 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So if you have a set with 100 elements, doing a quotient could land you with any number of elements from 1 to 100 (inclusive). < 1460354504 0 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net PRIVMSG #esoteric :hppavilion[1]: All languages are contrived. < 1460354533 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Sometimes, you'll do a quotient where every equivalence class has the same number of elements. < 1460354543 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :*This* is the case that corresponds to quotients of numbers. < 1460354569 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :If you have a set with 100 elements, and you do a quotient such that every equivalence class contains exactly 5 elements, then you'll end up, at the end, with a set with 20 elements. < 1460354576 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :But with the monadic generator operations you can do such thing as .joinR() which replaces "return x" with "return yield*x" for example. < 1460354597 0 :infinitymaster!~infinitym@c-67-201-229-131.reshall.wwu.edu JOIN :#esoteric < 1460354642 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Hey everyone, I've been working on my English–Spanish blend some more. < 1460354663 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I've finally managed to produce... about two words' worth of vocabulary. < 1460354667 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :esperanto? < 1460354674 0 :earendel!~earendel@unaffiliated/earendel PRIVMSG #esoteric :well the tricky part is the generator "stops" the computation until next yield..allowing a nice form of memoization < 1460354705 0 :earendel!~earendel@unaffiliated/earendel PRIVMSG #esoteric :@zzo38. anything else isn't even that world-moving. < 1460354705 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Unknown command, try @list < 1460354707 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I'm starting by blending Old English and Latin, and to start, I'm doing just the consonants. < 1460354722 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Pretty much ignoring the vowels. < 1460354740 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :earendel: I am not sure what you meant. < 1460354769 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :I know what you say is true but I do not understand how it is related to < 1460354775 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Most of the words I've come up with are kinda boring, because they're identical to either the Old English or the Latin. < 1460354802 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :There's one exception, which is the word for "brother". It is: < 1460354805 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :fr_þ_r < 1460354814 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I'm sure you are all very impressed by this. < 1460354923 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :earendel: I do not understand what you mean by "anything else isn't even that world-moving" and what your point is by that, is what I meant. < 1460354934 0 :earendel!~earendel@unaffiliated/earendel PRIVMSG #esoteric :nevermind.. i'm not able to express that in a formal way, and it's indeed not related to whatever you guys do here. it's a fun channel, since i never know what you're talking about. one of the last of these channels.. < 1460354950 0 :earendel!~earendel@unaffiliated/earendel PRIVMSG #esoteric :so i silence myself again and listen here and then. < 1460354953 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I've gotta sleep now. Night, everyone. < 1460354976 0 :earendel!~earendel@unaffiliated/earendel PRIVMSG #esoteric :good night. < 1460355003 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Here's a pretty esoteric thing < 1460355009 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :return^x y < 1460355031 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Which is meaning what? < 1460355036 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: Explaining < 1460355042 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :return^1 y is just return, of course < 1460355048 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :return^2 y returns from the caller < 1460355056 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :return^3 y returns from the caller's caller < 1460355058 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :etc. < 1460355071 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :O, OK < 1460355100 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :I think dc and INTERCAL both have something similar < 1460355108 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: Of course they do < 1460355171 0 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Tcl does too. < 1460355183 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :(Such thing could also be implemented in some Forth systems probably) < 1460355198 0 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :return -level 2 x returns from the caller, for example. < 1460355222 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what happens if you give it a negative level < 1460355301 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :I would also thought of a strange kind of JavaScript where you can write such thing as "arguments.caller.caller.return(x)" < 1460355314 0 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Don't know. < 1460355391 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :pikhq: how're things over at pooch hq < 1460355593 0 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :ACTION wouldn't be surprised if that's how Tcl worked < 1460355625 0 :jessi!~jessi@176.0.138.111 QUIT :Ping timeout: 244 seconds < 1460355905 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Another idea is evasive exceptions, such as if it is implemented extending JavaScript then a label name might be a constant local to the function, the label is itself a function which throws an evasive exception and the function containing that label catches it at the point where the label is (it cannot be caught by "catch" blocks, although "finally" blocks still work) < 1460356005 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :So it is like a "goto" command but is a bit more generalized < 1460357344 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: It returns from a callee < 1460357364 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I wrote a chdir executable for Linux once. < 1460357386 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: return^-1 x returns x from the current function's callee < 1460357412 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: Upside-down call stack: Every function has 0..infinity callers and 1 callee < 1460357441 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Better yet, 0..infinity callers AND callees < 1460357483 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: It's a sort of functional version of COMPUTED goto, I suppose < 1460357551 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :hppavilion[1]: Yes it is < 1460357605 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1460357642 0 :infinitymaster!~infinitym@c-67-201-229-131.reshall.wwu.edu QUIT :Remote host closed the connection < 1460357715 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: Any other types of GOTO to functionalize? < 1460357759 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :I don't know < 1460357853 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1460357977 0 :Grenlo!6cd2b490@gateway/web/freenode/ip.108.210.180.144 JOIN :#esoteric < 1460358041 0 :Grenlo!6cd2b490@gateway/web/freenode/ip.108.210.180.144 PRIVMSG #esoteric :Bump? < 1460358106 0 :infinitymaster!~infinitym@c-67-201-229-131.reshall.wwu.edu JOIN :#esoteric < 1460358112 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Bumping what? < 1460358165 0 :Grenlo!6cd2b490@gateway/web/freenode/ip.108.210.180.144 PRIVMSG #esoteric :I don't know, I wasn't sure if people were lurking about here. < 1460358173 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Grenlo: Are you trying to kick this channel into gear? < 1460358178 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Grenlo: We're already a working channel < 1460358183 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Grenlo: Just quiet ATM < 1460358236 0 :Grenlo!6cd2b490@gateway/web/freenode/ip.108.210.180.144 PRIVMSG #esoteric :Mm what are you working on? *Braces himself* < 1460358239 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :There are people on this channel. You can ask the question if you have something to write please < 1460358244 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Otherwise you do not have to. < 1460358302 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :I work on many things, currently on some utilities for farbfeld < 1460358305 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :So https://en.wikipedia.org/wiki/Eiichi_Goto was a person < 1460358324 0 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Mostly I just work on random bullshit, really. < 1460358331 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Grenlo: A discussion you just missed was about a functional computed GOTO statement < 1460358337 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Grenlo: call/cc is the functional GOTO < 1460358369 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :What kind of random bullshit? < 1460358424 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: He uses an octuple-blind process to randomly sample male cow excrement from farms around the world, which he then studies < 1460358438 0 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Precisely. < 1460358442 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :OK < 1460358451 0 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :It's great research for my upcoming esolang, Cowpie. < 1460358556 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :pikhq: A much-anticipated development in the Esolang industry < 1460358661 0 :Grenlo!6cd2b490@gateway/web/freenode/ip.108.210.180.144 PRIVMSG #esoteric :Perhaps I would gain at least some understanding of functional programming by listening in here. < 1460358668 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Grenlo: Perhaps < 1460358704 0 :Grenlo!6cd2b490@gateway/web/freenode/ip.108.210.180.144 PRIVMSG #esoteric :I suppose to an esoteric-ish extent. < 1460358730 0 :AnotherTest!~turingcom@2a02:2c40:400::1:6e46 JOIN :#esoteric < 1460358749 0 :Grenlo!6cd2b490@gateway/web/freenode/ip.108.210.180.144 PART #esoteric : < 1460359061 0 :lambda-11235!~lambda-11@47-208-113-50.erkacmtk03.res.dyn.suddenlink.net QUIT :Quit: Bye < 1460359125 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: I wonder if a usable typesys could be implemented with return^n < 1460359159 0 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :I don't know < 1460359544 0 :rdococ!~rdococ@unaffiliated/octagonfly JOIN :#esoteric < 1460359975 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net QUIT :Ping timeout: 252 seconds < 1460360103 0 :infinitymaster!~infinitym@c-67-201-229-131.reshall.wwu.edu QUIT :Quit: Leaving... < 1460360343 0 :bb010g!uid21050@gateway/web/irccloud.com/x-zbehiwkwhviodqez QUIT :Quit: Connection closed for inactivity < 1460363737 0 :J_Arcane!~chatzilla@37-219-254-207.nat.bb.dnainternet.fi QUIT :Ping timeout: 252 seconds < 1460364493 0 :AnotherTest!~turingcom@2a02:2c40:400::1:6e46 QUIT :Ping timeout: 248 seconds < 1460364830 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1460365090 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 252 seconds < 1460365600 0 :jaboja!~jaboja@ejn27.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1460366319 0 :jaboja!~jaboja@ejn27.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 246 seconds < 1460367150 0 :jaboja!~jaboja@vps.jaboja.pl JOIN :#esoteric < 1460368205 0 :jaboja64!~jaboja@vps.jaboja.pl JOIN :#esoteric < 1460368265 0 :jaboja!~jaboja@vps.jaboja.pl QUIT :Disconnected by services < 1460368312 0 :jaboja64!?@? NICK :jaboja < 1460369903 0 :jaboja!~jaboja@vps.jaboja.pl QUIT :Ping timeout: 268 seconds < 1460373481 0 :rdococ!~rdococ@unaffiliated/octagonfly QUIT :Ping timeout: 244 seconds < 1460373929 0 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1460374558 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@metar CYUL < 1460374558 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :CYUL 111000Z 11010G15KT 1 1/2SM -SN SCT007 OVC020 M01/M02 A3005 RMK SF3NS5 /S02/ SLP178 < 1460374580 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@metar KOAK < 1460374580 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :KOAK 110953Z 25007KT 10SM OVC020 13/09 A3002 RMK AO2 SLP165 T01330094 PNO $ < 1460374589 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :ACTION glares at the shachafweather < 1460375220 0 :AnotherTest!~turingcom@2a02:1811:d22:cc00:e067:da84:9a1b:12d0 JOIN :#esoteric < 1460375728 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1460375960 0 :jaboja!~jaboja@vps.jaboja.pl JOIN :#esoteric < 1460375992 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 250 seconds < 1460377176 0 :boily!~alexandre@96.127.201.149 QUIT :Quit: PETROLEUM CHICKEN < 1460377374 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1460377710 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :In git, is there a command to reset/merge a branch without checking it out first but in such a way that it only works if it's a fast-forward? < 1460377714 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Hello, ais523 < 1460377722 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hi < 1460377742 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: also, the only such command I can think of is push < 1460377751 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and you'd need to do it from a different repo < 1460379341 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm < 1460379436 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :git branch can reset a branch without checking it out, but it doesn't offer a check for fast forward < 1460379491 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :or maybe it does? I dunno < 1460380413 0 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1460380822 0 :spiette!~spiette@72-53-140-195.cpe.distributel.net JOIN :#esoteric < 1460381665 0 :jaboja!~jaboja@vps.jaboja.pl QUIT :Ping timeout: 244 seconds < 1460382341 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:Brainfuck14]]4 10 02https://esolangs.org/w/index.php?diff=46769&oldid=46491 5* 03Primo 5* (+600) 10/* Shortest known "hello world" program. */ < 1460382556 0 :jaboja!~jaboja@vps.jaboja.pl JOIN :#esoteric < 1460382612 0 :Kaynato!~Aedile@casewireless02.CWRU.Edu JOIN :#esoteric < 1460383019 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1460383283 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 248 seconds < 1460384043 0 :jaboja!~jaboja@vps.jaboja.pl QUIT :Ping timeout: 240 seconds < 1460384359 0 :Kaynato!~Aedile@casewireless02.CWRU.Edu QUIT :Ping timeout: 244 seconds < 1460385538 0 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1460386225 0 :J_Arcane!~chatzilla@37-219-254-207.nat.bb.dnainternet.fi JOIN :#esoteric < 1460386690 0 :impomatic_!~digital_w@37.152.222.136 JOIN :#esoteric < 1460386700 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1460386815 0 :AnotherTest!~turingcom@2a02:1811:d22:cc00:e067:da84:9a1b:12d0 QUIT :Ping timeout: 246 seconds < 1460386982 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 260 seconds < 1460388173 0 :Kaynato!~Aedile@36.4d.0a05.ip4.static.sl-reverse.com JOIN :#esoteric < 1460388474 0 :Kaynato!~Aedile@36.4d.0a05.ip4.static.sl-reverse.com QUIT :Ping timeout: 260 seconds < 1460388882 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :I need to choose my final year project... < 1460388890 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Two I'm tempted by are basically esolanging, it seems < 1460388967 0 :lambda-11235!~lambda-11@47.208.113.50 JOIN :#esoteric < 1460388996 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :(functional programming with orderings and equivalences; and a proof assistant for a graph programming language) < 1460389673 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Tanello < 1460389762 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :b_jonas: do you have any insights as to my path forwards? < 1460390854 0 :rdococ!~rdococ@unaffiliated/octagonfly JOIN :#esoteric < 1460390921 0 :Kaynato!~Aedile@casewireless03.CWRU.Edu JOIN :#esoteric < 1460390935 0 :jaboja!~jaboja@vps.jaboja.pl JOIN :#esoteric < 1460391116 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net JOIN :#esoteric < 1460391465 0 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric < 1460391861 0 :rdococ!~rdococ@unaffiliated/octagonfly QUIT :Quit: Leaving < 1460391884 0 :rdococ!~rdococ@unaffiliated/octagonfly JOIN :#esoteric < 1460393956 0 :zadock!~outsider@81.180.208.252 JOIN :#esoteric < 1460393969 0 :jaboja!~jaboja@vps.jaboja.pl QUIT :Ping timeout: 244 seconds < 1460394118 0 :Reece`!~Ner@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net JOIN :#esoteric < 1460394181 0 :Frooxius!~Frooxius@194.108.5.201 QUIT :Quit: *bubbles away* < 1460394498 0 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: buying food < 1460395466 0 :Kaynato!~Aedile@casewireless03.CWRU.Edu QUIT :Ping timeout: 250 seconds < 1460395783 0 :zadock!~outsider@81.180.208.252 QUIT :Quit: Leaving < 1460395873 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :argh, I'm getting malloc crashes. something's going very wrong here. < 1460395921 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :potential(ly impractical) solution: "Who uses malloc? Static allocation is The Future!" < 1460395958 0 :Kaynato!~Aedile@casewireless03.CWRU.Edu JOIN :#esoteric < 1460396016 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :probably heap corruption < 1460396052 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :does valgrind help? < 1460396062 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :gamemanj: I'm not sure that's how it works... < 1460396075 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :int-e: I know, it's a joke :) < 1460396081 0 :`^_^!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1460396085 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :gamemanj: managed heaps are a more likely candidate... and being used quite successfully I might say < 1460396086 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :Heap corruption is actually a benefit, because it means the code is writing to addresses you won't be using in your program, so it's at least theoretically tracable. < 1460396169 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm, is the allocator a strange enough machine that it's TC with a carefully crafted heap? < 1460396173 0 :nycs!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 268 seconds < 1460396183 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(very C library specific question, obviously) < 1460396193 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :That much depends on your allocator and how insane the writer of the heap was. < 1460396212 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :Managed heaps are even weirder since I've heard they allow memory to be moved. < 1460396401 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :they might. it's beneficial for avoiding fragmentation and speeding up allocation < 1460396552 0 :p34k!~p34k@nat-wh-wz4-12.rz.uni-karlsruhe.de JOIN :#esoteric < 1460396776 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :Hmm. Maybe there's a solution in this to the old problem of "how to specify the exact alignment, permissions and other requirements for a block of memory" < 1460396807 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :An allocator that requires supplying it with a block of bytecode to determine a good address. < 1460396990 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :Now, the bytecode will use relative addressing for instructions. The bytecode will also use a randomly chosen* set of instruction IDs: 91, 93, 43, 45, 60, 62. < 1460397119 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1460397141 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ah I knew it wasn't my own idea.... the term is "weird machine". http://langsec.org/papers/Bratus.pdf uses an allocator as an example. < 1460397154 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what? no, you don't need fancy bytecode, you only need about four integer parameters and a ton of flags for a memory allocation < 1460397170 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(no details) < 1460397219 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :b_jonas: ...I think you may be missing the point. Notice my odd choice of instruction IDs... < 1460397264 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :um < 1460397272 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I don't see anything interesting about those ids < 1460397311 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :`lua -e "print(string.char(91))" < 1460397317 0 :Kaynato!~Aedile@casewireless03.CWRU.Edu QUIT :Ping timeout: 244 seconds < 1460397331 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :lua: (command line):1: unexpected symbol near '"print(string.char(91))"' < 1460397354 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :gamemanj: try without the quotes < 1460397748 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :ironically, when I tested it in a command line, I tried without the quotes first. < 1460397753 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :`lua print(string.char(91)) < 1460397762 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :lua: cannot open print(string.char(91)): No such file or directory < 1460397766 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :`lua -e print(string.char(91)) < 1460397768 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[ < 1460397781 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :gamemanj: yes, like that < 1460397800 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :The point being, of course, that the "bytecode" is Brainfuck. < 1460398142 0 :centrinia!~centrinia@107-208-218-105.lightspeed.tukrga.sbcglobal.net JOIN :#esoteric < 1460398358 0 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :Remote host closed the connection < 1460398374 0 :jaboja!~jaboja@vps.jaboja.pl JOIN :#esoteric < 1460398562 0 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN :#esoteric < 1460398723 0 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :Remote host closed the connection < 1460398990 0 :erdic!~erdic@unaffiliated/motley QUIT :Ping timeout: 248 seconds < 1460399040 0 :Elronnd!elronnd@znc.dank.ninja QUIT :Quit: Let's jump! < 1460399130 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net JOIN :#esoteric < 1460399163 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1460399272 0 :augur_!~augur@c-73-46-94-9.hsd1.fl.comcast.net QUIT :Ping timeout: 244 seconds < 1460399278 0 :Elronnd!elronnd@znc.dank.ninja JOIN :#esoteric < 1460399476 0 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net QUIT :Ping timeout: 252 seconds < 1460399553 0 :Elronnd!elronnd@znc.dank.ninja QUIT :Client Quit < 1460399710 0 :erdic!~erdic@unaffiliated/motley JOIN :#esoteric < 1460399714 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@tell boily One day last week it was 30 degrees here. < 1460399726 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :lackdabot < 1460399755 0 :Elronnd!elronnd@znc.dank.ninja JOIN :#esoteric < 1460399964 0 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN :#esoteric < 1460400078 0 :hppavilion[1]!~DevourerO@74-114-87-75.dynamic.asdk12.org JOIN :#esoteric < 1460400078 0 :augur!~augur@c-73-46-94-9.hsd1.fl.comcast.net JOIN :#esoteric < 1460400370 0 :Kaynato!~Aedile@casewireless03.CWRU.Edu JOIN :#esoteric < 1460400474 0 :Frooxius!~Frooxius@194.108.5.201 JOIN :#esoteric < 1460400933 0 :Kaynato!~Aedile@casewireless03.CWRU.Edu QUIT :Ping timeout: 240 seconds < 1460401085 0 :fizzie!?@? PRIVMSG #esoteric :fungot: You're a clever bot, why can't you support note-sending? < 1460401085 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :fizzie: agora alice c64 ct darwin discworld europarl ff7 fisher ic irc* jargon lovecraft nethack pa speeches ss wp < 1460401100 0 :fizzie!?@? PRIVMSG #esoteric :fungot: I see you're up to your old tricks. < 1460401100 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :fizzie: that is just a value of type is created containing the syntax for mark if he was really gonna get worse and worse each week, < 1460401152 0 :Kaynato!~Aedile@casewireless03.CWRU.Edu JOIN :#esoteric < 1460401196 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1460401265 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :huh, fungot is mimicking itself? < 1460401266 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :ais523: if that is not used commonly and carries with it an array subscript was too easy heh one time i figured if it's possible. < 1460401268 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :^style < 1460401268 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot* homestuck ic irc iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube < 1460401272 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah yes < 1460401302 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: feature idea: ^style random < 1460401452 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 246 seconds < 1460401557 0 :gremlins!~Ner@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net JOIN :#esoteric < 1460401634 0 :Reece`!~Ner@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net QUIT :Ping timeout: 260 seconds < 1460401751 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :fizzie: feature idea: a 64Kb permanent store and command to define a command in brainfuck + extras that can access it (as a "second tape"), and can call other commands. That way, if someone gives you an implementable feature request, you can just point them at that meta-command. < 1460401929 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :(There are loads of problems with this idea, specifically that someone, someday, would wipe the permanent store - but if only a specific group of people could access it, and they had a standard for data storage, plus a simulator to make sure it doesn't crash?) < 1460402007 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :gamemanj: err, ^def already exists < 1460402012 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :^help < 1460402012 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :^ ; ^def ; ^show [command]; lang=bf/ul, code=text/str:N; ^str 0-9 get/set/add [text]; ^style [style]; ^bool < 1460402042 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :... < 1460402044 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :^def exampleforgamemanj ul (here's an example for gamemanj)S < 1460402044 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Defined. < 1460402048 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :^exampleforgamemanj < 1460402048 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :here's an example for gamemanj < 1460402050 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :you have got to be kidding me. < 1460402073 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that said each defined command is self-contained, and doesn't have permanent storage (yet) < 1460402082 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wouldn't be too hard to implement the permastore though < 1460402095 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(note also that defined commands are temporary unless fizzie makes them permanent) < 1460402101 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :^def exampleforgamemanj < 1460402101 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Usage: ^def < 1460402104 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :^def exampleforgamemanj bf < 1460402104 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Usage: ^def < 1460402109 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, how do you delete these things? < 1460402112 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :^undef exampleforgamemanj < 1460402119 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :^exampleforgamemanj < 1460402119 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :here's an example for gamemanj < 1460402122 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :meh, it'll disappear at the next reboot < 1460402129 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :^def exampleforgamemanj bf +[] < 1460402129 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Defined. < 1460402130 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :there < 1460402134 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :now it won't do anything < 1460402146 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :why did you define it to an infinite loop? < 1460402149 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :^exampleforgamemanj < 1460402153 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric : ...out of time! < 1460402153 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that normally gives an error message after a while < 1460402160 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :^def exampleforgamemanj + < 1460402160 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Usage: ^def < 1460402163 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :^def exampleforgamemanj bf + < 1460402163 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Defined. < 1460402167 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that would make a lot more sense < 1460402167 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :yay! < 1460402187 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :^exampleforgamemanj < 1460402207 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :huh, I was thinking that the program returning normally would cause it to output something like "no output". < 1460402214 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :HackEgo does that < 1460402222 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :^cat /dev/null < 1460402224 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err < 1460402227 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`cat /dev/null < 1460402237 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1460402238 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although it takes a while to react if it hasn't been used recently < 1460402280 0 :Kaynato!~Aedile@casewireless03.CWRU.Edu QUIT :Ping timeout: 244 seconds < 1460402281 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :/dev/null probably wasn't in the cache < 1460402306 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`` while true; do true; done < 1460402318 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think infinite loops give no output in HackEgo, not sure though < 1460402337 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :busy trying to implement ^cat /dev/null < 1460402339 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1460402364 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, hmm, that's an interesting reaction < 1460402368 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`` sleep 4; echo test < 1460402375 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :test < 1460402380 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`` sleep 10; echo test < 1460402392 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :test < 1460402413 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`` sleep 20; echo test < 1460402433 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :test < 1460402449 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`` x=1; while true; do echo $x; x=$((x+1)); sleep 1; done < 1460402480 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1460402493 0 :Elronnd!elronnd@znc.dank.ninja QUIT :Quit: Let's jump! < 1460402504 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm guessing the no output is because it produces no output if it times out? < 1460402517 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`` x=1; while [ $x -lt 20 ] ; do echo $x; x=$((x+1)); sleep 1; done < 1460402537 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1 \ 2 \ 3 \ 4 \ 5 \ 6 \ 7 \ 8 \ 9 \ 10 \ 11 \ 12 \ 13 \ 14 \ 15 \ 16 \ 17 \ 18 \ 19 < 1460402547 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`` x=1; while [ $x -lt 60 ] ; do echo $x; x=$((x+1)); sleep 1; done < 1460402578 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1460402610 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`` x=1; while [ $x -lt 50 ] ; do echo $x; x=$((x+1)); sleep 1; done < 1460402643 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1460402661 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`` x=1; while [ $x -lt 40 ] ; do echo $x; x=$((x+1)); sleep 1; done < 1460402664 0 :Elronnd!elronnd@znc.dank.ninja JOIN :#esoteric < 1460402676 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :documenting brainfuck code is hard "at 0 if mem0 not 0 then decrement mem2 and zero mem0" < 1460402692 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1460402701 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`` x=1; while [ $x -lt 30 ] ; do echo $x; x=$((x+1)); sleep 1; done < 1460402732 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1460402744 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`` x=1; while [ $x -lt 29 ] ; do echo $x; x=$((x+1)); sleep 1; done < 1460402774 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1 \ 2 \ 3 \ 4 \ 5 \ 6 \ 7 \ 8 \ 9 \ 10 \ 11 \ 12 \ 13 \ 14 \ 15 \ 16 \ 17 \ 18 \ 19 \ 20 \ 21 \ 22 \ 23 \ 24 \ 25 \ 26 \ 27 \ 28 < 1460402790 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :aha < 1460402818 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`` stdbuf -o0 echo test; while true; do true; done < 1460402849 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1460402881 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`` stdbuf -o0 echo test < 1460402884 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :test < 1460402901 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, what if no shell is involved < 1460402909 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`mkx < 1460402911 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :usage: mk[x] file//contents < 1460402991 0 :J_Arcane_!~chatzilla@37-219-28-16.nat.bb.dnainternet.fi JOIN :#esoteric < 1460403036 0 :Reece`!~Ner@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net JOIN :#esoteric < 1460403042 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :^def cat-experiment-gamemanj bf +++++++++[>+++++<-]>++<,>[<->-]>+<<[>>-<<[-]]>>[>+++++++++++[->++++++<]>++++++++++++.+++++++.--------..++++++.-.----.+++++.-.[-]<<[-]] < 1460403042 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Defined. < 1460403051 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :^cat-experiment-gamemanj this will have no output < 1460403055 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :^cat-experiment-gamemanj /dev/null < 1460403055 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :NUMMSRNSR < 1460403065 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :Huh, I messed up something. < 1460403093 0 :gremlins!~Ner@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net QUIT :Ping timeout: 240 seconds < 1460403106 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :gamemanj: it might help if your , was in a loop < 1460403112 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if you're trying to read more than one character of input < 1460403172 0 :J_Arcane!~chatzilla@37-219-254-207.nat.bb.dnainternet.fi QUIT :Ping timeout: 252 seconds < 1460403176 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :actually that's deliberate - trying to match the whole of /dev/null would be hard < 1460403181 0 :J_Arcane_!?@? NICK :J_Arcane < 1460403183 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :it's the output routine that's having problems < 1460403190 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :it's supposed to say NOOUTPUT < 1460403198 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :but it seems I messed up < 1460403444 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :^def cat-experiment-gamemanj bf +++++++++[>+++++<-]>++<,>[<->-]>+<<[>>-<<[-]]>>[>+++++++++++[->++++++>+++<<]>++++++++++++.+.>-.<.++++++.-.----.+++++.-.[-]>[-]<<<[-]] < 1460403444 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Defined. < 1460403447 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :^cat-experiment-gamemanj /dev/null < 1460403447 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :NO OUTPUT < 1460403631 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :now to check if someone already did this < 1460403634 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :^cat /dev/null < 1460403660 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :^show cat < 1460403685 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :^show cat-experiment-gamemanj < 1460403685 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :+9[>+5<-]>+2<,>[<->-]>+<2[>2-<2[-]]>2[>+11[->+6>+3<2]>+12.+.>-.<.+6.-.-4.+5.-.[-]>[-]<3[-]] < 1460403728 0 :Kaynato!~Aedile@casewireless02.CWRU.Edu JOIN :#esoteric < 1460403746 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net PRIVMSG #esoteric :ok, so cat isn't defined. If anyone wants ^cat /dev/null to show "NO OUTPUT", ^def the above :) < 1460403952 0 :impomatic__!~impomatic@37.152.222.136 JOIN :#esoteric < 1460403964 0 :impomatic_!~digital_w@37.152.222.136 QUIT :Quit: http://corewar.co.uk < 1460404047 0 :impomatic!~impomatic@37.152.222.136 QUIT :Ping timeout: 244 seconds < 1460404061 0 :impomatic__!?@? NICK :impomatic < 1460404077 0 :jaboja!~jaboja@vps.jaboja.pl QUIT :Ping timeout: 244 seconds < 1460404196 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@tell boily One day last week it was 30 degrees here. < 1460404197 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1460404826 0 :rdococ!~rdococ@unaffiliated/octagonfly QUIT :Quit: Leaving < 1460404896 0 :earendel!~earendel@unaffiliated/earendel QUIT :Ping timeout: 246 seconds < 1460405131 0 :jaboja!~jaboja@vps.jaboja.pl JOIN :#esoteric < 1460405497 0 :Kaynato!~Aedile@casewireless02.CWRU.Edu QUIT :Ping timeout: 268 seconds < 1460405865 0 :Elronnd!elronnd@znc.dank.ninja QUIT :Quit: Let's jump! < 1460405949 0 :Elronnd!elronnd@znc.dank.ninja JOIN :#esoteric < 1460406551 0 :Reece`!~Ner@cpc4-wiga13-2-0-cust799.18-3.cable.virginm.net QUIT :Quit: Alsithyafturttararfunar < 1460406565 0 :lambda-11235!~lambda-11@47.208.113.50 QUIT :Quit: Bye < 1460407066 0 :hppavilion[1]!~DevourerO@74-114-87-75.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1460407288 0 :hppavilion[1]!~DevourerO@74-114-87-75.dynamic.asdk12.org JOIN :#esoteric < 1460407643 0 :Kaynato!~Aedile@cpe-173-88-230-28.neo.res.rr.com JOIN :#esoteric < 1460407728 0 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :Remote host closed the connection < 1460408001 0 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN :#esoteric < 1460409265 0 :iconmaster!~iconmaste@129.21.122.8 JOIN :#esoteric < 1460409302 0 :Digby!~Digby@79-73-118-188.dynamic.dsl.as9105.com JOIN :#esoteric < 1460409591 0 :hppavilion[1]!~DevourerO@74-114-87-75.dynamic.asdk12.org QUIT :Ping timeout: 276 seconds < 1460410020 0 :hppavilion[1]!~DevourerO@74-114-87-75.dynamic.asdk12.org JOIN :#esoteric < 1460410092 0 :Digby!~Digby@79-73-118-188.dynamic.dsl.as9105.com PART #esoteric :"Leaving" < 1460411908 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`smlist 435 < 1460411918 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :smlist 435: shachaf monqy elliott mnoqy < 1460411928 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :sm? < 1460411992 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :super mega < 1460412001 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? smlist < 1460412004 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Non-update notification for the webcomic Super Mega. < 1460412010 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://www.supermegacomics.com/index.php?i=435 < 1460412014 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kickstarter announcement < 1460412019 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :this is p. exciting < 1460412026 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :nobody else on that list is still in the channel shachaf < 1460412040 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yes < 1460412045 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but people might still be interested < 1460412068 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :how are people going to know about the super mega update service if it's never used < 1460412146 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :On that note < 1460412148 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :`slist < 1460412151 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :slist: Taneb atriq Ngevd nvd Fiora Sgeo ThatOtherPerson alot < 1460412157 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :wait what's s < 1460412162 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :homestuck < 1460412164 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? slist < 1460412165 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :was that homestuck...? < 1460412165 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Update notification for the webcomic Homestuck. < 1460412170 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :oh jesus < 1460412171 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: did you ever `list < 1460412175 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :shachaf: yes < 1460412179 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`list < 1460412180 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :is it finished yet < 1460412190 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Phantom_Hoover: will be on Wednesday < 1460412195 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`enlist < 1460412196 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: You're the only person on that list in this channel. < 1460412207 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :Taneb, fuckin finally < 1460412209 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :shachaf: yes but I'm four of them < 1460412213 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hppavilion[1] b_jonas boily a`a`a`a`jo7as a`a`a`a`jo8as a`a`a`a`jo3as a`a`a`a`jo6as a`a`a`a`jo5as a`a`a`a`jo4as a`a`a`a`jo2as a`a`a`a`jo1as a`a`a`a`jonas0 a`a`a`a lambdabot chicken_jonas myname < 1460412214 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: enlist: not found < 1460412226 0 :hppavilion[1]!~DevourerO@74-114-87-75.dynamic.asdk12.org PRIVMSG #esoteric :int-e: ... < 1460412239 0 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Quit: ZNC - http://znc.in < 1460412257 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :wtf does `list do < 1460412278 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :int-e: do it again < 1460412281 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: Try it again and you'll see. < 1460412282 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :you will see < 1460412364 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :is he scared? < 1460412375 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :no, I read the source code... < 1460412382 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :...apparently I should've done this first :P < 1460412382 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric ::D < 1460412390 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: Well, it's too late now. < 1460412398 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You might as well `list to see it in action. < 1460412406 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :don't you like highlights? < 1460412438 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` sed -i 's/..xargs/| grep -v int-e | xargs/' bin/list < 1460412440 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1460412459 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :you are lame < 1460412556 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? shuf < 1460412559 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :shuf? ¯\(°​_o)/¯ < 1460412563 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :err < 1460412567 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`shuf < 1460412598 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1460412610 0 :hppavilion[1]!~DevourerO@74-114-87-75.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1460412617 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fine... < 1460412619 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`revert < 1460412630 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. < 1460412646 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` sed =i 's/..xargs/| shuf | xargs/' bin/list < 1460412651 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :sed: -e expression #1, char 2: extra characters after command < 1460412673 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :why shuf? < 1460412685 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` sed -i 's/..xargs/| shuf | xargs/' bin/list < 1460412687 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1460412691 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :for fairness :P < 1460412735 0 :hppavilion[1]!~DevourerO@74-114-87-75.dynamic.asdk12.org JOIN :#esoteric < 1460412735 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fairness isn't right. < 1460412743 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's supposed to be sorted by most recent modifiers. < 1460412760 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :well it's going to be one of thise versions < 1460412785 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :b_jonas sabotaged the list with a bunch of spurious entries. < 1460412860 0 :hppavilion[2]!~DevourerO@74-114-87-75.dynamic.asdk12.org JOIN :#esoteric < 1460412951 0 :earendel!~earendel@unaffiliated/earendel JOIN :#esoteric < 1460413039 0 :hppavilion[1]!~DevourerO@74-114-87-75.dynamic.asdk12.org QUIT :Ping timeout: 252 seconds < 1460413146 0 :hppavilion[2]!~DevourerO@74-114-87-75.dynamic.asdk12.org QUIT :Ping timeout: 250 seconds < 1460413224 0 :jaboja!~jaboja@vps.jaboja.pl QUIT :Ping timeout: 250 seconds < 1460413677 0 :gamemanj!~gamemanj@cpc84767-aztw28-2-0-cust223.18-1.cable.virginm.net QUIT :Ping timeout: 248 seconds < 1460413696 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm, actually < 1460413714 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`revert < 1460413715 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. < 1460413725 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I think it doesn't even hilight people anymore < 1460413732 0 :`^_^!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1460413742 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :`list < 1460413747 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`cat bin/list < 1460413776 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :int-e hppavilion[1] b_jonas boily a`a`a`a`jo7as a`a`a`a`jo8as a`a`a`a`jo3as a`a`a`a`jo6as a`a`a`a`jo5as a`a`a`a`jo4as a`a`a`a`jo2as a`a`a`a`jo1as a`a`a`a`jonas0 a`a`a`a lambdabot chicken_jonas myname < 1460413777 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :date > share/conscripts; culprits share/conscripts | xargs -n 1 | awk '!x[$0]++' | xargs < 1460413801 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yep it doesn't. < 1460413850 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yeah... and I still haven't written that new noping filter I promised < 1460414097 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? mopiing < 1460414098 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :mopiing? ¯\(°​_o)/¯ < 1460414099 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? moping < 1460414099 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :moping? ¯\(°​_o)/¯ < 1460414125 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :huh, did Phantom_Hoover just join the new `list for the first time? < 1460414173 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :`list < 1460414178 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Phantom_Hoover int-e hppavilion[1] b_jonas boily a`a`a`a`jo7as a`a`a`a`jo8as a`a`a`a`jo3as a`a`a`a`jo6as a`a`a`a`jo5as a`a`a`a`jo4as a`a`a`a`jo2as a`a`a`a`jo1as a`a`a`a`jonas0 a`a`a`a lambdabot chicken_jonas myname < 1460414183 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :ais523, looks like it < 1460414204 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's rare < 1460414216 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also b_jonas is on there a lot < 1460414251 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: yeah, I started to put a lot when I thought it was alphabetized < 1460414278 0 :haavard_!freebsd@haavard.me QUIT :Remote host closed the connection < 1460414281 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: but it's sorted latest first, so there's no point adding lots of entries until after I want to remove an entry < 1460414284 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you were trying to push yourself past 512 characters? < 1460414295 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :how devious < 1460414301 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this really subverts the `list's purpose < 1460414311 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: sort of. I was never on the list as b_jonas, but I was trying to make it so that I couldn't get on it < 1460414315 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :insomuch as it has one at all < 1460414319 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :since the list would consist only of names starting with a < 1460414320 0 :haavard!freebsd@haavard.me JOIN :#esoteric < 1460414342 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then when you realised the sorting rules, you added yourself so that over time you'd fall off the end? < 1460414374 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: no, I didn't add myself, and I think that doesn't help, because I think it's sorted by last appearance descending < 1460414386 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so it's a queue and every time you list you move on the head < 1460414395 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah right < 1460414399 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's an even better sorting rule < 1460414401 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but I'm not sure that's how it works < 1460414405 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :even if it's accidental, I like it < 1460414407 0 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1460414416 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` cat bin/culprits-ng < 1460414417 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#!/bin/sh \ exec hg log -l 512 --template "{desc}\0" -- "$@" | perl -0ne '/^<([^>]*)>/ and print"$1 "' < 1460414422 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1460414425 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` cat bin/culprits-ng < 1460414426 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` cat bin/culprits < 1460414426 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#!/bin/sh \ exec hg log -l 512 --template "{desc}\0" -- "$@" | perl -0ne '/^<([^>]*)>/ and print"$1 "' < 1460414426 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hg log --removed "$1" | grep summary: | awk '{print substr($2,2,length($2)-2)}' | sed "s/.$/\x0F&/" | xargs < 1460414584 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :reminder: culprits-ng is disabled because I haven't implemented a noping filter yet < 1460414743 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :b_jonas: you canntest if you move to the front, you know ... < 1460414812 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :myname: I think I did test that with some of the numbered variants < 1460414837 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but you can see it from the source too: culprits lists in order of date backwards, then that awk thing filters keeping the first instance of each name < 1460414861 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :myname: also, "chicken_jonas" appears on that list because the real b_jonas was too much of a chicken to list < 1460414879 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :lol < 1460414904 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :wasn't it obvious? < 1460415112 0 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net JOIN :#esoteric < 1460415180 0 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1460415244 0 :olsner!~salparot@c83-252-193-184.bredband.comhem.se PRIVMSG #esoteric :the real b_jonas is more chicken than chicken jonas? < 1460415298 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :olsner: sort of < 1460415316 0 :earendel!~earendel@unaffiliated/earendel QUIT :Ping timeout: 252 seconds < 1460415377 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hellolsner, b_jellonas. chickening? < 1460415399 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :quack < 1460415404 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :ACTION premptives shachaf's unloud-massage. < 1460415407 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@massages-loud < 1460415407 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :shachaf said 3h 6m 50s ago: One day last week it was 30 degrees here. < 1460415416 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :shachaf: hellochaf. AAAAAAAAAAAAAARGH! < 1460415431 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :b_jonas: quack. < 1460415440 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :boily: But now it's cold again. < 1460415442 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@metar KOAK < 1460415442 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :KOAK 112153Z 27009KT 10SM FEW024 BKN045 18/09 A3011 RMK AO2 SLP195 T01830094 PNO < 1460415489 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :shachaf: bekekekech? < 1460415497 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :? < 1460415515 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :@metar EGBB < 1460415516 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :EGBB 112150Z 22003KT 4200 BR BKN028 09/09 Q1005 < 1460415519 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot: quack < 1460415519 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :b_jonas: i, myself, will bring an end to all. ghosts lurk in the ruins were in truth, and everything in readiness for fnord. under these is concerned, the use of " coup" here is one that only takes predicates and has not named a < 1460415522 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Chorus of the Frogs from Aristophanes' play The Frogs < 1460415543 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :shachaf: it's +18. it's hot. < 1460415549 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@metar CYUL < 1460415549 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :CYUL 112100Z 15012KT 10SM -RA FEW015 OVC020 06/05 A2983 RMK SF1SC7 SLP104 < 1460415586 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Aaaaah, my uni's weather station has a broken wind measurer thingy < 1460415599 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :anemometer? < 1460415628 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, EGBB is easy to remember as "England, Great Britain, Birmingham" even though it doesn't actually stand for that < 1460415638 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Taneb: it's not broken. there's a terrible hurricane there right now. < 1460415656 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :Europe (part of), Gunited Kingdom, BBirmingham. < 1460415676 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :Britain gets hurricanes? < 1460415676 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: Oh. I feel like I talked about that play in here recently but I don't remember the context. < 1460415689 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :boily: we did, once < 1460415695 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Back in the 80's < 1460415698 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :It was very lost < 1460415702 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1460415704 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, "Europe, Great Britain, Birmingham" works even better because it's in the right order < 1460415723 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :even if it's still a little incorrect etymologically < 1460415790 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :I wish Bbirmingham was pronounced with a bilabial trill. < 1460415832 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm not sure I /can/ pronounce a bilabial trill < 1460415851 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :I'm not even sure what one is < 1460415876 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Taneb: you know how you say "b" by blowing outwards with your lips together, then letting your lips separate? < 1460415889 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if you have your lips in the right position, you can separate them with the force of your breath < 1460415889 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :ais523: yeah? < 1460415904 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :Making a sort of brr sound? < 1460415908 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :/now/, if you blow at the right speed, they'll separate then come back together, and separate again < 1460415915 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :thus you get two b's in a row < 1460415917 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's a trill < 1460415963 0 :tromp_!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 246 seconds < 1460415975 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1460415977 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :I can *almost* do that, but not consistently < 1460415999 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :Taneb, it's blowing a raspberry with your lips basically? < 1460416098 0 :Hoolootwo!~Hoolootwo@hooloovoo.blue PRIVMSG #esoteric :exactly one raspberry < 1460416111 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :bbellørjan. < 1460416125 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and then you somehow have to segue into "irmingham" without dropping a beat < 1460416154 0 :Taneb!~Taneb@2001:41c8:51:10d:feff:ff:fe00:316b PRIVMSG #esoteric :It always comes out as prrirmingham for me < 1460416159 0 :hppavilion[2]!~DevourerO@74-114-87-75.dynamic.asdk12.org JOIN :#esoteric < 1460416179 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :purrmingham < 1460416226 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :pbvbvbvbvbvrirngmingham... < 1460416231 0 :hppavilion[2]!~DevourerO@74-114-87-75.dynamic.asdk12.org PRIVMSG #esoteric :A javascript framework that forces you to prove pages... < 1460416241 0 :hppavilion[2]!~DevourerO@74-114-87-75.dynamic.asdk12.org PRIVMSG #esoteric :Basically, JavaScript+Coq < 1460416284 0 :earendel!~earendel@unaffiliated/earendel JOIN :#esoteric < 1460416294 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I've wanted strongly typed LaTeX for a while < 1460416303 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which could catch typos in formulas you write via the units on the two sides not being the same < 1460416347 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: um... there's strongly typed stuff that catches non-matching units, but I don't think it's LaTeX < 1460416360 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :right, I didn't think it /existed/ < 1460416361 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I just wanted it < 1460416365 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I typo formulas too often < 1460416366 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :sure < 1460416630 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION is disappointed that this bbirmingham stuff wasn't how they actually pronounce it there < 1460416689 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :bøøily < 1460416909 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :bb_jonas < 1460416968 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :how do you say the "_"? < 1460417007 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :boily: I'm not sure, it's a screen name so I don't have to pronounce it < 1460417007 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I had that problem too trying to pronounce it < 1460417010 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess you just wait for a bt < 1460417012 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :*bit < 1460417025 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but I usually pronounce it as béjónás < 1460417031 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so there's a vowel between < 1460417045 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :I have now authored a piece of serious software whose source code includes the word "Coyoneda". What has come of my life? < 1460417065 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :heh < 1460417109 0 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :cobbrello. mwah ah ah. < 1460417163 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I didn't know "Coyoneda" was a word at all < 1460417195 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's a little rude to dualize someone's name, don't you think? < 1460417201 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Coyoneda is great, though. < 1460417224 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :coppro: If you don't want to include the word "Coyoneda" you can inline it. < 1460417229 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Like Operational does. < 1460417299 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, I didn't even parse it with a break after the first o < 1460417301 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :"co-Yoneda"? < 1460417309 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's how I normally see it spelled < 1460417357 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's a Haskell type in this case. < 1460417367 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Coyoneda f a = exists x. (f x, x -> a) < 1460417433 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :wait < 1460417464 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :how do you know what coyoneda is in coppro's software? < 1460417500 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :these exists thingies always get me < 1460417529 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :why would it even use Haskell? < 1460417559 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :cause haskell is awesome < 1460417634 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :b_jonas: I've been seeing coppro's discussion of it in another channel. < 1460417645 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, I haven't really been reading it in detail. < 1460417657 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ah < 1460417687 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but why would any serious software use haskell? < 1460417698 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :why not? < 1460417772 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :while we are at it: how do i do nested if then else in a do block without adding identation at every if < 1460417814 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@google DoAndIfThenElse < 1460417815 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :https://prime.haskell.org/wiki/DoAndIfThenElse < 1460417821 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :shachaf: I could, yes. That would somewhat defeat the entire point though < 1460417848 0 :coppro!~scshunt@corn-syrup.csclub.uwaterloo.ca PRIVMSG #esoteric :which was to build the Operational instance of Zoom off of the Functor instance < 1460417898 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : zzo38: I wonder if a usable typesys could be implemented with return^n <-- you'd need the type of a function to include the return types of its callers... < 1460417904 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :so, as i guessed, you can't? < 1460417953 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't know what you want to do. < 1460417987 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> if 1 > 2 ; then 1 ; else if 2 > 3 ; then 2 ; else 3 < 1460417988 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 3 < 1460417998 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :myname: you can in ghc. < 1460418030 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :because you don't have to indent then or else. < 1460418058 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :interesting < 1460418060 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well you have to start with "else if". < 1460418072 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that might even be official haskell2010, not sure. < 1460418093 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :huh... how does that even parse? there shouldn't be semicolons there < 1460418126 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: the semicolons (optional) are what makes it work < 1460418138 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(in haskell that is. in ruby semicolons would be allowed) < 1460418140 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :because they're equivalent to newlines. < 1460418165 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: um... nah, I don't get it < 1460418183 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :that's just not how H syntax used to work < 1460418223 0 :hppavilion[2]!?@? NICK :hppavilion[1] < 1460418241 0 :p34k!~p34k@nat-wh-wz4-12.rz.uni-karlsruhe.de QUIT : < 1460418253 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :b_jonas: Right, that's why the Haskell Prime proposal I linked to above changed it. < 1460418266 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but that's impossible! < 1460418295 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :meh, haskell syntax was screwed up a few times already < 1460418297 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: what's impossible about it? it's just a small change to the grammar. < 1460418325 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :them haskellers just have a very different idea about syntax from me < 1460418343 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :haters gonna hate < 1460418353 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I should go and program C++ and Rust, those have syntax I like < 1460418402 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :b_jonas: Just write Haskell with {} and ; < 1460418409 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Your life will be easy. < 1460418421 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :that's already how I write H < 1460418423 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: ok, it's official haskell 2010. < 1460418472 0 :boily!~alexandre@96.127.201.149 QUIT :Quit: CARRY CHICKEN < 1460419108 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : meh, it'll disappear at the next reboot <-- i think that's the only way to get rid of them. < 1460419138 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :are there any languages which can be written with /just/ {};? < 1460419144 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :perhaps there are some DSLs inside IOCCC entries < 1460419154 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which tend to use {};-based encodings a lot < 1460419166 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :due to an intentional exploit of the byte counter < 1460419179 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :huh?