🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔍 Formal Verification

TLA+, Model Checking, Safety Properties, Specifications

Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org·2h
🐫OCaml
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org·2h
🎮Verification Games
DocCHA: Towards LLM-Augmented Interactive Online diagnosis System
arxiv.org·2h
✓Automated Theorem Proving
Deterministic Simulation Testing in Rust: A Theater Of State Machines
polarsignals.com·2d·
Discuss: Lobsters, Hacker News
🧪Property-Based Testing
CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
arxiv.org·2d
🔬Static Analysis
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
LLM Inference Handbook
bentoml.com·3h·
Discuss: Hacker News
🛡️seL4
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org·2h
✓Automated Theorem Proving
A Refreshing SQL Injection Discovery in Z-Push
xbow.com·12h·
Discuss: Hacker News
🛡️seL4
User simulators bridge RL with real-world interaction
jessylin.com·9h·
Discuss: Hacker News
🧪Property-Based Testing
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·8h·
Discuss: r/programming
🔬Static Analysis
Using Gemini and Claude for SQL Analytics
benjaminwootton.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Developing Structural Analysis Tooling for Experimental Aircraft
stanleywang.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: Authorization in LLM Applications
osohq.com·1d·
Discuss: Hacker News
🛡️seL4
Data-Star.dev – v1 and Beyond
data-star.dev·15h·
Discuss: Hacker News
🧱Immutable Infrastructure
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io·16h·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
ASSURE: Metamorphic Testing for AI-powered Browser Extensions
arxiv.org·2d
🧪Property-Based Testing
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·12h·
Discuss: Substack
🐫Embedded OCaml
Modern Electric Vehicle Infrastructure Security
ocpp.us·3d·
Discuss: Hacker News
🌐NetworkProtocols
Pipeline of Agents Pattern: Building Maintainable AI Workflows with LangGraph
vitaliihonchar.com·2d·
Discuss: Hacker News
🛡️seL4
Loading...Loading more...
AboutBlogChangelogRoadmap