Graceful Motion: Learning to Flow with AI by Arvind Sundararajan
dev.to·1h·
Discuss: DEV
🔲Cellular Automata
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·6h·
Discuss: Hacker News
💻Programming languages
Defeating Nondeterminism in LLM Inference
simonwillison.net·3d
🎯Performance Proofs
I built an LLM from Scratch in Rust (Just ndarray and rand)
reddit.com·10h·
Discuss: r/rust
🦀Rust Borrowing
The Quest to Find the Longest-Running Simple Computer Program
wired.com·15h·
Discuss: Hacker News, Hacker News
🎞️Tape Combinatorics
Python, Deep Learning, and LLMs: A Crash Course for Complete Beginners
python2llms.org·2h·
Discuss: Hacker News
💻Local LLMs
Cognitive and Gestalt psychology in your code: SMVP pattern
github.com·2h·
Discuss: Hacker News
✅Format Verification
An introduction to program synthesis
mchav.github.io·3d·
Discuss: Hacker News, r/programming
📝Compiler Design
My Lobsters Interview
susam.net·3d
⚙️Proof Engineering
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·4h·
Discuss: r/programming, r/rust
🧮Z3 Solver
Haskell Interlude: 70: Phil Wadler
haskell.foundation·19h
🧬Functional Programming
LangChain, LangGraph, and LangSmith: Untangling the Confusion
dev.to·1h·
Discuss: DEV
✨Effect Handlers
LLM Rerankers for RAG: A Practical Guide
fin.ai·4h·
Discuss: Hacker News
🔍Information Retrieval
AI for Everyone: Secure Language Models Without the Hardware Hype
dev.to·19h·
Discuss: DEV
💻Local LLMs
The Data Backbone of LLM Systems
infoq.com·3d·
Discuss: Lobsters
🔗Constraint Handling
Calculus Made Easy by Silvanus P. Thompson
calculusmadeeasy.org·19h·
Discuss: Hacker News
📐Document Calculus
Agentic AI has changed my career
medium.com·7h·
Discuss: Hacker News
✨Effect Handlers
Choosing Rust for LLM-generated code
runmat.org·2d·
Discuss: Hacker News
🦀Rust Macros
Solving LeetCode's "Add Two Numbers" Iteratively and Recursively - Part 1
dev.to·13h·
Discuss: DEV
🔗Topological Sorting
Defeating Nondeterminism in LLM Inference – Thinking Machines Lab
jmason.ie·3d
💻Local LLMs