skysight-inc/HackerNews huggingface dataset:
It is strange that when I was going up companies were about the product they make - not the perceived change they could be.
I don't understand the negativity in many of the comments here. I'm all for legalization of marijuana, but I actually think that the inability to test for people driving high is a very reasonable argument against legalization. I generally feel that people should be able to make their own choices, but not if those choices involve driving a 3000 pound piece of metal down the highway while impaired.

Yes, we need to be certain that this isn't giving false positives. But if anything, this is step towards more legalization efforts on the whole (and fewer people driving high).
I'll have to admit I was also very confused by the use of 'FANG' so often around here.
This is a really important topic, and we were hoping someone would bring it up. Our device is designed to output objective results to shift the burden of proof from subjective observation to the output of a device. We would expect the number of false positives to decrease as a result of our device.

With that being said, we're also allocating a significant amount of our resources to have full-time employees, with lived experiences, research the implications of our technology on minority communities.
I presume that the parent is referring to https://www.urbandictionary.com/define.php?term=Knob. Warning NSFW text.
> If someone uses X amount of marijuana (what this tech can establish), do we know that this will always have effect Y on the driver?

That's not the relation we have with alcohol, either; we have an on-averagr relationship. Which is why drunk driving laws tend to prohibit both being actually impaired by alcohol regardless of BAC and having a BAC over a certain level even without any other evidence of impairment.

Drugged driving laws generally prohibit actual impairment due to any drug (including marijuana/THC), without specifying testing thresholds as an alternative basis, largely because we don't have as much testing levels vs. impairment data for other drugs.

A test could provide evidence supporting the conclusion that observed erratic behavior was impairment due to the drug without being compared against a fixed “prohibited” threshold.
According to them it's meant to be the Greek word for Joy. Interestingly, in their native Japanese katakana notation, カラー is indistinguishable from the English word "Color" due to the lossiness of katakana sounds.
https://en.wikipedia.org/wiki/Khara_(studio)
The Apple human interface guidelines are a good source of information: https://developer.apple.com/design/human-interface-guideline...

If you want something that isn't tied to Apple you can find a list of similar guidelines here: https://en.wikipedia.org/wiki/Human_interface_guidelines#Exa...

Personally I find that KDE, gnome and xfce have great UI, you can find their guidelines in the list above.

Regarding implementation I'm a big fan of Qt, there's an excellent python binding as well (PyQt), which makes it easy to get started especially if you already have your logic implementing in Python.
An Innovative Robotic Exosuit Boosts Both Walking and Running
> Now if someone threw a large pile of money at AMD again, things could get really interesting IMO.

That somebody might be Nvidia. I believe that Nvidia is still battling and has not yet paid the 1.06 billion Euro fine to AMD imposed on it by the UK courts in 2009. Hearsay claims that it was the similar US fine that basically paid for Zen R&D...
Does anyone know what happened to xpool?
> VR’s killer app ATM

there is no such thing as a 'killer app' "ATM" - a 'killer app' by definition is one that transforms technology/society and that afterwords, we 'cannot do without' (or at least think so) - eg. personal computers+spreadsheet, smartphones+mobile internet, etc.

If a 'killer app' is 'at the moment', it isn't a killer app because there is a 'next' moment, implying that the previous 'killer app' wasn't 'killer' because we can now do without it
> Now if the employee was experiencing mental health issues as a direct result of coworkers or the work environment, then yes, the company should provide support.

I think you kinda nailed there - he was placed in awkward situations where the other employees suddenly didn't have an opinion one way or another, whereas they had lots of opinions about ebola, etc... I'm wondering if therapy is even the correct word. It's more of a societal shield we all put up in various circumstances.

Sometimes I try to imagine a world where women or men, other races, would swap places with someone from an actual conversation I had to help me reveal my own biases by trying to examine how things would go differently. We should be at a place where the conversation doesn't really change.

