- A guide to writing a fact extractor for Datalog https://luctielen.com/posts/guide_for_writing_datalog_fact_extractors/ 4 comments prolog
- How to lower an IR https://luctielen.com/posts/how-to-lower-an-ir/ 14 comments haskell
- Create recursion schemes using comonads https://luctielen.com/posts/create_recursion_schemes_using_comonads/ 12 comments haskell
- Calling Zig from Haskell http://luctielen.com/posts/calling_zig_from_haskell/ 7 comments haskell
- Analyses are arrows https://luctielen.com/posts/analyses_are_arrows/ 4 comments haskell
- Write your GDB scripts in Haskell https://luctielen.com/posts/write_your_gdb_scripts_in_haskell/ 13 comments haskell
- Making LLVM gep safer in Haskell https://luctielen.com/posts/making_llvm_gep_safer_in_haskell/ 3 comments haskell
- Combining folds using semigroups https://luctielen.com/posts/combining_folds_using_semigroups/ 5 comments haskell
- Supercharge your handles with phantom types https://luctielen.com/posts/supercharge_your_handles_with_phantom_types/ 21 comments haskell
- Calling C++ from Haskell https://luctielen.com/posts/calling_cpp_from_haskell/ 17 comments haskell