Skip to content

Instantly share code, notes, and snippets.

View mikhaildubov's full-sized avatar

Mikhail Dubov mikhaildubov

View GitHub Profile
@tedz2usa
tedz2usa / Installing SML-NJ on Ubuntu 18.04
Last active April 8, 2024 13:37
Installing SML-NJ on Ubuntu 18.04
Installation Tips for SML/NJ on Ubuntu 18.04
Ted Zhu
First, follow the steps outlined in the SML/NJ installation instructions for Unix:
http://smlnj.org/install/
The final step,
$ config/install.sh
@kauffmanes
kauffmanes / install_anaconda.md
Last active May 6, 2024 02:02
Install Anaconda on Windows Subsystem for Linux (WSL)

Thanks everyone for commenting/contributing! I made this in college for a class and I no longer really use the technology. I encourage you all to help each other, but I probably won't be answering questions anymore.

This article is also on my blog: https://emilykauffman.com/blog/install-anaconda-on-wsl

Note: $ denotes the start of a command. Don't actually type this.

Steps to Install Anaconda on Windows Ubuntu Terminal

  1. Install WSL (Ubuntu for Windows - can be found in Windows Store). I recommend the latest version (I'm using 18.04) because there are some bugs they worked out during 14/16 (microsoft/WSL#785)
  2. Go to https://repo.continuum.io/archive to find the list of Anaconda releases
  3. Select the release you want. I have a 64-bit computer, so I chose the latest release ending in x86_64.sh. If I had a 32-bit computer, I'd select the x86.sh version. If you accidentally try to install the wrong one, you'll get a warning in the terminal. I chose `Anaconda3-5.2.0-Li
@vasanthk
vasanthk / System Design.md
Last active May 6, 2024 01:32
System Design Cheatsheet

System Design Cheatsheet

Picking the right architecture = Picking the right battles + Managing trade-offs

Basic Steps

  1. Clarify and agree on the scope of the system
  • User cases (description of sequences of events that, taken together, lead to a system doing something useful)
    • Who is going to use it?
    • How are they going to use it?