Active
Recent
Comments
Search
Login
Login
Newest
Top
Newest stories submitted by
ahelwer
.
12
Using the Z3 Theorem Prover to analyze RBAC
formalmethods
goteleport.com
authored by
ahelwer
3 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
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
6
The natural number game
formalmethods
wwwf.imperial.ac.uk
via
ahelwer
2 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
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
3
Quantum Computing for Computer Scientists
video
compsci
youtube.com
authored by
ahelwer
4 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
-2
TLA+
distributed
en.wikipedia.org
via
ahelwer
6 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
2 comments
2
2
Crossing the river with TLA+
distributed
lorinhochstein.wordpress.com
via
ahelwer
7 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0