Awesome, huge fan of the idea of merging hw/sw testing efforts under unified infrastructure. This seems particularly useful for basic unit tests where these timing diagrams are often used as the specification for interfaces. Now one could report timing diagram coverage!
Is there any public info on what kind of hardware janestreet is building?
Low latency trading systems.
I’m guessing microwave transmitters.
Great read, thanks.
Recommended for anyone who wants a more in depth and programming focused exploration of these ideas. Also those animated graphics on the Futamura projections at the very end are awesome.