skysight-inc/HackerNews huggingface dataset:
They don't seem to be taking into account the added expenses that come with height.

Clothing options are limited and much more expensive, particularly if you're of above average height and weight. More often then not my clothing purchases are at full retail price because otherwise you have no choice. Sales are for stock items and, because of the limited supply, most big and tall items rarely last long enough to go on sale.

Height doesn't come for free, it requires additional mass and volume. That equates to higher stresses. Shoes and clothes wear out faster. I have to purchase a couple pairs of jeans a year because the knees are constantly tearing out when I kneel or squat which I have to do a lot because I'm tall and our world wasn't designed for tall people.

Medically speaking our bodies are under higher stress which results in more injuries and joint problems. We require higher dosages of medicine. Any special medical prosthesis will cost more. Anesthesia is charged by amount used. Etc...

Lets talk about cars. Immediately discount any econo class car because they don't fit. So regardless of what I want to spend or can afford, my minimum price is set higher.

I'm not sure an extra $800 a year covers all that.
Also, as a note, high-reliability microkernels disallow direct access to DMA registers (as, absent an I/O MMU, being able to write to a DMA register is the same as being able to write to any physical memory), and instead provide an API for programming them that can be verified on its own. This is often just dozens of lines of code, so can be as correct as the hardware.

So the separation of register-bashing vs. the rest of the software already exists, but it solves the memory safety problem by just moving the unsafe code out of the kernel.

I agree that memory-safe languages need to come into low-level systems programming, but garbage-collection is a non-starter for many many reasons, and the various academic languages (e.g. cyclone) have not made any inroads to industry that I'm aware of.

Rust is very interesting to me in this field because the simple fact that it originated outside of academia may make it more palatable to many people; time will tell.

[edit]

I still think a microkernel is a good idea even with a memory-safe language just for defense in depth if nothing else (memory-safe runtimes tend to be complicated, and complicated code tends to have bugs).
>Does anyone have an insight into this?

I don't have insight but I'm guessing the valuation comes from the prospects of enterprise sales.[1]

Also, Docker (the company) isn't staying still. We have to assume they will evolve to add future upmarket services on top of Docker that companies will pay for. Investors would see the PowerPoint slides for those future products but we as outsiders don't.

Maybe an analogous situation would be the Red Hat multi-billion valuation even though Linux kernel itself is free and open source.

[1] https://www.docker.com/pricing
Every time I saw that mentioned, my mind goes to the movie. https://g.co/kgs/d8G9u5
But compared to cost of a certain standard of living the salaries aren't that great.
EFF Pioneer Award Winners
Ask HN: Help been unable to use Coinbase for a month
Anyone know what's happening. I have made one prior purchase but now I keep getting this message that my "Account is restricted". This has been going on for a month

Tried creating a second account earlier this week and same thing happened. Done id verification etc.

I've been on support forums and mailed their support for over a month got tons of auto responses but no solution

And if folks have a recommendation for another broker/exchange to buy ETH for US resident, I'd appreciate that
Seems like the ACLU could have left off the part about "people who want to carry weapons" and just went with "people who are intent on committing violence" if they wanted to be clear about it.

I think the quote below shows this is specifically about carrying firearms, regardless of intent.

>"If a protest group insists, ‘No, we want to be able to
>carry loaded firearms,’ well, we don’t have to represent
>them. They can find someone else," the newspaper quoted
> Anthony Romero, the ACLU’s executive director since
>2001, as saying.
With all this talk of automation, intelligence is all that's useful.
> What makes you think being able to run such half-specified programs for part of the problem will actually help with answering this question?

Perhaps rocky1138 thinks this because they have experience answering this question by doing so?

I've found it can be hard to find the right type before I've written partial solutions to a problem. Just to be clear, I'm talking about recognizing the monads or functors or what have you. Even the general mathematician doesn't start by drawing the right diagram. (Though some do.) For me, "the right type" comes from abstracting partial solutions.

