The Component Manifesto
lifeiscontent.net·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Parsing Safetensors File Format in C
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
🔬Static Analysis
How AI on Microcontrollers Works: Registering Operators
danielmangum.com·2d·
Discuss: Hacker News
🐫OCaml
Divine Documentation
aneeshsathe.com·21h·
Discuss: Hacker News
✓Automated Theorem Proving
Sandboxed Python executor for AI agents using WebAssembly
psiace.me·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
NixOS: Declarative Management, Imperative Privilege Escalation
labs.snyk.io·1d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
An LLM Router That Thinks Like an Engineer
medium.com·1d·
Discuss: Hacker News
📡Network Protocol Design
CoCre-Sam (Kokkuri-san): Modeling Ouija Board as Collective Langevin Dynamics Sampling from Fused Language Models
arxiv.org·7h
🎮Verification Games
AWS launches Kiro, its Cursor clone
kiro.dev·2d·
Discuss: Hacker News
🔄Reproducible Builds
Physics-Informed Linear Model (PILM): Analytical Representations and Application to Crustal Strain Rate Estimation
arxiv.org·7h
🐫OCaml
From Alerts to Intelligence: A Novel LLM-Aided Framework for Host-based Intrusion Detection
arxiv.org·1d
🛡️seL4
Check out my mess...
reddit.com·9h·
Discuss: r/homelab
💾Retro Computing
Show HN: From Zod schema to agent-ready MCP server – minimal, typed, deployable
github.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Real-Time Bayesian Detection of Drift-Evasive GNSS Spoofing in Reinforcement Learning Based UAV Deconfliction
arxiv.org·1d
📡Network Protocol Design
A Lightweight and Robust Framework for Real-Time Colorectal Polyp Detection Using LOF-Based Preprocessing and YOLO-v11n
arxiv.org·1d
🐫Embedded OCaml
Finding Order-Preserving Subgraphs
arxiv.org·1d
💻CS
Simulation as Supervision: Mechanistic Pretraining for Scientific Discovery
arxiv.org·2d
🎮Verification Games
Circumventing Safety Alignment in Large Language Models Through Embedding Space Toxicity Attenuation
arxiv.org·3d
🔍Formal Verification
Orchestrator-Agent Trust: A Modular Agentic AI Visual Classification System with Trust-Aware Orchestration and RAG-Based Reasoning
arxiv.org·1d
🎮Verification Games
LiLM-RDB-SFC: Lightweight Language Model with Relational Database-Guided DRL for Optimized SFC Provisioning
arxiv.org·1d
🔤DSLs