skysight-inc/HackerNews huggingface dataset:
I've worked in an office where I was doing most of my coding sitting in a sofa. If you are used to this work style (single screen, trackpad) then you can be fine for however long you work like that. Might need to get up sooner rather than later but I don't see any other problems with it.

If you have people around you and you are easily distracted then you probably need a dedicated office, mostly for the isolation and not for the office itself.
> I think they roughly define what reasoning is. Deducing something from abstract information.

Reasoning is not prediction learned by seeing things happen before exactly in the same way. Moving a hand to catch a ball is not reasoning, it is recognition and prediction based on doing it a bunch of times.

Reasoning to know that 4 comes after 3 after seeing that happen a lot is not reasoning, it is prediction again, and even easier than predicting the motion of a ball.

Reasoning involves finding a pattern that you haven't seen before a thousand times but you use the elements you know and look to see how they combine to fit the existing problem. Reasoning by its nature is the ability to succeed in a novel situation that requires logic and exploration in search of a problem. Reasoning is successive cycles of experimental prediction with recognition and running an evaluator on top to see which way to explore. (I think this can be coded probably in the near term, but it is more than just a single NN.)

That said, if you provide enough situations to a NN it may be able to solve a lot of "reasoning" situations via recognition and prediction, but it will sort of be stupid if anything falls out of its training data -- similar to how NNs can be fooled completely by slightly modified pictures of animals.
A 10kg monitor is probably better because it’s gonna feel less flimsy and wobbly any time you kick the table. Depending on how the weight reduction was achieved.
Indeed, as I said, Dep is okay when it works, until it doesn't. This [1], for example, is a blocking issue, and requires some manual editing of the lock file to get around. I've had other issues. The issues pale in comparison to the horribleness of Glide, but it's interesting just how these tools end up being so damn flaky.

[1] https://github.com/golang/dep/issues/1207
Yes. That's one reason I wouldn't be calling for anyone's head over it. As you suggest, it's probably one or more young, inexperienced PR/social media people at those companies who thought they were doing something clever. I'd much rather these and other companies take it as an opportunity to reconsider their actions and put better policies in place rather than firing someone so as to be seen as "doing something."
I find that long sofa coding sessions leave me with poor posture and neck pain, but maybe there's a way to improve my sofa posture.
Really? How many?
I work in such an organisation, albeit a rather small one (~ 60 people). It is absolutely not easy: some people are not cut out for it and would prefer a strict specification and focus on writing the best code, which clashes sometimes with delivering quick-'n-dirty customer value. Other people are just not that good in recognizing the patterns in businesses. I think our end result is better than that of most companies, but at the same time it is much more difficult to manage properly, so I can see why so few organisation take such an integrated approach.
That's cool I guess, but I neither buy lottery tickets nor believe diet/lifestyle are irrelevant, yet I'm a big believer in the importance of luck and the importance of believing in the importance of luck (hehe), so where does that leave me in your dichotomy?

There's more room here than learned helplessness, in fact, I think that doesn't derive from the "luck is important" mindset at all. See my post here since I'd just be repeating the same thing: https://news.ycombinator.com/item?id=17535786
Elon Musk calls Thai cave rescuer a 'pedo guy'
This is interesting but could generate perverse incentives. Hard-to-measure impact KPIs are a major reason why social ventures form around non- instead of for-profits (perhaps because very few individual investors see short-term economic benefit from an increase in the “greater good”). Combining $$$ ROI with philanthropic success means fewer and fewer nonprofits funded to solve hard, messy challenges.
I agree. I was in technology for in-house use in both commercial and investment banks in the 90s. I definitely refer to my work back then as fintech as much as my more recent work on algo trading systems for direct client use.
"Meant for learning purpose", this does not pretend to bring anything new/better.
Oh cool, a paywall.
How the U.S. Government Is Aggressively Censoring Climate Science -
Most insecurities can be mitigated with experience. After the first few roller coasters it becomes easier. The common defeatist cycle with "people skills" is "I don't have 'people skills' " -> "I don't want to engage in situations involving other people" -> "I don't end up learning how to deal with people" -> "I never build 'people skills'"
You don't say it out loud ("fuck off and die"), but when you exercise a block list, or mute or ban someone on a board, the net effect is the same. IMHO actually it's probably much worse.

Sure, maybe egos are bruised, but nobody's contribution or community standing is actually harmed by "fuck off and die."

A person who is banned, on the other hand, has no choice but to basically "fuck off and die." You think you're making the board more polite, but actually you just told that guy overtly through a policy enforcement action that his ideas or person are so bad that the ideas are not worth reviewing anymore.

OK, I agree with you too, in principle at least, I would rather not be on the receiving end of the "fuck off and die" and I wholeheartedly agree there's a nicer way to say it. But I hope I'm being clear, that personally, I'd really have rather you just told me to fuck off and die.

