Show HN: Break in Motion – a macOS app that helps you use your standing desk
breakinmotion.com·2d·
Discuss: Hacker News
✅Formal Methods
Mathematics and Slavery
math.stackexchange.com·10h·
Discuss: Hacker News
🦀Rust
Zomato founder prepares to deliver jet engines
businesstoday.in·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
AssemblyScript
assemblyscript.org·19h·
Discuss: Lobsters
🦀Rust
Mortality
codingfearlessly.com·12h·
Discuss: Hacker News
🦀Rust
CrowdStrike investigated 320 North Korean IT worker cases in the past year
cyberscoop.com·9h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
AI Turns Drone Footage into Disaster Response Maps in Minutes
stories.tamu.edu·2d·
Discuss: Hacker News
✅Formal Methods
Scientists analyze 76 million radio telescope images, find Starlink satellite interference 'where no signals are supposed to be present'
livescience.com·2d·
Discuss: Hacker News
✅Formal Methods
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·4d·
Discuss: Hacker News
✅Formal Methods
Switching to Qwen3-30B-A3B-Instruct-2507 Significantly Improves Local Agent
hexeditreality.com·3d·
Discuss: Hacker News
✅Formal Methods
In search of riches, hackers plant 4G-enabled Raspberry Pi in bank network
arstechnica.com·4d·
Discuss: Lobsters, Hacker News
🔐Zero-Knowledge Proofs
Advice I Got at PagerDuty
euri.ca·14h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Building a SQLite CLI in less than an hour without ever looking at any code
theahura.substack.com·2d·
Discuss: Substack
🦀Rust
Show HN: OpenSQLDB a Fork of MariaDB
github.com·3h·
Discuss: Hacker News
✅Formal Methods
Ergonomic keyboarding with the Svalboard: a half-year retrospective
twey.io·2d·
Discuss: Hacker News
🦀Rust
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·4d·
Discuss: Hacker News
✅Formal Methods
America’s Airport Lounges Are Crowded and Crummy
nytimes.com·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
He worked with artificial limbs for decades. Then a lorry ripped off his right arm. What happened when the expert became the patient?
theguardian.com·2d·
Discuss: Hacker News
✅Formal Methods
What Makes a Mature Science
press.asimov.com·3d·
Discuss: Hacker News
🦀Rust
Read AT&T CEO's frank response to employee feedback about a 5-day RTO mandate
businessinsider.com·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs