skysight-inc/HackerNews huggingface dataset:
Regarding

would get a lot more funding

somebody once said that objects vs modules is like working class vs ruling class: objects do all the work, modules get all the credit.

In case people were wondering, the 1ML project can be found here: https://www.mpi-sws.org/~rossberg/1ml. The key idea here is that ML-style modules (which in the past were though to need a separate module language) can be coded up into System F-omega (the "workhorse of modern compilation").

I don't think any of the 3 main guys behind it (Russo, Dreyer, Rossberg) works on modules all that much right now. That may explain the relatively tardy speed of development.
My small sample of machines, manufacturer says machine not compatible, MSFT still prompted me to install win10. If they are actually checking HW compatibility they are doing a shitty job. Which means they shouldn't be rolling anything out in this fashion.

On Reddit I read about medical devices getting automatically upgraded when needed for a procedure. Maybe the hospital network was badly managed but that does not excuse MSFT's auto rollout.

My point still stands that MSFT should not be automatically upgrading the OS without significant user oversight, agreement.
Another enthusiastic vote for Digg Reader.
Is there any evidence of discrimination in this story? While it's certainly tragic, I think it's very hard to separate what is sexist (or, aside from the one comment, racist) from what is just people being generally terrible. It seemed only implicit that the author's gender or race had anything to do with her treatment at work.

Or maybe I'm missing something. How was this discrimination?
Yep. Berkeley only recently started offering a ML class in 2013. The last time it was offered was 1988-1990, the last AI boom (assuming the course numbers meant the same thing back then).
TL;DR Amazon Cloud is expensive;
My mother cried at Stalin's death, so I have no problem believing it was #1.

On the other hand, this appears to be a common trait with beloved leaders. In [1] we can read that "rare was the person who did not cry that long weekend".

[1] https://en.wikipedia.org/wiki/Reactions_to_the_assassination...
it's just the only currently known way where
both modular and functional sides are actually
useful without introducing completely separate
sub-languages.

This isn't true anymore and 1ML was my counterexample. I sympathise with your point that Scala is a working shipping product.
I also disabled the service "Windows Update" in services.msc.

Interesting thign happened. I stopped the service but left it on "Automatic (Delayed Start)". Came back a while later and the service was magicall restarted.
Could have been anticipated by me. So I stopped the service again and set it to "Manual". Came back a while later and, you guessed it, Windows Update service was restarted.
So I now set it to "deactivated". That was yesterday. I am really curoous to see if it still comes back to life.
Amazon may soon let you pay using a selfie
Very interesting social engineering method to lure credit card information
>It's also really not the company's problem if you get panic attacks...

because of the way the company completely destroyed your sense of self-worth and promoted a toxic culture of abuse?

Actually, it might be. I wish it was. Maybe we'd value each other a bit more.
Android's new bottom navigation
Real men write their own rss readers!
This renoun website hijacked my back button. Why not just link to the direct source?
Care to share those settings?
Meh.
Eventually tech companies decide they like money and not being in jail more than they like fighting for people's rights, and they throw up their hands and say "what are we gonna do, it's the law", and do it.

See: Every other time this has happened.
Terrorism is not so simple. Thinking that all terrorism must be some extreme, singular act seems short-sighted. What is the terrorist's goal?

Terrorism can be subtle and long-term.

Edit: What terrifies you? Did terrorists exclusively create this (threat of terror)? My point is, does a terrorist exclusively create terror... or do these terrorists have a broader goal beyond simple terrorism?
I had an awful boss. K was easily the most obnoxious person whose presence I've ever had to tolerate. Besides incompetence, he was eventually fired after he was ordered by the cto to give me a good review and a raise in my annual review; he gave me neither. When he was fired (and there's a long and funny story here involving property destruction), he assaulted a coworker, was removed by the police, and given a restraining order. He was delusional enough that he called the ceo late that night and suggested that, upon receipt of a written apology, he'd consider returning to work.

There's some amazing detail in the court documents from his 5 years of multiple lawsuits against our former employer, including him assaulting the videographer at a deposition and being removed by the police. Again.

