Song recommendations with C# free monads
blog.ploeh.dk·1h
λLambda Formalization
Lively Linear Lisp (1992)
plover.com·5h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Cyclic Implicit Complexity
arxiv.org·3h
🎯Performance Proofs
Incremental query updating in adhesive categories
topos.institute·16h
🔗Combinatory Logic
Tradeoffs of Highly-Expressive Types
jnkr.tech·1d·
Discuss: Hacker News
🎯Gradual Typing
Embedding MicroHs
thma.github.io·2d
🔗Functional Compilers
Quark’s Outlines: Python Immutable Sequences
dev.to·29m·
Discuss: DEV
📝Text Compression
Quirks of Common Lisp Types
fosskers.ca·1d·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·2d
🎯Performance Proofs
Baby's first type checker
austinhenley.com·13h·
Discuss: Lobsters, Hacker News
🔤Type Theory
Felienne Hermans
deprogrammaticaipsum.com·4h
🧬Functional Programming
Equivalence via Surjections
golem.ph.utexas.edu·2d
🔀Category Theory
Every Implementable Algorithm Is Extensionally a Lookup Table
table.dk.workers.dev·9h·
Discuss: Hacker News
🔍Type Inference
Inverting the Xorshift128 random number generator
littlemaninmyhead.wordpress.com·12h·
Discuss: Hacker News, r/programming
🌊Stream Ciphers
A crowdsourced project to link up erdosproblems.com to the OEIS
terrytao.wordpress.com·5m
🎯Performance Proofs
This Page Is a Quine
pranavg.me·21h·
Discuss: Hacker News
🔤Type Theory
Linkage
11011110.github.io·14h
📐Mathematical Art
Symmetry in subword segmentation
languagelog.ldc.upenn.edu·1d
📄Text Segmentation
One language to rule them all?
aardvark.co.nz·13h
💻programming languages
Benchmarking compression programs
maskray.me·1d
📦Deflate