For example let's say you're talking to your uncle about crime in the midwest. Suddenly swap them out for a black person from Minnesota. Is that conversation different now? Why? How do you internalize that so that when you speak you can speak to anyone.

Another example - tradeshows. Sometimes I hear people talking about the customer like they are a wallet - now pretend that those people are suddenly talking TO the customer.

Not only do we have the ability to see how messed up our own actions and language is, but you can now see it in other people.

I'm not saying doing that kind of thing is going to fix all problems, but it is a very good thought exercise.
And I'm sympathetic to your friends' struggles, but I don't think it helps them to establish a norm that you must always talk about social issues of the day at work. Sometimes people will be having a welcoming discussion about the most recent antidiscrimination law, and sometimes they'll be having an incredibly non-welcoming discussion about Jessica Yaniv.
you know I was talking about ICE. Electric motors are a lot simpler so wild change in momentum is probably free and as you say you have regen braking..
Thank you for elaborating.
Moon glows brighter than sun in images from NASA's Fermi
People who watch video games, but never play them
1. Problems with type inference is a problem introduced with polymorphism with implicit type variables and isn't exclusive to dependent types, 'f = show . read' shouldn't compile because of type ambiguity. What is so specific about dependent types in this regard?
Harold McGee explains the wonders of salt
I think what they're saying is none of those issues should ever come up at work.

Most companies its understood that talking about that stuff leads to a meeting with HR, I also imagine the conversations about police brutality is why they were so silent, because people are afraid to discuss it without saying something that's likely to offend or know its a highly sensitive topic.

I agree work should be neutral ground, at least if you want to keep non-hostile.
Judge orders Georgia to switch to paper ballots for 2020 elections
So, I've seen the flip side of this. I have a friend who does building inspections for insurance companies. He sees what's basically outright fraud all the time, but companies rarely press it. Think about it: their main incentive is to avoid paying out claims where they shouldn't have to. They're more than happy to deny a claim, stop offering your services to that person and let the next insurance company get defrauded by the person. The companies have minimal incentive to rat out their own clients (especially when they're merely 95% sure it's fraud), and so lawlessness can easily continue.

So, I can see both sides of this. The government might WANT to prosecute insurance fraud, but they're rarely aware of it, because how would they find out?
Interestingly, seeing it is what is really difficult and triggering. 2014-2015 wasn't some unusual flareup in police violence, it was merely a flareup in visibility.
To be fair, people have said that about many things and they were mostly right
>> Or if we eliminate meat consumption altogether rather than promising people magic lab meat every five years, that would have an effect.

With this I don't agree. People need meat for a healthy diet. Completely eliminating meat is just as fantastical as magical lab meat and indeed requires some magical unicorn technological solution (like giving everyone B12 supplements or whatnot).

Reducing meat consumption, of course is another matter. However, we are going to have to live with at least some greenhous gas emissions and the ones from the animals we farm for their meat are the ones we will be forced to keep until last.

Because, ultimately, we need to eat meat, but we don't need to drive cars, fly in planes, have each our personal communications device, etc etc.
I have but I also read the news.
The coal industry is, over the next decade, going to go the way of Venezuela, and the parts of America still dependent on it economically will go with it. We are not ready.
Not sure if this was intended, but interestingly, the company name in the native Japanese katakana notation, カラー, is indistinguishable from the English word "Color" due to the lossiness of katakana sounds.
https://en.wikipedia.org/wiki/Khara_(studio)
Why did my comment get flagged? All I did was paste Wikipedia links. Not even a news/ not even my any statement.

Is Wikipedia also a being considered a bait?
Wouldn't the companies be benefited by using blood tests since they will return positive after longer periods of time? Basically, don't blood tests allow companies to say "sorry no workers compensation - you were high when that beam cut off your leg"?

