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
30
posts in
8.0
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
Proof System Timelines
💻
Programming Languages
Content type:
Blog
klatz.co
·
2d
2 days ago
Actions for Proof System Timelines
Editorial | Power infrastructure in Hong Kong’s ageing buildings needs attention
🏗
Datastructures
Content type:
News
scmp.com
·
13h
13 hours ago
·
r/SCMPauto
Actions for Editorial | Power infrastructure in Hong Kong’s ageing buildings needs attention
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
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
Webcomic: Drive
⚙️
Zstandard
Content type:
Blog
blog.strangerthanusual.de
·
16h
16 hours ago
Actions for Webcomic: Drive
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
Nontrailing separators do not spark joy
🧮
Hindley-Milner
Content type:
News
Computer Things via buttondown.com
·
1d
1 day ago
·
Lobsters
,
Hacker News
Actions for Nontrailing separators do not spark joy
Less-relevant results
Introducing Soteria: A New Generation of Static Analysis for Rust
💻
Programming Languages
Content type:
Blog
soteria-tools.com
·
22h
22 hours ago
·
Hacker News
Actions for Introducing Soteria: A New Generation of Static Analysis for Rust
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
RADV Driver Now Leveraging RDNA3+ Hardware Feature For Better Instruction Cache Prefetching
🔀
CRDTs
phoronix.com
·
1d
1 day ago
Actions for RADV Driver Now Leveraging RDNA3+ Hardware Feature For Better Instruction Cache Prefetching
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
DIE EWIGKEITSKLAUSEL – TSV 1860 München, Ismaik und der Anwalt
💻
Programming Languages
business-punk.com
·
5h
5 hours ago
Actions for DIE EWIGKEITSKLAUSEL – TSV 1860 München, Ismaik und der Anwalt
Commentary: Ghosts of Housing Past (and Present)
🗂️
Columnar Storage
Content type:
News
dailyyonder.com
·
2h
2 hours ago
Actions for Commentary: Ghosts of Housing Past (and Present)
Sarah Vaughan on How Shakespeare’s Plays Shaped Her Suspense Novel
⚡
Effect Systems
crimereads.com
·
3h
3 hours ago
Actions for Sarah Vaughan on How Shakespeare’s Plays Shaped Her Suspense Novel
Fujimori Leads Peru Runoff as Sánchez Refuses to Concede
🗜️
Compression Algorithms
riotimesonline.com
·
3d
3 days ago
Actions for Fujimori Leads Peru Runoff as Sánchez Refuses to Concede
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
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