🧮 Constraint SMT

Z3 Applications, Satisfiability Modulo Theories, Constraint Programming, Automated Reasoning

My AI Workflow for Understanding Any Codebase
steipete.me·13h
⚡Proof Automation
New: Improve Apache Iceberg query performance in Amazon S3 with sort and z-order compaction
aws.amazon.com·1d
🔄Burrows-Wheeler
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·13h·
Discuss: Hacker News, r/programming
🔗Lisp
Agentic AI: Implementing Long-Term Memory
towardsdatascience.com·1d
💾Persistence Strategies
MDPO: Multi-Granularity Direct Preference Optimization for Mathematical Reasoning
arxiv.org·2d
🧮SMT Solvers
Visual hallucination detection in large vision-language models via evidential conflict
arxiv.org·19h
📊Learned Metrics
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
How I Built a Self-Correcting Prompt Generator with Multi-Stage LLM Calls"
dev.to·10h·
Discuss: DEV
🤖Lisp Machines
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Explaining software and computational methods
blog.khinsen.net·23h·
Discuss: Hacker News
📝Concrete Syntax
SAVANT: Vulnerability Detection in Application Dependencies through Semantic-Guided Reachability Analysis
arxiv.org·1d
💧Liquid Types
On Union-Closedness of Language Generation
arxiv.org·1d
🔗Monadic Parsing
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·9h
📊Graph Databases
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·16h
⬆️Lambda Lifting
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·19h
🔗Topological Sorting
Building a Real-World Context-Aware Movie Chatbot Using Amazon Bedrock - Nova Pro
dev.to·3h·
Discuss: DEV
🎙️Whisper
Lower Bounds for Conjunctive Query Evaluation
arxiv.org·1d
🧮Kolmogorov Complexity
Machine Learning Fundamentals: accuracy project
dev.to·2d·
Discuss: DEV
✅Archive Validation
Memory Safety in Web Rust System Zero Cost Secure（1750762127113200）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Hypercubical manifolds in homotopy type theory
arxiv.org·19h
🔶Cubical Type Theory