Build a home thermostat with a Raspberry Pi
opensource.com·1h·
Discuss: Hacker News
🩹Self-Healing Systems
Math as a Gatekeeper
kidswholovemath.substack.com·15h·
Discuss: Substack
➡️Category Theory
Exploring Interlisp-10 and Twenex
journal.paoloamoroso.com·10h·
Discuss: Hacker News
❄️Nix
I Was Wrong: Start Simple, Then Move to More Complex
charles-frenzel.medium.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
Subverting code integrity checks to locally backdoor Signal, 1Password, Slack, and more
blog.trailofbits.com·2d·
Discuss: Lobsters, Hacker News
🛡️seL4
A PyTorch plugin to rethink AI's core
forbes.com·1d·
Discuss: Hacker News
🐫OCaml
SafeProtein: Red-Teaming Framework and Benchmark for Protein Foundation Models
arxiv.org·2d
🧠Automated Reasoning
DiVerify: Hardening Identity-Based Software Signing with Programmable Diverse-Context Scopes
arxiv.org·2d
🔄Reproducible Builds
Type-safe and user-friendly error handling in Swift 6
theswiftdev.com·5d·
Discuss: Hacker News, r/programming
🌐NetworkProtocols
Learn about building a Rust Plugin System
blog.anirudha.dev·4d·
Discuss: Hacker News
⚙️PL Implementation
Morse sequences on stacks and flooding sequences
arxiv.org·3d
➡️Category Theory
From Evaluation to Defense: Constructing Persistent Edit-Based Fingerprints for Large Language Models
arxiv.org·2d
🧩Parser Combinators
Disciplined AI Software Development: Structured Method for Generative Programming
github.com·1d·
Discuss: r/programming
🤖Program Synthesis
Test-Driven Infrastructure
maxdaten.io·1d·
Discuss: Hacker News
🔄Reproducible Builds
Tripping Around REPL
vlaaad.github.io·4d·
Discuss: Hacker News
🛡️seL4
TableZoomer: A Collaborative Agent Framework for Large-scale Table Question Answering
arxiv.org·3d
🧩Parser Combinators
Adding #[derive(From)] to Rust
kobzol.github.io·3d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🐫OCaml
RoguelikeDev Does the Complete Roguelike Tutorial 2025 in Odin
github.com·2d·
Discuss: Hacker News
🎮Verification Games
Warming Up for Zeroth-Order Federated Pre-Training with Low Resource Clients
arxiv.org·2d
🔠Type-Level Programming
Dependency Chain Analysis of ROS 2 DDS QoS Policies: From Lifecycle Tutorial to Static Verification
arxiv.org·2d
🔍Formal Verification