7 stories from 1 submitter
  1. 4
    Two pictures of quantum computation compsci ahelwer.ca
    ahelwer avatar authored by ahelwer 4 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 7 months ago | cached | 2 comments
  3. 0
    [Story removed by moderator]
    ahelwer avatar authored by ahelwer 7 months ago | cached
  4. 50
    Taking my home work setup seriously: ergonomics and settling in for the long haul hardware ahelwer.ca
    ahelwer avatar authored by ahelwer 7 months ago | cached | 38 comments
  5. 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
  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