I didn't leave because I was worried I'd never get another job and no one would believe me. After all, what are you supposed to do in an interview when asked why you're leaving after 3 or 4 months? Do you really want to tell a potential employer you're leaving because your boss is verbally abusive and slapped the back of your head because he thought you were being stupid? I worried -- and I think it's true -- that I could easily be written off as whiny or entitled or difficult or even just too much trouble to deal with. I also had just left school and couldn't really afford to repay the relocation bonus they gave me (protip: always write into your contact that repayment is prorated over the first year of employment. And remember relo bonuses are taxed when you decide how much to ask for. oops on both counts.)

It's hard.

Now I'm mature enough, and have a string of successful jobs behind me plus savings, that I can joke about it. And if anyone doubts what working with him was like, pull out the description of the deposition that lead to him being declared a vexatious litigant.
San Francisco: The Status Quo City – Essay on SF's Resistance to Urban Change
Sure. So your point is they've always needed a good security team? I'd agree with that. Either way, they should still be open about their security practices and have good answers to the questions I asked.
Ask HN: Which Startup Incubators who accept startups in prototype stage?
We are building social network for documents (kind of youtube for documents). We are looking to incubate ourselves. We are from India.

Any good startup incubators who accept startups in prototype stage and help in growing along with some basic seed fund to develop the product in better way?

Thanks.
Pop star Jay Chou joins a Chinese ecommerce company
Blockai uses the blockchain to help artists protect their intellectual property
ec109685 was referring to https://www.ampproject.org/
In a sibling answer, steveklabnik suggests the Rust version was compiled without optimizations - https://news.ycombinator.com/item?id=11285569

Could you try running both on the same machine? I'm curious if LuaJIT can still beat Rust if both have optimizations working.

I know it can beat native code sometimes, which is pretty impressive (it finds common cases and specializes to them AFAIK, almost like "sufficiently advanced optimizing compiler" fairy tales).
To be fair, it doesn't seem like they gave her the chance to "earn it"
> "What will happen is, if everybody goes to their respective corners, and the tech community says ‘either we have strong perfect encryption or else it's Big Brother and an Orwellian world', what you'll find is that after something really bad happens, the politics of this will swing and it will become sloppy and rushed and it will go through Congress in ways that are dangerous and not thought through,"

Does Obama get that the only way to stamp out strong encryption IS an Orwellian world? Anything else is just harming the security of your citizens and the competitiveness of your tech companies.
{% include analytics.html %}

https://github.com/fibo/hello-AMP/blob/master/gh-pages/_includes/analytics.html

<script type="text/javascript">...</script>

You're kidding, right? You need to implement analytics using the AMP Analytics Custom Element or it'll just fail validation.
Encryption, Privacy Are Larger Issues Than Fighting Terrorism
Actually I'd argue x86 is huge and scary, and Windows/Unix on x86 huger and scarier, but plain sequential circuits quiet simple.

The actual problem (as stated in the other comments) is that the tooling is all proprietary (huge and scary) and has received NO love.
...and the formula that is given as an example of π's importance has a tau in it.
Hm, what's going on with this article? There are stories with fewer points that have been around longer and are on the front page while this one is dropping like a rock...

Get it together, HN...
Squarespace really sounds like a nightmare, and also very rough on people who work a support/call center role rather than a dev role. I say this having experience with both, as only the call center involved handling tickets as a primary activity, and having a regular night shift (rather than being on-call every few months).

On the other hand, this sounds pretty grandiose to the point of being delusional:

"Squarespace, you hoped I’d be another black woman in the tech industry who would quietly watch as you grow in power while I wither away. You are mistaken."

