skysight-inc/HackerNews huggingface dataset:
Yes and no. Best example I know:you can teach engineering as a very applied trade (basically, here's how to select a technique known to work and here is how to tune it), which is how they tend to do it at the Fachhochschulen, or you can teach it as "here's how previously we stole all the cool ideas from physics and maths and what new techniques we built, you'll hopefully be able to find out how to build on it", which is more common on universities.

Having worked with both, the difference is noticeable. The FH guys are actually usually much better engineers in "standard" problems, cleaner code etc, but if you have to drop down abstraction levels and make your own techniques, the university guys tend to fare better(already filtering out incompetent people). It's a different education, with different goals. One is more general and aims to deepen your general understanding, Hoping you'll be able to derive the techniques. The other focuses more on practical application that will get you a job now and hope you'll learn the deep understanding with time. But there is not as much connection between what is taught as one might think.
Likewise, ask any professional trader what they think of academic finance.

My tl,dr is that I think university or something should have the explicit goal of teaching "useless" knowledge with the aim of giving deep understanding. Then everyone who just wants a job can avoid that, and we don't have to water down the curriculum
Apple Hires Executives from Sony Pictures TV to Lead Push into Original Programm
> You probably need to see HTML emails, handle calendar invites, etc.

At work I use Outlook only for the calendar.
I could never really enjoy vim in a graphical context - but whenever I have to edit inside a terminal I'm super productive with it. I also stay mostly on Sublime, and never liked vim emulation - my brain doesn't engage in vi mode there.
Shkadov Thruster
Cyber Triage Has a New Look
What is a "non-mercerdi breach"(sp?)

Heard here: https://youtu.be/IWVZYKGTenE?t=2876 (and earlier too)

Not sure of the spelling or the definition.
How does Idris compare to Agda (1) and F* (2)?

[1] http://wiki.portal.chalmers.se/agda

[2] https://fstar-lang.org/
~/.mailcap: text/html; lynx -force_html -dump %s; copiousoutput

~/.muttrc: alternative_order text/plain
It means that the OP doesn't know that he's talking about.
I expect that the answers to these questions will be "whatever makes facebook the most money without drawing too much public distrust."

This is the company that performed psychological experiments on their customers without informed consent. The same company that worked with the government of Pakistan to EXECUTE a citizen spreading 'blasphemy' on their platform.

Zuck seems to want to start getting into politics (kill me now) so probably the best way to combat facebook's continuous moral disasters is to hold him personally responsible for them.
It would be great if this feature was extended so that I can sync my books across different Calibre installations on different machines.
Does that exclude 'selling' to Fannie/Freddie? As I understand it this is considered a normal part of the process for mortgages
That's not even necessary. Using just logic, probabilities and computation, research scientists have been able to beat very strong poker players head to head.

http://www.wired.com/2017/02/libratus
I totally agree that stratification at age 10 is pretty terrible, but stratification in universities seems like a very different story.

At college age, people are much more capable of making their own decisions, and their actual capabilities and weaknesses have also become clearer and more stable. And it's not like going to a Fachhochschule is going to set someone up for a hard life as being assigned to a Hauptschule pretty much does.
What's a good way to get mobile notifications about an IRC message?
My comment was based on the current reality. It is not "false". You're speculating about future capabilities which SpaceX is working towards (and certainly seem likely to achieve), but have not yet accomplished.
Yes. They're amazing for theorem proving (see Agda, Idris). They're also useful for refinement types, proving type class laws like for monads, etc.
Not sure if it does autocomplete of dub packages[0] but it has most features other plugins on other editors lack[1].

[0]: https://marketplace.visualstudio.com/items?itemName=webfreak...

[1]: https://wiki.dlang.org/Editors
I wonder what the archival properties of this paper are like. Is it fully inert? That would be useful.
You don't need a different NoSQL database, you need a relational database.
Counter-anecdote: my uncle died on a non-union construction site.
Overall, I agree with you. Mass incarceration is largely about money.

Also, prisoners count towards the population of where the prison is located at census time. It allows mostly white, rural locations to increase their minority representation at census time, that's the kind of thing that's taken into consideration when government assistance is being handed out.

Additionally, this can help when apportioning congressional districts.

Hundreds or thousands of residents who can't vote are a great reward for congresspersons who can bring new prisons to their districts.
>I wish Grados were more comfortable.

You might be able to stick the larger cups on yours, the over-ear ones (G I think?). The sound will change, however.
Slow security is good security.

It makes brute forcing more difficult, and promotes decentralization of infrastructure (slowness adds up only for large-scale deployments like Google and Facebook, and we want to depend less on centralized actors, not more).

If you need to choose between strength and performance, choose strength in nearly 100% of all cases. You make the job of NSA or GRU much harder, and promote offsetting security mechanisms to the edge, where they ought to be.
The name reads like micro-MOOC to me, which a) is kind of funny (micro-massive-open...) and b) reminds me of this: https://en.wikipedia.org/wiki/Micromoog

