skysight-inc/HackerNews huggingface dataset:
> It would appear as though you're confusing relative weakness (i.e. their current inability to project their values upon the entire world) with virtue.

Not quite. I think the idea I'm struggling to communicate is that China is an amoral force upon the world. They're not good. They're just far less bad, in my opinion, from a utilitarian perspective.

> Taiwan and Tibet would like a word.

Taiwan and mainland China both lay claim to each other, so that's a bit more complicated. You're right about Tibet. Most of my statements are, I'll happily admit, generalizations, but it says something that those are the only two examples that come to mind, wouldn't you agree?
FX in a movie don't block you from getting something done. You're in a passive mode when you're watching a movie.

Imagine being in your car and stepping on the brakes, then having to wait for a dashboard animation to complete before the braking actually started.

There's a place for UI animations but it should be possible to turn them off once the novelty wears off.
Wells Fargo is beyond conservative. It is activley criminal.

https://en.m.wikipedia.org/wiki/Wells_Fargo_account_fraud_sc...

It's not too difficult to take a small step and open an account elsewhere. We can stop rewarding these large banks for their bad behavior. I've had a good experience with Ally.
I think most people would consider any ground meat in a smallish cylinder shape to be "sausage", especially if wrapped in a natural or synthetic sheath.

Salt might be what makes a "good" sausage?
I thought similarly for many years. What's the use of code in source control that doesn't compile anyway?

Then I started paying attention to all the reasons why we naturally might want to check in "invalid" code.

All the cases where I'm never going to finish an entire refactor in a single commit, and the whole refactor makes far more sense in documented steps where many of the intermediate steps will never compile.

All the cases where sending broken code to a source control server at the end of the day is both the best way to back it up and the easiest way to get fresh eyeballs on it in the morning. Even with CI systems in place, sometimes the errors that the CI bot can tell you are as useful as the ones your own machine's build environment can tell you. (Especially in those weird cases where it turns out to be that maybe its the build environment on your own machine that's the problem and you've been beating yourself up over a bad install of something that should be unrelated, and the build errors on the remote machine lead you to the real problem.)

All the cases where I might build tests first, and the compiler is a test, especially in a static typed language, before working backwards to make the tests pass/run/compile.

A lot of people like to think of programming code as some purely logical construct, but good code is poetry, even in its mistakes. Sometimes we need drafts to tell our stories right. Sometimes we need bad poetry in source control as a warning to others to help them realize what good poetry can be.

It's interesting to want code editors to keep us from ever writing bad poetry to disk, but it's also somewhat inhumane. People write bad poetry all the time, it's a natural skill. Saving bad poetry for posterity is sometimes the only way we get better poetry.
Please don't support the mechanics of artificial polarization, especially in a thread complaining about artificial polarization...
Either the AI way will be more capable than a human mind or the human mind will be more capable. Jobs will always exist for the more capable mind... because it is more capable.

If the AI becomea superior to the human mind then you’ll have much more to worry about than jobs.

Plus at the base level there will always be the job of taking care of yourself and keeping yourself alive. If a robot can take that hob then great, that means you don’t have to work anymore.
“Constructing a legal definition of products like ‘cheese’” is the way various governments ensure that consumers are clearly informed about what they are eating (via labeling).

If it weren’t forbidden, this product would be sold in a package showing cows and cheese wheels, with “CHEESE” in huge letters on it, and, in a place people wouldn’t look at and in tiny low-contrast letters, a remark that this is processed protein made from diary.
That was far from the only thing that led to its cancellation; another was that there simply wasn't a need to launch enough to prove the launch vehicle. FWIW, the report that led to its cancellation was written by William Penney, who had led the British nuclear programme.
Having been back in SQL land for a bit (vanilla MySQL on RDS) I have to say that I _love_ a well designed SQL database. I forgot how much I had given up in NoSQL land.

