Do disturb me https://dodisturb.me/atom.xml Mistral Contrastin madgenhetic@gmail.com 2023-09-30T00:00:00Z Haskell LSP Laboratory https://dodisturb.me/posts/2023-09-30-Haskell-LSP-Laboratory.html true 2023-09-30T00:00:00Z Goto Assignment: A better local Goto Definition https://dodisturb.me/posts/2023-08-24-Goto-Assignment.html true 2023-08-24T00:00:00Z Typed Programs Don't Leak Data https://dodisturb.me/posts/2021-06-27-Typed-Programs-Dont-Leak-Data.html true 2021-06-27T00:00:00Z Verifying the Titular Properties of a Leftist Heap https://dodisturb.me/posts/2019-10-03-Verifying-the-Titular-Properties-of-a-Leftist-Heap.html true 2019-10-03T00:00:00Z The Essence of Datalog https://dodisturb.me/posts/2018-12-25-The-Essence-of-Datalog.html true 2018-12-25T00:00:00Z Automatic Subgoal Scheduling for Datalog https://dodisturb.me/posts/2018-10-08-Automatic-Subgoal-Scheduling-for-Datalog.html true 2018-10-08T00:00:00Z Cellular Christmas Tree https://dodisturb.me/posts/2018-01-28-Cellular-Christmas-Tree.html true 2018-01-28T00:00:00Z