ahelwer.ca: 7 stories from 1 submitter

  1. 4
    Two pictures of quantum computation compsci ahelwer.ca
    ahelwer avatar authored by ahelwer 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 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 |
    Archive.org Archive.today Ghostarchive
    | 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 |
    Archive.org Archive.today Ghostarchive
    | 38 comments
  4. 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
  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 |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  6. 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