Verifying Distributed Systems with Isabelle/HOL, by Martin Kleppmann

  • :)
  • :trolljak:
  • :yb:
  • :thumbsupsoyjak
  • :meds:
  • :cigar:
  • :soy4:
  • :babysoyjak:
  • :blacksoyjak:
  • :wepa:
  • :devioussoyjak:
  • :closedeyedsoyjak
  • :neutralsoyjak:
  • :songus:
  • :soy3:
  • :soyddit:
  • :itsover:
  • :tunes:
  • :jfl:
  • :wat:
  • :shrek:
  • :soy:
  • :sand:
  • :bateman:
  • :real:
  • :peat:
  • :qrn:
  • :feelsuhh:
  • :macaco:
  • :ohreally:
  • :rnc2:
  • :soy2:
  • ;)
  • :(
  • :mad:
  • :confused:
  • :cool:
  • :p
  • :D
  • :eek:
  • :oops:
  • :rolleyes:
  • o_O
  • :cautious:
  • :censored:
  • :cry:
  • :love:
  • :LOL:
  • :ROFLMAO:
  • :sick:
  • :sleep:
  • :sneaky:
  • (y)
  • (n)
  • :unsure:
  • :whistle:
  • :coffee:
  • :giggle:
  • :alien:
  • :devilish:
  • :geek:
  • :poop:
  • :ninja:

Similar threads

Hacker News
Verifying Hardware Security with RTL Simulation
Replies
0
Views
185
Hacker News
Hacker News
Hacker News
Code Verify: An open source browser extension for verifying code authenticity
Replies
0
Views
253
Hacker News
Hacker News
Hacker News
Verifying Dynamic Trait Objects in Rust (2022)
Replies
0
Views
249
Hacker News
Hacker News
Hacker News
Show HN: Make domain verification as easy as verifying an email or phone number
Replies
0
Views
225
Hacker News
Hacker News
WPVI
News DoorDash glitch 2022 allows customers to order for free without verifying payment
Replies
0
Views
354
WPVI
WPVI

Users who are viewing this thread

Total: 2 (members: 0, guests: 2)
Top