skysight-inc/HackerNews huggingface dataset:
> Now, is it worth discussing the enormous power Google has over people's perceptions as a result of their market dominance? Absolutely.

There was a TED talk covering this titled "We're building a dystopia just to make people click on ads"[1].

It talks about how the same ad serving infrastructure that can segment populations into whether they are likely to buy X, can also segment people by political affiliation. Then you can simply target them and remind them to vote on election day (and it actually works and statistically affects voter turnout/results).

It is kind of crazy to think that the next election might be won by whoever can make a deal with Google/Facebook to target the precise swing voters they need. Facebook/google might even do the kingmaking themselves if they can figure out how to do it without backlash/leaks.

[1] https://youtu.be/iFTWM7HV2UI?t=820
For your second, link, the PoC example there by passes the regular strict signature encoding checks. These are on by default, with some being policy, and some being consensus. As a result, this won't be hit in practice by regular nodes, but may be hit by developers using the library for other purposes: https://github.com/btcsuite/btcd/issues/1287#issuecomment-42...
I think this is a weird view of how bias works. statistical models are imperfect models and are always going to have lots of bias or variance. We typically want to bias models using domain expertise or other external factors.

This is like being mad at a company for using L1 regularization
He plays videogames for a living. I could do that all day every day for free if I had the opportunity, nevermind 500k a month.
I've been trying to do this. Even practicing in the mirror, but it doesn't feel the least natural. Like I still don't know the rules or limits. I feel like a bad actor playing a bad part who doesn't know his lines. Everyone else seems to do it without a thought. I used to think everyone just thought stuff up more quickly.

The friends I have came to know talking comes later. Mainly from a situation where we were around each other enough to get past my weird quiet stage.
I can switch back & forth between Dvorak and QWERTY. Maybe it was the years of piano practice that gave me the ability to learn the former without losing the latter.

Anyway, I’m happy with the result. I’d do it again in a heartbeat. It was a big win for my RSI.
> So, employees saw that the existing algorithm was inappropriately prioritising prejudiced results, and discussed tweaking the algorithm accordingly.

I can well believe that those employees believed those results were 'prejudiced' and 'inappropriately prioritized', but I would point out that you are merely redescribing the WSJ's claims in different words and at no point have you offered a counter-argument or shown evidence that their discussed tweaks would have been non-partisan.

---

> The Google emails were written on Sunday, Jan. 29, two days after Mr. Trump signed the first version of his travel order, which generally restricted immigration to the U.S. from several majority-Muslim countries. One of the emails, from an employee of the Search Product Marketing division, explained that there was a “large brainstorm” going throughout the company’s marketing division over how to respond. “Overall idea: Leverage search to highlight important organizations to donate to, current news, etc. to keep people abreast of how they can help as well as the resources available for immigrations [sic] or people traveling,” the email says.

> “Can we launch an ephemeral experience that includes Highlights, up-to-date info from the US State Dept, DHS, links to donate to ACLU, etc?” the email added.

> Several officials responded favorably to the overall idea. “We’re absolutely in…Anything you need,” one wrote.

> “To the extent of my knowledge, we’d be breaching precedent if we only gave Highlights access to organizations that support a certain view of the world in a time of political conflict,” the public-affairs executive said. “Is that accurate? If so, would we be willing to open access to highlights to [organizations] that…actually support the ban?”
A road fatality is also an extremely rare event, once in a hundred lifetimes[1].

AI has to deal with extremely rare events to be better than human drivers.

[1] average miles driven per year - 12,000, while a fatality happens every 86 million miles on average.
This is cool. The assignments were translated from matlab to python and they implemented submitting and grading.

That said, Andrew Ng's new deep learning course on Coursera is already taught using python, numpy,and tensorflow. The content is less math-heavy but more up to date. Anybody interested in studying machine learning should consider taking the new course instead.
The point you are missing that studying a proof can't proof it correct, only fail to disprove it.
Man, I read butthole and thought this was a totally different kind of project.
CRN++: Molecular Programming Language
What's inaccurate about the headline?

