Is sound gradual typing dead? Performance problems in Typed Racket
dl.acm.org·1d·
Discuss: Hacker News
🎯Gradual Typing
Proving the Infinitude of Primes in Knuckledragger
philipzucker.com·1d
🧮Theorem Proving
The Immutable Key Mystery: What Makes a Dictionary Key Valid
dev.to·5h·
Discuss: DEV
🗄️Type-safe Archives
How has mathematics gotten so abstract?
lcamtuf.substack.com·1d·
Discuss: Substack
⚔️Lean Theorem
The Lowest Level PL
pramatias.github.io·1d·
Discuss: Hacker News, r/rust
🦀Rust Macros
Issue 491
haskellweekly.news·3d
🧬Functional Programming
Universal Solution to Kronecker Product Decomposition
arxiv.org·1h
📐Linear Algebra
The Harmony of the Harmonic Mean
pballew.blogspot.com·44m·
Discuss: www.blogger.com
📐Mathematical Art
The Lambda Calculus – Stanford Encyclopedia of Philosophy
plato.stanford.edu·4d·
Discuss: Hacker News
λLambda Formalization
Examples are the best documentation
rakhim.exotext.com·2d
🎯Proof Tactics
The golden ratio as a number base
apieceofthepi.substack.com·14h·
Discuss: Substack
🎯Arithmetic Coding Theory
The eval() Conundrum
slott56.github.io·15h
💧Liquid Types
Working at ABI boundaries
rkrishnan.org·1d
🦀Rust Borrowing
A tutorial for the Mercury programming language
sebastian.graphics·2d·
Discuss: Hacker News
🔗Concatenative Programming
Sparking joy
leancrew.com·8h
🎯Arithmetic Coding Theory
High-level intuitions for the Bulletproofs/IPA protocol
cryptologie.net·2d
🎯Performance Proofs
Go (Golang) Basic (Bonus) Three Advanced Function Techniques
dev.to·21h·
Discuss: DEV
🎯Proof Tactics
Go ahead, write the stupid code
spikepuppet.io·7h·
Discuss: Hacker News
📝Compiler Design
In Defense of Tokenizers
huggingface.co·1d·
Discuss: Hacker News
📝Text Parsing
RFC 677: Maintenance of duplicate databases (1975)
rfc-editor.org·2h·
Discuss: Hacker News
🛡️Preservation Proofs