anonlastname

8 ms·

31.
by anonlastname 8y ago
it took me until the 5th chapter to realize this is a parody of "The Little Prince"
32.
by anonlastname 8y ago
I could have told you that
33.
by anonlastname 8y ago
Another example of how social engineering is usually what gets you hacked as opposed to a software vulnerability
34.
by anonlastname 8y ago
I use emacs because it's competent as a text editor and doesn't try to be more than that. It works well in conjunction with other Unix style tools. It's hackable enough to have various plugins built for it that I need to use
35.
by anonlastname 8y ago
I didn't know that javascript automatically created variables for every html element with an ID.
36.
by anonlastname 8y ago
This is interesting. I wonder how long until people get pwned off of it.
37.
by anonlastname 8y ago
There's a difference in the kind of things that proof assistants like Coq can do and what computer algebra systems like Sage can do. One can still use CAS like Sage to prove things and not just do numerical computations, but it's
38.
by anonlastname 8y ago
obviously because having such a clause in Indian law would resolve this situation
39.
by anonlastname 8y ago
I don't beileve that this is nearly as good as the Greek chorus on this forum says it is. As long as you can see a ship with your eyes, a missile can probably hit it.
40.
by anonlastname 8y ago
It's not really fair to call fractal dimension a real spatial dimension- the sierpinski triangle is still a 2d object but the fractal dimension (a heuristic metric) is 1.58
41.
by anonlastname 8y ago
https://en.m.wikipedia.org/wiki/Spigot_algorithm
42.
by anonlastname 8y ago
I don't trust this study. They have no reason to suspect childhood obesity is caused by exhaust fumes and they don't have any explanation. It also says that the cause "isn't likely to be variations in diet." As a fo
43.
by anonlastname 8y ago
All they did is train a neural network to recognize flies. they haven't replicated the nervous system of a fly. To say they "built a fly brain" is wrong because that actually has been done for nematodes and it's differen
44.
by anonlastname 8y ago
This obviously worked as a fundraising stunt, but the technology is not new. I recall seeing other people doing this on TV and a few weeks ago some rapper did it on an Instagram live stream.
45.
by anonlastname 8y ago
It should be called "how to unnecessarily roll your own prematurely optimized implementation of this one specific 3d vector library"
46.
by anonlastname 8y ago
Strange that they would need the source code. I would think that it should be easy to figure out what encryption algorithm it uses by looking at the binary if it wasn't blatantly advertised anyway.
47.
by anonlastname 8y ago
Most people wouldn't think that there's anything immoral about private companies using strategy to be better than their competitors as long as they do it through legitimate means. Why should we hold states to a different standard?
48.
by anonlastname 8y ago
IIRC, the only reason mathcomp isn't in the Coq standard library is because the license isn't free.
49.
by anonlastname 8y ago
I would recommend "Discrete mathematics demystified" by Steven G. Krantz. It is an introduction to topics that you may have never encountered before
50.
by anonlastname 8y ago
How is it powered?
51.
by anonlastname 8y ago
I get the feeling that Ubuntu is basically a finished product. What major changes would you have expected to see if Canonical had more money? The only thing I can think of is to replace the god awful default text editor. I noticed they chan
52.
by anonlastname 8y ago
There is an algorithm to construct a polynomial over GF(2) of several variables in algebraic normal form that generates an arbitrary sequence when the variables are incremented like a radix-2 binary number. In other words: these are polynom
53.
by anonlastname 8y ago
For a while VS code would do that but they claimed it was an accident. https://www.geeks3d.com/20160610/vs2015-how-to-remove-window...
54.
by anonlastname 8y ago
it seems like they could make money if they threw an emulator on it and sold games licensed from maybe Nintendo for royalties
55.
by anonlastname 8y ago
this is boring. don't bother reading it.
56.
by anonlastname 8y ago
is this at all surprising given that we're talking about the company that made windows? did we forget that for a while it would silently put telemetry in your binaries?
57.
by anonlastname 8y ago
Not at all
58.
by anonlastname 8y ago
I want to know the context of that Java ring
59.
by anonlastname 8y ago
This bug only effects proofs that use types with more than 256 constructors. Also, it involves a command that is meant to optimize proofs so it isn't neccessary to ever use it. Personally, I still trust the implementation despite this
60.
by anonlastname 8y ago
I find it very interesting to see how experienced Coq programmers prove things. I have enough experience to know how deliberate there choices have to be.

More ›