The possibility of a giant impact on Venus
arxiv.org·2d·
Discuss: Hacker News
🎨Rendering
Writing Your Own Simple Tab-Completions for Bash and Zsh
mill-build.org·1d·
Discuss: Hacker News, r/programming
🦀Rust
Toxic convenience: what science tells us about plastic’s hidden costs
rfi.fr·7h·
Discuss: Hacker News
🦀Rust
The Work of Raj Chetty
nicholasdecker.substack.com·1d·
Discuss: Substack
🦀Rust
Tucson votes down $250M Amazon data center citing water and energy use
foxbusiness.com·20h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Updated Portal Map Editor in Battlefield 6 Runs on Godot Engine
80.lv·4d·
Discuss: Hacker News
✅Formal Methods
Pigsty 3.6, the meta-distribution for PostgreSQL
postgresql.org·4d·
Discuss: Hacker News
🦀Rust
LG ordered to pay £150k after phone defect caused Scotland house fire
theregister.com·1d·
Discuss: Hacker News
✅Formal Methods
Software flies airplanes. And sometimes software fails (2010)
softwarefreedom.org·3d·
Discuss: Hacker News
🔒Cryptography
VPS Evangelism and Building LLM-over-DNS
skeptrune.com·2d·
Discuss: Hacker News
🔒Cryptography
Fail-Open: Reckless or Resilient?
nextorbit.co·2d·
Discuss: Hacker News
🔒Cryptography
Implementing Secure Authentication: Practical Tactics for Digital Identity Defense
guptadeepak.com·1d·
Discuss: DEV, Hacker News
🔐Zero-Knowledge Proofs
Secure Protocols for Best Arm Identification Using Secret Sharing Schemes
eprint.iacr.org·1d
🔐Zero-Knowledge Proofs
Show HN: Potty – A Python CLI tool to download Spotify music using yt-dlp
github.com·3h·
Discuss: Hacker News
✅Formal Methods
Show HN: Octofriend, a cute coding agent that can swap between GPT-5 and Claude
github.com·1d·
Discuss: Hacker News
🦀Rust
Stanford University and Meta Reality Labs have unveiled revolutionary VR display
rudebaguette.com·5d·
Discuss: Hacker News
🎨Rendering
Predictive CI: Why Smart Teams Are Making the Switch
usetusk.ai·4d·
Discuss: Hacker News
✅Formal Methods
APIs Don't Make Good MCP Tools
reillywood.com·1d·
Discuss: Hacker News
✅Formal Methods
Axiom: Decentralized AI network that discovers, verifies, and archives truth
github.com·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Web browsers with AI assistants built-in are coming
manualdousuario.net·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs