6361
Rules for Writing Safety Critical Code (2006)
Ten rules for writing safety critical code, to facilitate analysis and increase software reliability
Most cited
Posts that commenters keep linking to, ranked by how many different people have cited them in Hacker News comments. 6,985 posts.
6362
Twitter’s poor API documentation practices
The personal website of Idan Gazit
6363
A deep dive into Multicore OCaml garbage collector
I recently gave a talk on the internals of multicore OCaml GC at Jane Street offices in NYC. The slides from the talk are available online . But I felt that the slides alone aren’t particularly edifying. This post is basically the slides from the talk annotated with notes.
6364
Initialization in C++ is Seriously Bonkers
I was recently reminded of why I think it’s a bad idea to teach beginners C++. It’s a bad idea because it is an objective mess—albeit a beautiful, twisted, tragic, wondrous mess. Despite the current state of the community, this post is not a polemic against modern C++. This post is partly a follow-up on Simon Brand’s…
6365
Using TLA+ in the Real World to Understand a Glibc Bug
TLA+ is a formal specification language that you can use to verify programs. It’s different from other formal verification systems in that it’s very pragmatic. Instead of writing proofs…
6366
The AI Industry Is Lying to You
Hi! If you like this piece and want to support my independent reporting and analysis, why not subscribe to my premium newsletter? It’s $70 a year, or $7 a month, and in return you get a weekly newsletter that’s usually anywhere from 5000 to 18,000 words, including
6367
The GPU Banana Stand
Freshly whipped WebGPU, with ice cream
6368
Modern SQL: With – Organize Complex Queries
The WITH clause adds named subqueries to SQL queries. WITH is also known as Common Table Expression (CTE).
6369
6370
Node.js and the new web front-end
The Official Web Site of Nicholas C. Zakas
6371
6372
Jailed Just-in-Time Compilation on iOS
Saagar Jha's website.
6373
URLs: It's Complicated
Let's play silly games with URLs...
6374
How much Anthropic and Cursor spend on Amazon Web Services
So, I originally planned for this to be on my premium newsletter, but decided it was better to publish on my free one so that you could all enjoy it. If you liked it, please consider subscribing to support my work. Here’s $10 off the first year of annual.
6375
Here come the encryption apps
It seems like these days I can’t eat breakfast without reading about some new encryption app that will (supposedly) revolutionize our communications — while making tyrannical regimes fa…
6376
6377
Every webpage deserves to be a place
Posted on Thursday 5 Sep 2024. 1,133 words, 5 links. By Matt Webb.
6378
Working for a Dating Website (2015)
Over this past weekend, I came across a Wired called "Write the Perfect Email to Anyone with this Creepy Site" on using machine learning and natural language processing to analyze a person's social media profiles and offer tips on how to communicate with them effectively. Most people immediately thought about sales…
6379
6380
Broken Ownership
In the ownership trio, we discussed 3 elements: Knowledge, Mandate and Responsibility. This article digs into various broken ownership scenarios where 1-2 of those elements are missing, what are the common symptoms and how to fix them.
6381
4 min Emacs screencast inspired by Bret Victor's Inventing on Principle
And its sibling slime-js-jack-in-browser are some conveniences that I've built around slime-js. You can find them here in my .emacs.d on github.
6382
6383
Science is a strong-link problem
OR: How to eat fewer asparagus beetles
6384
Verilog Is Weird
Verilog is the most commonly used language for hardware design in America (VHDL is more common in Europe). Too bad it's so baroque. If you ever browse the Verilog questions on Stack Overflow , you'll find a large number of questions, usually downvoted, asking “why doesn't my code work?”, with code that's not just a…
6385
A reasonably speedy Python ray tracer
Cyrille Rossant's small ray-tracer is an nice self-contained Python program (using NumPy) that renders this 400×300 image in about 15 seconds on a fast PC:
6386
How Spotify Works
Synthpop and sci-fi
6387
Supreme Commander – Graphics Study
Total Annihilation has a special place in my heart since it was the very first RTS I played; it was with Command & Conquer and …
6388
The strange story of etherpad
I don't actually know this story - certainly no more of it than anyone who has read a few web pages. But luckily, I'm pretty good at making...
6389
6390
Asterix in Translation: The Genius of Anthea Bell and Derek Hockridge
As promised in a previous blog entry, what follows is a discussion of the translation of some of my favourite Asterix gags. The translators’ modus operandi was to include as many jokes in the Engli…