Build a home thermostat with a Raspberry Pi
opensource.com·5h·
Discuss: Hacker News
🩹Self-Healing Systems
Exploring Interlisp-10 and Twenex
journal.paoloamoroso.com·14h·
Discuss: Hacker News
❄️Nix
Show HN: ZenStack V3 – Modern, AI-Friendly Data Layer for TypeScript App
zenstack.dev·3d·
Discuss: Hacker News
🔠Type-Level Programming
The Whop chop: how we cut a Rails test suite and CI time in half
evilmartians.com·3d·
Discuss: Hacker News
🍎Apple
I Was Wrong: Start Simple, Then Move to More Complex
charles-frenzel.medium.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
Pg_guard: Database Proxy for Programming Agents
blog.jonaylor.com·1d·
Discuss: Hacker News
🧩Separation Logic
Reverse engineering of Apple's iOS 0-click CVE-2025-43300: 2 bytes that make size matter
blog.quarkslab.com·2d·
Discuss: Hacker News
📺Vintage Apple
Test-Driven Infrastructure
maxdaten.io·2d·
Discuss: Hacker News
🔄Reproducible Builds
Tripping Around REPL
vlaaad.github.io·4d·
Discuss: Hacker News
🛡️seL4
Dependency Chain Analysis of ROS 2 DDS QoS Policies: From Lifecycle Tutorial to Static Verification
arxiv.org·2d
🔍Formal Verification
The Decisioninator Decides Dinner, Saves Marriage
hackaday.com·2h
🔬Unikernels
Towards Reasoning for PDE Foundation Models: A Reward-Model-Driven Inference-Time-Scaling Algorithm
arxiv.org·2d
✓Automated Theorem Proving
RoguelikeDev Does the Complete Roguelike Tutorial 2025 in Odin
github.com·2d·
Discuss: Hacker News
🎮Verification Games
IdentityMesh: Exploiting Lateral Movement in Agentic Systems
lasso.security·22h·
Discuss: Hacker News
🛡️seL4
Can you help me decide on a name for my project? I'm thinking Py++.
github.com·3d·
Discuss: r/programming
⚙️PL Implementation
Counterfactual Sensitivity for Faithful Reasoning in Language Models
arxiv.org·3d
📚Automata Learning
LLM as Pair?
ronjeffries.com·12h·
Discuss: Hacker News
✓Automated Theorem Proving
Optimizing AI Inference with Edge Computing
edgee.cloud·3d·
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