skysight-inc/HackerNews huggingface dataset:
It's quite interesting seeing the polarization of people's opinions on type systems. I have friends who adamantly argue that static types slow them down and prevent them from adapting quickly. On the flip side I have friends who claim they cannot write code without static types and that JavaScript is unusable.

When really, both styles have their value. Static types are very useful and do provide some nice safety. However, static types can also be quite annoying and force you to acquiesce to the type system. You have to learn to "speak" types, which can be very tricky. There's a joy that comes with the freedom of no static types.
And there is the failure of so much modern thinking, laid out in black and white: your financial picture is your measure of success.

God I hate greed and the profit motive more than anything else in this whole wacky place.

I would love to die in average suburban comfort if it meant the billions I'd made had all gone to deserving causes and not to any flagrant lifestyle of my own.
Computer games strive to look like movies, borrowing established means of expression and cliches from movies (specifically, Hollywood movies). This includes narrow depth of field in cutscenes, color keying by genre (usually orange and blue) and imitation of chemical film colors. AAA games look very unrealistic, but everyone is too accustomed to this look.

Static graphics, rendered with non real-time methods, usually imitate photos, so depth of field is added too. They tend to look more realistic than games.
i, j, k, l, m ,n suggest that this problem is concerned with an integral number of cannibals and missionaries. Usually these letters are assigned in the order of occurrence. If cannibals were introduced first and missionaries second it would be unnatural to assign missionaries an m. Further a c for cannibals would be counter-intuitive because c is often used for constants.

> Mathematicians really do make things hard sometimes.

Hard for non-mathematicians for sure, hard for themselves often enough too; but not this time.
April Startup Funding: Corporate Gushers
Have you tried an HSA? What are the caveats on yours? Does the money roll over? Are there limits on how much you can put it? Does the bank that owns your HSA invest it? HSA's look like they were designed to save people money, but they are really just another way for banks to get more capital to invest, which is why there are so many caveats on them. I think it is abhorrent that an HSA even has to exist. An easier sol'n would be to allow no minimum limit on tax deductions, it just makes more paperwork for people. But I think HSAs are a bandaid to a broken system.
You claim that there was no process change in April 2018? That's certainly a new one to me, and frankly I'm not sure how to have a discussion when we disagree on such basic facts. Politifact (sadly the most neutral source on my first search page) quotes:

>Before Trump came into office, families were detained together, sent back immediately or paroled into the country, said Peter Margulies, an immigration law and national security law professor at Roger Williams University School of Law. Now, prosecution is happening across the board and has become the uniform policy.

Were the options to "[detain them] together, [send them] back immediately, or [parole them] into the country" somehow impossible even when this was being done?

https://www.politifact.com/truth-o-meter/article/2018/jun/06...
Classic: "A Rare Blend of Monster Raving Egomania and Utter Batshit Insanity" - http://bactra.org/reviews/wolfram/
Porn video sites stay in business by not competing with YouTube, accommodating content and advertisers that YouTube doesn't want. What kind of content are you or the grandparent commenter looking for this theoretical new site to host?
Public transit doesn't come for free. Bus systems are sometimes worse than people in cars. I would suggest fixing the individual vehicle transportation system (congestion tolls + high gas tax would be a start) than forcing everyone to stand on trains for their commute and stay at home on the weekends.
> Federal politics is a distraction. A useless distraction that you're obsessed with. That's the kind of thinking that's "dangerous".

While I realize this is pretty much a trolling post, I just want to highlight that you are in quite the privileged position to believe this. You couldn't possibly believe "federal politics is a distraction" if:

1. You desire to get married to someone of the same sex.

2. You have anyone you care about who has been affected by federal drug laws.

3. You have any close relatives who are citizens of another country.

4. You are a woman who cares deeply about her own reproductive rights. Conversely, you believe that human life starts at a stage earlier than currently recognized by the Supreme Court.

5. You have a pre-existing medical condition.

I could go on, and of course there are loads of ways federal policies affect virtually everyone albeit in a less direct manner (tax policy, monetary policy, foreign trade policy, etc.)

But congratulations, I'm sure those only apply to other people, so fuck them.
> I will never understand how so many people in tech think that not for profit means never make a profit, or pay anyone for their time.

My dad used to be a test engineer for UL, and the way he always (wryly) put it was: “They might not be for profit, but they’re definitely for making money.”
I agree. The headline didn't say that Microsoft invented drag and drop ML
Car seat could be made of soyabean
Well, that article talks about blaming Big Pharma for the costs that make it expensive, not the National Health Service.

With the big pool comes big leverage. The NHS effectively said "We're not paying that much", and the pharmaceutical companies decided they'd rather be paid something. Because if someone is not getting treatment, then they're not getting those drugs.

