skysight-inc/HackerNews huggingface dataset:
You're assuming we are only talking about very simple types, and simple program semantics. In the vast majority of dynamic languages, variables are unityped with several tags (string, number, object, etc.) so they can trivially never experience a type error, with or without full path coverage (with the possible exception of attempting to access undefined variables, which is still not considered a type error in all languages). However, full path coverage does not guarantee that a value assigned a certain tag (which often drives which interfaces are provided) will have that same tag in all executions, and tags are often extremely imprecise descriptions of the value (often they are only precise enough to identify data layout), which means that many straightforward operations like property access and operator application have to be turned into potentially-throwing expressions or perform automatic casting to avoid causing a runtime error (both of which hinder many optimizations and making it hard to reason about your program's behavior).

For instance, if you grab a value out of an array, assuming that the value you grab is an object with a certain property, and then access that property, requiring 100% path coverage still admits programs where the property will not be found (or where the property will be found, but have a different type than what is expected). Failing to account for the possibility that a tag is wrong is exactly what sum types rule out; failing to account for the existence of a property is what records (product types) rule out; the possibility of failing to grab an element from an array in the first place is what indexed data types (GADTs) rule out. None of these are type errors in most dynamic languages, and hence none can be replaced by 100% path coverage, except under very limited circumstances (which I can attest are not satisfied by real-world programs).
Skimmed the security paper and a bit of the protocol lib source.
That's understandable, as long as you don't procrastinate either ;)
It's amazing how little the cpu's for those things cost these days on ebay. eg: http://www.ebay.co.uk/itm/192074836061

(that's the 2010 model though)
Expensive is already relative to the alternative. If a furnace can provide the same comfort at $5k, it takes a long time for the cost savings of the heat pump to make that up.

The real savings is that in new construction, you don't have to pay the extra cost to retrofit.
Oooooooh I completely misread your post, I apologize!
It's not about nationalism. The job is talking to people, so it's important to be mutually intelligible.

Willingness to work saves the company money. It doesn't help the user. What helps the user are things like clear speaking and good phone connections. It's possible to do that in any country, but the relative cost varies, and outsourcing implies cutting corners.
Denial-of-service
Then rail energy storage only works in areas with railelectric plants.

Pumped hydro works anywhere with a power source and a water source.

Dragging a train uphill for 5 miles to store energy sounds moronic. I bet the losses in this system are absurd. It also creates a 5 mile virtual chasm that's potentially unsafe to across.
An FPGA will require an actual gate count, and it can give you a meaningful DMIPS/MHz number. Both of which are relevant metrics.
As someone whose interest in AI and related tech stems as much from a desire to learn about our own brains as it does about problem-solving technologies, the failure modes of these systems are as almost as interesting as the good results - and also the part that tells me we've quite a ways to go.

I love your example too. I studied linguistics, and I always wondered about this idea that a sentence consisting of a determiner and an inifinite number of repetitions of the same adjective followed by a noun was supposed to be a valid sentence of any language. There has to be a little more to that story...

Back on topic, I really love the thought of running my own Google Translate server.
"you have your own little art collection"

Yeah, see its all nice if its little. I had 1000's of cds, carting them around every time one moves apartment is a massive pain in the ass. Also making sure that the cds are in the right boxes, that someone hasnt borrowed one or misplaced it. Also finding the album your looking for.
I still have the cds in storage. I also still curate my music collection, its a big folder now. I have a copy of it on my phone on a 256Gb micro sd card, and a couple of backups.

I've transitioned through tapes, cds, minidiscs and digital. Digital is better in so many ways. Being able to have all my music with me to choose from all the time is amazing, up until not too long ago I used to always have a bag of about 30 minidiscs with me. Another great thing is how universal digital is, I can take audio from any source and convert it to fit into my digial collection, this is factastic if youre djing, you can mix in old stuff from the radio, and old weird vinyl recording, samples from tv shows whatever!

I can understand people who grew up with digital wanting to mess around with something different and weird, but if they're serious about music and start amassing a collection then the massive benefits of digital become obvious.

additional: I do have a bit of vinyl too, that I sometimes use. But I dont bother djing with it anymore. It is nice to put on a record when u have guests or something.
Yes, there are work on this field.

But so far all are just like toy examples. The big barrier here is natural language understanding, so far we have limited success even with deep learning at hand.

If eventually natural language understanding is solved, it is going to be a much bigger deal than programmer losing their jobs.
Worth mentioning that ECDSA suffers the same problems as classic DSA if you reuse a nonce (for different messages). This lead to the extraction of a Playstation 3 signing key.

Why does DSA suck? Patents. It was designed to work around patents in the much simpler and Schnorr signature scheme (which is immune to nonce reuse due to the way message content and nonce are hashed together).
I know a lot of people who would love a desk job.

Personally, I just stopped calling tech support years ago. It just wasn't worth the hassle.

In the back of my mind, I try to avoid companies that use foreign labor extensively. I don't think I'm alone? I haven't given a penny to Microsoft in the past decade--out of many reasons, but will always remember those awkward tech support marathon calls.

So even in high income areas, like the Bay Area; I don't think customer service jobs would go unfilled, even at minimum wage.

People need to get their side hussle on? Yea--it's that bad. Americans need jobs. Plus, with an aging population--those desk jobs would be cherished.

I don't know why companies don't take advantage of all the technology that would let stay at home Americans answer Customer Service calls remotely. I know the medical industry is letting nurses field calls from their home.

Actually, I know why; it's just cheaper to farm out the jobs.

I know so many over 40 year olds whom are unemployed.

I have read those employment numbers for years, and they don't add up. I do know the number of able bodied people who could work, but became discouraged is at an all time high.

In America it's about jobs.

So many chit jobs are just gone. People are really hurting for work, and a desk job would not go unfilled.
Does Private Access to the Internet Influence Online Sexual Behavior? [pdf]
EFF Is Proud to Stand Beside Techdirt in Its First Amendment Fight for Its Life
That brings a smile to my face :) I feel similarly reading Scala code :D I know it shouldn't be so surprising, but it still amazes me how people have different preferences on syntax.
Safely maybe but early cars were comparatively fuel efficient. Look at the Model T, close to 20 mpg. That's not far off modern cars.
When I took it we were encouraged to use Weka for the algorithm implementations themselves. This certainly allowed me (and I'd never so much as touched machine learning prior to taking the class -- I took it on a bit of a lark that wasn't related to my research at all) to focus on understanding the behavior of the algorithms rather than worrying about hacking them together.

