🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Show HN: TrustGlance – See any business's trust level in seconds
trustglance.com·19h·
Discuss: Hacker News
🧪Property-Based Testing
The 100MHz 6502
e-basteln.de·17h·
Discuss: Hacker News
💾Retro Computing
Meta-abstraction in the physical and social sciences (2021)
edwardfeser.blogspot.com·15h·
Discuss: Hacker News
➡️Category Theory
Famulor AI Call Center: Multi-Calendar Support
docs.famulor.io·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Lexy: A parser combinator library for C++17
github.com·1d·
Discuss: Hacker News
🧩Parser Combinators
NPM Security Collapsed Thanks to a 2FA Exploit
securityboulevard.com·15h·
Discuss: Hacker News
❄️Nixified Development
From Staff Messages to Actionable Insights: A Multi-Stage LLM Classification Framework for Healthcare Analytics
arxiv.org·3d
⚙Operational Semantics
Building Conscious* AI: An Illusionist Case
lesswrong.com·13h
🧠Automated Reasoning
IO is special
blog.ploeh.dk·4d·
Discuss: Lobsters
💎Refinement Types
A Robot Wrote My Research
particle.scitech.org.au·17h·
Discuss: Hacker News
✓Automated Theorem Proving
LAMDAS: LLM as an Implicit Classifier for Domain-specific Data Selection
arxiv.org·3d
🐫OCaml
Enhancing 6G Network Security and Incident Response through Integrated VNF and SDN Technologies
arxiv.org·1d
📡Network Protocol Design
Billion-Line Days Demand Billion-Test Nights
momentic.ai·2d·
Discuss: Hacker News
🤖Program Synthesis
Show HN: Forked styled-components with optimizations (40% faster for Linear)
github.com·15h·
Discuss: Hacker News
💎Refinement Types
As hackers exploit one high-severity SAP flaw, company warns of 3 more
arstechnica.com·2d·
Discuss: Hacker News
👁️System Observability
Exploratory Retrieval-Augmented Planning For Continual Embodied Instruction Following
arxiv.org·1d
📚Automata Learning
AI as teleportation
geoffreylitt.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Recently inherited this rack
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Scaling Truth: The Confidence Paradox in AI Fact-Checking
arxiv.org·1d
✓Automated Theorem Proving
Characterizing Fitness Landscape Structures in Prompt Engineering
arxiv.org·3d
🤖Program Synthesis