> the existing algorithm was inappropriately prioritising prejudiced results, and discussed tweaking the algorithm accordingly

This, to me, is perfectly described by the headline. The only difference is that you're applying the value judgments to the results by calling them inappropriate and prejudiced (which is fine). But if Google employees feel that results that support the travel ban are inappropriate or prejudiced, well then, yeah, they were discussing tweaking the algorithm to counter the travel ban. And it seems they were well aware they were doing this, and that it was fraught with peril, and decided against it, which I applaud them for. I don't see how you can describe the headline as absurdly inaccurate though, it's completely accurate.
If you're looking for a group to take this course with (Jeremy recommends it [1]), we just started a Fall session of the TWiML Online Meetup's Fast.ai study group. More info here: http://twimlai.com/fastai

[1] https://twitter.com/jeremyphoward/status/996445183456690176
When some one said, "Most people laugh at you," his reply was, "And so very likely do the asses at them; but as they don't care for the asses, so neither do I care for them."

- Diogenes
Learning a Local Feature Descriptor for 3D LiDAR Scans
Maybe the janitor was the alien?
What is the second step?
No since the hardware changes over time, such as the video and audio hardware, and VMs don't prioritize emulating those anyway.
>/r/politics is a subforum on a news aggregator.

Agreed, i didn't say otherwise and i didn't group it with other three websites. As an outsider, i have seen tons of people who are non-liberal (either centrist or right wing) get dismissed immediately even though there are times when the argument makes sense. Also, it filled with Russian hacking.

I never compared the three news sites. Parent point first two, i just said it's not like CNN is completely neutral as well. Also remember this is the same channel that didn't want you to download wikileaks and only listen to what they say. Did CNN's political commentator not actually pass questions to Hillary prior to the debate? How is that not biased?

I also completely agree with your points about Fox news and Breitbart and i do agree they are worse than CNN but we aren't on a binary scale. You can't just blame Fox news and Brietbart and completely ignore CNN (which the op did).
Kinda off topic, but pranks for the next generation are going to be amazing. Code is just so predictable. I can picture a couple of teens blocking an empty self driving uber/waymo going to pick up its next passenger, covering its cameras with paint/sticky notes, and leaving an empty disabled car in the middle of an intersection for the police to deal with. Dont think the AI is going to be able to get out and chase them down. Yes, there are cameras but a handkerchief and a hoodie will solve that. Genuinely curious as to how they are going to solve this problem.
Wait, I thought Google will comply with Chinese censorship rules? Isn't that what "Phoenix" was all about?
Nice! I just tried transcribing myself playing Waltz For Debby and it worked well! Too bad I couldn't find a place to share the resulting midi.
Not really my cup of tea, but always interesting to hear what cross-platform solutions are being used outside of React Native and Flutter. Xamarin is probably number two after RN, and gets a fraction of the buzz.
Why I’m Here
This is a really clever and interesting project - thanks for sharing. How on earth did you come across the ROM for this game?
They don't have to. The singular monotone reaction from the top echelon is message enough. I'm no fan of Trump or his policies, but neither am I a fan of an environment where it is assumed we all have the same political views. For a company of over 100k employees, an event like that can't be seen as inclusive.
So why not just use Signal? Why even remotely trust Facebook?
> 57m used by phone calls

You are an unusual smartphone user. For most people, it is 0m.
Marz Radio – Sign Up for the Beta
I live in Mexico. With GitLab’s salary calculator, I would earn about a third of what I earn now.
That is the most epic thing I’ve read today besides titans of mathematics
Why? Your skin is porous and your body is primarily made of water. Why couldn’t you send directed electrical pulses to mimic the behavior of pharmaceuticals?
Yes? Very few posts actually contain more information than the little blurb... which makes it feel more like a curated Twitter hashtag than an actual blog, but that's not on you. That will come from people using it.

