Feeds: RSS / tw.txt / jsonfeed
(All feeds contain posts from the last 100 days.)
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++