João Fé retweeted
People who use absolute dog shit, worst of the worst, you’d be better off doing any kind of unskilled manual labor tier programming languages are all really upset today. Wonder why…
João Fé retweeted
How on earth did this happen:
The Indian certificate authority (CA) eMudhra had one job (well, two):
1. Create secure, 384-bit private keys
2. Store these securely and do not leak them
Well, eMudhra chose private keys between 1 and 256 (the numbers!!) and called it a day. WTF
João Fé retweeted
Unison Cloud, our distributed computing platform, is now open source: unison-lang.org/blog/unison-…
✅ Service deploys in seconds.
✅ Fast, typed, inter-service communication
✅ High level, multi-node structured concurrency programming model
✅ Typed storage
...and more
João Fé retweeted
"Every bottleneck we remove immediately leads to a further increase in the amount of code we produce."
More value, more features, more quality. These are the things one wants more of.
Not more code.
theregister.com/devops/2026/…
João Fé retweeted
If SQLite is not enough for your new business idea then your business is already well past the scale where you, as a founder, need to micromanage your infrastructure.
João Fé retweeted
Every type of AI agent in existence (even customer service bots!) should be a coding agent, because coding gives agents the ability to write programs to carry out user requests, and therefore exponentially expands their ability to reliably solve problems.
João Fé retweeted
After six years in stealth, Atomic Machines is out. Our mission: on-demand, universal command of matter. First beachhead: the Matter Compiler, an AI-native manufacturing system that builds working micro-machines from code alone. No per-product tooling. No process development. Different code, different machine.
João Fé retweeted
Software Foundations In Lean. ~ Benjamin Pierce et als. renaissancephilanthropy.org/…
#LeanProver #ITP
João Fé retweeted
Unison 1.5.0 is out, featuring GADTs and indexed abilities. Also some new builtins for variadic FFI, POSIX signal subscriptions, and error message improvements.
Release notes: github.com/unisonweb/unison/…
GADT docs:
unison-lang.org/docs/fundame…
João Fé retweeted
Ultimately, this is the actual value of “agentic programming:” it’s a litmus test for whether someone has the most rudimentary programming taste or not (inb4 accusations of “elitism” & “gatekeeping,” both of which we desperately need more of).
João Fé retweeted
clean code guy @unclebobmartin says he creates good software without reading the code
was curious so I spent an afternoon reading some recent code.
not sure i agree, PR here 🤗
github.com/unclebob/crapper/…
TL;DR: read the code pls Bob
xitter.cf/unclebobmartin/status/…
João Fé retweeted
Replying to @ZubyMusic
Monarchies have lower crime, inflation, taxes, and better protection of property rights. The only thing democracies do better is give you the delusion that your vote for one bankster-selected pedo or the other matters.
João Fé retweeted
I’m beyond excited about this. We are bringing together startups, academics, hackers, and random degenerate type theory friends of ours, to answer the following question totally empirically: *are current LLMs good enough to let normal SWEs without specialized training write meaningful, formally verified software*?
The answer may be a resounding no! In which case, we will analyze each failure point and suggest corresponding research directions for usable fm.
You should join us. It’s gonna be rad!
We’re organizing Vibecheck, a formal methods hackathon with some of the best folks in the space - @maxvonhippel, @qd_forall, @nolanlwin, @jessemhan, @emiyazono, and @workersio.
You’ll get a weekend to build real production software, and formally verify it.
We’ll have people who really know their stuff around to help, and you can come with a team, find one there, or just hack on something yourself.
We are glad to have a phenomenal group of sponsors, including @harmonicmath, @mathematics_inc, @theoremlabs, @thegp, @omnicom, @primeintellect, @astriolabs, @buildwithparty, @wearerandomlabs, and @lanyon_ai, as well as some more we will announce in the coming days!
If you’re a hacker, a formal methods person, or just someone who thinks “how do we know it works?” is an interesting question, we’d love to have you.
Signup Now: fmxai.org/vibecheck/
João Fé retweeted
Having contributed to the advance of software engineering, it is sad to see the rise of a new profession, slopware engineering.
João Fé retweeted
Experience gives perspective. Programming is not dead, and never will be.
It's late September 2026. Sometime in September 1976, just after I entered college, I wrote and ran my first serious program. I have now been a programmer for literally 50 years.
And man, I have seen it *all*. Punched cards to glass ttys on minicomputers to workstations to the earliest micros. I've written business software, communication programs, development tools, games, language implementations, kernel device drivers, graphics libraries, a few critical pieces of infrastructure, and all manner of odd programs for which there is no taxonomy. Coded in a score of languages some of which are now forgotten. I've run over 70 open-source projects and contributed to at least as many more.
Along the way I noticed a few things, and wrote about them, and that made me famous. But I'm not here to write about that today. I'm here to write about what it means to be a programmer and a technologist with the Singularity upon us.
I have lost count of the number of times I have been told "programming is over". You kids may think this is a new claim that came into the world with LLMs. Hah! There's been that kind of talk at every step function in the quality of our programming tools. I first heard it when compilers were replacing hand-hacked assembler in the early 1980s, and I wouldn't be a bit surprised if somebody said it earlier when in-memory code replaced plugboards.
One constant amidst all this change is that the intentions in a user's head do not magically turn into executable instructions that a computer can run. Another constant is the mindset of the people who specialize in bridging the gap between wish and algorithm. A programmer is a programmer is a programmer - the tools are secondary.
"But it's different this time!" some people will say, "AIs are superhuman now!" So? What did you think the optimization stage of a compiler was, chopped liver? We've been relying on tools that exceeded human capabilities all along - we built them precisely because our meatbrains could not otherwise keep up with the demands of the job.
It's been a hell of a ride, that 50 years. I've succeeded and failed and succeeded again. Done a lot of work I'm proud of. Built at least a few things that look like they're going to last. None of that goes away because, hypothetically, an AI might have made me faster.
The work is never done, even if the tools can talk to us now. Because intentions still have to be communicated; people who specialize in that and develop right mindset to do it still have a major advantage over people who don't.
If you're feeling depressed because you spent years or decades developing hand-coding skills that are obsolete now? Buck up. You still have the most important asset - a mind that knows how to think that way.
I'm facing the winds of the Singularity with a smile. Because 50 years and I'm still standing - still shipping code that people can use, still learning, still refusing to be paralyzed by the pace of change.
The best therapy for your uncertainty? Get to work on something.
João Fé retweeted
Replying to @GergelyOrosz
In my career, compilers have always generated better code that I ever could have. I find this to be increasingly so with contemporary AIs.
But you know what neither can do better than me?
Knowing what software to write, what shape it should take, and what I want it to do.
The entire history of software engineering has been one of rising levels of abstraction.
This is how it was, how it is now, and how it shall be in the fullness of time.
João Fé retweeted
AI won't replace developers. It will overwhelm Product.
Engineers won't lose jobs because AI writes the code, but because Product will fail to keep up with delivery speed.
João Fé retweeted
I learned this a long time ago, but the most important lesson was shutting up about it. It does help when naming stuff in a compiler project though.

























