List is a monad
alexyorke.github.io·4h
🧬Functional Programming
The Little Book of Algorithms
little-book-of.github.io·5h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·3d
🔗Graph Isomorphism
Modern C and initializing an array
subethasoftware.com·4d
🔧Binary Parsing
I wrote a parser for Redis protocol so you don't have to
neversleeps.moscow·10h·
Discuss: Hacker News
Redis Internals
Compilation is communication
mmapped.blog·20h
🛡️Proof-Carrying Archives
Monday Morning Math: Square Packing
threesixty360.wordpress.com·6h
📐Interval Arithmetic
🚀 Last Week in My Data Analytics Journey !
dev.to·10h·
Discuss: DEV
⛏️Grammar Mining
Making Change: Array-Based DP
mmhaskell.com·11h
🔗Concatenative Programming
Making Unicode things fast in Go
clipperhouse.com·19h·
🌳Trie Structures
Building Transformer Models from Scratch with PyTorch (10-day Mini-Course)
machinelearningmastery.com·1d
🤖Grammar Induction
Databite: A set of open-source integration libraries
github.com·21h·
🔗Topological Sorting
CfP ATMCS 11 Proceedings
appliedtopology.org·6h
🕸️Algebraic Topology
Understanding Etsy’s Vast Inventory with LLMs
etsy.com·2h
🕵️Metadata Mining
Version 2 of the Algol 68 GCC Front-End posted
gcc.gnu.org·23h
🦀Rust Macros
‘Am I redundant?’: how AI changed my career in bioinformatics
nature.com·1h
Proof Automation
Fully Implementing PSR-16 Simple Cache is Less Than Simple
donatstudios.com·10h
🦀Rusty Databases
The work of AI today is writing a Rust parser for a 20-year-old sensor
physical-ai.ghost.io·12h·
Discuss: Hacker News
🌊Stream Processing
Free PLTL algebras and a coalgebraic extension of hyperdoctrines
topos.institute·1d
🧮Algebraic Archives
LLMs for Nominative Determinism
yuri.is·5h·
Discuss: Hacker News
🧬Functional Programming