But also, I have mixed feelings about this from a moral/ethics perspective. I think it's going to do more harm than good by making testing easier and more prevalent (we already have blood tests for cases where someone was injured by a driver, etc.). The good thing is it may save some regular users from being labeled as impaired versus a blood test. Outside of that small case it all seems bad for society to me..
but blender isn't CAD, right? it's not a replacement for cad software (such as openSCAD, autodesk, etc...)
this is great news -- proud of USA and Americans! Americans truly teach the World when it comes to technology and advancement.

Also, it is great to see more and more usage of coal in products ranging from toothpaste all the way to food products.
Conceptually you seem correct but your numbers are a bit off.

Down a steep hill on my road cycle I can easily get to 45-50mph.

Rolling resistance doesn't change that much with speed[1].

Rolling resistance energy balance at 18mph is on the order of 10-15W[2]

Drag increases with the square of velocity (D=0.5 * <drag coefficient> * <representative cross sectional area> * <air density> * <velocity>^2).

The drag energy balance (plus some rolling resistance) at 10, 20, and 30mph is on the order of 10, 100, and 300W, respectively[3].

[1]https://www.schwalbe.com/en/rollwiderstand.html (see section "what exactly is rolling resistance")

[2]https://www.bicyclerollingresistance.com/road-bike-reviews

[3]https://www.exploratorium.edu/cycling/aerodynamics1.html (see the calculator)
That's not what he's asking for, though. Here's his recommendation for change:

> my mental health has been heavily influenced by what I read in the news. ...Google needs to provide mental health support... mak[e] a[n] ... effort to create opportunities ... to seek counseling and support.

If he stated instead that his mental health was influenced by his coworkers hateful remarks, or rejecting candidates due to "fit", then yes, I would absolutely agree this is a great direction for Google to head towards.

But that's not what the employee is asking for.
I was curious to hear his argument. He elaborated below. Doesn't make any sense to me.
Isn't it exactly what the author of the memo is saying though? People at his work had nothing to say about police brutality against black people, so of course they were racist and supporting it.
> Even though the constitution still describes
> the value of a dollar as a specific weight of
> gold, like most other things in that document
> it is ignored.

Citation needed.

Article 1, Section 10 is the only place I can recall saying anything about gold:

No State shall enter into any Treaty, Alliance, or Confederation; grant Letters of Marque and Reprisal; coin Money; emit Bills of Credit; make any Thing but gold and silver Coin a Tender in Payment of Debts; pass any Bill of Attainder, ex post facto Law, or Law impairing the Obligation of Contracts, or grant any Title of Nobility.

_My_ reading opens up a door for "Texas Bucks" issued with backing/redemption of some volume of gold/silver. But I'll wait on expounding more to give you the opportunity to show me where I am mistaken.
>Did Google openly support one candidate or party?

Yes

https://www.businessinsider.com/wikileaks-emails-google-eric...
The Netflix movie The Irishman is about a labor union organizer/mob hitman [1] who claims to have assisted in JFKs assassination at the behest of the mob/ Jimmy Hoffa.

You can literally spin a wheel of different motivations for groups who wanted JFK dead and they all have their own convincing reasons. Except hackjack's little conspiracy here, which seems to be missing a final paragraph about why we need to switch to using Bitcoin as our standard currency.

[1]: https://en.wikipedia.org/wiki/Frank_Sheeran
That's "I'm wither uninterested or unable to speak up to ask for information." It's still a political statement.
The thing is that this gadget has been doing the rounds of trade shows for more than a year with this unfinished detail of having it actually change gear.

There is this difference between theory and practice. So even if there was a solution - yours is elegant b.t.w. - then it would take a whole lot of testing and fine tuning to get right.

I am actually quite astonished at how bicycle parts evolve, the derailleur took the best part of a century to get indexed gears and those took decades to go from clunky to smooth. What took so long to get right? Scores of refinements were needed, e.g. to the sprocket teeth profiles, to being able to manufacture a decent chain to basics of friction in cables. Then there is the challenge of mass manufacturing these things so they are durable and precise.

