Markov process A probabilistic process where there is a finite set of states $\chi$, and at each step of the process, the probability of transitioning from a given state $x$ to a different state $...

Why no longer Conda I used miniconda to manage python virtual environment for several months, but I feel: Conda does not have a nice integration in Doom Emacs Conda is slow to m...

Explicit enumeration/search The idea of explicit enumeration is to consider different explicit/concrete programs constructed from the given DSL until a desired program is found. There are 2 catego...

Program synthesis, Compiler, logical programming and machine learning Common: program generation from high-level description of its behavior Synthesis: search the program space f...

Programming by Example (PBE) and Programming by Demonstration (PBD) The goal of PBE is to synthesize a function given a set of inputs and outputs, while in PBD uers also provide a a trace of how t...

Domain specific language In program synthesis, choosing an appropriate program notation is crucial. A more narrow notation that only precisely captures the relevant program space increases the eff...

A while ago I was recommended to watch this talk about Lisp, where a Lisp interpreter is presented with only several lines of Lisp code, as copied from here: (define eval-expr (lambda (expr env)...

In one task I am currently assigned to, I need to work with multiple docker containers. In this post, I will document the installation of docker, the basic usage, and if possible explaining the com...

In my lecture I need the ssh access and write exercises there because my own laptop does not have the required environments. I am using Doom emacs, so with the module upload (i.e., Tramp) enabled, ...

Recently I have been trying out complex SSH operations. Scenario 1 One scenario is, say I have two hosts PC1 and PC2, connected within the same subnet. Then I have a VM running in PC2, and I want...