skysight-inc/HackerNews huggingface dataset:
Same here, I've been using Mastodon for the past 3 months, and I find practically everything works better than on Twitter.

The site loads much faster, and it's more responsive because it doesn't load trackers and ads to monetize users. 500 char limit actually facilitates having meaningful interactions with people. The column UI layout lets you see the timeline and notifications without having to jump between tabs.

Fundamentally, Mastodon is exactly the way social media should work in my opinion. Anybody can run their own instance and configure it any way they like. Since Mastodon is open source and community driven there aren't any VCs driving it, and it doesn't need to monetize to stick around. As long as people want to use Mastodon, it'll continue to thrive. Any features added to the platform are there for the benefit of the users and on one else.

I also think that Mastodon happens to be at the right place and at the right time. Hosting has become very affordable nowadays. You can get a DigitalOcean VPN for 5 bucks a month. Docker makes the installation process a breeze, and Let's Encrypt provides free TLS. You can literally spin up an instance in an hour or so. I wrote a short guide here https://github.com/yogthos/cheatsheets/blob/master/mastodon....

We took a big detour with walled gardens like Google, Facebook, and Twitter. It's time to go back to the original spirit of the internet where anybody can run a server and people can interact with one another on their own terms.
Client-Side NOSql Firebase Realtime Database modeling and management system.

https://github.com/Flatte/Flatte-Web
Google is very concerned about ads that visually block text content. But somehow forcing ads in front of videos on YouTube isn't the same exact thing?

Both force an ad to be looked at before granting you access to the content you came for. I don't get the distinction.
Having been in Seattle for nearly a decade now, Denver is one place that I'd absolutely consider at some point. I love mountains and sunshine, which Denver gets in spades. Having grown up in MT, the mountains around Seattle are beautiful, but never feel quite right to me—mountains should be dry!
Verified by Visa was the bane of my existence, I'm extremely glad it's going away, I rarely see it these days.

It would often just fail and too many attempts would then lock your card just for the final cherry on the shitsundae.
How accurate and complete are measurements across these time periods?

Are more recent periods inherently going to have more hurricanes because we now have the capability to detect more hurricanes? How has measurement changed over the past 175 years?
That's completely opposite of my experience using it for the past 3 months.
I feel like Food Delivery is a place where competition may actually have driven up prices for the consumers. I was gone from SF for two years and when I came back to the same neighborhood, I felt that food delivery became more expensive because of DoorDash, etc.

Places that used to not charge delivery fees now do, maybe because now they realized they could? Or because they have to compete for delivery people. Also, some apps now charge a 20% default tip. It is not rare to get three types of fees on top on one delivery order, even for something simple as a burrito.
No, I'm pretty sure there would be no one to make a claim even if they were.
That is the most intelectually lazy thing I think I have ever seen posted on HN.

Would 'nigger' end your argument on black people?
I used to do that, but I got really sick of making long drives in traffic.
Iroh:Dynamic analysis tool:Intercept,record and analyze JavaScript at runtime
I think not being able to search for <random celebrity> is a good marker of how mastodon is trying to be something other than just a decentralized twitter clone.
I personally find the twitter microblogging model, wherein most tweets seem to be retweets of high-profile users or comments on their posts, quite unhealthy for discussion among equals.
Twitter is essentially a media site, whereas (I think) Mastodon hopes to be something else, more of a forum for actually taking to people. Whether it can work as/if the userbase grows remains to be seen, but I'm cautiously optimistic.
>built into the evangelical left's religion

Sounds a bit straw man to me. Are there any actual human beings that have that position?
It looks counterproductive when it's not demonstrating informal work to be false.

> make it not a hunch

That's not what automation is doing; it doesn't turn conjectures into proofs. It finds mistakes in proofs; those proofs are not "hunches" but rigorous efforts.

Something which finds faults demonstrates is value mainly whenever it finds a fault. (Or at least that is a very easy perception to slide into.)
But nobody wants to move there. I loved my four years in Ann Arbor, but any other metro area just blows it out of the water.
The proof apparently rests on an entirely new (not yet vetted) branch of number theory developed by the proof's author, "Inter-universal Teichmüller Theory". 45-page overview linked:

