https://psibi.in/ https://psibi.in/about.html/ 1970-01-01 https://psibi.in/contact.html/ 1970-01-01 https://psibi.in/posts/ https://psibi.in/posts/2014-07-30-new-blog.html/ 2014-07-30 https://psibi.in/posts/2014-08-18-logic.html/ 2014-08-18 https://psibi.in/posts/2014-11-24-dired-mode.html/ 2014-11-24 https://psibi.in/posts/2014-12-05-maths.html/ 2014-12-05 https://psibi.in/posts/2015-02-10-nix-channel.html/ 2015-02-10 https://psibi.in/posts/2015-04-16-subset-partial-order.html/ 2015-04-16 https://psibi.in/posts/2015-07-14-Use-case-for-unsafeinterleave.html/ 2015-07-14 https://psibi.in/posts/2015-08-02-hacking-persistent.html/ 2015-08-02 https://psibi.in/posts/2015-09-07-template-haskell-quoting.html/ 2015-09-07 https://psibi.in/posts/2015-11-12-diwali-hacks.html/ 2015-11-12 https://psibi.in/posts/2016-01-14-monads.html/ 2016-01-14 https://psibi.in/posts/2016-05-18-integrating-elm-jquery.html/ 2016-05-18 https://psibi.in/posts/2016-09-06-browser-plugin.html/ 2016-09-06 https://psibi.in/posts/2017-02-10-lift-derive.html/ 2017-02-10 https://psibi.in/posts/2017-04-07-experience-maths-coq.html/ 2017-04-07 https://psibi.in/posts/2017-04-28-race-condition-yesod.html/ 2017-04-28 https://psibi.in/posts/2017-07-30-yesod-header.html/ 2017-07-30 https://psibi.in/posts/2017-12-19-stack-snapshots.html/ 2017-12-19 https://psibi.in/posts/2018-07-28-xmonad-extras-release.html/ 2018-07-28 https://psibi.in/posts/2019-09-23-fakedata-perf.html/ 2019-09-23 https://psibi.in/posts/2020-06-16-xmobar-zurihac.html/ 2020-06-16 https://psibi.in/posts/2021-05-22-credstash.html/ 2021-05-22 https://psibi.in/posts/2021-08-01-cnx.html/ 2021-08-01 https://psibi.in/posts/2022-01-01-nixos.html/ 2022-01-01 https://psibi.in/posts/2024-08-04-rustic-babel.html/ 2024-08-04 https://psibi.in/posts/lsp-mode.html/ 2019-01-01 https://psibi.in/posts/rustic.html/ 2020-01-01 https://psibi.in/search/ 2024-01-01 https://psibi.in/tags/ https://psibi.in/tags/aws/ https://psibi.in/tags/blogging/ https://psibi.in/tags/browser/ https://psibi.in/tags/coq/ https://psibi.in/tags/databases/ https://psibi.in/tags/debugging/ https://psibi.in/tags/elm/ https://psibi.in/tags/emacs/ https://psibi.in/tags/ghc/ https://psibi.in/tags/hakyll/ https://psibi.in/tags/haskell/ https://psibi.in/tags/javascript/ https://psibi.in/tags/learning/ https://psibi.in/tags/linux/ https://psibi.in/tags/maths/ https://psibi.in/tags/nix/ https://psibi.in/tags/nixos/ https://psibi.in/tags/org-mode/ https://psibi.in/tags/performance/ https://psibi.in/tags/persistent/ https://psibi.in/tags/rust/ https://psibi.in/tags/security/ https://psibi.in/tags/stack/ https://psibi.in/tags/template-haskell/ https://psibi.in/tags/terraform/ https://psibi.in/tags/web/ https://psibi.in/tags/x11/ https://psibi.in/tags/xmobar/ https://psibi.in/tags/xmonad/ https://psibi.in/tags/yesod/