Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Symbolic AI
🧠 Symbolic AI
Logic Programming, Expert Systems, Constraint Solving, GOFAI
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
24
posts in
11.0
ms
PART III - Assertions and their use
🧩
Constraint Logic
ciao-lang.org
·
5d
5 days ago
·
Lobsters
Actions for PART III - Assertions and their use
A Neurosymbolic
Prolog
Skill for LLM-Driven Service Placement
🧩
Constraint Logic
Content type:
Academic
arxiv.org
·
19h
19 hours ago
Actions for A Neurosymbolic Prolog Skill for LLM-Driven Service Placement
Mankirat47/Dao-Heart-v3.14: Dao Heart v3.14 : a bounded
symbolic
AI
value governance research scaffold for studying value drift, oversight, warmth preservation, and identity stability under pressure.
⚡
Automated Reasoning
Content type:
Code
github.com
·
4h
4 hours ago
·
Hacker News
Actions for Mankirat47/Dao-Heart-v3.14: Dao Heart v3.14 : a bounded symbolic AI value governance research scaffold for studying value drift, oversight, warmth preservation, and identity stability under pressure.
Is
symbolic
AI
more relevant than ever?
🔄
Systems Thinking
Content type:
News
heise.de
·
16h
16 hours ago
·
Hacker News
Actions for Is symbolic AI more relevant than ever?
Declarative DSLs for Janet
🧩
Constraint Logic
codeberg.org
·
6d
6 days ago
·
Hacker News
Actions for Declarative DSLs for Janet
Proof
System
Timelines
✓
Formal Methods
Content type:
Blog
klatz.co
·
2d
2 days ago
Actions for Proof System Timelines
Answer Set
Programming
for Egg Extraction and More
🧩
Constraint Logic
Content type:
Academic
arxiv.org
·
19h
19 hours ago
Actions for Answer Set Programming for Egg Extraction and More
Horatio
🗂
Knowledge Management
Content type:
Blog
techlimitics.bearblog.dev
·
9h
9 hours ago
Actions for Horatio
SLUUG Talk: Demystifying Large Language Models on Linux
🤖
AI
Content type:
Code
github.com
·
3d
3 days ago
·
DEV
Actions for SLUUG Talk: Demystifying Large Language Models on Linux
Policy Description Language for Authorization using
Logic-Based
Programming
🧩
Constraint Logic
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Policy Description Language for Authorization using Logic-Based Programming
Nontrailing separators do not spark joy
🧩
Constraint Logic
Content type:
News
Computer Things via buttondown.com
·
11h
11 hours ago
·
Lobsters
,
Hacker News
Actions for Nontrailing separators do not spark joy
RADV Driver Now Leveraging RDNA3+ Hardware Feature For Better Instruction Cache Prefetching
🧩
Constraint Logic
phoronix.com
·
13h
13 hours ago
Actions for RADV Driver Now Leveraging RDNA3+ Hardware Feature For Better Instruction Cache Prefetching
Looking for Signs of Intelligence in Chatbots
📐
Mathematical Computing
nautil.us
·
3h
3 hours ago
Actions for Looking for Signs of Intelligence in Chatbots
Dogfooding my NicCLIM GUI application-frame interactive editor
💻
Terminal UIs
Content type:
Blog
lispy-gopher-show.itch.io
·
3d
3 days ago
Actions for Dogfooding my NicCLIM GUI application-frame interactive editor
Determination Provenance: From Ambiguity to Algebra
📊
Datalog
Content type:
Academic
arxiv.org
·
19h
19 hours ago
Actions for Determination Provenance: From Ambiguity to Algebra
The Man Who Buried His Teacher
🔄
Systems Thinking
kitchencloset.com
·
3d
3 days ago
·
Hacker News
Actions for The Man Who Buried His Teacher
The Oppenheimer of
AI
– Walter Donway
🎭
Program Synthesis
lawliberty.org
·
13h
13 hours ago
Actions for The Oppenheimer of AI – Walter Donway
Deep C Dives: Pointers
🧩
Constraint Logic
i-programmer.info
·
12h
12 hours ago
Actions for Deep C Dives: Pointers
Building Custom WHMCS Modules with Modern Web Technologies
🕸️
WASM
Content type:
Discussion
shahidmalla.com
·
5d
5 days ago
·
DEV
Actions for Building Custom WHMCS Modules with Modern Web Technologies
Finite Element-Based Material Learning via
Automatic
Differentiation: Learning constitutive neural network models from full-field deformation
data
⚡
Partial Evaluation
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for Finite Element-Based Material Learning via Automatic Differentiation: Learning constitutive neural network models from full-field deformation data
Page 2 »
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
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
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help