Free PLTL algebras and a coalgebraic extension of hyperdoctrines
topos.institute·8h
🧮Algebraic Archives
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·2d
💻Programming languages
JIT: So you want to be faster than an interpreter on modern CPUs
pinaraf.info·1h·
Discuss: Hacker News
🧮Compute Optimization
Chinese researchers let LLMs share meaning through internal memory instead of text
the-decoder.com·11h
⚡Cache Coherence
Code Deconstruction: The Counting Lambda
dev.to·17h·
Discuss: DEV
⬆️Lambda Lifting
Functional guarantees for semantic awareness on graphs
researchgate.net·4h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Note
hsu.cy·9h
🔍Archive Semantics
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·1d·
Discuss: Hacker News
⬌Bidirectional Typing
An enough week
blog.mitrichev.ch·3d·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
Building Transformer Models from Scratch with PyTorch (10-day Mini-Course)
machinelearningmastery.com·17h
🤖Grammar Induction
Completing a new BASIC interpreter in 2025 (strings, math funcs, cassette)
nanochess.org·1h·
Discuss: Hacker News
📺VT100 Emulation
Inverting matrices and bilinear functions
johndcook.com·3h
📐Linear Algebra
The Subtle Art of Letterform Design
hackaday.com·13h
🖋Typography
The Country That Broke Kotlin
sam-cooper.medium.com·4h·
Discuss: Lobsters, Hacker News
🌀Brotli Dictionary
Functions are Asymmetric
elbeno.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Cactus Language • Semantics 3
inquiryintoinquiry.com·2d
🔢Denotational Semantics
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·2d
💎Information Crystallography
LINQ and Learning to Be Declarative
nickstambaugh.dev·3d·
Discuss: Hacker News
🔗Concatenative Programming
Recommended reading: history of large language models
noncommutativeanalysis.wordpress.com·11h
🤖Lisp Machines
Version 2 of the Algol 68 GCC Front-End posted
gcc.gnu.org·46m
🦀Rust Macros