Joby to Acquire Blade's Passenger Business, Accelerating Air Taxi
jobyaviation.com·2d·
Discuss: Hacker News
🧗Climbing Tech
Create space-saving clones on macOS with Python
alexwlchan.net·4d·
Discuss: Hacker News
💾Retro Computing
Sentinel-2 Super Resolution
geodose.com·2d·
Discuss: Hacker News
🧗Climbing Tech
The death of east London's most radical bookshop
the-londoner.co.uk·7h·
Discuss: Hacker News
💾Retro Computing
Making the two-dimensional one-dimensional
johndcook.com·1d·
Discuss: Hacker News
➡️Category Theory
Defining 'Toast' Messages (2020)
adrianroselli.com·5d·
Discuss: Hacker News
🛡️seL4
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
Their Last Love Token: A Dinosaur Rebuilt From Its Excavated Bones
nytimes.com·1d·
Discuss: Hacker News
💾Retro Computing
[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
Feedback on the Online Safety Act (An Email to My MP)
bentasker.co.uk·2d·
Discuss: Hacker News
📡Network Protocol Design
Encapsulation Isn't Java's Fault (and Python Needs It Too)
lihil.cc·2d·
Discuss: Hacker News, r/programming
🔤DSLs
Cartoonify Your Photos
ai-flux.io·3d·
Discuss: Hacker News
💾Retro Computing
HomeKit Weekly: Tracking local weather in HomeKit is simple with the Eve Weather
9to5mac.com·6d
👁️System Observability
Is your AI benchmark lying to you?
nature.com·1d·
Discuss: Hacker News
👁️System Observability
The Mind of Frontier: Deep-Dive on AI Researcher Mental Health "O3-Pro" Analysis
lightcapai.medium.com·3d·
Discuss: Hacker News, r/programming
🎮Verification Games
Trustworthy scientific inference for inverse problems with generative models
arxiv.org·2d
✓Automated Theorem Proving
MathJax v4.0.0
github.com·2d·
Discuss: Hacker News
⚙️PL Implementation
What Tailscale isn't: an anonymity service
tailscale.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Perplexity is using stealth, undeclared crawlers to evade no-crawl directives
blog.cloudflare.com·3d·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving