skysight-inc/HackerNews huggingface dataset:
There is a small fraction puzzles for which simple backtracking gets stuck on unproductive branches and essentially never finishes.
They can tell that the big bang is the light source because of Hubble's Law[0]. In short, the universe itself (so space itself) expands[1], and it does so fast enough to create a Doppler effect in light, causing redshift[2].

When we look further out into space, we effectively look "back" into time because of the limit of the speed of light. The older the light, the more it has redshifted because the more space has expanded while it was travelling. So this redshift increases very predictably the further we look out into space and back into time.

As a result, when observing space we can say when light is left-over from the big bang, because we can tell the age of the light by how much its spectral lines have redshifted.

[0] https://en.wikipedia.org/wiki/Hubble%27s_law

[1] https://www.youtube.com/watch?v=_llA2q1rlSg

[2] https://en.wikipedia.org/wiki/Redshift
"One of these days" I'm going to get a safe and print them off and remove them digitally.
yes, i'm aware. but i'm sure the "processing cost" also factors in R&D to get to that node size up to that point.

you also don't need to double the die size just double the size of the package (what AMD seem to have done), that way you can swap broken dies out.
Yeah I don't really follow restaurant news. I am just a terrible cook, so I am always looking for new restaurants to eat at, and while I live in SE, I will drive anywhere for the food I want.
Welcome to Crypto Valley
Learning to Trust Cloud Security
Mobirise Website Builder: New Web Design Capabilities with New Themes
There is also this:

1,200 Japanese workers convert above-ground train to subway line in a matter of hours.

https://www.reddit.com/r/videos/comments/2msfz2/1200_japanes...
Big Data Revolutionizes Human Resources
Reading the paragraph about "illegal states" that should be avoided in software, I thought of "design by contract", what never really took off. Microsoft .NET has a really nice implementation called "code contracts", but it doesn't seem to be used that often. However it would be a simple and powerful way to improve the software quality.
OTOH, Italy has one of the lowest percentage of people with higher education in Western Europe, and one of the highest unemployment levels. So, the reason why there are so many young unemployed people for sure isn't the fact that we have too many young people with degrees.
You are telling me that "welfare queen" is supposed to make me think of white trailer trash in my neighborhood? Surely not. You are trying to tell me that the phrase is supposed to make me think in racist terms, right?

If so, then, alright, the only thing on your list that makes me think of somebody that might be darker beige than me (I assume this is where you are trying to go?) is illegal immigrant, where I do assume "Mexican born national". Is that racist, or just a recognition of how our borders go and the fact that few Canadians come to the US to pick our tomatoes?
Solo founders with profitable businesses, collected stories
The website in question is produced by a conservative thinktank led by David Horowitz, who amongst other things, leads a blog called "Jihad Watch". As with most politically-aligned think tanks, the content is designed to convince someone of a particular argument or issue - in this case that "the left" is responsible for the systemic disenfranchisement of African Americans through welfare, rather than say, systemic racism and the gutting of real social welfare by conservatives.

https://en.wikipedia.org/wiki/David_Horowitz#Allegations_of_... https://en.wikipedia.org/wiki/David_Horowitz#Criticizing_Isl...

(and yes, this is an ad hominem attack, I will reply to the previous commenter with why the article in question was stupid)
Powder Mountain!
I think (just a feeling) that every vendor and a lot of app devs is phoning home collecting data.
I'm using Netguard to block net access to most of apps.
On a rooted device I would use AFWall+.
Perhaps the agent was acting as an Arab while at the conference, and was obviously not Persian? Perhaps the Iranian had relatives who were Arab? Maybe the agent acted like the guy was Arab when they first bumped into each-other, to throw off the idea he was looking for Iranians, and this is like an inside joke to be friendly?

I mean, there are plenty of possibilities here, including that the person describing the event is describing it second hand well after a decade has passed.

