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
π¬ Peephole Optimization
LLVM Passes, Pattern Matching, Code Generation
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
112762
posts in
2.80
s
I thought I needed a second monitor until I found this
infinite
workspace
tool
makeuseof.com
Β·
23h
πΌοΈ
Frame Allocation
Light may
outshine
quantum for some of computing's
toughest
optimization problems
techspot.com
Β·
1d
Β·
Discuss:
r/technews
βοΈ
Quantum Computing
Just-in-Time
Ontological
Reframing
: Teaching Gemini to Route Around Its Own Safety Infrastructure
recursion.wtf
Β·
1d
πΊ
Delta Lake
SAE
Feature
Matchmaking
(Layer-to-Layer)
lesswrong.com
Β·
1d
π³
Instruction Selection
Learning Optimization Tools
trendhunter.com
Β·
1d
π
Optimization
Show HN:
Air-gapped
device to stop
deepfake
wire fraud
news.ycombinator.com
Β·
23h
Β·
Discuss:
Hacker News
π
Hardware Security
Turning a vintage Nokia display into a
programmable
camera
iris
blog.adafruit.com
Β·
1d
π’
AVX-512
On Meta-Level Adversarial
Evaluations
of (White-Box) Alignment
Auditing
lesswrong.com
Β·
1d
π‘οΈ
AI Security
Lean
4 and the CurryβHoward
correspondence
wildonblog.wordpress.com
Β·
2d
β
Category Theory
A high-performance Go framework (
250k
+
req/sec
) with built-in batteries
go-kvolt.github.io
Β·
1d
π΅
Go
Information Flow Verification Framework
Integrating
Static and
Formal
Verification Methods At The Pre-Silicon Stage (U. of Florida)
semiengineering.com
Β·
1d
β
Formal Verification
Kernel-Level
Stealthy
Observation of
TTY
Streams
blog.cybervelia.com
Β·
1d
Β·
Discuss:
Hacker News
π
io_uring
How do
robots
dream
?
dev.to
Β·
22h
Β·
Discuss:
DEV
π±
Edge AI
Visual
microphone
based on
computational
imaging
opg.optica.org
Β·
22h
π‘
Signal Processing
DFlash
: Block Diffusion for Flash
Speculative
Decoding
z-lab.ai
Β·
1d
Β·
Discuss:
Hacker News
π€
TVM
January 2026 Monthly report | Alternative Rust
Compiler
for
GCC
rust-gcc.github.io
Β·
1d
Β·
Discuss:
r/rust
π¦
Rust Macros
Mitigating the
Likelihood
Paradox in Flow-based
OOD
Detection via Entropy Manipulation
arxiv.org
Β·
14h
π
HyperLogLog
andywingo/wastrel
: WebAssembly-to-C compiler
codeberg.org
Β·
1d
πΈοΈ
WebAssembly
Creating a PHP, Go, and Python
Quine
Relay
dev.to
Β·
5h
Β·
Discuss:
DEV
π±
Nom
Property-based
testing is about to
rule
the (software) world
tybug.dev
Β·
1h
Β·
Discuss:
Hacker News
β
Property Testing
Loading...
Loading more...
« Page 4
β’
Page 6 »
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