http://www.kurims.kyoto-u.ac.jp/%7Emotizuki/Panoramic%20Over...
Technology, complexity, anxiety, catastrophe
That mirrors my experience as well. I also find that the 500 char limit makes for much more interesting conversations than Twitter. I've discussed books, games, and programming on Mastodon, and I wouldn't have bothered having these discussions trying to fit my thoughts into 140 chars.
Stonking Deals Forums launched today
Okay, so what? What do we gain from letting Shoppers Drug Mart and Rexall sell pot? The aim here is to provide regulated access, with prices that are low enough to eliminate the black market, but high enough to encourage people to think twice about it.

The LCBO has been playing this role pretty well and the profits go towards quality jobs and government investments for the public good. I struggle to see the societal benefit from gifting the profits to established corportations, providing more product than is necessary (or at a lower price), and letting private businesses make the right choice between effective regulation and more sales.
non-AMP version here: https://electrek.co/2017/09/09/tesla-extends-range-vehicles-...
int main(void)
{
__asm {
mov eax, 123
}
}

// visual studio command line
// cl testc.c
// cl testcpp.cpp
// testc.exe
// echo C %errorlevel%
// testcpp.exe
// echo CPP %errorlevel%

Indeed. It's a C99 thing.

For those not familiar with MSVC. The C compiler is not C99 compliant and the C++ compiler is.
I am not "disproving" the scientific study. One study isn't proof of anything; it's just one entry in decades of academic dialog. I am pointing people to more of that dialog.

And no, I don't have to do better than that. It's not my job to argue some random anonymous dude into understanding sexism. The people who want to understand the topic will do the work of contextualizing that one study.

Those who never really wanted to understand, like you and the anonymous dude who tried using that study as a trump card, will go on with your opinions no matter what anybody tells you.
Assimilation has been attempted by many conquerers and would be conquerers. But the one most successful in fueling the merger of culture and consciousnesses has been the internet. Tech industry adapts and adjusts for its customers way faster that classical government. So a hybrid governing structure would be a nice start.

Other thing would be to reduce loyalty to any particular symbols. "My country" "my people" etc. We'll collective move as organism.
I'm not Italian and have limited knowledge of the true traditions and broad relationship with food. The Netflix show "Chefs Table" featured this restaurant and spent some time exploring the local suspicion when the restaurant transformed.

Was it sensationalizing it? I'm not sure.
> gay employees can't get married

Is this still true? I thought the Supreme Court decision applied to the whole country?
> Adams has studied all the tricks of how to manipulate people

There is more than "tricks" to effective communication. THIS is Milton Erickson's insight, and this was what my comment was about. 'Tricks' were all Hillary Clinton had in her linguistic arsenal (ex: calling Trump 'dark').

