命令行工具、代码编辑器、终端环境与高阶开发工作流。
I crawled over 40k indie launches to see what they ship
Competitive optimization of formally verified circuits
Learn Arabic with spaced repetition and comprehensible input
programmable internet search w/ congestion pricing
A community based travel app for users to share routes
Watch YouTube without the recommendation algorithm
A lightweight, dependency-free Bash wrapper for LLM APIs
Spotify to lossless with full metadata, self-hostable, ad-free
We chased a weather balloon across Montana and never found it
Run shell commands from your Piano. A Linux CLI tool
Bible translated using LLMs from source Greek and Hebrew
I built a navigation app that displays weather along the route
I built 80 mini-games using Fable before it was shut down
typeset as the 1787 newspapers they ran in