skysight-inc/HackerNews huggingface dataset:
> /r/cscareerquestions

People should really stop using that place as a credible source of information. The very nature of Reddit skews the posts that show up in favor of either over-the-top success or major depression. You never hear about the middle ground (the guy/gal that gets a so-so job in CS but still has time to spend with his/her kids on the weekends).

As for the student thing, this is industry's fault. It's an evolution of "no one got fired for buying IBM". In this case, they're buying the interview techniques of the big players (Facebook, Google, Microsoft, Apple, etc) since they are perceived as bringing in top performers. So someone at or near entry level is going to have to deal with bullshit HackerRank tests until the industry changes its hiring practices.
Introducing email templates in Spark
Sorry, but I think you didn't read my comment.

No tax is paid by the customer. He always pays gross.

For example: you run a barber shop, mens haircut 10 €, womens 10€. You charge mens from your VAT-exempt company, women from your non-VAT-exempt company. Regardless of what you get in net, the customers hand you 10€ each. However the government takes 2€ from your womens hair cutting business, after you've filed your tax statement. The customer doesn't care whether you have to pay VAT or not.

If I may ask: Do you run a business where you have to deal with filing VAT on a regular basis? I'm asking because this misconception that businesses don't have to pay VAT is something that I've held myself, obviously because I didn't knew back then what I was talking about.
You'd have a pretty hard time figuring out what a CPU does if all you could do is poking a small number of needles into it, cutting it into slices to study under a microscope and measuring which parts get hot while you use it.
Pandas Swoon to Particular Croons
A combo of two applications: main app and network agent. Main app writes to a file with request, registration check or update, in JSON or other text-format for user inspection. It loads the agent which reads same file, applies operations, sends them to 3rd party, and writes result into another file. Main app reads that the second it appears. To keep it simple and not have to delete, the files might be numbered with old exchanges kept unless admin/owner deletes them.

With such a setup, users can see exactly what data is outgoing, have a reasonable belief they know what's incoming is harmess, main app gets no network access, agent has no access to secrets/system, and agent can be open source (entirely or mostly).

So, there's a quick brainstorm from how I did privilege-minimization for high-assurance security. This is basically a proxy architecture. That's a generic pattern you can always consider since it can help protect lots of risky apps both ways.
Oh, that's right. I forgot the US has widespread electronic voting. I was thinking of normal paper ballots where you can just spoil the ballot by scribbling all over it instead of ticking a box. I guess that makes it more difficult to submit a spoiled vote.

That said, you can still vote for one of the lunatic fringe minority parties. Under the American two party system none of them will ever amount to anything.
>For whatever reason, Nvidia hasn't stagnated the way Intel has.

Nvidia doesn't fab their own chips and never had a process lead.

People underestimate just how huge a deal Intel's traditional lead in fabrication tech was. I've long argued that the real casualty of Intel's anticompetitive tactics in the early 2000s was AMD being forced to spin off GloFo. Far more than AMD's near term marketshare at the time, it lead to a situation where AMD couldn't really even fall back to their traditional position of competing on price at the low end of the market and played a direct hand in Intel's decade-plus domination of the market.
It's not arbitraged away because it's not guaranteed.
thanks, how do i input these changes myself? went on the delaware tax site but the amount is still $80,000. How can I just pay $400 on that website?
> I think you've confused ARM and AMD, FWIW!

Quite possibly they are, but to be fair ARM processors were the first to launch on 7nm.
They are not really the same: eliminate the accidental release of niche refrigerant substances for which substitutes are available, versus the mass spewage of CO2 and hydrocarbons.

Note that refrigerants can be substituted without changing the refrigeration hardware at all. No infrastructure changes are required. There is no "tech stack disruption" at all.
How many races (contests) does a typical urban Australian election have? How many candidates for hotly contested races? How many ballots are procssed?

