skysight-inc/HackerNews huggingface dataset:
Once we get self driving, there could be far fewer cars per person. If you amortize that part of the bar chart of emissions which comes from producing the vehicle and divide it by, say, 20, and continue to develop new solar and wind farms, the BEV looks really amazing compared to current non-self driving ICE cars.
Yeah, IIRC they were still just a book store back then with B&N competing nicely with them. Seems like such a long time ago now!
Ironically this article is still referring to Damore’s memo as an “anti-diversity memo”. What an overt falsehood. There are lots of valid criticisms of his memo, but this isn’t one of them.
I use Fastmail and while it's very different and not as "modern" as the Gmail interface, I did end up getting used to it and enjoy the straightforward control it offers.

I've also switched to DDG as my main search engine but often find myself using `!g` as the results are quite as good in many cases. Still, it feels great to be escaping Google's stranglehold.
I think he's making the morally dubious jump to say that corporate profits are immoral.
Some friends of mine recently launched the pilot episode of their independent series, Culturesport, all done completely in Blender. https://youtu.be/UEcNEO3fVF8

They've been proselytizing Blender for years now, seems like the tide is rising.
It is template based so that each types JSON parser is statically known and to give the compiler more opportunity to optimize. https://github.com/beached/daw_json_link

I haven't had a chance to look at why yet.
> As I understand it, whether social media companies are platforms or publishers forms the actual core and substance of this debate about "free speech."

This is wrong. There is no such distinction between platforms and publishers and the opposite is actually true. The law explicitly states that website owners are not responsible for content provided by other parties and are also explicitly permitted to curate their platforms for what they deem to be objectionable content.
Many would argue that it depends on the race/sex. They would also fail to grasp the irony of their argument.
I believe that's an artificial distinction. Companies like Mailchimp have already started implementing protections like mandatory opt-out mechanisms to protect themselves from liability. If networks of mailing lists around political rather than business interests were more common, I'd expect no less this kind of self-policing.

The OP hits at a fundamental problem. I'm not sure there's a clear path forward.
patriotism != nationalism
Truly one election not going your way is proof we should go back to serfdom. The proles must learn their place!
> How does this make no sense?

Because most correctness properties aren't compositional.

> What? You state that proving doesn't scale referring to constraint based solutions? Sure, they don't scale.

