Tags

Note: Tags of specific posts may change in future

`debian`

Debian-specific.

2026-Jul-07: Making a debian package
2022-Feb-23: Setting up Debian

`tools`

Applications of software tools and protocols.

2024-Mar-06: A taste of the PVS theorem prover
2022-Apr-05: Home desktop as an ssh server within same network
2022-Mar-05: A tryst with git submodules
2021-Dec-23: Auto-build latex documents
2021-Sep-10: Couple of shortcuts for Coqtail
2021-May : Simple custom pass in yosys
2021-Feb : Installing coqtail in nvim with vimplug
2020 : Making Python packages with poetry

`xp`

Experiences, like attending events.

2025-Mar-11: Panel discussion - RSD 7 @ IITPKD
2022-Dec-27: A circle of Racketeers
2022-Nov-29: A 'Scrabble' evening
2022-Feb-20: FOSDEM experience: 2022 edition
2022-Feb-10: Things to remember when planning a foreign trip
2021-Dec-22: Few things to look at when buying a new laptop

`tex`

TeX, LaTeX, ConTeXt, metapost, asymptote, etc.

2025-Sep-11: 'Local names' in LaTeX environments
2022-Jun-04: Polyglossia with XeLaTeX
2022-Feb-19: Beamer slides from org file
2021-Dec-23: Auto-build latex documents

`math`

Puzzles and interesting uses of simple math.

2024-Mar-06: A taste of the PVS theorem prover
2022-Dec-27: A circle of Racketeers
2022-Oct-04: Pascal to Sierpiński with help from Lucas
2022-Sep-01: Can the frog come back?: A tiny puzzle
2022-Sep-25: Simpler related problem to the rescue: A puzzle
2022-Jul-21: How to solve it: A rate problem
2022-Jun-20: Group on natural numbers
2022-Jan-02: Infinite lists in Haskell
2021-Aug-25: Fibonacci series in Haskell

`science`

Applied or theoretical science. ie, physics, chemistry stuff.

2021-Dec-21: Finding speed of a wind turbine

`c`

C and C++ programming.

2017-Sep-11: Modulo operation with negative numbers in C
2017-Sep-11: C identifier with dollar sign
2017-Sep-05: Another example from C traps and pitfalls
2017-Aug-26: An example from C traps and pitfalls
2017-Aug-12: Problem of sign extension
2017-Jul-28: atexit(): Execute code just before terminating
2017-Jun-22: Ways to swap two numbers
2017-Jun-21: sizeof() and parenthesis in C
2017-Jun-10: __func__: The 'magic' constant
2017-May-01: GCC: Incompatibilities between C and C++

`python`

Involves python code.

2024-Aug-12: Algebraic data types in Python
2020 : Making Python packages with poetry
2017-Sep-11: Modulo operation with negative numbers in C

`emacs`

About emacs and elisp.

2026-Jul-22: Making a debian package
2022-Feb-19: Beamer slides from org file
2021-Feb : Setting up emacs as interface for coq

`coq`

About Coq or involves Coq code.

2022-May-15: Template-Coq: Obtaining constructors of a type
2022-Apr-13: Heterogeneous lists in Coq
2022-Jan-09: About strings in Coq
2021-Dec-31: A translation for untyped arithmetic expressions in Coq
2021-Sep-10: Couple of shortcuts for Coqtail
2021-Feb : Installing coq using opam (Ubuntu and FreeBSD)
2021-Feb : Setting up emacs as interface for coq
2021-Feb : Installing coqtail in nvim with vimplug

`haskell`

Involves haskell code.

2022-Oct-04: Pascal to Sierpiński with help from Lucas
2022-Jan-02: Infinite lists in Haskell
2021-Aug-25: Fibonacci series in Haskell

`hardware`

Hardware design, primary using open source tools.

2024-Dec-11: Hardware design with open source tools
2021-Apr-03: Installing qflow
2021-May : Simple custom pass in yosys

`ai`

Anything related to use or development of AI/ML.

2026-Aug-07: Offline Malayalam speech-to-text

`misc`

Miscellaneous

2026-Jun-23: NFA plus vs star
2022-Feb-11: Streaming data in node.js
2021-Mar-28: DOS commands for Linux users
2020 : Remove OEM apps (Redmi 7)
2017-Jul-16: Byte order mark: Empty file not empty