My jurisdiction often has 30+ contests. We had 22 belligerents for mayor 2 years ago. I think we had 12 for senator in our most recent primary. I dimly recall my county counts 450k ballots.
She may have received honorary doctorates and she was a research chemist, but not a PhD.
Here's a friend's quote that enlighten my thinking.

Me: "Life can be so cruel."

Him: "Yes, that's why you have to make sure you make a difference for the better where and whenever you can."

I try very hard to follow his quote every day. Change starts with us all.
"Nobody ever got fired for buying IBM", is what they used to say. IBM has 100 years of brand-name recognition going for them. They have to be doing something right.
No expert either, but it seems fairly apposite. The atmosphere is continuously generated by a vast complex system. This incorporates many homeostatic mechanisms tending to push the system back to its dynamically stable state. As long as we don't push the system too far, removing recent perturbations will result in auto-repair.

This is one of the few sources of hope that we can step back from the ecological-collapse abyss. In many cases we just have to get out of the way. Unfortunately, we probably won't. Replacing complex evolved enduring systems with primitive technological short-lived ones makes heaps of cash.
Ideally the person who claims something needs to provide the data to back it up.

My father-in-law doesn't believe that the moon landings took place. All the data in the world cannot convince him otherwise. The only good strategy in the face of these types of claims is to go up the crazy scale. For example when he tells me that the moon landings didn't happen, I tell him he's naive it he thinks the moon exists. The moon was blown up in the 50's due to a nuclear test gone wrong and what we're seeing now is an artificial projection.
Free up to 128GB is practically free for up to 95% of applications. In both dev and prod.

I really don’t see how you could have a problem with that.
This is a feature, not a bug. In a Westminster system the government is formed on the floor of the House of Representatives by being able to pass motions of confidence and supply. Australia provides an unusually generous opening for minor parties through the Senate, which is a proportional system.

Your statistic about the Greens, in particular, is true only for the House. The Greens hold 9 Senate seats out of 76, or approximately 11% of the Senate. Given that their national Senate vote was 8.7%, I think this is a pretty reasonable outcome.
The main point of IRV is to allow me to say "I'd actually prefer third party C, but if it comes down to main parties A or B (which it probably will), I guess I prefer B". Under approval, I have two options:

* Vote for B and C. My vote for C is guarenteed to fail because I'm also giving a vote to B, which was likely to be better than them in the first place. There's no way C can win if everyone who votes for them also votes for B.

* Vote for C alone. This increases C's chance of beating B, but it means that if C doesn't win I now had no say in whether A or B won.

Politics isn't black and white. There isn't a set of candidates I'm ok with vs a set I am not. My preferences are a ranked list, and any system that doesn't let me express those preferences is, in my opinion, worse than IRV, even if it does produce some theoretically sub-optimal results in some weird edge cases.

EDIT:

> Maybe in practice people would only ever approve one candidate and the situation wouldn't change, but I think it's a least a good small step forward.

I didn't see that bit before. Yes sorry, if we're talking about in comparison to FPTP, I'm all for approval voting.
Surely the Prime Minister title wins out?

Actually, that’s an interesting question: since “Dr” usually replaces “Mr” for a man, would a male president with a doctorate be “Dr President”?
In a sense you can always assume that the answer to these problems is just 'make the neural net bigger' but I find this deeply unhelpful for two reasons:

1. This clearly does not seem to be the way humans learn. Humans can learn from very few examples, in entirely unguided environments, and they don't face the same issues that existing algorithms suffer from. (for example humans have no big problem with rotational invariance, whereas ML vision algorithms do).

2. It's essentially surrendering to the fact that we aren't able to understand how cognition works and build higher-level representations as a result. The goal of AI research can not just be to feed data blindly into enormous primitive structures, it must also be to get a grasp on what sort of complex structures are part of intelligent agents and how they interact.
Here's what I've realized both about the universe AND intelligence .

Silicon cannot touch either of them. I didn't always think this though. I thought intelligent beings, but first smaller structures, could evolve in a large digital universe. I made a blog post:
http://scrollto.com/blog/2017/04/11/life-a-universe-simulati...

