Yearly Favorites
5791.
Heroku Postgres is now based on AWS Aurora (blog.heroku.com)
5792.
Formal Methods: Just Good Engineering Practice? (2024) (brooker.co.za)
5793.
Dopamine signals when a fear can be forgotten (picower.mit.edu)
5794.
Bypassing disk encryption on systems with automatic TPM2 unlock (oddlama.org)
5795.
Qualcomm wins licensing fight with Arm over chip designs (bloomberg.com)
5796.
Transformers in music recommendation (research.google)
5797.
setBigTimeout (evanhahn.com)
5798.
Past and Present Futures of User Interface Design (datagubbe.se)
5799.
EU countries must implement right to repair laws within two years (consilium.europa.eu)
5800.
Deploying Rust in existing firmware codebases (security.googleblog.com)
5801.
A 2FA app that tells you when you get `314159` (2024) (blog.jacobstechtavern.com)
5802.
An infinite canvas for code exploration (territory.dev)
5803.
The Swedish cabin on the frontline of a possible hybrid war (theguardian.com)
5804.
Standard cells: Looking at individual gates in the Pentium processor (righto.com)
5805.
Constraints in Go (bitfieldconsulting.com)
5806.
Off-path TCP hijacking in NAT-enabled Wi-Fi networks (blog.apnic.net)
5807.
Show HN: JSON For You – Visualize JSON in graph or table views (github.com)
5808.
Show HN: I made a search engine for Hacker News (hackernews.demo.vectara.com)
5809.
Excerpts from a conversation about personal information management (sachachua.com)
5810.
Mario Vargas Llosa has died (nytimes.com)
5811.
Notes on OpenAI o3-mini (simonwillison.net)
5812.
Technicalities of Homeworld 2 Backgrounds (simonschreibt.de)
5813.
Zen 5's AVX-512 Frequency Behavior (chipsandcheese.com)
5814.
Garak, LLM Vulnerability Scanner (github.com)
5815.
Omnom: Self-hosted bookmarking with searchable, wysiwyg snapshots (omnom.zone)
5816.
Adding row polymorphism to Damas-Hindley-Milner (bernsteinbear.com)
5817.
Show HN: I built a Iridium/LTE satellite GPS tracker and took it to the Arctic (github.com)
5818.
Tomb Engine (tombengine.com)
5819.
Show HN: Qwen-2.5-32B is now the best open source OCR model (github.com)
5820.
Programming as Theory Building (1985) [pdf] (pages.cs.wisc.edu)