skysight-inc/HackerNews huggingface dataset:
As someone who has always lived in London, I started getting hayfever around age 22. When asked by doctors if I have any allergies, and I say nothing except maybe hayfever, they always say "oh everyone has hayfever"
The fact that governments change, sometimes radically, is an important point in arguing against escrow. For example, in the current supreme court case R.G. & G.R. Harris Funeral Homes Inc. v. EEOC, the case was brought under the Obama administration BY THE EOC ITSELF, arguing for the plaintiff. Then Trump was elected, and the Department of Justice switched sides -- they now argue against the government's own original case.
Every time there's an autopilot related accident, they're all over the mainstream news, and prominently voted up and extensively discussed on HN. That isn't going to stop because the media will be too busy reviewing Nick Bostrom's next book to report on the latest Autopilot death.

I see it quite differently. raising the long term issues is absolutely part of highlighting the risks of these immediate issues. They are part of the same problem, so raising their profile is synergistic, not competitive.
Perhaps. Or maybe they're both symptoms of the same root problem: a glut of "scientists" who care less about truth and more about money/academic career. BUT, we shouldn't view these scientists like Disney villains. They're often victims too: it's not their fault they didn't realize the dire circumstances of the modern academic scientist. In a way, they're trapped in a vicious feedback loop: dismal funding forces them to fight dirty to put food on the table, which results in junk science, which results in public distrust, which results in even less funding...
Well that's brillant, up to the moment when the ask for the PIN code.
Some of it is from that but mostly from the brake pads. You can see it collect on those cylinders between carriages.
All the massive five-eyes apparatus does you no good if the people supposed to act on that intelligence are corrupted, and look to their own interests first:

https://www.jonathanpollard.org/1998/040798b.htm

https://www.amazon.com/Deception-Clinton-America-Chinese-Mil...

https://www.businessinsider.de/china-acquiring-military-secr...

https://nypost.com/2019/05/11/the-troubling-reason-why-biden...
Ask HN: What's the biggest pain point when trying to make our products popular?
Like above, I am wondering what's the biggest challenge when we trying to make our products more popular and increase the traffic. A lot of side projects/early startups encounter this problem :/
Does that mean that it is embarrassing and can be tied to you or that it is just embarrassing to say? If the first, then wouldn't you risk being pwned and having that used against you?
Things that could kill the pilotless airliner
yawn I’m tired of Nietzsche. Just as the world needed a new prophet, Zarathustra, we need a new misunderstood, brooding, wishes-he-were-a-poet grimbad philosopher. Nietzsche is great, but the motions of the ages are even startig to catch up to him, too. Ecce Homo is still interesting and somewhat relevant, but all of his other works are full of ideas that hae been sufficiently adopted or misappropriated by society at large as to be faux pas or bland. His war against Christian society and morals, for instance, while stylistically interesting, is almost entirely irrelevant at this stage in history. He’s become idolized and his message has become diluted, just like everyone else.

That said, he’s still a delight to read. Some of the aphorisms are also still glittering gems. I just find the major concepts in his thinking are somewhat musty at this point.
What's the requirement out of interest?
>But we agree that that's the background and Taiwan hasn't reached consensus to change the official policy, right?

What part of China has threatened to invade them over changing their policy makes that policy a coerced statement and not an accurate representation of their intent do you not understand?
Interesting idea. Probably could, but it wouldn't pass inspection for registration as quarters on a vessel itself, so you'd have to have it as cargo. Then I guess if/when declaring cargo crossing borders you'd have to say a couple of humans in this box thing, which is odd and sure to raise eyebrows, smuggle you or list you as crew. So basically you'd be paying for the barge anyway, and living in worse conditions in a largely uninsulated (and probably power hungry) box on board.

What's the point? Just get a boat. There are many cheap boats, many people live on them. Check https://www.yachtworld.com/ http://www.cruisersforum.com/ https://sailinganarchy.com/ for a start. Roughly <=USD$20K will get you something that floats and 1-2 people can live in cramped but OK.
Electric car startups face an uphill battle
There are now affordable devices available to monitor air quality at home. I've recently bought one [1] that measures PM2.5, CO2 and tVOC amongst other things. It's quite interesting to see spikes in particulate matter after crop harvesting or in certain weather conditions and determine if there's an apparent relation to difficulty of breathing.

