skysight-inc/HackerNews huggingface dataset:
>...making something extremely inconvenient.

It's not Apple's job to keep things convenient for content publishers. Let alone those only indexed by their search engine. If you're squelched by mere "inconvenience", then perhaps your convictions to share your message aren't strong enough and your message isn't worthy of attention after all.
Yes go protest. I don't know why this is a common question for people in tech. Showing up in person and being there gives legitimacy to the protest and you incentivize others to come help as well.
There's a key difference.

Newspapers are responsible for what they print. They can get sued if they print things that are illegal, or even just wrong. With the editorial voice comes responsibility for what's said.

Technology companies have historically been viewed more as common carriers. In fact the term "common carrier" was invented to describe an earlier wave of technology companies. They are not responsible for what's said or done with their platform because they do not exercise editorial voice. The DMCA further solidified this notion in law by making it clear that if you respond to legal takedown requests you have a safe harbour and are not considered to be aiding-and-abetting crime if it takes place on your platform.

Right now tech firms seem to be trying to have it both ways. They want the scale, legal immunity and profits that come with bulk automation and claiming to be a common carrier. But then they want to selectively eliminate legal speech as well to make their employees feel good about themselves.

I suspect if regulation is introduced, it will work like that - editorial control cuts both ways. If Apple, Twitter, Facebook etc are going to exercise such control over their platform, they'll have to do it like newspapers do. That means if someone "publishes" something that triggers liability on their platform, it falls on them. In practice that would be impossible given their business models.

Edit: to be clear, I'm making a general argument here rather than about Apple specifically. Apple is a bit unusual in that it does (or at least did) manually review most content put on its platforms. In that sense Apple might well be able to argue it doesn't want or need common carrier status and it would be allowed to do this and equivalent things (removing Alex Jones apps), especially as it's not a monopoly. Also, I'm not explicitly advocating such a legal approach, I'd want to ponder it more first, just speculating on a likely potential future given that the legal tools and precedents already exist. Such a change in legal perspective would affect Twitter, Facebook and Google much more than Apple.
I'd like to see the runtime for the same query but (1) without 'distinct', (2) without the date formatting and (3) with an inner join.
> makes you look like a government shill

We're on a site where we strive to assume good faith, avoid name calling, reply to the argument not the person, take the strongest possible form of what someone is saying (iron man not straw man), etc.

https://news.ycombinator.com/newsguidelines.html
Canaries were used in coal mines to detect deadly gas. If your canary dies, it means you might have a problem.

A warrant canary dies when a warrant is served. If a company has a statement that says "We have not been served a warrant as of X date" and they update it monthly, then they suddenly stop updating it or remove that statement, the canary has died. They might have been served with a warrant.

It's also possible that the canary died of natural causes, of course. It could be that a lawyer told them it was a bad idea, or maybe a shift in management removed it. But there's no way to know.
> I would love a web where you can comment with your forum circle on any URI available on internet.

This would be automatically available if hyperlinks were two way connections.

All that would be needed is a culture of linking to what you commented about.

Which, I would guess, would have happened in such a web, because it would be a no brainer that any cool tool provides that. Much like the share buttons for SN we have now on every website.
License holders should start setting the standard of
enforcing the terms of the license they chose.

As I understand things, the prize if you're successful in enforcement is... a copy of the GPL appears in some sub-menu somewhere, and you get a dump of the GPL-derived source code. This dump might not compile, might not be possible to flash onto the device, and might not provide all functions.

I can understand why a philanthropist with the money to pay for such a legal battle might spend it on other things instead.
I am certain there will be an emerging field in AI for engineering. Suspension that 'learns' how to keep the car flat; buildings that start shuffling warm air from a to b before it's needed ... things like that. Programming is going to change from "explain how to do it" to "show it what you want", and this has got to be a big deal.
The blocklists are equally as McCarthyesque..

I remember being on mastodon when the second wave of users hit (pawoo.net). Suddenly overnight we had to worry about what was on our servers cache.. suddenly there was lolicon porn, which might be legal in japan, but outside it could be illegal.

So naturally blocklist's appeared, blocking all the new wave of Japanese servers.

I remember there was a disagreement between those in favor of block list's and the creator of Mastodon. Who didn't want any form of blocking, back at that time the tools to do any form of blocking was either non-existent or very raw. I had an instance at this stage, and the thought about having some kind of childporn drawings in my servers cache scared the living shit out of me. Enough to shut it down.

But the blocklists weren't vetted back then, and I don't think there was a central list that I can remember.
I've been building an app that (among other things) can kind of generate this for Twitter--if people are discussing a link, it finds tweets about that link, quote-tweets of tweets about that link, and replies to tweets about that link (in addition to tracking the number of retweets and likes). (The app is pre-release but it's on social media as https://twitter.com/flockpath)