It took a long time but I eventually created what I set out to do.

Here is ScatterLife:
https://github.com/churchofthought/ScatterLife/

But the result was far from what I wanted. Even with a Titan V, a world of only 4096×4096 could be handled at a reasonable update rate. I basically had spacetime foam under the ideas of Doubly special relativity, ie. Feynman checkerboard universe.

https://en.m.wikipedia.org/wiki/Doubly_special_relativity

https://en.m.wikipedia.org/wiki/Feynman_checkerboard

If our own universe is digital, then it updates at C/plank_length times per second, over 10^40 hz. Not only that but it consists of over 10^185 planck lengths.

Nothing interesting is really viewable or even extrapolatable from the smallest of truths or fundamentals. Thats why many predictions of string theory need higher energies to be tested. The smaller you delve, the higher energy needed.

In any case, I realized that evolution itself has been fueled by orders of magnitude. Symmetries of matter and energy, planets stars and solar systems...same magnitudes required.

Even the best silicon isnt going to have 10^20 transistors on it. We would have to somehow go analog..use chemicals or matter in a way that didnt require slow refining and construction. Chemical based computing....

Now about ML and AI, same issue is present. Brains have 100 billion neurons. The best GPUs have maybe 5000 cores.

The only way forward is to maximize what each core does - as much as possible.

I learned this with the cellular automatas. Black and White 2-state automatas are neat but are a huge waste of processing power. They hold little information. Better is integers. Even better is floats. Why stop there though? Lets use complex numbers.

https://github.com/churchofthought/HexagonalComplexAutomata

Magnitude is against carefully crafted silicon. If we want to achieve what magnitude can, with silicon, we need to make sure our fundamental neuron units arent unnecessarily sparse. Magnitudes can afford to use simple units. Silicon cant. 5000 maybe 100000 cores when advances in fab accelerate. But still not 100 billion. Still needs to use the advanced abilities of the cores to their full extent. A neuron cannot compute any universal function...but a gpu core can.

Anyways, I am almost failing to mention that I dont believe we have anything to worry about. Unless more research is devoted to special purpose hardware (consider an i7 has 731 million transistors), the software side will have a really hard time compensating for low magnitude.

Lets see what happens. Its going to be exciting none the less. I am doing ML work myself on Boltzman networks and RNNs snd Hopfield nets. This is a promising field and its emerging at breakneck pace. Cheers!
Link to full PDF: https://www.researchgate.net/profile/Ursula_Staudinger/publi...
The thing is that progress is so fast in some areas of ML, you dont really know when something could emerge. Who knows, maybe with enough training data and a deep enough network with the right supervision, something extraordinary pops out.

Google google bert nlp. Google recently released an NLP algorithm that basically beats all predecessors, but the algorithm itself is extremely simple. Just lots of data and compute, no telling what will happen in ten years when the amount of data has exploded and GPUs are cheap.
What if the space shuttle is powered by CFC? /s
Depends on how you define "wisdom"
Just revel in overcoming the unfairness, embrace it. When life sticks a dagger in your side, laugh in its face (or grimace) and prevail anyways.

None of that will erase the pain that stems from being behind your peers in career or romantic pursuits. Speaking from experience, the latter cuts unimaginably deep. You don't get that time back, but the time you do have becomes immensely more valuable.

Many will say a comparison basis isn't healthy, but being highly competitive by nature I haven't yet figured out how to avoid that. All I've described is a rather effective coping mechanism; the pain will still exist, but one could say pain is a fundamental part of living life in any real sense.

As an anecdote, I used to play a couple games competitively as a hobby. While I was good, I only became an expert once I embraced two things: ridiculous amounts of practice, and the unfairness of it all. Depending on the matchmaking setup, you would be expected to defeat two or even three skilled opponents. Lamenting how unfair it all is would get you nowhere, so the only way forward was to embrace it.
Yes, but wouldn't you then dispute the charge with your credit card company?
Facebook and Google. Does either organization "Respect consumers’ privacy and personal data So people are in control of their lives online"?
> A TV can play movies directly from a NAS.

