skysight-inc/HackerNews huggingface dataset:
I think you need to call `postulate zfc_analysis`. With that, I get:

Enjoy! -> lim[x->0] 1/x
oo
Enjoy! -> d/dx(cos(x))
- sin( x )
Enjoy! -> lim[x->0] x+2
2.0
Tanzania evicting 40,000 people to make room for Dubai royal family
I don't want to say what I'm about to say, but...

I don't care about the type signature of promises. I actually don't care about the type of anything which has a complicated type; I think it's just incredibly winning that I will now be able to describe the shape of the raw data circulating in my code.

I've always found really annoying, in Haskell, to see incredibly complex type idioms emerging to allow stuff that doesn't really deserve it. And yes, I'm talking about monad transformers.

Don't get me wrong, I think that Haskell and the typing techniques and idioms it has fostered are a tremendous achievement, but right now, I'm more focused on bringing my web code, which right now is unfortunately a jungle of implicitly-typed garbage, closer to a safe and predictable better-typed form.

I tried to do that in Haskell in the back-end, but everytime I tried, I lost mind-boggling amounts of time dealing with the monadic stack of the framework I tried.

As the saying goes, I'm not clever enough to use dynamic typing, and bugs happen. Unfortunately, I'm also not clever enough to use real strong typing, and nothing compiles, let alone gets done.

Hence why I'm immensely thankful to see facebook embracing gradual typing in a way that lets me leverage my knowledge of algebraic typing.
Why, oh, why does CPython bother keeping refcounts for small integers? Sure, it lets you make pretty graphs with [sys.getrefcount(i) for i in range(1000)]... but that's an extra memory read and write on every instruction that uses an integer. I can only imagine that not only are these extra instructions, but they're extra instructions that kill pipelining, if the interpreter needed to do "a = 1; b = 1; c = 1" for instance. Maybe they found that the branch needed to not bother refcounting for small integers was even slower? Does anyone know if that was ever tried?
> That's still unacceptable ...

Yes! Extremely unprofessional and completely unacceptable regardless of whatever it is she did to "deserve" it.

By the way, is there a link to this article she wrote that is allegedly so over the line?
Thanks for answering, it's always good to get answers straight from the source.

It would be awesome if you blogged about this. It would be interesting to read _how_ you got better at being good stewards of your open source projects and what made you open source these. I think it's a challenge a lot of people face.
Type erasure is only safe if the whole program is statically typed though - you are still going to need to use runtime checks if you want to interface with dynamic code.
"Treating this as a grave error IMHO is right because by accepting the connection over SSL, you state that the conversation between the user agent and the server is meant to be private."

This is misguided thinking, pure and simple. Because of this line of thinking, your everyday webmaster has been convinced that encrypting data on a regular basis is more trouble than it's worth and allowed NSA (or the Chinese or the Iranian or what have you) authorities to simply put in a tap to slurp the entire internet without even going through the trouble of targeting and impersonating. Basically, this is the thinking that has enabled dragnet surveillance of the internet with such ease.
I like the "Delbert" at the extreme right of the spectrum.
If you log into the developer center, there is an iOS 8.2 beta available with a new version of Xcode and WatchKit.
I'll follow up with a keynote video tomorrow night. There's a couple spots out there, but nothing easy to get to.
Also if you have a Part Two I'd love to hear about it.
So this is where we stand:

Encrypted (Certified) COOL GREEN
Encrypted (Self-Signed) EVIL RED
Unencrypted NOTHING / NEUTRAL CHROME

I think there's a pretty blatant antipattern here, and I'm not talking about colourblind-proofing the browser chrome.
SJW is only ever used as an insult. On HN it's a useful signal of a useless post.
Digital and slide film are pretty similar in my experience. Color negative and black and white negative film, on the other hand, definitely offer a lot more opportunity for shadow and highlight recovery.
Ask HN: Is Stackoverflow running out of questions and answers?
I think I'm observing a trend whereby you can't get basic questions answered anymore. At this point, most SO Q &A are duplications on some level, so it seems many things go unanswered, are downvoted, or closed. Is this healthy for the SO network?
> Try running an annotated file in the browser - it's simply not valid ECMAScript syntax and no JavaScript runtime will run it 'as is'.

