xmonader

#!/bin/bash

# the script to make tables like this
# +----------+--------+--------------------+
# |col1      |col2    |col3                |
# +----------+--------+--------------------+
# |val1      |val3    |val4                |
# +----------+--------+--------------------+
# |valqeefnkl|val3wekj|val4                |
# |1         |bkjwvsaj|                    |

xmonader

Classes
* Keith Devlin - Introduction to Mathematical Thinking - https://www.coursera.org/learn/mathematical-thinking
* Michael Genesereth - Introduction to Logic - https://www.coursera.org/learn/logic-introduction
* Robert Harper - Homotopy Type Theory - http://www.cs.cmu.edu/~rwh/courses/hott/

Books and Articles
* Benjamin C. Pierce - Types and Programming Languages - https://www.cis.upenn.edu/~bcpierce/tapl/
* x775 - Introduction to Datalog - https://x775.net/2019/03/18/Introduction-to-Datalog.html
* Bartosz Milewski - Category Theory For Programmers - https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
* Benjamin C. Pierce et al. - Software Foundations - https://softwarefoundations.cis.upenn.edu/

xmonader

import x.json2

struct First {
mut:
	a int
}

struct Second {
mut:
	ok bool

xmonader

Tech Links

See also my tech blog.

Computer Architecture

• Padraic Edgington's videos
• Design of Digital Circuits, ETH Zurich, Onur Mutlu, Spring 2019
  • Basic CPU design course, LC-3, MIPS, FPGA, Vivado, Basys 3
• High Performance Computer Architecture, Georgia Tech CS6290

xmonader

#!/bin/bash

if [ $# != 2 ] ; then
    echo "usage $0 PATH_TO_BINARY TARGET_FOLDER"
    exit 1
fi

PATH_TO_BINARY="$1"
TARGET_FOLDER="$2"