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
19456
posts in
241.2
ms
Decidability
of
Interpretability
arxiv.org
·
4d
🧮
Kolmogorov Complexity
Phoenix: A Modular and
Versatile
Framework for C/C++
Pointer
Analysis
arxiv.org
·
4d
🧮
Algebraic Datatypes
ELA-1637-1
tomcat9
security update
freexian.com
·
2h
📦
Container Security
CISA
pushes Federal agencies to
retire
end-of-support edge devices
securityaffairs.com
·
2h
🛡
Cybersecurity
Manchester United v
Tottenham
Hotspur
: Premier League
theguardian.com
·
1h
🦐
Göteborg
You Spent Your
Whole
Life Getting Good at the Wrong Thing
thealgorithmicbridge.com
·
2h
🔲
Cellular Automata
Where
banks
should focus AI spending to stay ahead, from Wall Street's AI
scorekeeper
businessinsider.com
·
2h
🤖
AI Curation
At least 27 killed in blast at illegal ‘
rat
hole’
coal
mine in India
the-independent.com
·
2h
🧬
PostgreSQL Forensics
Rotten
Tomatoes
addresses ‘fake’ user score claims for Melania movie after documentary set new record
the-independent.com
·
2h
🤖
AI Curation
Mathematical
model
sheds
light on African American family ties
phys.org
·
11m
👪
Geneology
Show HN:
Invoxo
–
Invoicing
with automatic EU VAT for cross-border services
news.ycombinator.com
·
2h
·
Discuss:
Hacker News
🔄
Migration Tools
Alarm
bells
sound over Trump’s ‘take over the
voting
’ call
theguardian.com
·
2h
⚡
Proof Automation
A Tale of Two Standards,
POSIX
and
Win32
(2005)
samba.org
·
2h
·
Discuss:
Hacker News
🐚
Nordic Shell
Wildfire
prevention
models miss key factor: How
forests
will change over decades
phys.org
·
21m
🧊
Arctic Storage
The science of how
Olympian
Lindsey Vonn can ski on injured
knees
scientificamerican.com
·
2h
⚙
Backus-Naur Form
Moltbook
, the Social Network for AI Agents,
Exposed
Real Humans’ Data
wired.com
·
2h
🔓
Hacking
The
Meaning
of
Melania
theatlantic.com
·
1h
⭐
Awesome lists
What to bundle in the
Argo
CD
application and best practices to manage other resources?
reddit.com
·
2h
·
Discuss:
r/kubernetes
📦
METS Containers
Initial AMD Zen 6 "
znver6
" Support Merged For
LLVM/Clang
phoronix.com
·
1h
🏭
Compiler Backends
Alphabet Is Back, But Elevated AI
CapEx
Risks Are Also Worrying (
GOOG
) (GOOGL)
seekingalpha.com
·
48m
🔍
BitFunnel
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