Isitha Subasinghe isubasinghe

## type-systems.txt
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/

## distributed_systems_readings.md

      
              1 file
            
          
              0 forks
            
          
                0 comments
              
            
              0 stars
            
          
                isubasinghe
                / distributed_systems_readings.md
            
            
              Created
              November 9, 2021 02:06
                — forked from mrzasa/distributed_systems_readings.md
            
              
                distributed systems readings
              
          
    #Distributed System Course List
##Systems


Cornell CS 614 - Advanced Course in Computer Systems - Ken Birman teaches this course. The readings cover more distributed systems research than is typical (which I am in favour of!). In fact, there's barely anything on traditional internal OS topics like filesystems or memory management. There's some worthwhile commentary at the bottom of the page.


Princeton COS 518 - Advanced Operating Systems - short and snappy reading list of two papers per topic, covering some interesting stuff like buffering inside the operating system, and L4.


## muzero.py
# Lint as: python3
"""Pseudocode description of the MuZero algorithm."""
# pylint: disable=unused-argument
# pylint: disable=missing-docstring
# pylint: disable=g-explicit-length-test

import collections
import math
import typing
from typing import Dict, List, Optional

## zigzag-encoding.README
  ZigZag-Encoding
  ---------------

  Maps negative values to positive values while going back and
  forth (0 = 0, -1 = 1, 1 = 2, -2 = 3, 2 = 4, -3 = 5, 3 = 6 ...)

  (i >> bitlength-1) ^ (i << 1)

  with "i" being the number to be encoded, "^" being
  XOR-operation and ">>" would be arithemtic shifting-operation

## flex-example.html
<html>
    <head>
        <style>
            .container {
                display: flex;
                flex-direction: row;
                justify-content: space-around;
            }
        </style>
    </head>
	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/
	# Lint as: python3
	"""Pseudocode description of the MuZero algorithm."""
	# pylint: disable=unused-argument
	# pylint: disable=missing-docstring
	# pylint: disable=g-explicit-length-test

	import collections
	import math
	import typing
	from typing import Dict, List, Optional
	ZigZag-Encoding
	---------------

	Maps negative values to positive values while going back and
	forth (0 = 0, -1 = 1, 1 = 2, -2 = 3, 2 = 4, -3 = 5, 3 = 6 ...)

	(i >> bitlength-1) ^ (i << 1)

	with "i" being the number to be encoded, "^" being
	XOR-operation and ">>" would be arithemtic shifting-operation
	<html>
	<head>
	<style>
	.container {
	display: flex;
	flex-direction: row;
	justify-content: space-around;
	}
	</style>
	</head>