Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔢 Discrete Math
Logic, Proofs, Set Theory, Graph Theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
81160
posts in
963.3
ms
Deciding the
Satisfiability
of Combined
Qualitative
Constraint Networks
arxiv.org
·
15h
🧩
Algorithms
The First Known Problem That Is FPT with Respect to Node
Scanwidth
but Not
Treewidth
arxiv.org
·
1d
🧩
Algorithms
**Abstract:** This paper introduces a novel system, Geometric Reasoning Engine (
GRE
), for automatically generating and verifying proofs in high school
geomet
...
freederia.com
·
6d
🧩
Algorithms
**Abstract:** This research proposes a novel methodology for accelerating
theorem
proving
within the Lean 4 proof assistant by directly optimizing the formal...
freederia.com
·
5d
🧩
Algorithms
Mark
Cuban
could reportedly try to re-buy the Mavericks -- here's how it's already creating Luka
Dončić
rumors
cbssports.com
·
49m
🧩
Algorithms
Patriots’ Will Campbell
apologizes
for post-Super Bowl media
snub
awfulannouncing.com
·
28m
💻
Programming
How a broken bone helped
AJ
Ciscar
become the Hurricanes’ No. 1 starter
orlandosentinel.com
·
29m
💻
Programming
Woman linked to Chinese crime
organization
arrested in South Florida Tesla fraud:
Cops
nbcmiami.com
·
45m
💻
Programming
Records: Mother
injects
feces
into her child’s IV at Nationwide Children’s
yahoo.com
·
33m
📝
Note Taking
Pittsburgh
Steelers Have Already Decided on Aaron
Rodgers
’ Future With Team
sportsnaut.com
·
30m
📝
Note Taking
2026 WWE
Elimination
Chamber card, matches, date and rumors for event on road to
WrestleMania
42
cbssports.com
·
45m
🤖
Automation
Meta expands its already massive
Louisiana
data center project
finance.yahoo.com
·
33m
🌿
Git
In HelloNation, Concrete Coating Experts Ray
McDougall
and Mitch
Wilkinson
of Clarence Explain Buffalo Garage Coating Systems
prnewswire.com
·
31m
🤖
Automation
So You
Lied
About Your Relationship With a Sex
Trafficker
. Now What?
thebulwark.com
·
29m
🌿
Git
NFL power rankings, way-too-early 2026 edition:
Seahawks
feel like they could
dominate
for years
sports.yahoo.com
·
32m
💻
Programming
Binance buys $300 million Bitcoin for
SAFU
fund as price
bounces
finance.yahoo.com
·
33m
💻
Programming
What might the Dolphins’ new regime do in the
secondary
this
offseason
?
orlandosentinel.com
·
41m
💻
Programming
Show HN:
PolyMCP
–
AI-Callable
Python and TS Tools with Inspector and Apps
news.ycombinator.com
·
25m
·
Discuss:
Hacker News
🤖
Automation
How to Choose a
Lifetime
Partner,
Successfully
psychologytoday.com
·
22m
📝
Note Taking
OSDev
Bare Bones with Rust - Cross-Compilation and
Freestanding
dev.to
·
26m
·
Discuss:
DEV
💻
Programming
Loading...
Loading more...
« Page 25
•
Page 27 »
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
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