skysight-inc/HackerNews huggingface dataset:
I may see what you're saying now. The problem is that this problem isnt solved in a vacuum: it's pre-requisites for security plus what SCM adds. They want to be sure the binary does what it's supposed to. That requires the What and How of source to be correct with no malicious modifications during development, storage, compilation, and distribution.

That's a large problem. The compiler part is smaller with lots of work in CompSci, FOSS, and private sector (eg books). There's tools with source available on net for imperative and functional languages that are safer, too. Ignored almost entirely by safety or security oriented projects in compilers and general FOSS in favor of harder-to-analyze, less secure stuff. However, they'll happily bring up fad-driven stuff like Thompson attack or reproducible builds as The Solution.

Here's the actual solution. You start with a simple, non-optimizing toolchain designed and documented for easy understanding and implementation. It has extensive test suite. User worried about subversion implements that in tooling of their choice on own machine. Wirth simplified it with P-code interpreter that was easy to inplement with compiler and apps targeting it. Once first compiler is done, it compiles the HLL source of its own code. Now, you can use it to compile a high-performance compiler's source or add optimizations to it. Most of this work is done so it's a natter of FOSS compiler types or project teams just integrating and using it.

They won't, though, because proven practices and components for secure, software engineering are rarely use. They do popular stuff instead which screws them up in other ways. At least the malicious or buggy source from the potentially subverted server run throigh a black box with similar issues has identical binary coming out. Take that NSA! ;)
It's okay to be an irrational human, we all are! Let's not pretend it's anything but irrationality (from a financial point of view), though. Your buy-in being only a dollar doesn't make it less of a waste of money.
The article is about writing a simpler system, not strictly using tools to help manage state. Part of making simpler tools involves making things less stateful, yes, but it's a higher order concept that won't be solved by using a particular tool.
How would that work with a public company? That's bought and sold every day.
This seems to be assuming that we think we're good investors. I think, on average, people are bad investors. And I'm quite average in this regard.
> Will it help?

Absolutely, because you always need to be your own best advocate, even as your current job evolves. By taking a very small amount of time here and there to note down accomplishments, skills, etc. you're also taking time out to think about and shape the ongoing story of your career. Beyond job hopping, this awareness can help you realize that you should maybe push for more recognition and reward in your current job; now you have notes in-hand to start your pitch. Alternatively, maybe you realize sooner rather than later that you're stagnating and need to change things up.
I disagree pretty highly. I've seen it in this order:

1. First are the flight risks. They're likely to split soon after a layoff event anyway, so might as well factor them in.

2. Second are functions that would be otherwise crippled or left unable to do their job well (eg: if you fire a flight risk manager and her team is working on a project that will no longer be needed, might as well cut the rest). Smart companies do the whole layoff this way.

3. Performance based. Highly paid employees are generally highly paid for a reason, and their value in terms of revenue impact generally exceeds their pay. Judgement calls will be made about performance; if the company is old school and still doing performance reviews, they'll be taken into account, but they're most likely incorrect anyway.

Politics will always come into play, but people tend to take layoffs more seriously than either hiring or promotion, and make a huge effort to make the best decisions they can to leave the company with a team that they believe works.
I agree that there are easier modes of movement than bipedal motion, but to some extent bipedal motion is useful because human environments are designed for human-like motion.

That said, cats and dogs seem to do just fine.
> despite the fact that every single game, which made a significant critical/financial impact had a period of crunch

this argument doesn't necessarily disprove the notion. it's plausible to suggest that whatever impact they had was mitigated to some degree.
If you think LinkedIn is in the same sector as Facebook, maybe. I find the comparison with Monster far more telling.
What do all those 9k employees do?
They just scanned your mailbox, stupid.
Foxes.

I think you could have looked that up yourself, but you're not here for answers. You've already made your mind up.
https://news.ycombinator.com/item?id=11354581
SandDance – Visually explore, understand, and present data
Or generating leads. It's not just job hunters who seek out people there.
Very simple, in the short turn as others have mentioned, the US's infra is absolutely shit and we need to poor money into that. In the long term, automation will break the Keynesian feedback loops that underlie such new-deal programs, and we should switch to basic income instead.
There's really no such thing as two equal employees. People are different. For example, back when I worked at Boeing, there were two cashiers in the cafeteria. One young, one old. The line for the young one was twice as long, because she rang up people twice as fast, and everyone knew that. Union rules, which presumed that time on the job determines productivity, required that the older worker got paid more, and when layoffs came, the young one got laid off.
Native English speakers are a minority among all English speakers.
The problem is that LinkedIn got sucked into serving one very specific demographic: recruiters.

It would be as if Facebook decided to focus obsessively on serving college students. It's a good initial strategy, but eventually you have to serve bigger markets.

