skysight-inc/HackerNews huggingface dataset:
> Is that not enough? :)

Enough for what? Proving the correctness of a sorting algorithm, a distributed algorithm or pretty much any algorithm? Or proving that your request scheduling is fair and free from various failures? No, I'm afraid it isn't. :)

Enough for preventing the most expensive bugs? Well, that requires evidence, but I have the feeling that the answer to that is also no.

It's certainly good for many, more modest things, but the guarantees you happened to mention are as easily achievable with much cruder type systems in much more popular and better-supported languages, too (your own example is the same as having the Email class's constructor throw an exception in Java/C++/C# for invalid emails; that would guarantee that all Email instances are valid).

The question is, is the extra type-expressivity afforded by Haskell -- which is richer than cruder type systems but falls short of other, more popular verification approaches -- worth the extra effort? Unfortunately, at this point in time we can only answer this question based on personal preference and anecdotes.
Everybody's fighting about why JS sucks... We know JS sucks. We've ALWAYS known JS sucks. It's not a good language. It's the new PHP. And it will never be good enough to make us all happy.

But you know what? It works... well enough. It's fast... enough. It's simple enough that mere mortals can use it. (Which is a strength, not a weakness!) And now, it works EVERYWHERE. You can get shit done with JS and having good JS experience means you can always find work. Maybe one day I'll work on a magnum opus requiring a "real" language but for now, I'll stick with what gets the work done. Because I'm not a rocket scientist, I'm more like a computer plumber. And I bet most of us fall into that category.

I don't have to like it. But I do have to get stuff done. So I use JS.
Thank you kindly for this concise and well explained answer. I truly appreciate the time you took with your explanations.
I see the problem as the fact that people actually feel the need to be social in the first place. If you're fine inside your own head and with your own thoughts, there's less of a pull to need to be social. If I don't like something or I'm not doing well, I want people to know. I want people to be human (in the way I feel I am).
The filthy bacha bazi in Afghanistan and Red River Woman inspired discussion
Every single culture in this world is suffering from sexual abuse. In India, specifically Delhi, rape is becoming more and more apparent, in the middle east rape victims are punished continuously for 'adultery'.. in South America, young people are forbidden by parents to walk on streets without protection. In Mexico City more women are abducted for ransom and trafficking then almost anywhere in the world. And to emphasise, it is not only in the developing world, it’s around us, on our streets,… To add to all of this, recently the BBC brought to light another deeply concerning issue of (I quote) "each year, dozens of Canadian Aboriginal women are murdered or disappear never to be seen again" - check out Red River Women, BBC for more.

The question is ... technology, specifically mobile technology and GPS triangulation is better than it ever has been before and still ever improving. Palantir have started focusing some of their (not most) resources towards what they call philanthropy work but so much more could be done in terms of raising the alarm right away. Perhaps someone being abducted touches a button on their shirt or an RFID tag in their wallet which via their mobile device sends off their location to authorities. I'm a massive fan of the study of signals and systems.These articles above as well as too many others definitely disturbed me and I feel a smart, simple and elegant solution can easily save many lives. Be interesting to your views on this guys and girls...
I don't always want to be logged into Google.

Edit: Can't shake the thought that this is the mafia offering protection from the bad guys.

I know, I know, this isn't reddit. But it's just an odd thought that I had.
https://news.ycombinator.com/item?id=10264513
I remember reading somewhere on the internet about a person who had a decorative bowl in their house. This bowl was full of marbles. Once a week, they would take a marble out of the bowl and throw it away. Each marble was a week of their life. When they started this practice, they calculated their life expectancy and bought enough marbles for each week they were statistically expected to live. The idea is to give you the constant reminder that our time is limited, always running out, and shouldn't be wasted. The older you get, the less time you have, and the fewer marbles that are left in that bowl. If you are a typical HN reader, you likely have less than 3,000 marbles left.
Required: http://theprofoundprogrammer.com/post/29839282968/text-ive-g...
Your entire post was informative right up the last line, You'd demonstrated your point brilliantly then wrecked it.
https://news.ycombinator.com/item?id=10255821
I wonder if there any copyright issues over the look-and-feel? Windows XP is obviously old and out-of-date, so Microsoft are unlikely to pursue China Standard Software over the visual design.

