Post B6YoR060PBFuP7T3Gi by andnull@social.nouveau.community
(DIR) More posts by andnull@social.nouveau.community
(DIR) Post #B6YkPeW0kvzpMojWPw by andnull@social.nouveau.community
0 likes, 0 repeats
New catlang post to lobsters but the server for the blog is chugging :stacky_ohno:
(DIR) Post #B6YkPejTwqlu2b2HPk by andnull@social.nouveau.community
0 likes, 0 repeats
Another sloppist :(https://robida.net/ai
(DIR) Post #B6YkPevtCihEf4qBkm by neauoire@merveilles.town
0 likes, 0 repeats
@andnull boo
(DIR) Post #B6YkU6YiQs9bV87Zx2 by neauoire@merveilles.town
0 likes, 0 repeats
@andnull it's true, nobody actually writes in catlangs
(DIR) Post #B6Yl7xAikiBXyGto6y by andnull@social.nouveau.community
0 likes, 0 repeats
@neauoire Langdev space in general is full of people posting slop projects. There is however steady work still being done. @yumaikas is slowly refining the Zig implementation of StackTalk. Periodically, seeing update post from tz they build out a whole IF style IDE for their languag.But so many people just want to churn out a flashy looking project for the clout of publishing something.
(DIR) Post #B6YlPjpx4PxHpGfINE by andnull@social.nouveau.community
0 likes, 0 repeats
@neauoire Slap was a huge let down cause it had so many neat things going and I would have loved to share it with the catlang discord but :stacky_oof:https://lobste.rs/s/3fprl8/slap_functional_concatenative_language#c_kgvanm
(DIR) Post #B6YlPk3QGKjMV2y3N2 by neauoire@merveilles.town
0 likes, 0 repeats
@andnull ah yes, well he's quite a famous slopper, that doesn't surprise me.
(DIR) Post #B6YlvEfsT1KqRZyKJc by neauoire@merveilles.town
0 likes, 0 repeats
@andnull it's bizarre to make llms spit out programing languages knowing that you won't be using said programming language anyways, seems utterly stupid to clutter the PL space with that useless stuff, my guy, stick to javascript
(DIR) Post #B6Ymer1cj74uPxtcps by andnull@social.nouveau.community
0 likes, 0 repeats
@neauoire fr, granted a lot of PL dev seemed to be driven my extrinisic motivitation rather than intrinisic motivations. It was a vibe I picked up when I noticed all PL designed started to homoginize around Rust/Go/Zig clones.
(DIR) Post #B6YmzI4bs7IQ682OtU by neauoire@merveilles.town
0 likes, 0 repeats
@andnull I can imagine this being true for Algol-shaped junk, 100%, but it's why it seems doubly wild that someone would come into catlang space with that mindset, if you're extrinsically motivated, part of you must be like "this is going to take over", or something like that.
(DIR) Post #B6YnXoVBoE6kWGvqQi by andnull@social.nouveau.community
0 likes, 0 repeats
@neauoire I'm here explicitly for the fact catlangs ward off enterprise brain development đ©
(DIR) Post #B6YneUvOzl4DpSNclU by neauoire@merveilles.town
0 likes, 0 repeats
@andnull same â LEAVE US ALONE
(DIR) Post #B6YnsEGliSo8E9vCiW by slava@mathstodon.xyz
0 likes, 0 repeats
@andnull @neauoire There is a legitimate need for safe(r) systems languages that give you precise control over memory, because there are still plenty of problem domains where something more dynamic canât really work. But definitely I agree that the search for the âC++ successorâ has sucked the oxygen out of the room in the language design space, feels like a fad at this point
(DIR) Post #B6YnsERl3bb8mF3yqW by neauoire@merveilles.town
0 likes, 0 repeats
@slava @andnull If all that energy can remain pointed a this, I certainly hope that this siren's song keep entrapping these people a while longer, so that PL can begin to heal.
(DIR) Post #B6YoNWaLfVBS0g0EZk by joe@f.duriansoftware.com
0 likes, 0 repeats
@slava @andnull @neauoire the way all of these successor languages blow complexity on metaprogramming features trying to get back to dynamic language expressivity, i wonder if the "systems language" should just be an EDSL you piece bits of together inside of a real programming language. what if C but the preprocessor is your smalltalk environment
(DIR) Post #B6YoNWqegsEApFdFzc by jrose@belkadan.com
0 likes, 0 repeats
@joe @slava @andnull @neauoire we could call it "C with Classes"
(DIR) Post #B6YoNX2LzNaLPX6bE8 by neauoire@merveilles.town
0 likes, 0 repeats
@jrose @joe @slava @andnull We could call it.. Objective-C
(DIR) Post #B6YoR060PBFuP7T3Gi by andnull@social.nouveau.community
0 likes, 0 repeats
@neauoire @jrose @joe @slava Okay, but interactive C preprocessing REPL sounds kinda fun,,,
(DIR) Post #B6Z3Tio6dguwxuqoXw by joe@f.duriansoftware.com
0 likes, 0 repeats
@neauoire @jrose @slava @andnull indeed. ObjC and C++ keep the higher language plane subordinate to the C runtime model, though, so you have to think directly about manual memory management, callstacks, calling conventions, etc. i was thinking of something more flipped around, where the "C" bits are pieces in a limited-abstraction environment that you can build up, compose, evaluate, or compile-and-jettison from the higher-level plane
(DIR) Post #B6Z3TjLmcTr8eMbi2S by graydon@types.pl
0 likes, 0 repeats
@joe @neauoire @jrose @slava @andnull There's a gradual coalescing of ideas for useful imperative EDSLs in Lean (Strata, Loom, the built-in monadic VC generator tactic in Lean) -- and at least a sort of pitch being made for a consolidation of efforts by https://arxiv.org/abs/2602.04846 ? Of course it is all happening in a modern context of "what if an LLM drove, and humans mainly focused on the logic tools surrounding them"; but I don't think that's necessarily a bad thing; these ecosystems are already strongly organized around proof irrelevance and automated term-search. I know I'm in a minority but it feels like a glimmer of a promising potential future, if capital remains intent on LLM-ifying the world (especially if there is some modularity to the abstraction layers built on top; there's lots of real and interesting PL-and-logic engineering to do there)
(DIR) Post #B6Z3TjusVzvePD1jk0 by andnull@social.nouveau.community
0 likes, 0 repeats
@graydon @joe @neauoire @jrose @slava Oh great the LLM reply guy is here
(DIR) Post #B6Z3TkDfO8xRLTok1g by neauoire@merveilles.town
0 likes, 0 repeats
@andnull @graydon @joe @jrose @slava my dream form is finally within my grasp