If I were in charge at LinkedIn I'd focus it on becoming the number one place for professionals to exchange information, create and manage events, and connect with like minded colleagues.

There's a huge potential in this because most professions don't have particularly good online social networks. Oftentimes they're old fashioned discussion boards behind paywalls, comments sections of popular blogs and other half-ass solutions.

Interestingly, my vision really wouldn't do much for software engineers and developers. I think StackOverflow, meetups, and other resources already provide this.

It boggles my mind that they didn't take this route and instead they became the social network for the unemployed as another commenter aptly described them.

It's a business school case study waiting to be written.
Cats leave behind about half of what they kill. They don't eat it. It's not self-defence.

http://www.kittycams.uga.edu/research.html
LinkedIn had... a vision? Since when?
One of the most profitable patent trolls has been defanged
Show HN: I3status replacement in Go
I recently rewrote many of my shell scripts in guile, a really fun experience. And tail call recursion makes it pretty easy to reason about the code, no more looking up bash cheat sheets every time I write a script
I'm a big fan of Rawls' Veil and use it in my own thinking about what is just.

I do want to add, though: "No one complains that typefaces set at 20px are too big to read." - I do, very often, when reading on my phone. If the font is so big that only three or four words fit on a line, I cannot read the paragraph - the vertical scrolling & concentration required is too fatiguing. I'd say it happens on 10-20% of mobile sites today, and it's an increasing proportion. I strongly prefer tiny text with very little scrolling to the opposite. Browser text size preference don't help much; the setting often doesn't have any effect.

This site is fine on mobile (for me), though. And I fully agree with the message, with my caveat.
The subset of advertising the superposter is referring to is informational and educational promotion of products rather than advertising.

There is also the conflation that there is some lost potential when advertising can actually sway you into buying something - but the secret is, if you do not already have the necessary economic pressure upon yourself to seek out goods and services in your interest already, that advertising is actually detrimental because it subverts your internal alignment of values through conditioning causing you to make purchases against your base intentions.

The only aspect of advertising of worth is learning products exist, but I would quite easily argue that - especially in the age of social media - word of mouth informance about goods and services that can benefit your life are much more valuable and reasonable and much less detrimental to personal economics than advertising.

How many people bought smartphones because of a TV ad vs their peers telling and showing them how useful they are?

Since we are getting on this topic, I imagine in the case of the downfall of advertising - however that may happen - people would become sociable again amongst each other about what products are good and useful and which have quality. A thousand years ago you would not have known of the quality of rice from a country away but you would know who is the best and worst blacksmith in town and where to get the best ale. We could easily have that again, enhanced with technology to make it a truly global information market.

The private finance of product placement to cause emotional purchases rather than rational ones, by comparison, is dramatically more inefficient.
I've been using nas4free for a while now (which used to be called freenas before a fork).

Can somebody who has tried both compare the state of the two projects?
I think something like this will be useful to me - if I can make the time. I have a online accounting package and have to manually upload stmts from my bank (which I have to manually download ) - and sometime back they broke their own matching algorithm such that the same amount on same day with same ref will be counted twice and. Have no means to delete one of the transactions. This causes no end of pain.

A simpler way might be to write to ledger and then from there upload to whatever "analysis" package I want

But ... The investment in time is huge and I don't want to find myself trapped. Any feedback on this or others ?
Not what I meant, I meant as in when it becomes a subsidiary of another company or something as such. Not bought or sold on the stock market.
What did I miss about these well correlated drops? What happened to both companies to cause these losses? I am genuinely curious as I don't really follow these 2 companies.
Linkedin is just a sum of so many dark patters...

I mean really, take Facebook. Does it suck in some ways? Yes. Does it set the privacy defaults a bit more lenient than my own preferences? Sure.. but I use it and I've found it trivially easy to grasp some of its privacy basics, and set the settings according to my wishes, such that it's usable within my privacy wishes. Further, they've at various times prompted me to look into my privacy settings. All of this has been under enormous scrutiny and pressure, they're no saints... but for me it's a reasonable product in my own experience. If need be, I wouldn't feel bad about closing my FB account because it'd mean FB just wasn't for me, rather than FB is trying to screw me left and right and I need to get out.

Linkedin is very much unlike that, every interaction I have with it says 'close your account because you don't know what the hell Linkedin is doing', and I've not logged on in at least half a year because I fear what kind of alerts and notifications they'll send to my network on the basis of me visiting a few pages there. Like when I turned off 'see who visited my profile', so that I could turn off 'let people see I visited their profile'. A few days later I check my best friends' linkedin because I was updating mine and looking for inspiration, and he jokingly messages me I'm stalking him on linkedin. I couldn't care less he saw that, he's my best friend, but what the f, I just turned that feature off? It's just an accumulation of stuff like that where I've completely lost my trust.

