Structure Parsing, Format Specification, ABNF Extensions, Schema Languages
Browse Popular Interests
Browse:
โจ๏ธ Programming Languages & Tools
Cloud Compilation, Parallel Parsing, Incremental Analysis, Language Servers
Remote Compilation, Build Distribution, Caching Strategies, Network Protocols
Writing Software, Minimal Interfaces, Focus Tools, iA Writer, Ulysses
Environment Variables, Nix Shell, Development Setup, Project Config
dialogue trees, branching dialogue, conversation engine, narrative scripting
System Architecture, Visual Documentation, Mermaid, D2, Graphviz
Configuration Languages, Type Safety, Functional Configuration, Nix Alternative
Developer Tools, Workflow Optimization, Productivity Metrics, Development Environment
dependent type theory, Idris, Agda, proof assistant, type-level programming
Verification, Type-level Programming, Safety Proofs, Linear Types
Type-safe Archives, Verified Storage, Format Correctness, Proof Assistants
Context-sensitive Grammars, Type-dependent Syntax, Proof-carrying Parsers, Verified Parsing
Type-safe Storage, Verified Preservation, Format Correctness, Proof-carrying Data
Version Constraints, Package Management, Build Systems, Conflict Resolution
DI container, inversion of control, IoC, CDI, wiring
denote emacs, plain-text notes, note-taking emacs, zettelkasten emacs
Shift/Reset, Control Operators, Algebraic Effects, Prompt
Higher-Order Elimination, CPS Transform, Closure Conversion, First-Order
List Fusion, Intermediate Structure Elimination, Haskell, Stream Processing