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
📊 Profile-Guided Optimization
Compiler Design, Performance Engineering, Code Generation, LLVM
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
112753
posts in
3.29
s
Frequency-domain approach to automated and efficient
multivariate
kernel density estimation for
probabilistic
modeling
sciencedirect.com
·
21h
🧠
Machine Learning
On Windows Patch day, Google
helped
Intel improve a major security feature on its
CPUs
neowin.net
·
19h
🛡️
Intel SGX
LLM Inference
Benchmarking
-
Measure
What Matters
digitalocean.com
·
4d
🚀
Performance
5 Strategic
Decisions
for Building a Scalable
Compute
Platform for Now and the Future
semiengineering.com
·
5h
🏗️
System Design
Fragments
: February 9
martinfowler.com
·
1d
💬
Prompt Engineering
Information Flow Verification Framework
Integrating
Static and
Formal
Verification Methods At The Pre-Silicon Stage (U. of Florida)
semiengineering.com
·
19h
✓
Formal Verification
We Build Software for
Humans
— Not for
Machines
. And That’s a Problem.
medium.com
·
2d
·
Discuss:
r/programming
🏗️
Cranelift
Anthropic’s Improved
Workflow
: When Your
Hacks
Ship as Features
pub.towardsai.net
·
14h
📞
Tauri IPC
Automating Inference Optimizations with NVIDIA
TensorRT
LLM
AutoDeploy
developer.nvidia.com
·
1d
🤖
TVM
TAI #191:
Opus
4.6 and
Codex
5.3 Ship Minutes Apart as the Long-Horizon Agent Race Goes Vertical
pub.towardsai.net
·
22h
💬
Prompt Engineering
Lean
4 and the Curry–Howard
correspondence
wildonblog.wordpress.com
·
1d
∘
Category Theory
ArkEval
: Benchmarking and Evaluating Automated
CodeRepair
for ArkTS
arxiv.org
·
1d
🏗️
Cranelift
Why System on
Modules
Are
Transforming
Modern Embedded Systems Design
dev.to
·
2d
·
Discuss:
DEV
🔌
Embedded Systems
CodeCircuit
: Toward
Inferring
LLM-Generated Code Correctness via Attribution Graphs
arxiv.org
·
1d
🔨
LLVM
How to Prove the
Correctness
of AI-Generated Code Using
Formal
Methods
adacore.com
·
23h
·
Discuss:
Hacker News
🎭
Program Synthesis
Trinity Protocol Part 2: When Adding
Chai-1
and
Boltz-2
Exposed Hidden Model Disagreement
dev.to
·
1d
·
Discuss:
DEV
⚓
Anchors
The
Datacenter
as a Computer: An Introduction to the Design of
Warehouse-Scale
Machines, Second Edition
research.google
·
20h
·
Discuss:
Hacker News
🏗️
System Design
Show HN: Local and Cloud LLM
Comparison
Using Nvidia
DGX
Spark
devashish.me
·
1d
·
Discuss:
Hacker News
🦙
Ollama
I Built a 6
BIPS
JIT
in Five Months
unlikelyemphasis.substack.com
·
5d
·
Discuss:
Substack
⚙️
JIT Compilation
Thoughts
on
Generating
C
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
👻
Phantom Types
Loading...
Loading more...
« Page 9
•
Page 11 »
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