Making a Type Checker/LSP for Nix
Building a TypeScript-style type checker and LSP for Nix with algebraic subtyping and negation types
John's Codes
My ramblings on programming
Latest posts
Advent Of Code 2024 in Nix - Days 04-06
trying to do advent of code in "pure" nix eval
Advent Of Code 2024 in Nix - Days 01-03
trying to do advent of code in "pure" nix eval
Making a Chess Engine in Zig
Learning zig by making a chess engine
Efficient Nix Derivations with File Sets
Using nix's new file set API to make efficient derivations
Organizing system configs with NixOS
How I organize and manage my system and user configs with NixOS and homemanager
Exposing a Rust Library to Node with Napi-rs
Short guide/exploration on making native node addons with rust
Building a Simple DB in Rust - Part 3 - Less Basic Execution
Cleaning up existing execution logic
Building a Simple DB in Rust - Part 2 - Basic Execution
Building a basic database in rust
Building a Simple DB in Rust - Part 1 - Parsing
building a basic database in rust
Building Typescript Node Apps With Nix
Trying some different nix builders for typescript node apps
Making a PR to Nixpkgs
My rough ramblings on how to contribute a small pr to Nixpkgs
Type Safe GroupBy In TypeScript
Create a better groupBy function that only allows valid keys to be grouped on
Rust Environment and Docker Build with Nix Flakes
Reproducible dev environments and builds with Nix
Intermediate Typescript: Generics and Mapped Types
Useful applications of generics and mapped types
Intermediate Typescript: Literals and Unions
Typescript patterns I have found to make your life easier in a big codebase