[1] https://cleargrass.com/air_monitor/overview (Website in Chinese only, unfortunately. The device can be set to english though.)
Well yeah "show don't tell" is terrible memoir advice, but memoir isn't fiction, and memoirs about abuse, your own thoughts, or crying a lot are terminally boring (but important). "Show don't tell" is how to write entertaining fiction, which is not to say that you can't write dry non-fiction about weighty subjects. That said, this:

> When I was taking a sculpture class in college, I sewed a

> kind of wall hanging about secrets I had to keep. I wrote

> things on pieces of paper and tucked them into bumps and

> layers in the fabric. I sewed pockets shut.

is showing.

This is not to discourage those authors whose favorite subject is themselves and their feelings. As an avid reader of fiction, however, if you really must write about your inner feelings, I would suggest making it magical realism or using plot devices where your inner thoughts influence real events, and not subjecting the reader to two hundred pages of your thoughts. Make it a therapy session or a deposition if you must. Or gimmicks. _Trainspotting_ is boring life stuff and the dude going on about how life sucks without heroin, but it's written in a Scottish accent, so it's interesting. (And to be clear it also has plenty of showing. A lot of the scenes of the family life of his friends, etc are pretty indicative of their social environment without going "we were all poor and disenfranchised".)
Is it safe to assume those same bribes to game studios and gaming journalists have likely also been applied to Software start ups and tech journalists?
> My current employer won't renew my contract because I oppose this mentality

That's crazy. Everyone should be free to do whatever they want in their own free time.

>it's doing the same when you get home

That's what my colleague answered me when I asked him "why don't you have side projects?". Everyone should be able to choose whatever they want to do with their own free time.

I don't consider a side project as "the same thing I do at work", and I don't consider myself special.
Being player in multiplayer game is indirectly providing support by being opponent to other players.
Multiplayer games die off due to too little pool of available players.
Born in 1922, so the "parents were Chuck Berry fans" theory is out.
How about breeding a brand new generation of people who have good reason to deeply hate the US? Does that directly affect you?
It could be a case of nominative determinism. Driven by fate to create good-enough solutions.

https://en.wikipedia.org/wiki/Nominative_determinism
There are researchers considering things all the way down to silicon.

I worked on a contract for about a year and a half on a subproject of the research program described in this New York Times article:

https://www.nytimes.com/2012/10/30/science/rethinking-the-computer-at-80.html

The project I consulted on was an attempt at a comprehensive system design that replaced everything all the way down to and including the hardware. System software was written in Haskell and in a newly-designed language called Breeze that offered both static and dynamic typing. The dynamic typing was supported by tagged hardware with specialized instructions (that effort included Tom Knight, one of the original designers of Lisp Machines).

The organizing principle was that every piece of code and data was owned by a well-defined system entity with well-defined permissions that were proven correct both statically and dynamically. For example, sending data to an endpoint that did not have the required authorization to receive it was a type error.

The thinking was that the state of the art is so broken (from the point of view of data integrity and security) that it's necessary to start from scratch. The overarching project name, appropriately enough, was "Clean Slate".

I don't know what they're up to now.
I had something not exactly like this occur to me. It wasn't something I overheard, but I'm pretty sure it went something like this:

1. You talk to a teller at a branch, and they bring up your account details. The teller see's you have a mortgage with the bank, but registered to a different branch.
2. They have some sort of incentive from the mortgage specialists at their own branch or management, to refer those accounts to their own mortgage team.
3. The mortgage department at the new branch calls me, and says I can do an early renewal at a lower rate, if I come in and see them.

