Systems Security

Feeds to Scour
SubscribedAll
Scoured 47 posts in 16.4 ms

When the bug is real but the path isn't: ITScape (CVE-2026-46316) and the case for minimal runtimes

 🐧Linux Kernel  Content type: Blog
nofire.ai··Hacker News

Types for more than memory safety in OxCaml – Stephen Dolan – VeTSS 2026 [video]

 🐧Linux Security  Content type: Video
youtube.com··Hacker News

Why Secure AI Needs Compile-Time Sandboxing

 🔗Software Supply Chain  Content type: Blog
jo-lang.org··Hacker News

Syd Domain Transitions

 🐧Linux Security
man.exherbo.org··Hacker News·Cited by 2 articles

Solidity's Memory Safety Model and the Special Case of the Zero Slot

 💻Programming
hackernoon.com·

Show HN: Nucleus – A security-hardened, Nix-native container runtime

 🐧Linux Security  Content type: Code
github.com··Hacker News·Cited by 1 article

An Agent Holds the Fort: Three Days of Autonomous Compiler Work | Blog

 💻Programming  Content type: Blog
rue-lang.dev··Hacker News

Linux Sees Patches For "Critical" Vulnerability Affecting Many Arm CPUs

 💻Programming
phoronix.com··Hacker News, r/linux·Cited by 1 article

A calculator that doesn’t round

 💻Programming
constructive-calculator.dimview.org··Hacker News

Bernstein-Schur Kernels: Random Features by Sketched Modulation and Radial Randomization

 🐧Linux Kernel  Content type: Academic
arxiv.org·

Claude Fable 5 Calls "Fill This Buffer Fast" a Cyber Attack

 💻Programming
hftuniversity.com··Substack, Hacker News

Rust, C++, and the Tradeoffs Behind Safe Low-Level Code: interview with Nikita Lisitsa

 💻Programming  Content type: Blog  Content type: Discussion
serokell.io··Hacker News

Angry bug hunter with Microsoft beef drops new Windows 0-day

 🐧Linux Security  Content type: News  4 articles covering this post
theregister.com··Hacker News·Cited by 4 articles

Propel: Breaking the Solver Bottleneck in Task-Generator RL

 🦀Rust Ecosystem
vmax.ai··Hacker News

OOBdump: Relocation Oriented Programming

 💻Programming  Content type: News  Content type: Blog
blog.calif.io··Lobsters, Hacker News·Cited by 1 article

Is Rullst the best Rust Full-Stack Framework nowadays? I think it is

 🦀Rust Ecosystem
rullst.github.io··Hacker News

EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation

 💻Programming  Content type: Blog
amazon.science··Lobsters

Locked in heated rivalry with researcher, Microsoft fixes 0-day they disclosed

 🐧Linux Security  Content type: News  6 articles covering this post
arstechnica.com··Hacker News·Cited by 6 articles

The vulnerability bottleneck has moved

 🔗Software Supply Chain  Content type: News  Content type: Blog
evahill1.substack.com··Substack

Introducing Soteria: A New Generation of Static Analysis for Rust

 🦀Rust Ecosystem  Content type: Blog
soteria-tools.com··Hacker News

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help