Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
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
135097
posts in
191.3
ms
CMU
15-411/611
Compiler
Design
cs.cmu.edu
·
1d
·
Discuss:
Hacker News
🔨
Compiler Design
Two Studies in
Compiler
Optimisations
hmpcabral.com
·
4h
·
Discuss:
Hacker News
🔧
LLVM IR Optimization
Beyond Code Review
oreilly.com
·
2d
🎭
Program Synthesis
gcode
0.7: one
parser
core for streaming visitors and a thin AST
adventures.michaelfbryan.com
·
1d
🦀
Rust Macros
Dimensional Type Systems and
Deterministic
Memory Management: Design-Time Semantic Preservation in Native
Compilation
arxiv.org
·
4d
📏
Linear Types
Godot
Auditor
- CLI tool for static analysis and
dependency
mapping.
lukodiablo.itch.io
·
3d
·
Discuss:
r/godot
🏗️
Cranelift
How Midnight's Compact Compiler
Enforces
Privacy at
Compile
Time
dev.to
·
1d
·
Discuss:
DEV
💼
Thrift
PASTA/80
Pascal
compiler adds new target:
Agon
Light (github.com)
github.com
·
1d
⚙️
XLA
Can LLMs Reason Like Automated Theorem
Provers
for Rust Verification?
VCoT-Bench
: Evaluating via Verification Chain of Thought
arxiv.org
·
2d
🦀
Rust
Linux Applications Programming by
Example
: The
Fundamental
APIs (2nd Edition)
news.ycombinator.com
·
9h
·
Discuss:
Hacker News
🔧
Abseil
An article exploring what's inside a
vibe-coded
OS
written
in C
pvs-studio.com
·
2d
·
Discuss:
r/C_Programming
🏷️
Pointer Tagging
Architectural
Portability
programmingsimplicity.substack.com
·
23h
·
Discuss:
Substack
🦀
Rust
read a
couple
of books about
compilers
redplait.blogspot.com
·
4d
·
Discuss:
redplait.blogspot.com
🔨
Compiler Design
All
tests
pass: a short story
evanhahn.com
·
19h
·
Discuss:
Lobsters
⚡
Ruff
Sashiko
Now
Providing
AI Reviews On Rust Code For The Linux Kernel
phoronix.com
·
19h
·
Discuss:
r/linux
🐧
Rust for Linux
Maximally
minimal
view types, a follow-up
smallcultfollowing.com
·
2h
👻
Phantom Types
CodeRef
- Smart Java
Analyzer
with ML Engine
dev.to
·
1d
·
Discuss:
DEV
📡
SonarQube
Architecting Real
Typst
Templates (
realraum
)
cdn.media.ccc.de
·
1d
🏭
Code Generation
Spreadsheet
Logic Extraction — What It Takes, and How AI
Compresses
the Timeline
pub.towardsai.net
·
13h
✅
SQLx Compile-Time Verification
How to understand modern C++ features in practice? Let's create a compiler! -
Boguslaw
Cyganek
youtube.com
·
1d
·
Discuss:
r/cpp
🔧
Abseil
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