skysight-inc/HackerNews huggingface dataset:
> IO is reflected in the type signature of Haskell functions.

What you mean is, "effects are reflected". Haskell has a monadic effect system (IO is very rough-grained part of it), which can be combined via monadic transformers.

Situations where you don't want to use OCaml:

- you need good parallelism and using multiple processes are not enough (concurrency is fine, though)

- you want a large pool of developers (also applies to Haskell, but less so)

- you like monadic effect systems

- you need a number of libraries which are not present in the OCaml ecosystem

- you want a build system that doesn't suck

- you want a good standard library

- you want typeclasses

Why you'd want to use OCaml over Haskell:

- fast compilation (especially if you compile to bytecode)

- no monadic effect system

- no awful, ridiculous record field name collisions (OCaml lets you have two distinct types with an "id" field, imagine that)

- best-in-class package manager

- faster than Haskell (I think?)

- eagerly evaluated (Haskell's informal motto is "if it compiles it works", complemented by "until you get a memory leak") and therefore makes it much easier to reason about performance

- high-quality ecosystem (though not always very well documented)

- labeled arguments (many Haskell libraries have these functions with lots of arguments which are quite confusing in the absence of labeled arguments)

- great support for Vim/Emacs (IMHO, the Haskell equivalent to Merlin/ocp-indent are not nearly as good, or at least were not as a few years ago)

- great REPL via utop (just don't use the standard one, it's terrible)

- an object system if you really need one

- functors

- pleasant "printf debugging" option, with a possibility of using a real debugger if you need
Works for me. The "article" is super short anyway. The walled part barely adds anything
A lot of genre authors have mailing lists. Shit, I've self-published a couple of completely insignificant book-type things, and I have a mailing list.
Experimentally verified: “Why client-side templating is wrong” (2015)
How did governments lose control of encryption?
Also, if you can differentiate in a compelling way, you can charge more.
I got an A- in my differential equations class in college. I still wasn't sure what a differential equations was at the end. My pattern matching skills got a good workout, though.
Introducing the WebVR 1.0 API Proposal
FF works for me
Edward Snowden: “Smartphones Can Be Easily Hacked with Just 1 Text Message”
Slack has (had) some very serious security problems.

So does Skype though, so whatever.
I remember a similar problem in Calc 2. I forget the specifics now, but I think it was an integral of some combination of sin/cos that ended up being circular. You had to recognize an opportunity to swap one of the steps for an equivalent, which would lead you to the final solution.
This might be a little out of date, but the breakdown is something like 40% retailer, 10% distribution, 10% print, 5-10% author, 10% editorial, 20% profit. On future print runs the publisher gets more profit of course. NB the retailer takes most of the profit. For ebooks the situation is worse in that Amazon takes 70% unless you choose to sell exclusively, but at least canny authors can bypass the publisher. You can see then why publishers are hostile to ebooks, for them it is an even worse deal and they lose control to a predatory retailer (Amazon).

5000 sales is larger than most first print runs, a minority of books are bestsellers and sell hundreds of thousands, the majority sell just a few thousand and make very little profit if anything, this is why publishers offer an advance set against future royalties.

There is still a vestigial authority to a printed book (someone other than the author liked this) and a stigma attached to self publishing, so there is some value still to being published on paper, because the main benefit to most authors is reputational, not monetary. It will be interesting to see if that changes with ebooks. However, like print newspapers, mass-market print books are dead, they were always on thin margins but are now unsustainable. This will take a decade or two to work out, but it will happen.
חדרים לפי שעה בנשר – Discreti
Google has fit my needs just fine: https://www.google.com/forms/about/
Intersection NYC | New York City | Full-time / Onsite

Intersection is a technology and media company redefining the urban experience. We are technologists, media experts, engineers, designers, and strategists working together to create value for citizens, governments, and brands and improve life in cities around the globe. Our teams find new avenues to connect the digital and physical worlds to make our experiences more connected, more seamless, and more human.

For more information about open positions at Intersection NYC: https://boards.greenhouse.io/intersection
Could anyone explain ephemerons further, maybe with examples? It seems really interesting.
> Because the middle east was a sea of peace, social stability and contentment beforehand?

Relative to now, yes it most certainly was.
The right to privacy stops when you put lead in a bunch of people. There isn't a textual right to privacy in the Constitution in the first place; it's a right that arises from the interpretation of other rights.

What's at stake here is the power of government to compel testimony. They already have the phone, but they lack the power to compel its unlocking.
Let's hope this catches on in computer science.
After trying slack we decided to use rocket chat.

It is a very good piece of open source software.
Strikingly (YC W13) Is Hiring DevOps, Ruby, Mobile Dev in Shanghai
Location: Europe

Remote: Yes

Willing to relocate: negotiable

Technologies: bash, swift, python, matlab

Résumé/CV: https://www.linkedin.com/in/davideri

Email: eringis (at) gmail dot com
Really fun read, didn't expect it to be so interesting and technically cool. And I beat the estimated reading time, so there's that.
> Like, seriously. They're still facebook friends through all this?

Nope. She definitely blocked him on Facebook, but only once she felt his behavior constituted harassment. And that's reasonable, in my mind - especially given that this portion of the story occurred 10 years ago when people had much less experience with online social networks. Problems like these can start small and escalate gradually.

Yes, the article is lengthy, but it might be more responsible to read the whole thing before passing judgment.
It's a little spooky that the author, Gian-Carlo Rota, passed away the night before teaching a class.
It obviously doesn't seem like he had the ability to make rational decisions like that. I doubt that a single visit from the cops would get him to change his ways after 14 years.
I agree that men also feel pressure to accommodate requests they might rather not.

I think it can arise due to an imbalance of whatever sort. I've been in that position with males with whom I didn't want to escalate a situation and with males while on their home turf (say, in a strange country). But I tend not to fear being assaulted by a woman or tricked/trapped by a woman in a foreign country. People routinely get scammed because they are too polite or fearful to say no or walk away.

Females might feel that imbalance a little more?
Photos of Scott Kelly landing after a year in space
Vurb | San Francisco, CA | http://vurb.com | Full Time (H1B OK)

Featured 12/27 on NYT as one of 12 "must-have" travel apps

Vurb combines mobile search, apps, and messaging - partnering with services like Yelp, Foursquare, Rotten Tomatoes, etc. Rather than jumping between different apps to find something, we're bringing your apps and your friends together in one place - an app you'll use every day. Won TC Disrupt - http://techcrunch.com/2015/08/20/vurbchat/

INVESTORS: Max Levchin, Drew Houston, Naval Ravikant, CrunchFund, Redpoint, Tencent + others.

APPLY IF: You are looking for a rapidly growing small team and the opportunity to take on significant responsibility and ship quickly. Examples of challenging problems that you could help us solve include:

- Manage and index millions of objects around places, events, movies, etc with blazing fast read-write access

- Develop search relevance and content discovery infrastructure on millions of objects

- Build backend services (e.g., "mini-apps) which integrate with APIs across interesting verticals like places, movies, and shopping

- Work on user-facing web and mobile apps that deliver an amazing experience!

LOOKING FOR:

* Full-stack Engineer - generalist opportunities across the stack: backend, frontend. Go, JavaScript, node.js, react.js, AWS

* Search / Data Scientist / Data Engineer - search, classification, ranking, ML, graphs, data crawling/processing. Advanced CS degree required.

INTERESTED? http://vurb.com/careers | jobs@vurb.com
The Rise of Nvidia (2001)
I strongly recommend you learn to debate without resorting to ad hominem attacks. Helps keep things thoughtful and productive, and not just here either. :)
I had a similar experience with similar grade and outcome. I finally started understanding things when I took PDEs and so on.
The FBI should offer to unlock the phone only if they arrest Hillary;)
Somehow new generations of developers want all their tools for free, but expect to get money for their work.

