Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
📐 Theorem Proving
Specific
Coq, Lean, Isabelle, proof assistants, formal proofs
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
183895
posts in
18.9
ms
Qualcomm
spikes
despite poor forecast citing progress with “leading
hyperscaler
” and an imminent return to growth in China
📝
Write-Ahead Log
sherwood.news
·
19h
Cash-rich AI startups fuel a boom in Manhattan's commercial real-estate market; many offices have more
vacant
desks
than workers, as startups prepare to scale (...
🌊
Streaming Algorithms
techmeme.com
·
1d
Yung
Lean Getting ‘Goat’ Praise for Viral Video Short Film With ‘Masterpiece’
Choreography
🌊
Streaming Algorithms
vice.com
·
21h
Yung
Lean is pure chaos in “STORM” by
GENER8ION
🔁
Category Theory
thefader.com
·
6d
March 2026
Patent
Highlights
📚
RAG
drughunter.com
·
1d
TV
tonight
: a
slick
police thriller for Line of Duty fans
🔤
PLT
theguardian.com
·
11h
Now, Gemini might get
proactive
with
timely
, personalized 'suggestions'
📜
Constitutional AI
androidcentral.com
·
1d
GENER8ION
&
Yung
Lean's "Storm" Video Is Incredible: Watch
🔁
Category Theory
stereogum.com
·
6d
Finite
Functional
Programming
λ
Functional Programming
arxiv.org
·
13h
GENER8ION
- Storm starring
Yung
Lean – A Visceral Dance Performance
🔤
PLT
kuriositas.com
·
2d
Meet
Glasgow
’s
vigilantes
🖥️
Systems Programming
unherd.com
·
17h
·
unherd.com
The Fire
Burns
Low
Starter
Bundle [BUNDLE]
📝
Write-Ahead Log
drivethrurpg.com
·
1d
One girl with two
outfits
for her birthday \
stacker
news
∑
Math
stacker.news
·
6d
England 2026 World Cup watch: Rice, O’
Reilly
and why
Tuchel
can lean on other worthy influencers
📜
Constitutional AI
nytimes.com
·
2d
America
Trembles
as Transportation Secretary Announces Plans for Air Traffic Controllers to
Lean
on AI Tools
📜
Constitutional AI
futurism.com
·
4d
Reds
lean
on results over process during surprising April success
📐
Linearizability
sportingnews.com
·
1d
The Beauty Industry
Roles
AI Will Kill, Create And
Reconstitute
🤖
AI Agents
beautyindependent.com
·
2d
running the world from my
couch
⚙
System programming
receipts.bearblog.dev
·
6d
Benchmarking Testing in Automated
Theorem
Proving
🔧
SMT Solvers
arxiv.org
·
2d
Meet The Dungeon Master
Controlling
Ghost Of Yotei’s
Lawless
Japan
⚙️
Tokio
gamespot.com
·
6d
« 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