Newest stories submitted by ahelwer.

  1. 12
    Using the Z3 Theorem Prover to analyze RBAC formalmethods goteleport.com
    ahelwer avatar authored by ahelwer 3 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 4
    Two pictures of quantum computation compsci ahelwer.ca
    ahelwer avatar authored by ahelwer 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  3. 7
    How do you reason about a probabilistic distributed system? distributed formalmethods ahelwer.ca
    ahelwer avatar authored by ahelwer 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  4. 50
    Taking my home work setup seriously: ergonomics and settling in for the long haul hardware ahelwer.ca
    ahelwer avatar authored by ahelwer 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 38 comments
  5. 17
    Doing a math assignment with the Lean theorem prover formalmethods math ahelwer.ca
    ahelwer avatar authored by ahelwer 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  6. 6
    The natural number game formalmethods wwwf.imperial.ac.uk
    ahelwer avatar via ahelwer 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 11
    Walking the faster-than-light tightrope: quantum entanglement and the CHSH game compsci ahelwer.ca
    ahelwer avatar authored by ahelwer 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  8. 9
    Simulating physical reality with a quantum computer compsci ahelwer.ca
    ahelwer avatar authored by ahelwer 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  9. 3
    Quantum Computing for Computer Scientists video compsci youtube.com
    ahelwer avatar authored by ahelwer 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. -2
    TLA+ distributed en.wikipedia.org
    ahelwer avatar via ahelwer 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  11. 2
    Crossing the river with TLA+ distributed lorinhochstein.wordpress.com
    ahelwer avatar via ahelwer 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments