Building a Rules Engine from First Principles
towardsdatascience.com·2d
⚖️Inference Rules
Flag this post
A Short Introduction to Categorical Logic
youtube.com·2d
⚖️Inference Rules
Flag this post
#28 Cumulative / Accumulate...History and Etymology of Math Terms
📐Mathematical Computing
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·1d
🔗Category Theory
Flag this post
I built a symbolic reasoning system without language or training data. I’m neurodivergent and not a developer — just hoping someone can tell me if this makes se...
🎯Finite Automata
Flag this post
LLM-generated text is not testimony
lesswrong.com·6h
🎲Parser Fuzzing
Flag this post
On merging atoms
kalimat.bearblog.dev·23h
🔗Concatenative
Flag this post
De Bruijn Numerals
λLambda Calculus
Flag this post
The case against boolean logic
⚖️Inference Rules
Flag this post
Math's New Muse: How AI is Amplifying Human Intuition by Arvind Sundararajan
📐Mathematical Computing
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·2d
🔗Go Generics
Flag this post
“As of today, your name is Ahabâ€: Generic Critique as Reparative Praxis in
gamestudies.org·1d
🏠indieweb
Flag this post
Understanding Hardness of Vision-Language Compositionality from A Token-level Causal Lens
arxiv.org·1d
📋S-Expression
Flag this post
Growing explanations together
clojurecivitas.github.io·21h
🔄Bootstrapping
Flag this post
From Lossy to Lossless Reasoning
🪜Recursive Descent
Flag this post
Reinventing Assertions
⚖️Inference Rules
Flag this post
TIL that people are more likely to believe statements that rhyme, allowing for foolish advice to sound a bit wiser and it’s been called the rhyme as reason effe...
⚖️Inference Rules
Flag this post
Loading...Loading more...