tweag.io: 56 stories from 26 submitters

  1. 5
    Union and intersection contracts are hard, actually plt tweag.io
    adamshaylor avatar via adamshaylor 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  2. 58
    First release of Nickel nix release tweag.io
    adamshaylor avatar via adamshaylor 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 20 comments
  3. 21
    The Varieties of the Haskelling Experience emacs haskell vim tweag.io
    inactive-user avatar authored by inactive-user 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 3
    Type-checking plugins, Part I: Why write a type-checking plugin? haskell tweag.io
    adamshaylor avatar via adamshaylor 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 4
    Exploring linear Traversable using generics haskell tweag.io
    adamshaylor avatar via adamshaylor 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  6. 17
    Nix Flakes, Part 1: An introduction and tutorial linux tweag.io
    rjpcasalino avatar via rjpcasalino 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 17 comments
  7. 7
    Linear types make performance more predictable (2017) haskell performance plt tweag.io
    adamshaylor avatar via adamshaylor 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  8. 12
    Trustix: Distributed trust and reproducibility tracking for binary caches distributed unix tweag.io
    inactive-user avatar via inactive-user 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  9. 6
    Nickel: better configuration for less devops plt tweag.io
    knl avatar via knl 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  10. 10
    Haskell's IDE tooling is about to get a lot better - Making GHCIDE smarter and faster haskell tweag.io
    Axman6 avatar via Axman6 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  11. 3
    Developing Python with Poetry & Poetry2nix: Reproducible flexible Python environments python tweag.io
    srid avatar via srid 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 14
    Nix Flakes, Part 3: Managing NixOS systems linux tweag.io
    akavel avatar via akavel 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  13. 54
    Linear types are merged in GHC haskell plt tweag.io
    aborgna avatar via aborgna 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 46 comments
  14. 29
    Nix Flakes, Part 1: An introduction and tutorial ☶ programming tweag.io
    neeasade avatar via neeasade 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 16 comments
  15. 5
    Code is Engineering, Types are Science philosophy tweag.io
    calvin avatar via calvin 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  16. 7
    How to make your papers run: Executable formal semantics for your language formalmethods plt tweag.io
    aborgna avatar via aborgna 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  17. 29
    Ormolu: Announcing First Release [Haskell source code formatter] haskell release tweag.io
    kolen avatar via kolen 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  18. 33
    Why Haskell is important haskell plt tweag.io
    lu avatar via lu 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 49 comments
  19. 13
    The Sneakernet: Towards A Much Faster Internet networking tweag.io
    NinjaTrappeur avatar via NinjaTrappeur 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  20. 0
    Securely storing secrets in Terraform with terraform-provider-secret devops security tweag.io
    grahamc avatar via grahamc 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  21. 41
    Introducing lorri, your project's nix-env show programming release tweag.io
    grahamc avatar authored by grahamc 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 10 comments
  22. 3
    Capability is about free monads. It's a bird It's a plane It's a free monad haskell tweag.io
    NinjaTrappeur avatar via NinjaTrappeur 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  23. 13
    Mapping a Universe of Open Source Software programming visualization tweag.io
    grahamc avatar via grahamc 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  24. 7
    Encode state transitions in types using linear types haskell plt tweag.io
    calvin avatar via calvin 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  25. 5
    Funflow: typed resumable workflows haskell tweag.io
    NinjaTrappeur avatar via NinjaTrappeur 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
<< Page 1 | Page 3 >>