Newest stories submitted by praalhans.

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