davidad_

7 ms·

1.
by davidad_ 8y ago
For those interested, the jury originally ruled in favor of Led Zeppelin, but this year the 9th Circuit partially vacated the judgment and recommended a new jury trial. https://www.lexology.com/library/detail.aspx?g=ab9
2.
by davidad_ 9y ago
Did anyone else notice the claim that “The computers had never been connected to the Internet,” followed in the next paragraph by “On another screen, Obermayer opened iHub, the encrypted Facebook-like forum that the ICIJ created to make col
3.
Fail-stopped is not fail-safe: autonomous systems and trolley problems(medium.com)
3 points by davidad_ 9y ago|0 comments
4.
by davidad_ 9y ago
As a bonus, .rs is the filename extension for Rust source (as well as the TLD of Lobste.rs)
5.
by davidad_ 9y ago
Those mining memory-bandwidth-hard cryptocurrencies, like zcash, may consider evaluating these. According to the article, they’ll have 1200 GB/s, vs 900 GB/s for the top nVidia Volta card. (Of course, it’s quite likely that this i
6.
by davidad_ 9y ago
I’m embodying an archetype here, but I can’t resist. The use of QTermWidget makes this almost entirely an exercise in building a hello-world Qt app and very little about building a terminal. That is all very well if you are looking to learn
7.
by davidad_ 9y ago
“Everything being subsumed by TensorFlow” doesn’t seem to me like a particularly worrisome outcome. The status quo is “everything being a Python library,” and people generally seem to view that as positive. The PyData movement brought anoth
8.
by davidad_ 9y ago
From what I can tell, it's worse than just Intel being a gatekeeper - every execution of "remote attestation" essentially relies upon the Intel Attestation Service to actually perform verification (or at least as the certific
9.
by davidad_ 9y ago
What's the situation with control of TrustZone on this chip? In particular, are there any manufacturer-fused keys, and are there any user-fusable signing keys?
10.
by davidad_ 9y ago
I have many problems with this analysis, perhaps enough to write my own blog post, but I am lazy so I will just outline my disagreements here (at least for now). First: I claim that what we seek in a movie rating is information about whethe
11.
by davidad_ 9y ago
I do wish energy were priced per megajoule. But I suppose this is probably a symptom, like miles-per-hour vs meters-per-second, of the non-metrication of time units at the relevant scales. (It takes order of an hour to drive somewhere, and
12.
by davidad_ 9y ago
FWIW, I do find Interface to be subjectively noticeably more pleasant than Roboto in the comparison here.
13.
by davidad_ 10y ago
The specific problem described in the "encapsulation" section is solved in modern C++ (11/14) by std::unique_ptr. While this may seem like a trivial quibble, I think it's part of why I find modern C++ quite tolerable des
14.
by davidad_ 11y ago
The latter (it's been there for many hours). See also https://news.ycombinator.com/item?id=5990015 , https://news.ycombinator.com/item?id=11333686 .
15.
by davidad_ 11y ago
Supersonic-capable aircraft tend to be absurdly fuel-inefficient when operating subsonic (for aerodynamic reasons I don't really understand).
16.
by davidad_ 11y ago
Here's the differentiable stack/queue/deque paper: http://arxiv.org/abs/1506.02516 It is indeed similar to some work from FAIR, where one of the tasks was binary addition: http://arxiv.org&#x2
17.
by davidad_ 11y ago
I submitted the OP essay with an attribution ("see Chris Olah's blog for a fuller treatment") but it was removed by the editors of Edge before publication (apparently their policy is never to send readers away from Edge). I h
18.
Counting down from infinity and other improbable feats with __del__(acmonette.com)
12 points by davidad_ 12y ago|0 comments
19.
by davidad_ 13y ago
This is a fair point which deserves a response. Before text was invented, people communicated using spoken language. Text was a major breakthrough because once some communication was written, it became a physical object which could be store
20.
by davidad_ 13y ago
I am very glad that Urbit exists and is being funded. I have corresponded with the author and differ with him on some design decisions that I consider significant. Nonetheless, it is an excellent example of the "rethink everything&quot
21.
by davidad_ 13y ago
My entire article is about things that happened between 1955 and 1969. The part where I state my thesis literally concludes "With a solid historical perspective we can dare to do better." I'm not sure how much more obvious I
22.
by davidad_ 13y ago
I included a footnote to address this criticism. http://davidad.github.io/blog/2014/03/12/the-operating-syste...
23.
by davidad_ 13y ago
I am very happy that you get the point! :-) To address your criticism: Internetworking fundamentally required new hardware, Interactivity and Hypermedia depended on advances in display technology, and Virtualization and Transactions benefit
24.
by davidad_ 13y ago
This indirection already happens in present systems. Check out my previous blog post about it: http://davidad.github.io/blog/2014/02/19/relocatable-vs-posi... Modern hardware is optimized to do this kind
25.
by davidad_ 13y ago
Yes. I am working on it, but it is "kind of hard" to do by oneself. Also, writing about it is a good step, regardless of who might be convinced or not, simply because it forces me to get my ideas more straightened out.
26.
by davidad_ 13y ago
Naïvely, glass is made from sand and copper is mined. And I can already recycle glass from my house, but not copper. So it looks like an environmental win to me. There may be something I'm missing.
27.
by davidad_ 13y ago
I may have been overzealous here. The page also provides Garamond in various OpenType and webfont styles, and I wanted to be sure that the Garamond is displayed with ligatures, because Garamond's ligatures are really nice and not parti
28.
by davidad_ 13y ago
Wow! I like your C solution. I'm glad that at least the speedup is still measurable, but it's a close shave. I implemented your "free 2x speedup" in asm [1]. Sure enough, solution time improved to 4.6us on my machine [2]
29.
by davidad_ 13y ago
They truly, truly are.
30.
by davidad_ 13y ago
Here [1] is the comparison repository, for anyone interested. [1] https://github.com/davidad/8queens/tree/%2Bc_comparison EDIT: I don't seem to have -Ofast, but I added a note to the readme to ask people

More ›