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
🔍 Symbolic Execution
KLEE, Constraint Solving, Path Exploration, Bug Finding
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
196
posts in
8.8
ms
Show HN: Open-Source
SDK
for AI
Knowledge
Work
github.com
·
3d
·
Discuss:
Hacker News
⚡
JIT Compilation
Programming
Aphorisms
matklad.github.io
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🦀
Rust Compilers
fltk-rs/flemish
: An
elmish
architecture for
fltk-rs
github.com
·
18h
·
Discuss:
Lobsters
,
Hacker News
🦀
Rust Compilers
JUXT
Blog: From
specification
to stress test: a weekend with Claude
juxt.pro
·
3d
·
Discuss:
Hacker News
🦀
Rust Compilers
Lines of
Markdown
, a Claude Code
Sensation
tildeweb.nl
·
1d
·
Discuss:
Hacker News
🦀
Rust Compilers
Solene
'% :
Declaratively
manage containers on Linux
dataswamp.org
·
4d
·
Discuss:
Hacker News
🌐
WebAssembly
Thanks for All the
Frames
: Rust GUI
Observations
tritium.legal
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
,
r/rust
🦀
Rust Compilers
Show HN: Skill that lets Claude
Code/Codex
spin up
VMs
and GPUs
cloudrouter.dev
·
10h
·
Discuss:
Hacker News
🖥️
Hypervisors
Grumpy
Julio
plays with CLI coding agents
blogsystem5.substack.com
·
4d
·
Discuss:
Substack
🦀
Rust Compilers
Unleash
your ideas with
ASCII
monosketch.io
·
17h
·
Discuss:
Hacker News
🐛
Fuzzing
Dada
: moves and
mutation
smallcultfollowing.com
·
4d
🦀
Rust Compilers
D
Programming
Language
dlang.org
·
2d
·
Discuss:
Hacker News
🦀
Rust Compilers
Humanity
's last
programming
language
xeiaso.net
·
4d
·
Discuss:
Lobsters
,
Hacker News
🦀
Rust Compilers
“My
Optimistic
Vision for 2050”
scottaaronson.blog
·
1d
·
Discuss:
Hacker News
🎯
Reinforcement Learning
Homeland
Security
Demands
Social Media Sites Reveal Names Behind Anti-ICE Posts
nytimes.com
·
7h
·
Discuss:
Hacker News
,
r/privacy
🛡️
Differential Privacy
Lessons
from
Zig
vinniefalco.com
·
2d
·
Discuss:
Hacker News
🦀
Rust Compilers
What's the
difference
between a "
disc
" and a "disk"?
support.apple.com
·
1d
·
Discuss:
Hacker News
⚙
operating systems
Fun
With
Dada
smallcultfollowing.com
·
5d
·
Discuss:
Lobsters
,
Hacker News
🦀
Rust Compilers
A party
balloon
shut down El Paso International Airport; estimated cost –$
573k
log.jasongodfrey.info
·
1d
·
Discuss:
Hacker News
🕸️
eBPF
Resizing
windows on macOS
Tahoe
noheger.at
·
1d
·
Discuss:
Lobsters
,
Hacker News
⚙
operating systems
Loading...
Loading more...
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