Top stories from this year

Australia Post halts transit shipping to US as 'chaotic' tariff deadline looms

Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover

OPA maintainers and Styra employees hired by Apple

Acronis True Image costs performance when not used

Miles from the ocean, there's diving beneath the streets of Budapest

Geotoy – Shadertoy for 3D Geometry

The Missing Protocol: Let Me Know

Efrit: A native elisp coding agent running in Emacs

Extending Emacs with Fennel (2024)

We have made the decision to not continue paying for BBB accreditation

Firefox-patch-bin, librewolf-fix-bin AUR packages contain malware

You Are in a Box

"Just Fucking Ship It" (Or: On Vibecoding)

Deno 2.4

Denmark to tackle deepfakes by giving people copyright to their own features

Medical aid in dying, my health, and so on

Chicken Eyeglasses

Revisiting the algorithm that changed horse race betting (2023)

I think it's time to give Nix a chance

Show HN: I built a knife steel comparison tool