Don't be in such a rush to judgement; you might learn something.
Is there anybody worth paying attention to out there pushing TDD?
Well, when someone makes an AI that would really be able to understand customer requirements and then implement them, that would put us out of our jobs! :-D
The lone and level sands of software
Wasn't aware of Mybatis, thanks :) With Clojure, I really like HugSQL for similar reasons (You're dealing with real SQL, rather than another fat layer(s) of abstraction).
Vim and Emacs can. If your editor can't, maybe it should get with the (54 year old) program.
Miui is doing same, they are collecting data(sms, phonebook, usage etc) even after you turn off all sync settings.
86% of Norway is ethnically Norwegian. Then there are the folks from Sweden, etc. Suffice it to say Norway is highly homogenous.
I've seen a DBA drop a production table as well, fortunately it was a small in memory table for non persisting data that could be quickly repopulated. Still lead to about 5 mins of downtime.

I always have two terminals open, both running tmux. One is white text on black for dev work, the other is white text on red. I only ever ssh into production servers on the white on red terminal so there's a strong visual signal that I absolutely shouldn't be running drop, delete, truncate, rm, dd, whatever commands on them and if I do then I am extremely careful.
No you are the one ignoring what I am saying, as apparently you are not doing Android development.

1 - InteliJ Android plugin is not the same as Android Studio, it lags a few versions behind;

2 - The free C and C++ plugins are not the same as the parts from CLion that Google integrated into Android Studio;

3 - Additionally the mixed Java/Kotlin and NDK debugging is also taken from CLion

So if you want to be behind the curve of what Android developers use daily, by all means use pure InteliJ with the plugins you are suggesting.
I get it that backpacking/nomading crowd is diverse. It's just weird when people attribute living slowly to that. I know some backpackers do embrace living slowly. But their lifestyle look too similar to small town (or even backwoods) living. Well, aside from the part how they got there. And likely not-so-slow period of change to move to next slow destination.
When I was a broke student, I scrouged CRTs people threw out and had a 3-4 monitor setup, but still found myself only concentrating on the middle monitor ignoring stuff off to the sides.

Then I got Apple's nice big 30" cinema display and everything was good.

Then it broke and right after that I started living nomadically with my 1900x1200 equivalent 15" retina laptop and never minded the difference.

I have good eyes after correction and use 9 point fonts everywhere so I can fit a lot of text on screen.
I live and work to travel and go on adventures and what I don't live for is work. Why would someone want to mix the two?

I work full time remote out of a home office, but I couldn't think of much worse of an idea going on a "working holiday". I've done it and it just distracts me from enjoying my time.

I mean, is the author really productive or just having fun and doing much less work?

I'm not judging anyone for working less, I'm all for it, but this taking your work with you everywhere sounds horrible.
The sales page is nice and all, but this is the page that matters: https://www.apple.com/legal/privacy/en-ww/.

TL;DR: we collect the shit out of you and share it with third parties as we see fit. If you disagree you will get a crippled experience
This is awesome. So much so, I'm going to borrow his idea and kick this off next Spring.

If the author is reading this, some questions:

- How do you deal with solitude? Most can handle it but seeing as everyday is a new day in a new place there must be an urge to share that with somebody.

- This mode of living must have an impact on the ol' love life. What do the ladies say - if you meet many at all - when you suggest going back to your van/office/home?

- What are your plans for the Winter? I imagine just go as south-west as possible to chase the sun.
There's actually a few Buddhist sects that would be aptly summarized as "Treat people better so there are fewer reincarnations."
For all those ORM's are bad people:

`I’ve been seeing that stray 30s+ spike in request time daily for months, maybe years. I never bothered to dig in because I thought it would be too much trouble to track down. It also only happened once a day, so the impact to users was pretty minimal.`
https://en.wikipedia.org/wiki/Dog-whistle_politics

"Dog-whistle politics is political messaging employing coded language that appears to mean one thing to the general population but has an additional, different or more specific resonance for a targeted subgroup."

Lingua Franca had an interesting example recently - http://www.chronicle.com/blogs/linguafranca/2017/09/28/the-s...