Squarespace: a company actively dedicated to the withering of black women in tech. That's a pretty extraordinary claim, so it needs some pretty extraordinary (ie, non-anecdotal, verifiable) evidence. The adjectives used to describe literally every other person in the story are mostly if not completely negative, and this ultimately weakens the writer's claims.
I wonder how capital intensive the move is. Isn't Dropbox overall still unprofitable as a company?
Brooklyn's new community micro-grid for peer-to-peer renewable energy sharing
I only read up until "September 2013" but (except for the one comment about the chair) it seems like just bureaucracy and office politics.
I didn't mean to imply you had said it was the last word. The form of OOP that I would be interested in would probably use row polymorphism instead of subtyping. It might indeed be possible to encode this in DOT.
Indeed, I (Sandstorm founder) would love to see Sandstorm running on Protonet.
Years ago WD sold a 808.8GB drive which reportedly contained two 500GB platters that had failed QC.

http://www.newegg.com/Product/Product.aspx?Item=9SIA67S23Y89...
The biggest problem with those websites is not that they look the same, but they are all equally bad. 95% of the time they barely contain any useful information and are just 4-5 pages of images icons and vague text, it's useless fluff that makes me click around and scroll a lot.
I love it and hope the physical buttons will disappear from Android phones (or just one with a predictable result when pressed like the Iphone)
Lazy answer but we'll blog about this in the next month.

On a high level it's variable-sized blocks packed into 1GB extents, which are then aggregated into volumes and erasure coded across a set of disks on different machines/racks/rows/etc. We also replicate cross-country in addition to this. Live writes are written into non-erasure-coded volumes and encoded in the background.

The volume metadata on the disks contains enough information to be self-describing (as a safety precaution), but we also have a two-level index that maps blocks to volumes and volumes to disks.

More info to come later.
While I've messed around with FPGAs alone and found it fun, anything I imagine them doing as an accelerator/coprocessor/whatever sounds quite dull.

The program to reprogram them every few seconds (genetic algorithms?) sounds more interesting.
It's bad, but not quite a black hole. I have had the occasional feedback out of it, of the limited form "this should be fixed in the release that just came out. Please retest"
And if you like pure js and something faster than Vue (by 25%) and smaller than Vue (by 80%), try domvm [1] (15kb with view core, router, isomorphism and mutation observers).

Disclaimer: I'm the author.

[1] https://github.com/leeoniya/domvm
You don't understand. To fix problems like python3 did, you have to break older code.

Php7 did nothing like that, that's why the "porting" process was so light. But it also means it didn't fix any of the big things.
Implement x86 on FPGA; what now NSA! :D
This looks cool. I wrote a less developed than this and unreleased RabbitMQ-based microframework that combines RPC and one-way event streams to integrate an ecommerce site in one datacenter with a back office in another. At another company I used ZeroMQ to make a job processing cluster.

Comments by others suggesting the use of http are kind of missing the point of message queues. The latency added by http(s) made interactive RPC sluggish, and made batch back office updates take hours instead of minutes with AMQP.

If I had Alchemy two years ago I might have used this instead of rolling my own.
I know exactly what country based on that description.

Apparently before the "education center", you're brought in before military officials "just to talk" about your statements. They publicly phrase it as just wanting to understand your criticisms of the government, but they really just grill you to see who else you've been talking to, what websites you frequent, etc.
These are great videos, and the content itself is, in my opinion, pretty good.

It seems to me these have been narrated by a professional. The narrator's voice is pleasant and pronunciation clear, but it seems he doesn't really know what he's talking about.

I would prefer the voice of an actual subject matter expert; they would be able to better convey which parts are actually key concepts, and which parts are just intermediary math. Now it feels like everything is equally important, when it's clearly just some intermediary math to get you to the actually interesting part that follows.

I agree that the continuous music is distracting. The quick fix is to fade the music away for the content. It would be fine to leave in for the beginning, end, and transitions.
Saying your company is at fault for how you feel is the exact same reasoning as "You made me do it", ie, not assuming any agency at all. Same thing with "toxic culture of abuse."

