421
My Software North Star
Loris Cro's Blog
422
Backpressure is all you need
Hot takes and cold truths on software, startups, and the lies we tell ourselves.
423
AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura
Leo de Moura on Formal Proofs, AI Agents, and the End of “Trust Me” Code. Subscribe: Apple • Spotify • … More
424
The Folders Programming Language
Created 2015 | Updated 2026 | One of Forty-Four Esolangs , by the creator of Rivulet and Velato
425
426
Branchless Quicksort faster than std:sort and pdqsort with C and C++ API
Performance results naturally depend on the underlying hardware. The following benchmarks show the execution times for sorting 50 million doubles using different sorting implementations. The measurements were taken on an Apple M1 system using Clang and on an AMD Ryzen 3 Linux system using GCC , both compiled with the…
427
Gribouille 0.3.0: A Grammar of Graphics for Typst
Gribouille 0.3.0 gives guides and axes a much finer on/off switch, lets compose() carry its own theme, and makes geom-area() stack by default. A long list of legend and annotation fixes rounds it out.
428
Visualizing Rust's Vtables: How dyn Trait Works In Memory
A follow-along series of coding experiments as I explore Rust's peculiarities, from a C++ developer's perspective.
429
Good results fine tuning a local LLM like Qwen 3:0.6B to categorize questions
<p>As a fun personal project, I have been working on a chatbot for answering general questions about my household on anything from maintenance questions to doctor’s appointments. </p> <p> The general idea is that the chatbot will get its household knowledge through RAG from querying a vector database, but for better…
430
F/OSS Comics #13: BSD Unix, Part 3 – The Beginning of BSD Unix
From Pascal and ex tapes to a VAX system: Bill Joy handles BSD distribution and debugging, then joins Ozalp Babaoglu to bring virtual memory to Unix.
431
It's OK to compare floating-points for equality
NB: The title of this post is an intentional clickbait. Even though I do stand for its statement, a more honest one would be something like: It's NOT OK to compare floating-points using epsilons.
432
My graduation cap runs Rust
Eric Park's website
433
An AI Vibe Coding Horror Story
A medical professional built a patient management app using AI, exposed all patient data unprotected to the internet, and sent voice recordings to AI services without consent. Likely violating Swiss nDSG and other laws.
434
Please stop flooding our projects with AI slop to furnish your CV
Successful contributions to open source projects are a kind of currency. GitHub in particular encourages this in a number of ways: by showing avatars of contributors on repository pages, by showing your contributions to your followers via the activity feed and by signalling contributions per day on the activity graph…
435
Switch Lowering in GCC
We have seen in a previous post that switch statements are more complex than they seem. The compiler is able to implement them as a decision tree (even though maybe it shouldn't). Is that everything it can do?
436
C++26 Shipped a SIMD Library Nobody Asked For
std::simd Can't Express 90% of Real SIMD Code
437
Plain text is still one of the best technologies we have
Plain text is portable, inspectable, searchable, easy to back up, and remarkably resistant to obsolescence. Its simplicity has helped it survive decades of...
438
Backseat Software
What if your car worked like so many apps? You’re driving somewhere important…maybe running a little bit late. A few minutes into the drive, your car pulls over to the side of the road and asks:
439
Font Rendering from First Principles
Learn what it takes to build a font renderer from scratch in C.
440
The Agentic AI Handbook: Production-Ready Patterns
A comprehensive guide to 113 production-informed patterns for building reliable AI agents.
441
A perfectable programming language
At a party, Sydney Von Arx asked if I could name 40 programming languages. Yeah, that's the Bay for you. Racket, Agda, Clean, Elm, TypeScript, sh, ASP, Verilog, JavaScript, Scheme, Rust, Nim, INTERCAL, sed, Isabelle, Visual Basic, zsh, AlokScript, Coq, Idris, Hack, Prolog, Whitespace, PureScript, Go, Odin, Haskell…
442
On Rendering Diffs
A technical deep dive into how we built the @pierre/diffs package and CodeView component for zero-blanking diff rendering.
443
Prospero: A new coding harness for a more civilized age
I’ve been fascinated with local LLMs for a couple of years now. The better open weight models, including some that inference on regular, higher-end consumer hardware at tolerable speeds, are now reliable enough to handle simpler programming tasks. This requires a coding harness, but so far this year I’ve been…
444
SQLite in Production: Lessons from Running a Store on a Single File
Run Rails on SQLite with WAL and Docker volumes while accounting for the concurrency failure that appears during blue-green deploys.
445
The Harness Is the Thing
Models are commodifying. The harness - skills, extensions, a scriptable app - is where the work and the leverage now live.
446
The state of SIMD in Rust in 2026
A lot of progress was made since last year, and I made some of it!
447
Decompiling Fast Food Tycoon 2: Drawing the World
How a 2001 business sim rendered its rich and detailed cities.
448
A simplified model of Fil-C
I've seen lots of chatter about Fil-C recently, which pitches itself as a memory safe implementation of C/C++. You can read the gritty details of how this is achieved, but for people coming across it for the first time, I think there is value in showing a simplified version, as once you've understood the simplified…
449
Wirth's Revenge
Are LLMs the final blow in the war against Wirth's law?
450
Full-Text Search with DuckDB
Pete Doherty is a NYC based software developer