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
🔠 Type-Level Programming
Dependent Haskell, GADTs, Type Families, Kind System
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
18337
posts in
221.2
ms
The
Condensate
Theorem
: Transformers are O(n), Not $O(n^2)$
arxiv.org
·
22h
🧮
Kolmogorov Complexity
Adaptive
Uncertainty-Aware
Tree Search for
Robust
Reasoning
arxiv.org
·
22h
🔗
Constraint Handling
GPT-5.3-Codex
dev.to
·
3d
·
Discuss:
DEV
📜
Manuscript Workflows
Steal
my code: I built a
RAG
agent for sales people
dev.to
·
3d
·
Discuss:
DEV
⚡
Proof Automation
aweussom/HowToShootYourselfInTheFoot
: How to shoot yourself in the foot - using: Operating Systems, Programming Languages etc.
github.com
·
2d
·
Discuss:
Hacker News
🦀
Rust Macros
Taiwan says ‘
impossible
’ to move 40% chip
capacity
to U.S.
japantimes.co.jp
·
2h
🌊
Stream Ciphers
OpenAI introduces
ads
...for the people!
theregister.com
·
2h
🎬
WebCodecs
IBM
Introduces Next-Generation
FlashSystem
with Agentic AI for Autonomous Storage Operations
storagereview.com
·
2h
🏢
IBM Mainframes
The French university where
spies
go for training
bbc.com
·
2h
·
Discuss:
Hacker News
🕵
Intelligence
Baby
headcams
reveal how babies
encounter
faces during development
medicalxpress.com
·
1h
·
Discuss:
Hacker News
🌀
Differential Geometry
New Mexico goes to trial to accuse Meta of
facilitating
child
predators
theverge.com
·
2h
⚖️
Digital Evidence
Could electronic
beams
in the
ionosphere
remove space junk?
phys.org
·
2h
🌡️
Preservation Physics
San
Leandro
councilmember
resigns ahead of court appearance for corruption charges
mercurynews.com
·
2h
💻
Local first
How Bad Bunny Finally Became the
Liberal
Entertainer
That Broke Trump
hollywoodreporter.com
·
1h
🎫
Kerberos Attacks
Judge blocks California law
banning
federal agents from wearing
masks
the-independent.com
·
2h
⚖️
Digital Evidence
The Age of
Marketing
Speak
gilpignol.substack.com
·
24m
·
Discuss:
Substack
🧲
Magnetic Philosophy
Political
Extremism
in Japan and Its
Dangers
news.ycombinator.com
·
56m
·
Discuss:
Hacker News
🇯🇵
Japanese Computing
Israeli strikes
kill
3 people in Gaza, hospital says
the-independent.com
·
1h
📡
RSS
OpenAI Wins Key Discovery Battle as It Gains Ground Against
Authors
in AI
Lawsuits
hollywoodreporter.com
·
2h
🏛
Digital humanities
Watch: From
Lenny
Kravitz to the Spice Girls,
Nineties
Artists Light Up the Rink at Olympic Figure Skating Ice Dance Event
rollingstone.com
·
1h
⭐
Awesome lists
Loading...
Loading more...
« Page 14
•
Page 16 »
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