skysight-inc/HackerNews huggingface dataset:
Thanks for the details, very enlightening! But its a bit one-sided, still: What are Schmidhuber's arguments on this issue?
You should try KDE then. It's pretty great, I think it's the best desktop environment on any platform.
> I think everyone jumping in to say "it's not the industry it's the people" or "other industries are like this, too" is missing the point.

To the contrary. It's exactly on point. We don't see anyone saying "school industry is fucked" just because some teachers are abusing the students or "airline industry is fucked" because pilots pick up stewardesses.

I find it really repulsive how it's somehow okay in our industry to throw blanket accusations and demand collective responsibility.

This is a huge weakness of our environment. Something that actually makes me consider leaving the industry from time to time.
How about "compartmentalisation" and "single point of failure" as reasons to use ProtonMail for some contact, a disposable Gmail address for others?
One of the most serious competitors is F* - it's even based on the same underlying technology (Z3) but uses a more ML-like syntax.

https://fstar-lang.org/
Ask HN: What was the secret that Jan Sloot took with him to the grave?
This has to be one of the largest (and personally the most interesting) IT myths out there. I have my own belief of what happened (which I might share later), but I'm really interested in reading what others believe went on and how (or if) he was able to actually reduce a full movie down to a fraction of its size.

Brief summary for those who haven't heard of him: Sloot claimed to have invented a system that was able to compress a full digital movie down to 8 KB which he privately demonstrated to different groups several times. He was even in contact with Roel Pieper who was Philips CTO at the time and just before they were about to go big, he passes away.

Jan Sloot: https://en.wikipedia.org/wiki/Jan_Sloot
Caveat -- personal reaction opinion, off the cuff:

If casual use is at stake, and you could care less about your metadata / network graph, agree with the gist, WhatsApp is fine, better than most options.

But Author's narrative shifts UX "Personas" multiple times, appealing to one Persona (general public) to argue for low friction usability, prioritizing delivery over confidentiality, and a different Persona who is under real (dismissively called 'imagined' when it is not imaginary) threat when talking about need for confidentiality and deniability (quote: 'very few people are the kind of “high risk” users that EFF refers to–and such users have very different considerations').

Even as the 'journalist talking to the public' persona, your sources graph is recognized as important enough that journalists will go to jail to protect it.

If you are one of the very few with 'different considerations', then (a) the original concerns are not wrong, and (b) switching your behavior based on a given message's stakes is probably bad.

And if you are one of the few, having people with nothing to hide more broadly adopt the less common apps too is healthy, as then they are not only used for dissembling.

Railing against Signal or other apps prioritizing C & I over A as less usable than WhatsApp doesn't further that end for Personas with something to lose.
Please, break the build
Notoriety is not direct evidence. People can be notorious without being guilty. I don't know whether other fields with a similar proportion of men have similar problems.

Studies highly welcome. Hearsay somewhat less.
The European Parliament doesn't have the power of legislative initiative, but laws must be voted, possibly significantly amended, and finally passed by the parliament (and council) [1].

As far as I understand, the Parliament has the right to ask the Commission to submit a law, and although the Commission is not bound by it, by consuetude it does. So, de-facto, it has initiative power.

[1] in some some areas (market exemption and competition) the Parliament only has a consultative role, although it can still filibuster a law. This consultative role was eliminated in the European Constitution Treaty, giving Parliament full voting right on all laws, but that treaty was rejected (it is as if people don't want the EU to become more democratic!)
Why old-fashioned manufacturing jobs won’t return to the West
Hmm, but that gets us back to "stage one": For that to work, you have to ignore your URL-bar...
I don't know what you do at work but if I were you, I wouldn't do that. Not because of money, but because you need something that motivates you and gives you the feeling of accomplishing things.

I'd like to quote this:

- 80% of your time goes to low-risk/reasonable-reward work

- 15% of your time goes to related high-risk/high-reward work

- 5% of your time goes to satisfying your own curiosity

Read this twice: https://www.facebook.com/notes/kent-beck/fresh-work-80155/11...
A lot of it can be managed. This probably isn't something most people want to hear, but Justin Bieber and Donald Trump don't get harassed. They don't read their Twitter notifications, and have people reading their mail for them. Public figures need to risk-manage, for example you'll never meet the Goldman Sachs CEO at some random bar, for obvious reasons. You also can't send him an email, since you don't know his address.

CEOs, men and women, ancient and contemporary have had to find ways to avoid crowds and their envy/anger/pettiness for centuries. Just make yourself less accessible.
Also, and probably even more likely than the ones I mentioned above, there is KeY for Java verification: http://www.key-project.org/index.php
Those were the prices for domestic dealers. I saw some seat-only products outside of Denmark, but many of them only fit certain toilets and some don't say which or how to know if it'll fit. Eventually I gave up since I simply don't know what toilet I have amongst the other unknowns.
The oceans’ UFOs pose new risks for professional sailors
Depends on what kind of flight simming you're into. If you're into instrument flying, there's not much need for decent framerates because you can't see anything but clouds or blue skies out of the window and 4 fps is enough to keep track of the instrument readings. For landing, you come in using a VOR or GPS route, then intercept the ILS glide slope, manage the aircraft and the engines and just a few seconds into landing take the controls and flare a little. This can be done with a mouse.

It's arguable how much flying you do in this, but radio navigation, communication, planning and aircraft management are pretty interesting on their own.
That bit can be automated, for example with PowerShell. You can export registry entries, you can copy configuration folders, it's harder but it can be done.
check his profile
yup! Leadership, Leadership position and leadership authority are distinct!

See scholars and practioners who have contributed to building a scientific foundation for leadership:

1). https://ssrn.com/abstract=1392406
Feral Interactive Talks About the Linux Gaming Market
He said it wasn't "compressing", but rather called it a "coding system" that used some "reference memory". His early patents describe some mechanism that uses a combination of RLE and references to lines of pixels stored in that reference memory.
I haven't seen any materials that suggest something revolutionary. Claims like these have been made many times during the past decades but either got busted or their inventor mysteriously died or disappeared.
IMHO just another story for conspiracy theorists :)
> There is plenty of evidence that people have conscious and unconscious biases.

