Quentin Wach QuentinWach

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

Realtime Fluid Simulation: Projection

The core of most real-time fluid simulators, like the one in EmberGen, are based on the "Stable Fluids" algorithm by Jos Stam, which to my knowledge was first presented at SIGGRAPH '99. This is a post about one part of this algorithm that's often underestimated: Projection

MG4_F32.mp4

Stable Fluids

The Stable Fluids algorithm solves a subset of the famous "Navier Stokes equations", which describe how fluids interact and move. In particular, it typically solves what's called the "incompressible Euler equations", where viscous forces are often ignored.

People

`:bowtie:`	😄 `:smile:`	😆 `:laughing:`
😊 `:blush:`	😃 `:smiley:`	☺️ `:relaxed:`
😏 `:smirk:`	😍 `:heart_eyes:`	😘 `:kissing_heart:`
😚 `:kissing_closed_eyes:`	😳 `:flushed:`	😌 `:relieved:`
😆 `:satisfied:`	😁 `:grin:`	😉 `:wink:`
😜 `:stuck_out_tongue_winking_eye:`	😝 `:stuck_out_tongue_closed_eyes:`	😀 `:grinning:`
😗 `:kissing:`	😙 `:kissing_smiling_eyes:`	😛 `:stuck_out_tongue:`

	SetDirectory[NotebookDirectory[]];

	\[Sigma] = 10;
	\[Rho] = 28;
	\[Beta] = 8/3;
	Tmax = 10;

	eqn = {
	x'[t] == \[Sigma] (-x[t] + y[t]),
	y'[t] == \[Rho]* x[t] - y[t] - x[t]*z[t],

	<< MaTeX`
	SetOptions[MaTeX, "Preamble" -> {"\\usepackage{color,txfonts}"}];
	SetDirectory[NotebookDirectory[]];

	Clear[drawLadder];
	drawLadder[n_, l_, m_, imsize_: 500] := Module[{maxrungs = 5, mag = 4},
	Graphics[{
	White, Opacity[1], Thickness[.02], Dashing[None],
	Table[Line[{{0, k}, {1, k}}], {k, maxrungs}], (draw n lines)

	<< MaTeX`
	SetOptions[MaTeX, "Preamble" -> {"\\usepackage{color,txfonts}"}];
	SetDirectory[NotebookDirectory[]];

	c = 1;
	\[Alpha] = .7;
	\[Beta] = .05;
	k0 = 7;
	\[Omega]0 = 2 c;
	vg = c;