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
💻 Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
165
posts in
19.1
ms
Build a
Compiler
in Five Projects
kmicinski.com
·
1d
🏗️
Compiler Design
hanig/engram
: Personal knowledge graph and automation system
github.com
·
8h
✅
Lean Theorem Prover
Pratt
Parsers
: Expression Parsing Made Easy
journal.stuffwithstuff.com
·
16h
✅
Lean Theorem Prover
How I
Extend
My
Workflow
with Claude Code CLI
spin.atomicobject.com
·
1d
🏗️
Compiler Design
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
2d
·
Discuss:
Lobsters
,
Hacker News
✅
Lean Theorem Prover
My
Current
AI Coding
Workflow
jonathannen.com
·
2d
🏗️
Compiler Design
I miss
thinking
hard.
jernesto.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
🔍
Static Analysis
Building a Claude Code
skill
sevalla.com
·
3d
🔍
Static Analysis
Claude Code Path
app.pluralsight.com
·
2d
✅
Lean Theorem Prover
Hello
, World! - The Rust
Programming
Language
doc.rust-lang.org
·
5d
🦀
Rust
Fast
Autoscheduling
for Sparse ML
Frameworks
ajroot.pl
·
3d
·
Discuss:
Hacker News
,
r/Compilers
🏗️
Compiler Design
A Modern Python Stack for Data Projects (uv +
ruff
+ ty +
Marimo
+ Polars)
mameli.dev
·
3d
·
Discuss:
r/programming
🔍
Static Analysis
Taming the Flat AST:
Ergonomics
in the Age of Zero
Allocations
modern-c.blogspot.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
🏗️
Compiler Design
Cursor
for
UI
Work
kittygiraudel.com
·
4d
·
Discuss:
Hacker News
⚙️
Concurrency Models
michaelhelvey/lilfuture
: Educational async runtime for Rust
github.com
·
2d
⚙️
Concurrency Models
How
LSP
Works: Building a
Grammar
Checker
LSP
from Scratch in Rust
aroy.sh
·
5d
·
Discuss:
Hacker News
🏗️
Compiler Design
Mad Rust: The
JVM
Developer's Journey. Kotlin/Java Developer's Road to
Valhalla
sobolev.substack.com
·
4d
·
Discuss:
Substack
🛡️
Memory Safety
Software
Engineer
andreasgerstmayr.at
·
6d
🔍
Static Analysis
Durable
Execution: Build reliable software in an
unreliable
world
thenewstack.io
·
5d
·
Discuss:
Hacker News
🛡️
Memory Safety
Lambda
cube
en.wikipedia.org
·
6d
·
Discuss:
Lobsters
🔍
Static Analysis
Loading...
Loading more...
Page 2 »
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