Of course not, but the point was that it's not a different language, it simply adds type annotations. If you strip out the type annotations, it should be a valid JS file.
Well yeah nobody talked about removing JS's duck typing algo.
I'm wondering whether I can add it into my team's svn pre-commit hook that already does jshint checking. It's remarkable what a difference in runtime js errors and overall code quality that pre-commit hook made for us.
Hm? The overhead reduction is on the server. Verification IIRC is somewhat slower.

There are CAs that issue them, uh... someone managed to get one issued during the TLS WG meeting at IETF last week. I'd have to listen to the audio to find out what CA they used.
I try to act in accordance with my political beliefs. In the past, I've boycotted Coca-Cola and Nestle, become a vegetarian for 5 years (vegan for 1 of those...), given up Facebook, and etc. You could argue all of these actions are pretty trivial and, really, do more to placate myself than they affect the real world. But I live this way nonetheless, and I believe there are millions of other people like me.
Isn't this basically Rupert Murdoch's MO, in countries around the world including the US and Australia? I'd suggest "still is" rather than "used to be".
AeroFS Is Hiring Senior Engineers
Their "cold storage" system for using optical media to store data long term seemed interesting.
Thx. Very difficult to hire someone locally. I am in NYC area and with my profits before taxes being 5K (give or take), I doubt I can find someone even part time here in the US. I could go offshore but I dont' want to because of timezone and communication gap issues. I know this because my current freelancer even though good, is offshore and I am not able to drive things forward with him as smoothly as I want to.
Btw, I noticed on your profile that You do C# .NET MVC. I am revamping the app in exactly that :)
This guys lawyer should have left that court room, and went immediately to federal courthouse and filed a civil rights violation suit. the ACLU still should
San Francisco? That font is over 30 years old (http://en.m.wikipedia.org/wiki/San_Francisco_(typeface))
Decompiled code of 120K EUR Polish vote counting system
Why not hire and train a part time person (or friend) that can help cover demo's and help you grow a little faster and stay bootstrapped. It would mean that you would need to add more customers before you can go full time but it is a way to stay bootstrapped and not take others money. You could even pay this person per lead closure, so for every client they get signed up you pay them $200 (or $400 whatever).

You could also work to simplify/automate the on-boarding, spend some of your monthly revenue on creating some videos that cover the features/questions people seem to ask the most about. You can make a few videos, 45 seconds or less, and have those on the site for users to view without registering. Then record a full demo that is say 5-10 minutes and if someone registers for more information then send them a link to that video and then follow up with them. You may help shorten your need to be involved in every sale, and decrease on-boarding time. This doesn't mean you can necessarily make a sale without jumping on the phone, but it does mean you may be able to minimize those conversations more and therefore make them more scalable and even possibly easier for you to train others to help you close deals.

In the end, raising money takes way more time and effort than you initially think, and even with friendly investors it can change your ability to go the direction you want. Lastly, remember a lot of investors try and minimize founder salaries, and if you need 10-14k a month to survive then you may struggle to find an investor that will commit when 85% of his investment is just paying for you. If you are thinking you just need 50k to make it for 3-5 months, you might be able to get that more through friends/family/bank to help bridge the gap until you get more signups.
Boot to Guile FTW!
Docker at Shopify: How we built containers that power over 100,000 online shops
yeah, but all of these examples would just be fixed if your devs are required to write unit test coverage of their js
Right. That's why they should just say "paid out a million" (a statement of income) rather than "became millionaires" (a statement of net worth.)
This claims 60,000 "enslaved" in the US, however many people would argue it's much more thanks to forced prison labor

http://www.globalresearch.ca/the-prison-industry-in-the-unit...
> I'm just wondering why are nullable types inmplemented as such and not as a natural consequence of full sum types, which are inexplicably absent.

Haskell-style sum types are a generic type with multiple values describing the alternatives.

Since the goal of Flow is to typecheck existing JS semantics, the addition of wrapper types and objects to support such sum types makes very little sense while the addition of "anonymous" union types makes a lot of sense. Dialyzer took the exact same path (except even more so as its type unions can contain values) as it tried to encode Erlang's existing semantics.
Important out-of-band update to all Windows versions to be released today
I think it was meant to be C, where it would often (although not always - very much implementation defined) wind up interpreting the bits of the float as if they represented an integer.
Enormous Flash of Light Stuns Russia
Feds will auction off $19M in Bitcoins from alleged Silk Road kingpin
We @ iKnode support scheduling. Not sure if it fits your needs completely, but write me at aespinoza@iknode.com and I'll help you through it.

http://iknode.com
The book "Full Moon" has some gorgeous photographs and is one of the nicest print books I have. They took care to do it right.

http://www.amazon.co.uk/gp/aw/d/0224063049/

> To communicate the necessary density required a special black ink --"Luna Nero" was developed solely for the printing of this book,

Okay, this sounds a bit like designer-nonsense but the book is printed really nicely.
That's a C example, where it demonstrates my point perfectly. Python doesn't even have a printf function, where did you get the idea it was supposed to be Python?
You make some good points here, I've also experienced the same with Haskell web frameworks. I think we can agree that the most important things to annotate are points of interaction.

If I'm part of a 5 developer team working on a code base, or I'm using a library someone made - I want the functions I'm calling to be very explicit about what they take and return and I want the functions I provide others to be very clear on what they take and return.

The problem is that even something people use every day like a Promise or an event handler creates very complex types (like the example above). I think any viable solution that expects to be type safe needs to be able to express that.

If your code does not expose any callbacks, or anything async I'd say it's simply not very typical JS code.

The alternative of course is to be _less_ safe about our type. We could say that we treat a promise as:

Promise<A> -> A -> Promise<B> -> Promise<B>

(just a `bind` from Haskell) - this would let us maintain _some_ type safety which is better than nothing.
Yeah I agree. I guess that's what confused me is that maybe he recanted his confession or they weren't willing to bargain his sentence down to something he was willing to accept.
I've read that those Intel SoCs may cost negative dollars.
This is also true for TypeScript though. The only thing that's not directly JS in TypeScript is shims for new JS features (from ES6) not yet implemented.
If someone is saying something bad about a language and it has something to do with types being weak, they must be saying it about Python?
They might as well say something even more ominous: "If your certificate expires, your site will no longer be accessible."

Of course, we know that's not true either, but try explaining to your visitors how to bypass the security warning (newer browsers sure don't make it obvious, even if you know to look for it).
The Colleges with the Happiest Students
Understanding Apple’s Watchkit Through Tweets
Here's one :) https://github.com/facebook/vim-flow/
I can understand hotel workers not taking pics of guests (assuming the DHS folk were guests) but you can't seriously expect your movements to be private if you're going around in pickups with police and the name of your agency proudly displayed.
This looks like such a better step in the right direction than than the types of tools MS and Google have been putting out. Dynamically discerning the underlying code, and allowing optional type annotation works _with_ javascript, as opposed to attempting to turn js into a completely different (and weakened) language.

