Kernel Memory Safety: Mission Accomplished

Comments (1)

Flundstrom2 · 16h 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.

Pip's Quake (blitter.net)

Exploring the Dangers of AI in Mental Health Care (hai.stanford.edu)

Review: 'Print the Legend' gives form to 3-D printer companies' history (2014) (latimes.com)

SIMD-friendly algorithms for substring searching (0x80.pl)

After 18 Years of Infertility, an AI Tool Let a Couple Conceive (today.com)

Building a WordPress MCP Server for Claude: Automating Blog Posts with AI (val.demar.in)

Chebfun: Open-source package for computing with functions to 15-digit accuracy (chebfun.org)

Let's Play some Glider 4.0 with John Calhoun [video] (youtube.com)

Show HN: I created an AI form builder and it's free (minform.io)

Experimental Spacetime Distortion: Generating Gravitational Waves in the Lab (ej-eng.org)

UK unis to cough up to £10M on Java to keep Oracle off their backs (theregister.com)

The secret fast track for animal drugs (worksinprogress.co)

Comment on the Illusion of Thinking (arxiv.org)

Premium accounts to fund the matrix.org homeserver (matrix.org)

Anne Wojcicki to buy back 23andMe and its data for $305M (cnbc.com)

DHS is using CBP Home Mobile App to incentivize the voluntary self-deportation (dhs.gov)

Filedb: Disk Based Key-Value Store Inspired by Bitcask (github.com)

Venusian pancake dome likely formed due to elastic lithosphere and dense lava (phys.org)

Culinary Ocean that Separates the US and Europe: innards (1993) (nytimes.com)

Why do French men pee on the street [video] (bbc.com)

Baking the Y Combinator from scratch (again) (the-nerve-blog.ghost.io)

ArkFlow and Python: Easy Real-Time AI (arkflow-rs.com)

Regenerate Your Land (gramagrasslivestock.com)

Show HN: Hack to Save Any Videos from YouTube (github.com)

The Tech Job Meltdown (professoraxelrod.com)

Fastmigrate: Database Migrations for SQLite (github.com)

When Lee Miller Took a Bath in Hitler's Tub (newyorker.com)

Show HN: QuickGenAI – Turn Any Link into AI Lead Magnet (quickgen.ai)

Signed Git pushes for Linux kernel development server (2020) (people.kernel.org)

Solving Life's Annoyances with Constraint Programming [video] (youtube.com)

Propagation via lazy clause generation (2009) (link.springer.com)

MLB removes A's 'reverse boycott' game broadcasts from digital archive (sfgate.com)

There Aren't Enough Cables to Meet Growing Electricity Demand (bloomberg.com)

Show HN: Dual Elliptic Curve Math Backdoor in Python (leetarxiv.substack.com)

Rethinking Losses for Diffusion Bridge Samplers (arxiv.org)

The twom database format (fastmail.com)

The Case for Code‑Centric System Dynamics (SD) (teachyourselfsystems.com)

C2y: Hitting the Ground Running (thephd.dev)

Building web apps from scratch – HTTP – Part 4 (coz.is)

Japan struggles to fend off a world without enough matcha (japantimes.co.jp)

Meta AI searches made public – but do all its users realise (bbc.com)

Alexandr Wang – What I learned in 2016 (medium.com)

Window-sized device taps the air for safe drinking water (news.mit.edu)

Apple's Liquid Glass Effect for React (github.com)

Hybrid Still Isn't Working (hbr.org)

Show HN: A visual, knowledge map based interface for deep research/deep dives (proread.ai)

Show HN: SharkMCP, a Tshark MCP Server (github.com)

Ecology: A World Without Mosquitoes (nature.com)

Intel Vulkan Linux Driver Lands Initial Support for VP9 Decoding (phoronix.com)

How to make StackExchange (and others) more fun (rubenerd.com)

Kernel Memory Safety: Mission Accomplished

Comments (1)