ML Systems: Motivating Dense Models
jacobkahn.me·4h·
Discuss: Hacker News
🧠Machine Learning
Writing a C compiler in 500 lines of Python
vgel.me·9h·
Discuss: Hacker News, r/programming
🦀Rust Macros
Can Coding Be Both Lossless and Private?
hackernoon.com·1d
🔐Privacy Codecs
Song recommendations with C# free monads
blog.ploeh.dk·2d
λLambda Formalization
SectorC: A C Compiler in 512 bytes (2023)
xorvoid.com·7h·
Discuss: Hacker News
🔩Systems Programming
Morse sequences on stacks and flooding sequences
arxiv.org·22h
🌍Topological Codes
Mu Puzzle
en.wikipedia.org·7h·
Discuss: Hacker News
🔲Proof Irrelevance
Why Rewriting Emacs Is Hard
kyo.iroiro.party·11h·
Discuss: Lobsters, Hacker News, r/programming
📝Concrete Syntax
ngn/k tutorial
razetime.github.io·1d
🔗Concatenative Programming
Java is a "Tower of Babel" language.
guidewiredevelopment.wordpress.com·15h·
Discuss: Substack
🔗Concatenative Programming
Tradeoffs of Highly-Expressive Types
jnkr.tech·4d·
Discuss: Hacker News
🎯Gradual Typing
Lively Linear Lisp (1992)
plover.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🧠Lisp Dialects
Review: The Pseudorandom Ensemble at TMiP25
aperiodical.com·17h
🧮Kolmogorov Bounds
Isolated(any)
nshipster.com·2d·
Discuss: Hacker News
🔗Concatenative Programming
MonadBFT: Fast, Responsive, Fork-Resistant Streamlined Consensus
category.xyz·7h·
Discuss: Hacker News
🤝Distributed Consensus
How many dimensions is this?
lcamtuf.substack.com·9h·
Discuss: Substack
💎Information Crystallography
Optimize Your Go Code: Mastering `string` and `[]byte` Conversions
dev.to·1d·
Discuss: DEV
⚡gRPC
40 years later, are Bentley's "Programming Pearls" still relevant?
shkspr.mobi·14h·
Discuss: Hacker News, shkspr.mobi
📏Code Metrics
Fractal Geometry as the Blueprint for Encryption
hackernoon.com·1d
🔐Homomorphic Encryption
The Gold Medals in an Empty Room: Diagnosing Metalinguistic Reasoning in LLMs with Camlang
arxiv.org·22h
🔤Type Theory