Hardware
Radio hardware, board interfaces, and relay control, with attention to battery and solar power budgets.
Hardware. Software. AI.
Radio hardware, board interfaces, and relay control, with attention to battery and solar power budgets.
Firmware, Linux and kernel development, applications, and the infrastructure that connects them.
Local models, agent tooling, and automation that connects AI to real systems and workflows.
Embedded systems, distributed software, and engineering tools.
Built with Nelua and Lua on ESP32, Atlas brings distributed systems to the field and feeds animals across North America. It combines offline-first LoRa communication and reliable scheduling on power-budgeting field hardware.
Ghostty terminal integration for Final Fantasy XIV through Dalamud.
A distributed-systems research prototype for portable computation with cryptographically signed execution history. Cursors combines an executable runtime model, SQLite-backed continuation scheduling, and an interactive console for inspecting execution and peer connectivity.
SignedData explores compact, verifiable data envelopes with bounded parsing and authentication of the original bytes. SignedForm brings signed field policies to Rails forms, with destination checks and view-digest validation.
I use Nelua extensively across Atlas: the native firmware core, Ranger’s radio and modem interfaces, and Dial’s device drivers, graphics, and Bluetooth support. Lua-like syntax compiled through C to native code gives me direct hardware access and explicit control over memory.
Explore repositories and contributions