1595321812 656428 PRIVMSG #esoteric :14[[07User talk:Osmarks14]]4 10 02https://esolangs.org/w/index.php?diff=76079&oldid=76078 5* 03Osmarks 5* (+3525) 10
< 1595321883 821557 :int-e!~noone@int-e.eu PRIVMSG #esoteric :[7] is golden
< 1595321947 475392 :rain1!~rain1@unaffiliated/rain1 PRIVMSG #esoteric :lol
< 1595322184 393690 :int-e!~noone@int-e.eu PRIVMSG #esoteric :https://dblp.uni-trier.de/pers/hd/t/Tomaszewski:Zach is the same person
< 1595322193 403777 :int-e!~noone@int-e.eu PRIVMSG #esoteric :not exactly the formal languages expert :P
< 1595322571 918628 :aaaaaa!~ArthurStr@nat-pool-13-124.soborka.net QUIT :Quit: leaving
> 1595322613 623511 PRIVMSG #esoteric :14[[07User talk:Osmarks14]]4 10 02https://esolangs.org/w/index.php?diff=76080&oldid=76079 5* 03Osmarks 5* (+3618) 10
> 1595322651 48078 PRIVMSG #esoteric :14[[0725614]]4 10 02https://esolangs.org/w/index.php?diff=76081&oldid=76070 5* 03Duckologist 5* (+288) 10Better example and information for 5 and 2 command, and added how variables can be printed (also fixed typos)
> 1595322652 334966 PRIVMSG #esoteric :14[[07User talk:Osmarks14]]4 10 02https://esolangs.org/w/index.php?diff=76082&oldid=76080 5* 03Osmarks 5* (+3617) 10
> 1595322748 322774 PRIVMSG #esoteric :14[[07User talk:Osmarks14]]4 10 02https://esolangs.org/w/index.php?diff=76083&oldid=76082 5* 03Osmarks 5* (+3617) 10
> 1595322809 869954 PRIVMSG #esoteric :14[[07User talk:Osmarks14]]4 10 02https://esolangs.org/w/index.php?diff=76084&oldid=76083 5* 03Osmarks 5* (+3617) 10
> 1595322853 619654 PRIVMSG #esoteric :14[[07User talk:Osmarks14]]4 10 02https://esolangs.org/w/index.php?diff=76085&oldid=76084 5* 03Osmarks 5* (+3617) 10
> 1595322925 588124 PRIVMSG #esoteric :14[[07User talk:Osmarks14]]4 10 02https://esolangs.org/w/index.php?diff=76086&oldid=76085 5* 03Osmarks 5* (+3617) 10
> 1595322962 832069 PRIVMSG #esoteric :14[[07User talk:Osmarks14]]4 10 02https://esolangs.org/w/index.php?diff=76087&oldid=76086 5* 03Osmarks 5* (+3617) 10
> 1595323156 915558 PRIVMSG #esoteric :14[[07User talk:Osmarks14]]4 10 02https://esolangs.org/w/index.php?diff=76088&oldid=76087 5* 03Osmarks 5* (+4208) 10
> 1595323378 357629 PRIVMSG #esoteric :14[[07User talk:Osmarks14]]4 10 02https://esolangs.org/w/index.php?diff=76089&oldid=76088 5* 03Osmarks 5* (+3836) 10
> 1595323520 118407 PRIVMSG #esoteric :14[[07User talk:Osmarks14]]4 10 02https://esolangs.org/w/index.php?diff=76090&oldid=76089 5* 03Osmarks 5* (+3866) 10
> 1595323646 552736 PRIVMSG #esoteric :14[[07Esolangs14]]4 M10 02https://esolangs.org/w/index.php?diff=76091&oldid=75834 5* 03RocketRace 5* (+38) 10Clear up syntax
> 1595323743 644776 PRIVMSG #esoteric :14[[07User talk:Osmarks14]]4 10 02https://esolangs.org/w/index.php?diff=76092&oldid=76090 5* 03Osmarks 5* (+4845) 10
> 1595323746 717454 PRIVMSG #esoteric :14[[07Esolangs14]]4 M10 02https://esolangs.org/w/index.php?diff=76093&oldid=76091 5* 03RocketRace 5* (+43) 10/* Syntax */
< 1595323860 750749 :int-e!~noone@int-e.eu PRIVMSG #esoteric :WTF?!
< 1595323959 213630 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Wow, what a user talk page.
< 1595323960 157734 :int-e!~noone@int-e.eu PRIVMSG #esoteric :...those user talk page edits...
< 1595324007 861973 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :wait, you can insert html there?
< 1595324108 909793 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I don't think it's arbitrary CSS.
< 1595324115 703653 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Uh
< 1595324146 924758 :int-e!~noone@int-e.eu PRIVMSG #esoteric :HTML. Mind wandering: allowing custom CSS is why this is allowed for
elements, I think.
< 1595324479 231077 :Arcorann!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net PRIVMSG #esoteric :Surely that's breaking some sort of rule about talk pages
< 1595324484 179176 :int-e!~noone@int-e.eu PRIVMSG #esoteric :myname: So basically I think this is working as designed... but CSS is crazy.
< 1595324501 782892 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :css IS crazy
< 1595324516 58765 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :css3 and html5 together are tc iirc
< 1595324548 667158 :int-e!~noone@int-e.eu PRIVMSG #esoteric :"HTML5" is a huge bag of crap.
< 1595324554 896859 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :how so?
< 1595324593 73040 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :what i basically know about html5 is video/audio and also elements like dialog that look weirdly foreign to me
< 1595324619 500426 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Because it's not referring just to a plain markup language; it includes DOM and a lot of other Javascript crap.
< 1595324643 927619 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Or that's how I understand it.
< 1595324657 508987 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :i recently re-learned about the navigator object
< 1595324670 184977 :int-e!~noone@int-e.eu PRIVMSG #esoteric :https://en.wikipedia.org/wiki/HTML5#New_APIs
< 1595324679 528373 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :the whole object is basically hardcoded legacy api
< 1595324711 273338 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :(and of course i stumbled over it while looking at code i kinda have to work with)
< 1595324750 169132 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :web storage is awesome!
< 1595324819 61237 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :what annoys me the most are all those websites that ask for permission to send notification for no reason
< 1595324960 43040 :int-e!~noone@int-e.eu PRIVMSG #esoteric :you know that the primary use of those technologies will be better tracking
< 1595324973 95054 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :A lot of them do the notification thing on the initial page load, before you've even seen any of the content, that's the stupidest part.
< 1595324983 931567 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :well, maybe, but i wouldn't want to go back to the web of the 90s
< 1595325038 47772 :int-e!~noone@int-e.eu PRIVMSG #esoteric :What was that odd notification service where the browser calls home to ask for new messages and the website gets an (identifiable) external link to send those messages to?
< 1595325043 402390 :int-e!~noone@int-e.eu PRIVMSG #esoteric :It's all pretty terrible.
< 1595325105 567681 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Somebody should make a proper glossary for such terms. "richer browsing experience" = targeted ads.
< 1595325144 147358 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(from https://en.wikipedia.org/wiki/Microdata_(HTML) )
< 1595325166 840499 :int-e!~noone@int-e.eu PRIVMSG #esoteric :"more relevant results" = targeted ads
< 1595325213 581792 :int-e!~noone@int-e.eu PRIVMSG #esoteric :It's really too bad that Google (with Chrome as a driver) is so powerful in the W3C.
> 1595325245 705835 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=76094&oldid=76057 5* 03Heavpoot 5* (+1372) 10
< 1595325312 73759 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :it's difficult
< 1595325322 234223 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :there is really good stuff
< 1595325346 106459 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :i even am kinda okay with that whole "oh no, our adblockers will not work anymore" api change
< 1595325699 428475 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I suppose they can do whatever they want with their browser. I'd feel better about it if nobody used it though :P
< 1595325781 325417 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :i still can't my wrap around how they manage to destroy their mobile browser
> 1595325820 361452 PRIVMSG #esoteric :14[[07User:Heavpoot14]]4 10 02https://esolangs.org/w/index.php?diff=76095&oldid=75345 5* 03Heavpoot 5* (+1686) 10
< 1595325948 541480 :user24!~user24@2a02:810a:1440:7304:ccd2:804e:afc2:4ef JOIN :#esoteric
> 1595325952 240737 PRIVMSG #esoteric :14[[07User:Osmarks14]]4 10 02https://esolangs.org/w/index.php?diff=76096&oldid=76077 5* 03Osmarks 5* (+132) 10
> 1595325976 339044 PRIVMSG #esoteric :14[[07User:Heavpoot14]]4 10 02https://esolangs.org/w/index.php?diff=76097&oldid=76095 5* 03Heavpoot 5* (+12254) 10
> 1595325986 154094 PRIVMSG #esoteric :14[[07User:Osmarks14]]4 10 02https://esolangs.org/w/index.php?diff=76098&oldid=76096 5* 03Osmarks 5* (-1) 10
< 1595326012 403018 :int-e!~noone@int-e.eu PRIVMSG #esoteric :btw, while I'm being paranoid: who's behind gravatar and what are they doing with all their tracking data?
< 1595326039 964143 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Also, am I to assume that Heavpoot and Osmarks are the same person?
> 1595326267 994564 PRIVMSG #esoteric :14[[07User:Heavpoot14]]4 10 02https://esolangs.org/w/index.php?diff=76099&oldid=76097 5* 03Heavpoot 5* (+36205) 10
> 1595326777 550630 PRIVMSG #esoteric :14[[07User:Osmarks14]]4 10 02https://esolangs.org/w/index.php?diff=76100&oldid=76098 5* 03Osmarks 5* (+267) 10
> 1595326974 270431 PRIVMSG #esoteric :14[[07User:Heavpoot14]]4 10 02https://esolangs.org/w/index.php?diff=76101&oldid=76099 5* 03Heavpoot 5* (-49539) 10Replaced content with "[[User:Heavpoot]] is a humanoid entity which exists, and is corporeal, much like most members of this community. ==Languages made== * Various undocumented esolangs which w..."
> 1595327270 993567 PRIVMSG #esoteric :14[[07User:Osmarks/114]]4 N10 02https://esolangs.org/w/index.php?oldid=76102 5* 03Osmarks 5* (+4) 10Created page with "TODO"
> 1595327282 781577 PRIVMSG #esoteric :14[[07User:Osmarks14]]4 10 02https://esolangs.org/w/index.php?diff=76103&oldid=76100 5* 03Osmarks 5* (+72) 10
> 1595327318 503789 PRIVMSG #esoteric :14[[07User:Osmarks/114]]4 10 02https://esolangs.org/w/index.php?diff=76104&oldid=76102 5* 03Osmarks 5* (+102) 10
> 1595327360 669105 PRIVMSG #esoteric :14[[07User:Heavpoot14]]4 10 02https://esolangs.org/w/index.php?diff=76105&oldid=76101 5* 03Heavpoot 5* (+536) 10
> 1595327474 183625 PRIVMSG #esoteric :14[[07User:Osmarks14]]4 M10 02https://esolangs.org/w/index.php?diff=76106&oldid=76103 5* 03Osmarks 5* (+124) 10
> 1595327658 148051 PRIVMSG #esoteric :14[[07User:Heavpoot14]]4 10 02https://esolangs.org/w/index.php?diff=76107&oldid=76105 5* 03Heavpoot 5* (+134) 10
> 1595327860 486972 PRIVMSG #esoteric :14[[07Main Page14]]4 M10 02https://esolangs.org/w/index.php?diff=76108&oldid=76028 5* 03Heavpoot 5* (-63) 10fixed typos
< 1595327895 337269 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :i still don't get why google made duet mode useless
> 1595328035 762277 PRIVMSG #esoteric :14[[07Main Page14]]4 10 02https://esolangs.org/w/index.php?diff=76109&oldid=76108 5* 03Int-e 5* (+63) 10Undo revision 76108 by [[Special:Contributions/Heavpoot|Heavpoot]] ([[User talk:Heavpoot|talk]]) -- revert vandalism
< 1595328056 645079 :int-e!~noone@int-e.eu PRIVMSG #esoteric :ACTION sighs dramatically.
> 1595328601 103724 PRIVMSG #esoteric :14[[07Esolangs14]]4 10 02https://esolangs.org/w/index.php?diff=76110&oldid=76093 5* 03RocketRace 5* (+300) 10Add IO pipes
> 1595328809 366528 PRIVMSG #esoteric :14[[07Esolangs14]]4 10 02https://esolangs.org/w/index.php?diff=76111&oldid=76110 5* 03RocketRace 5* (-23) 10/* I/O */
< 1595328886 98251 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net JOIN :#esoteric
> 1595328910 205180 PRIVMSG #esoteric :14[[07Esolangs14]]4 10 02https://esolangs.org/w/index.php?diff=76112&oldid=76111 5* 03RocketRace 5* (+18) 10/* I/O */
> 1595328994 635130 PRIVMSG #esoteric :14[[07Esolangs14]]4 10 02https://esolangs.org/w/index.php?diff=76113&oldid=76112 5* 03RocketRace 5* (+4) 10/* I/O */
< 1595329011 251002 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
> 1595329062 882530 PRIVMSG #esoteric :14[[07Esolangs14]]4 M10 02https://esolangs.org/w/index.php?diff=76114&oldid=76113 5* 03RocketRace 5* (+0) 10/* Examples */
< 1595329105 915892 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 264 seconds
< 1595329106 271004 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life
> 1595329125 248627 PRIVMSG #esoteric :14[[07Esolangs14]]4 10 02https://esolangs.org/w/index.php?diff=76115&oldid=76114 5* 03RocketRace 5* (+20) 10/* Examples */
< 1595330300 996400 :arseniiv!~arseniiv@94.41.4.55.dynamic.ufanet.ru JOIN :#esoteric
< 1595330323 558062 :arseniiv!~arseniiv@94.41.4.55.dynamic.ufanet.ru PRIVMSG #esoteric :@messages-quiet
< 1595330323 558113 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Unknown command, try @list
< 1595330329 703398 :arseniiv!~arseniiv@94.41.4.55.dynamic.ufanet.ru PRIVMSG #esoteric :@messages
< 1595330329 703468 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :You don't have any messages
> 1595330340 176938 PRIVMSG #esoteric :14[[07MAWP14]]4 10 02https://esolangs.org/w/index.php?diff=76116&oldid=74420 5* 03Dion 5* (+61) 10
< 1595330349 98151 :arseniiv!~arseniiv@94.41.4.55.dynamic.ufanet.ru PRIVMSG #esoteric :@botsnack
< 1595330349 202037 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric ::)
< 1595330443 964945 :salpynx!794954f8@121.73.84.248 JOIN :#esoteric
< 1595330636 97106 :salpynx!794954f8@121.73.84.248 QUIT :Remote host closed the connection
< 1595330641 895195 :arseniiv!~arseniiv@94.41.4.55.dynamic.ufanet.ru PRIVMSG #esoteric :@let { data CoNat = Z | S CoNat | Inf; prec' Z = Nothing; prec' (S n) = Just n; prec' Inf = Just Inf; succ' Nothing = Z; succ' (Just Inf) = Inf; succ' (Just n) = S n; } -- explicit encoding of conaturals is useful sometimes, and in this formulation prec' and succ' are mutual inverses, though this succ' may be less useful than its summands
< 1595330643 246755 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : .L.hs:189:14: error:
< 1595330643 246799 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Multiple declarations of ‘S’
< 1595330643 246808 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Declared at: .L.hs:164:12
< 1595330669 274410 :arseniiv!~arseniiv@94.41.4.55.dynamic.ufanet.ru PRIVMSG #esoteric :> :t S
< 1595330671 464839 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:1: error: parse error on input ‘:’
< 1595330678 727405 :arseniiv!~arseniiv@94.41.4.55.dynamic.ufanet.ru PRIVMSG #esoteric :@type S
< 1595330679 888537 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Ski
< 1595330684 837601 :arseniiv!~arseniiv@94.41.4.55.dynamic.ufanet.ru PRIVMSG #esoteric :ahaha
< 1595330691 370062 :arseniiv!~arseniiv@94.41.4.55.dynamic.ufanet.ru PRIVMSG #esoteric :@info Ski
< 1595330691 370109 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Ski
< 1595330691 793077 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :that's fair!
< 1595330700 486685 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :what are conaturals?
< 1595330720 653470 :arseniiv!~arseniiv@94.41.4.55.dynamic.ufanet.ru PRIVMSG #esoteric :this is when you treat `data Nat = Z | S Nat` as a codata
< 1595330734 168821 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :what
< 1595330744 577273 :arseniiv!~arseniiv@94.41.4.55.dynamic.ufanet.ru PRIVMSG #esoteric :they are, primarily, a coalgebra, but they admit successor anyway
< 1595330773 905230 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :i don't get how that's different from naturals, maybe besides inf
< 1595330779 936395 :arseniiv!~arseniiv@94.41.4.55.dynamic.ufanet.ru PRIVMSG #esoteric :I’m bad at expaining this, yeah
< 1595330841 248005 :arseniiv!~arseniiv@94.41.4.55.dynamic.ufanet.ru PRIVMSG #esoteric :Inf and its properties are a natural (oh, pun) consequence of this codata-coalgebra vs. algebra thing
< 1595330864 819156 :arseniiv!~arseniiv@94.41.4.55.dynamic.ufanet.ru PRIVMSG #esoteric :ah, they aren’t just a coalgebra, they are a final coalgebra, like Nat is an initial algebra
< 1595330870 776646 :arseniiv!~arseniiv@94.41.4.55.dynamic.ufanet.ru PRIVMSG #esoteric :for the same functor
< 1595330878 841965 :arseniiv!~arseniiv@94.41.4.55.dynamic.ufanet.ru PRIVMSG #esoteric :yes, that should make this a bit clearer
< 1595330883 382841 :arseniiv!~arseniiv@94.41.4.55.dynamic.ufanet.ru PRIVMSG #esoteric :and the functor is Maybe
< 1595330908 384737 :arseniiv!~arseniiv@94.41.4.55.dynamic.ufanet.ru PRIVMSG #esoteric :(that is, in mathematical terms, X ↦ 1 + X)
> 1595330967 958871 PRIVMSG #esoteric :14[[07Rui14]]4 10 02https://esolangs.org/w/index.php?diff=76117&oldid=76056 5* 03DanielCristofani 5* (+108) 10/* Examples */
> 1595330974 132271 PRIVMSG #esoteric :14[[07DDuuaall14]]4 10 02https://esolangs.org/w/index.php?diff=76118&oldid=75958 5* 03D 5* (+34) 10
> 1595331130 586063 PRIVMSG #esoteric :14[[07User:Osmarks/114]]4 M10 02https://esolangs.org/w/index.php?diff=76119&oldid=76104 5* 03Osmarks 5* (+1362) 10
< 1595331141 513404 :arseniiv!~arseniiv@94.41.4.55.dynamic.ufanet.ru PRIVMSG #esoteric :an initial algebra means there is an unique morphism from it to any other algebra on the same functor, and now I tried to write its signature and mixed up something
< 1595331331 602423 :arseniiv!~arseniiv@94.41.4.55.dynamic.ufanet.ru PRIVMSG #esoteric :that should be { foldNat :: Nat → (Maybe a → a) → a; foldNat Z f = f Nothing; foldNat (S n) f = f (Just $ foldNat n f) } if I’m not mistaken
> 1595331378 412523 PRIVMSG #esoteric :14[[07DDuuaall14]]4 10 02https://esolangs.org/w/index.php?diff=76120&oldid=76118 5* 03D 5* (+1) 10/* Instruction list */
< 1595331400 140052 :arseniiv!~arseniiv@94.41.4.55.dynamic.ufanet.ru PRIVMSG #esoteric :and succ' :: Maybe Nat → Nat is a Nat algebra itself
> 1595331680 66903 PRIVMSG #esoteric :14[[07DDuuaall14]]4 10 02https://esolangs.org/w/index.php?diff=76121&oldid=76120 5* 03D 5* (+52) 10/* Primalty Tester */
< 1595331714 392681 :arseniiv!~arseniiv@94.41.4.55.dynamic.ufanet.ru PRIVMSG #esoteric :now, CoNat is a final coalgebra which means there is a unique morphism to it from any Maybe-coalgebra, which means
< 1595331714 536614 :arseniiv!~arseniiv@94.41.4.55.dynamic.ufanet.ru PRIVMSG #esoteric :{ unfoldCoNat :: a → (a → Maybe a) → CoNat; unfoldCoNat x f = case f x of { Nothing → Z; Just y → S $ unfoldCoNat y f } }
< 1595331714 536660 :arseniiv!~arseniiv@94.41.4.55.dynamic.ufanet.ru PRIVMSG #esoteric :but this definition doesn’t work properly with an explicit encoding, as it should somehow detect infinite recursion and return Inf in that case. If we take plain Nat and treat it as codata, that would work fine, because Inf is encoded as `inf = S inf` there
< 1595331820 745596 :arseniiv!~arseniiv@94.41.4.55.dynamic.ufanet.ru PRIVMSG #esoteric :but we also of course have that Nat is a coalgebra (there is precNat :: Nat → Maybe Nat) and CoNat is an algebra (succ' above), just not the final/initial ones
< 1595331903 777104 :arseniiv!~arseniiv@94.41.4.55.dynamic.ufanet.ru PRIVMSG #esoteric :I used an explicit encoding of CoNat in a non-haskell implemetation of “run the machine an amount of steps, or to the end, and tell if it was aborted or halted naturally”
< 1595331991 541506 :arseniiv!~arseniiv@94.41.4.55.dynamic.ufanet.ru PRIVMSG #esoteric :in a lazy language of course an implicit “Nat is codata” encoding suffices just right before one wants to know if they specified an infinite amount of steps or not, in finite time
< 1595332090 494445 :arseniiv!~arseniiv@94.41.4.55.dynamic.ufanet.ru PRIVMSG #esoteric :“run the machine an amount of steps, or to the end, and tell if it was aborted or halted naturally” → and the latter just uses prec' to decide if there are any available steps to continue. CoNat values themselves are black boxes
> 1595333062 320475 PRIVMSG #esoteric :14[[07User:Osmarks/114]]4 M10 02https://esolangs.org/w/index.php?diff=76122&oldid=76119 5* 03Osmarks 5* (+51) 10
< 1595336911 758107 :kspalaiologos!~kspalaiol@176.221.122.212 JOIN :#esoteric
< 1595337456 816124 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1595340703 38464 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric
< 1595342809 674102 :user24!~user24@2a02:810a:1440:7304:ccd2:804e:afc2:4ef QUIT :Quit: Leaving
> 1595343482 562055 PRIVMSG #esoteric :14[[0725614]]4 10 02https://esolangs.org/w/index.php?diff=76123&oldid=76081 5* 03Duckologist 5* (+265) 10Add interpreters section and another example
< 1595344057 134674 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric
< 1595344059 33097 :hendursaga!~weechat@gateway/tor-sasl/hendursaga QUIT :Remote host closed the connection
< 1595344113 620413 :hendursaga!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric
< 1595344360 735394 :hendursa1!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric
< 1595344503 784524 :hendursaga!~weechat@gateway/tor-sasl/hendursaga QUIT :Ping timeout: 240 seconds
< 1595345604 982815 :Arcorann!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net QUIT :Read error: Connection reset by peer
< 1595348774 409799 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu
< 1595349027 683441 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric
> 1595349029 827849 PRIVMSG #esoteric :14[[07Transortogonal Polymorphism14]]4 M10 02https://esolangs.org/w/index.php?diff=76124&oldid=76035 5* 03Hakerh400 5* (+0) 10/* Object */ fix typo
< 1595349152 17404 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric
< 1595349173 368410 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Quit: Leaving
< 1595349427 24895 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric
< 1595351694 274706 :b_jonas!~x@catv-176-63-12-46.catv.broadband.hu JOIN :#esoteric
< 1595351755 911457 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :I dreamt that Knuth wrote a Pokemon fan story. At one point, someone had to switch a robot from big-endian to small-endian.
< 1595351837 443771 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Also, at one point, someone was trying to catch a pokemon, but a second guy had tricked him and was actually following him (using some sort of quantum link) and caught the pokemon instead. But when the second guy tried to open the ball, the pokemon always disliked the second guy and went with the first guy, but refused to enter the first guy's ball and always went in the second guy's ball.
< 1595352308 31996 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :(I would think that such a thing would be inconvenient for everyone involved.)
> 1595352669 614819 PRIVMSG #esoteric :14[[07MAWP14]]4 10 02https://esolangs.org/w/index.php?diff=76125&oldid=76116 5* 03Dion 5* (+21) 10
< 1595353453 560321 :arseniiv!~arseniiv@94.41.4.55.dynamic.ufanet.ru PRIVMSG #esoteric :zzo38: very strange things
< 1595353727 363414 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 JOIN :#esoteric
< 1595354550 846559 :hendursa1!~weechat@gateway/tor-sasl/hendursaga QUIT :Quit: hendursa1
< 1595354572 919059 :hendursaga!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric
< 1595354716 151086 :heroux!sandroco@gateway/shell/insomnia247/x-bebelkwvifzjgufa QUIT :Ping timeout: 256 seconds
< 1595355403 863315 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar QUIT :Ping timeout: 240 seconds
< 1595355423 843395 :xelxebar!~xelxebar@gateway/tor-sasl/xelxebar JOIN :#esoteric
< 1595355659 174674 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu
< 1595355996 963766 :heroux!sandroco@gateway/shell/insomnia247/x-vkixteckoyzuqnkx JOIN :#esoteric
< 1595357246 957153 :arseniiv!~arseniiv@94.41.4.55.dynamic.ufanet.ru QUIT :Ping timeout: 256 seconds
< 1595357827 653111 :ATMunn!ATMunn@2a01:20e:1000:119::2 QUIT :Quit: lol rip
< 1595357830 386650 :iovoid!iovoid@hellomouse/dev/iovoid QUIT :Quit: iovoid has quit!
< 1595357976 230911 :ATMunn!ATMunn@gateway/shell/hellomouse/x-ibwhbzcuhjjiwgva JOIN :#esoteric
< 1595357990 441395 :iovoid!iovoid@hellomouse/dev/iovoid JOIN :#esoteric
< 1595358056 465821 :iovoid!iovoid@hellomouse/dev/iovoid QUIT :Max SendQ exceeded
< 1595358119 407922 :iovoid!iovoid@hellomouse/dev/iovoid JOIN :#esoteric
< 1595358182 495807 :iovoid!iovoid@hellomouse/dev/iovoid QUIT :Max SendQ exceeded
< 1595358414 530150 :iovoid!iovoid@hellomouse/dev/iovoid JOIN :#esoteric
< 1595359216 589951 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric
< 1595359955 591933 :kspalaiologos!~kspalaiol@176.221.122.212 QUIT :Quit: Leaving
< 1595361141 420674 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 QUIT :Ping timeout: 272 seconds
< 1595362169 435998 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 JOIN :#esoteric
< 1595363776 478135 :TheLie!~TheLie@2a02:8106:215:3300:844d:dece:9bd4:fbb2 QUIT :Remote host closed the connection
> 1595363854 337913 PRIVMSG #esoteric :14[[07KeyVM14]]4 10 02https://esolangs.org/w/index.php?diff=76126&oldid=70822 5* 03Void 5* (+447) 10/* Distinguishing features */
< 1595363958 106082 :craigo!~craigo@144.136.206.168 QUIT :Ping timeout: 256 seconds
> 1595364201 364015 PRIVMSG #esoteric :14[[07KeyVM14]]4 M10 02https://esolangs.org/w/index.php?diff=76127&oldid=76126 5* 03Void 5* (-1) 10/* Computational class */
> 1595365258 277897 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Eiim 5* 10New user account
> 1595365391 355192 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=76128&oldid=76094 5* 03Eiim 5* (+217) 10Introduced self
< 1595366430 140628 :ski!~ski@remote11.chalmers.se PRIVMSG #esoteric :the generic convergent sequence is not discrete
< 1595367876 557109 :MDude!~MDude@74.5.140.76 QUIT :Quit: Going offline, see ya! (www.adiirc.com)
< 1595368017 640325 :t20kdc!~20kdc@cpc139340-aztw33-2-0-cust225.18-1.cable.virginm.net QUIT :Remote host closed the connection
< 1595368775 43540 :LKoen!~LKoen@81.255.219.130 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.”
< 1595369338 787000 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Quit: adu
< 1595369452 978043 :salpynx!794954f8@121.73.84.248 JOIN :#esoteric
< 1595369579 3693 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca QUIT :Ping timeout: 246 seconds
< 1595369654 924374 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca JOIN :#esoteric
< 1595371755 741333 :joast!~rick@cpe-98-146-112-4.natnow.res.rr.com QUIT :Quit: Leaving.
< 1595372272 937254 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1595372385 218329 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 240 seconds
< 1595372440 762870 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life
< 1595372704 797767 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net JOIN :#esoteric
< 1595372726 992501 :adu!~arobbins@c-76-111-99-194.hsd1.md.comcast.net QUIT :Client Quit
< 1595372749 970985 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 246 seconds
< 1595372889 565915 :joast!~rick@cpe-98-146-112-4.natnow.res.rr.com JOIN :#esoteric
< 1595373414 319595 :Arcorann!~awych@121-200-5-186.79c805.syd.nbn.aussiebb.net JOIN :#esoteric
< 1595374099 699452 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca QUIT :Quit: zzo38