Feeds to Scour
SubscribedAll
Scoured 129934 posts in 2.33 s
Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes
gavinhoward.com·1d·
Discuss: Hacker News
🦀Rust
Preview
Report Post
<p>**Abstract:** This paper introduces a novel approach to formally verifying reactive systems by leveraging hyperdimensional representations of temporal logic ...
freederia.com·2d
📐TLA+
Preview
Report Post
The Wrong Question About Type Systems
furkan3ayraktar.github.io·1d·
Discuss: Lobsters, Hacker News
🔵Clojure
Preview
Report Post
AI Set to Mainstream Formal Verification in Software Engineering
webpronews.com·23h
🎭Program Synthesis
Preview
Report Post
A Formal Verification of the XRP Ledger
dev.to·20h·
Discuss: DEV
💼Thrift
Preview
Report Post
Verification-Guided Context Optimization for Tool Calling via Hierarchical LLMs-as-Editors
arxiv.org·1d
🏗️MLIR
Preview
Report Post
Hello, <T>here: generics are here for nanoFramework
nanoframework.net·18h
📏Linear Types
Preview
Report Post
When should I be worried about *where* to define variables?
reddit.com·1d·
Discuss: r/golang
🎯Escape Analysis
Preview
Report Post
Fault propagation model construction and probability calculation method for multi-state system based on directed diagrams theory
sciencedirect.com·21h
✅Model Checking
Preview
Report Post
michmech/lemmatization-lists: Machine-readable lists of lemma-token pairs in 23 languages.
github.com·1d
📝Parsing
Preview
Report Post
Understanding Mathematics Through Lean
bytesauna.com·3d·
Discuss: Hacker News
🔗Dependent Types
Preview
Report Post
Denotational vs operational
ericnormand.substack.com·2d·
Discuss: Substack
🔨Compiler Design
Preview
Report Post
TLA+ modeling tips
muratbuffalo.blogspot.com·2d·
Discuss: Lobsters, Hacker News
📐TLA+
Preview
Report Post
Plans as Data – Typed Functional Programming for Robotic Orchestration
buildmonumental.substack.com·1d·
Discuss: Substack
⚓Anchors
Preview
Report Post
Code is Cheap. Schema Mistakes Are Expensive.
pub.towardsai.net·2d
🌊SeaORM Migrations
Preview
Report Post
Syntactic musings on the fallibility effect
blog.yoshuawuyts.com·1d
🛡️Error Handling
Preview
Report Post
AI will make formal verification go mainstream
dev.to·21h·
Discuss: DEV
🛡️AI Security
Preview
Report Post
how I think when I think about programming - alice maz
alicemaz.com·1d
λFunctional Programming
Preview
Report Post
BitsLab's MoveBit Releases Research: Belobog, a Move Fuzzing Framework Oriented Toward Real-World Attacks
prnewswire.com·1d
🐛Fuzzing
Preview
Report Post
Build Your Own Key-Value Storage Engine—Week 4
read.thecoder.cafe·23h
🌲LSM Trees
Preview
Report Post