Medicare in the US does this. "This is what we are paying for this drug".

The issue isn't so much this. It's that drug industry lobbies in the US will have far more sway over the politics of this than they would in the UK (or Canada, or Australia, or...).

I definitely don't claim to be an expert on these things. But I have lived in the UK with the NHS, in Australia with its medical system, and now in the US. In addition to that, I've worked as a healthcare provider, and for a Health Benefits Management software company, so I'd at least like to think I have something of a varied perspective.
No, it's not. And agreed, Lobe has always looked great. Hopefully there will be announcements about it at Build next week.
Saving Northern White Rhinos with a Robot
My background is php and then javascript. My first experience with 'types' was learning that apparently javascript's implicit type conversion was not normal and actually pretty bad. That made sense to me.

Then I learned about explicit types via TypeScript, and that made sense to me too, although I could imagine how this could explicit typing could get in the way of my prototyping, small projects, or REPL-driven development.

Now, a few years later, and having learned a bunch of new languages, both explicitly and implicitly typed, I'm mostly wondering why I'd go for anything that isn't gradually typed as an ideal approach.

I get the impression that the core discussion is explicit vs implicit (correct me if I'm wrong), and I can see how in some cases enforcing explicit typing is worthwhile, but for most of the work I actually do, it seems like the best solution is something gradual and flexible. Typescript, or perhaps some (improved) version of Elixir/Erlang's Dialyzer, or Clojure's spec: flexible enough to allow for said prototyping, small projects, and REPL-driven development, but gradually rigid enough to be useful when things grow larger and more solidified.
Couldn't they do a redirection (301) to not break code ?
This advice is highly implementation specific and unnecessarily dangerous. For read only transactions, a well designed system will be able to provide SNAPSHOT isolation with little negligible perf impact compared to READ UNCOMMITTED. When combined with SERIALIZABLE write transactions, reads at SNAPSHOT are equivalent to SERIALIZABLE.

For transactions which must write, the entire point of this article is that anything less than SERIALIZABLE leaves you subject to anomalies whose affects on your data can be very difficult to predict beyond trivial scenarios.

If you must lower consistency for performance's sake, then so be it, but I would strongly argue that should be the exception, not the rule, and not be a decision made lightly.
>For Zuckerberg, as with mast CEOs, the future is, and always has been, telling potential customers what they want to hear to get them excited about their companies. Nothing conspiratorial about that view either, its part of their job description.

The executives of a corporation conspiring to mislead the public and conversely it's investors is the very definition of "conspiratorial".
What's funny about your comment is that in order to try and make your point you invoke "everybody", despite not knowing anything about me or even knowing anyone who knows me.

What you've done is expose the weakness in your argument -- you have no idea what I can or can't do, do you?
That's not partisan that's idealogical

Partisanship means supporting one party, you're describing ideology supporting a decision
> squeezes people who bought a house 20 years ago back when fuel, insurance, parking wasn't as expensive. Their house are the only one that - by the way - are the only ones that didn't gain value.

Are those the same people that tell me to move out of the city into a bigger place and commute in? They seem pretty smug about their choice, “you paid how much for your tiny little house? You could buy a mansion for that here”

Well this is why those people are wrong.
Show HN: Mass generation ad creatives and any designs
Rust: Building Simple APIs with Hyper and Usher
Interesting, the reasons you listed make a stronger argument for public transit than for cars, for me.

30 minutes sleeping in mean I've just added one hour to my car commute time (we joked that the difference between leaving at 6:30 and 7am is getting to work at 7am and 9am), whereas I just catch the next train and get there exactly at the same time as I would have before... plus 30 minutes. If I want to pick up beer, I just grab some from the liquor store on the way to the train or whatever, and carry it, no big deal. Re: rain, traffic accidents go way up in the rain and everything slows way down on the freeways, but the train doesn't feel it at all and still gets there exactly at the same time. It's got AC on it so I'm not uncomfortable on hot days.

Public Transit generally sucks in America so yea, driving is better because the above reasons don't apply when the train comes once every 3 hours, is unreliable, and the AC is broken. But the option does exist to have good public transit, it just needs the funding. Other cities and countries have figured it out, it's possible.

So given that good public transit is an option, is better for the environment, is cheaper in real costs, why not seek that out?
No, the corruption at WMATA is among the rank and file, who get paid too much and don’t do their jobs. The vast majority of WMATA’s employees are in operations.
I think the free market does a good job of solving problems, just not of deciding which ones are worth solving. The military follows a hybrid model that (mostly) works, where a semi-free market is created and guided exclusively through governmental leverage, theoretically giving the best of both worlds. Utility companies work a similar way, as do (I think) some first-world government-run healthcare systems. I think the ACA was aiming for this type of thing, but was so hamstrung by compromises and by the sheer complexity of the system it was trying to reshape, that it ended up being a pretty mixed bag.

Maybe in the case of American healthcare, the current state of things is just such a horrible rat's nest of problems that we really do need to burn it all down and start over.
Wow, that's easy. Based on how politicians in the US react to the Catholic Church's teaching on abortion, I assume they will immediately react to this by getting rid of the death penalty as quickly as possible. There's no pesky supreme court decisions that keep them from just dropping the death penalty, and no "pro-death" faction that militantly supports death penalties.

Any other response is hypocritical, and maybe puts lie to the pro-life position. Or am I totally misunderstanding things?
Puppy Pregnancy Syndrome
"Most important" and "best" are descriptors that rarely apply to the same product. The most important beer in America is probably Bud Light.
Pretty hypocritical considering they're fine with obfuscated blobs running DRM (EME).
but why...?
Update: After a few articles, you need to register to continue reading.
In my personal experience this effect has much more to do with expectations than compensation.

As soon as it's my job to work on something, and there are deadlines and expectations looming, all of a sudden I'm more interested in every other side project I've ignored for the past several years.

But in this case, there's no expectations set, pre-approval process (after which you'd be expected to meet your goals), or anything like that. If you find yourself affected by the extrinsic motivation, you can simply not log the work afterward, and then it's like you weren't offered any money for it in the first place.
In your head don’t spend time going over how you could have done things better/differently. Initial evaluation is good when things could have gone better, but past a certain point you’re just beating yourself up and getting worse than nothing out of it.

