skysight-inc/HackerNews huggingface dataset:
Differentials can be done rigorously simply using variables, as Cauchy showed us 200 years ago. This is done in Stewart (standard undergrad textbook), in addition to the limit/derivative approach and he freely uses them in proofs and derivations throughout the book when they are more convenient.

As the article discusses, the difficulty in treating differentials algebraically is how higher order derivatives behave. This problem exist in Robinson's nonstandard analysis as well, and the authors of the paper point this out at the end of section 2, along with examples in the literature. The substance of the article is improving the notation of differentials so that the actual algebraic properties of e.g. the chain rule appear sensible.
also no chapters, makes it difficult to read in chunks
The tactile experience of a desk phone has many benefits. You can transfer/hold/merge calls without looking, even building up muscle memory for it. The speakerphones are often louder then a cell phone would be - and if you need some privacy, the phone is big enough to hold against your shoulder should you need to type.

You can also see who else is on a call if the system is set up for it. (Feature or bug? The jury is out...)

It's also nice at a big organization when they have tons of their own phone numbers and you can just dial 4 or 5 numbers within the company.
The twist x{d} is even as soon as d>0.
C and C++ programmers could benefit from this. So many times I had to explain an error message or problems that would be obvious if they knew how it worked.
Very very small suggestion: its not very expensive to register a domain and have it redirect to the github pages; might make it appear somewhat more polished.
Pond Mobile Business
Pond mobile Business is a premiere international operator, offering exclusive mobile services to businesses of all sizes and industries. We help your team stay connected anywhere in the world.

Pond mobile Business provides a fully tailored customer experience that completely changes the way you view global roaming. No more missed connections or hidden charges - your business deserves the most cost effective mobile solution.

Contact one of our tier 3 certified agents now and get a solution to meet your business needs perfectly:
From the United States: (866) 587-7784 or 611 from your Pond Mobile Handset
From outside the United States: + 1 (908) 517-5556"
Ok, while we're at this, I think that the most important part of the post was this:

> Edgestore data was already well-collocated, which meant that cross-shard transactions ended up being fairly rare in practice—only 5-10% of Edgestore transactions involve multiple shards.

What if performant cross-shard transactions is a red herring, and the thing that we should be looking more into is reliable automatic data colocation to avoid performing cross-shard transactions as much as possible? There's decent amount of academic research around this, with projects like SWORD [1] and Schism [2] that study shard load balancing as a problem of hypergraph partitioning. It seems like this might be worth incorporating into commercial distributed database projects.

[1] http://www.cs.umd.edu/~amol/papers/edbt13.pdf

[2] http://www.vldb.org/pvldb/vldb2010/papers/R04.pdf
>nobody cares or wants this to a certain degree, compared to a better battery life

Then why do consumers constantly praise thinner phones, and continue to purchase them? I think you're mistaking what you want and consider a good choice compared to what everyone else actually wants and is willing to support.
I always explain that Workflows should be thought of as a fancier version of Kubernetes Jobs. Some of the killer features, IMO, are with artifact management and control flow (e.g. loops, conditionals, parallelism).

So far, our most common use case has been in the machine learning space. One of the biggest problems it can solve is the ability to leverage a Kubernetes cluster as an auto-scaling compute grid for all forms batch processing. We've been working closely with ML teams at various companies, both large and small, and many of our features were implemented to address the ML use cases (e.g. DAG support, loops/step expansion, step aggregation).

With that said, Argo got its start trying to address the CI use case, so we also feel like we handle that one pretty well.

The workflow controller has always been intended to be a lego block to enable higher level applications to be built on top of it.
I think the best argument the author could have made is an example. If a proposal like this cannot be illustrated in an example (like it can be done for REST or GraphQL), it's likelihood of adoption is going to be low...
Energy efficiency! Our brains vastly outperform existing hardware while using less energy and producing less heat. Once we understand more about what makes them capable of that we will be able to push hardware well beyond its current thermal-related problems.
And what has she suggested?
It truly boggles the mind when some kids from Berkeley (or Montreal, as the case may be) start telling people who actually lived it that it was all some "cold era Western propaganda" (whatever the hell this is supposed to mean).

