skysight-inc/HackerNews huggingface dataset:
IIRC -ftrap is basically unmaintained in GCC and you are supposed to use ubsan instead.

edit: and it seems that ubsan does generate a simple jo:

https://godbolt.org/z/88dE5G

Don't use -ftrap I guess.
Don't forget places like Chad and Niger. Antartica is, as the parent post said, a reductio ad absurdum, but I often pay attention to how global warming (or even just bad years and seasons) affects agriculture and animal husbandry in places like Chad and Niger because it's a forewarning of what might happen to the north of Nigeria (the north is our breadbasket). We also import grain from places that are now having bad season after bad season and it does affect.

If, in the near future, food transportation relies on mostly clean or renewable energy, then it shouldn't be unsustainable to grow and import our pearl millet from a different country or even continent. It would also promote trade, which is sometimes desperately needed.

As long as the methods of production and transportation are sustainable and environmentally friendly, what would the issue be?
There's no free press in China, not elsewhere dear.
Byte magazine (1984): Benchmarking Unix
That assumes two things, the legislature is absolutely willing to go into unlimited debt and they feel the change is critical not simply important/better etc. I don’t think those assumptions hold up in practice.

Everything is a complex series of tradeoffs, not just in what’s useful but also in public perception.
>https://www.google.com/search?q=kazuo+oga&safe=off&sxsrf=ALe...

>https://www.sakugabooru.com/post?tags=hiroyuki_okiura
>https://www.youtube.com/watch?v=BMwNilk-YyE

also very worth watching is yasuo otsuka's joy in motion, his story in of itself is pretty inspiring but also offers a lot of insight into ghibli as well
> Laravel of the Java world

Fixed it for you.
" But guess what, they had no idea how to use our tool or integrate it within their workflow. And to be honest, nor did we. "

Uhmm, think I spotted their problem right there. If they (as the creators) couldn't figure out how it would fit in to a prospective customers' workflow then that is both an incredibly difficult proposition to sell and also an incredible waste of time for the customers that did decide to try it out. Appologies if someone has already stated that (read the article , skimmed the commments)
"The Fischer-Tropsch process is almost a hundred years old, and has been used on an industrial scale. E.g. Nazi Germany used it to produce a non-trivial fraction of their liquid fuels during WWII."

I know it's not an argument against, but the Nazis lost WW2 because they ran out of oil. They invaded Russia at the last moment they could before they wouldn't have the oil to invade, and when they invaded they made a beeline for Russia's oil fields.

They were desperate for fuel from anywhere, because their tanks are useless and they either have to fight to the death wherever their tanks run out of fuel, or abandon their tanks.

...also, the main non-fossil fuel the nazis used was probably hay. For their horses. It's just a super weird example.
I also think that Amnesia: TDD was Frictional's weakest game (not bad but just not as good as the others), in particular due to the more mystical "ancient alien" plot.

Personally I prefer A Machine for Pigs over TDD for that reason too but I was always under the impression that it was mostly The Chinese Room's creation and that Frictional's involvement was limited to the more technical and publishing aspects.
TamaGo takes the place of the operating system and it's drivers, so it is between the use application and the hardware.
That’s a great way to see it!
> But, on the other hand, let's say I decide to forgo, say, a $60k car and instead get a still very nice $45k car.

Does anyone else have difficulty understanding why anyone would pay this much for a car? $45k is an order of magnitude more than I've ever paid for a car. Granted, I don't even like cars or driving, but the cars I've owned have been perfectly functional and any mechanical problems they've had still didn't add up to more than $10k.
The PS4 Spiderman is a gorgeous game with amazing combat and parkour!

Me and my wife both cringed really hard to the repetitiveness and the blandness of the characters however. Tons of plot inconsistencies!
It absolutely is. Despite the numerous attempts to #deletefacebook nothing has changed, Facebook now has ~9m advertisers compared to ~4m three years ago.

