00:24:28 -!- lisbeths has joined. 00:51:25 -!- somefan has joined. 01:04:55 -!- ais523 has quit (Quit: quit). 02:47:29 -!- lisbeths has quit (Quit: Connection closed for inactivity). 04:18:11 I wrote the draft specification of Composite Character VM now and would want some opinion including about computational class and about any other concerns about it 04:53:41 [[Talk:Z-complete]] https://esolangs.org/w/index.php?diff=183116&oldid=169013 * PrySigneToFry * (+195) 04:57:06 [[Special:Log/move]] move * Cleverxia * moved [[Z-complete]] to [[-complete]]: \u2128 is fraktur Z 04:57:06 [[Special:Log/move]] move * Cleverxia * moved [[Talk:Z-complete]] to [[Talk:-complete]]: \u2128 is fraktur Z 04:59:04 [[-complete]] https://esolangs.org/w/index.php?diff=183121&oldid=183117 * Cleverxia * (-351) why don't you check [https://www.unicode.org/charts/PDF/U1D400.pdf unicode charts] 05:11:25 [[Combinatory logic]] https://esolangs.org/w/index.php?diff=183122&oldid=183047 * Cleverxia * (+316) hope I did not do the expansions wrong 05:26:50 [[Talk:Brain-os source code (not an esolang but an esolang-built OS)]] https://esolangs.org/w/index.php?diff=183123&oldid=182909 * Cleverxia * (+645) 05:27:11 [[Talk:Brain-os source code (not an esolang but an esolang-built OS)]] https://esolangs.org/w/index.php?diff=183124&oldid=183123 * Cleverxia * (+5) /* Is brainfuck a good choice? */ 05:38:44 Specifically, the document is https://raw.githubusercontent.com/zzo38/scorpion/refs/heads/trunk/charset/tron/Composite and one section is entitled "=== Composite character VM code ===". 06:11:05 [[Talk:Brain-os source code (not an esolang but an esolang-built OS)]] https://esolangs.org/w/index.php?diff=183125&oldid=183124 * Blashyrkh * (+300) /* Is brainfuck a good choice? */ 07:10:39 [[Special:Log/newusers]] create * Mrsommer * New user account 07:13:34 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=183126&oldid=183027 * Mrsommer * (+227) 07:16:07 [[Qwertyuiopasdfghjklzxcvbnm]] https://esolangs.org/w/index.php?diff=183127&oldid=183114 * Win7HE * (+540) Undo revision [[Special:Diff/183114|183114]] by [[Special:Contributions/CodePentuplets48|CodePentuplets48]] ([[User talk:CodePentuplets48|talk]]) 07:16:32 [[Qwertyuiopasdfghjklzxcvbnm]] https://esolangs.org/w/index.php?diff=183128&oldid=183127 * Win7HE * (+7) 07:26:00 [[Befunge]] https://esolangs.org/w/index.php?diff=183129&oldid=183004 * Mrsommer * (-91502) Initial page edit 07:29:01 [[Talk:Befunge]] https://esolangs.org/w/index.php?diff=183130&oldid=166578 * Mrsommer * (+339) /* I screwed up the page */ new section 07:30:55 [[Shelflife]] N https://esolangs.org/w/index.php?oldid=183131 * Mrsommer * (+10922) Page init 07:31:42 [[Befunge]] https://esolangs.org/w/index.php?diff=183132&oldid=183129 * RaiseAfloppaFan3925 * (+26442) recover half of page to get around the 50,000 max edit limit 07:35:47 [[Befunge]] https://esolangs.org/w/index.php?diff=183133&oldid=183132 * RaiseAfloppaFan3925 * (+16630) re-add another part of the page 07:36:57 [[Befunge]] https://esolangs.org/w/index.php?diff=183134&oldid=183133 * RaiseAfloppaFan3925 * (+40856) re-add another part of the page 07:37:40 [[Befunge]] https://esolangs.org/w/index.php?diff=183135&oldid=183134 * RaiseAfloppaFan3925 * (+7574) re-add last part of page 07:38:07 [[Shelflife]] M https://esolangs.org/w/index.php?diff=183136&oldid=183131 * ASCIIguy * (+164) Added notice. 07:40:55 [[User talk:Mrsommer]] N https://esolangs.org/w/index.php?oldid=183137 * ASCIIguy * (+248) Created page with "== Talk == I think this user ought to get off the Esolangs wiki while they're using an agent; it's fluffing up the wiki with nonsense and diluting it a lot. ~~~~" 07:48:57 [[INT]] https://esolangs.org/w/index.php?diff=183138&oldid=183038 * ASCIIguy * (+138) /* Examples */ 08:07:33 [[Livingfish]] N https://esolangs.org/w/index.php?oldid=183139 * ASCIIguy * (+1963) Created page with "'''Livingfish''' is an esolang based on [[Deadfish]], but it is designed for golfing and has had more capabilities added to it. For example, input in Deadfish does not exist but it does in Livingfish. == Syntax and Features == Whitespace does not matter in Livingfi 09:02:39 -!- tromp has joined. 09:09:27 -!- emery has quit (Read error: Connection reset by peer). 09:09:42 -!- emery has joined. 09:11:00 -!- Sgeo has quit (Read error: Connection reset by peer). 09:38:02 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 09:44:41 [[Talk:Brain-os source code (not an esolang but an esolang-built OS)]] https://esolangs.org/w/index.php?diff=183140&oldid=183125 * Mrtli08 * (+220) 09:46:34 [[Talk:Brain-os source code (not an esolang but an esolang-built OS)]] https://esolangs.org/w/index.php?diff=183141&oldid=183140 * Mrtli08 * (+185) 09:49:05 [[INT]] M https://esolangs.org/w/index.php?diff=183142&oldid=183138 * ASCIIguy * (-725) /* Examples */ 09:49:12 [[INT/Examples]] N https://esolangs.org/w/index.php?oldid=183143 * ASCIIguy * (+746) Created page with "Hello World: V"Hello world!" 99 Bottles of Beer: ?b99*>b0[^b" bottles of beer on the wall."]-0 Quine: ^^ Factorial: ~f.x[?c1* [[Livingfish]] M https://esolangs.org/w/index.php?diff=183144&oldid=183139 * ASCIIguy * (+68) Added Deadfish Interpreter. 09:54:45 [[Deadfish]] https://esolangs.org/w/index.php?diff=183145&oldid=176241 * ASCIIguy * (+81) /* Variants of deadfish */ 10:29:02 [[Brainhook]] https://esolangs.org/w/index.php?diff=183146&oldid=168742 * Kaveh Yousefi * (+7493) Introduced an examples section, added an interpreter implementation in Common Lisp, and altered the category tag Unimplemented to Implemented. 10:33:08 [[Special:Log/newusers]] create * LargeHardTech * New user account 10:34:37 [[Talk:Brain-os source code (not an esolang but an esolang-built OS)]] https://esolangs.org/w/index.php?diff=183147&oldid=183141 * Blashyrkh * (+590) /* Is brainfuck a good choice? */ 10:35:18 [[Brainhooking]] https://esolangs.org/w/index.php?diff=183148&oldid=138529 * Kaveh Yousefi * (+9753) Introduced an examples section and added an interpreter implementation in Common Lisp, imputing a signed binary number to be expected in its two's complement plasmature. 10:35:47 [[Comma]] N https://esolangs.org/w/index.php?oldid=183149 * ASCIIguy * (+3048) Created page with "comma (always lowercase) is an assembly language for a 4-bit fantasy chip known as the COMM4. == Registers and RAM == comma has access to 256 bytes of RAM, though this does not limit program size as the program is stored in ROM; this means it cannot be changed. Although 10:37:33 [[Talk:Brain-os source code (not an esolang but an esolang-built OS)]] M https://esolangs.org/w/index.php?diff=183150&oldid=183147 * Blashyrkh * (-5) /* Is brainfuck a good choice? */ reword a little bit 10:41:34 -!- svm has joined. 10:44:29 -!- msv has quit (Ping timeout: 265 seconds). 10:45:18 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=183151&oldid=183126 * LargeHardTech * (+74) /* Introductions */ 10:55:47 [[NAND]] N https://esolangs.org/w/index.php?oldid=183152 * * (+3580) Page created. 10:56:03 [[Language list]] https://esolangs.org/w/index.php?diff=183153&oldid=182807 * * (+11) /* N */ New language added. 10:58:57 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=183154&oldid=183151 * LargeHardTech * (+96) /* Introductions */ 11:01:02 [[Special:Log/upload]] upload * ASCIIguy * uploaded "[[File:H.png]]" 11:01:56 [[Colours]] N https://esolangs.org/w/index.php?oldid=183156 * ASCIIguy * (+1110) Created 11:04:13 [[Sprh]] N https://esolangs.org/w/index.php?oldid=183157 * LargeHardTech * (+6070) Created page with "Esolang Wikisprh --- SPRH is an esoteric programming language designed by LargeHardTech in 2025. The name stands for **S**low (interpreted execution, feeling each step of change), **P**oor Readability (poor code readability, challenging the mind), and **H**ard (har 11:04:32 [[Sprh]] https://esolangs.org/w/index.php?diff=183158&oldid=183157 * LargeHardTech * (-152) 11:06:27 [[Sprh]] https://esolangs.org/w/index.php?diff=183159&oldid=183158 * LargeHardTech * (-339) 11:06:38 [[FuckTheBit]] https://esolangs.org/w/index.php?diff=183160&oldid=169836 * * (-28) Broken link deleted. 11:07:17 [[]] https://esolangs.org/w/index.php?diff=183161&oldid=181343 * * (+6) Broken link fixed. 11:08:06 [[VisE]] https://esolangs.org/w/index.php?diff=183162&oldid=180728 * * (+10) Broken link fixed. 11:11:19 -!- ais523 has joined. 11:24:05 [[Windy]] https://esolangs.org/w/index.php?diff=183163&oldid=182009 * * (+1) Broken links fixed. 11:26:16 -!- Lord_of_Life_ has joined. 11:26:50 -!- Lord_of_Life has quit (Ping timeout: 245 seconds). 11:29:09 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 11:33:29 -!- amby has joined. 11:41:19 [[(A)-rightarrow(B)]] https://esolangs.org/w/index.php?diff=183164&oldid=174124 * * (+126) Lead, section added; categorization. 11:44:35 [[1-Bin]] https://esolangs.org/w/index.php?diff=183165&oldid=182247 * * (+62) Link fixed, categorization. 11:46:42 [[Colours]] https://esolangs.org/w/index.php?diff=183166&oldid=183156 * Cleverxia * (+94) categories 11:47:59 [[Colours]] https://esolangs.org/w/index.php?diff=183167&oldid=183166 * Cleverxia * (+0) 11:48:10 [[]] https://esolangs.org/w/index.php?diff=183168&oldid=183161 * * (+76) Categorization. 11:49:14 [[FuckTheBit]] https://esolangs.org/w/index.php?diff=183169&oldid=183160 * * (+23) Categorization. 11:49:46 -!- tromp has quit (Read error: Connection reset by peer). 11:50:55 [[12]] https://esolangs.org/w/index.php?diff=183170&oldid=165375 * * (+85) Categorization. 11:53:13 [[12 machine]] https://esolangs.org/w/index.php?diff=183171&oldid=177328 * * (+117) Categorization. 11:55:12 [[18]] https://esolangs.org/w/index.php?diff=183172&oldid=169214 * * (+76) Categorization. 11:59:23 [[1AMB0A]] https://esolangs.org/w/index.php?diff=183173&oldid=168704 * * (+76) Categorization. 12:02:46 [[2027]] https://esolangs.org/w/index.php?diff=183174&oldid=171795 * * (+76) Categorization. 12:04:58 [[2147483647Funge]] https://esolangs.org/w/index.php?diff=183175&oldid=166707 * * (+118) Categorization. 12:05:34 [[2D-Reversable/Python Implementation]] https://esolangs.org/w/index.php?diff=183176&oldid=178984 * * (+29) Categorization. 12:06:11 [[2D-Reversable 2/Python Implementation]] https://esolangs.org/w/index.php?diff=183177&oldid=178985 * * (+29) Categorization. 12:10:02 [[2DSPC]] https://esolangs.org/w/index.php?diff=183178&oldid=154895 * * (+115) Categorization, capitalization. 12:10:33 [[2 commands :(]] https://esolangs.org/w/index.php?diff=183179&oldid=169185 * * (+77) Categorization. 12:11:34 [[2 digits, 50 digytes]] https://esolangs.org/w/index.php?diff=183180&oldid=153704 * * (+86) Categorization. 12:12:54 [[2 variable trickery]] https://esolangs.org/w/index.php?diff=183181&oldid=171485 * * (+84) Categorization. 12:15:14 [[2b]] https://esolangs.org/w/index.php?diff=183182&oldid=135311 * * (+160) Categorization. 12:22:03 -!- somefan has quit (Ping timeout: 246 seconds). 13:02:42 -!- somefan has joined. 13:02:43 -!- somefan has changed hostmask to ~somefan@user/somefan. 13:21:17 -!- jinn6 has changed nick to jinn6-6-2026. 13:55:39 [[Brainhooking]] https://esolangs.org/w/index.php?diff=183183&oldid=183148 * Kaveh Yousefi * (+62) Supplemented a See also section, referencing the cognate Brainhook specimen. 14:24:02 -!- joast has quit (Quit: Leaving.). 14:39:14 -!- somefan has quit (Ping timeout: 248 seconds). 14:55:54 -!- somefan has joined. 14:55:54 -!- somefan has changed hostmask to ~somefan@user/somefan. 15:22:55 -!- joast has joined. 16:37:10 [[Sprh]] https://esolangs.org/w/index.php?diff=183184&oldid=183159 * Corbin * (+29) Tag as slop. This article, as well as the git repository, has evidence of being prepared with Claude. 16:37:47 Nobody tell the newbies that Claude's choice to generate Markdown is *very* conspicuous in a Mediawiki article. 16:39:49 [noted](https://logs.esolangs.org/libera-esolangs/2026-06-06.html#lKb) 16:40:58 (nb I hate that particular syntax so much because my brain would much prefer to put the link first) 16:42:32 int-e: I also hate that particular syntax, not because of the order but because URLs can have right parenthesis in them so right parenthesis is not a good delimiter for an URL. fortunately markdown has an alternative syntax that I can use in most places. 16:49:19 -!- ais523 has quit (Quit: quit). 16:52:14 -!- ais523 has joined. 17:20:01 -!- Lord_of_Life has quit (Excess Flood). 17:21:54 -!- Lord_of_Life has joined. 17:26:59 -!- Sgeo has joined. 17:32:08 -!- aadenboy has joined. 17:32:14 morning 17:57:24 I usually use the footnote syntax for markdown links, even in comments and the like.. i.e. [foo][1] and [1]: https://path/to/link 17:57:34 I find it easier both to read and write :p 18:23:13 [[Combinatory logic]] https://esolangs.org/w/index.php?diff=183185&oldid=183122 * Bobby Jacobs * (+14) 19:43:44 -!- Guest88 has joined. 19:49:09 -!- tired2 has joined. 19:49:19 Hi! 19:50:09 -!- Guest88 has quit (Quit: Client closed). 19:50:23 Howdy. 19:50:30 How are you? 19:52:29 I'm fine. Writing a new calling convention for [[Vixen]]. 19:54:57 -!- tired2 has quit (Ping timeout: 246 seconds). 20:04:09 ais523: I want to ask you my rust question too, because it may be related to your complaints about how references work. I'm writing some functions that use randomness, and making them rust generic so that I can compile them in two ways: either using a global random state, or using a mutable random state that I pass to the function by mut reference. In my first attempt, I wrote something like `trait 20:04:15 RandomGenerator { ... } ... impl RandomGenerator for &mut XofRandomGenerator { ... } ... fn use_randomness(..., rng: R)`. this worked in the simplest cases, but the problem is that if a function generic over the random generator wants to call two functions each generic over the random generator one after another then it'd have to move the random generator into both. so my second 20:04:21 attempt says `trait RandomGenerator { ... } ... impl RandomGenerator for XofRandomGenerator { ... } ... fn use_randomness(..., rng: &mut R) { ... }`. and I think this works (it currently fails at runtime for reasons unrelated to this discussion, I'm still debugging it). but it feels wrong, because its consequence is that if I'm using the global random state then I'm passing around a 20:04:27 mut reference to a zero-sized type, and I don't think the compiler can optimize that reference away in general, because it doesn't know that the address of the zero-sized type doesn't matter. 20:05:42 so what's the best way to be generic in this way? 20:14:07 b_jonas: in present Rust I don't think there's a perfect way (but the most common approach is to have RandomGenerator: Copy and then make the mutable-random-state version a shared reference and use interior mutability) 20:14:25 what you really want is R: Reborrow but the reborrow trait isn't implementable in current Rust (although there are people working on it at the moment) 20:15:04 I see 20:15:13 specifically, language changes to make the trait implementable 20:15:39 and yes, this is extremely close to the bits of Rust theory I've been working on 20:16:00 -!- emery has quit (Read error: Connection reset by peer). 20:16:27 -!- emery has joined. 20:16:34 -!- emery has quit (Read error: Connection reset by peer). 20:16:59 -!- emery has joined. 20:21:43 if the RandomGenerator must be Copy, then will the rust lifetime system still be able to express that it mustn't use the random state after its lifetime even through the generic constraint? 20:26:10 b_jonas: yes, &'a T is Copy, this is no different 20:26:38 ok 20:28:32 this is the reason why every type with a generic type parameter needs to declare its variance (in case the generic type includes a lifetime) 20:29:06 although Rust deduces the variance implicitly except when you're using unsafe code (or when the parameter is unused, which is a sign that you're intending to use it for something it can't see) 20:29:40 I dislike the "unused" rule, often the reason I am not using a generic parameter is because I generated the code with a macro and it genuinely isn't using the generic for anything 20:30:50 although there is a somewhat weird workaround (blanket-implement a trait on all types that has an associated type that's always (), then include the associated type as a field in the generic type – Rust thinks that the variance might be used via the trait (even though it isn't) and so allows it) 20:30:56 and the trait doesn't inform the compiler of the variance in generic context? 20:31:52 I think anything that gets used via a trait is forced to be invariant 20:32:21 fwiw, I am of the opinion that variance/subtyping is *usually* a mistake 20:32:42 this turned out to be the case when I was doing my PhD thesis, and in Rust I think it's also a mistake compared to using outlives bounds 20:32:45 (although I'm not sure) 20:33:00 the issue is that it solves a lot of common cases but generally doesn't work in complex cases 20:33:16 so it would have been better to use a more general solution from the start 20:35:52 oh probably, I should just make the random seed type compile-time fixed, and changable via compilation options, rather than a rust generic parameter 20:36:08 like, the whole genericness is too strong here 20:40:28 anyway, for the stateful rng, I'm using the sodium_xof_* API which is new in recent libsodium versions 20:41:11 at least in my current program 20:49:40 -!- sprock has joined. 20:52:47 -!- emery has quit (Read error: Connection reset by peer). 20:57:08 -!- emery has joined. 21:39:51 -!- sprock has quit (Ping timeout: 255 seconds).