Agreed. I didn't say otherwise, I just also pointed out that there's evidence some of those biases are genetic.

> There is ample evidence that the American criminal justice system, for example, is biased at several levels.

I believe this should be fixed! I'm the person who linked the google formalism for modifying a model to be non-racist. This whole thread came from that.

> I see where you're coming from: at any discussion of bias, you would rather blame it on genetics, which means we as a society are not responsible for doing anything about it.

No. My position is that I want bankers to use a race-blinded models when deciding on loans. In general, where there is bias (especially where there is genetic/non-correctable bias), I believe the biased human should be replaced by a computer programmed to not have a bias.

I want this because I think the problem is real, I would like it solved, and I believe the other methods people propose (bias training, etc) are unlikely to work.

I also believe replacing as many humans as possible will not fix all the problems I imagine you are currently attributing to societal bias (ie I believe that some life decisions may well have a large genetic component). I do not view those "problems" as things to be solved, so much as deeply disturbing indications that free will does not exist. That in some sense you and I might be discussing optimization methods for player happiness in a zero player game. That in as much as happiness exists, I worry it is primarily found by embracing our genetic biases.

> I'm sure the people that have been forced into high-paying fields against their natural inclinations appreciate your feeling ill on their behalf, though. /s

People used to make arguments like this in defense of arranged marriages you know. Letting the heart decide isn't stupid.
Show HN: Easy and cost-effective way to test your Websites, Web Services/APIs
Also it's a lot easier to contact someone anonymously with email or throwaway accounts when everyone is online. I bet you most of them wouldn't say those things in person.
Show HN: Make Tweeting simple again
Central Bank of Nigeria Bans Bitcoin
Well, I certainly upvoted a bunch of people here.
This is a great idea [your edit]!

And its already being developed by some (not protonmail though). See https://github.com/ehloonion/onionmx
The Vision of Alan Turing Towards Machine Learning [pdf]
Functional in C++11 and C++14: Dispatch Table and Generic Lambdas
That's because you got fooled into making an account. It's trying to get you to complete the registration process so they can pick questions to show you.

If you clear your cookies and go from a Google search result to Quora, you can read the answers on the page that you're on. If you navigate to any other question, say via the links at the bottom of the page for similar / related questions, the answers will be blocked by the signup popup.

If, instead of signing, you go back to Google and search for the same "<question> quora" it'll work again. The thing to remember is only the first page you navigate to from Google will display properly.
That was everywhere in England and Wales apart from London? Interesting low sterling rewards these places... it makes it cheaper to onshore work to them, and it lowers the actual cost of providing things to them (social security and health)
How is this still a thing? Today: discrimination and victim mentality
I have always assumed that such an old social problem has long been settled, but it is somehow all the same. Nothing has changed.

On the one hand, adult people who discriminate against other fellow human beings. On the other hand, people who feel discriminated against and demand special treatment from other people from their usual victim role.

Case A: Human A shares a workplace with human B. Human B works very well. Human A works well, but not as well as human B, and therefore performs less in comparison. Therefore, human A is looking for a reason to sabotage the work of human B, and finds a peculiarity in human B, through which human A can discriminate human B. This is what human B is doing so that not only does the performance of human B stagnate, but human B feels forced to quit the job. Human A performs exactly the same as before, but now better in comparison. Human B has become a victim of discrimination in the workplace.

