Feeds: RSS / tw.txt / jsonfeed
(All feeds contain posts from the last 100 days.)
2025-Sep-11:'Local names' in LaTeX environments2025-Mar-11:Panel discussion - RSD 7 @ IITPKD2024-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-May :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:Modulo operation with negative numbers in C2017-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-Aug-12:Problem of sign extension2017-Jul-28:atexit(): Execute code just before terminating2017-Jul-16:Byte order mark: Empty file not empty2017-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++