skysight-inc/HackerNews huggingface dataset:
Well, I didn't say anything about the quality of set (E), only that it makes sense to consider the possibility of it, especially when there is an apparent contradiction in the (U only) set.

I agree that specific beliefs about the Eternal=God would require much faith since (E) is by definition outside the box (U), and therefore beyond our reach of scientific experimentation.

There might be avenues where (E) could communicate with members of (U), but that is a different discussion. I would recommend as much evidence as possible should be pursued in verifying any specific claims about (E).

---

Going back to your first point, I understand that you are saying that there could exist a set (U+O) = all things that are made and all things that preceded it (Occam's Razor).

So that would make it equivalent to the (U=E) set which I mentioned.

Another words, if something exists in the set of things that are made, it was also made, which was made, recursively.

However, when we consider the Big Bang, then something spontaneously prompted the singleton to transform into an infinite expansion.

From this observation, the only possibilities I see are that either the universe was affected by an external actor (E) or the universe itself is eternal and cyclical and the singleton was a temporary state (Bang-Bang theory).

Logically, I don't see a contradiction in either possibility.

However, I do see an extreme difference in quality:

If (E):

Things in (U) have the possibility of eternal significance and stuff actually matters:

- Love
- Relationships
- Death
- Work
- Exploration
- Joy
- Suffering
- Eternal Life is a Possibility

If no (E):

On the other hand, if we are simply existing in a cyclically eternal universe, then absolutely nothing matters. We are simply a dot on an infinite timeline. Our atoms will be scattered across empty dark space in an infinitely expanding universe. All is entropy and darkness. Meaning is an illusion.

If the second is true, we don't act like it and we lock away the people who do.
I really like type systems. I think that if you take the time to learn about type theory, then you are more likely to create better solutions (both with code and in life in general).

However, it isn't free. Type theory is a kind of math that most people have very little exposure to, so there's going to be a lot of work in order to start becoming proficient.

Additionally, there's more than one type of type theory. Are you using a system F like system? Are you going to have sub-typing? Is it going to be structural sub-typing? Maybe you want row polymorphism. Is there going to be a kind system? What about higher order poly kinds? Dependent typing? Intensional or extensional?

Additionally, there's more than one type of implementation of these type systems. Ocaml functors ... is it a generative or applicative functor? Haskell ... are you using gadts, functional dependencies, or type families?

In the end I think that type systems will eventually be able to get you a completely typed experience that feels exactly like a completely dynamic experience, but with compile and design time checks that always make you feel good about the experience. However, I don't think we are quite there yet and I don't think you can expect everyone to be able to take the time to get sufficiently familiar with an arbitrary type system in order to be productive with it.
Not every person looking for a job has to "beat off recruiters" - some folks would be happy to hear from any recruiter, I imagine
Anyone know what they have to stop people from just ordering/returning a new set of clothes every week??
On the Rise of Kotlin – Heroku
Thanks. Now have new argument for my colleages to convince them to use spaces.
Paul mentioned he reads his essays out loud. In that context, it flows nicely.
Mobile Application Development Essentials
Yeah. The webpage is remote and using ssl and now wants to talk to the locally installed app.

I agree that SSL doesn’t make sense there and honestly, in my opinion it would make sense for browsers to treat localhost as a secure origin.

But they don’t and so we’re back to square one which is that a secured origin can’t make requests to a non secured origin.

Update: newer browsers do in-fact do this. It’s also part of the WHATWG spec: https://github.com/w3c/webappsec-mixed-content/commit/349501...

Of course there’s still IE and Edge that are of different minds, but it’s nice to see movement
It does, and it's awful.

In theory it would work out ok. In practice, people use different tab widths, and don't always notice they are "wrong" when doing a quick change. Next thing you know, you've got spacing like your tab width should be 2, 4, and 8 spaces and you really have a mess.
Some kind of crypto-haven like The Isle of Man or Liberland
That word - "hyperobjects" - has deeply hurt my soul.

Why do people come up with things like this?
> This means changing our relationship with the other entities in the universe – whether animal, vegetable or mineral – from one of exploitation through science to one of solidarity in ignorance. If we fail to do this, we will continue to wreak havoc on the planet, threatening the ways of life we hold dear, and even our very existence.

If we discover another epoch-making asteroid on a trajectory that intersects with Earth, I'd prefer that someone exploit the hell out of it with science instead of standing in solidarity in "ignorance" with the minerals.
When you have large amounts of data, even if it's for a large number of people eventually youre going to find odd 'correlations' between unconnected variables. People who play edition X of Dungeons and Dragons are 30% less likely to eat chicken sandwitches than people who play edition Y. If you know a thousand things about everybody, the data is going to be riddled with bogus 'connections' like this.

In this case it's too small a sample for this finding to be significant, but increase the sample size and also increase the number of data points per person and you get similar problems. Determining significance is not straightforward.
I had the same thought https://twitter.com/drob/status/877179616322084864

> I'm not sure I'd agree with the conclusion that version control breaks the indentation pattern found elsewhere

The graph still looks like git-spaces is significantly higher
This is a discussion that I've encountered a lot lately -- it seems to boil down to:

Is civilization different from nature? Is it doomed to be destructive, or can it create something new and better?

Many people I've met lately are intellectual materialists, and they are pretty pessimistic about the future.

I have to say though that I'm on the side of civilization. We've got problems, but I think we'll get our act together over the next few centuries.
What Does Safari and Chrome Ad-Blocking Mean for Devs?
To me there is no logic to it. Just someone who wants to be breaking down rather than building up. Building is a lot harder.
As it turns out, it's really hard to monetize an S3 bucket at scale.
RT is a state-run propaganda machine of the Russian government.

Spoiler-alert: they only have the interests of the russian government in mind.
Inverse Problems [pdf]
I'm glad you have a system that works for you and your collaborators. :)

But you've also pointed out a cost to what you are doing. If everyone adopted one or the other, you wouldn't need an .editorconfig setting. You've increased the burden of collaborating with you by requiring a particular configuration setting.
More importantly: vi, or emacs?
> Anybody can view CNN, Fox News, Russia Today, or the South China Morning Post at any time.

And what about the big/relevant papers that request subscription? That's a barrier a good portion of users in general and a huge one for Latin America -- where I currently live.

Some mobile carriers won't account data transfer to FB, Twitter and likes, making it attractive to users with very limited data plans -- e.g. 300MB/month. So people wanting to consume news or content will rely solely on what's available within FB, because in theory it would be less expensive.

I see this as a great opp for both FB and the carriers to build partnership with content providers.
In my case I’m using this to allow people to read data from a locally connected (via USB) barcode scanner.

Remind me again how <video> would be of help there?
Lmao, yes
You say that like it's a bad thing. I think the management perspective would be that they're good at hiring and/or outsourcing, which are definitely good management skills to have and arguably what doing the job well is all about.
I guess it's time to try Firefox again. Always missed the superior URL bar experience over Chrome, and it seems my other excuses have been dealt with :).
I found this helpful for DB Optimization -
https://medium.freecodecamp.com/django-performance-optimizat...
That's some strong words. Imgur wasn't a parasite, it was offering a service that Reddit didn't offer but we needed. Yes Imgur was quite dependent on Reddit at the beginning but now Imgur has its own community and the two are quite different.

If you look at the numbers, after the beta Imgur was starting to grow again. It was a hit yes, but not an exodus.
Poster was probably 25 around 2010 when you could mine bitcoins without custom hardware. I mined dozens around then (and sold them all when the price spiked to ~$5, thinking that was a silly price).
Looks cool, but I don't really do videos... not enough time.
Seems to work OK for the Linux kernel, and the tooling is not onerous -- just run checkpatch.pl on your commits before pushing them upstream.
>The inability to reliably cut-and-paste example code and the total mess you get when people have combined spaces and tabs which could result in ambiguous code is a danger that could have been side-stepped quite handily.

I have never encountered either of these problems, pasing issues are trivially solvable ("+p), and who uses tabs?
Maybe don't use such a primitive editor integration?

I'm not trying to dunk on your editor, but people have had this problem solved since the early 90s. If your programmer's editor doesn't have some affordances for your language, then it's not a programmer's editor at all, it's a text editor.
Pfft I just cmd + alt + j every file I touch. Everyone must conform!
6 business analyst best practices for newbies
Take as many risks as you can now otherwise you'll be maxed out in terms of income for the rest of your life. You're young and can live for cheap. Startups, businesses, etc. Don't get trapped in the W2 lifestyle and big corporates.
Judging by those photos, I have to say Dickens[1] was spot-on in his criticism of the quality of life for ordinary citizens in Victorian London.

[1] https://en.wikipedia.org/wiki/Charles_Dickens
I don't think the microbiologist will object if the fridge is too cold for part of the day... it's not like we're storing the microbiologist's cell cultures.
HN gets regular "what VPN should I use?" questions and my answer is always the same: Algo [1]. It is designed to be simple to set up, simple to tear down, and usable with numerous cloud providers or your own Linux server.

[1] https://github.com/trailofbits/algo
Tabs users frequently claim that.

But when I start running diff, less, and so on, I'm left with the conclusion that every tool has to be configured in a separate way for every user, in every environment. And this makes their code a PITA to deal with.

I'm generally not the one to complain. And I'll still use tabs if that is the standard for the code base that I'm working with. But tabs are strictly worse, and your flippant answer won't particularly please people that you need to collaborate with.
They used to offer a paid account which I gladly signed up for.

Apparently they saw that the ad model was the way to go and discontinued the paid accounts.

Which is too bad because that's where we stand right now. I wish they would still offer an ad-free paid account.

I guess in the long run we'll see how Imgur current business model will last.
Odd that they requested a new cert after theirs was revoked... As if to say "Eh, we'll hide it better next time."
Nice favor by google
Reddit did the right thing - they realized a majority of their users are on Reddit for the images, which makes it a core competency. Reddit was using Imgur as a free image host, which Imgur was obviously not ok with. I realized this last summer when imgur started redirecting direct image links into its ad-ridden bloated mess of a social image page. It was an obvious attack on reddit. I don't know if imgur ended up undoing this or not, but it made it painfully obvious that reddit and imgur cannot peacefully coexist in the way it used to.

edit: just found this, it looks like they're continuing to move away from being a simple image host for reddit. https://www.reddit.com/r/assholedesign/comments/6eip2q/imgur...
I've used imgur in the past because it is upload->url, no further messing around required.
Because they have traffic limits.
Just email the 'guvnor: CEO email addresses in the UK
> it's especially bad in scientific contexts where scientists don't know better and are lured in because of its decent selection of available packages.

Packages are the motivation for using the language. No other language has both the array of scientific and math-related libraries and a robust non-math-related ecosystem. I know that there would be enormous demand for alternatives but none exist so far.
= Why Grown-Ups Don't Use Tabs[1] =

* Joe likes 4-space tabs, I like 2-space tabs, and Jane is old-school with 8-space tabs.

* All goes well until someone aligns something visually, like so:

[tab]void someNiceMethod(int myParamA,
[tab][tab][tab][tab][space][space]int myParamB...);

(What you should do--if you're going to visually align at all--of course, is

[tab]void someNiceMethod(int myParamA,
[tab] int myParamB...);

... but humans are humans and IDEs aren't created equal, so this doesn't happen consistently.)

* Now it aligns perfectly on my machine, looks mostly ok on Joe's machine, and is ON MARS on Jane's machine.

Thus one-or-more of three futures happens:

* Someone implements a code re-formatter into version control

* Someone re-aligns the code, starting the process over again.

* Someone calls a meeting and demands we all switch to spaces AND IDEs that let you treat spaces like tabs.

[1]: This came up last week (https://news.ycombinator.com/item?id=14560042) and this comment is shamelessly copied from that discussion (https://news.ycombinator.com/item?id=14561223).
No, you're strictly wrong. Decorators are less powerful higher order functions. They "hijack" the definition of your function.

Please, please learn about what higher order functions are in a more general setting before invoking them.
Ask HN: What do you do with old technical books?
I have a fair number of books (about 150 shelf-feet worth, or 45 shelf-meters), many of which are technical books. Many of them are older, and I'm contemplating getting rid of those to free up shelf space for other uses, but I'm not sure which to get rid of, and how to get rid of them, so I'm curious what others here do.

On the question of which to get rid of, the candidates fall into two groups.

1. Technologies that are pretty much dead now. It's very hard to imagine that I'm ever again going to need to crack open "Undocumented DOS" or "Inside AppleTalk", for example.

2. Technologies that are still in use, but my books cover older editions. For example, I have the second and third editions of Stroustrup's "The C++ Programming Language", and also several other C++ books from that era. I haven't done C++ in long enough that I've largely forgotten the language, and will probably need to relearn it at some point.

C++ has grown a lot since those books were written, but it seems much of what is in them would still be valid, and one might even argue that for something like this learning an older, simpler version first might be better.

For getting rid of books, the obvious thing that comes to mind is tossing them in the recycling bin. Mine takes paperbacks, and hardbacks if the covers are removed first, so this would be easy.

A coworker suggests trying to sell them to a used bookstore or giving them to a used bookstore if they don't want to buy them. I don't like that, at least for books in the first category above, because they could end up bought by someone trying to get into technology who doesn't realize that these are dead technologies.
>No, in (almost) all other mainstream languages you have some kind of block-end block-start markers. {}

And in many languages, those are optional in certain contexts (as someone else mentioned: see heartbleed).
Now, new consumer products like Tesla’s grid-connected
home battery [...] are becoming more popular

I'm sure some people have home batteries - but isn't this a rather niche thing?

I mean, I'm sure it's nice for people in the boonies where mains power is unreliable. Or if you're a survivalist/hippy that wants to be off-the-grid/completely-renewable and doesn't mind paying a big premium for it.

But what would a home battery offer me that I can't get from the grid already?
What else besides deep learning can the tensor core do well ?
I found malware in the PIA installer. Not sure if it was planted by PIA themselves or I was subjected to a MITM attack, and so I would never use any bespoke VPN software again. Best just downloading the OpenVPN config files and plug them into something like Viscosity[0] (which I trust over the more bespoke VPN clients made by the VPN providers themselves).

[0]: https://www.sparklabs.com/viscosity/
Yes, using the yearly salary as the main reference seems to be either a US or an Anglophone-world thing. What is commonly done in the UK and Ireland?
Quantum Computer Factory
I have a distaste for puzzles too -- my hiring method doesn't use puzzles, but arbitrary real-world like tasks that need solutions. It tries to mirror real-world scenarios of what you, the candidate, would be doing if employed by me.

If this isn't an acceptable form of evaluation, I would be open to others -- which I would potentially reject.
Your comment makes no sense.
What do you mean? MyPy supports comment based syntax for python <3
This is not the reason for the correlation. The p-value of the tabs/spaces connection is about 10^-13 (one in 10 trillion), and it can be found separately within each (large) country.

This does not mean the effect isn't confounded with some other factor, but it does mean it's not a multiple hypothesis testing issue.

You can explore the code and regression yourself! Take a look: https://github.com/dgrtwo/tabs-spaces-post
Yeah React Native uses Yoga as it's layout engine which only supports Flex box. But for React DOM you get all of CSS, warts and all!
I empathize, but I'm pretty sure that Google already knows a bit about your employment, and/or is doing really good modeling to figure it out probabilistically. (Ex: if you make Google searches between 9-5 in a certain location consistently, you most likely work there.)
I think that the original article made it clear that it was a correlation, not a causation.

There is probably some underlying cause to both trends, something like "there are people who tend to be really ticked off about 'this operates slightly different in two different environments', such people are more likely to (a) use spaces and (b) have an engineering-type job that pays a little more." Another possible correlation would be "people who are more worried that they will someday have to SSH into a machine where they have not yet configured an editor in order to insert debugging statements into the live production code, tend to come from DevOps backgrounds that earn slightly more, and also tend to favor spaces instead of tabs because that damn default tabstop is 8 and I can handle 2, 4, and maybe even 3, but 8 is too damn high..." or so.

I personally really preferred tabs in my youth as a sort of nod to democracy and "everyone can set their tabstops however they like!" -- and it was Python that finally got me to use spaces instead, with the "hey when you want to do multi-line stuff" arguments[1] and PEP-8 and community agreement and such. But I do miss my little tab characters a lot.

[1] You know, stuff like "If you want to do multi-line stuff, then you need to keep a conceptual split between using tabs for indentation but spaces for alignment; and if you're using spaces for everything then you don't: you can even use your tab key to insert many spaces at once. So it's tab-tab-tab-hit-space-twenty-one-times versus tab-8-times-then-space-once. Worse, if you screw up the mixed tabs-and-spaces format then you won't know about it unless tabs are clearly visible by default, which adds visual noise to your file..." etc. etc.
I think the problem could be mostly solved by requiring people who are getting credit to apply somewhere in person. Most credit card banks have branches everywhere (USA). The person has to have their face recorded stored along with credit line. This would have many benefits: legitimate people would think more about how serious getting a credit card is, fraudsters would be less likely to try and get fake credit, and it would be much clearer when the bank gave credit to the wrong person and has to eat the loss. Unlike the past, taking and storing pictures is now a trivial task. This is not likely to happen as the credit companies little liability under the current system.
Ever since I started using spaces, my salary has increased dramatically!

I mean, when I first started, I was only making minimum wage. I had to use tabs, my life was horrible!

Then I switched to spaces. Instantly, my boss noticed my increased productivity, and my character count went up! I started getting free lunches! My dogs became straight-A students! I started winning in League of Legends!

...and my salary increased by $90k! It was amazing!
There should be a third option "do not know". This was important maybe 10 years ago. Today IDE is handling formatting for me, and I no longer remember what the default settings are. The same about encoding or EOL chars.
Private Internet Access MACE blocks ads, trackers and malware (2016)
Jinja2 has some crucial features missing in django templates, but we can add this to the django template as filters and functions.

On the other hand, many django plugins are written to accommodate only django templates. By choosing jinja2, you will be severely limiting what plugins you can use.

Jinja2 is more like a superset of django templates with some minor syntax modifications.

So I would recommend you go with django templates and bring in jinja2 only if needed (which would be 0.001% of the time)

This is from experience where I went with Jinja2 for one project and learned my lesson. Now for the next one I just went with the default. Some of django template's choices are bit of an hindrance but an affordable price for the interoperability it provides.
Edit: Whoops! I was definitely wrong here.

It was absolutely a parasite. It would not have survived to grow to the size it did without Reddit. Parasites can offer a beneficial service to the host but cannot live without it.

It has since evolved into something possibly capable of existing on its own but only time will tell.

My guess is it lives for a few more years at best.
Applied. Thanks! :)
Mindfulness meditation is an interesting and refreshing practice, but just like any "one weird trick" clickbait title (because wired can't help themselves) engaging in this practice alone and expecting a magical complete revival of your life is not only rediculous, but may sabotage any long term effort.

That said, I could see the average HN reader getting some useful skills out of doing nothing (literally) for a specific amount of time.
In the UK, almost no-one talks about their salary ;-)
They should allow emoji and non-breaking spaces in passwords.
same shit with react router