Tradeoffs of Highly-Expressive Types
jnkr.tech·1d·
Discuss: Hacker News
🎯Gradual Typing
Incremental query updating in adhesive categories
topos.institute·10h
🔗Combinatory Logic
Embedding MicroHs
thma.github.io·2d
🔗Functional Compilers
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·2d
🎯Performance Proofs
Every Implementable Algorithm Is Extensionally a Lookup Table
table.dk.workers.dev·3h·
Discuss: Hacker News
🔍Type Inference
One language to rule them all?
aardvark.co.nz·7h
💻programming languages
Bootstrapping a Forth for Art
tia.mat.br·1d·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Equivalence via Surjections
golem.ph.utexas.edu·2d
🔀Category Theory
Quirks of Common Lisp Types
fosskers.ca·1d·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Footnotes to the week: Mellor, Sets, Mozart
logicmatters.net·1d
🏗️Constructive Analysis
Forcing ChatGPT to Obey: Minimal and Deterministic Rules
dev.to·1d·
Discuss: DEV
📝ABNF Parsing
Baby's first type checker
austinhenley.com·7h·
Discuss: Lobsters, Hacker News
🔤Type Theory
Symmetry in subword segmentation
languagelog.ldc.upenn.edu·1d
📄Text Segmentation
Inverting the Xorshift128 random number generator
littlemaninmyhead.wordpress.com·6h·
Discuss: Hacker News, r/programming
🌊Stream Ciphers
Structured bindings in C++17, 8 years later – C++ Stories
cppstories.com·7h·
Discuss: Hacker News
⬆️Lambda Lifting
Linkage
11011110.github.io·8h
📐Mathematical Art
This Page Is a Quine
pranavg.me·15h·
Discuss: Hacker News
🔤Type Theory
Benchmarking compression programs
maskray.me·18h
📦Deflate
Spacing Over Cards
smagin.fyi·11h·
Discuss: Hacker News, r/programming
📖Nordic Typography
Notes on Programming in C by Rob Pike
lysator.liu.se·2d·
Discuss: Hacker News
🦀Rust Macros