Excited to share the repository for my bachelors dissertation on operating system design in rust.

github.com/SauravMahesh...

Full write up to follow

In the age of LLMs, I went back to StackOverflow today; was doing some OS development in rust across multiple scripts. Used both in-editor "LLM" and web interfaces and they were of no help. Ultimately figured out the bug myself; specified it to the LLM; still no help. #rust-lang

While studying graph theory last year, I discovered the fano plane. Made a quick manim animation that shows the hypergraph of a fano plane. It's quite a nice simple structure; it has 7 nodes and 7 edges, with each edge having 3 nodes and each node belonging to 3 edges.

Code linked in comment 😀

Was eagerly waiting for this. Can’t wait until it’s integrated into the ruff LSP.

We’re building a new static type checker for Python, from scratch, in Rust.

From a technical perspective, it’s probably our most ambitious project yet. We’re about 800 PRs deep!