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
📊 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
185037
posts in
11.3
ms
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
11h
📈
Monotonic Logic
TENSURE
: Fuzzing Sparse Tensor
Compilers
(Registered Report)
ndss-symposium.org
·
2d
·
Discuss:
Hacker News
🧪
Testing Compilers
Grammar-Constrained (
CFL
) Reachability:
Subcubic
Preprocessing, Indexing Trade-offs, and Structured Decoding Semantics
arxiv.org
·
23h
🔗
Lexical Scoping
How do you handle domain-specific transformation
logic
without
hardcoding
it?
news.ycombinator.com
·
16h
·
Discuss:
Hacker News
🎨
Domain-Specific Languages
freest-lang/freest
: A programming language for safe
concurrency
powered by context-free session types.
github.com
·
1d
📚
Forth Compilers
CIll
:
CTI-Guided
Invariant Generation via LLMs for Model Checking
arxiv.org
·
23h
🔍
Type Inference
Custom Data
Structures
in
E-Graphs
uwplse.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🔢
Algebraic Datatypes
WarpSpeed
automatically rewrites Nvidia core library, achieves 3.6-100x
speedup
doubleai.com
·
11h
·
Discuss:
Hacker News
🌪️
V8 TurboFan
Agentic Design
Patterns
: The 2026 Guide to Building
Autonomous
Systems
sitepoint.com
·
8h
🎭
Program Synthesis
Beyond
Pandas
:
Architecting
High-Performance Python Pipelines
hackernoon.com
·
8h
📋
JSON Parsing
Structured
Outputs
for LLMs
ternarysearch.blogspot.com
·
21h
·
Discuss:
Hacker News
,
ternarysearch.blogspot.com
🪜
Recursive Descent
A Review of
Uncle
Bob's Functional Design:
Principles
, Patterns, and Practices
coding-mischief.com
·
6h
·
Discuss:
Hacker News
🤐
Zipper Structures
I
Fuzzed
, and Vibe Fixed, the
Vibed
C Compiler
john.regehr.org
·
9h
·
Discuss:
Lobsters
,
Hacker News
🩺
Compiler Diagnostics
`
derive
_
parser
` – Automatically
derive
a
parser
from your syntax tree
github.com
·
18h
·
Discuss:
r/rust
🦀
Rust Macros
goffi
:
Zero-CGO
Foreign Function Interface for Go — How We Call C Libraries Without a C Compiler
dev.to
·
19h
·
Discuss:
DEV
🐹
Go Internals
FGRPO
: Fine-grained reasoning preference optimization with iterative
stabilization
for mathematical reasoning in large language model
sciencedirect.com
·
1d
🎯
Constraint Solving
Fast
Autoscheduling
for Sparse ML
Frameworks
fredrikbk.com
·
2d
·
Discuss:
Hacker News
🚀
MLton
Fenwick
layout for
interval
trees
purplesyringa.moe
·
23h
·
Discuss:
r/coding
🤐
Zipper Structures
Lean
and AI caught a bug in my 2-year-old
TLA
+ spec
medium.com
·
19h
·
Discuss:
Hacker News
🎯
Symbolic Execution
Completing
the formal proof of higher-dimensional sphere
packing
math.inc
·
9h
·
Discuss:
Hacker News
🧮
Combinator Calculus
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