Notes on building reliable systems around models: state, tools, context selection, verification and the engineering tradeoffs.
Notes on building reliable systems around models: state, tools, context selection, verification and the engineering tradeoffs.