skysight-inc/HackerNews huggingface dataset:
"My main question is the extent to which this is possible in more conventional languages."

It is substantially possible in more conventional languages, however the conventional languages have holes in them which can not be filled in by libraries.

For instance, a bog-standard approach in any OO language is to hide the raw constructor and give only mediated access via some other class method (or local equivalent construct). This can allow you to easily enforce constraints like "A CreditCardNumber either had its parity validated OR does not exist". If you then put methods on an object that allow you to only manipulate the object in certain ways that maintain the constraints, there will exist no (direct) way to violate the basic constraints of the object.

This is reasonably powerful, and mastery of this technique is something that I would consider to be core to considering yourself at least a mid-tier professional developer.

However, there are many constraints you can not enforce in conventional languages. You can not enforce via type whether or not a given call will do IO or access global variables in unexpected manners. You can not enforce via type that a given method will only be called in a certain context (key in things like transactional memory, where you'd better be doing your STM things inside an actual transaction or the whole thing breaks down). You can not enforce whether an object will or will not be shared across thread boundaries. And so on, for a wide variety of additional guarantees that can be provided by a stronger type system. In the exciting-but-experimental world of dependent typing, you can enforce at the type system that a number is even or odd and stuff like that.

There are many different additional constraints being explored right now across a wide variety of languages, and while functional languages are leading the way, and there are some solid reasons for that, it isn't just functional languages that can use this... for instance, see Rust, which isn't functional at all in the modern sense but can still guarantee some of the things I said above.

(Rust, for instance, bring a question to the fore that I've been interested in for a while, but haven't had a major language to check it with: Is the important thing about functional programming immutability, or is it controlling mutation carefully? If in practice the latter is really what's important, than it is possible to see a set of "immutable" languages and see them successfully control mutation but accidentally attribute that to the "immutability", because that's the mechanism we happened to be using to accomplish the mutation control. I've already previously explained why I believe Erlang definitely had this problem: https://news.ycombinator.com/item?id=7744109 but with Rust we can explore whether Haskell has the right of the argument, or if Rust-style mutation control will turn out in practice to be sufficient. But it will be years before we can even start forming a decent answer... Rust needs some large scale programs and a body of people with experience writing large-scale Rust programs before we can even start forming a solid answer.)
I don't really care about the choices offered by YouTube here, but at this point you can have a scandal without them. The fact that they're lying to journalists and making such an ass of themselves in the PR department is interesting on its own now.
Fix the site! this sounds interesting
Nothing to hide?

Hey, can you set a Gmail filter redirecting a copy of all your emails to my account? Do it, you have nothing to hide :)

Or better, just use a public Twitter account for all your communications so we all can see what you are doing.
Expensive Placebos Work Better
True. I'd rather see Red Hat or some such backing it. However, Google is better than a random dev working on a project a few hours a month, then losing interest. Having Google as the backer will give Angular a boost that will get it to be popular. Then, if Google ever walks away from it, someone with enough money will depend on it so much that they'd have to pick up where Google left off.
iTunes Connect Issue Causing Developers to Be Logged into Wrong Accounts
Everything I've read suggests that the G+ / GMail / YouTube integration was forced onto the various parts of Google by executive fiat: The rank & file Google employees were against it, but a company is not a democracy so it was forced on them & by extension us.

Executive culture tends to laud the "visionary leader" who pushes their vision on everyone else. When that vision is wrong-headed you end up with situations like the G+ débâcle: it was a failure of the Google executive, not the employees.

My guess is that we have the same effect in play with the YouTube Music debacle: an "up and coming" exec who wants to make their mark by creating a new business line for Google that brings in big profits. They don't care if they sully the Google brand in the process because their incentives aren't aligned with Google's, any negative effects on Google's userbase (be they musicians, music consumers or just ordinary users of Google services) are just collateral damage in their internal political game.

This is warring business units in action.
Looks good to me. I'll try to title each aspect and kick the tires from a compliance standpoint:

- Work Late, Sleep Late. This reminds me of policies for truck drivers and pilots, which make sense to me--you don't want employees to "crash" product. A bit of a pain to track hours, but there are plenty of hour-tracking systems, and tracking hours can be a great tool go back and review your own productivity. (Caveat: I have to track every hour.)

- Daily Overtime. This is in some ways a reality in several countries' labor laws. We have seen labor lawsuits (e.g., in China) where the employee prevails on unpaid overtime because it is the employer's responsibility to keep track of overtime. And in some countries' labor laws, overtime = any time over the daily AND weekly max (e.g., Brazil). Again, we are tracking and accounting for hours, but I am someone who loves to hit the clock and see what I got done yesterday, last week, last month.

- Your Time is Worth More Than Ours. I love it. I think 1.5x or 2x time is more reasonable than 4x time on the weekends, but the eventual number, whether 1.5x or 10x, is somewhat arbitrary. The point is that this policy screams that the employer values people's lives and makes a company think twice before making people give up their spouse, partner, kids, family, friends, health, hobbies, etc.

- Clock Management. This is a great policy, which we've seen elsewhere and written for employers. Bottom line, I think: if your team is always working nights and weekend, something is out of balance. I agree that it is better to have a rule in place and an objective way to track it than it is to have a disgruntled team for even a second. I think a red light should flash and a foghorn sound when a team goes over budget on time. I know it does in my line of work if I were to exceed a client's time budget. It's by no means unforgivable, but it almost always a management shortfall.

Overall, I see two themes--time tracking and employer responsibility--in your suggestions, which interrelate. My main thoughts are:

1. How would it go over with teams if we asked them to hit a digital clock and log their hours?

2. Could we brand this as part of our identity as an employer that doesn't wants incredibly efficient employees and management?

3. Do you see this in already in one form or another in your other workplaces? (I do.)

4. Could we brand this as in the employees' interests and not Big Brother making the employees punch their time cards?

5. Could we couch all of this as the employer's responsibility and not one more task we pile on our employees?
Yes, e-discovery is definitely the missing piece here. At the end of the day, lawyers need to be empowered by technology to do their job better, and ultimately make the legal system better.

And it should be called RICK.
What's the difference between this and websites competing with native Windows/Mac OS/Linux apps? Sure the performance isn't quite as good, but not being locked to a platform is a huge benefit.
I'm not terribly well-informed about the evidence linking vaccines to death, so I briefly looked this up: http://www.cdc.gov/vaccines/vac-gen/6mishome.htm#cause ("the risk of death from vaccines is 'extraordinarily low'" -- quoting a IOM 1994 report) Do you have links to more recent and more informative publications from widely accepted sources that I should look at?
That's just a viewer. Getting documents to render and making a usable touch interface for editing documents are two very different things.
I have been using it for three years. At work, I'm forced to use it. I still don't like it.

I can make due and get things done but when I have the choice, I go for a traditional UI. I prefer a regular Menu Bar.

I'm not saying that it sucks or that it shouldn't exist or that no one should use a ribbon. I'm just saying that I don't like ribbons and will continue to use standard interfaces.
Excess off hours time needs to be comped at at least 50%.

It's not hard, it's not complex, it's not unfair. If I work 16 hours on the weekend I deserve at least 8 hours of additional PTO.
The Lean B2B Canvas – A Free Tool to Iterate Value Propositions
Are you sure you can't record them? All you have to do is tell them that you're recording. Then they can either take it or leave it. I'm not sure how many people will hang up on you if you say that, but it's worth a try. Also, as I understand it, if you call in to a place that has a notice that they're recording you (i.e. the ubiquitous "this call may be recorded or monitored for quality or training purposes") that also suffices as permission for you to record them. (Not a lawyer, this is not legal advice, yada yada.)
What's next for Tcl? I'm a fan.
Hey guys a note from the author on Twitter:

Florian ‏@zersiax 2 hours ago

mate, could you comment on there that I created a channel on freenode called #zersiax if peeps have questions?

Florian ‏@zersiax 2 hours ago

seems I posted too many comments on HN , its blocking me from sending more :) and I do want to reply o all these

