SquirrelFS: Using the Rust compiler to check file-system crash consistency (arxiv.org) | HN Screenshots

YHacker Newsscreenshots

Screenshot of arxiv.org: SquirrelFS: Using the Rust compiler to check file-system crash consistency

First screen, captured 2 years ago.

Looks similar

Screenshot of arxiv.org: Crux, a Precise Verifier for Rust and Other Languages

Crux, a Precise Verifier for Rust and Other Languages (arxiv.org)

86 points by belter 2 years ago | 11 comments

Screenshot of arxiv.org: Rust for Embedded Systems: Current state, challenges and open problems

Rust for Embedded Systems: Current state, challenges and open problems (arxiv.org)

147 points by Sindisil 2 years ago | 93 comments

Screenshot of arxiv.org: A Study of Malware Prevention in Linux Distributions

A Study of Malware Prevention in Linux Distributions (arxiv.org)

39 points by belter 1 year ago | 9 comments

Screenshot of arxiv.org: Kani: A Model Checker for Rust

Kani: A Model Checker for Rust (arxiv.org)

152 points by Jimmc414 3 months ago | 9 comments

Screenshot of arxiv.org: faulTPM: Exposing AMD fTPMs' Deepest Secrets

faulTPM: Exposing AMD fTPMs' Deepest Secrets (arxiv.org)

276 points by kerm1t 3 years ago | 246 comments

Screenshot of arxiv.org: MemGPT: Towards LLMs as Operating Systems

MemGPT: Towards LLMs as Operating Systems (arxiv.org)

203 points by belter 3 years ago | 105 comments