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
👑 Dependent Haskell
Singletons, Type-level Programming, GADTs, Kind Polymorphism
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
22974
posts in
884.0
ms
Our Super Bowl
Satyricon
newenglishreview.org
·
1h
🎵
Music Universality
111:
Artifically
Prolonged,
Unnecessarily
Stressful
mwl.io
·
1h
💾
Persistence Strategies
Apple acquires
Severance
and will
produce
future seasons in-house
engadget.com
·
1h
🍎
Apple Archive
OpenAI reportedly uses a "special version" of ChatGPT to hunt down internal
leakers
by
scanning
Slack and email
the-decoder.com
·
1h
🔓
Hacking
The Future of Mathematics and
Mathematicians
blog.computationalcomplexity.org
·
1h
·
Discuss:
blog.computationalcomplexity.org
📐
Mathematical Art
DoxyPEP
Is a Disaster in
Waiting
newenglishreview.org
·
1h
🎯
Gradual Typing
Non-alcoholic
wine: A
booming
business searching for quality
phys.org
·
1h
☕
Precision Brewing
Miss
Manners
: My conversation with the
hygienist
jumped the rails
mercurynews.com
·
1h
🎯
Gradual Typing
Extraterrestrial
strategy: How the US could
achieve
energy dominance in space
phys.org
·
1h
🌡️
Preservation Physics
Cisco
's president says AI agents need '
background
checks' like human workers
businessinsider.com
·
1h
🎯
Threat Hunting
A software engineer says there's a '
vampiric
effect' to AI, where vibe-coding sprints are followed by
naps
to cope with AI fatigue
businessinsider.com
·
1h
🧠
Intelligence Compression
What is
bowel
cancer? Symptoms to know after James Van Der
Beek
’s death
the-independent.com
·
55m
⚖️
Legal Compliance
Court orders investigation into China-owned
chipmaker
Nexperia
the-independent.com
·
1h
🔬
Hardware Forensics
A New Generation Of Buyback
Indices
: Introducing The S&P 500 Buyback
Aristocrats
Index
seekingalpha.com
·
1h
📇
Indexing Strategies
Siemens
Aktiengesellschaft
2026 Q1 - Results - Earnings Call Presentation (OTCMKTS:
SIEGY
) 2026-02-12
seekingalpha.com
·
1h
🇩🇪
German Computers
Gillian
Debugging:
Swinging
Through the (Compositional Symbolic Execution) Trees, Extended Version
arxiv.org
·
2d
🔗
Functional Compilers
VERIFY-RL:
Verifiable
Recursive
Decomposition for Reinforcement Learning in Mathematical Reasoning
arxiv.org
·
2d
⚔️
Lean Tactics
Show HN: A free online British
accent
generator for instant voice
conversion
audioconvert.ai
·
1h
·
Discuss:
Hacker News
🗣️
CMU Pronouncing
A
beautiful
home for Claude Code
claudeisland.com
·
1h
·
Discuss:
Hacker News
🌍
Topological Codes
Single-file multi-client MCP
gateway
with per-tool access
ctrl
mcp-x.org
·
1h
·
Discuss:
Hacker News
⚡
gRPC
Loading...
Loading more...
« Page 17
•
Page 19 »
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