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
🚀 Compiler Optimization
Loop Optimization, Inlining, Dead Code Elimination
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80294
posts in
1.06
s
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem
Proving
on
seL4
arxiv.org
·
10h
🔄
ONNX
Bridging the Knowledge
Void
: Inference-time Acquisition of
Unfamiliar
Programming Languages for Coding Tasks
arxiv.org
·
10h
🤖
AI Coding Tools
The Core
Folder
Anti-Pattern
improveandrepeat.com
·
1d
🐕
Ruff
LocalGPT
: A local AI assistant with
persistent
memory in a single binary
localgpt.app
·
19h
·
Discuss:
Hacker News
⚡
ONNX Runtime
Cross
compiling
made easy, using
Clang
and LLVM
mcilloni.ovh
·
2d
🏗️
Build Systems
Show HN: I made a Claude Code guide that's a
Win95
desktop
with games
gabezen.com
·
14h
·
Discuss:
Hacker News
🤖
AI Coding Tools
Main
Content ||
Math
∩ Programming
jeremykun.com
·
1d
📉
Model Quantization
Building a battle tested C
compiler
in a new language using
Codex
moonbitlang.com
·
4d
·
Discuss:
Hacker News
💡
LSP
On the Tension Between
Object-Oriented
and
Generic
Programming in C++
artima.com
·
2d
🔍
Type Checkers
AI Coding Is a Framework—Use It Like a Library
piglei.com
·
8h
·
Discuss:
Hacker News
,
r/programming
🤖
AI Coding Tools
Domain
Specific
Languages
martinfowler.com
·
53m
💡
LSP
What's up with
Haskell
's do
notation
?
slightknack.dev
·
22h
🔍
Type Checkers
Software Engineering with AI: Beyond
Vibe-Coding
principalengineer.com
·
2d
🤖
AI Coding Tools
Automatic
Programming
Returns
cyber-omelette.com
·
3d
·
Discuss:
Hacker News
,
Hacker News
,
r/programming
🤖
AI Coding Tools
A dev coding
setup
in 2026
dev.to
·
14h
·
Discuss:
DEV
🤖
AI Coding Tools
Performance Tip of the Week #53: Precise C++ benchmark
measurements
with Hardware Performance
Counters
abseil.io
·
2d
📊
Profiling Tools
Claude Code Power Tips
kdnuggets.com
·
22h
🤖
AI Coding Tools
Memory-Safe
Jule
language
emerges
as C/C++ alternative
thenewstack.io
·
2d
·
Discuss:
Hacker News
🔬
Static Analysis
gpasques-gh/ALSA
_raygui_Synthesizer: Small project for a C synthesizer written with
alsasoundlib
github.com
·
7h
·
Discuss:
r/C_Programming
✂️
CUTLASS
Read The Code (
Sometimes
)
build.ms
·
1d
🤖
AI Coding Tools
Loading...
Loading more...
« Page 8
•
Page 10 »
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