skysight-inc/HackerNews huggingface dataset:
But at an 8:1 price, why not just over-provision by 4x and save 50% of your HW budget? How many people really have situations where the difference between peak and trough is that extreme? It's way better to have the capacity sitting idle than to be scaling it up and down, not to mention it will help smooth out tail latency to be over-provisioned by that much too.
McDonald's also makes record sales in Japan right now. So by your logic that must be the best hamburger in the market.
I am outside the US. That is why I said "local equivalent to" Fox News (in the UK, the Daily Mail would suffice as a local equivalent).
No, it doesn't, it is agnostic. There's an adapter for every major database out there. Oh, yeah, graphql also has momentum and strong adoption, unlike SPARQL.
"Why does nearly every political race for office in the United States come down to only two choices: turd sandwich or giant douche?"
Therapy practice for adolescents and the LGBTQ+ community in Ridgewood NJ
The Nimble Type Inferencer for Common Lisp-84
> Tabulating IRV is much harder, necessitating more software, which obfuscates the process.

This is a feature, not a bug. The count should be done by hand. The multiple rounds increase the probability that shennanigans will be detected, whether by sheer weight of watching eyes or by numerical irregularities between rounds.

> Election administrators hate IRV. They'll oppose, sabotage it at every turn.

I don't see how to predict which one they will like.

> IRV is confusing to voters. Try explaining it to your parents.

My parents are in their 70s and have voted this way since before I was born. My paternal grandparents were voting this way before my parents were born. My maternal grandparents voted this way when they moved to Australia.

Tens of millions of Australians vote this way and have done so for about a century.

It does not seem statistically likely that somehow Australia has had an uninterrupted run of particular genius at a multi-decadal/multi-million-person scale that nobody else in the world can replicate ever again.
Look through your access logs and see if you can figure out what they found.

If you can’t, talk to them about what kind of exploit it is (so you can agree on a reasonable payout) and then pay on the condition they do a non-destructive demo of the exploit.
Surprise! Meaning requires strong AI (and cultural understanding, much of which is only learnable from interaction).
Does he think the space shuttle was/is the only craft reentering the atmosphere?
I meant to also point out that they said this in 2015 but from my reading of my invoices, and their various Companies House filings, Amazon EU Sarl is still the entity trading in the UK.

Their UK businesses are tiny. Warehousing and marketing.
When Intel ships a consumer part at 10nm we'll talk. Until then TSMC is ahead because they're shipping.

The current generation i9 processors are all 14nm.
Isn't it also true that what we define as coherent is based on observed data that could be fed into these algorithms?
Well within living memory, actually. IBM research labs made many contributions to human knowledge without necessarily expecting short-term profit. I still remember when their scientists used a scanning tunneling microscope to write the letters IBM in xenon atoms, five atoms tall.

We have to adapt to today's world, but we should remember a better world, one in which it was not customary to treat life as a zero-sum game, did exist, not so long ago. Social problems only become unsolvable if everyone forgets they were once solved.
I find your bi-gender-normative attitude extremely disrespectful.
Is that new to these devices? We have an iMac Pro running Linux just fine.
> Shout outs to Aerobatic for the smooth smooth phishing UX. Use the referral code DIANA to be immediately reported to the NSA.

This one definitely got me!
so it seems that I need to hire my own accountant and lawyers according to stripe.....what the fuck is the point of Atlas if you are not American?

waht if I don't pay? are they gonna come after me?

edit: just went to the delaware website, it says to wire them 80,000 USD or else. sent them an email to get clarification.
> Why not approval voting?

Because there is no consistent meaning to “approval”; this is generally a problem with limited-buckets systems in that they force artificially creating ties with no consistent meaning; if you have to have a single-winner system, it should be a ranked-ballot system without limited buckets that does something sensible with the rankings; IRV is about the worst, IMO, that meets that minimum standard.
When I built my PC it seemed like Intel had a pretty small single core edge but amd had twice the cores per dollar. Easy choice if you do anything but gaming imo. I really hope they catch up the GPU space soon.
A joke here and there is fine, but this person injects his jokes attempts pretty much every sentence. That gets annoying quickly.
FYI, Veganism isn't about reducing your carbon footprint or living healthily, those things are an added bonus.

Being vegan means saying no to cruelty towards other sentient and intelligent beings and enslaving them for our culinary pleasure purposes.

So having a friend who is vegan wouldn't really eliminate cruelty towards chickens for example, as your craving for delicious chicken would still require chickens to be slaughtered, i.e. Is cruelty ok, so you can continue to experience culinary pleasures?

Tough questions...

Edit: mainly referring to factory farming and large scale meat industry, where most of the meat we consume comes from.
Also a good question, but not exclusive of the other one.
I just reset my password for American Airlines. They ask me 3 (what I would consider public questions) about myself, then let me reset the pw in browser. No emails or any other authentication. Im still blown away.
In my experience, domain practitioners who spend our days elbow-deep in tensors are well aware that what we call AI right now has nothing to do with AGI.

