🧮 Z3 Solver

SMT Solving, Constraint Programming, Automated Reasoning, Formal Verification

Prompt Injection Attacks: Hacking AI Through Conversation
infosecwriteups.com·1d
⚡Proof Automation
Breaking down the Single-Email XPIA Vulnerability Enabling Complete Gmail Data Exfiltration in Zapier Auto-Reply Agents
repello.ai·21h·
Discuss: r/programming
🔓Hacking
Real-time Feature Generation at Lyft // Rakesh Kumar // #334
podcasters.spotify.com·16h
📊Count-Min Sketch
Why MIT Switched from Scheme to Python (2009)
wisdomandwonder.com·18h·
Discuss: Hacker News, r/programming
🤖Lisp Machines
OpenReasoning-Nemotron: A Family of Distilled Reasoning Models
huggingface.co·4d·
Discuss: Hacker News
💻Local LLMs
Well-Founded Coalgebras Meet K\"onig's Lemma
arxiv.org·1d
🧮Algebraic Archives
AraTable: Benchmarking LLMs' Reasoning and Understanding of Arabic Tabular Data
arxiv.org·1d
🌳Context free grammars
Using AI in Software Development: What Techniques Increase Productivity?
dev.to·2h·
Discuss: DEV
⚡Proof Automation
Two Major AI Coding Tools Wiped Out User Data After Making Cascading Mistakes
hardware.slashdot.org·20h
🔓Hacking
Started a "simple" K8s tool. Now I'm drowning in systems complexity. Complexity or skills gap? Maybe both
reddit.com·1d·
Discuss: r/kubernetes
🌐Protocol Synthesis
LeetCode Buddy – My AI-powered Code Review Assistant
dev.to·15h·
Discuss: DEV
🦀Rust Macros
Improving LLMs' Generalized Reasoning Abilities by Graph Problems
arxiv.org·2d
🧠Computational Logic
AlphaGo Moment for Model Architecture Discovery
arxiv.org·1d
🎯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·1d
🎯Performance Proofs
AI coding agent one-shot challenge with Amp, Claude Code and Gemini
unknwon.io·3d·
Discuss: Hacker News
⚡Proof Automation
Reinforcement Learning in hyperbolic space for multi-step reasoning
arxiv.org·2d
🌀Hyperbolic Geometry
Towards Robust Foundation Models for Digital Pathology
arxiv.org·1d
🧠Machine Learning
ZORMS-LfD: Learning from Demonstrations with Zeroth-Order Random Matrix Search
arxiv.org·2d
🧮SMT Solvers
You won't believe what this AI said after deleting a database (but you might relate)
smallcultfollowing.com·2d·
Discuss: Hacker News, Hacker News
⚡Proof Automation