Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Ownership Types
🔐 Ownership Types
Aliasing Control, Memory Safety, Borrowing, Capabilities
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
55
posts in
8.2
ms
The Code Is Perfect. The Token Still Rugs. Building NexusVeritas.
🔄
Protocol State Machines
Content type:
Blog
medium.com
·
1d
1 day ago
Actions for The Code Is Perfect. The Token Still Rugs. Building NexusVeritas.
Subversion-Resistance for Free from
Formal
Verification
🔄
Protocol State Machines
lesswrong.com
·
4d
4 days ago
Actions for Subversion-Resistance for Free from Formal Verification
AWS Nitro Isolation Engine:
Formally
verifying the hypervisor in the AWS Nitro
System
🔄
Protocol State Machines
Content type:
Blog
aws.amazon.com
·
2d
2 days ago
Actions for AWS Nitro Isolation Engine: Formally verifying the hypervisor in the AWS Nitro System
EC2’s
formally
verified
“isolation engine” provides mathematical assurance of virtual-machine isolation
📜
Proof Languages
Content type:
Blog
amazon.science
·
3d
3 days ago
·
Lobsters
Actions for EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation
coherentforge/CambiOS: Zero-trust,
capability-based
Rust microkernel targeting
formal
verification. Tri-arch (x86_64 / AArch64 / RISC-V). Sovereign and generative: no telemetry, user owns keys and data. Early-stage — see STATUS.md. Inspired by seL4, Hubris, and Redox.
⚙️
Assembly
Content type:
Code
github.com
·
2d
2 days ago
·
Hacker News
Actions for coherentforge/CambiOS: Zero-trust, capability-based Rust microkernel targeting formal verification. Tri-arch (x86_64 / AArch64 / RISC-V). Sovereign and generative: no telemetry, user owns keys and data. Early-stage — see STATUS.md. Inspired by seL4, Hubris, and Redox.
Types
for more than
memory
safety
in OxCaml – Stephen Dolan – VeTSS 2026 [video]
🚪
Escape Hatch
Content type:
Video
youtube.com
·
5d
5 days ago
·
Hacker News
Actions for Types for more than memory safety in OxCaml – Stephen Dolan – VeTSS 2026 [video]
SagaMind:
Formal
Verification
, Transactional Rollback, and Cognitive
Memory
for LLM Agents
🔄
Protocol State Machines
Content type:
Blog
kesablyanharut.medium.com
·
2d
2 days ago
Actions for SagaMind: Formal Verification, Transactional Rollback, and Cognitive Memory for LLM Agents
Introducing Soteria: A New Generation of
Static
Analysis
for Rust
🔬
Code Analysis
Content type:
Blog
soteria-tools.com
·
3d
3 days ago
·
Hacker News
Actions for Introducing Soteria: A New Generation of Static Analysis for Rust
Rust in the Vibe Coding Era
🚪
Escape Hatch
Content type:
Blog
dioko.ai
·
4d
4 days ago
·
Hacker News
Actions for Rust in the Vibe Coding Era
An Agent Holds the
Fort
: Three Days of Autonomous Compiler Work | Blog
🔄
Bootstrapping
Content type:
Blog
rue-lang.dev
·
3d
3 days ago
·
Hacker News
Actions for An Agent Holds the Fort: Three Days of Autonomous Compiler Work | Blog
Formal
Verification
in Spec-Driven Development — Enterprise Level
🔄
Protocol State Machines
Content type:
Blog
medium.com
·
3d
3 days ago
Actions for Formal Verification in Spec-Driven Development — Enterprise Level
A Lean
4-verified
Balansis lib to eliminate NaN and make zero-division
safe
🔄
Protocol State Machines
Content type:
Code
github.com
·
1d
1 day ago
·
Hacker News
Actions for A Lean 4-verified Balansis lib to eliminate NaN and make zero-division safe
Ask HN: What has been the fate of code review?
🎭
Program Synthesis
Content type:
Discussion
news.ycombinator.com
·
3d
3 days ago
·
Hacker News
Actions for Ask HN: What has been the fate of code review?
Rust, C++, and the Tradeoffs Behind
Safe
Low-Level Code: interview with Nikita Lisitsa
🚪
Escape Hatch
Content type:
Blog
Content type:
Discussion
serokell.io
·
6d
6 days ago
·
Hacker News
Actions for Rust, C++, and the Tradeoffs Behind Safe Low-Level Code: interview with Nikita Lisitsa
"No way to prevent this" say users of only language where this regularly happens
🏡
Personal Websites
xeiaso.net
·
5d
5 days ago
Actions for "No way to prevent this" say users of only language where this regularly happens
Correct workflow for stage3 and stage 4 building, testing and debugging
🧪
Zig Testing
ziggit.dev
·
3d
3 days ago
Actions for Correct workflow for stage3 and stage 4 building, testing and debugging
Programming Languages Software Award
🛠
programming language development
sigplan.org
·
4d
4 days ago
Actions for Programming Languages Software Award
AWS can now mathematically prove your VMs are isolated
💻
virtual machines
thenewstack.io
·
3d
3 days ago
Actions for AWS can now mathematically prove your VMs are isolated
2026-06-10, Wednesday
📜
Proof Languages
hakon.gylterud.net
·
3d
3 days ago
Actions for 2026-06-10, Wednesday
ARM MTE & Apple MIE: How Hardware
Memory
Tagging Reveals Invisible iOS Kernel Vulnerabilities
🏷️
Memory Tagging
Content type:
Blog
jamf.com
·
3d
3 days ago
Actions for ARM MTE & Apple MIE: How Hardware Memory Tagging Reveals Invisible iOS Kernel Vulnerabilities
Log in to enable infinite scrolling
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
Save / unsave
s
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