AI at IMO 2025: a round-up
xenaproject.wordpress.com·6h
🎯Performance Proofs
Monthly Release 141 Recap
blog.thunderbird.net·1d
🕸️WASM Archives
Updating dependencies
so.nwalsh.com·14h
🔗Dependency Resolution
Read more: Swiss scientists reveal the complex craft of prehistoric tattooing
swissinfo.ch·2d
🏺Computational Archaeology
Replacing WriteFreely with eleventy
underlap.org·1d
📰RSS Archaeology
‘You killed her!’: My 100% faithful attempt at Traitors Live Experience
theguardian.com·18h
📟Terminal Forensics
Online Software for an Interstellar Civilization
gatlin.io·3d·
Discuss: Hacker News
⏰Time Crystals
Sync primitives are Functionally Complete
kprotty.me·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
⚡Hardware Transactional Memory
memcached/memcached
github.com·4d
🏎️Varnish Cache
How Cursor Serves Billions of AI Code Completions Every Day
blog.bytebytego.com·4d·
Discuss: Hacker News
👁️System Observability
Updating Microsoft Secure Boot Keys
techcommunity.microsoft.com·1d·
Discuss: Hacker News
🔒Secure Boot
Leveraging OSINT from the Dark Web – A Practical How-To
darknet.org.uk·4d
🌐WARC Forensics
Martin Lewis explains how millions could still get car finance payouts after Supreme Court ruling
the-independent.com·18h
⚖️Legal Compliance
Nova: A New Web Framework for Erlang
news.ycombinator.com·2d·
Discuss: Hacker News
🌐Protocol Synthesis
I am a retailing expert, and this little device is costing retailers worldwide billions in lost sales
techradar.com·1d
🖥️Modern Terminals
The pest book is finally complete now!
github.com·3d
🦀Rust Macros
Deferred Unwinder Code Upstreamed For Linux 6.17 On Road To SFrame Support
phoronix.com·1d
🔩Systems Programming
Overcome development disarray with Amazon Q Developer CLI custom agents
aws.amazon.com·2d
🔒WASM Capabilities
DeepGo: Predictive Directed Greybox Fuzzing
arxiv.org·4d
🐛Fuzzing
What kind of motherboards do you like?
forums.anandtech.com·1d
🔌Operating system internals