The fact of the matter is that people and businesses rely on Facebook and they won’t have the time or patience for an explanation beyond them from the governments out to get FB.
The US doesn’t have a democracy. And there is almost nothing to prevent Donald Trump from staying in office if he loses the election.

Edit: At the federal level, the United States is unequivocally not a democracy. The United States, overall, is a Constitutional Federal Republic with some Democratic traditions and processes at the state and local levels. US citizens do not directly elect the Presidency. The US method for electing a President is extraordinarily undemocratic.

And if you disagree about Donald Trump staying in office please read this article.

https://fivethirtyeight.com/features/what-if-trump-loses-and...

If Donald Trump loses the election, Republicans retain the Senate, Trump decides the election was a fraud, and Senate Republicans go along with him, there is absolutely fuck all that Biden could do.
There's a famous study called the Trinity Study, wherein the authors posit that based on all historical evidence, for a 30 year withdrawal, 4% is a safe number to be able to continuing withdrawals for the whole 30 years. Extending it to 60 years requires dropping down to 3.5%. However, if one is content "leaning down" the fun spending in lean years, those percentages can go up a little bit on average. See the literature about VPW for more info: https://www.bogleheads.org/wiki/Variable_percentage_withdraw...
> _"Meat is delicious"_ is a mindset. _"It's not a full meal unless there's meat"_ is an arguably marketing-induced mindset

If by marketing you mean centuries of behaviour, then ok. Certainly in my region of the world the basic diet has always been meat focused.
>In their business plan Google (now Alphabet) favors a "greater good" for society rather than purely revenue optimization

I did not expect such display of naivety on HN of all places.
In the short term, probably. Not all energy from those impacts will be transferred to angular momentum.

Maybe blowing up the comets before they reach the atmosphere and giving them a larger impact area could help.
It takes time to earn money, usually high stress time.
> like selling user data without regard for their anonymity, which Google avoids by restricting sensitive access to closed-loop algorithms

Where can we find evidence that this is true in both cases?

I certainly see the differences between how G and FB presents themselves to the world. But I'm not sure that deepdown how they paint themselves actually make material differences in how, as major tech companies at center of contemporary society, they operate, or what drives their leadership (ie. profit).
In the neuralink paper which I linked above, they say at the end of the "Discussion" section that the system is also designed for stimulation on every channel, but that they have indeed not yet demonstrated that capability. Basically the difference is that Neuralink is a general BMI with some interesting innovations that is still in the research phase, while the Gennaris system is a specific application that is about to enter human clinical trials.
You can write migration in sql using liquibase as well. Just use tag <sql> and you can write your favorite dialect. Also you can set sql dialect on migration so you can support multiple db engines.

https://docs.liquibase.com/change-types/community/sql.html
The muon pulls them 200x closer to each other.
It's depressing how stupid we (Humans) are...
Sadly, this is it. You know why Boeing didn’t build a competitor? Because they weren’t competing planes they were competing business models. When the A380 was announced Boeing announced the 747-900 and then said this was the last iteration of this line. Their largest plane now is the 777.

But I wouldn’t call the A380 doa. When it arrived the Middle East and Asia were booming. Newly minted millionaires wanted to travel and for a while they did. But the hub and spoke wasn’t enough. You can only stop in DXB so many times before realizing this isn’t your destination just another distraction from where you really want to be. And those destination terminals figured it out. Expanded the airport accommodate more flights. And the hubs became less relevant. And so did the A380.
Modelling tyres on (even solid surfaces) is a surprisingly tricky affair, highly recommend reading into it if you like engineering and have no friends like me
Thanks for reporting! Fixed this. I used a non-standard `zoom` attribute, which works in Chrome and Safari. It's a good habit to check how the website looks in all major browsers.
April Dunford's "Obviously Awesome" is new(ish) and very good on this topic.
Exactly; they don't trust fact checking, because to them the word "fact" has been co-opted by The Man. There's no reasoning with some people.