I am against the idea that interface ideas (visual design and interaction design) can be patented or copyrighted. However, I'm also against someone slavishly copying someone else's design to the point that it's practically an identical copy.

Or do folks consider this to be an acceptable practice? After all, someone can take an open source project and make minor (or major) tweaks to the code and re-release the software. Is such an approach considered acceptable in the case of UI design? Or only if that design is attached to an open source project?
You'd like this video: https://www.youtube.com/watch?v=pU2kbghz85I
no, asyncio is a completely different module and paradigm from multiprocessing. the new standard syntax uses asyncio, and none of it has anything to do with ios
Given their cost economics, open layouts are probably not going anywhere in a world of rising office rents.

That's not necessarily a bad thing, since spontaneous conversation encourages creativity. The real problem is signaling what state you're in. Everyone looks the same on a computer, so it's hard to tell who's in the zone and who's available.

What if we took a huge glass conference room and dedicated it as a 'quiet do not disturb room'? No talking at all, and the only movement is entering/exiting. When people see you in there, it's a giant visible signal that you're probably not responding to Slack/email/etc because you're doing something and don't want to be disturbed.
Now imagine that everyone else was "faking it" too. That's always a real mindbender to imagine for me.

Because to some degree we are all faking it, but then when does the front become reality?
I am a long time happy user of IDEA but they seem to be always screwing up index these days. There has been version when the responsiveness of autocomplete has plummet. It has gone faster in places and slower in others. I think in general the worst case performance (people remember the annoyances more) has often regressed between releases too much. It seems every software out there is getting more features but the produces are getting sloppy and bug prone.
I continue to use the dictionary definition. Without legal enforcement there is no patriarchy.
Black Hero Puts Out Racist Fire in Church
Unless there is a shortage of equally skilled workers, why would a business trust a felon when they could hire a non-felon?
Maybe it's worth noting, maybe not, but this extremely trivial example (e.g. serial.py) gets executed 20x faster just by using pypy which speeds up serial execution. This is more than you would get by any sort of multiprocessing/threading shengenians just by using an optimizing VM (and granted, this example is very simple, but maybe addressing basic performance problems should come first)
I worked for a not-so-short time in a run-down bar... I had drinkers, fighters, junkies and stoners.

Guess which group I never had problems with? Yup, the stoners. They were just sitting there, smoking outside and not being aggressive. The drunks would always fight sooner or later.
Why do gangs even exist, though?

There's a school of thought that we inadvertently create terrorists by interfering in the middle east and thus motivating people to want to do us harm. And by 'we' I mean 'The United States'.

I suspect that a similar argument can be made that the illegal drug trade and gangs are fairly well correlated and that gangs arise because individuals don't derive any security from the police for a variety of reasons. So gangs are the result of police policy, not that police policy is the result of gangs.

I'm not suggesting that this is a 100% solid theory. But there's probably some nugget of truth in it.
In other words, a lost opportunity. Asyncio and this new syntax is both hard for beginners and experienced python coders alike, and still doesn't do multicore!. We're clocking up 3.x version numbers as if this will magically provide the illusion of progress, but the killer feature is still not there. Instead we get type annotations. In a dynamic language. Which doesn't compile and therefore doesn't need them. With no performance advantage. If I have to type declare everything, I want 10x performance. Okay?

If Python were a listed company, the CEO would have been replaced long ago. I'm tired of watching my favourite language flail around like this. Will Continuum Analytics or Enthought please fork 2.7?
I am not a vim user and I've been using IntelliJ IDEA to code in GoLang for about an year now and I find it extremely powerful. It is powered using the GoLang IntelliJ plugin : https://github.com/go-lang-plugin-org/go-lang-idea-plugin

