๐Ÿ”— Lisp

Functional Programming, S-expressions, Code as Data, Recursion

Weekly Challenge: The one about arrays
dev.toยท1hยท
Discuss: DEV
๐Ÿ“ŠAPL Heritage
Flag this post
Purely Functional Retrogames (2008)
prog21.dadgum.comยท2dยท
Discuss: Hacker News
๐ŸงฌFunctional Programming
Flag this post
HigherOrderCO/Bend2
github.comยท12h
๐Ÿ”—Functional Compilers
Flag this post
We Programmers Need "Results"
rockyj-blogs.web.appยท1dยท
Discuss: Hacker News
๐Ÿ“œProof Carrying Code
Flag this post
Concrete types yield better maintainability
alejo.chยท18hยท
Discuss: Hacker News, r/programming
๐Ÿ”—Dependently Typed
Flag this post
Corecursion
en.wikipedia.orgยท1dยท
Discuss: Hacker News
ฮปLambda Encodings
Flag this post
The Limits of LLM-Generated Unit Tests
hackernoon.comยท1d
๐ŸงชProperty-Based Testing
Flag this post
Typst's Math Mode Problem
laurmaedje.github.ioยท1dยท
Discuss: Hacker News
ฮปLambda Encodings
Flag this post
Pepsi, when they don't have coke
bitecode.devยท1h
๐ŸŒ€Brotli Internals
Flag this post
Clojure Zippers
grishaev.meยท3dยท
Discuss: Hacker News
๐ŸงฎAlgebraic Archives
Flag this post
Module Functors in OCaml
citizen428.netยท5d
ฮปLambda Formalization
Flag this post
A Vision for Future Low-Level Languages
antelang.orgยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿฆ€Rust Borrowing
Flag this post
987654321 / 123456789
johndcook.comยท20m
๐Ÿ’พBinary codes
Flag this post
Reagami: a Reagent-like library in less than 100 lines of Squint CLJS
blog.michielborkent.nlยท1dยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
Flag this post
Hacking the Color BASIC PRINT command โ€“ part 3
subethasoftware.comยท2d
๐Ÿ“บVT100
Flag this post
Operating Systems Written in Free Pascal
wiki.freepascal.orgยท8hยท
Discuss: Hacker News
โš™๏ธOperating System Design
Flag this post
Interpretability Framework for LLMs in Undergraduate Calculus
arxiv.orgยท4d
๐Ÿ—๏ธConstructive Logic
Flag this post
SymSpell C99: Building the Fastest Spell Checker in Pure C
suman-pokhrel.com.npยท15hยท
Discuss: Hacker News
๐ŸŒณTrie Structures
Flag this post
Writing a competitive BZip2 encoder in Ada from scratch in a few days - part 4: programming
gautiersblog.blogspot.comยท1dยท
Discuss: gautiersblog.blogspot.com, Hacker News
๐Ÿ“ฆDeflate
Flag this post
#26 Repunit and Residual... History and Etymology of Math Terms
pballew.blogspot.comยท8hยท
Discuss: www.blogger.com
๐ŸŽฏArithmetic Coding Theory
Flag this post