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
✅ Formal Methods
FStar, libjade, Jasmin, hacl-star
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
2570
posts in
48.6
ms
Railway
Oriented
Programming
fsharpforfunandprofit.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
impl Rust: Avro
IDL
tool in Rust via
ANTLR
youtube.com
·
1d
·
Discuss:
Hacker News
,
r/rust
🦀
Rust
Extracting
Xcode
's Claude Code Prompt
jackpearce.co.uk
·
12h
·
Discuss:
Hacker News
🦀
Rust
Portable
C
Compiler
en.wikipedia.org
·
12h
·
Discuss:
Hacker News
🦀
Rust
Production pain points and coordination patterns from building a
dual-orchestrator
(Claude + Kimi) system on Claude Code. 8 failure modes with specs and
invariants
.
gist.github.com
·
12h
·
Discuss:
Hacker News
🦀
Rust
The Next Big Language (2007) by
Steve
Yegge
steve-yegge.blogspot.com
·
4h
·
Discuss:
Hacker News
🦀
Rust
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
2d
·
Discuss:
Lobsters
,
Hacker News
🔐
Zero-Knowledge Proofs
Building Interactive C/C++ workflows in Jupyter through
Clang-REPL
[video]
fosdem.org
·
20h
·
Discuss:
Hacker News
🦀
Rust
Show HN:
ZigZag
– A Bubble Tea-Inspired
TUI
Framework for Zig
github.com
·
1d
·
Discuss:
Hacker News
🦀
Rust
Hoot
: Scheme on
WebAssembly
spritely.institute
·
1d
·
Discuss:
Hacker News
🦀
Rust
Why Every R Package
Wrapping
External Tools Needs a
Sitrep
() Function
drmowinckels.io
·
14h
·
Discuss:
Lobsters
,
Hacker News
🐛
Vulnerability Research
Narrative-Driven Development:
BDD
+
TDD
+ Living Documentation in One Workflow
test2doc.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
Flow-Based Programming:
Seminal
Texts and
Theoretical
Foundations
repolex.ai
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
clojure.spec
-
Rationale
and Overview
clojure.org
·
6d
·
Discuss:
Hacker News
🦀
Rust
ahead-of-time wasm
gc
in
wastrel
wingolog.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
🦀
Rust
Code only says what it does
brooker.co.za
·
10h
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Compile
and Run Your First Program
emojicode.org
·
1d
·
Discuss:
Hacker News
🦀
Rust
10-Part Series on
Breadth-First
Traversals
in Haskell
doisinkidney.com
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Full-circle Test-driven
Firmware
Development with
OpenClaw
blog.adafruit.com
·
21h
·
Discuss:
Hacker News
🐛
Vulnerability Research
[
RFC
PATCH v1 0/4] Machine Learning (
ML
) library in Linux kernel
lore.kernel.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
🦀
Rust
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