Tutorial

For students who are interested in machine reasoning & learning, here are some fun & useful stuff.

Maths & Machine Learning

• Michael Sipser: Intro to the Theory of Computation
• Shai Ben-David: Logic and Computation
• 林轩田：机器学习基石

Programming

Prolog language.

• Software: SWI-Prolog or Scryer Prolog
• Tutorials:
  • Learn Prolog in Y minutes
  • Learn Prolog Now
  • The Power of Prolog with videos
  • SWI-Prolog Manual
• LAMDA’s Prolog Seminar in 2023

Toolchain

Many things have been already covered by The Missing Semester, but I’d like to add a few points as follows.

Operating System

GNU/Linux (IMHO Linux $\gg$ MacOS $\geq$ Windows).

• Pick a distro: Distro watch
• Instead of conventional distros like Debian or Ubuntu (which IMHO are cumbersome and boring), I strongly recommend Arch-based distros, such as Manjaro and EndeavourOS, or even try Arch Linux itself if you are familiar with Linux . There are several benefits:
  1. One of the best documentation of Linux: Archwiki
  2. Better package management: pacman
  3. The best user-produced packages repository: AUR (even has the notorius tencent’s wechat and QQ)
  4. Great communities: Arch linux forum and Arch linux CN
  5. The best gaming support in Linux, e.g., even Steam Deck’s OS has migrated from Debian to Arch
  6. User friendlier than Gentoo and LFS
• Opensource mirrors (Linux, Tex, Anaconda, PyPI, etc)
  • MirrorZ in CERNET
  • Specifically for NJU students, NJU Mirror
• If you’re using a very new platform and worried that Linux kernel may not support your computer, keep an eye on Phoronix and kernel.org

Taking Notes

Mark-up languages with LaTeX support.

• Org-mode in GNU Emacs. I use this because its versatility and is highly customizable and I am old fashioned.
• Markdown in VSCode.

Making Presentations

Use Reveal.js, and edit them with

• ox-reveal if you’re using Emacs. Here is my dot file for it.
• Markdown with reveal in VS Code