Kernel Memory Safety: Mission Accomplished

Comments (2)

tatetian16 · 19h ago

I am the author of this post and also the first co-author of the ATC'25 paper. Ask me anything :)

sim7c00 · 8h ago

this is a really epic acheivement if it holds up. hats off.! rust in the deeper levels is no joke.

so want to play with this :') gave up and went back to C myself so excited to dive into this work when i have some time again. thanks for sharing!

Mini Incident Report about GCP Outage (status.cloud.google.com)

Radio pulses detected coming from ice in Antarctica (psu.edu)

Oneofs are a disaster. Protovalidate has fixed them (buf.build)

Iran retaliates with missile attacks on Israel (bbc.com)

Wing and Walmart are bringing drone delivery to 100 new stores (theverge.com)

Total Cost Analysis: Passwordless Cuts Authentication Expenses by 65% (guptadeepak.com)

Use your virtual card number for Apple Cash (support.apple.com)

The crisis of zombie social science (forkingpaths.co)

iCraft Editor – Help you easily create excellent 3D architecture diagrams (github.com)

QSafe: The First Quantum-Secure, Multi-Chain Crypto Wallet (qsafewallet.com)

Show HN: Equity Copilot – AI-powered equity grant assistant for tech employees (equitycopilot.app)

Tech billionaires are making a risky bet with humanity's future (technologyreview.com)

Anne Wojcicki Wins Bidding for 23andMe (wsj.com)

Show HN: The fastest way to create carousels (lumeo.me)

GameStop CEO Says the Company's Future Isn't in Games (gamespot.com)

Reliable by Design: Building Guardrails for AI and Other Unpredictable Systems [video] (youtube.com)

Hit songs are getting shorter (economist.com)

3D printing metal molds poised to accelerate US auto manufacturing (techxplore.com)

What does the DEI-free commitment mean? · Issue #40 · X11Libre/xserver (github.com)

AI and LLM Takes from the Field (medium.com)

Part of Alaska is under a heat advisory. That's a first (washingtonpost.com)

Rethinking the Patent Office (forbes.com)

The average ChatGPT request uses ~0.34Wh (engineeringprompts.substack.com)

After millions of years, why are carnivorous plants still so small? (smithsonianmag.com)

Open-source granola (meetings summary) (omi.me)

Powering next-gen services with AI in regulated industries (technologyreview.com)

GTM advice from my experience at 2 YC Startups

Hackable AlphaFold 3 without Docker or MSAs (github.com)

Show HN: A Visual way to build complex prompts - Looking for product validation (thepromptindex.com)

Silicon Valley tech execs are joining the US Army Reserve (techcrunch.com)

The Israeli Attack Against Iran (mearsheimer.substack.com)

Ask HN: Has anyone digitally modeled the impact and collapse of the twin towers?

In Twist, U.S. Diplomacy Served As Cover for Israeli Surprise Attack (wsj.com)

Show HN: Free tool to download Microsoft Learn video (github.com)

The Growing Risk of Malicious Browser Extensions (socket.dev)

There's another leak on the ISS, but NASA is not saying much about it (arstechnica.com)

Apple's Liquid Glass is prep work for AR interfaces, not just a design refresh (omc345.substack.com)

Plunder: How Private Equity is reshaping HVAC (heatpumped.org)

Show HN: Infrabase: Natural language rules engine to manage your cloud account (infrabase.co)

The Viable Systems Model (fffej.substack.com)

Build It Twice (russellpollari.substack.com)

Observability with real insights and auto-fixes (cloudgrip.ai)

First Fossil Proof Found That Long-Necked Dinosaurs Were Vegetarians (nytimes.com)

The Postgres Developers guide to updates and deletes in ClickHouse (clickhouse.com)

The Return of Forgotten Math in Computer Graphics [pdf] (2012) (terathon.com)

Ask HN: Are senior engineers not senior anymore?

LLMs.txt Generator with Automated Monitoring (github.com)

All Starlink Direct to Cell Gen 1 satellites have now been launched (twitter.com)

Anti-Tesla demonstration highlights safety concerns with self-driving vehicles (statesman.com)

Things Jeremy says to do (2019) (forums.fast.ai)

Kernel Memory Safety: Mission Accomplished

Comments (2)