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
📊 Graph Compilers
CFG Optimization, Dataflow Graphs, SSA Form, Dominator Trees
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
123646
posts in
1.46
s
RustCompCert
: A Verified and Verifying Compiler for a Sequential
Subset
of Rust
arxiv.org
·
1d
🔒
Rust Borrowing
AlgoVeri
: An
Aligned
Benchmark for Verified Code Generation on Classical Algorithms
arxiv.org
·
19h
⚡
Tokenizer Optimization
Using Generative AI
tooling
with
Clojure
dev.solita.fi
·
1d
✨
Gleam
Lightweight
CLI for
Specification-Driven
Development
dev.to
·
1d
·
Discuss:
DEV
🔍
Static Analysis
State of
HLSL
: February 2026
abolishcrlf.org
·
1d
·
Discuss:
Hacker News
🔗
Language Toolchains
Fast Museum Searches: Go
Concurrency
and
Caching
pkg.go.dev
·
8h
·
Discuss:
DEV
🗑️
Stack Scanning GC
Functional
Programming
in an LLM World
notes.druchan.com
·
19h
🔍
ML Language
JUXT
Blog: From
specification
to stress test: a weekend with Claude
juxt.pro
·
1d
📡
Erlang BEAM
Gemini writes, Claude
polishes
, JetBrains
rests
: an agent development pipeline
ginkida.dev
·
1d
·
Discuss:
Hacker News
🎭
Program Synthesis
Deep C
Dives
:
Undefined
Behavior
i-programmer.info
·
11h
📚
Stack Allocation
About the Information System on Graph
Classes
and their
Inclusions
graphclasses.org
·
2d
🔗
Graph Rewriting
Avoiding
UB
but "safe" data race in a lock-free slab
allocator
- help - The Rust Programming Language Forum
users.rust-lang.org
·
5h
🔒
Rust Borrowing
[
TUHS
] bare m4 (was BTL
summmer
employees)
tuhs.org
·
8h
·
Discuss:
Lobsters
🔀
Control Structures
Large Language Models for
Mortals
book
andrewpwheeler.com
·
14h
🌱
Minimal ML
Verified
developer
portfolios
using Code Complexity and AI
dev-proof-portfolio.vercel.app
·
2h
·
Discuss:
Hacker News
📚
Self-Documenting Code
Show HN: Latent-k –
Persistent
dependency
map to reduce AI coding token usage
latentk.org
·
11h
·
Discuss:
Hacker News
🗺️
Region Inference
Formal
Methods
Practice and Theory
adacore.com
·
1d
·
Discuss:
Hacker News
🎯
Symbolic Execution
Cloesce
, a novel "full stack
compiler
" for Cloudflare
cloesce.pages.dev
·
2d
·
Discuss:
r/SoftwareEngineering
🌪️
V8 Pipeline
AndPuQing/gflow
: A lightweight, single-node GPU job scheduler implemented in Rust.
github.com
·
12h
·
Discuss:
Hacker News
🔄
Go Scheduler
Structure Beats
Prose
:
Specs
for Coding Agents That Actually Work
dev.to
·
5h
·
Discuss:
DEV
🎮
Language Ergonomics
Loading...
Loading more...
« Page 1
•
Page 3 »
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