Actually there's no reasoning with most people; most people can't be convinced that e.g. the earth is flat even when presented with loads of evidence. Speaking for myself, I don't feel like I've changed my opinion on a lot of things for a long time.
Atmospheric. We'd need a lot of water vapor in the atmosphere to power a greenhouse effect.
Seven Obvious Advantages of Quzzister.com
Having full access to online papers opens up a lot of benefits for students:
Online essays are available whenever you need them. You just need to have access to the Internet!
Our essays are written in accordance with all writing standards. You shouldn’t be worried about grammar mistakes because we add samples of reputable professionals to our base. It also means that structure, sequence, and logic of writing are clear, precise and understandable.
Our website contains an huge assortment of newspapers on topics that are various, which means you will not have trouble locating the one for your requirements.
You may download and use our samples! This benefit is helpful since you may look through our essays and also make up your papers that are private to fulfill both your own teachers' needs and get outstanding grades.
Specialized language can be found by you in our essays, which is quite beneficial to understand while drafting missions that are new. You could paraphrase some passages to make them seem brand new and fresh.
You can even cite some of them because quotations are used widely in our essays. Moreover, you can use references from essays to broaden your base of references. Thus, your essay may look more solid and convincing, and newly found references may help you with further research and writing.
Our site is easily navigated. It has an essay helper that facilitates to find a proper paper manyfold. It will not take much time to find a paper you really need.

Nevertheless, students who are under pressure due to lack of time and control can place an order for custom and professionally written essays. Our trustworthy Quzzister service has already assisted many times in writing original and qualitative assignments. High standards of our works have helped many students to get the best grades! Your professors will be satisfied, and you will get more time to do things you really adore doing!
Polis: real-time system for gathering, analyzing and understanding large groups
How to Know You Have a Successful Product Before You Build It
Show HN: Headless Recorder
Guy builds mesmerizing kinetic sculptures [video]
I have no insight about what the parent comment said but Google at one point in the past did quit the Chinese market on principles, the success of their compatriots like Apple which were more flexible with their principles does show the opportunity they left.
Didn't know this one, thanks. Have the ony by Oby Ike-Nobu. Interesting how many "phython internals" books there are now.
Other reasons? http://www.tsowell.com/Discrimination2.html '...challenges the very foundation of assumptions on which the prevailing “social justice” vision is based. The first two chapters of Discrimination and Disparities present a new framework of analysis, and back it up with empirical evidence from around the world, before proceeding to demonstrate why and how so much of the "social justice" vision is a house of cards.'
EBPF Summit 2020 – CFP is now open
We’re excited to announce that the call for proposals is now open for the inaugural eBPF Summit, a virtual event, targeted at DevOps, platform architects and developers, to be held October 28-29, 2020. The summit is offered at no cost, and will include keynotes from those leading the open source eBPF community including eBPF power-users as well as user lightning talks. Participants will have a chance to ask questions to the speakers and chat with peers on a Slack forum. We’re inviting eBPF users, contributors and community members to participate in this virtual gathering.
The 'technologies used' section should've mentioned 'antd'

https://ant.design
Make your own pencil factory for the stationary cabinet too, as a backup plan. Buy a coffee plantation to fuel your devs caffeine habit, which can be monetised if the main biz goes south.
Let me enable the public rooms list.
He claims that both Twitter and Facebook are severely throttling traffic to his site. Why? On who's request?
Let me enable that. Thanks for the suggestion!
Does 'Brain Training' Work?
What a lovely thread of childish myopic hate and stupidity.
> I'd easily take the lattes, or really any small, simple pleasure that gives me a little bit of joy each day.

That joy is mostly relative, the joy you feel drinking a latte is not greater than the joy a poor tribesman feel eating a piece of fruit. You will almost always feel it just for different things.

