How I made cycling fun again
proofinprogress.com·16h·
Discuss: Hacker News
🩹Self-Healing Systems
House Just Passed a Bill Punishing "Politically Motivated" Boycotts of Israel
theintercept.com·17h·
Discuss: Hacker News
📊Runtime Verification
We’re building future technologies for the Moon without closing missed milestones
jatan.space·2d·
Discuss: Hacker News
🧗Climbing Tech
Alterego's 'Silent Speech' Could Be the Answer to Dictating Text in Public
uploadvr.com·1d·
Discuss: Hacker News
📚Automata Learning
Land vs. Expand in the AI Era
guruchahal.substack.com·1d·
Discuss: Substack
⚙️Operating System Design
My Thoughts on Renting Versus Buying
milesbarr.me·13h·
Discuss: Hacker News
💾Retro Computing
I’m Slow
localthunk.com·2d·
Discuss: Hacker News
🔧Unikernel Development
Working in Groups
internet.place·4d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
Famulor AI Call Center: Multi-Calendar Support
docs.famulor.io·5d·
Discuss: Hacker News
✓Automated Theorem Proving
The Security Challenges of HTTP/3 and QUIC – What You Need to Know
medium.com·18h·
Discuss: Hacker News
📡Network Protocol Design
Ask HN: What prevents you from switching to a dumbphone?
news.ycombinator.com·20h·
Discuss: Hacker News
🍎Apple
Debugging vs Printing
hackaday.com·4d
👁️System Observability
You don't have to say something about every terrible thing
natesilver.net·1d·
Discuss: Hacker News
⚡Process Calculi
From Paper to Pixels: A DIY Digital Barograph
hackaday.com·1d
📺Vintage Apple
Stop Outsourcing Thinking
vaibhawvipul.github.io·4d·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
Spiders and Moral Good
lesswrong.com·4d
🩹Self-Healing Systems
Acceptability of AI Assistants for Privacy: Perceptions of Experts and Users on Personalized Privacy Assistants
arxiv.org·4d
✓Automated Theorem Proving
From Limited Data to Rare-event Prediction: LLM-powered Feature Engineering and Multi-model Learning in Venture Capital
arxiv.org·4d
📚Automata Learning
Tell-Tale Watermarks for Explanatory Reasoning in Synthetic Media Forensics
arxiv.org·6d
🌐NetworkProtocols
Augmenting Human-Centered Racial Covenant Detection and Georeferencing with Plug-and-Play NLP Pipelines
arxiv.org·6d
🧩Parser Combinators