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
⬌ Bidirectional Typing
Type Inference, Elaboration, Synthesis, Checking Modes
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23908
posts in
674.7
ms
GB's Fear and
Gibson
miss out on figure
skating
medal
bbc.com
·
17m
🎯
Threat Hunting
James Van Der
Beek
’s Most
Memorable
Roles (Photos)
hollywoodreporter.com
·
38m
⚙️
ABNF Mining
Ice
Fishermen
Catch Record-Breaking 244-Pound Atlantic
Halibut
After Hours-Long Struggle
smithsonianmag.com
·
39m
📡
Network Archaeology
Scientists reveal formation mechanism behind spherical
assemblies
of
nanocrystals
phys.org
·
18m
⏰
Time Crystals
‘GOAT’ Star Caleb
McLaughlin
Shares His Blunt Take on ‘Stranger Things’ “
Conformity
Gate”
hollywoodreporter.com
·
27m
⏱️
SMPTE Timecode
Starmer hits out at Man
Utd
co-owner after ‘
offensive
’ immigration comments
the-independent.com
·
29m
📡
RSS
Apple's
rumored
cheaper MacBook could be a huge laptop launch — but if it does
rely
on 8GB of RAM, will that really be enough?
techradar.com
·
20m
🍎
Apple Computing
Visualizing how a plant's leaves, stem and roots
mutually
communicate
under environmental stress in real time
phys.org
·
17m
🌈
Spectroscopy
Ferry
capsizes
on
Nile
River leaving at least 15 people dead
the-independent.com
·
35m
🏴☠️
Piracy
Appian Focuses On
Upmarket
Strategy As AI Competition Intensifies (NASDAQ:
APPN
)
seekingalpha.com
·
27m
🔍
BitFunnel
FLEX
LNG Ltd. 2025 Q4 - Results - Earnings Call Presentation (NYSE:
FLNG
) 2026-02-11
seekingalpha.com
·
18m
🇳🇴
Norwegian Computing
ChatGPT vs.
Logic
: Why AI Code is
Slower
dev.to
·
5d
·
Discuss:
DEV
🌊
Streaming Algorithms
Yet Another Set of Claude Code
Plugins
(But Maybe
Useful
?)
dev.to
·
4d
·
Discuss:
DEV
⚡
Proof Automation
Static Analysis Under
Non-Deterministic
Program
Assumptions
arxiv.org
·
1d
🧪
Property-Based Testing
Rethinking
Code
Complexity
Through the Lens of Large Language Models
arxiv.org
·
1d
📏
Code Metrics
Show HN:
GitSwipe
,
Inbox
zero for GitHub notifications
gitswipe.com
·
18m
·
Discuss:
Hacker News
📲
syncthing
Guney-olu/nanoslg
: A from-scratch implementation of distributed LLM inference in simple readable Python
github.com
·
2d
·
Discuss:
Hacker News
,
r/LLM
⚡
Homebrew CPUs
lean-phys-community/PhysLean
: A project to
digitalise
results from physics into Lean.
github.com
·
1d
·
Discuss:
Hacker News
🔬
Lean
Part 2 - AI Chat Evaluation of the Formal Language in He
Xin
's
PEPC
System
news.ycombinator.com
·
6h
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Bringing a
jewel-encrusted
warhammer to a knife fight
reorchestrate.com
·
1h
·
Discuss:
Hacker News
🔓
Reverse engineering
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