skysight-inc/HackerNews huggingface dataset:
> That's all well and good, if you know the values of x and y at compile time. Consider a program that reads x and y from STDIN. The user could provide an x that is equal to or larger than y (or could provide only one value, or values that are not numbers). I see no way to deal with that except to throw a runtime error. Is that what would happen?

Before you could call "add", you would have to add a branch/condition to verify "x" and "y" met the pre-conditions. The compiler would then know from the context of where you called "add" that the pre-conditions were always met. As you couldn't guarantee the pre-conditions were always met, you would have a code branch that decides what to do when the pre-conditions aren't satisfied.

The important difference to other languages though is that the compiler enforces that you're never allowed to call "add" unless you know the inputs satisfy the pre-conditions.
When trolls send demand letters, they make it sound like it's in your best interests to settle for a license fee quickly before they start suing people. Don't ask too many questions, just fork over some cash. And it might well be in your best interests, you won't know until you know what others who received the letter are doing. But if you tell a troll that you are thinking of fighting their patent, they tend to become irate, raise the settlement figure, threaten to sue, or file suit. We think that this is why there have not been many submissions on trollingeffects. We will do our best to screen members to make sure that they are from bona fide companies that received a letter. I gave a bit more detail on this in a question above.
Not exactly -- 13,000 citations and counting, mostly due to a few papers in Nature, Cell, and NEJM. But that doesn't change the fact that JIF is a terrible metric. Frankly, papers like the above are why impact factors are so misleading. Most research in the above journals will not be cited as heavily as ours has been.

Even counting citations is better, although if admins would actually read the papers, that would be better-er. Even NIH intramural people talk about impact factor like it means something. Pretty fucked considering that the publishers of glamour rags have vested interests that are very nearly the opposite of "careful scholarship".
How many hours do you sleep per day? Do you go to bed and wake up at the same hour every day? At which time do you drink your last cup of tea/coffee? What do you eat for diner? Do you exercise regularly? What is the last thing you do before going to bed?
Singapore to require public servants to access internet from separate PCs
The article is mainly focused on static typing. I guess it makes sense since the title is "Types". Although reading this, you might just think that dynamic typing is good for nothing.

The more practical part of the article is great. However, the theoretical part could use some works. Especially the terminology isn't actually clear.

Takes some example, what is "memory-safe" ? The only example makes it sounds like bound checking. And what does "no way to escape the language's type rules" mean? There are some usages of "valid program" and "invalid program" that makes my spider sense tingling as well.

> However, no dynamic language can match the speed of carefully written static code in a language like Rust.

> Any blanket statement of the form "static languages are better at x than dynamic languages" is almost certainly nonsense.

Those two quoted statements come from the article.

The section "Arguments for static and dynamic types" didn't mention a single reason why dynamic typing could be preferable over static-typing. It could at least have mentioned macro, or hand-waving claim that dynamic typing makes for prettier code at time (I think the author of python's requests library made that argument in one of the blog post).

I think the last part should be removed (ranking the language by their typed system power).

> There's a clear trend toward more powerful systems over time, especially when judging by language popularity rather than languages simply existing.

Well, it looks true since we didn't consider any dynamic language at all...

Focusing more on the "Concrete examples of type system power differences" would have been better for the article, I think. Something along the line of an example of Non-nullable type with something simple in TS, to optional/maybe monad, then dependent type that you can implement matrix multiplication (m * n) with (n * p) and got the type (m * p) back.
Currently on the front page: https://news.ycombinator.com/item?id=12349817
If you don't want your data public, then don't make it public in the first place. That's a good rule of thumb.
Eyes gaze warping
Ask HN: Is downloading and storing user-supplied url content legal?
I am working on a side project which will accept a user-supplied URL, download the content, and store it in a structured form, so that the user can later use it for analysis.

I think PinBoard does something similar, in that it can archive the content of bookmarks.

But is this legal in the US?

