Sleeps, codes, climbs, runs, learns cryptography.

Life goal is to make fast, reliable, and secure software so that people can enjoy modern software without needing modern hardware.

Keeps a small blog, and a list of cool websites.

Does projects to solve daily-life problems and learn code in an applied setting:

• Gitnu – Enumerates git status
  67k+ downloads on crates.io.
• Wordle – A fun application of Information Theory
  Evaluates wordle algorithms in <2s.

Explores other languages to keep an open perspective:

• Helium – Wacom Tablet Driver extension for Precision Mode
  Swift, XCode, macOS UI Application; also in daemon form.
• Canvas Sync – Cross-platform GUI synchronization tool
  C++, Qt6 Framework, automated builds on GitHub.
• Aquarium – Backtracking solver for the Aquarium puzzle
  Implemented in both Swift and Rust.
• Nvim Toggler – Toggle words under your cursor
  Lua plugin for Neovim, 190★ on GH.

Find me on GitHub, LinkedIn, and Instagram.

Blog

Cool websites

In an era where human-made content is struggling against the machine, real pockets of the internet are so much more valuable. So I find it almost necessary to document it whenever I find someone’s passion project.

Among the links here are inspirational blog posts, insanely intricate personal projects,

Blog posts

• Terry Tao’s Career Advice.
• Don’t delegate understanding.
• Division by zero in type theory: a FAQ.
• Rust’s match vs lookup tables.
• I’m an American software developer and the “broligarchs” don’t speak for me.
• Typing with pleasure.

Personal sites

• burntsushi.net by Andrew Gallant, the creator of ripgrep, among many other awesome software.
• muan.co by Mu-An Chiou, one of the orignal inspirations to this site.
• agwa.name, the creator of git-crypt and founder of SSLMate.
• pavelfatin.com by Pavel Fatin, a programmer who seems obsessed satisfying interactions with the computer (cf Typing with pleasure and Scrolling with pleasure).
• terrytao.wordpress.com by Terrence Tao.
• andrewkelley.me by Andrew Kelley, the creator of Zig.
• typesanitizer.com by Varun Gandhi.
• dbushell.com, a website that commits to no AI content.
• art.fberriman.com by Frances Berriman, an artist.

Concepts that exist

• Hyrum’s Law: “With a sufficient number of users of an API, it does not matter what you promise in the contract: all observable behaviors of your system will be depended on by somebody.”
• The XY Problem; asking about your attempted solution rather than your actual problem.

Privacy/Cryptography

• drduh’s Yubikey Guide (github).
• Passkeys

Design-related keeps

• Monospaced fonts: JetBrains Mono, Commit Mono,
• Display fonts: IBM Plex, Readex Pro.
• Iconify: home of open source icons.

Hobby stumble-upons

• Alex Medeot’s Keyboard Vendor List.
• Accelerating Metronome.
• Need For Speed Abandonware (reddit).

Photo galleries

• Greg Martin | Views Of The Pacific Northwest
• Alex Armitage
• Mercedes F1 Team

Rust crates

Of course we have the really popular few like tokio and rand, but here’s a special few that I would like to keep saved.

• ripgrep - line-oriented regex search tool.
• camino - UTF-8 paths.
• chrono - date and time library.

Random finds

• Company acquisitions.
• Anti JavaScript JavaScript Club.
• Ghostty releases.
• Kitty (terminal) releases.
• Crafting Interpreters.
• Spatial Reasoning Puzzles (website, reddit).