How is it supposed to be read? you-mooc?
I really like routeros from mikrotik, but it was part of the leaks as being hacked... so ymmv
> The best toys are not really widely known or battle tested.

I know, I worked on some of them.

> However, consider people have had a long time to prepare for aircraft carriers without a direct conflict between major powers and aircraft carriers are easily tracked in real time by satellites.

As I mentioned in another reply, it isn't as easy as some people seem to think to find and track a CVBG by satellite. As I also mentioned, I'll go into more detail when I'm not on my phone.

> Further, they might as well be sitting still in terms of a high mach (AKA 10+) missiles.

I'm not aware of any hypersonic cruise missiles in that range, and those that approach it have relatively short ranges. I would need to look at this further.

> PS: Remember, we where doing optical recognition for missiles twenty years ago. So, reasonably close is going to be a hit most of the time.

Longer, I believe. Image recognition for terminal guidance is not foolproof, though. Plus, as with any weapons system the countermeasures groups have not been sitting still.
Hey, just created an account and can't figure out how to PM. Can you give me bit more details about this please? a starting point / reference material / resource / blog.. anything helps. Thanks!
That depends on the orbital destination. Delta IV Heavy has a _very_ eficient upper stage, which makes it better for high energy destinations.

Additionally, the Falcon upper stage has very limited on-orbit capabilities. It can't coast for a long time in order to insert a payload directly into a high orbit. (Though SpaceX is working on this, and did some tests in that direction on the recent NROL-76 launch)
Kind of like if Ikea made legos (but ideally without the arguing couples)
dont know why you have been downvoted but, yeah if you are choosing your editor for a theme i can only LOL
I've yet to run into an Amazon-purchased book that Calibre can't liberate, and I haven't even updated Calibre since installing it a few years back. Where are you seeing this turn up? If I need to be looking for alternate sellers or finding some workaround, better to know it ahead of time, I suppose.
https://news.ycombinator.com/showhn.html

Blog posts, sign-up pages, and fundraisers can't be tried out, so they can't be Show HNs.
I would really love to be able to easily check my pancreas for any unhealthy changes as the inherited risk is pretty high.

That sounds good, but it would be necessary to do this in a way where problems with only a low risk would not be highlighted.

For example, to avoid a brain aneurysm, you might opt to be scanned on a frequent basis. Except what happens if they find a blood vessel with a 1% annual chance of rupture but the fatality rate of an operation to reduce the risk is, say, 10%?
This places most people into a very difficult situation where the difficulty of having a 1% annual risk of rupture is hard to balance against the 10% chance. This is just one reason why proactive screening is not done in otherwise healthy subjects.
"Note:

"On initial release, the book reader is fully functional but is missing some more advanced features from the main calibre viewer, such as popup footnotes, bookmarks and annotations in general. These will be added in due course. In fact, the browser reader is designed to eventually replace the main viewer, once it matures."
America’s new tobacco crisis: The rich stopped smoking, the poor didn’t
I'm extatic one of my project reached 100 stars. Sometimes we need to feel good.
You said a key word here. "Consultant". I would say you, too, are a consultant, by dint of working for a consulting firm.

