Viewing profile — eliteraspberrie

For context, Ontario has no natural resources. We have always been an export economy. With globalization and automation, manufacturing is mostly gone, and it's creating social prob…

Xen is worse than Linux in terms of quality, and therefore security. That Linux is much bigger doesn't make Xen any better. What de Raadt means to say is, generally speaking, you c…

Beautiful! So the dot pattern here is "face centered cubic," right? Would you get a better density with a "hexagonal close-packed" pattern? It may make a difference visually. I wou…

This is such a self-inflicted problem. Europe could decide to open their borders, and they would be fine. The US deals with much larger migrations every year. Or they could decide …

This is how we got sound to play on the TI graphing calculators. It sounded bad and drained the batteries but it was fun. Another fun thing was getting grayscale graphics on those …

Here's an example in a getline implementation: https://github.com/eliteraspberries/ttyprompt/blob/master/ge... /*@ loop invariant i; loop invariant j >= 0; loop assigns j, eol; */ …

That's an important difference. Christians believe good is from God and evil is from Satan. (Forgive me if I'm mistaken, I know that's a gross oversimplification.) Muslims believe …

Venture capitalists are interested in a particular kind of person who can provide them with a quick profit: young people who are naive enough to prioritize business over their own …

Thank goodness. Knowing NSA spies on Iranian drones, my civil liberties have been restored.

The bug is in the compiler, not OpenSSH. The OpenSSH developers explicitly erased memory with memset. GCC decided to remove those lines without any warning. There's the bug. (Here …

It uses the PyCrypto package to generate random numbers. The Random class is a Fortuna generator seeded with 8 bytes from the system RNG, the PID, and time: https://github.com/dlit…

I don't think they valued Tor specifically. They did value scientific research, which is what Tor was at the time. Like most research work, it got dropped once they had a working p…

Keep an eye on this graph to see when it goes online: https://metrics.torproject.org/userstats-relay-country.html?...

Canadian companies doing business with foreign governments get help from the Canadian Commercial Corporation and probably consular personnel too. The Canadian government is very mu…

I use Frama-C without the GUI. The annotations do take some effort, but once you get it, it's very intuitive. Start with adding assertions, for example checking that array indices …

I don't like the typical definition-theorem-proof approach of most textbook in mathematics, including these. It's great for a classroom, no good for self-study. As an alternative, …

It can play NerdWars: http://www.ticalc.org/archives/files/fileinfo/220/22036.html

In Canada too. In Ontario, any death involving police automatically triggers an investigation by a police of police (Special Investigations Unit). Really shocking cases can lead to…

He said on Twitter that police beat him up once, and then a second time after following him home. I hope there is a real investigation, this is enraging.

Matrices and Linear Transformations by Cullen (Dover Books on Mathematics) will answer all your questions and more. It's written in plain English, doesn't require a mathematical ba…

I don't think it was Anonymous. During the operation against ISIS on social media, Anonymous tried to DOS one of the ISIS propaganda websites (Isdarat). They couldn't muster more t…

Yaks and camels too, depending on the environment.

It exists. It's called CompCert. https://github.com/AbsInt/CompCert It's free for non-commercial use. I've used it for several months now to build things like Tor. I haven't notice…

I'm the average Javascript programmer. I'm writing some web app and I need to do some cryptography. Let's see, there's Math.random and Crypto.getRandomValues. Let's go with Math.ra…