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
✓ Formal Verification
Type Theory, Correctness Proofs, Program Analysis, Safety
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
105560
posts in
759.0
ms
Navigating
CRAN
's Reverse
Dependency
Check Logs
yihui.org
·
2d
📦
uv
February Week 1
i-programmer.info
·
3d
🦀
Rust
A
minimalistic
Go library for
assertion
, error handling, and resource management utilities.
pkg.go.dev
·
4d
·
Discuss:
r/golang
🛡️
Error Handling
Tutorial
on
Agentic
Engine
pori.vanangamudi.org
·
2d
·
Discuss:
r/LocalLLaMA
📝
Poem
The Next Big Language (2007) by
Steve
Yegge
steve-yegge.blogspot.com
·
2d
·
Discuss:
Hacker News
🔨
Compiler Design
Concurrent
vs.
Parallel
Execution in LLM API Calls: From an AI Engineer’s Perspective
pub.towardsai.net
·
1d
⏰
Timely Dataflow
Fundamentals
of Data
Visualization
clauswilke.com
·
2d
📊
Data Visualization
Rethinking
Code
Complexity
Through the Lens of Large Language Models
arxiv.org
·
23h
🔬
Static Analysis
Grace
Hopper
's
Revenge
thefuriousopposites.com
·
2d
⚓
Anchors
VERIFY-RL:
Verifiable
Recursive
Decomposition for Reinforcement Learning in Mathematical Reasoning
arxiv.org
·
23h
🧮
SMT Solvers
Why you should
consider
F#
asfaload.com
·
4d
·
Discuss:
Hacker News
📏
Linear Types
What should I program?
jamesmcm.github.io
·
2d
🦀
Rust
Real world
scenario
of
refactoring
legacy code to strategy & chain of responsibility patterns
dev.to
·
1d
·
Discuss:
DEV
🏰
Tower
31-year old
VT220
terminfo
curses bug
lists.gnu.org
·
2d
·
Discuss:
Hacker News
🪲
DWARF Debugging Info
How I Approach a System I Have Never Seen Before
dev.to
·
1d
·
Discuss:
DEV
📝
Write-Ahead Logging
Python’s
Truthiness
: A Code Smell Worth
Sniffing
owl.billpg.com
·
4d
·
Discuss:
Hacker News
🌊
CALM Theorem
The
Monad
Called
Free
news.ycombinator.com
·
4d
·
Discuss:
Hacker News
∘
Category Theory
Jim
Roskind
on C
Ambiguity
pdos.csail.mit.edu
·
5d
·
Discuss:
Hacker News
🏷️
Pointer Tagging
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
4d
·
Discuss:
Hacker News
🧮
SMT Solvers
Production pain points and coordination patterns from building a
dual-orchestrator
(Claude + Kimi) system on Claude Code. 8 failure modes with specs and
invariants
.
gist.github.com
·
3d
·
Discuss:
Hacker News
🌀
Maelstrom
Loading...
Loading more...
« Page 10
•
Page 12 »
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