< 1531872850 383423 :moei!~moei@softbank221078042071.bbtec.net QUIT :Quit: Leaving... > 1531873121 635023 PRIVMSG #esoteric :14[[07This=That 2.014]]4 10 02https://esolangs.org/w/index.php?diff=56790&oldid=18204 5* 03A 5* (+90) 10/* Programs */ > 1531873451 407343 PRIVMSG #esoteric :14[[07This=That 2.014]]4 10 02https://esolangs.org/w/index.php?diff=56791&oldid=56790 5* 03A 5* (+72) 10Just forgot to say something... > 1531873493 289816 PRIVMSG #esoteric :14[[07This=That 2.014]]4 10 02https://esolangs.org/w/index.php?diff=56792&oldid=56791 5* 03A 5* (-21) 10:( Checking... > 1531873696 795164 PRIVMSG #esoteric :14[[07User:A14]]4 N10 02https://esolangs.org/w/index.php?oldid=56793 5* 03A 5* (+149) 10Created page with "There is currently no text in this page. You can [[search for this page title]] in other pages, [[search the related logs]], or [[create this page]]." < 1531875119 700770 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-dggjdwdkgyuavixy QUIT :Quit: EliteBNC free bnc service - http://elitebnc.org - be a part of the Elite! > 1531875275 358787 PRIVMSG #esoteric :14[[07User:A14]]4 10 02https://esolangs.org/w/index.php?diff=56794&oldid=56793 5* 03A 5* (-149) 10Blanked the page < 1531875340 193882 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-hranvftgtfjkqltv JOIN :#esoteric > 1531875368 177038 PRIVMSG #esoteric :14[[07User:A14]]4 10 02https://esolangs.org/w/index.php?diff=56795&oldid=56794 5* 03A 5* (+5) 10 > 1531875402 549502 PRIVMSG #esoteric :14[[07User:A14]]4 10 02https://esolangs.org/w/index.php?diff=56796&oldid=56795 5* 03A 5* (+46) 10 > 1531875437 275462 PRIVMSG #esoteric :14[[07User:A14]]4 10 02https://esolangs.org/w/index.php?diff=56797&oldid=56796 5* 03A 5* (+106) 10 > 1531875526 886635 PRIVMSG #esoteric :14[[07User:A14]]4 10 02https://esolangs.org/w/index.php?diff=56798&oldid=56797 5* 03A 5* (+7) 10 > 1531875539 844497 PRIVMSG #esoteric :14[[07User:A14]]4 10 02https://esolangs.org/w/index.php?diff=56799&oldid=56798 5* 03A 5* (+5) 10 > 1531875549 305383 PRIVMSG #esoteric :14[[07User:A14]]4 10 02https://esolangs.org/w/index.php?diff=56800&oldid=56799 5* 03A 5* (+2) 10 > 1531875564 944022 PRIVMSG #esoteric :14[[07User:A14]]4 10 02https://esolangs.org/w/index.php?diff=56801&oldid=56800 5* 03A 5* (+5) 10 > 1531875572 488765 PRIVMSG #esoteric :14[[07User:A14]]4 10 02https://esolangs.org/w/index.php?diff=56802&oldid=56801 5* 03A 5* (+2) 10 > 1531875607 965475 PRIVMSG #esoteric :14[[07User:A14]]4 10 02https://esolangs.org/w/index.php?diff=56803&oldid=56802 5* 03A 5* (+4) 10 > 1531875636 893786 PRIVMSG #esoteric :14[[07User:A14]]4 10 02https://esolangs.org/w/index.php?diff=56804&oldid=56803 5* 03A 5* (-13) 10 > 1531875658 133446 PRIVMSG #esoteric :14[[07User:A14]]4 10 02https://esolangs.org/w/index.php?diff=56805&oldid=56804 5* 03A 5* (-169) 10Blanked the page < 1531876056 969416 :imode!~imode@unaffiliated/imode QUIT :Quit: WeeChat 2.2 > 1531876488 475237 PRIVMSG #esoteric :14[[07EsoScript14]]4 N10 02https://esolangs.org/w/index.php?oldid=56806 5* 03A 5* (+461) 10Created page with "==Formatting== ''Italic text'' ''Italic test'' '''Bold text''' '''Bold text''' '''''Bold & italic text''''' '''''Bold & italic text''''' ==Links== ===Internal links=== U..." > 1531876635 810979 PRIVMSG #esoteric :14[[07EsoScript14]]4 10 02https://esolangs.org/w/index.php?diff=56807&oldid=56806 5* 03A 5* (-22) 10 > 1531876673 105251 PRIVMSG #esoteric :14[[07EsoScript14]]4 10 02https://esolangs.org/w/index.php?diff=56808&oldid=56807 5* 03A 5* (+20) 10 < 1531876786 418077 :moei!~moei@softbank221078042071.bbtec.net JOIN :#esoteric > 1531876831 728389 PRIVMSG #esoteric :14[[07EsoScript14]]4 10 02https://esolangs.org/w/index.php?diff=56809&oldid=56808 5* 03A 5* (+115) 10/* HI */ > 1531876955 907862 PRIVMSG #esoteric :14[[07EsoScript14]]4 10 02https://esolangs.org/w/index.php?diff=56810&oldid=56809 5* 03A 5* (+72) 10/* =Numbered list */ > 1531877010 259531 PRIVMSG #esoteric :14[[07EsoScript14]]4 10 02https://esolangs.org/w/index.php?diff=56811&oldid=56810 5* 03A 5* (+89) 10 > 1531877059 98036 PRIVMSG #esoteric :14[[07EsoScript14]]4 10 02https://esolangs.org/w/index.php?diff=56812&oldid=56811 5* 03A 5* (-168) 10/* Links(Only available in esolangs.org) */ > 1531877338 660929 PRIVMSG #esoteric :14[[07EsoScript14]]4 10 02https://esolangs.org/w/index.php?diff=56813&oldid=56812 5* 03A 5* (-72) 10/* Indent */ > 1531877357 181491 PRIVMSG #esoteric :14[[07EsoScript14]]4 10 02https://esolangs.org/w/index.php?diff=56814&oldid=56813 5* 03A 5* (-59) 10/* HI */ > 1531877367 256528 PRIVMSG #esoteric :14[[07EsoScript14]]4 10 02https://esolangs.org/w/index.php?diff=56815&oldid=56814 5* 03A 5* (-9) 10/* HI */ > 1531877393 114948 PRIVMSG #esoteric :14[[07EsoScript14]]4 10 02https://esolangs.org/w/index.php?diff=56816&oldid=56815 5* 03A 5* (+1) 10/* =Numbered list */ > 1531877412 903507 PRIVMSG #esoteric :14[[07EsoScript14]]4 10 02https://esolangs.org/w/index.php?diff=56817&oldid=56816 5* 03A 5* (-28) 10/* Headings(may mess up the page a bit) */ > 1531877425 534518 PRIVMSG #esoteric :14[[07EsoScript14]]4 10 02https://esolangs.org/w/index.php?diff=56818&oldid=56817 5* 03A 5* (+1) 10/* Formatting */ > 1531877482 578965 PRIVMSG #esoteric :14[[07User:A14]]4 10 02https://esolangs.org/w/index.php?diff=56819&oldid=56805 5* 03A 5* (+23) 10Redirected page to [[EsoScript]] > 1531877535 943463 PRIVMSG #esoteric :14[[07EsoScript14]]4 10 02https://esolangs.org/w/index.php?diff=56820&oldid=56818 5* 03A 5* (-141) 10/* Formatting */ > 1531877570 941863 PRIVMSG #esoteric :14[[07EsoScript14]]4 10 02https://esolangs.org/w/index.php?diff=56821&oldid=56820 5* 03A 5* (+9) 10/* Heading */ > 1531877582 754625 PRIVMSG #esoteric :14[[07EsoScript14]]4 10 02https://esolangs.org/w/index.php?diff=56822&oldid=56821 5* 03A 5* (-9) 10/* Heading */ > 1531877644 577970 PRIVMSG #esoteric :14[[07User:A14]]4 10 02https://esolangs.org/w/index.php?diff=56823&oldid=56819 5* 03A 5* (-3) 10Redirected page to [[User:A]] > 1531880270 996907 PRIVMSG #esoteric :14[[07List of quines14]]4 10 02https://esolangs.org/w/index.php?diff=56824&oldid=56526 5* 03A 5* (+115) 10/* Cheating Quines */ > 1531880296 552827 PRIVMSG #esoteric :14[[07List of quines14]]4 10 02https://esolangs.org/w/index.php?diff=56825&oldid=56824 5* 03A 5* (+2) 10/* Smurf */ > 1531880855 748892 PRIVMSG #esoteric :14[[07Turing tarpit14]]4 10 02https://esolangs.org/w/index.php?diff=56826&oldid=56318 5* 03A 5* (+68) 10/* Survey */ < 1531881246 423891 :imode!~imode@unaffiliated/imode JOIN :#esoteric > 1531882141 462270 PRIVMSG #esoteric :14[[07Turing tarpit14]]4 10 02https://esolangs.org/w/index.php?diff=56827&oldid=56826 5* 03Oerjan 5* (-2) 10/* Survey */ Use proper name > 1531882284 740387 PRIVMSG #esoteric :14[[07Turing tarpit14]]4 10 02https://esolangs.org/w/index.php?diff=56828&oldid=56827 5* 03Oerjan 5* (+54) 10/* Survey */ grm and only two symbols essential > 1531882674 254145 PRIVMSG #esoteric :14[[0714]]4 N10 02https://esolangs.org/w/index.php?oldid=56829 5* 03A 5* (+135) 10Created page with "is a very funny esolang. [[Category:Languages]] [[Category:Language list]] [[Category:Joke language list]] [[Category:CJK]]" > 1531882685 990140 PRIVMSG #esoteric :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=56830&oldid=56829 5* 03A 5* (-4) 10 > 1531882697 228679 PRIVMSG #esoteric :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=56831&oldid=56830 5* 03A 5* (-27) 10 > 1531882753 960651 PRIVMSG #esoteric :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=56832&oldid=56831 5* 03A 5* (+69) 10 > 1531883051 262668 PRIVMSG #esoteric :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=56833&oldid=56832 5* 03A 5* (+284) 10 > 1531883414 978744 PRIVMSG #esoteric :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=56834&oldid=56833 5* 03A 5* (+223) 10 < 1531883458 404374 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1531883660 488665 :oerjan!oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite > 1531883885 105476 PRIVMSG #esoteric :14[[07Simple Smurf14]]4 N10 02https://esolangs.org/w/index.php?oldid=56835 5* 03A 5* (+2158) 10Created page with "If we limit the contents of Smurf strings to the same characters as the other instructions (which should have no effect on Turing-completeness) then it has three states (call..." > 1531883928 436107 PRIVMSG #esoteric :14[[07Simple Smurf14]]4 10 02https://esolangs.org/w/index.php?diff=56836&oldid=56835 5* 03A 5* (-214) 10 > 1531883941 296314 PRIVMSG #esoteric :14[[07Simple Smurf14]]4 10 02https://esolangs.org/w/index.php?diff=56837&oldid=56836 5* 03A 5* (-4) 10 > 1531884133 301810 PRIVMSG #esoteric :14[[07Simple Smurf14]]4 10 02https://esolangs.org/w/index.php?diff=56838&oldid=56837 5* 03A 5* (-928) 10 > 1531884146 180550 PRIVMSG #esoteric :14[[07Simple Smurf14]]4 10 02https://esolangs.org/w/index.php?diff=56839&oldid=56838 5* 03A 5* (-255) 10 > 1531884573 787321 PRIVMSG #esoteric :14[[07Sm14]]4 N10 02https://esolangs.org/w/index.php?oldid=56840 5* 03A 5* (+1042) 10Created page with "Sm is an esolang based on [[Smu]], with comments removed. * () Push a string to the stack. The string is whatever is inside the parentheses, you can have nested parentheses bu..." < 1531886379 900807 :erkin!~erkin@unaffiliated/erkin QUIT :Quit: Ouch! Got SIGIRL, dying... < 1531887910 596805 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net QUIT :Ping timeout: 244 seconds < 1531890613 708848 :Fogity_!~Fogity@hr-sgs.kvi.sgsnet.se JOIN :#esoteric < 1531890637 842205 :imode!~imode@unaffiliated/imode QUIT :Quit: WeeChat 2.2 < 1531890643 355726 :FreeFull_!~freefull@defocus/sausage-lover JOIN :#esoteric < 1531890686 322696 :shachaf_!~shachaf@unaffiliated/shachaf JOIN :#esoteric < 1531890751 373399 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1531890916 751542 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com JOIN :#esoteric < 1531890988 951631 :xa0!~zeta@unaffiliated/uoy QUIT :*.net *.split < 1531890991 511089 :Hooloovo0!Hooloovoo@hooloovoo.blue QUIT :*.net *.split < 1531890991 635601 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com QUIT :*.net *.split < 1531890992 24525 :zzo38!~zzo38@24-207-47-161.eastlink.ca QUIT :*.net *.split < 1531890992 266900 :FreeFull!~freefull@defocus/sausage-lover QUIT :*.net *.split < 1531890992 411722 :shachaf!~shachaf@unaffiliated/shachaf QUIT :*.net *.split < 1531890992 963600 :Fogity!~Fogity@hr-sgs.kvi.sgsnet.se QUIT :*.net *.split < 1531890994 505355 :lynn!sid154965@gateway/web/irccloud.com/x-rtmaqvnphnrjfapq QUIT :*.net *.split < 1531891167 706220 :Fogity_!~Fogity@hr-sgs.kvi.sgsnet.se QUIT :Ping timeout: 240 seconds < 1531891198 134445 :shachaf_!~shachaf@unaffiliated/shachaf NICK :shachaf < 1531891456 735023 :Fogity!~Fogity@hr-sgs.kvi.sgsnet.se JOIN :#esoteric < 1531891668 710761 :Hoolootwo!Hooloovoo@hooloovoo.blue JOIN :#esoteric < 1531891828 631347 :S_Gautam!uid286066@gateway/web/irccloud.com/x-fbfwekuqlvpqqnjf JOIN :#esoteric < 1531892113 594991 :xa0!~zeta@unaffiliated/uoy JOIN :#esoteric < 1531892113 653941 :lynn!sid154965@gateway/web/irccloud.com/x-rtmaqvnphnrjfapq JOIN :#esoteric < 1531892134 876742 :Hoolootwo!Hooloovoo@hooloovoo.blue NICK :Hooloovo0 < 1531892535 416589 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1531892819 410140 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 260 seconds < 1531895665 977267 :imode!~imode@unaffiliated/imode QUIT :Quit: WeeChat 2.2 < 1531895713 784896 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1531896369 668845 :fractal!~fractal@unaffiliated/scounder JOIN :#esoteric < 1531898928 333852 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1531899215 335384 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 256 seconds < 1531900383 295452 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1531901166 279507 :xa0!~zeta@unaffiliated/uoy QUIT :Excess Flood < 1531901214 516316 :xa0!~zeta@unaffiliated/uoy JOIN :#esoteric < 1531902082 627677 :AnotherTest!~turingcom@natx-145.kulnet.kuleuven.be JOIN :#esoteric < 1531902311 173498 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:fb8b:fb15:c1d3:a33a JOIN :#esoteric < 1531902311 479312 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:fb8b:fb15:c1d3:a33a QUIT :Changing host < 1531902311 479375 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1531902668 497143 :yaewa!~moei@softbank221078042071.bbtec.net JOIN :#esoteric < 1531902751 401772 :moei!~moei@softbank221078042071.bbtec.net QUIT :Ping timeout: 256 seconds < 1531902803 797768 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 276 seconds < 1531903931 369525 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :hmm < 1531903942 454150 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :I think I implemented pattern matching but there's now a bug :( < 1531904020 501443 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Oh no! < 1531904024 361181 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :What sort of bug? < 1531904065 546850 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :somehow one of the closures gets corrupted > 1531905657 540420 PRIVMSG #esoteric :14[[07User:A14]]4 10 02https://esolangs.org/w/index.php?diff=56841&oldid=56823 5* 03A 5* (+41) 10 > 1531905682 489723 PRIVMSG #esoteric :14[[07User:A14]]4 10 02https://esolangs.org/w/index.php?diff=56842&oldid=56841 5* 03A 5* (+28) 10 > 1531906038 115027 PRIVMSG #esoteric :14[[07Home Row14]]4 10 02https://esolangs.org/w/index.php?diff=56843&oldid=32458 5* 03A 5* (+132) 10 > 1531906047 662520 PRIVMSG #esoteric :14[[07Home Row14]]4 10 02https://esolangs.org/w/index.php?diff=56844&oldid=56843 5* 03A 5* (+0) 10/* COmputational Class */ > 1531906201 827204 PRIVMSG #esoteric :14[[07Home Row14]]4 10 02https://esolangs.org/w/index.php?diff=56845&oldid=56844 5* 03A 5* (+76) 10Last but not least, check that > 1531906240 325265 PRIVMSG #esoteric :14[[07Home Row14]]4 10 02https://esolangs.org/w/index.php?diff=56846&oldid=56845 5* 03A 5* (-46) 10 > 1531906279 506575 PRIVMSG #esoteric :14[[07User:A14]]4 10 02https://esolangs.org/w/index.php?diff=56847&oldid=56842 5* 03A 5* (+69) 10 < 1531906427 21963 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :I think I found the cause < 1531906448 649513 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Oh? < 1531906460 657827 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :(I am genuinely interested but not very insightful) < 1531906636 788799 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :when executing a data constructor pattern match I forgot to focus on the fields of the closure I am scrutinizing < 1531906751 239729 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :sadly that alone didn't fix it < 1531906960 814812 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :r < 1531907613 112488 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :ohhh < 1531907632 812805 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :I enter the scrutinee < 1531907658 93976 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :but my calling convention doesn't include the closure returning itself from its entry point < 1531907676 99542 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :and so I lost the value I was scrutinizing < 1531907732 319948 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :it works! < 1531907747 572036 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :\o/ < 1531907798 437886 :int-e!~noone@int-e.eu PRIVMSG #esoteric :mniip: what formalism or language is it you're implementing, and what's your implementation language? < 1531907810 407856 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :CBN LC < 1531907826 268609 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :a haskell compiler that outputs assembly < 1531907963 239690 :int-e!~noone@int-e.eu PRIVMSG #esoteric :push/enter, g-machine, mmm. Oh it's been a while. < 1531908023 964565 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Which assembly? < 1531908064 590718 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :int-e, mind, I decided to implement it "without looking" < 1531908077 216212 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :i.e see how much stuff I can come up with without copyinh < 1531908184 669260 :AnotherTest!~turingcom@natx-145.kulnet.kuleuven.be QUIT :Ping timeout: 256 seconds < 1531908244 616908 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :Taneb, x86_64 < 1531908264 880086 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::) < 1531908313 671166 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :and thus I compiled a first hello world < 1531908332 9833 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :it looks like this http://tcpst.net/pk7v < 1531908334 433521 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? unlambda < 1531908335 822968 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :​``ci`r`.!`.l`.a`.i`.v`.i`.r`.t`. `.t`.s`.e`.'`.c`. `.,`.a`.d`.b`.m`.a`.l`.n`.U`ci < 1531908427 82430 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :mniip: neat! < 1531908471 459001 :int-e!~noone@int-e.eu PRIVMSG #esoteric :mniip: are those boxed ints? < 1531908474 521596 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :yes < 1531908516 9994 :FreeFull_!~freefull@defocus/sausage-lover NICK :FreeFull < 1531909328 124081 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :at least it's easy to add primops! < 1531909330 671211 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :BINARY_FN(addInt)(struct Closure *a, struct Closure *b) { return make_int_closure(unpack_int_closure(a) + unpack_int_closure(b)); } < 1531910917 235706 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :oh boy < 1531910920 750028 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :what a bug < 1531910925 2469 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric : *(clos->data) = value; < 1531910937 70356 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :should be *(size_t *)clos->data = value; < 1531910959 390234 :int-e!~noone@int-e.eu PRIVMSG #esoteric :nice tabs < 1531910985 471315 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(somehow irssi displays these as inverted I-s) < 1531911897 429823 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :boom, the list of prime numbers http://tcpst.net/lgbv < 1531912185 106414 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Neat! < 1531912236 480668 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :my thing is even slightly better than GHC in some aspect! < 1531912240 576260 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :I can do this: http://tcpst.net/4a4g.png < 1531912295 406204 :AnotherTest!~turingcom@natx-145.kulnet.kuleuven.be JOIN :#esoteric < 1531912309 11335 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Neat < 1531912420 977402 :yaewa!~moei@softbank221078042071.bbtec.net QUIT :Quit: Leaving... < 1531912912 577392 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1531913439 655401 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1531913903 531119 :int-e!~noone@int-e.eu PRIVMSG #esoteric :mniip: yeah ghc a) messes up the stack and b) doesn't have an actual control stack because it does a CPS transform so all calls become tail calls. < 1531913933 792589 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :this isn't a call stack either mind < 1531913942 651867 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :foldr doesn't call takeWhile < 1531913952 892725 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I wrote "control stack"? :P < 1531914022 124191 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I expect it's still a call stack of sorts... but a dynamic one imposed by lazy evaluation rather than a static one (as written in the source code) < 1531914680 57450 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :as if the GHC runtime doesn't have an analogue? < 1531915670 451290 :moei!~moei@softbank221078042071.bbtec.net JOIN :#esoteric < 1531915820 445691 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net JOIN :#esoteric < 1531916549 445694 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net QUIT :Ping timeout: 260 seconds < 1531916703 406864 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net JOIN :#esoteric < 1531917745 281806 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1531918509 407762 :XorSwap!~XorSwap@wnpgmb016qw-ppp-103-253.dynamic.bellmts.net QUIT :Ping timeout: 260 seconds < 1531919302 500337 :oerjan!oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1531919499 490887 :xa0!~zeta@unaffiliated/uoy QUIT :Ping timeout: 244 seconds < 1531919857 507962 :xa0!~zeta@unaffiliated/uoy JOIN :#esoteric < 1531922527 193807 :Lbry!59cc9b31@gateway/web/cgi-irc/kiwiirc.com/ip.89.204.155.49 JOIN :#esoteric < 1531922614 323879 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1531922624 681805 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :mniip: congrats! < 1531922822 620700 :Lbry!59cc9b31@gateway/web/cgi-irc/kiwiirc.com/ip.89.204.155.49 PART :#esoteric < 1531922927 665534 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :mniip: can you parse type annotations? < 1531922993 881905 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :no < 1531922997 651903 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :there's no typechecker yet < 1531923009 544166 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :also there's lot of technical debt < 1531923024 686206 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :mniip: ah < 1531923035 902955 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :so if you use incorrect types, your program might just do undefined behavior? < 1531923056 680690 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :it will usually complain < 1531923071 455529 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :"attempt to apply a constructor" < 1531923090 999874 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :but yeah it might segfualt < 1531923110 531142 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :if you pattern match a lambda against a datatype that has a non-nullary constructor at position zero < 1531923230 659483 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I was wondering if you could try to compile http://www.math.bme.hu/~ambrus/pu/Bin.hs with this. You'd not only have to remove type annotations, but also remove the instances, and replace the fac and the main functions to call the underlying non-generic functions instead of the methods < 1531923718 63831 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :Luckily it doesn't even use the built-in list type < 1531924841 73155 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :Yeah, that won't be trivial. < 1531924872 502919 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :The fac function really cheats by using the haskell prelude deeply. < 1531924964 19567 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I'm calling product, which has to be changed to foldSomething mulBin; and I'm calling my own enumFromTo :: BinInteger -> BinInteger -> BinInteger method, which calls takeWhile and iterate. < 1531924986 691196 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :Still, it should be possible to write those if you know a bit of haskell < 1531925017 475778 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :and then the main function calls print, which you could change to (putStrLn . showBin) I think < 1531925418 639180 :xa0!~zeta@unaffiliated/uoy QUIT :Excess Flood < 1531925485 395274 :xa0!~zeta@unaffiliated/uoy JOIN :#esoteric < 1531926190 351956 :oerjan!oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Later < 1531926901 332664 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :wob_jonas, to add classes I'd need a typechecker < 1531926923 466094 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :mniip: I said you should remove classes and instances from that code < 1531926924 401237 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :to do inference and term elaboration < 1531926945 442149 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :also funnily < 1531926947 554448 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :they're not really needed, they're just an afterthought so that I can make the joke end with "fac n = product [1..n]" < 1531926950 420750 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :my compiler doesn't use any StateT < 1531926984 499761 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :which is a line from that Evolution of a Haskell Programmer joke, only it means a very different thing here because it uses a different type < 1531927001 80766 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :but you don't need any of the instances or anything, or the BinInteger type < 1531927009 24908 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :product . enumFromTo 1 < 1531927030 505578 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :I only like code that is pointless < 1531927112 962640 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :mniip: yes, but look at the end of the joke in https://www.willamette.edu/~fruehr/haskell/evolution.html , above the explanations (search for "Tenured Professor" < 1531927123 307653 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :yeah I've seen that page < 1531927136 905728 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :). it literally says "fac n = product [1..n]" which is the line I wanted to reuse < 1531927156 590885 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :you don't need any of that < 1531927244 972395 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :I am the proud author of https://github.com/AbstractBeliefs/BadBuzz/blob/master/Haskell/mniip.hs < 1531927259 863899 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1531927272 497773 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :mniip: oh god, he got you writing them too < 1531927289 281815 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :it was an one-off < 1531927295 785019 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :just compute with the unwrapped Bin class, which isn't an instance of anything (I did it this way so as to not accidentally an instance functino), write product as whatever fold function it should be, calling mulBin < 1531927349 438554 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :then implement iterate and takeWhile from the prelude, and do whatever that enumFromTo method does but on unwrapped Bin stuff < 1531927356 322524 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :y tho < 1531927359 971679 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :I have boxed integers < 1531927430 712853 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :(I'm fond of my reasonable-looking-but-cubic-time badbuzz) < 1531927431 119577 :neanias!sid218528@gateway/web/irccloud.com/x-auatgksvrxgrnnas JOIN :#esoteric < 1531927435 79769 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :mniip: but this is a nontrivial code that would test lazy function calls and constructors and pattern matching nicely < 1531927435 147290 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :it does like a million calls until it finishes < 1531927435 163776 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :probably more like ten million < 1531927440 923530 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1531927565 251649 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1531927567 733162 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :no wait, it must be much less than that since it's not unary but binary. probably only a few thousand calls < 1531927709 871965 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :I really should consider infix operators < 1531927715 717791 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :and equation parsing < 1531927745 320265 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :mniip: you don't need infix operators to run my code < 1531927763 659051 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :what do you mean by equation parsing? pattern matching in the function head? < 1531927770 693075 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :yes < 1531927774 633714 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :f True = x < 1531927777 470793 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :f False = y < 1531927782 731550 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :do you have let expressions yet? where clauses? < 1531927787 178557 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :neither < 1531927799 836938 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :you should probably start with let expressions < 1531927805 123850 :mniip!mniip@freenode/staff/mniip PRIVMSG #esoteric :I have abstractions that can work as nonrecursive lets < 1531927878 617516 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :yeah < 1531928075 783692 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1531928694 397260 :AnotherTest!~turingcom@natx-145.kulnet.kuleuven.be QUIT :Ping timeout: 260 seconds < 1531928893 753789 :XorSwap!~XorSwap@wpa-4-957.cc.umanitoba.ca JOIN :#esoteric < 1531929167 852915 :LKoen!~LKoen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1531929413 476853 :int-e!~noone@int-e.eu PRIVMSG #esoteric :ah, today's xkcd is online, and it's good < 1531930157 711079 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1531930338 847827 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1531931518 430806 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1531931572 643235 :puck!~puck@puckipedia.com NICK :pucc < 1531932425 667387 :lldd_!~atrapado@unaffiliated/atrapado JOIN :#esoteric < 1531932953 759696 :pucc!~puck@puckipedia.com NICK :puck < 1531933272 1018 :XorSwap!~XorSwap@wpa-4-957.cc.umanitoba.ca QUIT :Quit: the creeping crawling chaos will return. < 1531933273 544307 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1531935352 335388 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1531935828 206452 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1531936451 660524 :AnotherTest!~turingcom@ptr-82l26zcb1dmnmcpyztw.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1531936883 563597 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1531937909 391412 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric > 1531938219 640849 PRIVMSG #esoteric :14[[07Home Row14]]4 10 02https://esolangs.org/w/index.php?diff=56848&oldid=56846 5* 03Ais523 5* (-162) 10rv: this doesn't prove BF-equivalence because BF relies on the existence of nested loops for its TCness < 1531938643 264031 :LKoen!~LKoen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Remote host closed the connection < 1531938883 778483 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1531939694 682195 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1531942015 377391 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 245 seconds < 1531942143 611914 :MDude!~MDude@pa-67-234-83-197.dhcp.embarqhsd.net QUIT :Quit: Going offline, see ya! (www.adiirc.com) < 1531942506 355411 :lldd_!~atrapado@unaffiliated/atrapado QUIT :Quit: Leaving < 1531943442 286854 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1531945870 436111 :LKoen!~LKoen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1531946065 383637 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Ping timeout: 245 seconds < 1531946135 392156 :LKoen!~LKoen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Ping timeout: 240 seconds < 1531946668 247823 :imode!~imode@unaffiliated/imode QUIT :Quit: WeeChat 2.2 < 1531949039 166125 :erkin!~erkin@unaffiliated/erkin QUIT :Quit: Ouch! Got SIGIRL, dying... < 1531949114 718172 :LKoen!~LKoen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1531950465 690255 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1531951463 271538 :moei!~moei@softbank221078042071.bbtec.net QUIT :Read error: Connection reset by peer < 1531951498 736364 :moei!~moei@softbank221078042071.bbtec.net JOIN :#esoteric < 1531951556 489899 :shachaf_!~shachaf@unaffiliated/shachaf JOIN :#esoteric < 1531951624 953193 :shachaf!~shachaf@unaffiliated/shachaf QUIT :Disconnected by services < 1531951724 834824 :shachaf_!~shachaf@unaffiliated/shachaf NICK :shachaf > 1531951914 378958 PRIVMSG #esoteric :14[[07RISBF14]]4 10 02https://esolangs.org/w/index.php?diff=56849&oldid=40838 5* 03BMO 5* (+358) 10 < 1531952561 552706 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1531952801 789248 :AnotherTest!~turingcom@ptr-82l26zcb1dmnmcpyztw.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 276 seconds < 1531954662 658880 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1531954798 765003 :rdococ!rdococ@unaffiliated/rdococ QUIT :Ping timeout: 256 seconds < 1531955122 702653 :moei!~moei@softbank221078042071.bbtec.net QUIT :Quit: Leaving... < 1531956762 491226 :oerjan!oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1531956837 670134 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 240 seconds < 1531957049 372139 :rdococ!rdococ@cheapiesystems.com JOIN :#esoteric < 1531958156 228696 :LKoen!~LKoen@vbo91-6-78-245-243-132.fbx.proxad.net 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.”