Edited for clarification of country
Creating Hybrid Apps with Meteor and Onsen UI
Hey OP. Just wanted to say I know how you feel and I am going through the exact same thing (also at a "big 4"). Been interviewing for nearly 6 months now and I always get caught off guard by those technical puzzles.

I've basically accepted that I'm a terrible programmer and come to terms with mediocrity but that said I'm just going to keep learning and making stuff.

The other thing I've noted is that San Francisco is this weird and overly competitive bubble. For instance, my experience applying to Seattle startups has been phenomenal. Most of them don't make me do the scrutinizing live code thing but rather give me a day or even a week to finish a very simple but realistic project. (I know there bad examples of this practice out there but usually these projects have been very small and take at most 2-3 hours).

Anyway, keep trying and don't forget that you're not the only one struggling. Also, the fact that you actually get to write code and submit pull requests already makes your job sound better than mine haha.
To some degree, you can choose what you want to prove about your algorithms in those languages.

It's perfectly possible to implement a sorting algorithm without proving that it actually sorts the input, or indeed returns a permutation of the input list at all.

In that sense, you can choose how much efford you want to put into it.
Aren't better design and better UX a compelling value differentiator? Of all people, Apple users would have appreciated design more.
This is true. During the early days, we will also have to charge a small monthly fee for members during the pendency of their fight. We hope to remove the fee later, if possible.
9W LED Grow Light PAR38
> ONE big service subscription (...) and I can use everything

This is an intriguing idea. Contributor [1] by Google is an implementation of this concept for content websites. Netflix is an implementation of this for television syndication. Amazon Prime is an implementation of this within its own diverse consumer-facing ecosystem. The MPEG-LA licensing pool or the HDMI licensing pool and various trade associations are implementations within their respective fields. In their respective circles, these work well. So well, in fact, that everyone wants their own slice to control.

I believe that's where the idea of an overarching meta-subscription breaks down: the incentives don't align. When a BigCorp can (theoretically) establish a horizontal and a vertical, and offer a smattering of products for every need while at the same time producing a family-tree of highly integrated offerings (see: Google, Apple, Microsoft, Amazon, AT&T+DirectTV, Comcast+NBCUniversal, Verizon+AOL+Yahoo), the remaining players are fighting over pennies of the pie. It's not worth it for them, and it's not worth it for the big players, because they already have the presence, the lock-in, or the content worth paying for.

[1] https://www.google.com/contributor/welcome/
There is an old Joel On Software blog post I was reading recently that talked about a methodology at Microsoft they called "Zero defects", where fixing known bug _alway_ had priority over working on new features.

<google google google>

Here - pont 5 in this post: http://www.joelonsoftware.com/articles/fog0000000043.html
Good article. As you get into the day-to-day work, I find that most things are far more meaty and have more depth than the examples here. I understand that the audience and length of this post surely couldn't "solve all the things."

However, it would be nice to have the management version of a rubber-duck, a pair, a mentor, a consultant or a life coach for people in our roles. I don't know if anyone else shares this opinion but I would be interested in a virtual meet-up where CTOs of startups and small businesses discuss best-practices and work through issues. It could be as simple as a mailing list. I suspect meetups and groups like this exist in-person but I live very far from the bay area and we're rural enough there simply is nothing nearby. If nothing like this exists, I would be willing to work and work hard with others to set it up. I think it would be so valuable to me that I wouldn't mind putting a lot of effort into getting it going.

I would also pay real money for the right mentor/CTO coach. Surely there are a number of passionate CTOs/Past CTOs that wouldn't mind passing on their legacy and mentoring me? If any of this at all sounds interesting, my email address is in my profile.
Ah I can't find them on the list! Where are they? It's awsome Simple Pickup is in YC!
The article mentions a drop in Daily users of about 10M (specifies around 12M). This also include any launches that occurred over the last month, which means the retention over this time is likely much worse than just 75% but I don't have numbers on that.
Diffrence between waterline and Node-Data
https://github.com/ratneshsinghparihar/Node-Data

