Wednesday, March 6, 2019

New top story on Hacker News: Oxide: A Formal Semantics for Rust

Oxide: A Formal Semantics for Rust
153 by rachitnigam | 12 comments on Hacker News.


No comments:

Post a Comment

Billionaire Jared Isaacman faces confirmation vote for Nasa chief

The amateur jet pilot, if confirmed, will be the first NASA administrator in decades to come directly from outside government. from BBC Ne...