Will you tell us next that Holocaust is just some Zionist propaganda?
Forgot Partiko (partiko.app). Easily the best way to interface with the steemit blockchain on mobile, hoping they add more blockchains in the future!
Failing to save for predictable maintenance is a scourge on humanity...
The theory of innovator's dilemma ignores one of the fundamental issues in today's computing world. And that is software lock in. I think we are only just starting to see good enough products that are cheaper. Huawei, OnePlus, Xiaomi all have better software than Samsung, and arguably better design and hardware at similar price range as well. So it remains to be seen whether innovator’s Dilemma as a theory is wrong. All the three companies are only just setting foot in Europe and need a few more years to play out in other parts of the world.

Another thing is that there has never been a company that sell premium products and got 20% of unit sales market share and even higher in usage shares. At least I am not aware of. Apple may very well be the only one in history. And the unit sales, combined with high margin has allowed them to constantly innovate. The original theory behind innovator’s Dilemma never expected the innovator has such high margin and high sales.

And I think it is one reason why Wall Street has low valuing Apple Stock. They have never seen it, there are no case studies in all the text book.
What does "to have a number" mean?

A program isn't a black box. The number specified (in binary) by this program

emit "0."
loop forever:
emit "110"

is both rational and contains more 1s than 0s. You no more need "run the program forever" to determine these of the number it presents than you need to perform an "infinite amount of long division" to determine it of the number presented by 6/7.
You're joined by Akerlof & Shiller when you claim:

>Humans aren't rational actors. We're emotional creatures of habit who are highly susceptible to advertising

Adbusters would agree with your claim that:

>we should just make it really expensive, and disallow any forms of advertising. That means besides no TV, no magazines, no billboards, no visible smoking anywhere in media, not visible on shelves on any store anywhere, etc.

https://www.amazon.com/Phishing-Phools-Economics-Manipulatio...

https://en.wikipedia.org/wiki/Adbusters

https://www.google.com/search?q=site%3Athedailybell.com+adbu...

https://www.google.com/search?q=site%3Amises.org+shiller

https://www.google.com/search?q=nobel+prize+in+economics+fak...

Your comparison of a farmer owning chickens for profit/consumption to a government benevolently lording over citizens is illustrative. For the sake of being explicit, I don't think humans should be regarded as chattel. If you find this an apt comparison, we may have to agree to disagree. Thanks.
A while back I was experimenting with something akin to "syntax highlighting" with sound instead of color. The idea is to play different tones/noises depending on where your cursor is located in your code. Rough proof of concept that you can try out: http://marycourtland.github.io/AuralJS/

This was just a fun experiment - I'm not blind or visually impaired - but I imagine that the concept could useful for programmers who depend on screen readers. It could be simplified as well; e.g., adjust the pitch or timbre of the voice depending on the nesting level of code.
Thank you. We didn't submit the post, but we actually have https://argoproj.io which redirects to the argoproj.github.io page. Actually we've been meaning to take advantage of GitHub's custom domain so we can drop the github.io entirely.
These are good places to start exploring.

MOOCs:

https://www.edx.org/course/architecting-distributed-cloud-ap...

https://www.edx.org/course/reliable-distributed-algorithms-p... - Part 2 contains all material from part 1 and part 2.

Books:

Big Data: Principles and Best Practices of Scalable Real-time Data Systems

Designing Data‑Intensive Applications

Programming Models for Distributed Computation

There are assignments in Go and other course material at MIT distributed systems course: https://pdos.csail.mit.edu/6.824/

https://disco.ethz.ch/courses/podc/ has some good lecture notes as well.
Cascade: A Just-In-Time Compiler for Verilog
Dropper posts was such a game changer for me. Redefined my riding, even more so than full suspension or disc brakes, I think.
If property taxes and homeowners insurance jumped for your home by that much, they probably also jumped for the owners of the rental property you would have alternatively been staying in. The landlord would have passed that cost on to thier tenants. So you still have to worry about that and them raising the rent at the drop of a dime.
REST aligns _very_ well with CRUD. Most software is, basically, CRUD.

