Song recommendations with C# free monads
blog.ploeh.dk·1d
λLambda Formalization
**Cache-Aware Programming Techniques: Boost System Performance Through Strategic Memory Management**
dev.to·21h·
Discuss: DEV
💨Cache Analysis
Incremental query updating in adhesive categories
topos.institute·1d
🔗Combinatory Logic
Lively Linear Lisp (1992)
plover.com·1d·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Monday Morning Haskell: Starting out with Graph Algorithms: Basic DFS
mmhaskell.com·1d
🔗Combinatory Logic
Equivalence via Surjections
golem.ph.utexas.edu·3d
🔀Category Theory
On the Persistence of Human Memory
blogger.com·23h
💾Persistence Strategies
Isolated(any)
nshipster.com·20h·
Discuss: Hacker News
⛪Church Encoding
Cyclic Implicit Complexity
arxiv.org·1d
🎯Performance Proofs
Demangling the Details: Symbol Resolution in Rusty Trap
system.joekain.com·2h·
Discuss: Hacker News
🦀Rust Macros
Org to XML (redux)
so.nwalsh.com·3h
🏷XML
Footnotes to the week: Mellor, Sets, Mozart
logicmatters.net·2d
🏗️Constructive Analysis
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·3d
🎯Performance Proofs
Embedding MicroHs
thma.github.io·3d
🔗Functional Compilers
Breaking Verifiable Abstractions
alperenkeles.com·23h·
Discuss: Hacker News, r/programming
🐛Fuzzing
Linkage
11011110.github.io·1d
📐Mathematical Art
Sheafification - The optimal path to mathematical mastery
sheafification.com·2d·
Discuss: Hacker News
🕸️Algebraic Topology
Converging Formats: From Competition to Consolidation in the Open Lakehouse
blog.min.io·15h
📦Archive Formats
Simple Dynamic Color Schemes in Android Applications
hackernoon.com·4h
🌈Color Science
Tradeoffs of Highly-Expressive Types
jnkr.tech·2d·
Discuss: Hacker News
🎯Gradual Typing