Twitter Feed
@gcouprie ("Geoffroy Couprie") wrote:
Why did that have to be my very first experience with model checking 🙄
with quote tweet:
@lindsey ("Lindsey Kuper") wrote:
programmer: so there's some threads
software verification researcher: cool, with you so far
programmer: and they communicate with each other
software verification researcher: oh no
programmer: through some kind of shared state
software verification researcher: oh god oh fuck