So You Want to Rust the Linux Kernel?

• too-many-lists

  219 3,014 0.0 Rust

  Learn Rust by writing Entirely Too Many linked lists

  

Note: If someone wants to learn Rust by implementing linked lists, then https://rust-unofficial.github.io/too-many-lists/ is a must-read :)

• actix-web-postmortem

  2 245 0.0

  Actix project postmortem

> IIRC it was mostly the initial reluctance of the author to merge PRs that rewrote unsafe to safe Rust.

No, not really. Spinning the actix-web as the author's reluctance to accept PRs is a gross misrepresentation of the problem faced by the project.

For context, here's what the author had to say about that regrettable episode.

https://github.com/fafhrd91/actix-web-postmortem

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• seL4

  60 4,530 9.0 C

  The seL4 microkernel

  

>AFAIK no such correctness proof for the C APIs exists

There's a whole proven correct kernel: http://sel4.systems/

• FrameworkBenchmarks

  366 7,378 9.8 Java

  Source for the TechEmpower Framework Benchmarks project

  

> No, not really. The author, a professional at Microsoft, was a hobbyist with rust who (...)

It's very hard to believe that "a hobbyist" would, by mere chance, write the absolute best performing framework in the world.

https://www.techempower.com/benchmarks/

Your comment not only lacks credibility but also sounds extremely petty.

• nomicon

  87 1,685 5.5 CSS

  The Dark Arts of Advanced and Unsafe Rust Programming

  

A link to the aforementioned Rustonomicon: https://doc.rust-lang.org/nomicon/

(I seem to recall a comment that it hasn't yet been fully updated for recent versions.)

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

Suggest a related project