skysight-inc/HackerNews huggingface dataset:
It's worth reading through the doc page. It's not not too long: https://doc.rust-lang.org/stable/book/ch09-02-recoverable-er...
Government != Society
How to write Pseudocode a beginner guide
Most farmed salmon eat a diet heavy in fish meal, derived from wild caught but "undesirable" fish. Eating farmed salmon may not harm wild salmon populations directly, but they still have an impact on wild fish stock. Eventually, there could very well be food competition between wild salmon and farmed if fisheries continue to seek fish meal from wild sources to feed an increasing population of farmed fish.
> For example, the engineer says the custom ASIC does 144 TOps for 2 chips vs the NVidia drive Xavier - does 21 TOps. Okay, well yeah I expect your custom ASIC does have a nice performance advantage over the equivalent GPU. at 3.5x advantage probably seems reasonable. Cue Elon Musk:

Here's my issue with that. The on-chip SRAM is only 32MB, and the RAM is LPDDR4 rated at only 68GB/s.

Assuming a dot-product (multiply + add) over INT8 data, that's a limitation of 2-operations per 68GB/s (that the RAM moves at). Or 136 GIOPS (Giga-integer8 operations per second). You're limited by RAM, based on what I've seen in the presentation.

Unless their neural net is 32MB and fits entirely in on-chip SRAM. That seems unlikely to me...
Not sure what the authors application is, but we run a dozen servers behind http/2 load balanced and dozens of sites and haven't seen anything similar to what he is describing.
Likewise - as far as I've ever been concerned, it's just another form of income tax. I don't really mind doing my bit to take care of the old folks, but I certainly don't imagine any of that will ever come back around for me.

I didn't realize this was a generational thing.
It seems like Go's error handling is basically like node's err callback argument, maybe a little cleaner. But it's still not that strict in forcing you to deal with errors. You could just rename err to _ and just drive on.

In Rust, you either have to deal with the error, or explicitly ignore them. And if the error is the type that warrants crashing, that's easy too.
What’s so hard about putting this at the beginning of the function?
import pdb; pdb.set_trace()
Hacking for Julian Assange. Is It for Support or Attention?
It should be easy to be a millionaire by 40 in the Tech Sector, particularly if you don't end up with dependents, just save your money and don't live above your means. Almost all tech workers are paid way above the averages for the country, but we live above our means a lot of the time though.

If you look at the last 20 years if you started out as a software engineer around 2000 you probably made a lot less than $100k when you started out but you should be making more than that by the time you're 40, it should average out to around $100k.

So if you average to $100k for 20 years that's $2 million in earnings. Say you averaged 20% taxation you're down to $1.6 million. If you had $100k in student debt, which would have been a ton if you graduated in 2000, you're still at $1.5 million.

There are families which live on way less money than this, if you don't have a family and you're a tech worker you should have been able to save $1 million in that 20 years if you were maxing your 401k and being otherwise financially prudent and not living too much of a consumer lifestyle. The key thing here is if you were saving right from the start your investments have already had 20 years to grow.

I see co-workers buying new cars every 2-3 years and going out to eat every day, paying huge amounts of rent, etc.. buying every new video game that comes out at $50-60/pop, taking international trips all the time.

It's easy to spend money, but if you don't it's also easy to save it.

Even if you do have a family.. you are probably not getting married to someone making minimum wage, now you probably have 2 salaried workers earning more than the average/median, even easier to save.
I paid my student loan off in July 2017. That September, I got back into housing.

When I was mostly bedridden for 3.5 months, I had trouble getting doctors to take me seriously. When I was reacting anaphylacticly to the polluted air in the LA basin while pursuing my certificate in GIS, I explained to a doctor that I had taken out a student loan and really needed to complete the program that I was already halfway through. He loaded me up with the most drugs any doctor has ever given me.

Twenty-two months of withdrawal followed. I failed to get the internship at a National Lab that I had applied to. It took me forever to finally get a job.