Goodreads hit scaling issues a while ago with Active Record and a single database so we broke up the data into separate MySQL servers. At that point joining data across DB servers is impossible so we went with Redshift for BI. Nowadays we would probably go with a datalake on S3.
I've actually never heard that bit. Is there a link?

But the US was hardly the only player in the game. This was 1971, the technology side of the space race was winding down, and ESA/Ariane launch capability was right around the corner. I don't think "British" satellites really suffered much in the market for this decision in hindsight.
Automakers Must Deliver on the Promise of Self-Driving Car Technology
If so, by Betteridge's law, the Universe must disappear.
The concept you refer to is called "Sortition"

https://en.wikipedia.org/wiki/Sortition
Border tensions is only a minor part of life in Asia, one that is over reported by western media. Trade and infrastructure are more important concerns.
How apropos, if our own jobs are the first to go.
"Anti-anti-senitism" is not a fair characterization of the recent accusations in British politics. ((())) is clearly refering to the attempt by Zionists in th UK press to smear those in the Labour party who oppose Israeli human rights abuses and support boycotting Israel until they stop indiscriminate violence against peaceful Palestinian protesters.

Not everyone agrees with that characterization of the Israeli Palestinian conflict, but to smear anyone even mentioning the conflict as anti-semitic is dishonest and partisan.
i do track sprinting, so like 7-20 depending on the event
Security startup generator with domain availability
Any comments on why it seems to basically not use the middle finger at all?
BigQuery on GCP does this as well, without any extra work.

(Disclaimer: I work for Google)
Ha! Didn't spot that this article was from 2002 :)
And that's related to a space program because....??? Oh, it isn't!
It's right there in the article.

> “When Emma contacted me saying the source sent her the same docs too, I took a hash of my original HTML file and it checked out, so she has a copy of the same file as me,” Lee told Motherboard in a Twitter direct message. A hash is a cryptographic fingerprint of a file; if someone has tampered the file at all, those hashes won’t match.

> Lee said his source provided an HTML file of the DMs, and then Lee logged into the Twitter account himself and downloaded the direct messages with an automated tool.

> “I confirmed that they were authentic (Twitter itself would have had to doctor them) and that the source didn't modify the content in the copy he gave me,” Lee told Motherboard.
Whirlpool patents induction-powered sous vide appliance
The space program influenced everything back then. Clothes, toys, cars, buildings and more. Nothing said the future better than space. Makes me nostalgic for that time, anything seemed possible. When we stopped going to the moon then it all sort of died.
We've got a git hook that prettifies and runs unit tests on commit. Works very nicely. Formatting is one flame war, another is code style. We've automated that too with sticking to airbnb. If there are any warning a commit does not pass.
I feel that LinkedIn is a harbor of many charlatans who prey on unaware job seekers.
I was reading comments to see if anybody mentioned the Russian words for orange color and fruit. "apelsin" is the word for the fruit and must have come over from Western Europe but the word for the color is "oranzhevuy" which is just "naranj" with the adjective suffix.
Show HN: Serverless realtime chat with Fanout and Fly
Black Arrow's engines had a very remarkable design. For booster stages on space rockets you really need some sort of pump to get a high enough chamber pressure. Most rockets due this by burning some of the fuel and oxidizer in a turbine, wasting a bit of fuel. What Black Arrow did was use the decomposition of the high test peroxide to power the pump and then putting all of the result into the combustion chamber. Sort of like a staged combustion engine but developed much earlier. You'll always have worse efficiency with peroxide than with liquid oxygen but it was some very clever engineering.
> Taiwan and Tibet would like a word.

Until Taiwan stops claiming itself to be China, it's an internal affair (or rather a civil war) within "China".

I don't want to go into a long debate over Tibet, but I suggest reading wikipedia articles on it if you haven't done so, to get a more holistic view of the timeline.
once enough players join there is a 60 second countdown until the match starts. but it is not realtime. it often does things like, 60..59..58..55..53...
Liberty Makes Us Unfree, Says the ACLU
I had the same reaction when I read it. This is an Amazon PR piece with the goal of making them seem not like a monopoly. Monopolies try to hide the fact that they're monopolies.
Interesting observation. I suspect it's probably coincidence though. Other tasks which humans are able to learn (such as [playing Dota][1]) have taken OpenAI much longer to master. OpenAI Five spends 180 years of training per day, per hero in order to learn Dota, and it still isn't at the level of professional players (though that may change soon).

