nowfound

Life & fun · May 8, 2020

MM

Micro-mitten – Research language with compile-time memory management

I've been working on implementing the compile-time approach to memory management described in this thesis (https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-908.pdf) for some time now - some of the performance results look promising! (Although some less so...) I think it would be great to see this taken further and built into a more complete functional language.

Visit github.com ↗Alternativestop 5% of May 2020

Does the same job

all alternatives →

More life & fun this month

the category →
  • TL
    The load-bearing vocabulary of Claude▲703

    Life & fun · 10d ago · louisabraham.github.io

  • iPhone app takes simultaneous images from 2 lenses, fuses into 1 photo▲329

    Photosynthesis fires two of your iPhone

    Life & fun · 28d ago · photosynthesis.camera

  • SoloUno▲310

    Take control of hair pulling, nail biting & skin picking

    Life & fun · 28d ago · solouno.io

  • Scroll through all 43252003274489856000 Rubik's Cube states▲295

    Scroll through all 43,252,003,274,489,856,000 reachable Rubik's Cube permutations.

    Life & fun · 26d ago · everycube.alen.is

  • Expeditione▲265

    The Interactive 3D Encyclopedia

    Life & fun · 21d ago · expeditione.fun

  • Eigendrum - Draw any shape and hear what it sounds like as a drum▲243

    Hi HN, I built Eigendrum, a web tool that solves the 2D wave equation for arbitrary shapes so you can hear what they sound like as drums. How it works: * Solves -∇²u = λu using finite element analysis (Kφ = λMφ) on a triangle mesh. * Validated to <0.1% error against closed-form solutions for circles (Bessel zeros) and rectangles. * Sound model factors in strike location, Rayleigh damping, and mallet width. * Includes Kac drums I & II to demonstrate identical sound spectra from different geometries. * No frameworks, build steps, or dependencies. Repo and tests:…

    Life & fun · 26d ago · baselashraf81.github.io

Launched alongside, May 2020

the whole month →