session types, communication protocols, linear types, typed channels
Discover
⌨️ Programming Languages & Tools
Python Linter, Code Formatter, Fast Tooling, Rust Implementation
rails, ActiveRecord, Ruby, RubyGems
PLT, Parsers, Type Systems, Typechecking
static analysis, fuzzing, symbolic execution, taint analysis
procgen, procedural content, generative algorithms, procedural map
Emacs Org-mode, org-roam, literate programming, org-babel
Digital Audio, MIDI, Music Software, Synthesis
Macros, Code Generation, Template Metaprogramming, Reflection
Scripting Language, Neovim Config, Embedded Scripting, Game Scripting
live programming, TOPLAP, Tidal Cycles, computational performance
Clojure, Scheme, Racket, S-expressions, Macros
Julia language, JuliaLang, DifferentialEquations.jl, scientific computing
hypermedia, HTML-first, no JavaScript, server-side rendering
HTML5, markup, semantic HTML, web elements
human-computer interaction, UX research, interface design, usability
Rendering, Physics Simulation, Entity Systems, Scene Graphs
tech blog, engineering post, software blog, deep dive
entity component system, data-oriented design, game architecture, archetype