skysight-inc/HackerNews huggingface dataset:
Skipping the notation sure is nice and fine as long as you don't end up losing any of its benefits.

The whole idea of notation/language is:

1.to have a common reference for each definition that is explicit
2. forces you to define and handle proofs from a proper angle of detail (think of it like trying to write the specification of a data structure and an algorithm in prose instead of Haskell, C, some assembly dialect. This is actually interesting because what people call "math language" comprises a wide variety of different styles, like programming languages do.
2. concise -- again and again using notation and prior well-defined notions saves a lot of time and space; you don't tangle on the properties of registers for everything you do.

I would say that mathematics has a variety of languages that were, and are introduced per area, to go along. If you have a programming languages background you are familiar with the setting (and joke) that each new work defines a new (somewhat) programming language.

In general, there is a reason computer science is regarded to be that close to math.
“the ultimate in garbage collection” had me almost fall out of my chair. Memory management in embedded systems truly increases entropy in the universe.
So how do you feel about Airbnb (profitable?) and Uber (still at huge losses)?
What a Chart of Urine Tells Us About the History of Color Printing
Embedded, harm-critical applications.
Civilizational advance has at its current top-level nationalism.

Self: I look out for my own advantage. Everyone else is of lesser status, possibly and enemy or opponent.

Clans: I look out only for my own family's advantage. Everyone not in my family is of lesser status, possibly an enemy or opponent.

Tribes: I look out only for my tribe's advantage. We may not all be family, the tribe may be made from many clans, but we are one tribe. Everyone not in my tribe is of lesser status, possibly an enemy or opponent.

Nations: I look out for my nation's advantage. We are not all one family, one clan, or one tribe, but we are one culture. Everyone not a member of my nation is of lesser status within my borders, and may be an enemy or opponent.

This is overly simplistic, of course, but nationalism has been the most advanced form of cultural organization we've achieved for a very long time. It's led to the notion of human rights, the idea of rule by law, and the formalization of trade (which has reduced global conflict by a large measure).

Nations and nationalism are good things. They are social constructs, yes, but they are better than degeneration back to tribalism or clannishness. We can observe those regressions in the turmoil of the Middle East.
Functional operators for Objective-C
Well, that may be true. I'm not sure what another state department might have done in this position against Xi, though; this is a continuation of politics that hardly offered Obama straightforward leverage either.
I was going to say.. just like you should be able to walk anywhere in any large city and feel safe, but the reality simply doesn't work that way. There are too many injustices and not enough time or money to litigate them all for the average person.
I think it should be used to improve all below the mean, not necessarily median. In the since of there are extreme positive outliers that should result in even more research and help to those below the mean.

I specifically meant the average intelligence, not the median human.

Although I assumed that the mean would be higher than the median since IQ has a lower boundary of zero. If median is higher than mean then I agree with you.
"If they can dangle that carrot in front of you and get you to give 110% at your current pay scale for 1-2 more years then why the hell wouldn't they do it?"

Cause that's a shitty thing to do. And, as shown, it leads to people leaving.
This is wonderful, but imagine if we harnessed that kind of money in such a care filled way all the time without giving individual wealthy people power over us.

Pine didn't deserve that kind of power as I'm sure they would acknowledge. (Otherwise why give it away?) They made money on speculation, not an activity that actually would produce expertise in philanthropy or would produce some other kind of legitimacy.

While Pine almost certainly didn't intend to do so, the PR from their gift produces a certain kind of effect. Namely, it provides cover for capitalism. It's a big attention grabbing move that makes it seem as though capitalism has a human face, all for the price of a few tens of millions of dollars in an 18 trillion dollar economy that is dominated by tight fisted oligarchs.

We should be routinely taking money from the wealthy and using it to produce results for the mass of people. Nonetheless, thank you Pine for being a good citizen of humanity.
hiddenpost – secret messages experiment started
I had an idea some time ago. What if you could leave a secret message for other users on any website. The message would be invisible to normal users. Only the users of the secret network could read the messages. What would people write then? Would the users of the secret network be better informed than normal visitors?

https://www.hiddenpost.com

PS: I need some help to make it more public. Ideas?
For a lite version of this, take a look at Vim's conceal patch: http://vim.wikia.com/wiki/Patch_to_conceal_parts_of_lines
Most iOS devs I’ve seen target the current version and previous version, but no further — usually 2 versions back is where you start to see the differences in features, available APIs, API behavior differences, etc getting large enough to really be a pain.

Aside from saving dev money, being able to target only the last version or two is a real boon for indie/solo devs. It allows them to focus on improving functionality and fixing bugs instead of smoothing out version specific issues.
A key metric not mentioned in the comments is premium average revenue per user (ARPU). It's consistently decreasing over the last 3 years:

2015: € 6.84

2016: € 6.20 (9% decline)

2017: € 5.32 (14% decline)

Also, the number of hours consumed per MAU as of December of each year is also increasing. I should have taken the average over the year for both but I am interested in the trend.

2015: 191 hours per year (17.4 billion/91 million)

2016: 217 hours per year (26.7 billion/123 million)

2017: 253 hours per year (40.3 billion/159 million)
For me it's more of a time issue. I'm really light sensitive, if I didn't have the window blacked out I'd be woken up at dawn every day. I don't have to get up that early for work, so instead the lamp does its thing. You can get alarm clocks that do basically the same thing, but they're more expensive than a smart bulb.
if you want to have music on 10hrs a day, a 10k long playlist only lasts 20 days. and 10hrs is only half a day, and you might want to have music outside of work hours too!
Everything You Need to Know About the New Google Hangouts Chat
You seem to have missed the part where podiki offered the object at the center of the galaxy as evidence that a black hole currently exists. So you're arguing against the evidence when you say (over and over and over) that black holes can't form.
There was a widespread moral panic over D&D back in the 1980s. A lot of Christians sincerely believed that D&D was a recruitment tool for satanism. Well into the 1990s, many evangelical groups were producing materials warning that D&D inevitably leads to witchcraft, murder and suicide.

https://www.youtube.com/watch?v=ATUpSPj0x-c

https://www.nytimes.com/2016/04/18/us/when-dungeons-dragons-...
What performance issues do you usually run into on the current iteration of the app? Just out of personal curiosity so I can take note next time I'm using the application.
Actually I'm realizing a much more efficient (but still simple enough to be practical) way to generate d10 results is to do them in pairs. Do seven flips to generate a binary number to be interpreted as a "percentile" result in the range 00-99, rerolling on 100-127, then treat the two digits independently.

That gets you to 4.48 amortized flips per d10.
Tangentially: Is there a way to draw a line between this kind of comment and (IMHO) productive ones, in order to make enforceable, effective rules?

The comment adds no knowledge to the discussion - I'm no wiser after reading it - and is inflammatory, risking further derailment of the discussion. Mostly it communicates the emotional state of the commenter, in regard to this issue, when the comment was written.

There are times and places to do that, but they are very common and we also need the other kind of interaction: A very important problem is how to have substantive, valuable discussion of public affairs, and I'm searching for a solution.
For people who skip the article and go straight to the comments. This is indeed about the Pineapple fund [0].

[0] https://pineapplefund.org
uBlock interferes with it, even when disabled. Had to use my second Firefox profile that I keep around for misbehaving websites.
Kaboom. Garbage collection handled.
Can you tell audio quality of Spotify vs Tidal in a blind test?
I’m shocked it’s so elusive to this crowd

They want inputs to their machine learning.

Who cares what the GUI looks like? They can reskin the same backend to look like 50 chat apps.

They’re generating interest with launches and keep ML input coming

Google isn’t a product-centric company

It’s annoying to the public who are used to going down to Target and buying a toaster.

They built a money making analytics machine and need inputs to analyze

Tech business models all rely on users using their shit. That’s all there is to Google’s interests
High-profile lavish giving to charities without paying taxes on income is a guaranteed recipe for a bad time.

In my mind, this person is simply choosing to be charitable, a wonderful thing.
The source of the funds should be a concern for the charities involved in my opinion. I find the recipients a little quick to praise the donor with little being said about how the bitcoins were obtained. Maybe this information was simply not made public, and that would be fine if there was due diligence. However the fact more established institutions did not receive gifts is an eyebrow raiser: it is more likely these larger institutions would have taken steps to ensure the funds were legit to start with.
I am blown away by this. I can't figure out where you guys are worse off than youtube, other than that you have to play some content catchup. Otherwise, seriously, what am I missing.
wow, very cool.
IMHO, in America political faction identity trumped national identity already.

Small example. I was browsing news site recently, dailywire IIRC, and saw an ad for some merch they are selling, like coffee cup or something, with "Liberal tears" slogan on it.

I mean, can you imagine that in Germany, some political party will be selling "CSU voters tears" merch? I think people would be outraged, and not just CSU voters, but across the spectrum.

In a sense, the lack of national identity and total prevalence of political faction identity is what stops americans from having a sober talk between parties.

It's interesting to watch, but kinda sad.
Almost posted the exact same comment.

I know Spotify has a similar student deal but for whatever reason I went with AM and now that I've graduated I've just kind of stuck with it since they still charge me the student rate.

Apple Music is incredibly awful at music discovery, and even fairly bad when it comes to just showing me music I might be interested based on what I've listened to. For example I might listen to one song somewhere without necessarily liking the genre of it, and then AM repeatedly shows me music for that genre. Not very intelligent.
I'm intrigued. Your first name has two spaces in it?

That is, I think it is safe to say that we expect we can include spaces in the names of things. The movie is named "Star Wars", after all. That seems natural.

For people, though, we have grown used to someone having multiple parts of their name separated by a space. If given out of order, a comma.

Even in the "naming things" category. We are used to having to put quotes around names that have spaces. Or otherwise using a convention like Capitalized Identifiers to show something goes together. Probably isn't a clearcut rule.
Obscuring the source won't help if the IRS knows "John Doe at least once controlled the Bitcoins at address foo". At that point, they'll assume you still control them unless you can prove otherwise.
Qualcomm Snapdragon 700 chips to boost AI on phones
There is also the issue that often times preparing to commit one crime involves committing other crimes. It's something of a scale.

Consider the following cases:

Arresting the guy who kidnapped someone.

Arresting the guy in the act of trying to kidnap someone.

Arresting the guy who set out to kidnap someone.

Arresting the guy who is preparing his home to hold a kidnapped victim and is identifying a target.

Arresting the guy who researched how to kidnap someone.

Arresting the guy who has expressed strong interest in kidnapping someone.

Which of these is wrong? I think we would generally agree the last two are, but which of the middle ones do we draw a line at?
Thanks and you're welcome :)
Ironic posturing from the state that Comcast paid to ban municipal ISPs.
Yes, this was in the 80s. I'm old.

Thank you.
>it's about me being tired of Mario games from Nintendo and wanting to see some new IP

So the truth comes out. But the thread is about Google employees redoing the same thing to get promotions with no long-term strategy, which leads to a lot of product churn. What does Nintendo actually have to do with this? If you have grievances with Nintendo, I don't think this is the thread to do it unless you in fact have something productive to add to the conversation.
This is great news. Hiring needs to be better solved.

The current screening process provides a low signal of competence, and so companies have to rely more on credentials (degrees, previous company brands) during screening, which means that a lot of skilled people still can't get their feet in the door at companies if they don’t “look right”, and companies fight over a restricted talent pool.

Lack of hiring data for smaller companies means they copy larger company’s interview processes, but there’s no strong forcing function to drive innovation in larger company’s hiring processes (i.e. their success could be despite a bad interviewing process - because they have a brand and offer a lot of perks, hence attracting the best talent, and so they aren’t in a “we have to fix hiring or we will die” mode).

This also really hurts startups - who aren’t in positions to take risks with hiring, and with a lack of good evaluations, have to rely on credentials, which restricts their pool, and makes them compete with the big cos for that talent.

Another important implication of fixing hiring is that it will introduce a powerful forcing function on higher education institutions. If students know that they can get jobs without having “traditional” credentials, but if they can pass, say TripleByte’s, or some other company’s, assessment which is more aligned with what’s required on the job, and is a signal that companies believe in, then students can use money that they would have spent on college to instead actually learn the skills that would be useful on the job.

This movement of money out of higher education, would fund a lot more experiments in learning and education.

I can’t stress how important I think this problem is to solve, and I’m glad companies like TripleByte, interviewing.io, are working on it. We need more companies, more approaches, more experiments in this space.
I do the same thing.

But 90% of my listening time is spotify, because I no longer really keep a personal library outside of spotify.

I download files off bandcamp, and upload them to spotify

and Music-map.com (gnoosic) is amazing. I didn't think it was AI though? I thought it was just simple: if you like this, other people who liked this, liked that.
The extension is awesome, it could just have a bit more polish in the firefox version (font and icon don't seem to load properly in the browser bar, at least in most recent version of the firefox dev edition). Thanks for your hard work on sourcegraph though!
Something can be both arbitrarily made up and seriously alter the course of your life.

The latter being the most frustrating of the two.
Spotted the chinaman
I don't understand this complaint. Facebook should avoid offering job advertisements because... some people won't use it out of their own choice, therefore classism? Maybe I'm misinterpreting, but I can't follow the logic.

Both LinkedIn and Facebook accounts are free for anyone to create and use to their full extent. How is this service not a net positive if it gets people legitimate jobs? Is that not competition? Isn't more options a good thing?
Musk Dares to Go Where Others Failed with Space-Based Web
I hope Google puts some effort towards building an easy way for developers to access maps through flutter. Right now the story doesn't seem very good.

Another place that seems lacking is photo/camera access.

Maps and Camera access are really table stakes for any cross-platform framework at this point. Many app concepts need location/maps and media access.
So, it's like a worthless version of Bazel?
Tell them no
It's just people who can't wait to tell someone they're wrong.
I expect you mean NUL (ASCII 0) - but that's typically not a good choice, because POSIX decrees it invalid, along with '/'. But anything else is fair game, sure. Handling every Unicode char might be a pain, but that's the filing system's job, not yours!

Most programming languages manage to get this right. You have a quoting syntax with an escape character that lets you express the quotes, the escape character, and any arbitrary character (as a byte sequence, as a Unicode codepoint in some encoding, etc.) as well. Now you can do everything. Why not do this?

I'm not going to say this won't be a pain if you decide to write out every file name possible, because it will be, inevitably. But you can supply alternative syntaxes by way of more convenient (if limiting) shorthand - Python has its r"""...""" notation, for example, allowing you to express the majority of interesting strings without needing to escape anything.

You might argue that I've just punted the problem on to the text editor and the filing system. You'd be quite right.
Honest question: why should they care?
The donor has submitted patches for one of the open source projects that they have funded. I imagine that it would be possible for someone to identify him and further the source of the coins could be identified if they were, for example, related to a hack or Silk Road, even tumbling them (tricky with such large volumes) would be noticeable. There is a permanent ledger showing where they have been.
In Redshift Rendesvous (don't recall the author), there was an environment where the speed of light was just above running speed - maybe 15 m/s. You observed relativistic effects just walking around.
> many Western cultures wrap up personal identity in job description, but there's nothing biological to stop people from just laying out a purpose for themselves and pursuing it.

That's just as common in many other non-Western cultures, such as Japan, South Korea, China. All three are materialistic and work-centric. Japan has extreme work identity, South Korea is barely a notch lower than Japan on that. Both put the US - and the entire West - to shame on work-centric life (for better or worse depending on your views on such things). China today is one of the greatest materialistic work cultures that has ever existed. You see it in all of China's markets and businesses today, and the move from rural to urban to seek greater materialism and elevated work identity. It's an intense fever there, eg:

https://www.theguardian.com/world/2017/apr/04/china-plans-bu...
Flyover states are what you fly over on the way from Boston/New York/DC to Seattle/LA/SF. It's anything not near the Atlantic or Pacific coast, where the stereotypical maps say "HERE BE REDNECKS."
I remember this kind of approach being proposed for a game debugging tool, and for writing games in a managed language. Basically, everything you wanted to keep or consider permanent was marked or kept in one part of the heap, and everything that was allocated to execute a frame was implicitly thrown away. (One way to do it would be to compact the heap before starting the frame, then use the top of the heap as a barrier.)

I also saw this strategy used in coursework. I was in graduate school, and I had just done the Compiler class the previous semester. My best friends were taking the course, and the professor had concocted a home made leak checker and foisted it on the class, declaring that no program with leaks would be accepted for the final project. It was only a few weeks before the end of the term, and everyone was demoralized. Jokingly, I suggested that everyone just make their own mechanism of the same kind, which would track allocations then release all of the program's allocated memory just before the prof's leak checker ran. As it turns out, the whole class ended up implementing my idea. The test data was small enough, that everyone's compilers could afford to simply leak memory, then release it all at the end. Problem solved.
Maybe, but today's DV PKI is already trusting DNS 100%, since certificates are issued based on using DNS responses to validate the certificate request. If you don't trust the governing body of a specific ccTLD, for example, you are already worse off today - a hostile ccTLD DNS operator could very well arrange to fake DNS responses for the duration of a certificate request?

Maybe it's not so bad to make it more obvious what a fancy .ly or .lol TLD really stands for?
>There are literally thousands of smaller places you can work for/in/with, some of them do pretty cool things.

List them. Especially the ones where you do not need to sudy for several algorithmic puzzles.
Their strategy seems very reasonable to me.

- Duo was a bet that stand alone video chat app would be awesome.

- Google+ found some traction in groups, so that team built Spaces to extend the organic behavior. They could have built Spaces inside another product, but Google prefers to keep risky projects segregated from each other. That way one project failure does not kill the other one.

- Pushing proprietary messaging too hard into Android could anger partners (like carriers who make money from SMS) and raise anti-trust concerns (see recent Android troubles in EU). Because of this, you might want a stand alone SMS app.

- The messaging market is huge, and Hangouts is not that successful (even though people in tech use it). Hangouts was mismanaged, unloved for years, has a huge install base, and has some tricky core/structural/infra problems. This made it difficult to change and iterate on. Someone made a judgement call that it would be easier/faster/better to launch Allo than to extend Hangouts.
Due to visa constraints there literally is no point in doing this.
For me it has to be Apple music because of library. AM has so many Indian songs (90s) library than Spotify. Otherwise the UI and app are awful with AM
soundcloud and youtube are sooooo much better.. Glad u found some hot tracks on Spotify but mannnnnn that is like the facebook of music
Yes but some tools have... shall we say, irregular rules. Tell me how CMake's argument quoting works for example.
It's sad and true. FB messenger is such a crappy thing but google still manages to be worse than it. I think the last time I used a messaging app that doesn't consistently crash and fail on the basics (scrolling, pasting text) was when I used MSN messenger. That was also the last time I could use a single messaging app to message everyone