A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·26m·
Discuss: r/programming
🧮SMT Solvers
Alignment as uploading with more steps
lesswrong.com·17h
📋MCP
Soil’s “dark” microbes open the door to future antibiotics
nature.com·5h
🍄Mycorrhizal Networks
Disaggregated Inference at Scale with PyTorch and VLLM
pytorch.org·17h·
Discuss: Hacker News
🧠LLM Inference
How to Train an LLM-Recommender Hybrid that Speaks English & Item IDs
eugeneyan.com·21h
🕸️Sparse Vectors
original ↗
blog.djnavarro.net·21h
📑Inverted Indexes
🔗 Setting up Go templ with Tailwind, HTMX and Docker
yellowduck.be·13h
📘Typescript
Beyond Traditional Pseudorandomness, Tsotchkes' Quantum Random Number Generation
medium.com·21h·
Discuss: Hacker News
🎯Qdrant
Building software that survives contact with reality
complexsystemspodcast.com·21h·
Discuss: Hacker News
💾Persistence Strategies
I built an LLM from Scratch in Rust (Just ndarray and rand)
github.com·5h·
Discuss: r/rust
🕯️Candle
pgFormatter v5.8 has been released
postgresql.org·21h
💾Databases
how fast is go? simulating millions of particles on a smart tv
dgerrells.com·21h·
Discuss: Hacker News, r/golang
🏊Memory Pools
The pirate-based logic of Rust shared references
ais523.me.uk·3h
🦀Rust Compiler Internals
Generational Shenandoah in Java 25
theperfparlor.com·3h
🏹Apache Arrow
a few notes on ratelimiting
dotat.at·18h·
Discuss: Lobsters, Hacker News
🧹Spam Filters
Gambit: An efficient implementation of the Scheme programming language
github.com·19h·
Discuss: Hacker News
🌿Leptos
🎲 How to Use KurrentDB for Event Sourcing in C# on Azure
nestenius.se·10h
🌫️Turso
Ultima Ratio Regum 0.11 Update #43: The Player’s Journal #3
markrjohnsongames.com·9h
🔎Tantivy
Generating Consistent Illustrations with Gemini Image Generation
tinystruggles.com·12h·
Discuss: Hacker News
🪄Prompt Engineering
How Quantized Models Are Making AI Faster on Mobile
lktechacademy.com·7h·
Discuss: r/LocalLLaMA
🧠LLM Inference