A lot needs to go right for someone to complete their program and turn it into an adequate income for converting those loans.

We need to admit something went systemically wrong and stop acting like a whole bunch of individual young people just made bad decisions.

I don't think letting some current student loan holders off the hook and moving to try to make sure this can't happen again is a bad idea. Though it's certainly possible that this will turn out to be the first iteration, so to speak, and can be improved upon.
Some works of art may have value beyond their auction price, but you probably shouldn't buy them if you can't afford them.
Also, if you use Box<Error> or failure[1]'s Error type you can get around implementing most of the conversion Traits, but you lose the ability to tell which errors can happen by just looking at the type signature and doing exhaustive matching on them.

[1]: https://github.com/withoutboats/failure
>> For example, it's possible to research AI at universities. No one is going to pressure you into making target-acquisition image recognition or person-of-interest mass-surveillance tech at a university

You might want to look into the vast amount of military tech that was developed at research universities, often indirectly driven via availability of grants. Academia isn't really a safe haven here.
Lodash and Usefulness of Utility Libraries
> Please don't submit comments saying that HN is turning into Reddit.

https://news.ycombinator.com/newsguidelines.html
Someone I know worked for a company making ultra sound machines. A US company bought one of their machines and exported it to Japan where it was reverse engineered. And they found out about it. The upshot was both the US company and the Japanese company were enjoined from developing, manufacturing or selling ultra sound equipment for 20 years.

Federal three letter agency's were heavily involved in wielding the stick side of things.

That is the angle OP should pursue.
Here[0] is a video of someone making this cup of tea, and why it's important.

[0]: https://www.youtube.com/watch?v=nAsrsMPftOI
Hacker News should not allow links to post that needs subscription
There are many news website trying to promote their content. User on platform should be able to read the content when they open the links. It is annoying when these websites pop up with subscription required. Bad experience.
Unfortunately Credit Karma doesn't let you delete you account; you can deactivate, but your data stays with them for at least two more years.
AliBaba is already gaining marketshare in Europe. The Chinese company supports local payment systems, their customer service is surprisingly good, they are actually hungry for business and most importantly CHEAP.
Amazon got a bit arrogant and complacent. Probably because of their god status in the US.

One of the best things about capitalism is that nobody is safe.
“In my view, it’s a crutch that will drive companies to a local maximum that they will find very hard to get out of,” Musk said. He added, “Perhaps I am wrong, and I will look like a fool. But I am quite certain that I am not.”

https://www.theverge.com/2018/2/7/16988628/elon-musk-lidar-s...
There is a distinct difference between being born naturally, or living a kind life free range, and suffering for a short period, than being bred for industrial purposes. Industrial breeding usually means male and females of the species are separated and artificially inseminated, the mothers are separated from their offspring, male animals are routinely killed or used for young meat, female animals are forced into often crowded conditions and given antibiotics and hormones to grow faster. This is not the pleasant life, it is slavery from the beginning with a most cruel end.
I think there's also a wide division as to what people think their government is for.

e.g.
"Should I pay to arrest/convict/incarcerate the person who stole my phone"
vs.
"Should my cancer be cured without bankrupting me"

#1 seems to get universal traction, as does #2 in pretty much every country who could fund it, apart from the US.
I don’t see people stop using Gmail, Maps, and Search over little PR problems only a small minority care about.
Oh, hey, this was great (the link to the 'From' trait). "enum CliError" -- this example was crystal clear and answered a lot of my questions.
AFAICT, 99% of the Rust jobs out there are just crypto startups. So at this point, not that great.
>Countries who can consume and produce within themselves are going to succeed more than those who primarily import / export

Citation heavily needed for that claim.
I find it amusing how confidently you state that. As if completely ignoring all the people who have said that same thing every year for the past 5.
The NIH has moved the requirements in rodent research recently. Previously, using only male rodents (bucks) was considered just fine. After some really alarming studies out of McGill [0], much of the field has changed. Now, you must garner a waiver to only use one sex vs. the other in rodent studies. The effects of this change remain to be seen, but are generally thought of as positive.

