notes

Loose threads

Projects

Blog
- Engine
- Hosting
  - GitHub Pages: custom domains
  - Codeberg Pages
  - pages.gay
- Inspiration
  - Philip Zucker: notes [git]
  - Andy Matuschak: notes
  - Nikita Voloboev: notes [git]
  - June McEnroe: Git forge, man-style project list
  - Robin Schroer: blog [generator]
  - Chris Wellons: blog [git]
Forge
- Software Forge Performance Index
Contributing to jq
- gojq#86 ER: basic TCO
- jq#2707 reduce performance is poor
Contributing to egglog
- Interesting issues: Egglog interface from rust
Finish Bitwuzla bindings

Topics

Resources I want to explore further, grouped by topic. This functions additionally as a reading list.

Compiler and language design
- Language server
  - Embedded languages and injection grammars in VS Code
- Front-end
  - Algorithms in Rust for implementing pattern matching by Yorick Peterse (2022-2024)
- IR
  - RVSDG (Regionalized Value State Dependence Graph)
    - optir: Proof-of-concept RVSDG IR
    - numba-rvsdg: Numba-compatible RVSDG utilities
  - History of CPS, SSA, and ANF in the context of the T programming language [HN] and a related thread
  - Modern Compiler Implementation in Java, ML, or C by Andrew W. Appel (1998): covers SSA form and its rationale, structural properties, and calculation, efficient calculation of dominance frontiers, various optimizations with SSA, and CPS and ANF relative to SSA
- Runtime
  - Writing a JVM in Rust series by Andrea Bergia (2023)
  - Boehm–Demers–Weiser GC
    - Wasmtime considered it for use as a general-purpose GC for WebAssembly, until that goal was removed from the roadmap
- Hardware
  - From Nand to Tetris
  - Nandgame (and r/nandgame_u)
  - MHRD: game to design CPU in hardware description language
  - Bitwise: series to build a hardware and software stack from scratch
Languages
- WebAssembly
  - GC Extension
  - RFC: Add support for the WebAssembly tail calls proposal in Wasmtime [PR] (2023-01-20)
  - RFC: Implement Wasm GC in Wasmtime [PR] (2023-04-14)
  - “Extended Numeric Representations in WebAssembly”, Bachelor’s thesis by Scott Butler, supervised by Matthew Flatt (December 2019) [code]
- Rust
  - Tree Borrows by Neven Villani (2023)
  - Prusti [src]: automated static program verifier for Rust, built at ETHZ
- Haskell
  - Resources for reading GHC Core
- Idris
  - Read the papers by Edwin Brady
Structured concurrency
- In “References are like jumps” (2024), without.boats briefly discusses how Rust formerly had structured concurrency and its benefits, namely that it eliminates dynamic locking. This article (but not structured concurrency) was followed up on by Grayden Hoare.
- Is structured concurrency as powerful as structured control flow? What patterns are not possible with it (cf. generators with structured control flow).
Formal methods
- Programming Z3 (Nikolaj Bjørner, Leonardo de Moura, Lev Nachmanson, and Christoph Wintersteiger, 2018) [git]
- “Bitwuzla” (Aina Niemetz and Mathias Preiner, 2023)
- What I’ve Learned About Formal Methods In Half a Year by Jakob Kreuze (2023) [HN describes what the author learned from CSCI 1710: Logic for Systems (model checking with Alloy) and CSCI 1951x Formal Proof and Verification (formal verification with Lean) at Brown. In the latter, they implemented Scheme in Lean. Resources mentioned:
  - The Hitchhiker’s Guide to Logical Verification teaches Lean and is used in Brown CS 1951x. Seems similar to Software Foundations.
  - Lean Game Server: games to learn Lean 4
- General purpose programming in Lean (and briefly other proof assistants)
- “Pancake: Verified Systems Programming Made Sweeter” (Johannes Åman Pohjola, Hira Taqdees Syeda, Miki Tanaka, Krishnan Winter, Gordon Sau, Ben Nott, Tiana Tsang Ung, Craig McLaughlin, Remy Seassau, Magnus Myreen, Michael Norrish, and Gernot Heiser, PLOS 2023)
Computing history
- The Apollo Guidance Computer: Architecture and Operation [HN]
  - related videos and talks linked by HN
- A Personal History of APL by Michael S. Montalbano (1982)
- Proceedings of the History of Programming Languages conference
- Chris Lattner
  - Lessons from LLVM: An SC21 Fireside Chat with Chris Lattner (2021)
  - Chris Lattner on the origins of Swift (2019)
Bootstrapping
- Rust
  - mrustc
    - Bootstrapping Rust by Danny Milosavljevic (2018)
  - Bootstrapping in the Rust Compiler Development Guide
- GNU Mes
  - Milestone — MesCC builds TinyCC and fun C errors for everyone [HN]
Performance
- The Rust Performance Book by Nicholas Nethercote (2020)
- One Hundred Thousand Lines of Rust blog series by Alex Kladov (2021) [discussion]
Systems
- Shadow: novel browser engine in JS [HN]

Tools and libraries to try

Rust
- cross: cross-compilation and cross-testing of crates
- cxx: safe interop between Rust and C++
- Gxhash: fast non-cryptograph hashing algorithm
- insta: snapshot testing
- self_cell: self-referential structs
Ryu: IEEE-754 fast and accurate string formatting
- dtolnay/ryu: Rust port
  - Boa Ryū-js: adaptation for JavaScript engine
Dash: offline API documentation browser for macOS
VSCode LLVM Compiler Explorer: exploring LLVM IR and machine IR after each pass

Developments to follow

ipnsort is a sorting algorithm by Lukas Bergdoll, which performs at the top of benchmarks for unstable sorts, passes all safety and correctness criteria, and is designed as the new Rust slice::sort_unstable (as mentioned on HN)

Other

Saudade 5-octave marimba solo [video]

This site is open source. Improve this page.