flupe
Joined 8 years ago
Karma
51
Submissions
11
Member since
Sep 25
Recent submissions
Comment · 1 year ago
A little blog post on how, sometimes, a little bit of dependent types can make your life easier. For practical things.
Comment · 3 years ago
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.
Comment · 3 years ago
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.
Comment · 3 years ago
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...
Comment · 4 years ago
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.
Comment · 4 years ago
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.
Comment · 4 years ago
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.
Comment · 4 years ago
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
Comment · 4 years ago
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}`.