skysight-inc/HackerNews huggingface dataset:
I loved school math classes, but a decade later I do have a hard time understanding monads and category theory.

Compared to programming (even functional), "math" is a completely different way of thinking. Abstract properties are stated, from which some arbitrary (partial) structure is implied. Whereas with programming, the structure of "doing" is always concrete, regardless of paradigm (algorithmic complexity is everpresent, even when you're ignoring it). Compared to abstract math, school classes are more akin to programming in that you're mostly following algorithms and applying patterns with a slight intuition, even when you get into algebra and calculus.

My biggest hurdle to understanding is the use of completely different terminology for concepts that are the same, at least intuition wise. My thought process is based on intuitions first, rather than manipulating symbols in the abstract (which seems to be more common? or maybe it just seems this way?). So when confronted with terms like 'conjunction' and 'disjunction', it just throws me off that they're 1. the "same" as AND/OR, 2. the nuance of difference is rarely stated. So the way I cope is by directly thinking AND/OR, while being painfully aware that there is some distinction I'm not aware of. This leads to a lot of reading that's completely disconnected from anything until I find the gem that illustrates the actual difference.

I'd learned the workings of practical Haskell monads some time ago, but what made monads/category theory finally click is reading Moggi's "Notions of computation and monads". Going back to the "source" let me see the specific motivation and actually understand how Haskell objects differ from perfect ones from category theory. Apparently it's just non-termination, but I had to do a lot of searching to find where that was actually stated, rather than assumed and vaguely referenced. It feels like to someone who thinks "more mathematically" this is just a small detail, since they deal with each type of structure in isolation. But until I can relate them, I'm just out in the weeds.

Of course now that I understand this it seems like quite a simple concept. But I had to do an awful lot of work to get to the point where my thought gamut was "expanded" to be able to include this one concept.

So I don't really know what my exact point is. But to connect to something you said, it seems like experience from writing code and desire to understand abstract concepts ("monads are burritos") come from two different places, and the latter isn't necessarily served by increasingly outlandish metaphors, but by making the details accessibly explicit.
Skype restricted my paid account, without recourse, over a billing hiccup
If anything this is a strong validation of Node.js in the enterprise space. This is actually good news for anyone working within the enterprise trying to use a different technology set. It makes selling Node to a CTO a bit easier (even if you choose not to use StrongLoop).
Cheating is Allowed
This could be a really nice keyboard interface for VR too.
Mining US Presidential Announcement Speeches 2015
Is that disclaimer really necessary?
Blue Cross Hacked, again
UI Movement – The best UI design inspiration, every day
A 30-story apartment building is not practical without indoor plumbing, structural steel, and grid power. The tallest dwellings prior to those maxed out at around 5 stories.

What qualifies as progress is a matter of opinion, but generally speaking, denser cities produce more rapid technological innovation.

I have no way of knowing whether the new mystery tech would make dwellings taller, or cheaper, or more environmentally friendly, or more mobile, or more self-sufficient, or better workspaces. It's the sort of thing that is only obvious in hindsight. It may already be invented, but does not yet have a practical and economical application.

Whatever it is, it might require a cartel enforcer to mandate it in order to yield greater benefit for the society as a whole. You're not being oppressed when the city forces you to give up your well and septic system and connect to the municipal water and sewer. In theory, you're achieving greater gains through (enforced) cooperation with your neighbors. In practice, you may be oppressed by official corruption in such a way that it wipes that common benefit out.

And luxury is relative. The poorest person in the U.S. can have a better defecation experience in a public park toilet than the richest king in the world could have had on his private, hand-carved night-stool 500 years ago. One day soon, it might be considered luxury to crap in a hole in the dirt... on Mars--as the alternative would be to do it in a pressurized closet, into a machine that recycles the water out of it and turns the rest into agricultural compost.
I agree. I think it would be cool to see a full history.
Everyone learns physics by starting with Newton.
Nothing wrong with a little bit of humor, imo. It's not like a thread is full of puns.
For e certain class of problem, yes. But as complexity and ambition increases in the UI and backend logic, the necessary skillsets will quickly diverge.
Then they'll just steal the camera :)
I wonder then how come so many browsers are allowed to be Webkit based
I think the public is breaking down into 3 groups.

1. The people who like what the Democrats under Obama have been doing. They are likely to support Clinton or Sanders at this point... or Biden or Gore or Kerry, etc. should one of them get drafted. They won't be interest in Trump, who is attacking their guy.

2. The people who consider themselves Democrat but aren't crazy about what the party has been doing the last 6 years.

3. The people who definitely don't like what the Democrats are doing and are voting Republican to try to change things. Actual conservatives are completely disillusioned with the GOP and people who see them as a way to check the Democrats are also being very let down. But, when you only have two evils, you have to figure out which is the lesser.

4. Establishment Republicans who like the status quo.

Group 4 consists of people in office and U.S. Chamber of Commerce and other interests who are milking the system, but can be discounted in terms of actual votes (but not in terms of their very powerful influence). They are backing Jeb Bush and definitely don't like Trump.

Group 1 also won't be interested in Trump.

Group 2 may be attracted by Trump.

Group 3 will probably be attracted by Trump, and like him (like me) even if they (also like me) don't think he'd actually be a good President. Trump, despite his flaws, is a much better cheerleader for the GOP than almost anyone inside the GOP.

Group 2 and 3 are most of the country. If you don't, there is no good alternative because the Republicans have pretty much pre-emptively surrendered on everything and it's clear the party honchos like the establishment guy (Bush).

So who can you look to? Trump plays the media like a fiddle, and he's naturally attracting most of the attention, but Carson, another non-politician is #2 in the polls. Fiorina is rising quickly as well.

No one likes the GOP right now.
Is there an actual JSR for reified generics? I was under the impression that would generally break VM compatibility.

I have a hard time believing Google will stop supporting Java on Android, especially considering how widely they support it for other various platforms. I do know Go support for Android was recently released though.
I can't imagine it wouldn't be. This kind of decisions aren't made very quickly. I'm more curious if the IO team was aware of this...
What's Next After 25 Years of Wi-Fi?
Previously: https://news.ycombinator.com/item?id=10187217
I can't take a solution that claims that sent messages "disappear" seriously, especially when it accompany with an elaborate depiction showing a fancy effect of that, as it only gives its user a false sense of security.

What sent is sent, and you can't recall them, whether encrypted or not.
Did someone gather salary statistics? I could imagine it could also be the other way around: hordes of Go fans competing for a relatively small amount of jobs drives prices down.
First Library to Support Tor Anonymous Internet Browsing Stops After DHS Email
How do I reply to a thread?
As the "target" of a recent thread I'd like to be able to respond to some of the comments but see no option for replying. Can someone please enlighten me - this board/list doesn't seem to operate the way most that I am familiar with do.
I didn't see it mentioned in the paper, but one of the main advantages for using a "sniping" service is that you can participate in multiple auctions at the same time. Assume there are similar 5 items that would meet your need, but you only want 1 of them. If you "bid and forget", you might end up committing to purchase 0 to 5 of the items.

But if you create a "bid group" to place last minute bids, as long as the endings of the auctions are spaced in time by more than the "lead time", you only have an active bid on one item at a time, and thus will finish with either 0 or 1 items, a much better outcome.

The "bid and forget" alternative is to only bid on one item at a time, and then as soon as you lose an auction, you bid on one more. But this requires that you keep track of when the auction end, remember what the next item is, and submit the next bid before that next auction ends, which is hardly bid and forget.

ps. No affiliation, but I've used http://auctionsniper.com for some number of years and would recommend them.
People also have this false preconception that you have to write everything in Fortran77. You can keep a F77 codebase alive, while writing Fortran 90 (0) code which is surprisingly modern, has amazing mathematical computational performance (especially with Intel's MKL and compiler), and the language has amazing OpenMP integration.

I'm with you on combining the best tool for the job and sometimes having a Java/C/Python wrapper is useful, but you can retain your Fortran tried-and-true-and-tested code-base while adding feature enhancements compiling against the Fortran2003 standard and often eliminate the need for wrappers. I guess the practical problem is finding F2003 engineers is way more challenging than a Java or C# dev.

0: F90 was the "big" upgrade that came out which made Fortran "modern", but there have been continuous upgrades like F95, and Fortran 2003 (I guess this would be analogous to C++17) which make it perfectly fine to write.
However, it makes sense if you look at the executive team. The former President of Cessna and the former CEO of Sikorsky are on board.
It is square, but it was no competitor. Google around about Prada v iPhone.
Mindful Programmer
We're having enough trouble utilizing just a few cores and dealing with parallelism and concurrency, not sure how a hardware improvement is going to help.
All useful languages have monads. It's a pattern that is nearly impossible to avoid. Where Haskell is different than most languages is that it lets you write generic code that operates on any monad.
Oh absolutely, $THING is fashionable and is therefore ridiculous and nobody should use it. It couldn't possibly be that $THING is incredibly useful under a specific set of circumstances, and that caused $THING to be fashionable.

Just because something is fashionable doesn't mean that's the reason people decide to use it.
Well if you look they did this with getting 90% of their target audience. They did it with how they made things for their audience. If it didn't fit the 90% of our users will use this they didn't make it. This is regardless to market share.
Each comment has a small "reply" link under it

/--- Look Here
|
V
The stupid-simple messaging protocol is interesting. However, I would prefer the use of something like D. J. Bernstein's netstrings rather than NL terminated strings. Netstrings have the advantage of having an explicit length field and thus allowing the receiver to allocate buffers of the appropriate size without the complications of receiving NL terminated data. Examples of protocols using netstrings are SCGI and QMQP. Netstrings are easier to handle and are still easy to debug if verbs are expressed in ASCII while still handling arbitrary binary data equally well.

Netstrings are so brilliantly simple, see the wikipedia page: https://en.wikipedia.org/wiki/Netstring

This is what DJB says about the netstrings [1]:

> The famous Finger security hole may be blamed on Finger's use of the CRLF encoding. In that encoding, each string is simply terminated by CRLF. This encoding has several problems. Most importantly, it does not declare the string size in advance. This means that a correct CRLF parser must be prepared to ask for more and more memory as it is reading the string. In the case of Finger, a lazy implementor found this to be too much trouble; instead he simply declared a fixed-size buffer and used C's gets() function. The rest is history.

> In contrast, as the above sample code shows, it is very easy to handle netstrings without risking buffer overflow. Thus widespread use of netstrings may improve network security.

[1] http://cr.yp.to/proto/netstrings.txt

BTW, see Aaron Swartz's blog post on DJB, http://www.aaronsw.com/weblog/djb
SurveyMonkey Appoints Meg Whitman to Board of Directors
It puts you in the driver's seat of dependency managing, but now you have to be a lot more careful to actually update them when the time comes. If you tend to put something into production and leave it there for months / years, coming back to do maintenance will be a real chore.

With Ruby I can 'bundle update', run the tests, and have reasonable certainty that everything's working. If I took over a Ruby project with vendored gems I'd mark them all for replacement for standard Bundler-managed gems at first opportunity. Vendored code has a bad tendency to become 'unmaintained code' otherwise.

Just because it works and is stable doesn't mean it doesn't have security vulns.
If we discuss this, do we have to use an irony tag?
I'd be careful going this route.
I would like to know what the file system implementors have to say about this technique. Is their reaction “Aargh, why would you do that, it wrecks all our optimizations!” or is it “Huh, OK, that’s kind of odd but I guess it would technically work” or even “Yes, finally someone who takes advantage of all our nice features like we always wanted!”?
I would say Portland, Austin, and Seattle.

For startup ecosystem, Seattle probably has the best followed by Austin and then Portland.

For cost of living, Seattle is the most expensive. I'm not sure about Austin but Portland has been increasing the past couple years.
The first US intercontinental railroad was built with muscle. The only exceptions were blasting powder was used in the tunnels, and supplies were brought up by train. The digging, grading, and road bed construction were done by hand with pick and shovel.
Perhaps, but wouldn't that affect FM reception too? I only get interference when tuned to the AM band.
It's pretty simple, they're not the same people. The news/PR arm is the one making all those "worst scum of PR" decisions and the research is separate. Science press has always been hyperbolic compared to the papers actually put out.
In modern speech, the opposite of "girls" is "guys". Think "girls night out" vs. "guys night out". I have female friends approaching their fifties who refer to themselves and their female friends as "the girls". Perhaps this is a regional thing, where saying "women" sounds old-fashioned and stodgy.
Binary Interceptor System REVIEW BINARY
The problem isn't just rainbow tables. Md5 is a fast algorithm. Sha256 isn't much slower than md5. You want anything auth related hashed using a slow algorithm - speed is your enemy.

That's why bcrypt and the like are popular, because you can adjust how long it will take to calculate.
As far as the APIs, they're there specifically so you can pull data into your own tools. I wrote a few Access-based tools (it was the only thing on offer in a big pension fund) using those APIs; it was invaluable for things like tracking unsettled trades.
We Will Not Forget
The Next to Die
I'm sorry, but if you're using shit like "LinkedIn photo" or "LinkedIn endorsements" for filtering, you deserve the crappy workforce you get.
> Is there an actual JSR for reified generics? I was under the impression that would generally break VM compatibility.

Not yet. But it might happen, it depends how value types get implemented.

Check "New Bytecodes, New Objects", "Adventures on the Road to Valhalla":

http://www.oracle.com/technetwork/java/javase/community/jlss...

> I have a hard time believing Google will stop supporting Java on Android

Of course they won't stop supporting it. After all they stated at Google IO 2014, that only Java matters and they could not see why anyone would want to use something else.

But they also don't show any interest to reduce the gap with the official Java.

Even the actual version lacks many of the Java 7 libraries.

> I do know Go support for Android was recently released though.

It doesn't have any official support from the Android team.
D. J. Bernstein is the greatest programmer (Aaron Swartz)
React v0.14 Release Candidate
Poor GP post is going gray, but I kinda agree. 13.3 should probably make the <13 cut, just as 14.9 should make the >15 cut. The slider is limited to whole numbers, so it might make sense to round the display's actual diagonal to the nearest integer before applying the user's criteria.
who is we?
No, it's easy for them to convert your password to 0-9 when you enter it on a regular keyboard, before hashing it. It does make it vastly less secure, yes, but it doesn't imply plaintext storage.
Goodness, you don't need a milling machine, you can probably do this work with a dremel, or for that matter a file... You know, like locksmiths made keys decades ago.
Fortran is hardly a niche language, and it's not that hard to learn. In fact, it's so easy that you can "write Fortran in any language."
Living in an earthquake prone area, I refuse to have a tile roof.
Browsers are "allowed" to do whatever they want, but the W3C is very unlikely to endorse some feature as a standard if Webkit is the only codebase that intends to implement it. Which is basically what happened with WebSQL.
> So it seems to me the question comes down to whether Heroku can (and/or _wants_ to) support VPC pairing with addons via their Provider API, so that other providers can provide their own private spaces.

This would be a huge boon for add-on providers.
There are some true hidden gems in the often over-looked 3rd tier Southern markets, especially in bang-for-the-buck livability...consider Asheville, NC & Franklin, TN > http://www.huffingtonpost.com/2014/11/29/9-southern-towns-yo...
No, none of it does.

I rot13ed it in case there's a dead-comment-reposting-killing algorithm on the loose.
Your entire post screams "employer I wouldn't want to work for."
I don't generally mind Pro version that offers additional values, but the case of the Sync was massive disappointment, when they chose to limit its core functionality so badly for non-Pro user. (And I actually would have bought Pro version if this wasn't the case.)

I don't know what they'll do to "Bleep Pro" but I just don't have any hope for it, given their track record...
Believe It or Not, I'm Defending Marissa Mayer
Have fun: http://cixtor.com/pastio/uh895n
Time Traveling in Node.js Notebooks
> It's not so much "fake" as presenting one's best face in a professional context.

That's what I take issue with. I think for most people, the majority of their internet use isn't in a professional context, and I see no reason it should be used to judge them professionally. My Facebook, Twitter, Flickr, and even GitHub accounts aren't professional things. I'm an adult, I know the difference between work and non-work, and I only work for companies that also know the difference.
We're talking about web developers, so what I'm saying is broadly true.

Native development - and cutting edge web-based development - is a different beast. You start needing knowledge of threading, messaging, various architectural patterns etc.

I'm actually recruiting for such a developer now - someone who wants to be top specialized front-end developer. They're just extremely hard to find (if you're interested in working on a complex SPA and are in, or want to move to NL, drop me a line! You don't need to speak dutch!).

You're right about domain knowledge: there is just too much that you need to know to be able to be an effective "full stack" developer for anything approaching a complex system.
I grew up here. For a long time, I thought that the "not fitting in" that I experienced in junior high and high school was because I wasn't Mormon. Eventually, I figured out that a big part of it was just that I was a nerd...
Android Home Mirror
Am I the only one who thinks it's crazy that people would compete for jobs because of a language? Especially a new language? Would anyone seriously give up a job just for the opportunity to program in another language?

Perhaps this is a bigger thing among corporate programmers? I've only worked at smaller companies where they are more open to experimenting if you talk them into it.
Yes it is. People still don't see this. Look at the verges apologetics on Steve Jobs and the stylus. http://www.theverge.com/2015/9/9/9298117/apple-pencil-stylus...

The main point was this was about iPhone in 2007 and not an iPad. So apple and oranges.

My counter point: Microsoft's first tablet had a stylus and was mocked it was 12 years and a good screen away. Surface had the pencil beat three years ago. https://twitter.com/APZonerunner/status/641665840803352576/p...
> having a good beautifier when you have to deal with other [...] programmer's code is great.

Good point! I didn't think of that.
Aptible CEO here - thanks for the Aptible love! I imagine Heroku will offer a BAA at some point for this product, but you're right that the hybrid compliance/technical services will remain the most valuable part of platform services like these, at least for regulated industries.
This is not the easiest way off having secure passwords that you don't have to store. Yes, there are password managers but if you don't want to store/save your passwords anywhere you could use pwdhash which is based off MD5.

Friend of mine actually built one off SHA1 and it's all open at https://github.com/simontabor/pw/ or www.pwapp.io. It's 40 chars so much much better than pwdhash (but that's the original I guess).
From the get started page

"If you are unsure which computer/laptop/tablet to purchase
and are considering spending a lot of money then please email me
- I can offer personal advice on how to target the sweet spot
between cost and performance (and screen size)."

So not only is he giving away this amazing software but he is also offering free, personal advice on what you need to buy working with your budget!

Truly an inspiring person.
"Don't roll your own authentication" seems to me to be even more pertinent advice than "Don't roll your own encryption" as it's a much more common mistake that I see at almost every single place I've worked at. I think it's not a common phrase because authentication is really not that hard and most engineers think they can do it properly. My experience, at least, shows that they can't. Everything from plaintext passwords to symmetric encryption happens and it happens at companies one would expect would implement some security. I've seen CTOs and Engineering Directors argue against changing the plaintext passwords till they were blue in the face and I just gave up. Obviously, our industry has done little to educate people on this issue and in almost every single major breach, it's easy to see how this was a key factor in making the leak worse by leaking the actual passwords or their improperly stored "hashes" (because in some cases they're not even hashes).