https://twitter.com/zersiax/status/560810466789044224
https://twitter.com/zersiax/status/560810548263407617

---

There's something beautiful about a typo from a visually impaired person :)
Playing around with CSS text-shadow
No problem, I'm not interested in a language war either - even more so because I haven't used C++ in 5 years :)

Just wanted to point out that if you have a C code base, it is way easier to port to C++, which isn't a bad language at all.
Cesh
Full Metal Jacket had it's moments of blue and orange, but I'd classify most scenes in the film as 'green'. Then again, Kubrick was known to be obsessive in regards to attention to detail, especially when it came to lighting and colour reproduction.
Those records exist since years. Anybody can register subdomains. It's more a limitation of the whois querying.
Two asides, which I don't think you missed but I just wanted to expand on...

First, "Turing complete" means that you can compute anything anyone else can compute. It doesn't necessarily mean you can do it with a reasonable encoding, or do with it what you need to do with it. At the boundary between systems, encoding matters quite a lot!

Second, it's certainly true that there are constraints you can express in Haskell and not in C, but I was surprised by some of the things I could enforce in C with a little creativity.
I think if you were able to somehow come up with a compelling way to get kids to play forensic accountant (perhaps a new J.K. Rowling series?), you would absolutely see in 20 years that the kids who did were significantly more likely to go on to become great forensic accountants. Same with aerospace engineering. The special thing that distinguishes programming from those skills is that programming skills do have many analogs in the world of childhood playthings and can thus give certain children a preparatory advantage over others when they all reach college together.

