๐Ÿ”— Lisp

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

Purely Functional Retrogames (2008)
prog21.dadgum.comยท2dยท
Discuss: Hacker News
๐ŸงฌFunctional Programming
Flag this post
Concrete types yield better maintainability
alejo.chยท12hยท
Discuss: r/programming
๐Ÿ”—Dependently Typed
Flag this post
HigherOrderCO/Bend2
github.comยท6h
๐Ÿ”—Functional Compilers
Flag this post
We Programmers Need "Results"
rockyj-blogs.web.appยท20hยท
Discuss: Hacker News
๐Ÿ“œProof Carrying Code
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
๐Ÿ’ป Leveling Up My Python Skills โ€“ 3 Weeks, 150 Problems!
dev.toยท22hยท
Discuss: DEV
ฮปLambda Formalization
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
SymSpell C99: Building the Fastest Spell Checker in Pure C
suman-pokhrel.com.npยท9hยท
Discuss: Hacker News
๐ŸŒณTrie Structures
Flag this post
A Vision for Future Low-Level Languages
antelang.orgยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿฆ€Rust Borrowing
Flag this post
#26 Repunit and Residual... History and Etymology of Math Terms
pballew.blogspot.comยท2hยท
Discuss: www.blogger.com
๐ŸŽฏArithmetic Coding Theory
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ยท2hยท
Discuss: Hacker News
โš™๏ธOperating System Design
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
Interpretability Framework for LLMs in Undergraduate Calculus
arxiv.orgยท4d
๐Ÿ—๏ธConstructive Logic
Flag this post
Writing a competitive BZip2 encoder in Ada from scratch in a few days - part 4: programming
gautiersblog.blogspot.comยท23hยท
Discuss: gautiersblog.blogspot.com, Hacker News
๐Ÿ“ฆDeflate
Flag this post
Programming Modern Systems Like It Was 1984 (2014)
prog21.dadgum.comยท14hยท
Discuss: Lobsters
๐Ÿ”ฉSystems Programming
Flag this post
Refactoring in Go
reddit.comยท4hยท
Discuss: r/golang
๐Ÿ”“Reverse engineering
Flag this post