skysight-inc/HackerNews huggingface dataset:
I've tried to simulate 1km chimney in Comsol, but I cannot make it converge to a solution. If anyone is interested, the model is here https://mega.nz/#!jFgBxI6J!jdxloYFwcuk_YyGcIMlOmJTKcPbxyD2B4... (may be I'm doing something wrong with simulation parameters, help would be very much appreciated!)
"Some Roman soldiers had dark skin" and "the show is going too far in their attempts to make it easier for dark-skinned children to identify with the history of the place where they were born" can both be true at the same time. You don't have to be Mary Beard to understand that the former is true, just read the two Cesar books, hardly something only experts in the field do. They are full of examples of foreign units operating on continents far away from home. Centuries later, foreign mercenaries only got more integrated.

This whole story is just right wingers picking the wrong example out of ignorance and then stubbornly using mob tactics to compensate. They can't have a meaningful discussion about the show because they are too narrowminded to understand why the example they picked was the wrong example for the point they were originally trying to make.
Openmailbox “upgrade”: outages, broken app, paywalled or removed features
Openmailbox, a privacy-oriented email provider popular in the Linux community, decided to make changes that, in my feeling, are simply cheating.

For the past two days, their service was unavailable altogether. Even right now, their servers respond with HTTP 502 once in a while.

They offered free email aliases, which now are completely gone from the UI and stopped delivering mail to the respective accounts.

Previously, they had free IMAP access (for Thunderbird et al), which now was paywalled and costs €4.99 a month.

Their web application is currently broken and makes it impossible to send emails.

All of this comes with zero ahead-of-time communication to any of their users, who now need to rely on third-party tools to get backups of their emails.

https://www.openmailbox.org/pricing

What are the alternatives?
OpenNLP is.... well I've never heard of anyone using it (except once in a ensemble). I think NLTK is more widely used.

Stanford CoreNLP give good accuracy and is pretty much the benchmark in English for accuracy. BUT it isn't great software. It falls over if you pass large amounts of text to it, the code is dreadful, it's hard to integrate (even in Java because of its own wacky config system), various parts aren't integrated (eg, SUTime), it doesn't have an embedding representation and it is pretty slow.

Having said all that I still use it sometimes. But Spacy is much nicer to use, and 99% (probably more) of the time the slightly lower accuracy is offset by things like the easy availability of word embedding right with the word tags.

I think it's pretty fair to say Spacy is the leading open-source NLP tool.
If Alex Jones lived in his mum's basement
No, all he's saying is that you cannot ignore genetics, and that genetics is more reliable than fragmentary historical records. And that those Roman auxiliaries would have been Mediterranean, not sub-Saharen Africans.
शक्तिशाली गर्भावस्था मंत्र – Powerful Pregnancy Mantra
@hdhzy:

The problem you are having with the icons and clicks mis-registering is due to OpenGL rendering. I had the same problem. Go to Tools-Options-View and disable OpenGL rendering, should fix the problem.

Looks like there is some problem with the Intel drivers and LibreOffice, not sure.
In a constructive metatheory, partiality is both a richer and more subtle concept than just adding option types everywhere. It's possible to model partiality correctly using e.g. quotient inductive types or countable choice (https://link.springer.com/chapter/10.1007/978-3-662-54458-7_...) or by working with setoids throughout.