> If "being creepy" is their core business model then they are a great success!

Totally my experience. And I'm even one of those people who's pretty good at bs options, like a tiny remark that give permission for linkedin to email your entire gmail contact list (i.e. anyone you ever conversed with, like say a guy from craigslist you bought a fishbowl from 7 years ago). Even then I feel like Linkedin is just screwing me in broad daylight while I'm paying my utmost attention.
AR would allow you to interact with your co-workers much more naturally than VR
Curious, what are the other all purpose slang words?
These articles on "jawn" always miss the use of "the jawn" which works in a manner similar to saying something is "the shit." In other words, the phrase "That jawn is the jawn" is a valid sentence, meaning "That thing is the best."

Stuff like this is why I think "jawn" is the fuckin' jawn.
This way of thinking feels a bit toxic. I don't do my job with the objective of not being laid off.

A business relationship such as employment works as long as it works for both parties. Pretty much like other relationships, when it stops working for one party, it's time to move on.
> There's a couple sites specifically catering to the software dev for hire vertical, like Hired.

Yeah but honestly they are all companies I'd personally avoid and haven't been happy with.

> Though I think software devs have a unique view of Linkedin, in that we have many other avenues for professional networking AND we are heavily recruited at all levels of experience. When the only real way to network is via mutual acquaintances (as opposed to open source projects, chat rooms, etc.) and you aren't getting spammed with every "game changing startup" Linkedin can give you real value.

Yes but what value do you get out of it besides access to a network for a job search?
I think your expectations are too high. What else are you expecting other than a website or mobile app?

In a way, you just reinforced his point.

Maybe (shocker) there isn't a lot that tech can do to solve domestic violence.

At the core, most human violence is about some form of pain, fear, or resource shortfall. (Or perception of such.) There is much that tech can do about this, if one is willing to look beyond just the creation of an app. "Ecosystem" creation might well be capable of more than "just an app."
>Actually the 'monetization' of LinkedIn against non-recruiter members has really dampened my enthusiasm for the company.

This is a good way to put something that's been bothering me for a while now: I get that in most "free" websites, I'm the product, not the customer -- but LinkedIn seems to almost go out of their way to remind me of this.

Recruiters can shotgun messages out to anyone who's ever mentioned "Node" in their profile, but I wanted to send ONE message to someone to whom I wasn't connected and found I wasn't allowed -- without paying, of course. LinkedIn isn't even for me.
On the topic of Sushi Restaurants, you have two fantastic resources available to you anyway - technology (Google Maps, for example) lets you find the closest restaurants and ratings for those restaurants polled from various resources. If you do not trust Google, use another mapping or restaurant critique service. Alternatively, you can use the ancient-as-human-civilization method of social web information about quality. The vast majority of purchasing decisions are still made through the influence of peers, rather than by advertising, because you trust your peers recommendations way more than what you see on TV - for good reason.

In either case, they provide broadcasting as well, and in all cases, they are inherent to either the Internet Age or human organization, and do the job better than emotional splurge-purchase decision TV ads ever could.
This comment pretty much nails it. I've definitely seen a pattern of highly compensated people getting sacked.

If someone does play the aggressive pattern I'd highly recommend saving up a lot of cash so you can weather longer spells of unemployment. This is especially true if you intend to be selective in who you work for after getting laid off.
It takes a shrewd contrarian to beat the market anyway, so if you fall for this fodder you might as well heed its advice.
If someone wanted to get started into Lisp programming, what REPL and resources would you recommend? I began working through SICP a while back, but found it difficult to know what dialect of Lisp to use. As a complete newbie to Lisp, it was near impossible to debug why the code I wrote from SICP didn't work at all.
Mathematician finds solution to Poisson formula problem buried in 1959 paper
That would be my guess: former girlfriend running a search to compare what became of you with their current husband. :D
Thoughts on LambdaConf 2016
>panopticon

Is anyone else tired of this buzz word?

It's like, damn, I get it, you skimmed Foucault's wikipedia article, no need to bring it up every week.
For those interested, the video overlay features of this were used for anime fansubbing in the 90s. If you saw a fansub before 1996 or so, it was almost certainly done on a Toaster.
I never implied it was easy to implement. I also said I was skeptical of the recent "free lunch" approach to AI.

