Joby to Acquire Blade's Passenger Business, Accelerating Air Taxi
jobyaviation.com·2d·
Discuss: Hacker News
🧗Climbing Tech
A quantum leap for antimatter measurements – the first antimatter qubit
home.cern·1d·
Discuss: Hacker News
📦Unikernel Systems
Phone Is a Snitch – Untraceable Digital Dissident
untraceabledigitaldissident.com·5d·
Discuss: Hacker News
🌐NetworkProtocols
Uncovering memory corruption in NVIDIA Triton (as a new hire)
blog.trailofbits.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
SAT Requires Exhaustive Search
link.springer.com·3d·
Discuss: Hacker News
🎮Verification Games
Their Last Love Token: A Dinosaur Rebuilt From Its Excavated Bones
nytimes.com·1d·
Discuss: Hacker News
💾Retro Computing
LLMs Have Different Taste on Coding
pixelstech.net·3d·
Discuss: r/programming
👁️System Observability
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.com·3d·
Discuss: Hacker News
🔠Type-Level Programming
[Showcasing my baby] - High-Quality E2E Tests at Recorder Speed - You own the code!
youtube.com·5d·
Discuss: Hacker News, r/webdev
🧪Property-Based Testing
Show HN: LLMs Play Monopoly Deal
dealbench.org·3d·
Discuss: Hacker News
🎮Verification Games
The average Waymo robotaxi completes more trips per day than 99% of Uber drivers, CEO Dara Khosrowshahi says
businessinsider.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Feedback on the Online Safety Act (An Email to My MP)
bentasker.co.uk·2d·
Discuss: Hacker News
📡Network Protocol Design
Show HN: Auto-generates release notes from commits and posts to social media
rysa.ai·3d·
Discuss: Hacker News
🔄Reproducible Builds
AI stands for “Artificial Inanity”
lambdaland.org·3d·
Discuss: Hacker News
✓Automated Theorem Proving
HomeKit Weekly: Tracking local weather in HomeKit is simple with the Eve Weather
9to5mac.com·6d
👁️System Observability
How I turned a general-purpose LLM into a professional code optimization expert with one detailed prompt
reddit.com·3d·
Discuss: r/programming
🤖Program Synthesis
Read That Fucking Code (Stop vibe-coding blindly)
etsd.tech·3d·
Discuss: Hacker News, r/programming
🔄Reproducible Builds
LLMs won't save you from bad software engineering culture
atelfo.github.io·3d·
Discuss: Hacker News
🔬Static Analysis
Attractive Metadata Attack: Inducing LLM Agents to Invoke Malicious Tools
arxiv.org·2d
✓Automated Theorem Proving
Trustworthy scientific inference for inverse problems with generative models
arxiv.org·2d
✓Automated Theorem Proving