Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.io·15h·
Discuss: Hacker News
erlang
Flag this post
Just Use a Button
gomakethings.com·2d·
🖌️graphics
Flag this post
At the end you use Git bisect
kevin3010.github.io·17h·
Discuss: Hacker News
🧩clojure
Flag this post
Hacking the WiFi-enabled color screen GitHub Universe conference badge
simonwillison.net·5d·
Discuss: Hacker News
📝neovim
Flag this post
Perfetto: Swiss Army Knife for Linux Client Tracing
lalitm.com·3d·
💻programming
Flag this post
Why do AI models use so many em-dashes?
seangoedecke.com·4d·
🌙lua
Flag this post
Adobe’s experimental AI tool can edit entire videos using one frame
theverge.com·2d·
Discuss: Hacker News
🖌️graphics
Flag this post
Amazon Rivian Electric Delivery Vans Arrive in Canada
cleantechnica.com·3d·
Discuss: Hacker News
🖥️picotron
Flag this post
The Green Tea Garbage Collector
go.dev·5d·
💻programming
Flag this post
word2vec-style vector arithmetic on docs embeddings
technicalwriting.dev·4d·
🌙lua
Flag this post
Qt Creator 18 released
qt.io·3d·
💻programming
Flag this post
Uni Watch: 1999–2025
uni-watch.com·1d·
Discuss: Hacker News
💻programming
Flag this post
GHC Now Runs in the Browser
discourse.haskell.org·3d·
🧩clojure
Flag this post
Chat Control proposal fails again after public opposition
andreafortuna.org·1d·
Discuss: Hacker News
💻programming
Flag this post
Sound Blaster’s modular hub is a reconfigurable Stream Deck for audio
theverge.com·2d
💻programming
Flag this post
Minecraft HDL, an HDL for Redstone
github.com·3d·
Discuss: Hacker News
erlang
Flag this post
How We Found 7 TiB of Memory Just Sitting Around
render.com·3d·
💻programming
Flag this post
Architecture Variants in Ubuntu
discourse.ubuntu.com·3d·
Discuss: Hacker News
📝neovim
Flag this post
Database backups, dump files and restic
strugglers.net·5d·
💾sqlite
Flag this post
Stop AI: 14 Steps to turn off AI
againstdata.com·3h·
Discuss: Hacker News
💾sqlite
Flag this post