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
81140
posts in
845.3
ms
Deciding the
Satisfiability
of Combined
Qualitative
Constraint Networks
arxiv.org
·
14h
🧩
Algorithms
The First Known Problem That Is FPT with Respect to Node
Scanwidth
but Not
Treewidth
arxiv.org
·
1d
🧩
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
**Abstract:** This work introduces a novel methodology for verifying the functional
correctness
of algorithms integrating both quantum and classical
computat
...
freederia.com
·
4d
🧩
Algorithms
Looking for a
PR
Agency That Actually
Delivers
Results? Here's How to Find One.
entrepreneur.com
·
44m
⏰
Time Management
Download
Caligra
Workbench
caligra.com
·
39m
🤖
Automation
Chinese AI IPOs Surge as JPMorgan, Goldman
Initiate
Coverage;
MiniMax
Jumps 230%
tradingview.com
·
54m
🤖
Automation
Justin
Verlander
returns to Tigers on $13M deal, joins
vaunted
rotation with Tarik Skubal, Framber Valdez
cbssports.com
·
42m
📈
Productivity
Washington
Commanders
Add 12-Year NFL Veteran to
Coaching
Staff
sportsnaut.com
·
34m
💻
Programming
Dan Quinn expects more of
Jayden
Daniels under center with David
Blough
calling offensive plays
nbcsports.com
·
37m
💻
Programming
Rightwing
US news outlet hails Trump as ‘
liberator
’ after being allowed into Venezuela
theguardian.com
·
47m
📈
Productivity
A
pattern
for safe
database
access with AI coding agents
docs.getpochi.com
·
31m
·
Discuss:
Hacker News
🤖
Automation
US restaurants targeted for opposing ICE: ‘I
refuse
to cook for
fascists
’
theguardian.com
·
43m
📈
Productivity
Greif CEO Ole
Rosgaard
on
strategizing
for the next 148 years
finance.yahoo.com
·
38m
⏰
Time Management
🏟The final
warm-up
before the World Cup:
Chile
to face Spain in a friendly
sports.yahoo.com
·
37m
🤖
Automation
Slides
from my AI presentation I gave to
seniors
, feel free to share
aititus.com
·
16m
·
Discuss:
Hacker News
🤖
Automation
Game Boy Advance Dev:
Drawing
Pixels
mattgreer.dev
·
16m
·
Discuss:
r/programming
💻
Programming
University of Phoenix Earns No. 8 Ranking on
TechGuide
's 2026 Best Online
Bachelor
's in Data Science Programs List
prnewswire.com
·
29m
🤖
Automation
Marvel Cosmic Invasion's Huge Update Includes Free New
Colour
Swaps
on PS5, PS4
pushsquare.com
·
44m
💻
Programming
Love Will Make You
Fit
It All In The Car
jalopnik.com
·
19m
💻
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