212 Commits
Author SHA1 Message Date
lbfalvy 048e657861 Long steps towards server-side processing in checkers 2026-10-14 15:15:17 +00:00
lbfalvy 424edd02a7 first steps to move checkers calculation to the server 2026-09-30 11:27:55 +00:00
lbfalvy 48e27f4975 fixed the deadlocks finally
- added a miri verification step
2026-09-18 16:46:28 +00:00
lbfalvy 32804b8e56 documented more of synymynys, added logo 2026-09-10 20:38:53 +00:00
lbfalvy 27f18184f3 Prepared synymynys for publishing 2026-09-10 20:16:18 +00:00
lbfalvy 153a7e7aa5 deleted stdio-perftest, explained additional crates in the notes, added synymynys logo 2026-09-10 11:22:44 +00:00
lbfalvy bd60ea91fb Orchid API's serialization scheme is now synymynys
Having a proper name helps clarify what we're talking about. It continues to include the Request/Response and Extends family of traits, but MsgSet and Channel have been removed
2026-09-10 09:56:59 +00:00
lbfalvy 82992ead16 fixed a segfault in Orchid
also
- fixed a panic in Orchid because the logging channel was discarded outside a logger
- added pre-buffering to checklings
- polished log view in checkers
- started on tree view in checkers
-
2026-08-28 12:27:43 +00:00
lbfalvy bb31e0daf1 track futures in state, move message authority over too 2026-08-24 21:31:17 +00:00
lbfalvy 4da2cd959a introducing client ID 2026-08-22 12:24:59 +00:00
lbfalvy 0b9a86d56c virtual scroller finished 2026-08-18 20:00:24 +00:00
lbfalvy e5112c9cf9 commit before flight 2026-08-07 21:47:02 +00:00
lbfalvy 9044bc41ad Post-travel commit and push 2026-08-02 23:14:21 +02:00
lbfalvy 925583856a Added configurable remote to client 2026-07-30 14:41:15 +02:00
lbfalvy a7bfe04e52 moving offline for travel 2026-07-28 23:35:33 +00:00
lbfalvy 66c9d78ced Basic machinery for context carryover on task spawning 2026-07-12 13:18:57 +00:00
lbfalvy 09a3038be5 Updated packages and fully moved away from task_local in favour of scoped-value 2026-07-11 22:21:25 +00:00
lbfalvy 83aac69252 Began work on checkers, changed scoped-value to dashed 2026-07-11 21:06:47 +00:00
lbfalvy e5301f7f49 first pass on checklings library for collecting trace information about async program flow 2026-07-10 14:17:35 +00:00
lbfalvy d441ba237e commit to move back to server 2026-07-10 13:48:45 +02:00
lbfalvy c960b177af custom scoped value implementation to avoid the limitations of task_local 2026-07-09 20:12:36 +00:00
lbfalvy 2dd09c42bd Fixed a memory bug
These are apparently way easier to write in Rust than I thought once you start messing with ABI and unsafe.
2026-06-25 20:21:41 +00:00
lbfalvy b138c9874b updated license 2026-06-23 15:40:57 +00:00
lbfalvy b511e0be33 Refreshed notes 2026-06-23 13:51:56 +00:00
lbfalvy f3090ee11a addressed obvious todos 2026-06-23 12:53:14 +00:00
lbfalvy 490ca6d8b1 consolidated scheduler API in pursuit of a deadlock 2026-06-23 12:33:16 +00:00
lbfalvy f1493ad35d it builds now 2026-06-12 14:44:01 +00:00
lbfalvy a5d4b9209e extracted brainstorming session and developed action plan 2026-04-29 15:34:14 +00:00
lbfalvy 20a132b01d Added more thoughts 2026-04-29 08:31:40 +00:00
lbfalvy f46cb159e0 moved dialogue to doc comment 2026-04-28 13:39:33 +00:00
lbfalvy bc5e6b76db Stuck on mactree literal dealiasing 2026-04-28 13:11:08 +00:00
lbfalvy 883d56143f Hello World works 2026-04-24 22:32:41 +00:00
lbfalvy 759497ee70 added a new test for comm 2026-04-24 02:40:05 +00:00
lbfalvy 0bc7097c88 cancellation implemented and first test passing 2026-04-23 12:09:39 +00:00
lbfalvy 7f8c247d97 Pending a correct test of request cancellation 2026-04-22 15:58:34 +00:00
lbfalvy 60c96964d9 bit of cleanup, few steps towards commands demo 2026-04-18 15:13:27 +00:00
lbfalvy 6eed6b9831 Made some progress towards effectful programs 2026-04-18 13:25:03 +00:00
lbfalvy 286040c3ec Fixed macro system by reintroducing MacTok::Resolved 2026-04-16 20:12:28 +00:00
lbfalvy 23180b66e3 Deleted Gitea workflow 2026-04-11 11:07:04 +00:00
lbfalvy b44f3c1832 Updated macro system to process and return mactree and then lower it separately to gexpr
Rust / build (push) Has been cancelled
2026-04-11 11:00:22 +00:00
lbfalvy 9b4c7fa7d7 partway through fixes, macro system needs resdesign
Rust / build (push) Has been cancelled
2026-04-08 18:02:20 +02:00
lbfalvy 0909524dee Compiles again after command subsystem
Rust / build (push) Failing after 3m52s
terrified to start testing
2026-03-27 23:50:58 +01:00
lbfalvy 09cfcb1839 partway towards commands
I got very confused and started mucking about with "spawn" when in fact all I needed was the "inline" extension type in orcx that allows the interpreter to expose custom constants.
2026-03-13 16:48:42 +01:00
lbfalvy cdcca694c5 Method refactor now compiles
Rust / build (push) Has been cancelled
2026-01-29 16:28:57 +01:00
lbfalvy 534f08b45c Significantly extended stdlib
Rust / build (push) Has been cancelled
2026-01-27 20:53:45 +01:00
lbfalvy 66e5a71032 Added subscript lexer
Rust / build (push) Has been cancelled
2026-01-25 18:52:57 +01:00
lbfalvy c461f82de1 Custom lexers can now terminate operators
Rust / build (push) Has been cancelled
New constraint: custom lexer output is dropped whenever it is used to terminate an operator nested inside another custom lexer, because the recursive call has to return exactly one lexeme
2026-01-25 17:52:18 +01:00
lbfalvy b9f1bb74d7 Fixed a very nasty deadlock
Rust / build (push) Successful in 3m34s
2026-01-22 20:56:02 +01:00
lbfalvy f38193edcc Protocols and operators mostly
Rust / build (push) Successful in 4m8s
2026-01-21 22:22:58 +01:00
lbfalvy 75b05a2965 Enabled wofkflow
Rust / build (push) Successful in 4m6s
2026-01-20 15:30:19 +01:00