Viewing profile — flupe

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

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 typ…

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://p…

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: ht…

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.

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 …

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 loo…

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…

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…