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 Solvers
🧩 Constraint Solvers
SAT, Z3, SMT, Optimization, Declarative Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
59
posts in
21.2
ms
10 Million Words, Zero Escalations: Effective Retail Localization with Aydin Gür
🔄
Systems Thinking
Content type:
Blog
crowdin.com
·
23h
23 hours ago
Actions for 10 Million Words, Zero Escalations: Effective Retail Localization with Aydin Gür
book-assets/supplements/function-sets.md at master · logicforprogrammers/book-assets
⚡
Automated Reasoning
Content type:
Code
github.com
·
5d
5 days ago
Actions for book-assets/supplements/function-sets.md at master · logicforprogrammers/book-assets
On solving symmetric multi-type orthogonal non-negative matrix tri-factorization
problem
🔢
Algebraic Datatypes
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for On solving symmetric multi-type orthogonal non-negative matrix tri-factorization problem
bmc4j/bmc4j: Bounded model checking for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test
⚡
Automated Reasoning
Content type:
Code
github.com
·
5d
5 days ago
·
Hacker News
Actions for bmc4j/bmc4j: Bounded model checking for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test
Richard Feynman’s 50-Year-Old ‘Restaurant
Problem
’ Finally Decoded. It Shows Why People Settle for Good Enough
🚂
Error Propagation
zmescience.com
·
6h
6 hours ago
Actions for Richard Feynman’s 50-Year-Old ‘Restaurant Problem’ Finally Decoded. It Shows Why People Settle for Good Enough
ekorbia/xword-pipeline: Dense NYT-style crossword puzzle pipeline: Rust fill-engine + Claude clue writer/QA/explain process
💬
Interactive REPLs
Content type:
Code
github.com
·
2d
2 days ago
·
Hacker News
Actions for ekorbia/xword-pipeline: Dense NYT-style crossword puzzle pipeline: Rust fill-engine + Claude clue writer/QA/explain process
Reinforcement Learning and
Optimal
Control Book (RIP Dimitri Bertsekas)
⚡
Partial Evaluation
Content type:
Academic
web.mit.edu
·
5d
5 days ago
·
Hacker News
Actions for Reinforcement Learning and Optimal Control Book (RIP Dimitri Bertsekas)
Public Machine Learning
Solver
Framework for Novices in the Machine Learning Domain
🌱
Minimal ML
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Public Machine Learning Solver Framework for Novices in the Machine Learning Domain
The Training Didn't Fail—Your Diagnosis Did: Why Everything Is Not A Knowledge Gap
🔄
Systems Thinking
elearningindustry.com
·
4d
4 days ago
Actions for The Training Didn't Fail—Your Diagnosis Did: Why Everything Is Not A Knowledge Gap
Revisiting the shutdown
problem
🚂
Error Propagation
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Revisiting the shutdown problem
Tiny fossils
solve
a decades-old mystery about early animal life
🏺
Code Archeology
earth.com
·
3d
3 days ago
Actions for Tiny fossils solve a decades-old mystery about early animal life
Community Building through GIS and geoSTEM
🧠
Obsidian
Content type:
Blog
mapbox.com
·
2d
2 days ago
Actions for Community Building through GIS and geoSTEM
All-electron Dynamical Bethe-Salpeter Equation for Extended Systems with Atom-centered Orbital Basis Set
📐
Mathematical Computing
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for All-electron Dynamical Bethe-Salpeter Equation for Extended Systems with Atom-centered Orbital Basis Set
Cash App Just Made a $25 Magic Wand You Pay With - Yanko Design
⌨️
Mechanical Keyboards
yankodesign.com
·
1d
1 day ago
Actions for Cash App Just Made a $25 Magic Wand You Pay With - Yanko Design
Exclusive: 'A robot vacuum cleaner is much more energy efficient than a humanoid robot using a vacuum cleaner' — Jake Dyson shares his vision for the future of cleaning, and the role of AI and robotics in your home
🏠
Home Automation
techradar.com
·
4d
4 days ago
Actions for Exclusive: 'A robot vacuum cleaner is much more energy efficient than a humanoid robot using a vacuum cleaner' — Jake Dyson shares his vision for the future of cleaning, and the role of AI and robotics in your home
Collective dynamics in a one-dimensional Heisenberg ferromagnetic spin chain
📡
Async Channels
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Collective dynamics in a one-dimensional Heisenberg ferromagnetic spin chain
The Best AI Goes Unnoticed: Perk CPO Nikita Miller on the Future of Business Travel
💬
Prompt Engineering
skift.com
·
6d
6 days ago
Actions for The Best AI Goes Unnoticed: Perk CPO Nikita Miller on the Future of Business Travel
A Uniformly High-Accuracy PML-BIE Method for Scattering by Periodic Arrays of Obstacles: The 2D Case
📡
Signal Processing
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for A Uniformly High-Accuracy PML-BIE Method for Scattering by Periodic Arrays of Obstacles: The 2D Case
#401
🔄
Bootstrapping
weeknotes.barrucadu.co.uk
·
3d
3 days ago
Actions for #401
Retarded Correlators of Charge Transport in a Magnetic Field
📡
Information Theory
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Retarded Correlators of Charge Transport in a Magnetic Field
« Page 1
·
Page 3 »
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