ACM Transitions to Full Open Access
acm.org·1d·
Discuss: Hacker News
✅Formal Methods
Trump Announces Plan T Launch Private Health Tracking System with Big Tech Firms
time.com·3h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Poor child process management in Rust terminal apps leads to terminal corruption
fiveonefour.com·1d·
Discuss: Hacker News
🦀Rust
Remote Hosting for Your Telescope
sierra-remote.com·9h·
Discuss: Hacker News
✅Formal Methods
Announcing Precomputed Reachability Analysis in Socket
socket.dev·14h·
Discuss: Hacker News
✅Formal Methods
QTractor GPL audio/MIDI sequencer
qtractor.org·3d·
Discuss: Hacker News
✅Formal Methods
RFI: Neuroscience and the Path to Safe AGI
blog.amaranth.foundation·13h·
Discuss: Hacker News
⚡CUDA
Can You Trust Your Computer?
gnu.org·3d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Show HN: Send real-time updates to your mobile apps with Stac Framework
github.com·1d·
Discuss: Hacker News
✅Formal Methods
Morty: Scaling Concurrency Control with Re-Execution
muratbuffalo.blogspot.com·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
What is an AI-first software company?
varungodbole.com·16h·
Discuss: Hacker News
✅Formal Methods
Why Postgres CDC to Iceberg isn't a solved problem: lessons from production
risingwave.com·1d·
Discuss: Hacker News
⚡CUDA
Kubernetes v1.34 Sneak Peek
kubernetes.io·3d·
Discuss: Hacker News
✅Formal Methods
Beyond CDN Wars
azion.com·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Startup failed. Relationship ended. 29 lessons from the wreckage
burnedchris.com·18h·
Discuss: Hacker News
🦀Rust
Show HN: Faster local AWS EKS access
github.com·1d·
Discuss: Hacker News
🦀Rust
Show HN: Hypersigil – Prompt management UI – test, evaluate, deploy
github.com·1d·
Discuss: Hacker News
✅Formal Methods
A Dive into Open Chat Protocols
wiki.alopex.li·15h·
Discuss: Lobsters, Hacker News
✅Formal Methods
Ars spoke with the military’s chief orbital traffic cop—here’s what we learned
arstechnica.com·2d·
Discuss: Hacker News
✅Formal Methods
RubyLLM 1.4.0: Structured Output, Custom Parameters, and Rails Generators
github.com·15h·
Discuss: Hacker News
✅Formal Methods