skysight-inc/HackerNews huggingface dataset:
I think I agree with what the author is saying, by and large, but it doesn't matter: if it's a mental model that works for you, you can live in the "stacked diffs" world right up until you need to "curate" all your commits into something that can be considered for incorporation into the parent project.

Then you still need to make a branch, put all the related commits into it in order, and adequately test that branch before sumbitting it.

At that point, if changes are requested, you can make a choice about whether to work by rebasing that branch, or work on your "master" branch and then re-curate those commits. Now, working in the stacked diffs world seems like more work, but you do you.

A place I disagree with the author is about rebasing frequently onto master. Assume you are working in a healthy project with frequent and largely bug-free releases, but occasional trouble during development cycles where tests end up red for awhile despite everyone's best efforts. In this situation, you are better off starting your work from a quality release tag with no red; occasionally you'll end up dealing with more merge conflicts when you're ready to merge the branch, but IMO not so much that you don't derive benefit from avoiding all those rebases onto a new upstream revision that just might be totally bonkers.

If you do this, you should still validate that your branch, merged with or rebased onto master, doesn't make any new test failures or interact destructively with other work; deferring this to the end DOES have a cost, but in my experience it is outweighed by the benefits.

(And if you're in one of those now-rare projects where it's the norm to be making point releases of one or more old releases, PLUS having new development on a master branch, basing your branch at the right place means you can merge it into the old releases with ease...)
I find the author's claim here both believable (as in it might actually solve the problem) and highly unlikely (giving away what you are selling could be argued to be a business-ending affair):

Quote
The most important thing that regulators could do is force Facebook and Google — and all data collectors — to disclose their factory output. Give users the ability to see not simply what they put in — which again, Google and Facebook do (and which GDPR requires), but also what comes out after all of the inputs are mixed and matched.
End Quote

What would this even look like? How could a user even recognize/test that it was about them beyond the things that seem obvious to them?
"The amount of instances multiplying was also clogging up our DevOps team."

Let's pause a moment and appreciate that if you have a DevOps team, you're not doing DevOps.
> getting that big raise was not a deciding factor in taking the steps to improve their financial situation

How big a raise are we talking here? It's a fast food job. I doubt we're talking CEO-level bonuses.

The raise is not going to be enough for them to move from being workers to being owners.
Just because I mention something doesn't mean I assume you don't know it. This is a public forum and although it's Hacker News I still doubt everyone has heard of primitive recursive arithmetic. You're the only one making personal statements here. Also I don't know what sort of code I'm supposed to use to make my arguments without offending you, if PRA is the example I think illuminates my point I kind of have to write its name whether you know of it or not.

> I said it right there. How could you not know this? When I said "the properties of Peano arithmetic", I meant the presence of addition and multiplication.

That's a curious definition of "heavily dependent" on the properties of Peano arithmetic (when the condition is in fact "any integer arithmetic with addition and multiplication"), and I'd argue it would be hazardously confusing to the uninitiated, but that's just semantics. Back to the original point (that the analogy is poor) I don't see how that breaks the analogy at all. Just like there are weaker arithmetics that escape Goedel's theorems (I will not mention their names since that seems to just cause issues), there are weaker models of computation that dodge the halting problem (again I'm sure you know of them, the one I'm thinking of off the top of my head rhymes with schmimative shmecursive shmunctions).

> Let me explain it another way: Goedel's theorem is a theorem about math. Math as it was understood in the 18th century. That's what makes it interesting.

I think what makes it interesting has nothing to do with the particulars of what people thought math was in the 18th century. I doubt there are any mathematicians from ancient Greece to a thousand years from now that would seriously consider using a logical system incapable of modeling addition and multiplication as a ground-level theory for the majority of mathematics. They probably would be fine with one that only killed off Peano arithmetic, just like we'd be fine with a form of computation that wasn't as limiting as PRFs but didn't happen to be susceptible to Turing's reasoning. It seems just as general by construction, and I doubt it is an accident that Goedel using something so basic.

