skysight-inc/HackerNews huggingface dataset:
I concur. I dislike Trump's comments about Mexican immigrants as rapists, his recent annexation of Syria's Golan Heights and so on and so forth. My comment history will attest to this.

People on the left who are not part of the machine of the Democratic Party - Ralph Nader, Noam Chomsky, many lesser known people in that orbit, have said all along that this whole Trump/Russia thing has been overblown.

The Democrats lost the 2016 election. Trump railed against NAFTA and TPP and campaigned around working class people in the Midwest and said the US was in too many wars abroad and steel workers needed help. Hillary took money from Wall Street, initially supported TPP, didn't visit the Midwest despite Michael Moore's entreaties - he was saying at the time which states she could lose, all of which she did.

Nader said, paraphrasing - "The Democrats had unappealing policies in 2000 and lost, and in 2016 and lost. They could be self-critical and see US workers did not support their policies, and change them to be more appealing to US workers. Or they could keep taking corporate PAC money and find a scapegoat. They chose that option. The scapegoat was me (Nader) in 2000. In 2016 it was Putin."

In a move to try to be less appealing to voters, the DCCC just passed a number of policies trying to prevent local Democratic parties from running primaries against incumbents. They want control to be held by incumbents and corporate PACs and party hacks - any body other than the local Democratic voters who do all the leg work and voting.
This has been supported since 2011.
It's awesome she can keep her dignity, and have hope and the means to advance. I admire her gumption.
One advantage is that Replete requires no network connectivity to evaluate forms. The compilation and evaluation is done directly on your device.
An STM32 usually has a few DAC channels, but they often only have 8 or so bits. No idea how fast they are either.
Lying to FBI is one thing Flynn pleaded guilty of, as part of his deal. But there were other charges, such as working for Turkey without registering as a foreign agent - the deal is pretty much the only reason why Flynn got out of it, by giving them enough evidence to convict his co-conspirators.

And while it's not Russia, it is still very much relevant to 2016 election, since Flynn's participation in the scheme happened while he was already the national security adviser for the Trump campaign.
Differentiating the facts from speculations and of the projections of our perceptions and experiences as a species onto other species?

Who am I to say why an animal who's mind I have no insight into is having sex? I wouldn't even dare to begin supposing pretending I have any idea of what's going on in an octopus' mind(s).