The block list was your idea now, and I think I want to dwell on it, because I don't agree with the premise that there are toxic people to merit the existence of a block list.

> And then people keep wasting his time insisting on a bad idea

You said it yourself, "one of the most important open source projects in the world" – Linus is much more successful than you or I, so we can afford to be charitable with our words and our time. I'll defer to reserve judgement on Linus because right now we're still talking about how you handle people with bad ideas. I want to say my feeling that you must not do it with a block list.

The banned person is no longer able to provide any further benefit to the group. Maybe you have an actual toxic person and you find yourself in a position to ban them, ok go ahead and do it. I hope you won't misuse this authority to ban someone unfairly whose ideas are simply very bad.

But let's say you ban someone and actually misjudged, and it wasn't really the person that was toxic, just the idea; the contributor with bad personality or ideas can probably still be rehabilitated in the group! But first they must admit their mistake, or at least receive a stern admonishment.

So let's assume, charitably for Linus again, that it was actually a toxic idea that provoked the "fuck off and die." I prefer not to admit that there can be any toxic people until it's absolutely necessary. Maybe he is toxic. I am not in a position to ban, block, or kick him, (or anyone else,) from anything. So I'm not sure it could matter if I was to come to the conclusion that he was toxic personally, obviously you're free to argue that or not.

All I'm saying is that once you admit that both people and ideas can be toxic, it's very easy to make this mistake. So I'd prefer to grant that people are not toxic as a rule until it's a proven fact that simply can't be discarded.
I've worked for a Medicare contractor. Big Oracle database. You can run aggregate actuarial queries without violating HIPPA.
> For that to be a reality...

Those on demand trip services (Uber, Lyft, etc) are already cheaper than owning a car. What you describe already exists.
But that doesn't answer the question of "what do people want to do with flying cars that can't be done with a helicopter"... it only answers the question "are people using helicopters as flying cars". You're making an extremely false assumption that "because people aren't using helicopters, that means helicopters aren't flying cars, and we all know people want flying cars". Extremely faulty.

Let's beg the question and assume people want to go to the mall with their flying car, that's their primary use case. They can't do this right now because there are no parking spaces at the mall for their helicopter. There are no parking spaces for their helicopter because no one is flying to the mall with their helicopter. If people did, the mall would build parking for them. This is shown by the fact that places where people regularly fly helicopters, there is dedicated helicopter parking. It's just as valid for me to say "the fact that helicopters exist but are uncommon proves people don't want flying cars" as it is for you to say "helicopters are not flying cars".

I'll ask the question again: why do people not consider helicopters to be flying cars? They do exactly what people want a flying car to do: they take off and land vertically, they can fit in a reasonably sized parking space, they can easily maneuver in three dimensions, and they hold passengers and cargo. I argue that helicopters are flying cars, and they're proof that most people don't actually want flying cars.
Home office bureaucracy? That's a new one. Is this because your employer mandates it, or is it some kind of government regulation?
What do you exactly mean by "reasoning"?
Could this be solved by sending lots of messages to synchronize between the two parties.
Even if most messages are lost, its possible to have a state where you have both the same goal: if both receive the same message they sent they're on the same page.

A sends "Attack?Send your plan"
B sends "Retreat,Send your plan"
A sends "Retreat,Send your plan"
B sends "Retreat,Send your plan"
A sends "Retreat,Send your plan"
B sends "Retreat,Send your plan"
Excerpts from infamous mini-msft blog (in 2005 another msft employee venting anonymously):

"I mean, what has he done or not done that is impacting the stock?"

- along with Gates, made decisions that resulted in the company being found guilty of breaking the law twice(and counting)resulting in fines, restrictions...

- along with Gates, invested over $10B of cash in failed telecom investments that ended up being written off

- failed to make any meaningful investments at the bottom of the market crash when numerous companies were available for cheap..

- invested $10B's in various "emerging" businesses that even years later represent only about 10% of MSFT's revenue, aren't growing at even 10%..

- approved the onerous Licensing 6 program when many companies were hurting economically thereby pissing off a good portion of our customers and fueling the move to Open Source.

- has been at the helm as MSFT failed to take security seriously and then has had to drop everything to play catch up, missed the paid search move and had to play catch up, missed the move to web services and had to play catch up, missed the portable music wave and had to play catch up, let IE stagnate and had to play catch up, and now seemingly can't ship any major product on time even stripped of formerly core features (can you say Longhorn, CRM, SQL, VS, etc. etc. etc?).

Continued...