I've been thinking that I should 'break out' that feature as a Chrome extension. It would open the Twitter discussion for the link you're on, as a sidebar. Here's an image of how the sidebar would look (this is a sample of tweets about a particular article called 'Podcasting's Next Frontier'): https://imgur.com/a/GEcR7b1

And if that Chrome extension becomes popular maybe I would ditch the dependence on Twitter and also spider the rest of the web for discussions about the URL, especially big forums like HN, Reddit. I think https://techmeme.com does something like that.

As an aside, this is the kinda thing I miss about the circa 2005 web--when there was a prominent article published it would get discussed in a variety of forums, blogs, etc. Now the discussion has become centralized to a few aggregators and social media sites.
Claire de Lune
Being a smartass is a real problem. Jeff Bezos style meetings try to solve this issue.

> "If we don't, the executives, like high school kids, will try to bluff their way through a meeting,"
> What if their lawyer explained to them that removing the canary for a reason was likely to be criminal and they removed it preemptively?

Then a nice solution would be to say "our lawyer explained to us that removing the canary for a reason is likely to be criminal, so we're letting you know we're going to remove it in 2 months to make you more sure we're not doing it in response to a current issue".
History is extremely complex and nuanced, that is the problem. It literally encompasses everything that ever happened. So anything you can say about history is inherently an oversimplification with ignores a lot of possible angles and voices and narratives. Just deciding what goes into a textbook in inherently political, even if everything stated in the book are objective truths.
> We're working on leveraging sparse experimental data for protein structure prediction. To do that, we end up using algorithms and ideas from different various CS fields, from machine learning, to robotics, to distributed systems. Other people are working on exciting fields like computation protein design, studying drug protein interaction in silico..

Are there particular methods you use to deal with little and sparse data?
This Internet thing is going to be huge-- but it's going to tear us apart. Mark my words.
The biggest barrier to adoption of formal verification that I have seen as someone just starting in the field (working through Software Foundations and have a number of projects planned with SPARK, Frama-C, and LiquidHaskell) is the lack of groundwork. Verifying just your own code is complex enough as it is but working with libraries without any clear specification of their interfaces and behaviours makes this so much harder.

I think there is real value in having verified libraries or at least libraries with well defined specs so that interfacing with other code wasn't so tedious. I think this issue is starting to be overcome with regard to the usage of strong type systems. Truly strongly typed languages are finally getting the libraries and communities built up so that they don't seem quite as daunting.
I think you mean "Programming by Example".
Legal possibilities for a gay couple to have children by surrogacy in Georgia?
thanks! I will definitely read this!
Miners used to bring canary birds with them when mining. If they hit poisonous gas, the canary would die before the miners, alerting them to the gas.

The government can issue secret warrants to companies that they are not allowed to disclose, requiring them to hand over customer data. A warrant canary is a periodical statement from a company that they have not received such a warrant. The idea is that if they do receive a warrant, they will stop publishing the warrant, and the court can't compel them to.
It's absolutely not true that there's no traction with PHP, even if we grant that PHP is "on its way out"! That kind of comment shows how out of touch you are. As for PHP's "reputation", a lot of that is legacy from 4.x days. But when was that? Oh yeah, that was the early 2000's. I'll say it again: if you look at PHP today I think you're going to see that things have improved dramatically. Just ask Facebook...
Reading the article, the database did use an index for the lookup. However, if that index lookup is hitting spinning rust, then it can take 10ms or so per entry, which adds up.

In contrast, if you have sorted/indexed both tables on the join key, then the database is able to do a merge join. This is effectively what the command line implementation did, and is much faster, assuming you can get hold of sorted data quickly to begin with. If the tables are unsorted, then the extra cost of sorting them first needs to be added.

Most databases will evaluate several methods of running the query. Something like Postgres EXPLAIN will provide details of the method being used.
ActivityPub is still on my (ever-expanding) to-research list, but maybe I'll ask here: is this the protocol that will finally let me move my social networking into Emacs?
> add a few friends by copying their tox address

that's the hardest part to achieve! My friends are always on whatsapp or some other convenient chat app.
A Brief History of JavaScript by It's Author [video]
The Canadian writer Malcolm Gladwell has a podcast called "Revisionist History" http://revisionisthistory.com/ in which he drills into particular episodes of US history.

I find it interesting, even though I don't have the academic historical chops to independently assess its accuracy.

Example: In the episode called Miss Buchanan's Period of Adjustment, Gladwell explains that Brown v. Topeka Board of Education (the famous school integration case) had a severe consequence. It caused a large fraction of African American schoolteachers and educators to be thrown out of work. He points out that teaching was a major source of 1930s-1950s knowledge-work employment for African Americans was teaching in segregated schools. Quite a few Euro-American school boards obeyed the ruling admitting African American students, but did not employ the teachers from thew schools they left.

