top | item 45476457 (no title) gmadsen | 4 months ago compile time user config checking? discuss order hn newest prerok|4 months ago Sorry? That's not possible... gmadsen|4 months ago I've seen it plenty of times. safety critical controllers have numeric bounds of stability. why wouldn't you want to encode that into the type
prerok|4 months ago Sorry? That's not possible... gmadsen|4 months ago I've seen it plenty of times. safety critical controllers have numeric bounds of stability. why wouldn't you want to encode that into the type
gmadsen|4 months ago I've seen it plenty of times. safety critical controllers have numeric bounds of stability. why wouldn't you want to encode that into the type
prerok|4 months ago
gmadsen|4 months ago