Hacker News Reader

flupeon Making my life easier with GADTs

A little blog post on how, sometimes, a little bit of dependent types can make your life easier. For practical things.

flupeon Parse, don't validate (2019)

Both your examples (is my number prime, are my XML nodes unique) are easily expressed in a dependently-typed language.

Dependent type checkers may be hard to implement, but the typing rules are fairly simple, and people have been using this correct by construction philosophy using dependently-typed languages for a while now.

There's nothing delusional about that.

flupeon Constrain – Interactive figures using declarative constraint solving

I love the idea, although it doesn't seem to perform very smoothly, even on simple examples. A related project is Penrose [^1], except the latter isn't interactive.

[^1]: https://penrose.cs.cmu.edu/

flupeon Overloading the Lambda Abstraction in Haskell

OP here! I just found out about about this technique last week and it looks quite important for any EDSL designer out here. The post is archived here, in case my site goes down: https://web.archive.org/web/20221212080641/https://acataleps...

flupeon Nearly all binary searches and mergesorts are broken (2006)

The problem is not solved by using unsigned ints though, because it stems from integer overflow. I'm afraid your implementations are, alas, also incorrect.

flupeon Protonmail can delete the wrong email and nobody cares

Their point was about having to pay to export your data. Afaik Bridge is still to this day only available to paying users. Still, their statement is no longer true since exporting in bulk is permitted for free with the Import-Export app.

flupeon Protonmail can delete the wrong email and nobody cares

The repository for Proton Mail Bridge (which is open source) claims to also host the source for the Import Export app.

Here: https://github.com/ProtonMail/proton-bridge

Briefly looking at the files and code it's hard to tell whether that is still the case, but it's fair to assume Import-Export would reuse most of the machinery behind Bridge.

flupeon Protonmail can delete the wrong email and nobody cares

Nowadays they do provide an app (Import-Export) to export all your mail, even for free tier accounts, so it's quite easy to move away.

See: https://proton.me/support/export-emails-import-export-app

flupeon State of CSS

Absolutely perplexed by the other answers that think CSS grid is a hammer for every nail. In your example without a table, you can just drop `display grid` and set `div {min-height: 33vh}`.