Dingo: A Meta-Language for Go
๐ฆRust Macros
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.orgยท2d
๐Combinatory Logic
Flag this post
Zig in 30 Minutes
๐Concatenative Programming
Flag this post
Langโs theorem โ Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.comยท10h
ฮปLambda Encodings
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.comยท1d
๐Concrete Syntax
Flag this post
Pitch Multiplication (2017)
๐ผAudio Lambda Calculus
Flag this post
A Subsets.py Step-by-Step Visualization! (With Lyrics)
youtube.comยท1d
๐Lempel-Ziv
Flag this post
Set theory with types
๐คType Theory
Flag this post
What To Know Before Building Fluent Bit Plugins With Go
thenewstack.ioยท1d
๐งLiquid Types
Flag this post
Railway Oriented Programming
๐งฌFunctional Programming
Flag this post
Rust/Tokio vs. Go for a server side app that requires high performance/low latency.
๐Stream Processing
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
๐ฆRust Macros
Flag this post
Olmo 3 is a fully open LLM
simonwillison.netยท7h
๐Brotli Internals
Flag this post
Loading...Loading more...