http://minimsft.blogspot.com/2005/03/old-school-competencies...
For one, it's easier than ever for the public to go all lynch mob-y on someone today and cut them off from society or otherwise ruin their life.
I find writing software to be a very tedious exercise a majority of the time, punctuated by moments of intense joy and concentration. However I still do it because I see it as an indispensable tool for turning my own ideas into reality and its hard to put a price on that. If you're worried about interviews and what not, pick a domain your intensely interested in and let your passion glow during the interviews, I know from exp. that many good employers would rather have a knowledgeable passionate hire than a dev who knows "everything" but couldn't care less about the domain.
Plenty of entrepreneurs have made a lot of money chasing fads. Web 2.0, NoSQL, microservices, etc.
I've been driving less than 6 months, so my exposure to other drivers is limited, and exposure to other drivers is naturally limited anyway, you just drive.

I think a few drivers are worried about it, and a larger number are dismissive of it.

My opinion is that it's going to happen because it's possible, and because it must.

There just aren't people who are willing to be truck drivers. Shortages on the shelves and rising prices are already happening, because there's more things that need shipping then there are drivers to pull them. it's not just because of Amazon, it's everything.

Side note, if you like the idea of exposure to different fields as a software developer, blockchain is going to be pretty important in trucking, for bills of lading and similar record keeping and tracking.
The effect that you mention is already cited for the trend of lowering average tenure of technical professionals, in general, so, absent specific evidence that this subset's market value differential (market value less existing employers' willingness to keep up) is increasing faster than average, there's no reason to believe that's the reason for a shorter than average tenure.

We don't even know if the tenure is shorter than average.

Regardless, neither the primary motivation for a short tenure, nor even any average would be particularly meaningful with regard to what I believe to be ris's implied accusation:

Absent at least one tenure long enough to see through the consequences of the creation of the large-scale system, such a creator cannot be truly considered experienced with large-scale systems, no matter how many such creations are on the resume (even though the market values/hires the latter).
>I really like being able to use different notebooks for different purposes and being able to tag individual notes.

If only we could tag a paragraph too.
I think there’s also the mistake of assuming having “programming credentials” means you are prepared for every “programming” job. Whereas, in reality, each job is it’s own microcosm of domain knowledge (even if you’re using the same languages/frameworks between jobs!)

So you have the opportunity to ask “Do you like the work?” under many different circumstances.
That produces a currency though, which would be the reward for the work.

What is the reward for doing such proof of work in the context of custody chains?
Surprised it hasn't been mentioned yet but WizNote is a pretty decent Evernote clone with clients for all platforms. Use Google translate on the site: https://wiz.cn/
Do they? Or did they just had a head-start and aren't going anywhere booming further soon?

It's not like all the financial sector runs on Haskell or something -- the majority uses the usual culprits. The stories behind these organisations that I've read of is of some opinionated PM going in and making Haskell or OcamL and the like the officially supported language -- in Jane Street and Standard Chartered and the like. Which is the definition of being an outlier choice.

So, yeah, they are "more programmers" wanted for those 20+ and 30+ year languages, compared to a merely 3 year old language (Rust 1.0 was released in 2015).

But nowhere near the momentum.

Rust has been used already by Dropbox, Canonical, Cloudflare, Atlassian, Microsoft (Azure), Chef, Mozzila (of course), and tons of others in backend and client code. And that's in 3 years, and while the language is changing and core libs are still being built.

And it's silly to judge by job postings, as those places don't need to advertise for specific Rust roles (they can get regular systems programmers or use their own existing devs and have them do Rust). It's not a huge paradigm shift like with Haskell where you'll need people with that kind of training already. Besides, Rust is so new, there would be little point asking for Rust devs explicitly.
There's definitely money to be made from mobile, I had a nice little passive income stream from my Windows Phone apps before it went under.

Also, developer salaries for companies that are hiring for mobile are always high
welcome to writing? i don't understand this kind of pedantry: it is very clear from context that is not going to be a formal spec or formal proof and therefore the word formal here is being used informally... or just ya know according to its conventional understanding. did you really get to the end of article before you realized this wasn't going to be about formal proofs/specs?
I have suicidal ideations, shame and start isolating myself.. This is hard because I wait for people to come toward me but these people don't care so you just end up feeling alone and depressed.

I hope to figure this out in my life.

What do you mean by physically sick? Can you interact with people normally?

Me me world is difficult for me too but also because I find it difficult to handle stuff just by myself
in neighbouring countries the salaries are only lower
On the other hand, I use my real full name here and most everywhere else. I agree that explicitly rejecting anonymity is a solution, but strongly disagree that it would work for everyone or should be forced on anyone.
There’s a serious problem when the degree of attention becomes asymmetrical. Many more people can focus on you than you can focus on in return, and flood every line of communication you have (digital or in real life) with hateful or harassing messages. Our infrastructure isn’t built for this; you can’t sort through emails or texts fast enough to eliminate the unsolicited ones, your voicemail will run out of space, and your ability to walk to the store may become literally impossible when a mob of people surround you. We are also not built psychologically to be okay having to monitor literally millions of potential threats or allies. There is a reason celebrities have to hire people whose sole job it is to protect them from this sort of harassment, and those are people who have already opted out of privacy.
To be fair, the solution with the leather thong across the bathroom is ridiculous as well.
What field is that?