So by saying "we're going to go with REST", you can determine about 90% of your API design more or less instantly, and it rarely gets in the way.

You still have to get your domain modeling right, and sometimes you need to make some extra resources. But you have a design that, basically, works.
Specifically (if wanted standalone) https://github.com/kisielk/errcheck
Man I am so confused. How is 28% reduction in heart attacks and 77% for african american men "negative" for both cancer and heart disease??? Am I missing something? Those results seem HUGE. Right?
"Well, that's what I heard!"
I would love to see Crazy Climber. Excellent game.
I'm betting on Jai.
By the way, you can also generate CSS using e.g. Python. No need for yet another domain specific language.
But a bit odd that running it on Windows requires WSL + an X server. It's built with Qt, should be easy enough to make cross-platform.
Well, the FSF defines "“proprietary software” as synonymous with nonfree software."[1] But that's kind of a cop-out answer.

"Proprietary" means that the copyright holder retains certain rights, rather than granting the rights to the recipient. In the case of the Commons Clause, the rights that they retain propriety of are the rights to commercial use.

[1]: https://www.gnu.org/philosophy/categories.html#ProprietarySo...
Protesters in Germany using the Nazi salute changes the conversation
Back in HS I worked at an amusement park for a summer. On a busy night, if I closed the booth, I'd be walking out the park's employee exit around 2am, through a somewhat busy and not-very-well-lit public area of the parking lot, and across to the admin offices with 30k+ in a plastic bag. That was not an uncommon amount for most of the non-token booths, and having 16-18 year old kids carrying it out of the park to the admin building was also common, since that was most of the park's work force.

I'd guess the "college girls carrying 40k in cash in a backpack" were employees carrying cash out from whatever business/booth they were running and taking it to their bank or head office or whatnot, and the "off-duty" cop behind them was there acting as a security guard; since that's a somewhat common side gig for cops, and in may places, they're still given all the power and authority an "on duty" cop has.

I don't get the connection to the weed (legal or otherwise, it has never been an interest of mine), but perhaps it explains the other bit.
Makes me think that we've already made the same mistake with fossil fuels and climate change :/ (Tangible benefit: material wealth and prosperity. Theoretically valuable: a balanced ecosystem)

(not to start an off-topic discussion about that, but just an observed parallell)
"maybe a form of Lisp (why not Common Lisp)."

Yes, a Lisp-like language could do it. Why not Common Lisp? Because PreScheme and ZL were both better if we're aiming at C's niche:

https://en.wikipedia.org/wiki/Scheme_48

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.40...

http://www.schemeworkshop.org/2011/papers/Atkinson2011.pdf

http://zl-lang.org/

I was looking for a way to do metaprogramming, verified programming, LISP-like programming, and low-level programming. Past few years of searching led me to a lot of verification stuff obviously, PreScheme for low-level Lisp, ZL for Scheme/C, and Red/System for a REBOL-like answer. I was eyeballing Nim, too, since the masses usually hate LISP's syntax. Then, I thought a front-end that let one go with various syntax's, esp inspired by famous languages, with the same underlying semantics or just easy integration.

On a practical note, I noticed that strong integration with the dominant language with little to no performance hit is extremely important. Clojure building on Java in enterprise space is an example. It reuses it's ecosystem. For system space, I started recommending using C's data types and calling conventions where possible in new language so calling it would cost nothing. Then, maybe an option to extract to C for its compilers. So, whatever above languages are created need to integrate with C really well.
In my opinion the biggest issue with meds, supplements, and health studies in general is that it's an n+1 issue. All humans are unique individual cases.

What works great for one person might not work for the majority. This doesn't mean a particular remedy or supplement should be cast aside.

Here is an example of where I wish the "health industry" would move:

