Building a Rules Engine from First Principles
towardsdatascience.com·1d
⚖️Inference Rules
Flag this post
A Short Introduction to Categorical Logic
youtube.com·1d
⚖️Inference Rules
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·23h
🔗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
On merging atoms
kalimat.bearblog.dev·5h
🔗Concatenative
Flag this post
The case against boolean logic
⚖️Inference Rules
Flag this post
Reinventing Assertions
⚖️Inference Rules
Flag this post
De Bruijn Numerals
λLambda Calculus
Flag this post
“As of today, your name is Ahabâ€: Generic Critique as Reparative Praxis in
gamestudies.org·11h
🏠indieweb
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
🔗Go Generics
Flag this post
Understanding Hardness of Vision-Language Compositionality from A Token-level Causal Lens
arxiv.org·23h
📋S-Expression
Flag this post
From Lossy to Lossless Reasoning
🪜Recursive Descent
Flag this post
Magisterium
💫Effect Systems
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
🎭Racket Modules
Flag this post
PWC 345: I Went to the Mountains
🌳Tree Walking
Flag this post
Freewriting in my head, and overcoming the “twinge of starting”
lesswrong.com·2h
🔗Concatenative
Flag this post
text as incantation
lnebres.bearblog.dev·2d
🏷️Symbol Mangling
Flag this post
Loading...Loading more...