🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

NIST Revises Security & Privacy Control Catalog for Software Updates & Patches
nist.gov·1d·
Discuss: Hacker News
🔤DSLs
The 100MHz 6502
e-basteln.de·5h·
Discuss: Hacker News
💾Retro Computing
Spectre haunts CPUs again: VMSCAPE vulnerability leaks cloud secrets
theregister.com·5h·
Discuss: Hacker News
🔧Unikernel Development
Meta-abstraction in the physical and social sciences (2021)
edwardfeser.blogspot.com·3h·
Discuss: Hacker News
➡️Category Theory
Clankers Die on Christmas
remyhax.xyz·3d·
Discuss: Hacker News
📚Automata Learning
Pulling an Inverse Conway Maneuver at Netflix (2023)
jivimberg.io·3d·
Discuss: Hacker News
👁️System Observability
Show HN: I built an operating file system for my agent (CRUD)
youtube.com·2d·
Discuss: Hacker News
🐳Containerization
Creating a Standard for TAI Governance
lesswrong.com·7h
🩹Self-Healing Systems
Rewriting Dataframes for MicroHaskell
mchav.github.io·3d·
Discuss: Hacker News, r/programming
🧮Lambda Calculus
Rust Support Now in Beta
socket.dev·3h·
Discuss: Hacker News
❄️Nixified Development
A Rapid Review Regarding the Concept of Legal Requirements in Requirements Engineering
arxiv.org·2d
⚙Operational Semantics
From Implicit Exploration to Structured Reasoning: Leveraging Guideline and Refinement for LLMs
arxiv.org·2d
📚Automata Learning
HumanAgencyBench: Scalable Evaluation of Human Agency Support in AI Assistants
arxiv.org·16h
📚Automata Learning
Alloyed agents: combining LLMs to improve AI code generation
enginelabs.ai·3d·
Discuss: Hacker News
💎Refinement Types
Dotter: Dotfile manager and templater written in Rust
github.com·1d·
Discuss: Hacker News
🐳Containerization
Lexy: A parser combinator library for C++17
github.com·1d·
Discuss: Hacker News
🧩Parser Combinators
Cybercrooks ripped the wheels off at Jaguar Land Rover. Here's how not to get taken for a ride
theregister.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
NPM Security Collapsed Thanks to a 2FA Exploit
securityboulevard.com·3h·
Discuss: Hacker News
❄️Nixified Development
From Staff Messages to Actionable Insights: A Multi-Stage LLM Classification Framework for Healthcare Analytics
arxiv.org·2d
⚙Operational Semantics
IO is special
blog.ploeh.dk·3d·
Discuss: Lobsters
💎Refinement Types