๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
โฐ Temporal Logic

LTL, CTL, Model Checking, System Verification

An InfoSec Architect's First Taste of Temporal
supasaf.comยท8hยท
Discuss: Hacker News
๐ŸŒŠStreaming Systems
Preventing Reentrancy Bugs From Creeping Back In: Linking TLA+ Models to Rust Code
medium.comยท4hยท
Discuss: Lobsters
๐Ÿ›๏ธAgda
[R] Temporal Logic as a means to guarantee safety and efficiency in LLMs
reddit.comยท20hยท
Discuss: r/MachineLearning
๐Ÿ“Linear Logic
Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
arxiv.orgยท19h
๐Ÿ“Coq
Proof Complexity 2025
cstheory-events.orgยท22h
๐ŸŽฏPerformance Proofs
We Need AI Systems That Can Govern Themselves
cacm.acm.orgยท4h
โšกIncremental Computation
Detection Engineering: Practicing Detection-as-Code โ€“ Introduction โ€“ Part 1
blog.nviso.euยท15h
๐ŸŽฏThreat Hunting
Machine Learning Fundamentals: confusion matrix project
dev.toยท7hยท
Discuss: DEV
๐Ÿ“ฅFeed Aggregation
Deterministic Simulation Testing in Rust: A Theater Of State Machines
polarsignals.comยท9hยท
Discuss: Lobsters, Hacker News
๐Ÿฆ€Embedded Rust
My first verified (imperative) program
markushimmel.deยท1dยท
Discuss: Lobsters, Hacker News, r/programming
โš”๏ธLean Tactics
Being a psychologist to your (over)thinking LLM
specy.appยท11hยท
Discuss: Hacker News
๐Ÿ”—Constraint Handling
Effective cross-lingual LLM evaluation with Amazon Bedrock
aws.amazon.comยท7h
๐Ÿ”—Constraint Handling
Beyond the Prototype: 15 Hard-Earned Lessons to Ship Production-Ready AI Agents
hackernoon.comยท2h
โš™๏ธTLA+
Show HN: Tansive โ€“ AI Agents that won't accidentally restart your prod database
github.comยท10hยท
Discuss: Hacker News
๐ŸŒŠStreaming Systems
Dissecting Clinical Reasoning in Language Models: A Comparative Study of Prompts and Model Adaptation Strategies
arxiv.orgยท19h
๐ŸŽ™๏ธWhisper
Interleaving Logic and Counting
arxiv.orgยท19h
๐Ÿ“œManuscript Algebras
Maximizing Leverage in Software Systems
bencornia.comยท1d
๐ŸŒŠStreaming Systems
Context Engineering: Going Beyond Prompt Engineering and RAG
thenewstack.ioยท10h
๐ŸŒ€Brotli Internals
Exploiting Partial Compliance: The Redact-and-Recover Jailbreak
generalanalysis.comยท2hยท
Discuss: Hacker News
๐ŸงชCBOR Fuzzing
Pipeline of Agents Pattern: Building Maintainable AI Workflows with LangGraph
vitaliihonchar.comยท5hยท
Discuss: Hacker News
โšกProof Automation
Loading...Loading more...
AboutBlogChangelogRoadmap