Z3, Constraint Satisfaction, Boolean Satisfiability, Theorem Proving, Mathematical Optimization

Introducing SWE-1.5: Our Fast Agent Model
simonwillison.net·1d
🔒WASM Capabilities
Flag this post
GHC Developer Blog: GHC 9.14.1-rc1 is now available
haskell.org·1d
🔗Functional Compilers
Flag this post
Transforming Expense Management with AI Agent Orchestration
insideaiagents.com·2h·
Discuss: Hacker News
SMT Integration
Flag this post
Org Mode as Architecture Notebook
blog.wilcoxd.com·2h·
Discuss: Hacker News
🔩Systems Programming
Flag this post
Building Intelligent AI Agents with Modular Reinforcement Learning
dev.to·7h·
Discuss: DEV
Incremental Computation
Flag this post
Build LLM Agents Faster with Datapizza AI
towardsdatascience.com·15h
Proof Automation
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·6h·
🦀Rust Macros
Flag this post
A fast spectral overlapping domain decomposition method with discretization-independent conditioning bounds
arxiv.org·4h
📐Linear Algebra
Flag this post
Do Not Step Into the Same River Twice: Learning to Reason from Trial and Error
arxiv.org·4h
💻Local LLMs
Flag this post
Linear Causal Discovery with Interventional Constraints
arxiv.org·4h
Effect Handlers
Flag this post
Understanding Hardness of Vision-Language Compositionality from A Token-level Causal Lens
arxiv.org·4h
🌳Context free grammars
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·1d·
Discuss: Hacker News
📊Static Analysis
Flag this post
Value Drifts: Tracing Value Alignment During LLM Post-Training
arxiv.org·4h
📊Feed Optimization
Flag this post
A hitchhiker's guide to CUDA programming
seanzhang.me·12h·
Discuss: Hacker News
SIMD Vectorization
Flag this post
Latent Refinement Decoding: Enhancing Diffusion-Based Language Models byRefining Belief States
dev.to·8h·
Discuss: DEV
🚀SIMD Text Processing
Flag this post
Empowering RepoQA-Agent based on Reinforcement Learning Driven by Monte-carlo Tree Search
arxiv.org·4h
🔄Reproducible Builds
Flag this post
✅ Day 57 of My Data Analytics Journey!
dev.to·17h·
Discuss: DEV
📊Count-Min Sketch
Flag this post
A Minimal Route to Transformer Attention
neelsomaniblog.com·1d·
Discuss: Hacker News
🧮Vector Embeddings
Flag this post