It was a failure. It didn't understand the remarks it was making, unlike a real Holocaust denier, a 4chan user, or a stand-up comic whose joke just fell flat.
The central consideration needs to be approximation. People like to compare US unemployment and welfare to UBI, or other social safety net programs, but in almost all these cases maintaining the income requires diligent screenings from state officials combined with proving a lack of income on your part. The temporary nature of all of them, and the cultural stigma of using them, also causes people to withdraw rather than participate in society. To be on welfare is to be wrong, and it is hard to operate from that mindset and be productive in your thoughts and endeavors.

We need to see if these Canadian or Finnish proposals show fruit. Because one of the fundamental tenants of basic income - unconditionality, perpetuity - is the keystone of seeing economic growth through its deployment. It is also the halmark of decrying existent forms of welfare in how they incentivize docility and non-participation.
You're suggesting the owners wrote themselves checks out of the business to the point that the business went bankrupt, thus destroying their source of income.

Why would an owner do that?
I tried installing Puzzle and Dragons once on my Nexus 4, and it was crashing at startup. The game uses native ARM code in a .so that couldn't be loaded because of (IIRC) missing symbols. I had a pretty standard Android install, nothing special about it, so really, I don't know how it ever worked on Android at all for other people.
The classic excuses for getting a computer back in the day was to 'help the kids with their homework' or to do work at home. Even though the Amiga was capable of being a business machine, it was seen as a hobbyist/gaming machine. If the Amiga had native support for the leading business software (Lotus 1-2-3, etc...) and had the option to work with the IBM-PC compatible disk format, things could've turned out differently. Then again, that was just one of the many missed opportunities with the Amiga.
> something relatively trivial like Twitter has 4000 people

there is more to twitter than the web app you type dozen words into.

i don't much about them (including whether 4000 is accurate), but presumably there's a lot to work on regarding international near-realtime messaging infrastructure, high availability, machine learning, sentiment analysis, smart advertising systems, yadda yadda. 4k does seem like a lot, but i doubt their suits are interested in needlessly hiring people to sit around picking their nose.
If it was profitable to mine with AWS, why wouldn't amazon be doing it themselves?
That would require the user information to exactly match the credit card information - which is dumb because it blocks a whole swathe of use cases (multiple payment methods, different person paying, paying by Paypal, paying by Apple Pay, etc.)
Exactly. I've spoken to a number of people at large co's in non tech roles that use it daily. Apparently the feed is great for keeping up with what's going on in your industry, and what your coworkers are reading / liking / commenting on. One person I spoke to said she pretty much always has LinkedIn open as a tab during work hours.
A text editor that only allows the top 1000 most common words in English
LinkedIn is great for someone like my wife, who avoids Facebook as a time sink, and calls LinkedIn a "Facebook for grownups". It's been a useful way for her to connect with people without the cruft of looking at kitten pictures and what someone ate for breakfast.

I log in maybe twice a month, and that's sufficient for me. I hope it works for LinkedIn as well, because I'd like them to stay in business, but I'm happy with my level of involvement which I suspect is similar to that of many others who are also overcommitted on other networks like Facebook, Plus, Twitter, etc.

I do find myself spending more time there (i.e. staying logged on for a longer period) because of the blogging/article stream, much of which involves issues I'm interested in -- employment, technology, the markets, future trends. Truly, it is a Facebook for grownups, at least for me and my friends.
I don't doubt that there's more to the story, and I'd be interested to hear it. However, it's not true that patent owners lose their rights without enforcement the way that trademark owners do. All you need to do as a patent owner to maintain rights is pay the renewal fees.
Perhaps true.

Surely it would be too creepy to exploit every bit of information available to suggest connections?

No, not too creepy! At LinkedIn if someone searches for you then OBVIOUSLY you MUST know them and want to connect! The clever LinkedIn engineers think "Let's offer a connection to the target of a search for the search originator - that's an engineering challenge, not a complete invasion of privacy creep out."
Why every household is about to get a brand-new fridge
The thing for me personally, is after some of their past behavior I just don't trust them enough to use the site regularly. I'm thinking specifically of their extremely aggressive and manipulative attempts to gain access to your email contacts and spam people you know. While I'm not specifically worried about that one specific thing, the fact that they were willing to do something like that makes me think they're willing to do other things I'd disagree with. When it's your professional reputation and contacts at stake it just feels a little bit too risky to use it regularly.

That said, it really is a useful tool for keeping track of where people have gone and what they're presently up to, I just can't imagine ever using it regularly when I don't entirely trust them.
How does the statute of limitations work in this situations?
A small anecdote that shines a light on the core of lotteries.

Very nice.
There are a lot of answers to that. Price was an issue, and PC-compatibles very quickly became a race-to-the-bottom in the 90s, putting a lot of PC makers out of business.

Commodore had a lot of self-imposed issues as well, which you can read about in this series of articles.
Embarrassing Ourselves: Geoffrey Bennington on 'Of Grammatology'