Though I suppose you could argue that Dota benefits more from high-level reasoning, whereas basic motor control is a more intuitive skill. (And therefore better suited for this type of AI.)

[1]: https://blog.openai.com/openai-five/
It's not the only metric, but it matters. It has a huge effect on who you can hire and who wants to work for you. Smart people are often attracted to learning new stacks.
http://www.pewglobal.org/2014/07/14/chapter-2-chinas-image/
You can use any regular JS library from typescript. You just won't get type checking in calls to it.
Absolutely! We have internships in San Francisco and Seattle. Usually, they coincide with the summer, but we on occasion have Fall interns.

Reach out to me feeneyj @ amazon if you'd like I can forward you to the right people.
This sorta thing happens a lot more often than most people realize, the only difference is that this one was picked up by the news. Most likely an overflow error somewhere.
That's true, but typings exist for most of the common packages:

npm i express @types/express

It usually "just works", but it really depends on how obscure the packages you're using are.

4,720 type definition files at the moment:
https://github.com/DefinitelyTyped/DefinitelyTyped/tree/mast...
I agree, it’s not profound except at face value. Just strikes me as extremely vague and hand-wavy metaphysics

This is the reason that a lot of people don’t like philosophy - because people hide behind verbal tricks which have little meaning beyond sounding “deep”. Green ideas sleep furiously
If you're familiar with it, you might want to consider sharing your thoughts on it rather having people waste their time explaining something to you that you're already familiar with. Otherwise, your inquiry doesn't come off as genuine.

> Just didn't feel worth the effort if you're building for throwawayability.

Now that's a legitimate point. If you're building for throwawayability, then TypeScript and FlowType are probably not worth your effort. For other people, modeling things with types helps them move faster even for throwawayability.

Personally, I tend to code first, use type inferencing first, and then annotate later. However, I also tend to use a lot of reflection as well to help me prototype things quicker. If I've found the types I've wanted after I've explored the domain space, I'll then annotate afterward to lock them in.

As with anything, YMMV.
Well you’re allowed to believe whatever you want of course, however divorced from observation, experiment and theory it happens to be. I would just caution you against drawing such strong conclusions about a field you seem to know very little about based on what you think should be, or your intuition.
There is a bit of an art to formulating a correct and efficient mixed integer program (MIP) of non-trivial size, and in my experience, it's not something that can be picked up easily. It's easy to formulate toy problems (most of us use this guide [1]), but formulating large complex problems efficiently requires quite a bit of know-how and years of study (e.g. convex hull relaxations, custom cuts, heuristics, decomposition, leveraging randomness, etc.) This kind of thing lie in the domain of specialists (operations research folks) rather than software developers.

The performance of commercial solvers (Gurobi, CPLEX, Xpress) has improved a lot and many are used in things like airline crew scheduling. The best open-source MIP solver is currently CBC (SCIP is better but only free for non-commercial use), but commercial solvers beat these by a mile. Even so large-scale MIPs are still complex beasts.
It's worth noting that if the problem doesn't require any optimization (merely constraint satisfaction), MIPs might be overkill. A rules engine would probably be easier to implement and maintain. Even SQL (which is set theory in disguise) will often get you most of the way there. And if optimization was needed, a greedy algorithm would probably work most of the time.