An iPad can’t though. And NAS’s don’t generally support transcoding.

A DLNA compatible media server can stream content to any device on the network.
If you have the time, I would highly recommend watching the PBS documentary about all this:

https://www.pbs.org/wgbh/frontline/film/facebook-dilemma/

Really helps to put it all into context.
> Unfortunately, our website is currently unavailable in most European countries.
Not an expert, but as long as there is no way of knowing WHAT it is the algorithm is learning it seems to me that it could never work reliably. It might look perfectly reasonable until you hit one of the triggers the algorithm used to segment the data.

Someone somewhere shared a story about using machine learning to spot the difference between US and Russian tanks ; which apparently worked fine until field testing, where it failed miserably. What the algorithm had learned was the difference between great quality photos of US tanks and poor quality photos of Russian. True or not, this is exactly the kind of issues that will keep popping up.

Plenty of people are spending plenty of time figuring out how to mess with facial recognition as we speak by taking advantage of the same fundamental weakness.
Yet another reason to use taxis:

https://lee-phillips.org/lyfthuh/
Probably not. President would take precedent. See Chancellor Merkel for a good example (she has a PhD).
I don't have a strong opinion either way (I'm an Eagle Scout), but the decision to include girls will fundamentally change Scouting.

Guys act differently when around girls. Girls act differently when around guys. This is doubly true for ages 12-17. Whether this is a change for the better or worse is subjective but there is no doubt it is a drastic change.

There is benefit to boys interacting with girls. There is benefit to boys having some time themselves as well.
>"per-say" -> "per se"

Right pronunciation, but it's Latin. :)
A “brutalist” apartment building is on the way in West Hollywood
You're defending, minimizing GOP behaviour while hyperventilating about Dems.

The nicest thing I can say about you is that you're not serious about election integrity, so I'll just wish you happy hunting. Goodbye.
I read about the culture of Valve a few years ago and it seemed interesting. What have you seen come out that changed your opinion?
Despite several email exchanges, Uber never agreed to
reimburse her the extra money. But she disputed the
charge with her credit card company and got back her
$98. Uber then canceled her account.
I think you should read it directly from the website: "GraphQL is a query language for your API, and a server-side runtime for executing queries by using a type system you define for your data." You need a type system to bypass the datamodel. Just pushing the issue around.
I meant most successful uses of verification tech, not proof, for SPIN. I shoudve worded that better. There is a version of it in a proof assistant called Favela if I recall. TLA+ has a proof system (TLAPS) and a model checker. Finally, if state and transitions are small, then a model-checker can give you similar assurance as a proof by essentially checking everything. These days, that's rarely the case, though.

ACL2 was designed for real hardware and software. That's what many use it for. Rockwell-Collins builds CPU's, separation kernels, and low-level software for NSA with it. I agree author maybe dodged cuz it's not type theory.
You could, but then you'd likely be banned from Uber in the future..
Caps-Lock is a waste of a key. NeXT had it right by using Command-Shift (without any other keys) to turn on/off Caps-Lock.
Donate to MSF so they can increase their human trafficking operations across the Mediterranean Sea?

Thanks, but no thanks.
It's interesting to compare with the Declaration of Independence of Cyberspace: https://www.eff.org/cyberspace-independence
Oh yeah, GraphQL is backed by Facebook (may that be a hint of its momentum, like its support for React?) , unlike SPARQL which is a _standard_. You can also convert from PostgreSQL, MySQL, DB/2 and others to SPARQL. Still, only difference seems 1. Facebook pushing its non-standardized tech around and 2. Losing any benefits from HATEOAS from the usage of GraphQL.
My pet theory (at least for humans) is that this is due to better dental care.
How could their systems allow a charge for a trip with a cancellation, and also a fee for vomit on that trip?

“I see that it was an uncomfortable experience, because the driver started the trip without you in the car, which should not happen.”

