https://anirudhg07.github.io/ 2026-07-01 monthly 1.0 https://anirudhg07.github.io/src/blog-page.html 2026-07-01 weekly 0.9 https://anirudhg07.github.io/src/notes-page.html 2026-07-01 weekly 0.8 https://anirudhg07.github.io/blogs/the-way-of-building-software-that-proves-correctness-itself/ 2026-06-27 yearly 0.8 https://anirudhg07.github.io/blogs/i-work-with-people-who-ask-why-and-people-who-ask-how-much/ 2026-05-23 yearly 0.8 https://anirudhg07.github.io/blogs/life-doesnt-autoplay-bg-music/ 2026-05-22 yearly 0.8 https://anirudhg07.github.io/blogs/i-lean-ed-into-formalization-first-time/ 2026-01-23 yearly 0.8 https://anirudhg07.github.io/blogs/working-without-sudo-in-unix-terminal/ 2025-06-27 yearly 0.8 https://anirudhg07.github.io/blogs/bept-for-proteins/ 2024-10-07 yearly 0.8 https://anirudhg07.github.io/blogs/terminal-is-a-craze/ 2024-07-29 yearly 0.8 https://anirudhg07.github.io/blogs/capture-the-flagctf/ 2024-06-18 yearly 0.8 https://anirudhg07.github.io/blogs/terminal-gpt-and-ai/ 2024-05-25 yearly 0.8 https://anirudhg07.github.io/blogs/an-easy-way-to-remember-all-your-commands-for-your-terminal/ 2024-05-23 yearly 0.8 https://anirudhg07.github.io/notes/flexsc-paper-os/ 2026-01-20 yearly 0.7 https://anirudhg07.github.io/notes/secure-multi-party-computation-made-simple/ 2026-02-03 yearly 0.7