2024-Dec-11: Hardware design with open source tools2024-Aug-12: Algebraic data types in Python2024-Mar-06: A taste of the PVS theorem prover2022-Dec-27: A circle of Racketeers2022-Nov-29: A 'Scrabble' evening2022-Oct-04: Pascal to Sierpiński with help from Lucas2022-Sep-25: Simpler related problem to the rescue: A puzzle2022-Sep-01: Can the frog come back?: A tiny puzzle2022-Jul-21: How to solve it: A rate problem2022-Jun-20: Group on natural numbers2022-Jun-04: Polyglossia with XeLaTeX2022-May-15: Template-Coq: Obtaining constructors of a type2022-Apr-13: Heterogeneous lists in Coq2022-Apr-05: Home desktop as an ssh server within same network2022-Mar-05: A tryst with git submodules2022-Feb-23: Setting up Debian2022-Feb-20: FOSDEM experience: 2022 edition2022-Feb-19: Beamer slides from org file2022-Feb-11: Streaming data in node.js2022-Feb-10: Things to remember when planning a foreign trip2022-Jan-09: About strings in Coq2022-Jan-02: Infinite lists in Haskell2021-Dec-31: A translation for untyped arithmetic expressions in Coq2021-Dec-23: Auto-build latex documents2021-Dec-22: Few things to look at when buying a new laptop2021-Dec-21: Finding speed of a wind turbine2021-Sep-10: Couple of shortcuts for Coqtail2021-Aug-25: Fibonacci series in Haskell2021-Dec-22: Simple custom pass in yosys2021-Apr-03: Installing qflow2021-Mar-28: DOS commands for Linux users (wip)2021-Feb : Installing coq using opam (Ubuntu and FreeBSD)2021-Feb : Setting up emacs as interface for coq2021-Feb : Installing coqtail in nvim with vimplug2020 : Making Python packages with poetry2020 : Remove OEM apps (Redmi 7)2017-Sep-11: C identifier with dollar sign2017-Sep-05: Another example from C traps and pitfalls2017-Aug-26: An example from C traps and pitfalls2017-Jul-28: atexit(): Execute code just before terminating2017-Jun-22: Ways to swap two numbers2017-Jun-21: sizeof() and parenthesis in C2017-Jun-10: __func__: The 'magic' constant2017-May-01: GCC: Incompatibilities between C and C++