Newest stories submitted by puffnfresh.

  1. 17
    libnix mingw status nix lastlog.de
    puffnfresh avatar via puffnfresh 11 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  2. 53
    Type Inference Was a Mistake plt borretti.me
    puffnfresh avatar via puffnfresh 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 85 comments
  3. 19
    Solving SAT via Positive Supercompilation compilers hirrolot.github.io
    puffnfresh avatar via puffnfresh 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 35
    Nix Flakes is an experiment that did too much at once… nix samuel.dionne-riel.com
    puffnfresh avatar via puffnfresh 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 14 comments
  5. 18
    GHC Language Extensions Compatibility haskell ghcaniuse.damianfral.com
    puffnfresh avatar via puffnfresh 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  6. 1
    Typed Error Handling in Kotlin kotlin medium.com/better-programming
    puffnfresh avatar via puffnfresh 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 30
    scrapscript programming scrapscript.org
    puffnfresh avatar via puffnfresh 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 33 comments
  8. 54
    Type system of Fortnite's Verse language programming brianmckenna.org
    puffnfresh avatar authored by puffnfresh 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 13 comments
  9. 77
    Architecture diagrams should be code programming brianmckenna.org
    puffnfresh avatar authored by puffnfresh 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 43 comments
  10. 32
    JSON Vulnerability in Haskell's Aeson library haskell security cs-syd.eu
    puffnfresh avatar via puffnfresh 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 13 comments
  11. 14
    Glean - System for collecting, deriving and querying facts about source code plt glean.software
    puffnfresh avatar via puffnfresh 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 13 comments
  12. 51
    Counterexamples in Type Systems plt counterexamples.org
    puffnfresh avatar via puffnfresh 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  13. 5
    CONFLANG 2021 event 2021.splashcon.org
    puffnfresh avatar via puffnfresh 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 41
    Haskell Foundation haskell haskell.foundation
    puffnfresh avatar via puffnfresh 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  15. 18
    Reanimate version 1.0 haskell reanimate.github.io
    puffnfresh avatar via puffnfresh 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  16. 55
    Idris 2 version 0.1.0 Released formalmethods idris-lang.org
    puffnfresh avatar via puffnfresh 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  17. -1
    noscriptweb: JavaScript-free light-weight fast web browser web github.com/runvnc
    puffnfresh avatar via puffnfresh 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  18. 4
    Introduction to the rank-select bit-string haskell haskell-works.github.io
    puffnfresh avatar via puffnfresh 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 14
    The problem of parsing large datasets haskell haskell-works.github.io
    puffnfresh avatar via puffnfresh 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  20. 2
    Keep your dependencies up-to-date rust deps.rs
    puffnfresh avatar via puffnfresh 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  21. 7
    Lenses via modular implicits ml jobjo.github.io
    puffnfresh avatar via puffnfresh 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  22. 25
    Luna: A hybrid-visual textual functional programming language (now in beta) programming luna-lang.org
    puffnfresh avatar via puffnfresh 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 10 comments
  23. 16
    Interview with Simon Peyton-Jones (POPL 2018) haskell person cs.cmu.edu
    puffnfresh avatar via puffnfresh 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  24. 4
    Stainless Scala - verification framework scala github.com/epfl-lara
    puffnfresh avatar via puffnfresh 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  25. 2
    Quick and easy user-defined operators with Plated haskell qfpl.io
    puffnfresh avatar via puffnfresh 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
Page 2 >>