Death to Type Classes
jappie.me·2d·
Discuss: Hacker News
🔗Functional Compilers
I built an LLM from Scratch in Rust (Just ndarray and rand)
reddit.com·13h·
Discuss: r/rust
🦀Rust Borrowing
Introducing: A Go package to reduce err boilerplate
dev.to·1d·
Discuss: DEV
🐚Shell Monads
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·8h·
Discuss: r/programming, r/rust
🧮Z3 Solver
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·10h·
Discuss: Hacker News
💻Programming languages
Gambit: An efficient implementation of the Scheme programming language
github.com·1d·
Discuss: Hacker News
⚔️Lean Tactics
ISO C++ committee has a new chief sheep herder
shape-of-code.com·7h
📜Proof Carrying Code
The Road To JVM: How To Create A Brainfuck Interpreter
blog.codeminer42.com·3d
🔗Concatenative Programming
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·3d·
Discuss: Hacker News
💧Liquid Types
Object Reorientation: Generic Functions
gigamonkeys.com·4d·
Discuss: Hacker News
🔗Lisp
My Lobsters Interview
susam.net·3d
⚙️Proof Engineering
LLM-Based Instance-Driven Heuristic Bias In the Context of a Biased Random Key Genetic Algorithm
arxiv.org·1h
💻Programming languages
Cognitive and Gestalt psychology in your code: SMVP pattern
github.com·5h·
Discuss: Hacker News
✅Format Verification
Haskell Interlude: 70: Phil Wadler
haskell.foundation·22h
🧬Functional Programming
The Capability-Tractability Tradeoff (2023)
buttondown.com·2d·
Discuss: Hacker News
💧Liquid Types
It actually is a snap?
lambdacreate.com·17h
❄️Nix Flakes
Introduction to Nyquist and Lisp Programming
manual.audacityteam.org·6d·
Discuss: Hacker News
🔗Lisp
Choosing Rust for LLM-generated code
runmat.org·2d·
Discuss: Hacker News
🦀Rust Macros
LangChain, LangGraph, and LangSmith: Untangling the Confusion
dev.to·4h·
Discuss: DEV
✨Effect Handlers
Python, Deep Learning, and LLMs: A Crash Course for Complete Beginners
python2llms.org·6h·
Discuss: Hacker News
💻Local LLMs