You can have mentors and friends to help with BS calling if you are willing to listen. But ultimately they will not always be right, so you risk not following a valid idea far enough.
Ask HN: Making Math approachable to JavaScript developers?
What if we asked that mathematicians add a semicolon to the end of all Math equations to make it more approachable to JavaScript developers? It is a little bit of a hassle for them, but even if it gets a handful of JS developers to use more Math, then it is a net win!

Thoughts?
As of today, there are 2 versions of the Haskell specification; "Monad" is Haskell 98, but in Haskell 2010 it's "Control.Monad".

If you want to get legacy code to run with a current version of GHC, try "ghc -XHaskell98".
Many software developers like to claim that any focus on performance is "premature optimization" and never bother to test on low end or to optimize.
>Helicopters are complex machines that require lots of maintenance and significant training to fly safely.

So did cars when they were first introduced. Since they solved a need, there was a great incentive to make them easier to use and easier to repair. That incentive doesn't exist for helicopters because most people don't own helicopters.

>To your second point, people with enough money and training do commonly buy them for personal use.

I'm glad you pointed this out, I didn't make that argument because it would ruin the surprise, but yeah. People do use flying cars, and they're called helicopters. They're just used by very rich people or people with enough training to operate them. But think in cities like NYC, helicopters are used just like cars would be, because using a car can be unpractical. Functionally there is no difference between Michael Bloomberg traveling to Newark via a limo versus via a helicopter: both park at his building and can transport him from his home to his destination. It's a flying car.

>If you addressed the cost and safety issues no doubt more people would buy them.

The incentive to improve cost and safety only exists if demand exists. Cars only got cheaper and safer when the public began buying them. Flying cars (helicopters) will only become safer and cheaper if people start demanding them as well. The fact that they're not, IMO, proves people don't actually want flying cars.
The interview process sucks, and it probably isn't much better for other careers. I have friends that have master degrees unable to find jobs with no logical way to explain it. Experience and having a good personality isn't a golden ticket to a job.

You really don't need to know a lot. You choose to know a lot probably because you either feel uncomfortable not knowing the whole picture, or because your just curious. I have meet a ton of great developers that their knowledge base was their language and libraries because that was all they needed to know to be great. One guy I know that hires peoples ask one question in interviews to gauge peoples knowledge "You click the address bar of a browser type in www.google.com and push down enter on the keyboard what happens?". There are some people that give 5 min answer and some that could spend a hour just explaining the keyboard interaction with the operating system across 4 different operating systems for a hour. Find what domain you enjoy and just do it.

Everything is "just" something, and their is no way around having to do cumbersome work and making decisions to get some where doing anything.

You should stay in software because you want to. If you need others to validate a reason for you then you probably should get out while you can. Keep it as a hobby, but the second you start questioning something like this you either need to try something new or go on a camping trip and drop some mind altering drugs so you can find a answer. Maybe do some volunteer work in a third world country.
If you solve a problem well, and it is a problem worth money to people - you can throw out some links on a forum or buy $100 in adwords and get a user or two.

A good advertising or marketing guy will help you go from 100 users to 1000 users, but you shouldn't need them in most cases to get a few users and start the path. Adwords isn't rocket science.

Now obviously there are exceptions, say if you are trying to create a 2 sided marketplace it's not so easy to just slow roll your product... but I think that is a fairly low % of total products.
A degree in EE has been a big plus in some teams I worked in, both in terms of getting hired and day to day work.

Be aware of this: 99% of teams/companies out there are not solving quantitative problem. They are throwing chunks of code from stackoverflow at some app. They use every framework, tool, methodology of the year and look for those names on your CV.

Yet, there's a niche where people do data driven development, understand and use statics and mathematical models, and do real engineering like aiming to solve a problem with the minimum amount of complexity and code.

Aim for that. There are teams like this in Google, Amazon, Facebook and other smaller companies. You have to go and hunt for those. Stay away from coder jobs.
Ask HN: Favorite hobby cnc
Hi all,
Last night I finally got my new probotix cnc up and running. Anyone else have a hobby cnc? What type? Why’d you chose that one?
The last big company I worked at they used Dell business laptops (even had the removable DVD drives) with Windows 7 and 8GB of RAM. That was 2015-2016. They were definitely pushing that refresh cycle out as long as possible.

Where I currently work, they use MacBook Pros that are brand new, meaning that when I joined, I received a freshly ordered NIB MBP, not some old Windows junk to "make do with." Major difference there.