Feeds to Scour
SubscribedAll
Scoured 174938 posts in 17.2 ms
Neural-Symbolic Logic Query Answering in Non-Euclidean Space
arxiv.org·21h
🖥️Lisp Machines
State Algebra for Probabilistic Logic
arxiv.org·1d
λLambda Calculus
Differential Logic • Discussion 17
inquiryintoinquiry.com·9h
λLambda Calculus
Ontology, Part IV
jessicatalisman.substack.com
·1d·
Discuss: Substack
🕸️Ontology
Part 17: Data Manipulation in Advanced Filtering and Conditional Logic
medium.com
·18h
λLambda Calculus
MCCL: Entailment tree generation via multi-fact contrastive selection and consistent LLM-based inference
sciencedirect.com·1d
λLambda Calculus
Probability theory revisit, and proofs
quinns.bearblog.dev·1d
λLambda Calculus
Formal Verification Best Practices
semiwiki.com·1d
λLambda Calculus
Contraposition
en.wikipedia.org·2d·
Discuss: Hacker News
λLambda Calculus
Ontology: The Hidden Layer That Makes AI Actually Work
pub.towardsai.net
·4h
🕸️Ontology
Multi-Model Reasoning Engine for Science and Infrastructure
getrozum.com·8h
λLambda Calculus
In search of falsehood – using Opus 4.6 to prove False
tristan.st·6h·
Discuss: Hacker News
λLambda Calculus
pin⁺ bordism in nLab
ncatlab.org·1d
🖥️Lisp Machines
Formalization of QFT?
math.columbia.edu·3h
🔢Philosophy of Math
AI Fact Checkers
trendhunter.com·17h
💻Digital Humanities
Logic Colloquium, University of Vienna - Sealing the universe: How far can inner model theory reach?
dmg.tuwien.ac.at·2d
λLambda Calculus
The Newtype Pattern and Orphan Rules
medium.com
·17h
λLambda Calculus
Less-relevant results
How Deterministic Rules Engines Improve Compliance and Auditability
dzone.com·1d
λLambda Calculus
Zelph is a logic programming system, but not in the traditional sense
acrion.github.io·1d·
Discuss: Hacker News
λLambda Calculus
Inflection Points: The Circular Logic Of Secular Rotations
seekingalpha.com
·17h
λLambda Calculus

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help