(Although I did once read a fascinating fiction on some blog about exactly that. Can't find it now)
> Over the last two years it has become clear how narrow and biased they have become in their contempt for Trump and of course in search of 'more clicks'.

> This is a deep wound for America that I do not think we can blame on Trump himself, however much some of us may loathe him.

> Trump is a Loki who exposed a serious degradation in another part of the system and it has to remedied.

Who are you? What is happening? This is totally deranged. "Trump is a Loki"!?
In my reading of the reports, they have stated what is known of the investigation, not promised anything.
Good to have this overview! I abandoned hyphenation in a project after seeing it behave so different from LaTeX’s. Looks like I missed some options.

Related, I was looking at multi-column CSS for magazine or newspaper typesetting. The controls on column-breaking were not well supported, making it very difficult to not end up with ugly typography. Would love to see improvements there as well.
Saying that no indictment has been because of collusion isn't true, since Manafort was indicted in part for lying to investigators about his contacts with Kilimnik.

Surely you'd agree that Trump's campaign chair giving US polling data to a Russian cut-out counts as colluding.

https://www.cbc.ca/news/world/paul-manafort-trump-polling-da...
I have red, still plenty of ads.
Not having three AoA sensors seems either insane or criminally negligent.
Redesigning Our Docs: Building an Interactive InstantSearch Showcase
One more: if you run a cycle lane along a road for automobiles, run it above the main road's grade, if feasible.
>Which aspects of the New Zealand government's response do you object to?

Namely the banning of the manifesto. Blocking images of violence is one thing. But making the leap to blocking ideas is on a whole other level. I’m all for de-platforming. No one should be forced to host your vile content, legal or not. But for the government of your country to ban a specific string of characters as a criminal matter is terrifying.
>We've had green bike lanes here for many years. I've never noticed any of them fade

The key word in your post is "here". These things vary by location - for example, anywhere that uses snowplows, a superficial treatment (paint, even thermoplastic) will wear away in a very short period of time. Centrelines here are repainted every year or two (or ten, on roads that aren't considered very important).
In China, Fortnite is not popular at all
Google could make a much larger environmental impact by requiring that Android licensees stop forcing obsolescence through their refusal to provide security updates for otherwise functional devices.

There is no reason why phones with current specs couldn't be supported for at least five years.

"You'll get two years of support if you're lucky" is just insane.
I can’t help not being offended, and “this slope is so slippery only being offended by trifles can save us” isn’t the compelling position you seem to think it is. The fact is that the slope is rarely slippery, there are often May chances to reinforce or overturn such trends in a relatively free society (which of course China isn’t). No amount of pearl-clutching is going to change that, sorry.
I like your question very much. IMHO, every entreprise is a social entreprise. No matter what it does, it affects society, does it not?

So, giving away a % of the revenues shouldn't be necessary, as long as the business does something meaningful for society.

Looks like you would help people make a living, while helping companies find talent. That seems more-than-enough meaningful.

And if you'd like to be even more meaningful, you may experiment with how you select your clients -- so they, too, do meaningful things.

I'd keep all the revenues, not out of greed, but simply so that you don't suffer, allowing you to keep helping society in the long run.
C&C Red Alert... pretty awesomely matched to the game
TL;DR: There are no studies of insect life in Countries A, B, and C, so no need to worry about a huge decline in biomass in the US and Europe!

ಠ_ಠ
> And rigor itself? A relatively modern requirement.

Perhaps. I would argue that it is LONG overdue.

> Moreover, math itself resists rigor in a fundamental way, as Godel showed us.

This merely shows that some things cannot be proved, be it by machine or computer. That's not the issue. The issue is whether or not we should be moving towards machine-verified proofs, since "proofs" verified only by humans often turn out to be wrong.

> Machine proofs? Eh. Ultimately, everything is up to humans, even the axioms. Will the computer believe in the axiom of choice?

A computer will "believe" the axiom of choice if it is told that it is an axiom. I agree that the humans get to decide what is an axiom (at least in their system), but it should be immediately obvious exactly what axioms are being accepted, and then rigorously shown that only those accepted axioms are being used.

I can even point to a demonstration. One of the mathematical formalization tools available today is Metamath ( http://us.metamath.org/ ). In Metamath you can state the axioms you wish to accept, and then generate proofs that are automatically checked; every step must lead back to a previously-proved theorem or an axiom.

There are several existing Metamath databases. The "set.mm" database (Metamath Proof Explorer) is based on classical logic, ZFC, and the axiom of choice. Since the axiom of choice is included as an axiom, you can use it. See here: http://us.metamath.org/mpeuni/mmset.html

In contrast, the "iset.mm" database (Intuitionistic Logic Explorer) is based on intuitionistic logic and does not include the axiom of choice. Since the axiom of choice is not included, you cannot verify a proof that tries to use it - the verifier will simply complain that the step is invalid if you try to do it. See here: http://us.metamath.org/ileuni/mmil.html
"replaced with a cold mechanical professionalism"

And thats when the spirit dies and you get a soulless product which sells, but does not satisfy.

It is about balance. Enthusiasm alone gets you nowhere, but mixed with skills ...
That's what happened first. I mean how do you know - these people are crazy, they may have been able to function in their home town but are lost in SF. If they dont want to go don't force them, but it seems ironic and cruel to just assume they're happy in this new place they were thrust into.
“Why does he eat with tax collectors and sinners?” On hearing this, Jesus replied, “It is not the healthy who need a doctor, but the sick. I have not come to call the righteous, but sinners.”

So ironically if homosexuality IS a sin; then these are the people Jesus came for, spent time with, and calls

Tax collectors in this context refers to Jews who consorted with Romans to effectively extort from their own countrymen

> When you say "homosexuality" do you mean homosexual proclivities, or homosexual acts? It's an important nuance. For example, Judiasm/Christianity/Islam teaches...

Jesus: “You have heard that it was said, ‘You shall not commit adultery.’ But I tell you that anyone who looks at a woman lustfully has already committed adultery with her in his heart”

He says it is bad to desire something bad. This isn't playng with nuance. Slightly later he says: “Be perfect, therefore, as your heavenly Father is perfect.” A tough call, but then the writer of half the NT was a hater and murderer of Chrstians -- Acts 9 describes how he met Jesus and was accepted/forgiven

> And... it also condemns masturbation, marrying foreigners, eating fish, letting menstruating women inside the city limits and mixing fabrics.

* Masturbation: I'm not sure where this could be from
* Fish: "Everything in the waters that has fins and scales, whether in the seas or in the rivers, you may eat." (Leviticus 11)

Etc. But actually we are both being anti-biblical here. Sure, there are detailed and unusual laws, but God frequently and directly asks people to focus on other things:

“But give justice to the weak and the fatherless; maintain the right of the afflicted and the destitute.”

Or Jesus: “Woe to you [religious teachers]. Hypocrites! For you are careful to tithe even the tiniest income from your herb gardens, but you ignore the more important aspects of the law--justice, mercy, and faithfulness.”

And many more... To be wrapped up in the law of what is right or wrong --even homosexuality-- is to 100% miss what the Bible teaches

“If righteousness comes through the law, then Christ died for nothing.” (Galatians 2)
The Drop Out: 20/20 Investigation on Theranos and Elizabeth Holmes
Serious question: does anyone know how are homosexual monkeys treated by their peers? Basically, I was wondering if there is a proof of them being discriminated/treated badly by their peers.
The presenter shared his written version of the talk and i'd say that this is probably this biggest takeaway:

> The important lesson is that you'll encounter multiple types of operators, with various mental models, and various approaches to your system. You must take a human-centric approach. Avoid the glass house, and provide well-layered observability probes that adapt to specific types of concerns, and provide both guidance and flexibility to operators. This will be the difference between a system where people can operate at various levels of experience, and a system where only wizards can thrive.
On top of that, good robot arms are expensive. Startups announce low-cost ones, but many don't hold up in continuous use. Universal Robot from Denmark seems to be doing well

Recently attending multiple industrial automation trade shows in China, I can tell you there has been a renaissance in robot arm production in the last five years. There are now many dozens of manufacturers deploying arms in real world manufacturing scenarios, where uptime matters. I can't speak for the quality, but if it's not there yet, it will be soon! One would assume this should effect some industry-wide price reduction.
What strikes me is that this trend is global (International) and not local (US). Trump (and many other public figures in other countries) are the products of a situation and not the causes.
Not even the USA permits unlimited free speech. Memorably the US once limited speech against speaking out against conscription - under the 1918 sedition act - which led to the now famous free speech quote of "calling fire in a crowded theatre".

The US still has a crime of, and recent prosecutions for sedition! A crime abolished as a relic in some other places. Pot, kettle, black? :)
I think people were desperate to rationalize Hillary's loss and shift the blame.
Just work out the math for N = 3 and you'll see why your solution is wrong.

X = Mean([a,b,c]) = (a+b+c)/3

Y = YourFunction([a,b,c]) = (((a+b)/2)+c)/2 = (a+b+2c)/4

X does not equal Y. It doesn't matter if the reduce is left or right, btw, it's still wrong.
Of course places such as the Northeast (USA) are also the worst candidates for the SF dream of bike dominance. Where I’m from (Colorado) the idea of bike-first is something we roll our eyes at, and generally rightly assume that the loudest advocates live somewhere else, don’t have families, and only go back and forth to work.

That’s really not the whole country, no matter how much a minority of SV’ers want it to be. Parts of the country are really spread out, parts are brutally cold, windy, and rainy, and yes some parts are lovely and sunny and packed to the gills. The problem is that evangelists for Bike Jesus never seem to accept that, and there’s always one or two who claim to live in Antarctica with a family of 6, and all while only riding a bike.
Well, I guess what I meant is that proofs are for convincing other mathematicians. If someone is unconvinced by the proof they’ll try to fill in the gaps or further specify certain parts of the proof themselves. If that doesn’t work, they might ask for clarification. Eventually a consensus on the validity of the proof will be reached. I agree if the proof were presented in a machine verifiable format to begin with we wouldn’t need this process. I think though, that the reason it isn’t done this way is partly because the effort required isn’t worth it yet. My professor would actually get annoyed if I am too specific in my proofs because it overall makes the proof more difficult for a human to understand, which as I said is ultimately the purpose of a proof.

Additionally the proof itself sometimes conveys an interesting idea that isn’t captured in the theorem. Some theorems have many different proofs that use different methods to prove the same theorem. These different proofs provide different perspectives that lead to a better understanding of the topic.

I have a background in both computer science and pure math and am very interested in highly formal methods, I just don’t think we should disparage mathemicians for doing more human oriented math.
That's because treason is an incredibly high bar to meet.

Nevertheless, we now know that Flynn was acting as a propaganda agent of Turkey - by his own testimony, used to convict his co-conspirators - without registering as such. Do you consider this a "process crime"?
I can't reach it either
I think you are making his point. Put all those things together, plus his loony policies, you have a better case against him - in 2020 (or perhaps sooner). This overblown Russian nonsense, which is a lot of smoke for so small a fire, distracts from the other things.
It probably doesn't help that all of the proof tools I've seen are incredibly obscure and unrelated to any formal techniques taught to human beings.
I am fine with just considering hyphenation a thing of the past. Do we really think it adds value? I find it far easier to read text that doesn't break words in half.

So what if the right margin is a bit raggedy.
I'm with you on that. It also seems completely against the Boeing ethos of when the auto pilot is off you should be hand flying the plane and your control inputs dictate the movement of the flight surfaces. That has been a perceived difference in philosophy between Boeing and Airbus. MCAS sounds like a hastly thrown together work around and a disaster waiting to happen.
It should be noted that the first amendment doesn't apply to companies, ie you have no rights with respect to them. For example Facebook is doing the exact same thing.
Yep, there’s going to be a lot of hand wringing, finger pointing and hot air expended over the next few years and this is basically it. Boeing had two options:

(1) 3 sensors plus majority voter.

(2) A mandatory AoA disagree indication plus some training on how to react to it.

They chose option (3): Neither. Frankly when I heard there were just two sensors and no disagree indication, my first thought was well that’s just as good as one sensor and hoping for the best, isn’t it? The “challenger moment” would have been after the meeting they decided on this.
The hole in information caused by the censorship is causing people to come up with and perpetuate all sorts of crazy accusations and conspiracies about what "really" happened or why. The truth and fact of the what (video) and why (manifesto) is important clarification to the situation. Censorship is causing mystery, unrest, and false blame.
Has the same issue happened for airbus with half a thousand dead, and any of their planes grounded world wide?
Respectively: that's your perogative; yes; cool; typesetting matter, sometimes drastically, even if most of the time you don't even notice it.

I have several "books" on the web, for which hyphenation is a godsend, especially as CSS is not just for that computer monitor you're staring at, but also for `media="print"`, which yes: matters even in 2019.
The insect decline is shocking and will have drastic impacts we can only predict
Ar ski/snowboard goggles are so sweet
Pereira's appears to be "quidquid noscit, est, ergo ego sum", but maybe I'm wrong
trying to be charitable here; could you perhaps expand on the point you're trying to make by posting this exchange?

It otherwise looks like a very insensitive, small-minded person responding overly aggressively to what is otherwise a very reasonable and restrained request from the NZ Police.
Don’t most campaigns, senators, etc., meet with foreign diplomats? Kerry went and met with foreign leaders despite not being part of the government. Carter does the same albeit with tacit or explicit approval.

Also after Comey’s restart of the email investigation many Dems wanted him fired.
For basic hyphenation of text paragraphs, it's been years since I felt the need to intervene in (La)Tex hyphenation.

For typesetting more broadly, certainly. For making a clean right edge, no.
The question I'm more interested in is, why is everything else drastically slow? Contentious opinions on Windows as an operating system are common, but as a user I've been able to feel the impact of the kernel itself becoming a crufty horror show.

When upgrading from Windows 7 to Windows 8 on release, I didn't notice too much of a difference. There was outrage at the time (no more start button!) but my only real issues with it were philosophical, the edging towards the 'walled garden'. Then some time later Windows 8.1 came out and the experience, for me, was __dreadful__. Everything was so much slower. The icons on my desktop suddenly couldn't even load in time at login, temporarily being replaced by placeholder white squares. Every click, every keystroke had noticeable latency. Was it just me? Initially I thought it was just a bad installation from the upgrade process. I did a few fresh installs across the years and it still was still so slow it hurt. Windows 8.1 became praised as the saviour of Windows 8, but that wasn't my experience.

These days I maintain a Windows 7 installation at home. Making heavy use of Cygwin, I find the experience to be fine. At work we're on Windows 10 and it's __horrifying__. Cygwin's speed will never be a fair representation of how a program should run because of all the hoops it has to jump through, but to see the difference between running it on Windows 7 is __staggering__. The Windows 7 experience is akin to a native terminal on Linux, the Windows 10 experience is like a remote desktop.

I feel the same experience in other programs, especially Visual Studio, which is a large portion of my day. Nobody else I talk to shares my frustrations. Am I just super picky? Maybe everyone else is now acclimated to everything being innately slow? That seems like a stretch. But using Windows 10 isn't something I would do out of anything other than necessity because dealing with its speed is like pulling teeth.
Wait, how does its existence in the animal kingdom affect the likelihood that it is innate vs. environmentally acquired?
No nasty tricks - these aren’t NaN or Infinity

OK but then the first example is a naive computation of the mean of two enormous numbers.

All this really illustrates is that you need to be aware of the range of your inputs and choose a solution that accomodates that.
I would upvote you for that comment but I couldn't figure out where 'you' ended, and the external forces on your actions began, and it feels wrong to give the upvote to you if you don't think you actually came up with the comment.
It's less weight than attitude it reveals that concerns me. Time was even micro headphones were a miracle of almost watchmaking.

Designing to permit repair and end-of-life disassembly should be standard to permit, and perhaps mandate, end-of-life recycling until the average person consumes no plastic, despite using 20kg.
More importantly we live in times were companies are much more efficient at exploiting human weakness.

They do it faster and at larger scales than ever before. There is hardly time for even experts to react to what they are seeing unfold, forget governments.

In the past the only thing that did damage this fast was disease. Anything moving "too fast" through a population without anytime to understand the negative effects should be treated the same way we counter viruses or nuclear chain reactions - with control rods and quarantine periods.