People who are being sexually trafficked and child soldiers are in a toxic culture of abuse that they can't escape from. We're talking about an adult with a lower management job at a tech company, not the wretched of the earth.
It's not EU-wide shipping. They're selling into a strange subset of the EU. Basically all the large countries are missing: France, Germany, Italy, Spain, UK are not listed in the menu of the shipping destinations (UK is listed in the product page but not in that menu). Maybe they don't have enough drives for everybody?
Terrorists are incapable of misdirection? I think you are over-simplifying the intent of the terrorists...
FBI argues it can force Apple to turn over iPhone source code
I would recommend against using the Servo alpha against Tor, though; some web security features (eg stuff like CORS, though our CORS support is okay) aren't there yet IIRC.

(Of course, this will change over time, just that I don't expect it to be 100% secure by June)
Well, I've been to a few of those schools. There are terrorists in them to be sure, but they're too busy terrorizing their peers to criticize the government. You'd probably be put on the list for pointing that out.
It's not too difficult to do RPC over AMQP by having an ephemeral reply queue per request, if your load isn't too high.
You are mistaken about the audience of that message. The audience is the people of North Korea, not the outside world, that it has no basis in reality doesn't change that because the people of NK for the most part do not have access to information that will confirm to them that it is not real.
Clojure Work
Ignored for Years, a Radical Economic Theory Is Gaining Converts
Oculus needs to bring Mac support to the Rift in order to succeed
Free Small Business Field Guide: Mistakes to Avoid, Tips to Get Ahead (Kindle)
I also created a Medium inspired theme but for Grav CMS: https://github.com/mblode/grav-theme-medium

Grav CMS is an open-source CMS. Therefore, it is a better option than Jekyll when you need to create a client website.

It is also used as an alternative to Medium.com for creating a personal blog.

I hope you guys enjoy it :)
On the one hand, printing money instead of [1] taxing is good because you can get rid of whole government departments (saving real resources) and tax collection no longer has to invade people's privacy by forcing them to give the government extensive records of their economic activity.

On the other hand, taxation is good because it reminds people there are costs to government services when they have to actually pay the tax, and in addition you can use a tax to inject a market signal about costs that would be normally externalized.

[1] Unfortunately, MMT implemented by any government will likely be "in addition to" rather than "instead of" existing tax mechanisms.
Maybe support for Webmention[1] would be a nice addition? Medium is sort of a community after all and I think an alternative should have technology for talking to other sites. There's https://webmention.io/ and https://indiewebcamp.com/Jekmentions

[1] https://indiewebcamp.com/Webmention
Thanks Adobe.
I think he was saying they look amateur. An excellent lens from a "cheaper" brand would be exactly what you'd want to bring to get excellent images without flaunting your wealth/professionalism with the fancier brands.
The Gaian Bottleneck, an Answer to Fermi's Paradox
Cebotarev is a bit of overkill (and not equivalent!) for this and hard to grasp, if your Algebraic Number Theory is a bit rusty.

I recommend Dirichlet's Theorem on arithmetic progressions instead (everybody loves Euler's totient function!) :

https://en.wikipedia.org/wiki/Dirichlet's_theorem_on_arithme...
Owls are way better at routing than IP, especially with roaming users ;)
The article's discussion of AMP's limitations regarding images is somewhat inaccurate.

Firstly, the claim that images must be supplied with a known height and width is wrong. All you need to provide to AMP is the aspect ratio of the image.

You can give the width as "16" and the height as "9" and AMP will calculate exactly what size to display the image. It would use any exact measurements provided only to determine the aspect ratio. That's why this layout can be called 'responsive' at all.

Example:

<amp-img width="4"
height="3"
layout="responsive"
src="/assets/images/your_picture.jpg">
</amp-img>

will validate and the image will be rendered at the largest size possible in 4:3 aspect ratio, relative to its flow context/container.

In action:

https://wnda.github.io/amphtml-examples/layout/#development=...

https://wnda.github.io/amphtml-examples/basic-page/#developm...

---------------

Secondly, if you won't even know the aspect ratio of your images with any certainty, AMP doesn't give a damn about exact dimensions for background-images.

Proof:

http://wnda.github.io/amphtml-examples/experiments/backgroun...