Strange profession, when compared how much some of other professionals pay for their tools.
I searched Istanbul in this page and I am happy to see your post :)
I wish slack would concentrate on making the app more productive for teams to work together remotely. We can type fast enough, in fact, hackernews tells me I'm typing too fast.

The problem is organizing and collecting the information and ensuring it is useful later, rather than just during the 5 minutes. Let users break a chat message out into a threaded discussion for example. We already have plenty of voice and video chat options, we can just pick up a phone. Those things are ephemeral. Text is forever. Let's keep more of that so we can use it to further the business objectives.
I really wanted to use OCaml, but it is adding features way later than I can continue to wait. I've started learning Ponylang as my CSP language over Elixir ever since I checked it out several months ago. Maybe OCaml will fit the bill one day. Jane Street's inertia seems to keep it going outside of the academic world, but that's a single linchpin in the commercial world outside of its academic pen.
>> "Even ebooks need specialized design and typesetting"

I must confess to being baffled by all this talk of typesetting, for the following reasons:

1) My ebook readers (Calibre and iBooks, mostly) algorithmically render and reflow the text to arbitrary typefaces, sizes, columnar layouts, etc. Isn't this "typesetting?" And isn't it taking place entirely in software? [0]

2) Latex consumes a plain-text (aka neither designed nor typeset) file as input and produces tolerably-good machine typeset output. Its output is vastly better than plenty of well-regarded periodicals such as [1], which proves by construction that good-enough machine typesetting can be implemented.

