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
23700
posts in
912.9
ms
The
Slocum
Cemetery in
Wabash
, Indiana
atlasobscura.com
·
50m
👪
Geneology
Winter Olympics Photo of the Day:
Disqualified
for a ‘Helmet of
Remembrance
’
theatlantic.com
·
57m
🖋
Typography
Sony’s Latest Flagship Earbuds Are a
Pricey
But
Worthwhile
Upgrade
rollingstone.com
·
53m
💿
FLAC Archaeology
Ray
Romano
Signs with
WME
(Exclusive)
hollywoodreporter.com
·
52m
📡
RSS
A Football-Sized
Creature
That Lived 307 Million Years Ago May Have Been One of the First Land
Vertebrates
to Eat Plants
smithsonianmag.com
·
57m
🦴
Binary Paleontology
EXT4
In Linux 7.0 Improves Write Performance For
Concurrent
Direct I/O Writes
phoronix.com
·
55m
🔍
eBPF
The Rise of the ‘
Slave
Power’
Conspiracy
theatlantic.com
·
55m
🏰
Manuscript Networks
OpenAI
rival
Anthropic
doubles
valuation to $380 billion in $30 billion funding round
lemonde.fr
·
55m
🏛
Digital humanities
Photos of sheep and
goats
for sale at a West Bank
livestock
market
the-independent.com
·
57m
🏛️
PREMIS Metadata
BBC to make
hundreds
of millions of
pounds
in cuts over next three years
the-independent.com
·
58m
💰
Archive Economics
Gravitational
lensing
technique unveils
supermassive
black hole pairs
phys.org
·
53m
🔬
Projection Optics
American Express: A Steady
Compounder
Worth Considering (Rating Upgrade) (NYSE:
AXP
)
seekingalpha.com
·
19m
🔍
BitFunnel
QQQI
: This Is The
Sideways
Market We're Looking For (NASDAQ:
QQQI
)
seekingalpha.com
·
45m
⚡
HTMX
Don't Eliminate Cut:
Exponential
Separations
in LLM-Based Theorem Proving
arxiv.org
·
16h
🧮
Theorem Proving
Why Agentic Theorem
Prover
Works: A Statistical
Provability
Theory of Mathematical Reasoning Models
arxiv.org
·
16h
✓
Automated Theorem Proving
Yo-Yo
Graph
theheartattackdiet.substack.com
·
56m
·
Discuss:
Substack
🔗
Tailscale
Germ
DM
for AT Protocol is Live!
germnetwork.com
·
54m
·
Discuss:
Hacker News
💿
WORM Storage
Anthropic
closes
$30 billion funding round as cash keeps
flowing
into top AI startups
cnbc.com
·
57m
·
Discuss:
Hacker News
🖥️
Terminal Renaissance
We're building an saving app for European
savers
: need
GTM
advice
news.ycombinator.com
·
57m
·
Discuss:
Hacker News
🔍
BitFunnel
Show HN:
Kore
– Stack based language where
compiler
is the reward function
github.com
·
2d
·
Discuss:
Hacker News
🐚
Bash Monads
Loading...
Loading more...
« Page 18
•
Page 20 »
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