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
23083
posts in
704.6
ms
Natural disasters,
avoidable
or
unpredictable
?
freakonometrics.hypotheses.org
Β·
1h
π‘οΈ
Error Boundaries
Doctors
β union may yet save the
NHS
from Palantir
doctorow.medium.com
Β·
1h
π΄σ §σ ’σ ³σ £σ ΄σ Ώ
Scottish Computing
Nearly 300,000 people in
Ukrainian
city of
Odesa
without power or water after Russian drone strikes
theguardian.com
Β·
1h
π’
Mainframes
Hearn
'expects'
Joshua
to fight again
bbc.com
Β·
1h
π°
Feed Readers
Object
permanence
doctorow.medium.com
Β·
1h
π
Archive Calculus
Pluralistic
: Doctorsβ union may yet save the NHS from Palantir (12
Feb
2026)
pluralistic.net
Β·
1h
πΏ
WORM Storage
Ukraine skeleton racer
Heraskevych
disqualified
from Olympics over memorial helmet
france24.com
Β·
1h
β
Backus-Naur Form
Overcoming
a barrier to
projecting
near-term climate evolution and risk
phys.org
Β·
1h
π‘οΈ
Preservation Thermodynamics
Huge 410-pound
manatee
rescued after becoming stuck in storm
drain
the-independent.com
Β·
1h
π
Tailscale
VinFast
Auto: Delivery Surge Meets Cash Flow Headwinds (NASDAQ:
VFS
)
seekingalpha.com
Β·
1h
π
BitFunnel
The
bowel
cancer symptoms to know after James Van Der
Beek
βs death
the-independent.com
Β·
43m
ποΈ
ZIP Forensics
Orora
Limited (
ORRYY
) Q2 2026 Earnings Call Transcript
seekingalpha.com
Β·
1h
π
PREMIS Events
Capture the
Kerberos
Flag: Detecting
Kerberos
Anomalies
blog.nviso.eu
Β·
1h
π«
Kerberos Exploitation
Distributed Hybrid
Parallelism
for Large Language Models:
Comparative
Study and System Design Guide
arxiv.org
Β·
1d
π
SIMD Text Processing
VERIFY-RL:
Verifiable
Recursive
Decomposition for Reinforcement Learning in Mathematical Reasoning
arxiv.org
Β·
2d
βοΈ
Lean Tactics
Python Is for Everyone: Inside the
PSF
's D&I Work Group
georgiker.com
Β·
1h
Β·
Discuss:
Hacker News
π
Interface Evolution
SotA
ARC-AGI-2 Results with
REPL
Agents
symbolica.ai
Β·
1h
Β·
Discuss:
Hacker News
β
Automated Theorem Proving
Programming
Aphorisms
matklad.github.io
Β·
1d
Β·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
π
Concatenative Programming
willothy/whirlwind
: π Async-first
sharded
hashmap for Rust.
github.com
Β·
3d
Β·
Discuss:
Hacker News
π¦
Rust Borrowing
Program management update β January 2026
blog.rust-lang.org
Β·
1d
Β·
Discuss:
Hacker News
π¦
Rust Macros
Loading...
Loading more...
« Page 11
β’
Page 13 »
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