From d111492c8742922e8eec29d96aec93ec7d518bf2 Mon Sep 17 00:00:00 2001 From: Ryan Wang Date: Wed, 30 Sep 2026 22:52:08 -0400 Subject: [PATCH] docs: fix broken YouTube link in README and INSTALL The Devcon3 talk link had "Nov" appended to the video ID, resulting in a 404. Remove the stray suffix. --- INSTALL.md | 2 +- README.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/INSTALL.md b/INSTALL.md index bc4f73a896..23bfb05005 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -17,7 +17,7 @@ Documentation/Support These may be useful for learning KEVM and K (newest to oldest): - [Jello Paper], a nice presentation of this repository. -- [20 minute tour of the semantics](https://www.youtube.com/watch?v=tIq_xECoicQNov) at [2017 Devcon3]. +- [20 minute tour of the semantics](https://www.youtube.com/watch?v=tIq_xECoicQ) at [2017 Devcon3]. - [KEVM 1.0 technical report](http://hdl.handle.net/2142/97207), especially sections 3 and 5. - [KEVM Paper at CSF'18/FLoC](https://fsl.cs.illinois.edu/publications/hildenbrandt-saxena-zhu-rodrigues-daian-guth-moore-zhang-park-rosu-2018-csf). diff --git a/README.md b/README.md index f4df9ade53..f8568ca70f 100644 --- a/README.md +++ b/README.md @@ -20,7 +20,7 @@ These may be useful for learning KEVM and K (newest to oldest): - [K, KEVM and Foundry Integration overview](https://www.youtube.com/watch?v=9PLnQStkiUo) - [Jello Paper], a nice presentation of this repository. -- [20 minute tour of the semantics](https://www.youtube.com/watch?v=tIq_xECoicQNov) at [2017 Devcon3]. +- [20 minute tour of the semantics](https://www.youtube.com/watch?v=tIq_xECoicQ) at [2017 Devcon3]. - [KEVM 1.0 technical report](http://hdl.handle.net/2142/97207), especially sections 3 and 5. - [KEVM Paper at CSF'18/FLoC](https://fsl.cs.illinois.edu/publications/hildenbrandt-saxena-zhu-rodrigues-daian-guth-moore-zhang-park-rosu-2018-csf).