Newest stories submitted by nextos.

  1. 19
    Functional Data Structures and Algorithms. A Proof Assistant Approach book pdf formalmethods plt functional-algorithms-verified.org
    nextos avatar via nextos 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  2. 7
    The Hitchhiker’s Guide to Logical Verification book pdf formalmethods plt raw.githubusercontent.com
    nextos avatar via nextos 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  3. 27
    Simple Haskell haskell simplehaskell.org
    nextos avatar via nextos 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 10 comments
  4. 3
    Rich Hickey's Clojure Bookshelf ☶ clojure lisp programming amazon.com
    nextos avatar via nextos 4 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  5. 7
    Logic and Proof book compsci leanprover.github.io
    nextos avatar via nextos 8 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  6. 5
    Proof Engineering Survey Paper: Q(ED) & A formalmethods plt taliasplse.wordpress.com
    nextos avatar via nextos 8 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 7
    Static Program Analysis book formalmethods plt cs.au.dk
    nextos avatar via nextos 8 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  8. 6
    The Hitchhiker’s Guide to Logical Verification book pdf formalmethods raw.githubusercontent.com
    nextos avatar via nextos 11 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. -2
    Top Skills to Learn for 2023? (Ask HN) ask programming news.ycombinator.com
    nextos avatar via nextos 11 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 43
    Do you use Nix or equivalent to manage projects and/or systems? ☶ ask devops practices
    nextos avatar authored by nextos 1 year ago | 42 comments
  11. 8
    Building a startup on Clojure clojure wobaka.com
    nextos avatar via nextos 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 5
    Program Analysis (an Appetizer) formalmethods plt arxiv.org
    nextos avatar via nextos 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 11
    Program = Proof pdf formalmethods lix.polytechnique.fr
    nextos avatar via nextos 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  14. 48
    Is the formal methods winter about to end? ☶ ask formalmethods
    nextos avatar authored by nextos 2 years ago | 40 comments
  15. 6
    Formal Methods: An Appetizer dotnet formalmethods springer.com
    nextos avatar via nextos 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  16. 5
    Compiling to categories (2017) ☶ pdf haskell conal.net
    nextos avatar via nextos 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments