Curly Flow Matching for Learning Non-gradient Field Dynamics
arxiv.orgยท1d
๐Ÿ”ML Language
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.comยท16hยท
๐Ÿ—‚๏ธType Indexing
Flag this post
My first fifteen compilers (2019)
blog.sigplan.orgยท9hยท
Discuss: Hacker News
๐Ÿ”ฌNanopasses
Flag this post
How Do We Evaluate the Quality of LLMs' Mathematical Responses?
lesswrong.comยท2d
๐Ÿ”ML Language
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.orgยท1dยท
Discuss: Hacker News
๐ŸŒฑMinimal Languages
Flag this post
A Beginnerโ€™s Guide to Getting Started with add_messages Reducer in LangGraph
langcasts.comยท21hยท
Discuss: DEV
๐ŸŒ‰Language Bridges
Flag this post
The Structure of Data
theprogrammersparadox.blogspot.comยท11hยท
๐ŸชขRope Data Structures
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.comยท5hยท
Discuss: Hacker News
๐Ÿช†Embedded DSLs
Flag this post
Why DFS Topological Sort Writes Nodes on Backtracking
dev.toยท12hยท
Discuss: DEV
๐ŸคZipper Structures
Flag this post
TOPol: Capturing and Explaining Multidimensional Semantic Polarity Fields and Vectors
arxiv.orgยท2d
๐Ÿ“‹Backus-Naur Form
Flag this post
How to Build Anomalous (3+1)d Topological Quantum Field Theories
arxiv.orgยท2d
๐ŸŽฏType Theory
Flag this post
รขโ‚ฌล“As of today, your name is Ahabรขโ‚ฌย: Generic Critique as Reparative Praxis in
gamestudies.orgยท14h
๐Ÿ”—Concatenative Theory
Flag this post
An underqualified reading list about the transformer architecture
fvictorio.github.ioยท1dยท
Discuss: Hacker News
๐ŸชœRecursive Descent
Flag this post
Three Realisms and The Idea of Sheaves
youtube.comยท1d
๐ŸŽฏType Theory
Flag this post
Algorithmic Randomness, Exchangeability, and the Principal Principle
arxiv.orgยท3d
โš–๏ธInference Rules
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.comยท12hยท
Discuss: Hacker News
๐ŸชœRecursive Descent
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.nameยท23hยท
Discuss: Hacker News
๐ŸŒฑMinimal Languages
Flag this post
Properties and Applications of Partially Deterministic Polytopes
arxiv.orgยท2d
โšกPartial Evaluation
Flag this post
The case against boolean logic
abuseofnotation.github.ioยท1dยท
Discuss: Hacker News
โš–๏ธInference Rules
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Ÿ‘‘Dependent Haskell
Flag this post