00:37:10 <esolangs> [[Pointing]] M https://esolangs.org/w/index.php?diff=154078&oldid=154076 * Calculus is fun * (+6) /* Assignments */
01:02:25 <esolangs> [[16 bits, 256 bytes]] https://esolangs.org/w/index.php?diff=154079&oldid=154065 * PrySigneToFry * (+590)
01:43:49 <esolangs> [[UserEdited]] https://esolangs.org/w/index.php?diff=154080&oldid=153728 * PrySigneToFry * (+858)
01:45:36 <esolangs> [[UserEdited/Versions]] https://esolangs.org/w/index.php?diff=154081&oldid=153726 * PrySigneToFry * (-12)
01:46:55 -!- craigo has quit (Remote host closed the connection).
01:50:40 <esolangs> [[Imprecision]] https://esolangs.org/w/index.php?diff=154082&oldid=150887 * Stkptr * (+243) Link to GBA
01:54:59 <esolangs> [[General blindfolded arithmetic]] M https://esolangs.org/w/index.php?diff=154083&oldid=154071 * Stkptr * (-27) /* Example languages */
01:58:05 <esolangs> [[Iterate/Turing-completeness proof]] N https://esolangs.org/w/index.php?oldid=154084 * Aadenboy * (+3653) Created 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,
01:58:27 <esolangs> [[Iterate/Turing-completeness proof]] M https://esolangs.org/w/index.php?diff=154085&oldid=154084 * Aadenboy * (+18)
01:59:16 <esolangs> [[Iterate]] https://esolangs.org/w/index.php?diff=154086&oldid=151378 * Aadenboy * (+364) turing complete
02:01:18 <esolangs> [[Talk:Iterate]] https://esolangs.org/w/index.php?diff=154087&oldid=153616 * Aadenboy * (+494)
02:14:48 <esolangs> [[User talk:MihaiEso]] https://esolangs.org/w/index.php?diff=154088&oldid=152777 * PrySigneToFry * (+900) /* You're invited to EternalGolf Development Team. */ new section
02:25:15 -!- ajal has quit (Remote host closed the connection).
02:48:28 <fizzie> 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.
02:58:13 <esolangs> [[Semi-serious language list]] M https://esolangs.org/w/index.php?diff=154089&oldid=150342 * Aadenboy * (+14) /* I */ add [[Iterate]] (?)
03:05:02 -!- op_4 has quit (Remote host closed the connection).
03:05:33 -!- op_4 has joined.
03:43:54 -!- FreeFull has quit (Quit: Lost terminal).
04:01:50 <esolangs> [[User:I am islptng/List of "x bits, y bytes"]] https://esolangs.org/w/index.php?diff=154090&oldid=153703 * PrySigneToFry * (+52)
04:05:34 <esolangs> [[1 8 1 8 1]] N https://esolangs.org/w/index.php?oldid=154091 * Helpeesl * (+2732) Created 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 { ( /
04:06:28 <esolangs> [[1 8 1 8 1]] https://esolangs.org/w/index.php?diff=154092&oldid=154091 * Helpeesl * (+0) Fixed a typo
04:07:43 <esolangs> [[16 bits, 256 bytes]] https://esolangs.org/w/index.php?diff=154093&oldid=154079 * PrySigneToFry * (+303)
05:03:39 -!- mtm has quit (Ping timeout: 260 seconds).
05:06:51 -!- mtm has joined.
05:09:30 <esolangs> [[Semi-serious language list]] M https://esolangs.org/w/index.php?diff=154094&oldid=154089 * Calculus is fun * (+15) /* P */
05:10:03 <esolangs> [[Semi-serious language list]] M https://esolangs.org/w/index.php?diff=154095&oldid=154094 * Calculus is fun * (+18) /* M */
06:28:24 <esolangs> [[16 bits, 256 bytes]] https://esolangs.org/w/index.php?diff=154096&oldid=154093 * PrySigneToFry * (+562)
06:28:44 <esolangs> [[16 bits, 256 bytes]] https://esolangs.org/w/index.php?diff=154097&oldid=154096 * PrySigneToFry * (+2)
06:45:18 <esolangs> [[16 bits, 256 bytes]] https://esolangs.org/w/index.php?diff=154098&oldid=154097 * PrySigneToFry * (+0)
07:12:51 -!- Lord_of_Life_ has joined.
07:13:12 -!- Lord_of_Life has quit (Ping timeout: 252 seconds).
07:14:14 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
09:35:17 -!- moony0 has joined.
09:36:21 -!- Bowserinator has quit (Ping timeout: 248 seconds).
09:36:30 -!- moony has quit (Ping timeout: 246 seconds).
09:36:30 -!- moony0 has changed nick to moony.
09:36:40 -!- iovoid has quit (Read error: Connection reset by peer).
09:38:21 -!- Bowserinator has joined.
09:38:31 -!- iovoid has joined.
09:43:46 -!- FreeFull has joined.
10:50:30 <esolangs> [[Stillbrithiarngialpielroinuslislislislislisquattostamiswackilduasliesfris]] https://esolangs.org/w/index.php?diff=154099&oldid=153739 * I am islptng * (-5) /* Greet me again!? */
11:17:55 -!- Sgeo has quit (Read error: Connection reset by peer).
11:33:44 <fizzie> 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.
12:03:35 <esolangs> [[Special:Log/newusers]] create * OfficialWatchOS7 * New user account
12:34:05 <esolangs> [[UserEdited]] https://esolangs.org/w/index.php?diff=154100&oldid=154080 * Hotcrystal0 * (+0) Its switch engine, not Schlick
12:35:39 -!- tromp has joined.
13:32:36 -!- amby has joined.
15:07:44 <esolangs> [[1 8 1 8 1]] https://esolangs.org/w/index.php?diff=154101&oldid=154092 * Helpeesl * (+44)
15:53:52 -!- Hooloovoo has quit (Ping timeout: 252 seconds).
16:41:00 -!- amby has quit (Read error: Connection reset by peer).
16:41:17 -!- amby has joined.
16:45:03 -!- Hooloovoo has joined.
16:48:42 <esolangs> [[Esolang talk:Categorization]] M https://esolangs.org/w/index.php?diff=154102&oldid=151584 * Corbin * (+213) /* Actor languages */ Found another one.
16:57:29 -!- iovoid has quit (Ping timeout: 260 seconds).
16:58:05 -!- iovoid has joined.
17:03:54 -!- mtm has quit (Ping timeout: 260 seconds).
17:06:42 -!- mtm has joined.
17:15:30 -!- amby has quit (Remote host closed the connection).
17:15:47 -!- amby has joined.
17:38:11 -!- craigo has joined.
17:41:58 -!- amby has quit (Remote host closed the connection).
17:42:11 -!- amby has joined.
18:34:57 <esolangs> [[General blindfolded arithmetic]] https://esolangs.org/w/index.php?diff=154103&oldid=154083 * Stkptr * (+1754) Add a summary table
18:35:19 <esolangs> [[General blindfolded arithmetic]] M https://esolangs.org/w/index.php?diff=154104&oldid=154103 * Stkptr * (+0) /* Summary */
19:10:48 -!- Sgeo has joined.
19:30:03 <Sgeo> "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.
19:30:36 <Sgeo> Stumbling on some class notes by searching for dedekind cuts >.>
19:31:37 <Sgeo> Cube root of 2 seems like a popular example
19:32:46 <korvo> There's also Cauchy sequences, which are often more obvious for programmers; e.g. numerical methods often converge using Cauchy-like sequences.
19:32:55 <Sgeo> https://math.hws.edu/eck/math331/guide2020/02-dedekind-cuts.html
19:33:30 <int-e> why not square root... oh because x |-> x^3 is strictly increasing and x |-> x^2 is not
19:53:44 <esolangs> [[General blindfolded arithmetic]] https://esolangs.org/w/index.php?diff=154105&oldid=154104 * Stkptr * (+21) /* Immediately Turing complete additions */
20:19:46 <Sgeo> The site has something about a field F that's larger than R, but I didn't really read it fully.
20:20:16 <Sgeo> https://math.hws.edu/eck/math331/guide2020/04-axioms-for-R.html
20:20:26 <Sgeo> "Note that a real number
20:20:27 <Sgeo> can be considered to be the rational function
20:20:27 <Sgeo> . So we can consider
20:20:29 <Sgeo> to be a subset of
20:20:33 -!- Sgeo has quit (Quit: Leaving).
20:20:50 -!- Sgeo has joined.
20:21:01 <Sgeo> eep, sorry about spam
20:21:08 <korvo> 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.
20:21:17 <korvo> Er, where C is the complex plane.
20:22:09 <Sgeo> Does F have a googleable name?
20:22:15 <int-e> you can have ordered fields of arbitrarily large cardinality
20:23:59 <Sgeo> "rational functions" I guess?
20:25:27 <Sgeo> Ok, so F contains functions that work as real numbers and functions that aren't correlated with a real number
20:28:11 <korvo> 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.
20:28:37 <int-e> Hmm. With that order, you can think of x as a +infinity.
20:29:03 <korvo> 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.
20:29:04 <int-e> So isomorphic to R(omega) where omega comes from the surreal numbers.
20:29:34 <int-e> Without the order it would just be written as R(x).
20:29:53 <korvo> 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.
20:31:21 <int-e> No it sends Z[x] to Q(x) ~ Z(x).
20:31:28 <int-e> you get things like 1/x
20:32:00 <korvo> Oh, nice catch. And the surreals are the "largest" such field from those linked axioms, right?
20:32:45 <int-e> (Q(x) and Z(x) are the same because you can multiply all coefficients by a common denominator)
20:33:56 <int-e> 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.
20:34:50 <korvo> 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.
20:37:40 <korvo> 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.
20:38:24 <korvo> (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?)
20:54:34 <fizzie> 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.
20:54:46 <fizzie> I'm sad that this support experience is going almost exactly as I expected it to.
20:58:59 <fizzie> 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
20:59:01 <fizzie> router appears to only send an ICMP "address unreachable" response to a fraction of packets.
20:59:19 <fizzie> So they've live-migrated my VPS to another hypervisor, which predictably has changed nothing.
20:59:44 <esolangs> [[Language list]] M https://esolangs.org/w/index.php?diff=154106&oldid=154073 * Buckets * (+11)
21:00:22 <esolangs> [[User:Buckets]] M https://esolangs.org/w/index.php?diff=154107&oldid=154074 * Buckets * (+10)
21:00:42 <esolangs> [[Icea]] N https://esolangs.org/w/index.php?oldid=154108 * Buckets * (+2188) Created 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
21:02:17 <fizzie> 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.
21:06:30 <esolangs> [[Omit]] M https://esolangs.org/w/index.php?diff=154109&oldid=153647 * Buckets * (+9)
21:09:32 <korvo> 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.
21:10:39 <korvo> 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