00:02:26 <esolangs> [[Lag system]] N https://esolangs.org/w/index.php?oldid=154587 * Stkptr * (+2757) corate pag
00:33:57 <esolangs> [[Tag system]]  https://esolangs.org/w/index.php?diff=154588&oldid=154573 * Stkptr * (+17) /* See also */
01:18:51 -!- ajal 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:37:47 -!- Artea has quit (Killed (ozone (No Spam))).
04:31:34 -!- Artea has joined.
04:55:55 -!- chiselfuse has quit (Remote host closed the connection).
04:56:08 -!- chiselfuse has joined.
05:00:15 -!- chiselfuse has quit (Read error: Connection reset by peer).
05:01:11 -!- chiselfuse has joined.
06:18:50 -!- ais523 has quit (Quit: quit).
06:31:06 -!- yewscion has quit (Remote host closed the connection).
06:31:11 -!- yewscion_ has joined.
07:16:07 -!- Lord_of_Life has quit (Ping timeout: 252 seconds).
07:17:50 -!- Lord_of_Life has joined.
07:32:11 -!- Hoolootwo has quit (Quit: ZNC 1.8.2+deb2+deb11u1 - https://znc.in).
07:43:03 -!- Hooloovoo has joined.
08:03:49 -!- Sgeo has quit (Read error: Connection reset by peer).
08:36:18 -!- Hooloovoo has quit (Ping timeout: 276 seconds).
08:49:21 -!- Hooloovoo has joined.
08:51:41 <esolangs> [[Special:Log/newusers]] create  * JHSHernandez-ZBH *  New user account
08:57:14 <esolangs> [[Esolang:Introduce yourself]]  https://esolangs.org/w/index.php?diff=154589&oldid=154574 * JHSHernandez-ZBH * (+525) /* Introductions */
09:01:03 <esolangs> [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=154590&oldid=154589 * JHSHernandez-ZBH * (+62) /* Introductions */
09:04:11 <b_jonas> TODO: on 2025-04-01 set that month's password to "outside the scope of this wisdom entry"
09:12:56 <esolangs> [[Special:Log/newusers]] create  * Macattacc *  New user account
09:37:01 -!- tromp has joined.
09:41:15 <korvo> Hacked up a basic embedded domain-specific language for validating Sammy programs: https://gist.github.com/MostAwesomeDude/ddcd93b59f149c6d97a91c849e6a4071
09:41:31 <korvo> Gotta implement Kan extensions. Need sleep first.
09:53:33 <esolangs> [[User:JHSHernandez-ZBH/befunge98.b98]] N https://esolangs.org/w/index.php?oldid=154591 * JHSHernandez-ZBH * (+188) Created page with " ];;;;;;;;;;;;;;;;;;;;] ]@ ; ;THIS IS BEFUNGE-98; ;   ; ;;;;;;;;;;;;;;;;;;;; ;'. ;[                    [;T+ ;;;;;;;;;;;;;;;;;;;;;;;;,8 [B', ',S',I', ',S',I',H']* [,'E,'F,'U,'N,'G,'E,'-,9a["
09:56:26 <esolangs> [[Esolang:Sandbox]]  https://esolangs.org/w/index.php?diff=154592&oldid=152731 * JHSHernandez-ZBH * (+204) /* Tests */
10:51:56 -!- FreeFull has quit (Quit: Lost terminal).
10:54:23 <esolangs> [[Esolang:Sandbox]]  https://esolangs.org/w/index.php?diff=154593&oldid=154592 * 47 * (-843) /* Tests */
12:17:12 <APic> Hi
12:28:46 <esolangs> [[Esolang:Introduce yourself]]  https://esolangs.org/w/index.php?diff=154594&oldid=154590 * Macattacc * (+103) 
12:28:51 <esolangs> [[TerraScript]] N https://esolangs.org/w/index.php?oldid=154595 * Macattacc * (+2050) Created page with "This is an esolang inspired by the game Terraria. The language itself uses the names of items from the game. This does NOT include blocks and furniture; strangely, it still includes torches and their variants. This DOES include weapons, torches, accessories and co
12:47:21 <esolangs> [[STRTRAN]]  https://esolangs.org/w/index.php?diff=154596&oldid=147442 * Froginstarch * (-11) /* IO */
12:49:30 <esolangs> [[STRTRAN]]  https://esolangs.org/w/index.php?diff=154597&oldid=154596 * Froginstarch * (+61) /* IO */
12:49:53 <esolangs> [[STRTRAN]]  https://esolangs.org/w/index.php?diff=154598&oldid=154597 * Froginstarch * (+0) /* IO */
12:50:15 <esolangs> [[STRTRAN]]  https://esolangs.org/w/index.php?diff=154599&oldid=154598 * Froginstarch * (+1) /* IO */
13:30:07 -!- tromp has quit (Ping timeout: 252 seconds).
13:58:42 -!- amby has joined.
14:05:50 -!- tromp has joined.
14:20:38 -!- craigo has joined.
14:30:17 <esolangs> [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=154600&oldid=154594 * Aadenboy * (+4) clarification
15:11:48 -!- wib_jonas has joined.
15:38:42 <esolangs> [[Funge-98]]  https://esolangs.org/w/index.php?diff=154601&oldid=122690 * Tomrs123 2 * (+0) spelling error!!
15:51:20 <esolangs> [[User:JunebugEsolanging/Sandbox]] N https://esolangs.org/w/index.php?oldid=154602 * JunebugEsolanging * (+4209) Testing
15:53:28 <esolangs> [[User:JunebugEsolanging/Sandbox]]  https://esolangs.org/w/index.php?diff=154603&oldid=154602 * JunebugEsolanging * (+19) 
15:55:13 <esolangs> [[User:JunebugEsolanging/Sandbox]]  https://esolangs.org/w/index.php?diff=154604&oldid=154603 * JunebugEsolanging * (+52) /* Example Programs */
15:55:36 <esolangs> [[User:JunebugEsolanging/Sandbox]]  https://esolangs.org/w/index.php?diff=154605&oldid=154604 * JunebugEsolanging * (-52) /* Example Programs */
15:56:00 <esolangs> [[User:JunebugEsolanging/Sandbox]]  https://esolangs.org/w/index.php?diff=154606&oldid=154605 * JunebugEsolanging * (+19) /* Example Programs */
15:56:45 <esolangs> [[User:JunebugEsolanging/Sandbox]]  https://esolangs.org/w/index.php?diff=154607&oldid=154606 * JunebugEsolanging * (+38) /* Example Programs */
15:57:06 <esolangs> [[User:JunebugEsolanging/Sandbox]]  https://esolangs.org/w/index.php?diff=154608&oldid=154607 * JunebugEsolanging * (-38) /* Example Programs */
15:57:34 <esolangs> [[User:JunebugEsolanging/Sandbox]]  https://esolangs.org/w/index.php?diff=154609&oldid=154608 * JunebugEsolanging * (+6) /* Example Programs */
16:03:07 <esolangs> [[User:JunebugEsolanging/Sandbox]]  https://esolangs.org/w/index.php?diff=154610&oldid=154609 * JunebugEsolanging * (+23) 
16:13:33 -!- Sgeo has joined.
17:14:02 -!- wib_jonas has quit (Quit: Client closed).
18:19:40 <esolangs> [[Transfinite program]]  https://esolangs.org/w/index.php?diff=154611&oldid=87920 * Stkptr * (+941) /* Uncountably infinite programs */
18:59:58 <esolangs> [[Turing machine]]  https://esolangs.org/w/index.php?diff=154612&oldid=127502 * Stkptr * (+1702) 
19:10:25 <esolangs> [[Total function]] N https://esolangs.org/w/index.php?oldid=154613 * Stkptr * (+1386) Created page with "A '''total function''' is a function which is defined for all inputs, that is, no input to the function will ever result in the answer ''undefined''. In the context of computer science, machines which halt (or equivalent definitions) on a given input are considere
19:10:45 <esolangs> [[Partial function]] N https://esolangs.org/w/index.php?oldid=154614 * Stkptr * (+28) Redirected page to [[Total function]]
19:11:16 <esolangs> [[Partial]] N https://esolangs.org/w/index.php?oldid=154615 * Stkptr * (+30) Redirected page to [[Partial function]]
19:11:34 <esolangs> [[Total]] N https://esolangs.org/w/index.php?oldid=154616 * Stkptr * (+28) Redirected page to [[Total function]]
19:33:21 -!- FreeFull has joined.
19:39:30 <esolangs> [[Total function]]  https://esolangs.org/w/index.php?diff=154617&oldid=154613 * Stkptr * (+62) 
19:40:30 <esolangs> [[Diophantine equation]] M https://esolangs.org/w/index.php?diff=154618&oldid=154527 * Stkptr * (+4) /* As a model of computation */
19:59:26 <esolangs> [[Computable]] M https://esolangs.org/w/index.php?diff=154619&oldid=153819 * Stkptr * (+172) /* Non-examples */
20:08:28 <esolangs> [[Transfinite program]]  https://esolangs.org/w/index.php?diff=154620&oldid=154611 * Stkptr * (+1313) 
20:12:00 <esolangs> [[Sammy]] M https://esolangs.org/w/index.php?diff=154621&oldid=154198 * Corbin * (+181) /* References */ Cruttwell's encoding will be important.
20:14:12 <esolangs> [[Turing machine]] M https://esolangs.org/w/index.php?diff=154622&oldid=154612 * Stkptr * (+49) 
20:21:43 <esolangs> [[Clockwise Turing machine]]  https://esolangs.org/w/index.php?diff=154623&oldid=154571 * Stkptr * (+110) 
20:23:59 <esolangs> [[User:JunebugEsolanging/Sandbox]]  https://esolangs.org/w/index.php?diff=154624&oldid=154610 * JunebugEsolanging * (-108) /* Things in Switchy! */
20:53:47 <esolangs> [[Language list]] M https://esolangs.org/w/index.php?diff=154625&oldid=154577 * Buckets * (+12) 
20:54:26 <esolangs> [[User:Buckets]] M https://esolangs.org/w/index.php?diff=154626&oldid=154579 * Buckets * (+11) 
20:54:33 <esolangs> [[Aquas]] N https://esolangs.org/w/index.php?oldid=154627 * Buckets * (+1581) Created page with "Aquas is an Esoteric programming language created by [[User:Buckets]] in 2021.  {| class="wikitable" |- ! Commands !! Instructions |- | Input || Gets an input and Sets it to the Current Variable. |- | {}OP#m || If the Input is The option equalling to The Curly braces with
20:57:26 <esolangs> [[User:GreenThePear/Sandbox]] N https://esolangs.org/w/index.php?oldid=154628 * GreenThePear * (+4965) rgbl first draft
20:58:19 -!- dawids_ has joined.
21:00:04 -!- dawids_ has quit (Remote host closed the connection).
21:04:47 -!- dawids_ has joined.
21:47:44 <esolangs> [[Unsmiley]] N https://esolangs.org/w/index.php?oldid=154629 * Rdococ * (+1077) Silly idea
21:48:16 <esolangs> [[User:Rdococ]] M https://esolangs.org/w/index.php?diff=154630&oldid=154369 * Rdococ * (+68) 
22:15:04 -!- dawids_ has quit (Ping timeout: 265 seconds).
22:49:29 <korvo> Bleh, still stuck on Kan extensions, and out of time for now, but I bumped that paste with a better API: https://gist.github.com/MostAwesomeDude/ddcd93b59f149c6d97a91c849e6a4071
22:50:58 <korvo> From the "Counting Finite Categories" slides, there's a way to encode finite categories as matrices of natural numbers, and so we can reuse a lot of standard graph-theory techniques here. (Technically a category is a hypergraph with path equivalences, but this only encodes hypergraphs and we have to promise to preserve equivalent paths.)
22:59:23 <korvo> But I think that Sammy constructions are computable. Just arduous and possibly memory-intensive.
23:16:32 <esolangs> [[Sammy]]  https://esolangs.org/w/index.php?diff=154631&oldid=154621 * Corbin * (+571) Still unusable, but implemented about as much as any other underspecified language.
23:17:36 -!- craigo has quit (Quit: Leaving).