It provides :
1) Error Highlighting,
2) Auto Completion,
3) Click-to-Navigate,
4) Auto Formatting,
5) Auto Importing, among other features.
But you want to bet its going to hurt us instead of the bad employers
Some poor NSA analyst is shaking his head, saying "all that work down the toilet"

Also, "SHA-0 is removed, which was withdrawn shortly after publication 20 years ago", ugh
* The art of manliness

* The Tim Ferriss show

* 99% invisible

* Waking up with Sam Harris

* .NET rocks

* Hanselminutes

* The Agenda with Steve Paiken (Canadian current affairs)

* This american life
I would contend that you are a product of your experiences, and that you are a participant in society.

Unless you are alone on an island, one person is not a society. One's thoughts and actions are inputs into society. Society itself would then be comprised of an aggregate of everyone's thoughts and actions. There would then be some sort bell curve for thoughts and actions, leading to an accepted norm for the society within some sigma value. Holding a position significantly distance from that sigma does make it part of society, would make it absolutely on conflict with societal norms.

Holding to the emergent norm theory, i would think that, yes, there is not an evil society judging you, but rather the society you participate in itself that will emphasize your contrast to the norms allowing others to judge you. Even if people are egocentric, a visible contrast to norms would be noticed and at best avoided, or at worst confronted.

The social cost is the degree in the action of others impacts an individual. there is a cost in dealing with the resulting time/resource/emotional effort with what ever action or inaction the judgmental individual(s) takes to address/correct/ignore you, directly or indirectly.

and... as other posters stated, i believe you missed the purpose of the previous post.
Thanks! JavaScript manipulates the SVG files. That's one file type usable by the laser cutting machine. Due to how the machine operates, it's a mixture of vector cutting lines for the fine lines and tile edges, and bitmap images for the raster fill and shading. The vector lines are easy to change in color by adjusting DOM attributes, while for the fill images I change the colors on a pixel-by-pixel basis before spitting out the finished SVG files in a client side-made zip file.

This was helpful because beyond the laser power settings, it took some fiddling to get the right shades of gray for cutting depths that worked with the multilayer plywood I was using (some layers are darker than others; had to make it look good). The files can also of course be colored for printing.

The different regions are segmented by their colors in the original files, which were created via Inkscape with outline vector lines over bitmap fill images. The lines were drawn by hand by my girlfriend and I using Inkscape, based on a purchased copy of Carcassonne we have. The images were made by rendering the outline SVGs to PNGs, filling in regions using GIMP, then reimporting them into Inkscape, and overlaying the vector outlines.

For meeple, she laboriously cut them out by hand from Sculpey clay. A cookie cutter would have been ideal but it took her less time to cut the figures than for me to bend copper flashing into the shape of a person or to devise a way to extrude the figures.

Also, in case that URL goes down, here is a link to the tile generator on GitHub pages:

https://tomkinsc.github.io/carcassonne-shading/
That's one way to do it, but the typical way is identical to ES6: `() => expression` or `() => { statements }`
For a good illustration of some of the points you make - when tobacco advertising was banned in the UK, profits went up markedly because demand remained the same and there was no longer the massive outlay.
IMO, the big problem is that you don't choose who to pay. I don't want to pay to producers of low quality contents and the ones who spammed the google with useless pages which are at the top of the search results for SEO reasons.

IMO, micro-transactions which are used to pay by views are much better option, and google is the company who can implement this.
An opportunity? Let's see.

There are lots of customs fees involved that are not considered taxes per-se. But let's ignore them and look at taxes:

You get a 60% import tax right off the bat (this applies over the product cost, the aforementioned fees AND shipping). Then, there's ICMS, which varies by state (let's say, 12%). There's also IPI, which is variable according to the product and I'm not sure where a laser cutter would fit in. Also PIS (1.65%), COFINS (7.6%) and IOF since it probably involves currency exchange (0.38%).

