skysight-inc/HackerNews huggingface dataset:
I only have anecdotal plus a bit of thinking...? Talent is pursued interest; genius is pursued passion. Most people won't have passion for mathematics, even if such passions were heartily encouraged - at the very least, because there are so many other things to also be passionate about.
Then put those people in open office plan, and give developers offices.
Once accustomed to working in home office in your PJs, it's very hard to contemplate going back to commuting to, parking at, and working in a noisy, stinky office.
You are reinventing Gherkin. Please don't reinvent the wheel.
There's more I could write about researchers and their programming skills, but to keep it brief: researchers aren't directly rewarded for being good programmers. It's possible to have a strong research career without really programming all that much. However, if you are a strong programmer, some things get easier. You aren't directly rewarded for it though. For an extreme counter-example, consider the researchers that improve the mathematics platform SAGE. Their academic departments don't care about the software contributions made and basically just want to see research output, i.e. publications.

I think that this keeps most researchers away from making usable tools. It's hard, they're not rewarded for making software artifacts, they're maybe not as good at it as they are at other things.

I think it's feasible for anyone to work on the developer tools side of things, but I think it's going to be really hard for whoever does it, whatever their background is. There are lots of developer tool development projects that encounter limited traction in the real world because the developers do what make sense for them, and it turns out only 20 other people in the world think like them. The more successful projects I've heard about have a tight coupling between language/tool developers, and active language users. The tool developers come up with ideas, bounce them off the active developers, who then try to use the tools, and give feedback.

This puts the prospective "verification tools developer" in a tight spot, because there are only a few places in the world where that is happening nowadays: Airbus/INRIA, Rockwell Collins, Microsoft Research, NICTA/GD. So if you can get a job in the tools group at one of those places, it seems very feasible! Otherwise, you need to find some community or company that is trying to use verification tools to do something real, and work with them to make their tools better.
HPMOR is, amongst many other sins, pretty rapey.
I manage hundreds of servers that are not connected to the Internet, to which I cannot connect any device without management approval, and which are redundant, but which are periodically reflashed and/or replaced with a whole new set with a 'clean' image, less dotfiles.

I keep my dotfiles short and sweet, because it's tedious to retype and I need the defaults to still be instinctive when I lose them.
Prisons serve multiple purposes. They are not merely there to hold scary people. Indeed, most scary people are not in prison nor should they be. Being scary is not a crime.

Prison can be an entirely appropriate punishment for nonviolent crime. For certain classes of crime, it seems the most appropriate punishment because it can be difficult to punish effectively with fines. If you only fine for financial crime, you make lucrative financial crimes more appealing. Worst case they just take your ill gotten gains.
The best work setup I've ever had by far was not private offices or cubicles (and definitely not an open office); it was a hybrid where our team of 3-5 people sat in a large private office. This increased collaboration while enforcing respect. It allowed our team to create a work culture democratically (how do we arrange seating? what noise levels are ok?) that simply isn't possible in an open seating arrangement.

I know this won't be popular here, but I find private offices problematic for a few reasons. First, they hurt collaboration and social interaction quite a bit. This is ok from a single developer's perspective (heavily skewed audience on HN), but it shows on cross-functional teams. I know this can be hacked into a private office setup ("my door is always open"), but in my experience there is a clear difference in collaboration when there is no physical separation between people who are working on a project together. Also, private offices create a hierarchy where some people get big corner window offices while others are in shitty interior offices or cubicles. My favorite thing about the trend towards open offices has been an egalitarianism where the CEO and founders sits at a similar desk as the interns.
I think archaeologists studying us in a few thousand years are going to be so fucking confused by this discussion. Offices? Why?

It will seem more bizarre and alien to them than the Salem witch trials seem to us.
Precision is so boring though. It's like mapping the inside of a cathedral with lidar or something; yeah it's awesomely accurate but it's not substitute for just walking in and enjoying the spectacle. You won't have a better aesthetic experience from knowing the position of every individual block of stone with micrometer precision.
Open or not, doesn't matter that much, IMHO. What is very important for me is a distraction free environment, no noise, no visual distractions.
I've never used Go, but would you write your customer facing REST service using Go? Or would it only be used for back-end microservices? What's a recommended library for writing a customer facing REST API?
I also had this recently too. I got given a friend suggestion of someone I haven't seen in twenty years. We have no shared FB friends, nor location, nor schooling / college education.

I have her email address in my contacts which has been shared with WhatsApp.

Curiously, there should be no way to directly link my FB account with WhatsApp. I haven't shared my mobile number with FB, and I haven't shared my FB account email address with WhatsApp. Somehow they have tied the two together.

I've never installed any other FB app on my phone, and my FB account is only a month old.