http://revisionisthistory.com/episodes/13-miss-buchanans-per...
That's only in the SELECT statement, which only needs to be performed after the join has been done.
> Formal verification has been around for 40/50 years and we can't say it is a wide success from a industrial point of view. It has some achievements in terms of results/methods and projects checked, but on a daily basis, pretty much no one uses it.

Formal verification is an essential part of mission critical applications. Therefore, even though they might be few in number - their impact is pretty significant and "wide".
When I was at school you mean?
And how to really remove a file from your git history....

https://help.github.com/articles/removing-sensitive-data-fro...
I believe Apple licensed tech from Xerox, but Xerox didn’t understand its worth. A bunch of ex-Xerox people later joined Apple (Larry Tesler, Alan Kay).
IMO the best IoT is the DIY IoT, the kind that isn't really IoT but rather "I put Wifi on a raspi and connected it to a PCB".

Thankfully the online resources around electronics are plentiful and PCBs can be had for under 10$ incl. S&H.

That way I can make all my lighting IoT without having to deal with the garbage of the IoT industry.
Yes! I studied law before CS and now I learn all these algorithms which deal with questions about how to do something efficiently – and these algorithms are unkown by all these people thinking about important questions in this field.

And I think this also applies to other fields. I gave the book "Algorithms To Live By" (which is basically an overview of CS algorithms) to a medicine student and he was immediately inspiried and came up with ideas on how to apply these ideas on his research. CS algorithms are just so basically true that I think they should be more universally known.
Monero uses ring confidential transactions as of now and zCash's zkSNARKs take advantage of some form of homomorphic encryption.

There are probably more but those are the ones off the top of my head.
I can't speak for the American content, but the Scandinavian blog entries range from outright lies to gross missinformation.

Would you really want that associated with your brand? I wouldn't.
To expand on this.

This is done as it is usually presumed the government can legally force your silence, but can't force you to say something (e.g we hadn't received secret warrant, last updated: Aug, 08)
Do you believe in your work?
It seems almost all programming jobs are in adtech or fintech, the two most boring but well-payed fields. To some extent we all have to spin a fictional narrative to make our jobs seem worth doing. Usually this means separating in our minds the overall purpose from the problem-solving: if the local sub-problems are interesting enough we can forget about the big picture. But when you zoom-out, do you really believe in your work ? Is actually worth it ?
I'm trying to make a trading bot but shifting through over a milion of historical prices tends to be a bit uncomfortable when they are outputted in a simple table.

So i looked for some chart that could help me visualize it but found none written in php so I wrote one myself.
Quantum computing and cryptography
I think mrweasel meant iTunes the app, not the service.
Yes, but: https://news.ycombinator.com/item?id=16442743
No progress in language theory can fix the fundamental problem of software verification: you need a formal specification to have anything to verify. Who wants to write not only a detailed spec for their code, but a spec that has well defined semantics in some kind of logic? Nobody, that's who. There are very few properties that you care about that are both sufficiently easy to encode in a formal specification and not provided automatically by a safe language.
Maybe I'm missing something, but doesn't a whitelist (the `.secignore` mentioned in the README) defeat much of the point of a secret-scanning tool? If I whitelist a file now for containing the (benign) string "password," I'm likely to miss a future problem in that file.
That could erase forum-ness of people and turn comments into a big heap of voices. Personally I wouldn’t like my forums if they were just a random people hanging around. Moderators and implicit rules do form what a forum is, what you do on it, but with “just comments on URI” all will be lost. While your wish feels great, it has downsides, since as an entire humanity we’re still not ready to discuss anything.
Relevant article from the socialist Current Affairs magazine: https://www.currentaffairs.org/2018/01/everyones-a-leftist-o...
Yes, and what happens to BBC employees if they ignore such complaints? How exactly is the BBC accountable? Has the license fee ever been reduced in response to poor behaviour or problematic journalism by BBC staffers?
Correct, and people would equally upset if Google removed search query links to Infowars' website pages, regardless of whether they like or hate the actual content. That's what this debate and people's concern is about.
We're definitely moving in the direction. Someone already mentioned Rust, and Typescript is gaining traction in web dev. Banks like Barclays and Standard Chartered already have Haskell teams, and I've noticed more and more Haskell jobs popping up over the years (in London). Scala is already realtively popular.

Formal verification is used in some niche areas (BAE, Galois). Proof Engineer is a real role some companies are looking to fill.
Apologies for the vulgarity, but I am presuming someone has informed the initial design team that toot is slang for a fart (at least in England) - which leads to the phrase "a mastadon toot" being quite a double entendre.

How well ingrained is the name? Is it as commonly used in the community as a tweet in twitter? As in do the users identify the messages they send as toots, and are likely to say as such?

