Building a Rules Engine from First Principles
towardsdatascience.com·18h
🔗Combinatory Logic
Flag this post
De Bruijn Numerals
text.marvinborner.de·22h·
Discuss: Hacker News
λLambda Encodings
Flag this post
<i>Nanotyrannus</i> and <i>Tyrannosaurus</i> coexisted at the close of the Cretaceous
nature.com·16h
🦴Binary Paleontology
Flag this post
Questionnaire meets LLM: A Benchmark and Empirical Study of Structural Skills for Understanding Questions and Responses
arxiv.org·8h
🧠Intelligence Compression
Flag this post
Düring, Ingemar - Herodicus the cratetean : A study in anti-platonic tradition / Ingemar Düring.
libris.kb.se·1d
🏰Manuscript Networks
Flag this post
A Short Introduction to Categorical Logic
youtube.com·1d
🔀Category Theory
Flag this post
Notes on the History of Graph Paper
pballew.blogspot.com·1d·
Discuss: www.blogger.com
📜Document Physics
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·14h·
Discuss: Hacker News
🔗Functional Compilers
Flag this post
I’m writing another book!
ericlippert.com·19h
📄PostScript
Flag this post
Working with Digital Archives: The William S. Burroughs Project
fsuspecialcollections.wordpress.com·1d
📜Document Paleography
Flag this post
Note
hsu.cy·12h
📜Text Collation
Flag this post
011e021d6fa524b55bfc5ba67522daeb | MD5 Breakdown?
infosecwriteups.com·5h
🔐Hash Functions
Flag this post
5 Maths Gems #193
resourceaholic.com·16h·
Discuss: www.resourceaholic.com
📐Document Algebra
Flag this post
AI and the strengthening of records management approaches
thinkingrecords.co.uk·1d
📐Archive Calculus
Flag this post
Show HN: Font Finder – Find and Copy Fonts from Any Webpage
font-finder.org·11h·
Discuss: Hacker News
🔤Font Archaeology
Flag this post
Enhanced Knowledge Graph Reasoning via Multi-Modal Data Fusion and Automated Verification
dev.to·21h·
Discuss: DEV
🗺️Competency Maps
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·8h
📝Log Parsing
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·23h
λLambda Formalization
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·8h
🧮Algebraic Archives
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·7h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Flag this post