Viewing profile — CarpaDorada

You too will grow old and then... you too will be blamed for everything.

The Baumol effect is only one component and not the entire story. Those that run these services will extract as many profits as possible for themselves. When the robots will manage…

Throughout my education and beyond, I always wanted to find buddies to study books and papers with. For various reasons, this has never materialized for me. Aside from academia, I'…

"A good critical comment teaches us something." That's what I thought I was doing. I did not intend to break the rules badly (nor do I believe I did; I didn't fulminate nor called …

[flagged]

If you see a phishing link, you can perform a DNS A record request to find their IPs, typically behind Cloudflare. You can report them to Cloudflare. Their WHOIS record will tell y…

>Applications of category theory to computer science predate the first US computer science department. This doesn't sound plausible: according to Wikipedia, Eilenberg and Mac Lane …

During an afternoon someone who understands the concepts can explain the relevant parts without requiring an understanding of CT from the other party. Hence: don't bother with CT. …

If you're talking about toposes, many logics do not correspond to them. It's the other way around: many category theorists/logicians needed jobs and found computer jobs and hence t…

This is a phony work in progress (I do not mean to disparage the author, just the work itself, or perhaps the YC submission). There's no direction, it's just "let's do it because .…

FIDO would be for authentication, not signing. It also supports SSH (and X.509, see https://git-scm.com/docs/gitformat-signature >) but it does not support minisign or signify. The…

This is an anonymous blog, and the author conceals their identity, which is already an issue for me. Let's look at the alternatives to PGP that the blog recommends, I will paraphra…

The issue is mostly with git itself, e.g. take a look at git cat-file commit HEAD to see something like: tree parent author committer gpgsig -----BEGIN PGP SIGNATURE----- -----END …

>For example, signing commits with minisign or signify. These tools don't work well with git or the git forges, and they do not work at all with fossil. (Obviously signify is a goo…

>Well, how about the fact that gnutls allowed passive cleartext recovery attacks to go unpatched for about 2 years? They patched it when they became aware of it in https://gitlab.c…

What about GnuTLS and GnuPG do you think makes them insecure? I think that they offer something unique and that must be factored in; i.e. if you compare them to competitors, you ca…

The article says Kim Dotcom is fighting deportation to the US. Isn't the right term extradition?

They say it takes a long time to build Guile, the Scheme compiler, not Artanis. I can build guile in less than 2 minutes on my old laptop.

If you just want to try it out you can compile it from source, see https://www.gnu.org/software/artanis/manual/manual.html#org3... >.

With DNSSEC you can be certain that the response you got was issued by the nameserver that is claimed (well, by someone who owns the private key). The domain owner, and registrar c…

A lot of people are not aware that HTTPS certificates do not necessarily guard you from certain types of attacks like DNS injection. You can see https://www.youtube.com/watch?v=exy…

It's not excellence, it's the plurality of experiences.

Kids don't brain around for fun, if you put them in that extremely competitive environment they will compete. Kids have fun playing with their friends. Take it from Terry Tao, who …

Good way to rob your child of their childhood... Kids need less schooling, not more, especially with the state of education (worldwide, it's bad everywhere). edit: the author disco…

I like a colored prompt with set prompt \001\033[01;36m\002(gdb)\001\033[0m\002 and I save history with set history save on set history size 500000 set history filename ~/.cache/gd…