Readit NewsAlso check out integration [2] with OFX at your bank [3]
[1] https://www.gnucash.org/docs/v4/C/gnucash-help/trans-import....
[2] https://wiki.gnucash.org/wiki/OFX_Direct_Connect_Bank_Settin...
Wait until they find out about other standard file formats; the possibilities for collusion are endless! The ACLU is colluding with the FBI, because both use PDF!
https://protonmail.com/support/knowledge-base/protonmail-isr...
Is is clear why they do the redirect?
https://old.reddit.com/r/ProtonMail/comments/62rfta/comment/...
Even if you use a secure email service (whatever that means), the other party you're emailing with rarely does, so the NSA/CIA/MI6/whatever still has access to your 99.9% of your email traffic. If you don't want this, then don't email.
I truly don't get why we're having these discussions here on HN.
"Not recommended
If you are attempting to leak state secrets (as was the case of Edward Snowden) or going up against a powerful state adversary, email may not be the most secure medium for communications. The Internet is generally not anonymous, and if you are breaking Swiss law, a law-abiding company such as ProtonMail can be legally compelled to log your IP address. A powerful state adversary will also be better positioned to launch one of the attacks described above against you, which may negate the privacy protection provided by ProtonMail. While we can offer more protection and security, we cannot guarantee your safety against a powerful adversary."
- Universal package manager (replaces pip, cabal, npm, etc.)
- Declarative OS-config which makes deploys on new devices and servers a breeze
- Scheme declaration language (I prefer it to Nix-lang)
- Bootstrapable from 512 byte binary [1]
- I can build a package from source or download the binary
- Easily modify package source, deps, or compiler [2]
Cons:
- No official nonfree software [3]
- Smaller package set than Nix
- No KDE yet and old version of Gnome (it takes a lot of work to update)
Neutral:
- No systemd
- Works with GNU Hurd
- No MacOS or BSD support (yet)
[1] https://guix.gnu.org/en/blog/2020/guix-further-reduces-boots...
[2] https://guix.gnu.org/manual/en/html_node/Defining-Package-Va...
[1] https://guix.gnu.org/manual/en/html_node/Package-Transformat...
https://www.gnu.org/software/guile/manual/html_node/Emacs-Li...
1. Frama-C, which enables writing bug-free C programs, is implemented using a combination of OCaml and the Coq proof assistant (which is itself implemented in OCaml):
https://frama-c.com/
2. CompCert, a formally verified C compiler, is implemented using OCaml and Coq:
https://github.com/AbsInt/CompCert
Nothing at this level yet exists in the Rust and Zig ecosystems, for example. Rust is a very complicated language with many features which makes formalization much harder than with C and OCaml, which both had mathematical ideas of simplicity, analyzability, and minimalism inspire their designs, even if they continue to grow into more complicated monsters, which, incidentally this OCaml 5.0 release will contribute towards. :-)
I love this kind of stuff, but the barrier to entry just seems so huge.
https://ocaml.org/learn/success.html#FFTW