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