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
13
 Projects Packages Public Activity Starred Repositories
9
aniva closed issue aniva/Pantograph#151 2025-05-01 10:41:34 -07:00
Add unsafe detection in goal.print
aniva closed issue aniva/Pantograph#198 2025-05-01 10:41:11 -07:00
Add documentation about what we cannot implement
aniva commented on issue aniva/Pantograph#198 2025-05-01 10:41:11 -07:00
Add documentation about what we cannot implement

#200

aniva pushed to dev at aniva/Pantograph 2025-05-01 10:40:54 -07:00
7578e9e180 Merge pull request 'doc: Add design limitations about memory' (#200) from doc/rationale into dev
beef22b945 doc: Add design limitations about memory
Compare 2 commits »
aniva deleted branch doc/rationale from aniva/Pantograph 2025-05-01 10:40:54 -07:00
aniva merged pull request aniva/Pantograph#200 2025-05-01 10:40:53 -07:00
doc: Add design limitations about memory
aniva pushed to chore/version at aniva/Pantograph 2025-05-01 10:40:47 -07:00
df370b0bff Merge branch 'dev' into chore/version
06071c1044 Merge pull request 'fix: Shield tactics from the environment generated by `frontend.process`' (#199) from bug/exact-question-mark into dev
f214496c8f Merge branch 'dev' into bug/exact-question-mark
b039018578 Merge branch 'main' into bug/exact-question-mark
49d06e8c05 fix: Shield tactics from newly created environment
Compare 11 commits »
aniva pushed to dev at aniva/Pantograph 2025-05-01 10:38:02 -07:00
7b9361c72b Merge pull request 'feat(goal): Detect unsafe and sorry' (#201) from goal/detect-unsafe-sorry into dev
ad55ea1a27 feat(repl): Detection of sorrys
8c1cea17e3 fix(goal): Over-eager deduplication of goals
4db09c3abc feat(goal): Check unsafe and sorry
Compare 4 commits »
aniva deleted branch goal/detect-unsafe-sorry from aniva/Pantograph 2025-05-01 10:38:02 -07:00
aniva merged pull request aniva/Pantograph#201 2025-05-01 10:38:00 -07:00
feat(goal): Detect unsafe and sorry
aniva pushed to goal/detect-unsafe-sorry at aniva/Pantograph 2025-05-01 10:37:45 -07:00
ad55ea1a27 feat(repl): Detection of sorrys
aniva created pull request aniva/Pantograph#201 2025-05-01 10:35:16 -07:00
feat(goal): Detect unsafe and sorry
aniva pushed to goal/detect-unsafe-sorry at aniva/Pantograph 2025-05-01 10:34:44 -07:00
8c1cea17e3 fix(goal): Over-eager deduplication of goals
aniva created branch goal/detect-unsafe-sorry in aniva/Pantograph 2025-05-01 10:05:29 -07:00
aniva pushed to goal/detect-unsafe-sorry at aniva/Pantograph 2025-05-01 10:05:29 -07:00
4db09c3abc feat(goal): Check unsafe and sorry
aniva created pull request aniva/Pantograph#200 2025-05-01 09:30:45 -07:00
doc: Add design limitations about memory
aniva created branch doc/rationale in aniva/Pantograph 2025-05-01 09:30:27 -07:00
aniva pushed to doc/rationale at aniva/Pantograph 2025-05-01 09:30:27 -07:00
beef22b945 doc: Add design limitations about memory
aniva pushed to dev at aniva/Pantograph 2025-05-01 09:26:54 -07:00
06071c1044 Merge pull request 'fix: Shield tactics from the environment generated by `frontend.process`' (#199) from bug/exact-question-mark into dev
f214496c8f Merge branch 'dev' into bug/exact-question-mark
b039018578 Merge branch 'main' into bug/exact-question-mark
49d06e8c05 fix: Shield tactics from newly created environment
170099525c test: Add tactic edge cases test
Compare 6 commits »
aniva deleted branch bug/exact-question-mark from aniva/Pantograph 2025-05-01 09:26:54 -07:00