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 Programming
🧩 Constraint Programming
SAT Solvers, Z3, SMT, Logic Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
29
posts in
9.4
ms
PART III - Assertions and their use
🗣️
Natural Language Parsing
ciao-lang.org
·
6d
6 days ago
·
Lobsters
Actions for PART III - Assertions and their use
A Neurosymbolic
Prolog
Skill for LLM-Driven Service Placement
🎲
Probabilistic Inference
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for A Neurosymbolic Prolog Skill for LLM-Driven Service Placement
Nontrailing separators do not spark joy
🧮
Hindley-Milner
Content type:
News
Computer Things via buttondown.com
·
21h
21 hours ago
·
Lobsters
,
Hacker News
Actions for Nontrailing separators do not spark joy
Proof System Timelines
💻
Programming Languages
Content type:
Blog
klatz.co
·
2d
2 days ago
Actions for Proof System Timelines
CLP
director Betty Yuen sells Mid-Levels flat as Hong Kong luxury market improves
🔀
CRDTs
scmp.com
·
6d
6 days ago
·
r/SCMPauto
Actions for CLP director Betty Yuen sells Mid-Levels flat as Hong Kong luxury market improves
RADV Driver Now Leveraging RDNA3+ Hardware Feature For Better Instruction Cache Prefetching
🔀
CRDTs
phoronix.com
·
23h
23 hours ago
Actions for RADV Driver Now Leveraging RDNA3+ Hardware Feature For Better Instruction Cache Prefetching
CLP
: Collocation-Length Prediction for Zero-Loss Adaptive Multi-Token Inference
🎲
Probabilistic Inference
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for CLP: Collocation-Length Prediction for Zero-Loss Adaptive Multi-Token Inference
Texas Drops Spanish From Its Truck Driver’s Exam, Making It English-Only
💻
Programming Languages
carscoops.com
·
6d
6 days ago
Actions for Texas Drops Spanish From Its Truck Driver’s Exam, Making It English-Only
Inhibition of red blood cell-derived small extracellular vesicles release by calpeptin attenuates neutrophil inflammation
🏷️
Named Entity Recognition
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
Webcomic: Drive
⚙️
Zstandard
Content type:
Blog
blog.strangerthanusual.de
·
13h
13 hours ago
Actions for Webcomic: Drive
Parallel
SMT
Solving via Dynamic Partitioning, Core-Guided Pruning, and Online Backbone Detection
🌲
Binary Search Trees
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Parallel SMT Solving via Dynamic Partitioning, Core-Guided Pruning, and Online Backbone Detection
book-assets/supplements/function-sets.md at master ·
logicforprogrammers/book-assets
🧮
Hindley-Milner
Content type:
Code
github.com
·
6d
6 days ago
Actions for book-assets/supplements/function-sets.md at master · logicforprogrammers/book-assets
Deep C Dives: Pointers
🏗
Datastructures
i-programmer.info
·
22h
22 hours ago
Actions for Deep C Dives: Pointers
Less-relevant results
Introducing Soteria: A New Generation of Static Analysis for Rust
💻
Programming Languages
Content type:
Blog
soteria-tools.com
·
19h
19 hours ago
·
Hacker News
Actions for Introducing Soteria: A New Generation of Static Analysis for Rust
Peru Election Flips: Sanchez Edges Ahead as Count Nears the End
⚙️
Zstandard
riotimesonline.com
·
2d
2 days ago
Actions for Peru Election Flips: Sanchez Edges Ahead as Count Nears the End
DIE EWIGKEITSKLAUSEL – TSV 1860 München, Ismaik und der Anwalt
💻
Programming Languages
business-punk.com
·
2h
2 hours ago
Actions for DIE EWIGKEITSKLAUSEL – TSV 1860 München, Ismaik und der Anwalt
1666: Amsterdam: Demo zum mystischen Action-Adventure auf Steam verfügbar
🗂️
Hash Tables
Content type:
Video
Content type:
News
computerbase.de
·
3d
3 days ago
Actions for 1666: Amsterdam: Demo zum mystischen Action-Adventure auf Steam verfügbar
Property-based testing | Liam DeVoe
🧮
Hindley-Milner
tybug.dev
·
2d
2 days ago
·
Hacker News
Actions for Property-based testing | Liam DeVoe
Better decisions at scale: How mathematical optimization delivers where intuition fails
🧮
Algorithms
Content type:
Blog
aws.amazon.com
·
2d
2 days ago
Actions for Better decisions at scale: How mathematical optimization delivers where intuition fails
Editorial | Power infrastructure in Hong Kong’s ageing buildings needs attention
🏗
Datastructures
Content type:
News
scmp.com
·
10h
10 hours ago
·
r/SCMPauto
Actions for Editorial | Power infrastructure in Hong Kong’s ageing buildings needs attention
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