Typed functional programming.

Dublin City, Ireland
Joined August 2022
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…
7
3
4
88
7,898
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
I don't really understand why this would happen. It seems higher-effort than standard key generation.
226
645
128
7,501
469,784
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
4
15
6
81
3,435
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/…
13
36
3
263
11,024
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.
7
3
95
2,272
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.
7
3
24
1,701
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.
786
2,263
918
18,256
3,029,113
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).
Sorry G, but calling Go “beautifully designed” is a immediate unfollow for me. We just have too different of perspectives on what that means. Math is beautiful. Go’s error handling is the least mathy thing ever in programming.
5
7
108
8,137
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/…
People seem shocked that the author of Clean Code doesn't read code anymore. But that should not be surprising. Why did I write Clean Code? What is the goal of keeping code clean? To get it out of the way of the real job -- thinking.
19
16
10
542
118,909
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.
10
21
2
262
5,674
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/
4
11
1
83
33,954
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.
56
121
12
1,228
41,120
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.
140
585
98
3,053
186,600
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.
48
269
30
1,764
138,538
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.
1
1
6
384
João Fé retweeted
Replying to @aramh
I wrote a _random_ theorem (or specification) for my software in LEAN and the LLM found a proof (or implementation) THEREFORE my software is __CORRECT__. EASY.
4
1
73
3,955
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.
After programming for 16 years, I finally learned the difference between “function arguments” and “function parameters”. I’ve been using them interchangeably assuming they’re synonyms.
3
1
59
5,341
João Fé retweeted
Manufacturing won on conformance, not quality: there was a spec, and every unit was checked against it. Software never really had that. The missing piece was not the checking per se, it was the spec. Both of the programming language and of the program. That part is changing now.
4
3
9
1,992