Sasha Koshka sashakoshka
1 Followers · 3 Following
  • 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
Repositories
32
 Projects Packages Public Activity Starred Repositories
6
sashakoshka pushed to message-size-increase at sashakoshka/hopp 2025-08-18 20:28:22 -06:00
a4da33536c tape: Utilize skimming in the dynamic decoder
2180d29615 tape: Implement Skim function
2209763666 tape: Write test for Skim function
Compare 3 commits »
sashakoshka commented on issue sashakoshka/hopp#8 2025-08-12 06:40:34 -06:00
Need to skip over values we don't recognize

This also isn't done in the dynamic decoder, it simply returns an error if the destination type doesn't match the tag. Need to fix this too.

sashakoshka opened issue sashakoshka/hopp#14 2025-08-12 06:36:05 -06:00
Ensure there are no overflows
sashakoshka closed issue sashakoshka/hopp#10 2025-08-12 06:22:36 -06:00
tape.TagAny should be using reflection
sashakoshka pushed to message-size-increase at sashakoshka/hopp 2025-08-12 06:21:45 -06:00
96c8d7924f tape: Test that integers of a user-defined type can be encoded
fdf0aa89a4 tape: Use reflection when encoding integers
1bded9852d tape: Dynamic tests put out more information
Compare 3 commits »
sashakoshka closed issue sashakoshka/hopp#7 2025-08-11 19:11:26 -06:00
Signedness is NOT semantic information and must be transmitted
sashakoshka pushed to message-size-increase at sashakoshka/hopp 2025-08-11 19:11:05 -06:00
8beb9de256 Merge pull request 'encode-signedness' (#13) from encode-signedness into message-size-increase
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
Compare 9 commits »
sashakoshka merged pull request sashakoshka/hopp#13 2025-08-11 19:11:00 -06:00
encode-signedness
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 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#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 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?