Kernel Memory Safety: Mission Accomplished

Comments (1)

Flundstrom2 · 1d ago

This post distills research paper Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB, which is to be published at USENIX ATC 2025. The preprint can be found on arXiv.

Tell HN: Help restore the tax deduction for software dev in the US (Section 174)

GCP Outage (status.cloud.google.com)

Frequent reauth doesn't make you more secure (tailscale.com)

A receipt printer cured my procrastination (laurieherault.com)

The last six months in LLMs, illustrated by pelicans on bicycles (simonwillison.net)

Magistral — the first reasoning model by Mistral AI (mistral.ai)

Apple announces Foundation Models and Containerization frameworks, etc (apple.com)

If the moon were only 1 pixel: A tediously accurate solar system model (2014) (joshworth.com)

Containerization is a Swift package for running Linux containers on macOS (github.com)

Jemalloc Postmortem (jasone.github.io)

Research suggests Big Bang may have taken place inside a black hole (port.ac.uk)

Apple introduces a universal design across platforms (apple.com)

US-backed Israeli company's spyware used to target European journalists (apnews.com)

Marines being mobilized in response to LA protests (cnn.com)

Chatterbox TTS (github.com)

I convinced HP's board to buy Palm and watched them kill it (philmckinney.substack.com)

Congratulations on creating the one billionth repository on GitHub (github.com)

Bruteforcing the phone number of any Google user (brutecat.com)

Launch HN: Vassar Robotics (YC X25) – $219 robot arm that learns new skills

"Localhost tracking" explained. It could cost Meta €32B (zeropartydata.es)

How I program with agents (crawshaw.io)

Kagi Reaches 50k Users (kagi.com)

OpenAI dropped the price of o3 by 80% (twitter.com)

Self-Host and Tech Independence: The Joy of Building Your Own (ssp.sh)

Air India flight to London crashes in Ahmedabad with more than 240 onboard (theguardian.com)

Joining Apple Computer (2018) (folklore.org)

Building supercomputers for autocrats probably isn't good for democracy (helentoner.substack.com)

We’re secretly winning the war on cancer (vox.com)

Meta invests $14.3B in Scale AI to kick-start superintelligence lab (nytimes.com)

Convert photos to Atkinson dithering (gazs.github.io)

Danish Ministry Replaces Windows and Microsoft Office with Linux and LibreOffice (heise.de)

Show HN: I made a 3D printed VTOL drone (tsungxu.com)

FSE meets the FBI (blog.freespeechextremist.com)

Low-background Steel: content without AI contamination (blog.jgc.org)

Show HN: Chili3d – A open-source, browser-based 3D CAD application

Rendering Crispy Text on the GPU (osor.io)

Successful people set constraints rather than chasing goals (joanwestenberg.com)

Brian Wilson has died (pitchfork.com)

Finding Shawn Mendes (2019) (ericneyman.wordpress.com)

Sly Stone has died (abcnews.go.com)

Show HN: Spark, An advanced 3D Gaussian Splatting renderer for Three.js (sparkjs.dev)

macOS Tahoe brings a new disk image format (eclecticlight.co)

iPhone 11 emulation done in QEMU (github.com)

Ask HN: How do I give back to people helped me when I was young and had nothing?

Microsoft Office migration from Source Depot to Git (danielsada.tech)

Field Notes from Shipping Real Code with Claude (diwank.space)

Why Android can't use CDC Ethernet (2023) (jordemort.dev)

LLMs are cheap (snellman.net)

Menstrual tracking app data is gold mine for advertisers that risks women safety (cam.ac.uk)

Cloudflare was down (cloudflarestatus.com)

Kernel Memory Safety: Mission Accomplished

Comments (1)