Viewing profile — berbc

> __attribute__((deprecated)) is evil I was wondering if anyone had some insight on this? I understand that deprecating a function usually means you'll be removing it at some point…

As said in one of the YouTube comments for the video you linked here, it's not so much feature branches that are the problem, but long-lived feature branches. If you want to add a …

Is speed really a good reason for using async? If I remember correctly, asynchronous I/O was introduced to deal with many concurrent clients. Therefore, I would have liked to see h…

As pointed out by some of you, this looks more like permutation of sequences. Also, since a symmetric cipher is used, I'm surprised the author didn't mention Black and Rogaway [1].…

If by [1..N ⟶ 1..N] you mean the set of functions from [1..N] that have values in [1..N], I think you are wrong. The formula in the post describes a subset, the set of such functio…

His presentation "Transport Architectures for an Evolving Internet" could be the one you're referring to? It's online and very interesting: https://www.youtube.com/watch?v=UsCOVF0v…

"My word is after noon."

Oh http://rhiever.github.io/name-age-calculator/index.html?Gend...

What if other people come up with their own bier and they use the same no-brand branding?

Why? I believe you have more sophisticated ways of obfuscating code. Those tricks seem to be easy to reverse.

It's a bit of a basic overview of docker-compose. I would have liked to see how to handle more sophisticated patterns such as the data volume container, and how to manage database …

http://www.idris-lang.org

> A career in academia would just require even more proving my worthiness. I do not think the industry will accept you without you regularly proving your worthiness. Of course, a P…

Given formal semantics of your programming language and some time, I think you can use Agda to prove interesting properties about correct programs you write in that language. Seman…