Anyways, I did the early renewal at my original branch, as I had a connection to a manager at that location. Either way, I ended up shaving a good chunk of interest by renewing a year early.
Thank you for this very informative comment. I did not mean to imply that these articles were part of the "Chinese" (i.e. zh) Wikipedia, however due to the regional overlap I'd expect contributors in these languages to also contribute to zh and follow similar community norms. Note that those Wikipedias are small relative to zh, but large in absolute terms. zh-min-nan (Southern Min) has 100 000+ articles, cdo (Eastern Min), wuu (Wu) and zh-yue (Cantonese) each have 10 000+. Admittedly, hak (Hakka) only has 1000+, so I probably shouldn't have linked to that one. (Also, I accidentally referred to it as Hokkien instead.)

I don't think this proliferation of linguistic communities is a bad thing. I just think it's interesting how different the articles they produce are.
How is it different from playing music, reading books or DIY hobbies? I don't get it.
Honestly, once spying at a distance is perfected, there won't be any need to have broken encryption.
I like to think. If we made it here once, we can make it agian.
I don’t understand why the author thought it would take years to find this password, as opposed to something closer to the four days it actually took.
The devil is in the details probably, but if you have a single datacenter and all writes are coming from thousands of machines ("edge"), yes, it may make more sense to set up a single LogDevice / Kafka cluster and have all the edge hosts write to it directly.
Its facetious to compare forces of nature that we have to live with, to a simple choice of fuels that we don't.

