Pinned

1. Burn Duo-R/PCE-CD/tg16 CD discs in L... Burn Duo-R/PCE-CD/tg16 CD discs in Linux

   1

   #!/usr/bin/env bash

   2

   3

   _infile="$1"

   4

   _basename="${_infile%%.zip}"

   5

   _tocfile="${_basename}".toc

2. The Y Combinator explained in a runn... The Y Combinator explained in a runnable Scheme file

   1

   ;;; The Y Combinator explained in scheme.

   2

   ;;; with credits to:

   3

   ;;;   https://mvanier.livejournal.com/2897.html

   4

   ;;; Status: WIP

   5

3. If you're behind a harsh MITM firewa... If you're behind a harsh MITM firewall trying to use github or gitlab with ssh, it may be blocking port 22 or even inspecting your packets. Luckily, both github and gitlab offer alternative ssh services over port 443. Took a little digging to find that gitlab's is "altssh.gitlab.com," but having these lines in your ~/.ssh/config should make you happy. Use everything as normal and let the ssh client handle using different ports and hostnames based on your config.

   1

   Host gitlab.com

   2

     Hostname altssh.gitlab.com

   3

     Port 443

   4

     User git

   5

     PreferredAuthentications publickey

4. booksbyus/scalable-c booksbyus/scalable-c Public

   Scalable C - The Book

   Smarty 346 41

5. play-ocaml play-ocaml Public

   My ML sandbox

   HTML 1

6. bazel-basic-cpp bazel-basic-cpp Public

   Basic bazel C++ repo

   C++