00:02:31 -!- mtm has quit (Ping timeout: 244 seconds).
00:05:24 -!- mtm has joined.
00:58:14 -!- thebigh has joined.
00:59:03 -!- thebigh has quit (Client Quit).
01:15:05 -!- amby has 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).
02:00:22 -!- ais523 has quit (Quit: quit).
02:26:37 -!- janewila has joined.
02:39:45 -!- janewila has quit (Quit: Client closed).
03:01:46 -!- Sgeo_ has joined.
03:05:00 -!- Sgeo has quit (Ping timeout: 252 seconds).
03:32:01 -!- user3456 has quit (Ping timeout: 248 seconds).
03:35:33 -!- craigo_ has quit (Quit: Leaving).
03:50:21 -!- user3456 has joined.
03:50:42 -!- Lykaina has quit (Quit: Leaving).
04:06:04 <esolangs> [[SATire]] N https://esolangs.org/w/index.php?oldid=151455 * BoundedBeans * (+19108) Created page with "SATire is an esolang by [[User:BoundedBeans]] made to look like the math section of a standardized test. It was lost due to accidental deletion, but this is a recreation with a lot of extra functionality. ==Syntax== Before processing anything else, any text betwee
04:06:36 <esolangs> [[Language list]] https://esolangs.org/w/index.php?diff=151456&oldid=151447 * BoundedBeans * (+13)
04:06:50 <esolangs> [[User:BoundedBeans]] https://esolangs.org/w/index.php?diff=151457&oldid=150123 * BoundedBeans * (+12)
04:55:49 <esolangs> [[Special:Log/newusers]] create * TKDKid1000 * New user account
04:59:17 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=151458&oldid=151411 * TKDKid1000 * (+200)
05:11:43 <zzo38> Discard your hand, and then draw seven cards. (You cannot draw anything if you do not have a hand to hold the pencil.)
06:00:24 <esolangs> [[Iframe]] M https://esolangs.org/w/index.php?diff=151459&oldid=138159 * PkmnQ * (+0) /* Alternating between B and C */
06:00:37 <esolangs> [[Iframe]] M https://esolangs.org/w/index.php?diff=151460&oldid=151459 * PkmnQ * (+0) /* Alternating between C and H */
06:36:20 <zzo38> With category of matrices, the zero-object is zero rows/columns, and the zero-morphisms is all numbers within the matrix are zero. Since there is also a monad (which I called the Finalize monad) for each final object, and a comonad (which I called the Initialize comonad) for each initial object, this means that category of matrices also has a Finalize monad and a Initialize comonad, I think.
06:40:35 <zzo38> (I don't know if there are other common names for these monads/comonads; do you know?)
06:45:56 * korvo redraws their hand
06:50:19 <korvo> I haven't heard of these monads before. How are they set up? I could guess: for a category C with terminal object 1, let Arr(C,1) be the arrow category, and let the carrying functor C -> Arr(C,1) be the obvious isomorphism that matches objects X with (X,!).
06:50:58 <korvo> The monad carried by that functor is equivalent to the identity monad, with the quirk that terminal objects need not be unique, and thus this monad is only *naturally equivalent* to the identity monad, up to unique isomorphism.
06:51:12 <zzo38> It is not what I meant.
06:51:33 <korvo> Ah, no worries. Sorry for guessing.
06:52:34 <korvo> But to answer the second part of your thought: yes, zero objects can be used as terminal or initial objects, so that category of matrices would have the same Finalize and Initialize.
06:52:38 <zzo38> What I meant is the functor that makes everything into the identity morphism of the final object (and then the two natural transformations clearly have only one possibility)
06:55:04 <zzo38> (In Haskell: data Finalize a = Finalize deriving (Functor); instance Monad Finalize where { return _ = Finalize; Finalize >>= _ = Finalize; };)
06:58:10 <korvo> Oh, huh. I think that there's some specialized terminology I could look up for the overall pattern, but I don't think I've ever seen a name for this particular functor.
07:03:53 <esolangs> [[User:PrySigneToFry/Sandbox]] https://esolangs.org/w/index.php?diff=151461&oldid=150035 * PrySigneToFry * (+75)
07:05:36 <korvo> It looks like it's known to be terminal in a nice-enough category of monads, but I'm having trouble finding a good citation or any name besides "terminal monad".
07:05:42 <esolangs> [[User:PrySigneToFry/Sandbox/My words]] https://esolangs.org/w/index.php?diff=151462&oldid=141226 * PrySigneToFry * (+49)
07:07:42 <esolangs> [[User:PrySigneToFry/Sandbox/My Rate to the user that I know]] https://esolangs.org/w/index.php?diff=151463&oldid=149927 * PrySigneToFry * (-53)
09:01:44 -!- mcfrdy has joined.
09:18:33 <esolangs> [[Stackfish]] https://esolangs.org/w/index.php?diff=151464&oldid=151113 * Cycwin * (+50)
09:26:12 -!- Sgeo_ has quit (Read error: Connection reset by peer).
09:29:24 <esolangs> [[-5 bytes ;)]] https://esolangs.org/w/index.php?diff=151465&oldid=151434 * Ractangle * (-5) /* Factorial */ fixed the factorial
09:30:18 <esolangs> [[-5 bytes ;)]] https://esolangs.org/w/index.php?diff=151466&oldid=151465 * Ractangle * (-7) /* Factorial */ EasyJet
09:31:40 -!- m5zs7k has quit (Ping timeout: 244 seconds).
09:36:45 -!- m5zs7k has joined.
10:20:31 -!- ais523 has joined.
11:09:15 <APic> Yo ais523 π
11:29:42 <esolangs> [[-5 bytes ;)]] https://esolangs.org/w/index.php?diff=151467&oldid=151466 * PrySigneToFry * (+88)
11:33:42 <esolangs> [[(PSTF)]] https://esolangs.org/w/index.php?diff=151468&oldid=148922 * PrySigneToFry * (+867)
11:34:57 <esolangs> [[Poetic (Mihai Popa)]] https://esolangs.org/w/index.php?diff=151469&oldid=148421 * PrySigneToFry * (-4)
11:59:08 <esolangs> [[EsoInterpreters]] https://esolangs.org/w/index.php?diff=151470&oldid=150413 * WinslowJosiah * (+565) Add EsoInterpreter of brainfuck in Bespoke
12:03:00 -!- mtm has quit (Ping timeout: 246 seconds).
12:05:36 -!- mtm has joined.
13:44:38 -!- chomwitt has joined.
13:51:51 -!- amby has joined.
14:11:52 -!- Artea has quit (Quit: ZNC 1.9.1 - https://znc.in).
14:35:50 <esolangs> [[Onechar]] https://esolangs.org/w/index.php?diff=151471&oldid=148690 * Cycwin * (+44)
14:38:13 <esolangs> [[Onechar]] https://esolangs.org/w/index.php?diff=151472&oldid=151471 * Cycwin * (+2) /* The Syntax */
14:45:59 -!- Artea has joined.
15:14:17 -!- m5zs7k has quit (Ping timeout: 268 seconds).
15:15:14 <HackEso> 1/1:1031) <kmc> i think delivery sushi is one of those habits that can rapidly consume all of one's money <kmc> like cocaine \ 1248) <mauris> MAHJONG TILE AUTUMN / HIRAGANA LETTER YA / SNOWMAN WITHOUT SNOW
15:16:28 <HackEso> βgrue//grue is the colour of the trees and the ocean
15:19:41 * ais523 vaguely wonders why that particular hiragana letter was chosen
15:24:30 <esolangs> [[Talk:Binary combinatory logic]] M https://esolangs.org/w/index.php?diff=151473&oldid=151445 * Blashyrkh * (+51) /* Input-output specification */ Minor clarifications
15:27:50 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=151474&oldid=151458 * WoodyFan3412 * (+178) Added missing info
15:29:02 <esolangs> [[User:WoodyFan3412]] https://esolangs.org/w/index.php?diff=151475&oldid=146387 * WoodyFan3412 * (-59) i quitted
15:29:29 <fizzie> I wonder where the wiki-scrapers pull their fake UA strings from, because some of these are pretty ancient at this point. (Firefox/4.0b8 on OS X 10.6?)
15:31:13 <esolangs> [[User:WoodyFan3412]] https://esolangs.org/w/index.php?diff=151476&oldid=151475 * WoodyFan3412 * (-59)
15:31:54 <fizzie> Also one of them *starts* with "Chrome/15.0.860.0", in place of the usual "Mozilla/5.0", which I don't think is even a thing.
15:33:33 <fizzie> This one is quite a gem as well: "Mozilla/5.0 (Windows NT 5.1) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/34.0.1847.116 Safari/537.36 Mozilla/5.0 (iPad; U; CPU OS 3_2 like Mac OS X; en-us) AppleWebKit/531.21.10 (KHTML, like Gecko) Version/4.0.4 Mobile/7B334b Safari/531.21.10"
15:33:41 <fizzie> (So... an iPad running Windows XP, then?)
15:35:35 -!- m5zs7k has joined.
15:36:02 <int-e> . o O ( what happens if you ask DeepSeek for plausible User-Agent strings )
15:37:04 <fizzie> Yeah, some of these look like LLM hallucinations. I remember couple of months back when I was looking they were even worse, with a lot of other random-looking numbers in place of CPU identifiers like "i686".
15:37:12 <fizzie> Maybe they've switched to a better model.
15:37:49 <fizzie> But you'd think it would be cheaper to just use a list of most common UAs from somewhere instead of bothering to use an LLM to generate unique ones.
15:40:48 -!- wib_jonas has joined.
15:41:56 <esolangs> [[Talk:Trow]] N https://esolangs.org/w/index.php?oldid=151477 * WoodyFan3412 * (+196) Created page with "https://perchance.org/ There's a website with a language that does something very similar to this. ~~~~"
15:45:59 <wib_jonas> fizzie: I can understand when the UA strings refer to very old browsers, because it was only back with very old browsers when any server-side programs cared about the UA string on server-side, so old libraries on the client-side may have been hard-coded to eg. lie that they are IE4 because some servers serve the wrong thing for IE3 clients, and
15:46:00 <wib_jonas> nobody bothered to change that because claiming to be IE4 doesn't break anything on new servers, and similarly old libraries on the server-side might be hard-coded to serve something different for anyone who doesn't claim to be IE4 because their normal output was found to be broken on the still popular IE3 clients, and nobody bothered to change it
15:46:01 <wib_jonas> since because every modern browser lies that they are IE4-compatible so the CEOs don't complain that they can't access the site.
15:47:33 <fizzie> I love the "(KHTML, like Gecko)" bit that Chrome-family user agents have.
15:48:02 <fizzie> Presumably just to get the substring "Gecko" in there.
15:48:31 <wib_jonas> probably actually IE6 vs IE7, I'm not sure IE3 ever existed
15:51:33 -!- lisbeths has quit (Quit: Connection closed for inactivity).
16:08:41 -!- craigo has joined.
16:20:41 -!- Sgeo has joined.
16:33:57 -!- wib_jonas has quit (Quit: Client closed).
17:24:10 <esolangs> [[Talk:Binary combinatory logic]] https://esolangs.org/w/index.php?diff=151478&oldid=151473 * Blashyrkh * (+919) /* Input-output specification */ Hopeless idea?
17:42:43 <esolangs> [[Talk:Binary combinatory logic]] M https://esolangs.org/w/index.php?diff=151479&oldid=151478 * Blashyrkh * (+70) /* Input-output specification */ clarification
18:27:28 -!- Lord_of_Life_ has joined.
18:28:31 -!- Lord_of_Life has quit (Ping timeout: 268 seconds).
18:28:33 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=151480&oldid=151474 * Ais523 * (-178) Undo revision [[Special:Diff/151474|151474]] by [[Special:Contributions/WoodyFan3412|WoodyFan3412]] ([[User talk:WoodyFan3412|talk]]) vandalises another user's introduction and was introduced already, thus there's no reason to do it again
18:28:52 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
19:06:36 <ais523> fizzie: the fun thing about all the substring hacks is that they're actually useful on the sniffing side β you don't really care about what the browser actually is, just what features it supports, and if it's saying it supports the relevant features of another browser it probably does
19:07:59 <ais523> b_jonas: I used to use an early IE at school, I can't remember whether it was IE4 or IE5
19:08:34 <b_jonas> sure, that's why some version of IE had "Mozilla" in their default User-Agent
19:08:57 <ais523> I think sniffing was mostly used for frameset support, which very few websites actually use nowadays
19:09:09 <ais523> I'm not sure what the replacement is, or whether it just went out of style to do websites that way
19:09:20 <ais523> I guess it'd be easy enough to reproduce with CSS and iframes
19:12:33 <esolangs> [[Stackfish]] https://esolangs.org/w/index.php?diff=151481&oldid=151464 * 47 * (+18) /* Interpreter */
19:18:06 <b_jonas> ais523: the replacement is that now every browser difference is handled on client-side. it started with magic conditional comments that allowed to run code conditionally to distinguish between IE6, IE7, IE8, IE9. but these days we don't even need that.
19:20:02 <ais523> b_jonas: but what if I need the page to run on both Mozilla and Mosaic?
19:20:15 <fizzie> I think pretty much all "normal browsers" still start with "Mozilla/5.0 ...".
19:20:21 <fizzie> Though (just checked) Lynx and w3m don't. But they hardly qualify as normal.
19:20:48 <ais523> fizzie: that is probably intentional, Lynx and w3m likely actively don't want whatever website features that user-agent would enable
19:21:08 <ais523> my "make the page work on Mosaic" is not 100% hypothetical, it's exactly the sort of thing you would expect an INTERCAL website to do
19:21:37 <ais523> for a while one of the main INTERCAL websites was only available using Gopher over IPv6, I can't remember why, I assume there was a good reason at the time
19:21:58 <b_jonas> ais523: yes, that's why for old browsers it was server-side dispatching
19:23:28 <b_jonas> though of course you'd also look at the Accept header to see if the browser can display png images if that comes up
19:24:39 * ais523 has a vague idea of just rendering the images with loads and loads of overlapping colored <div>s
19:25:10 <ais523> I actually did that for a program I wrote using HTML+CSS+JS when I was younger (on a computer that wasn't online, it was just using a web browser for rendering)
19:25:44 <ais523> young me hadn't figured out how to make the <div>s small enough, so I overlapped them so that only the relevant numbers of pixels would be visible and the rest would be covered by a <div> to its right or below it
19:28:49 <esolangs> [[PUDDING! 25]] N https://esolangs.org/w/index.php?oldid=151482 * Win7HE * (+102) Created page with "Coming Soon! PUDDING! 25 was made by [[User:Win7HE]]. == why "PUDDING"? == That just came in my mind."
19:29:51 <b_jonas> ais523: <TABLE border=0 cellspacing=0><COLGROUP span=10 width=25><TR height=25><TD bgcolor=#80C rowspan=4><TD bgcolor=#80C><TD bgcolor=#FF8 colspan=5><TD bgcolor=#4F4 colspan=3><TR height=25><TD bgcolor=#8C0 colspan=3><TD bgcolor=#44F colspan=4><TD bgcolor=#08C><TD bgcolor=#4F4 rowspan=2><TR height=25><TD bgcolor=#0C8><TD bgcolor=#0C8 rowspan=3><TD bgcolor=#8C0 colspan=2><TD bgcolor=#44F><TD
19:29:57 <b_jonas> bgcolor=#08C colspan=3><TR height=25><TD bgcolor=#8FF><TD bgcolor=#0C8><TD bgcolor=#C08><TD bgcolor=#F44 rowspan=2><TD bgcolor=#08C><TD bgcolor=#F8F><TD bgcolor=#C80><TD bgcolor=#C80 rowspan=3><TR height=25><TD bgcolor=#8FF colspan=2 rowspan=2><TD bgcolor=#C08 colspan=2><TD bgcolor=#F8F colspan=3><TR height=25><TD bgcolor=#C08 colspan=2><TD bgcolor=#F44 colspan=3><TD bgcolor=#F8F><TD
19:31:28 <b_jonas> this wouldn't be so terse in old browsers because COLGROUP is new, but it'
19:32:38 <esolangs> [[User:Win7HE]] https://esolangs.org/w/index.php?diff=151483&oldid=150623 * Win7HE * (+34) /* check out these */
20:03:07 <fizzie> FYI: I've extended the "block diffs with unexpected parameter order" rule to cover all pages, because the wiki was again timing out, this time I think due to the hello-world-in-esoteric-languages pages, and I didn't want to keep playing whack-a-mole with it. Let me know if you run into it from just using the wiki as normal.
20:03:09 <fizzie> (Over the weekend I'll try to see how much it would take to kludge in a logged-in requirement into the diff page.)
20:05:27 <esolangs> [[User:Buckets]] M https://esolangs.org/w/index.php?diff=151484&oldid=151450 * Buckets * (+47)
20:20:26 -!- sprout has quit (Remote host closed the connection).
20:23:39 <fizzie> (CPU use on the wiki-server dropped from 80% to 20% just from turning that on.)
20:34:14 <esolangs> [[Sleep.]] N https://esolangs.org/w/index.php?oldid=151485 * Buckets * (+1844) Created page with ": ''Not to be confused with [[Sleep]]'' Sleep. Is an esoteric programming language created by [[User:Buckets]], just about Sleeping made in 2024. {| class="wikitable" |- ! Command !! Instruction |- | Sleep || Sleep |} Sleep: Sleep Extra Sleep: Sleep Sleep This progr
20:34:41 <esolangs> [[User:Buckets]] M https://esolangs.org/w/index.php?diff=151486&oldid=151484 * Buckets * (+12)
20:36:33 <esolangs> [[Language list]] M https://esolangs.org/w/index.php?diff=151487&oldid=151456 * Buckets * (+25)
20:39:25 -!- chomwitt has quit (Ping timeout: 244 seconds).
20:43:08 -!- sprout has joined.
20:51:21 -!- Ae` has joined.
20:52:22 -!- Guest2971 has quit (Ping timeout: 252 seconds).
20:54:23 <esolangs> [[How dare you fuck the brain]] https://esolangs.org/w/index.php?diff=151488&oldid=151085 * Ractangle * (+0) /* Hello, world! */
20:57:06 <esolangs> [[Sleep.]] M https://esolangs.org/w/index.php?diff=151489&oldid=151485 * Buckets * (+96)
21:00:56 <esolangs> [[How dare you fuck the brain]] https://esolangs.org/w/index.php?diff=151490&oldid=151488 * Ractangle * (+0) /* Interpreter */
21:01:17 <esolangs> [[How dare you fuck the brain]] https://esolangs.org/w/index.php?diff=151491&oldid=151490 * Ractangle * (-2) /* Hello, world! */
21:02:33 <esolangs> [[Hello world program in esoteric languages (H-M)]] https://esolangs.org/w/index.php?diff=151492&oldid=151107 * Ractangle * (-2) /* How dare you fuck the brain */
21:09:46 -!- Ae` has changed nick to Ae.
21:11:50 -!- Ae has changed nick to Guest2975.
21:53:40 <esolangs> [[How dare you fuck the brain]] https://esolangs.org/w/index.php?diff=151493&oldid=151491 * Ractangle * (-2) /* Hello, world! */
21:55:31 <esolangs> [[How dare you fuck the brain]] https://esolangs.org/w/index.php?diff=151494&oldid=151493 * Ractangle * (-696) /* Interpreter */
21:56:05 <esolangs> [[Hello world program in esoteric languages (H-M)]] https://esolangs.org/w/index.php?diff=151495&oldid=151492 * Ractangle * (-2) /* How dare you fuck the brain */
22:28:35 <esolangs> [[Talk:Binary combinatory logic]] https://esolangs.org/w/index.php?diff=151496&oldid=151479 * Blashyrkh * (+721) /* Input-output specification */ solution?
22:34:48 <esolangs> [[Tanstore]] https://esolangs.org/w/index.php?diff=151497&oldid=135571 * Kaveh Yousefi * (+3615) Added an implementation of an encoder and a decoder in Common Lisp.
22:36:24 <esolangs> [[Talk:Binary combinatory logic]] M https://esolangs.org/w/index.php?diff=151498&oldid=151496 * Blashyrkh * (+120) /* Input-output specification */
22:37:15 <esolangs> [[Tanstore]] https://esolangs.org/w/index.php?diff=151499&oldid=151497 * Kaveh Yousefi * (+1188) Supplemented a more detailed tabulation of the symbols and their Tanstore character codes.
22:46:38 <esolangs> [[Comment]] https://esolangs.org/w/index.php?diff=151500&oldid=149126 * Ractangle * (-32) /* bog prok */
22:48:31 <esolangs> [[Comment]] https://esolangs.org/w/index.php?diff=151501&oldid=151500 * Ractangle * (-401) /* How dare you fuck the brain */
22:48:32 -!- Lykaina has joined.
22:49:17 <esolangs> [[Comment]] https://esolangs.org/w/index.php?diff=151502&oldid=151501 * Ractangle * (+19) /* How dare you fuck the brain */
22:49:38 <esolangs> [[Comment]] https://esolangs.org/w/index.php?diff=151503&oldid=151502 * Ractangle * (-78) /* Hum */
22:51:51 <esolangs> [[Comment]] https://esolangs.org/w/index.php?diff=151504&oldid=151503 * Ractangle * (+50) /* MarkupL */
22:52:40 <esolangs> [[Comment]] https://esolangs.org/w/index.php?diff=151505&oldid=151504 * Ractangle * (+5) /* MarkupL */
22:55:13 <esolangs> [[Empty Program]] https://esolangs.org/w/index.php?diff=151506&oldid=151336 * Ractangle * (+3) /* true */
23:05:00 <Lykaina> bought a device for debugging based on the rp2350...oops
23:11:52 <esolangs> [[User:Buckets]] M https://esolangs.org/w/index.php?diff=151507&oldid=151486 * Buckets * (+8)
23:22:31 <esolangs> [[User:Buckets]] M https://esolangs.org/w/index.php?diff=151508&oldid=151507 * Buckets * (-8)
23:22:48 <esolangs> [[User:PrySigneToFry/Sandbox/StormLang discussion]] https://esolangs.org/w/index.php?diff=151509&oldid=151438 * None1 * (+158) /* None1's Design */
23:29:24 <esolangs> [[User:Buckets]] M https://esolangs.org/w/index.php?diff=151510&oldid=151508 * Buckets * (+8)
23:29:33 <esolangs> [[6A]] N https://esolangs.org/w/index.php?oldid=151511 * Buckets * (+1290) Created page with "6A is an Esoteric programming language created by [[User:Buckets]] in 2024. {| class="wikitable" |- ! Header text !! Header text |- | ' ' || Prints what is inside of the single quotes. |- | j || Multiplies 2 to the current number. |- | / || Multiplies 2 then plus the number
23:30:15 <esolangs> [[Language list]] M https://esolangs.org/w/index.php?diff=151512&oldid=151487 * Buckets * (+9)
23:51:50 -!- slavfox has quit (Quit: ZNC 1.8.2 - https://znc.in).
23:55:34 -!- slavfox has joined.