There are many successful commercial applications of MIPs but typically they are in circumscribed areas. MIPs are best deployed when there is a definite need for an optimal result, and when there is expertise available to maintain the resulting complex models. (Note: even ITA software in the linked article didn't attempt to model the problem as an MIP)

[1] https://www.artelys.com/uploads/pdfs/Xpress/mipformref-1.pdf
The trick would be not creating plastic bags that degrade into tiny dispersed pieces of plastic that are still a problem.
Let's keep the magnesium training rolling.

NOW ZMA [1] has been my life saver for years. It never fails to make me enter "sleep mode". The same dose works now as has always worked. Do not take calcium supplements at the same time as ZMA.

[1] https://www.amazon.com/dp/B0013OZGQ0/r
Russian hackers are spreading nice fake news
I think he is referring to their/there, etc.

Or my personal (not-)favorite: must have/must of
Came to say same short thing... This really is indicative of a bad place to be... if you need to rent tech, you don't need it.
> Force people to signup through app

> Can easily put the same amount of effort to ensure that phone isn't tampered with

You put a proprietary app on your phone. You presumably did this for other "secure" companies too. You no longer have a way to know who did or didn't tamper with it.
Show HN: Skynet This Week, a bi-weekly digest of noteworthy AI news
Not to mention that evolution has had millions of years of optimizing this stuff.
I have looked heavily at FSet :). I'm at a cross roads now with whether I try and push the Lisp block into the Clojure hole in my brain, or whether I should try and learn Lisp as it is and it's idioms.

FSet is really cool and I'll probably end up using it in conjunction with https://github.com/fiddlerwoaroof/cl-edn
Um. They've overtaken flipkart in market share and revenue
> Lambda, DynamoDB, S3, AppSync, Device Farm, Aurora, etc. are all serverless.

Yep. Lambda may be functions-as-a-service, which is a great name for it, but the whole shebang is more than that. Thus, serverless.
I've often wondered the same, thanks for raising this question! I hope somebody with direct experience can chime in!
Conditional assertion (that is, deducibility of B under the hypothesis A) is distinct from assertion of a conditional (deducibility of the statement that A implies B). This is a fundamental distinction in formal logic. See [1].

[1] https://en.wikipedia.org/wiki/Deduction_theorem
Schwab's also an option to look into, the APY on their savings account isn't as high as Ally's but everything basically comes as a package with their significantly better brokerage account. If you've any interest in investing then it's worth checking out.
It would be great if the terminal did this, so tab-separated value would "just work" and commands with tabular output (ls, ps) wouldn't need to worry about alignment at all.
This is a response to you and all the various siblings, nieces and nephews.

AI does not remove scarcity.

Comparative advantage is a real thing. It is well studied and well understood.

The common argument seems to conflate AI, automation, robotics, and similar things with the removal of scarcity.

In the presence of scarcity, comparative advantage tells us that we're unlikely to see the vast majority of the world's population with nothing to do.
If everyone is thinking in the exact same pattern, you will have terrible monoculture, and a total inability to get past certain kinds of problem.

An effective team is comprised of people with a variety of backgrounds and approaches.
Yeah, for as online-friendly as they claim to be, they have some really wacky rules on kyc and long term travel. I asked them to close my account as I don't want to support those policies.
It has support for external type definitions, which can be installed from NPM like any other package. These are only necessary for packages which don't support typescript themselves. But it can definitely be an issue for smaller, less well supported packages where you can be left with a choice of writing type definitions yourself or turning off type safety for that library (using the `any` type).
A lot of packages have types built into them.

Others have types available in "@types/<package>".

For everything else, I create a "types.d.ts" file that just has a bunch of stuff like:

declare module 'twilio';

declare module 'bitly';

declare module 'cloudinary';

declare module 'tmp-promise';

declare module 'dialogflow';

declare module 'fuel-rest';

And then those modules get set to the "any" type.
Fooling a human with bash is less difficult than you might imagine. I am fooled by bash code at least half the time I interact with a shell script I didn't write myself. A misleading comment plus an innocuous looking URL, coupled with the fact that an installation script can be expected to download files from the internet in order to install them would make this slip past nearly any reviewer.
ESA wasn't founded till 1973, and Ariane 1 doesn't fly until the end of 1979.