Actually, aerospace engineering might have a bit of that. Have there been studies to see if children with the opportunity and encouragement to design, build, and fly their own model aircraft might perhaps be more likely to grow up to be successful aerospace engineers than children who aren't exposed to such things?
Now all you need is the ability to host an open-source version of Firebase on AWS and you're set.
I guess that it correctly represents the predominant race of my block, but with the qualification that a) the split is probably about 60/40, and b) diversity goes to the household level.
Is Aphex Twin secretly leaking an entire vault of unreleased music?
One thing that won't show up in screenshots is the UI interaction. On my Mac, the tools on the bottom and right edges can't keep up when resizing the window. Sometimes it's a fraction of a second lag as I drag, sometimes it simply doesn't update until I let go of the mouse.

I know we're a grumpy lot here at HN, but I'd expect better than this even if it were a web app.
In December, I open sourced SageMathCloud (https://cloud.sagemath.com), after it had been closed source for years. SageMathCloud (SMC) is a "SaaS product" in which you collaboratively edit IPython notebooks, LaTeX documents, Sage worksheets, R code, etc., in a browser. It is not yet a business, though it may become a business soon. Here's what happened with open sourcing.

It was politically contentious for SMC to be closed source, due the connection with the Sage open source math software project (see [1] for a big thread attacking SMC for being closed, and [2] for a rebuttal). SMC was closed source for years, primarily because my university commercialization office wouldn't work with me unless SMC was closed source.

In December 2014, I discovered that SMC had received some development support from NSF grants that had explicit requirements that all code written under those grants be released under the GPL (very few NSF programs have open source requirements, but the SI2 NSF program recently added them [3]). As soon as I realized this, I complied with the conditions of those grants and open sourced everything. This has had no real impact on SMC development. This didn't surprise me -- many of the other responses in this thread express the same expectation. I wasn't surprised because I started the Sage math software project back in 2005, and grew it from 0 to hundreds of developers (over many years), so my expectations for what it would take to get useful contributions to SMC were realistic -- massive, insanely hard work over many years, many workshops, writing lots of documentation, recruiting developers, arguing for why my project is better to contribute to than the many competitors, etc. Building an open source project is like building a company -- you have to recruit and train every new "hire" (contributor), build up process, sell a vision, etc.

My situation is unusual, since I am balancing simultaneously being both a (tenured) mathematics professor at a university and founding a company. Technically the university can assert ownership over anything I write using university resources (see [4]). However, due to the viral nature of the GPL, it doesn't matter who owns what I write, since I (and everybody) can still use it. I didn't want to use the GPL for SageMathCloud (I much prefer the BSD license), but technically I have no choice.

[1] https://groups.google.com/forum/#!topic/sage-devel/ojLOJaxIh...
[2] http://sagemath.blogspot.com/2014/08/what-is-sagemathcloud-l...
[3] http://www.nsf.gov/pubs/2014/nsf14520/nsf14520.htm
[4] http://www.washington.edu/admin/rules/policies/PO/EO36.html
Definitely true. I was just logged in as Blackberry and had full access to all the BBM apps (!). Seems to have reverted to my proper account now. Will share a screenshot momentarily.
I actually thought it was a corrupt file or something - it doesn't sound like anything I'd be able to pick out and understand.

If someone can understand at that speed, listening to audiobooks must be a very quick activity...
Raffaello D’Andrea on the future of robotics
WP Super Cache is a good starting point.
Taken alone is not enough though.

Most web shared hosting where custom wp are configured use Apache which doesn't solve the problem because apache (2.2, the 2.4 version should have improved a bit) spawns processes containing the PHP modules, therefore using more ram than it actually needs to process an html page.

This issue is vastly solved if you have a Nginx webserver with a good configuration.

You can also improve that if you use memcached and the nginx memcached_pass, which directly outputs the memcached cached html without passing through php, giving a super-boost to response times. (to use this feature, checkout the WP-FFPC plugin)
If one page ends up on reddit/hackernews/producthunt homepage, a system designed like this should support the bump with relatively small issue.

Obviously if many people start commenting you will still have performance issue because that's when the php part is called (and that's the most memory expensive).
You are simply wrong. Loud music is a feature to some. People who don't like noise don't go to clubs.

