Intuitionistic Proofs, Program Extraction, Computational Content, Type Theory
Song recommendations with F# free monads
blog.ploeh.dk·15h
Sets & Heaps in Haskell and Rust
mmhaskell.com·13h
busy beaver function
ncatlab.org·2d
Claude Code's 19 cent Parser
blogger.com·9h
Counting Org mode headlines
mbork.pl·16h
FLINT: Fast Library for Number Theory
flintlib.org·4h
Systematic LLM Prompt Engineering Using DSPy Optimization
towardsdatascience.com·5h
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·22h
Loading...Loading more...