Heroku Postgres is now based on AWS Aurora
(blog.heroku.com)
Yearly Favorites
5791.
5792.
Formal Methods: Just Good Engineering Practice? (2024)
(brooker.co.za)
5793.
Dopamine signals when a fear can be forgotten
(picower.mit.edu)
5794.
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.
5805.
Constraints in Go
(bitfieldconsulting.com)
5806.
Off-path TCP hijacking in NAT-enabled Wi-Fi networks
(blog.apnic.net)
5807.
5808.
Show HN: I made a search engine for Hacker News
(hackernews.demo.vectara.com)
5809.
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.
5816.
Adding row polymorphism to Damas-Hindley-Milner
(bernsteinbear.com)
5818.
Tomb Engine
(tombengine.com)
5819.
5820.
Programming as Theory Building (1985) [pdf]
(pages.cs.wisc.edu)