The waterline is a greate opensource porject and has been an inspiration for us but there is a big difference between Node-data and waterline . The Node-Data is not an another ORM , its a wrapper over famous ORMs like(mongoose , seqlize , neo4j) . Node-Data provides an abstraction over these famous ORMs so that Developer don't have to deal with them individually and they can write models and transaction over these ORMs with same codebase.
> What would happen if you did not compare them before calling the function, and just passed them in such that x >= y?

It would be a type error. All the compiler would know is that "x" and "y" are strings/integers so it would tell you they were the wrong type. If you do a branch on checking they are the correct type, then in that part of the branch the compiler will know they are the correct type and allow "add" to be called.

Think about a Java program that takes a string input, converts the string input to an integer type and then passes this to a function that accepts integers only. If you just tried to pass the string to the function directly the compiler wouldn't allow it. Same thing but the type system is more expressive.
Goldie Kitty – Fuzzy Tales Ep. 8
Never used ply, but why not regex? Regex cannot easily match recursive structures, and can't be easily composed. Pyparsing gives you more structure and ready building blocks. It actually can use regex as one of the term objects.

Ply tries to implement lex/yacc only, so it's far from a nice interface really...

Or specifically: it's trivial to match `specific_func(any_expression, {capture, these, values})`, but it's practically impossible with regex and painful to post-process with ply.
> the Day One journaling app has had a great sync model that uses Dropbox from the get-go. No custom server needed.

Agreed. Unfortunately, they're not the best example as they then withdrew the "Classic" app from all stores, and released a new app that forces to use their custom sync servers.

They also include really misleading text about the nature of the encryption being used, and whether or not they can read your data.

http://help.dayoneapp.com/day-one-sync-faq/

> In its currently available form, Day One Sync encrypts the data “at rest” on our servers and securely transfers the data from our servers to the Day One app (the same level of security that Dropbox and iCloud provide). Following our 2.0 release, our 2.1 update will provide full end-to-end encryption. Our encryption features will utilize the user’s private key to encrypt all entries before they reach the server. In short, the server will have no access to the user’s unencrypted data. Neither iCloud nor Dropbox currently provide this level of security (see: https://support.apple.com/en-us/HT202303 and https://www.dropbox.com/help/28, respectively), thus making Day One Sync even more secure than these other sync/backup methods.

Translation: We currently encrypt your data after you send it to us, so we can read it. We may offer pre-transmission local encryption in future, and only for our own service, and this makes our service superior to the alternatives that we could (but have chosen not to) offer this level of encryption for too.

So yeah, they're a terrible example to use, unfortunately. Their original app was beautiful too. I didn't get around to buying the Mac app before they withdrew it, so my options are either manually extract my data, or risk giving them a copy (and pay them for the privilege).

Massively disappointed in Day One.
It's their site they can block whatever they want. The problem is the stupid far reaching conclusion that this is trespassing.

Even normal trespassing laws are way too overreaching (see how it is handled in the UK for a saner example) but now you have the amazing possibility of remote trespassing.

The fun part is that it's just a matter of someone hiding something that says you cannot access the site in a place that you have to access the site in order to read -- the ToS. Suing people over this is idiotic.

The real problem is the involvement of Govt, and this kind of absurdity regarding ToS, EULAs and so on, is something that has been going on for decades. If you have the money you can make Govt your personal watch dogs.
As mentioned elsewhere, the developer left. I think we developers tend to forget how seemingly simple things to us can be real barriers for others.
Oh it's Jumpcut. Way to go! Goooooooo Jumpcut!!

Yo that photo of Jumpcut -- the guy in the photo does not look like Jesse at all. Bring back the real Jesse!
x = readFromStdin

y = readFromStdin

if(x < y) {

// in this scope, you have proven x < y

} else {

// in this scope, you have proven x >= y

}
Here's my stats on python so far:

(normal afl)
http://mindscope.pw/static/afl-python-slow.png

(aflfast)
http://mindscope.pw/static/afl-python-fast.png

sorry for screenshots ;)
What are you talking about? Real geniuses go to Harvard all the time (or to other elite educational institutions).