Some context is needed though. The estrous cycle of dams is fairly complicated[1]. Controlling variables in hormones, hydration, etc. is much easier in bucks. Since the experiments are easier to control for, you need less rodents and therefore you need less funding for rodent care and housing, and you need to sacrifice less rodents to do the experiment (generally). Hence why they have been the 'preferred' rodent sex historically, among many other reasons.

Additionally, rodents are some of the 'first' level in vivo models, but are far from the last in the long line of research that is human applicable. It is very common that research done in rodents will not translate to other mainstay research vertebrates like dogs and monkeys, let alone into humans. The differences in the sexes are vastly outweighed by the differences in species.

Generally, yes, it is good that we are now defaulting to having to use both sexes of rodents. However, costs and sacrifices per experiment have risen as a result. All things have trade-offs in our world.

[0] https://www.google.com/search?q=mcgill+pain+mice+research+ma...

[1] https://embryology.med.unsw.edu.au/embryology/index.php/Estr...
While its true that one can use `unwrap`, pattern matching and other higher order methods available for the Result type are a more idiomatic way to work with these.

For example:

match <something that returns result> {
Ok (v) => <do something with v>,
Err (some error) => <handle error>
}

By using the result type, the compiler ensures that the only way to get a value out of the result type is via pattern matching. So the errors are still values, except there is no need to come up with a default value for the error scenario, and there is no need to come up with an "empty" value.

In isolation it might look verbose, but rust also provides a lot of higher order operations that one can do on result types. Ex:

myResult.map(<do-something>).and_then(sq).or_else(<do-something-else>);

Something else that I personally like about a result type is that it also serves as documentation by clearly marking operations that can fail, and have a consistent way for the end-user to know which value indicates that the response is a success or an error.

EDIT: Formatting
Saving/loading is definitely on my todo list. The game I built this for originally was only small and was intended to be finished in one sitting but I’ll be adding support for saving soon.
A friend of mine who is about 6'6"- 350, just loves that place.

I'll pass thanks.
- Is speed comparison going to include Angular with Ivy renderer enabled (and probably OnPush change detection strategy enabled)? It's also AOT rendering stuff that doesn't use virtual DOM.

- There is a lot of static code analyzing tools, like linters, that work with separate JS/CSS/HTML files. Does Svelte have to adapt all those tools in order to make them properly work with a single file component (.svelte file)?

- I believe enabling first-class TypeScipt support would bring more sanity to Svelte-based development.
Many jobs do not require the "basic education" that a college degree provides - a HS education is entirely sufficient, and was widely regarded as such even as late as a few decades ago. It's a wasteful credential-chasing arms race, and the more we keep subsidizing it the worse it will get for everyone involved.
That's not unheard of for an entry level position in Berlin.
Governments and low-net-worth individuals spend every penny they have, which keeps the economy moving, which creates jobs. The idea that giving all the money to a few individuals to hold will work out better for everyone is very hard to rationalize, although it's understandable they like to repeat that notion.
I don't see them doing so over a small amount of "smart people quitting" either.
What we do know for sure is that the animal would not have lived the same life if it weren't captive.

>A free range animal that's being humanely put down by a farmer has a much more pleasant life.

I don't think we can objectively say this. We have no idea what these animals want. Our humanity for these animals lives is nothing short of projection, purely because we have no idea what they want.
> error is an interface in Go which can be easily cast/checked for the underlying type.

Yeah it's done during runtime and the compiler won't be able to help you with it if you fail to do exhaustive type checking. It's a problem anytime you refactor your code. ADTs and pattern matching is pretty much the bare minimum language feature i expect from any statically typed language.
Well, they most likely did expect consequences. But regardless they need to make noise of it when it happens, else it would be a waste of attention.

This is just the way the world works. If you are opposed to something, you need to complain and make a buzz to get change over time. Even if in the moment it is both obvious and will make no difference.
Wealth typically only lasts 2-3 generations. That might change as people have fewer kids. Takes 2-5 generations to go from poverty to top 1%.

