# LLVM Talk

- Page: https://shared.btbytes.com/p/llvm-talk
- Date: 2024-01-26
- Tags: 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"