I'd agree that Tech has too few TAs for too many students, generally, for its graduate courses, but I don't know that other schools do a better job. A brief survey of the folks around my desk elicited howls of laughter at the notion of useful or accessible TAs in grad school.

> I agree that Isbell is a joy to listen to - he is charismatic, entertaining, and I too enjoyed his anecdotes. However, I felt like you would only get something out of his lectures if you already knew what you were talking about.

I think this assertion is, at best, too strong. A better assertion might be that his lectures depended on coming in with sufficient background.

As I said, I came into the course with no experience with machine learning at all. On the other hand, I did have a fairly strong theoretical computer science, stats, and linear algebra background. I will admit that may have made me blind to things he was simply assuming with respect to educational background that were not actually safe to assume. That said, I still refer back to his primer on information theory (http://www.cc.gatech.edu/~isbell/tutorials/InfoTheory.fm.pdf) when discussing work relying on it, so he certainly made some effort to fill in gaps as he discovered they were common.

> When I think about the quality of the class, I think about how responsive the class is to the individual needs and progress of the student.

For a graduate level course I feel a class clears this bar when it accurately and thoroughly documents the prerequisites. Now, I'm not saying Charles's class necessarily does this. As I said, I came in with a pretty strong background in what turned out to be more than sufficient, but with that background I personally felt his lectures were quite tractable, even assuming complete ignorance of ML itself.
From the perspective of a couple of engineer founders who went back and forth between two drastically different termsheets over the course of a few months of negotiations, it was either stick with a figure that relied on a deal we were leaning against, or share the most accurate picture at that point in time. It seems hard to justify acting differently, given the situation.
Show HN: Brubeck – a free simple blogging Wordpress theme
I guess we interpret the phrase differently. I interpret software transactional memory to mean being able to build complex lock-free, wait-free data structures. That doesn't require hardware transactional memory, but does require some strong hardware primitives.

Here are some good links which explain how TSX works and how Intel might have accomplished it.

http://www.realworldtech.com/haswell-tm/
http://www.realworldtech.com/haswell-tm-alt/

TL;DR: one way or another they're piggy-backing on the mechanisms needed to maintain x86's strong cache coherency. Fundamentally it's just speculative operations on a small amount of data--if conflicts are detected, or if you manipulate more than a couple of cache lines (because the processor will only be able to track and buffer a very limited number of cache lines for conflicting operations during the pendency of the transaction), the code generated by the compiler will either take a lock or loop.

So, yes, it will make much existing code faster. But it's not going to provide the ability to develop highly-concurrent lock-free data structures. If there's any serious contention (i.e. more than 2 or 3 threads), or your transactional blocks access more than a few words of shared state, the transaction will invariably abort. Which is why all software transactional implementations, including recent ones which make use of TSX, are typically _slower_ than similar lock-based approaches in real-world scenarios.

STM-light is still conceptually elegant from the programmer's perspective, but deep down there's much less magic then you'd think. That's because it's _very_ expensive to track conflicts in a fine-grained manner in hardware. LL/SC operations were proven in the 1980s to be universal primitives that could be used to implement arbitrarily complex lock-free, wait-free algorithms. And chips like ARM and POWER have LL/SC opcodes. But they're pale shadows of the constructs studied in the 1980s because trying to actually implement them in hardware is just too costly. So TSX, while cool and useful, is something of a hack (and I mean that in both the positive and pejorative senses).

The real speed gains from Intel's new architectural support come from hardware lock elison, and doubtless both GCC and LLVM will lean heavily on this as it'll be easier to work with. Like with VLIW and then auto-vectorization, don't put too much stock in promises that compilers will be able to transform typical application code into a form that's suitable for use by the specialized hardware instructions. Like with AVX2, for example, to really make good use of TSX programmers will still need to meticulously organize their data structures and code flow, and will need to be mindful of the hardware constraints from the very outset. And in most cases they'll be far better off using intrinsics or assembly in the critical sections of their code.
I know your question was rhetorical but I'll answer it.

Its actually terrible to read on a wide monitor. If you were to give the content a max-width with some gutters its easier for your eyes to follow the lines. I always start reading a line that I just read! I'm talking about adding less than 10 lines of CSS, nothin major.
Google can prompt you to confirm the login via your phone. It appears to work well: there's a time-out, and this time-out is also triggered if a second login attempt is made in parallel (and reaches the confirmation stage).

So… whichever login attempt gets to confirmation stage last wins (not relevant in this situation), and the confirmation screen on (at least) my phone does not indicate anything regarding location (which is highly relevant).

This looks a little weaker than TOTP (you're basically trading a little security for the convenience of not entering a code while keeping the second factor) and a lot weaker than U2F.
There's probably more heat to be removed from what's essentially a small datacentre than from a residential building.
New Video on Encrypting the Web
Penicillin is a famous one.
Canva | Sydney, Australia, VISA, Onsite

Building a design platform in the browser/native. Check - canva.com for our primary product.

Stack is Java & JavaScript.
We're hiring for the following:

Java Engineer
JavaScript - Front End Engineer
FullStack Engineer
iOS Engineer
Android Engineer

Further info here: about.canva.com/careers/

Or ping me directly scott[.]c[@]Canva[.]com
As a long time plex user, I'm tempted to try out Emby simply for one reason.- that is the GPU assisted transcoding. Plex still doesn't have hardware transcoder support.
Pandora is laying off 7% of its US workforce
NSA to share data with other agencies without “minimizing” American information
I'm about as anti-trump as they get my friend. The notion that the world deserves better than having native tech support however is something I disagree with. When you are frustrated to the point of putting up with sitting on hold to get help, the last thing you want to be confronted with is an understanding barrier. Between accents and regional colloquialisms this is a likely reality of foreign tech support.

Also, your assumption is wrong. 95%+ of Americans speak English while only 12.5% of Indians speak it. Even with India's much larger population that still amounts to roughly a 3rd as many compared to the U.S. There is also a knock-on effect. When only 12% of the population speak a language they tend to avoid using it as a primary conversational language and thus only get practice in professional settings which lowers their fluency in it. Add to that all of the regional oddities and its quite different from American English. Consider for example phrases like "Kindly do the needful" or "out of station". Phrases they say daily that are completely foreign to American ears.

When you next have a chance compare someone in the Philippines (92% english) speaking English vs someone from anywhere in India speaking English and it'll become very apparent to you that the percentage of the population that speaks the language makes a huge difference in the intelligibility of said speaker.
Still worse is auto starting the program when your trying to figure out what to watch. They have my money already why do they need to inflate their view numbers?
The question would be whether the time spent on this program compares to what one would be able to accomplish on their own, and whether the difference is worth the price tag.

From my experiences with GT, I am apprehensive about the quality of content - I assume it's coming from the same departments and professors that I had experience with.

From other comments here it seems that the approach this program took was quite different from the one employed on campus, so that apprehension may be unfounded - that is, the online offerings may be of higher quality than what students on campus receive. Still, I felt like I needed to post something to warn people that the branding of GT does not in-and-of-itself mean that the content will be of high quality. Students considering the program should try and find some way to evaluate this - are there sample classes or lectures posted online? Perhaps ask someone you trust in the industry to take a look and give you their feedback.

Still, I think students who are self-motivated should consider what they would be able to accomplish if they took some time to organize a study program for themselves. There are many free high-quality resources out there that could be used for effective self-directed study.

Students who are less confident about doing it on their own should be asking themselves what sort of support they expect to be getting from the program. Certainly there are many advantages in having things curated for you, as well as having access to discussion boards with other students going through the same material. Aside from that, many students (unfortunately, I think), need the external schedule and commitment - and for them, merely having an exam deadline, or the $10K investment looming in the background may be the thing needed to get through the material. Those students, too, should be realistic about the investment they are making and what they hope to get out of it.
I think HN mods should grant this one its entire headline: the Haskell part makes it.
Google.com starts redirecting HTTP requests to HTTPS
How to Succeed as a Permanent Traveler on a Remote Team
At this point, browsers should block all plugins not explicitly installed through the browser. I can't think of any circumstances in which I would be happy to find that some software I installed has automatically installed a browser plugin.
Why Killer Whales (and Humans) Go Through Menopause
Subterranean construction (basements, tunnels, subways etc) is uncommon in Texas due to a very thick (6-10') layer of limestone bedrock which must be drilled or blasted. This is probably not a good tradeoff for Google or their partners in terms of cost.
Me personally, I dislike AMP but would be fine with some way to copy the goddamned URL of the page I'm on. The way it currently stands, AMP sort of breaks how one intuitively expects browsers to work.
Hello, I'm the creator of this theme. If you guys have any questions or feedback please let us know, we want to make this theme better.
Surprised to see so many people hate AMP.
I understand why developer/publisher may hate AMP because of development effort/stealing content...
But as a reader I am inclined to click the link with the lightening bolt icon and I don't recall to see many broken page.
https://www.facebook.com/photo.php?fbid=10158063868120483&se...
Of course not, it's hyperbole. Your criticism can be applied to anything [1], because nothing will make someone hireable everywhere.

The point is that if you go through a decent period [2] of running a start-up you will acquire experience and skills that will make you much more attractive for hire compared to yourself without that experience. What's more, the quality of this real world experience will most likely far surpass anything you would gain in a classic university in the same amount of time [3].

--

[1] Depending on how literal we want to be with these word games, there are some tricks that can be done with the "you want" part of the phrase to adjust how much it applies.

[2] Let's say 6 months full-time minimum.

[3] There's no way to give a universal estimate here for everyone. However for people who are capable of self-teaching, the startup experience can be orders of magnitude more useful than university time.
Thank you. It was very hard for me to part with it.
I wouldn't call it better (unless you have a Ferrari or Porsche double clutch gearbox) but in traffic like LA it's certainly a relief. But there is no fun in it.
> This is true today if you wanted to live at the same standard of middle class living in 1929, complete with eating only meals hand cooked from base ingredients...

I'm sorry? Are you suggesting that by working 16 hours a week each, a modern couple could live to the same standard as their 1929 middle class counterparts, i.e. owning thier home and supporting a family on one full time sallary and with one full time housekeeping and child-rearing?

This will be news to the masses of modern couples who are both working full time for a sallary, housekeeping in their spare time, and with no hope in sight of owning a home or being able to afford to start a family.
If what you say is true then pg's essay is deliberately deceptive, and pg is deliberately holding Thiel to a different standard. Although possible, I think it's much more likely that pg is sincere in his convictions. Regardless, I find Thiel's vision for America as reprehensible as you do.
> I see clouds in the sky, and green grass. It has been fifty years and I am sitting in the park with my dog, feeding ducks and watching the local children at play. I haven’t uttered the phrase “type-safety” in years. All the startups are gone. I am free.
How Twitch Does A/B Testing Using Google’s Staged Rollouts
>The benefits are simply too high, the Govt here is well aware that sizable portions of this money is likely dirty money, but the bottom line for the economy eases that discomfort.

The money isn't 'dirty'. It might be breaking the Chinese government law against transferring more than $50,000 worth of currency out, but that doesn't qualify it as dirty. The law is an infringement of their citizens' right to control their own money. Just because the Western democracies have similarly authoritarian laws these days doesn't make them just and people breaking said laws the equivalent of a corrupt official moving the proceeds of bribes overseas.
I'm not familiar with C++ at all, but I'm always amazed at how quick gcc is to get updated to implement what I imagine are complicated feature updates to the language.

Do they have a lot of very active contributors that communicate to efficiently split the work, or do they have a small but very dedicated group of people who spend the bulk of their time on implementing these features?

Regardless, kudos.