Symbolic AI

🧠 Symbolic AI

logic programming, knowledge representation, rule-based systems, neuro-symbolic

Feeds to Scour
SubscribedAll
Scoured 132 posts in 11.4 ms

A Neurosymbolic Prolog Skill for LLM-Driven Service Placement

 🧠LLM Reasoning  Content type: Academic
arxiv.org·

PART III - Assertions and their use

 🧠LLM Reasoning
ciao-lang.org··Lobsters

Is symbolic AI more relevant than ever?

 🤖Machine Learning  Content type: News
heise.de··Hacker News

Subversion-Resistance for Free from Formal Verification

 🆔Self-sovereign Identity
lesswrong.com·

OpenCV Introduces New DNN Inference Engine

 👁️Computer Vision
i-programmer.info·

I Gave My AI Design System Ethics, Accessibility, and a Memory (14 minute read)

 🤖AI Agents
designsystemscollective.com
·

ju4nv1e1r4/nlp_engine_inference: An inference engine for NLP models.

 📝TextRank  Content type: Code
github.com··r/rust

No Token Left Behind: Demystifying Token-in-Token-Out in Miles

 🤖Local LLMs  Content type: Blog
lmsys.org··Hacker News

From GPU to Token: The 8-Layer Observability Stack for AI Infrastructure

 🧠Deep Learning  Content type: Blog
jimmysong.io·

TXT..ↀ..TXT

 🕸️Knowledge Graphs
api.raindrop.io·

Mobile AI Compute Engine (MACE) inference framework — Vision SDK

 🧠Deep Learning  Content type: Blog
mapbox.com·

Declarative DSLs for Janet

 🐼Pandas
codeberg.org··Hacker News

Researchers discover hidden chip threats and a way to stop them

 💬Prompt Engineering
techxplore.com·

Magenta RealTime 2: Open and Local Live Music Models

 🎧Music Streaming
magenta.withgoogle.com··Hacker News, Hacker News, r/LocalLLaMA

Proof System Timelines

 🔤Type Theory  Content type: Blog
klatz.co·

New comment by wipaveeknecht in "Ask HN: Who is hiring? (June 2026)"

 👥Crowdsourcing  Content type: Discussion
news.ycombinator.com··Hacker News

Zcash Developers Weigh New Shielded Pool After Orchard Bug

 🔄RadicalxChange
cointelegraph.com·

Extending Ontologies: From Dense Embeddings to Hybrid Quantum-Fuzzy Systems

 🕸️Knowledge Graphs  Content type: Academic
arxiv.org·

DoWhy Internals: Building a Causal Inference Engine from Scratch

 🕸️Graph Theory
tildalice.io·

Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs

 🔤Type Theory
lix.polytechnique.fr·

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
Save / unsave
s

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