< 1515283214 209690 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :Now I managed to write a program that can read RPG Maker XYZ picture files. Since I do not use RPG Maker, the only file I have found is, I found a copy of RPG_RT.EXE, and then extract the file ".rsrc/XYZ/LOGO1" from it using 7-Zip; that is the only one I have. < 1515283301 416654 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-oizfychzdzurjqsr QUIT :Read error: Connection reset by peer < 1515283419 65075 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric < 1515283898 29179 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :
ACTION pokes fungot
< 1515283898 475340 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: that's really all chez's modules are, interesting. how do you do that? and as i understand, sicp is at http://mitpress.mit.edu/ sicp/ < 1515284045 397274 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :This program uses LodePNG even though it isn't PNG; LodePNG also includes a zlib decoder. The format is simple: Starts by "XYZ1" and then small-endian 16-bit width and then height, and then a zlib stream, when decompressed results in the 256 colours palette (three bytes per entry, RGB), and then the raster data. < 1515284090 39562 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :I have a Christmas tree one of the birds is missing; the other bird is too big for that small Christmas tree. < 1515284199 750358 :Guest6549!~Slereah@ALille-651-1-235-6.w90-1.abo.wanadoo.fr JOIN :#esoteric < 1515284237 493784 :Slereah!~Slereah@ALille-651-1-235-6.w90-1.abo.wanadoo.fr QUIT :Ping timeout: 252 seconds < 1515284260 798016 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-jkhgndfutjsraynr JOIN :#esoteric < 1515284940 186226 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1515285391 904674 :ATMunn!ATMunn@unaffiliated/atmunn PRIVMSG #esoteric :fungot: poke < 1515285392 158938 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :ATMunn: formicidae is the entirety of the command to put before the output. < 1515285400 707976 :ATMunn!ATMunn@unaffiliated/atmunn PRIVMSG #esoteric :^source < 1515285400 725350 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :https://github.com/fis/fungot/blob/master/fungot.b98 < 1515286539 323046 :digitalcold!~redacted@192.73.232.206 QUIT :Remote host closed the connection < 1515286868 604226 :erdic!~erdic@unaffiliated/motley JOIN :#esoteric < 1515287980 126945 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> a^2 < 1515287983 91739 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : a * a < 1515288001 198753 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :good, good < 1515288079 674797 :int-e!~noone@int-e.eu PRIVMSG #esoteric :> a^23 < 1515288085 731616 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1515288091 174853 :int-e!~noone@int-e.eu PRIVMSG #esoteric :> a^23 < 1515288094 616855 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : a * a * (a * a) * (a * a * (a * a)) * (a * a * (a * a) * (a * a * (a * a))) ... < 1515288102 84818 :int-e!~noone@int-e.eu PRIVMSG #esoteric :> a^21 < 1515288105 208648 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : a * a * (a * a) * (a * a * (a * a)) * (a * a * (a * a) * (a * a * (a * a))) ... < 1515288137 604150 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :symbolambdabot? < 1515288142 476439 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :> b^4 < 1515288145 276369 :int-e!~noone@int-e.eu PRIVMSG #esoteric ::t a < 1515288146 928200 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : b * b * (b * b) < 1515288147 469864 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Expr < 1515288153 185885 :int-e!~noone@int-e.eu PRIVMSG #esoteric ::t f < 1515288156 381220 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :FromExpr a => a < 1515288161 269049 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :> a + b < 1515288164 384260 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : a + b < 1515288167 936246 :int-e!~noone@int-e.eu PRIVMSG #esoteric :> foldr f a [b,c,d] < 1515288173 436174 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : f b (f c (f d a)) < 1515288184 304259 :int-e!~noone@int-e.eu PRIVMSG #esoteric :typeclass magic < 1515288210 7365 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(In particular, Expr has a Num instance that isn't quite law-abiding) < 1515288340 289122 :int-e!~noone@int-e.eu PRIVMSG #esoteric :boily: this isn't entirely pointless; similar type class tricks allow automated differentiation < 1515288438 985769 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: I'm reading Concrete Mathematics and it talks about Rayleigh's theorem < 1515288520 109219 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@google Rayleigh's theorem < 1515288520 915406 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Parseval%27s_theorem < 1515288548 467071 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Not that one < 1515288557 370313 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's this theorem called? < 1515288563 574469 :ATMunn!ATMunn@unaffiliated/atmunn PRIVMSG #esoteric :can someone here explain to me fingerprint semantics in funge-98? the official documentation thing is a bit confusing to me < 1515288594 168745 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :h@google Beatty sequence < 1515288604 297600 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@google Beatty sequence < 1515288605 144124 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Beatty_sequence < 1515288636 588377 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I remember that one < 1515288698 109034 :int-e!~noone@int-e.eu PRIVMSG #esoteric :And it makes much more sense to have that theorem in this particular book than the DFT one. < 1515288703 893210 :Guest6549!~Slereah@ALille-651-1-235-6.w90-1.abo.wanadoo.fr QUIT :Ping timeout: 248 seconds < 1515288709 691999 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It calls these sequences "spectra" < 1515288711 367742 :Slereah!~Slereah@ALille-651-1-152-163.w90-1.abo.wanadoo.fr JOIN :#esoteric < 1515288725 365439 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or rather it calls the multisets that < 1515288735 195966 :Slereah!~Slereah@ALille-651-1-152-163.w90-1.abo.wanadoo.fr NICK :Guest10238 < 1515288787 38481 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Is the spectral test nearby? < 1515288878 770999 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ATMunn: Which bit is unclear? < 1515288923 140302 :ATMunn!ATMunn@unaffiliated/atmunn PRIVMSG #esoteric :the main thing that confuses me is what a semantic actually is < 1515288944 541657 :ATMunn!ATMunn@unaffiliated/atmunn PRIVMSG #esoteric :and also < 1515288952 853350 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Approximately "the thing that an instruction will do". < 1515288977 85156 :ATMunn!ATMunn@unaffiliated/atmunn PRIVMSG #esoteric :when it says that ( pushes "the new fingerprint" onto the stack on a successful load < 1515288985 468158 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(I think the use of the term is likely Forth-inspired.) < 1515289023 682037 :ATMunn!ATMunn@unaffiliated/atmunn PRIVMSG #esoteric :what does it mean there by "the new fingerprint"? just like, the number of the fingerprint? < 1515289028 788026 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ATMunn: If you mean the bit that goes "the new fingerprint, then a 1, are pushed onto the stack", that means the number, yes. < 1515289041 24597 :ATMunn!ATMunn@unaffiliated/atmunn PRIVMSG #esoteric :ok < 1515289049 642360 :ATMunn!ATMunn@unaffiliated/atmunn PRIVMSG #esoteric :yeah thats what i was referring to < 1515289064 299363 :ATMunn!ATMunn@unaffiliated/atmunn PRIVMSG #esoteric :now < 1515289078 231822 :ATMunn!ATMunn@unaffiliated/atmunn PRIVMSG #esoteric :i was looking at the fungot source < 1515289078 722227 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :ATMunn: http://research.microsoft.com/ users/ simonpj/ papers/ fnord < 1515289091 111824 :ATMunn!ATMunn@unaffiliated/atmunn PRIVMSG #esoteric :i noticed it using the FING fingerprint < 1515289100 37213 :ATMunn!ATMunn@unaffiliated/atmunn PRIVMSG #esoteric :but i don't quite understand what that does < 1515289126 232574 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's used for having multiple fingerprint that have otherwise conflicting assignments conveniently available at the same time. < 1515289142 596350 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :For example, both STRN and FILE define semantics for instructions G and P. < 1515289161 855227 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :So fungot uses the FING fingerprint to remap the G and P of one of them to K and B instead. < 1515289162 694349 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :fizzie: i'm glad they broke with the format of token stream? ick!) < 1515289174 330678 :ATMunn!ATMunn@unaffiliated/atmunn PRIVMSG #esoteric :ohh ok < 1515289202 925448 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That's the 'G'KZ'P'BZ'L'IZ sequence before it loads FILE. < 1515289212 40920 :ATMunn!ATMunn@unaffiliated/atmunn PRIVMSG #esoteric :ohk < 1515289217 741564 :ATMunn!ATMunn@unaffiliated/atmunn PRIVMSG #esoteric :thanks :) < 1515289265 313117 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It also flat out drops the A and L instructions from SOCK, so that the instructions from STRN that were "below" them in the per-instruction binding stack become visible. < 1515289280 4642 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(With 'AY'LY after loading SOCK.) < 1515289314 453892 :ATMunn!ATMunn@unaffiliated/atmunn PRIVMSG #esoteric :ah < 1515289357 398210 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The fun fact about fingerprint unloading in Funge-98 is that, per the spec, unloading something like STRN will just blindly pop off one binding from each instruction specified in STRN, even if those bindings weren't currently those *set* by STRN in the first place. < 1515289386 633808 :ATMunn!ATMunn@unaffiliated/atmunn PRIVMSG #esoteric :oh lol < 1515289595 623269 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :Are creatures that drink blood allowed to drink water too or not? < 1515290022 883808 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ATMunn: Now that I read the spec, I guess it might not actually specify the stacks used by "save"/"restore" are per instruction. But that's how everyone interprets it. < 1515290029 336059 :jaboja!~jaboja@jaboja.pl QUIT :Remote host closed the connection < 1515290055 371753 :ATMunn!ATMunn@unaffiliated/atmunn PRIVMSG #esoteric :ah < 1515290349 673010 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Wonder if Mycology tests for that.) < 1515292725 694750 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1515293771 668926 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Quit: CHAOTIC CHICKEN < 1515293959 773692 :moony!~moony@unaffiliated/moonythedwarf QUIT :Disconnected by services < 1515293989 356775 :moony__!~moony@unaffiliated/moonythedwarf JOIN :#esoteric < 1515294786 248212 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :Are creatures that drink blood allowed to drink water too or not? < 1515295275 531276 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I believe blood is more than half water, so I'd think so? But not an expert. < 1515295301 66940 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :That is what I thought too, but I am also not an expert and therefore wouldn't know, that is why I ask. < 1515295392 411616 :doesthiswork!~Adium@207.55.82.87 QUIT :Quit: Leaving. < 1515295484 325271 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric < 1515295516 982512 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :Do you know any expert? < 1515295563 631550 :jaboja!~jaboja@jaboja.pl QUIT :Remote host closed the connection < 1515295565 297775 :moony__!~moony@unaffiliated/moonythedwarf QUIT :Ping timeout: 265 seconds < 1515295805 102769 :erkin!~erkin@unaffiliated/erkin QUIT :Quit: Ouch! Got SIGABRT, dying... < 1515296131 299275 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1515296212 386710 :digitalcold!~redacted@192.73.232.206 JOIN :#esoteric < 1515296541 231967 :variable!~variable@freebsd/developer/variable QUIT :Quit: Found 1 in /dev/zero < 1515297119 14017 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : (In particular, Expr has a Num instance that isn't quite law-abiding) <-- i don't think Num has laws hth < 1515297140 795709 :contrapumpkin!~copumpkin@haskell/developer/copumpkin JOIN :#esoteric < 1515297454 418997 :sdfgsdfg!~sdfgsdfg@unaffiliated/sdfgsdfg JOIN :#esoteric < 1515297938 780656 :iovoid!~iovoid@unaffiliated/iovoid QUIT :Quit: * < 1515297965 881000 :ATMunn!ATMunn@unaffiliated/atmunn QUIT :Read error: Connection reset by peer < 1515297965 898256 :Bowserinator!Bowserinat@unaffiliated/bowserinator QUIT :Read error: Connection reset by peer < 1515298140 761915 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@metar ENVA < 1515298141 7921 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :ENVA 070350Z 24011KT 9999 VCSH FEW049 BKN064 M01/M06 Q1014 RMK WIND 670FT 22015KT < 1515298174 734098 :augur!~augur@c-73-125-99-173.hsd1.fl.comcast.net JOIN :#esoteric < 1515298287 730069 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? urbandictionary < 1515298306 360437 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hum < 1515298308 524002 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Urban Dictionary is an alternative, inferior wisdom database. < 1515298314 430439 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ah < 1515299500 446515 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1515302188 776139 :sdfgsdf!~sdfgsdfg@unaffiliated/sdfgsdfg JOIN :#esoteric < 1515302189 172299 :sdfgsdfg!~sdfgsdfg@unaffiliated/sdfgsdfg QUIT :Remote host closed the connection < 1515303886 250831 :contrapumpkin!~copumpkin@haskell/developer/copumpkin QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz… < 1515308437 187289 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1515309221 303405 :ATMunn!ATMunn@unaffiliated/atmunn JOIN :#esoteric < 1515309362 91887 :variable!~variable@freebsd/developer/variable QUIT :Quit: Found 1 in /dev/zero < 1515309417 306998 :Bowserinator!Bowserinat@ic2.hellomouse.cf JOIN :#esoteric < 1515309441 285225 :Bowserinator!Bowserinat@ic2.hellomouse.cf NICK :Guest81012 < 1515311226 353024 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Cale: generating functions are p. neat < 1515313912 792376 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 255 seconds < 1515323537 867710 :erkin!~erkin@unaffiliated/erkin QUIT :Quit: Ouch! Got SIGABRT, dying... < 1515325065 845275 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's a book about generating functions with a great name: Generatingfunctionology. < 1515325082 689590 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Was a course book on a math course once.) < 1515325167 127118 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Even in lowercase on the cover: https://books.google.co.uk/books/about/Generatingfunctionology.html < 1515325198 653436 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, I trimmed that URL too much. :/ < 1515325219 665068 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :https://books.google.co.uk/books/about/Generatingfunctionology.html?id=bVFuBwAAQBAJ < 1515325912 388417 :wob_jonas!b03f1926@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.38 JOIN :#esoteric < 1515326471 898788 :wob_jonas!b03f1926@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.38 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1515326787 35499 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1515326851 866270 :wob_jonas!b03f1926@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.38 JOIN :#esoteric < 1515327101 301789 :wob_jonas!b03f1926@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.38 PRIVMSG #esoteric :Everyone: two important pieces of news. The 25th IOCCC is open from 2017-Dec-29 05:38:51 UTC to 2018-Feb-28 05:29:15 UTC, see http://www.ioccc.org < 1515327289 297876 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1515327306 927840 :wob_jonas!b03f1926@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.38 PRIVMSG #esoteric :Sorry, I think that's just one, not two. < 1515328949 652721 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :@tell shachaf You'll be happy to know that the sources for the logs and wiki-to-IRC stuff can now be found at https://github.com/fis/esolangs < 1515328949 652773 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1515330510 41313 :wob_jonas!b03f1926@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.38 PRIVMSG #esoteric :zzo38: you'll have to ask someone who knows dnethack. that game has the ability to drink water, and vampire as a playable race. < 1515330690 20114 :wob_jonas!b03f1926@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.25.38 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1515331513 900113 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net PRIVMSG #esoteric :test < 1515331639 241373 :int-e!~noone@int-e.eu PRIVMSG #esoteric :... I'm almost surfing at the speed of light! ... < 1515331742 7384 :int-e!~noone@int-e.eu PRIVMSG #esoteric :let ?M = "{(1, Dec v2 1 2), (2, Dec v3 2 3), (3, Dec v1 4 0), (4, Inc v2 5), (5, Inc v3 3)}" -- so readable! < 1515332159 102332 :Guest10238!~Slereah@ALille-651-1-152-163.w90-1.abo.wanadoo.fr NICK :Slereah < 1515332530 257916 :quintopia!~quintopia@unaffiliated/quintopia QUIT :Remote host closed the connection > 1515332611 687510 PRIVMSG #esoteric :14[[07Numberwang/Implementations14]]4 M10 02https://esolangs.org/w/index.php?diff=53763&oldid=53757 5* 03Unt 5* (+8) 102 bugs solved < 1515333410 356396 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric < 1515333439 331967 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 265 seconds < 1515333584 813183 :LKoen!~LKoen@2a01:e35:2eed:a430:b090:86f4:14ec:5d2d JOIN :#esoteric > 1515333591 906393 PRIVMSG #esoteric :14[[07Numberwang/Implementations14]]4 M10 02https://esolangs.org/w/index.php?diff=53764&oldid=53763 5* 03Unt 5* (+1) 10Another bug < 1515333678 298512 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1515334928 762313 :quintopia!~quintopia@unaffiliated/quintopia JOIN :#esoteric < 1515335828 258463 :Guest81012!Bowserinat@ic2.hellomouse.cf NICK :Bowserinator < 1515335832 330300 :Bowserinator!Bowserinat@ic2.hellomouse.cf QUIT :Changing host < 1515335832 348899 :Bowserinator!Bowserinat@unaffiliated/bowserinator JOIN :#esoteric < 1515336479 816520 :sdfgsdf!~sdfgsdfg@unaffiliated/sdfgsdfg QUIT :Ping timeout: 248 seconds < 1515337062 258350 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@messages-gouda < 1515337062 319058 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :fizzie said 2h 15m 12s ago: You'll be happy to know that the sources for the logs and wiki-to-IRC stuff can now be found at https://github.com/fis/esolangs < 1515337083 620361 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fizzie: Did I ask for the sources? I don't remember. < 1515338766 337623 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :shachaf: I thought you did, but I can't find the comment. > 1515338775 68651 PRIVMSG #esoteric :14[[07Numberwang/Implementations14]]4 M10 02https://esolangs.org/w/index.php?diff=53765&oldid=53764 5* 03Unt 5* (+0) 10Some optimization < 1515338921 461931 :int-e!~noone@int-e.eu PRIVMSG #esoteric :in any case it's fulfilling a promise that has been on the website since its inception (it was there when I first saw it) < 1515341008 377530 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 JOIN :#esoteric < 1515341011 558805 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :``` echo wisdom/leg* < 1515341027 54577 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wisdom/leg* < 1515341036 701261 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :``` echo wisdom/{wor,cow,come,lau}* < 1515341039 331958 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wisdom/word wisdom/word salad detector wisdom/works for me wisdom/cow wisdom/comedogenic wisdom/laughed < 1515341050 345911 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :`? word salad detector < 1515341051 515279 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :`? word < 1515341052 431484 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Our only word salad detectors before fungot proposed bright full speed under the mediterranean guadalope a light sauce impertinent used the best brains of codeine fragments emerge from the red arrow shark-repellant housewife a smattering and yes I said yes I will Yes. < 1515341052 915175 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Word (Microsoft Word) was a text-editor for animated texts but not anymore. < 1515341053 731346 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :`? works for me < 1515341054 882555 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Error: unable to read wisdom database. try again later. < 1515341056 245640 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :` cow < 1515341056 894231 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: : not found < 1515341060 82069 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :`? comedogenic < 1515341061 167483 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :comedogenic is something that causes comedy when applied to the skin, e.g. an accelerated cream pie in parabolic motion. < 1515341062 335425 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :`? laughed < 1515341063 499106 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :They laughed when I said I wanted to be a comedian. They're not laughing now! < 1515341091 452008 :int-e!~noone@int-e.eu PRIVMSG #esoteric :... weak version < 1515341128 609995 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :What's better? Legions of doom or legions of terror? < 1515341152 37339 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :For an evil lord who wants to rule the world that is. < 1515341153 195350 :int-e!~noone@int-e.eu PRIVMSG #esoteric :"When I told my family how I wanted to be a comedian when I grew up, they all laughed at me. Well I showed them; nobody's laughing now!" < 1515341157 349375 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :`? peter < 1515341158 525880 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :peter? ¯\(°​_o)/¯ < 1515341183 9773 :contrapumpkin!~copumpkin@haskell/developer/copumpkin JOIN :#esoteric < 1515341272 995781 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :http://www.eviloverlord.com/lists/overlord.html only considers Legions of Terror < 1515341289 640499 :int-e!~noone@int-e.eu PRIVMSG #esoteric :hmm, still mangled. https://www.theguardian.com/uk/2003/dec/29/arts.artsnews1 has the original < 1515341404 158536 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :that says "When I first said I wanted to be a comedian, everybody laughed. They're not laughing now." < 1515341413 817314 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :are you all planning to submit a program for the IOCCC? < 1515341416 978101 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :it's open < 1515341419 342534 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :`? ioccc < 1515341420 549791 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :The IOCCC is the Industrial Ordovician COBOL Conference Circuit. Not to be confused with OIC. See also ioccclist. < 1515341571 43255 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :wellob_jonas. legions of doom hth < 1515341737 981145 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :`? oic < 1515341739 115853 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :OIC, OIC means Oh I see. < 1515341988 933340 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :shachaf: https://esolangs.org/logs/2017-12-12.html#lgc I think I took that as an implicit request. < 1515342004 30938 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :And should the population tremble in fear when the evil overlord takes over, or should they instead cower in fear? < 1515342414 369880 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric < 1515342458 828775 :jaboja!~jaboja@jaboja.pl QUIT :Read error: Connection reset by peer < 1515342527 597331 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :wob_jonas: tremble htah < 1515342782 258876 :contrapumpkin!~copumpkin@haskell/developer/copumpkin QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz… < 1515342808 233909 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :you want to maximize agony and cognitive dissonance. you want your people to show up, if only because alternatives are worst, by only a slight margin. < 1515343342 339018 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1515343832 145633 :LKoen!~LKoen@2a01:e35:2eed:a430:b090:86f4:14ec:5d2d QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” > 1515343924 213992 PRIVMSG #esoteric :14[[07Numberwang14]]4 10 02https://esolangs.org/w/index.php?diff=53766&oldid=35944 5* 03Unt 5* (+1849) 10Proven that Numberwang is Turing-complete. > 1515344270 648364 PRIVMSG #esoteric :14[[07Numberwang14]]4 10 02https://esolangs.org/w/index.php?diff=53767&oldid=53766 5* 03Unt 5* (-15) 10Changed categories to reflect Turing-completeness proof < 1515344565 928542 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1515344793 717784 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 246 seconds < 1515344936 257441 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1515345146 295151 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1515345369 632538 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 JOIN :#esoteric < 1515345380 681937 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :ais523: have you noticed that an IOCCC contest has started near the start of this year? < 1515345392 126884 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :http://www.ioccc.org < 1515345403 780354 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wob_jonas: no < 1515345422 861055 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :until February, that might be enough time to come up with something < 1515345459 244665 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :ais523: well, the IOCCC rules are constant enough that you can just come up with something at any time and later adjust it to the IOCCC rules < 1515345461 835286 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :but sure < 1515345479 181096 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: sorry for my connection < 1515345491 296184 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1515345877 58869 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, I wonder if I can fit an Incident interpreter into the IOCCC size limit < 1515345881 859090 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that's pretty obfuscated in its own right :-) < 1515345893 928190 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :heh < 1515345920 578865 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: sorry for my connection < 1515345932 294796 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1515345957 627839 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :even if you can, I don't see why that would be a good task an entry program would want to do < 1515345979 729700 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :but that's just my take, the IOCCC judges might think otherwise < 1515346049 962454 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wob_jonas: because it lets you write a C/Incident polyglot and have it read itself by default, which is basically impossible to figure out if you don't know the language < 1515346083 948494 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :ais523: ah! < 1515346089 741913 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :a polyglot might be better < 1515346106 706902 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :at least if the incident does something more useful than just a nop < 1515346111 431030 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :an incident nop is not that hard to write < 1515346152 516831 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :but incident is a very verbose language, so you can't fit too much useful things in 4 kilobytes of source code < 1515346271 484419 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes, that's a problem < 1515346305 859366 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :maybe it'd work better with some esolang that has a really weird paradigm < 1515346308 364480 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :declarative, perhaps < 1515346316 291769 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I wonder if anyone's submitted a prolog interpreter to the IOCCC < 1515346338 413608 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :and you know what the guideline says: "People who are considering to just use some complex mathematical function or state machine to spell out something such as "hello, world!" really really, and we do mean really, do need to be more creative. < 1515346349 803675 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :apparently none have won, at least < 1515346359 529339 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :ais523: hmm, that could be possible < 1515346395 924593 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :obviously you won't have a full library, but you could get a decently usable interpreter < 1515347294 343630 :variable!~variable@freebsd/developer/variable QUIT :Quit: Found 1 in /dev/zero < 1515347792 382616 :honigkuchen!~alex@2a02:810a:1340:53b0:7c88:478f:aa0a:cd2a JOIN :#esoteric > 1515347900 856440 PRIVMSG #esoteric :14[[07Numberwang14]]4 M10 02https://esolangs.org/w/index.php?diff=53768&oldid=53767 5* 03Unt 5* (+44) 10Made explanation less ambiguous. < 1515348215 776846 :garit!~garit@unaffiliated/garit QUIT :Ping timeout: 260 seconds < 1515348488 345081 :garit!~garit@unaffiliated/garit JOIN :#esoteric < 1515348490 262156 :garit!~garit@unaffiliated/garit QUIT :Excess Flood < 1515348525 319060 :garit!~garit@94.197.120.39.threembb.co.uk JOIN :#esoteric < 1515348525 436041 :garit!~garit@94.197.120.39.threembb.co.uk QUIT :Changing host < 1515348525 453508 :garit!~garit@unaffiliated/garit JOIN :#esoteric < 1515348874 183313 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :`? gdq < 1515348876 591081 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :gdq? ¯\(°​_o)/¯ < 1515348879 536438 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :`? agdq < 1515348880 765097 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :AGDQ is Awesome Games Done Quick, an annual video games speedrunning event for charity every winter, see http://gamesdonequick.com and https://gamesdonequick.com/tracker/events/ < 1515348920 815610 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :´? sgdq < 1515348922 438725 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :er < 1515348925 530181 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :`? sgdq < 1515348926 958747 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :SGDQ is Summer Games Done Quick, an annual video games speedrunning event for charity ever summer, see http://gamesdonequick.com and https://gamesdonequick.com/tracker/events/ < 1515348946 450082 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :that should read 'every', but I forget how slwd works < 1515348948 928997 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :hm. < 1515348952 339001 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :`? slwd < 1515348953 602849 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​`slwd // < 1515348958 656956 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :easy enough < 1515348973 694315 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :`slwd sgdq//s/ever/&y/ < 1515348977 273463 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :sgdq//SGDQ is Summer Games Done Quick, an annual video games speedrunning event for charity every summer, see http://gamesdonequick.com and https://gamesdonequick.com/tracker/events/ < 1515351682 450595 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :FíréllóFlý. < 1515351795 452802 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :guten morgen, for a given meaning of "morgen" < 1515351841 554269 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :`? internet time < 1515351842 700159 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :internet time? ¯\(°​_o)/¯ < 1515351846 563332 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :`? irc time < 1515351847 704490 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :irc time? ¯\(°​_o)/¯ < 1515351943 850290 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :ヘ＼＼オレン＼。 < 1515352049 312627 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I recently got back to adding characters to my font < 1515352060 513528 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :\oren\: good < 1515352178 810793 :honigkuchen!~alex@2a02:810a:1340:53b0:7c88:478f:aa0a:cd2a QUIT :Quit: Leaving < 1515353347 397258 :iovoid!~iovoid@1.0.0.0.0.0.0.0.0.0.0.0.0.0.0.0.0.0.0.0.0.0.rdns.hellomouse.cf JOIN :#esoteric < 1515353347 454905 :iovoid!~iovoid@1.0.0.0.0.0.0.0.0.0.0.0.0.0.0.0.0.0.0.0.0.0.rdns.hellomouse.cf QUIT :Changing host < 1515353347 454956 :iovoid!~iovoid@unaffiliated/iovoid JOIN :#esoteric < 1515353448 994049 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :\oren\: good < 1515353462 829974 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Quit: SNORING CHICKEN < 1515354455 844078 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1515355078 937374 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1515356142 80071 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric > 1515356540 903587 PRIVMSG #esoteric :14[[07Dogescript14]]4 10 02https://esolangs.org/w/index.php?diff=53769&oldid=51830 5* 03Camto 5* (+134) 10Fixed broken links and added link to homepage. > 1515356591 162165 PRIVMSG #esoteric :14[[07Dogescript14]]4 10 02https://esolangs.org/w/index.php?diff=53770&oldid=53769 5* 03Camto 5* (-86) 10Removed dead link. < 1515357003 521616 :wladz_!~zuz@107.170.255.55 JOIN :#esoteric < 1515357219 369536 :sftp_!~sftp@unaffiliated/sftp JOIN :#esoteric < 1515357304 173676 :sftp!~sftp@unaffiliated/sftp QUIT :*.net *.split < 1515357308 229710 :wladz!~zuz@107.170.255.55 QUIT :*.net *.split < 1515357308 320699 :sftp_!~sftp@unaffiliated/sftp NICK :sftp < 1515357490 880814 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :Ping timeout: 260 seconds < 1515357689 692294 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: quit < 1515357706 333598 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN :#esoteric < 1515358603 188486 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1515358677 200947 :jaboja!~jaboja@jaboja.pl QUIT :Ping timeout: 264 seconds < 1515359053 350905 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: quit > 1515359118 256895 PRIVMSG #esoteric :14[[07Numberwang14]]4 10 02https://esolangs.org/w/index.php?diff=53771&oldid=53768 5* 03Taneb 5* (+110) 10Clarification > 1515360337 539120 PRIVMSG #esoteric :14[[07Numberwang14]]4 10 02https://esolangs.org/w/index.php?diff=53772&oldid=53771 5* 03Unt 5* (-110) 10Undo revision 53771 by [[Special:Contributions/Taneb|Taneb]] ([[User talk:Taneb|talk]]) > 1515360349 114672 PRIVMSG #esoteric :14[[07Numberwang14]]4 10 02https://esolangs.org/w/index.php?diff=53773&oldid=53772 5* 03Unt 5* (+110) 10Undo revision 53772 by [[Special:Contributions/Unt|Unt]] ([[User talk:Unt|talk]]) > 1515360384 956425 PRIVMSG #esoteric :14[[07Numberwang14]]4 10 02https://esolangs.org/w/index.php?diff=53774&oldid=53773 5* 03Unt 5* (-44) 10Undo revision 53768 by [[Special:Contributions/Unt|Unt]] ([[User talk:Unt|talk]]) > 1515360397 224405 PRIVMSG #esoteric :14[[07Numberwang14]]4 10 02https://esolangs.org/w/index.php?diff=53775&oldid=53774 5* 03Unt 5* (+15) 10Undo revision 53767 by [[Special:Contributions/Unt|Unt]] ([[User talk:Unt|talk]]) > 1515360406 486456 PRIVMSG #esoteric :14[[07Numberwang14]]4 10 02https://esolangs.org/w/index.php?diff=53776&oldid=53775 5* 03Unt 5* (-1849) 10Undo revision 53766 by [[Special:Contributions/Unt|Unt]] ([[User talk:Unt|talk]]) > 1515360704 961804 PRIVMSG #esoteric :14[[07Numberwang/Implementations14]]4 10 02https://esolangs.org/w/index.php?diff=53777&oldid=53765 5* 03Unt 5* (+17) 10This should conform to the standard. < 1515362961 311118 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 265 seconds < 1515362965 640524 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1515363070 343789 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1515363480 795085 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric < 1515363551 850356 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 248 seconds < 1515363924 161091 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :@metar CYUL < 1515363924 373357 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :CYUL 072219Z 15010KT 3SM -SN FEW008 OVC020 M14/M18 A3019 RMK SF1SC8 SF TR PRESFR SLP228 < 1515364200 567257 :int-e!~noone@int-e.eu PRIVMSG #esoteric :ice chicken? < 1515364219 963588 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@metar lowi < 1515364220 181610 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :LOWI 072220Z AUTO 26004KT 210V300 9999 FEW170 SCT180 BKN190 02/01 Q1021 < 1515364267 366900 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 256 seconds < 1515364281 979909 :int-e!~noone@int-e.eu PRIVMSG #esoteric :^8ball Is this goal provable? < 1515364282 53648 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Yes. < 1515364312 334762 :int-e!~noone@int-e.eu PRIVMSG #esoteric :^8ball Will I figure out how? < 1515364312 442766 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :No. < 1515364319 552615 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Thought so :) < 1515364368 283568 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1515364514 907967 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1515365576 766543 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: well turns out it wasn't provable < 1515365577 685204 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :int-e: first step into a greater world. but if you use a macro??? can you provide any examples of code that can help < 1515365608 968806 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: I'm afraid you're no help at all < 1515365609 205301 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :int-e: looks more " logical" to me... < 1515366557 676042 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :fungot is logical. He Knows All. < 1515366558 144708 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: god is known as " but sometimes, i just almost-never use it. < 1515367054 84809 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Okay, maybe it's provable now but it will have to wait for another day. < 1515367134 919519 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(I'm trying to prove something primitive. More precisely, I'm trying to show that Minsky machines are powerful enough to do primitive recursion, on the way to proving that they are TC.) < 1515367520 958212 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 JOIN :#esoteric < 1515367549 888071 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :int-e: three-counter, or in general with the number of counters chosen by the translation? < 1515367564 408353 :int-e!~noone@int-e.eu PRIVMSG #esoteric :general < 1515367641 408796 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :int-e: I think the proof for turing-completeness simulates a machine with multiple stacks, with elements from a finite alphabet stored of each, represented by a bignum in some radix. < 1515367673 385650 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :But I'm not sure what you mean when you want just primitive recursion first. < 1515367822 226851 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Right, I shouldn't be so sloppy. I really want some undecidability stuff and there's an existing Isabelle formalization of Rice' theorem for recursive functions. < 1515367833 28479 :int-e!~noone@int-e.eu PRIVMSG #esoteric :So that's my target, not Turing machines. < 1515367856 598736 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But anyway, that's my Minsky machine definition: http://downthetypehole.de/paste/xsuC8D36 < 1515367909 738993 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(in addition to deterministic, they are also assumed to be finite) < 1515367956 123839 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But later... good night. < 1515367964 990499 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :night < 1515368519 761337 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :Are any other file formats and/or special effects I should add into Farbfeld Utilities? < 1515369002 198106 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1515369212 627682 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :hej hej hemskt mickerjan hej. < 1515369239 129159 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :What it means? < 1515369258 174615 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :probably some sort of norwegian porthello for oerjan < 1515369268 979624 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :dunno really < 1515369427 265630 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :hezzo38. https://youtu.be/-b4-h9-s2g8 < 1515369455 929674 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :wellob_jonas. it's norwegian, and his fault for having shown me that damned earworm many years ago. < 1515369474 726328 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :haha < 1515369501 285839 :wob_jonas!b03f18e5@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.229 PRIVMSG #esoteric :I mean, it's not hard to guess that it's norwegian from "hej hej"