Omar Rizwan
.
@omar,
I think making a live programming system that has to allow arbitrary systems programming sort of pushes you in this direction -- the most important thing is containing faults and not interrupting the entire system, instead of correctness, because you can fix correctness over time but if you hard crash then you're done https://social.omar.website/@omar/statuses/01HDE6DC7EJ7BG056PRV8V4PQK