I would give citations but I've forgotten where I heard this.
How much do you and your extended peer group earn ? My initial reaction is that if you earning well above average and your peers as well then it's way easier than sharing that info with people earning way less. Or if you earn above the minimum wage but not by much you won't share with that SV hotshot.
I thought you meant a simpler heuristic http://haspvsnpbeensolved.com/ :-)(I had thought Scott Aaronson is somehow connected with it, but probably not, it seems)
As an Italian-American, this explains why every time I go to a Buca di Beppo, I feel like I'm in some kind of merger between a mediocre Italian restaurant and a minstrel show. To those of us who grew up in this culture, it's ridiculous (almost bordering on offensive). Thankfully, I grew up in communities where the Italian's could proudly go to other restaurants that were more respectful of a 3,000 year old culture.

It's tough to feel proud of what Buca di Beppo has done to popularize Italian-American culture in the same way it's tough to feel proud of the movie The Godfather. We aren't all mobsters and we don't all have giant busts of the Pope and cherubs in our houses. Some of us are just computer scientists who like basil.
There's a huge argument for how worldwide culture is influenced by what's trendy and popular in Europe and NA. For a heartbreaking example, see the state of the Ganges river, in India— millions of kg of plastic, all of which looks awful and eventually washes into the ocean:

https://www.google.com/search?q=ganges+river+plastic

Historically when the people disposed of their waste into the river, it was feeding the ecosystem, but that's not the case any more now that they've inherited disposable plastic everything from the West. It's easy to turn a blind eye and say "yeah well, our plastic trash in North America is being properly land filled, so who cares— this is a problem for India to solve." But it's not that simple, of course: we exported the problem to India, and I think it's on us to figure out what the solution looks like too, and model it in our daily use so that it's reflected in the cultural exports (TV, movies, etc).

You see this same basic pattern for a lot of things, where the emerging middle class in a growth economy looks at their English-language media/entertainment for cues on what their next life upgrade should be, and some is mostly good (cell phones, clean water, organic food), but a lot is bad-to-horrible, at least from an ecological standpoint (single use plastic, personal automobiles, overseas vacations).
It's how you explicitly cast from one type to another. To use the ? operator with a custom error type, it needs to be converted to the std error type.
That has become a pet peeve of mine. When the answer to "Can you give us the last four of the CC you used for your last purchase with us?" is "Well, that was a few years ago. I shredded that card when it expired as I always do. This is not information that I have and frankly it isn't even information that you should still have under PII laws."
Spoiler: they are making hundreds of requests per visitor. Welcome to “modern” webdev!
Ask HN: Is there a relationship between prime numbers and Elements in chemistry?
Especially considering SmartUSA.com and "Smart Cars" existed before SmartCar.com, and SmartCar.com is actively profiting off a brand and trademark established by someone else. Looks like karma is catching up with them.
That's a point I usually bring in the conversation: for all our talk about equality, sharing resources, etc. we still tend to associate with people who earn in the same bracket.
https://www.naceweb.org/uploadedfiles/files/2018/publication...

The median first salary for every discipline after undergrad is sub-$100k (fig 7).

I guess you just think college as a whole is worthless.
> You don't support humane slaughter or buying meat from free-range cows, because you think not being brought into existence is better than a happy life with an abrupt ending?

I'm always amazed when this argument is raised. I can't fathom anyone actually believes more life, for the sake of life, is "better". It strikes me as a bad faith argument. There is a colossal difference between ending a life and preventing one from happening.

> That's great for keeping a clear conscience. But realistically is it believable that this will slow down the impending climate change?

About 21.8% of the world's population is vegetarian [1]. Let me flip your question: Do you think if those billions of people began consuming meat, the world would be the same? Of course not. Assuming meat production could rise to fit this 21.8% increase in demand (it likely couldn't), the planet would be much worse off. So, yes. Although an individual's choice to not eat meat doesn't do much, in aggregate, it's massively important. "The inactive must justify their sloth by picking nits with those making an attempt"

