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
⏱️ Cycle Accuracy
Emulation Precision, Timing, Hardware Simulation, PPU
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
3902
posts in
42.1
ms
How to Prove the
Correctness
of AI-Generated Code Using
Formal
Methods
adacore.com
·
2d
·
Discuss:
Hacker News
🔍
Ghidra
Namespace
: So You Want to Build Your Own
Datacenter
namespace.so
·
2d
·
Discuss:
Hacker News
☁️
Virtualization
six
thoughts
on
generating
c
wingolog.org
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🦀
Rust
Roll with Advantage:
Hacking
Lenovo
Vantage
mkiesel.ch
·
3d
·
Discuss:
Hacker News
🔐
Hardware Security
I Built a $
9/mo
Uptime
Monitor in a Day
owlpulse.org
·
3d
·
Discuss:
DEV
,
Hacker News
🐝
eBPF
Sound and Practical Points-To Analysis for
Incomplete
C
Programs
[pdf]
sjalander.com
·
3d
·
Discuss:
Hacker News
🐛
Fuzzing
ASCII
Fire
4rknova.com
·
3d
·
Discuss:
Hacker News
🐛
Fuzzing
John
Carmack
muses
using a long fiber line as as an L2 cache for streaming AI data — programmer imagines fiber as alternative to DRAM
tomshardware.com
·
3d
·
Discuss:
Hacker News
💻
CPU Architecture
KVM:
x86/PVM
: Introduce a new
hypervisor
(2024)
lwn.net
·
4d
·
Discuss:
Hacker News
💻
KVM
LLMs
Refuse
High-Cost Attacks but Stay
Vulnerable
to Cheap, Real-World Harm
expectedharm.github.io
·
2d
·
Discuss:
Hacker News
👻
Rootkits
The AI Economic
Paradox
: Why
Cheaper
Inference Is Making AI More Expensive
edgee.ai
·
2d
·
Discuss:
Hacker News
🤖
ai
The Evolution of a
Lean
Programmer
unnamed.website
·
4d
·
Discuss:
Hacker News
🦀
Rust
AI is a High Pass
Filter
for Software
Delivery
bryanfinster.substack.com
·
3d
·
Discuss:
Substack
🐝
eBPF
Heterogeneous
Processing: A Strategy for
Augmenting
Moore's Law (2006)
linuxjournal.com
·
4d
·
Discuss:
Hacker News
💻
CPU Architecture
Ask HN: What makes early-stage AI
accelerators
useful
(and what doesn't)?
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🤖
ai
New
microkernel
OS in 10 days: From zero to Google
Compute
Engine
seiya.me
·
3d
·
Discuss:
Hacker News
📦
QEMU
Show HN:
C-CMCP
–
Validated
AI development workflow with quality gates
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
📦
Sandboxing
AI
Follows
the 80/20
Rule
buchanan.one
·
3d
·
Discuss:
Hacker News
🤖
ai
Why Your AI Agent
Dashboard
Is
Lying
to You
vindler.solutions
·
2d
·
Discuss:
Hacker News
🤖
ai
Gemini writes, Claude
polishes
, JetBrains
rests
: an agent development pipeline
ginkida.dev
·
2d
·
Discuss:
Hacker News
🦀
Rust
Sign up or log in to see more results
Sign Up
Login
« Page 2
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