Skip to content

Instantly share code, notes, and snippets.

View QuentinWach's full-sized avatar
🛠️

Quentin Wach QuentinWach

🛠️
View GitHub Profile
@QuentinWach
QuentinWach / covid.ipynb
Created April 13, 2020 02:17
"It's going to be just fine."
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@QuentinWach
QuentinWach / run.py
Created May 15, 2020 17:29
(a) Random Walker
# Random Walker ThP4 14.Mai 2020
# Quentin Wach
import matplotlib.pyplot as plt
import matplotlib
import matplotlib.ticker as ticker
from matplotlib import rc
rc('font',**{'family':'sans-serif','sans-serif':['Helvetica']})
rc('text', usetex=True)
import numpy as np
import math
@QuentinWach
QuentinWach / run_2.py
Created May 15, 2020 17:55
(b) Random Walker
# Random Walker ThP4 14.Mai 2020
# Quentin Wach
import matplotlib.pyplot as plt
import matplotlib
import matplotlib.ticker as ticker
from matplotlib import rc
rc('font',**{'family':'sans-serif','sans-serif':['Helvetica']})
rc('text', usetex=True)
import numpy as np
import math
# Quentin Wach, AVL Tree
class Node:
def __init__(self, key, leftChild=None, rightChild=None, parent=None):
self.key = key
self.leftChild = leftChild
self.rightChild = rightChild
self.parent = parent
self.height = 1
@QuentinWach
QuentinWach / LEARN.md
Created May 26, 2024 13:42 — forked from Zafnok/LEARN.md
Understanding how HVM works

Understanding how HVM works

Introduction

HVM takes the ideas of Interaction Combinators and combines it with the ideas of Type Systems, Functional Programming, and Compilers, to create an implementation of Yves Lafont's ideas into a highly parallelized runtime.

Resources

Start with the HVM whitepaper and HOW page of the repo, and if that makes sense to you, great! You're probably too smart for everything after. Otherwise, read into the next sections to develop the knowledge you're missing.

Intro to Lambda Calculus

Much of the Interaction Combinator papers are written with an audience presumed to be familiar with lambda calculus, so it is good to have some knowledge here before jumping into the Interaction Combinators section.

  • [Programming Languages](htt