[0] I'm not claiming iBooks typesetting is remotely comparable to what's found in a Random House hardcover, but rather that no hand typesetting at all takes place for most (all?) ebooks.

[1] http://www.cabinetmagazine.org/
My conspiracy theory:

"Guys, turn these loud speakers on tonight. Trust me the press will go nuts!"

Must be nice to be Apple :)
The Role of the Luxury Airport CT Limo SUV Charter Van and Sprinter Service
I wish there was some way to speed up the videos.
You just take the computationally expensive work and run it elsewhere, like a worker pool. This is a standard pattern for this kind of work and what you would do with go too, except the worker pool might just be a number of goroutines.
That is spooky. Both from heart problems too. Maybe the stress of teaching the class takes a toll. Heart attacks are pretty common among men of that age, though.

Coincidence, of course. Spooky. For sure.
ParteiNicky
I'm not the parent, but I wrote this [1] a year ago, and I think at least the first section still works for getting JSX syntax highlighting working.

[1]: http://petethompson.net/blog/js/2015/02/25/sublime-text-3-an...
WordPress just needs to break compatibility and launch a new version with different requirements (such as PHP 7+ and MySQL 5.7+) and leave a couple of guys just doing security fixes for legacy versions. Now it's such a weird mix of functions, globals, classes, and it's just terrible to have such a vastly popular product being so poorly written and architected! Abusing MySQL to store vast amounts of metadata in wp_options and other tables when NoSQL databases have been available for years is outrageous!
I remember writing a little script in Python that used a pdf library to try to grab the title from inside the pdf and rename the file. It worked half of the time. I too have too many pdfs and it's annoying to have to rename every single one of them.
This just came up on my feed yesterday, might be interesting to you as well - post by a analytics company on moving parts of their system from MySQL-backed Ruby to a DB-free Elixir backed structure: https://moz.com/devblog/moz-analytics-db-free/
Does anyone else get the urge to spend the next few hours (or days) trying to work out (at least the basics of) everything Rota is talking about here?

Mathematicians have so much fun..
>I've heard the quality of OCaml libraries tends to be very high.
I feel the same way regarding Haskell libraries, but I do definitely think that there's more work put into documentation of OCaml libraries than their tends to be on Haskell's, which arguably makes as big a difference as the actual quality of the library.
Yewno | Redwood City, CA | Software Engineers and Data Scientists | Full Time | ONSITE

Do you know why X and Y are connected? We do.

At Yewno we are building the next generation knowledge engine. We leverage leading edge computational semantics, graph theoretical models as well as quantitative analytics to tackle the information overload problem. Our solution helps people research and understand the world.
We're a small team of hands-on entrepreneurs with multi-million dollars exits under our belts.

