Free PLTL algebras and a coalgebraic extension of hyperdoctrines
topos.institute·2d
λLambda Formalization
Information Topology
arxiv.org·13h
🌐Archive Topology
Subject Knowledge Analysis
github.com·3h·
Discuss: Hacker News
🧬Functional Programming
Embedding Preservability in New Forms of Scholarship
dpconline.org·9h
🔄Archival Workflows
A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
arxiv.org·13h
💻Programming languages
List is a monad
alexyorke.github.io·1d
🧬Functional Programming
SQL vs. Python: Frenemies of the Data World
thenewstack.io·3h
💾SQLite
The Anonymous Workers: Lambda Functions Explained
dev.to·20h·
Discuss: DEV
λLambda Formalization
The Anatomy of Modern Ranking Architectures: Part 2
shaped.ai·1d
🎯Retrieval Systems
Patching Android ARM64 library initializers for easy Frida instrumentation and debugging
blog.nviso.eu·9h
🎮Game Decompilation
Algebra Problems of the Day (Algebra Regents, August 2025 Part I)
mrburkemath.blogspot.com·2h·
Discuss: www.blogger.com
📐Interval Arithmetic
LLMs for Nominative Determinism
yuri.is·1d·
Discuss: Hacker News
🧬Functional Programming
Compilation is communication
mmapped.blog·1d
🛡️Proof-Carrying Archives
The Little Book of Algorithms
little-book-of.github.io·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
CfP ATMCS 11 Proceedings
appliedtopology.org·1d
🕸️Algebraic Topology
Building Data Cloud’s New Unstructured Data Governance: Automated PII Detection at Enterprise Scale
engineering.salesforce.com·14m
📄Document Digitization
Kaitai Struct: declarative binary format parsing language
kaitai.io·2h·
Discuss: Hacker News
🔧KAITAI
Invisible Languages of the LLM Universe
arxiv.org·13h
🛠Language Design
Functional guarantees for semantic awareness on graphs
researchgate.net·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
The Free Software Foundation considers large language models
lwn.net·20m·
Discuss: Hacker News
🔓Open Source Software