Speaking of that... there's the unfavorable exchange rate. Today, the real hit a high of BRL 4.23 for one USD. It was 2.50 something one year ago, and then the economy blew up.

I'm not going to the trouble of trying to calculate the final price, without the importer's markup, but it will be HIGH. Good luck marketing this thing to anything other than medium businesses. And that one year from now. You'll spend like an year incorporating your company and navigating the customs law mess.

There are other options, of course. Manufacturing locally would bypass a lot of taxes (and generate others). But then you could negotiate deals with local authorities in exchange for job creation and some strategic dinners. That sort of stuff. The opportunity cost of doing that is just huge and, by the time you managed all that, you'd be profitable in several other countries already.

Then you'll have to deal with the crappy transportation infrastructure. Forget shipping things by train, you'll have to use trucks. Delivery estimates of 30 business days are not uncommon at all.

My advice? Stay away from Brazil. Even more so this year. There's a reason investors are pulling money out of the country.

Disclaimer: I'm Brazilian.
Eclipse is Emacs done wrong.

ps: oops, that was meant to be an answer for https://news.ycombinator.com/item?id=10274067
>most don't really like working with men in the first place, they are more comfortable working with other women

Something is awfully wrong with these women, if they like/don't like working with someone solely because of their gender. I can understand you may not like working with someone, because he is a jerk/she is a bitch, I judge people based on whether they are good/bad people, not their gender.
When I think about it, I feel that this would mainly appeal to people like factory workers who live in horrible dorms (windowless closets), prisoners, parapalegics, the homeless; in other words people who are trapped in a specific environment. The problem is that most of them can't afford this setup... yet.

When I think about it, even low income individuals in the US have access to cheap enough flat screen TVs to have a nicer real life living room than a virtual one afforded by Oculus
I have a counter that greets me on a new Chrome window that tells me how much time I've been alive to the hundred-billionth of a second. https://chrome.google.com/webstore/detail/motivation/ofdgfpc...

People find it depressing, but it tells me not to waste my (limited) time.
Isn't a form of extortion?
Kind of surprised by the comments here regarding speed. Have none of you used Eclipse recently on an SSD? I use Jetbrain's stuff a lot of the time, but the biggest problem Jetbrain's stuff has is how terribly slow it is compared to Eclipse.

Are these comments just relics of experience from years ago, or is there some secret I'm using in having Eclipse be around 2x the speed of Jetbrains? Just tried opening an Android Java project in both Eclipse and Android Studio and the Eclipse is finished loading before Android Studio is even 20%

