🐿️ 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
Open Source Tools to Detect CVE-2024-54085
eclypsium.com
·
8h
·
Discuss:
Hacker News
📦
Unikernel Systems
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co
·
19h
·
Discuss:
Hacker News
🤖
Program Synthesis
AWS Challenges – Verifying the Rust standard library
model-checking.github.io
·
14h
·
Discuss:
Hacker News
🔬
Static Analysis
Show HN: Bedrock – An 8-bit computing system for running programs anywhere
benbridle.com
·
8h
·
Discuss:
Hacker News
⚙️
PL Implementation
Real Consulting Example: Refactoring FinTech Project to use Terraform and ArgoCD
lukasniessen.medium.com
·
1d
·
Discuss:
r/devops
,
r/programming
🖥️
Self-hosted Infrastructure
Jurisdiction Is Nearly Irrelevant to the Security of Encrypted Messaging Apps
soatok.blog
·
1d
·
Discuss:
Hacker News
🌐
NetworkProtocols
Don’t compare programming to the real world
expressionstatement.com
·
17h
·
Discuss:
r/programming
👁️
System Observability
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com
·
1d
·
Discuss:
Hacker News
🐫
Embedded OCaml
Full QuickJS Support for Nginx
blog.nginx.org
·
4h
·
Discuss:
Hacker News
🌐
NetworkProtocols
Show HN: Please check out my Free OpenAPI audit tool
devunus.com
·
9h
·
Discuss:
Hacker News
🌐
NetworkProtocols
Computer Scientists Figure Out How To Prove Lies
quantamagazine.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
Hacker News
🎮
Verification Games
Swiss boffins just trained a 'fully open' LLM on the Alps supercomputer
theregister.com
·
1d
·
Discuss:
Hacker News
📦
Unikernel Systems
ASSURE: Metamorphic Testing for AI-powered Browser Extensions
arxiv.org
·
2d
🧪
Property-Based Testing
Exploiting Partial Compliance: The Redact-and-Recover Jailbreak
generalanalysis.com
·
2d
·
Discuss:
Hacker News
🧪
Property-Based Testing
An InfoSec Architect's First Taste of Temporal
supasaf.com
·
2d
·
Discuss:
Hacker News
⚙️
PL Implementation
Cocoindex: Data Transformation for AI
cocoindex.io
·
13h
·
Discuss:
Hacker News
🔄
Reproducible Builds
Breaking down the Zero-Click AI Vulnerability Enabling Data Ex-filtration Through Calendar Invites in Eleven-labs Voice Assistants
repello.ai
·
1h
·
Discuss:
r/programming
✓
Automated Theorem Proving
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org
·
2h
🎮
Verification Games
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com
·
12h
·
Discuss:
Substack
🐫
Embedded OCaml
Foundation Model Self-Play: Open-Ended Strategy Innovation via Foundation Models
arxiv.org
·
1d
🎮
Verification Games
Loading...
Loading more...
« Page 1
•
Page 3 »