Systems Programming

Feeds to Scour
SubscribedAll
Scoured 113 posts in 7.9 ms

HAVE: Host Active Verification Engine for Closing the Contextual Reality Gap in Security Digital Twins

 🛡️Memory Safety  Content type: Academic
arxiv.org·

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

 ✓Formal Verification  Content type: Blog
amazon.science··Lobsters

A low-carbon computing platform from your retired phones

 ☸️Kubernetes  Content type: Blog
research.google·

How do I get SEO Email Spam to stop?

 🌍Networking
kgugeler.ca··Lobsters·Cited by 1 article

Ubuntu 26.04 is the first LTS that feels like it chose the future instead of hedging its bets

 ⏳Software Longevity
xda-developers.com·

Deep C Dives: Pointers

 🛡️Memory Safety
i-programmer.info·

C3 0.8.1 released: Raiding the stdlib for bugs

 💻Command Line Tools  Content type: Blog
c3-lang.org··Hacker News, r/programming

AWS Nitro Isolation Engine: Formally verifying the hypervisor in the AWS Nitro System

 ✓Formal Verification  Content type: Blog
aws.amazon.com·

Building a MIPS emulator with Zig to replace MARS and QtSpim

 🖥️Emulation
ziggit.dev·

MX Linux 25.2 provides possible refuge from AI as well as systemd

 💻Operating Systems  Content type: News
theregister.com··Hacker News

Windows Ready Print is Microsoft's most ambitious attempt yet to modernize Windows printing

 💻Operating Systems  Content type: News
techspot.com·

Untitled Linux Show 258

 💻Operating Systems  Content type: Video
youtube.com·

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

 ⚙Rust
rullst.github.io··Hacker News

A calculator that doesn’t round

 🤖Automation
constructive-calculator.dimview.org··Hacker News

verifying /proc | arya dradjica

 📁File Systems  Content type: Blog
bal-e.org··Lobsters, Hacker News·Cited by 1 article

Atomic Arch: 400+ AUR Packages Backdoored with eBPF Rootkit and Credential Stealer

 🚀Performance Engineering  Content type: Blog
latesthackingnews.com·

Jails, Not Containers: FreeBSD Isolation Done Right

 💻Operating Systems
klarasystems.com·

NOVA microhypervisor brings AMD DMA isolation to shared AI infrastructure

 💻Operating Systems
helpnetsecurity.com·

Chrome 149 Update Patches 28 Vulnerabilities

 🛡️Memory Safety
securityweek.com·

Release v0.0.2-alpha · VxidDev/Arc

 🛡️Memory Safety  Content type: Code
github.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