Free PLTL algebras and a coalgebraic extension of hyperdoctrines
topos.institute·1d
λLambda Formalization
Information Topology
arxiv.org·5h
🌐Archive Topology
Embedding Preservability in New Forms of Scholarship
dpconline.org·1h
🔄Archival Workflows
A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
arxiv.org·5h
💻Programming languages
The Little Book of Algorithms
little-book-of.github.io·18h·
Discuss: Hacker News
🧮Kolmogorov Complexity
List is a monad
alexyorke.github.io·18h
🧬Functional Programming
Patching Android ARM64 library initializers for easy Frida instrumentation and debugging
blog.nviso.eu·1h
🎮Game Decompilation
The Anonymous Workers: Lambda Functions Explained
dev.to·12h·
Discuss: DEV
λLambda Formalization
The Anatomy of Modern Ranking Architectures: Part 2
shaped.ai·1d
🎯Retrieval Systems
LLMs for Nominative Determinism
yuri.is·19h·
Discuss: Hacker News
🧬Functional Programming
Compilation is communication
mmapped.blog·1d
🛡️Proof-Carrying Archives
CfP ATMCS 11 Proceedings
appliedtopology.org·20h
🕸️Algebraic Topology
OCaml 5.4 Release: New Features, Fixes, and More
tarides.com·3d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Invisible Languages of the LLM Universe
arxiv.org·5h
🛠Language Design
Show HN: Beyond geometric similarity in vector databases
tuned.org.uk·18h·
Discuss: Hacker News
🗂️Vector Databases
Functional guarantees for semantic awareness on graphs
researchgate.net·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Question related to pointers based on video from Andrew Kelley
reddit.com·9h·
Discuss: r/golang
🧠Separation Logic
I wrote a parser for Redis protocol so you don't have to
neversleeps.moscow·23h·
Discuss: Hacker News
⚡Redis Internals
Multi-Head Latent Attention
sebastianraschka.com·15h·
Discuss: Hacker News
💻Local LLMs
Compositional Symmetry as Compression: Lie Pseudogroup Structure in Algorithmic Agents
arxiv.org·5h
🔲Cellular Automata