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
Memory Safety
🛡️ Memory Safety
Unsafe Code, Buffer Overflows, Type Systems, Security
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
123
posts in
8.1
ms
EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation
✓
Formal Verification
Content type:
Blog
amazon.science
·
2d
2 days ago
·
Lobsters
Actions for EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation
"No way to prevent this" say users of only language where this regularly happens
⚙️
Systems Programming
xeiaso.net
·
4d
4 days ago
Actions for "No way to prevent this" say users of only language where this regularly happens
Programming Languages Software Award
🔤
Type Theory
sigplan.org
·
2d
2 days ago
Actions for Programming Languages Software Award
Linux kernel bug caused by single character allows root privilege escalation
🐛
Fuzzing
4sysops.com
·
3d
3 days ago
Actions for Linux kernel bug caused by single character allows root privilege escalation
Is Rullst the best
Rust
Full-Stack Framework nowadays? I think it is
⚙
Rust
rullst.github.io
·
1d
1 day ago
·
Hacker News
Actions for Is Rullst the best Rust Full-Stack Framework nowadays? I think it is
Microsoft and Adobe Patch Tuesday, June 2026
Security
Update Review
💻
Operating Systems
Content type:
Blog
blog.qualys.com
·
3d
3 days ago
·
Cited by 1 article
Actions for Microsoft and Adobe Patch Tuesday, June 2026 Security Update Review
Microsoft Patch Tuesday for June 2026 — Snort rules and prominent vulnerabilities
🌐
Network Protocols
Content type:
Blog
4
articles covering this post
blog.talosintelligence.com
·
3d
3 days ago
·
Cited by 4 articles
Actions for Microsoft Patch Tuesday for June 2026 — Snort rules and prominent vulnerabilities
AWS Nitro Isolation Engine: Formally verifying the hypervisor in the AWS Nitro
System
✓
Formal Verification
Content type:
Blog
aws.amazon.com
·
1d
1 day ago
Actions for AWS Nitro Isolation Engine: Formally verifying the hypervisor in the AWS Nitro System
Erlang
security
advisory (AV26-581)
🐛
Fuzzing
malware.news
·
2d
2 days ago
Actions for Erlang security advisory (AV26-581)
Linux 7.1-rc7: give rc7 a whirl and keep testing
📁
File Systems
lwn.net
·
5d
5 days ago
·
Hacker News
Actions for Linux 7.1-rc7: give rc7 a whirl and keep testing
Deep C Dives:
Pointers
🗂️
Data Structures
i-programmer.info
·
2d
2 days ago
Actions for Deep C Dives: Pointers
The SEI CERT
Coding
Standard for Fortran | CMU Software Engineering Institute
🧠
Memory Management
Content type:
Academic
Content type:
Blog
sei.cmu.edu
·
4d
4 days ago
·
Cited by 1 article
Actions for The SEI CERT Coding Standard for Fortran | CMU Software Engineering Institute
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.
💻
Operating Systems
Content type:
Code
github.com
·
1d
1 day 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.
Exim Mail Server Hit by “Dead.Letter” TLS Flaw, Admins Told to Upgrade
🎯
Escape Analysis
Content type:
Blog
linuxtoday.com
·
3d
3 days ago
Actions for Exim Mail Server Hit by “Dead.Letter” TLS Flaw, Admins Told to Upgrade
FreeBSD
Errata Notice
FreeBSD-EN-26
:15.openssl
🌍
Networking
discoverbsd.com
·
2d
2 days ago
Actions for FreeBSD Errata Notice FreeBSD-EN-26:15.openssl
Google fixes the fifth actively exploited Chrome zero-day of 2026
🕸️
WASM
securityaffairs.com
·
3d
3 days ago
Actions for Google fixes the fifth actively exploited Chrome zero-day of 2026
A single errant character in the Linux kernel allows attacker to gain root
🌍
Networking
Content type:
News
6
articles covering this post
arstechnica.com
·
3d
3 days ago
·
Hacker News
·
Cited by 6 articles
Actions for A single errant character in the Linux kernel allows attacker to gain root
Static
Code
Analysis and the Rules of Zero, Three, and Five
🔬
Static Analysis
Content type:
Blog
blog.jetbrains.com
·
3d
3 days ago
Actions for Static Code Analysis and the Rules of Zero, Three, and Five
The C++ Documentary Won't Show You a Number. I Will.
©
C
hftuniversity.com
·
6d
6 days ago
·
Hacker News
Actions for The C++ Documentary Won't Show You a Number. I Will.
[Control
systems
] Siemens
security
advisory (AV26-566)
🔌
ESP32
malware.news
·
3d
3 days ago
Actions for [Control systems] Siemens security advisory (AV26-566)
« Page 1
·
Page 3 »
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