What Functional Programmers Get Wrong About Systems - Ian Duncan
Type systems verify properties of programs. Production correctness is a property of systems. The gap between these is where the interesting failures live.
My recent rumination about “The Greatest Invention Is…” triggered some thinking around my long-held beliefs about the duality of technology. It left me brooding over the weekend about t…
LaSuite - L'espace de travail ouvert et souverain des agents de l'État
Une suite cohérente d'outils open source, sécurisés et simples d'utilisation, conçus pour aider les agents publics à créer, organiser, décider et collaborer en toute confiance.
The source code was the moat. But not anymore – Vallified
Last week I started using some of the new coding agents properly. Not in a careful, experimental way, but properly -- for three days on rqlite. Claude Code. Copilot CLI. Tools I had yet to fully integrate into how I write software. If you know the Star Trek episode The Doomsday Machine -- where Kirk…
For some reason or other, people have been posting a lot of excerpts from old emails on Twitter over the last few days. The most vital question everybody’s asking themselves is: What’s …
Accessible personal websites are easier than you think
A lot of people in the small web space have a tendency to get intimidated by the idea of making their website accessible. This, of course, results in many websites being inaccessible for many people. But when you’re just one person, meeting the Web Content Accessibility Guidelines (WCAG) is
‘Frankly we’re a bit lucky’. Thomson Reuters CTO on making money from GenAI
Kirsty Roth is CTO of Thomson Reuters, the content-driven technology powerhouse that provides information and tools for the professions, a position that puts her in ...
“Unsituated knowledge” and the lack of a “world model” in so-called “AI"
In 1988, Donna Haraway proposed the concept of "situated knowledges" grounded in individual and community perspectives, as opposed to knowledge grounded in "a conquering gaze from nowhere". Gary Marcus has criticized Large Language Models and what Emily M. Bender and Alex Hanna call their "synthetic text-extruding machines" (STEMs) for lacking
After I published my “velocity is the new authority” essay, a reader and dear friend emailed and asked if my framework explained the fraught relationship between media and the technology …
La Suite numérique is a set of open-source applications for digital collaboration and teamwork. It offers modern solutions for the digital workplace. - La Suite numérique
Substack Raised Another $100 Million, Which, I Bet, Is Already Being Flushed Down the Same Toilet as Their First $100 Million
I firmly believe one could build a very nice business taking 10 percent of subscription revenue for a blogging/newsletter platform, if you could get as nice a roster of popular writers to build on the platform as Substack has. I do not think that’s a $1 billion business, though.
Let’s set Substack’s “Nazi problem” aside for a moment. What if the bigger issue is being stranded on a collapsing platform... with a bunch of Nazis?...