GitHub - ctxrs/ctx: Search the coding agent history already on your machine
ctx is an open-source CLI for fast local search across your past coding agent sessions. Coding agents usually start from zero. They can inspect the current repo, but they often cannot recover the discussions, decisions, failed attempts, commands, and test results from earlier work. Those sessions are full of useful context: decisions, constraints, intent, and rejected approaches from you bug inves
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.csp-consortium.org/apps/Transputer%20and%20occam%20--%20a%20personal%20history.pdf
zkGolf: golf zero-knowledge circuits, verified in Lean
