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
🚀 Superoptimization
Stoke, SMT Solvers, Instruction Synthesis
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
74203
posts in
247.1
ms
LogicSkills
: A Structured Benchmark for
Formal
Reasoning in Large Language Models
arxiv.org
·
7h
📊
Datalog
Building LLMs in
Resource-Constrained
Environments
: A Hands-On Perspective
infoq.com
·
41m
💬
Prompt Engineering
Efficiency
and Performance
dev.to
·
1d
·
Discuss:
DEV
⚙️
Systems Programming
Show HN:
Klint
– Linux Kernel Security
Scanner
saturnine.cc
·
6h
·
Discuss:
Hacker News
🔍
eBPF
HQP
: Sensitivity-Aware Hybrid Quantization and
Pruning
for Ultra-Low-Latency Edge AI Inference
arxiv.org
·
7h
📱
Edge AI
llama.cpp
guide - Running LLMs
locally
, on any hardware, from scratch
blog.steelph0enix.dev
·
8h
🏗️
MLIR
Leveraging io_
uring
for
performant
asynchronous linux applications.
dev.to
·
12h
·
Discuss:
DEV
🔄
io_uring
How to Stay
Valuable
When AI
Writes
All The Code
pathtostaff.com
·
1d
·
Discuss:
r/programming
🛡️
AI Security
Chasing a Zig
AVR
Segfault
Down to LLVM
sourcery.zone
·
1d
·
Discuss:
r/Zig
⚙️
Zig
What should I program?
jamesmcm.github.io
·
1d
🦀
Rust
From Prediction to
Compilation
: A Manifesto for
Intrinsically
Reliable AI
news.ycombinator.com
·
23h
·
Discuss:
Hacker News
🎭
Program Synthesis
Full-circle Test-driven
Firmware
Development with
OpenClaw
blog.adafruit.com
·
1d
·
Discuss:
Hacker News
🧪
Jepsen Testing
Building a Production-Ready Claude Streaming API with
Next.js
Edge
Runtime
bydaewon.gumroad.com
·
8h
·
Discuss:
DEV
📝
Poem
Designing
energy-efficient AI chips: Why power must be an early
consideration
edn.com
·
4d
🔁
Cache Coherence
Taming the Regex Monster: Optimizing Massive
Literal
Alternations
modern-c.blogspot.com
·
3d
·
Discuss:
r/golang
🔤
Suffix Automata
Planning Work for Our
Single-Threaded
Brains
linkedin.com
·
21h
🧠
Cognitive Science
The Next Big Language (2007) by
Steve
Yegge
steve-yegge.blogspot.com
·
1d
·
Discuss:
Hacker News
🔨
Compiler Design
Is Your Machine Learning
Pipeline
as Efficient as it Could Be?
kdnuggets.com
·
2d
📱
Edge AI
ericblue/claude-vibekanban
: PRD-to-Tasks Workflow for Claude Code +
VibeKanban
github.com
·
12h
·
Discuss:
Hacker News
📞
Tauri IPC
Reverse Engineering the
Prom
for the
SGI
O2
mattst88.com
·
13h
·
Discuss:
Lobsters
,
Hacker News
💾
PMem Programming
Loading...
Loading more...
« Page 3
•
Page 5 »
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