Sign in
Join now
eukhe
gildrb.com
/
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Coding agent with a memory of all things
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
eukhe
/
proof
/
dash
2 folders
·
12 files
at
bend/all
gildrb.com
·
dash: each dashboard socket's pairing gate is a compiled Bend stepper (entry 101: call + stepper); http.rs and bridge.rs are its event loop and the pairing bridge goes
·
2w ago
06323ade
dash_stored_spec
dashboard: the pairing gate's choices run as the compiled core (new entry dash id 101)
2w ago
dash_token_spec
dashboard: the pairing gate's choices run as the compiled core (new entry dash id 101)
2w ago
base.bend
dash: each dashboard socket's pairing gate is a compiled Bend stepper (entry 101: call + stepper); http.rs and bridge.rs are its event loop and the pairing bridge goes
2w ago
dash_entry_answers.bend
dash: each dashboard socket's pairing gate is a compiled Bend stepper (entry 101: call + stepper); http.rs and bridge.rs are its event loop and the pairing bridge goes
2w ago
dash_entry_exact.bend
dash: each dashboard socket's pairing gate is a compiled Bend stepper (entry 101: call + stepper); http.rs and bridge.rs are its event loop and the pairing bridge goes
2w ago
dash_entry_example.bend
dashboard: the pairing gate's choices run as the compiled core (new entry dash id 101)
2w ago
dash_entry_reads.bend
dash: each dashboard socket's pairing gate is a compiled Bend stepper (entry 101: call + stepper); http.rs and bridge.rs are its event loop and the pairing bridge goes
2w ago
dash_entry_refuses.bend
dash: each dashboard socket's pairing gate is a compiled Bend stepper (entry 101: call + stepper); http.rs and bridge.rs are its event loop and the pairing bridge goes
2w ago
dash_frame_spec.bend
dashboard: the pairing gate's choices run as the compiled core (new entry dash id 101)
2w ago
dash_gate_spec.bend
dashboard: the pairing gate's choices run as the compiled core (new entry dash id 101)
2w ago
dash_keep_spec.bend
dashboard: the pairing gate's choices run as the compiled core (new entry dash id 101)
2w ago
dash_stored_spec.bend
dashboard: the pairing gate's choices run as the compiled core (new entry dash id 101)
2w ago
dash_token_example.bend
dashboard: the pairing gate's choices run as the compiled core (new entry dash id 101)
2w ago
dash_token_spec.bend
dashboard: the pairing gate's choices run as the compiled core (new entry dash id 101)
2w ago