I found that particularly chilling. The friend suggestion doesn't have my email address nor mobile number, and we live in different countries. I'd love to figure out how they did it. I even use a pseudonym on FB.
Another musician here:
One day I got ads for Waves Plugins. I still haven't figured out how they have learnt about me being into producing. My FB friends are (afaik) non-musicians from school days and I don't open FB in my regular browser. Furthermore, I block almost anything µblock has to offer in my normal browser. Maybe they derived something from my e-mail address. Pretty scary stuff!
Depends on your state. I live in Florida and everyone I know personally who lives here and has started a company use sunbiz ( which is state specific ) maybe your state has it's own specific website? Otherwise there are multiple options available.
> it's no longer being enforced by people we know and interact with but instead by people who we may barely know at all

And whose core motive is to make money.
> which promises to join Lean Startup/Hypothesis-Driven Development and DevOps

Finding this tricky to parse, got a link or repo?
But they told us if you have nothing to hide you have nothing to fear
So much of the conspiracy theory hearsay turned out to be true in the past 20 years, it really makes you think. Or not so much. Whatever.
Just me for side projects that generate a passive revenue. From what I can tell, the process seems fairly straight forward, but I ask because there are always caveats that people with experience learn from that I might be able to avoid.
You may be interested in https://facebook.github.io/reason/

They have an active community that is very engaged in improving the entire developer experience. Plus ReasonML is just OCaml under the (new syntax) hood so you have decades of OCaml expertise and libraries to draw on. In case that's not enough, it also deploys to JavaScript and targets the npm ecosystem, so you also have the entire npm package collection at your disposal.
Having enough information to specify the set isn't enough to pick out one particular member.

For example, if i say "the colours teal, maroon, and taupe", you have enough information to know what's in the set, but no extra information that would let you pick one element out of it.
SideFX Houdini 16 is coming out [1], the new version of the most awesome software for 3D VFX and animation. Super excited about this, it's gonna be awesome!

Also, I'm really looking forward to the ActivityPub [2] implementation, that'll do a lot of interesting things for decentralized web.

[1] https://www.sidefx.com/community/houdini-16-launch-streaming...

[2] https://www.w3.org/TR/activitypub/
Despite what every open office critic says, it's very possible to be productive at work in an environment that is not designed to meet their very exacting needs.

You're not painting the Mona Lisa, you're working on some app or spreadsheet. It's called work for a reason. Learn to make do.
That makes no sense. The non open-offices I had were all much better looking.
Ad blocking on the rise
Well, there's that one alleged program with the name "Perfect Citizen" which seems to touch upon using the power grid as backbone SIGINT & data transport infrastructure:

https://yro.slashdot.org/story/12/12/23/2119225/nsa-targetin...

https://it.slashdot.org/story/10/07/08/1449254/us-plans-cybe...

These are dated as old as 2010-ish...
Yes, people change. Even Zuck seems to have changed a bit, in recent years.

But to get back to the subject of the original subthread: not enough for us to trust him running our national ID structure, thank you very much.
Ask HN: Anyone know a good support API with Logging?
Has anyone come across a support API compatible with iOS that has logs of user activity to help diagnose issues?
Of course, You don't know JS by @Getify:
https://github.com/getify/You-Dont-Know-JS

Also, check out some of the quality, free courses you can find on Pluralsight:
https://absolute-sharepoint.com/2015/12/free-pluralsight-6-m...

Goodluck..!
Quite interesting approach. You might like Meshuggah then. Catch 33 fits what you describe.
I understand that in practical terms giving every employee their own private office might be unrealistic. I would love to just sit in a smaller room with my immediate team/subteam.
Yeah I've gathered it's probably pretty straight forward. I only ask because I've never set up an LLC before (been involved with many C corp setups), and I can guarantee I'll miss something that someone here could point out to me from their own experience.
I especially agree with the part about density. I feel like when upper management hears about how open offices promote group collaboration, they imagine all of their teams working in the same room together in close proximity, when really the benefit mostly comes from being close with people from your team. When done incorrectly it starts looking less like an open office and more like a boiler room.
Typical 'vice' companies? Gambling and cigarettes, oil? 'Big Pharma'? Does heath insurance count as 'regulatory capture'?
That's one way to look at it. I think you'd admit that this isn't how a lot (if not most) people look at it. Facebook and other platforms provide them a convenient way to share their parts of their lives with their friends and family. Reasonable people can view this same situation differently.

You're almost assuredly right that there are still opportunities out there in this space. I do think paying people to post would change the dynamic: it would change what and how often people would post. It's definitely an interesting problem!
What about the kids who won't put on the VR headset because they prefer to snap-chat, chat, youtube, waste time, do social posturing?

I think, for middle school, it's easy to underestimate how much of education is not actual content. How do you deliver education that targets the teenage anger / passivity / disappointment / and emotional roller coaster?
I imagine most are not making 300k. Also, like many things Google does, I'm guessing it's partially because scaling is becoming an issue.