If you beat yourself up mentally to much, it’ll make it harder to do anything, because you’ll be afraid of failure etc.

That’s partially how I think of it anyways.

Also, be realistic with your expectations.
That arc of software history is recognizable to me. There are excellent devs all over and pretty much every large company has divisions with european offices with devs. There's something about the business of starting large software based enterprises that seems to work better in the us though.

Also, I think China is coming for the us software industry's dominance. If they can figure out how to get around the worry of chinese govt access to external to china customers, chinese software companies could out compete the us, just like microsoft with windows beat out ibm maybe.
Yeah. Unpredictability in demand
yields unpredictability in supply, and vice versa.
>You will still need/want a car for grocery trips

Yea, exactly, there is no good public transit, anywhere, in America.

There are cities throughout Europe and Asia where the thought of needing a car to get groceries is comical - the grocery store is right there, or a short hop on a bus/metro away, and it comes every 3 minutes so no big deal.

The USA desperately needs infrastructure help.
> We need a standard protocol for "data that changes over time".

This already exists: it's called a DVCS.
Simple Recurring Jobs in Phoenix Apps
> My problem with this is how can I verify my hookup is taking their meds and undetectable. Trust but verify doesn't seem to work here for hookups and one night stands.

It is simple. Do not have hookups with HIV+ people. Why are we normalizing this.
The unneeded departments are also quite powerful and want to survive. We call them “deep healthcare”....
> But the option does exist to have good public transit, it just needs the funding. Other cities and countries have figured it out, it's possible.

Our public transit is actually very well funded. London’s Tube spends half as much money per passenger mile as New York’s subway. (And the New York Subway or DC Metro get half their operational funding from the government, while the London Tube pays for its own operational funding with fares.)

Just because non-Americans have figured out how to do something doesn’t mean Americans can’t. (For example, we spend among the most on public education per student, but get worse results.) Good, well managed, public services is something that appears incompatible with our culture.
That's excellent, and really contributed to your quality of life.

I on the other hand had "excellent" employer-provided healthcare. But when a routine kidney stone (my first) ended up having (pre-existing, not as a result of procedures) infection and I had three procedures for it, two in the OR, the bill ended up being the best part of $100,000, which I had to come up with co-pays and others to the tune of nearly $8,000.

For a kidney stone. Something that (touch wood) I might not have again, but could also have dozens through my life.
People want to go because it is a lucrative career. Lowering the education requirements would result in lower quality of care.
If the votes aren't public enough to see the ballots, how do you know if a voting district cast the correct number of votes for the number of ballots cast? How do you know if the number of quadratic votes match the sum of sqrts of the individual votes? How do you check to see if anyone's cheating?

If you can see the ballots, you can filter for the ones that match the cartel platform, and count to 100. There may be a voting coordination strategy to find out who cheated. Maybe instead of 100 members, you have 99, and each member votes 2 for a different issue.
It's mostly being very still and quiet, waiting for a prey animal to wander by.

Yep.