I am not dismissing the ceramic speed shaft innovation - it gets people thinking - but I doubt my bike will be losing its chain any time soon!
How about they test for actual impairment before legally declaring you impaired?
I think a lot of folks here are aware of what a double-edged sword this could be. Getting impaired drivers off the road is a worthy goal, but these kinds of tools have had devastating consequences when misused by authority. Accuracy is also a major component here, and I believe all parties have acknowledged how challenging that problem is.
It feels like it's already mostly gone this way; the vast majority of the coal-associated jobs (those involved in mining) are already gone. Automation plus large closures already gutted the industry.
It seemed like a bit much to me at the time. It's not something that I've ever had occasion to actually use (I don't search sorted lists much...). I wondered if I would have been able to come up with it if I hadn't already seen it in data structures class years ago - I mean, of course I figured out the "algorithm" when I was a little kid playing "guess the number", but I'll never know if I would have come up with it in that context if I hadn't already seen it. The consensus here seems to be that it's a reasonable question, though - but I do remember that the only people who ever got it were people with CS degrees.
You conveniently left out some important statistics:

- Despite being 13% of the population, blacks commit 53% of homicides and 37% of all violent crime: https://ucr.fbi.gov/crime-in-the-u.s/2017/crime-in-the-u.s.-....

Maybe that explains why they have more trouble with cops. It's easy to craft a simple narrative of good vs. evil when systematically ignore all the sins of one side.
HGX-2 Deep Learning Benchmarks: A 81,920 CUDA Core “Behemoth” Server
In the 300 mile range you start to get near the point where the average (mean and median, maybe not mode) commuter can charge once a week on an average work week at a fast charger at the local grocery store for merely an hour or two and still not worry about range. Work charging and home charging are nice to have slow and steady options that make EVs easier than gas, but it's about to the point where if you treat it like "gas" with a once a week fill-up that is increasingly an option if you relax your worries about "range" to the point that gas users are currently relaxed about in keeping their tanks full.

(Range anxiety for ICE will eventually make a huge comeback. Electricity is everywhere, imagine driving a car where you couldn't just plug in anywhere the electric grid is and had to go to "stations" of a scarce mostly single-purpose resource for power. Haha.)
Emojis are a Japanese thing. Apple didn’t enable them at first in the States.

https://en.m.wikipedia.org/wiki/Emoji
The FCC Fined 'Jimmy Kimmel Live' 'The Walking Dead' for Use of Emergency Tones
> I'm not paid to learn new tools. I'm paid to write software.

All fine, if your contract has the "I am a robot" clause or if you happen to write COBOL for a living. The rest of us will have to learn to stay up-to-date, just like carpenters, doctors or gardeners. Because nobody wants to hire someone who missed all progress since graduation...
scientific research doesn't always relate to 'products' - but scientific research still happens and needs to happen.
Yeah, not in Australia though.
From the UK...
"A decade ago, coal plants generated almost a third of the UK’s electricity, but in the first half of this year they have provided only 3%."

https://www.theguardian.com/business/2019/jun/21/zero-carbon...

https://electricityproduction.uk/from/coal/?t=8y
Debatable. To me life imprisonment sounds like a perfect match for perverting the legal system to jail and ruin innocent people for profit. This corruption is not just a crime against the victims, but against society itself for its erosion of the public trust in the institution of law.
There is more cult than cult leader. The people who enjoy functional programming find it vastly enjoyable/better/whatever. I fully admit it's hard to convey this and hard to demonstrate this empirically because the cost and scale of an adequate experiment would be prohibitive.

The biggest thing I don't like about the model checkers and other strategies is:

1. No separation of proof and proof search. Deductive proofs are a good lingua franca. I want to mix and match techniques to derive the proofs and have them work together. Many of the things you like have potential to be repurposed as such "tactics".

2. Composition of verified programs. Functional programers really value composition and the things you like tend to be used for "whole progra verification". At the very least, while one can verify individual parts, there is no mechanized way to combine those proofs.

I also think the evidence already points away from your scale argument. To put it simply, right now Agda is good for toy stuff, things you like are good for medium stuff, but only Coq and Isabelle/HOL is used for the biggest projects like Cake ML and Comp Cert. Both of those are proof theoretic tools.
Such a cynical take. Things need to start somewhere. It can't be all or nothing.
BBC is increasing its shortwave radio shows
Have to agree with this. I'd rather spend only work hours on tech du-jour.

I spend plenty of my own time on math/CS/<techs that I'm personally interested in>, and I think companies benefit from those as they make me a better programmer - but most/all? companies don't really appreciate and never reward those efforts 'cause those aren't the latest fads <sigh>.
Intro to Python GIS (2018)
"We Program in COBOL!"

(Walks away slowly avoiding eye contact)

A bit less facs- fascatio- fesceeshus- silly, companies that aren't smart enough to invest in good tools probably aren't smart enough to invest in good people. You can overdo the tech worship, but you can totally underdo it and cost yourself a bomb.
Perhaps Tesla wanted them to cancel the order because they couldn't fulfill it and that's why they delivered sub-par vehicles that they know would be throughly scrutinized.
A little known secret is that the Lunarians had him assassinated due to his declaration of war against the Moon. Elon Musk better watch out for the Martians now that he's threatened to nuke them. :)
> Potential injuries include burns, puncture wounds and welts

yet

> repeatedly do this without long-lasting identifiable physical traces, makes them a favoured tool of torture

if i understand this correctly it seems that the risks are either pretty low or the artifacts don't last very long.

anyway, is the mechanism similar to e.g. Taser? if so seems much ado about nothing here, American cops have been getting off on using those for decades
They don’t need to roll-back the E2E encryption, they can just access the data right there on the device after it’s decrypted and upload data back to FB via a sidecar. It will start with basic mining of content on the device with ‘anonymous’ summary or aggregate data being uploaded but it’s a slippery slope...
I'm sure this will work out for the parties who are frequently discriminated against. Safety is a concern but you sure better prepare yourself legally for what's coming.
> An eagle in the world of doves can kill a lot of doves and have short term evolutionary imbalance. But soon, the marginal cost of turning into an eagle is so small so there are new eagles popping up in the population all of a sudden.

This looks like a reference to the Hawk-Dove game. For those who haven't heard of it:

You have a population of two groups, hawks and doves. When they come into conflict (say, over a source of food), two doves will spend a lot of time staring each other down (each incurring a minor fitness penalty), and two hawks will fight (each incurring a major fitness penalty), but a dove facing a hawk will immediately surrender, incurring no penalty at all.

Depending on the amounts involved, there is a percentage of hawks which maximizes the total benefit enjoyed by the population, and that percentage is more than zero. A few hawks save a lot of doves time they could spend doing more productive things.

What I find interesting about this game is how it interacts with some popular notions of government. A traditional utilitarian perspective is that the purpose of government is to maximize the welfare of society. As applied to the hawk-dove game, that would mean the government should anoint some people "hawks" and set rules that mean a hawk in conflict with a dove automatically wins, regardless of the merits of the conflict. This is a pretty traditional aristocracy setup. It would then be the business of the government to make sure the number of nobles stayed within an appropriate margin relative to the number of commoners.

But another very popular model of the government says that it should make sure everything is fair. ("All men are equal before the law.") That would mean abolishing the concept of the nobility's inherent superiority to commoners, ensuring that everyone is a dove. It sounds better, but in terms of societal welfare, it's worse.
https://www.youtube.com/watch?v=_HQh29nQcvs
If you haven't seen this as a viral post years ago, a great example of falsetto.
You also get all the baggage that comes with windows.

Very few people that are hanging onto OsX for Photoshop are wanting to switch to Windows.
Actually I am very familiar with what monopolies are. But if you disagree then please enlighten us rather than posting low-effort comments.
How is twitter in any way "crucial"? Just because twitter is popular does not mean it's crucial.
maybe an explanation of your opinion would help bring more substantive comments to hacker news?