2041
PGSimCity - How PostgreSQL Works
An independent, non-commercial educational visualization of PostgreSQL internals. Not affiliated with Electronic Arts.
New
The latest blog posts to take off on Hacker News. 5,952 posts.
2042
Teaching Kids Forth
Forth is uncommonly used to teach programming to kids. Scripting languages like Python and visual environments like Scratch are far more popular options. But when I got the opportunity to introduce middle and high school students to programming, I chose the stack-oriented concatenative language from 1970. I was…
2043
We have proof automation now
I've long had a soft spot for dependently-typed languages like Coq Rocq and Lean. They offer the possibility of a type system capable of encoding and enforcing arbitrarily subtle invariants. The sort of thing that, in regular languages, ends up (at best) as a comment, and which quickly gets lost as the size of the…
2044
What does GitHub's security team even do?
Right now, there are thousands of repositories on GitHub distributing malware. Any of you can find these repositories, and you don’t need any special knowledge to do so. All you have to do is use the standard search function on the GitHub website. These repositories have been around for
2045
The Strongest El Niño Ever
With all the July runs in, dynamical models give a ~90% chance of a record-setting event
2046
2047
It's not empowering to hand off the details
I think behind a lot of the enthusiasm around AI is a dream of being able to manifest things into reality without having to get into the details.
2048
Lisp moving Forth moving Lisp
This chapter is a culmination of many macro techniques we have looked at so far in this book. Using macro abstractions we have developed, we create an implementation of one of my favourite programming languages: forth . Although this implementation embodies most of the important ideas of forth, it is very different…
2049
Using ThinkPad T480 as a mobile phone
A collection of Maroš Grego's works.
2050
Design is compromise
Compromise is neither good nor bad, it’s something we do every day. It’s decision making. Prioritizing. It’s finding the right balance between two competing ...
2051
The relay market powering token resellers and fraud
A look inside the gray-market reseller economy that gives mainland China cheap, structured, B2B-grade access to OpenAI, Anthropic, Google, and beyond
2052
The New AI Superpowers: Focus and Followthrough
Burnout is on the rise again, with an ironic twist.
2053
Ruff v0.16.0 – Significant new updates – 413 default rules up from 59
The next stable version of Ruff is out now.
2054
An ESP32 based plane radar for my desk
Plane radar is a neat little project that pulls nearby ADS-B traffic, plots each aircraft by distance and bearing, and shows the details directly on a cute little screen.
2055
Alien World Chemistry Found Inside Meteorite That Struck New Jersey Home
Fragment of the Hillsborough meteorite, broken on impact, with fusion crust from passing at high speed through the Earth’s atmosphere.
2056
Git rebase -i is not that scary
a guide to interactive rebasing.
2057
2058
Cloudflare's new AI traffic options for customers
For our second Content Independence Day, we’re giving website owners finer options to manage AI traffic. Instead of a one-size-fits-all block, all customers can now easily distinguish and manage Search, Agent, and Training bots, alongside the new ability to protect ad-monetized pages.
2059
Turn And Face The Strange
Documentation and guides from the team at Fly.io.
2060
The new rules of context engineering for Claude 5 generation models
We removed over 80% of Claude Code's system prompt for more advanced models. How to apply the lessons we learned to your own context engineering in Claude Code and with your own agents.
2061
LLM Usage in Debian: Three Proposals
This proposal aims to expressly forbid any contributions to Debian written with the use or assistance of large language models (LLMs) or other generative AI tools.
2062
Producing ammonia and fertiliser using wind power in Morris, Minnesota
The project is an upscale of a successful pilot built in 2013, and can be expanded further to a network of hubs producing fertiliser for farmer cooperatives.
2063
2064
Memory safety absolutists
When seeing the title of this post, I bet in some people's minds, the first thought was "Rust devs!". This connection is not unfounded. Rust devs tend to be passionate about memory safety. Some of it, I'm sure, may have been caused by a classic language wars attitude: my language is better than yours, and here is why…
2065
The Dark Night of Mathematics
What are we really doing?
2066
Engineering management after the cost of code collapsed
I have been a director of engineering for a bit over three years now, and I still hear and read what I call the "old rules" repeated over and over: a director should not spend time coding, good work takes time, protect the team from the business, get consensus before
2067
Open-weight AI is having its Kubernetes moment
Open-weight models are becoming the foundation for the next AI ecosystem. The US should compete in it, not wall itself off.
2068
2x, not 10x: coding with LLMs in 2026
Calibrate your enthusiasm
2069
A shell colon does nothing. Use it anyway
I've written more shell scripts than I can count, but I still stumble upon tricks that honestly blow my mind far too often than I care to admit. Latest thing that blew my head clean off? The shell colon.
2070
The Fedora 45 Sausage Factory
This is a walkthrough of how Fedora turns source code and packages into the artifacts you download and install. It follows the a package from a packager’s git push to a composed release: ISOs, cloud images, container images, and OSTree deployments.