๐Ÿง  What is a Sequence in Programming?
dev.toยท20hยท
Discuss: DEV
๐Ÿ’ปProgramming languages
Coco โ€“ Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.deยท4dยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.comยท2h
๐Ÿ”—Topological Sorting
LLM-Based Instance-Driven Heuristic Bias In the Context of a Biased Random Key Genetic Algorithm
arxiv.orgยท7h
๐Ÿ’ปProgramming languages
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.comยท7hยท
Discuss: Hacker News
๐ŸงฎKolmogorov Complexity
Planarizing matchings
11011110.github.ioยท17h
๐ŸŽจGraph Coloring
Narcissisitic Numbers .... The History and Etymology of Math Terms
pballew.blogspot.comยท5hยท
Discuss: www.blogger.com
ฮปLambda Encodings
Weighted random generation in Python (2010)
eli.thegreenplace.netยท13hยท
Discuss: Hacker News
๐Ÿ”ขBitwise Algorithms
A Kevin week
blog.mitrichev.chยท14hยท
Discuss: blog.mitrichev.ch
๐Ÿ“Linear Algebra
LangChain, LangGraph, and LangSmith: Untangling the Confusion
dev.toยท10hยท
Discuss: DEV
โœจEffect Handlers
Folks, we have the best ฯ€
lcamtuf.substack.comยท4hยท
Discuss: Substack
๐Ÿ“Mathematical Art
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.chยท15hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.ioยท14hยท
Discuss: r/programming, r/rust
๐ŸงฎZ3 Solver
Python, Deep Learning, and LLMs: A Crash Course for Complete Beginners
python2llms.orgยท12hยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
Algebraic Types are not Scary
blog.aiono.devยท1hยท
Discuss: Lobsters, Hacker News
๐ŸงฎAlgebraic Datatypes
[1] Algorithm Showdown: Python vs. JavaScript - Group Anagrams
dev.toยท14hยท
Discuss: DEV
๐ŸŒณTrie Structures
LLM Rerankers for RAG: A Practical Guide
fin.aiยท13hยท
Discuss: Hacker News, Hacker News
๐Ÿ”Information Retrieval
Cognitive and Gestalt psychology in your code: SMVP pattern
github.comยท11hยท
Discuss: Hacker News
โœ…Format Verification
Basic Guide to Einsum
ajcr.netยท15hยท
Discuss: Hacker News
๐Ÿ“Error Bounds
Lesser-Known but C Language Facts That Might Surprise You
news.ycombinator.comยท47mยท
Discuss: Hacker News
๐Ÿ—๏ธCompiler Archaeology