Hacker GitHub

← All repos

Gabriella439/slides

View on GitHub ↗ ★ 298 Haskell

Slides from talks that I give

9 mentions on Hacker News by 5 people: 1 story, 8 comments · first 2016-08-15 · latest 2023-09-23

Mentions per year 9 mentions · busiest year 2023 (5)
20082026
AllStoriesComments NewestTopOldest
  1. …[1]: https://news.ycombinator.com/item?id=37349276 "A Gentle Introduction to Liquid Types" [2]: https://github.com/Gabriella439/slides/blob/main/liquidhaske... "Scrap your Bounds Checks with Liquid Haskell"
    comment by one-punch · 2023-09-23 · in The WebP 0day
  2. …the full example [1], such as { n : Int | 0 <= n } which refines n to be a positive integer. [1]: https://github.com/Gabriella439/slides/blob/main/liquidhaske ... "Full program - Scrap your Bounds Checks with Liquid Haskell" > Lumping them…
    comment by one-punch · 2023-09-06 · in A Gentle Introduction to Liquid Types
  3. …unnecessary runtime checks, which is impossible in C++, Rust, or Julia without Liquid Types. [1]: https://github.com/Gabriella439/slides/blob/main/liquidhaske... "Full program - Scrap your Bounds Checks with Liquid Haskell"
    comment by one-punch · 2023-09-05 · in A Gentle Introduction to Liquid Types
  4. …with Liquid Haskell, which is not possible in C++, Rust, and Julia without Liquid Types. [1]: https://github.com/Gabriella439/slides/blob/main/liquidhaske... "Documented preconditions - Scrap your Bounds Checks with Liquid Haskell" [2]:…
    comment by one-punch · 2023-09-04 · in A Gentle Introduction to Liquid Types
  5. …analysis (constrained dynamism) are also present in Mojo (a variant of Python) or Swift [2]. [1]: https://github.com/Gabriella439/slides/blob/main/liquidhaske... "Scrap your Bounds Checks with Liquid Haskell" [2]:…
    comment by one-punch · 2023-09-04 · in A Gentle Introduction to Liquid Types
  6. …on doing that in Haskell at https://www.youtube.com/watch?v=b4bb8EP_pIE&feature=youtu.be... slides: https://github.com/Gabriel439/slides/blob/master/zurihac/sli... based on a very readable paper https://www.microsoft.com/en-us/research/wp-c…
    comment by unhammer · 2019-03-14 · in How we made Haskell search strings as fast as Rust
  7. …a lambda) that would be confusing for people not used to this style. Also, this popped on twitter https://github.com/Gabriel439/slides/blob/master/nix-interna...
    comment by agumonkey · 2017-12-08 · in GNU Guix and GuixSD 0.14.0 released
  8. See also an interesting typed regex implementation by Gabriel Gonzalez: https://github.com/Gabriel439/slides/blob/master/regex/regex...
    comment by yawaramin · 2016-08-15 · in Tyre – Typed regular expressions