With background-size: cover, background-images are actually extremely effective for responsive web design as long as you're not supplying massive images.

You might think it's a problem because the background-images will not be lazyloaded , but technically they sort of will be, because AMP intercepts everything in your page and serves it via HTTP/2 from its CDN. You just can't link the lazyload up with JavaScript callback.

What you can do is estimate the time it will take to download the image and configure a CSS animation to fire after a certain amount of time using the animation-delay CSS property.

Just an idea.
This is the craziest thing I have the read in this recent memory: "Anyone who composes a work that has not been assigned to the writer through this chain of command is by definition guilty of treason. All written works in North Korea must be initiated in response to a specific request from the Workers’ Party."
As I understand it, the main reason that we and/or South Korea haven't moshed all over NK like we did in Afghanistan and Iraq is that they've got enough ancient, obsolete, but still quite explosive artillery aimed at Seoul to do at least Hiroshima levels of damage to it.

It'll only get worse once they've got actual nuclear capability, but it's not like you can just declare that you've decided to sacrifice SK's capital and largest city because bad stuff might happen in the future.
I like the quote :)
Would Kafka be a better option in this case? There might be some properties I am not aware of that makes it impossible.
I can't believe you're defending someone who physically beats someone because they're seeing someone else.
And in a couple years they're all going to look about as cool as the three FrontPage themes that dominated every generic template website in the late 90's.
But this time we do it fully open source, working everywhere unlike ActiveX, and much faster than Java applets.
WOW. What an ignorance.

1) NK's ICBMs program is much more advanced than SK's
2) Young generation is openly doubting the regime
3) There's a lot of smuggling of SK's soap operas and music
4) Their nuclear research is top-notch considering the circumstances
5) All other parties involved (US,China,Japan,South Korea, Russia) are all to be blamed for suffering of 25 millions of people living in an artificial skansen of communism.
6) Praising the great leader is one way how to protect yourself and your family when the "democratic, cool westerners" are not going to help you.

And the guy is openly preaching China for being much more advanced ? NK's regime is scary but the one in China is even scarier. They are pragmatic criminals that embraced the art of trade.

US and SK should have invaded and liberated the NK long time ago. They are as much part of the problem as the NK's leadership is.
No judgement, only honest curiosity:

Why did you visit NK? What were you hoping to see/experience? What did you get out of your visit? Did it meet your expectations going in? If not, how so?

We hear things about hard-to-get-to places like NK but I'm sure it's nothing like being there.
I asked him that same question: https://twitter.com/troyhunt/status/692328070506749952

He says too little people use the feature to implement it.
You seem to be confusing two different claims:

1. A champion Go/Chess player could retire, and jump a successful career as <Something else>.
You refute 1.

2. A champion Go/Chess player could have pursued a career in <Something else> from the start and made more money.
You have not refuted 2.

For an example, many physics PhDs become successful software engineers and quants, making a mid-career jump to a different field.
Particulates are usually at larger concentration at ground level; not sure if using variable-height sampling would make sense there.
The third issue of Chalkdust (free mathematics magazine) has just been published
interestingly its not using mercurial, bugzilla, etc. basically none of the mozilla stuff
If by that you mean "we can say anything", you might need to reconsider. [1]

For example, saying "the Holocaust is a hoax" in Canada or Germany can get you in jail. [2] Saying something that even hints that women are different than men in the UK will probably result in you losing your job. [3] I'm pretty sure the same is true in the US, at least on the East Coast.

[1] http://paulgraham.com/say.html
[2] https://en.wikipedia.org/wiki/Ernst_Z%C3%BCndel
[3] http://metro.co.uk/2015/06/15/i-was-hung-out-to-dry-claims-t...
I am tracking Amazon for 10 years now including retail and especially its cloud.

Also I founded renoun 6 months ago and I thought it will be nice to share articles/news that it helps me to find specifically about in my domain of interest. And since it helps me find and read good content I return by sharing the link to renoun :)

From your feedback I learn that we need to make the experience more focused on the single article we share. Thank you!