> 1742085430 51429 PRIVMSG #esolangs :14[[07Pointing14]]4 M10 02https://esolangs.org/w/index.php?diff=154078&oldid=154076 5* 03Calculus is fun 5* (+6) 10/* Assignments */
> 1742086945 515105 PRIVMSG #esolangs :14[[0716 bits, 256 bytes14]]4 10 02https://esolangs.org/w/index.php?diff=154079&oldid=154065 5* 03PrySigneToFry 5* (+590) 10
> 1742089429 938888 PRIVMSG #esolangs :14[[07UserEdited14]]4 10 02https://esolangs.org/w/index.php?diff=154080&oldid=153728 5* 03PrySigneToFry 5* (+858) 10
> 1742089536 783343 PRIVMSG #esolangs :14[[07UserEdited/Versions14]]4 10 02https://esolangs.org/w/index.php?diff=154081&oldid=153726 5* 03PrySigneToFry 5* (-12) 10
< 1742089615 570518 :craigo!~craigo@user/craigo QUIT :Remote host closed the connection
> 1742089840 259704 PRIVMSG #esolangs :14[[07Imprecision14]]4 10 02https://esolangs.org/w/index.php?diff=154082&oldid=150887 5* 03Stkptr 5* (+243) 10Link to GBA
> 1742090099 104479 PRIVMSG #esolangs :14[[07General blindfolded arithmetic14]]4 M10 02https://esolangs.org/w/index.php?diff=154083&oldid=154071 5* 03Stkptr 5* (-27) 10/* Example languages */
> 1742090285 125895 PRIVMSG #esolangs :14[[07Iterate/Turing-completeness proof14]]4 N10 02https://esolangs.org/w/index.php?oldid=154084 5* 03Aadenboy 5* (+3653) 10Created page with "This proves [[Iterate]]'s [[Turing completeness]] by implementing [[Bitwise Cyclic Tag]].  == Specification == <pre> Let L1 be a single cycle of the execution sequence, stored in base 10. Let L2 be the length of L1. Let L3 be the data string, 
> 1742090307 451807 PRIVMSG #esolangs :14[[07Iterate/Turing-completeness proof14]]4 M10 02https://esolangs.org/w/index.php?diff=154085&oldid=154084 5* 03Aadenboy 5* (+18) 10
> 1742090356 892378 PRIVMSG #esolangs :14[[07Iterate14]]4 10 02https://esolangs.org/w/index.php?diff=154086&oldid=151378 5* 03Aadenboy 5* (+364) 10turing complete
> 1742090478 477255 PRIVMSG #esolangs :14[[07Talk:Iterate14]]4 10 02https://esolangs.org/w/index.php?diff=154087&oldid=153616 5* 03Aadenboy 5* (+494) 10
> 1742091288 585257 PRIVMSG #esolangs :14[[07User talk:MihaiEso14]]4 10 02https://esolangs.org/w/index.php?diff=154088&oldid=152777 5* 03PrySigneToFry 5* (+900) 10/* You're invited to EternalGolf Development Team. */ new section
< 1742091915 806700 :ajal!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net QUIT :Remote host closed the connection
< 1742093308 54163 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Filed a support ticket for that IPv6 issue, as it has failed to spontaneously resolve itself. Here's hoping for a positive support experience for once.
> 1742093893 581025 PRIVMSG #esolangs :14[[07Semi-serious language list14]]4 M10 02https://esolangs.org/w/index.php?diff=154089&oldid=150342 5* 03Aadenboy 5* (+14) 10/* I */ add [[Iterate]] (?)
< 1742094302 615540 :op_4!~tslil@user/op-4/x-9116473 QUIT :Remote host closed the connection
< 1742094333 939427 :op_4!~tslil@user/op-4/x-9116473 JOIN #esolangs op_4 :op_4
< 1742096634 653065 :FreeFull!~freefull@79.186.73.126.ipv4.supernova.orange.pl QUIT :Quit: Lost terminal
> 1742097710 650228 PRIVMSG #esolangs :14[[07User:I am islptng/List of "x bits, y bytes"14]]4 10 02https://esolangs.org/w/index.php?diff=154090&oldid=153703 5* 03PrySigneToFry 5* (+52) 10
> 1742097934 567626 PRIVMSG #esolangs :14[[071 8 1 8 114]]4 N10 02https://esolangs.org/w/index.php?oldid=154091 5* 03Helpeesl 5* (+2732) 10Created page with "== info == 1 8 1 8 1 (pronounced splits) is a 2D Esolang created by [[user:helpeesl]] on march 15th 2025.  == commands ==  === splitters === Splitters split the pointer in two and they go in the directions that it is labeled  Up r L l I g J v<br>  Up-right r c { ( / 
> 1742097988 505637 PRIVMSG #esolangs :14[[071 8 1 8 114]]4 10 02https://esolangs.org/w/index.php?diff=154092&oldid=154091 5* 03Helpeesl 5* (+0) 10Fixed a typo
> 1742098063 192423 PRIVMSG #esolangs :14[[0716 bits, 256 bytes14]]4 10 02https://esolangs.org/w/index.php?diff=154093&oldid=154079 5* 03PrySigneToFry 5* (+303) 10
< 1742101419 954572 :mtm!~textual@47.202.75.129 QUIT :Ping timeout: 260 seconds
< 1742101611 434170 :mtm!~textual@47.202.75.129 JOIN #esolangs * :Textual User
> 1742101770 930901 PRIVMSG #esolangs :14[[07Semi-serious language list14]]4 M10 02https://esolangs.org/w/index.php?diff=154094&oldid=154089 5* 03Calculus is fun 5* (+15) 10/* P */
> 1742101803 994627 PRIVMSG #esolangs :14[[07Semi-serious language list14]]4 M10 02https://esolangs.org/w/index.php?diff=154095&oldid=154094 5* 03Calculus is fun 5* (+18) 10/* M */
> 1742106504 852239 PRIVMSG #esolangs :14[[0716 bits, 256 bytes14]]4 10 02https://esolangs.org/w/index.php?diff=154096&oldid=154093 5* 03PrySigneToFry 5* (+562) 10
> 1742106524 994104 PRIVMSG #esolangs :14[[0716 bits, 256 bytes14]]4 10 02https://esolangs.org/w/index.php?diff=154097&oldid=154096 5* 03PrySigneToFry 5* (+2) 10
> 1742107518 794281 PRIVMSG #esolangs :14[[0716 bits, 256 bytes14]]4 10 02https://esolangs.org/w/index.php?diff=154098&oldid=154097 5* 03PrySigneToFry 5* (+0) 10
< 1742109171 517278 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
< 1742109192 454835 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 252 seconds
< 1742109254 753940 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life
< 1742117717 535526 :moony0!moony@hellomouse/dev/moony JOIN #esolangs moony :Kaylie! (she/her)
< 1742117781 80786 :Bowserinator!Bowserinat@hellomouse/dev/bowserinator QUIT :Ping timeout: 248 seconds
< 1742117790 476620 :moony!moony@hellomouse/dev/moony QUIT :Ping timeout: 246 seconds
< 1742117790 769770 :moony0!moony@hellomouse/dev/moony NICK :moony
< 1742117800 429135 :iovoid!iovoid@hellomouse/dev/iovoid QUIT :Read error: Connection reset by peer
< 1742117901 349104 :Bowserinator!Bowserinat@hellomouse/dev/bowserinator JOIN #esolangs Bowserinator :No VPS :(
< 1742117911 394419 :iovoid!iovoid@hellomouse/dev/iovoid JOIN #esolangs iovoid :has effects and coeffects
< 1742118226 481240 :FreeFull!~freefull@79.186.73.126.ipv4.supernova.orange.pl JOIN #esolangs FreeFull :FreeFull
> 1742122230 290197 PRIVMSG #esolangs :14[[07Stillbrithiarngialpielroinuslislislislislisquattostamiswackilduasliesfris14]]4 10 02https://esolangs.org/w/index.php?diff=154099&oldid=153739 5* 03I am islptng 5* (-5) 10/* Greet me again!? */
< 1742123875 107081 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer
< 1742124824 735971 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Support asked for traceroute outputs (even though I had pretty much explained the salient points in it), and pointed at a really odd choice of a superuser.com question for instructions how to get one, but perhaps adding those is a prerequisite of getting the ticket sent to a more networking-related team.
< 1742125005 953403 :APic!apic@apic.name PRIVMSG #esolangs :Hi
> 1742126615 911793 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03OfficialWatchOS7 5*  10New user account
> 1742128445 388754 PRIVMSG #esolangs :14[[07UserEdited14]]4 10 02https://esolangs.org/w/index.php?diff=154100&oldid=154080 5* 03Hotcrystal0 5* (+0) 10Its switch engine, not Schlick
< 1742128539 67436 :tromp!~textual@2a02:a210:cba:8500:2c80:dbc6:3e9d:a12d JOIN #esolangs * :Textual User
< 1742131956 298710 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net JOIN #esolangs amby :realname
> 1742137664 656916 PRIVMSG #esolangs :14[[071 8 1 8 114]]4 10 02https://esolangs.org/w/index.php?diff=154101&oldid=154092 5* 03Helpeesl 5* (+44) 10
< 1742140432 473792 :Hooloovoo!~Hooloovoo@hax0rbana.org QUIT :Ping timeout: 252 seconds
< 1742143260 338237 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net QUIT :Read error: Connection reset by peer
< 1742143277 303577 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net JOIN #esolangs * :realname
< 1742143503 965070 :Hooloovoo!~Hooloovoo@hax0rbana.org JOIN #esolangs hooloovoo :Hooloovoo
> 1742143722 319964 PRIVMSG #esolangs :14[[07Esolang talk:Categorization14]]4 M10 02https://esolangs.org/w/index.php?diff=154102&oldid=151584 5* 03Corbin 5* (+213) 10/* Actor languages */ Found another one.
< 1742144249 347944 :iovoid!iovoid@hellomouse/dev/iovoid QUIT :Ping timeout: 260 seconds
< 1742144285 353819 :iovoid!iovoid@hellomouse/dev/iovoid JOIN #esolangs iovoid :has effects and coeffects
< 1742144634 363711 :mtm!~textual@47.202.75.129 QUIT :Ping timeout: 260 seconds
< 1742144802 905269 :mtm!~textual@47.202.75.129 JOIN #esolangs mtm :Textual User
< 1742145330 353793 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net QUIT :Remote host closed the connection
< 1742145347 313393 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net JOIN #esolangs amby :realname
< 1742146691 518683 :craigo!~craigo@user/craigo JOIN #esolangs craigo :realname
< 1742146918 274523 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net QUIT :Remote host closed the connection
< 1742146931 933392 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net JOIN #esolangs amby :realname
> 1742150097 622430 PRIVMSG #esolangs :14[[07General blindfolded arithmetic14]]4 10 02https://esolangs.org/w/index.php?diff=154103&oldid=154083 5* 03Stkptr 5* (+1754) 10Add a summary table
> 1742150119 734379 PRIVMSG #esolangs :14[[07General blindfolded arithmetic14]]4 M10 02https://esolangs.org/w/index.php?diff=154104&oldid=154103 5* 03Stkptr 5* (+0) 10/* Summary */
< 1742152248 357933 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
< 1742153403 8917 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :"There are several approaches to building a set to represent the real numbers. The one used in Section 1.2 of the textbook is Dedekind cuts. For us, Dedekind cuts are simply a way to get a concrete representation of the real numbers. In fact, once we have done that and used them to get some understanding of the real numbers, you should pretty much forget about them.
< 1742153403 77172 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :"
< 1742153436 362376 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :Stumbling on some class notes by searching for dedekind cuts >.>
< 1742153497 658524 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :Cube root of 2 seems like a popular example
< 1742153566 719770 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :There's also Cauchy sequences, which are often more obvious for programmers; e.g. numerical methods often converge using Cauchy-like sequences.
< 1742153575 459648 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :https://math.hws.edu/eck/math331/guide2020/02-dedekind-cuts.html
< 1742153610 855127 :int-e!~noone@int-e.eu PRIVMSG #esolangs :why not square root... oh because x |-> x^3 is strictly increasing and x |-> x^2 is not
> 1742154824 929665 PRIVMSG #esolangs :14[[07General blindfolded arithmetic14]]4 10 02https://esolangs.org/w/index.php?diff=154105&oldid=154104 5* 03Stkptr 5* (+21) 10/* Immediately Turing complete additions */
< 1742156386 768854 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :The site has something about a field F that's larger than R, but I didn't really read it fully.
< 1742156416 858786 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :https://math.hws.edu/eck/math331/guide2020/04-axioms-for-R.html
< 1742156426 953899 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :"Note that a real number 
< 1742156427 42071 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs : can be considered to be the rational function 
< 1742156427 70642 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs : 
< 1742156427 70690 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs : where 
< 1742156427 70719 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs : and 
< 1742156427 470182 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :. So we can consider 
< 1742156429 521476 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs : to be a subset of 
< 1742156431 512612 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :. Since 
< 1742156433 577680 :Sgeo!~Sgeo@user/sgeo QUIT :Quit: Leaving
< 1742156450 909384 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
< 1742156461 571151 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :eep, sorry about spam
< 1742156468 994073 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Sure. For example, C is "larger" than R in several senses; it's not bigger in terms of cardinality, but it's got an algebraic completion: every polynomial over integers has roots in C, but not necessarily in R.
< 1742156477 44949 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Er, where C is the complex plane.
< 1742156529 538711 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :Does F have a googleable name?
< 1742156535 140024 :int-e!~noone@int-e.eu PRIVMSG #esolangs :you can have ordered fields of arbitrarily large cardinality
< 1742156639 966076 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :"rational functions" I guess?
< 1742156727 442773 :Sgeo!~Sgeo@user/sgeo PRIVMSG #esolangs :Ok, so F contains functions that work as real numbers and functions that aren't correlated with a real number
< 1742156891 436334 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Sgeo: I didn't see what F was, exactly. You might like looking up "polynomial ring"; if you have polynomials, you can add and multiply them. Rational functions are a natural generalization to fields when we consider non-zero division.
< 1742156917 20121 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Hmm. With that order, you can think of x as a +infinity.
< 1742156943 506363 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Note BTW that there's a construction called "field of fractions"; given a ring, we can just pretend that division works by cancelling multiplication. This construction sends the integers Z to the rationals Q, for example.
< 1742156944 220438 :int-e!~noone@int-e.eu PRIVMSG #esolangs :So isomorphic to R(omega) where omega comes from the surreal numbers.
< 1742156974 980766 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Without the order it would just be written as R(x).
< 1742156993 550692 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :And it also sends the polynomial ring over integers Z[x] to the rational polynomials Q[x], provoking my nightmares of returning to grade school.
< 1742157081 461097 :int-e!~noone@int-e.eu PRIVMSG #esolangs :No it sends Z[x] to Q(x) ~ Z(x).
< 1742157088 340751 :int-e!~noone@int-e.eu PRIVMSG #esolangs :you get things like 1/x
< 1742157120 736226 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Oh, nice catch. And the surreals are the "largest" such field from those linked axioms, right?
< 1742157165 503159 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(Q(x) and Z(x) are the same because you can multiply all coefficients by a common denominator)
< 1742157236 880883 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Hmm. While the surreals are a proper class (so not a field in the usual sense; Conway calls it a Field), I bet there's still room for adding ever more large ordinals to the generators.
< 1742157290 803996 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Conway's Field is useful. A serious problem with fields -- besides not being truly algebraic -- is that their category isn't connected. This means that we can't really embed one field into another without ignoring e.g. their characteristics.
< 1742157460 604112 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Sgeo: This isn't a problem for you because everything's currently "characteristic zero", meaning that 1 + 1 + 1 + … ≠ 0. As long as that's the case, sometimes one field will be a subfield of another, and that's nice! But it's not how fields work in general.
< 1742157504 573749 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :(Exercise for reader: (non-trivial) field homomorphisms are always injections; if one field maps into another, then it always does so as a subfield. Why?)
< 1742158474 310513 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Replies in my ticket have graduated from a plain "Cloud Support Engineer" to a "Senior Cloud Support Engineer", but the latter did not understand the problem either.
< 1742158486 441774 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :I'm sad that this support experience is going almost exactly as I expected it to.
< 1742158739 447380 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :The Cloud Support Engineer asked for an "MTR report" (a particular traceroute tool) despite it not showing anything I hadn't already described. The Senior Cloud Support Engineer has fixated on a meaningless 95% packet loss rate indicated on the last line of the traceroute, despite the fact that (a) the address isn't my VPS's, and (b) the "packet loss" is there just because the last reachable
< 1742158741 759967 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :router appears to only send an ICMP "address unreachable" response to a fraction of packets.
< 1742158759 400261 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :So they've live-migrated my VPS to another hypervisor, which predictably has changed nothing.
> 1742158784 149274 PRIVMSG #esolangs :14[[07Language list14]]4 M10 02https://esolangs.org/w/index.php?diff=154106&oldid=154073 5* 03Buckets 5* (+11) 10
> 1742158822 624039 PRIVMSG #esolangs :14[[07User:Buckets14]]4 M10 02https://esolangs.org/w/index.php?diff=154107&oldid=154074 5* 03Buckets 5* (+10) 10
> 1742158842 440801 PRIVMSG #esolangs :14[[07Icea14]]4 N10 02https://esolangs.org/w/index.php?oldid=154108 5* 03Buckets 5* (+2188) 10Created page with "Icea is an Esoteric programming language created by [[User:Buckets]] in 2024.  {| class="wikitable" |- ! Commands !! Instructions |- | , , , , , , , ,  and . || Borders for Instructions. |- | #m || Set The inside border Identification m. |- | {n} || Activate that certain B
< 1742158845 505008 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs ::(
< 1742158937 368499 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :I could pay $999/month (not a joke, that's the exact price) for the "premium" support tier and get access to a Slack channel where they could probably solve this in a matter of minutes (or, alternatively, confirm that the problem is on my ISP's side of the fence), but that would amount to 166.5 months worth of the actual service.
> 1742159190 892092 PRIVMSG #esolangs :14[[07Omit14]]4 M10 02https://esolangs.org/w/index.php?diff=154109&oldid=153647 5* 03Buckets 5* (+9) 10
< 1742159372 413063 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :fizzie: It's fun to imagine that the same senior engineer ordered ICMP disabled for security reasons, although it's likely a separate security engineer that made that unhelpful choice.
< 1742159439 790285 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :int-e: Sorry for sounding like a textbook earlier. I'm reading https://arxiv.org/abs/math/0602053 so I can improve this painfully bad page: https://ncatlab.org/nlab/show/algorithm