https://leapsmag.com/how-bacteria-killing-viruses-may-save-u...

https://phagesdb.org/

https://en.wikipedia.org/wiki/Phage_therapy
Not WASM but also an equally fun target: https://scratch.mit.edu/discuss/topic/282269/
If anyone is wondering why the study results are being framed as "disappointing" to major media outlets, take a look at the disclosed financial conflicts of interest document. Lots of mysterious "consultant" fees paid out by major pharmaceutical companies who have an obvious incentive to bash any natural alternative to their drugs.

Also, the "placebo" used here was mineral oil, which has many known health benefits. Why not use some type of sugar pill? Talk about tipping the scale in favor of big pharma's desired results from the beginning. Past similar studies on fish oil (funded by big pharma) have even used an olive oil "placebo", which skews p-values even further. Imagine a weight loss study that told the placebo group to start running a mile everyday and eating healthier food....
Feel free to email at evan@tryplainjane.com if you or your uncle would want to try some of our products.
Do elaborate on this analogy
Lightning is available now. The 18 months meme was regarding when it wasn't.

If you want to perpetuate that criticism, you'll need up to date arguments: Lightning is cumbersome to use and impractical because of the requirement to run a personal full node to connect to AND your device running the payment channel needs to always ben online for the duration of the payment channel. "Watchtowers" solve both of these issues, and they have not proliferated yet.

Yes, this isn't about what you need right now, use cash or a financial network using intermediaries. We are operating on different time frames and most forward thinking things we are talking about are on that time frame. Nobody in this movement is perturbed by your astute observation that it isn't available right now, nobody is saying "well pack it up boys, stale2002 can't be accommodated, shows over"
Would those billion immigrants to England be made out of straw perchance? This is not a strong argument for a rational basis to oppose immigration. Further your original claim that you are not opposed to the immigrants for cultural or racial reasons is undermined by your repetition of the phrase "uneducated third worlders". It is not the case that third world persons are inherently uneducated. Further, specifying "third world" is itself culturally or racially motivated. It is hard to believe the that you are arguing in good faith and not merely seeking to disclaim the cultural and racial basis of your prejudice.
There is really no software lock in. Very little money is spent on the traditional idea of buying apps. Most people are either paying for services that are available for both iOS and Android (Netflix, Hulu, etc) or are paying for consumables for games.

As far as purchased media, music has been sold DRM free on iTunes for almost a decade and you can transfer most of your purchased movies between iTunes, Google, Amazon, and Vudu using Movies Anywhere (completely legal).

Most consumers in the US don’t pay for their phones. All of the carriers offer zero interest payment plans. The difference between a $300 phone on spread between 24 months and $1200 phone spread over 36 months (not a type. T-Mobile is offering 36 month financing on some high end phones) is a lot easier for people to stomache.
I had to support a SOAP-based API (PayPal v1) and it was horrific.
No panties hahhaa
I'll repost an old comment of mine:

"The scariest part to me about cryptocurrency is not the greed, lies and manipulation. It's a centralized cryptocurrency by a major government. Imagine if instead of cash, you had to pay for everything with a digital currency controlled by the US Govt. It'd be all the immutability of cryptocurrency with the monetary policy of the Fed Reserve. I'd bet the IRS and NSA would love the additional data."
Redesigning Hawaii’s Emergency Alert System’s Interface
https://youtu.be/lqDhWTgOAiY

Captain is handed a manual when plant life is discovered. Took him a second to stop talking to the book and start using his hands on the pages. It was a pretty quick scene, but humorous.

Side note, the Wall-E short is great and one of the best Pixar shorts, imo.
Stop. Is this really how far we've come with science worship? You can take some things for granted.
Interesting. Is it a dapp? If so, please do submit it to Dapp.com:)
Under poaching pressure, elephants are evolving to lose their tusks
That won't corrupt the DB. It might corrupt the heap of your current process, but the DB won't be harmed.

