Active
Recent
Comments
Search
Login
Login
ahelwer.ca: 7 stories from 1 submitter
4
Two pictures of quantum computation
compsci
ahelwer.ca
authored by
ahelwer
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
7
How do you reason about a probabilistic distributed system?
distributed
formalmethods
ahelwer.ca
authored by
ahelwer
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
50
Taking my home work setup seriously: ergonomics and settling in for the long haul
hardware
ahelwer.ca
authored by
ahelwer
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
38 comments
38
17
Doing a math assignment with the Lean theorem prover
formalmethods
math
ahelwer.ca
authored by
ahelwer
2 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
3 comments
3
11
Walking the faster-than-light tightrope: quantum entanglement and the CHSH game
compsci
ahelwer.ca
authored by
ahelwer
2 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
9
Simulating physical reality with a quantum computer
compsci
ahelwer.ca
authored by
ahelwer
2 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
6 comments
6