🧮 Z3 Solver

SMT Solving, Constraint Programming, Automated Reasoning, Formal Verification

From Data Swamps to Reliable Data Systems: How Iceberg Brought 40 Years of Database Wisdom to Data Lakes
blog.min.io·6h
🏺Database Archaeology
Prompt Injection Attacks: Hacking AI Through Conversation
infosecwriteups.com·1d
⚡Proof Automation
An Engineer's Guide to AI Code Model Evals
addyosmani.com·22h·
Discuss: r/programming, r/webdev
📏Code Metrics
Optimizing Tool Selection in LLM Workflows(Part 2): A DSPy and PyTorch Benchmark
viksit.substack.com·2d·
Discuss: Substack
✨Effect Handlers
Axiomatizing Rumsfeld Ignorance
arxiv.org·18h
🔲Proof Irrelevance
Breaking down the Single-Email XPIA Vulnerability Enabling Complete Gmail Data Exfiltration in Zapier Auto-Reply Agents
repello.ai·8h·
Discuss: r/programming
🔓Hacking
A lightweight library for portable low-level GPU computation using WebGPU
github.com·4h·
Discuss: Hacker News
🔩Systems Programming
Real-time Feature Generation at Lyft // Rakesh Kumar // #334
podcasters.spotify.com·3h
📊Count-Min Sketch
LoRA-Leak: Membership Inference Attacks Against LoRA Fine-tuned Language Models
arxiv.org·18h
💻Local LLMs
StackSafe: Taming Recursion in Rust Without Stack Overflow
fast.github.io·1d·
Discuss: Hacker News
🔒Type Safety
Why MIT Switched from Scheme to Python (2009)
wisdomandwonder.com·5h·
Discuss: Hacker News, r/programming
🤖Lisp Machines
OpenReasoning-Nemotron: A Family of Distilled Reasoning Models
huggingface.co·3d·
Discuss: Hacker News
💻Local LLMs
Well-Founded Coalgebras Meet K\"onig's Lemma
arxiv.org·18h
🧮Algebraic Archives
AraTable: Benchmarking LLMs' Reasoning and Understanding of Arabic Tabular Data
arxiv.org·18h
🌳Context free grammars
LeetCode Buddy – My AI-powered Code Review Assistant
dev.to·2h·
Discuss: DEV
🦀Rust Macros
Improving LLMs' Generalized Reasoning Abilities by Graph Problems
arxiv.org·1d
🧠Computational Logic
AlphaGo Moment for Model Architecture Discovery
arxiv.org·18h
🎯Performance Proofs
When to use model distillation in production
inference.net·1d·
Discuss: Hacker News
💻Local LLMs
Data-Driven Incremental GAS Certificate of Nonlinear Homogeneous Networks: A Formal Modular Approach
arxiv.org·18h
🎯Performance Proofs
AI coding agent one-shot challenge with Amp, Claude Code and Gemini
unknwon.io·2d·
Discuss: Hacker News
⚡Proof Automation