Other than that, Eclipse is free software which is important in the same way Linux is important to cultivate even though we have Windows.
yes, lots of scepticism here, but everyone (at least everyone who didn't get down-voted) seemed to buy into FB's claim of 1 billion users in a single day.

https://news.ycombinator.com/item?id=10131975
> Free software ideologues should refuse to buy products that have proprietary components

Which minivan can I buy that runs on free software?
Also important, I recall a note from one of my statistics classes to the effect of, strong sample sizes are often counter-intuitively small.

I want to say the example was something like polling in a political race, and the math worked out that you could get reliable results polling only a few tens of people so long as you had random sampling.
I disagree. Eclipse used to be a capable IDE, even if some UI choices were dubious (but everyone has opinions about interface design, don't they?)

It was free & open source, and had superb autocompletion and refactoring, and a decent debugger. What else could you ask of a Java IDE?

Unfortunately, it seems to me Eclipse has become more unusable, slow and confusing with each iteration. But it didn't start that way. I seem to remember one major version which completely changed the UI, and at the same time the team disabled most UI tests, and the justification was "most tests broke with the latest change, and we don't have enough resources to fix them". And it showed...
Maybe not now; Apple is starting that "phone on subscription" program to replace your phone yearly, though.
> "if it compiles it works"
I think this wasn't meant literally. I think it rather means that a program that type-checks is at least more likely to work than a dynamically typed one. I think this is far from verification.

> Haskell's claim to fame and the justification for its learning curve is verification (both formal and informal).

I think Haskell's claim to fame is being a pure language (and maybe its laziness). I don't know what languages you had in mind, but Haskell's learning curve is usually also related to people not being familiar with functional programming as a paradigm.
> without the risk of being shot by some nutjob

I'm sorry, why did you include that hyperbole?...

In the last five years, there have been three incidents of criminal violence in US theatres, killing 14 people and wounding up to 78.[1]

In the US/Canadian theatre market, 1.27 billion tickets were sold in 2014 alone.[2]

Movie theatres sound pretty safe to me.

1 https://www.thewrap.com/a-history-of-violence-at-the-movie-t...

2 http://www.mpaa.org/wp-content/uploads/2015/03/MPAA-Theatric...
I have a laser cutter and I was surprised as well that it doesn't generally catch things on fire. It cuts through cardboard like it's not even there. It's only harder materials like wood that you get any noticeable flame at all, and that problem largely goes away if you use an air compressor (which also serves to blow smoke out of the way of the beam).

That said, it's always a good idea to keep an eye on the machine while it's running.
Should You Require a Credit Card for a Free Trial?
Rust is actively used on embedded projects. The sticking point is mostly if the architecture is one that LLVM supports, which means that are some platforms we can't support.
Oculus: "Hey Netflix, how about we work together on getting your service on our platform?"

Netflix: "Gee, we're pretty busy, maybe next year..."

Oculus: "We would have John Carmack work on it..."

Netflix: "YES! Yes, yes, yes. Okay, now is good. Can we have him write a guest post on our tech blog when it launches?"
>It's voluntary.

It is not. The power differential between the prisoner and the state is so great that any consent is null and void. As such it can never be voluntary. It is the same reason a prisoner cannot voluntarily have sex with a guard, except the relationship between prisoner and state is even greater of power difference than that between prisoner and guard.
Perhaps we should not only give prisoners the opportunity to work in prison, but pay them a real wage and offer them continued employment when they get out. It would be far easier to reintegrate if you already have a job you're familiar with and several months' rent in the bank.
Yes, but they have fairly comprehensive effort to prevent automated ad clicks - http://adage.com/article/digital/inside-google-s-secret-war-...
Try "socially unacceptable drugs" or "taboo drugs." The classification is completely arbitrary, and is usually related to whether or not the drug is used by a socially marginal or ethnic minority group like blacks or hippies. Alcohol can be as dangerous as heroin if used heavily, but upper class white people drink it so it's okay and is not a "drug."
- Waking up with Sam Harris

- Harmontown
Most people don't realize slavery is still legal in the US. Highly controlled and with the state effectively holding a monopoly, but still legal.
Tips to prevent duplicate cron job execution
Is there some strategy for customers once the cloud servers shut down? The company doesn't have to go out of business - perhaps five years have passed and you've moved on to more awesome models. While your business might feel that customers should upgrade to the newest, it's not great that they would be forced to.

For instance, when Steam was first released Valve promised that should the authentication servers go down, they would ensure that the games would stay functional without them. This was an important point that contributed to its success.
So it's never been the SSDs for me, it's always been paging / memory consumption. When I run Eclipse / JetBrains I set the XmX flags super high on the JVM to compensate, but it still always felt slower.

Basically I've found that a lot of Eclipse plugins and core pieces associated with the debugger allocate a lot of heap space that never goes away.

However I haven't used Eclipse in about 3 years (or on Java 8), or for Android, so if there's something new I'm missing, your point might be valid.
Besides many of those already mentioned, I like:

* Slate's culture gabfest

* JavaScript Jabber

* Econtalk w/Russ Roberts

* Hardcore History

* School Sucks Podcast

* Inc Uncensored
Nonsense. Google has "survived" because they benefit massively from ad fraud just like the fraud in the article. Always have.

I actually flew out to New York and showed Douglas de Jager this specific trick back in June, and he said that it's not their problem, and until media buyers agree, he's probably right.
http://docs.python-guide.org/en/latest/dev/env/