That said, I am curious what solutions this solves that isn't already solved by enforcing good code coverage. Full disclaimer, the largest js projects I've worked on were in the tens of thousands of lines, not hundreds of thousands, but type checking just seemed completely unnecessary provided a good coding guide and test coverage were maintained and enforced.
Does AdSense really not allow ads on subdomains?
If only they had gone with the "classic" San Francisco font you linked -- the Watch's whimsical level would be off the charts!
It's pretty much a bastardized form of HM typing, like Haskell, OCaml and ML has.

http://learnyouahaskell.com/
5 Tips for Creating a Successful Blog
Facebook Groups: Now there's an app for that
Sure, that could be the case.

Of course you would have to completely ignore the constant pattern of scummy behavior from Uber that is perfectly consistent with this particular incident.
I've seen groups used quite extensively in Education. It's how university students in the same class collaborate on assignments. They don't need to be friends to work together, so it's super convenient with document sharing etc.

I have friend groups as well but we mostly moved to FB group chat or Slack.
People get tempted to play shenanigans like reusing numbers.
>Apple Watch represents a new chapter in the relationship people have with technology.

Not really.
Name 3 things you look for in an engineering team before you'd consider joining
So what's wrong with having a tool to automate those practices ; )
:-) It's technically easier but organizationally more difficult and time consuming.
Note that I was off by a factor of ten and the site has made under 4 bucks for a sitewide banner ad.
Great quip in the linked article by a lawyer with the ACLU about nondisclosure agreements:

