HigherOrderCO/Bend2
github.comยท6h
๐Functional Compilers
Flag this post
We Programmers Need "Results"
๐Proof Carrying Code
Flag this post
Corecursion
ฮป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
ฮปLambda Encodings
Flag this post
Clojure Zippers
๐งฎAlgebraic Archives
Flag this post
Module Functors in OCaml
citizen428.netยท5d
ฮปLambda Formalization
Flag this post
#26 Repunit and Residual... History and Etymology of Math Terms
๐ฏArithmetic Coding Theory
Flag this post
Hacking the Color BASIC PRINT command โ part 3
subethasoftware.comยท2d
๐บVT100
Flag this post
Reagami: a Reagent-like library in less than 100 lines of Squint CLJS
๐ฏ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
๐ฆDeflate
Flag this post
Refactoring in Go
๐Reverse engineering
Flag this post
Loading...Loading more...