Sasha Koshka sashakoshka
  • Manehattan MAS hub
  • https://holanet.xyz
  • Sasha Koshka is the name I go by online. E-mail me if you have questions about that or about my projects in general.

  • Joined on 2022-08-07
sashakoshka created pull request sashakoshka/hopp#13 2025-08-11 19:10:41 -06:00
encode-signedness
sashakoshka pushed to encode-signedness at sashakoshka/hopp 2025-08-11 18:59:46 -06:00
dc72cc2010 generate: Support LSI tags
0e03f84b8a generate: Update tests with new TNs
02196edf61 design: Change tag for signed PDL integers
1058615f6f tape: Do something when receiving an LSI tag
024edfa922 tape: Actually test decoding lol
Compare 8 commits »
sashakoshka created branch encode-signedness in sashakoshka/hopp 2025-08-11 18:59:45 -06:00
sashakoshka opened issue sashakoshka/hopp#12 2025-08-11 17:37:17 -06:00
Need to test generated decoder
sashakoshka opened issue sashakoshka/hopp#11 2025-08-10 21:54:20 -06:00
TAPE dynamic encoding/decoding functions must support struct tags
sashakoshka opened issue sashakoshka/hopp#10 2025-08-10 21:51:26 -06:00
tape.TagAny should be using reflection
sashakoshka pushed to main at meta/mintee 2025-08-10 09:11:51 -06:00
7265642b8b Add tab widget to frontend example
sashakoshka commented on issue sashakoshka/hopp#8 2025-08-07 19:16:03 -06:00
Need to skip over values we don't recognize

Forgot to implement tape.Skip, need to do after #7

sashakoshka reopened issue sashakoshka/hopp#8 2025-08-07 19:16:03 -06:00
Need to skip over values we don't recognize
sashakoshka commented on issue sashakoshka/hopp#7 2025-08-07 17:13:08 -06:00
Signedness is NOT semantic information and must be transmitted

LUI should just be LI. The former is awkward.

sashakoshka commented on issue sashakoshka/hopp#7 2025-08-07 15:08:51 -06:00
Signedness is NOT semantic information and must be transmitted

Will replace LI with LSI and LUI (large signed/unsigned integer). The numbers will be shifted so that LUI == 1 << 6 and LSI == 2 << 6, and everything under is shifted down, ending at 7

sashakoshka commented on issue meta/mintee#6 2025-08-07 10:05:00 -06:00
How to do users

passwd file Would we also be doing authentication using /etc/shadow or would there be a separate database of passwords?

sashakoshka pushed to message-size-increase at sashakoshka/hopp 2025-08-06 20:17:22 -06:00
4fbb70081a generate: Finish test sub-case for MessageNestedArray
sashakoshka pushed to message-size-increase at sashakoshka/hopp 2025-08-06 19:11:17 -06:00
a108e53cb6 Merge pull request 'branched-generated-encoder' (#9) from branched-generated-encoder into message-size-increase
57c30ac669 generate: Generator compiles
a270c22cb9 generate: The generics idea didn't work, use type names instead
a99d4dee66 generate: Fix no return statement, unused variables
c18e251b4a generate: Convert int64 to int to satisfy range
Compare 25 commits »
sashakoshka closed issue sashakoshka/hopp#8 2025-08-06 19:11:17 -06:00
Need to skip over values we don't recognize
sashakoshka merged pull request sashakoshka/hopp#9 2025-08-06 19:11:11 -06:00
branched-generated-encoder
sashakoshka created pull request sashakoshka/hopp#9 2025-08-06 19:10:05 -06:00
branched-generated-encoder
sashakoshka pushed to branched-generated-encoder at sashakoshka/hopp 2025-08-06 19:04:12 -06:00
57c30ac669 generate: Generator compiles
a270c22cb9 generate: The generics idea didn't work, use type names instead
Compare 2 commits »
sashakoshka pushed to branched-generated-encoder at sashakoshka/hopp 2025-08-06 17:08:30 -06:00
a99d4dee66 generate: Fix no return statement, unused variables
sashakoshka pushed to branched-generated-encoder at sashakoshka/hopp 2025-08-06 16:59:09 -06:00
c18e251b4a generate: Convert int64 to int to satisfy range
170f79c914 generate: Fix bad variable names
77c6b67d65 generate: Break line after continue statements
195d0f9725 generate: Pass decoder to branch functions
fa4f591126 generate: make branch functions generic, take in ~ of base type
Compare 11 commits »