A Slotted Hash Cons for Alpha Invariance
philipzucker.comยท1hยท
Discuss: Hacker News
ฮปLambda Calculus
Semantic Dictionary Encoding
falvotech.comยท4hยท
Discuss: Hacker News
๐Ÿ—‚๏ธType Indexing
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.comยท4hยท
Discuss: www.blogger.com
๐Ÿ”ฎLisp Interpreters
The pirate-based logic of Rust shared references
ais523.me.ukยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ”’Rust Borrowing
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.comยท11h
๐ŸชขRope Data Structures
What is Algebraic about Algebraic Effects?
interjectedfuture.comยท3h
๐Ÿ’ซEffect Systems
From ASTs to RakuAST to ASTQuery
github.comยท1dยท
Discuss: DEV
๐Ÿ“‹Souffle Datalog
Death of a lens(man)
dev.toยท1dยท
Discuss: DEV
๐ŸชžHomoiconicity
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.ioยท22hยท
Discuss: Hacker News, r/programming, r/rust
๐ŸงฉConstraint Solvers
Conquering the LLM Memory Wall: How to Run 2โ€“4x Longer Contexts with a Single Line of Code
reddit.comยท7hยท
Discuss: r/LocalLLaMA
๐Ÿ—บ๏ธRegion Inference
Using AI Agents for Reranking in RavenDB
ayende.comยท7h
๐Ÿ”Query Engines
Algebraic Types are not Scary
blog.aiono.devยท9hยท
Discuss: Lobsters, Hacker News
โœ…Type Checking
A (Nearly) Branchless RESP Request Parser
kevinmontrose.comยท7h
๐Ÿ”งError Recovery
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.comยท15hยท
Discuss: Lobsters, Hacker News
๐ŸŒฑMinimal ML
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.comยท6hยท
Discuss: Hacker News
๐ŸŒฑMinimal Lisps
Compartmentalised Agentic Reasoning for Clinical NLI
arxiv.orgยท15h
โš–๏ธInference Rules
Asynchronous Exceptions in Practice (2017)
simonmar.github.ioยท40mยท
Discuss: Hacker News
๐Ÿ”—Concurrency Primitives
Genkit Go 1.0: Google brings stable AI framework to the Go ecosystem
heise.deยท1h
๐Ÿ“‹Tablegen
Balance between refactoring and inheritance in your code
github.comยท7hยท
Discuss: Hacker News
๐ŸงชCompiler Testing
Learn How to Use Transformers with HuggingFace and SpaCy
towardsdatascience.comยท6h
๐Ÿ“ŠPratt Parsers