Leni Aniva aniva
0 Followers · 1 Following
  • Stanford University Centaur Lab
  • https://leni.sh

  • Director of NorCal Hakkero Factory No. 1

  • Joined on 2023-08-21
Repositories
12
 Projects Packages Public Activity Starred Repositories
9
aniva pushed to io/serial at aniva/Pantograph 2023-08-23 13:25:42 -07:00
7160f8aa61 Merge branch 'dev' into io/serial
85440e0278 Unify json and unknown error into command error
Compare 2 commits »
aniva closed issue aniva/Pantograph#4 2023-08-23 13:22:30 -07:00
Redundant error messages
aniva closed issue aniva/Pantograph#3 2023-08-23 13:22:25 -07:00
Dead code in proof tree
aniva deleted branch misc/cleanup from aniva/Pantograph 2023-08-23 13:22:19 -07:00
aniva pushed to dev at aniva/Pantograph 2023-08-23 13:22:19 -07:00
85440e0278 Unify json and unknown error into command error
aniva merged pull request aniva/Pantograph#5 2023-08-23 13:22:18 -07:00
Remove dead code and consolidate error types
aniva created pull request aniva/Pantograph#5 2023-08-23 13:21:36 -07:00
Remove dead code and consolidate error types
aniva commented on issue aniva/Pantograph#4 2023-08-23 13:16:07 -07:00
Redundant error messages

This error category and json error have been consolidated into one command error, used to indicate an error that makes it impossible to proceed to any individual command function.

aniva created branch misc/cleanup in aniva/Pantograph 2023-08-23 13:15:16 -07:00
aniva pushed to misc/cleanup at aniva/Pantograph 2023-08-23 13:15:16 -07:00
85440e0278 Unify json and unknown error into command error
aniva pushed to io/serial at aniva/Pantograph 2023-08-23 12:51:26 -07:00
e63f7c9afa Add proper printing of sorts
aniva created pull request aniva/To-The-Stars#1 2023-08-22 23:22:45 -07:00
WIP: Up to chapter 10
aniva pushed to wiki at aniva/To-The-Stars 2023-08-22 23:21:12 -07:00
aniva pushed to diagrams at aniva/To-The-Stars 2023-08-22 23:21:12 -07:00
aniva created branch wiki in aniva/To-The-Stars 2023-08-22 23:21:12 -07:00
aniva created branch diagrams in aniva/To-The-Stars 2023-08-22 23:21:12 -07:00
aniva deleted branch notes from aniva/To-The-Stars 2023-08-22 23:21:03 -07:00
aniva created branch notes in aniva/To-The-Stars 2023-08-22 23:20:07 -07:00
aniva pushed to notes at aniva/To-The-Stars 2023-08-22 23:20:07 -07:00
aniva pushed to main at aniva/To-The-Stars 2023-08-22 23:19:50 -07:00
6fb703a12e Add litwiki package stub and move ./notes to ./wiki