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
⚡ Dependent Rust
Verification, Type-level Programming, Safety Proofs, Linear Types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
17024
posts in
341.2
ms
Automatic
WS2812
Characterization
cpldcpu.com
·
2d
👁️
System Observability
The proof theory and
semantics
of second-order (
intuitionistic
) tense logic
arxiv.org
·
1d
👑
Isabelle/HOL
Towards
Understanding What State Space Models Learn About Code
arxiv.org
·
1d
·
Discuss:
Hacker News
✨
Algebraic Effects
Rebuilding
the
spellchecker
zverok.space
·
2d
🌲
Parse Trees
Why Every R Package
Wrapping
External Tools Needs a
Sitrep
() Function
drmowinckels.io
·
2d
·
Discuss:
Lobsters
,
Hacker News
🐚
Nordic Shell
Safe, Fast, and Scalable: Why
gRPC-Rust
Should Be Your Next
RPC
Framework
youtube.com
·
5d
·
Discuss:
r/rust
⚡
gRPC
Designing
MCP tool
schemas
that LLMs understand
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔗
Constraint Handling
Electrobun
v1: Build fast, tiny, and cross-platform desktop apps with
TypeScript
blackboard.sh
·
1d
·
Discuss:
Hacker News
🔌
Interface Evolution
Deobfuscation
and Analysis of
Ring-1.io
back.engineering
·
1d
·
Discuss:
Hacker News
🔒
Secure Boot
Taming the Regex Monster: Optimizing Massive
Literal
Alternations
modern-c.blogspot.com
·
4d
·
Discuss:
r/golang
🔍
RegEx Engines
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
·
2d
·
Discuss:
Hacker News
✨
Effect Handlers
[
RFC
PATCH v1 0/4] Machine Learning (
ML
) library in Linux kernel
lore.kernel.org
·
3d
·
Discuss:
Lobsters
,
Hacker News
🎵
Audio ML
Unravel
Engine: Cross-Platform C++20 Game Engine with
Wysiwyg
Editor
github.com
·
1d
·
Discuss:
Hacker News
🦀
Rust Macros
Monty
: A minimal, secure Python
interpreter
written in Rust for use by AI
dev.to
·
2d
·
Discuss:
DEV
🦀
Rust Macros
learning by
reverse
engineering
clymup.com
·
2d
🔓
Reverse engineering
ahead-of-time wasm
gc
in
wastrel
wingolog.org
·
3d
·
Discuss:
Lobsters
,
Hacker News
⚙️
WASM Runtime
How do you resolve
CVEs
in containers
efficiently
?
reddit.com
·
2d
·
Discuss:
r/kubernetes
📦
Container Security
B+-Tree
Structure
: How Order Is
Maintained
at Scale
dev.to
·
1d
·
Discuss:
DEV
🌳
B+ Tree Splits
Portable
C
Compiler
en.wikipedia.org
·
2d
·
Discuss:
Hacker News
🏗️
Compiler Archaeology
abdimoallim/alloc
: A header-only C allocator library
github.com
·
1d
·
Discuss:
Hacker News
,
r/C_Programming
🧠
Memory Allocators
Loading...
Loading more...
« Page 6
•
Page 8 »
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