skysight-inc/HackerNews huggingface dataset:
Too many emojis, or I would use this.
What's that banner at the start of the demo? That part as good.
Since this is how gradual typing works, the goal is to annotate every last function.

Good question about abstract base classes! Paraphrasing a well known cliché: types in functions should be forgiving in arguments (what the function accepts) and strict in return values (what the function emits). In our case, the human reviewer needs to decide if the argument types collected by MonkeyType should be generalized. In fact, the collected types might not even work in all cases and the type checker might complain. It's because annotations describe "what should be" whereas MonkeyType finds "what is". This is why a system like MonkeyType shouldn't even attempt to use abstract base classes in place of concrete types that it collected.
An encrypted sparsebundle in a Dropbox.
Thanks for pointing out, would have overseen the hidden comment - it gets harder and harder to read insightful news and comments here, as they get hidden/flagged for no apparent reason. (Maybe limit the system to upvote-only, it works for other sites.)
> 30% of base?

From various data points I have, average is around ~33% post-tax, 22% pre-tax of base.

> Consider how much of the pay of well-paid big Corp talent goes to real estate rentiers in the Bay Area.

For sure, it's a lot - but when all these high payed folks have such high value of time, housing in areas near work/fun places are going to be bid up.
While I agree it's likely motivated by greed, there is a legitimate reason too: GeForce cards simply aren't made to be run 24/7 in high density server environments. Put 200 of them in a rack and have them running inference or training 24/7 and I suspect you'll see them drop like flies. Tesla cards are explicitly designed for endurance.
Microsoft Surface Book 2 15-inch Review
Why not just...

whois example.com