That knowledge does not seem to generalize well, though. Even technically literate people who aren't in the trenches seem to have frankly insane ideas about AGI. This phenomenon is not helped by armchair philosophy, the frothy chatter of the tech-adjunct world, or the naive idea that "well, transistors are easy, so brains should be too!" that is all too common in people who haven't stuffed electrodes into brains and then spent weeks figuring out what the hell could be going on in there.
OLTP traditionally refers to the type of updates you do during normal use of your application. Frequent, small and incremental updates vs large sweeping reads and aggregations (OLAP)

The T does stand for transactional but in this context it is not referring to transactions in the database sense
Running Pose Estimation on Pi Zero
I'm probably in a tiny niche but I use it so that I can have optical out to my speakers and analogue out to an extension cord with a plug next to my keyboard that I plug my headphones into. This means I can swap between audio devices without touching cables or plugging things in to go headphones -> speakers depending on whether I want to annoy my wife with my music or not.
> What's the absolute worst that could happen if you crack my free account on some cooking website?

The worst that could happen is that you used the same password there as for your online banking, or important e-mail account and such.

If you didn't do that, then the impact is approximately zero.

Of course, that cooking site still wants you to use a sufficiently long password with at least one digit, capital and lower case letter, and special character ...
I don't doubt that Intel will get it together and remain competitive but right now they're really in a bad place. They're usually a step or two ahead, even when pushing ridiculous designs with no merit at all like the Pentium 4 or Itanium. To see them scrambling now to catch up is pretty much unprecedented.
Systemic corruption makes the rule of law "difficult" to enforce. And by difficult I mean this is a feature not a bug for the huge interconnected web of power that actually runs the country.

PS: The fact China is not a democracy which has some unpleasant results: https://www.youtube.com/watch?v=rStL7niR7gs
I liked the idea of Objectives and Key Results (OKR), a system that was started at IBM and brought over by John Doerr to Google and others[1]: short term goals alongside long term goals, set at the company level and the individual level, constant review and adjustment of the short term goals, disconnection of these metrics from employee bonus.

The idea is to get to you goals faster and re-evaluate them for relevance as you go along. Since they are not directly connected to pay there is less of a perverse effect where people are incentivised to work on improving their KPI at the expense of the rest.

[1]:"Measure what matters", by John Doerr
I think GraphQL is just an way to bully the efforts of the W3C to standardize web technologies. It not just is non-standard, also is breaks any advantage of the HATEOAS principle.
Coming from Fox News where we know diverse opinions are definitely unwelcome, is this not a case of the kettle calling the pot black?

I mean one of their own talking heads was campaigning for Trump/GOP last night. So I am not sure what this is all about, and why it’s even posted. I, along with most people here are not going to click a link to foxnews.com.

If this idea has any merit, someone should post it somewhere that is not on a garbage site like foxnews, dailycaller, breitbart, etc. Because I am not going to give those sites the clicks.

And for the record I would feel the same way if it was posted on the liberal equivalents: shareblue, etc.
I think you should read the definition right from the website: https://graphql.org/learn/
Fascinating, thanks, with links to other interesting books/papers. Seemed strange they didn't mention Lakoff & Johnson, whose books - such as Metaphors We Live By and Women, Fire and Dangerous Things - talk about exactly this stuff, and call for more research just like this paper.
True, but it may help explain some of the motivation behind the other one (e.g. if folks feel like the two options are terrible, they may be apathetic towards participating).

For example, in this round I did not cast a vote for governor in my state because I felt the two candidates with any chance of winning were terrrible (though I did vote on ballot measures, and other local offices).
I think it's also time to just call it on Perl 5: It's a dead end: no one can work with the internals unless you're a wizard, and getting the porters to decide on any large features is impossible (function signatures, anyone?), and the, "experimental" pragma is broken.

Is it still useful? Damn right it is, but there's not going to be a Perl 5++.

Speaking as someone who's been writing Perl since oh, 1997 or so. So another multi-decader (and no plans of stopping) - where do we all meet? At the bar?
> I don't think hobbies are an acceptable thing anymore.

That's just corporate America spewing their usual trash talk. Most people you'd meet on the street are totally fine with people having non-productive hobbies. Just as long as you're still able to make a 9-5 job, though.

EDIT: What I'm trying to say is that people care that you have a day job. After that, any decent human being wouldn't care what you do with your free time. That's yours and yours alone.
Because those corporate profits are owned by people, shareholders. What remains after the corporate income tax usually winds up taxed just as your income is; ie generally those profits are not just taxed once. They also get taxed again after distribution. Or if the company later spends it to eg hire someone to try to expand, that also generates income taxation. Or if they buy something with it (new equipment) to bolster their business, somewhere in that chain it's generating further income taxation related to employees (the people that manufactured the equipment, whose salaries are being paid for by the equipment sale).

