Master Rust Pattern Matching: Build Safer, More Expressive Code with Advanced Techniques
dev.toยท1dยท
Discuss: DEV
๐ŸŽฏPattern Matching
Flag this post
Do LLMs Signal When They're Right? Evidence from Neuron Agreement
arxiv.orgยท1d
๐ŸŒฑMinimal ML
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท1d
๐Ÿ“šStack Allocation
Flag this post
Friday 21 November - 11am
informatics.ed.ac.ukยท1d
๐Ÿ“Standard ML
Flag this post
Evidence on language model consciousness
lesswrong.comยท2h
๐ŸŽฒParser Fuzzing
Flag this post
๐ŸŽฒ On LLMs
kaukas.mataroa.blogยท21h
๐ŸŽฎLanguage Ergonomics
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท1d
๐Ÿ”—Go Generics
Flag this post
Maths behind ML Algorithms (Bayesian Decision Theory)
pub.towardsai.netยท3d
๐ŸŒฑMinimal ML
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.comยท16hยท
๐Ÿ—‚๏ธType Indexing
Flag this post
AI Experiments: Fast Inference with Groq and Third-Party Tools with Kimi K2 in TypingMind
macstories.netยท1d
๐ŸŒฑMinimal Interpreters
Flag this post
Before You Learn Closures, Understand Context
tc39.esยท3dยท
Discuss: DEV
๐Ÿ“Rope Editors
Flag this post
Reasoning Curriculum: Bootstrapping Broad LLM Reasoning from Math
arxiv.orgยท1d
๐ŸŒฑMinimal Interpreters
Flag this post
My ML Learning Journey: From Confusion to Building a Working Model
dev.toยท1dยท
Discuss: DEV
๐ŸŒฑMinimal ML
Flag this post
Linkage
11011110.github.ioยท7h
๐ŸชขRope Data Structures
Flag this post
My first fifteen compilers (2019)
blog.sigplan.orgยท9hยท
Discuss: Hacker News
๐Ÿ”ฌNanopasses
Flag this post
Writing an LLM from scratch, part 25 โ€“ instruction fine-tuning
gilesthomas.comยท2dยท
Discuss: Hacker News
๐Ÿš€Tokenizer Performance
Flag this post
In a First, AI Models Analyze Language As Well As a Human Expert
quantamagazine.orgยท15hยท
Discuss: Hacker News
๐ŸชœRecursive Descent
Flag this post
Symbolic Alchemy: Transmuting Linear Solvers into Lightning Speed by Arvind Sundararajan
dev.toยท2dยท
Discuss: DEV
๐ŸงฉConstraint Solvers
Flag this post