"You can't contract out of
constitutional disclosure obligations"

I think that about sums up the "people's" side of the war.
You are missing that for capital in England to move to Portugal, something has to move the other way.

If you look at actual neoliberal trade, a lot of production of goods (and even services, to the extent that they can be provided remotely) moves to the peripheries, but the core's comparative advantage becomes in renting out surplus capital (which produces even more surplus capital to rent out). That is, the developed world in actual neoliberal trade with free capital movement are the countries that are like England in your example.
Very interesting. As a side note, I am suspicious of the data on this site regarding stripper and adult actor names because these are often pseudonyms.
This presentation at OSCON 2014 runs through some of the things we've tightened up: https://www.youtube.com/watch?v=fzL6Zoy_ndk
Does that also imply that a small integer is created on the heap? I would think the heap allocation would be the huge performance killer.
>If it's public static content, what is SSL protecting?

Plenty.

Off the top of my head:

It protects people/companies from having their reputations ruined by a MITM attack that replaces content on their site with something offensive.

It protects sensitive/important content on sites from being tampered with by an attacker. For example, if I am hosting a binary for download I can make a signature available for that binary on my site. In order for the signature to serve its purpose the user needs to be sure it hasn't been modified en route.
Google's traffic tips to get you to the Thanksgiving table
XThink Lab released MT7681 ($5 wifi module) SDK with source code
The Ease of Business Analytics
> especially since a basic SSL certificate is free

From where? StartSSL only gives out free certs to individuals. For my company, they've actually required me to get organizational validation in the past, which wasn't cheap ($200, IIRC—$100 for the organizational validation, plus $100 for stage 2 personal validation, which also required me to upload images of my driver's license and passport).
That is alot of developers using FreeBSD, but my ideal scenario is where these groups don't rely on corporations or just a few wealthy people for donations.

Also I wouldn't necessarily advocate letting corporations off the hook. If every corporation / small business / organization who uses FreeBSD in their infrastructure also contributed $1/month I think this would easily put them over the top. I think developers should be just as active with advocating to the companies they work for to also do micro-payments to open source projects / foundations they depend on for their infrastructure.
these aren't blurry lines. if Emil Michael feels like a journalist stepped over a line in reporting then he should have filed a civil suit. that's not what he suggested. he suggested utilizing millions of dollars of the resources of a billion dollar company to engage a campaign of systematic intimidation and harassment against journalists he didn't like.
> the idea that static type checking makes developers more productive and prevents tons of errors is overstated

Then perhaps you are understating the importance of software correctness. While type systems can be an almost religious topic, the benefits of type checking are real -- a whole class of bugs to disregard, less testing code, and a more maintainable codebase for other developers. Moreover, for languages with ADTs and exhaustive type-checking, you are forced to reason about boundary and error conditions. All of which leads to higher quality software, at the minimal cost of up-front work when designing your types and fixing what the compiler/checker says.

> type related errors are usually easy to find and fix and have rarely if ever been the root cause of our most difficult problems.

Type related errors may be easy to diagnose and fix -- although by definition, in the absence of type-checking, type errors are only so after the fact, eg after causing a crash. Hence the utility of type checkers, especially if it means fewer avoidable errors appearing in production.

> Dynamic type checking and implicit conversion is one of the more powerful features of JavaScript and certainly no less prone to error or counter-productive than type-casting, making variadic functions or class templates are in other languages.

Type checking doesn't diminish the usefulness/convenience of dynamic languages, but IMO lends more weight to the benefits of strongly static languages -- benefits which are negated by the abuse of "features" such as typecasting or variadic functions.
I sure hope so! ;-)

