< 1642205100 544597 :salpynx!~salpynx@118-92-208-231.dsl.dyn.ihug.co.nz PRIVMSG #esolangs :I think the TL:DR of my report is: I(I), where I is the identity function defined in terms of 10 alphas, results in an infinite loop if not lazily evaluated. < 1642205140 101792 :salpynx!~salpynx@118-92-208-231.dsl.dyn.ihug.co.nz PRIVMSG #esolangs :.... which isn't really a problem > 1642206138 832106 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Kman 5* 10New user account > 1642206796 723781 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=92077&oldid=92075 5* 03Kman 5* (+287) 10/* Introductions */ < 1642207518 936512 :llk!~quassel@host.164-138-91-13.broadband.redcom.ru JOIN #esolangs * :llk < 1642207527 613476 :llk!~quassel@host.164-138-91-13.broadband.redcom.ru PRIVMSG #esolangs :Hello < 1642207800 95751 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :huh i accidentally lost the digit at the end of that diff url and learned you can actually get diffs between completely different articles < 1642207942 253273 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :I didn't know that < 1642208032 741732 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :might be useful to check copy/paste moves < 1642208180 773958 :llk!~quassel@host.164-138-91-13.broadband.redcom.ru PRIVMSG #esolangs :Does anybody know the name of esolang that was inspired by Wookiee language from Star Wars? < 1642208340 109420 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :llk: I don't know. < 1642208449 961066 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :apparently the word "wookie" is nowhere on our wiki < 1642208497 496234 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :neither are "chewbacca" or "kashyyyk" < 1642208536 946507 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :but those would be my guesses for names < 1642209442 869527 :wellen!~w~llen@dynamic-046-114-163-147.46.114.pool.telefonica.de JOIN #esolangs * :realname < 1642209701 209631 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :fungot: Do you always let the wookiee win? < 1642209701 502530 :fungot!~fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :fizzie: c-x 0? eb 1 and so on, and set < 1642209712 969371 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :fungot: Beep boop I am a robot? < 1642209713 276275 :fungot!~fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :fizzie: have you tried your lecture notes, there are several > 1642210044 336847 PRIVMSG #esolangs :14[[07Brainfuck algorithms14]]4 10 02https://esolangs.org/w/index.php?diff=92078&oldid=89598 5* 03Kman 5* (+702) 10Added algorithm to move pointer x cells right/left < 1642210051 763043 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esolangs :fizzie: i think fungot is an expert on chewbacca defense < 1642210052 190640 :fungot!~fungot@2a01:4b00:82bb:1341::a PRIVMSG #esolangs :oerjan: that's what chicken's release versions do not have to actually produce valid states. things work out though, how to use < 1642210344 973189 :wellen!~w~llen@dynamic-046-114-163-147.46.114.pool.telefonica.de QUIT :Ping timeout: 250 seconds < 1642210367 790015 :dbohdan!~dbohdan@user/dbohdan JOIN #esolangs dbohdan :ZNC - https://znc.in < 1642210371 439542 :simcop2387_!~simcop238@perlbot/patrician/simcop2387 JOIN #esolangs simcop2387 :ZNC - https://znc.in > 1642210396 228171 PRIVMSG #esolangs :14[[07Brainfuck algorithms14]]4 M10 02https://esolangs.org/w/index.php?diff=92079&oldid=92078 5* 03Kman 5* (+102) 10Added small description & amendment > 1642210454 785017 PRIVMSG #esolangs :14[[07User:Kman14]]4 N10 02https://esolangs.org/w/index.php?oldid=92080 5* 03Kman 5* (+113) 10Created page with "Intellectual property is not property - ~~~~" < 1642210744 747409 :APic!apic@apic.name QUIT :Ping timeout: 240 seconds < 1642210745 910816 :dbohdan3!~dbohdan@user/dbohdan QUIT :Ping timeout: 240 seconds < 1642210745 952884 :simcop2387!~simcop238@perlbot/patrician/simcop2387 QUIT :Ping timeout: 240 seconds < 1642210746 35831 :mla!~mla@162.253.176.229 QUIT :Ping timeout: 240 seconds < 1642210747 416903 :simcop2387_!~simcop238@perlbot/patrician/simcop2387 NICK :simcop2387 < 1642210935 139189 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Ping timeout: 256 seconds < 1642211018 586480 :APic!apic@apic.name JOIN #esolangs APic :A. Pic. - my name since YOLD 3149 < 1642211136 312250 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1642212743 876274 :wellen!~w~llen@dynamic-046-114-163-147.46.114.pool.telefonica.de JOIN #esolangs * :realname < 1642212797 699792 :wellen!~w~llen@dynamic-046-114-163-147.46.114.pool.telefonica.de QUIT :Remote host closed the connection < 1642212820 790490 :wellen!~w~llen@dynamic-046-114-163-147.46.114.pool.telefonica.de JOIN #esolangs * :realname < 1642213591 355404 :llk!~quassel@host.164-138-91-13.broadband.redcom.ru QUIT :Remote host closed the connection < 1642215527 758214 :wellen!~w~llen@dynamic-046-114-163-147.46.114.pool.telefonica.de QUIT :Remote host closed the connection < 1642215640 864183 :wellen!~w~llen@dynamic-046-114-163-147.46.114.pool.telefonica.de JOIN #esolangs * :realname < 1642215678 297499 :wellen!~w~llen@dynamic-046-114-163-147.46.114.pool.telefonica.de QUIT :Remote host closed the connection < 1642215702 851653 :wellen!~w~llen@dynamic-046-114-163-147.46.114.pool.telefonica.de JOIN #esolangs * :realname < 1642215775 925647 :wellen!~w~llen@dynamic-046-114-163-147.46.114.pool.telefonica.de QUIT :Read error: Connection reset by peer < 1642215792 766703 :wellen!~w~llen@dynamic-046-114-163-147.46.114.pool.telefonica.de JOIN #esolangs * :realname < 1642215892 546232 :wellen!~w~llen@dynamic-046-114-163-147.46.114.pool.telefonica.de QUIT :Remote host closed the connection < 1642215911 766423 :wellen!~w~llen@dynamic-046-114-163-147.46.114.pool.telefonica.de JOIN #esolangs * :realname < 1642215977 726769 :wellen!~w~llen@dynamic-046-114-163-147.46.114.pool.telefonica.de QUIT :Remote host closed the connection < 1642216004 781991 :wellen!~w~llen@dynamic-046-114-163-147.46.114.pool.telefonica.de JOIN #esolangs * :realname < 1642217817 746926 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot QUIT :Ping timeout: 250 seconds < 1642217847 447987 :simcop2387!~simcop238@perlbot/patrician/simcop2387 QUIT :Ping timeout: 256 seconds < 1642218791 348590 :wellen!~w~llen@dynamic-046-114-163-147.46.114.pool.telefonica.de QUIT :Remote host closed the connection < 1642219419 19346 :kit_ten!~u0_a391@2603-6010-a141-6fa3-950d-0150-5311-7e6b.res6.spectrum.com QUIT :Ping timeout: 250 seconds < 1642219520 402335 :kit_ten!~u0_a391@cpe-76-190-178-139.neo.res.rr.com JOIN #esolangs * :u0_a391 < 1642220582 859591 :Soni!~quassel@autistic.space PRIVMSG #esolangs :does anyone want to take over gd-irc? https://gd-irc.github.io/ < 1642220842 427822 :int-e!~noone@int-e.eu PRIVMSG #esolangs :salpynx: neededness makes a huge difference: https://int-e.eu/~bf3/tmp/alpha-i-min.html (bottoms represent larger terms that are irrelevant) < 1642220925 602296 :int-e!~noone@int-e.eu PRIVMSG #esolangs :And the longest intermediate term for S becomes `````^^^``20⊥α⊥````αα⊥^^`α^α⊥``α^`α^α^````αα⊥^^`α^α⊥````αα^``α^α^````αα`αα^`α`α``αα`αα^`α^α^`````αα`αα^`α`α``αα⊥^`α^α^``α^α^````αα`αα^`α`α``αα⊥^`α^α⊥ < 1642220942 771187 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(not requiring thousands of alphas anymore) < 1642222206 110581 :int-e!~noone@int-e.eu PRIVMSG #esolangs :salpynx: as for terminology; there's a distinction between "weak normalization" (a term that has a normal form is weakly normalizing) and "strong normalization" (any sequence of reductions (beta-steps) produces a normal form) which is connected to this. people also study reduction strategies, which makes this far more finely grained. < 1642222265 780578 :int-e!~noone@int-e.eu PRIVMSG #esolangs :always reducing the leftmost outermost redex is such a strategy; it's normalizing, meaning that if a term has a normal form, leftmost outermost reduction will find it < 1642222305 326519 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :Soni: About calling the "real name" field as "user data" instead, I think it is good, since it does not necessarily contain your real name. There they suggest genders (which a user can do if they want to do), but you can put other stuff too. < 1642222400 450143 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :(Note that I do not have emoji in my computer, and do not intend to.) < 1642224739 811219 :Soni!~quassel@autistic.space PRIVMSG #esolangs :zzo38: we used to dislike emoji some many years ago. still kinda do, particularly with faces/emotions/etc < 1642224792 486910 :Soni!~quassel@autistic.space PRIVMSG #esolangs :but we guess we like them nowadays, at least sometimes < 1642225601 183490 :simcop2387!~simcop238@perlbot/patrician/simcop2387 JOIN #esolangs simcop2387 :ZNC - https://znc.in < 1642225661 530930 :perlbot!~perlbot@perlbot/bot/simcop2387/perlbot JOIN #esolangs perlbot :ZNC - https://znc.in < 1642225663 277318 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :Well, some people do, and some people don't (at least sometimes), I suppose. < 1642225855 467665 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :(I also dislike Unicode in general, but that is different.) < 1642225859 706786 :Soni!~quassel@autistic.space PRIVMSG #esolangs :we struggle with face emoji. the usual :) / :( / ;-; / <3 / etc are nicer < 1642226025 56951 :Soni!~quassel@autistic.space PRIVMSG #esolangs :zzo38: tbh we just wish they acknowledged bold and italics as being part of the script < 1642226468 591197 :Soni!~quassel@autistic.space PRIVMSG #esolangs :(or made it turing-complete :v) < 1642226855 438131 :wellen!~w~llen@dynamic-046-114-174-051.46.114.pool.telefonica.de JOIN #esolangs * :realname < 1642226930 672174 :wellen!~w~llen@dynamic-046-114-174-051.46.114.pool.telefonica.de QUIT :Remote host closed the connection < 1642226952 440463 :wellen!~w~llen@dynamic-046-114-174-051.46.114.pool.telefonica.de JOIN #esolangs * :realname < 1642227018 38514 :wellen!~w~llen@dynamic-046-114-174-051.46.114.pool.telefonica.de QUIT :Remote host closed the connection < 1642227045 471453 :wellen!~w~llen@dynamic-046-114-174-051.46.114.pool.telefonica.de JOIN #esolangs * :realname < 1642227108 623599 :wellen!~w~llen@dynamic-046-114-174-051.46.114.pool.telefonica.de QUIT :Remote host closed the connection < 1642227133 459669 :wellen!~w~llen@dynamic-046-114-174-051.46.114.pool.telefonica.de JOIN #esolangs * :realname > 1642227148 817275 PRIVMSG #esolangs :14[[07Talk:!lyriclydemoteestablishcommunism!14]]4 M10 02https://esolangs.org/w/index.php?diff=92081&oldid=81599 5* 03Citrons 5* (+109) 10irony eliminated. < 1642227198 693518 :wellen!~w~llen@dynamic-046-114-174-051.46.114.pool.telefonica.de QUIT :Remote host closed the connection < 1642227227 352411 :wellen!~w~llen@dynamic-046-114-174-051.46.114.pool.telefonica.de JOIN #esolangs * :realname < 1642227317 326201 :wellen!~w~llen@dynamic-046-114-174-051.46.114.pool.telefonica.de QUIT :Remote host closed the connection < 1642227341 354515 :wellen!~w~llen@dynamic-046-114-174-051.46.114.pool.telefonica.de JOIN #esolangs * :realname < 1642227409 691572 :wellen!~w~llen@dynamic-046-114-174-051.46.114.pool.telefonica.de QUIT :Remote host closed the connection > 1642228128 906621 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Dummiedummie 5* 10New user account > 1642228536 316084 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=92082&oldid=92077 5* 03Dummiedummie 5* (+152) 10/* Introductions */ > 1642228627 360168 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=92083&oldid=92082 5* 03Dummiedummie 5* (+13) 10/* Introductions */ < 1642230859 125287 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1642232201 444412 :archenoth!~archenoth@2604:3d09:681:f00:3863:cfe8:507d:8d05 JOIN #esolangs Archenoth :archenoth < 1642232306 156836 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :very artistic, int-e! < 1642232317 569393 :Oshawott!~archenoth@2604:3d09:681:f00:3863:cfe8:507d:8d05 QUIT :Ping timeout: 240 seconds < 1642232367 312112 :Oshawott!~archenoth@2604:3d09:681:f00:3863:cfe8:507d:8d05 JOIN #esolangs Archenoth :archenoth < 1642232477 512119 :archenoth!~archenoth@2604:3d09:681:f00:3863:cfe8:507d:8d05 QUIT :Ping timeout: 240 seconds < 1642233499 664176 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :speaking of artistic, here's some nice Postscript code: /t{dup 1 sub gsave dup 0 gt{[.4 .2 -.2 .4 .4 .2]concat t currentgray .8 mul .2 add setgray -1 1 scale t -1 2 translate t 1 -1 scale t[0 1 1 0 0 2]concat t pop}{0 moveto 1 0 lineto 0 2 lineto closepath clip fill}ifelse grestore}def 10 10 translate 600 600 scale 5 t showpage < 1642233631 243387 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :almost qualifies as esoteric:-) < 1642234052 149713 :salpynx!~salpynx@118-92-208-231.dsl.dyn.ihug.co.nz QUIT :Quit: Client closed < 1642234119 592593 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :It look like it does not fit on the page (unless you use a bigger page)? Not bad, though < 1642235690 697306 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :don't worry, the part above the page is identical to some part on the page:) < 1642235738 636251 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :it's Conway's pinwheel tiling < 1642235783 206080 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :you can also find it as a signature on the bottom of my home page, with a link to its output > 1642236063 558777 PRIVMSG #esolangs :14[[07Return()zero14]]4 N10 02https://esolangs.org/w/index.php?oldid=92084 5* 03Dummiedummie 5* (+6026) 10Created page with "{{wrongtitle|title=return()->0}} return()->0 is a language that returns a value for everything you do. ==Data types== Strings: "Hello!", "", "1234", etc. Any non-..." > 1642236107 812071 PRIVMSG #esolangs :14[[07Return()zero14]]4 10 02https://esolangs.org/w/index.php?diff=92085&oldid=92084 5* 03Dummiedummie 5* (+25) 10 > 1642236270 594232 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=92086&oldid=92021 5* 03Dummiedummie 5* (+19) 10/* R */ < 1642236274 528222 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :O, that is what it is. OK < 1642236415 328928 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :(It is also possible to add code to specify a larger page by the setpagedevice command, though) > 1642236981 917947 PRIVMSG #esolangs :14[[07Return()zero14]]4 10 02https://esolangs.org/w/index.php?diff=92087&oldid=92085 5* 03Dummiedummie 5* (+45) 10 > 1642237188 195656 PRIVMSG #esolangs :14[[07Dirac14]]4 M10 02https://esolangs.org/w/index.php?diff=92088&oldid=92067 5* 03Palaiologos 5* (+991) 10barebones documentation > 1642237387 425072 PRIVMSG #esolangs :14[[07Dirac14]]4 M10 02https://esolangs.org/w/index.php?diff=92089&oldid=92088 5* 03Palaiologos 5* (+133) 10hex constants > 1642238244 151505 PRIVMSG #esolangs :14[[07Dirac14]]4 10 02https://esolangs.org/w/index.php?diff=92090&oldid=92089 5* 03Palaiologos 5* (+162) 10 > 1642239339 446747 PRIVMSG #esolangs :14[[07Dirac14]]4 M10 02https://esolangs.org/w/index.php?diff=92091&oldid=92090 5* 03Palaiologos 5* (+1019) 10a better table of instructions > 1642239489 952088 PRIVMSG #esolangs :14[[07Dirac14]]4 10 02https://esolangs.org/w/index.php?diff=92092&oldid=92091 5* 03Palaiologos 5* (+542) 10comparison operations, bitops > 1642239683 629582 PRIVMSG #esolangs :14[[07Dirac14]]4 M10 02https://esolangs.org/w/index.php?diff=92093&oldid=92092 5* 03Palaiologos 5* (+471) 10lambda, more stackops > 1642239870 101735 PRIVMSG #esolangs :14[[07Dirac14]]4 M10 02https://esolangs.org/w/index.php?diff=92094&oldid=92093 5* 03Palaiologos 5* (+499) 10variables primer > 1642240227 676236 PRIVMSG #esolangs :14[[07User:Dummiedummie/vector.css14]]4 N10 02https://esolangs.org/w/index.php?oldid=92095 5* 03Dummiedummie 5* (+49) 10Created page with "textarea { color: #fff; background-color: #555; }" > 1642240333 633585 PRIVMSG #esolangs :14[[07User:Dummiedummie/vector.css14]]4 10 02https://esolangs.org/w/index.php?diff=92096&oldid=92095 5* 03Dummiedummie 5* (+45) 10 > 1642240464 414378 PRIVMSG #esolangs :14[[07User:Dummiedummie/vector.css14]]4 10 02https://esolangs.org/w/index.php?diff=92097&oldid=92096 5* 03Dummiedummie 5* (+61) 10 > 1642240512 21124 PRIVMSG #esolangs :14[[07User:Dummiedummie14]]4 N10 02https://esolangs.org/w/index.php?oldid=92098 5* 03Dummiedummie 5* (+32) 10Created page with "===Languages=== [[Return()zero]]" > 1642240909 205111 PRIVMSG #esolangs :14[[07Return()zero14]]4 10 02https://esolangs.org/w/index.php?diff=92099&oldid=92087 5* 03Dummiedummie 5* (+62) 10 > 1642240973 433292 PRIVMSG #esolangs :14[[07Dirac14]]4 M10 02https://esolangs.org/w/index.php?diff=92100&oldid=92094 5* 03Palaiologos 5* (+904) 10functional stuff > 1642240973 873045 PRIVMSG #esolangs :14[[07Return()zero14]]4 10 02https://esolangs.org/w/index.php?diff=92101&oldid=92099 5* 03Dummiedummie 5* (+0) 10 > 1642241033 821798 PRIVMSG #esolangs :14[[07Return()zero14]]4 10 02https://esolangs.org/w/index.php?diff=92102&oldid=92101 5* 03Dummiedummie 5* (-1) 10 < 1642241160 404637 :kspalaiologos!~kspalaiol@user/kspalaiologos JOIN #esolangs kspalaiologos :Kamila < 1642241233 301835 :kspalaiologos!~kspalaiol@user/kspalaiologos PRIVMSG #esolangs :hi, i've made a new esolang > 1642241492 716980 PRIVMSG #esolangs :14[[07User:Dummiedummie/vector.css14]]4 10 02https://esolangs.org/w/index.php?diff=92103&oldid=92097 5* 03Dummiedummie 5* (-28) 10 > 1642242169 608817 PRIVMSG #esolangs :14[[07Return()zero14]]4 10 02https://esolangs.org/w/index.php?diff=92104&oldid=92102 5* 03Dummiedummie 5* (+142) 10 > 1642242253 503176 PRIVMSG #esolangs :14[[07Return()zero14]]4 M10 02https://esolangs.org/w/index.php?diff=92105&oldid=92104 5* 03Dummiedummie 5* (+25) 10 > 1642242469 243211 PRIVMSG #esolangs :14[[07Return()zero14]]4 10 02https://esolangs.org/w/index.php?diff=92106&oldid=92105 5* 03Dummiedummie 5* (+18) 10 > 1642242662 78170 PRIVMSG #esolangs :14[[07Return()zero14]]4 10 02https://esolangs.org/w/index.php?diff=92107&oldid=92106 5* 03Dummiedummie 5* (+0) 10 < 1642243208 811705 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 250 seconds < 1642243272 507709 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord > 1642243279 469689 PRIVMSG #esolangs :14[[07Return()zero14]]4 10 02https://esolangs.org/w/index.php?diff=92108&oldid=92107 5* 03Dummiedummie 5* (+2) 10I need to make an interpreter for this so I can catch example code errors more easily... < 1642244014 229291 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer > 1642244052 343097 PRIVMSG #esolangs :14[[07Return()zero14]]4 M10 02https://esolangs.org/w/index.php?diff=92109&oldid=92108 5* 03Dummiedummie 5* (+70) 10 > 1642244983 268042 PRIVMSG #esolangs :14[[07Return()zero14]]4 10 02https://esolangs.org/w/index.php?diff=92110&oldid=92109 5* 03Dummiedummie 5* (+669) 10 > 1642245110 700128 PRIVMSG #esolangs :14[[07Talk:2 Bits, 1 Byte14]]4 N10 02https://esolangs.org/w/index.php?oldid=92111 5* 03Peter 5* (+43) 10Created page with "==User:Peter== Very interesting language :)" > 1642245483 468280 PRIVMSG #esolangs :14[[07Talk:2 Bits, 1 Byte14]]4 10 02https://esolangs.org/w/index.php?diff=92112&oldid=92111 5* 03Peter 5* (+401) 10/* User:Peter */ > 1642245508 564285 PRIVMSG #esolangs :14[[07User talk:Peter14]]4 10 02https://esolangs.org/w/index.php?diff=92113&oldid=91993 5* 03Peter 5* (-19) 10Blanked the page < 1642245887 543745 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN < 1642246167 204514 :kspalaiologos!~kspalaiol@user/kspalaiologos QUIT :Quit: Leaving > 1642246904 49255 PRIVMSG #esolangs :14[[07Brainfuck algorithms14]]4 M10 02https://esolangs.org/w/index.php?diff=92114&oldid=92079 5* 03Kman 5* (-12) 10Updated formatting > 1642246977 135036 PRIVMSG #esolangs :14[[07Brainfuck algorithms14]]4 M10 02https://esolangs.org/w/index.php?diff=92115&oldid=92114 5* 03Kman 5* (+14) 10Tiny edit to align with precedent set by 'find empty cell' < 1642248521 80327 :sebbu!~sebbu@user/sebbu QUIT :Quit: reboot < 1642250632 281918 :sebbu!~sebbu@user/sebbu JOIN #esolangs sebbu :sebbu < 1642253348 355570 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown < 1642257340 454493 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 QUIT :Remote host closed the connection < 1642257692 534178 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 JOIN #esolangs tech_exorcist :he/him - IT, EN < 1642260374 255699 :sknebel!~quassel@v22016013254630973.happysrv.de QUIT :Quit: sknebel < 1642260395 521891 :sknebel!~quassel@v22016013254630973.happysrv.de JOIN #esolangs sknebel :sknebel > 1642261251 265509 PRIVMSG #esolangs :14[[07User talk:PythonshellDebugwindow14]]4 M10 02https://esolangs.org/w/index.php?diff=92116&oldid=92027 5* 03PythonshellDebugwindow 5* (+317) 10/* Circles? */ Reply > 1642261359 948604 PRIVMSG #esolangs :14[[07Return()zero14]]4 M10 02https://esolangs.org/w/index.php?diff=92117&oldid=92110 5* 03PythonshellDebugwindow 5* (-200) 10/* Example programs */ Improve formatting (use pre tags instead of code tags) > 1642261377 942782 PRIVMSG #esolangs :14[[07Return()zero14]]4 M10 02https://esolangs.org/w/index.php?diff=92118&oldid=92117 5* 03PythonshellDebugwindow 5* (+13) 10Lowercase title > 1642262537 613397 PRIVMSG #esolangs :14[[07Talk:Dirac14]]4 N10 02https://esolangs.org/w/index.php?oldid=92119 5* 03TwilightSparkle 5* (+198) 10Created page with "Nice language, especially nice creator! I will insert this to my language-learning queue Xd ~~~~" < 1642262642 196725 :Soni!~quassel@autistic.space PRIVMSG #esolangs :zzo38: you should look at our userdata tho :p < 1642266049 972858 :kit_ten!~u0_a391@cpe-76-190-178-139.neo.res.rr.com QUIT :Read error: Connection reset by peer < 1642266067 890944 :kit_ten!~u0_a391@2603-6010-a141-6fa3-950d-0150-5311-7e6b.res6.spectrum.com JOIN #esolangs * :u0_a391 < 1642266125 991530 :int-e!~noone@int-e.eu PRIVMSG #esolangs :`' nocturnal < 1642266128 593144 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :No output. < 1642266784 738925 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :"Nocturnal (in Daedric script, [something that's not in Unicode]) is the Daedric Prince whose sphere is the night and darkness. She is also known as the Night Mistress[1] and Lady Luck." < 1642267032 191702 :delta23!~delta23@user/delta23 QUIT :Quit: Leaving < 1642268637 591333 :kit-ten!~u0_a391@2600:380:a42e:3294:8615:c04b:deb7:62aa JOIN #esolangs * :u0_a391 < 1642268853 991807 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Ah, `abs` is a well-known math function. That's why it highlights differently from app... < 1642268870 907823 :kit_ten!~u0_a391@2603-6010-a141-6fa3-950d-0150-5311-7e6b.res6.spectrum.com QUIT :Ping timeout: 250 seconds < 1642270111 81233 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :What character set(s) does include Daedric scripts? < 1642270519 91422 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Hmm. It does not seem to be part of the ConScript Unicode Registry, either. I don't know if any does. It has a 1:1 mapping to the English alphabet characters A through Z and 0 through 9, so I think mostly in computer use those are just used with a font that has the corresponding runes in the place of those characters. < 1642270710 654548 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1642271017 438440 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :I suppose style selection can be another way, although assigning a code page number might be helpful. I have a list of 23-bit code page numbers, although it doesn't have that one. < 1642271065 7100 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esolangs :http://zzo38computer.org/textfile/codepage/codepage < 1642272265 82072 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname > 1642272412 620570 PRIVMSG #esolangs :14[[07Return()zero14]]4 10 02https://esolangs.org/w/index.php?diff=92120&oldid=92118 5* 03Dummiedummie 5* (+200) 10Undo revision 92117 by [[Special:Contributions/PythonshellDebugwindow|PythonshellDebugwindow]] ([[User talk:PythonshellDebugwindow|talk]]) (The program lines can tend to be long, and the code blocks are meant to wrap the lines when the screen is too small.) < 1642272667 315787 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1642274291 16898 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :int-e: you have a case whnf ... of Abs l -> in your code. but whnf can never result in in Abs, right? < 1642274388 858610 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :only in a Ctx, Var, or App < 1642274421 273521 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :code seems to run fine without that case... < 1642274497 521097 :kit-ten!~u0_a391@2600:380:a42e:3294:8615:c04b:deb7:62aa QUIT :Ping timeout: 240 seconds < 1642274549 992732 :int-e!~noone@int-e.eu PRIVMSG #esolangs :hmm. right, after fixing all the bugs that case became impossible < 1642274559 774353 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :i'm trying to mix our two approaches,by computing unique normal forms up to some size around 15, and then using pure search over larger terms like your program does (but gen2 on smaller size will iterate over precomputed unique normal forms) < 1642274589 605497 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :that should hopefully speed up the search by a lot < 1642274624 584648 :kit-ten!~u0_a391@2603-6010-a141-6fa3-950d-0150-5311-7e6b.res6.spectrum.com JOIN #esolangs * :u0_a391 < 1642274631 257498 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :the tricky part is comparing two whnfs for equality:) < 1642274665 330327 :int-e!~noone@int-e.eu PRIVMSG #esolangs :tromp: I'll add the colorized alpha thing to the repo if you don't mind (it's actually usable without editing the source code for once) < 1642274700 255432 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :yes, please fo < 1642274730 470699 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :i made some changes to my copy of that Colored.hs (got colored reduction) < 1642274755 213475 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :adding a usage and allowing choice of S1-S5 and K1-K4 on command line < 1642274793 784721 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Yeah I also added the capability to pick those (and arbitrary terms) < 1642274802 184231 :int-e!~noone@int-e.eu PRIVMSG #esolangs :pushed. < 1642274806 141446 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :thx < 1642274856 479013 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(well, not arbitrary... just applications of alpha; this can be improved) < 1642274892 300643 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I found that tracing needed subterms is ridiculously subtle. < 1642274913 713910 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :i just computed the smallest diverging alpha term < 1642274915 292699 :int-e!~noone@int-e.eu PRIVMSG #esolangs :despite working on the complete reduction to normal form < 1642274941 322101 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :of size 7 < 1642274960 670015 :int-e!~noone@int-e.eu PRIVMSG #esolangs :yeah, don't feed that to the HTML thing :P < 1642274982 34154 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :i ordered the 5 Ss by output size:) < 1642275002 309948 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :the one you showed before is not the worst < 1642275050 473592 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Yeah I know < 1642275130 677460 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Hmm, still no salpynx (I guess it's still too early). https://paste.debian.net/1227233/ ...poor person's laziness (\_ -> ...) makes I work in Python. < 1642275563 161900 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(I also got rid of two CSS classes by using and in addition to , so HTML files are a tad smaller) < 1642275665 56934 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Mysteries of HTML: is somehow different from an ordinary span when it comes to children; the x ~ y selector doesn't seem to work inside ... < 1642275801 549873 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Hmm. But I can't reproduce that in a toy example? < 1642275813 131300 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Maybe I messed up something else... always a possibility. < 1642276275 873248 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Ah, no, I wasn't imagining things. https://int-e.eu/~bf3/tmp/a.html reproduces the issue for me. < 1642276336 902915 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Ah, because can't be nested. < 1642276388 96023 :int-e!~noone@int-e.eu PRIVMSG #esolangs :b_jonas: ^^ is too special < 1642276529 837625 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(NEW and SHINY: claim now supported by a technical justification!!!!1) < 1642276573 760636 :int-e!~noone@int-e.eu PRIVMSG #esolangs :b_jonas: it matters because I'm encoding a term structure in spans. I could still use for the leafs though, I guess. < 1642276737 410808 :b_jonas!~x@catv-176-63-3-122.catv.broadband.hu PRIVMSG #esolangs :int-e: ... < 1642276748 54529 :b_jonas!~x@catv-176-63-3-122.catv.broadband.hu PRIVMSG #esolangs :I didn't mean to actually recommend that hack < 1642276789 173046 :b_jonas!~x@catv-176-63-3-122.catv.broadband.hu PRIVMSG #esolangs :also most HTTP clients these days accept compressed data, so you can get your webserver to send compressed images of your HTML file, so the length of your tag and class names should barely matter < 1642276793 965083 :int-e!~noone@int-e.eu PRIVMSG #esolangs :b_jonas: well you did mention it on #esoteric, I mean #esolangs... what did you expect to happen? :-P < 1642276896 233741 :int-e!~noone@int-e.eu PRIVMSG #esolangs :b_jonas: anyway, it's unlikely to find its way into production... if you've clicked on any of my recent links like https://int-e.eu/~bf3/tmp/alpha-w-min.html < 1642276943 125336 :int-e!~noone@int-e.eu PRIVMSG #esolangs :I stayed away from because it's not obvious what that does if expressed as CSS... most likely some ::before and ::after stuff to insert quotes? < 1642276983 905140 :int-e!~noone@int-e.eu PRIVMSG #esolangs :It's also kind of funny how things look without CSS... but perfectly fine for the esoteric context./ > 1642277005 230970 PRIVMSG #esolangs :14[[07Byte-based Instruction Jumping14]]4 10 02https://esolangs.org/w/index.php?diff=92121&oldid=91983 5* 03Peter 5* (+0) 10 < 1642277012 167212 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1642277035 185865 :b_jonas!~x@catv-176-63-3-122.catv.broadband.hu PRIVMSG #esolangs :int-e: if a tag works by just CSS (and I don't know how much they do) then you can find out what CSS it is because there's a sat of example CSS files explaining that somewhere on W3C (not normative as in browsers needn't format H1 exactly the same as specified there, but explanatory); also I think there's a set of such CSS available installed with your modern browser < 1642277099 714358 :b_jonas!~x@catv-176-63-3-122.catv.broadband.hu PRIVMSG #esolangs :int-e: \https://www.w3.org/TR/CSS21/sample.html#q22.0 < 1642277153 319686 :int-e!~noone@int-e.eu PRIVMSG #esolangs :that doesn't have q :-P < 1642277156 46911 :b_jonas!~x@catv-176-63-3-122.catv.broadband.hu PRIVMSG #esolangs :int-e: also it's complicated because what's inserted is language-dependent and I'm not sure how that works < 1642277171 178870 :b_jonas!~x@catv-176-63-3-122.catv.broadband.hu PRIVMSG #esolangs :the quotation marks for Q are language-dependent that is < 1642277213 506886 :int-e!~noone@int-e.eu PRIVMSG #esolangs :while the ones I used, namely b, s, u, are all there. < 1642277244 51155 :riv!river@tilde.team/user/river PRIVMSG #esolangs :https://www.youtube.com/watch?v=A2IAyXc0LuE https://www.youtube.com/watch?v=yrDbD90HXyo < 1642277249 813840 :riv!river@tilde.team/user/river PRIVMSG #esolangs :good < 1642277404 782727 :int-e!~noone@int-e.eu PRIVMSG #esolangs :b_jonas: tbh this (encoding term structure in a bare bones HTML without text context) may be the only acceptable use for this kind of trickery... abusing text markup like this is a bit insane :) < 1642277430 70954 :int-e!~noone@int-e.eu PRIVMSG #esolangs :text context -> text contents < 1642277458 799650 :int-e!~noone@int-e.eu PRIVMSG #esolangs :and then there's the general joy of learning more about technology by abusing it < 1642277712 885810 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User > 1642277764 810312 PRIVMSG #esolangs :14[[07Return()zero14]]4 10 02https://esolangs.org/w/index.php?diff=92122&oldid=92120 5* 03Dummiedummie 5* (+2) 10 > 1642278075 725791 PRIVMSG #esolangs :14[[07Return()zero14]]4 10 02https://esolangs.org/w/index.php?diff=92123&oldid=92122 5* 03Dummiedummie 5* (+142) 10 < 1642278288 447102 :tromp!~textual@dhcp-077-249-230-040.chello.nl PRIVMSG #esolangs :int-e: wow; your html even shows the whole subterm when you hover over the leading `. impressed! > 1642278388 567675 PRIVMSG #esolangs :14[[07Return()zero14]]4 10 02https://esolangs.org/w/index.php?diff=92124&oldid=92123 5* 03Dummiedummie 5* (+0) 10 > 1642278735 867280 PRIVMSG #esolangs :14[[07Return()zero14]]4 10 02https://esolangs.org/w/index.php?diff=92125&oldid=92124 5* 03Dummiedummie 5* (+167) 10 > 1642278778 661230 PRIVMSG #esolangs :14[[07Return()zero14]]4 M10 02https://esolangs.org/w/index.php?diff=92126&oldid=92125 5* 03Dummiedummie 5* (-4) 10 > 1642278795 856946 PRIVMSG #esolangs :14[[07Return()zero14]]4 M10 02https://esolangs.org/w/index.php?diff=92127&oldid=92126 5* 03Dummiedummie 5* (-2) 10 > 1642278899 566250 PRIVMSG #esolangs :14[[07Return()zero14]]4 10 02https://esolangs.org/w/index.php?diff=92128&oldid=92127 5* 03Dummiedummie 5* (+21) 10 < 1642279485 622454 :int-e!~noone@int-e.eu PRIVMSG #esolangs :. o O ( AAP = Acceptable Abuse Policy ) < 1642280296 971184 :int-e!~noone@int-e.eu PRIVMSG #esolangs :tromp: picking out subterms is *hard* (also true for matching parentheses, though I've got a bit more practice with that) < 1642280410 602136 :int-e!~noone@int-e.eu PRIVMSG #esolangs :this way, I can actually pick out redexes and follow reduction steps for the smaller combinators. < 1642281271 699731 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1642281738 73452 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1642282416 399059 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1642283102 802104 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1642284003 9752 :riv!river@tilde.team/user/river PRIVMSG #esolangs :in minecraft the fluids are measured in K mB (Kilo millibuckets) < 1642284172 727842 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1642287148 274509 :Kit!~NotApplic@2603-6010-a141-6fa3-0000-db65-a0b3-920d.res6.spectrum.com QUIT :Quit: Leaving < 1642287637 50474 :__monty__!~toonn@user/toonn QUIT :Quit: leaving < 1642287763 579187 :Kit!~NotApplic@2603-6010-a141-6fa3-0000-db65-a0b3-920d.res6.spectrum.com JOIN #esolangs * :realname < 1642288444 689958 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1642288613 179079 :tech_exorcist!txrcst@user/tech-exorcist/x-0447479 QUIT :Quit: Disconnecting < 1642289131 844106 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1642289671 191893 :tromp!~textual@dhcp-077-249-230-040.chello.nl JOIN #esolangs * :Textual User < 1642290319 287156 :tromp!~textual@dhcp-077-249-230-040.chello.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz…