🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Semantic vs Date Versions
tglman.com·5h·
Discuss: Hacker News
❄️Nixified Development
Why Account Linking Should Be Pivotal in Your CIAM SSO
discovery.cevolution.co.uk·8h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Master Foo and LLM Mountain
tusshah.github.io·1d·
Discuss: Hacker News
⚙️PL Implementation
Which OAuth Flow Should You Use?
nimblesa.com·1h·
Discuss: Hacker News
🌐NetworkProtocols
Anchoring Refusal Direction: Mitigating Safety Risks in Tuning via Projection Constraint
arxiv.org·1d
🐫OCaml
Show HN: A local first AI engine and orchestrator
krionis.com·2d·
Discuss: Hacker News
👁️System Observability
An Interactive Guide to TanStack DB
frontendatscale.com·23h·
Discuss: Hacker News
🔄Reproducible Builds
Calibrating indifference - a small AI safety idea
lesswrong.com·1d
🧪Property-Based Testing
From Staff Messages to Actionable Insights: A Multi-Stage LLM Classification Framework for Healthcare Analytics
arxiv.org·1d
⚙Operational Semantics
Pulling an Inverse Conway Maneuver at Netflix (2023)
jivimberg.io·2d·
Discuss: Hacker News
👁️System Observability
Famulor AI Call Center: Multi-Calendar Support
docs.famulor.io·19h·
Discuss: Hacker News
✓Automated Theorem Proving
A Rapid Review Regarding the Concept of Legal Requirements in Requirements Engineering
arxiv.org·1d
⚙Operational Semantics
Characterizing Fitness Landscape Structures in Prompt Engineering
arxiv.org·1d
🤖Program Synthesis
Practical CI-friendly Performance Tests
solidean.com·1d·
Discuss: Lobsters, r/cpp
👁️System Observability
Billion-Line Days Demand Billion-Test Nights
momentic.ai·1d·
Discuss: Hacker News
🤖Program Synthesis
A Resolution-Based Interactive Proof System for UNSAT
arxiv.org·6d
✓Automated Theorem Proving
Attackers hijacked popular NPM packages to replace crypto wallet addresses
exaforce.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Visualising Topology Inspired Computing Algorithms
antifold.com·22h·
Discuss: Hacker News
🧩Separation Logic
Show HN: Robot MCP Server – Connect Any Language Model and ROS Robots Using MCP
github.com·5h·
Discuss: Hacker News
🏠HomeLab
From Implicit Exploration to Structured Reasoning: Leveraging Guideline and Refinement for LLMs
arxiv.org·1d
📚Automata Learning