The similarity between the layout and twitter made a few things confusing: I tried clicking on a username to go to that user's profile and was instead directed to the list. This behavior is fine, but I think because the UI is so familiar, I wanted it to behave in a familiar way.
There have been a number of complaints that Google has racially/sexually inappropriate results (i. e. people have reported that searching for "Jews" returns anti-Semitic results), so this could be seen as a way to balance the scales rather than introducing further bias.

Source: https://www.snopes.com/fact-check/found-out-about-jew/
I'll be the guy to mention Forth as it is the only system I know of that a single person can fully understand and build up a fully functional and REPL interactive system using just assembly and a microcontroller. Most Forthers are doing embedded work though and don't need everything that comes with an OS.
>Now Google leadership doesn't just get to be wealthy, they get to manipulate how everyone else sees the world, with no limits or accountability, because hey everything is biased right?

I'd argue the same thing about political parties that directly benefit from less educated citizens, defunding education. Or, political parties that directly benefit from less minorities voting, passing voter restriction laws.

Considering that the same party participating in both of the above is precisely the same party arguing for... Well I'm not sure exactly what, some kind of "fair time" thing for Google and Facebook? When we can't even get that for our talk radio shows anymore? Forget about it.

If we go capitalist free market, we go full fucking capitalist free market. If conservatives are worried Google is biased against them, they should make a conservative Google.
A Hackable Nodejs Console Logger for the 21st Century
I recognize this, and yeah it's obvious why others find it strange.

I find it difficult to explain. I can fake and cope when rules are known. I can talk where there's shared rules for everyone like an interview or a class, with staff in a store. When it gets to free format, like the lunch break, I don't know the answers any more and have to take time thinking up something to say, so people reasonably move on to more interesting targets. Or just start to find me weird. Put another way, ask me what I want to eat or of the code I just wrote and there's an answer in my head straight away, small talk with strangers gets complete silence in my head. I never seem to recognize body language and signals either. Then it gets difficult, as I have to start thinking hard for what's next. I once thought everyone's that way and just really fast at it.

I've heard enough people describe it in ways that make it sound so easy, like riding a bike not needing any thought. I need to translate it into my native language. I don't think I'm making any sense now, so I'll stop.

Think I may be somewhere on the aspergers, autism or ADHD spectrums, I recognize some of all, but none seem to quite nail it. Looking back a better career choice would have been the military to live mostly under known rules. I can do that.
Many hours of searching through internet archives of dead forums. I don't think you can find it any more.
cool coat, though
The First Earthlings Around the Moon Were Two Soviet Tortoises
I'm not sure what your point is here. If the point is that the provers require a particular format, and not just English sentences, then that is true but not really a problem. Writing programs also requires that you use a particular format, AKA programming language, and that happens all the time.

It's true that some things cannot be proven, due to Goedel's incompleteness theorems... but that is a fundamental limitation of mathematics and has nothing to do with the limitations of computer tools.

You can write proof verifiers that are very generic. The metamath proof verifiers, for example, can work with arbitrary axiom systems. Most people use metamath to prove statements using classical logic with ZFC, but there are a number of other systems that are supported. Quine's New Foundationd set theory axioms and intuitionistic logic are alsk supported.
Could you use something like Google Inference API to generate inferred form from existing plan data?
It's sufficient for Mochizuki. Everyone else can decide for themselves what is sufficient for them.
I use colemak as well. I find it way more rare than you might think that you have to type in QWERTY. There are probably couple of times a year I need to, and I can always get away with some quick hunt n' peck in those rare cases.
CEOs can have political opinions.

A couple conservative googlers have tried the "we don't feel welcome" here angle, one famously by posting a sexist rant that got him fired. So far for the other ones, seems like they're still happily collecting their paycheck.