ELDO is more relevant here, as the Europa rocket was a joint project (of which Britain was a major part; it was partly based on the Blue Streak ICBM).
Over a few decades Scientific American has gone from deep research reports, to pop science, and now to untestable cosmic thinking and other clickbait. If it is not testable it is not scientific thinking.

Philosphical thinking may also be grounded in recurring phenomena or be completely blue-sky. A philosophy that premises alternate reality begins by ignoring how underdetermined is the human brain when reflecting on itself. A scientific exploration is grounded in physical premises even if no objective data is possible.
I feel like I'm getting Punkt
"Whether you think you can or you can't, you are probably right"
I can and will say that we can ignore WordPress when suggesting that PHP is good because it's popular.

The value of popularity for PHP comes from larger talent pools, better libraries, etc. WordPress doesn't contribute to those.
I don’t know since I’m not really their client (and also rarely buy such microtools). It is nice when you position windows at predefined grid, but moving to linux+i3/awesome/etc would be a huge gain even against $1. I’m just too lazy until it becomes a real hassle. Also my coworker has no drivers for linux and managing that would add extra costs.

That said, I’m not in “you have to earn hard” camp. If something solves a critical disadvantage, then it is worth a hundred in that particular case.
Jobless people can't build the factory to manufacture the components to build the homes, though. Building a factory requires capital which (currently) cannot be acquired in process you're outlining.
What Economists Still Don’t Get About the 2008 Crisis
That's very impressive. Robotic grasping is getting pretty good[1] but in-hand manipulation is a whole 'nother kettle of fish and this is really exciting.

[1] He said, tooting his employer's horn.
Anyone can make a house or a bridge too sturdy.

Only an engineer can make it "just sturdy enough" for its designated use, saving money.
> "outdated the moment they are printed"

Maybe (some) technical books, but novels are never outdated.
https://medium.com/@alphorisms/no-jobs-for-horses-e0748f565e...
One nice thing with Google WiFi being based on CROS, is that it's mostly open source (about the same level as Android, where there are some binary blob board support packages). With that, there is custom firmware you can load know Google Wifis: https://github.com/marcosscriven/galeforce

As an aside, you can read the Google WiFi privacy details here: https://support.google.com/wifi/answer/6246642?hl=en
The problem is that you are jumping to conclusions that make absolutely no sense, define common sense, and require taking the gold in mental gymnastics and you are repeating the same argument in multiple posts on this thread.

No one is using ((()))) to describe an ASCI Menorah, and even if they did it makes no sense, there are no Menorah issues.

On the other hand ((())) Is a symbol used by the alt-right and white-supremacist to define any subject as "Jewish" this can be a place, a person, an event a cause or w/e.

Adding an extra ) is easy by simply fat fingering it

So yes you do look like an anti-semitic sockpuppet to me, or at least someone that has a clear agenda in gaslighting this issue simply because of the tenacity that you push this "theory" with and the fact that you clearly ignore Ockham's razor.
>At least, that was official origin in the comics starting with John Byrne's The Man of Steel in 1986 and for several decades afterward.

For someone born in or around 1938 (actually earlier as the first 1938 stories depict him already as a past-teen age man) reading the story as re-written in 1986 is not particularly reliable.

In the original Kar-El was born on Krypton allright and sent to the Earth as a newborn.

And - whether he was actually born on Krypton or on the Earth - the Certificate of Birth is definitely false IF it states that Jonathan and Martha Kent are their parents, an on th eother hand actually adopting him wouldn't have been as easy as it may seem from the comics strips.

See also (for fun):
http://thelegalgeeks.com/2016/06/18/how-did-ma-and-pa-kent-a...

In any case I would say that Superman's citizenship and actual legality of documents as Clark Kent are highly debatable, and I wouldn't be using that as an example for proving US citizenship.
Fake reviews aside, it's core to Amazon.com's business model. Given Amazon's success I infer that a lot of consumers in general research products by going through reviews.

https://www.bloomberg.com/news/articles/2009-10-15/amazon-tu...