Basically what I'm saying is just like the fact that the Church-Turing thesis has held up and all interesting forms of computation and equivalent to Turing machines, there is an implicit Addition-And-Multiplication-Are-Basic thesis that claims that systems unable to model addition and multiplication in some form are fun to visit but not to live in when you're doing mathematics.
Getting a nice pair of lifting shoes made the whole process a lot more fun for me. I was surprised at how much more comfortable they made lifts like the squat. They're pretty cheap, too. Worth checking out if you haven't yet got a pair.
Anecdotally, most 30 - 35 y/o and unders I know have Prime or live in a household with Prime. Mind you, not all in that demo are pro-Bernie but that target certainly skews that way.

Bernie vs Amazon? I can't imagine Bernie having a chance. Prime will trump Bernie.
Show your face to the camera and subscribe to your future photos that can be uploaded here: https://www.reminis.app
My DL box has a Ryzen 1800x and a GTX 1080ti running Ubuntu 18.04. The Ryzen has given me very few issues, Nvidia gave me some setup issues, but now that it's all configured its rock solid.
What do you find lacking in Recoll?
I once returned a wallet, cash, everything intact.

Called the guy when I found it. He totally panicked. Was odd.

When I handed it to him, that face! Worth it.

Amazingly, he proceeded to try and give me the cash. Was an effort to decline.

At the time, I really needed a warm fuzzy. The lost wallet was a great opportunity, and I got a good one.

But, our conversation basically centered on, "who does that?"

Indeed. The stories of Japan make me want to visit just to soak a little of that in.
Yes, but location matters. If you have the common middle class trappings in SF, you are upper class, not middle.

Hell, if you have a lawn in Sf you are super wealthy.
I think the terminal includes a lot of GNU utilities, so that's likely true. That doesn't actually conflict with anything I said though. I'm sure the GUI code is quite large, given that the system is meant to be maintained and usable from entirely within that context.
Sci-Hub probably has it. Try searching for the DOI (10.1086/700070).
> Why is Bezos doing this?

workers organised

organise, workers!
My "side" take on this is that as long as reimplementation is considered an urgent activity with each new language, we may be privileging languages that are actually better for rebuilding things that are already well understood over languages that are better for "feeling our way through problems".

I'm not 100% sure of this point, but it feels at least possible that features that make a language good for reimplementing a problem with the structure known in advance might be awkward for exploratory work. I've built a bunch of stuff recently where I had NFI what I was doing as I went along and had to tear up vast tracts of the data structures as I went; it was good to have the fairly loosey-goosey typing of a mix of C/C++ and (effectively) asm to do it (while still being able to see performance levels of aggressive optimization, which was also part of the goal).
Research indicates that high stress decreases accuracy of eyewitness memory
The Tails Coming Apart as a Metaphor for Life
Irks me every time I have to remove “rhgb quiet” from the kernel parameters, and put it in run-level 3.

Why does all this have to be hidden by default? How about the other way around?
Probably http://www.karmatics.com/aardvark/?
> One thing I find fascinating about the article is that it's assumed the cleverness was the code written to automate. This is incorrect; the cleverness is in noticing when a task can be automated. Typically, the code itself is trivial.

I thought about this too. Pretty much everything I've automated turned out to be way easier than I assumed and I ended up feeling dumb for not realizing I could have saved myself time by doing it sooner.
Show HN: NewsYC, a hacker news client
Hey HN, I just wanted to share an invite link for something I’ve been working on for some time: https://testflight.apple.com/join/MfbB9B7k

It’s a full featured hacker news client for iOS.
"living at the edge of your means" is not the same as "middle class"
"When your circle of acquaintances is the whole internet, being in the top tenth percentile of anything takes years of determined effort."

I like that a lot and I'm going to add it to my bag of quotes. You're definitely not wrong and it can often feel like any hobby is pointless when you're surrounded by hundreds, if not thousands of people (in online communities) who are striving for the same things.
The article is a red herring. They're asking the question "Is it immoral to fire someone for automating their job?", when the question should be "Why aren't more companies encouraging their employees to automate their job?"

