🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🛡️ seL4
Formal Verification, Microkernel, Capability Security, Isabelle/HOL
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
ATC/OSDI'25 Technical Sessions
muratbuffalo.blogspot.com
·
3h
·
Discuss:
Hacker News
👁️
System Observability
Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
arxiv.org
·
3d
✓
Automated Theorem Proving
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space
·
12h
·
Discuss:
r/programming
🔬
Static Analysis
Show HN: Authorization in LLM Applications
osohq.com
·
1d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page
·
17h
·
Discuss:
Hacker News
🔬
Static Analysis
Specification Grounding: The Missing Link in Vibe Coding
unstract.com
·
17h
·
Discuss:
Lobsters
,
Hacker News
🔍
Formal Verification
A Refreshing SQL Injection Discovery in Z-Push
xbow.com
·
16h
·
Discuss:
Hacker News
🌐
NetworkProtocols
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.org
·
6h
🔍
Formal Verification
My first verified (imperative) program
markushimmel.de
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🔍
Formal Verification
Reframe – Open‑Source ISO20022 Message Transformer in Rust
github.com
·
20h
·
Discuss:
Hacker News
🔤
DSLs
Trace LLM workflows at your app's semantic level, not at the OpenAI API boundary
engineeringideas.substack.com
·
2h
·
Discuss:
Substack
🔍
Formal Verification
RFC 9309 – Robots Exclusion Protocol
datatracker.ietf.org
·
22h
·
Discuss:
Hacker News
📡
Network Protocol Design
LLM Inference Handbook
bentoml.com
·
7h
·
Discuss:
Hacker News
🐫
OCaml
Building MCP servers the easy way with Apache OpenServerless
opensource.net
·
1d
·
Discuss:
Hacker News
🧱
Immutable Infrastructure
Ever looked at an MCP server and wondered why we’re running a whole wrapper just to pass JSON through? So I scrapped the wrapper entirely and let agents call th...
reddit.com
·
14h
·
Discuss:
r/programming
🌐
NetworkProtocols
Binding Application in Idris
andrevidela.com
·
11h
·
Discuss:
Hacker News
🔠
Type-Level Programming
Software Reverse Engineering Bookshelf
mcgrewsecurity.com
·
15h
·
Discuss:
Hacker News
💾
Retro Computing
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io
·
20h
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🐫
Embedded OCaml
Secure Your Keys with Keyand.me
thasso.xyz
·
2h
·
Discuss:
Hacker News
🌐
NetworkProtocols
Open Source Tools to Detect CVE-2024-54085
eclypsium.com
·
11h
·
Discuss:
Hacker News
📦
Unikernel Systems
Loading...
Loading more...
Page 2 »