I think part of it is preference for certain thinking styles, like how some people like puzzles based on group theory and some on topology. If finding the right types ahead of time works for you, great! But don't be surprised that people manage to solve problems by other means.

(It could also be that the type systems in programming languages don't capture the intuitive types[1], and perhaps rocky1138 keeps them in his head while prototyping. Just because the types aren't written down doesn't mean they aren't there --- i.e., there is no need to obsess over making things real. But, it is nice to make them real so you don't have to keep them in your head anymore, or to communicate them to others more effectively.)

[1] I sort of mean intuitive in the sense of intuitionism.
https://www.weforum.org/agenda/2013/05/do-patents-help-or-hi...

http://www.theglobalipcenter.com/ipindex2017/
Love the site! However, it looks like you have some apps listed on the main page, but not in the list of all apps. For example, I submitted Aperture because I couldn't find it in the "A" section of the list of all apps. But I see that it is actually there on the main page near the bottom.
I solve half my coding problems on bathroom breaks so no distraction for me :)
It's also considerably heavier. The amount of effort you'd have to put into it (after downshifting) will proably at best give you one or two mph. As for bike behavior, I and many other cyclists consistently have to deal with slow cyclists taking up the entire lane. This is not unique to Ebikers in fact much more common to those without as there are far less on the roads I ride on (SF daily commuter)
why are they called Software Maker?
iOS also uses it by default for Spotlight searches.
This is also part of redundancy. If you hire 1 10x programmer and they get sick, no work gets done. If they leave, you will have hard time finding their replacement.

3 average programmers who understand your code adds a lot of redundancy.

And as an interviewer, it is really hard to identify who is 10x and who is not. But very easy to tell who has enough knowledge and pleasant personality. Programming in most companies is team sports, not a marathon.
I've heard that Haskell also has a compile time problem. And swift does too. :(
Looks cool although I think the article is overblowing the negatives of Slack-esque communication and underselling the benefits. Especially considering he was highlighting more about communication issues his team is facing that probably could have been addressed without switching tools.
I live in Austin. It's really not that bad. Sure there are many people coming from CA (like I did 3 years ago) but Texas in general and also Austin in particular have distinct enough cultures that they haven't become just another CA. Just my personal opinion of course.
OpenBSD uses the Korn shell for /bin/sh and this is not true there.

$/bin/sh -c "fail() { local f; }; fail"
$

OpenBSD's /bin/sh defines several aliases as standard.

$alias local
local=typeset
$

M. Agaram has stated elsewhere that xe was using OpenBSD sh as a poor man's POSIX conformance test.
Snapshots: Automating Golden Master Regression Tests in Rust
Always happy to discuss things over a beer. (Well, I'll have white wine, if you don't mind ;)

And yes, not every situation is salvageable. Alas. Knowing when to stop is why I'm in favor of having a defined process well before you come to the "change, or else" part. That prevents the sad effect that your bar shifts as you collect reports, just because you've got more things to do.
Y Combinator-backed VIDA turns artwork into fashion, accessories and more
In 2007 we used to rack hardware. Like physically open boxes, rack hardware with Ethernet cables. In 2014 I don't think a startup existed trying to use physical machines - it was all aws,etc. We then would use all this BS like puppet, salt, chef, etc to manage all the chaos (devops). Now 2017+, I am starting to see containers become the defacto. I see the future as running a docker file on your laptop, running it through a ci system, then pushing it to a container service. Docker is the clear standard.
These limits are arbitrary and for the simple fact that normal bikes can go considerably faster proves that it's not a true researched safety concern.
That, I'm not debating. Rule of thumb for new managers: Assume the world is on fire, just in case ;)
Yikes. I have a lot of my clients who are using Tableau, now moving to Power BI. PBI's got all the functionality in one product so no integration issues. It's cheaper than Tableau but cost is only part of the equation. It's the ability to connect to older on-premises systems like SharePoint 2010 is huge for many that aren't in the cloud or are hybrid. Also, the integration with Microsoft Flow is very attractive. You can kick off Flows from Power BI automatically, when a metric crosses a threshold, making BI self-escalating. I think it's easier to learn Power BI if you know Tableau as well. Lastly, Power BI Mobile is included and is the fastest growing area of use. Executives want everything on their phones and Apple watches. Hope this helps.
> exception[s] can be relatively slow

