Edit: Actually, yeah that proves your point.

I really dislike this, instead of a fuzzy file finder I want a fuzzy function finder, where all functions are just kept in a database that I can pull into buffers at will. Where hierarchy is only based on the logical structure of your program and the filesystem ceases exist. "New Function" over "New File". You can get the "Fuzzy Function" finder part somewhat with LSP Symbols, but it doesn't get rid of the having to think about files.

Unfortunately I don't think you can get this without first-class support by the language itself, and new languages getting critical adoption isn't a regular thing.

Just from DNS, your ISP can:

1. Infer shopping habbits.

2. Infer which communication services you use (flag users hitting signal.org)

3. Infer when you install, update, or open programs based on telemetry DNS, potentially the versions being run, and how long they run for.

4. Infer when you're most active, infer sleeping habits.

5. Infer probability of health problems if you're hitting more medical sites.

6. Infer political alliance from news sites you visit.

And much more.

Since US congress dropped the rules preventing ISPs selling this data this might be the most insidious thing your ISP can do today.

If you believe that a VPN provider is less likely to spy due to it being the incentive for a paying customer, then a VPN with a no-log DNS option is a huge privacy win. I would argue DoH with NextDNS by itself does more for your privacy than any VPN does with IP masking.

Edit: Seems there is a reverse alias option, and seems to work well, will give it an honest go before migrating, thanks for the tip.

1) Their mail import tool reports wrong email set count and sizes leading to low confidence the tool worked, in the end I mbsync'd from both fastmail and proton and compared the email set because the migration UX was so poor (this is reported by other users also).

2) Their alias address implementation is severely limited, on Fastmail I used *@domain to have infinite emails, on Proton you have to add every alias you want manually one by one, if you do not, you cannot reply from any address. This is not only limited in the UI, but everywhere, protonmail-bridge for example will reject sending any email that is not in your alias list, and as they limit it to 100 addresses you can't work around it programatically either.

3) Their bridge software is buggy, and poorly documented, it's better with the recent release but for a while it made heavy assumptions about your installation and would log you out sporadically, sometimes requiring gpg-agent to be restarted (for no reason I could figure out) before being able to re-auth.

4) Their Proton Drive offering is basically useless, it is not available on Linux so can't use it as a target for backup software like Kopia/restic etc, and desktop apps have been in development for as long as I can remember. The WebUI for it will break if you try and drop too many files at once. It has problems with file name limits which don't appear until you try and access the filesystem again; after uploading several documents with extremely long names I found they were straight up inaccessible on my phone or via the web, so as far as I can tell if I hadn't had a second backup I would have lost these files.

All this would have been rough, but acceptible for me if I felt their client attention / support was good, but the support I received was terrible. Multi-day back and forths with support agents who did not seem to understand my questions, where with fastmail I would have a technical response to almost any question within an hour.

Their uservoice page is full of basic requests that are unanswered after years: https://protonmail.uservoice.com/

I've never regretted migrating to a company as much as I do Proton and I would not recommend switching to their applications, everything feels half baked or limited by poor focus on reaching feature parity with other competing services. The fact I can't do basic catch-all domain with their email service without being forced to reply via a limited alias list (if I can, their support was incapable of telling me how), was my last straw.

It's a shame there's basically no other encrypted mail host that competes.

However the technology isn't particularly useful in this scenario. It's enough for your bank to just reply to a request with "yes" without running the program because in theory you are forced to trust the bank no matter what as you have no guarantee the bank didn't just lie about your balance in the input to the Cairo program, so in this scenario the proof doesn't bring much. This technology is a lot more useful when the data being verified is combined with something that guarantees that the data input wasn't forged somehow, which is why this is more useful in blockchain environments where all transactions and balances are signed, so someone can't just invent a balance out of thin air.

The obvious caveat to this just as with hashes is you trust the underlying cryptography is secure.

I just really wish more love would go into the UX of the application. I have duplicate undeletable conversations with contacts, duplicate folders in KBFS that I cannot delete or access which cause I/O errors in tools that do full system scans. I keep running into errors in the UI with obscure error codes that I keep reporting to no avail. There are currently 3,292~ open issues on Github at the time of writing so it's difficult to track what the team is focusing on.

Everything feels just a little too janky.

Still, I don't believe there is any other decent alternative to Keybase that offers the same identity based mechanism for communication, and Keybase absolutely nails that. I can message half the users on HN with very little friction. People can encrypt and send me documents without registering with a single page view. A bit of polish and I think Keybase could shine, but right now It's hard to suggest as a Slack alternative.

[1]: https://agraef.github.io/pure-lang/ [2]: https://github.com/agraef/pure-lang/wiki/PureIntro

I can't believe how stunning some of these level's look on what seems to be very little processing. If the "Statistic's" panel is right for example, the entire Shadow Temple in Ocarina of Time 3D is being rendered in just 29 draw calls and 8104 triangles and honestly it looks better than half the games that come out today.

I feel like level design isn't quite as clever as it used to be.

> Aynchronous Request Handling (#17) > > In 0.5, Rocket will migrate to the latest asynchronous version of hyperand futures with compatibility for async/await syntax. Of utmost importance is preserving Rocket's usability. As such, these changes will be largely internal, with asynchronous I/O peeking over the covers only when explicitly desired or required. As a side effect, we expect a substantial performance boost from the migration as well as resolution to long-standing issues.

Lacking async was my main reason at the time for switching out a hobby project from Rocket to Actix, It's exciting to see that this might change soon as Rocket really just hits the nail on the head when it comes to useability. It _feels_ fantastic compared to so many frameworks both in Rust and other languages.

I think I would use chicken more but usually when reaching for scheme it seems to be because I want something embeddable. Even so, extremely excited about this release!

[1]: https://www.more-magic.net/posts/internals-gc.html