Hackernews posts about Haswell

  1. Show HN: Sabela – A Reactive Notebook for Haskell (sabela.datahaskell.com)
    46 points by mchav 23 days ago | 5 comments
  2. Data-Directed Programming in Haskell (entropicthoughts.com)
    9 points by surprisetalk 5 days ago | discuss
  3. Retrocomputing with Clash – Haskell for FPGA Hardware Design (unsafeperform.io)
    9 points by AlexeyBrin 16 days ago | discuss
  4. Type Theory Forall #62 – Dependent Haskell – Vladislav Zavialov [video] (www.youtube.com)
    8 points by matt_d 24 days ago | discuss
  5. Co-Creator of Haskell: Functional Prog., Thinking in Types, Useless Languages [video] (www.youtube.com)
    6 points by matt_d 29 days ago | discuss
  6. Show HN: A Haskell programmable-CAD environment, in the browser with WASM (doscienceto.it)
    5 points by hungryjoewarren about 10 hours ago | 1 comments
  7. Dependent Haskell – Vladislav Zavialov (www.typetheoryforall.com)
    5 points by alexandersechin 22 days ago | 1 comments
  8. Compiling Haskell into Lean: Common Abstract Syntax for Haskell and Provers (digitalcommons.chapman.edu)
    5 points by dolia 22 days ago | discuss
  9. Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages [video] (www.youtube.com)
    5 points by tosh 28 days ago | discuss
  10. Low-level Haskell: The cursed way to emulate inline assembly in Haskell/GHC, or (minoki.github.io)
    4 points by fanf2 5 days ago | discuss
  11. Sheaves in Haskell (www.tweag.io)
    4 points by ingve 18 days ago | discuss
  12. Haskell for Elm developers: giving names to stuff (Part 8 – IO) (flaviocorpa.com)
    4 points by cekrem 21 days ago | discuss
  13. SecretSpec 0.13: SDKs for Python, Node.js, Go, Ruby, and Haskell (secretspec.dev)
    3 points by domenkozar 4 days ago | discuss
  14. Tagged data in Haskell (SICP 2.4.2) (entropicthoughts.com)
    3 points by ibobev 13 days ago | discuss
  15. Contributing to Haskell Through a Beginner's Lens (blog.haskell.org)
    3 points by cosmic_quanta 21 days ago | discuss
  16. Writing static checks to an unsuspecting library with Liquid Haskell (www.tweag.io)
    3 points by ingve 22 days ago | discuss
  17. Using Notes in the Glasgow Haskell Compiler (gitlab.haskell.org)
    3 points by birdculture 23 days ago | discuss
  18. Haskell MOOC (haskell.mooc.fi)
    3 points by StefanBatory 28 days ago | discuss
  19. Poor Man's Time Machine: Lazy Evaluation in JavaScript and Haskell (irfanali.org)
    3 points by sayyadirfanali 29 days ago | discuss
  20. Kan Extensions in Haskell (bartoszmilewski.com)
    2 points by ibobev 28 days ago | discuss
  21. Record type inference for dummies (haskellforall.com)
    80 points by g0xA52A2A 14 days ago | 8 comments
  22. Type-checked non-empty strings (exploring-better-ways.bellroy.com)
    56 points by surprisetalk 11 days ago | 49 comments
  23. Making GHC Upgrades Easy (blog.haskell.org)
    5 points by birdculture 20 days ago | discuss
  24. Record Type Inference for Dummies (haskellforall.com)
    3 points by fanf2 12 days ago | discuss
  25. Record Type Inference for Dummies (haskellforall.com)
    3 points by birdculture 13 days ago | discuss
  26. Zygohistomorphic Prepromorphism Is All You Need (wiki.haskell.org)
    3 points by wseqyrku 21 days ago | discuss
  27. Beyond Functional Programming: The Verse Programming Language (2022) [pdf] (simon.peytonjones.org)
    2 points by tosh 9 days ago | 1 comments
  28. Mechanized type inference for record concatenation (haskellforall.com)
    2 points by g0xA52A2A about 1 hour ago | discuss
  29. Phantom Type (wiki.haskell.org)
    2 points by ahsillyme 6 days ago | discuss
  30. Making GHC Upgrades Easy (blog.haskell.org)
    2 points by cosmic_quanta 21 days ago | discuss
More