“The man should be in a pub on the banks of the Liffey.”
China is opening a new quantum research supercenter
Oh, bless your little heart, as we say in the South.
Type systems are not enough. I'm not sure they're even a good starting point for safety critical software, but they might be good for e.g browsers.

You're thinking at code level, people like Leveson, Knight and others are thinking at system level. The end goal is to have a safe system, not e.g avoid null pointer exceptions through optional types.
>Personally, I don't understand people arguing against type systems on principle.

Even Uncle Bob wasn't, I don't think. He just said that certain languages had type systems with a level of strictness that he considered too extreme.

>Type systems to me seem to be (I'm not exaggerating) the answer to all software reliability problems

No, not all, only certain classes.

With haskell, for example, that comes at the expense of development velocity and performance (or at least, the ability to reason about performance).

>There has to be something I'm missing since there are so many people arguing against types, notably Bob Martin himself.

I think the key part people miss in the "more strictness" argument is that stricter types lengthen development and if your biggest risk is errors in specification (the article makes assertion and in my domains, that's been my experience too), so you are risking a vast amount of wasted time spent on perfecting the wrong thing.
The problem isn’t that girls like “girly” stuff.
The problem is that stuff is defined as “girly”.
While that's very kind of you, I don't know how you've come to think that life is devoid of the unfortunate - some people are simply stupid.
"Essentially free" has zero meaning--bottom line is that someone's wealth was extracted to pay for it! Whether it is good or bad is another matter, but at the very core of your statement is a lie.
I don't think you need the "|| true" there.
I've been doing this for thirty-six years. I've read hundreds of accident reports and many of them have software in them. And every someone (sic) that software was related, it was a requirements problem. It was not a coding problem.

That part put me off, because while awareness of problems with the requirements themselves is much lower than IMHO it could beneficially be, the casual dismissal of coding errors as another cause of failures makes me question where this "expert" has any idea what they're talking about at all, thirty-six years or not. There is a reason that Tony Hoare called inventing null references his billion-dollar mistake!

Edit: Having watched the original presentation by that speaker, in context and without any emphasis or commentary added by anyone else, the above criticism is unfair and I apologise for it. I think the subsequent discussions of it here may be putting more weight on that line than is justified, though, as you still have to have enough other mechanisms in place to avoid the coding errors making it into production before Dr Leveson's comments would apply.
> I think the reason for the fact, that it hasn't been formalized and regulated like, for example, building cars, is simply that it can't be.

NASA writes highly reliable software, as do the organizations producing the software for fly-by-wire airplanes, so your assertion is empirically false. You are extrapolating too far from your personal level of knowledge and experience.
Russia’s Fifth-Generation Submarine Looms
Why not have a comment- or flag list-box so people can tell you why they flagged?
I think it's good practice to almost never work with family on building commercially melded creative dreams.

> One counterexample would be Stoneyfield Dairy. In a recent Startup podcast the owner talked about repeatedly borrowing money from his mother-in-law against the strong objections of his wife.
Operating a Kubernetes network
I've seen this website a few times on Show HN now. What is the difference each time, if any? This one appears to be just a filter or categorisation of content.

> New features and upgrades ("Foo 1.3.1 is out") generally aren't substantive enough to be Show HNs. A major overhaul is probably ok.
That was before banker class of billionaires got their greasy paws on it. Nowadays, in the US, higher education is debt serfdom for the majority of higher ed customers.
Mt. Gox was a massive fuck up, i'm not denying that. They had no business being in the space.

But at the same time nobody else was taking it seriously. Look back over the history of banks. Do you really think no "bank" ever lost significant amounts of money? Do you really think there aren't still scam artists and assholes trying to steal people's money? Just the other day my mother got called again by people asking for her social to "fix her credit", does that mean that the incompetence of the financial industry is still at an all time high?

Cryptocurrencies have a lot in common with traditional finance industries, but they are different enough that the previous systems don't work. It's very much the "wild west" right now (which i'll point out there were established "governments" at the time of the "wild west"). The space is still new, and if you are risk averse you should stay away from it, but painting the entire industry as idiots and children makes you look like the idiot.
There is the school of thought though that type-driven development, by forcing domain understanding to be expressed in terms of types, helps to create common domain understanding among the different stakeholders.
Are you seriously disputing that being free is better than being a slave or is that just hyperbole?
...sometimes to the extent where the hospitals in your country get crippled by malware :-/
Am I missing something?

The leading picture is about California prisoners, the study is on Michigan ones (BTW between 2003 and 2006), and most considerations are about US in general.

Besides obvious differences in demographics and possibly "types of crimes", AFAIK in Michigan there is no "three strike Law":

https://en.wikipedia.org/wiki/Three-strikes_law

(while there is, and it is seemingly enforced very aggressively, counting even what other states/coutries would define minor offences) in California.
I got used to it. A nice high DPI display like that on the Macbook Pro 15" helps, 2880x1800 is a pretty nice resolution to work with.

Helps focus and minimize your toolset in a way too, you want to be focused on one thing more than multiple things, so I guess that's kind of a good thing also, making things simpler.
My hunch is that tools like TLA+ and Lean[0] are bringing down the total cost of developing more reliable software.

And developing software that is reliable shouldn't be relegated to the safety-critical applications. There are ways that software failures can still cause significant harm even without putting human lives at risk: security errors allowing bad actors to steal personally identifying information, funds, or otherwise disrupt services that could harm people. This costs people their livelihoods, affects insurance rates for everyone, etc, etc.

I think the software industry needs to be more accountable for the influence we're having over the lives of the public and in order to write more secure, safer systems we need better tools to check our specifications, constrain our implementations, and help us manage complexity.

[0] https://leanprover.github.io/
Google (X Lab) will release balloons to the Internet over Puerto Rico
Awesome story of how reality is in the eye of the beholder.
If the author spent a few months just working for some restaurant it could've helped him to estimate risks correctly and maybe stopped him from opening a restaurant at all. People with experience are much less into super-detailed business plans because they have the empirical knowledge. I suspect the desire to have a super-detailed business plan is a subconscious replacement for empirical experience.
Not credible? Stonebraker is a Turing Award winning MIT professor who's worked in the database industry for ~50 years.

Ask your friends what gives
Perhaps you missed this: The article doesn't just happen to be about women - it is part of a pattern that verges on propaganda.
Philly is similar to Portland in that there's a huge restaurant scene here. Yeah, there's a lot of failure, but some people seem to "make it" not just once but multiple times as chef-owners who operate 2 or more restaurants. Yes, if you look at overall failure rate for new restaurants it is very high and it is sad to see first time owners fail, but there are some who enjoy serial success (who also fail sometimes, but can afford it).

The ones which I know personally who are successful all had LONG histories of working under-the-wing of a master, literally starting as a line cook and progressing to sous-chef. Along the way they get savvy to the business, make an enormous set of connections and learn their market intimately. When they break out, they start very small and later take calculated risks to expand as they're able to survive failures.

Other ways people have found success is by starting as food trucks or as catering services or as suppliers (eg bakery, patisserie) to restaurants.
> interventions generate durable IQ gains

Oh, really? That's awesome. I was under the impression this wasn't possible. Do you have any resources on what the interventions were? I'm interested from a selfish parental perspective...
7 Nifty Android Keyboard Apps to Try Out
Not everything that poses a danger needs to be regulated. You need to look at the benefit in relation to the cost. Not just the economical cost, but also the social one.

“I know no safe depository of the ultimate powers of the society but the people themselves ; and if we think them not enlightened enough to exercise their control with a wholesome discretion, the remedy is not to take it from them, but to inform their discretion by education. This is the true corrective of abuses of constitutional power.”

Regulations (or the lack thereof) becomes a tool to serve the few (1)

(1) https://en.wikipedia.org/wiki/Regulatory_capture
Anecdotally, I've seen this same sort of phenomenon play out in plenty of other discussions. The worst ones are typically conversations about JS frameworks, iOS vs Android, messaging apps with "private" chat features (Telegram/Signal/etc), and battles about Gitlab/Github. For some reason these subjects seem to create an open invitation for haters of all stripes to list their grievances about the product under discussion.

I used to think it was mostly astroturfing -- and there may be some of that on occasion -- but lately I've come to understand this phenomenon as a "feature" of humanity's tribal nature, much like sports team preferences.

(Edit: that's not to say that fair criticism of a product is a bad thing. It can be healthy! But these conversations often go beyond balanced criticism, at least from my perspective.)
> Ultimately those guidelines are so you can find peace for yourself, not so the offender has a better life.

I agree with this, however he also say that you should do to others as you would them do to you.

In other words, embrace empathy. What would you want to happen to yourself in a situation where you murdered someone in a psychosis.
Would you want a chance to get back to a normalish life or sit in a cell alone steadily having your mentality degrade?

I also do not know how I would act myself if one of my daughters were murdered, I hope I am prepared to forgive.
The Binary Art of Selling Online
Since founding year seems to be of some importance, I would really like to see a plot over time of the number of founders per year and possibly extrapolate founding year + sector to predict what a good time to enter a sector would be. Could yield some interesting results.
Wait so google's approach of explicitly showing you the information they gather is worse than hiding the information they gather?
Are you kidding? CIA never makes mistakes! They're the greatest, flawless intelligence agency in the world!

https://www.rt.com/news/fsb-detain-cia-agent-253/
SoftBank Leads $164M Bet on Mapbox
TL;DR: OxygenOS tracks your every activity in every app, and there's no settings to disable the tracking.

To get rid of it you have to uninstall the tracking app via adb: (no root access needed)

$ adb start-server
$ adb shell
> pm uninstall -k --user 0 net.oneplus.odm

Note: This requires adb to be installed, your phone to be connected and USB debugging to be enabled.
This is really nice. It'd be nice to see port/protocol filtering included in this functionality some time in the future as well since it would fit the theme of sandboxing around processes - i.e. start a daemon up and have the kernel enforce which ports inbound/outbound can be accessed. This is something Docker accidentally provides that's fairly useful.
Great game! Still playing.

Something I've noticed is that my inventory runs out with the production per second being higher than the clips sold per second.
For vim/evil, the following works.

ASCII Name - Vim Insert - Visual Repr
--------------------------------------------------
Start of Heading - Ctrl-v Ctrl-a - ^A
Start of Text - Ctrl-v Ctrl-b - ^B
End of Text - Ctrl-v Ctrl-c - ^C
End of Transmission - Ctrl-v Ctrl-d - ^D
File Separator - Ctrl-v Ctrl-\ - ^\
Group Separator - Ctrl-v Ctrl-] - ^]

For insertion you can also always just Ctrl-v DDD or Ctrl-v xHH where DDD is the three digit decimal value or HH is two hex values of the ascii code.
Nvidia aims for level 5 vehicle autonomy with Pegasus
It means you select the amount of money and they deduct it from your account once the crowdfunding is done.

Before they've reached their goal, it was an "all-or-nothing" campaign, so the backers wouldn't lose any money if the goal was not reached.
There's a downvote button? I've not seen it yet.
Paywall Aversion:

Archive.is: https://archive.fo/IdXZD

FB: https://www.facebook.com/flx/warn/?u=https%3A%2F%2Fwww.wsj.c...
>Type systems to me seem to be (I'm not exaggerating) the answer to all software reliability problems (barring social ones).

Yes, but they increase delivery time problems and developer time problems.

In the end, the industry has decided getting something out cheaper and faster is worth more than getting it out correct code-wise but later or more expensively.

Which might make perfect sense -- what's correct depends on business needs -- and some layers might be totally irrelevant (e.g. program design) as to that.

>Personally, I don't understand people arguing against type systems on principle. Sure, they are type systems that suck (e.g. Java) or are otherwise very verbose and thus straining. But that doesn't have to be the case, it's not an intrinsic property of type systems.

No, but not liking type systems might be an intrisic property of some programmers.