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
⚙ Automata Theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23691
posts in
476.4
ms
PowerFox
brings modern, secure web browsing to classic PowerPC
Macs
techspot.com
·
1h
🖥️
Vintage Macintosh
Brooklyn
Diocese
Agrees to
Mediation
to Settle Over 1,000 Abuse Claims
nytimes.com
·
1h
🚨
Incident Response
The scandals
clouding
‘sinister’ French ice dancers who beat
Chock
and Bates for gold
theguardian.com
·
1h
📥
Feed Aggregation
2026
Nissan
Leaf
review: The best budget EV on sale right now
arstechnica.com
·
1h
⚙️
Cassette Mechanics
Olympic pin mania has collectors running between
landmarks
and
swarming
a trading center
mercurynews.com
·
1h
🏺
Gaming Archaeology
Editorial
theguardian.com
·
58m
🗃
archives
Gold
medalist
Breezy Johnson’s latest Olympic
bling
? A sapphire engagement ring
mercurynews.com
·
1h
☕
Coffee
Trump revokes landmark ruling that greenhouse
gases
endanger
public health
bbc.com
·
1h
🌡️
Preservation Thermodynamics
What to Know About the E.P.A.’s Big Attack on Climate
Regulation
nytimes.com
·
1h
🌡️
Preservation Thermodynamics
More than 1.4 million
NHS
workers to
receive
3.3% pay rise from April
the-independent.com
·
1h
🌊
Stream Processing
Ex-Little Mix singer
Jesy
Nelson’s
SMA
petition to receive Government response
the-independent.com
·
1h
🎧
WAV Metadata
Upstream Bio: Hold Rating As
Verekitug
Faces Competition Among Latest Asthma Data (
UPB
)
seekingalpha.com
·
1h
🔄
RSS Infrastructure
Microsoft's Blue Ocean Opportunity: Enterprise '
OpenClaw
' (NASDAQ:
MSFT
)
seekingalpha.com
·
1h
🖥️
Terminal Renaissance
Don't Eliminate Cut:
Exponential
Separations
in LLM-Based Theorem Proving
arxiv.org
·
15h
🧮
Theorem Proving
Why Agentic Theorem
Prover
Works: A Statistical
Provability
Theory of Mathematical Reasoning Models
arxiv.org
·
15h
✓
Automated Theorem Proving
Show HN:
Agx
– A
Kanban
board that runs your AI coding agents
github.com
·
2d
·
Discuss:
Hacker News
⚡
Incremental Computation
Show HN:
Kore
– Stack based language where
compiler
is the reward function
github.com
·
2d
·
Discuss:
Hacker News
🐚
Bash Monads
Loading...
Loading more...
« Page 19
•
Page 21 »
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