What's Google supposed to do, force its liberal employees to invite the conservative ones to their un-google-affiliated rock climbing night? The company itself is operating well within the law.
CRT Television Through the Years
> That doesn't mean most proofs are wrong, but it does mean that most mathematicians are informal; to the extent they write down proofs of their theorems, they've only ever needed to do so enough to get other mathematicians to say, "Yes, I see what you mean, this does logically follow from what we already both agree on."

THIS is the real reason more mathematics isn't computer-checked. You massively buried the lede.

> Most mathematics is not actually constructive, which intrinsically presents a difficulty for computational theorem proving

How so? There are plenty of theorem provers for classical logics.

> Furthermore a lot of mathematics (particularly in the various flavors of analysis) is continuous in nature, which is inherently difficult for a computer to correctly model.

You can do continuous mathematics in a theorem prover. E.g. much of the classical theory of ODEs has been formalized in various theorem provers. Proofs about infinite structures are still a finite sequence of axiom applications.

Furthermore, outside of theorem proving, numerical analysis and simulation of ODEs/PDEs is probably THE killer example of computers revolutionizing a field of mathematics...

> For example, computers don't actually deal with real numbers, the floating points are just a good enough practical approximation of them.

When you drill down into the model theory, you come to the amazing surprise that exactly the opposite is true.

Integers aren't decidable: https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_...

Reals are deciable: https://en.wikipedia.org/wiki/Real_closed_field#Model_theory...

> To give you an idea of how monumental the gap between research mathematics theorems and computation is: in order to make as much progress as we have, we've had to develop an entirely new theory of foundational mathematics (type theory).

Again, there's nothing stopping us from doing classical mathematics in a theorem prover.
The Third Industrial Revolution: A Radical New Sharing Economy

https://www.youtube.com/watch?v=QX3M8Ka9vUA

Jeffrey Rifkin's oracular vision of an alternate trajectory to the status quo that obviates an inevitable extinction for humanity. Radical change engendered by three key innovations: satellite internet, autonomy, and decentralized clean energy.

It is worth noting that Elon Musk is working on all three of these ;)
I legit thought they wrote an OS in the scratch programming language for a second lol
Ask HN: How do I become less arrogant?
Through some introspection I've always been aware of the fact that I sometimes act a little cocky or plain arrogant (especially during a technical argument) and I've always hated this side of me.

Recently it was brought up during a chat with some colleagues and all I could do was apologize and tell them I was aware of this personality trait of mine and I would work on it. Plus the recent events involving Linus Torvalds made me think more and more about how this personality trait can be destructive, in the long run.

Other than my personal research I wanted to ask the community here: how can I take my arrogance down a few notches?
Wait so do they need a search warrant?
Useless description, but it is pretty cool tech.
A million times yes.

Apps do the same things everywhere. Why do we still need completely different languages, codebases, etc (not to mention teams of experienced hires) to deploy any little CRUD app?

Maybe we aren’t interested in fixing this because it means there’s less engineering to be done.

“It is difficult to get a man to understand something, when his salary depends on his not understanding it.”
I am surprised that the author did not mention the semantic web we did get. It's in his source, after all. If you look at the header of the page, you'll see the lines below. Sure they are not the utopian version of the semantic web we were promised. Instead, it's even better: it's the pragmatic semantic web we need:

<!-- Twitter -->
<meta name="twitter:card" content="summary" />
<meta name="twitter:site" content="@TwoBitHistory" />

<!-- OpenGraph -->
<meta property="og:image" content="https://twobithistory.org/images/logo.png" />
<meta property="og:url" content="https://twobithistory.org/2018/05/27/semantic-web.html" />
<meta property="og:title" content="Whatever Happened to the Semantic Web?" />
<meta property="og:description" content="In 2001, Tim Berners-Lee, inventor of the World Wide Web, published an article in Scientific American.