Consider Apple. They'll return hundreds of billions of dollars in profit to shareholders over time. Not only was the original profit taxed via a corporate income tax, the remaining profit that is distributed will then get taxed further as personal income. The owners of that profit ultimately see that profit taxed twice before it's freely in their bank account. They don't get to skip on the personal income taxes.

If you perceive that corporate profits are under taxed, it's because you're not following the taxation chain all the way to its conclusion. Ireland for example does not have low personal income taxes, that's in part how they've paid for the very low corporate income taxes.

Simplistically, fictional company Smithfield Inc produces $100m of taxable income, they pay a 20% rate on that. They have $80m remaining, after tax profit. That later gets distributed to the owners of the corporation. That $80m will now get taxed again.

The $100m in profit Smithfield generated will see a likely minimum of a total 40% tax rate - in pretty much all developed nations - before all the income taxation is performed on the profit and finally rests with the owners of the business free & clear.

Denmark has a 22% corporate tax rate. Their personal tax rate is high. That means the owners of the corporate profits will see that profit uber taxed, as much as 60% to 70% before the government is done with it.

The point is that the net taxation by the government on corporate profit is much larger than just the corporate income tax rate. That's merely the beginning.
SPIN and TLA+ aren't proof assistants at all - they're model checkers, that is, they simulate a model some number of times and check that the desired properties hold in all explored states. Obviously this means they're not providing a guarantee that the properties hold for all states: there's no proof, only evidence. This doesn't mean they're useless, but it does mean they're not proof assistants.

ACL2 is a proof assistant, at least, but it's not based in type theory, so that's probably why they didn't use or improve it. ACL2 looks like it's specifically intended to aid in proving theorems about models of software systems, as well, which probably makes its logic system a bit clunky to use when expressing theorems about mathematical structures.
Australian Senate elections allow voters to vote "above the line" or "below the line". When voting above the line they mark one box for a political party, their vote will thereafter be distributed according to preferences registered at the electoral commission.

If they vote below the line, they fill out what exact preference they prefer.

This is a pragmatic compromise. The Senate elected on a proportional system, each party nominates up to 6 candidates and so their will frequently be hundreds of candidates to be numbered (the ballots are sometimes nicknamed "the tablecloths").

Voting in the House of Representatives does not have above the line voting, as it isn't a practical necessity.
Seems this opens the path to a lot of hidden bribery. I think it would make things much worse.
Hidden Tribes: A Study of America’s Polarized Landscape
I wish someone made MacMini-sized eGPUs and external disk drives so they could be stacked on top of each other. That'd look very good aesthetically with minimal or no mess of wires.

An ITX format video card (~7") should fit into MacMini-sized case (7.7"), not sure about PSU and heat dissipation though.
Yeah, from what I've seen, Google seems to coast by on brand recognition more, and isn't usually as competetive in pay as Facebook or Netflix or the big decacorns unless you negotiate hard with lots of competing offers.
Most people (I assume) don't look beyond aggregation feeds, or at best, the front/landing page of whatever news source they prefer.
Some feedback - I cant appear to find any way to install on Windows on the following part of your website - https://docs.memsql.com/guides/latest/install-memsql/
Driver is likely not to notice the passenger is unconscious. I completed well over a thousand rides and many of them were with passengers who did not interact with me. Once they are in the rear seats, I do not observe them. Looking at traffic keeps me busy enough.

Driver has no duty to alert ER staff or arrange supplemental transport.

Lyft and Uber could offer medical transport service at an appropriate rate where the driver would get trained and tasked with additional duties.

Navigating into Tesla factory from the freeway takes time. Most drivers will get pinged from the freeway. Unless the driver has been to that facility many times, finding the right pickup point on any large corporate campus is a challenge.

I have transported several people to ER. Those were demanding rides due to elevated risk of passenger causing damage to my car.

Ambulance priority - patient stability
Rideshare priority - no damage to the vehicle

As you can see, they are not aligned.
This is an unrealistic absolutist argument in any realistic view of the modern world with actual governments especially given the extreme excess of resources on earth to provide everyone with good medical care.

“Everyone has the right to a standard of living adequate for the health and well-being of himself and of his family, including food, clothing, housing and medical care…”[1]

[1] Article 25 UN Declaration of Human Rights
LOL, 40 years later and some things never change :

“The most effective debugging tool is still careful thought, coupled with judiciously placed print statements.”