Yewno's venture funded and our product is in private beta with leading institutions. We are looking for team members who get things done, not like talking about getting things done. We invest in technologies that help us deliver great services and experiences, not just because they’re cool and new or because we feel comfortable in them.

We are looking for mid to senior level engineers for multiple roles including big data, API platform and machine learning.

If you are interested in learning more, ping me at: matt [at] yewno.com.
This skips the most important part of the proof which explains why this is not easily invertible without the secret key.
It seems like they've had a lot of time to learn which ones, though.
What do you actually need generics for that you can't do with interfaces? Not to mention that compile-time generics (read: generating code for each type) make testing with mock types much, much harder.
Angular Directives Are Just HTML – JS Architecture
Show HN: T-shirt for gf of bearded men
Deloitte Digital Buys Creative Agency Heat
+1. To my knowledge Discord is and will always be intended for gamers for the forseeable future. They don't have the infrastructure to support enterprise expectations like LDAP/SSO, dedicated account managers, support hotlines, guaranteed SLAs (although I know their tech team is highly competent), etc.
Mind sharing names? My company shut down its Santa Clara DCs around two years ago for reasons mentioned elsewhere in this thread
It's not about whether she "feels" his behavior constitutes harassment. She has a choice about whether to be contacted by him and she has to tell him in no uncertain terms exactly what she wants. She has to say, "Please don't contact me again. I am not interested in having you in my life in any way. Move on." (not a quote, my suggestion).

This is like her quote,

>"He handed me the latest Red Hot Chili Peppers CD (Stadium Arcadium, not great) and asked if we could eat dinner together. I panicked; I hadn’t seen Danny since middle school and didn’t want to see him now. But I also didn’t want to hurt his feelings and felt touched by his gift. I took him to the cafeteria and made awkward conversation until I faked an excuse and left."

Really? Why would she mention that his gift "Stadium Arcadium" was "not great"??

What does it matter? But at that part of the story, she literally went with him to the cafeteria and ate with him.

Like, where at any point does she clearly simply say, "Do not contact me again in any way. I am not interested in having you in my life. Please move on." or "I told you not to contact me. Please don't do this" etc.

Women are completely in the wrong if they refuse to unambiguously state what they want from communications but expect that they can just "feel" a certain way. They have a duty to tell the person unambiguously.

By the way this goes the other way too. A woman can be totally, completely into you and you can be oblivious. In that case too, if she does want something she needs to just say it.

There are literally entire articles written for how a woman can go about planting the seed in a man's brain that maybe he should ask her out. It's ridiculous. women can communicate and they have an obligation to do so, not to "be touched and take him to the cafeteria and make conversation" while thinking that they are doing so with a harasser. come on.
It could still be good practice to minimize all data when it doesn't serve a purpose, and I can't think of a reason not to delete the last byte of an IP address (except possibly in an internal setting where all clients are from the same subnet).

Personally, I don't see much of a problem when my IP is stored somewhere since you'd need a reference, but others have apparently thought more about it and want it to be anonymized.

(I've now come up with scenario: If you have access to multiple such sets of data, you could connect accounts from different systems. I. e. when the youporn logs leak, someone could tie the data to your HN account etc.)
Actually, the opposite. The merging of the branch means that people are now free to continue work on adding new architectures.
Probably the second example here [1] for those curious (I think the integral of sin(x)*e^x dx is the only place I've seen this used, would love to know if there are other examples).

[1] https://en.m.wikipedia.org/wiki/Integration_by_parts#Tabular...
From what I have heard of my friends at work actually doing interviews, they mostly focus on finding out how much does their candidate lie on their cv :)

I.e: "So you want to join our product security team and say that you know xml. How would you go about finding an exploit in an app that you can get to parse an xml file?"

And I have heard several stories from several people doing interviews, where the candidate failed this sort of question particularly badly :)

So simple questions in vein of "I see you tell us you know x, that might help you solve problem y we deal in our team often, how would you do it?"
"- you want a build system that doesn't suck"