Or is this also intended to be a domain discovery tool?
Isn't that possible though if the fluid isn't a closed system? (which it probably isn't)
Not having a political agenda is having a political agenda in favor of the status quo.
3x the double gives 6x.
Yesterday.
I'm surprised people actually trust their browser encryption. All it takes to decrypt is for a government to ask for your ISP's reverse proxy logs or acquire a bunch of root certificates.
Facebook is different. Their leadership has clearly aligned with the Republican party on an operational level. Remember, Zuckerberg gave King Bush the Second his first big public engagement after his retirement. People who support Democrats may use the machinery of Facebook, but when Facebook wants steer the machine, they steer it, ever so slowly and quietly, toward Lakoff's strong father, and away from his nurturant parent.
Do "we" have the budget to do that?
>(i.e. matrices of compatible dimensions)

What language do you use where you can get these kinds of guarantees? As far as I know very few languages provide those kinds of dependent types statically.
Getting Problem in Accessing the RCN Mail from Your Computer?
Note: my C++ is extremely rusty.

Right now, I think that's approximately,

vector<tuple<int, string>> output;
transform(
somelist.begin(), somelist.end(),
back_inserter(output),
[](const auto &f) { return make_tuple(f.weight, f.name); }
);
sort(output.rbegin(), output.rend());

Ranges, I believe, would reduce this a lot, possibly even to a single line. If I am reading the docs on it correctly, something like,

vector<auto>(somelist | view::transform([](const auto &f) { return make_tuple(f.weight, f.name); })) | action::sort;

I think.

Two notes, however:

1. I feel like most of the desire for a static language is to know what type something is. Is C++ exactly as brief as Python? No, as I think you've demonstrated. But I think you're a lot more likely to know the type of something. Rarely do I think I find that Python has annotations, and annotations can be wrong.

2. C++ is, in general, I feel, much more explicit about where copies occur. I elided one of the copies in your example, opting instead for an in-place sort (but this is trivial to fix in the Python).
Reminds me of a similar tool I wrote some time ago that checks if a given name is taken, but on every top level domain:

https://github.com/jomo/tld_checker
When you're shooting for one company to return 100x your investment per fund, a 2x difference in cost to get the best possible environment for the company you're funding is worth it.
Does this apply to just the GeForce app, or the drivers themselves? If it’s just the app you can always manually install drivers.

And how does it affect Linux kernel drivers?
Bitcoin solved the byzantine generals problem.

That is a brand-new invention. It enables you to achieve distributed consensus in all kinds of problems.

The problem space is vast, and any new solution is worth not underestimating. It's hard to predict the future: http://tlb.org/#predictions

July, 2002: CDs and DVDs compatible with today's will remain the most common way to buy or rent music or video through 2020.
They specified that this doesn't apply to blockchain mining.
What's wrong with mceliece? Quote secure and post quantum.
Templates, auto, and type toys can give you some serious build-your-own syntactic sugar:
https://repl.it/repls/PleasingLovingQueenslandheeler

Pulling things out of tuples isn't great, though.
The cryptocurrency market is now doing the same daily volume as the NYSE
Sorry but I refuse to use node based cli applications. Not trying to be overly negative, just frank.
What are the equivalents with cryptocurrencies/blockchains?

They aren't nearly as tangible. The big innovation here is the blockchain tech itself -- a distributed, immutable, public ledger. It's a very specific innovation, and it mostly benefits big businesses, but it's an innovation nonetheless.
North Korea Is Unlikely to Be Behind the WannaCry Attack
Similar to the AppEngine taskqueue. Nice job! https://cloud.google.com/appengine/docs/standard/java/taskqu...
To some degree it matters how interchangeable a founder is with an employee at a high paying tech co AND how much those high paying tech companies continue being the highest paying firms (in turn setting prices).

I suspect the answer to both of those questions over the medium-term is yes; if the entrepreneur's life (esp. their own network!) is already in the Bay Area (with the fallback being working at a high paying tech company here), there's a lot of cost to move to these lower cost areas. Even more so if the entrepreneur has family.

However, less tech intensive start-ups (say operations focused) may very well start popping up in higher numbers outside the Bay Area.
In which case why not 'dig' or 'nslookup' too?
Ibuprofen does a great job reducing inflammation for me. Not sure about just “aches” in general.

For example, I caught the Coxsackie A virus (“hand, foot, and mouth disease”) from my toddler a few months back, and it got in my gums and made them swell up very uncomfortably for a week. Ibuprofen significantly reduced the inflammation.
Based on nearly 15 years of working at startups: wut?

This is absolutely not true in any way. They sometimes pay less because they try to trade options for salaries but that’s becoming less popular given the lack of cashing out and people’s better understanding of the economics of it.

You can get low to mid six figures at a startup easily... which absolutely does not match your description
Empirically, there are a lot more million line python codebases than F# or haskell codebases, in fact I can name multiple million line python codebases, and 0 F# or haskell codebases. Given that, logic would indicate some sort of failure on the part of haskell and F#, or they would see wider adoption among the large codebases where they are so useful.

Do you disagree?
Ellen Pao on Silicon Valley in 2017
One question about the index file, "in Kafka, the index uses 4 bytes for storing an offset relative to the base offset and 4 bytes for storing the log position." Isn't the relative offset to the base offset already pointing to the physical location of the message in the segment file? What's the purpose of the second 4-byte field log position?
Here (http://rextester.com/QUIK26485):

somelist | transformed([](auto &&k) { return make_pair(k.weight, k.name); }) | sorted | reversed;
I'm sorry, this is terrible advice.

Trust me, the interviewer is never gonna pile up requirements on you. In fact, they are trained to ensure that what they ask can be completed in the time allotted (with time to spare for candidate's questions). More often than not, when you ask clarifying questions, you will end up with a much different problem (and sometimes simpler) than what you expected.

> Asking too many questions sounds like you're trying to delay coding something up.

No it doesn't.

> If you can code a prototype as fast as asking question, why not. Code it up and then ask, "how about this: what requirements are missing from this that require changes or a rewrite?"

This is terrible, you are now making the interviewer do your work. You need to tell the interviewer what the boundary conditions of your solution are. That gives valuable data about your understanding of the solution space.
Chrome is not the standard, BUT WebKit is!

About 90% of all users worldwide use a WebKit(/Blink/KHTML) based browser on all platforms (and mobile is a lot bigger than desktop).

Firefox/Servo, M$ IE/Edge, Dillo, Link, etc are minor browsers, I hope sites will continue to work almost okay with them too.

For traditional enterprise the new IE6 is IE11, it's still going strong in Win7-Win10. You can thank M$ that they forked IE11 trident engine and named it Edge instead of IE12. And IE11 is supported until at least 2020.
Apple now requires App Store games with loot boxes to list odds
>Fluent use of a dynamic language will use and create constructs that are nearly un-typeable.

Can you give examples? In practice, I haven't noticed this being an issue.
China adopting American-style military tactics and organization
IANAL, but I believe the fine is because they aren't complying with the terms of their broadcast license.

The broadcast license is needed to have exclusive access to a publicly owned resource (the airwaves).
>Fluent use of a dynamic language will use and create constructs that are nearly un-typeable.

Can you give examples? In practice, I haven't noticed this being an issue. A lot of python code already had/has docstrings explaining the types, these annotations just formalize that a bit more.
That's not why they're breathing suppressants...opioids work at a part in our brainstem that modulates our breathing rate, slowing it down. You still breath, just less times per minute. That can be really bad for obvious reasons.
I wish I could upvote your comment many times. I wish the parent comment pointed out what use case they have for Vim, as this really dictates the "right" approach.

I wrote about this previously in the context of Vim vs Emacs, though it's similar to customized vimrc/plugins vs vanilla vimrc:

"One can reduce part of the [editor] debate down to a single question: how fully featured do you want your text editor out of the box? If you’re a DevOps engineer who spins up new environments constantly you’ll have different ideas about the best choice compared to a full stack engineer working in a single development environment that can be painstakingly setup. For the DevOps engineer, a light text editor that is installed by default is likely ideal, while for a developer with a single computer, a full-featured IDE (auto-completion, plug-ins, custom keys) is worth the high setup cost."

https://www.nemil.com/musings/betterdebates.html
People have listed some good reasons, but no one hit the real painful and unpleasant reason:

People are negative about it because they missed the ride up. It was at $1k earlier this year when these people started dissing it and calling it a Ponzi scheme, and now it's at $15k. Those people missed out a 15x gain, something most startups they've labored their life over can't do. It's human nature to be jealous
> means websites will be more accessible overall, to even less common browsers

Not to mention more accessible to people with disabilities. A forum like wc3 needs to make sure that new features works for everyone and all use cases. Call me judgmental, but I doubt that Chrome developers have the will or ability to foresee all such cases when whipping up cool new features.
How are "reverse proxy logs" in any way useful for decrypting SSL?

Root certificates aren't useful either unless users install them. On the other hand, private keys of SSL providers can be of use for serving false certificates, but that's only useful if you also MITM.
> There's absolutely no way that's protected under free speech, and there are countless examples of previous trials to back it up.

Would you mind showing me one of those examples? I just did a bit of google searching, and was unable to find one. Even the original case (Schenck v. United States) had nothing to do with fires or theaters.

> shouting fire in a crowded theater would result in a situation in which you could be tried for violating countless laws if the end-result was damage to property or persons.

The "imminent lawless action" test established in Brandenburg v. Ohio requires more than just a damaging end-result. Intent, imminence, and likelihood must all be demonstrated in order for speech to be considered illegal. Maybe that test also applies to false fire alarms in theaters, but it certainly takes more than simply causing a bad end-result to happen.
What is this ad campaign Microsoft is pulling?

Porting simple UNIX tools from the 70-80s to Windows and making a big fuzz about it? Tar? unzip.exe or whatever equivalent with a gui has been around for ages.

I just can't see how any self-respecting developer would be lured to Windows by this...
The binning is a bit arbitrary, hence overclocking. A large proportion of parts that are binned to a certain clock speed will perform perfectly well at higher clocks. Bins are decided and priced based mostly on marketing rather than fab yields.

Intel disable a lot of features on low-end chips, which has nothing to do with yield management. There's no technical reason to disable vPro and Turbo Boost on Core i3 chips.
Just to clarify, the author of that post is a practicing lawyer specializing in first amendment law.

Guessing from your comments, you seem to work in software. Do you profess any particular legal expertise?

As the other commenter notes, I can't find any example of 2102 being applied like this.
I do. So do my cofounder and many of our employees. We made the 401k available around 15 employees (I think). The tax savings of the 401k offsets the cost of providing the 401k, so its basically free-ish to offer... without matching.

For reference, we started offering the 401k before our A round. At that point, we had raised $2M and were still under $1M ARR run rate. Based in the Bay Area.

I don’t get the narrative that startups pay very little or don’t offer any benefits. We pay competitive comp and offer good benefits to get great people. We’re an enterprise SaaS company, so maybe pre-revenue or consumer or hit-based companies are different. But even our first employee was well compensated. Though at that point, my cofounder and I were paying ourselves well below market and were living off savings.
You have a typing error under from closure:

-he goal for Macchiato is...

should be:

The goal for Macchiato is...
You are 100% wrong. When that’s the concern, companies add warning labels or warranty limitations.

Whether the GeForce cards are less reliable in that environment or not, that is not why the EULA was changed in this way.
You mean inverted pyramid? If so, then it may be a journalistic term, but it's universal and pretty much synonymous with how to deliver information effectively.
Yeah, the "wow amazing" factor isn't really there in an obvious way for the innovative pieces of this tech-- blockchain can be useful wherever digitially mediated transactions need to be safe from fraud or attack, but that's not much of an OMG feature for most.

And the currency side, where some advocates like to tout potential societal changes, can't gain critical mass right now with artificial scarcity tied to arbitrary hash difficulty slowing things down.

Right now it feels like the whole thing is a giant flywheel where excitement drives it faster and faster, but there's no escapement to chanel that anywhere. Maybe the better comparison to the dotcom bubble would be if all that overhype had come 30 years earlier when what ultimately became the net was just an oozing nebula developing protocols and eager enthusiasts.
are there reasons to get it from ubisoft giveaway, if you have it already on gog (or steam)?
If you assume that the lower a persons social status the more they are forced to adapt to others thinking, then it follows they would be more practiced in doing so.

Interestingly, this reminds me of other research that discussed how people lose empathy as they gain social status [0].

[0] https://hbr.org/2015/04/becoming-powerful-makes-you-less-emp...
> What are the equivalents with cryptocurrencies/blockchains? I ask this all the time, no one seems to have an answer.

Pay off your mortgage in two years by speculating on bitcoin. It makes most adults go "Wow! Yeah that is cool!"
This playlist is very good. Watch it on 1.5x or 2x speed.

https://www.youtube.com/watch?v=xwA2TkcAQgQ&list=PL6TbWIxWsL...
Based on my fairly layman understanding it could be as simple as the "weak solutions" not being as useful as they were thought to be.
>No other platform has policies like this

MS has a similar restriction on their App Store. Browsers are only allowed to use the MS rendering engine.

Also plenty of feature phones only allow use of the integrated browser. You might think that’s an unrelated issue, but it’s not. From a regulatory perspective, how do you differentiate between those, feature phones that allow a limited range of installable apps, games consoles with game offerings controlled by the console vendor, and the App Stores? There are even children’s educational toys with downloadable apps.

Vendor control of software access on their platform is actualy everywhere and some platforms like games consoles are defined by the concept so completely we often don’t even notice it. Dont like the games offered by Sony? Buy a Switch or an XBox. Don’t like the software offered by Apple? Buy an Android. But you don’t get to tell people which of these platforms they can or can’t choose.
Geometry Confusions are cleared here
Crypto-related tools experience
That is fascinating. Is there any sort of immediate real-world impact (like to weather forecasting)?
Weaning Away from Psychiatric Drugs – Finally a Way Out
Designing progressive web apps with fallbacks for unsupported features is PWA101. It’s in the name.
Restic to cold Google Cloud Storage, 5€ per Tb.
Whoops, I did that too.
It was fun tho.
> vector<auto>

Really? O.o How could this possibly work?
THE BIKER INSIDE ME
There's also this story by Assange outing Schmidt as a government lackey, which I find to be an interesting read.

https://wikileaks.org/google-is-not-what-it-seems/
Better isn't always straightforward, sometimes unintuitive steps need to be taken to reach a better fitness value. The advantage of evolutionary methods over backprop is that evolutionary methods can take steps "backwards" and avoid local minima.
Listen to the AirBnB story on the podcast "How I built this". Before YC, nobody wanted to invest in AirBnB and the company wasn't profitable. YC is how founders find ideas (in the case of Reddit) or refine them. (in the case of AirBnB) In the end, the short time offered in YC allows founders to create the minimum viable product and start to or continue to gain users. The fact that so many companies gain some form of investment shows that YC is a success! Some companies may eventually fail, but YC is a success.
This Stick-On Biosensor Monitors Blood Sugar–No Needle Necessary
I think it is actually true. Just ask some of the people who created and maintain some popular / high profile libraries or frameworks. That leads to a lot of job offers and more demand for your services means you can charge more.

If you have companies reaching out to you with potential job offers frequently, you can use that when negotiating salary when applying for a new job or to negotiate a raise at your current job.

It's the same principle as the guy who interviewed at Google, Facebook, Airbnb & dozen other companies and then used several offers he got to negotiate and he ended up with ridiculously good package for software engineer.
Mozilla never directly received money for the Pocket placement, however they did get a piece of any premium sign-ups made via the Firefox integration.
In graphics programming, you have specific types for lots of small vectors and matrices (for vectors, there are separate types for every sizes 4 and below, and matrices usually comes in a variety of sizes as well, at the very least 3x3, 3x4 and 4x4).

Typechecking is very useful here: if you try to transform a point in space represented by a Vector3 by a general 4x4 matrix, it fails compilation because you have to convert the point to homogeneous coordinates first. Very useful information from the type system.
> They are different VMs in the browser alongside each other

My understanding is that this is not true; wasm is more of a particular mode or API of interacting with the existing JS VM rather than having its own. You want to re-use the JIT, etc, for wasm. Note that that issue is from 2015.

That said I don't work on these implementations so maybe I'm wrong as well.
Ah yes, this old chestnut: "(language I don't like) is only suitable for teeny-tiny puny baby child's toy programs, and once you're not writing those anymore you must use a big strong grown-up language like all the other Real Programmers™ do!"

The empirical evidence of reality is against you: there are successful large (in terms both of codebase and contributors/development team) projects in these awful terrible children's languages, and there are unmaintainable failed piles of crap in even the most grown-up of languages you'd care to name. The choice of language, and choice of type system, seem not to correlate with the success or failure in a meaningful way.
I've probably made back between three and five times my hourly rate--which is considerable, though not top-of-market--on the back of being able to point to open-source projects that demonstrate mastery of problems that my clients have. Which is to say, for every hour I've spent on those projects, I've billed out three to five. (The reason that it's a range is that many of those I wouldn't have had without the social proof of my open-source work, but I can't evaluate exactly how many.)
Your “real estate”
investment is propped up by the federal reserve. You were bailed out at the expense of savers. I’m glad you missed out on bitcoin. It wasn’t made for you.
Got to love their naming scheme, Invoke-WebRequest url just flows off your fingers.
The flu is 100% viral by definition.
Except it has much lower income levels than the Bay Area - so it's only marginally better. In fact, SD is in the top 10 least affordable metro areas: http://www.nusinstitute.org/assets/resources/pageResources/E...
No it's absolutely not. In Haskell and F# you don't need to write types annotations to get that guarantee.
I also wonder on what promises the grants were awarded. Was Nautilus up-front in grant applications about how the funds would be used to pay off debt?
Google Drive with BitLocker VHDs
If you care about democracy, you want to make it easier for individual people to spend a lot of money on politics.

As with so many regulations, it mostly benefits the people who have enough resources to work around them:

With strict limits per person, you need a huge established machine that can reach out to many individuals to get your donations rolling. Without limits, you just need to convince one eccentric billionaire. While the latter is still hard, it's still much easier done than the former.