Y Combinator has always been about business. That's the point of a startup: to build a successful business, not to build useless technology that no one wants.
Its not showing up for me, even after clicking 'see more' until the end. Maybe a US-only thing?
> Corporations will abuse your personal integrity whenever they get a chance, while abiding the law.

Call my cynical if you will, but I'd leave "while abiding the law" out of that, or at least replace it with "while hoping they aren't breaking the law". Due diligence on these matters is often sadly lacking. They'll take the information first and only consider any such implications when/if they come up later.

Large organisations like Google probably will make the up-front effort to remain legal, because they are in the public eye enough for lack of doing so to attract a lot of unwanted press, but you don't have to get a lot smaller than that to start finding companies who are a lot less careful (or in some cases wilfully negligent).
> I look forward to the day where the executive team comes to the developers and ask why they are working on features instead of cutting down technical debt.

I had a Philippino friend who told me of his early experience in a Japanese development outfit - the team got praised by management (maybe not CEO) on performance improvements and code reduction. At the time I thought those priorities would never have flown in the US (though was of like thinking).

So this mindset does/did exist.
Not to a person who specifically does not want that feature - and since Excel does not provide a way to turn it off or customize it, my idea was that an extension might be able to. Of course, I've never written an Excel extension(macro?) so I have no idea.
That's by far the best way to work.

It's hard to explain to someone who hasn't experienced it how much easier it is to develop in a bug free code base.
Getting Started with Selenium
Use tampermoneky/greasemonkey browser extension, and add a user script to disable that "please log in" shit. It works for me.
Try doing some research before you post nonsense. Google isn't more than a click away...
Migrating Existing Services to Docker Part 4 – Nginx Reverse Proxies
Correct, more or less. You're right that the public ends up paying for something they own (but this is a case where ownership means an unexploited resource which earns nobody anything). The second, controversial result was a wildly overextended telco industry that suffered in the markets from 3G license costs and consequently dragged their feet implementing 4G:

https://en.wikipedia.org/wiki/Telecoms_crash
Working towards a 100% free software world
Ask a lawyer. Likely it's a gray area, but nobody cares and they do it anyway. If you don't provide the country it makes the question impossible to answer as well...
OT, I'm always reluctant to sign up for products/services that hide their pricing. I looked for it on your website and found nothing. You should fix that.
x and y do not have to be known at compile time. If I let y be a random Nat, and x be y - 1 (or 0 if y == 0), then I can statically prove that LE x y.
> atoi in fact invokes undefined behavior in out of range situations

Ouch! TIL. You'd think by now I wouldn't be surprised by such things, and yet, somehow I was...
Often, it's indeed cheaper to pay a government-mandated fine than lose market opportunities afforded by behavior that later runs afoul of some law or regulation.
1 + eval(read_from_the_network())

> If we get an integer, that expression is fine; if we get a string, it's not. We can't know what we'll get until we actually run, so we can't statically analyze the type.

> The unsatisfying solution used in practice is to give eval() the type Any, which is like Object in some OO languages or interface {} in Go: it's the type that can have any value. Values of type Any aren't constrained in any way, so this effectively removes the type system's ability to help us with code involving eval. Languages with both eval and a type system have to abandon type safety whenever eval is used.

No, you can give EVAL a returning type of any (T) but still make type inference work.

(+ 1 (eval (read)))

The meaning of a type in SBCL is: if an expression evaluates without error, then its type is ....
In other words, the type of the above expression is NUMBER.

