2023
- 20 Aug Real World Haskell 08: File Processing
- 30 Jul Real World Haskell 07: IO
- 29 Jul Real World Haskell 06: Typeclasses
- 27 Jul Real World Haskell 05: Work with JSON data
- 14 Jul Real world haskell 04: Functional programming
- 14 Jul Real World Haskell 03: Pattern matching
- 14 Jul Real World Haskell 02: Types and functions
- 14 Jul Real World Haskell 01: Getting started
- 03 Mar Scaling issue with Nvidia Ubuntu
- 19 Jan Stochastic superoptimization
- 09 Jan Stochastic search in synthesis
- 06 Jan Configure Pyenv and Pipenv with Emacs
2022
- 30 Dec Search techniques
- 30 Dec Introduction to program synthesis
- 30 Dec Inductive synthesis
- 30 Dec DSL and AST
- 21 Nov A Lisp interpreter written in Lisp
- 03 Nov Docker setup
- 31 Oct Use remote language server on Tramp on emacs
- 30 Oct Complex ssh operations
- 28 Oct BDD applications
- 27 Oct Decision tree synthesis for ML
- 24 Oct Ubuntu external monitors not working
- 18 Oct Reinstall Ubuntu
- 10 Oct Understanding Z3 fixed-point result
- 05 Oct Illusion generation with Bayesian models
- 05 Oct Python hints
- 04 Oct Load balancing in P4
- 04 Oct Resources for learning SMT
- 03 Oct Introduction of SMT-LIBv2