7 stories from 1 submitter
  1. 4
    Two pictures of quantum computation compsci ahelwer.ca
    ahelwer avatar authored by ahelwer 1 year ago | cached | 1 comment
  2. 7
    How do you reason about a probabilistic distributed system? distributed formalmethods ahelwer.ca
    ahelwer avatar authored by ahelwer 1 year 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 1 year ago | cached | 38 comments
  4. 17
    Doing a math assignment with the Lean theorem prover formalmethods math ahelwer.ca
    ahelwer avatar authored by ahelwer 1 year ago | cached | 3 comments
  5. 11
    Walking the faster-than-light tightrope: quantum entanglement and the CHSH game compsci ahelwer.ca
    ahelwer avatar authored by ahelwer 2 years ago | cached | 1 comment
  6. 9
    Simulating physical reality with a quantum computer compsci ahelwer.ca
    ahelwer avatar authored by ahelwer 2 years ago | cached | 6 comments