Apple Promotes Samsung's Galaxy Z Flip7 by Mistake
macrumors.com·2h·
Discuss: Hacker News
✅Formal Methods
Algebra Gatekeepers: Schools deny advanced math to the highest-scoring students
educationprogress.org·23h·
Discuss: Hacker News
✅Formal Methods
After bug fix: Bitchat Mesh by Jack Dorsey now in the App Store
heise.de·3h·
Discuss: Hacker News
🦀Rust
My 2.5 year old laptop can write Space Invaders in JavaScript now
simonwillison.net·23h·
Discuss: Hacker News, r/LocalLLaMA
🦀Rust
Instrumenting Next.js with runtime secret injection
phase.dev·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Improved homomorphic evaluation for hash function based on TFHE (2024)
cybersecurity.springeropen.com·4d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Why VC-Backed Longevity Startups Are Dying in a $5T Wellness Market
forbes.com·22h·
Discuss: Hacker News
🦀Rust
Intercepting 3I/Atlas at Its Closest Approach to Jupiter with Juno Spacecraft
avi-loeb.medium.com·1d·
Discuss: Hacker News
✅Formal Methods
Certificate Transparency - Part 1
ipng.ch·3d·
Discuss: Lobsters, Hacker News, r/programming
🔐Zero-Knowledge Proofs
Policy and Disclosure: 2025 Edition
googleprojectzero.blogspot.com·21h·
Discuss: googleprojectzero.blogspot.com, Hacker News
🔐Zero-Knowledge Proofs
Show HN: Finch – a fingerprint-aware TLS reverse proxy
github.com·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
iOS App Distribution Guide – App Store, TestFlight and Enterprise Options
foresightmobile.com·22h·
Discuss: Hacker News
✅Formal Methods
The Healing Power of Code
craigmod.com·18h·
Discuss: Hacker News
🦀Rust
Bringing Together Clazy and Clang-Tidy
alex1701c.github.io·2d·
Discuss: Lobsters, Hacker News, r/cpp
🦀Rust
Bcachefs To Remove Its Experimental Label In Linux 6.18 - If It's Still In The Kernel
phoronix.com·1d·
Discuss: Hacker News
🦀Rust
The Sail instruction-set semantics specification language
alasdair.github.io·3d·
Discuss: Hacker News
🦀Rust
The Church's AI Doctrine: Human Dignity in the Age of AI
syntheticauth.ai·20h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Playing with open source LLMs
alicegg.tech·1d·
Discuss: Hacker News
🦀Rust
Raspberry Pi RP2350 A4 stepping fixes E9 GPIO Erratum, glitching bugs, introduces 2MB flash variants
cnx-software.com·23h·
Discuss: Lobsters, Hacker News
🦀Rust
Jetson Thor – Advanced AI for Physical Robotics
nvidia.com·1d·
Discuss: Hacker News
⚡CUDA