GitHub - SauravMaheshkar/os1: 🦀 kernel 🦀 kernel. Contribute to SauravMaheshkar/os1 development by creating an account on GitHub.

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

playground/src/viz/manim-hypergraph-fano-plane/animate.py at main · SauravMaheshkar/playground Algorithms, Data Structures, Leetcode, Niche Languages - SauravMaheshkar/playground

Source Code: github.com/SauravMahesh...

This was also my first time making a animation in manim. Quite fun.

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!

I gave it a try and the lack of passkey support was a major downer. I do like the idea behind it though ! (Firefox on steroids)

Wow can you provide some more resources ? Curious to know what they’re using it for.