🛡️ seL4

Formal Verification, Microkernel, Capability Security, Isabelle/HOL

Feeds to Scour
SubscribedAll
Scoured 9713 posts in 130.8 ms
MAS-ProVe: Understanding the Process Verification of Multi-Agent Systems
arxiv.org·9h
✅Model Checking
Logic for Programmers New Release and Next Steps
buttondown.com·59m
🔬Static Analysis
Show HN: 32KB deductive engine that catches LLM hallucinations
news.ycombinator.com·5h·
Discuss: Hacker News
🧮Z3
I Am Not a Functional Programmer
blog.daniel-beskin.com·1h·
Discuss: r/programming
λFunctional Programming
Internal Flow Signatures for Self-Checking and Refinement in LLMs
arxiv.org·1d
📊Runtime Verification
How I Program with LLMs
blog.wesleyabbey.io·1h·
Discuss: Hacker News
🔀OCaml Multicore
Millets: A practical memory-safety and thread-safety experiment
eagledot.xyz·1d·
Discuss: Lobsters, Hacker News
🏃Escape Analysis
Zero-Budget Data Sanitization: A Security Researcher’s Guide with Go
dev.to·8h·
Discuss: DEV
📊Runtime Verification
LLMs versus the Halting Problem: Revisiting Program Termination Prediction
orensultan.com·1d·
Discuss: Hacker News
🔍CBMC
akshat666/ephemeral-first-security-framework: Security through transience, not just encryption
github.com·22h·
Discuss: Hacker News
🔒Protocol Verification
The 3Cs: A Framework for AI Agent Security
docker.com·12h
🩹Self-Healing Systems
Formally Verifying PBS Kids with Lean4
shadaj.me·1d·
Discuss: Hacker News
🎮Verification Games
Multi-layer defense for LLM agents inspired by immune systems (seeking critique)
gist.github.com·5h·
Discuss: Hacker News
🔲Cellular Automata
a Pingora-based reverse proxy (inspired by River)
sentinel.raskell.io·7h·
Discuss: Hacker News
🌐NetworkProtocols
The €10 Mirror: Why Enterprise Security Looks Like a Kid’s Toy
labs.itresit.es·7h·
Discuss: Hacker News
🛡️macOS Security
Verifying coding AIs for LLM powered software
aunhumano.com·18h·
Discuss: Hacker News
🔍Formal Verification
Mekara: Workflows as Code Proof-of-Concept
meksys-dev.github.io·10h·
Discuss: Hacker News
🔄Reproducible Builds
RAG Poisoning: How Attackers Corrupt AI Knowledge Bases
instatunnel.my·3h·
Discuss: r/programming
🧠Automated Reasoning
A Quick Introduction to OxCaml
noelwelsh.com·3h·
Discuss: Hacker News
🐫Embedded OCaml
Pascal-J/type-system-j: adds an optional type system to J language
github.com·18h·
Discuss: Lobsters
🎯GADT

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help