- Brian W. Kernighan, in the paper Unix for Beginners(1979)
In Australia it's called "preferential voting", since you are voting according to your order of preference. Each round of the count is typically described as "distributing preferences".
It's very slow.
Some filters are broken for me now.
And some of the fonts used are ugly, but that's the least important thing.
If types and values were identical, there would be no need for a runtime in any program, and that is simply not possible. There are many things which can only be modeled as values and not as types. (Randomness, for instance.) Dependently typed languages allow a little bit of value-level feedback into the type system, but they certainly do not eliminate the distinction.

And certainly none of this is free. Indirection has costs, and trying to model the entire behavior of a program in a compile-time system is going have costs. Some of those costs will push solvable problems into an unsolvable state, and then things break down. (For another example of this: software can try to emulate hardware, but there are things that hardware can do that software cannot and vice versa, so it wouldn't make sense to say they are identical.)

>The other points are practically true by definition.

"More guarantees" and "more assumptions" are not definable terms. You can't count the number of theorems that need to be true for some model to be accurate.
dupe: https://news.ycombinator.com/item?id=18393344
http://surveys.ap.org/data%5CGfK%5CAP-GfK%20Petside%20Like-D...
"almost everyone like cats!" Would definitely be false :-)
Large organizations often don't work this way.
> Why do humans, pets, and even lab animals of many species kept in controlled lab conditions on standardized diets appear to be increasingly obese over the 20th century? What could possibly explain all of them simultaneously becoming obese?

Because diet is only part of the equation. The other major factor being exercise/physical activity (and probably some genetics). If you eat 'well' but sit at a desk all day, calories in != calories out and you'll probably gain weight.

Also, since this doesn't cite any sources for the conclusion presented here as a question, do we know that the 'conditions' were held constant? (hint: no, probably not)
I guess I'm more looking for a response to "yes CFCs can destroy ozone even though they are heavier than air," and "here is a graph of the size of the ozone vs space shuttle reentries" that shows a non-correlation.
GraphQL has no demands on your data model. You can do whatever you want behind the schema you provide to client apps
For that reason I actually think the allowance of identification that has long been expired, for those over 70, is the stronger sign of the direction. Why is old age a privilege in Texas voter ID law in that you no longer have to actively renew your identification documents like the rest of us? It kind of waters down any claim that "fraud" is the real motivation to me vs demographics.

The general media however has focused on the college ID vs handgun permit argument. So it has to be mentioned.
Not cool in my book regardless of legality. Rebranding it to tabnine-vim alone is confusing, since none of the legwork for vim support belongs to TabNine. At the very least the original copyright notice should be left intact in the README (iiuc this is required by GPLv3).
Interesting read!

With the digitization of data, it's hopefully easier to create a digital trail but I was wondering how they would handle this in terms of a paper trail, especially because a lot of things might need to be backdated.

Also, wouldn't other employees in the embassy also know based on a similar pattern or the fact that this person abides by a different set of rules on a day to day basis?
Have fun picking up after it.
I recommend checking out https://dynalist.io or https://nulis.io
Hard to take anything like this seriously with Facebook's logo on there.
Couldn't see from her wikipedia page where she gained her doctorate?
ELI5: Encryption is a two-way street. If no one I want to correspond with uses it, what good is it?
Well DVDs are MPEG2, and some really old Blu-Ray releases are as well. You also see VC-1 in older releases. Probably should have been a little more specific, Plex will insist on transcoding if the client can't handle the codec natively. Generally speaking that means AVC or HEVC (on newer devices) only.
To be fair, this scam isn’t really elaborative, it’s basically how it should be done.

But the first red flag I see here is Bitcoin; while I’m a supporter of crypto currencies myself I wouldn’t use them with someone I don’t trust; I’d prefer either a fiat currency payment method with some way to claim back the money (cards) or at the very least have a real-world link to the recipient (bank account, etc) so at least I have the chance to sue, or if that’s not an option then crypto with a reputable escrow service.
Guys, I believe you are engineers that are doing an amazing job. But the whole "free up to 128GB" promotion is just.. wtf. And the website revolves around attracting IT managers, not engineers that make educated decisions related to project(s). I make decisions based on calculations, not based on shiny websites. I'm not undermining your product. It appears to be amazing. I'd love if it were free and open source. Heck, we'd probably spend a ton of money on it for paid support, scaling planning, consulting, deployment and what not. I just hate your business model, that's all. Let me have your program running without constraints! And because of it, I can't see a reason to use it. I choose to explore other venues that went down the open source route. I'm quite okay with not running the fastest option. No hard feelings, I sincerely wish you make a huge dent in this area and make a ton of money!
I've started thinking about the whole "do computers grok meaning" thing in terms of proof. If a computer tells me a true theorem, I don't know if I can ascribe "understanding" to it. If it tells me a true theorem and comes up with a proof, then I'm comfortable defining that as understanding within the context of that particular proof language. It passes the buck up a step. You define a new notion of understanding-in-a-given-language and then get to argue about whether that language/deduction system constitutes true "understanding."