Show HN: QuickShelf – Stop opening Finder just to drag files
quickshelf-app.slowlab.dev·1d·
Discuss: Hacker News
⚙️systems programming
"Brand New Result Proving Penrose and Tao's Uncomputability in Physics" [video]
youtube.com·1d·
Discuss: Hacker News
✅formal methods
Object Packing
nms.ac.uk·1d·
Discuss: Hacker News
✅formal methods
Fusion Propulsion and Other Science Projects We Swore Would Be Done by Now
multiverseemployeehandbook.com·2h·
Discuss: Hacker News
✅formal methods
Exploring Traces: Agent trajectory walkthroughs from interesting examples
theori.io·3d·
Discuss: Hacker News
⚙️systems programming
ISPC: Implicit SPMD Program Compiler
github.com·1d·
Discuss: Hacker News
⚙️systems programming
Not So Direct I/O
jmcph4.dev·9h·
Discuss: Lobsters, Hacker News
⚙️systems programming
HorizonDB, a geocoding engine in Rust that replaces Elasticsearch
radar.com·4d·
Discuss: Hacker News
🗄️databases
K0rdent v1.0: Manage Distributed Infrastructure at Scale with Kubernetes
cncf.io·1d·
Discuss: Hacker News
⚙️systems programming
Ancient viral DNA may play a key role in early human development
cnn.com·22h·
Discuss: Hacker News
🗄️databases
My take on Send and Sync
blog.cuongle.dev·4d·
Discuss: Lobsters, Hacker News
⚙️systems programming
Auditing AI
wryco.com·16h·
Discuss: Hacker News
⚙️systems programming
The Strategic Implications of GPT-5 for OpenAI
chrishayduk.com·21h·
Discuss: Hacker News
⚙️systems programming
Myths About Floating-Point Numbers (2021)
asawicki.info·2d·
Discuss: Lobsters, Hacker News
⚙️systems programming
Two hours with Cursor changed my mind about AI coding
betweentheprompts.com·1h·
Discuss: Hacker News
⚙️systems programming
Line at Infinity
en.wikipedia.org·2d·
Discuss: Hacker News
✅formal methods
Sloppy AI defenses take cybersecurity back to the 1990s, researchers say
scworld.com·49m·
Discuss: Hacker News
✅formal methods
AWS-LC is a general-purpose cryptographic library
github.com·4d·
Discuss: Hacker News
✅formal methods
Vectorless: open-source PDF chatbot without RAG
news.ycombinator.com·1d·
Discuss: Hacker News
⚙️systems programming
Adventures with mtree (2022)
jashankj.space·1d·
Discuss: Hacker News
⚙️systems programming