Jamming is also a feature. Perhaps not of hotels, but think about places where wi-fi jamming provides a benefit to people.

Have you ever gone into a cafe (to actually buy something) and found you can't sit anywhere because the place is full of people with laptops and other mobile devices? Some haven't even bought anything. Others treat one coffee as an excuse to occupy a table for three hours.

It's annoying. Yet, it's a free-market decision. The establishment has decided that it's in their best interest to let those people sit there. They should be able to jam them out of there, if they are so inclined.
This joke was almost perfect, but the wording hides the punchline.
Which, in my mind anyway, is really the joke itself.
This is sleight of hand. What you're doing here is crossing the streams between your conversation with me, which is about intrinsic male advantage in math ability, with my conversation here, which is about the supposed advantage men get from being exposed to computers at an earlier age.

The point of citing fields in your discussion with me is that there are quantitatively intensive fields which have significantly greater female participation than computer science, despite the dubious idea that computer science as it is actually practices is quantitatively more demanding than, say, the demands on corporate lawyers to structure debt and equity financing.

The point of citing fields in this particular discussion is that there are demanding technical fields in which practitioners generally get little to no exposure to the work until they approach the age at which professional software developers enter the industry.

Did you miss the distinction? I sometimes go "on tilt" in discussions and misfire like this too.
How we come to know ourselves in the age of the Quantified Self
I don't think cleanliness is the biggest issue when it comes to shared bathrooms since both men and women can be clean or messy. As a woman I would be most concerned about periods. Some women try to hide when they are on their period for various reasons. If you are sharing a bathroom either everybody will know you are on your period (and the guys would have to be okay with tampons and such) or you would have to hide all of your feminine products which would be annoying.
It seems to me using a plane would be a bit of a slippery slope then. A commercial airplane's main purpose is to access somewhere beyond one's own community, and the experiences of international travel to a foreign land will change you (not to mention, I'm curious why they would target the Philippines vs any modern local American city). But people will do as they do, I suppose.
I remember going to a wireless conference in San Jose, circa 1995, and basically nobody's equipment seemed to work. There was wired networking all over the place.

Makes it hard to do a sales pitch :-)
Crop seems constrained to the aspect ratio of the original image - is that a bug or a feature?
FAA's Proposed Drone Rules Will Address Toy and Hobbyist Drones
Introducing a new language for automatic programming: UNIVAC FLOW-MATIC [pdf]
Is it really worse than toolbar hell?

