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
83084
posts in
929.7
ms
Reducing
the Costs of Proof Synthesis on Rust Systems by Scaling Up a
Seed
Training Set
arxiv.org
·
1d
🦀
PyO3
Persistent
Human Feedback, LLMs, and Static
Analyzers
for Secure Code Generation and Vulnerability Detection
arxiv.org
·
1d
🔬
Static Analysis
Simplify
,
simplify
,
simplify
scottsumner.substack.com
·
3d
·
Discuss:
Substack
📊
Gradient Accumulation
Rust in Linux:
Fixing
the
Edges
, Not the Core
dev.to
·
1d
·
Discuss:
DEV
🦀
Rust
Beyond the
Chatbox
: Engineering Your Prompts with the
Trinity
Framework
dev.to
·
2h
·
Discuss:
DEV
🤖
AI Coding Tools
Quick
Start
faustdoc.grame.fr
·
4d
🛠
Ml-eng
A Modern Python Stack for Data Projects (uv +
ruff
+ ty +
Marimo
+ Polars)
mameli.dev
·
2d
·
Discuss:
r/programming
📦
uv
Why the Most
Productive
Dev Setup Can Be the Most
Fragile
hackernoon.com
·
2d
🏗️
Build Optimization
Java em Containers:
Estratégias
Modernas
para Build
github.com
·
1d
·
Discuss:
DEV
🏗️
Build Optimization
How
LSP
Works: Building a
Grammar
Checker
LSP
from Scratch in Rust
aroy.sh
·
4d
·
Discuss:
Hacker News
💡
LSP
Stratum
: Architecting a
Configurable
Cache Simulator with C++ and Racket
thecloudlet.github.io
·
5d
·
Discuss:
Hacker News
🧠
CPU Architecture
Designing
energy-efficient AI chips: Why power must be an early
consideration
edn.com
·
1d
🧠
CPU Architecture
A Guide to Prompt
Iteration
: Strategies and
Examples
mirascope.com
·
5d
🤖
AI Coding Tools
**Abstract:** This paper presents a novel framework for automated anomaly detection and predictive maintenance in
nanoscale
Micro-Electro-Mechanical
Systems ...
freederia.com
·
23h
⏱️
Benchmarking
When cost models hit the wall
clock
futhark-lang.org
·
3d
✂️
CUTLASS
Ask HN: Why dead code detection in Python is
harder
than most tools
admit
news.ycombinator.com
·
4d
·
Discuss:
Hacker News
🔍
Type Checkers
Episodic
memory in AI agents
poses
new safety risks
lesswrong.com
·
2d
⚡
Flash Attention
Stocking
Stuffers
yamlscript.org
·
2h
🔍
Type Checkers
Bjarne
’s Last
Stand
: How the Father of C++ Is Fighting a Losing War Against Rust
lucisqr.substack.com
·
4d
·
Discuss:
Substack
,
r/cpp
🔬
Static Analysis
Beta Release:
Predicated
Recursive
Descent
for Rust
wareya.wordpress.com
·
5d
·
Discuss:
Hacker News
🔍
Type Checkers
Loading...
Loading more...
« Page 14
•
Page 16 »
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