Type Inference, Unification, Polymorphism, ML-family
Discover
โจ๏ธ Programming Languages & Tools
helix editor, modal editing, tree-sitter, Rust editor, kakoune
human-computer interaction, user interfaces, interaction design, usability
Godot, GDScript, Redot, game engine
GDScript, Godot scripting, Godot 4, game scripting, Godot language
GNU, GPL, FSF, Richard Stallman, FOSS
entity component system, data-oriented design, game architecture, archetype
DSL Design, Parser Combinators, Language Workbenches, Meta-Programming
cranelift, code generation, JIT compiler, WASM runtime, bytecode alliance
Virtual Machines, Instruction Sets, Intermediate Representations, Execution
Ownership, Lifetimes, Memory Safety
Property-based Testing, Symbolic Execution, Test Generation, Coverage Analysis
astro, astrojs, island architecture, static site, astro components
indie dev, app release, SDK, developer tools
mobile apps, web apps, app development, SaaS
API design, REST, developer tools, SDK
Markdown Editors, Version Control, Grammar APIs, Writing Analytics
Classic Hardware, Assembly Language, Computer History, Restoration
Text Editor, Modal Editing, Command Line, Developer Tools