here you goThings I’ve made, read and saved — shared here.

Archive

9,581 entries: 47 from X, 8,925 from Pinboard, saved 1998 to 2026.

Browse by tag, site, author, folder or language

Tags

Sites

Authors

Folders

Languages

1 entry#llvm-talk ×

2024

LLVM Talk

Building programming media for novices.

Language Composition

  • the bootstrap project
    • algebra
    • physics
    • data science

language levels

  • flags
  • rethink modularity
    • subroutines
    • objects
    • classes
    • procedures
    • libraries/modules
    • languages

When you make an operation cheap, it changes how users perceive it.

joeerl:

  • 'thread pools are a failure of a language'
  • X-oriented programming -> x is cheap to make and user

make it cheap to create langauges

language oriented programming.

  • enrich what import does.
  • provides
    • language extensions
    • restrictions
    • closure over libs
    • and other first-order information.

flags are not composable.

inventing languages is natural, but programming langauges.. ad hoc, brittle implementations and unsafe composition.

seymor pappert - low floor and high ceilings.

#lang margrave - SAT SOlving, security policies

#lang scribble/base

new syntax - rhombus.

matthew flatt - macros are lightweight apis for compilers

"A programmable programmable language"

Runtime systems

state, threads, locks

morris hurley threads book

TSR.

continuations [ primitive]

  • graceful terminations
  • longful computes

four contributions ("continuations from generalized stack inspection") paper.

js -> js compiler --> stoppify compiler - stopify.org

Accessibility

  • scene graph
  • semantic prioritization
    • frequency

Error Messages

epistemical closure

Cohen's kappa - take out the agreement by chance.

"parley"

notes#llvm-talk