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
24213
posts in
992.5
ms
Tribe
buys 10,000
acres
north of Lake Tahoe from city of Santa Clara in historic land deal
mercurynews.com
·
25m
🌍
Cultural Computing
Hong
Sangsoo
’s Berlinale Selection, New Animation Expand
Finecut
’s EFM Slate
variety.com
·
26m
🇸🇪
Nordic Demoscene
Police
detain
person of interest as search for Nancy
Guthrie
continues
bbc.com
·
44m
⚖️
Digital Evidence
Baron
Small Cap Fund Q4 2025 Commentary (
BSFIX
)
seekingalpha.com
·
56m
🔍
BitFunnel
The secret to James
Milner
’s longevity as he stands on
brink
of Premier League history
the-independent.com
·
41m
📰
RSS Archaeology
Salesforce Stock: Buy The Fear In Enterprise SaaS
Durability
(NYSE:
CRM
)
seekingalpha.com
·
27m
📡
Feed Security
The dark cloud
hanging
over the Winter Olympics’ most
glamorous
sport
the-independent.com
·
33m
🇸
Sweden
Some of world’s oldest trees hit by
climate-fuelled
wildfires in
Patagonia
theguardian.com
·
26m
🧊
Arctic Storage
Quark
's
Outlines
: Python Code Blocks
dev.to
·
3d
·
Discuss:
DEV
🦀
Rust Macros
When a Model Finds a Bug in Cryptography, and a
Cryptographer
Learns New
Mathematics
from It
dev.to
·
5d
·
Discuss:
DEV
🎯
Performance Proofs
Grounding Generative
Planners
in
Verifiable
Logic: A Hybrid Architecture for Trustworthy Embodied AI
arxiv.org
·
1d
📏
Linear Logic
Dynamical
sequences
: closure properties and automatic identity
proving
arxiv.org
·
1d
🎯
Performance Proofs
Create
Caricature
of Me and My Job
caricaturetrend.com
·
27m
·
Discuss:
Hacker News
🔠
Terminal Fonts
“4 billion unique (and sometimes very
memorable
)
sentences
”
unsung.aresluna.org
·
41m
·
Discuss:
Hacker News
📝
Text Compression
Show HN:
Reddit
Scout
Pro [Chrome-extension]
plugmonkey.xyz
·
26m
·
Discuss:
Hacker News
📰
Feed Readers
Show HN:
Qrono
– A "final" date/time library for
JavaScript
qronojs.dev
·
29m
·
Discuss:
Hacker News
⏱️
SMPTE Timecode
Agent-Tail
agent-tail.vercel.app
·
51m
·
Discuss:
Hacker News
📟
Terminal Forensics
elliot35/deterministic-agent-control-protocol
: Governance gateway for AI agents — bounded,
auditable
, session-aware control with MCP proxy, shell proxy & HTTP API. Works with Cursor, Claude Code, Codex, and any MCP-compatible agent.
github.com
·
21h
·
Discuss:
Hacker News
🌳
Archive Merkle Trees
brynary/attractor
: Full implementation of
StrongDM
Attractor specs in TypeScript
github.com
·
2d
·
Discuss:
Hacker News
🔗
Topological Sorting
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