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
Constraint Logic
🧩 Constraint Logic
CLP, Logic Variables, Unification, Declarative Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23
posts in
11.7
ms
PART III - Assertions and their use
🧠
Symbolic AI
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
🧠
Symbolic AI
Content type:
Academic
arxiv.org
·
21h
21 hours ago
Actions for A Neurosymbolic Prolog Skill for LLM-Driven Service Placement
Inhibition of red blood cell-derived small extracellular vesicles release by calpeptin attenuates neutrophil inflammation
✨
Effect Inference
Content type:
Academic
nature.com
·
1d
1 day ago
Actions for Inhibition of red blood cell-derived small extracellular vesicles release by calpeptin attenuates neutrophil inflammation
Declarative
DSLs for Janet
🧠
Symbolic AI
codeberg.org
·
6d
6 days ago
·
Hacker News
Actions for Declarative DSLs for Janet
CLP
: Collocation-Length Prediction for Zero-Loss Adaptive Multi-Token Inference
🗺️
Region Inference
Content type:
Academic
arxiv.org
·
21h
21 hours ago
Actions for CLP: Collocation-Length Prediction for Zero-Loss Adaptive Multi-Token Inference
Proof System Timelines
✓
Formal Methods
Content type:
Blog
klatz.co
·
2d
2 days ago
Actions for Proof System Timelines
Nontrailing separators do not spark joy
🧠
Symbolic AI
Content type:
News
Computer Things via buttondown.com
·
12h
12 hours ago
·
Lobsters
,
Hacker News
Actions for Nontrailing separators do not spark joy
CLP
director Betty Yuen sells Mid-Levels flat as Hong Kong luxury market improves
✅
Property Testing
scmp.com
·
6d
6 days ago
·
r/SCMPauto
Actions for CLP director Betty Yuen sells Mid-Levels flat as Hong Kong luxury market improves
Answer Set
Programming
for Egg Extraction and More
🧠
Symbolic AI
Content type:
Academic
arxiv.org
·
21h
21 hours ago
Actions for Answer Set Programming for Egg Extraction and More
Latin American Pulse for Tuesday, June 9, 2026
🚩
CTF
riotimesonline.com
·
1d
1 day ago
Actions for Latin American Pulse for Tuesday, June 9, 2026
RADV Driver Now Leveraging RDNA3+ Hardware Feature For Better Instruction Cache Prefetching
🧠
Symbolic AI
phoronix.com
·
15h
15 hours ago
Actions for RADV Driver Now Leveraging RDNA3+ Hardware Feature For Better Instruction Cache Prefetching
Texas Drops Spanish From Its Truck Driver’s Exam, Making It English-Only
💬
REPL Design
carscoops.com
·
6d
6 days ago
Actions for Texas Drops Spanish From Its Truck Driver’s Exam, Making It English-Only
Policy Description Language for Authorization using
Logic-Based
Programming
🧠
Symbolic AI
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Policy Description Language for Authorization using Logic-Based Programming
Deep C Dives: Pointers
🧠
Symbolic AI
i-programmer.info
·
13h
13 hours ago
Actions for Deep C Dives: Pointers
Determination Provenance: From Ambiguity to Algebra
📊
Datalog
Content type:
Academic
arxiv.org
·
21h
21 hours ago
Actions for Determination Provenance: From Ambiguity to Algebra
Australia: Poor communities hit by largest diphtheria outbreak on record
📝
Computational Linguistics
wsws.org
·
3d
3 days ago
Actions for Australia: Poor communities hit by largest diphtheria outbreak on record
Editorial | Power infrastructure in Hong Kong’s ageing buildings needs attention
🏠
Home Automation
Content type:
News
scmp.com
·
1h
1 hour ago
·
r/SCMPauto
Actions for Editorial | Power infrastructure in Hong Kong’s ageing buildings needs attention
Peru Election Flips: Sanchez Edges Ahead as Count Nears the End
🌍
Geopolitics
riotimesonline.com
·
1d
1 day ago
Actions for Peru Election Flips: Sanchez Edges Ahead as Count Nears the End
Open source building blocks for computational design. Est. 2006
📡
Channels
thi.ng
·
3d
3 days ago
·
Hacker News
Actions for Open source building blocks for computational design. Est. 2006
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
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