Joy of Computing
A new link every weekday from the
RC
community
A new link every weekday from the RC community
home
about
subscribe
RC
home
about
log in
Subscribe
Atom feed
Recurse Center
log in
Friday, Nov 6
Using TLA+ in the Real World to Understand a Glibc Bug
made by
Malte Skarupke
, submitted by
nicholasbs
A detailed analysis of using TLA+ to solve a bug in complex, real-world code.
—
nicholasbs