No, you've misunderstood the paper, and missed the part of the post where I provide necessary context. Like a lot of work in computational complexity theory, they're referring to the model checking problem, i.e. the problem of determining whether a program satisfies some property, not to any particular verification algorithm. Their results apply to all methods (their proofs don't not rely on any particular verification method but show hardness results).

Also, it's funny that you say "they don't scale." You're right, none of the formal methods we have scales nearly as well as we'd like, to the point we can say "they don't scale" [1]. Of them, the one that scales the least is deductive proofs. That's the main reason it's the formal methods that is used the least.

> constraint based solutions

I don't know what you mean by that (SMT?), and I don't recall mentioning those.

> Because you can automate anything you can prove with a SMT or model checker?

Yes, model checkers are completely automatic.

SMT is a class of algorithms and techniques used in various verification methods -- deductive proofs, model checking, static analysis, concolic testing -- not a verification method in itself, so I'm not sure what you mean exactly. Sometimes they're used to prove some logical proposition directly, but they're not used as a complete software verification tool, because they're rather limited on their own.

[1]: When applied to the code directly. We have ways of scaling formal methods by verifying high level specifications.
1. is not poverty though, and it is a moral decision if we chose collectively. Remember, billionaires are on average not happier than your average citizen. The people of many African countries are no less happy in aggregate than your average american. So why would lowering our collective level of consumption be immoral, if it did not lower our level of happiness?

We need to stop assuming that our current level of wealth is somehow the apex of progress: it categorically is not
Well unfortunately, fixing America will take far more time and effort than even outright abolishing ICEs and transitioning every automobile-driving American to electric vehicles (let alone let the market do its thing, given that the advantages of ICE relative to electric are rapidly evaporating).

So, you know, why not push for the latter in the meantime while we work toward the former?
There really should be an offering for people who just need to honestly talk to someone without consequence or follow up (barring cases involving harm to others).

I think a big reason so many people deal with depression in silence and end up committing suicide is because they don't want the attention or being put into the mental health system. They need someone who'll listen to them be completely honest about all the problems that they can't be open about with friends and get it all out without the whole neighborhood knowing or being fucking detained.

Plenty of people are going through temporary troubles and don't want "depressed/suicidal/a risk to themselves and others" tacked onto their name forever. But as it is, a lot of our mental health frameworks are set up that way and it leads to people choosing a quieter way out.

I know loads of people will defend wellness checks or putting people in a hospital for a while. For some people going through extreme crises, it is good. But we need a very clear and obvious option for people who aren't a danger to others and just need an anonymous chat once in a while and want to be left alone the minute they hang up the phone. I think men in particular, especially since a large number have nobody who they can honestly vent about their problems with, are in need of something like this. They don't want to be seen as weak, they don't want to be thrown into the system, they just need someone to talk to.
You mentioned quitting cannabis. If you don't mind elaborating, I'm curious what benefits you have experienced and why you ended up quitting. Thanks!
Everybody is different, but 4.5 hours feels pretty low.

I'd be tempted to trade my hour of mediation for another hour of sleep.
e-numbers cross-dispatch so it’s not really an issue. You can call 911 in case of fire, it’ll be relayed.
How could I truthfully mean soy by "what cows eat", when around here, soy only makes up 1-2% of cattle feed.

You're cutting all the corners available by adding up the fact that you've heard soy being fed to cattle to them only eating soy.
It takes a while to grok but for example constant expressions would have type “List Int 7” but a list value from I/O might have type “List Int n” where n is a natural number that also exists at runtime. Now zip would be “forall a, b, n. List a n -> List b n -> List (a, b) n”. Right away you could do a self-zip with your I/O list because the compiler knows that n == n but if you want to zip two different such lists it gets more interesting.

Now you have n, m, and xs : List Int n, ys : List Char m, and you want to do zip xs ys but m doesn’t “unify” with n so the type is wrong. So you have to do an equality check at runtime which gives you a proof of equality or inequality. In the equal case you have a value of type “n == m” and then you can use a language feature to rewrite the type of xs (or ys) according to this equality.

This was written on a phone kind of hastily but maybe it makes some sense.
This is untrue. Looking at the history of America and understanding what race actually is shows that white people are definitely the "hostile dicks".

And don't take this as me bashing individual white people, it's me bashing the entire idea of whiteness.
I find it interesting that you've reacted so emotionally and read so much to what is a simple observation of the behavior of his coworkers.
and your are mistaking the working class with people with wealth.
Clearly fewer folks are buying into that. The day of the 1970's 25-foot land cruiser are waning. The Ford Focus is now king.
There's a more fundamental issue - a mental health crisis is a medical emergency, not a crime. Police officers are rarely trained in mental health first aid and are not appropriate first responders. The default should be to dispatch an ambulance, with police support if specifically required.
> what would happen?

Nothing. It's not a bad tweet. It's not threatening violence. It's not racist. It's not hateful towards a particular group. It's just a criticism wrapped in an insult, and frankly, not even a comparatively harsh insult. It's sad that some people think it should be removed.
I've spent more than 200 hours volunteering on a suicide hotline.

I've called the cops once, on a woman who had taken two bottles of NyQuil and was losing consciousness with the phone on speaker begging me to stay on the line until she died because she didn't want to die alone.

I've talked a dozen people out of nooses, helped teenagers get through the night with out cutting themselves, helped women who were being beaten by the spouse find a women's shelter. I've talked to the same depressed and lonely old women in a California nursing home almost every week. I spent two hours on the phone with a man who was driving because he kept threatening to crash into on coming traffic.
How do these actions look bad to you, apart from "beat up random drivers"? And where you see the news of beating up random driver?
The question was not if having context justifies the action, but rather if having context helps better understand the reasons this happened.
I'm also from a poor background and agree with a lot of this. It was a huge mistake for Google (and other valley companies) to politicize the workplace. No one will be happy in the end. They should have stayed focused on being excited about making the best technology they can, background and politics aside.

Pandora's box is open now and I don't think they'll be able to reign it in. Thankfully, this leaves an opportunity for another generation of companies to return to a technology first message and eat the large, politically quagmired megacorp's lunch.
You don't have to have health insurance. You have to pay a fine for not having health insurance. Many people decide that the fine is the cheaper option, so health insurance companies at least have to compete with that.
I think they're saying that they want to use Linux exclusively. So running CC on Windows is just as bad in their mind as running it on Mac.

(Actually, now I think about it, it's worse than running CC on Mac. Because on Mac at least they get a *nix based OS.)
OK, you changed my mind. I still think buying an electric car is better than doing nothing, but I also see the emphasis on individual consumer decisions as a serious distraction.

Sure, electric cars and other consumer decisions could maybe make a 10% contribution in solving the problem, but these individualist approaches are getting the bulk of the attention.

I feel there should be a name for this phenomenon: When the solution that has a ~10% effect gets ~99% of the attention, whereas solutions that solve ~90% of the problem get ~1% of the attention.

It's like a Pareto law of inversion of contribution versus attention.

It should go without saying that this effect is everywhere in technology, especially software development. You're going to encounter it today at work.
> Silence on an issue is not a political statement.

Sure it is
If I'm not mistaken the original inspiration for this research was precisely that farmers noticed their cattle (or perhaps it was sheep) were happier when allowed to graze in fields which happened to be along the shore, allowing them to naturally eat quantities of sea weed.
Even at 22k, that is a lot for most people. Online it says the LEAF can go 150 miles for around $4.80. Your payment would be around $375ish a month with at least $100 for insurance (probably more).

Why would most people do that when they can get a used car cheaper or keep driving what they have. It is just expensive (i am not saying i would not like a Nissian LEAF, that would be sweet).

I guess i see people buying EV's and ask why the rest of the world is not (i know you are not asking this, but a lot of comments i read are) when we cannot afford them.
Long Fall Boot
https://half-life.fandom.com/wiki/Long_Fall_Boot
One point: the memo mentions some person saying "these protests aren't going to solve anything" and goes on to say how they're just blocking people from getting home. I think it's inaccurate to attribute this to racism or lack of diversity. It's something far simpler.

This person and many like them are just completely self-centered.

You'll probably fine the disruption just affected their commute home. Nothing more, nothing less.

Don't get me wrong: I'm not defending it. In my time at Google I lost count of the number of times that, say, some engineer 3 years out of college couldn't afford a 5 bedroom house in Palo Alto for them, their partner and their dog and how they were underpaid and this was unfair and a problem (and I'm not exaggerating as much as you might think) while not thinking twice about the 2.5 hour commute of the workers who prepare the free food and drive the buses to and from SF.

It's actually infuriating how much people can buy into these things as being "problems" while being completely oblivious to what's actually a problem right under their noses.
> You have to reason about the way you write code, what your apps need, and what works best for your users.

Not to use too-harsh language but that's a cop-out in my opinion. Yes, some tools are better for a given job than others. But we're working with general-purpose machinery for the purpose of building UIs and applications. There isn't really a differing set of requirements or problems in that domain. ... and if that's true, then it means that one size should actually fit all. I think, personally, UIKit is excellent. I think people don't understand how to use it properly… they don't understand how to write good imperative code, so they look to a declarative system as a way around that… but I think they're only deferring the inevitable or shifting non-problem-inherent complexity they couldn't initially solve.
There was a stretch from 2014-15 that made it really difficult to go to work on a day to day basis for me. There is something psychologically triggering about seeing people who look like you routinely killed by the state, regardless of the circumstances or politics.

I began to feel some contempt for my white co-workers despite knowing that they had nothing to do it. I did not expect nor wanted to have a conversion with them about race and police brutality, and I don't know many of my black friends who would to be honest -- perhaps Google just has an argumentative culture.
You're assuming that they're indeed not doing anything else. I strongly doubt that's an accurate assumption.
I normally wouldn’t comment on a thread like this, but is this a sock puppet?

The protests have pretty clear demands and calling them aimless feels weird.
The EU has designated six-digit numbers starting with 116 as "harmonised services of social value"[0] which are reserved for a specific purpose.

For example:

116 000 is for missing children;

116 006 is for victims of crime;

116 111 is a child helpline;

116 117 is for non-emergency medical assistance; and

116 123 is for people in emotional distress.

[0] https://en.wikipedia.org/wiki/Harmonised_service_of_social_v...
According to https://www.kb.cert.org/vuls/id/918987/ either side can propose a new amount of entropy and the other side can accept or reject it. An updated controller firmware on either side could reject the connection.

Another option mentioned in the paper is for the OS to check the entropy level and close the connection after each renegotiation. I'm not sure if OSes have actually been updated to do that, but it would work for all kinds of devices even without hardware vendor support.
If you have the ability to speak out for an oppressed class of people but do not you are de facto supporting the dominant regime. Silence is collaboration with the status quou. It's subtle but it IS racism. If you have the time to talk about social issued with your co workers, you have the ability and time to stand up for truth, justice, and freedom from oppression. If you don't get back to work. It's precisely the silence that is deafening.
Why not 01189998819991197253?
> There really should be an offering for people who just need to honestly talk to someone without consequence or follow up.

The vast majority of people who call suicide hotlines do it for this purpose.
Absolutely. I just tried it recently after years of shunning it for its UI and it looks and feels fantastically better. It should’ve been like this ages ago but there you go, they’ve finally changed it.
And debate isn’t what the author wants. How would the author feel about a debate about whether black people are statistically more likely or not to experience police brutality? People feel like they can debate what happened to MH17 or who Angelia Jolie will date. But for these issues there is only one sanctioned viewpoint. Forgive me for not standing in a circle while we all chant it.
The question should have one added word.

>Is it justified to temporarily suspend rights/privileges of 100 innocent people

Which the answer is always no. Saying otherwise opens the door to more police state factors encroaching upon the rights of the others. The same thing is happening in Xinjiang against innocent muslims there and in no case is unlawful detention without reasoning ever justified.
I used to think that real estate prices/cost of living would drive companies to start looking to base operations outside of the bay area. I’m starting to think that a high maintenance workforce culture is going to beat prices to the punch.
Yes, but the "least amount of work", as far as Idris is concerned, has no necessary relationship to what the programmer intended when they defined the type. It guesses the simplest thing that fits, but that's far from a guarantee of correctness.

It is a serious shortcoming that even when you pay the complexity cost of dependent types, you still can't specify the intent in this case. I mean, the semantics of "zip" can't be specified with a type. You can define a "sorted list" or "ordered list" type, but you cannot enforce maintainance of the natural, arbitrary order of list elements. In this sense dependent types are both too complex to reason about and simultaneously not powerful enough to fully specify the function.
Pixar have always developed and used their own in-house animation tools, it's a big part of their culture. I seriously doubt they'd be using Maya (or anything else) regardless of how advanced it was.
You can infer it easily enough, the weights are based on the reduction in energy use. It doesn't say that the reduction in energy use is like shedding 1 pound while running, it says it's like shedding 12 pounds while running.
I’m quite excited about Blender’s growing popularity.

But, FWIW, I used to animate effects at PDI/DreamWorks, and we were using Maya. Today I think it’s Houdini. In my time, modelers were using Maya as well. We had an in-house character animation tool mainly because the character rigs were custom, evaluated with an in-house scripting language, and Maya couldn’t evaluate them.

While costs are always scrutinized, the decision to use Maya had very little to do with the price of a seat of Maya. It was just a tool that many people knew already (which is a huge factor in cost, BTW) and it also did most of the things we needed to do.

All the in-house tools were constantly scrutinized for cost, and usually the question was not whether we could reduce costs by building in-house, it was the other way around: can we reduce costs by purchasing off the shelf software. Remember that each and every developer is a 6-figure salary, which can buy a lot of seats of Maya. Note this applies to contributing to Blender too... it’s very expensive to contribute to Blender, so it really has to be appreciated when it happens!
Depends on the bond pattern. Alternating single and triple bonds (polycarbyne or polyyne) would be arrow-straight, rigid, semiconducting, untwisting, and explosive in bulk. Triple C-C bonds are an open invitation for cross-linking.

In order to be stable, they have to be capped with a less-reactive group than hydrogen. If you break a ring, and get a C18 with naked electrons instead of protons on the ends, that's going to react with something, quickly and probably energetically.

That bond-bending energy has to go somewhere, too. If you break the ring, you're probably going to break the molecule near the antipode, too, giving you two highly reactive C9s, or a C10 and a C8. Like if you cut a bowstring at full draw, you're probably going to break one of the limbs of the bow.
That same order from June 2000 included five other books and one Sega Dreamcast game (Grand Theft Auto 2), so they must have had a few non-book departments back then.
Yeah that honestly would be a pretty shit UX. The closest thing I could see for relevance would be listing by users automatically which could make them look bad given it favors them.
>There's no one national center, calls to NSPL get routed to the center that's closest to you geographically (I believe that's based on area code). Different centers may have different training and policies, etc.

I would definitely argue that this is the case. Like you, I also volunteer for one of the NSPL crisis centers, and we don't generally call emergency services unless it's absolutely necessary, but there are definitely stories out there where they were called when (in my personal opinion as a volunteer) it was not required. I seem to remember a story about a veteran getting an unwelcomed visit from law enforcement simply because they owned guns and had suicidal thoughts with no intent to harm themselves. If I can find the story again I will link it.
His co-workers were openly vocal about the impact of the Eric Garner-related protests (blocked traffic) but silent on the issue itself. I think that's worthy of criticism, even if it is human nature to avoid issues until they impact you directly.
Have they tried not killing people?
Which is why a carbon price is so essential. Even if all the information was readily available to consumers, its too complex to be able to interpret.
I really like this idea, and had come up with it independently a few days ago. Light-field is very processor intensive, but oh so powerful.
> But when it came to the violent policing of black bodies, they were silent.

Because it's way too risky to have an opinion on that topic unless it precisely tows the woke party line. It's a minefield. You'd have to be stupid to touch that topic in the workplace in 2019.
NodeGUI and React NodeGUI – Build Native Desktop Apps with JavaScript and CSS
Yes I agree completely with your calm and rational analysis. Technically completely correct.

The problem is the whole point of the system is its for users who are not calm and rational.

I've never seen a scenario in the real world where making a system more complicated helped users who were not calm and rational.