Self-hosted remote dev containers
This project explores setting up remote development containers on your own compute, working as a self-hosted equivalent of GitHub Codespaces.
1689 projects published
This project explores setting up remote development containers on your own compute, working as a self-hosted equivalent of GitHub Codespaces.
This AI assistant triages incoming LinkedIn messages, links them to email chains, handles scheduling and back-and-forth communication, and drafts replies. It was built to automate the author's own job search and to learn the AI stack.
An independent LaTeX engine written in Rust with no C dependencies. It aims to support bidirectional editing of LaTeX output — letting users drag objects around and interact with typeset pages — with realtime edits in the ~10 millisecond ballpark, in service of mathematical exposition.
A free, open source collection of browser-based attention and working-memory exercises, including Dual N-Back, Stroop, Schulte tables, attention-control exercises, and memory games, playable without an account, app install, or subscription.
This platform lets developers build advanced software in a single HTML file by storing state in the document itself, with host-granted APIs to sync changes with live collaborators, extract data via a simple JSON map config, and boot a full content CMS from the same config. It includes a hosted platform and source-available native offline apps, with about a dozen paying users and a long-term vision of the file type being supported by other companies' tools and hosting.
A customer support platform that unifies the basic requirements of customer support which are typically split across multiple per-user-priced tools, giving everyone in a small team visibility into what is being communicated to customers.
A dark software factory: an autonomous system that takes stray thoughts and automatically plans and builds software. The main iteration runs full time waiting for the next idea; a second iteration targeted an open weights model and worked in limited cases; the third, in-progress iteration is more autonomous, taking only a goal and a strategy and deciding its own projects.
Ad-free, subscription-free fitness app (part of a workout and dieting stack with 17,000+ users) that estimates total daily calorie burn using a sensorless method, aiming to deliver guaranteed weight loss or weight gain outcomes within 2-3 weeks, with many users seeing results within the first week.
Calorie tracking app (part of the same ad-free, subscription-free stack) with a built-in agent harness using BYOK (bring your own key) models; agent skills help users accurately track calories and plan meals.
Fully programmable workout tracker (part of the same ad-free, subscription-free stack), positioned as a completely free, no-ads alternative to BoostCamp; supports built-in programs such as GZCLP.
A code forge whose collaborative features work offline, enabling collaborative software development (source hosting and collaboration) without requiring an internet connection.
Openreading is a document intelligence router that routes documents to other parsers with key techniques for managing failures, based on the author's team's enterprise document intelligence experience. It is open core and work-in-progress, with benchmarks and a managed version (durable compute, retries, parallel execution, intent understanding) planned for later.
A technical article explaining compacting garbage collection, written for publication on the author's personal website.
An AI game agent that plays Slay the Spire, capable of achieving multiple Ascension 20 Heart (A20H) wins.
A retrieval engine that uses attention for retrieval, achieving several state-of-the-art results on multiple benchmarks including LongMemEval, LoCoMo, and code search.
This macOS app wraps whatever audio is playing through device convolution (e.g., old radio, hi-fi system), room convolution (e.g., bedroom, forest), ambience layers (rain, wind, waves), and Apple spatial processing so the sound feels like a real space. It is built to help with focus for late-diagnosed ADHD, since hearing sound in a space helps more than dry audio.
A YouTube video about the fourth book in the Wheel of Time series, built with elaborate infographic-style visual segments.
Work to improve bcachefs for setups that mix SSDs and HDDs in one filesystem, so foreground operations get SSD-class write latencies instead of being dragged down by the HDD, with the HDD relegated to background work.
Effort to resurrect Stabilizer, a tool that makes program performance less dependent on the linker and layout lottery, which has fallen victim to bitrot.
Minor contributions to other parts of the Linux kernel, such as ZFS and ext4, made mostly as a byproduct of experiments run for the author's bcachefs work.
Project to make swapfiles work, or work better, on ZFS and bcachefs filesystems.
AI assistant for property research in Sydney, Australia. It began as an MCP providing accurate property data and evolved into a full web app plus AI assistant. API endpoints are powered by in-process DuckDB querying parquet files stored on disk.
Open-source agent that combines error tracking with session recording to identify and investigate user-facing issues. It reduces false positives by ranking issues based on how many users are affected, learns about the product by reading its code and watching session recordings, and reviews recordings for rage clicks, dead clicks, and abandoned forms to catch issues that don't throw exceptions.
A website summarizer, reportedly built in two minutes using DeepSeek.
An orchestrating agent that supervises subagents running tasks, checks their output, and qualifies their results by efficiency and time consumed, enabling multiple apps to be built in parallel.
A modified DeepSeek Harness with its restrictions circumvented, giving it the ability to run unattended with full access to everything.
A specification-first development system that uses Bazel macros to produce tested code by developing separate implementations and tests, then comparing them until both are correct. Specs are declarative and modular, primarily written by an LLM, with the goal of translating them into a formal reasoning framework so ungroundedness feedback helps the LLM write better specs; changes and refactors are made via specs first and aligned down to tests and code. Upcoming plans include supporting build systems other than Bazel, figuring out packaging, and adding more demos.
A flexible printed circuit board instrument tuner built around the RP2040 microcontroller, produced as part of KiCAD-based PCB generation work using MCPs.
Guitar pickguards designed as Stratocaster-style PCB art, produced through KiCAD-based PCB generation work using MCPs.
An experimentation board for the NeXTBus, built to better understand the nuances between NeXT's and Apple's NuBus implementations; designed via KiCAD PCB generation with MCPs.