🧮 SMT Solvers

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

Building Real Enterprise AI Agents With Apache Flink
thenewstack.io·12h
🌊Streaming Systems
Breaking AI Testing Barriers: Dynamic Assertions and AI Automation Deliver 1000%+ Productivity Gains
engineering.salesforce.com·1d
🔍Concolic Testing
Intro to Java FFM - Foreign Function & Memory Access API (Project Panama)
roray.dev·23h·
Discuss: Hacker News
⚡gRPC
How Many Paths of Length K Are There Between a and B?
horace.io·4d·
Discuss: Hacker News
🕸️Graph Algorithms
Model inference, model products, and AI applications
frontierai.substack.com·14h·
Discuss: Substack
🔌Interface Evolution
Inside Zig's New Writer
joegm.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Automated Test Oracles for Flaky Cyber-Physical System Simulators: Approach and Evaluation
arxiv.org·2h
🔍Concolic Testing
Paradigms of Intelligence Team
github.com·2d·
Discuss: Hacker News
🔲Cellular Automata
Implementing Forth in Go and C
eli.thegreenplace.net·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔗Concatenative Programming
A Tie-breaking based Local Search Algorithm for Stable Matching Problems
arxiv.org·3d
🌸Bloom Variants
A 20-Year-Old Algorithm Can Help Us Understand Transformer Embeddings
ai.stanford.edu·1d·
Discuss: Hacker News
🧮Vector Embeddings
Latent Self-Consistency for Reliable Majority-Set Selection in Short- and Long-Answer Reasoning
arxiv.org·2d
🧠Intelligence Compression
OODA Loops and Git Worktrees: 9 Tactical Lessons from AI-Augmented Development
sobu1.substack.com·1d·
Discuss: Substack
🏗️Compiler Archaeology
Accelerated Excipient Polymorph Prediction via Multi-Modal Graph Neural Networks and Bayesian Optimization
dev.to·26m·
Discuss: DEV
💎Information Crystallography
11Plus-Bench: Demystifying Multimodal LLM Spatial Reasoning with Cognitive-Inspired Analysis
arxiv.org·1d
🧮Kolmogorov Complexity
Applying KISS, DRY, and LOD Principles in Go
dev.to·1d·
Discuss: DEV
⚖️Hoare Logic
Are OpenAI and Anthropic Losing Money on Inference?
martinalderson.com·20h·
Discuss: Hacker News
🌊Streaming Algorithms
AI-Driven Adaptive Resin Infusion Optimization for Honeycomb Core Production
dev.to·7h·
Discuss: DEV
☕Precision Brewing
InSQuAD: In-Context Learning for Efficient Retrieval via Submodular Mutual Information to Enforce Quality and Diversity
arxiv.org·2h
🔍Information Retrieval
The Lazy Genius Inside Your Chatbot: Meet MoD, the Art of Thinking Less but Smarter
dev.to·2d·
Discuss: DEV
🧠Intelligence Compression