A consulting firm, at least, a good one, cares about reputation. There's also a huge level of buy in from the business. You said it, -you're the expert-. That's a fact the business hiring you recognizes, and is why they're paying consulting fees. So yes, you're empowered to say no.

A standalone contractor, however, was not hired for his/her expertise, but to instead be slotted in to an existing project to churn out features, or fix things. The company hiring them has invested far less, sought out far less, stands to both gain and lose far less if things sour, and will have no qualms terminating them if so inclined.

I've seen it firsthand, over and over again. Contractors are second class citizens to employees. But employees are second class citizens to consultants.
> our academic system is flawed to the extreme. Even the dual systeme.

Yes its flawed but not to the extreme like you suggest. One of the biggest problems we have, and this I think is common to almost all countries, is that there is very little emphasis on applied knowledge and much more on theoretical knowledge. The duale Studium is a better way to attack the problem than anything else currently out there IMHO.

Another problem we have is that motivations are flawed for our Professors. Many Professors want to conduct research and don't care about teaching the material, on the other hand you have some Professors that don't want to research and would just enjoy teaching the material, yet everyone is incentivized to conduct research because its the only way to progress. I think this is fundamentally wrong. Its bad for the students and bad for the professors. If a professor just wants to teach he/she should be allowed to focus on that area and be judged by how well his students can actually apply the learning they acquired in the course. If a professor wants to research he should be judged by his research.

There are so many other problem areas as well, for instance, I think we should allow much more mobility between disciplines than is currently the case. I've studied computer science and although I'm quite familiar with computational finance I would probably not be allowed to get a Phd in Finance since I've never taken business/economics courses. Although if you tested me on any number of financial subjects I wouldn't have a problem describing how to model/analyze/forecast the data. So there are a lot of arbitrary hoops that keep people down and force you to not to change you field of study. Its also very difficult for older people mid career to get a degree and increase their personal capital that way. These again are just some problems that we need to address but "flawed in the extreme" - I tend to disagree on that one.
Anyone who thinks that Hacker News comments are a great source of information should consider the number of top-level commenters on this thread who don't know the difference between fast collision-resistant hashes and password hashes, but who decided to post as if they knew what they were talking about.
Atom is free. Sublime costs $70. Plus, Atom comes with several lovely features Sublime doesn't have. Pay less, get more? Great deal! It's funny to catch friends looking at Sublime's payment popup window. I always joke, "oh, you're still evaluating?" Of course they're not evaluating. They're never going to pay for it. What a nuisance.

Atom has excellent window management. It's very easy to drag a tab and split it half-and-half with any other window horizontally or vertically. Amazing! Sublime doesn't do this.

Atom allows me to rearrange files in the left-nav. I can drag a file from one directory to another. Sublime doesn't do this.

Those two simple features alone are killer features for me. I don't see why Sublime doesn't copy them.

I understand Sublime has some cool multiple cursor stuff. My friend has definitely wowed me with a specific example before. I use vim motions inside Atom, which are great, and I'll occasionally open a file in native vim if I want to use more powerful features like recording macros.

Sublime's code-preview side-bar is semi-useful. It definitely looks pretty. I used an Atom plugin that emulated that behavior but ultimately disabled it to gain screen real estate. Also, long files with redundant code blocks (that looks oh-so pretty in that side bar) is bad code! Keep files short, gain screen real estate, and there you go! I swear, I worked with someone who used Sublime and he wrote the longest, most redundant code I've ever seen. I assumed he loved looking at the code in that preview side bar. I admit: the experience left a bad taste in my mouth.

