Norways first adventure game part 1
spillhistorie.no·3d·
Discuss: Hacker News
🎮Verification Games
How Long Till Death Revokes Your Library Card?
millersbookreview.com·1d·
Discuss: Hacker News
🧮Lambda Calculus
Structs and Embedded Schemas in Elixir: Beyond Maps
blog.appsignal.com·5d·
Discuss: Hacker News
💎Refinement Types
Entitlements and billing should be the same system
getlago.com·4d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Memory Speed Terminology Guide
pugetsystems.com·6d·
Discuss: Hacker News
🔧Unikernel Development
How the Infamous APT 1 Report Exposing China’s PLA Hackers Came to Be
zetter-zeroday.com·3d·
Discuss: Hacker News
🛡️seL4
A Case to Increase Variance
rishigurjar.com·3d·
Discuss: Hacker News
🩹Self-Healing Systems
When the job search becomes impossible: three phases of burnout
jeffwofford.com·2d·
Discuss: Hacker News
🩹Self-Healing Systems
Built an AI news agent that stops information overload
reckoning.dev·5d·
Discuss: Hacker News
🩹Self-Healing Systems
Close the loop: analytics that teach your chatbot to fix itself
hoverbot.ai·5d·
Discuss: Hacker News
👁️System Observability
You're a Slow Thinker. Now What?
chillphysicsenjoyer.substack.com·4d·
Discuss: Substack
✓Automated Theorem Proving
The LLM models the user, and then it models itself
animassteward.substack.com·6d·
Discuss: Substack
📚Automata Learning
Generic Constraints and Mapped Types in Large-Scale Applications
auslake.vercel.app·5d·
Discuss: r/programming
💎Refinement Types
Show HN: DbSandboxer – Fast Isolated Postgres DBs for Spring Boot Tests
github.com·3d·
Discuss: Hacker News
📊Runtime Verification
Outcome-based Exploration for LLM Reasoning
arxiv.org·6d·
Discuss: Hacker News
📚Automata Learning
Automating Firmware Security: CI for DBX and Microcode Updates in Dasharo
blog.3mdeb.com·5d·
Discuss: Hacker News
🔧Unikernel Development
LAVA: Language Model Assisted Verbal Autopsy for Cause-of-Death Determination
arxiv.org·3d
🧩Parser Combinators
Co-Investigator AI: The Rise of Agentic AI for Smarter, Trustworthy AML Compliance Narratives
arxiv.org·4d
✓Automated Theorem Proving
Build Godot projects for iOS, on any platform, without the SDK!
github.com·2d·
Discuss: Hacker News, r/godot, r/golang
🍎Apple
Ask HN: Getting over Burnout with Imposter Syndrome
news.ycombinator.com·2d·
Discuss: Hacker News
🩹Self-Healing Systems