State Machines After an excursion into writing manual state machines I'm again veering towards just writing parallel code with blocking constructs. The new realization is that there doesn't have to be an RTOS. It's likely possible to generate C state machines from a HLL.
20200420 danielg on #rust about async compiler
20200213 Making a redo evaluator in C
redo: providing temp space to imperative code
20200212 CSP inside an Erlang process?
20200208 switch reactive direction
20200127 Rust async block_on
Haskell QC test bench for C CSP programs
20200126 CSP lib: why?
Implementing compiler exploration
Tie breaking allows use of sequential select
20200125 Network sends...
CSP: it would be nice to avoid the copy
What is human and what is machine?
Programmable data path
Pipeliner: dataflow vs. state machine
Representing state machines
Rendez-vous in hardware
Reiterate FPGA bits
20200123 Decoupling through channels
20200121 CSP on HW
20200119 Wakup ideas
20200118 A single interrupt queue
Scheduler structure: less memory
Spawning a temporary task with static memory
those 4 stack-only control structures, revisited
Seq or new ADT?
CSP and FRP
Representing continuations : union of maximum frames
Topics to expand on
Priority inside the network
Priority inheritence, opaque tasks
CSP and interrupts: two levels are enough
An OS is CSP + time base?
Relation between CSP and dataflow
The always waiting task
20200116 SELECT macro
20200114 csp indexed scheduler
forking lexical contexts
What does this open up?
20200112 CSP vs. reactive
Task switch efficiency
Sending something from outside
20200111 Manual tasks
Remove element from list
A scheduler, again.
Is select the same as non-deterministic choice?
Summary exok.c and discovery of the core issue
20200110 Manual example
Cheap task switching
20200109 Representing the stack
Downward closures or iterators?
20200107 Abstract interpretation
Capture subset of C in s-expressions
20200105 Byrd miniKanren
20200104 CSP in C
New sm.txt notes
Inverting state machine control (futures)