Mostly building stuff in ML (Writing a dissertation on Operating Systems 🦀) Github: https://github.com/SauravMaheshkarhttps://bsky.app/profile/sauravm.bsky.socialhttps://bsky.app/profile/sauravm.bsky.social/post/3lk7eogmjzc27Excited to share the repository for my bachelors dissertation on operating system design in rust. https://github.com/SauravMaheshkar/os1 Full write up to follow12 Mar 2025 20:00 +0000at://did:plc:e2owmkhw3y4273bviou2sw76/app.bsky.feed.post/3lk7eogmjzc27https://bsky.app/profile/sauravm.bsky.social/post/3ljhajsacrs2sIn 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-lang03 Mar 2025 05:42 +0000at://did:plc:e2owmkhw3y4273bviou2sw76/app.bsky.feed.post/3ljhajsacrs2shttps://bsky.app/profile/sauravm.bsky.social/post/3lhgsvns6tk2tWhile 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 😀05 Feb 2025 14:48 +0000at://did:plc:e2owmkhw3y4273bviou2sw76/app.bsky.feed.post/3lhgsvns6tk2thttps://bsky.app/profile/sauravm.bsky.social/post/3lgxqw72yhc2nWas eagerly waiting for this. Can’t wait until it’s integrated into the ruff LSP. [contains quote post or other embedded content]30 Jan 2025 15:02 +0000at://did:plc:e2owmkhw3y4273bviou2sw76/app.bsky.feed.post/3lgxqw72yhc2n