(Problem: Is it possible to use those scenario to determine which gender human A and B are attributed to? Which gender are human A and B?)
Having done this (/ currently doing it), I would say: follow your heart.

Taking time off to nurture your own projects is a fine and reasonable personal endeavor, but not necessarily an optimal business or financial one.

In many ways, the time and space can help you explore and expand your ideas into something in the middle of the venn circles between "your happy with it" and "the market is happy with it".

But, don't expect to be done with day jobs after burning through "a few $k".

Depending on where you live, and who's in your network, you may be able to move to part time, agency, or freelance work after burning through your runway in order to keep enough time to work on your thing.

My operating assumption with all of this is, your current day job is preventing you (in one way or another) from focusing on your own projects. This is ok. Not everyone can handle burning the candle at both ends with the day job and night-work. Figure out a way to make space for both until the personal project becomes sustainable.

Beyond this, the other advice about 10-15% tech and validating your idea before hitting the code is solid.

I have a single-time-purchase iOS app in the App Store, and a month or two after releasing the app, spending one day investigating blogs and websites, and one day sending tuned press release letters to them did more for my sales than any new feature I could have designed or coded in that amount of time.
I have this running for a while now and use it for a lot of different stuff. Please dont abuse it, but feel free to integrate it where ever you need it.
As a former American now living in Japan, my perspective since leaving is that America has an edifice of "legitimate" news sources that serve as propaganda outlets by means of their focus and omissions. I lost count of the number of NYT/BBC/etc stories that misrepresent Japan and Asia in general in the context of geopolitics, popular culture, etc. Not to mention the overt election-steering by the NYT in its efforts to stimulate support for Clinton (which oddly continue to this day).
I am sitting on a pile of hacks of an Openbox setup right now, and it does most of these things (the one big thing missing at the moment is a language switcher, learned it the hard way), so I'm used to it.

It's the attitude that annoys me, I guess. A lot of OSS stuff doesn't feel like it's made for "real" people - sane defaults and such. With i3wm specifically it's just more obvious because it's minimalist-to-a-fault, but there are little things I find counter-intuitive even in something like GNOME.

And while I do appreciate modularity of a light WM, and being able to fine-tune things to my liking, I'd like to see more projects like elementaryOS, regardless of how many times people say it's all "bloat" or "botnet".
Case B: Human B has become a victim of discrimination and is therefore attributed to a group of people who are often treated equally bad (see: positive discrimination). Human B is preferred when applying for a new position and in some other questions. This new special treatment pleases human B very much. Human B is now working with Human C. Human C has not enjoyed any special treatment because human C does not belong to the discriminated group of people. Human C works very very well. Human B works as well as before, but performs not as well in comparison to human C. Therefore, human B looks for a reason to sabotage the work of human C, and claims that human C is discriminatory and that human B is treated worse than others by human C because Human B belongs to the discriminated group of people. Human C is wrongly accused, but must bear the full consequences. Human C suffers and only the performance stagnates, but human C feels forced to quit. Human B performs exactly the same work as before, but now better in comparison. Human C has become the victim of victim mentality.
(Problem: Is it possible to use those scenario to determine which gender human A,B and C are attributed to? Which gender are human A, B and C?)
Regarding a), a sharded postgresql (i.e. with citus data) can easily accomodate that workflow with just a tiny bit of extra overhead.

Re c) this strongly depends on the usecase, I've seen companies use a) to avoid split-brain problems and having to manage two data pipelines to great success at similar scales. You might find https://www.youtube.com/watch?v=NVl9_6J1G60 interesting.
My employer kinda mandates using LinkedIn... I have a couple of IFTTT recipes set up so that it looks as if I'm super active, while I only check once every other week to accept random friend requests.
Show HN: XNOR.ai allows you to perform supercomputer level AI on mobile devices
> https://en.wikipedia.org/wiki/Mathematical_economics

Like I said, mathematical models of economics are a simplification, and this fact is widely accepted by most economists. This is not by any means a dismissal, as it provides valuable insight into the behavior of human society, but viewing it as the beginning and end of economics will place massive limitations on any analysis.

In particular, as I mentioned, the study of sociological conditions and human psychology provide valuable insights. Take a look at behavioral economics and the work of people like Daniel Kahneman.

https://en.wikipedia.org/wiki/Behavioral_economics

> A lot of us disagree.

It is a simple conclusion that follows from three premises, the first of which you seemed to accept earlier, the second is self evident, and the third of which follows from simple economic principles

1. A lot of the wealth today has been created through illegitimate and unfair means.

2. Wealth gives its owner power over society and the direction it takes.

3. People who have power/wealth will do anything in their abilities to maintain and further increase it.
> Similarly, the US' problem with Russia is that they play chess, while US politicians play checkers.