" />
Charcoal That Can Scratch Steel: The Wild World of Permineralization
"So, it should be considered mandatory to read the documentation of a technology to masterize this technology. By documentation, I mean the reference manual, not a popularized version. The authors who popularize documentation often treat it loosely, using shortcuts that lead to a dead end, misleading talent and flattering mediocrity."
Do you plan to mirror it somewhere (e.g. throw on bittorrent for a bit)?
Tesla’s Biggest Problem Isn’t Elon Musk
That’s different. That’s about tailoring results to conform with Chinese authorities in order to operate in China.

My hypothetical example was random employees at the MTV campus emailing ideas to influence US SERPs to propagate their PoV on a political issue they have an interest in.
Just FYI everyone, using any electronic device to gain an edge at any regulated gambling game is a felony in Nevada, and it is one that they take incredibly seriously. If you are caught doing this in Nevada, and they will certainly be watching for this now that this has been posted, you will go to jail. I cannot speak for any other jurisdiction, but I’d highly recommend not using this in Vegas or Reno.
I hear you, but I still disagree. I think the depth of the "crime" fox news and Breitbart are engaging in is so great that CNN controversies are meaningless comparatively. To try to "both sides" by lumping CNN in is in my opinion muddying the waters.
I'm surprised artforum is still alive
I've been using Dvorak for about 20 years and am still happy with it, so I have no plans to switch to another layout or back to qwerty. My qwerty speed and accuracy have suffered a bit but I still use it on my phone to send SMSs, so it's still fresh in my mind and has never degraded significantly.
Hacked Prius Running on MUNI Power Lines  (2014-fake? Probably)
"Prejudice" and "Hate Speech" are necessarily subject to interpretation. Whoever gets to decide what is and isn't prejudice will necessarily inject their personal biases, political or otherwise, into the decision. Recognition of this during the Enlightenment fueled the political philosophy behind the First Amendment in the American Constitution.

It is a dangerous day when a monopolistic corporation like Google can casually insert their own biases into search results, because they feel they know best.

Is Google a private company, and do private companies have the freedom to do what they want? Generally yes, but in the case of companies like Google that act as the gatekeepers of information to billions of people, the values of free speech AND free thought must supercede the the freedom of private Enterprise.
It was also ambiguously worded, which is the bane of probability problems posed by people who think they are clever (like vos Savant).
The author specifically mentioned opengraph, or are you referencing something else?
I think you meant it cites https://www.kalzumeus.com/2010/06/17/falsehoods-programmers-...
A way to avoid that dynamic could be to compliment only when no competitors to the receiver are around. A more direct solution would be to make sure those competitors all feel secure.
Sure, social media isn't perfect. But lots of real news spread through social media too. Real news like the weinstein story that the nytimes squashed. That's the difference between social media and the nytimes. You can't silence truth on social media. You could spread lies, but you can't silence truth. Whereas news companies can silence truth and spread lies.

Also, news companies aren't immune to "fake news". The news industry have spread their fair share of "fake news". And their fake news causes wars and the suffering of millions of innocent people.

If you really cared about fake news, then you should be more worried about the news companies than social media. It's odd you are not. But I guess you trust a couple of highly biased editors tied to the establishment more than an open platform like HN. I frankly trust HN far more than the nytimes. HN isn't perfect, but you are far more likely to get the truth here than in the nytimes. Certainly the mods here do a better job of keeping things even-keeled and less biased.
Well, the lyrics of Bob Dylan have clearly elicited a strong emotional reaction from you, if nothing else, given you have bothered to make an anti-fan page about them on your personal website. :)

I also love Vonnegut, but I wouldn't automatically trust his judgement on verse. Plus a lot of literature buffs claim Vonnegut is nonsense, so he isn't particularly good backup in that field.

Literature is nonsense really, as a definition. I feel it is just a word for people who feel they are above admitting that they love to be entertained by stories.
Solve Only the Essential Problems, Avoid All Others