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
🔬 Static Analysis
Compiler Design, Type Theory, Program Verification, Code Quality
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
74310
posts in
975.3
ms
Pluribus
unwinnable.com
·
7h
⚙️
Chapel
Dirk
Eddelbuettel
:
chronometre
: A new package (pair) demo for R and Python
dirk.eddelbuettel.com
·
19h
🐻❄️
Polars
I think this is a great
example
of both points of view in the
ongoing
debate. Pr...
news.ycombinator.com
·
6h
·
Discuss:
Hacker News
🌳
Tree-sitter
Understanding Your
Codebase
in 2026: The Complete Guide
dev.to
·
1d
·
Discuss:
DEV
🔨
Incremental Compilation
Logic
for
Programmers
New Release and Next Steps
buttondown.com
·
4d
📊
Datalog
My
Workflow
for
Agentic
Coding
szymonkrajewski.pl
·
12h
💬
Prompt Engineering
Hello World:
Algorithmic
Trading &
DeFi
Logic
dev.to
·
21h
·
Discuss:
DEV
💰
TigerBeetle
ReflectCxx/ReflectionTemplateLibrary-CPP
: Powerful C++ runtime reflection with
compile-time
guarantees – and ZERO performance compromise.
github.com
·
3d
·
Discuss:
r/AskProgramming
🔀
Crossbeam
Towards
Understanding What State Space Models Learn About Code
arxiv.org
·
7h
🔄
Memory Ordering
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
4d
✓
Formal Verification
Circumstantial
Complexity
, LLMs and Large Scale Architecture
datagubbe.se
·
1d
·
Discuss:
Lobsters
,
Hacker News
💬
Prompt Engineering
A
Newbie
's First
Contribution
to (Rust for) Linux
blog.buenzli.dev
·
16h
·
Discuss:
Hacker News
🐧
Rust for Linux
How to Stay
Valuable
When AI
Writes
All The Code
pathtostaff.com
·
1d
·
Discuss:
r/programming
🛡️
AI Security
Writing a
ledger-cli
Language Server
Protocol
with claude
frdmtoplay.com
·
21h
💼
Thrift
Flow-Based Programming:
Seminal
Texts and
Theoretical
Foundations
repolex.ai
·
3d
·
Discuss:
Hacker News
🔄
Concurrency Models
Review: Why the
Lucky
Stiff
tmewett.com
·
1h
·
Discuss:
Hacker News
🦎
Leptos
Deobfuscation
and Analysis of
Ring-1.io
back.engineering
·
17h
·
Discuss:
Hacker News
🦅
Falco
Both GCC and
Clang
generate
strange/inefficient
code
codingmarginalia.blogspot.com
·
2d
·
Discuss:
Hacker News
,
Hacker News
🎯
Escape Analysis
Fun
With
Dada
smallcultfollowing.com
·
10h
·
Discuss:
Lobsters
,
Hacker News
🌈
Nannou
The New
Stem
blog.gorewood.games
·
1d
⚓
Anchors
Loading...
Loading more...
« Page 4
•
Page 6 »
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