In his teens, my dad used to make money by killing foxes for the bounty on their head when one was raiding some farmer's chicken coop. If you could do it in one night, it was good money. The more nights it took you, the lower the de facto hourly pay.

He would lay perfectly still for several hours in the dark by himself with a cocked gun waiting for the fox, often with bugs crawling over him that he didn't swat at because that would involve moving. He usually got it the first night.
Were you hunting like primeval man, or modern man?
slashdot.org
Jsii: Use JavaScript modules naturally from every programming language
osnews.com
I drive every day (between Daly City and SF) and still love driving.
> I know religion is taboo in scientific circles, and educated people think of it as just another psychological tool

I've spent years working with scientists in research labs. In my experience, this isn't as true as people assume. There are plenty of hardcore scientists who are also religious.
the kid assembled a "suitcase bomb" prop and kept showing it off to his friends during class. His teacher told him to stop, he didn't and kept being disruptive. Obviously calling the cops on his bad behaviour is overkill, but the he is no wunderkind as portrayed by the media (and even the WH).
>My theory is that social media, the internet, and these manufactured communities trick our brains into feeling like we belong to actual communities -- when in reality, we do not.

Same with celebrities - some people have trouble disconnecting the fact they're intimately familiar with celebrities (or at least the carefully crafted details they share) and confuse that with actually knowing said celebrities. I think that's what triggers the bizarre behavior of stopping these people and asking for a picture, saying hello, etc.

I sort of have the opposite reaction: I'm viscerally uninterested in the lives of celebrities because we're not friends. My wife has finally learned not to tell me Gwen Stefani is pregnant or whatever after I ask "Really? When's the shower? What should we bring?!?"
Does anyone have insight on why they're making this change? All they say in this post is "In our effort to continuously improve customer experience". From my point of view as a customer, I don't really see an experiential difference between a subdomain style and a path style - one's a ".", the other's a "/" - but I imagine there's a good reason for the change.
The kid is good at constructing mechanical toys. But let's be clear, this is hands-on mechanics of very simple mechanisms. He is also, as far as the video shows, imitating mechanisms that he has already seen in full scale machinery. It's a feel good story, but do not nominate this guy as a future game-changer just yet. Precociousness is not an indicator of future potential.
I wrote this paper for a class at university in 2002 that relates to some of what you're saying: https://web.stanford.edu/class/symbsys205/facetoface.html

It's funny to read now because it predated social media for the most part. When I say social networks in the paper it's a theoretical concept which we might call a "social graph" now.

I didn't mention it in the paper but that class also introduced me to the concept of Dunbar's number (https://en.wikipedia.org/wiki/Dunbar%27s_number) I guess I'd TLDR it this way now: Internet connections are weaker than in person ones but they probably still take up a slot in your social graph. That graph is probably capped somewhere around 150. So it's not super surprising that when you freed up some space by disconnecting from the internet communities, you felt compelled to fill it back in with people in physical proximity with you. It's a cool personal experiment and it would be interesting if it could be replicated more scientifically.
The KDE Frameworks are chalk full of well designed and useful C++ libraries. Threadweaver is particularly nice.
HSA Authority (part of Old National Bank). Last time I ran the numbers, the break-even point on annual expenses vs some other options was about $10k in HSA balance — where smaller balances would pay more at HSAA than some other provider(s). But they cost less than other providers for larger balances (again, last time I checked).

https://www.oldnational.com/thehsaauthority

And for comparison, https://thehsareportcard.com/hsa-authority / https://thehsareportcard.com/the-top-10-investor-hsas-1 . The landscape may have shifted since the last time I did my research.
Disney saying "don't put my brand next to porn" isn't speech suppression.

That has nothing to do with their suppression of even mainstream news and commentary, like Phillip DeFranco.
We are pleased to announce that we have completed major project revisions and ready to open beta access to our service "Creative Machine".

Creative Machine is an online graphics editor with mass automation that makes it easy to create advertising creatives and any designs massively and individually.

I will be glad to your feedback and questions.
https://en.wikipedia.org/wiki/United_States_budget_sequestra...

"By Republicans in Congress"

The Republican House had narrowly passed a bill on December 20, 2012,[15] which would have replaced only the defense side of the sequester with cuts to programs including food stamps, Dodd-Frank and the Patient Protection and Affordable Care Act.

"By Democrats in Congress"

Patty Murray, Democratic Chairwoman of the Senate Budget Committee, proposed on February 14 to replace the 2013 sequester with $110 billion in spending cuts and tax increases. Like the House version, these policies also include a Buffett-rule tax, the closure of the oil subsidies, and cuts to farm subsidies. Additionally, this bill would cut defense spending for 2013 in excess of the amounts required by the current sequester. But this bill has little chance of winning the 60 votes required to override a filibuster.

-----