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
🎯 Instruction Selection
Pattern Matching, Code Generation, DAG Rewriting, Peephole
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
123668
posts in
1.55
s
How We Built the Fastest
Kimi
K2.5
on Artificial Analysis
baseten.co
·
8h
·
Discuss:
Hacker News
🌪️
V8 TurboFan
Building Tools: What, When, and How
bishopfox.com
·
1d
🔗
Language Toolchains
Proving
What's Possible
buttondown.com
·
5h
📜
Proof Languages
Making an
archer
automaton
blog.adafruit.com
·
1d
📝
Rope Editors
Samsung: "Expanding CPU Capabilities for On-device AI with Arm
SME2
[as implemented in the
Exynos
2600]"
semiconductor.samsung.com
·
21h
·
Discuss:
r/hardware
🔧
RISC-V
Inside
Mesa
26.0's
RADV
RT improvements
pixelcluster.github.io
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/linux_gaming
⚡
Interpreter Optimization
Recent OP_RETURN
output
statistics
delvingbitcoin.org
·
2h
🗑️
Stack Scanning GC
Linker
Script Generation for
Firmware
Projects: A Primer
dnedic.github.io
·
2d
·
Discuss:
Hacker News
,
r/embedded
🔗
Language Toolchains
Antirez
Strikes Again: The Creator of
Redis
Builds a Bare-Metal Vision AI in Pure C — And It Actually Works
webpronews.com
·
1d
🔄
Bootstrapping
The
benefit
of
AI-assisted
coding isn't just about coding faster
johnlindblad.substack.com
·
4h
·
Discuss:
Substack
🎭
Program Synthesis
Rust
Standard
Library Challenges
rustfinity.com
·
10h
·
Discuss:
r/rust
🪆
Embedded DSLs
Go -
Unit
&
Integration
Testing
linkedin.com
·
3h
·
Discuss:
r/programming
🧪
Zig Testing
A terminal-first
IDE
I built for
AI-assisted
development
patapim.ai
·
1d
·
Discuss:
r/SideProject
,
r/commandline
,
r/node
🎯
99-Line Tools
Performance
Tip
of the Week #9:
Optimizations
past their prime
abseil.io
·
4d
🚀
Code Motion
AlgoVeri
: An
Aligned
Benchmark for Verified Code Generation on Classical Algorithms
arxiv.org
·
19h
⚡
Tokenizer Optimization
The Best AI Models for Coding:
Accuracy
, Integration, and Developer
Fit
blog.jetbrains.com
·
14h
🎭
Program Synthesis
Formal
Methods
Practice and Theory
adacore.com
·
1d
·
Discuss:
Hacker News
🎯
Symbolic Execution
PC Optimization Tools
trendhunter.com
·
1d
📈
Performance Tools
Hitting
1,000
tokens
per second on a single RTX 5090
blog.alpindale.net
·
3d
·
Discuss:
Hacker News
,
Hacker News
🎯
Ring Buffers
OLIX
: Compute
Manifesto
olix.com
·
9h
·
Discuss:
Hacker News
📡
Erlang BEAM
Loading...
Loading more...
« Page 5
•
Page 7 »
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