archgoon

53 ms·

451.
by archgoon 8y ago
From another commenter. > threeseed > James Murdoch has been on the board for a while and is very good friends with Elon Musk. So this brings a sympathetic chairman who isn't going to crack down on Musk's erratic behaviour.
452.
by archgoon 8y ago
That is indeed far easier to read and understand. :)
453.
by archgoon 8y ago
Brief proof that the sqrt of 2 is irrational. Suppose that sr2 is rational. Then it can be expressed as two integers with no common factors[0], p and q, as p/q. sr2 = p/q (1) Thus 2 = p^2/q^2 (2) 2q^2 = p^2 (
454.
by archgoon 8y ago
I believe this comment is meant to be a response to another post ( https://news.ycombinator.com/item?id=18155410 ) who pointed out a flaw (now fixed) in Coq that allowed false theorems to be proved. Github link: https:/
455.
by archgoon 8y ago
As the parent points out; it's not bad for an intern's salary.
456.
by archgoon 8y ago
Roper: So now you'd give the Devil benefit of law! More: Yes. What would you do? Cut a great road through the law to get after the Devil? Roper: I'd cut down every law in England to do that! More: Oh? And when the last law was dow
457.
by archgoon 8y ago
I do appreciate the presenters sense of humor. "I know what you're thinking. I know what you're thinking. That's like ten lines of Verilog, right? Naaaah. That's not how I roll. That's more like two hundred...
458.
by archgoon 8y ago
Huh. I learned about the Great Dust Bowl in American High School mostly through it's economic and sociological impact, books like "Grapes of Wrath". The science behind it, and that it was predicted by John Wesley Powell isn&#
459.
by archgoon 8y ago
Oh cool; the author also added support for byte code compilation; for languages like python and java.
460.
by archgoon 8y ago
One of the cool things about god bolt is I get to share some of the (probably edge case) optimizations that llvm employs. Compare the following two for loops: (gcc) https://godbolt.org/z/bNbPmo (clang) https:/&#x
461.
CSAW Quals 2018 – holywater(galhacktictrendsetters.wordpress.com)
2 points by archgoon 8y ago|0 comments
462.
by archgoon 8y ago
I don't think that is directly applicable to this case (definitely not to the level of calling the problem 'solved'). The link describes a technique for training a neural net to detect a type of image, an '8' for ex
463.
by archgoon 8y ago
For those interested, or want to see a different presentation, here is the original 'Marching Cubes' paper: http://academy.cba.mit.edu/classes/scanning_printing/Marchin... And here's the Dual Contou
464.
Patterns that Eventually Fail(johncarlosbaez.wordpress.com)
1 points by archgoon 8y ago|0 comments
465.
by archgoon 8y ago
Unlike nuclear weapons, a quantum computer is only dangerous if people don't know you have one. There are a number of ways of dealing with the security issues posed by quantum computers; most of them involve simply increasing the key
466.
by archgoon 8y ago
To our knowledge, it cannot. It would be extremely surprising if it could. However, it can reduce the difficulty of a generic brute force search https://en.wikipedia.org/wiki/Grover%27s_algorithm But it only reduces
467.
by archgoon 8y ago
If your ssh key relies on RSA, then yes, you're relying on the difficulty of factoring numbers; which Shor's algorithm can perform efficiently. But only if the quantum computer has enough qubits. The needed number of qubits needed
468.
by archgoon 8y ago
For those curious, here are the languages used in the projects bigloo - written in C and scheme hop - js and scheme pharo - small talk and C Coq - written in ocaml It appears that Inria does not exclusively use ocaml for their projects.
469.
by archgoon 8y ago
This seems to be on par with psychology and medicine. https://en.wikipedia.org/wiki/Replication_crisis
470.
by archgoon 8y ago
Anyone here have experience using Futhark, either for fun or in a professional environment? What was the project? What were the alternative technologies in this space?
471.
by archgoon 8y ago
Not necessarily. It can tell you if it is triggered by your tests; but it won't tell you if it isn't. So if you run your test suite under valgrind, and you don't trigger the problem, valgrind won't tell you that there is
472.
by archgoon 8y ago
This author doesn't really explain how their proposed additions to the curriculum would have predicted the subprime mortgage crisis. If the author is going to criticize mainstream economics for being irrelevant, it seems reasonable th
473.
by archgoon 8y ago
To point; if you free memory, and reuse it (without nulling the reference), you likely won't segfault. Simple example (compiled on OSX) #include <stdlib.h> #include <stdio.h> struct X { int x; }; int mai
474.
Directive on Copyright in the Digital Single Market(en.wikipedia.org)
1 points by archgoon 8y ago|0 comments
475.
by archgoon 8y ago
> It's very, very rare that this isn't the case Those tend to be the cases when I care very much .
476.
by archgoon 8y ago
Hi, that cctv4 looks like a great resource; thanks! Can you recommend any others? Are there archives of cctv4?
477.
by archgoon 8y ago
Actually building a working device seems like a reasonable definition of inventing a transistor. Here's Lillienfields patent: http://www.computerhistory.org/semiconductor/assets/media/cl...
478.
by archgoon 8y ago
> perhaps they need to go off and think about it some more. Well, that's exactly what they're asking for funding for. The entire crux of the issue is that these are not complete ideas, and need to be developed further; which ta
479.
by archgoon 8y ago
It will increase it, as now any local time calculations will need to take into account which country the user is currently in, whether the country has passed a law terminating daylight savings time, and whether the law has now taken effect
480.
by archgoon 8y ago
> There’s no reason for this, but there’s also nothing I can do about it. Have you considered sending a pull request? https://github.com/Ndragomirov/twitch-now Also, you could build it from source if you're par

More ›