https://dipeshkaphle.github.io/ https://dipeshkaphle.github.io/notes/ https://dipeshkaphle.github.io/notes/gcc-notes/ 2023-02-24 https://dipeshkaphle.github.io/notes/gccworkshopiitbnotes/ 2023-02-27 https://dipeshkaphle.github.io/notes/mysetups/ 2024-12-21 https://dipeshkaphle.github.io/notes/page/1/ https://dipeshkaphle.github.io/notes/setupcoq/ 2024-06-29 https://dipeshkaphle.github.io/notes/setupfstar/ 2023-01-14 https://dipeshkaphle.github.io/posts/ https://dipeshkaphle.github.io/posts/hello-world/ 2022-10-05 https://dipeshkaphle.github.io/posts/helpful-emacs-shortcuts/ 2023-06-20 https://dipeshkaphle.github.io/posts/nonlocaljumps/ 2023-11-01 https://dipeshkaphle.github.io/posts/ocamloptimizationtips/ 2023-07-21 https://dipeshkaphle.github.io/posts/page/1/ https://dipeshkaphle.github.io/posts/y-combinator/ 2024-03-28 https://dipeshkaphle.github.io/projects/ https://dipeshkaphle.github.io/projects/code-character/ https://dipeshkaphle.github.io/projects/cpparsec/ https://dipeshkaphle.github.io/projects/enma/ https://dipeshkaphle.github.io/projects/lru-cache/ https://dipeshkaphle.github.io/projects/par-incr/ https://dipeshkaphle.github.io/projects/pctf/ https://dipeshkaphle.github.io/projects/risp/ https://dipeshkaphle.github.io/pubs/ https://dipeshkaphle.github.io/tags/ https://dipeshkaphle.github.io/tags/c/ https://dipeshkaphle.github.io/tags/coq-rocq/ https://dipeshkaphle.github.io/tags/emacs/ https://dipeshkaphle.github.io/tags/f/ https://dipeshkaphle.github.io/tags/low-level/ https://dipeshkaphle.github.io/tags/pl/ https://dipeshkaphle.github.io/tags/setup/