Initially taken by Niko Matsakis and lightly edited by Ryan Levick
- Introductions
- Cargo inside large build systems
- FFI
- Foundations and financial support
#!/bin/bash | |
# Usage: ./my-service --listen=127.0.0.1:`mon 8080` | |
PORT=$(( ((RANDOM<<15)|RANDOM) % 63001 + 2000 )) | |
echo "$PORT" | |
socat -v TCP4-LISTEN:"$1",bind=127.0.0.1,reuseaddr,fork TCP4:"${2:-127.0.0.1}":$PORT >&2 & ! |
See also my tech blog.
from ortools.sat.python import cp_model | |
persons = ['robert', 'john', 'george', 'yolando', 'christine', 'barbara'] | |
rooms = ['kitchen', 'bathroom', 'dining', 'living', 'pantry', 'study'] | |
weapons = ['bag', 'firearm', 'gas', 'knife', 'poison', 'rope'] | |
robert, john, george, yolando, christine, barbara = 0, 1, 2, 3, 4, 5 | |
kitchen, bathroom, dining, living, pantry, study = 0, 1, 2, 3, 4, 5 | |
bag, firearm, gas, knife, poison, rope = 0, 1, 2, 3, 4, 5 |
This is inspired by https://fasterthanli.me/blog/2020/a-half-hour-to-learn-rust/
the command zig run my_code.zig
will compile and immediately run your Zig
program. Each of these cells contains a zig program that you can try to run
(some of them contain compile-time errors that you can comment out to play
with)
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/ |