There is also a NIL type (bottom) which represent the empty set of values. If a function has a return type of NIL, it means that it does not return a value normally. This is the case for the ERROR function, or the (LOOP) expression.
Why Workload Isolation Matters and How We Do It
In my experience live streaming events in Canada, the delay is approx 60s behind cable TV. In your estimate, is the Internet broadcaster here using extremely large segments, or is something else at play?
I mostly agree with the post's author on the "I'm just automating something I'd otherwise be doing manually". If the local weather service publishes, say, barometric charts on their site - but has a TOS that prohibits me from scraping, and my alternative was to just hit their site every day and right-click and save-as on the chart - I feel absolutely no compunction in automating that. You need to be careful of the slippery slope though, when it's easy to grab every day's local barometric chart, it become too easy to think "Hey, I just need to stick that in a loop and I can grab 1000 different charts every day!". I'd personally _not_ do that. If it's something I'm likely to do "by hand" but would occasionally miss a day or three, I'll automate it no matter what the TOS says.
About ten years ago a new razor brand (Ruud and Rye) marketed to young professionals with this angle. Their slogan was "Trust is clean shaven". It always kind of stuck with me.
I generally sleep 3am - 10am, but it varies. Midnight is about the earliest, and 7am if I'm still in the zone / peak concentration. I try to sleep 8 hours every night, so if I go to sleep at 7am I won't wake until 3pm.

I'm a solo developer, mostly working on my own projects, but even when I work with remote clients I maintain what they call "vampire hours". Since I'm based in Australia, my weird productive hours naturally align with Berlin time.

_asummers asked about socializing - being naturally nocturnal makes it easier to go to nightclubs & concerts, or invite friends to restaurants or a moonlite all-nite diner. It's great if you have insomniac friends!

I also track my time/concentration using a program called Vitamin-R for Mac [1]. I've found my peak productive coding hours are 10pm - midnight. (4am - 7am is my actual 'peak', but I think that's because I only work those hours if I'm already in the zone.)

[1] http://www.publicspace.net/Vitamin-R/
I've started using async/await and it is something of a game-changer in terms of code readability.

Promises were nice but also subject to nesting and readability problems which the new addition solves nicely.
If you're going to fight, why does it matter what their settlement figure is?
That's true, but looking at crashes, the 'exploitable' marks some of them as exploitable, there are also heap errors. Might be an easy entry point to do... something ;)

We did similar excercise a year ago with zpaq, and Matt and community was able to fix it so well that now you can fuzz it pretty much forever :)
Massive data leak on combat and stealth capabilities of the Indian Navy
That's an interesting idea, basically the cable company model. Pay one subscription fee and get a number of complementary apps delivered.
Thanks NYT for pointing me to this hilarious section of Facebook. My hobbies apparently include 'tears', and my only food and drink interest is 'bread roll'.
How do web applications explode out to 3 Million lines of code? Yelp, to me, looks like a typical CRUD app and I would have been surprised if it were more than 100,000 lines of code. The software I develop is pretty large and typically doesn't surpass 40,000 sloc written in-house (i.e. excluding third party libs).

Does anyone here maintain such large codebases? Are they truly that big or are people just counting third party code and generated stuff?
You need to step back a little and look at yourself not as a programmer but as a human being.

When you try to value yourself strictly through the feedback from your peers you may lose yourself.

You need to have an internal compass as well, that will allow you to respect yourself for what you are, a human being, a creator in this ocean of possibilites we call life.

You need to shout to yourself : "My life matters, my life has value!" , and it's the value YOU give to it.

Reflect on your values, on what matters to you, what you want from this world, forget the others for a moment. Just stay with yourself, be gentile and compasionate with yourself. You don't have to correspond to what other impose on you. Don't try to live up to a false image.

Just enjoy the things you like for now. You will feel better.
I suspect trials would lower revenue rather than increase it, all those impulse purchases would go away.
Well, the app store is a pretty big mess.

Search does not work and Apple doesn't curate apps.

It doesn't help that you make an app people want to use and pay for if they can't find it.