🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

A Quick(ish) Introduction to Tuning Postgres
byteofdev.com·11h·
Discuss: r/programming
👁️System Observability
Building a (kind of) invisible Mac app
pierce.dev·12h·
Discuss: Hacker News
🍎Apple
Why Every Go Library Should Implement Must* Methods
blog.cansu.dev·3d·
Discuss: Hacker News
🧪Property-Based Testing
A Look Back at WeChat's PhxSQL and the 'Fastest Majority'
supasaf.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
I was tired of struggling to find a good apartment in NYC, so I built a free tool that finds the most undervalued apartments to buy/rent in NYC, helping me buy ...
realerestate.org·1d·
Discuss: Hacker News, r/InternetIsBeautiful
🍎Apple
Book Review: Origin of Consciousness in the Breakdown of the Bicameral Mind
slatestarcodex.com·1d·
Discuss: Hacker News
➡️Category Theory
What people said about an OpenZFS bug
despairlabs.com·5d·
Discuss: Lobsters, Hacker News
🔬Static Analysis
Software Defined Retro ROMs
hackaday.com·2d
💾Retro Computing
Solving the Context Rot Problem for Coding Agents
install.md·5d·
Discuss: Hacker News
✓Automated Theorem Proving
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·5d·
Discuss: Hacker News
🐫OCaml
Time Series Forecastability Measures
arxiv.org·1d
👁️System Observability
Kiro and the future of AI spec-driven software development
kiro.dev·5d·
Discuss: Lobsters, Hacker News
🤖Program Synthesis
QuestA: Expanding Reasoning Capacity in LLMs via Question Augmentation
arxiv.org·4d
✓Automated Theorem Proving
Automatic Classification and Segmentation of Tunnel Cracks Based on Deep Learning and Visual Explanations
arxiv.org·1d
🧗Climbing Tech
Matt Dillon discusses the past, present and future of BSDs (2022)
web.archive.org·3d·
Discuss: Hacker News
❄️Nixified Development
Enhancing Spatial Reasoning in Vision-Language Models via Chain-of-Thought Prompting and Reinforcement Learning
arxiv.org·1d
✓Automated Theorem Proving
Rethinking Suicidal Ideation Detection: A Trustworthy Annotation Framework and Cross-Lingual Model Evaluation
arxiv.org·3h
🐫OCaml
Hallucination Score: Towards Mitigating Hallucinations in Generative Image Super-Resolution
arxiv.org·3h
🔠Type-Level Programming
WordPecker: Open-Source Personalized Duolingo
news.ycombinator.com·1d·
Discuss: Hacker News
🍎Apple
MCP: A Practical Security Blueprint for Developers
thenewstack.io·6d
🌐NetworkProtocols