Neither is a particularly satisfying solution if you want to reason about programs, which typically have richer notions of effects. My own recommendation is to embed programs via weakest preconditions (or strongest postconditions as in Chargueraud's characteristic formulas http://www.chargueraud.org/softs/cfml/). This does not allow you to directly evaluate potentially diverging programs, but is far more flexible when reasoning about programs. For example, you can use separation logic to deal with state and concurrency.

If you really want to extract to categories for some reason then I would recommend restricting to concrete categories of presheaves or sheaves - I know of no useful application that doesn't already fit into this framework. Using categories requires you to encode everything into a first-order language which is uneccesarily complicated when working with higher-order functions.
8 Steps to Getting What You Want… Without Formal Credentials (2011)
Kubernetes scheduling next step: resource prediction?
I'm never sure whether I should be amused or horrified by how much business writing tends to run on sentiment and emotion rather than empiricism.

It seems to be more about Management Feels - up to Board level - and not so much about learning how to get things done.

If you can sell a combination of subtle narcissistic flattery with enthusiastic promises of predictability, control, and guaranteed success your books will do extremely well - even if the advice is simplistic harmful nonsense.
I'd say that this is roughly on par with depicting Jesus as a white western European, but I don't see any right wingers complaining about that.
Please don't litter HN all over various threads with your attempt to be a moderator.
At the University I attended most of the lecturers did not know how to teach.

So yea, you'd probably get better results from some system designed by good teachers that could then be replicated without requiring the talent that produced it on a regular basis.

But I'm sure that same training/workshop would be a much better experience when delivered by the minds that created it than a robot that is just repeating the steps.

When I went to University what I wanted was knowledge-sharing by subject matter experts with a passion for teaching. What I got in most cases was researchers that were reading from a script and essentially ticking the boxes of the course outline.

A well designed 'active learning' session is going to have value to students for the same reason a well designed lecture will, it was created by someone with the ability to teach.
Yep, I was typing on my phone and left out the "that I know of" disclaimer.

Good info, and thanks for the link.
Please don't correct others' grammar and prose styles.
Design is maintainability and reproducibility.

Everything Apple is not.

Two things Apple did good on their laptop: the touchpad (not the pizza tray they've put on latest models, the smaller one) and the friction of the lid, that is perfect.

Other than that unibody is a heating disaster, retina screens are useless and created (another) double standard, keyboards got worse and worse up to the point they don't have real keys anymore, the UI, well, classic Apple UI, hide everything behind the curtain, if we say you don't need it, we'll forbid anybody else from even trying.

Etc. Etc. Etc.
Ageism – A new form of discrimination in technology
>first approximation in stable conditions, has the same energy <

Nonsense, unless maybe you mean the same mass of air (are you including water vapour, particulates, hire are you accounting for differences in constituency [eg ozone levels]); even then it seems highly unlikely.

Or by stable conditions do you mean ones that don't exist in reality (and in which case how is that useful as a model for the real atmosphere?).
I wonder if it would be possible to "piggyback" on that, and when you see a spoofing attempt, issue a certain order. Your advantage would be to know that their order is fake and will likely be canceled.

Furthermore, would that be legal? You are just using publicly available information.
> "If HR does nothing in this case, I will consider leaving this company for real for the first time in five years," she wrote in a threaded tweet.

Maybe I'm missing something but since when did HR become the Thought Police? Do people actually believe that if you intimidate someone into silence they will stop having these thoughts? Last I checked the psychological research in this area suggested that people rebelled against it and doubled down, even if in private.

And the threat itself - suppose she does leave the company and then what?

A person that's ready to throw both a tantrum on social media and your company's reputation under the bus the moment she hears a colleague voice an unpopular opinion does not sound like a smash hit with hiring managers, more like a risk and a liability.
That's a bit like saying there is evidence he is a white male, and that is enough for all white males to be worried.

I.e. not relevant.
I can recommend SF, I just started it a week ago without prior Coq experience. I'm using the VSCode integration which helps, CoqIDE is a bit clunky.
Usain Bolt Takes His Final Tournament to Bid Game Farewell
Unless charges are dropped, of course.
Hide All IP 2017.06.30.170630 Free Download Full Version Get HERE
I didn't realize the article even had the 'this is bad' tone.

It's peefectly reasonable that Amazon would continue to create jobs and advance the state of the art so people have higher quality of lives.
Yeah, but look at the trading volumes - at least an order of magnitude lower than 2 years ago!
> The worst thing here

The worst thing?

Suppose there is a referendum in, I don't know, Venezuela or something; that's adequately hypothetical. Imagine they put a referendum banning gay marriage on the ballots in Venezuela, and it passes with similar levels of turnout and support. There's a guy in your office from Venezuela who's reading about it, a little bit troubled by the news, and you say, "wow, I guess 60% of Venezuelans are literally horrible terrible people."

Do you think that he is going to be most upset with the precision and accuracy present in the percentage you used, and not, say, the idea that you just casually pass judgement on what might easily be 60% of his family, extended family, friends, former co-workers, schoolmates, acquaintances, and the like? Not with the way you dismiss entirely their value as moral actors, without any further attempts to seek understanding of them as human beings, pre-emptively closing the door on learning about their culture and their values, not even pretending that you've an interest in understanding their lives as flawed, imperfect human beings, implicitly disclaiming all need to sympathize with their troubles? Not with the way that you, hailing from a background of substantial privilege in the San Francisco Bay Area, college-educated, and now happily earning six figures in a software job, feel that it's right and just to look down on these people, some of whom are fighting to live somewhere better than a shack in the woods?
> but it just seems a bit too heavy to use as a scripting language, but not as good as Assembly for heavy lifting.

> but it just seems a bit too heavy to use as a scripting language, but not as good as C or Pascal for heavy lifting.

Are two variations of that statement I have heard among games developers since I am in computing.
Anecdotal, but I did things that were a lot more paranoid than "tweeting myself" when I was doing questionably legal things on the internet as a 13 year old.

So to me, tweeting "I want a sample of Kronos" is indicative of nothing.
Show HN: DiscoverDev – An engineering blog curation engine, powered by AI
This is exactly what I want.

Calls, Messages, Email, and Siri with voice to command short replies.

Map directions, Apple Pay, and Car2Go and I'd be set.
Hey HN, the maker of DiscoverDev here. The idea behind this project is to track and tag high quality technical articles published by the engineering teams of various companies. Kind of like a "Product Hunt" for engineering blogs. We've limited ourselves to company published articles (for now). The whole process is pretty much automated, but all shortlisted articles do go through human eyes for a final quality check.
We also run a mailing list and have a twitter account (https://twitter.com/discoverdev_io) for those interested.
Read our about page for more info : https://www.discoverdev.io/about
This is new? Um...

Also for mobile styling, there should be some padding / margin on the sides. I have to zoom out to see the whole text and it’s tiny as a result.
We've taken concentrated deposits of minerals and scattered them widely. And exposed them to the air where they quickly corrode away into nothing useful.

Sure, digging up landfills for a handful of aluminum cans might meet the needs of a small primitive post apocalyptic town. But that's not enough to sustain an industrial revolution.

Preindustrial civilizations are nothing to aspire to. By all measurements the quality of life was abysmal and almost not worth living for the majority of the population. I'd rather our species just go extinct than endure that forever.
This demo was first shown on June 5th at Apple Conference:

https://www.polygon.com/2017/6/5/15742310/peter-jacksons-ar-...

Why is this on HN frontpage today? (and downvotes)
Il ritorno del Nokia 3310 cosa può fare e cosa non può fare
Very frustrating. If you need a way to save a local copy of your emails without IMAP, you can use this tool: https://github.com/appleorange1/openmailbox_downloader
No, I don't have any data.

The problem with monoculture, by the way, is that you might end up discarding somebody for "wrong culture fit" rather than actual skills. And that's something I'd like to avoid.
Cambridge and oxford use a mix of lectures and supervision/tutorials - it's not a new thing: https://en.m.wikipedia.org/wiki/Tutorial_system
Indeed. Honestly, I would let them leave. That atitude makes them IMO unfit for teamwork, if one such incident makes them abandon their jobs and blackmail entire department.
24h volume 2 years ago was around 22 million USD [0]
Trading volume in the last 24 hours is 1.6 billion

[0] https://coinmarketcap.com/currencies/bitcoin/#charts
This is perhaps the most valuable thread I've come across on HN. I've been thinking about blogging for a while - thank you for the motivation!

One other thing I struggle with is topic. Everyone says niche but I'm not niche - I learn and am interested in a huge range of topics. How could I make progress in this way? I can't stick with a single topic in my own life, it'd be difficult to reflect that into my writing.
If you lie about the nature of an investment your fund is doing it is fraud, even if the investment you have secretly been doing turns out to be successful.
https://www.reddit.com/r/netsec/comments/6rlxa7/turning_xss_...
"Mind blowing" - When I view that video the first thought is "back blowing" - having to watch something hunched over a table in bad posture will kill backs, and tire arms having to hold the device up. Sure that bug with humans could be fixed, but it will change somewhat - and thats what this demo gets me interested in. What would a human friendly AR entertainment device look like?

It reminds me of the early CG movies where they gratuituosly moved the camera around from all and every angle, and later on the camera angles became tamed and good old fashioned framing returned.
Have you read The Power of Habit?

The focus on willpower is almost inherently demoralizing and absolutely not the best strategy. You should focus on building habits, even one at a time, so that you can let the habits take over without expending much in the way of willpower.

The building of habits is what takes energy, but once they've been built, they almost run on autopilot.

And on a different note, there's a difference between exercise and training. Training for a goal can be a much more productive use of your time and will probably get you better results in terms of fitness and body composition depending on the goal chosen.
I had a similar problem with my ryzen 1700/asrock x370 taichi: Every time I left computer idle, when I came back it was frozen. I didn't try pinging to see if it responded.

What solved the problem for me completely was blacklisting the nouveau module for nvidia(about two weeks without a single freeze). In my case it was an option because I use an AMD gpu for linux and a nvidia for passthrough, so I have no need for the nouveau module to be loaded. BTW this is where I got the hint: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1690085

What I got from this is that it is not an nouveau driver bug, but rather a hardware bug that has a greater chance of being triggered if the module is loaded. The same thread suggests that disabling ASLR is also a valid workaround.
That's nothing, I've seen Wordpress pages that become >4MB because they load dozens of JS and CSS files from many plugins (plus a bunch of heavy PNGs and sometimes some freaking iframes!), essentially you get a customized WP site that is the pure definition of bloat and garbage. The same people that do this call themselves WP wizards because they're able to "integrate" different plug-ins, dual hand face-palm is not enough to describe the situatioin there... The number of XSS attacks on such sites is just staggering. My immediate reaction is to close the browser tab when I encounter those.
They have brought back support for XNA/Monogame when they released the new XBox games program.

http://news.xbox.com/2016/03/14/letter-chris-charla-idxbox-u...

XNA was a victim of the usual internal wars between Windows Dev and DevTools R&D units, about which way to build software (.NET vs C++).

Hence why they are so supportive of Unity nowadays, which is the main way to develop HoloLens applications.
A Virtual LAN using NATS, written in Go
Market cap is a somewhat flawed metric, I agree, and it should not be looked at in isolation.

The daily volume tells you that Bitcoin Cash is traded (or maybe dumped?) quite a bit. It's volume is about that of LTC currently which really is not too shaby.

Don't forget that Bitcoin Cash was an as friendly fork as possible. I don't think anybody realistically expected that it would overtake Bitcoin right away. I'm not even sure if the initiators expect it to overtake Bitcoin at all. In a slightly conspiracy theoristic view, it might just have been a rehearsal for if the 2X part of Segwit2X doesn't happen and a hostile takeover might be tried.

Cryptocurrencies don't easily die and so far, Bitcoin Cash is doing okay. Calling it a failure at this point is premature.
I'm interning at a law firm, two days ago I spent 4+ hours searching through public announcements on a government website. Me and a my colleague searched through the announcements of 500+ companies in the last 3 years. We ctrl+f'ed certain words, if they were present we noted the decision date, it was that simple. But the government website had a flashy UI with Ajax that required multiple clicks to get a list of announcements for a single year.

If the government had provided an API, the same task could be accomplished in a matter of minutes.

Likewise, most law offices have FileStore's or DMS's (Document Management System). These technologies are old and slow. If they used something like Algolia or Apache Lucene on a beefy server, the productivity would increase multiple-folds.

Another thing I want to mention is automated translation software. Most contracts we write are in dual languages. People usually slightly modify terms from earlier contracts. If there were a software that could identify identical/similar blocks and find their translation, the productivity increase would be substantial.

I wonder why these firms do not invest in IT. Being a corporate lawyer in 21st century is not that far away from being a coder. You primarily work with your computer, only instead of writing computer code, you write rules in natural languages. Programmers have IDEs, Lawyers still use MS Office products with lots of add-ons.
Spot on!

If we used JS, it would be very difficult to maintain the firm layer of abstraction that gets us out of the Turing Tarpit.

Also, to a first approximation, people don't learn JS on its own. You only learn it if you're already learning traditional front-end development. That's a journey we explicitly want to save people from - so we didn't want to use a language that only web devs know.

Python is a lot easier to pick up for non-Pythonistas than JS is for non-web developers.

Perhaps we should write that blog post...
public double Area
{
get { return Width * Height; }

set
{
Width = Math.Sqrt(value);
Height = Width;
}
}

You can also use expression bodied members (that's the => syntax) with get/set. There's a shorthand if you only need to define the getter (i.e. read-only):

public double Area => Width * Height;
The manifesto is sexist. The article is not.
It turned out that Monogame is one of the official Microsoft supported ways to develop indie games on XBox ONE.

http://news.xbox.com/2016/03/14/letter-chris-charla-idxbox-u...
I definitely appreciated this early warning to get off the ride.
Regarding Marcus Hutchins aka MalwareTech
Welcome to Silicon Valley, where if you don't believe without evidence all the same things the others do, then you should be fired.

Republican? Fire them. Point out that turns out there are more men in tech than women, maybe for innate reasons? Burn them!

This is mainstream Silicon Valley opinion, and there will have to be lost discrimination law suits before it realizes just how discriminating and fascist this behavior is.
So five kilometers of flailing inflatable tube man.

I get that the upwards wind force can sustain the fabric structure, but it is hard to imagine that it could also carry a bunch of huge turbines, as well as the cabling required to carry the generated electricity. Not to mention safety concerns. Does this seem unrealistic to anyone else?

Also, would it be possible to do a proof-of-concept using an existing man made structure like Burj Khalifa class skyscrapers? Presumably it would be easier to deploy a tube off the top of one of these than to build one from scratch.
You sound like the type of person who thinks it’s mail fraud to use a couponbook delivered to a former tenant. I used to have a roommate like that.
In what universe does a country not arrest a criminal suspect when they set foot on that country's soil?

Sure, so he was a suspect in a criminal investigation before attending DEF CON. The US doesn't try to extradite literally everyone suspected of a crime from every other country we have an extradition treaty with. Extradition is a pain in the ass so the DOJ decided that it probably wasn't worth their time. Then he comes to the US, he's flagged at immigration, and the DOJ is like "OK, now it's worth our time".

Seems completely acceptable to me.
Well we have pipes that go up the side of mountains, open both ends, add a skirt to the bottom, measure if there's a temperature rise at the top?

Then you can start working on viability of materials and such, no?
Ask HN: What are some good sources for learning NLP / language processing?
Also, are there good sources for this sort of research in alternatively structured languages?

(For example: Korean which is Subject-Object-Verb/Adjective versus English’s Subject-Verb-Object)
>If every website is a blob of code that you have to execute as a black box, what's the point of writing your own browser? It'll just be a slower copy of every other, since all the potential for making it different has been taken away.

A very insightful comment
About the FreeBSD Project
Have a look at virtualgo

https://github.com/getstream/vg
Ok, reality time: out of all the getters/setters you've ever written, how many of them have you ever needed to modify? And for those modifications, how long would it have been to refactor your code base to go from public field access to publi method access ?
Federal judges, such as the one who will sentence Shkreli, are not elected.