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
2596
posts in
51.4
ms
codx-dev/msgpacker
: MessagePack serializer implementation for Rust / msgpack.org[Rust]
github.com
·
3d
·
Discuss:
Hacker News
🦀
Rust
LlamaLib
: A cross-platform C++/C# library for local LLMs based on
llama.cpp
github.com
·
3d
·
Discuss:
Hacker News
🦀
Rust
Testing
CLIs
with
Scrut
cgamesplay.com
·
4d
·
Discuss:
Hacker News
🐛
Vulnerability Research
On the Promises of '
High-Assurance
'
Cryptography
symbolic.software
·
5d
·
Discuss:
Lobsters
,
Hacker News
🔒
Cryptography
ARY
: Always
Repeat
Yourself
dolphinmade.com
·
5d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
The Missing
Layer
yagmin.com
·
4d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Building a C
compiler
with a team of parallel
Claudes
anthropic.com
·
5d
·
Discuss:
Lobsters
,
Hacker News
,
r/ClaudeAI
,
r/Compilers
,
r/embedded
,
r/rust
🦀
Rust
java
sucks
(2000)
jwz.org
·
6d
·
Discuss:
Lobsters
🦀
Rust
How not to program in
Dyalog
APL
toolofthought.com
·
5d
·
Discuss:
Lobsters
,
Hacker News
🐛
Vulnerability Research
The
Null
Pointer
Crisis: Running God-Mode Software on Legacy Hardware
news.ycombinator.com
·
4d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Implementing
the Temporal proposal in
JavaScriptCore
blogs.igalia.com
·
6d
·
Discuss:
Lobsters
🦀
Rust
Taming the Flat AST:
Ergonomics
in the Age of Zero
Allocations
modern-c.blogspot.com
·
6d
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
🦀
Rust
The LLM
spectrum
and
responsible
LLM use
martin.janiczek.cz
·
5d
·
Discuss:
Lobsters
,
Hacker News
🐛
Vulnerability Research
Show HN:
OpenSymbolicAI
– Agents with typed variables, not just context
stuffing
news.ycombinator.com
·
6d
·
Discuss:
Hacker News
🦀
Rust
Claude Code for Infrastructure
fluid.sh
·
5d
·
Discuss:
Hacker News
🦀
Rust
Clean
Coder
: The Dark Path (2017)
blog.cleancoder.com
·
5d
·
Discuss:
Hacker News
🦀
Rust
RFC 3284: The
VCDIFF
Generic
Differencing
and Compression Data Format
datatracker.ietf.org
·
6d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Recent
Advances
in LLMs for
Mathematics
youtube.com
·
6d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
How to Build Safe
Natural
Language-Driven
APIs
techcommunity.microsoft.com
·
6d
·
Discuss:
Hacker News
🐛
Vulnerability Research
As
Rocks
May Think
evjang.com
·
6d
·
Discuss:
Hacker News
,
r/programming
📡
Side-Channel Attacks
Loading...
Loading more...
« Page 4
•
Page 6 »
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