Writing a C compiler in 500 lines of Python
vgel.me·9h·
Discuss: Hacker News, r/programming
🦀Rust Macros
Mu Puzzle
en.wikipedia.org·7h·
Discuss: Hacker News
🔲Proof Irrelevance
Morse sequences on stacks and flooding sequences
arxiv.org·22h
🌍Topological Codes
Song recommendations with C# free monads
blog.ploeh.dk·2d
λLambda Formalization
Fractal Geometry as the Blueprint for Encryption
hackernoon.com·1d
🔐Homomorphic Encryption
SectorC: A C Compiler in 512 bytes (2023)
xorvoid.com·7h·
Discuss: Hacker News
🔩Systems Programming
Monday Morning Haskell: Starting out with Graph Algorithms: Basic DFS
mmhaskell.com·2d
🔗Combinatory Logic
ML Systems: Motivating Dense Models
jacobkahn.me·4h·
Discuss: Hacker News
🧠Machine Learning
Incremental query updating in adhesive categories
topos.institute·3d
🔗Combinatory Logic
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
Why Rewriting Emacs Is Hard
kyo.iroiro.party·11h·
Discuss: Lobsters, Hacker News, r/programming
📝Concrete Syntax
Model Namespace Reuse: An AI Supply-Chain Attack Exploiting Model Name Trust
unit42.paloaltonetworks.com·16h
🔒WASM Capabilities
Google API
funcall.blogspot.com·19h·
Discuss: www.blogger.com
🌀Brotli Internals
The Gold Medals in an Empty Room: Diagnosing Metalinguistic Reasoning in LLMs with Camlang
arxiv.org·22h
🔤Type Theory
Java is a "Tower of Babel" language.
guidewiredevelopment.wordpress.com·15h·
Discuss: Substack
🔗Concatenative Programming
Embedding MicroHs
thma.github.io·5d
🔗Functional Compilers
Code Wars - 6kyu 'Split Strings' solution in Python
dev.to·4h·
Discuss: DEV
🧪Binary Fuzzing
ngn/k tutorial
razetime.github.io·1d
🔗Concatenative Programming
40 years later, are Bentley's "Programming Pearls" still relevant?
shkspr.mobi·14h·
Discuss: Hacker News, shkspr.mobi
📏Code Metrics