🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Building Telemetry Pipelines with the OpenTelemetry Collector
dash0.com·2d·
Discuss: Hacker News, r/programming
👁️System Observability
$100M ARR and Lovable Is Now Agentic
lovable.dev·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
How we are trying to disrupt Stripe with open-source
useautumn.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
What kind of work I want (in 2025)
seangoedecke.com·23h·
Discuss: Hacker News
❄️Nix
Recursively self improving AI might not work without these functions
secondsight.dev·3d·
Discuss: Hacker News
🤖Program Synthesis
W3 AI Agent Protocol Community Group
w3.org·4d·
Discuss: Hacker News
🌐NetworkProtocols
Al could be hiding its thoughts: Tech giants warn of 'Chain of Thought'
economictimes.indiatimes.com·2d·
Discuss: Hacker News
🔍Formal Verification
2025 One Hertz Challenge: A Discrete Component Divider Chain
hackaday.com·5h
🐫Embedded OCaml
Bypassing Watermark Implementations
blog.kulkan.com·3d·
Discuss: Hacker News
🌐NetworkProtocols
Two-Stage TSO-DSO Services Provision Framework for Electric Vehicle Coordination
arxiv.org·19h
📡Network Protocol Design
npm ‘is’ Package Hijacked in Expanding Supply Chain Attack
socket.dev·3d·
Discuss: Hacker News
❄️Nixified Development
A Formal Model of the Economic Impacts of AI Openness Regulation
arxiv.org·3d
🏹Effect Systems
Buggy rule diagnosis for combined steps through final answer evaluation in stepwise tasks
arxiv.org·4d
✓Automated Theorem Proving
Show HN: A tiny (480 LOC) AI coding assistant for your shell
github.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
DARE: Diverse Visual Question Answering with Robustness Evaluation
arxiv.org·3d
🎮Verification Games
From Semantics, Scene to Instance-awareness: Distilling Foundation Model for Open-vocabulary Situation Recognition
arxiv.org·3d
🔠Type-Level Programming
Spatial 3D-LLM: Exploring Spatial Awareness in 3D Vision-Language Models
arxiv.org·2d
🐫Embedded OCaml
A tissue and cell-level annotated H&E and PD-L1 histopathology image dataset in non-small cell lung cancer
arxiv.org·1d
➡️Category Theory
ZORMS-LfD: Learning from Demonstrations with Zeroth-Order Random Matrix Search
arxiv.org·1d
💻CS
NPM package 'is' with 2.8M weekly downloads infected devs with malware
bleepingcomputer.com·1d·
Discuss: Hacker News
❄️Nixified Development