zephyr
0 Followers · 0 Following
  • Joined on 2023-07-08
Repositories
4
 Projects Packages Public Activity Starred Repositories
zephyr pushed to main at zephyr/chord 2025-03-14 10:01:03 -04:00
6316576823 check predecessor before stabilizing
zephyr pushed to main at zephyr/chord 2025-03-14 09:40:05 -04:00
4c79714fcd handle unexpected successor exit
zephyr pushed to main at zephyr/chord 2025-03-13 22:54:45 -04:00
56c1ad3737 log find requests
ecea53685f actually return response value
62c9693788 fix shadowed error
Compare 3 commits »
zephyr pushed to main at zephyr/chord 2025-03-13 22:23:45 -04:00
730bb45db4 fix path parameter in notify
8e73402c58 wrap stabilization errors
Compare 2 commits »
zephyr pushed to main at zephyr/chord 2025-03-13 22:08:01 -04:00
7a04a22f76 run stabilization
1e77429a91 join command implementation with create only
Compare 2 commits »
zephyr pushed to main at zephyr/chord 2025-03-13 21:21:01 -04:00
9610513384 implement set on client/server
4b44ffcd13 use path values instead of query parameters for lookup
8047f4f13e fix Find client url
70f4e149d4 add Set operation
ef03e13a87 don't handle keys that aren't owned
Compare 5 commits »
zephyr pushed to main at zephyr/chord 2025-03-13 08:51:28 -04:00
f4a8b104ab transmit value for key in find
d5f26bb2bf export key -> id conversion
9c49d89637 move k/v store to nodes
ad0015a2be add k/v store
d9b1b5349a synchronize Node methods
Compare 5 commits »
zephyr pushed to main at zephyr/chord 2025-03-12 09:55:02 -04:00
936decf0e6 implement periodic checks in a function
85e381f4bd implement client neighbors
68ce8c5f34 don't transmit nil predecessors
93771480ff implement client notify
54d9536692 finish node server
Compare 5 commits »
zephyr pushed to main at zephyr/chord 2025-03-11 08:52:24 -04:00
462a9783e9 start work on node server
ae5f39fb34 implement more primitives
Compare 2 commits »
zephyr created branch main in zephyr/chord 2025-03-09 23:51:26 -04:00
zephyr pushed to main at zephyr/chord 2025-03-09 23:51:26 -04:00
ce8d109039 start FindSuccessor query
45efc85a6e implement node communications (Figure 6)
7dd2de5055 add closest-preceding-node operation
aa46693f58 add topology types
ac31109615 add id representation
zephyr created repository zephyr/chord 2025-03-09 23:51:12 -04:00
zephyr pushed to main at studio/vijin-rs 2024-10-17 11:16:18 -04:00
5e31eafdfb script: syntax model
zephyr pushed to main at studio/vijin-rs 2024-10-16 13:14:23 -04:00
ff5261ae60 directive: test parsing builtins
zephyr pushed to main at studio/vijin-rs 2024-10-15 18:35:42 -04:00
3fd74b7fd5 directive: compiles now, test structure still in progress
zephyr closed issue ligma/lang#2 2024-09-26 21:29:48 -04:00
Ligma
zephyr commented on issue ligma/lang#1 2024-05-02 16:27:02 -04:00
thoughts 
Module ::= TypeDecl Module
zephyr commented on issue ligma/lang#1 2024-04-27 21:43:55 -04:00
thoughts

been focusing on writing thoughts on wobleg for a bit now but wanted to write down this idea for further refinement another day:

if function args are just product types, then we can write…

zephyr commented on issue ligma/lang#1 2024-04-22 22:39:18 -04:00
thoughts

i've been trying to imagine structured concurrency lifetimes as applicatives, but i think that is the wrong view. it is certainly the case that we might want to operate on an applicative…

zephyr commented on issue ligma/lang#1 2024-04-21 11:07:35 -04:00
thoughts

torn between directory is a module as in go, which i really like, and refer only to things earlier in the same file as in f#, which is tremendously easier to type check, easier to read since you…