also, that plainly does not make sense.
Let me be not the first to say ... nice! You've ticked a lot of boxes for me, Rust to boot. And the price is reasonable. I echo some of the privacy concerns, but I am not a purist who will not use proprietary development tools -- many of which are from small shops. I had questions that I'm sure I'll get answered after I install the trial extension:

I noticed in some of the examples that the autocompletions were multi-word (for the language involved). This makes sense and I have no real problem with that it limited cases. What I wonder is have you found any issues with autocompletions resulting in less DRY code?

- and -

Since it's not parsing, is it possible to tell it to not show autocompletions based on a pattern? This is no deal breaker, it just annoys me when code comments accidentally invoke the drop-down and I'd imagine that a similar problem could happen with strings.
Ensō: A PS Vita bootloader exploit
Overpopulation
Even the right to life and liberty requires the government to have people work at jobs to maintain security. Other than an-caps, even the most rabid libertarian thinks the government should provide national security.

Isn't that all forced "slave labor" by this same argument?
I’m happy with rcv as we have for the federal races in Maine. There was none of the predicted chaos and confusion and the results were well accepted by the voting public.
I wonder if they weren't using VLC's hardware acceleration option or something? Not that I blame them; the options screen is kind of a nightmare.
It is and if voting id laws are shaped in a non discriminatory manner, this could be one of many alternative documents to the "standard" driving license.

But equal access is what matters here. If the ruleset is such where you make it a lot easier for certain groups to vote over other groups, chances are you will be found to be in violation of the 24th amendment or at least the equal protection clause of the 14th amendment. Texas voter IDs have been struck down more often than not so far so obviously a lot of judges have taken a dim view to Texas' intent.
That doesn't cover lab animals. I've also read that animals in the wild also weigh more.

One explanation is higher global CO_2 levels, giving faster growth, which means more calories (and fewer other components). So, the same amounts of food now have more calories.

There's also arguments for hormones in the general food supply. Possible global factors are pollution in general, and plastics in particular. (For wild animals, decrease in biodiversity may be a factor).
This is kind of funny. Until you realize that some people actually believe this stuff. Either way, burden of proof should always work the other way around. Other than strong believe, did this father-in-law actually offer some scientific evidence/proof to support his theory?

This is not to say that established theories would always hold scrutiny. Thinking of e.g. what we thought about tectonic plate movements/continental drift only ~100 years a go.
I have the same setup actually! But my speakers only take analog in so I use a cheap USB sound card.
> How many races (contests) does a typical urban Australian election have?

Commonwealth, state and local elections are held separately.

How many candidates for hotly contested races?

For Senate elections it is not uncommon for there to be literally hundreds of names on the ballot, which is why "above the line voting" is an option.

How many ballots are procssed?

For a Commonwealth and State elections, millions, with an indicative count (ie, whether there a clear winner on first preferences) made on the same night by tallying across hundreds or thousands of polling stations.

More to the point: it scales. The indicative count is easily parallelised to any level, since summation is a commutative operation.

I think your implication is that Australia doesn't do it at a large enough scale and that therefore, our experiences don't count. That isn't true. Commonwealth elections are comparable in scale and complexity to the operations of those run by the largest states in the USA to handle federal elections.
Yep... a "cute" proposition that was when I saw it on my ballot. I chose to give EMTs the chance to have a real lunch break. I am paying special attention to how that prop fares.
Show HN: A minimal function to bind state to DOM
The question about Gracie jiu-jitsu is not so interesting anymore: In the early 90’s, there were simply very talented jiu jitsu practitioners who were close to the UFC. Now we’ve witnessed many strategies used successfully in MMA, like American college wrestling (Ben Askren, Matt Hughes), Thai clinches (TJ Dillashaw), kickboxing (Holly Holmes), and Judo (Ronda Rousey). In fact very few fights end with an interesting jiu jitsu submission anymore, the armbar and the tear naked choke are the most common. These techniques were never unique to jiu jitsu.