[1] https://en.wikipedia.org/wiki/Vegetarianism_by_country
Fedora is considerably upstream for all three. I expect the efforts are mainly repackaging, so instead of repacking RHEL into SL, they'll aid in the repackaging of RHEL into CentOS.

Fedora Scientific Spin is produced by the Fedora Project's Science and Technology special interest group (SIG). It's based on KDE.

https://labs.fedoraproject.org/en/scientific/
https://fedoraproject.org/wiki/Category:SciTech_SIG?rd=SIGs/...

I don't think there's any relationship between this SIG and Scientific Linux.
I'm following pretty much the same definition with you. Compassion In World Farming [1] also campaigns (more or less) along these lines. So you're definitely not alone.
CIWF also operates in the US, but the campaigning in Europe seems more extensive. It is shocking the amount of abuse the animals may go through just to save us pennies. E.g. I was shocked to read about live animal transport conditions [2], only to have them slaughtered in another country.

[1] https://www.ciwf.org.uk/our-campaigns/
[2] https://www.ciwf.org.uk/our-campaigns/live-animal-transport/
Well if we have 98 billion people on earth - lets see how dense we get. This [site](http://www.zo.utexas.edu/courses/thoc/land.html) argues there's about 24,642,757 square miles of habitable land on Earth - this is discounting deserts and mountains, and of course oceans.

That puts about 6 people per acre in all the habitable spots on the globe.

To put that into perspective, Manhattan has about [27,000](https://www1.nyc.gov/site/planning/data-maps/nyc-population/...) residents per square mile - or 42 people per acre. There are other, denser cities out there as well. People-dense parts like this make other parts more people-sparse.

I'm sure by the time (if) we have 98B people - Manhattan will be much more people-dense, and many more cities will be similarly dense. So it may be that 50B people live in massive, dense cities, leaving the other 50B to be in more suburban-yet-still-dense zones.

However, this is the 'idea' case of all habitable land being used for habitation. There is also the need for farms and industrial land, and all manner of other places for human activity, and the vast things needed to support it. Ideas like vertical farming solve for some of these, but are not perfect.
The analogy doesn't work too well, because employees of a company are distinct from its owners and decision makers. An employee in a private company is more akin to a civil service bureaucrat in a government, hired to perform some function. And we generally expect civil servants to be apolitical - they still get to vote etc, of course, but in their capacity as citizens, not government workers.

Mind you, I don't think that means that employees (or public workers, for that matter) should just shut up. But the argument for "should just leave" is stronger in this case than it is for citizens.
Thinking of « Africa » as one place is just as poor a decision as thinking of « Middle East » as one place.

I’m sure things vary drastically between Israel, Iran and UAE.
Can't test as I'm phone posting, but I think you can do that with anchors.
Apple and Microsoft both have products that don't have any Chinese equal. Competing with macOS or Windows is probably the hardest thing to do in the software world at the moment.
> Cybernetically enhanced web apps

Is not AOT compilation is a more traditional name for such stuff?
The thing is, I'm not sure if it's quite a matter that most theorems haven't been proven automatically and rather a matter that using an automatically proven theorem in another theory to be automatically proven just isn't as easy as using an existing theorem in an ordinary proof.

IE, one definition of a Turing machine might exist but it might not that usable for a given proof's purposes.

I see a bunch of proof referenced here and I recall more elsewhere;

https://madiot.fr/coq100/
FL Studio Producer Edition 20.0.2.25 Mac Crack Incl Patch and Torrent
Median household income is nearly twice median individual income (approx 31k vs approx 57k). Households frequently have two earners.
Author here.

Our application is Lucidchart (www.lucidchart.com). It is a very sophisticated web-app with significant amounts of dynamic data,running on hundreds of servers. I would imagine applications with less dynamic data and requests that require substantial amount of compute wouldn't run into this problem.