Hacker GitHub

← All repos

bmsherman/blog

View on GitHub ↗ ★ 42 Idris

4 mentions on Hacker News by 2 people: 1 story, 3 comments · first 2017-07-11 · latest 2020-11-01

Mentions per year 4 mentions · busiest year 2017 (2)
20082026
AllStoriesComments NewestTopOldest
  1. …the former is as easy as the latter, let alone easier, requires some empirical evidence. [1]: https://github.com/bmsherman/blog/wiki/Quicksort-in-Idris
    comment by pron · 2020-11-01 · in Using TLA+ in the Real World to Understand a Glibc Bug
  2. ▲ 90
    Quicksort in Idris
    story by mpweiher · 2018-06-25 · 25 comments
  3. …very rarely worth their tremendous cost. [0]: See this example of a simplified Quicksort in Idris: https://github.com/bmsherman/blog/wiki/Quicksort-in-Idris [1]: End-to-end verification is ensuring that global correctness properties (e.g.,…
    comment by pron · 2017-12-05 · in Dependent Types for F#
  4. …formal methods toolbox, but I really find it hard to be convinced that this way is the future. [1]: https://github.com/bmsherman/blog/wiki/Quicksort-in-Idris
    comment by pron · 2017-07-11 · in Verdi – Formally Verifying Distributed Systems (2016)