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
22
posts in
11.5
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
·
18h
18 hours ago
Actions for A Neurosymbolic Prolog Skill for LLM-Driven Service Placement
Proof System Timelines
✓
Formal Methods
Content type:
Blog
klatz.co
·
2d
2 days ago
Actions for Proof System Timelines
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
·
18h
18 hours ago
Actions for CLP: Collocation-Length Prediction for Zero-Loss Adaptive Multi-Token Inference
Inhibition of red blood cell-derived small extracellular vesicles release by calpeptin attenuates neutrophil inflammation
✨
Effect Inference
Content type:
Academic
nature.com
·
22h
22 hours ago
Actions for Inhibition of red blood cell-derived small extracellular vesicles release by calpeptin attenuates neutrophil inflammation
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
Nontrailing separators do not spark joy
🧠
Symbolic AI
Content type:
News
Computer Things via buttondown.com
·
9h
9 hours ago
·
Lobsters
Actions for Nontrailing separators do not spark joy
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
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
·
12h
12 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
Answer Set
Programming
for Egg Extraction and More
🧠
Symbolic AI
Content type:
Academic
arxiv.org
·
18h
18 hours ago
Actions for Answer Set Programming for Egg Extraction and More
Australia: Poor communities hit by largest diphtheria outbreak on record
📝
Computational Linguistics
wsws.org
·
2d
2 days ago
Actions for Australia: Poor communities hit by largest diphtheria outbreak on record
Determination Provenance: From Ambiguity to Algebra
📊
Datalog
Content type:
Academic
arxiv.org
·
18h
18 hours ago
Actions for Determination Provenance: From Ambiguity to Algebra
Deep C Dives: Pointers
🧠
Symbolic AI
i-programmer.info
·
11h
11 hours ago
Actions for Deep C Dives: Pointers
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
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
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
Less-relevant results
Win16 Memory Management | OS/2 Museum
🧠
Symbolic AI
os2museum.com
·
5d
5 days ago
·
Lobsters
,
Hacker News
Actions for Win16 Memory Management | OS/2 Museum
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