Build a home thermostat with a Raspberry Pi
opensource.com·13h·
Discuss: Hacker News
🩹Self-Healing Systems
Show HN: ScrapingDuck a Web Scraping API
scrapingduck.com·6h·
Discuss: Hacker News
🧮Lambda Calculus
Show HN: ZenStack V3 – Modern, AI-Friendly Data Layer for TypeScript App
zenstack.dev·4d·
Discuss: Hacker News
🔠Type-Level Programming
Pg_guard: Database Proxy for Programming Agents
blog.jonaylor.com·1d·
Discuss: Hacker News
🧩Separation Logic
Test-Driven Infrastructure
maxdaten.io·2d·
Discuss: Hacker News
🔄Reproducible Builds
Tripping Around REPL
vlaaad.github.io·5d·
Discuss: Hacker News
🛡️seL4
LLM as Pair?
ronjeffries.com·20h·
Discuss: Hacker News
✓Automated Theorem Proving
Optimizing AI Inference with Edge Computing
edgee.cloud·4d·
Discuss: Hacker News
📚Automata Learning
C Tooling
tomscheers.github.io·3d·
Discuss: Hacker News, r/C_Programming
🔬Static Analysis
Microsoft’s Rust Bet: From Blue Screens to Safer Code
thenewstack.io·1d·
Discuss: Hacker News
👁️System Observability
Easier Painting Than Thinking: Can Text-to-Image Models Set the Stage, but Not Direct the Play?
arxiv.org·2d
🔄Finite State Machines
Safe Sharing of Fast Kernel-Bypass I/O Among Nontrusting Applications
arxiv.org·2d
🔧Unikernel Development
Cyclic Implicit Complexity
arxiv.org·5d
🐫OCaml
LLMs encode theory-of-mind: a study on sparse parameter patterns
nature.com·1d·
Discuss: Hacker News
📚Automata Learning
Adding #[derive(From)] to Rust
kobzol.github.io·4d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🐫OCaml
Mu Puzzle
en.wikipedia.org·2d·
Discuss: Hacker News
🧮Lambda Calculus
AI Predictions for Agents
kumo.ai·1d·
Discuss: Hacker News
✓Automated Theorem Proving
FastCaps: A Design Methodology for Accelerating Capsule Network on Field Programmable Gate Arrays
arxiv.org·2d
⚙️Operating System Design
Portable Targeted Sampling Framework Using LLVM
arxiv.org·2d
🐫Embedded OCaml
Debugging Rustler on Illumos
system-illumination.org·4d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🔬Static Analysis