Diesel is ... cheap that's about it. Everything else about it, is a negative.
I don't think I'm making an extraordinary statement.
If you look in their bug tracker, there are 500+ tickets with the term "freeze" in it.
The reason is actually known: being a Java IDE, the design takes for granted that many operations that are almost instant in the Java world can takes many seconds in the C++ world (meaning they'd need to put that in the background instead of blocking the GUI).

Obviously there are (many) reasons for that. What you think is hairy might not be that hairy, in terms of parsing, to a compiler or static analyzer. If you're like most game developers, you use a simple subset of C++ that's C-like, which might explain why you're lucky.

Maybe the word 'tiny' was excessive. It might not affect someone's homework, but in my case it definitely does have performance issues for my relatively small one-man projects. I'm not bashing the tool; I'm a paying user too. But no one can deny the many performance issues, and indeed the focus of the next major release is precisely to start addressing those.
The part where anyone thinks it's a credible threat? I honestly thought that went without saying.

You really think China's 5 seconds away from a bloody invasion? China is Taiwan's largest trading partner.
Everyone's getting rich, in both countries.

Taiwan is and will remain independent, everyone knows this, China doesn't care.
Why does a bunch of small theoretically ultra lightweight components need an entire friggin' framework?
Nit-pick: Phishing is sending out e-mails and hoping someone responds with private info. Vishing is phishing via voicemail. Calling someone up and using an elaborate set of mental tricks to gain unauthorized access is social engineering.

Many fun stories here: https://www.youtube.com/results?search_query=social+engineer...
Ten, fifteen years ago I told a coworker I’d been an ACM member for a while and that I enjoyed reading the SIGPLAN proceedings in particular.

He stopped, stared, and asked, “you can read those?” I was taken aback but realized I knew exactly what he meant. I told him, “about half” and this somehow relieved him a bit.

We need a lot more abstract thought in plain English in this world.

The problem with smart people is that they have the faculties to create elaborate protections against easily bruised egos. If only we could figure out those faculties can also be used to get over yourself and try to be helpful to the world instead of a trumped-up windbag.
Our high school's library computer (in the 90s) logged failed log-ins in a file readable by anyone. Just the username, not the attempted passwords, but the return key on that computer was not reliable and a very common error was that the return key didn't register leading to "usernamepassword" being in the log.
Not trying to sound snarky here: does _anything_ use Hurd?
We better design these systems not to fail then. Seems obvious but I think that’s the solution to what you’re describing. Having an unreliable human as a backup is not going to do it because as you say, and I agree, humans will become reliant on it.

The systems are not reliable yet. Fortunately humans are not totally reliant on them yet either so humans are still effective as a safety backup.

The trick is to make sure the crossover point (when humans become so reliant that they are ineffective safety backups) comes after the system becomes highly reliable. Unfortunately humans are already unreliable to begin with even without AEB, so we are just going to deal with a few incidents from autos, both those without AEB, and, until it becomes perfect, those with AEB.
Internal Email Shows GitHub Plans to Renew ICE Contract
This is an individual prize unrelated to "intellectual property".
Greg Egan's Diaspora has a rather good illustration of what a fully formalized mathematical system might look like. He called it the Mines[1]: a representation of the full acyclic digraph of all the theorems proved so far by a community of mathematicians. A student can examine any proposition, see if its yet been proven (and if so, how, and from what antecedents) as well as what deeper results might depend on it. Critically, a student might select a research topic simply by travelling to the ends of the Mines and start digging, or might select some not yet proven goal as an end point and start working towards it... today, each mathematician must build their own mental model of the mines by exhaustively reading all related papers - a time consuming and somewhat fallible effort. Such a comprehensive map would be one of the main benefits of formalization.

The video mentioned Formal Abstracts[2], which is still getting off the ground... a similar project that has been around for a while is Metamath[3]. Metamath uses an SRS (string rewriting system[4]) to formalize much foundational mathematics. It's proof explorer is conceptually similar to Egan's Mines: a database full of theorems and connections starting from fundamental axioms and definitions. Today, Metamath only includes fairly basic results, and has not yet reached a level where it can capture the state-of-the-art in modern research mathematics the way Formal Abstracts and other systems aspire to. To be fair, no system today is really at that level yet. Coq has a good set of packages and I think is probably in the lead today. I don't know where Lean is in comparison.

The aspect of formalization where it somehow lends additional credence to proofs seems less important. Famously, when Hilbert went to fully formalize Euclid's geometry, he found a missing axiom[5]. (Euclid had assumed that two circles with centers closer than their radii would intersect at somewhere... which is not true over the field of rational numbers! Therefore this requires an explicit axiom, which had been overlooked for 2,000 years!) This seems to be the exception rather than the rule... as far as I know, no important theorem has been "overturned" as a result of formalization efforts.

[1]: http://kasmana.people.cofc.edu/MATHFICT/mfview.php?callnumbe...

[2]: https://formalabstracts.github.io/

[3]: http://us.metamath.org/mpeuni/mmset.html

[4]: https://en.wikipedia.org/wiki/Rewriting#String_rewriting_sys...

[5]: https://math.stackexchange.com/questions/2074781/can-we-real...
Fourstarzz Media
Shut up youngster! Oh god we're so old...
I am certain nobody will agree with my opinion, but I will share it anyway.

This sounds to me like a design problem. If you don't want to risk someone expressing an opinion, then give them a drop down of things they can choose from to say. "zug zug" "LokTar O'Gar!"

If you want a social platform where people can express opinions, then keep that thing distanced far away from anything where money, competition, politics, etc... are involved. People will do what people can do. In this circumstance, humans were set up for failure and they will fail again. Keep the social platform identifiable names away from names used in a competition.
Cancel or Allow? https://www.youtube.com/watch?v=FxOIebkmrqs
Why would you assume they are against ICE? Even on hackernews, ICE has its supporters.
Gear – The first mobile browser supported TamperMonkey script
Your point might be partially right, but realistically speaking, when you look at democracies, you tend to look at a lower level of censorship on average since freedom of speech and check-n-balances are considered to be a pillar of democracy.
I would rather see Twitter adding accessibility to its GIFs. In disabled circles, it's common for people to add a descriptor for the GIF, which is awkward and cuts into a limited character count.

I end up not wanting to participate, then feeling a bit guilty because I'm handicapped, though I'm not blind.

There should be native support. This shouldn't be an issue. They offer native support for embedding the GIFs. They should offer native support for the visually impaired. It shouldn't require a workaround.
I think you are selling gamers short. Star Wars battlefront 2 controversy lasted a fairly long time from what I remember, and still talked about to this day.
>Skin color

I see we are playing with fire today
The more I dive into the history of various technologies (and even professions), the more it becomes apparent that militaries are responsible for a vast proportion of historical advancements, even in the most unexpected areas.

Edit: Also responsible for a vast supply of historical datasets.

Edit 2: IMHO, the most fascinating is all the tie-ins between artillery, spycraft, astronomy, aerospace/rockets, geodosy & cartography (and invention of the chronograph), tidal monitoring & weather keeping, nuclear weapons, gps, and probably a dozen more topics I'm forgetting off the top of my head.

Individually, each of these is a mammoth of a topic on its own. But the interplay in their development (as influenced by big-picture military strategy) is just mind-boggling to me. It is by far, the most interesting, persistent, and deep rabbit-hole I've encountered.

(Hint: Ballistic missiles are essentially long range artillery. Hint 2: They require gravitational variation to be taken into account for targeting.)
I may sound like those which you criticize, but isn't this a critique of empiricism rather than of rationalism?
It's easier to pay for a physical product, especially one where you can employ the doctrine of first sale and reuse them in any way you choose.

With Artifact you couldn't even sell your deck without paying Valve again. Fuck. That. Card games are already expensive, you didn't need to make it worse.
And what about the opposite issue: too many people know and enter in a greedy and bloody competition?

It reminds me an 80's cartoon where Spanish, aliens and 3 children run after a golden city and destroy it out of greed when they find it.
Should we really expect PE results to be un or weakly correlated with publicly traded companies?
How a Radial Engine Works
Is it even a website if the videos don't autoplay and follow you, there aren't at least two modals urging you to subscribe to a newsletter, and at least one Amazon referral link?
For anybody else:

$10/hr = $20k/yr

$20/hr = $40k/yr

$30/hr = $60k/yr

$40/hr = $80k/yr

$50/hr = $100k/yr

$60/hr = $120k/yr

$70/hr = $140k/yr

$80/hr = $160k/yr

$90/hr = $180k/yr

$100/hr = $200k/yr

$110/hr = $220k/yr

$120/hr = $240k/yr

$130/hr = $260k/yr

$140/hr = $280k/yr

$150/hr = $300k/yr

$160/hr = $320k/yr

$170/hr = $340k/yr

$180/hr = $360k/yr

$190/hr = $390k/yr

$200/hr = $400k/yr
For a decent understanding of the nature of politics, I would research some political theory, specifically "Realism".

https://en.wikipedia.org/wiki/Realism_%28international_relat...

As for book recommendations, is there a specific topic you want to focus on? What are understanding are you looking to get out of them?

There's books on the rise of Asian economies, books on political theory that go more in depth, books on the politics and economics of China, history books on wars between rival powers, books on the history of Asia..etc
That works. I believe, & do they usually target common citizens?
Full-Time | Carbondale, CO or San Francisco, CA | Python | Onsite | https://appomni.com

AppOmni is a security startup split between Carbondale and San Francisco. We help enterprises secure their data in complex SaaS apps.

We’re looking for senior backend engineers. Our backend stack is Python/Django/DRF/Celery/GCP/Kubernetes along with a small but growing set of microservices.

If you've ever wanted the flexibility to live/work in San Francisco or the beautiful mountains of Colorado close to world class outdoor activities, please email jobs@appomni.com
But the point is each person in China produces far less than each person in the US. They just have a lot more people. This is made even worse when you consider that much of what Americans use was manufactured there.
I’m guessing the latter. Not saying my password is 8o0b7fOr2060+9
> Actual discussions between scientists are much more lively

This only works because the people are vetted. Almost everyone on HN is a rando and randos had better be able to back their assertions up. Otherwise you just end up spending all your time humouring crazy people.
I politely disagree; Metamath doesn't really have any ceiling on its complexity and can do anything that fancier, slower solvers can do. Did you have a specific example of something that Metamath cannot capture? Keep in mind that, in terms of formal power, there ought not to be a higher level of power than the level that Metamath accesses.
Its commonly not allergy e.g. not a histamine response. It can be simple irritation due to particulates in the air. Everybody should respond to that.