Automated daily Quordle solver using an LLM
flowtwo.io·3d·
Discuss: Hacker News
🎮Verification Games
How I made cycling fun again
proofinprogress.com·5h·
Discuss: Hacker News
🩹Self-Healing Systems
House Just Passed a Bill Punishing "Politically Motivated" Boycotts of Israel
theintercept.com·6h·
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·22h·
Discuss: Hacker News
📚Automata Learning
My Thoughts on Renting Versus Buying
milesbarr.me·2h·
Discuss: Hacker News
💾Retro Computing
I’m Slow
localthunk.com·2d·
Discuss: Hacker News
🔧Unikernel Development
The Security Challenges of HTTP/3 and QUIC – What You Need to Know
medium.com·7h·
Discuss: Hacker News
📡Network Protocol Design
Working in Groups
internet.place·4d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
Famulor AI Call Center: Multi-Calendar Support
docs.famulor.io·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Debugging vs Printing
hackaday.com·3d
👁️System Observability
You don't have to say something about every terrible thing
natesilver.net·20h·
Discuss: Hacker News
⚡Process Calculi
From Paper to Pixels: A DIY Digital Barograph
hackaday.com·14h
📺Vintage Apple
Stop Outsourcing Thinking
vaibhawvipul.github.io·3d·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
Spiders and Moral Good
lesswrong.com·4d
🩹Self-Healing Systems
ParaThinker: Native Parallel Thinking as a New Paradigm to Scale LLM Test-time Compute
arxiv.org·6d·
Discuss: r/LocalLLaMA
🐫OCaml
Evaluating NL2SQL via SQL2NL
arxiv.org·6d
🧩Parser Combinators
The Eldritch in the 21st century
lesswrong.com·3d
🔬Unikernels
Short-term cognitive fatigue of spatial selective attention after face-to-face conversations in virtual noisy environments
arxiv.org·2d
🏹Effect Systems
Indie App Spotlight: ‘SUMRY’ turns your Apple Watch activity into workout stories
9to5mac.com·1d
🍎Apple