That really depends on your hit rate. Say you have a generator returning objects and you don't know if they have an attribute. You can use hasattr(..) to check or just try to use the attribute and catch the AttributeError.

One-on-one the exception is slower, but there comes a point where the exception is rare enough that actively checking every single item is slower. Eg if only 1-in-1000 doesn't have the attribute, just mop up with an exception.
They also have a really, really simple type system that can't play very many of the games that type system experts would like to play, so it doesn't cost them a lot of runtime at compile time.

I'm sort of curious what the abstract minimum penalty is for the very advanced type systems. Are GHC (Haskell) and rustc already within, say, 5x of the optimal possible speed, or might we be able to have a very advanced type system and faster compiling? Time shall tell, I suppose.
Answering questions from your own text corpus will soon be part of Cortex! It's actually the next thing we are working on. If you'd like, we can let you know when it's ready. Just send me a message at alex@plasticityai.com with your email and we'll reach out.
I used it once. About an hour later after nearly having a heart attack when I saw the email that I had purchased a $5,000 generator. I quickly canceled it, but it would have been such a pain to try to ship that back or even take delivery of it. I disabled it and still do.

Just because it is easy to return things doesn't make me feel good about doing it - it is such a waste. Maybe I should look at it as creating jobs.
IIRC Sandy then started a popular cosmetics company (Urban Decay) in the late 90's
The Illusion of Wealth
Sure. Then the question is, how much context is needed?

A large statue of a racist traitor, on a pedestal in the middle of a traffic circle, isn't really contextualized with a small plaque that few read saying "Fought to preserve slavery."

I'm hard pressed to think of what is the proper contexualization in that case. Rename the street "Traitor Way" and put a sign over its head saying "Slaveholder"?

Except that wouldn't be enough. Most of the statues need something about "erected as a 'fuck you' to blacks during the Jim Crow era, and as a way to promote the false 'Lost Cause' narrative", because the statue isn't really about the person. Plus it would need description of what those terms mean, since it's about context.

So now you've got, what, a few signs-worth of text, which few read?

While there's a great honking statue that no one can ignore?

Nor is this new. Consider "Rhodes Must Fall". What's the appropriate context to counter-balance a large statue of Rhodes, the Anglo-Saxon supremacist imperialist, visible to effectively all of the students in campus, including African students whose ancestors directly suffered the negative effects of Rhodes's actions? As RMFO wrote at https://www.facebook.com/permalink.php?story_fbid=1688976428... :

"We have always rejected the idea that ‘contextualising’ the statue is the best solution to this debate. First, we do not think that context reveals that Rhodes was a man of his time; he was criticised extensively in his time for his retrograde views and damaging actions. Secondly, it is not possible to contextualise the statue meaningfully, given the gravity of Rhodes’ actions."

"Cecil Rhodes, amongst other things, exploited natural resources belonging to Southern Africans, as the founder of what is now De Beers; coordinated military massacres, such as the Jameson Reid; was the head of state of the Cape Colony when legislation was passed that paved the way for apartheid; and made numerous outrightly racist statements. We do not accept that this can be captured in a contextual plaque. The better approach is to ensure students are educated about Rhodes through a curriculum that engages with imperialism, and to ensure that the statue of Rhodes is relocated to a museum, where real lesson-learning can occur."

Lastly, adding "context" is also the least responsive thing that an organization can do. A city, or state, or university, can drag its heels, put up the smallest possible plaque, and call it done, which requires yet another protest to get better context to fix. Repeat a few times.
He meant Vancouver, WA. It's across the Columbia river from Portland
Can someone fill me in, do most jurisdictions allow employers to report to each other how much you made in the previous job? Or is this considered protected data that employers cannot ask for?

