Types
Introducing Jo — Secure Programming for the AI Era
 🔓Open Source Software  Content type: BlogRust, C++, and the Tradeoffs Behind Safe Low-Level Code: interview with Nikita Lisitsa
 🦀Rust  Content type: Blog  Content type: DiscussionA Proof in Coq that Core Logic is not Paraconsistent
 💻Programming languages  Content type: AcademicExtraction and Search in Rocq: Theorems, Definitions and Their dependencies
 💻Programming languages  Content type: AcademicLean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory
 🔬Refinement Types  Content type: AcademicNo more posts from emschwartz's subscribed feeds.