Those are my reasons for using Atom over Sublime. Sorry I don't have enough experience with VSCode to answer your actual question!
Amazon to Acquire Whole Foods for $13.7B
Paint, when it gets old, flakes off the out-of-reach surface onto the floor. The lead paint flakes are sweet like candy. As such, it makes sense to just not have leaded paint, period.
Empathy won't necessarily save your job from Artificial Intelligence
Why Visit Mbeya in Tanzania? – Exploring Motherland Africa
Hell... yes. That would be a holy grail for me.

I store everything in Calibre. When I buy an eBook from Amazon, the first thing I do is strip the DRM. Because even though I'm basically happy with my Kindle library, I don't want to lose all my stuff if they change their policies to something I'm not happy with in the future.

So I'm doing most of my library management from a PC, but doing most of my reading from a Kindle Fire. There's no great solution for this, so I've just been taking the books that I'm actively reading and copying them into Dropbox.

This is an interesting project, and I'm sure I'll try it out. But I'm skeptical of using a browser-based book reader on my Kindle. Say what you want about Amazon, their native reading app is still the best I've ever seen by far. Meanwhile, even Amazon's own web-based reader is crap.
Elixir as well.
This UI looks like the control panel of a commercial aircraft.

Not sure if that's a good sign or not.
The idea that unregulated markets can lead to price fixing and cartels was not original or unique to Marx, as I and others have pointed out even Adam Smith was very well aware of it, and it does not itself imply all of the rest of Marxism.
High unemployment rates, political instability, and [stress]. Seems similar to any other form of crime. Social expectations, social economical problems, followed by stress. This then lead to displaced violence.

So the question is then, why just men? How do the social expectation differ, does social economical status effect men different than women, and how do stress factors play out. Can we see difference in the way women and men do displaced violence?
He was still paid millions to continue performing his job. If after that match he was "fired" from chess I don't think he would take it in stride at all.
I'm surprised no one has mentioned MH-E. I've used it continuously since the 80's. About 15 years ago it got multipart MIME support, which has improved every year. I can handle attachments like a boss. I even wrote a filtering system that sits on top of it (a replacement for the inc program that sorts into different inboxes).
Perhaps it would help to note that in QBism, reality is not denied. Rather, the objective reality of the quantum state is denied.

Not sure what you mean by incompatible results. Certainly QBism is incompatible with Many Worlds! The latter states that the quantum state is real and objective, the former states the opposite.

The QBist horsemen have devoted some attention to the question of compatible quantum state assignments. See: https://arxiv.org/abs/quant-ph/0206110

However, Chris Fuchs does not see any problem in someone assigning a probability-1 belief to a measurement outcome and being proven wrong. See section 2.2 of https://arxiv.org/pdf/1705.03483.pdf

This last point in particular should bring home the point that Fuchs does think there is an ontological theory underlying physics, but that we are fooling ourselves about how much of it is objective/observer-independent.
Humans have no purpose, at least not objectively. None of these traits is uniquely human nor are they magical. If it's a material property, eventually it will be replicated through engineering.
This involves speculating on a race between two other highly speculative technical research projects:

1) When AI is able to mimic humans in terms of creativity, passion, emotions, etc

2) When we are able to biologically integrate compute resources into the human body

Future scenarios might be vastly different depending on which of these two technical research projects wins the race.
A reuse marketplace for businesses, charities and individuals – Globechain
Core Principles to Get Leads from Social Media
Can't you just put your library and database on git or Dropbox? It should just work, unless you're accessing them from two devices at the same time.
I haven't read Kasparov's book and the short article doesn't really dive deep into it so I can only comment on the BBC soundbite...

If people are "pushing back against AI", it's not the progress of technology they're against -- it's the economic consequences. People are worried about joblessness and no financial security for retirement.

It's similar to saying "embrace outsourcing because you get cheaper products" or "embrace H1B because America was built on immigrants and their skills".

You can't just speak of those aspirations as general platitudes without being aware of what the real worries are. People aren't xenophobic -- they just want to keep their livelihoods.