It takes a while to get a space ready, and it's also not easy to just expand around existing offices when they're already quite large.

Admittedly, much of this would probably be solved if they were more OK with remote working, as there's a high emphasis on in person collaboration. I suspect they've done some studies on this matter though.

I work for Google but opinions are my own.
I'd like to specify: Own shares in Bose*

*Empowering open offices with $300 noise cancelling headphones since 1964.
They've always been a big drawback for me whenever I go interview. It's hard to imagine going to actually work in the space when you don't know how annoying the people that would be around you are. It increases the amount of variables in the form of people's personalities - will you sit around the nice guy who won't ever shut up, the always distracted person, or does everyone have a good work mode but it's hard to break the silence?

For one it makes "meta" discussions about the workplace not happen except out of office. I've seen over time there's a lack of office improvements in open office situations compared to places with private spaces. People also treat others with a bit less professionalism.
Stripe Atlas would be good pick if you need credit card processing + a more serious entity than a LLC.

Otherwise, it would more expensive and more complicated each year than a local LLC.
> Do you know any 'shitty mathematician' in person

I certainly do.
Yeah, Atlas is probably excellent for a startup filing a C-Corp in Delaware - I just want an LLC since I have passive side project revenue and want to parent all of them and funnel it all down into a single structure for simplicity.
Thumbs down to whoever decided to close the boards.
I'll miss being able to argue about why a movie is rubbish with someone who thinks it's fantastic, or vice-versa.

This would be a great opportunity for you to start your own film community then.
How large a space and are you all colocated?

My employer is moving to an open office. Truly open, one giant space for 100+ developers, plus managers.

Half my team is remote, as are about half of the teams I work with. So, we are all on the phone/Skype/something all day long. And not with the same people. It's going to be like the Tower of Babel in the new space. I'm not looking forward to it.
Homebrew Amiga Graphics Card (FPGA, Open Source) Finished [video]
If they looked you up that could be part of the why and how. Facebook knew where you both were, and the fact they looked you up initiated this. Totally creepy either way.
I really don't think so. Someone will see SV real estate prices and make sense of it.

Then again, I don't see the Salem Witch Trials as that alien either.
That looks lovely, but as most other movie communities there's no import option. After having rated hundreds of movies on IMDB and Trakt, I really don't like the idea of starting from scratch, again.
I find that weird though; message boards generate a lot of pageviews and are generally rich in content, so they would also generate a lot of advertising revenue.
If you know that structuring is illegal and you tell -y-o-u-r- -e-m-p-l-o-y-e-e-s- your bank[2] that you are doing it to evade reporting, you admitted a crime to a witness. It doesn't matter what you are doing with the money after it is withdrawn. If he was using the money for money laundering or other illicit business, that is a separate crime from the one described in the article.

Dennis Hastert, former Congressional House Speaker, was convicted of the same charge[1] when an investigation into his (alleged) extortion/hush money used the same tactic to avoid financial reporting. AFAIK, he wasn't actually convicted of child molestation or statutory rape, but was convicted of the money laundering-related crime (because that was easier to prove).

Whether avoiding financial reporting is a reasonable statute is beside the point, but perhaps what you were commenting on.

The way I look at it, it's like a seat-belt law. It's only reasonably enforceable after you've already been pulled over for some other moving violation.

It seems to be in-line with most of the federal code which is designed to give federal prosecutors outsized leverage in plea negotiations. The more charges and the more years of prison they can throw at a defendant, the better the odds they will come away with a conviction. Sadly, this also leads to a lot of largely innocent people taking plea deals to avoid getting railroaded by vindictive prosecutors and less-than-rational juries.

[1] http://www.motherjones.com/politics/2016/04/dennis-hastert-s...

[2] https://www.justice.gov/usao-wdmo/pr/springfield-business-ow...
This recent CCC talk demonstrates that airline reservation data is wide open:

https://media.ccc.de/v/33c3-7964-where_in_the_world_is_carme...
While it is possible to put up with a lot and still churn out work, many tech companies nowadays try to make their office and facilities a perk of the job. "Look how cool our office is. We have twenty coffee machines on each floor, a massive beautiful kitchen and bar, meeting rooms with couches! A game room. Come work for us!"

Companies that treat their office as a selling point for employees should expect to be criticised when that selling point falls short in the most important area of all - where the people they are trying to attract actually sit and work all day.
But they don't look like the places cool startups do cool startup things and the company wants to foster a cool startup feel so that everyone acts like it's a cool startup and starts doing cool startup things and attracting all that cool startup talent so that all that cool startup money starts flowing in and cool startup vibe permeates the office.

/cool startup.
>where I instantly ALT-F4'd Google Chrome and added 'medium.com' to a permanent blacklist

