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 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 »
sashakoshka pushed to main at meta/mintee 2025-08-05 19:33:48 -06:00
39d0a79bbb Remove stray end tags in the example page
de5fa6b32f Bring example page in-line with #1 and #3
Compare 2 commits »
sashakoshka pushed to branched-generated-encoder at sashakoshka/hopp 2025-08-05 04:22:49 -06:00
2cbf58d558 generate: Decode arrays (but don't validate their length yet)
7dcfc08678 generate: Add "stub" for actually generating branch functions
711ac30486 generate: Add branch decode function request queue
b15c3aa76c generate: Implement Generator.generateDecodeBranch
a1bfae443c design: Add paragraph about how we need a skimming function in tape
Compare 10 commits »
sashakoshka created branch branched-generated-encoder in sashakoshka/hopp 2025-08-05 04:22:48 -06:00
sashakoshka opened issue sashakoshka/hopp#8 2025-08-02 11:54:56 -06:00
Need to skip over values we don't recognize
sashakoshka pushed to message-size-increase at sashakoshka/hopp 2025-07-25 19:02:15 -06:00
40444ee2f4 generate: Add TODOs about a big problem...
59cc90166f generate: WIP test of nested arrays
f222fb02b7 generate: Gracefully discard unexpected data while decoding
Compare 3 commits »
sashakoshka pushed to message-size-increase at sashakoshka/hopp 2025-07-21 14:55:45 -06:00
6ecc33a46b generate: Fix TestGenerateRun when testing numbers
5d84636b55 tape: Add functions to encode and decode float16
Compare 2 commits »