geek of programming languages, operating systems, and hypermedia platforms
Joined April 2008
- Tweets5.4K
- Following1.6K
- Followers5.1K
- Likes14.2K
Manuel Simoni retweeted
Carmack on Goose:
That looks really neat! The automatic analysis and use of multiple data stacks and resizable fields takes it from "lots of work can be done this way" to "basically everything can be".
The relative references and built in binary structure validation also enable direct memory mapping of data structures and immediate use of network data. "Parsing" file and network data is often 100x slower than it needs to be.
Manuel Simoni retweeted
The "rewrite it in Goose" movement is already gaining steam, see here some early results of rewriting expertly written ninja/json/yaml/jq parsing in Goose and getting large speedups: github.com/calpeyser/goose-e…
Manuel Simoni retweeted
TIL that global spending on alcohol is still larger than AI infrastructure spending this year ($1.7T vs $1.5T)
Manuel Simoni retweeted
Invent type system
Make it unsound so that it’s very hard to be sure how edge cases are handled
Keep hallucinating new implementations back and forth
Make wild claims about performance
Can’t actually tell me if it type checks the same things
Mfw
Manuel Simoni retweeted
A fragment of OpenAI’s Navier-Stokes proof in Lean and the same translated by Astra to Naproche-ZF, which uses ForTheL for surface syntax (yes, you are looking at a formal language, not natural prose) and a version of set theory for semantics.
There should be a ForTheL frontend for Lean to lessen the pain of reading slop and unite the English proof and the code proof in one single artifact. That way there will be no mismatch scandals. But if ForTheL becomes the standard, Lean might not be necessary after all; any good backend with a better understood metatheory will do.
Manuel Simoni retweeted
UNTESTED INTERNALS. UNACCEPTABLE RISKS.
ALT You wouldn’t certify a car by black-box tests alone
Manuel Simoni retweeted
At some point, the German auto engineering ethos changed from "build the eternal car, the final car!" to "infinite levels of un-serviceable complexity that you just scrap after a 7 year lifespan."
Manuel Simoni retweeted
text editing has probably done more damage to the fields of computers, HCI, and design than any other incentive or obstacle
using runs of characters to represent everything everywhere all of the time, and then elevating it into sacred practices is beyond retarded
Manuel Simoni retweeted
By popular demand, here's an actual screenshot from the Turbo Haskell editor, which should be available using `thc edit` soon. @dysinger's joke spoiled my surprise. ;)
Manuel Simoni retweeted
So, a lot of people are merely comparing modern PLs to ancient assembly languages instead of contemplating what assembly could be, or what it would have been if we had chosen assembly + metaprogramming over interpreters + compilers.
Manuel Simoni retweeted
You see how this looks like some senior developer's wet dream side project, right? How was Steve Jobs the guy who greenlit this?
Manuel Simoni retweeted
This new git support, by the way, works entirely in a Durable Object, no container, no bash, no CLI tools of any sort. The agent gets file read/edit tools and the ability to run JavaScript code, everything else is exposed via JS APIs.
There isn't even a "virtual filesystem" in the traditional sense. There is a git tree, and then modifications on top are represented as operational transforms, up until the agent commits, which creates a new git tree. File states from any point in the chat history can be recreated trivially.
To achieve this, Cloudflare OS deeply understands git's object model. Each workspace has a git object store. Gadget code is also stored in this git store, BTW.
git is a beast of a CLI but its underlying storage model is incredibly elegant.
Manuel Simoni retweeted
Git at Scale (by cursor) has been one of the most interesting blog posts i've read in a while. It came right when I was frustrated with Shopify's internal git system.
As an exercise, I've implemented it over the weekend as open source. It's a single rust binary that you can point at any S3 type object store. It uses WAL and CAS primitives and requires no other data store.
It also implements bundle-uri so large git repos (like our mono) are very fast to download as a chain of static bundles. Also comes with basic familiar UX.
github.com/tobi/walgit
Manuel Simoni retweeted
Common Lisp with the frontier models and thoughtful tooling setup is so unbelievably fucking extremely powerful, I almost don't even want to talk about it because it's like describing a dream or nightmare, there is no way to do it justice
Manuel Simoni retweeted
A new post: "When the Hard Part Stops Being Hard". The gist: the effort that used to be required for a publishable PL result can now be full automated with AI, and the field's research culture is already changing because of it.
proofsandintuitions.net/2026…