Which jurisdictions have which rules?

Obviously if you don't have to disclose your previous salary you get an advantage. The same advantage as the employer has in not disclosing the salary they paid to the person you'll be replacing.
Thanks!

Fair question, we think spaCy is great, but it just made a lot of sense for us to start on the basics so that we could modify things as needed. For example, our tokenization algorithm and syntax dependency tree algorithm treats "let it be" in "The band played let it be by the beatles." as a single chunk to return a more accurate syntax dependency tree, which Google Cloud NL and spaCy don't do out of the box today.
To clarify, it's not that the special technology behind it doesn't get freed, it's that there is no special technology behind it.
Quantum internet is 13 years away
Hmm, I read all that, and yet ... I roll my own and use make! B^>

http://www.earth.org.uk/note-on-site-technicals.html
That's lifestyle, not cost of living.

There are plenty of good, cheap restaurants and bars in the city. I know: I frequent them.

I will give you that the number of outrageously priced restaurants and bars in SF has increased. People just don't seem to give a fuck about piling on debt. I think the insane cost of rent has had a psychological effect on incoming people. Or perhaps some other social phenomenon that brings them here is correlated with absolutely no sense of money.
They use thin-backed seats because it lets them fit in another row or two of seats, AFAIK.
Disagree. This has been a "fact" which has been steadily eroded as time goes on. It started with humans using tools... Until we found animals using tools. And it's been a series of dominos falling ever since, with the current studies on animal linguistics just being another one in the line.

For instance, your invocation of "introspection" is covered in the linked article by "theory of mind". And maybe in the second paragraph covering metacognition in "consciousness". I think this quote covers the ideas succinctly:

"Convergent evidence indicates that non-human animals have the neuroanatomical, neurochemical, and neurophysiological substrates of conscious states along with the capacity to exhibit intentional behaviors. Consequently, the weight of evidence indicates that humans are not unique in possessing the neurological substrates that generate consciousness. Non-human animals, including all mammals and birds, and many other creatures, including octopuses, also possess these neurological substrates." [0]

We've found evidence in some animal or another for pretty much everything we've ever thought was unique about human cognitive abilities. So far, the only unique thing about humans is how broad and powerful our cognition is. Which is maybe what you mean, and are having a hard time expressing.

[0] http://fcmconference.org/img/CambridgeDeclarationOnConscious...
> Doesn't America have anti monopoly laws? Curious why those don't apply to ISPs . Isn't this an admission that 'net neutrality ' is a bandaid to the problem of ISP monopoly.

You are correct in that the root of this problem is that our anti-monopoly laws aren't being enacted here because there's too much money being made by those on top. We should fix that problem as well.

However, I'm not convinced that "just get a different ISP" would work in the US like it does elsewhere. Service companies here are very good at hiding details and the US generally ends up with a small handful of choices that are all terrible. See also: Phones, Healthcare, Transportation
Watch me growth-hack a new Instagram account to 1k targeted followers in a week
> I often fill in the implementations after I work out the types.

OK, but that's the opposite of deffering type errors until runtime.

Using "undefined"/bottom as the implemenation of a function is how we wrote Haskell before GHC added support for deferring type-errors.
Success typing really seems both ideal for me and the only sane way to do optional, progressive typing. I wonder if Ruby could do it? I think there are too many ways for an expression to be invoked from friggin anywhere in Ruby to make that possible.
Honest question:

Is Python-with-type-hinting-in-function-definitions (and maybe type assertions) equally as "strong" as common style Python?

It's not static typing -- it's not Haskell -- but it's already a step further.

Edit: I find myself doing a lot of "assert isinstance(x,foo)".
What's the most advanced type system you've used?

