Refinement Types
Parallel SMT Solving via Dynamic Partitioning, Core-Guided Pruning, and Online Backbone Detection
 🧮SMT Solvers  Content type: AcademicIntroducing Soteria: A New Generation of Static Analysis for Rust
 🔧Developer tools  Content type: BlogLess-relevant results
Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory
 🧩Types  Content type: AcademicRust, C++, and the Tradeoffs Behind Safe Low-Level Code: interview with Nikita Lisitsa
 🦀Rust  Content type: Blog  Content type: DiscussionNo more posts from emschwartz's subscribed feeds.