The latest blog posts to take off on Hacker News. 4,109 posts.
Much has been said about the effects that AI will have on software development, but there is an angle I haven’t seen talked about: I believe that AI will bring formal verification, which for decades has been a bit of a fringe pursuit, into the software engineering mainstream.
A deep dive into graphics APIs, shader languages and GPU architecture, exploring a simpler design for modern hardware. By Sebastian Aaltonen.
This was a fun project for a couple of days, but I will probably shelve it for now so I can continue what I was already working on before. Read on to follow along with my journey. Spoilers: I didn’t get very far.
Typography for Lawyers
I thought about this when reading a mastodon post which commented on a news where a project adopted a "use Generative AI but disclose it" policy, because it is "the future" and "people are going to use it anyway".
Blog of Guillaume Gomez (Rust GCC backend: Why and how)
Overconsumption is a spiritual problem, not a money problem. Lessons about desire from "Spirited Away".
From 2.5 Pro's lighthouse loop to 3 Pro's "Zombie Phoenix" strategy against Red: a full breakdown of why Gemini 3 Pro is a superior long-horizon agent.
programming isn't a competition
We begin by writing a few helper functions that will invariably prove useful to us later. We will be dealing with a lot of rectangular regions on the screen, so it makes sense to start by defining a rectangle structure and write some code to manipulate it.
In June 2018, I joined mytaxi (FREE NOW), a competitor of Uber in the ride-hailing space, as Backend Chapter Lead. I was looking for an opportunity to grow in technical leadership. Honestly, I did not even fully understand what “Chapter Lead” meant. After some research, I learned it was part of Spotify’s squad (team)…
Problem 1026 on the Erdős problem web site recently got solved through an interesting combination of existing literature, online collaboration, and AI tools. The purpose of this blog post is to try…
An interview with Fredrik Wikingsson, the subject of 'Experiment Ensam'
A case study in elite misinformation.
Benchmarking World of Warcraft performance when running native and emulated on Windows on ARM.
Before we get nerd sniped by the shiny engineering details, ask the only question that matters. Why compute in orbit? Why should a watt or a flop 250 miles up be more valuable than one on the surface? What advantage justifies moving something as mundane as matrix multiplication into LEO?
Revenge tale against Consumer Electronics "Control".
The Trump FTC tried to hide a complaint showing Pepsi forced shoppers to pay higher prices everywhere but Walmart. But now it's unsealed. And the politics of affordability are explosive.
Most people put too much effort into everything they do. Here’s a good example from Kristijan around tension in his hands when touching and holding things: Something clicked about inhibition and non-doing (in Alexander Technique), and the strongest effect has been a relaxation of my hands. Like I was touching...
You can be, do, and have whatever you want, except for not spilling user information
A programming blog written by Vaxry.
ICU gets Unicode right and pays for it. This post shows a different approach: fold-safe windows, SIMD probes, and verifiers for fast UTF‑8 search.
Wherein we figure out how to land on the stupid aircraft carrier in Top Gun
lol. I minted a new TLS cert and it seems that OpenAI is scraping CT logs for what I assume are things to scrape from, based on the near instant response from ...
I'm calm. I'm calm. I promise.
Introduction Over the last decade, when working on databases with UUID Version 41 as the primary key data type, these databases have usually had bad performance and excessive IO. https://datatracker.ietf.org/doc/html/rfc4122#section-4.4 ↩
Because your $5 microcontroller needed to run UNIX