This is a very surprising claim. Do you have any examples how Ocaml specifically induces systems built on it to suck?
> It took me another few semesters afterward to catch up on that part, but I can understand how engineering majors cared less about that.

It's definitely something engineers care about, but not at the undergraduate level.
Do i need bitcoins and a tor client?
assume 100M households in America, that's 2.4 trillion dollars per year. Social security presently is about 1/3rd of that, if BI could replace that.

Fed government currently gets about 3 trillion in revenue. So we'd have to increase by 50% to cover shortfall (or cut spending).

Some ideas here: https://medium.com/working-life/why-should-we-support-the-id...

http://www.cbpp.org/research/policy-basics-where-do-our-fede...
Even worse than that, the precedent will be set that government agencies can ask any tech company to subvert their own security. So TVs, phones, echoes, webcams, computers, analytics.js could all legally be modified to become surveillance devices, and if doing one, why not do them all?
Location: Moscow, Russia

Remote: Yes

Willing to relocate: Yes

Technologies: iOS, Objective-C, Swift, Cocoa, CocoaTouch

Résumé/CV: https://www.dropbox.com/s/sdsgjcaglx5glbq/iOS%20CV.pdf?dl=0

Email: shield47@gmail.com

LinkedIn: https://ru.linkedin.com/in/igor-bulyga-04433a76
What if I want some hybrid? From OCaml, I want the awesome module system and strictness by default. (I'm not dismissing laziness or any other evaluation strategy - just saying strictness is a better default.) From Haskell, I want effects tracked in types, higher-kinded types and painless parallelism.
For serious vulnerabilities, most people (including Google IIRC) would agree that 5 days is sufficient. More importantly, the fact that it wasn't scheduled to be in today's fix means that we have to wait until the next release to get this fix (which will take longer than a week). It's such a trivially exploitable vulnerability that it should be treated as serious.
Fitt's Law
Martin (sic) Hellman is one person. His co-awardee is Whitfield Diffie.
Oscars 2016: The winners
#Protip: use print view to save yourself a bunch of clicks https://play.google.com/about/developer-content-policy-print...
That was my first thought as well - in light of recent discussions here on HN concerning just how terrible Skype seems to be these days (I wouldn't know) it feels like an obvious next step for Slack. Good for them.
The Laplace transform was the bane of my existence as an EE. Not because it was difficult conceptually or mechanically for me, but because the problems I had on exams were such that I tended to make careless mistakes that only manifested after a page of work. I was lucky if I found them in time.
Wintergatan – Marble Machine (music instrument using 2000 marbles)
because you didn't ask how big the list was, it has 5 billion entries, and castToTimestamp is expensive?
The body text in this article is illegibly thin, please consider moving to weight 600 so that people can read your text. You've worked hard to write it, now it is time for people to read it. :-)
1st? Ist? lst?
OXFORD SHOES AND WAYS TO LOOK CHICKY IN THEM
OCaml is a bit more traditional. Strict evaluation and mutability may be more friendly to programmers with an imperative background.

My general experience with OCaml hasn't been great. To be blunt, it seems sort of like a less-well-thought-out version of Haskell.

The biggest downsides that I remember were:

* IO sequencing via (;) : () -> () -> (). This is sort of a relic from before we had monads, and is relatively pretty clumsy.

* No type classes. "Generic" operators like (<) work by binary comparison (!!!). This is terrible and leads to nonsensical ordering semantics for non-trivial data. There's also no generic (+), (), etc. There are separate functions for ints and floats. Again, clumsy.

Questionable unboxing techniques. On a 64 bit processor, ints are 63 bits because ocaml has to use a bit to tag them as non-pointers. On the other hand, Haskell differentiates boxed/unboxed values statically at the kind level, so there are no weird pointer tagging tricks or related overhead.

I have limited experience with OCaml, so take this with a grain of salt. I also think OCaml has valid use cases. In Jane street's case, I can see OCaml being a better choice than Haskell for the reasons I mentioned. The people there definitely know the advantages and disadvantages of both. One of the hardest interview questions of my life was a very interesting Haskell question from Jane Street!
And they wont have enough runway