A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.comยท8hยท
Discuss: Hacker News
๐Ÿ”—Lisp
Learn How to Use Transformers with HuggingFace and SpaCy
towardsdatascience.comยท7h
๐ŸŽฏDependent Parsing
What is Algebraic about Algebraic Effects?
interjectedfuture.comยท4h
โœจAlgebraic Effects
A Slotted Hash Cons for Alpha Invariance
philipzucker.comยท2hยท
Discuss: Hacker News
ฮปLambda Encodings
The many, many, many JavaScript runtimes of the last decade
shapeof.comยท3h
๐Ÿ—๏ธCompiler Archaeology
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.ioยท23hยท
Discuss: Hacker News, r/programming, r/rust
๐ŸงฎZ3 Solver
Status Week 37
blogs.gnome.orgยท2h
๐Ÿ“บVT100
Genkit Go 1.0: Google brings stable AI framework to the Go ecosystem
heise.deยท2h
๐Ÿ›๏ธAgda
Algebraic Types are not Scary
blog.aiono.devยท10hยท
Discuss: Lobsters, Hacker News, r/programming
๐ŸงฎAlgebraic Datatypes
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.comยท6hยท
Discuss: www.blogger.com
๐Ÿ”—Lisp
Balance between refactoring and inheritance in your code
github.comยท9hยท
Discuss: Hacker News
โœ…Format Verification
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.comยท12h
๐Ÿ”—Topological Sorting
A Kevin week
blog.mitrichev.chยท23hยท
Discuss: blog.mitrichev.ch
๐Ÿ“Linear Algebra
VibeTDD Experiment 4.7: Commons and Examples Compilation - Making AI Smarter Through Better Documentation
dev.toยท7hยท
Discuss: DEV
โšกProof Automation
I Tested AI 'Humanizers' to See How Well They Actually Disguise AI Writing
lifehacker.comยท3h
โšกProof Automation
Semantic Dictionary Encoding
falvotech.comยท6hยท
Discuss: Hacker News
๐ŸŒ€Brotli Dictionary
UTF-8 Is Beautiful
hackaday.comยท16h
๐Ÿ”ฃUnicode
The Road To JVM: How To Create A Brainfuck Interpreter
blog.codeminer42.comยท4d
๐Ÿ”—Concatenative Programming
Planarizing matchings
11011110.github.ioยท1d
๐ŸŽจGraph Coloring
Compartmentalised Agentic Reasoning for Clinical NLI
arxiv.orgยท17h
๐Ÿ”ขDenotational Semantics