🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Show HN: ScamBare Text Checker
scambare.com·2d·
Discuss: Hacker News
🎮Verification Games
The Illusion of Moral Superiority
pmc.ncbi.nlm.nih.gov·17h·
Discuss: Hacker News
🔠Type-Level Programming
Password1: how scammers exploit variations of your logins
theguardian.com·3h·
Discuss: Hacker News
🍎Apple
How to Work Hard
paulgraham.com·18h·
Discuss: Hacker News
➡️Category Theory
Pgschema – Declarative schema migration for Postgres
pgschema.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Quantum Algorithm Zoo
quantumalgorithmzoo.org·3d·
Discuss: Hacker News
🧠Automated Reasoning
What I've been working on: Two AI SaaS on specific Niches
mirak004-refactorbiz.hf.space·4d·
Discuss: Hacker News
🔤DSLs
HiTex: A spam factory for AI-generated books
laurent.le-brun.eu·3d·
Discuss: Hacker News
🐫OCaml
Behind The Scenes of Bun Install
bun.com·3d·
Discuss: Lobsters, Hacker News, r/programming, r/programming
🔧Unikernel Development
Apple Announces A19 and A19 Pro SoCs
morethanmoore.substack.com·1d·
Discuss: Substack
🍎XNU Internals
Attackers hijacked popular NPM packages to replace crypto wallet addresses
exaforce.com·4d·
Discuss: Hacker News
🌐NetworkProtocols
You are not going to turn into Google eventually
idiallo.com·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
Generative Engine Optimization: How to Dominate AI Search
arxiv.org·2d
🧩Parser Combinators
Lexy: A parser combinator library for C++17
github.com·3d·
Discuss: Hacker News
🧩Parser Combinators
Exploratory Retrieval-Augmented Planning For Continual Embodied Instruction Following
arxiv.org·3d
📚Automata Learning
Scaling Truth: The Confidence Paradox in AI Fact-Checking
arxiv.org·3d
✓Automated Theorem Proving
Characterizing Fitness Landscape Structures in Prompt Engineering
arxiv.org·5d
🤖Program Synthesis
Dotter: Dotfile manager and templater written in Rust
github.com·3d·
Discuss: Hacker News
🐳Containerization
The Linear Reliability Channel
arxiv.org·3d
🧮Lambda Calculus
Hyperbolic Large Language Models
arxiv.org·5d
📚Automata Learning