In Germany they rather say that Russia plays chess, while the USA play poker.
> I'm thinking there must be a reason they do not mention F* , Coq, Agda, and Idris

The ones they do mention are all imperative languages with added deductive verification in a Hoare calculus style (think loop invariants). The ones you mention are functional languages with a different style of proof (think inductive proofs).

Of course there are overlaps between the two styles (notably in Why3), but there are pronounced differences between them.
Messed with it very briefly while distro hopping, actually. Found that it did a lot of things UX-wise very nicely, but I ended up not keeping the distro for whatever reason, then just never came back to the DE. (I think it was the Kubuntu LTS not playing along with my laptop?)
No it's not. Trump said he wanted to register people based on their religion. NSEERS says if you're from one of five countries or are individually selected, you have to have additional screening. Also NSEERS doesn't even exist anymore.
Combat: DCS World is popular. Warbirds is still alive. Rise of Flight for WWI simming. IL-2 if you want single player. Falcon BMS for modern, detailed aerial warfare (weapon systems, radars, etc).

Civilian aviation: X-Plane, Flight Simulator X Steam Edition, Prepar3d. With IVAO or VATSIM if you want multiplayer with real humans doing air traffic control.

Space: Orbiter or Kerbal Space Program for simulation. Elite for combat.
How well is KDE supported in Fedora?
IMHO they hardly "fixed" anything.

Besides the (irrelevant but mathematically and financially incorrect) higher price per unit of the "Medium" plan against the "Small" plan of 14.90 vs. 14.50 per user, they have only re-labeled Personal/Pro/Enterprise to Small/Medium/Large, while:

1) Increasing "Small" by roughly 30% from 10 to 14.50

2) Leaving "Medium" as it was before

3) Lowering "Large" by roughly 50% from 25 to 12

So, if I hypothetically had 12 "Enterprise" users before, I paid 300 bucks, and now with the same people I pay 600.

Nice "fix" for anyone in the 11-23 people range.
I played Nintendo's new game console, the Switch – this is what it's like
What kind of setup you have for KSP controllers? Do you have something for translation/rotation control for maneuvering in orbit? Two joysticks or a secondary joystick/hat in HOTAS or something?
This is completely off the original topic but: by any chance do you use a Japanese-layout keyboard? The colon used in place of the apostrophe indicates you might be doing that. If so: I'm curious as to why. I used to live in Japan and ended up naturally getting used to it when using a laptop bought there, so the colon stuck out to me.

A little more on-topic: Playing MtG during lunch would be nice because it gets you away from a screen for a bit. I find the most refreshing way I can take a break is with a book or some other non-computer related activity. I find that there's something about staring at a screen for a long period of time that seems to take away some ability to focus or something. I can note a clear difference in taking a break between using a phone/computer and not.
So your job takes up ~11 hours of each day with your commute. Get a closer job. A few thousand dollars is not enough to survive on.

> Also it's become harder and harder to get up everyday to spend the day working on something that does not wholeheartedly passionates me.

Most people don't like their jobs. Most people hate their jobs. Go to work. Get money. Build a business at night and then leave.

If you blow through your savings and/or retirement in six months you're just going to end up in a worse position overall.
I tried doing that in the past and went back to Arch instead.

My problems (2-3 years ago, I think?) were mostly due to laptop related stuff that wasn't packaged (i.e.: A lot more work to get started) and important (for me) packages being seriously outdated: Again work to get my system up and running.

So it boiled down to a huge amount of package maintenance and felt like that'd be something I'd need to continue doing for as long as I'm using NixOS vs just updating my distro of choice.

I'd try NixOS again for a server. I wouldn't recommend it for a desktop/laptop though.
1. Don't quit your job if you can't live off savings for at least a year. Having a job allows you to have a safe base to experiment ideas without the burden of making profit.

2. This is business, forget about the tech stack you are using or finding the perfect tool. Your main goal is to create value and make someone's life easier. My advice is to use the tools you are most familiar with, this will allow you to be productive without worrying about things like "which chart library is the best for Angular 2 RC 5". There are successful business that started out with a spreadsheet.

3. Be aware of survivorship bias. While Levels apparently succeeded bootstrapping many of his businesses (and I think he did), there are hundreds of other people that you'll never hear the name of who failed miserably and wasted many keystrokes on launching a failed product.

4. "Perfect is the enemy of good". Ship things fast and don't be afraid of doing things that don't scale like processing payment, hard coding a few things (if you know what you're doing) and even calling users to get a feedback on your product.
Hotels and other accommodations in Canada
You should have at least 18 months savings of your expenses + expected business costs. That's least runaway you need to get ramen-profitable if you do it alone and not planning on raising any money.

If not do, do some freelancing, part time job, whatever you need not to run out of money.