If you don't address the commoner's concerns, you'll be perceived as disingenuous.
Amazon to Buy Whole Foods
The original title, which is also the title of the repo, was much more accurate. The author mentions these are models to download and start playing with right away, not a set of repositories to help you learn deep learning.
Mutation Testing: implementation details
It actually sounded like he was still hurt by it, he was very derogatory about Deepblue, it had no intelligence, just cruching numbers etc. He was finding other faults with it except for the bit that beat him.

The quotes I've heard coming out about Alpha Go (from Go players) seem to be more repectful - that it's actually teaching professional go players new ways of playing.
Most of the people I know aren't swayed by the "tough on crime" narrative. Certainly not me. But then again, I live in a techno-liberal-intellectual bubble. I believe this "punish those who do wrong" mentality (which is understandable on the face of it) is definitely built into the conservative wing of American politics.

Public opinion is swayed at a very superficial level. Emotional stories about convicts going free or people getting killed are always going to have a more substantial impact. Especially compared to mundane stores on successful prison reform -- 10% shorter prison sentences? 5% higher rehab rate? This guy who murdered people has a stable construction job now? Ignore the ideology, I think the optics of prison reform give us this unequal incentive structure.
How can a indie dev keep pace with big five? [pdf]
Amazon to Acquire Whole Foods Market
The resetting of undo history when saving have had me screaming more than once...
Install an IRC client on your phone?

If this is just going to be a game of "let's list every feature Slack has bolted on to their chatroom" then I don't care to play.
I don't believe you'll get a better than "smash rocks, see what happens" understanding of what the LHC does without significant time invested in understanding.

That's okay: politicians don't actually need to know how it works, they need to know why they should build it -- which is a) something they have domain expertise in and b) a much easier question.
Is there a hello world-y example of refinement types, similar to Vectors with length?
A plus for neomutt is that it integrates nicely with notmuch for searching emails.
Idris is a really great language and I recommend that anyone struggling with Haskell give it a try. As an OCaml programmer struggling to adjust to Haskellisms, I (ironically) ended up learning Idris before Haskell. Some of the features -- strict evaluation by default, IO evaluation vs. execution, more alternatives to do notation, better records, effects instead of monad transformers -- make Idris vastly easier to understand as a beginner despite the use of dependent types. As a language, Idris is still lacking a couple of things I'd like (and there's still plenty of bugs), but it definitely feels like it's a much refined version of Haskell.
This is the best theme on VS Code I've found so far. Lovely. https://marketplace.visualstudio.com/items?itemName=azemoh.t...
Fachhochschule gets a bad rep from snobs, but having worked with graduates, they often beat university grads in application fields. It's just a different focus
Amazon is buying Whole Foods in a deal valued at $13.7B
I'm not trying to be helpful. But I find this worry about having to configure CLI tools to be overstated. Just because they allow you to configure everything doesn't mean you have to. My personal email setup is: "sudo apt install alpine", configure account info, done.

You don't even have to memorize the action keys, Alpine shows the available actions for the current screen at the bottom, with helpful labels. It's arguably clearer than Gmail, with its unlabeled icons.
I use Emacs (with Spacemacs) + Notmuch with mbsync to pull in new mail and msmtp for sending mail. It works pretty well and it's easy to find old messages, which is the sort of thing I need the most from my email.

There are lots of these around, but if you're interested in trying it out I have a pretty simple Spacemacs layer for Notmuch as well.

https://github.com/cmiles74/spacemacs-notmuch-layer
> 501c5's are non-profit organizations.

Which are corporations.

> But no, you want elections in places WITH unions annually, but you don't want elections in places WITHOUT them. Democracy only when it suits your desired outcomes.

Aside from having a number of basic misunderstandings about corporate and labor law, you're making enough assumptions and judgements about what I want that it's clear you're really interested in having a discussion with a straw man that doesn't actually exist, not with me. So I don't think this discussion is going to go anywhere fruitful.
https://news.ycombinator.com/item?id=14568468