You ignored my whole comment, and just compared El Presidente to a 'pick up artist'. (The premise of that field is the lesson I had to give to one of my female passengers one night, about the 'difference between boys & girls': http://www.taxiwars.org/2016/02/the-difference-between-boys-... - women get to take their pick of potential suitors, whereas men have to market themselves effectively. Sometimes men resort to using linguistic 'tricks' to get women into bed. Women would be well-served by being able to recognize the language patterns that are sometimes used...)

"If the definition of insanity is repeatedly doing the same thing and expecting a different result, then that's exactly what Clinton was doing in this campaign. There was zero evidence from the Republican primary that a traditional campaign would work against Trump. But she ran one anyway. Why?" - https://amp.cnn.com/cnn/2017/09/06/politics/hillary-clinton-...

Your New Republic article is from 2015, which was before El Presidente steam-rolled the republican primary field. Do you have anything newer?
Gay marriage has been legal in all 50 states for 2 years now
Eric Benson claimed that this was added for Lucid CL:

https://compilers.iecc.com/comparch/article/91-04-082

> Yes, the tagged arithmetic instructions were put in the SPARC architecture for Lucid Common Lisp.
How is your product different from the regular dashboard?
Yeah, try being here. The view is interesting.
People are seriously considering Mark "The People's Privacy Champion" Zuckerberg for president?

http://www.businessinsider.com/well-these-new-zuckerberg-ims...

>Zuck: Yeah so if you ever need info about anyone at Harvard

>Zuck: Just ask.

>Zuck: I have over 4,000 emails, pictures, addresses, SNS

>[Redacted Friend's Name]: What? How'd you manage that one?

>Zuck: People just submitted it.

>Zuck: I don't know why.

>Zuck: They "trust me"

>Zuck: Dumb fucks.

I suppose the 2020 edition of this would look like this:

Zuck: Yeah so if you ever need info about anyone in the United States

Zuck: Just ask.

Zuck: I have over 320,000,000 emails, pictures, addresses, SNS

[Redacted Friend's Name]: What? How'd you manage that one?

Zuck: I became the president.
Feeling stuck on the corporate ladder? Work on your interpersonal skills
I find that 500 chars limit is enough space to express ideas, and facilitates meaningful discussions around them.
"Ecological usefulness" appears to be shorthand for a measure on a species' critical interconnectedness. That is to say, the magnitude of the impact on other species a particular species' removal would have. If you knock out algae, you wipe out many ocean species. If you knock out certain mosquitoes, you may only jinx malaria.
It seems that discarding your community once you have made enough money is trending.
wait for the third party confirmation of their results.

papers with findings exactly like this one have been found to be complete and total fabrications numerous times over the last few years.
If you value equality for its own sake, you're likely a computer scientist or mathematician.
"Avoiding the stem cell phase eliminates ethical concerns raised when producing what are called pluripotent stem cells, which are similar to embryonic stem cells in their ability to become all adult cell types."

Wait... what??? Why is this even remotely a concern?
I think the climate might be more favorable today. People are starting to realize that walled gardens have serious drawbacks, so there's more interest in decentralized solutions.

Conversely, hosting has become much cheaper and easier than before. You can spin up a DigitalOcean droplet for 5 bucks, get a Let's Encrypt cert, and spin up a Mastodon Docker image in an hour or so. The barrier to running an instance is very low nowadays.
If you truly don't care about not everyone having equal wealth, then an increase in the division ought not bother you, either.

Would you say, "I don't care whether public buildings and fixtures are clean and free of damage or not; I'm just concerned about any increase in vandalism."
It is very hard to understand what it is like in situations like this, but this was a vivid account.
The person you're replying to may be referring to the fact that DSM-5's diagnostic criteria for Autism Spectrum Disorder exclude a large number of people who would formerly have qualified as having Aspberger's Syndrome. TFA also talks about how some prefer to keep the AS label vs. ASD.
Just look at how alcohol is taxed. This is a solved problem.
> Money is the power to choose.

OK. So if it's not about justice broadly but about economic liberty specifically, that's fine. Then the conversation is about which economic liberties are due and how much those would cost.

A popular one is "People shouldn't have to lose wealth or gain debt because of health problems". That's an admirable goal, but taking all the money from the top 1% won't result in free universal health insurance for long. That approach still seems like it's reaching for something else.

You seem to be making a more upstream argument, though. That U.S. (and Western?) markets are structured to favor the wealthy, limiting the power of markets to reward the poor and working class for good choices, hard work, and so on. That's a great point to consider, but what approach would create a level playing field?
I'm currently working in parallel through fast.ai (practical programming) and Michael Nielsen's Neural Networks and Deep Learning ebook (basic mathematics behind NNs). I find that they complement each other well.

The Nielsen ebook: http://neuralnetworksanddeeplearning.com
Simpler in terms of not handling retail operations directly. More complicated as now you have to employ an army of regulators to make sure the regulations aren't being skirted in favor of higher sales numbers.
If you take a look at the original blog post upon which this article is based, they list exactly which companies they include in each category:

https://www.earnest.com/blog/food-economy-spending-data/

"Brick-and-mortar includes Publix, Whole Foods, Kroger, Safeway, Trader Joe’s, Costco, and Albertsons. Grocery delivery includes Instacart, Fresh Direct, Foodkick, Amazon Fresh, and Thrive. Meal Kit services include Blue Apron, Hello Fresh, and Purple Carrot. Prepped meals include Freshly, Thistle, and Munchery. Restaurant delivery services include Ubereats, Doordash, Seamless, GrubHub, and Caviar."
you could use montecarlo to search for an effective compression of the input data. That's Singular Value Decomposition if I'm not mistaken. Dimensional Reduction is a hot topic in coding theory. Optimaly, understanding of the biologic process involved would certainly help here. DNA is thought to be higly compressed and self modifying, so a smaller encoding is unlikely. Therefore, seperation of the DNA sequences involved in the effect under scrutiny might fail on the possibly highly random inputs without good techniques and heuristics. Effectively, pre-processing could involve recompilation and all the techniques used in software analysis, only then live debugging is to be taken literal.

Reduction to spectra can be used to achieve sparseness, that cover the error margin with probalistic precission including invariants and the mentioned external factors, maybe also data aquisition errors from cost effective (read cheap:) methods.
I would be interested in the technique you used to do this. specifically, how did you get your code to kick off and check on module load?
This format is the best for low bandwidth access.
Monkeys want fairness too - I stuck up an amusing edit of Frans de Waal demoing that which got 400k views to my surprise https://www.youtube.com/watch?v=-dMoK48QGL8
Because although a social justice warrior can accept that a society in which some people are rich can be fair, he or she cannot accept how unfair it is that he or she isn't one of them.
Yes, bad example.

See here:

http://calculatorauthority.com/why-use-a-reverse-polish-nota...

>For example, we want to compute “(13+3)÷(4×2)” using a calculator of algebraic notation (not a scientific one) then we have to do many steps to reach the answer. Firstly, we have to compute “(13+3)” and then we will save the answer to the memory of the calculator. Then we have to compute the calculation in the denominator i.e. “(4×2)” and we have to save this answer too to the memory of the calculator. In the end, we will bring both the answers and will perform the last operation of division. This procedure has taken a reasonable amount of time. This thing can be avoided by using RPN calculator. In RPN calculator, we have to insert just a single line expression as “13 Enter 3 + 4 Enter 2 × ÷” and the answer will be computed instantly.

More generally the use of a stack (in the case of some calculators an actually visible stack) helps a lot with complex formulas.
When I was growing up my mother did one major shopping trip a month. And she cooked every meal for the family - we never ate out.

We ate a lot of frozen meats and vegetables. Even bread stays fresh if you freeze it.
> ... a peculiar, fascinating physical appearance, with “finely boned features,” of “almost aristocratic appearance”

Is this referencing the mild physical androgyny observed in many Asperger patients, or just Hans Asperger suffering from a small sample size? I've never seen this symptom described elsewhere before.

Regardless, an interesting overview of the state of the field. I had no idea physical clumsiness was so central to the diagnosis in so many systems and for so many years. Poor social skill, need for sameness, but bad motor skills was never something I considered so core to being an Aspie.
> What I think people mean by equality is that it should not be possible for an individual or group to obtain some overbearing degree of dominance over another individual or group.

I think this is the crux of the issue, and money most often is just the most relevant and quantifiable measure of that.
That is an excellent point. The future is mechanical proofs. Which will bring tools for proof search, proof refactoring, proof minimization, proof navigation, theorem generation. We'll be able to tackle _much_ harder problems, while still being able to get the gist of it.

Sometimes I'm saddened that this future may come slower than we'd like due to imperfect funding structures. But I've grown a lot of patience over the years :)
Show HN: Fantasymath.com – math based, matchup specific fantasy football advice
Been working on this all offseason and wanted to post here with the kickoff of the NFL season.

www.fantasymath.com

In FF, the goal is to pick a lineup of players that outscore your opponent's lineup. In real life, these players are often the same team/playing each other, and so their performance is correlated (e.g. a QB throwing to a WR). The fantasymath.com model takes these correlations into account in order to give you a slight edge when setting your lineup (apart from that, the rankings are basically the "fantasy consensus" or wisdom of crowds, set to distributions).

Do everything on this myself. I'm a modeling guy by trade, and had to learn all the back and frontend stuff myself. The frontend is React + Redux. Used the React framework Grommet, which I really like.

The backend is in Flask and Google App engine. Other really helpful things were Auth0 and Stripe.

Audience is hardcore Fantasy Footballer's who are mostly interested in whatever edge they can get, so charge $40. Have a decent amount of subscribers, but definitely not enough to cover time spent (which is OK! have learned a ton).
The data here seems highly suspect, every other analysis I've seen puts Uber eats at a much larger market share than 0.1% of the market.
This has been top of hackernews all day. Funny how as we move further and further into the future, developing all these interfaces as we go, we still can't beat a format that has been here since the beginning.
I wish you the best, and I hope you and yours make it through totally unscathed.
I wouldn't be surprised if more than few executives at Amazon were LDS and pushing for it (same is true at most Seattle tech companies).
They should probably break it up into more manageable pieces. Maybe by starting with Frobenioids?
I don't see these approaches as necessarily opposed. It seems like in principle, formalizing a proof and verifying that it doesn't have any errors could be a preliminary step towards understanding it? (Though in practice, perhaps this is overly roundabout.)
Make Your Android Project Pop with Remixer by Google
I've only spent limited time in Tokyo and was probably hunting for Japanese specific food so my observation is likely biased by that.

But yeah I think you're touching on my point which is there's just much more breadth in NYC.
Manchester’s hilarious attempt at reinventing London’s Oyster Card
> When most of us progressive types speak out against "economic inequality", we are not saying we want everybody to have equal wealth.

Someone made the choice to use the term "inequality" and it was remarkably clever because it has a builtin foil. When people object, proponents can say "well of course we don't mean no inequality at all." This is what weaponized rhetoric looks like.
My introduction to programming was a 49 step programmable HP-25 which I borrowed from a friend in residence back in 1978, and subsequently just had to have one ... RPN got me interested in taking a FORTRAN course, and the following year I became an undergrad tutor and computer room assistant ... From lunar lander, to star trek on a mainframe, to a career in software development ... funny how career trajectories work ...
Like this one I get every now and then across all of their services? http://i.imgur.com/f5NS6GQ.png
Make it opt out/default behavior.
It's text-only when you use http://thin.npr.org
>"If nobody understands a mathematical proof, does it count?"

Just wait until general AI really kicks off, then all of new math will be like that. It's not that humans are bad at logical thinking, our weakness is memory. That won't be the case for an artificial agent with instantaneous perfect recall of everything it has ever seen.
Exactly, you need to rely on universal truths rather than symbols. The article has an example very similar to yours. They picture a man next to a small tree when he is exposed to the radiation, and then collapsed in agony next to a larger version of the same tree.

They additionally convey a "contamination" of radioactivity that stays with the man over time.

http://www.wipp.energy.gov/picsprog/articles/WIPP%20Exhibit%...
>I've personally modified thousands of e-mails with the ">" symbol; it's called replying. That, per se, has nothing to do with fabricating an e-mail; why mention it?

I read it as "I.F." making it look like something the author wrote was the author quoting "I.F.", or vice-versa.

For example,

From: John Doe <johndoe@gmail.com>
The meaning of life is 42.

becomes

From: John Doe <johndoe@gmail.com>
> The meaning of life is 42.
Thanks for the help!
You are committing a major logical fallacy here, in assuming the initiative and use of capital to create products and then choosing to extract profits after taking that risk are independent events. Profitable goods often will not exist at all unless they are profitable. (Consider in an extreme example, pharmecuticals.)

You are also mixing up margin and market clearing price. The market clearing price includes profit. Just because a product is profitable that doesn't mean there are any inefficiencies in the market. On the contrary the price a market will bear for a product prices in profit insofar as there is a lack of supply to meet demand. Market inefficiencies come about due to illiquidity, regulation, abusive monopolies, etc, not simply because someone is making a profit.

You can't just imagine up a world where enterprises sell with zero margin -- in many cases the alternative is the products just simply wouldn't exist. This alternative reality is much worse for consumers.