🧮 SMT Solvers

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

A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·3h·
Discuss: r/programming, r/rust
🦀Rust Compiler Internals
Disaggregated Inference at Scale with PyTorch and VLLM
pytorch.org·20h·
Discuss: Hacker News
🧠LLM Inference
[CS 2881r] Some Generalizations of Emergent Misalignment
lesswrong.com·8h
🪄Prompt Engineering
I built an LLM from Scratch in Rust (Just ndarray and rand)
github.com·8h·
Discuss: r/rust
🕯️Candle
Mathematics Discovering Its Consciousness: Lasso Estimator as Cosmic Backdoor
zakelfassi.com·2h·
Discuss: Hacker News
🎯Vector Quantization
LLM Rerankers for RAG: A Practical Guide
fin.ai·3h·
Discuss: Hacker News
🏆Ranking
Gambit: An efficient implementation of the Scheme programming language
github.com·22h·
Discuss: Hacker News
🌿Leptos
Joy & Curiosity #54
registerspill.thorstenball.com·20h
🪄Prompt Engineering
Beyond Traditional Pseudorandomness, Tsotchkes' Quantum Random Number Generation
medium.com·23h·
Discuss: Hacker News
🎯Qdrant
Looking for some advice before i dive in
reddit.com·5h·
Discuss: r/LocalLLaMA
🏆LLM Benchmarking
Calculus Made Easy by Silvanus P. Thompson
calculusmadeeasy.org·17h·
Discuss: Hacker News
💻Programming languages
AI gets stuck in infinite loops ⊗ A real genius club ⊗ The metabolic logic of AI slop
sentiers.media·14h
🆕New AI
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·5h·
Discuss: Hacker News
💻Programming languages
The pirate-based logic of Rust shared references
ais523.me.uk·6h
🦀Rust Compiler Internals
ISO C++ committee has a new chief sheep herder
shape-of-code.com·2h
💻Programming languages
The Quest to Find the Longest-Running Simple Computer Program
wired.com·13h·
Discuss: Hacker News, Hacker News
🌳Data Structures
Cognitive and Gestalt psychology in your code: SMVP pattern
github.com·1h·
Discuss: Hacker News
🪄Prompt Engineering
🔗 Setting up Go templ with Tailwind, HTMX and Docker
yellowduck.be·16h
📘Typescript
Agentic AI has changed my career
medium.com·6h·
Discuss: Hacker News
👨‍💻AI Coding
An Afternoon at the Recursive Café: Two Threads Interleaving
ipfs.io·8h·
Discuss: Hacker News
💻Programming languages