Type Systems, Compiler Theory, Syntax Evolution, Memory Models, Syntax Creation, Parser Design, Domain Languages, Programming Paradigms

Slip โ€“ A Lisp System in JavaScript
lisperator.netยท3hยท
Discuss: Hacker News
๐Ÿ”—Lisp
Categorical systems theory
topos.instituteยท5h
๐Ÿ”€Category Theory
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.orgยท1d
๐Ÿ”จCompilers
When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.orgยท1h
๐Ÿ“Mathematical Art
Let's Write a Macro in Rust
hackeryarn.comยท1hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท1h
๐Ÿ”ขDenotational Semantics
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท7h
๐Ÿ’ŽInformation Crystallography
Lobsters Interview with Zdsmith
lobste.rsยท11hยท
Discuss: Lobsters
๐Ÿ”—Concatenative Programming
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blogยท15hยท
โœ…Format Verification
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.orgยท1dยท
๐ŸŒณIncremental Parsing
Open Lineage
usenix.orgยท13h
๐Ÿ”ŒInterface Evolution
Haskell Weekly Issue 493
haskellweekly.newsยท1dยท
Discuss: Hacker News
๐ŸงฌFunctional Programming
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
A Manifesto for the Programming Desperado
github.comยท1hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Abstraction for Abstractionโ€™s Sake: How Developers Talk Themselves Into Complexity
hackernoon.comยท1d
๐ŸงฌFunctional Programming
Modern C and initializing an array
subethasoftware.comยท23h
๐Ÿ—‚Data structures
Experimenting with ACL2 and Claude Code
mikedodds.orgยท5hยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
Three ways formally verified code can go wrong in practice
buttondown.comยท20m
๐Ÿ“œProof Carrying Code
Clarity
robinsloan.comยท1d
๐Ÿง Intelligence Compression