> 1566435933 412878 PRIVMSG #esoteric :14[[07Deadfish14]]4 10 02https://esolangs.org/w/index.php?diff=65598&oldid=65523 5* 03Areallycoolusername 5* (+456) 10/* Ruby */
> 1566435964 211671 PRIVMSG #esoteric :14[[07Deadfish14]]4 10 02https://esolangs.org/w/index.php?diff=65599&oldid=65598 5* 03Areallycoolusername 5* (+6) 10/* Ruby */
< 1566436353 594915 :esowiki!~esowiki@techne.zem.fi JOIN :#esoteric
< 1566436361 101631 :j-bot!eldis4@firefly.nu JOIN :#esoteric
< 1566436361 137981 :jix!~jix@209.250.235.106 JOIN :#esoteric
< 1566436361 138089 :shachaf!~shachaf@unaffiliated/shachaf JOIN :#esoteric
< 1566436362 882858 :dingwat!uid70835@gateway/web/irccloud.com/session QUIT :Changing host
< 1566436362 882942 :dingwat!uid70835@gateway/web/irccloud.com/x-rezmqjhawueevotc JOIN :#esoteric
< 1566436363 924331 :ProofTechnique!sid79547@gateway/web/irccloud.com/session QUIT :Changing host
< 1566436363 924430 :ProofTechnique!sid79547@gateway/web/irccloud.com/x-ccaiqvfqtopaxtez JOIN :#esoteric
< 1566436365 832054 :tswett[m]!tswettmatr@gateway/shell/matrix.org/session QUIT :Changing host
< 1566436365 832099 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-rvjupemhwciupoui JOIN :#esoteric
< 1566436372 303351 :adu!~ajr@pool-173-73-86-191.washdc.fios.verizon.net JOIN :#esoteric
< 1566436372 339619 :joast!~rick@cpe-98-145-132-215.natnow.res.rr.com JOIN :#esoteric
< 1566436372 339661 :mniip!mniip@freenode/staff/mniip JOIN :#esoteric
< 1566436372 339671 :howlands!gilesgate@sdf-eu.org JOIN :#esoteric
< 1566436372 339693 :HackEso!~h@techne.zem.fi JOIN :#esoteric
< 1566436372 339715 :erdic!~erdic@unaffiliated/motley JOIN :#esoteric
< 1566436372 339725 :paul2520!~paul2520@unaffiliated/paul2520 JOIN :#esoteric
< 1566436374 967666 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric
< 1566436375 4168 :diverger!~div@92.119.176.20 JOIN :#esoteric
< 1566436375 4222 :myname!~myname@ks300980.kimsufi.com JOIN :#esoteric
< 1566436375 4230 :haavard!root@haavard.me JOIN :#esoteric
< 1566436375 4257 :hakatashi!~hakatashi@104.131.49.125 JOIN :#esoteric
< 1566436375 4265 :ocharles!sid30093@musicbrainz/user/ocharles JOIN :#esoteric
< 1566436375 4271 :rickbutton!~rickbutto@134.209.72.59 JOIN :#esoteric
< 1566436376 800532 :mich181189!sid268336@gateway/web/irccloud.com/session QUIT :Changing host
< 1566436376 800579 :mich181189!sid268336@gateway/web/irccloud.com/x-qccdgfmtprmhlacw JOIN :#esoteric
< 1566436406 286693 :Melvar!~melvar@dslb-188-106-184-179.188.106.pools.vodafone-ip.de JOIN :#esoteric
< 1566436406 286739 :rain1!~My_user_n@unaffiliated/rain1 JOIN :#esoteric
< 1566436406 286747 :economicsbat!~eb@128.199.111.33 JOIN :#esoteric
< 1566436430 443605 :ski!~ski@remote11.chalmers.se JOIN :#esoteric
< 1566436430 479783 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric
< 1566436430 479837 :catern!~catern@catern.com JOIN :#esoteric
< 1566436430 479866 :Taneb!~Taneb@runciman.hacksoc.org JOIN :#esoteric
< 1566436430 479876 :APic!apic@apic.name JOIN :#esoteric
< 1566436430 479895 :rodgort!~rodgort@static.38.6.217.95.clients.your-server.de JOIN :#esoteric
< 1566436430 479904 :sftp!~sftp@unaffiliated/sftp JOIN :#esoteric
< 1566436430 479924 :\oren\!~oren@ec2-35-175-217-128.compute-1.amazonaws.com JOIN :#esoteric
< 1566436430 479933 :olsner!~salparot@c80-217-180-83.bredband.comhem.se JOIN :#esoteric
< 1566436430 479940 :aji!~alex@unaffiliated/aji JOIN :#esoteric
< 1566436430 479961 :fizzie!fis@unaffiliated/fizzie JOIN :#esoteric
< 1566436446 213256 :ski!~ski@remote11.chalmers.se QUIT :Max SendQ exceeded
< 1566436446 344504 :APic!apic@apic.name QUIT :Max SendQ exceeded
< 1566436460 972602 :ski!~ski@remote11.chalmers.se JOIN :#esoteric
< 1566436463 246907 :APic!apic@apic.name JOIN :#esoteric
< 1566436495 739989 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-rvjupemhwciupoui QUIT :Ping timeout: 249 seconds
< 1566436548 653718 :j-bot!eldis4@firefly.nu QUIT :Ping timeout: 242 seconds
< 1566436548 943500 :xylochoron[m]!xylochoron@gateway/shell/matrix.org/x-hjrrsfkvrqlhfzdn QUIT :Ping timeout: 248 seconds
< 1566436867 724094 :wmww!wmwwmatrix@gateway/shell/matrix.org/x-bvvedowowmrxjdfu JOIN :#esoteric
< 1566436906 547463 :Cale!~cale@2607:fea8:995f:fb71:f9b3:bf2f:71a7:665f JOIN :#esoteric
< 1566436907 120298 :Effilry!znc@freenode/staff/firefly JOIN :#esoteric
< 1566436908 642223 :uplime!uplime@learnprogramming/staff/nchambers JOIN :#esoteric
< 1566436920 246913 :moony!moony@hellomouse/dev/moony JOIN :#esoteric
< 1566436928 978003 :Soni!~quassel@unaffiliated/soniex2 JOIN :#esoteric
< 1566437002 239282 :BWBellairs!~bwbellair@hellomouse/dev/bwbellairs JOIN :#esoteric
< 1566437022 940484 :Effilry!znc@freenode/staff/firefly NICK :FireFly
< 1566437294 213561 :xylochoron[m]!xylochoron@gateway/shell/matrix.org/x-jgrzgtnrhdlsolyn JOIN :#esoteric
< 1566437356 767863 :tswett[m]!tswettmatr@gateway/shell/matrix.org/x-qgtsauqkyfhmcxmi JOIN :#esoteric
< 1566437434 930322 :07IACCY0P!~relrod@origin.elrod.me QUIT :Changing host
< 1566437434 930374 :07IACCY0P!~relrod@redhat/relrod JOIN :#esoteric
< 1566437438 646405 :07IACCY0P!~relrod@redhat/relrod NICK :relrod
> 1566438600 946500 PRIVMSG #esoteric :14[[07User talk:A14]]4 10 02https://esolangs.org/w/index.php?diff=65600&oldid=65533 5* 03A 5* (+3176) 10
< 1566440102 486858 :j-bot!eldis4@firefly.nu JOIN :#esoteric
> 1566441345 793381 PRIVMSG #esoteric :14[[07User talk:A14]]4 10 02https://esolangs.org/w/index.php?diff=65601&oldid=65600 5* 03Areallycoolusername 5* (+134) 10Questioning what looks like a bot shell
< 1566441623 245372 :Hooloovo0!Hooloovoo@sorunome.de QUIT :Quit: Temporarily refracted into a free-standing prism.
< 1566441883 171249 :Hooloovo0!Hooloovoo@sorunome.de JOIN :#esoteric
< 1566443185 967068 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric
< 1566443871 28728 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION looks at five days of logs and skips and jumps
< 1566444707 736788 :mich181189!sid268336@gateway/web/irccloud.com/x-qccdgfmtprmhlacw QUIT :
< 1566444721 949315 :mich181189!sid268336@gateway/web/irccloud.com/x-zqpyqgabfbbvudol JOIN :#esoteric
< 1566445630 681079 :clog!~nef@bespin.org QUIT :Ping timeout: 268 seconds
< 1566445812 447598 :clog!~nef@bespin.org JOIN :#esoteric
< 1566446402 341951 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine
< 1566446541 624855 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1566448277 69594 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Ping timeout: 245 seconds
< 1566449340 612418 :Vorpal!~Vorpal@c80-216-244-252.bredband.comhem.se JOIN :#esoteric
< 1566449340 689702 :Vorpal!~Vorpal@c80-216-244-252.bredband.comhem.se QUIT :Changing host
< 1566449340 689771 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric
< 1566461371 957629 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Five days of skips and jumps is a lot of skips and jumps
< 1566461953 835627 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well i mostly only skipped between mentions of my name so - not many.
< 1566461957 595124 :AnotherTest!~turingcom@ptr-82l26zcdc6imrwoapg3.18120a2.ip6.access.telenet.be JOIN :#esoteric
> 1566462092 810458 PRIVMSG #esoteric :14[[07User talk:Areallycoolusername14]]4 M10 02https://esolangs.org/w/index.php?diff=65602&oldid=65436 5* 03A 5* (+3413) 10Reply
> 1566462167 167021 PRIVMSG #esoteric :14[[07User talk:A14]]4 M10 02https://esolangs.org/w/index.php?diff=65603&oldid=65601 5* 03A 5* (+3386) 10
< 1566462541 302415 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan: how have you been?
< 1566462570 291724 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric
< 1566462578 604686 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 272 seconds
< 1566462591 468547 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :oerjan: there's an olist in it, but you probably don't skip over that
< 1566462609 141378 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :indeed, since it contains my nick
< 1566462662 211625 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1566462802 263477 :cpressey!~cpressey@5.133.242.4 JOIN :#esoteric
< 1566463023 865612 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :Taneb: do linear kinds ensure that a type is only used once?
< 1566463183 973442 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :cpressey: that's what kmc suggested
< 1566463269 794234 :cpressey!~cpressey@5.133.242.4 PRIVMSG #esoteric :It's hard to read every line of the log
< 1566463745 450232 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^
< 1566463759 52582 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`welcome oerjan
< 1566463760 597255 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :oerjan: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
< 1566466328 781395 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Later
< 1566468438 563152 :arseniiv!~arseniiv@94.41.19.60.dynamic.ufanet.ru JOIN :#esoteric
< 1566473120 258412 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Quit: reboot
< 1566473331 864800 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :apparently the Hungarian word "meztelen" has four different variations: "meztelen, mezítelen, mezítlen, mezitelen".
< 1566475353 296996 :cpressey!~cpressey@5.133.242.4 QUIT :Ping timeout: 245 seconds
< 1566475441 462481 :cpressey!~cpressey@5.133.242.4 JOIN :#esoteric
< 1566480608 232466 :moei!~moei@softbank221078042071.bbtec.net JOIN :#esoteric
< 1566483283 969853 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Ping timeout: 258 seconds
< 1566483323 813551 :atslash!~atslash@46.188.0.82 JOIN :#esoteric
< 1566483666 678768 :atslash!~atslash@46.188.0.82 QUIT :Ping timeout: 268 seconds
< 1566483730 979205 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric
> 1566484971 252799 PRIVMSG #esoteric :14[[07Brainfuck14]]4 10 02https://esolangs.org/w/index.php?diff=65604&oldid=65464 5* 03PaniniTheDeveloper 5* (+25) 10
< 1566485016 627627 :PaniniTheDevelop!b03b2305@176.59.35.5 JOIN :#esoteric
< 1566485092 176784 :lifthrasiir!~lifthrasi@ec2-52-79-98-81.ap-northeast-2.compute.amazonaws.com QUIT :Ping timeout: 248 seconds
< 1566485107 539943 :lifthrasiir!~lifthrasi@ec2-52-79-98-81.ap-northeast-2.compute.amazonaws.com JOIN :#esoteric
> 1566485227 12412 PRIVMSG #esoteric :14[[07Brainfuck14]]4 10 02https://esolangs.org/w/index.php?diff=65605&oldid=65604 5* 03PaniniTheDeveloper 5* (-12) 10
< 1566486308 109159 :Sgeo_!~Sgeo@ool-18b98995.dyn.optonline.net QUIT :Ping timeout: 248 seconds
< 1566487149 334406 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Remote host closed the connection
< 1566487509 745842 :PaniniTheDevelop!b03b2305@176.59.35.5 QUIT :Remote host closed the connection
< 1566488501 324699 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric
< 1566489413 438792 :cpressey!~cpressey@5.133.242.4 QUIT :Quit: A la prochaine.
< 1566490109 564219 :arseniiv!~arseniiv@94.41.19.60.dynamic.ufanet.ru QUIT :Read error: Connection reset by peer
< 1566490119 239405 :arseniiv!~arseniiv@94.41.19.60.dynamic.ufanet.ru JOIN :#esoteric
< 1566490624 602055 :xkapastel!uid17782@gateway/web/irccloud.com/x-kerdjqjllskquemx JOIN :#esoteric
< 1566492562 564695 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric
< 1566493144 680888 :arseniiv!~arseniiv@94.41.19.60.dynamic.ufanet.ru QUIT :Quit: gone completely :o
< 1566497662 430005 :b_jonas!~x@catv-176-63-24-4.catv.broadband.hu JOIN :#esoteric
< 1566499008 226953 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1566501837 554580 :rain2!~My_user_n@unaffiliated/rain1 JOIN :#esoteric
< 1566501978 344884 :rain1!~My_user_n@unaffiliated/rain1 QUIT :Ping timeout: 245 seconds
< 1566502212 641548 :xkapastel!uid17782@gateway/web/irccloud.com/x-kerdjqjllskquemx QUIT :Quit: Connection closed for inactivity
< 1566503148 137373 :b_jonas!~x@catv-176-63-24-4.catv.broadband.hu PRIVMSG #esoteric :hey all
< 1566504377 283430 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :b_hellonas
< 1566504381 11308 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? membership
< 1566504382 301240 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :membership? ¯\(°_o)/¯
< 1566504384 331603 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? member
< 1566504385 472455 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :I'm sorry, #esoteric has regulars, not members. Who told you about members? There are definitely no members here, and you wouldn't be allowed to know about them, anyway.
< 1566504409 376124 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`grwp cult
< 1566504410 943512 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :homestuck:Homestuck is a cult religion for disaffected teens. Gamzee drives the bus. Best summarized by http://www.mspaintadventures.com/storyfiles/hs2/05743.gif \ iditarod:The Iditarod is a race so incredibly difficult that it has a prize for coming in last place. \ pineapple:Pineapple is a hybrid species descended from a cultivar of spinach and wild ivy, making it a class 6 vegetable. \ promise problem:A promise problem is one that happens because you pr
< 1566504459 636793 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`2 grwp cult
< 1566504460 882228 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :2/3:ou promise too much. Their reduction to NP is p. difficult. \ subtle:The 'b' sound is pronounced in 'subtle', it's just difficult to hear. \ tea:Tea is concentrated fuel made by distilling occult herbs in a silver alambic. Americans attempted to reduce its potency by dumping some in the Ocean. \ tg:TG is short for Turing-Gödel, the highest possible level of difficulty for a multiplayer game. At this level, it's undecidable whether you can manage to h
< 1566504489 847618 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`n
< 1566504491 802661 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :3/3:alt before losing or not.
< 1566504518 771288 :int-e!~noone@int-e.eu PRIVMSG #esoteric :it's interesting that it miscounted by 5 initially?
< 1566504551 429731 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You mean that `2 miscounted by 5?
< 1566504605 124179 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Yes. But maybe there's been a hostmask change between now and when `2/`1/`n were last tweaked.
< 1566504795 70946 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe there's some way it can be made more resilient.
< 1566504814 567348 :erisd!05ad3099@user-5-173-48-153.play-internet.pl JOIN :#esoteric
< 1566504871 737401 :int-e!~noone@int-e.eu PRIVMSG #esoteric :best not to touch it
< 1566504879 306347 :int-e!~noone@int-e.eu PRIVMSG #esoteric :at least it didn't lose any characters :)
< 1566505717 613506 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1566505860 176575 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 248 seconds
< 1566505891 91409 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life
> 1566506013 752436 PRIVMSG #esoteric :14[[07User talk:A14]]4 10 02https://esolangs.org/w/index.php?diff=65606&oldid=65603 5* 03Ais523 5* (-6444) 10rm likely copyright infringement
< 1566506626 735912 :erisd!05ad3099@user-5-173-48-153.play-internet.pl QUIT :Remote host closed the connection
< 1566506971 295377 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: did you see that bolete
< 1566507059 786356 :b_jonas!~x@catv-176-63-24-4.catv.broadband.hu PRIVMSG #esoteric :lol, some of those wisdoms are actually good, not like the ones I write
< 1566507083 972788 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :no
< 1566507191 705482 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: http://bolete.org/
< 1566507207 719102 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :<3
< 1566507852 290345 :int-e!~noone@int-e.eu PRIVMSG #esoteric :huh
< 1566509061 596014 :AnotherTest!~turingcom@ptr-82l26zcdc6imrwoapg3.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 250 seconds
< 1566509943 568475 :ARCUN!6cf5fc98@108-245-252-152.lightspeed.miamfl.sbcglobal.net JOIN :#esoteric
< 1566510001 367180 :ARCUN!6cf5fc98@108-245-252-152.lightspeed.miamfl.sbcglobal.net PRIVMSG #esoteric :So Linux has ELF, Windows has PE, and Mac has Mach-o. Would it be possible to create a new executable file format for a new OS?
< 1566510124 620688 :ARCUN!6cf5fc98@108-245-252-152.lightspeed.miamfl.sbcglobal.net PART :#esoteric
< 1566510679 448360 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is that A again?
< 1566511123 568246 :ARCUN!6cf5fc98@108-245-252-152.lightspeed.miamfl.sbcglobal.net JOIN :#esoteric
< 1566511180 259308 :ARCUN!6cf5fc98@108-245-252-152.lightspeed.miamfl.sbcglobal.net PRIVMSG #esoteric :shachaf: No, this is Areallycoolusername. I just put an acronym since my username is too long.
< 1566511193 215759 :ARCUN!6cf5fc98@108-245-252-152.lightspeed.miamfl.sbcglobal.net QUIT :Remote host closed the connection
> 1566511258 433138 PRIVMSG #esoteric :14[[07BFC14]]4 M10 02https://esolangs.org/w/index.php?diff=65607&oldid=58053 5* 03ZM 5* (+4) 10Adding backlink to main BF article for convenience
< 1566511281 241415 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why do you both do the thing where you join, write one message into the chat, and leave?
< 1566511301 821429 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Gratuitous joins/quits are annoying.
< 1566513568 568252 :ARCUN!6cf5fc98@108-245-252-152.lightspeed.miamfl.sbcglobal.net JOIN :#esoteric
< 1566513705 16935 :ARCUN!6cf5fc98@108-245-252-152.lightspeed.miamfl.sbcglobal.net PRIVMSG #esoteric :shachaf: This is because there is no telling whether you'll get a response a few minutes after your message has been sent. So instead of waiting for a potentially long amount of time, I quit, and check back on the logs to see if anyone has responded.
< 1566513810 731195 :Sgeo!~Sgeo@ool-18b98995.dyn.optonline.net JOIN :#esoteric
< 1566513920 745058 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I recommend just staying in the channel.
< 1566513955 153856 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You don't need to stare at the channel while you wait for an answer, if your computer supports multi-tasking.
< 1566514017 14630 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway, it would certainly be possible to make your own format. There are plenty of them out there already: https://en.wikipedia.org/wiki/Comparison_of_executable_file_formats
< 1566514106 165731 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You could just use ELF, which is supported by many systems and fairly simple.
< 1566514162 31039 :ARCUN!6cf5fc98@108-245-252-152.lightspeed.miamfl.sbcglobal.net PRIVMSG #esoteric :I was thinking of a format that is automatically made whenever you make a program, so you dont have to run a command to get an executable.
< 1566514190 438569 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What does that have to do with which format you use?
< 1566514483 72191 :ARCUN!6cf5fc98@108-245-252-152.lightspeed.miamfl.sbcglobal.net PRIVMSG #esoteric :No matter the format, you usually have to run a command that turns a program into a runnable executable.
< 1566514509 16516 :ARCUN!6cf5fc98@108-245-252-152.lightspeed.miamfl.sbcglobal.net PRIVMSG #esoteric :What if you make a format that is automatically made after making a program
< 1566514532 238341 :ARCUN!6cf5fc98@108-245-252-152.lightspeed.miamfl.sbcglobal.net PRIVMSG #esoteric :It's easier on the OS I'm trying to make
< 1566514641 480674 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"automatically made" isn't a statement about the format but about the process of making.
< 1566514930 361675 :moony!moony@hellomouse/dev/moony PRIVMSG #esoteric :I know that the halting problem is uncomputable, but is it possible to prove that a function is a Finite State Machine?
< 1566515052 469506 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sure? It's also possible to prove that a program halts.
< 1566515054 219827 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Quit: Leaving
< 1566515101 604687 :moony!moony@hellomouse/dev/moony PRIVMSG #esoteric :?
< 1566515103 570849 :ARCUN!6cf5fc98@108-245-252-152.lightspeed.miamfl.sbcglobal.net QUIT :Ping timeout: 260 seconds
< 1566515192 129300 :moony!moony@hellomouse/dev/moony PRIVMSG #esoteric :shachaf: Elaborate?
< 1566515219 757377 :moei!~moei@softbank221078042071.bbtec.net QUIT :Quit: Leaving...
< 1566515446 641754 :moony!moony@hellomouse/dev/moony PRIVMSG #esoteric :):
< 1566515785 760194 :FreeFull!~freefull@defocus/sausage-lover QUIT :
< 1566516142 903993 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's possible to prove that a specific program halts, for example by running it until it halts.
< 1566516163 588664 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Did you mean a decision procedure?
< 1566516276 970226 :moony!moony@hellomouse/dev/moony PRIVMSG #esoteric :Yes, a decision procedure.
< 1566516419 969356 :moony!moony@hellomouse/dev/moony PRIVMSG #esoteric :to test if a function is a FSM
< 1566516426 729455 :moony!moony@hellomouse/dev/moony PRIVMSG #esoteric :or a lower class automata is that's not possible
< 1566516543 483760 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think you'll need to specify what you mean a bit more, but it sounds like the answer is no.
< 1566516619 188602 :moony!moony@hellomouse/dev/moony PRIVMSG #esoteric :Is a given function of a program a Finite State machine. Yea, don't think it is.
< 1566516630 257881 :moony!moony@hellomouse/dev/moony PRIVMSG #esoteric :wait
< 1566516632 758897 :moony!moony@hellomouse/dev/moony PRIVMSG #esoteric :oh
< 1566516634 477905 :moony!moony@hellomouse/dev/moony PRIVMSG #esoteric :ACTION derp, didn't elaborate
< 1566516709 812342 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :moony: you can define a subset of programs that are "obviously" FSMs and can be checked to be such
< 1566516716 790419 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :for example by requiring all data structures have an explicit bound
< 1566516771 922462 :moony!moony@hellomouse/dev/moony PRIVMSG #esoteric :Mmm. Alright
< 1566516773 57406 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :but if your language allows unbounded state, then determining whether a given program actually has a bound on how much state it uses should be undecidable
< 1566516791 783945 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :that should be an easy reduction from the halting problem
< 1566516853 298308 :b_jonas!~x@catv-176-63-24-4.catv.broadband.hu QUIT :Remote host closed the connection
< 1566516858 682863 :moony!moony@hellomouse/dev/moony PRIVMSG #esoteric :kmc: Thanks. Perfect reliability wasn't a requirement anyways, so just using tests to spot various "obvious" FSMs should be enough
< 1566516866 381552 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In particular every program that halts is a finite state machine, and halting is decidable for finite state machines.
< 1566516892 324570 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :mhm
< 1566516940 547457 :moony!moony@hellomouse/dev/moony PRIVMSG #esoteric :Could also augment in checks to catch common unhalting issues
< 1566516951 694746 :moony!moony@hellomouse/dev/moony PRIVMSG #esoteric :(as a flag, as there'd be overhead from these kinds of checks)
< 1566517340 565966 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric
< 1566517405 544784 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wow, there's one huge advantage to programming an SMT solver: when you want to test that your function does what you expect, you can simply write the properties it's supposed to have and the SMT solver proves that your function has those properties
< 1566517453 749510 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think all programming languages should work like this
< 1566517478 291930 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :yes
< 1566517489 235996 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :that's also why quickcheck is so great, although of course it's not exhaustive
< 1566517508 203767 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :it still gets you a huge test suite for very little effort
< 1566517528 739354 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: You can even ask it to synthesize a function for you!
< 1566517551 718943 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, not quite trivially.
< 1566517578 441214 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :i had a dream of a language where you can put arbitrary predicates on types (refinement types) and it will prove what it can at compile time, and quickcheck the rest, and then optionally check at runtime as well
< 1566517579 698468 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: how? even a nontrivial method, I'd be very interested in
< 1566517622 535809 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I actually don't have the answer to your question, but my friend keeps telling me about the program synthesis things he was doing with SMT solvers.
< 1566517769 933498 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Here's the overall structure of this website: ...
< 1566517783 995873 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think this was the project: http://pl.eecs.berkeley.edu/projects/chlorophyll/
< 1566517936 352472 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: I'm wondering where that tag ends
< 1566517954 832379 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this structure is so illogical that I don't think the normal inference rules would help
< 1566518012 694792 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: hmm, so pretty close to what I'm doing, just optimised for potato rather than x86
< 1566518041 777405 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :that is madness
< 1566518048 300238 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :you can parse it and then dump the DOM
< 1566518081 726947 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, btw, after answering a couple of Malbolge questions on StackOverflow I had ideas for a worse version of it
< 1566518110 13009 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but am not certain a) if it's TC, or b) letting people see the spec is remotely a good idea
< 1566518126 136809 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :somebody set up us the DOM
< 1566518141 593067 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(the possibilities if it becomes public are that it's ignored, in which case it's neutral as to whether it was released or not, or that people try to program in it, which may be a bad thing)
< 1566518258 364228 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: Isn't a self-closing tag in HTML?
< 1566518396 921438 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, could be