search

ucsd-progsys / liquidhaskell-tutorial

Tutorial for LiquidHaskell
https://ucsd-progsys.github.io/liquidhaskell-tutorial/
MIT License
74 stars 27 forks source link

fix broken links in bibliography #123

Closed dijkstracula closed 1 year ago

dijkstracula commented 1 year ago

Hi folks,

Today I started working through the tutorial and have been enjoying myself. I noticed that the link to Greg Nelson's thesis is dead so I thought I would check if there were any others that failed to return an HTTP 200:

➜  liquidhaskell-tutorial git:(main) ✗ for URL in $(sed -e 's/^[^:]*:[ ]*//g' -e '/^$/d' -e '/^\/blog/d' templates/bib.lhs); do echo $URL $(curl -Lso /dev/null -w "%{http_code}" $URL); done | grep -v ' 200'
http://www.cs.bu.edu/~hwxi/DML/DML.html 404
https://github.com/ucsd-progsys/liquidhaskell/blob/master/include/Data/Vector.spec 404
http://hackage.haskell.org/packages/archive/base/latest/doc/html/src/Data-List.html 404
http://hackage.haskell.org/packages/archive/base/latest/doc/html/src/Data-List.html 404
http://www.cs.bu.edu/~hwxi/academic/papers/pldi98.pdf 404
http://cvc4.cs.nyu.edu/ 301
https://github.com/ucsd-progsys/liquidhaskell/blob/master/include/GHC/List.lhs#L334 404
http://hackage.haskell.org/packages/archive/base/latest/doc/html/src/Data-List.html#transpose 404
http://www.kroening.com/smt-lib-lsm.pdf) 403
https://github.com/ucsd-progsys/liquidhaskell/blob/master/include/Data/Set.spec 404
http://www.amazon.com/Pearls-Functional-Algorithm-Design-Richard/dp/0521513383 503
https://github.com/ucsd-progsys/liquidhaskell/blob/master/include/GHC/Ptr.spec 404
➜  liquidhaskell-tutorial git:(main) ✗

There were a bunch (including but not limited to the one mentioned in #122.) This patch fixes the above dead links as best I could. (Nelson's thesis was not among the above since it redirects to the root MSR homepage; I didn't explicitly vet any of the other ones that nominally return 200).

➜  liquidhaskell-tutorial git:(nathan/link_fixes) ✗ for URL in $(sed -e 's/^[^:]*:[ ]*//g' -e '/^$/d' -e '/^\/blog/d' templates/bib.lhs); do echo $URL $(curl -Lso /dev/null -w "%{http_code}" $URL); done | grep -v ' 200'
➜  liquidhaskell-tutorial git:(nathan/link_fixes) ✗

Well-typed greetings from Austin!

Nathan

ranjitjhala commented 1 year ago

Oh wow, thanks so much for catching these!!

On Thu, Mar 9, 2023 at 11:45 AM Nathan Taylor @.***> wrote:

Hi folks,

Today I started working through the tutorial and have been enjoying myself. I noticed that the link to Greg Nelson's thesis is dead so I thought I would check if there were any others that failed to return an HTTP 200:

➜ liquidhaskell-tutorial git:(main) ✗ for URL in $(sed -e 's/^[^:]:[ ]//g' -e '/^$/d' -e '/^\/blog/d' templates/bib.lhs); do echo $URL $(curl -Lso /dev/null -w "%{http_code}" $URL); done | grep -v ' 200' \http://www.cs.bu.edu/~hwxi/DML/DML.html https://urldefense.com/v3/__http://www.cs.bu.edu/*hwxi/DML/DML.html__;fg!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgND46atLtY$ 404https://github.com/ucsd-progsys/liquidhaskell/blob/master/include/Data/Vector.spec https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquidhaskell/blob/master/include/Data/Vector.spec__;!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgNDwKyoPBQ$ 404 ^Rhttp://hackage.haskell.org/packages/archive/base/latest/doc/html/src/Data-List.html https://urldefense.com/v3/__http://hackage.haskell.org/packages/archive/base/latest/doc/html/src/Data-List.html__;!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgND3CkrSWv$ 404http://hackage.haskell.org/packages/archive/base/latest/doc/html/src/Data-List.html https://urldefense.com/v3/__http://hackage.haskell.org/packages/archive/base/latest/doc/html/src/Data-List.html__;!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgND3CkrSWv$ 404http://www.cs.bu.edu/~hwxi/academic/papers/pldi98.pdf https://urldefense.com/v3/__http://www.cs.bu.edu/*hwxi/academic/papers/pldi98.pdf__;fg!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgND0L0cctC$ 404http://cvc4.cs.nyu.edu/ https://urldefense.com/v3/__http://cvc4.cs.nyu.edu/__;!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgND_CHN8or$ 301https://github.com/ucsd-progsys/liquidhaskell/blob/master/include/GHC/List.lhs#L334 https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquidhaskell/blob/master/include/GHC/List.lhs*L334__;Iw!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgND-CiKBk_$ 404http://hackage.haskell.org/packages/archive/base/latest/doc/html/src/Data-List.html#transpose https://urldefense.com/v3/__http://hackage.haskell.org/packages/archive/base/latest/doc/html/src/Data-List.html*transpose__;Iw!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgND5vSI0SN$ 404http://www.kroening.com/smt-lib-lsm.pdf https://urldefense.com/v3/__http://www.kroening.com/smt-lib-lsm.pdf__;!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgNDx5lnpBb$) 403https://github.com/ucsd-progsys/liquidhaskell/blob/master/include/Data/Set.spec https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquidhaskell/blob/master/include/Data/Set.spec__;!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgND2wfVmzL$ 404http://www.amazon.com/Pearls-Functional-Algorithm-Design-Richard/dp/0521513383 https://urldefense.com/v3/__http://www.amazon.com/Pearls-Functional-Algorithm-Design-Richard/dp/0521513383__;!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgNDw4pUgIr$ 503https://github.com/ucsd-progsys/liquidhaskell/blob/master/include/GHC/Ptr.spec https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquidhaskell/blob/master/include/GHC/Ptr.spec__;!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgND3Z3XVhX$ 404 ➜ liquidhaskell-tutorial git:(main) ✗

There were a bunch (including but not limited to the one mentioned in #122 https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquidhaskell-tutorial/issues/122__;!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgND_0THWc_$.) This patch fixes the above dead links as best I could. (Nelson's thesis was not among the above since it redirects to the root MSR homepage; I didn't explicitly vet any of the other ones that nominally return 200).

Well-typed greetings from Austin!

Nathan

You can view, comment on, or merge this pull request online at:

https://github.com/ucsd-progsys/liquidhaskell-tutorial/pull/123 https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquidhaskell-tutorial/pull/123__;!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgND4EOPYVK$ Commit Summary

File Changes

(1 file https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquidhaskell-tutorial/pull/123/files__;!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgND_xlNCDk$ )

Patch Links:

— Reply to this email directly, view it on GitHub https://urldefense.com/v3/__https://github.com/ucsd-progsys/liquidhaskell-tutorial/pull/123__;!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgND4EOPYVK$, or unsubscribe https://urldefense.com/v3/__https://github.com/notifications/unsubscribe-auth/AAMS4OGNBQEV6GPUCXG2CW3W3IXOTANCNFSM6AAAAAAVVRN7SQ__;!!Mih3wA!EK1QKMfxuH9YS1O3cWLxlaOMwH5BWmiTh0ZBPewAEORBwGXeMB4ctiNjToytmFHADCWCb44GgRRxppgND28M6COc$ . You are receiving this because you are subscribed to this thread.Message ID: @.***>

--

  • Ranjit.