Yes, a person can automate their job until they're not doing anything, and yes, a company can punish an employee for sitting idle. But the latter is inherently stupid. Automation both achieves the goals originally set out for an employee, and frees them up to do more work, without any additional cost.

The business's goals should include adding value and productivity and reducing cost. If an employee automates their job, they've improved on their job productivity, which adds value to the company at no extra cost. In the article, the company has a choice:

A) fire the employee and hire a new one to keep doing the job manually.

B) fire the employee and keep the automation.

C) keep the automation, keep the employee, train the employee for a new manual job.

D) keep the automation, keep the employee, train them for a new manual job, and have them automate that.

If the company chooses A), they're just stupid. If they choose B), they're at least eliminating an unnecessary position. If they choose C), they do the same as B), except they also retain a person that is already trained and accustomed to the company, which saves time and money. If they choose D), it's the same as C), plus they can continue to lower costs and add value.
devstream.io does this also. Maybe not as polished though.
Okay, I’ll bite. I don’t think this large contingency of people exists. I’m sure a lot of people would keep lost money rather than turn it in, but I’m very skeptical that there is a widespread view that this is an acceptable or justifiable action.
> The business's goals should include adding value and productivity and reducing cost.

This is a business goal that rarely translate properly into the real world. For as much as companies tout these values it's rarely played out. Companies plod along, doing the same thing they've always done because cash flow is king and change is scary. It's easy to become complacent and addicted to steady money.
Would you mind explaining how the system avoids proofs being a recursive set implying the axioms are recursive? I'm afraid I don't understand how you can invoke axioms that are not expressible via finite strings in a proof that is expressible in such a manner.
Those aren't really startups though, at least according to Paul Graham. Those are more akin to small businesses. A startup is born to scale exponentially.
Provenance: There was a recent post about PiDP-11 which is awesome in itself, but the page led to this which is probably more remarkable than is apparent at first; a Single Board Computer which implements all logic in TTL and with a remarkable functionality given the relatively few chips.

There are many SBCs of the era using more chips that this, despite having a Z-80 or 6502 onboard.
Despite all the bravado, Wall Street are a bunch of pussies. __Any__ change makes them nervous. They have a natural predisposition to over-react. Let's give it a couple days or a couple weeks. Once WS makes up and realizes their options are limited, that Amazon still have plenty of upside, the money will come crawling back, as its done before.
OP here, feel free to ask any questions. Feedback is appreciated. Some of the features include dark mode, login to comment, fave, share links, etc. You can use it on iPad or iPhone. Collapsible comments, browse users, etc.
The property is yours but the land on which the property is built is leased for 70 years. After 70 years according to exiting Chinese law the lease is automatically renewed. There’s no limit on the total number of renewals.
Don't listen to the internet trolls, build connections with people who share common interests, and hopefully some of them will support you.