https://www.urbandictionary.com/define.php?term=toots
And perpetual energy! Guess we, as humans, just aren't great at predicting the future, regardless of what the last 50 years looked like.
Truecrypt may be secure, but linking to GRC is going to persuade me that it isn't.
Was it by mistake? The warrant canary is back: https://spideroak.com/canary

Edit: it seems they had removed it on purpose and added it back to elaborate on the decision and that it wasn't removed to signal something --- seemingly: "So after thinking about this ... we have decided to move away from ... canaries and instead publish a ... report located at ..."
I think anything "emerging" will come from the forms of unconventional computing [1] ... ML/DL/AI are being rehashed on faster silicon hardware, I wouldn't call it hype but it will be better applied to another form of hardware - once it's realized. I personally think reversible computing [2] (once understood) to make the most sense in terms of energy efficiency in CS (much needed) ...

[1] https://en.wikipedia.org/wiki/Unconventional_computing

[2] https://en.wikipedia.org/wiki/Reversible_computing
The general idea of a Dark Score is not a bad concept; you can think of psychopathy as a spectrum from "a bit of an asshole" to "serial killer". But as someone who takes psychology seriously, and who grew up in a family environment rife with psychopathic behavior, I have some problems with this article.

First, echoing dboreham's comment below, the problem with a self-reported Dark Score is that no real psychopath is going to rate themselves accurately. You just don't get very far on the spectrum if you have the ability to truly introspect and self-reflect. In my experience dealing with psychopathic individuals (I'm talking behavior leading to lawsuits, major crimes, and death), I can trace this lack of self-awareness to severe childhood trauma/abuse causing a sort of split or divided self. The true psychopath is a stranger to themselves.

Second, I think that creating a simple online self-report quiz trivializes some very real and very dangerous aspects of personality. I think it does a disservice to the field of serious forensic psychology. It is possible to study the type of minds of that cause tremendous suffering for others in a rigorous scientific way. But fun online quizzes aren't the way.
This seems like a pretty baseless assertion, though I'm sure it feels good to believe. However, if there was something more substantial that made you say it, I wish you'd elaborate.
I disagree. The "average" user nowadays knows or at least has heard of the problems with fast food. There have been numerous campaigns about eating healthy and as many people who have done the transformation from an unhealthy full of junk food diet to a healthy one with exercising can attest the benefits are there.

We need similar campaigns for an ethical internet. People need to understand the problems with the current options and be offered alternatives as good as possible. At the end of the day we can't force companies to behave "ethically"( whatever that means depending on your definition) so a decentralized options will be a better one.
I guess there's a new generation of cryptographic primitives implied by your assertion - given a parametric high-dimensional unit sphere, ...
Life does give you the chance to doggedly pursue your thoughts; you just have to devote yourself to it. I personally live this way, freelancing about 3 months a year and spending the rest of it on whatever interests me.
"I do not imply, for instance, that we should always suppress the utterance of intolerant philosophies; as long as we can counter them by rational argument and keep them in check by public opinion, suppression would certainly be unwise."
- Karl Popper
Thanks for the replies everyone. A follow up: would the sound recovered from such vibrations have enough resolution to perform some of the tricks described (isolating voice from background noise or identifying the song and cancelling it out, etc...)?
To me, personally, the biggest barrier was lack of a proper introduction with a lot of examples.

I try to break this barrier a bit with my upcoming book: Gentle Introduction to Dependent Types with Idris.

I am very interested in this area but it is impossible for newcomers to get a grasp of it without too much digging. Logical Foundations was OK but I was still missing the theoretical explanation ("why does this tactic work? it is magic!").

So with accumulated knowledge from IRC, forums I hope to address this.
> Apple getting into the game of deciding what is and isn't hate speech.

They're not doing that. They're getting into the game of what does, or does not, comply with their acceptable use policy.

It's nice to see some companies actually applying these policies.
A guy i knew in college had an electronic pen that would write ink on the paper, but also store it digitally & convert to text. Maybe worth exploring if you want the best of both worlds
Amazon to merge its ad businesses into one platform
I was just thinking morally.

I'm not sure if a private company is allowed to block their customers from accessing content that the company, in this case Apple, simply dislike. That's may be perfectly legal.

Would Apple be allowed to block users from accessing Google from an iPhone, if they wanted to? They can't if they do to promote their on alternative, but can they if they just feel like it and don't benefit?
Second time in the last weeks I see a link to this domain and I just get a 403 Forbidden, no matter the URL. Also tried from a few vservers.

I'm in Germany, could this site be blocking?
[Screencast] Improving Partial Loading Performance
Grew up in the 70’s and 80’s. Played Tempest, and other vector games of the age, though Star Trek was my favorite.

Probably had to do with old arcade games being deterministic and coded in assembly, as well as the vector display.
Bitcoin has the potential to be “first worldwide currency”