ikukojohanna

Scala Sampler for Functional Soundscapes

Project for Google Summer of Code 2024

Project Description and Goals

The main objective of this project was to develop a sampler instrument for Sounds of Scala, a web-based music and audio library built for Scala. A sampler is a type of digital music instrument for playing and manipulating audio samples. Sounds of Scala leverages Scala.js to target the Web Audio API, which brings audio processing capabilities to the web browser.

The sampler instrument is an important addition to Sounds of Scala, significantly expanding possibilities in developing web based music applications with the library.

Report Overview

The remainder of this report first discusses the work that was completed, then outlines a list of the PRs made, describes the implementation in det

hirrolot

type cps_var =
  (* Taken from the lambda term during CPS conversion. *)
  | CLamVar of string
  (* Generated uniquely during CPS conversion. *)
  | CGenVar of int

type cps_term =
  | CFix of (cps_var * cps_var list * cps_term) list * cps_term
  | CAppl of cps_var * cps_var list
  | CRecord of cps_var list * binder

hirrolot

(* A variable identifier of the lambda language [term]. *)
type var = string [@@deriving eq]

(* The lambda language; direct style. *)
type term =
  | Var of var
  | Fix of (var * var list * term) list * term
  | Appl of term * term list
  | Record of term list
  | Select of term * int

zserge

package main

import (
	"bytes"
	"compress/zlib"
	"crypto/sha1"
	"encoding/hex"
	"fmt"
	"io"
	"log"

hirrolot

(* The syntax of our calculus. Notice that types are represented in the same way
   as terms, which is the essence of CoC. *)
type term =
  | Var of string
  | Appl of term * term
  | Binder of binder * string * term * term
  | Star
  | Box

and binder = Lam | Pi

emidoots

Because cross-compiling binaries for Windows is easier than building natively

I want Microsoft to do better, want Windows to be a decent development platform-and yet, I constantly see Microsoft playing the open source game: advertising how open-source and developer friendly they are - only to crush developers under the heel of the corporate behemoth's boot.

The people who work at Microsoft are amazing, kind, talented individuals. This is aimed at the company's leadership, who I feel has on many occassions crushed myself and other developers under. It's a plea for help.

The source of truth for the 'open source' C#, C++, Rust, and other Windows SDKs is proprietary

You probably haven't heard of it before, but if you've ever used win32 API bindings in C#, C++, Rust, or other languages, odds are they were generated from a repository called microsoft/win32metadata.

ityonemo

A half-hour to learn Zig

This is inspired by https://fasterthanli.me/blog/2020/a-half-hour-to-learn-rust/

Basics

the command zig run my_code.zig will compile and immediately run your Zig program. Each of these cells contains a zig program that you can try to run (some of them contain compile-time errors that you can comment out to play with)

aspnetde

import React, { useReducer } from "react";

interface State {
  userName: string;
  password: string;
  isValid: boolean;
}

const initialState: State = {
  userName: "",

iocanel

Nutrition tracking using Emacs

This is not a blog post. This is my Emacs powered nutrition tracker!

No, I mean it!

It’s the one file that contains all the code, templates and data of my tracker,

tanmatra

/*
 * https://overreacted.io/algebraic-effects-for-the-rest-of-us/
 */

private val effectsStack = ThreadLocal<EffectsFrame>()

fun <T> perform(effectKey: Any): T {
    var frame = effectsStack.get()
    while (frame != null) {
        @Suppress("UNCHECKED_CAST")