X Goes Down Again: Thousands of Users Report Problems With Site, App
variety.com·2d·
Discuss: Hacker News
🔒Cryptography
Fiber Optic Drones: Posing a Significant C-UAS Challenge
army.mil·3d·
Discuss: Hacker News
🔒Cryptography
The Flower Designer
asimov.press·5d·
Discuss: Hacker News
🦀Rust
The real serverless compute to database connection problem, solved
vercel.com·3d·
Discuss: Hacker News
🦀Rust
Perplexity's Chrome Bid Is a $34.5B Publicity Stunt
theindex.media·3d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
KDE Gear 25.08 Released
kde.org·2d·
Discuss: Hacker News, r/linux, r/opensource
✅Formal Methods
Persuasion as a Form of Attack in LLMs
notion.so·2d·
Discuss: Hacker News
✅Formal Methods
Scaling the Memory Wall: The Rise and Roadmap of HBM
semianalysis.com·4d·
Discuss: Hacker News
⚡CUDA
Rust CUDA August 2025 project update
rust-gpu.github.io·5d·
Discuss: Hacker News
⚡CUDA
How We Chose a Documentation Platform for Our DevTool
metalbear.co·2d·
Discuss: Hacker News
🦀Rust
Can We Alter the Ocean to Counter Climate Change Faster ? This Experiment Aims to Find Out
insideclimatenews.org·6d·
Discuss: Hacker News
🔒Cryptography
Augmenting clinical reasoning, without replacing it
samrawal.substack.com·5d·
Discuss: Substack
🦀Rust
The Coming Lob App Renaissance (and Security Nightmare)
brethorsting.com·3d·
Discuss: Hacker News
🔒Cryptography
Human Data Is (Probably) More Expensive Than Compute for Training Frontier LLMs
ddkang.substack.com·5d·
Discuss: Substack
🦀Rust
Meta AI takes first step to superintelligence — and Zuckerberg will no longer release the most powerful systems to the public
livescience.com·4d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
The unexpected joy of Claude Code on your iPhone
clay.fyi·4d·
Discuss: Hacker News
🦀Rust
LLM Hallucination Seems Like a Big Problem, Not a Mere Speedbump
freddiedeboer.substack.com·3d·
Discuss: Substack
✅Formal Methods
Carter_rules.md
carter.works·5d·
Discuss: Hacker News
🦀Rust
GEPA Agent Optimizer with Lakshya A. Agrawal [podcast]
news.ycombinator.com·3d·
Discuss: Hacker News
✅Formal Methods
Faster Reed-Solomon Erasure Coding in Java with Go and FFM
kohlschuetter.github.io·5d·
Discuss: Hacker News, r/golang
✅Formal Methods