Skip to content

Instantly share code, notes, and snippets.

@tekknolagi
Last active October 20, 2022 05:44
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save tekknolagi/373c08dd906a7a4eae794f1310d2ab3d to your computer and use it in GitHub Desktop.
Save tekknolagi/373c08dd906a7a4eae794f1310d2ab3d to your computer and use it in GitHub Desktop.
  • Compiling compression algorithms through programs
    • Compiler as f :: (program, compression algo) -> program'
  • Does collapsing towers of interpreters work for programming languages with much bigger architectural differences than the ones in the paper?
  • Abstract abstract interpretation
  • DDCG
  • Minecraft but it's all sending code to run on a shared VM
  • PL where every state change is persisted in a DB
  • SteamDrill (Quinn) but it's layered abstractions that you can expand (Python->C->asm) & custom events
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment