Cyclic Proofs for iGL via Corecursion
arxiv.org·8h
🔐Zero-Knowledge Proofs
Flag this post
Formal Verification’s Value Grows
semiengineering.com·5h
🔧MLIR
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·1d
🔧MLIR
Flag this post
Rust Testing Framework: Build Reliable Code with Built-In Unit and Integration Tests
⚙️Programming
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
⚙️Programming
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·1d
🔧MLIR
Flag this post
Dive into Systems
⚙️Programming
Flag this post
The 5 FREE Must-Read Books for Every LLM Engineer
kdnuggets.com·42m
🔧MLIR
Flag this post
News for October 2025
ptreview.sublinear.info·1d
🧮Homomorphic Encryption
Flag this post
Text to SQL: Local, Secure, and Smarter
🤖AI
Flag this post
OpenSIR: Open-Ended Self-Improving Reasoner
arxiv.org·1d
🔧MLIR
Flag this post
GDM: Consistency Training Helps Limit Sycophancy and Jailbreaks in Gemini 2.5 Flash
lesswrong.com·21h
🔒Hardware Security
Flag this post
Planning > Agents: Getting Reliable Code from LLMs
🤖AI
Flag this post
Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point
⚙️Programming
Flag this post
Loading...Loading more...