🔒 Type Safety - matmat · Scour

Clang Lifetime Safty Doc Update 🦀Rust Macros

clang.llvm.org·1d·Hacker News, r/cpp

Why Rust Is Winning the Memory Safety War in 2026 🦀Embedded Rust

techchatterbox.com·5d·r/coding

Graded Modal Types for Memory and Communication Safety 🧮Algebraic Datatypes

kar.kent.ac.uk·22h·Hacker News

LLMs: code is just untrusted text, until you validate it. ✅Format Verification

hack8s.com·1d·Hacker News

I wanted async/await but I got a concurrency model 🐚Shell Calculus

blog.kulman.sk·22h·Hacker News

Manual Memory Management 🧠Memory Allocators

dayvster.com·4d·Lobsters, Hacker News

Firefox 151 packs big privacy upgrades into a small update 🌐Web Standards

malwarebytes.com·16h

Everything in C is undefined behavior 🦀Embedded Rust

blog.habets.se·2d·Lobsters, Hacker News

The Rust Bible: Being the Holy Scripture of the Compiler, the Borrow Checker, and the Way of Safe Abstraction 🦀Rust Borrowing

github.com·4d·r/rust

LKML: Linus Torvalds: Linux 7.1-rc4 🔌Operating system internals

lkml.org·2d·Hacker News, Hacker News

O(x)Caml in Space 🌐NetworkProtocols

gazagnaire.org·6d·Lobsters, Hacker News

SuperInfer: SLO-Aware Rotary Scheduling and Memory Management for LLM Inference on Superchips ⚡Cache Coherence

supercomputing-system-ai-lab.github.io·2d·Hacker News

Linux 7.1-rc4: security list "almost unmanageable" from AI bug reports 🔍eBPF

lwn.net·1d·Hacker News

ELA-1723-1 php7.0 security update (by ) 🛡️Security Headers

freexian.com·3d

My Thoughts on Bun's Rust Rewrite 🦀Rust Borrowing

en.liujiacai.net·5d·Lobsters, Hacker News, Hacker News

Debian -- News -- Updated Debian 12: 12.14 released 📦Package Managers

Source-to-Source Transformations for GPU Code Generation ⚡SIMD Vectorization

Anthropic’s Bun Rust rewrite merged at speed of AI 🦀Rust Macros

theregister.com·6d·Hacker News

First Apple M5 memory exploit discovered using Anthropic AI, gives root access on MacOS — Claude Mythos helps security researchers bypass Memory Integrity Enforcement 🔓Hacking

tomshardware.com

·4d·Hacker News, r/technology

Cloud Hypervisor 52 Now Supports Launching AMD SEV-SNP Confidential VMs With KVM 💿Proxmox HA

phoronix.com·5d

Log in to enable infinite scrolling