A good example is sweetness, if you quit eating candy you will find that much food is very sweet, and if you stop eating industry created food you will find that many vegetables and other things are actually quite sweet. So you don't lose the joy of eating sweet things, just that what you consider sweet changed.
> A lot of cheap solar energy, from the best location.

I recommend that you watch the "Planet of the Humans" documentary to understand why there is no cheap solar energy, no so-called "green" energies: https://www.youtube.com/watch?v=Zk11vI-7czE

So there will never be any "green" planes, no matter if they use hydrogen or kerosen. Since the minimum required amount of energy to fly from point A to point B with N passengers will always be the same.
On the contrary, I like sci-fi. I'll repeat myself that I think seeing the themes explored in other places more thoroughly and with better characters (I'll give one of many anime examples: Ghost in the Shell; two of many fiction books: Permutation City and to an extent The Golden Age trilogy; a video game: Nier Automata), including a deep non-fiction analysis (http://ageofem.com/) makes me more dismissive of SOMA than perhaps I ought to be. In particular near the ending of SOMA where the thing happens to Simon and he freaks out, despite the same thing happening shortly beforehand and freaking him out, was the most annoying bit that really sealed my distaste. The resolution or not of the sideplot driving the 'horror' was also lazy...

I'll agree Penumbra and Amnesia don't have world-class stories either, but what they do have is told well with better characters, the horror aspect is better, and I more enjoyed the rest of the non-story elements that make up a video game. SOMA easily wins on graphics and slightly less clunky control, if it changed nothing else but its main character it may have even won me over, but as it is I can only call it not bad...
An Introduction to SCION
If voting doesn't matter, why do authoritarian governments try so damn hard to suppress it? Riddle me this.
How to Pass Data from Child to Parent Component in Vue JavaScript
why the downvotes for asking this question?
People have written C++ libraries for integer type generation that allow you to specify many properties including various types of arithmetic and runtime behavior. It is pretty transparent to the programmer and efficient.

However, there is real complexity, in terms of library implementation, in figuring out how this zoo of exotic integer types interact with each other consistently and correctly. Doubly so if you want the safety of these interactions to be verified at compile-time to the extent possible.
I haven't used Flyway but the XML format has some benefits like being DB agnostic and defining context (eg. production, testing etc.)

You can also include multiple change sets in one xml file, this helps with keeping the number of files down.

if you want you can just write pure SQL inside the xml with the <sql> tag.
I assume the fake account will be deleted, which means I will stop following it.

However, I do think they should notify every follower of said fake account, letting them know that what they've read might be false.
> Some of the great Twitter accounts (e.g. Titania McGrath) are utter frauds

Hmm? I thought Titania McGrath was a parody account. How is it (And other accounts) a fraud?
Zuckerberg has the power and is being played like a violin by Trump.
I had the good luck to see the Mriya take off. It's... uh... something else. Six engines and more wheels you can count. Indeed, it looks utter impossible for something that big to fly.
I don't like TPM. I generally don't like any hardware-based security features. The security must relies on sufficiently long passphrase in my brain remains secret.

Now I have to prepare for the five dollar wrench attack. [https://xkcd.com/538/]

Perhaps, I can use Shamir's Secret Sharing to share a key with other people I trust, including the lawyer I paid which must keep client's secret and exempt from police raid by law.
It was standard to use unstandardised screws.
The secure boot "solution" requires trusting a huge amount of closed software and hardware.

It's supposed to protect from a very theoretical risk.
Personifying moral decisions is the wrong approach nine times out of ten.

Incentives and structures are more important than the character of the people or business plans. Neither company (nor any big public company) chooses principles when it would lose them large sums of money.

Both Google and Facebook sell adds but they do it differently. Facebook is in business where the gravity constantly pulls towards the type of decisions that Facebook does. Sure, Zuck could do better decisions, but even if he would he has only narrow options.

That's why you need government policies that alter the incentives.
There is already https://www.pypy.org/ which is about four times faster than CPython (which is not that much actually compared to e.g. V8, see e.g. https://benchmarksgame-team.pages.debian.net/benchmarksgame/...)
The strategy this spring of just buying up bonds en masse worked pretty well, and seems fairly unlimited as long as they're willing to print money with which to buy stuff. They have a lot more levers than just interest rates.
Dunno about Soviet Union but in communist Poland there were national banks and they managed saving accounts for workers. It was optional but heavily encouraged, part of your earnings went directly to it every month. It was called "PKO Saving's book".

My grandparents participated in it and after decades of saving a few percent of their earnings each month the total from both of them was just enough to buy their grandkids 2 pairs of shoes :)
I was there as well for both shows at Le Bourget. I remember the low level flybys and thinking how absolutely massive and nimble this thing was.
That doesn't provide the same value as manure. Don't get me wrong, crop rotation is important because it provides different things.
Choosing the Best Programming Language for Your Native App
Upto 80% Image Compression Technique
Thank you for sharing your thoughts. I certainly agree with you on benefits of using statically-typed languages (and this is one of the reasons for my potential selection of C# versus Python - though, mypy and pydantic packages seem to alleviate some/many/most(?) of Python's type-checking issues). However, that was not my point or concern. My reference to most C# code that I have seen felt as "overengineered" has nothing to do with language type systems and type checking (if anything, it leads to verbosity, but not overengineering). I thought that I clearly mentioned what specific aspects of the code produced that feeling for me: a "proper" implementation of design patterns, DDD and enterprise-focused features.
Microsoft’s Xbox Series X 1TB expandable storage priced at $219.99
No. For example Erlang only allows you to send immutable values around. For very good reason.
It's possible they just decided to do it out of their own accord.
Edward Tufte: iPhone interface design (2008)
“energy requirements which reptilian metabolic possibly cannot provide”

https://en.wikipedia.org/wiki/Pterosaur#Pycnofibers: “The presence of pycnofibers strongly indicates that pterosaurs were endothermic (warm-blooded)”

(Warm-blooded reptiles sort of still exist. https://www.newscientist.com/article/2074982-first-warm-bloo...: “The surprise came when the lizards reached the reproductive time of the year, from September to December. During the cold early hours of the morning in that season, their breathing and heart rates rose and their temperatures reached as much as 10 °C above those of their burrows”)
My organization is a big fan of Liquibase. We execute Liquibase using Jenkins. It has a lot of awesome features such as ability to re-execute some changesets if file has SHA signature has changed. You can also decide to re-run some SQL files on every deployment. For example we run ANALYZE on our Postgres RDBMS at each deployment, just to ensure that as part of deployment the stats is updated for the query planner.
It's pretty wild to see the framing here. Employees want him to take a harder line? How many? His user base wants him to do the opposite? Do they? Mark is a centrist! Wow! That's quite a revelation!

>At another company, the CEO might have ignored such a question from his workforce or declined to take it at all.

A lesser CEO might have balked at the challenge! But our illustrious hero steeled himself for the task.

>With tens of thousands of employees and more than 3 billion constituents worldwide

Constituents? Why are we using euphamistic language? Is it because constituents sounds nice and fluffy whereas "User" would fit in a sentence "Donald Trump used facebook to threaten to shoot people, Facebook's CEO decided that this was an appropriate use of Facebook"

Sorry, as the article rightly points out, I'm biased, I oppose threats of violence. I'll leave true judgement to the enlightened centrists.
Balanced Phinary (Ternary Tau System)
How Lidl is designed to make you shop big and spend more money
We Need to Talk About Talking About QAnon
I recently worked out that the UK's installed capacity of pumped hydro is around 28GWh. This is around the worldwide total production of lithium batteries per year circa 2016 (realistically it may have doubled since then).

Personally I don't going into competition with laptops, mobile phones and car battery manufacturers as a viable long term strategy for grid scale storage.
Do you model vertical solid surfaces? https://www.youtube.com/watch?v=zsQ7kjr8C9w