India: Income Tax Bill allows officials to forcibly access social media, email
thehindu.com·1d·
Discuss: Hacker News
🔍Formal Verification
Science is almost ready to "redefine the second" with this new research
neowin.net·2d·
Discuss: Hacker News
📦Unikernel Systems
The Rise of Fluid Teams
blog.pwkf.org·1d·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: I built a mobile app to help you read in a foreign language with LLMs
apps.apple.com·1d·
Discuss: Hacker News
🍎Apple
Dark Source, Dark Forest: Rethinking Open Source and Blockchain in the Age of AI
darksource.ai·1d·
Discuss: Hacker News, r/opensource
🔬Unikernels
Inventor builds mechanical computer with Knex pieces
popsci.com·1d·
Discuss: Hacker News
💾Retro Computing
No record left behind: How Warpstream can withstand regional outages
warpstream.com·4d·
Discuss: Hacker News
⎈Kubernetes
How to create mobile-friendly documentation (2017)
opensource.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
A Look Back at WeChat's PhxSQL and the 'Fastest Majority'
supasaf.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
Rethinking CLI Interfaces for AI
notcheckmark.com·3d·
Discuss: Lobsters, Hacker News
🔍Formal Verification
Are We Cooked?
bonnycode.com·4d·
Discuss: Hacker News
🎮Verification Games
How my manager tricked us team into doing things: The Experiment Framework
danielsada.tech·1d·
Discuss: Hacker News
❄️Nixified Development
The Hater's Guide To The AI Bubble
wheresyoured.at·1d·
Discuss: Hacker News, Hacker News, Hacker News
🔬Unikernels
Probabilistic Soundness Guarantees in LLM Reasoning Chains
arxiv.org·5d
🔍Formal Verification
Fixing Engineering’s Biggest Time Suck: Finding Information
thenewstack.io·14h
🔄Reproducible Builds
Crawling a billion web pages in just over 24 hours, in 2025
andrewkchan.dev·6d·
Discuss: Hacker News, r/programming
🖥️Self-hosted Infrastructure
MEETI: A Multimodal ECG Dataset from MIMIC-IV-ECG with Signals, Images, Features and Interpretations
arxiv.org·1d
🔬Static Analysis
Forecasting Faculty Placement from Patterns in Co-authorship Networks
arxiv.org·1d
💻CS
Show HN: How Claude Code Improved My Dev Workflow
news.ycombinator.com·6h·
Discuss: Hacker News
💾Retro Computing
SenseSeek Dataset: Multimodal Sensing to Study Information Seeking Behaviors
arxiv.org·1d
🍎Apple