http://www.mlponies.com/wordpress/wp-content/uploads/2012/05...

Icons without text labels work ONLY for frequently performed tasks with an obvious visual representation.

For everything else text and icons is probably optimal.
PictureLife sells despite:“I wouldn't dream of rolling over like this so easily”
Your intuition that the world's best forensic accounting game would produce a generation of the world's best forensics accountants might be useful, but it is not evidence. And the requirement here is for extraordinary evidence.
Some reason you're posting this now? It was big news back in 2013.
GIMP's tool settings box has this when you're using the selection tool. I use it for getting the right size when cropping.
"never has to be updated" Not sure what is meant by this.
Wow. I'm actually quite impressed, in a 'that's impressively evil' kind of way.

Maybe anonymized CC trend data should be made public?
Arduino based electronics discovery system – DuinoKit Jr
She's delightful. She drops a bit of a math joke at 2:25, which goes right over Letterman's head.
Screenshot https://www.dropbox.com/s/qd0clsmx10h4tpd/Screenshot%202015-...
I have fairly extreme views on marketing in general, but I don't think its existence contradicts anything I said above.
Why can't sessions be handled by by communicating with an API directly?
This is an extremely stupid policy.
Very True. I remember when I got the bluRay, and increased green in the first movie was very clear.
I thought the topic quickly moved to be about A/V conferencing, WebRTC and other features in general, not Hello in particular. There isn't much to discuss about yet-another-WebRTC-site, so the topic had shifted.

And then everything depends on how one views things. Firefox is a monolithic blob, and WebRTC is a fairly tightly integrated part of it. This is valid point to discuss.

For one, I'm not sure if it's a good idea to have WebRTC as a part of the browser and not as an fairly autonomous plugin/extension (bundled with browser default packaging, no problems here). Tight vs loose coupling.

You know, one thing I absolutely love about Flash is that I can completely remove or selectively disable it as I see fit. ;)
Yea we get it. Drug are bad mmmkay. The fact is that the drug war has done nothing to reduce their use, and it provides a huge source of revenue for actual violent criminals.
Giphy Is Excited to Announce Raising a $17M Series B Round
Well...that and statistics.

But even without statistics, if a group of people say they feel unwelcome and another group says "no you're welcome", is your conclusion that the environment is welcoming to the former group? Would you say this if the groups were whites and blacks? Muslims and Christians?
you (probably) don't have water or mineral rights to your property, and you don't have regulatory rf rights to it either
I mean, the FCC isn't going to fix it instantly, even if you do get online. I assume you're being sarcastic, but if not, the idea is that if you realize a hotel is blocking your hot spot, report them next time you get a chance to go online. Then the FCC can investigate reports and stop hotels and such that are persistently doing this. It's about removing the bad actors, not fixing your immediate wifi issues.
(Any lawyers here who could weigh in?)

Could a company nullify gag orders if it was their policy to post ALL their correspondence on their website? For example, AcmeCo gets a request from the US Government to share information about one of AcmeCo's customers (e.g. WikiLeaks). AcmeCo scans and posts this letter (as it does for everything it receives including its electricity bill) on its website. Could they then circumvent the gag order this way? What would happen to AcmeCo?