Medium.com is essentially just a blog host, isn't it? Seems a bit harsh for one story you didn't like.
And what to do with people who have to grab the phone or talk?

They have nowhere to isolate because it's a f------- open office.
I don't think it's impossible for them to see your financial (Credit Card?) records and use that too? Advertising companies are after all, advertising companies... They get anything they can, even the old way of finding things out. I used to buy cigars online, to this day I still get mail from websites / companies I never bought cigars from.
No shareholder control and Sky-high valuation – Will Snapchat IPO succeed?
Any friends of yours who have installed any FB application will have uploaded your contact details. All FB needs to do is merge all of those profiles of you from each of your friends and they will have a pretty accurate informational profile. Since many people have also added a photo of you to their phone contact entry, FB gets that too. Any time you visit a website that uses an FB Plugin, for commenting or sharing, FB drop a ghost profile cookie against you. If at any point you somehow leak your email address or cell number on one of those sites, they can now tie that ghost profile to a real person, thanks to your friends using FB, even when you don't.
I think tragedy is going a bit too far. Unfortunate for some hardcore fans, sure, but some things are just not worth keeping around and most of those things are message boards.

It's time to admit that message boards, as a genre of open-web feature, are a failure without clear topics and strict codes of conduct.

IMBd's boards had neither, and I'm glad to see them go.
It's about look, alright; the look of the balance sheet when you can cram more people into a cheaper space! Offices take up too much room, and even cubicles are inefficient. If you put people shoulder-to-shoulder at rows of back-to-back workstations, you can fit, like, a hundred of them in a room.
I think it's a bit pointless to get hung up on that wording. It seem to me that his point is more that people are often so bad at spotting genius that we may as well assume everyone is a genius.
A friend of mine works for a consulting company specializing in optics. They invented a machine for one client which sorts wheat grains. The machine does spectrography of each individual grain, looking for moulds and fungi as well as heavy metals and more. It's a big rotating drum with small chambers for each grain. After doing the spectrography it shoots each grain off into either the selected or rejected direction.

But it doesn't just reject every bad seed, instead it will optimize to keep within legally accepted limits.
Well in the EU Facebook can't do the kind of face recognition described in the article.

Most people in Europe actually still think face recognition is useless (like how speech recognition was useless until very recently) because they haven't experienced it on Facebook.
Sbt Beyond the Defaults Part III: Scopes
I had once looked up someone I knew from college on Facebook, and their name appeared immediately, weeks later I realized they were trying to find me before I was trying to find them! The other person probably looked you up, and other factors pushed Facebook to suggest them.
The ultimate guide to the meta robots tag
we've never lived in a time when it's been easier to create art

And art that is created without effort tends to deliver only superficial pleasure and is accordingly treated as a disposable commodity rather than the product of a singular vision allied with patient craft.

You might enjoy reading Walter Benjamin's essay The Work of Art in an Age of Mechanical Reproduction. While this was written in the 1930 it remains very readable and its observations are easily synthesized with the distinguishing features of digital technology.
That makes no sense. There was nerf guns, game tables and underpaid young developers. There is no need for an open office to have that.

/coolER startup.
I sincerely feel with those who can not concentrate in an open environment but all is not black and white. As a mild introvert I hate the whole social dance associated with entering someone's private office while I can go into a deep concentration wearing just over the ear headphones even if I forget to start the music.

(Ideal is the combination of open space with numerous meeting rooms and smaller pods for phone calls and occasional privacy.)

Productivity is not that important if you are producing the wrong thing in the first place.
Not being afraid to say I'm overloaded or taking a break is good to be reminded about. I find myself giving too much maybe. My boss has often said I "...fear that you're going to burn out [given all the things you're volunteering for]". I've since become better at taking needed holidays
> It's not a criticism

I'm responding to criticisms in this and other HN threads about Go, so yes, I'm talking about a criticism.

> it's literally how the Go language creators themselves describe it. See the Rob Pike quote

Unless you think Rob Pike is saying that Google is hiring mediocre programmers (hint: he's not), that statement is intended as a criticism of academics ("researchers"). He's saying that the same things that excite researchers about programming languages don't lend themselves to good software engineering in industry. (And he's right).

But regardless of what the creators of the language may have intended, I'm saying that the criticism regarding experience with functional languages is flat-out wrong. I've written more code in various functional languages than the overwhelming majority of people who read this site - both on and off the clock - and I'm testifying that yes, even for someone who has deep experience with functional language of both the Lisp and the SML families, Go still has a lot to offer that very few others do.
It tells me that you're not a valued professional, you're a line worker. There can't possibly be any reason why you'd need privacy to have difficult conversations or focus on important tasks.
Termlib (tgoto(), tputs(), tgetent()) is that old.