http://en.wikipedia.org/wiki/San_Francisco_(typeface)
What point in time is that valuation based on? Are they worth more or less at this time?
Static analysis is somewhat like having very minimalistic type-only unit tests. If you already have comprehensive unit tests, you don't benefit much, but if you don't you really notice the quality difference in the code that ships when you run static analysis prior to shipping.
Yes, but the DLR is not. ESA isn't monolithic in the way that NASA is, I believe.
Out of curiosity, were you an officer? The idea that private officer chat might be sent to just any guild member's client is hilarious.
Find and Leverage Your Unfair Advantage
What you propose sounds like it would be a pure headache for all code which otherwise expects a uniform memory API.

Consider a C extension which takes an object and appends it to a list. If small integers did not have a refcount then that extension would have to have special code, like "if object is not a small integer, then increment the reference count".
People are overreacting to this. It's not a big deal
Not impossible (but certainly much more difficult):

http://www.bunniestudios.com/blog/?p=4018
How to Downgrade iOS 8.1.1 to iOS 8.1 step by step
In JS, true. You can't do any of this stuff in JS! :)

But I guess my real point was that that seemed like more of an argument against positional parameters than for lots of typing. I like how ObjC handles this, I wish more languages did it that way.
That could be why they backed off, withdrawing that evidence rather than reveal their tracking methods.
Excellent points. I already have a detailed video demo of the app and quite a few marketing materials. In fact, the videos are the reasons I get a lot of inquiries because people love it. For existing clients, I have a lot of training materials in the form of videos and FAQs as well that they can go through. In fact, that is the first thing I ask them to do when they signup. That keeps the number of support tickets much smaller.

But overall, I can only give it so much time. There is support tickets, presales inquiries and a bunch of other things (billing/accounting). So I am always choosing (and struggling) on what to do when.

You nailed it perfectly about my financial situation. I need about 10K cash per month for family expenses (dont judge, my kids daycare costs 3K total and my mortgage+taxes is 3K being in the East Coast).

I could always sell my house and scale back but I really don't wanna do that because I wont save much in rent anyway.

Knowing that this business model is solid and if I had the right team and time/money, I could scale it a lot faster, I am leaning towards the funding option but want to be very very careful of course.
Show HN: Page Matrix, xplore more of the web at ease
Minbox launched as a simple file sharing app and we've been working hard over the past few months to transform it in to a powerful and beautiful collaboration tool. We've posted a sneak peak of our upcoming release - feel free to sign-up for the beta and we'll get you on board as soon as we can.
Has any one tried to make it work with a google closure code base?
I am still trying.
The Generalist – On Alexander Grothendieck
I like to think that static typing haven't delivered its promises because the current statically typed languages and toolage is inappropriate and immature, but I realize that this might be a symptom of the Smug LISP Weenie syndrome that affects me.
This is a bit off topic, but I digress....

I specifically didn't send this tool to the team I work on, because my team lead is a sql / java / c# guy who loves static languages, and only touches the front end with a stick if he has to, and then only some basic jQuery or angular.

I've sold him on jasmine and requiring front end test coverage, recently. But right before I hit the send button I realized that if I sent him this tool, I'd never be allowed to use dynamic typing or non annotated functions/arguments in js ever again.

Hence my question : /
I believe you. Do you have experience with those sites?
How does optional typing weaken javascript?