🧮 Z3 Applications

Character Classification, SMT Integration, Automated Reasoning, Constraint Programming

A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·16h·
Discuss: Hacker News, r/programming, r/rust
🧮Z3 Solver
Securing and Scaling AI-Powered APIs
capestart.com·25m·
Discuss: Hacker News
🌊Streaming Systems
Enhancing Semantic Data Retrieval via Multi-Modal Graph Parsing and Recursive HyperScore Optimization
dev.to·1d·
Discuss: DEV
🔍Semantic Search
A Kevin week
blog.mitrichev.ch·16h·
Discuss: blog.mitrichev.ch
📐Linear Algebra
Alibaba's Qwen3-Next builds on a faster MoE architecture
the-decoder.com·23h
🇨🇳Chinese Computing
OTW - Bandit Level 4 to Level 5
tbhaxor.com·7h
🔧KAITAI
Productive AI Programming Using Forced Context Distillation
jx0.ca·54m·
Discuss: Hacker News
⚡Proof Automation
LAVa: Layer-wise KV Cache Eviction with Dynamic Budget Allocation
arxiv.org·9h
💻Local LLMs
The Data Backbone of LLM Systems
infoq.com·3d·
Discuss: Lobsters
🔗Constraint Handling
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·9h·
Discuss: Lobsters, Hacker News
🧮Kolmogorov Complexity
I built an LLM from Scratch in Rust (Just ndarray and rand)
github.com·21h·
Discuss: Hacker News, r/LLM, r/rust
🦀Rust Macros
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·5h
🔗Topological Sorting
One year of zizmor
blog.yossarian.net·1d
🗜️Zstandardized Archives
From Legal Documents to Knowledge Graphs
neo4j.com·2d·
Discuss: Hacker News
📋Document Grammar
Algebraic Types are not Scary
blog.aiono.dev·3h·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
Lessons from using AI in Discovery
thoughtbot.com·13h
🕵️Metadata Mining
How to Train an LLM-Recommender Hybrid that Speaks English & Item IDs
eugeneyan.com·1d
🔍Information Retrieval
LLMs on a Shoestring: The Dynamic Cache Advantage by Arvind Sundararajan
dev.to·3h·
Discuss: DEV
💨Cache Optimization
RustGPT: A pure-Rust transformer LLM built from scratch
dev.to·28m·
Discuss: DEV
🦀Rust Macros
LLM Rerankers for RAG: A Practical Guide
fin.ai·15h·
Discuss: Hacker News, Hacker News
🔍Information Retrieval