Ryan Hunter artimath

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

Getting Lazy with Dataflow Graphs in Elixir

Intro

What do Tensorflow, Apache Airflow, Rule Engines, and Excel have in common?

Under the hood they all use DAGs to model data-flow dependencies of the program. Using graphs to model programs is great because you can modify the program at runtime. Lets talk about doing this in Elixir for great good.

	import * as Http from "@effect/platform/HttpServer";
	import { Effect } from "effect";
	import * as S from "@effect/schema/Schema";

	const HttpLive = Http.router.empty.pipe(
	Http.router.get("/", Http.response.text("Hello World")),
	Http.router.get(
	"/todo/:id",
	Effect.gen(function* ($) {
	const { id } = yield* $(