I have personally found the older generations (I'm 25) to be more approachable. It's this that scares me.

I'll bore you with a story from today. I'm building a coffee table for my new place. I got the top from Home Depot, and was looking for table legs. I was wondering around a vintage market and met this guy Jimmy, who has a studio down the street. He sold me 4 legs for $15 and gave me a bunch of great advise, telling me to text him when I was done with it. I assured him it wasn't going to be pretty, but he didn't care in the least.

This is why I hate online shopping, and these are the interactions I cherish most.
> It's the fact it's a secret closed system that has full control to monitor everything you do, and can not be fully disabled.

To add to that, it also makes code audits impossible.

Intel, AMD, ARM, et al: There is zero, and I mean ZERO reason to hide management functionality from users in this day and age. It's 2018, security through obscurity has been proven wrong time and time again. It's foolish to think otherwise. Edit: grammar.
Japanese scientists have created 1200 Tesla electromagnet
What is replacing Scala? Kotlin?
So once competition is gone what happens?
A very depressed sort of tongue-in-cheek, but I sometimes forget that there's no tone of voice on the internet.
If I'm a manager, and somebody tells me that the development team wont be productive for months, I'd likely ask for some real metric indicating that Haskell solves / eliminates classes of bugs untouched by other statically typed language.

At least some figure indicating that a Haskell app is less prone to bugs, etc.

Otherwise why not throw Typescript at it?
I love lists like this for getting the creative gears turning. Paul Graham's old blog post is another example, if a dated one: http://old.ycombinator.com/ideas.html
Meet Surface Pro 6, Surface Laptop 2, Surface Studio 2 and Surface Headphones
Jacques Dubochet (2017, Chemistry) got his Wikipedia page on the day he won the Prize, too.

One of the men he shared the prize with, Joachim Frank also got his page in the year he got the prize, although his page came a few months before the prize.

One of the 2016 Chemistry winners, Ben Feringa, didn't get his page until the year before.

Maybe someone got confused at Wikipedia and thought Strickland won in Chemstry!
<< I honestly think that there's something deeply damaged at the heart of the American psyche. You've no sense that you are “are all one and the same” to use Ford's words. You can't see why collectively paying taxes for healthcare (everyone's family has an illness at some point in time) and collectively bargaining for cheaper medicines from manufacturers might be overall a good thing.

More than half of Americans support single-payer. Some estimates are as high as 70%.

https://www.cnbc.com/2018/08/28/most-americans-now-support-m...

I absolutely support single-payer and so do most of the people I know.

There isn't a HN thread long enough for the discussion of what it might take to actually get single-payer done.
Just curious, but care to give a practical example of how it's worlds better?
That is an interesting perspective. I think makes the ability to distinguish between intrinsic and extrinsic motivation/validation a must have existencial-survival skill.
> The only square consumer oriented cameras

> I can think of are twin-lens reflex cameras

> like the Rolleiflex, which are delightful

> but somewhat uncommon.

The Kodak Brownie, a cheap consumer camera that sold in the millions, was a 120 camera that shot square pictures, same format as a Hasselblad or a Rolleiflex. The original Box Brownie came out in 1900 and was the most popular camera in the world for years going through various models up to the 1960s. That's how long the 120 square format was a popular consumer format.
Or, instead of narrowing your niche, you can hone a combination of skills. Think of any of the multisport competitions (biathlon, triathlon, winter quadrathlon). The more exotic the combination, the more likely you are the best in the world.
For comparison, an MRI machine is about 3 Teslas. If you have an ad blocker, you may need to turn it off for the video to load.

N.B. [@dang]: The original title "This Super-Strong Magnet Literally Blew the Doors Off a Tokyo Laboratory" seemed a bit too click-baity, so I changed it in the submission.
Quilting web-app
<3 this idea!
Just understand these stories are still focused on the winners. You can be a top 1% musician and still need a day job.
Teams hiring developers versed in specific languages, libraries, databases, http servers, deployment orchestrators, etc are doing it wrong.

Hire good developers. They will learn whatever technology your company uses and/or built.
If they were required to disclose their output schemas, researchers and journalists could help laymen figure out the implications. It doesn’t have to be perfect, just public.
No, GCC is still written mostly in C. Try:

git clone --depth=1 https://github.com/gcc-mirror/gcc.git

cloc gcc/gcc
$2500 is "cheap" for an individual?! Perhaps I'm golfing at the wrong club...
Volvo Vera – The Future of Autonomous Transport
> I would still support Bernie's bill.

Wasn't that the bill the encouraged employers to only hire people without dependents, because more dependents = more benefits, which the bill does not adjust for at all?

Why would anyone support that bill?
I live in Spain, a young, very flawed democracy; I wish the US picked a page of our book, 2018 edition:

Spain’s health minister, Carmen Montón, has resigned after becoming the latest senior politician to find her educational qualifications under scrutiny.

Montón stepped down on Tuesday night following a series of reports detailing irregularities in her master’s degree in interdisciplinary gender studies, which was awarded by King Juan Carlos University in Madrid seven years ago.

Montón is the second minister Sánchez has lost since he used a vote of no confidence to unseat his PP predecessor, Mariano Rajoy, amid public anger over the party’s corruption and cronyism.

In June, the culture minister, Màxim Huerta, resigned following media reports that he had avoided paying taxes while working as a TV journalist 10 years ago.

from https://www.theguardian.com/world/2018/sep/12/spain-health-m...
The wage increase also means more money to spend at...wait for it...Amazon. There's just no way this #15 p/o was pulled out of thin air. They have more data than God, as well as the tools and people to analyze it.
Google Design Sprint Kit
It's like the complement of flooding the market with cheap goods. You can similarly hog up some resource that your competitors also need, driving up its price. E.g. labor. Force competitors to sell cheap, and/or pay more for inputs.
The book A People's History of the United States makes a pretty good argument for everything you are stating being in the mix from the very beginning from the founding fathers and the volatile economic mismatch between the haves and the have nots. Of course the author has an agenda but it makes sense from the evidence given.
"The Design Sprint Kit is an open-source resource for design leaders, product owners, developers or anyone who is learning about or running Design Sprints."
Believe it or not, it wasn't that long ago that Python was that weirdo language nobody uses.
Gl_portable_red_examples
Your second and third points are just wrong.

The community is one of the more helpful and responsive ones I've come across. You can generally jump on IRC and find either the people who wrote the stuff that's tripping you up (e.g. Ed Kmett for Lens and MTL), or people who know that stuff backwards and are quite happy to help (e.g. Tony Morris).

There are high quality libraries for _most_ common problems. A lot of them are vast improvements over what you'll find in other languages (e.g. Aeson for JSON serde & manipulation). Stuff like Amazonka often runs ahead of Amazon's official libraries, because it compiles directly from their API spec.

Are you going to run across holes? Sure. My team maintains a bunch of open-source libs for where we've found them. If you just want to do connect-A-to-B programming, Haskell is not for you - occasionally you're going to have to go and implement something yourself.
Two and a half years ago I wrote a paper on "robotic automation" for a big financial services company. One of the conclusions was that, while the world of things was heretofore designed with humans in mind, in "the near future" (i.e. about where we are now), "stuff" would be designed for "machine-first" use, rather than "human-first" use.

This isn't surprising. We've seen this before in the transition from "animal engines" to "steam engines" (think - the whole infrastructure around the care and feeding of the animals etc transitioning to manufacture, fuelling and support for steam engines). We're starting to see it now in the (slow) transition from "carbon-fuel transport" to "electric transport".
> the bottom line: it's just not that great for newbies. since most people are going to be newbies at it, i could not recommend it at all. sometimes i think the language even goes over my head, and I'm supposed to be a pretty smart cookie.

mmm.

> If i have to recommend something now it would be python. because it's easy and because i started using it for my personal stuff. i know lots of languages and that's what i end up coming back to if i need to do stuff quickly.

Python and Haskell are useful in completely different domains.
Board Games for Adjunct Professors – McSweeney’s
patents and cross licensing agreements

https://appleinsider.com/articles/11/01/10/intel_and_nvidia_...
Haskell's type inference (and type system) are leagues ahead of Java.
The #2 Brownie came out in 1901 and shot 6cm x 9cm, and all of the surviving Brownies I've seen shot rectangular formats. There was the Brownie 127 which shot square, but I only learned of its existence just now; have never seen one in the wild, probably because finding 127 film is functionally impossible.
I'm not familiar with F# but from what I understand it lacks support for laziness, unlike GHC.
Cops told suspect he had to to open iPhone X with his face, so he did
Ah - but can the robot exceed time and budget estimates, do a shoddy job and then weasel it's way out of warranty obligations? Jobs are safe, everybody - there will be a few more unions who will lobby for bans on robotic drywallers because of some made up safety reason.