Skip to content

Instantly share code, notes, and snippets.

View davejachimiak's full-sized avatar

Dave Jachimiak davejachimiak

View GitHub Profile
{
"$schema": "http://json-schema.org/schema#",
"additionalProperties": false,
"definitions": {
"pathType": {
"type": "string",
"pattern": "^(\\/?((\\.{2})|([a-z0-9][a-z0-9\\-.]*[a-z0-9]+)|([a-z0-9]*))($|\\/))+$",
"minLength": 1
}
},
@davejachimiak
davejachimiak / frp.md
Created October 11, 2015 01:43
A Collection of Papers on Functional Reactive Programming
  • Functional Reactive Animation. 1997. Conal Elliott and Paul Hudak.
  • Functional Reactive Programming From First Principles. 2000. Paul Hudak and Zhanyong Wan.
  • Genuinely Functional User Interfaces. 2001. Antony Courtney and Conal Elliott.
  • Event-Driven FRP. 2002. Zhanyong Wan, Walid Taha, and Paul Hudak.
  • Functional Reactive Programming, Continued. 2002. Henrik Nilsson, Antony Courtney, and John Peterson.
  • Push-Pull Reactive Programming. 2009. Conal Elliott
  • Asynchronous Functional Reactive Programming for GUIs. 2013. Stephen Chong and Evan Czaplicki.
// This file is part of www.nand2tetris.org
// and the book "The Elements of Computing Systems"
// by Nisan and Schocken, MIT Press.
// File name: projects/12/Memory.jack
/**
* Memory operations library.
*/
class Memory {
static int MEMORY, HEAP_BASE, NEXT_POINTER, SIZE, HEAP_LIMIT, OOM, freeList, i;
@davejachimiak
davejachimiak / Spike: Audio layering.md
Last active August 11, 2022 18:25
Research relating to: app.shortcut.com/wistia-pde/story/2262/spike-audio-layering

Spike: Audio layering

Research Objectives

Because render pipeline has support for layering audio, we need to research what it will take to support this in the UI - like adding a background track, and adjusting the volume on both the main track and background track.

Engineering Approach

  • Figure out what payload the Render Pipeline contract expects
    • Answer: RP is expecting an audioMix type, an input, multiple audio inputs -- an example of that being below.
  • Test hardcoding the input of a background track to supply RP and make sure you're getting the expected output.