It's quite difficult to explain how much work a very strong type system can do for you if you're used to something like C as your definition of "static typing". I mean this comment comment completely straight and polite, and I'm trying to help people answer your very reasonable question by asking you for some details that will help calibrate the answer.
That's silly. Find a job elsewhere willing to pay them to relocate again.
Buying modafinil online?
Modup.net is the #1 place to buy modafinil online. All of our products are 100% pharmaceutical grade, 3rd-party tested, and come with a delivery guarantee (free reshipment or refund).

Modup started with a fairly simple goal: to make Modafinil affordable and accessible for everyone. After several years in the business, we’ve proven to be one of the best suppliers of Modafinil worldwide. With an emphasis on great customer service, market-leading prices, and fast shipping, Modup has grown to become one of the largest retailers of Modafinil on the Internet today.

In keeping with our original goal of making Modafinil available to everyone who wants it, we have continually expanded our payment options. Modup proudly accepts all major credit cards, prepaid cards, and PayPal for online orders. In addition, Modup became one of the first Modafinil retailers to accept major digital currencies, including Bitcoin, Litecoin, Ethereum and Monero. Plus, we offer a 33% flat discount for all digital currency payments—the best deal on the market!

Modup has recently expanded its smart drug selection to include other popular nootropics, such as Adrafinil, Piracetam, Aniracetam, Phenylpiracetam, Noopept, Sunifiram, Phenibut, and more! Shop all smart drugs at www.Modup.net/shop.

Visit our website at www.Modup.net, or check out our blog or forum for more information.
I would prefer mandatory typing with a dev mode that makes it optional for speed. With optional typing, you end up with the third party ecosystem not having typing, which makes it hard to enforce type safety with a codebase that is fully type safe itself.
Machine learning tackles quantum error correction
In America it's all the same. Or you can call it 'lobbying' if you really want to dress it up.
I dont understand containers. First you go to through great pain sharing and reusing libraries. Then you make a copy of all the libraries and the rest of the system for each program !?
My company does $1m in sales annually. Stripe requires 7 days to close payments (versus 1d for other merchant accounts).

The extra $16k of float that Stripe requires is not worth it for me. This is why we have credit card numbers come to our server.
Interestingly, Scalzi has also written about this in a way targeted at tech folks: http://whatever.scalzi.com/2012/05/15/straight-white-male-th...

Long term I think his article on being poor may be longer lasting and more influential than anything else he does - with the possible exception of taping bacon to a cat. http://whatever.scalzi.com/about/the-canonical-bacon-page/
Which proves my underlying point that the opportunities in Seattle pale in comparison to SF.
Ok I am understanding the distinction now.

I ran a google search for "js to wasm" and found a ticket on the webassembly github that explained it all: https://github.com/WebAssembly/design/issues/219
We Champion Racial, Gender and Cultural Diversity--Why Not Viewpoint Diversity?
Cool, yeah I see what you're saying - thanks.
Delphi/Pascal haven't used make files for...I don't know how long.

Shout out to FreePascal/Lazarus yet again!
4500 Year Old Trading Network in Vietnam
Your comment could be interpreted similarly. If the effort for k8s to move away from docker is minimal, that implies there wasn't much of anything novel in it.
Indeed, especially as a company that has a reputation for producing unstable APIs that break between minor versions.

This is a team that seems to think it is acceptable to return ASCII art and backspaces in their container management APIs: https://github.com/docker/swarm/issues/1214

So, you're right, but they have a tainted reputation. I wish them all the best, but I don't have high hopes.
> From someone outside the US, I'm amazed that states vary their income tax so much, I would have thought it's a magnet for fraud and corruption.

It is. Roads in the Bay Area are among the worst in the country, despite this region producing enormous corporate profits. Nearly all the companies here operate in an eternal tragedy of the commons, whereby nobody will pay local taxes because nobody else does. All the companies in California are actually Delaware companies, and the income inequality and quality-of-life disparity is a direct result of this kind of corruption.