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
24197
posts in
1.09
s
The
Douglass-Truth
Library Has How
Unlikely
a Name? A Little Simulation in Python
healthyalgorithms.com
·
1d
🔲
Cellular Automata
Dirk
Eddelbuettel
:
chronometre
: A new package (pair) demo for R and Python
dirk.eddelbuettel.com
·
2d
🦀
Rust Macros
Navigating
CRAN
's Reverse
Dependency
Check Logs
yihui.org
·
2d
⚙️
Build Archaeology
Claude Code: Production ready code in a two-week
sprint
thoughtbot.com
·
2d
⚡
Proof Automation
Differential
Logic
• 3
inquiryintoinquiry.com
·
3d
⚡
Circuit Design
What You Have to Know About
Syntactic
Support for Error
Handling
hackernoon.com
·
2d
✅
Format Verification
Unlocking
the Power of Python
Generators
: A Comprehensive Guide
dev.to
·
2d
·
Discuss:
DEV
⚙️
Parser Generators
Building a Fake News Kill Chain with
VeraSnap
and
CPP
— Full Implementation from Capture to Verification
dev.to
·
4d
·
Discuss:
DEV
🌳
Archive Merkle Trees
Dynamical
sequences
: closure properties and automatic identity
proving
arxiv.org
·
1d
🎯
Performance Proofs
Is Reasoning
Capability
Enough
for Safety in Long-Context Language Models?
arxiv.org
·
1d
🌳
Context free grammars
Learnings
from Creating a
GUI
Library
blog.s-schoener.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
📟
CLI Design
Lightweight and
extensible
compatibility layer between
dataframe
libraries
narwhals-dev.github.io
·
3d
·
Discuss:
Hacker News
🌳
B-tree Archaeology
The
Styx
Architecture for
Distributed
Systems (1999)
inferno-os.org
·
1d
·
Discuss:
Hacker News
📡
Network Protocol Design
Weeknotes
2026-W06
› Project
Pterodactyl
: incremental architecture
jonmsterling.com
·
3d
·
Discuss:
Hacker News
,
r/Compilers
⚡
Incremental Computation
stdlib
v7.2
erlang.org
·
4d
·
Discuss:
Hacker News
🦀
Rusty Databases
SecretSpec
0.7:
Declarative
Secret Generation
devenv.sh
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/NixOS
,
r/programming
🦠
Parasitic Archives
Autobiolocation
autobiolocation.is
·
2d
·
Discuss:
Hacker News
🕸️
Algebraic Topology
Show HN: Parametric
Hubris
– Beating GPT-5 on
SimpleQA
with forced retrieval
dev.thelastrag.de
·
2d
·
Discuss:
Hacker News
🔍
BitFunnel
AI
Orchestrators
Decision
Table
gist.github.com
·
2d
·
Discuss:
Hacker News
⚡
Proof Automation
Controlled
Cot
: A
SystemLevel
Design for LLM's Reliable Reasoning
sruthipoddutur.substack.com
·
4d
·
Discuss:
Substack
📏
Linear Logic
Loading...
Loading more...
« Page 7
•
Page 9 »
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