A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
Python, Deep Learning, and LLMs: A Crash Course for Complete Beginners
python2llms.org·1d·
Discuss: Hacker News, Hacker News
🌱Minimal ML
Semantic Dictionary Encoding
falvotech.com·1d·
Discuss: Hacker News
🗂️Type Indexing
Erase and Rewind: Precise LLM Memory Manipulation for Safer AI by Arvind Sundararajan
dev.to·12h·
Discuss: DEV
🔗Memory Linearization
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·1d·
Discuss: Hacker News
🔗Lexical Scoping
[CS 2881r] Some Generalizations of Emergent Misalignment
lesswrong.com·2d
🔍ML Language
How to Write a Great README for Your GitHub Project
link-to-guidelines.md·11h·
Discuss: DEV
📚Self-Documenting Code
What is Algebraic about Algebraic Effects?
interjectedfuture.com·1d
💫Effect Systems
Verlog: A Multi-turn RL framework for LLM agents
blog.ml.cmu.edu·1d
🎭Erlang OTP
Gambit: An efficient implementation of the Scheme programming language
github.com·2d·
Discuss: Hacker News
🔧Scheme Macros
PSA: `views::single` doesn’t really view
quuxplusone.github.io·20h
🔗Lexical Scoping
Master Context Engineering!! Part 1 : Let’s Talk Prompting and DSPy
pub.towardsai.net·22h
🎮Language Ergonomics
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·1d·
Discuss: Hacker News
🌱Minimal Lisps
RustGPT: A pure-Rust transformer LLM built from scratch
dev.to·1d·
Discuss: DEV
🏗️Cranelift
In-depth Review of Emacs tree-sitter integration
archive.casouri.cc·21h·
Discuss: Lobsters, Hacker News, r/programming
🌲Tree-sitter
I built an LLM from Scratch in Rust (Just ndarray and rand)
reddit.com·2d·
Discuss: r/rust
🦀MIR Optimization
Devlog - whats, whys and hows.
mama666.itch.io·6h
🌙Lua
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·5d·
Discuss: Hacker News
🔮Type Inference Visualization
How to turn Claude Code into a domain specific coding agent
blog.langchain.com·1d·
Discuss: Hacker News
🎮Language Ergonomics
No Answer Needed: Predicting LLM Answer Accuracy from Question-Only Linear Probes
lesswrong.com·4h
🎲Parser Fuzzing