cyrus_

8 ms·

31.
by cyrus_ 10y ago
Cities and provinces in larger countries do not have nearly the same level of governing autonomy, nor do they have the same privileges according to international law. Perhaps places like Singapore deserve to be talked about more than they a
32.
by cyrus_ 10y ago
"the aggressive marketing has clearly cost lives" Tesla has suggested the opposite -- that the crash rate when the car is on autopilot is already lower than normal.
33.
by cyrus_ 10y ago
It's actually a single wide shot with a bar down the middle. I agree that it's unintuitive.
34.
by cyrus_ 11y ago
There has been some interesting work published recently on "resugaring" that you might be interested in: http://cs.brown.edu/~sk/Publications/Papers/Published/pk-res... and more recently: http
35.
by cyrus_ 11y ago
Length of mentions could be capped at 140 to prevent this hack.
36.
by cyrus_ 11y ago
Ubuntu 15.04+ supports all the hardware on my Thinkpad T450s out of the box. In contrast, with a fresh install of Windows 8.1 on this machine, networking (wired and wireless) doesn't work immediately. Downloading the Lenovo drivers fix
37.
by cyrus_ 11y ago
By my reading of the essay, he was hired as teaching faculty, so he is not being judged on his research or reputation within the research community.
38.
by cyrus_ 11y ago
Not sure about this particular machine, but touchscreen laptops work just fine with Linux nowadays from what I can gather.
39.
by cyrus_ 11y ago
Apple is a US company and the keynote is in the US. Inches are not considered "uncool" nor "old fashioned" in the US. The US tried switching to metric many years ago, but it didn't work. I'm sure their localize
40.
by cyrus_ 11y ago
That loan was made because the US has significant interests in catalyzing the growth of electric transport, for many reasons. It was not designed to make the country money directly. Tesla is far from alone in receiving such loans from the g
41.
by cyrus_ 11y ago
I don't know about running them in a browser, but the related projects CakeML [1] and CompCert [2] are both pretty easy to download and run, and very featureful. [1] https://cakeml.org/ [2] http://compcert.i
42.
by cyrus_ 11y ago
I don't know how to put this nicely, but warding off people with reactions like this seems like a feature, not a bug.
43.
by cyrus_ 11y ago
I think if anything should be seen as analagous to Maxwell's equations, it should be the lambda calculus. It is actually a piece of mathematics, rather than the mess of compiler internals this article describes.
44.
by cyrus_ 11y ago
With my Lenovo Thinkpad t450s, neither wired nor wireless networking work when you reinstall Windows 8.1 on your own.
45.
by cyrus_ 11y ago
Once they are that reliable, I'm sure SpaceX could consider removing the abort system to save on weight. Though I assume that the SuperDracos are designed to also be used in space / on Mars.
46.
by cyrus_ 12y ago
Our objects are actually much closer to functional records than to conventional objects. I'd recommend reading our most recent paper. Hold your knee jerkin' for another language!
47.
by cyrus_ 12y ago
(I work on Wyvern) Nimrod is quite interesting to us too, though I don't know that it was at the forefront of our minds. Convergent evolution perhaps. I don't believe Nimrod supports type-specific languages or other sorts of exte
48.
by cyrus_ 12y ago
(I work on Wyvern) This is a research language at the moment, so our papers are the primary mode of communication about the language. There are several examples in those.
49.
by cyrus_ 13y ago
Seems very similar to Nitrous.IO.
50.
by cyrus_ 13y ago
The W3C is the guardian of the world wide web, a system for disseminating information publicly and globally to all those who may benefit from it. By standardizing DRM for video, they are giving legitimacy to a technical kludge that is desig
51.
by cyrus_ 13y ago
The EFF has strong words about where this is taking the open web [1]: "A Web where you cannot cut and paste text; where your browser can't "Save As..." an image; where the "allowed" uses of saved files are moni
52.
by cyrus_ 13y ago
Do you believe that physical mail enjoys no reasonable expectation of privacy either?
53.
by cyrus_ 13y ago
Microsoft authored and controls the standard, so I don't think it is unreasonable to call it Microsoft's CLI, but sure.
54.
by cyrus_ 13y ago
https://en.wikipedia.org/wiki/Common_Language_Infrastructure
55.
by cyrus_ 13y ago
Strange choice of name given that it doesn't build on Microsoft's CLI at all.
56.
by cyrus_ 13y ago
many of them were "subversive", but very few were violently so.
57.
by cyrus_ 13y ago
It would probably be added pre-fabrication, not right in the chip design.
58.
by cyrus_ 13y ago
Like the idea! Would be nice to add server admin kinda stuff as an option too, in addition to coding.
59.
by cyrus_ 13y ago
http://nic.io/ runs this TLD and specifically targets it toward "the next generation of social websites"
60.
by cyrus_ 14y ago
Although it didn't warrant a clickable image in this post, reveal.js is a very well-designed and actively-developed framework. https://github.com/hakimel/reveal.js

More ›