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
16933
posts in
381.8
ms
Relay
Lang –
Async
first programming language
harrisonerd.com
·
12h
·
Discuss:
Hacker News
🌐
Protocol Synthesis
10-Part Series on
Breadth-First
Traversals
in Haskell
doisinkidney.com
·
4d
·
Discuss:
Hacker News
🔗
Functional Compilers
Show HN: Deterministic
linguistic
enrichment
pipeline for Node.js
npmjs.com
·
33m
·
Discuss:
Hacker News
🌀
Brotli Internals
SecureShellClaw
: A Prompt-Injection-Resistant Alternative Approach to
OpenClaw
jona.ca
·
1d
·
Discuss:
Hacker News
🛡️
CLI Security
A
practical
systems engineering guide:
Architecting
AI-ready infrastructure for the agentic era
thenewstack.io
·
13h
⚙️
TLA+
Reducing
Technical
Debt: Top Five Coding Resources
loufranco.com
·
21h
📏
Code Metrics
codx-dev/msgpacker
: MessagePack serializer implementation for Rust / msgpack.org[Rust]
github.com
·
3d
·
Discuss:
Hacker News
🦀
Rust Borrowing
Rust in Linux:
Fixing
the
Edges
, Not the Core
dev.to
·
5d
·
Discuss:
DEV
🦀
Embedded Rust
How
StrongDM
’s AI team build
serious
software without even looking at the code
jmason.ie
·
1d
⚔️
Lean Tactics
Unlocking core memories with
GoldSrc
engine and
CS
1.6 (2025)
danielbrendel.com
·
1d
·
Discuss:
Hacker News
⚡
Homebrew CPUs
Same Engine, Multiple Gears: Parallelizing
Fixpoint
Iteration at Different
Granularities
(Extended Version)
arxiv.org
·
1d
⚡
Parallel Computing
LLMs
Refuse
High-Cost Attacks but Stay
Vulnerable
to Cheap, Real-World Harm
expectedharm.github.io
·
6h
·
Discuss:
Hacker News
🛡️
WASM Sandboxing
Linear
Realisability
and
Implicative
Algebras
arxiv.org
·
1d
📏
Linear Logic
Linker
Script Generation for
Firmware
Projects: A Primer
dnedic.github.io
·
16h
·
Discuss:
Hacker News
,
r/embedded
🔗
Static Linking
How I Built My Project in
Haskell
dev.to
·
2d
·
Discuss:
DEV
🔗
Functional Compilers
Inside
Mesa
26.0's
RADV
RT improvements
pixelcluster.github.io
·
13h
·
Discuss:
Hacker News
,
r/linux_gaming
🖥️
Terminal Renaissance
Show HN:
Klint
– Linux Kernel Security
Scanner
saturnine.cc
·
1d
·
Discuss:
Hacker News
🔍
eBPF
To
Consume
or
Reference
in Rust
meejah.ca
·
4d
🦀
Rust Borrowing
Graph
algebra
en.wikipedia.org
·
8h
🔄
Graph Rewriting
An
attempt
at a
First-Proof
AI challenge
abhvio.us
·
2d
·
Discuss:
Hacker News
🎯
Performance Proofs
Loading...
Loading more...
« Page 2
•
Page 4 »
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