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 Types
Type-level Programming, Proof-carrying Code, Agda, Type Safety
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23165
posts in
580.4
ms
JET Games USA Launches
Giga
Shot, Cyber
Punch
& More
arcadeheroes.com
·
1h
📺
Retrogaming
Fears About TikTok U.S. Are Only as
Grounded
as Fears About Other Products Supported by
Behaviour
Ads
pxlnv.com
·
1h
📰
Content Curation
This Unusual Material Uses
Frustration
To
Unlock
New Quantum Behavior
scitechdaily.com
·
1h
⚛️
Information Physics
The
Utah
Quartets
medium.com
·
1h
⛪
Church Encoding
Do You Think I Am a
Goldfish
?
muratbuffalo.blogspot.com
·
1h
·
Discuss:
Blogger
🏛
Digital humanities
Joey
Porter Sr says former Steelers teammate Ben
Roethlisberger
is not ‘a good person’
theguardian.com
·
1h
🏺
Gaming Archaeology
In
blunt
warning, the US says Peru could lose its
sovereignty
to China
the-independent.com
·
1h
🛡
Cybersecurity
James Van Der
Beek
’s Family Earns $1 Million From
GoFundMe
in Hours After His Death
variety.com
·
1h
⚙
Backus-Naur Form
Love Is Blind season 10
contestant
removed from pods and hospitalized after mistakenly
pouring
nail glue in her eye
the-independent.com
·
49m
📊
Learned Metrics
Bain Capital Specialty Finance Stock: Remains A Sleeper Within The
BDC
Sector (NYSE:
BCSF
)
seekingalpha.com
·
1h
📇
Indexing Strategies
Intact Financial Corporation 2025 Q4 - Results - Earnings Call Presentation (
TSX
:
IFC
:CA) 2026-02-11
seekingalpha.com
·
1h
⚡
HTMX
I Let AI
Pentest
my lab for 45 Minutes.
HexStrike
AI and KALI MCP to get a shell after only 20.
infosecwriteups.com
·
19m
🏠
Homelab Pentesting
I built a
cryptographic
memory layer for humans in Python tags: python,
opensource
, security, blockchain
dev.to
·
4d
·
Discuss:
DEV
🌳
Archive Merkle Trees
Monty
: A minimal, secure Python
interpreter
written in Rust for use by AI
dev.to
·
4d
·
Discuss:
DEV
🦀
Rust Macros
Rethinking
Code
Complexity
Through the Lens of Large Language Models
arxiv.org
·
2d
📏
Code Metrics
ESTAR
:
Early-Stopping
Token-Aware Reasoning For Efficient Inference
arxiv.org
·
1d
🛡️
Proof-Carrying Data
The
Zero-Inventory
Hardware
Company I
miguelarmengol.com
·
1h
·
Discuss:
Hacker News
⚙️
DIY Electronics
Results from the
Advent
of
FPGA
Challenge
blog.janestreet.com
·
1h
·
Discuss:
Hacker News
🔧
FPGA Preservation
Reflections
on Using Claude Code
ternarysearch.blogspot.com
·
1h
·
Discuss:
Hacker News
🔩
Systems Programming
Ask HN: How do you deal with long
Covid
?
news.ycombinator.com
·
53m
·
Discuss:
Hacker News
🏠
Personal Archives
Loading...
Loading more...
« Page 20
•
Page 22 »
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