#include  #include  #include   // Define the instruction #define F(a,b) p += a; A[p] ^= true; if (A[p]) {goto b;}  int main() {     std::array A;     A.fill(false);     uint16_t p
< 1745593288 261676 :wib_jonas!~wib_jonas@business-37-191-60-209.business.broadband.hu QUIT :Quit: Client closed
> 1745595019 864770 PRIVMSG #esolangs :14[[07User:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF14]]4 10 02https://esolangs.org/w/index.php?diff=156610&oldid=156608 5* 03PrySigneToFry 5* (+18) 10
> 1745595249 839954 PRIVMSG #esolangs :14[[07Mlatu-614]]4 10 02https://esolangs.org/w/index.php?diff=156611&oldid=156605 5* 03Zhil 5* (+702) 10Added section on evaluation
< 1745596842 951414 :tromp!~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f JOIN #esolangs * :Textual User
> 1745598056 798582 PRIVMSG #esolangs :14[[07Mlatu-614]]4 10 02https://esolangs.org/w/index.php?diff=156612&oldid=156611 5* 03Pro465 5* (-1) 10/* Kerby Combinators */ reduce s' parenful impl by 1 character
> 1745598556 296606 PRIVMSG #esolangs :14[[07Mlatu-614]]4 M10 02https://esolangs.org/w/index.php?diff=156613&oldid=156612 5* 03Zhil 5* (+2) 10
< 1745599957 209503 :tromp!~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1745600264 113759 :tromp!~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f JOIN #esolangs * :Textual User
< 1745601552 139478 :Sgeo_!~Sgeo@user/sgeo PRIVMSG #esolangs :Is there a name for the thing where 2x = x + x?
< 1745601584 973290 :Sgeo_!~Sgeo@user/sgeo PRIVMSG #esolangs :Because I think projectively extended real numbers violates it. 2*infinity = infinity but infinity + infinity is undefined.
< 1745601620 417607 :Sgeo_!~Sgeo@user/sgeo PRIVMSG #esolangs :I feel like it's the same with how in real numbers, you need to annotate that stuff doesn't equal 0 when you do certain operations.
< 1745601670 363403 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :Sgeo_: so the normal way to prove 2x = x + x is as 2x = (1 + 1)x = 1x + 1x = x + x
< 1745601689 175494 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :so assuming you're happy to define 2 as 1+1, the violated rule is distributivity of multiplication over addition
< 1745601826 678070 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(I guess that's not so surprising – most of the ring rules don't relate addition to multiplication, so if you want to prove an addition equals a multiplication, you have to use the one that does)
< 1745601937 947959 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca QUIT :Ping timeout: 248 seconds
< 1745602074 403263 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca JOIN #esolangs zzo38 :zzo38
> 1745604195 2254 PRIVMSG #esolangs :14[[07Queuenanimous14]]4 10 02https://esolangs.org/w/index.php?diff=156614&oldid=156552 5* 03Gapples2 5* (+849) 10computational class TC
< 1745607543 176115 :impomatic!~impomatic@2a00:23c7:5fc9:5401:ec68:4c33:1dc7:d036 QUIT :Quit: Client closed
< 1745607665 242737 :impomatic!~impomatic@2a00:23c7:5fc9:5401:ec68:4c33:1dc7:d036 JOIN #esolangs * :[https://web.libera.chat] impomatic
> 1745611026 168335 PRIVMSG #esolangs :14[[07User:Gilbert189/Babalang+14]]4 10 02https://esolangs.org/w/index.php?diff=156615&oldid=135854 5* 03Gilbert189 5* (+2017) 10
> 1745611825 390627 PRIVMSG #esolangs :14[[07Concatenative calculus14]]4 N10 02https://esolangs.org/w/index.php?oldid=156616 5* 03Stkptr 5* (+8689) 10Preliminary
> 1745611968 678017 PRIVMSG #esolangs :14[[07Mlatu-614]]4 10 02https://esolangs.org/w/index.php?diff=156617&oldid=156613 5* 03Zhil 5* (+78) 10Changes to semantics
< 1745613334 598341 :citrons!~citrons@alt.mondecitronne.com QUIT :Ping timeout: 244 seconds
< 1745613696 186819 :citrons!~citrons@alt.mondecitronne.com JOIN #esolangs citrons :citrons
< 1745613750 366571 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :IEEE arithmetic has this weird quirk where the unit for addition is -0 but the absorbing element for multiplication is +0. I still don't really understand why they defined the arithmetic this way, I hope there's some advantage that overweighs that weirdness.
< 1745613760 508299 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :s/IEEE/IEEE floating point/
< 1745613791 925185 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :(this applies to the round to nearest rounding mode)
< 1745613954 889249 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :ok no, that's not really right the way I told it
< 1745614001 541961 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :neither +0 nor -0 are really absorbing elements for multiplication, because (-1)*(+0)=-0 but (+1)*(-0)=+0,
< 1745614092 952984 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :-0 is the unit for addition because (-0)+x=x=x+(-0); but x-x=+0 for finite x, but the latter is less important because it breaks for infinite x anyway
> 1745614451 783882 PRIVMSG #esolangs :14[[07Concatenative calculus14]]4 10 02https://esolangs.org/w/index.php?diff=156618&oldid=156616 5* 03Stkptr 5* (+8) 10/* Evaluation */ reduce((-)||+)  reduce((-))||reduce(+)
> 1745615380 40408 PRIVMSG #esolangs :14[[07Concatenative calculus14]]4 10 02https://esolangs.org/w/index.php?diff=156619&oldid=156618 5* 03Stkptr 5* (+93) 10/* Combinators */
> 1745615717 807450 PRIVMSG #esolangs :14[[07Concatenative calculus14]]4 10 02https://esolangs.org/w/index.php?diff=156620&oldid=156619 5* 03Stkptr 5* (+15) 10
> 1745615811 89818 PRIVMSG #esolangs :14[[07Concatenative calculus14]]4 M10 02https://esolangs.org/w/index.php?diff=156621&oldid=156620 5* 03Corbin 5* (+12) 10/* See also */
> 1745616454 153406 PRIVMSG #esolangs :14[[07Nondeterministic14]]4 10 02https://esolangs.org/w/index.php?diff=156622&oldid=156476 5* 03Stkptr 5* (+311) 10
< 1745617413 993866 :tromp!~textual@2001:1c00:3487:1b00:c44:d27d:c88:929f QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1745618254 775390 :ais523!~ais523@user/ais523 QUIT :Ping timeout: 276 seconds
> 1745619159 481007 PRIVMSG #esolangs :14[[07Brit14]]4 10 02https://esolangs.org/w/index.php?diff=156623&oldid=156513 5* 03Dmiz 5* (+57) 10
< 1745619715 435516 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
< 1745620153 126316 :astramast!~astramast@183.93-242-81.adsl-dyn.isp.belgacom.be JOIN #esolangs * :realname
< 1745620158 685679 :astramast!~astramast@183.93-242-81.adsl-dyn.isp.belgacom.be PRIVMSG #esolangs :hi
< 1745621584 168502 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Good afternoon!
< 1745622018 94952 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :`welcome astramast
< 1745622028 822282 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :astramast: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
> 1745622193 388387 PRIVMSG #esolangs :14[[07Concatenative calculus14]]4 M10 02https://esolangs.org/w/index.php?diff=156624&oldid=156621 5* 03Stkptr 5* (+46) 10
> 1745622808 861923 PRIVMSG #esolangs :14[[07User:PrySigneToFry/Silicon dioxide in a polypropylene box/Chess between HCr0 and PSTF14]]4 10 02https://esolangs.org/w/index.php?diff=156625&oldid=156610 5* 03Hotcrystal0 5* (+36) 10
> 1745623350 182775 PRIVMSG #esolangs :14[[07Functional calculus14]]4 N10 02https://esolangs.org/w/index.php?oldid=156626 5* 03Stkptr 5* (+685) 10They are all relatives yet have no good umbrella term
< 1745623352 462687 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :There is jq for working with JSON (and some variants for some other formats), but is there the one for BER and DER (without requiring a schema, and that does not use Unicode except for the Unicode string types)?
> 1745623372 853461 PRIVMSG #esolangs :14[[07Concatenative calculus14]]4 M10 02https://esolangs.org/w/index.php?diff=156627&oldid=156624 5* 03Stkptr 5* (+24) 10
< 1745623397 223803 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net QUIT :Quit: so long suckers! i rev up my motorcylce and create a huge cloud of smoke. when the cloud dissipates im lying completely dead on the pavement
< 1745623412 819698 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net JOIN #esolangs amby :realname
> 1745623599 602326 PRIVMSG #esolangs :14[[07Combinatory logic14]]4 10 02https://esolangs.org/w/index.php?diff=156628&oldid=154974 5* 03Stkptr 5* (+160) 10
< 1745624272 295150 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net QUIT :Remote host closed the connection