C doesn't have destructors. If you free stuff in the wrong order, you lose. That's nothing to do with LMDB's API. Even if LMDB cleaned everything up internally, you'd still have dangling pointers in your app space. No language or API can prevent that.

The only thing you can do in the API that might possibly corrupt the DB is to use MDB_RESERVE and then store a value bigger than the space you reserved. That generally causes a SEGV, and you'll discover very quickly that you have a bug in your code. LMDB will fail fast, every time, and every failure will be a bug in your own code. Makes debugging very quick.
Personally, I like my linter output in the style of a furious fruit salad, so I go for the kitchen sink.
Docs have been updated and linked to in the getting started guide:
https://github.com/argoproj/argo/blob/master/docs/workflow-r...
Thanks, I really appreciate that (the message, not the upvote).
Thanks. We've updated the docs to outline the bare minimum set of privileges.
I do see caliper breaks and cantilevered centerpull. These are now quite expensive and if like me you are buying a commuter bike, disc is the way to go.
This title was confusing, the terms "exploiting" and "attack" made me expect another Hyperthreading-related security exploit (though the paper is actually a performance optimization)
I don't think you really mean golang.org/x/tools/go/loader or golang.org/x/tools/go/packages are literally undocumented; simply pasting the URL gives you pretty detailed godoc for both packages. Rather, there is no official "how to load Go packages guide" pointing to those packages, and tool developers probably discovered those only by reading other source code.

FWIW, the .../loader package is explicitly documented as experimental. The .../packages has a deadline of 1 Dec 2018 for breaking changes (both info found in their respective godoc)
I got a new b17. It's still as tough as cement. I'm hoping it moulds to my bum bones before my bones break. My old one was a delight.
For Autistic Boys, the NYC Subway Is Actually Soothing
Another one. It used to be impossible to spend more on a bike than a car. I have a friend who admitted his wheels cost more than another colleagues secondhand car.

Carbon fibre does that.
It's essentially aleph 0 / aleph 1. Aleph 1 is so much larger than aleph 0 that this equation "equals" zero.

The real problem here is that this equation doesn't really make any sense: You can't divide infinity and expect answers that make sense in ordinary language.

So you can have an infinite number of curves of rank > 1, and yet there is 0% chance you'll come across one by accident (since you'll need to sample an infinite number of rank <= 1 curves in order to do that - but of course, you can't, there's an infinite number of them).
Not just the munchies and appetite effects?
Is the controversy here that the Commons Clause piggy backs on top of existing free software licenses and thus could mislead users to think that software using it is free software when it's in fact proprietary by their definitions?

As a part-time independent developer of software myself, I personally find the combination of a free software license + Commons Clause to be very compelling. I'm willing to grant to the user every right offered by free software licenses with the exception of rights to commercial use.

If that means my software has to be labeled as proprietary by the FSF, so be it, but at the same time I'd prefer not to mislead users into thinking my software is being offered under a vanilla free software license.

Is there a proprietary license I can release my software under, with the properties of a free software + commons clause license, that doesn't run the risk of misleading users? If not, I'll likely continue releasing my software under a free software + commons clause license, along with some kind of disclaimer above the license section in the project's readme.
Microsoft Breaks Down Windows Phones Because Who Cares About Them Anyway
Can you share some references. See my comment on this page here: https://news.ycombinator.com/item?id=18425019 Thanks.
We can do that here in the Mid-South, too. Got a story you might like. The customer, service desk which allows some cash back for free was packed. So, I had to go to register with something to buy. I tried to minimize the cost overall for a $500 withdraw at a company with $100 max per transaction. I hit their self checkout. I did five orders on the machine each with a single grape. Each order was one cent plus $100 cash back. Total transaction cost was five cents.

Self-checkout person was going "what the hell?" on that one. I also heard her talking to others about being hungry from break being delayed. I gave her the grapes after explaining what I was doing. She was happy, too. Probably did it herself at some point haha. Cashiers trip out to this day if I tell them about that whenever someone is buying a candy bar or something to get cash back. Occasionally, person in line leaves to get a grape. Just one. :)