Active
Recent
Comments
Search
Login
Login
Newest
Top
Newest stories submitted by
praalhans
.
24
Gmail password first character is case insensitive on mobile device
security
support.google.com
via
praalhans
7 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
16 comments
16
4
A Tutorial on Verifying LinkedList Using KeY
☶
pdf
formalmethods
java
ir.cwi.nl
authored by
praalhans
10 months ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
7
Scientific programmer on the subject of Internet architecture renovation
job
cwi.nl
authored by
praalhans
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
5 comments
5
5
Software Engineering and Formal Methods 2020
event
formalmethods
event.cwi.nl
via
praalhans
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
4
Surprising Theorems (2015)
formalmethods
math
gilith.wordpress.com
via
praalhans
2 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
11
Lean Forward
formalmethods
math
lean-forward.github.io
via
praalhans
3 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
6
Formal Proofs of Tarjan’s Algorithm in Why3, Coq, Isabelle/HOL
pdf
formalmethods
arxiv.org
via
praalhans
3 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
3
Shaping our children's education in computing
video
education
youtube.com
via
praalhans
3 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
11
When Snails Attack: The Epic Discovery Of An Ecological Phenomenon
meta
blogs.discovermagazine.com
via
praalhans
3 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
4 comments
4
6
Java Generics are Turing Complete
☶
pdf
compilers
formalmethods
java
arxiv.org
via
praalhans
4 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
4
Debugging Church Numerals in Haskell
compsci
haskell
hansdieterhiep.nl
authored by
praalhans
4 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
9
Realising the Benefits of Formal Methods
pdf
formalmethods
anthonyhall.org
via
praalhans
4 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
2
Physics, Topology, Logic and Computation: A Rosetta Stone
pdf
compsci
math
math.ucr.edu
via
praalhans
4 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
8
Blockchains Never Forget
distributed
philosophy
ribbonfarm.com
via
praalhans
4 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
16 comments
16
7
Old graphs from new types
compsci
haskell
blogs.ncl.ac.uk
via
praalhans
5 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
8
Distributed Algorithms Visualizer
show
distributed
hansdieterhiep.nl
authored by
praalhans
5 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
1
Information Effects
☶
pdf
compsci
dl.acm.org
via
praalhans
5 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
7
Computation and Truth
☶
compsci
math
fexpr.blogspot.com
via
praalhans
5 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
7 comments
7
2
Epigrams on Programming (1982)
historical
pu.inf.uni-tuebingen.de
via
praalhans
5 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0
14
Model Checking: an Introduction to Bisimulation (a tutorial with Haskell examples)
compsci
haskell
hansdieterhiep.nl
authored by
praalhans
5 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
5
On Games and Simulations
compsci
haskell
java
math
jeroenkeiren.nl
authored by
praalhans
5 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0