skysight-inc/HackerNews huggingface dataset:
I don't think so. Eric Lippert says its due to internal compiler limitations[1]. Though now that they rewrote the compiler and haven't fixed it, who knows. Rust (incorrectly) deliberately requires type annotations for top-level items in the name of clarity. (Which ironically, makes it more difficult for beginners as they now have to make sure they got the type syntax correct just to write functions. Plus it adds visual noise that should be up to the programmer.)

As for things changing with type inference... if you run into that problem then add annotations. I'd be surprised if things continue to build after changing e.g. return types. I'd imagine this would only really be a problem with types that have implicit conversions (yet another reason to not have implicit conversions.)

1: http://blogs.msdn.com/b/ericlippert/archive/2009/01/26/why-n...
Must See China Makes Bone Chilling Video
Why Writing Children's Books Isn't as Easy as You Thought: Classic Mistakes
Compilers are free to link their own internal runtime libraries into an executable beyond the ones you explicitly specify.

The only time they are not is if you explicitly use options that prevent them from doing so; in the case of gcc, that's the -nostdlib or -nodefaultlibs as appropriate to your scenario.

I do appreciate that you actually checked the output of ldd.

Regardless, again, only as an observation, you'd still be better off with pure C. Even if you don't use standard C++ libraries, and have eliminated the need for any special runtimes, the rules of C and C++ are not the same, even as of C11/C++11. So there may be subtle interoperability concerns.

Again, this is all merely observation; I haven't yet used your library, only airing potential technical concerns you may wish to research.

Regardless, thanks again for your excellent contribution to the community!
Interesting article about an little-known man who was a key figure in this great achievement.

http://boingboing.net/2015/07/30/the-best-person-who-ever-li...
Yeah, I know the reasoning, I just find it faulty. It's confusing to not know if your code is code or turned into an expression tree.

So with that, local functions will have different syntax than normal functions? I don't envy y'all on the C# team; it's gotta be difficult to try to advance it while maintaining backcompat.

I just wish MS would put more money and clear marketing into F# instead of pretending like hacking up C# syntax is the only way to continue.
Blue-red colorblindness?
SAT Scores Continue Downward Slide, but No One Knows Why
>And, you omit other costs incurred by traditional print book publishing, including shipping, warehousing books and fulfilling orders.

In the figures that I quoted, I believe that those are rolled into the wholesalers cut.

Ebooks can certainly be priced so prices are lower to consumers than hardcovers (as well as PoD) while the author/publisher makes at least as much. My point with the figures--which seem to be surprisingly difficult to nail down authoritative sources for--was that printing/distribution isn't the lion's share of what someone is paying for when they buy a hardcover book.
We use https://github.com/gliderlabs/logspout streaming to elastic search but this does have a few seconds of latency.

Somewhat off topic but you aren't worried about using docker to sandbox user scripting? Especially being a security company.
I don't really know this area, but this seems unwise politically. An argument that funding him would be good for mathematics (not open source in mathematics) would seem a better tactic. As would a general, positive pitch for funding, possibly with the addendum that many people suggest the Simons foundation, but "unfortunately they turned us down and decided to fund a closed source alternative instead" may have come across better.
Nope, I'm in the UK. I think a lot of schools all jumped on the bandwagon and had a couple of miscreants who knew some QBasic though! :-)
The problem is that overloaded 0MQ pub sockets drop exactly the data you don't want to drop — the newest data. Maybe they handle that in the application layer, but it's not clear.
Nope.

The first for mass public display was a technology called Théâtre Optique by Charles-Émile Reynaud in 1892. https://en.wikipedia.org/wiki/Th%C3%A9%C3%A2tre_Optique ... if you replace the word "film" with "moving picture" - which is what most non-technicians are thinking. ("film" refers to a specific family of technologies - a subset of the methods of creating moving pictures)

The feature film (which is something else again) in the article is magnificent, but it's not the first "animated moving picture of a length most would consider to be a 'story' (say >2 minutes) for viewing in a theater" by 35 years.

Here's one of the 3 original animated works: https://www.youtube.com/watch?v=426mqlB-kAY and yes, it was in color

Might as well drop my favorite from the era, McCay's Flying House (1921) https://www.youtube.com/watch?v=obnRKhgRFXA which is done in a novel speech bubble system ... similar to comics.

I love studying technologies before "standard practice" is ingrained. There's a time window of rapid innovation ... ideas that might have worked but weren't pushed far enough. It's facinating to see what people end up falling on as the standard fanfare. I've called this time window, "The period of play"
Snagit 12 Keygen with Crack Serial Key Full Version Download
I had the same experience. I locked in to the first letter within a few guesses, but then struggled to find words that began with the second letter I wanted to guess. Eventually, I realized that, since I was on my phone, I could take advantage of predictive text to help me out (okay... "cheat" is probably more accurate). I doubt that I would have figured it out on my own (due to the word being totally unrelated to the word that makes up the first few letters).
Romance of the Three Kingdoms, not sure why, but I have this tingling feeling that it holds some hints and tidbits about Chinese culture and history.
Internals of a lightweight multithreading task scheduler
A TinyGPS upgrade adding NMEA v3.0 and GLONASS support
This is a tangent but you seem to be under the impression that filesystems grow on trees. I've been waiting for a modern COW linux filesystem for almost a decade now. Maybe in a few years it's mature enough to wait a few more years for it to become stable? (I'm looking at you BTRFS) ;)

I guess BTRFS would fall into the filesystems that do everything category... Though at the other side of the spectrum you have filesystems that have not been tested enough or isn't maintained.
> The idea is you apply styles to elements through JavaScript.

Great. Now simply reading a page without JS will become impossible, let alone interacting with it.
> I guess it is easier, and more enjoyable, to design and build things that seem useful,

I agree with this. We (IT people) are so self-centred that it hurts. :) We do "everything" - we "entertain" ourselves with new approaches, frameworks, management ideas - except actually "talking" to and "knowing" our users, their life ands true needs.

It's particularly sad, at least for me, to see UX also being "shaped" like this. We can get essay-like posts on building an icon family, yet it's hard to find good content regarding how company X got to know their users and build what they really wanted.
What I missed both in the article and in the consensus that "you personally attacked and offended teachers", is drawing the important distinction between authoring those comments, and merely publishing them. Also, the issue of whether they were subjective but essentially honest, clearly humorous, or malicious fabrications.

In any case, I do not think that taking a personal offence is at all an appropriate reaction to someone merely facilitating an anonymous survey.
Please don't be personally abrasive in HN comments.

https://news.ycombinator.com/newsguidelines.html
Funny about the name. I picked it up off my shelf to confirm the quote and got the author wrong. Amusing.

In the book, Norman says exactly the same thing. That people are looking for something to achieve some goal, and the hole and, consequently, drill are just means to that end.

Of course the spirit of the quotation is different. It means "serve the ultimate goal, not the task chosen to achieve that goal", so it encompasses this with some degree of rhetorical flourish.
I ran into issue 3) and a variation of 4) recently trying to accomplish what should be a pedestrian task: running Xvfb on Heroku. X11 is a pain in the ass to package, I spent a day on it and gave up.
C# has "computation expressions", except they are hard-coded into the compiler. It has duck typing, but it's hard-coded into the compiler. So instead of understanding a general concept, you learn specific instances. That's certainly less elegant, and I'd guess just as complicated - but I'd say that's more magic on C#'s side since in F# it's just simple concepts repeated.

I don't know if type providers are more complicated than partial classes, and they probably should have been some generic macro system instead of just type generators.

I don't have a good definition for complicated, but I'd be surprised if C# is actually less complicated. (Something number of core concepts and interactions.) Certainly if we take expressiveness/complication F# come out far ahead.
This is the second post detailing the open source task scheduler enkiTS, the first I linked to on HN here: https://news.ycombinator.com/item?id=10103757

Please do comment here, on the blog or via twitter to @dougbinks. I'm on European time so may not get around to replying until tomorrow, but I'll try to reply to any questions that come through asap.
> He might have changed the way a few scientists and a few more philosophers think about science but most people including most practising scientists don't think about such things at all. The general public, I suspect, isn't even aware that there is a 'way the world looked at science' much less that there is a different way of looking at it.

There's a word for the state of these scientists and laypeople: ignorance.

Edit to add some substance to the name-calling:

There's a certain perspective held by many scientists that the scientific method can and will describe the purposes and meaning behind every phenomena both natural and man-made that have any relevance or importance to our lives as humans. If those holding this perspective grant that valuable knowledge lies outside the ability of science to observe and explain, they tend to view it as irrelevant and frivolous. Those who hold this perspective tend to view philosophy as mere wordplay, and the idea of studying science from the perspective of philosophy (as Kuhn did) as pointless or an usurpation of their position at the top of the intellectual ladder.

Feynman embodied this attitude when he said, "Philosophy of science is about as useful to scientists as ornithology is to birds."

It's a belligerent and proud ignorance that puts a black stain on the practice of science today, and an attitude that threatens some of the most valuable academic disciplines in the humanities, to the detriment of our culture.

My brief statement above was meant to call attention to this belligerent ignorance and poke fun at it a little bit.
> Or segregating luxury items outside of UBI credits.

What does that mean? Prohibiting using UBI funds on luxury items? So, instead of unconditional basic income, it becomes a prescribed-use benefit like food stamps, but with slightly different prescriptions?

One of the sources of administrative inefficiencies UBI is proposed to eliminate (as well as those associated with means testing) are those associated with managing and enforcing use limitations.

> Or just taxing luxury goods and services.

You could do that, or you could just use a progressive income tax.
Be grateful that graphics cards work on Linux at all. For over a decade, they barely did.
It's amazing to read that first-person account. I recall reading about it at the time. Or maybe it was the other case that you refer to. Thanks! I'm curious about your perspective on a few things, though.

What free-speech rights did Canadian students have then?

Do they have more rights now, or less?

Teachers are "public figures", right? Or is Canadian libel law more like English than American?
This comment breaks the HN guidelines. Please (re-)read them and follow them when posting to this site.

https://news.ycombinator.com/newsguidelines.html
To be honest, Kuhn's work had its influence on my academic (and not so academic) writing: no more invoking the word "paradigm" in vain. :)
dupe: https://news.ycombinator.com/item?id=10171280
Dude I honestly prefer this guy to Snowden. Snowden is kind of a bitch
I think the book publishers were also scared amazon might replicate the ipod/itunes playbook, ie they might wake up one day and amazon kindles might be 90% of the ebook market at which point amazon has way more leverage over them than they would like. So I think for the publishers this is a way of leveling the playing field and trying to create competition in the book reader market.
It's too late to edit my post but let me clarify the point I was trying to make to the parent poster, who responded to "having a few beers and getting on a bike" with "driving under the influence can maim or kill people."

I'm not advocating RUI but I do not think it should be classified, legally or ethically, as a DUI. Neither is good but there's a huge difference in actual danger between the two. It's along the same lines as "public urination," which is distasteful but usually harmless in context, landing someone on the sex offender registry next to people who did much, much worse things.
discussion: https://news.ycombinator.com/item?id=10171280
Search Engine Optimization on Zeef
What's been your expiriance with regard to producer latency with Kinesis? My limited experimentation with it so far seems to point to that as a potential pain point for high throughout low latency systems.
Whilst I totally agree with you in general about the javascript abuse issue and about websites vs webapps... Check out Firefox reader mode.
Google OnHub ships without IPv6 support
Just got my OnHub in the mail yesterday.

Boy, was I disappointed when I realized that it didn't support IPv6. :(
Yes

Making null assignable to anything results with all kinds of nonsense. For example, to say that any class implements an interface is now nonsense - as long as nullable values are assignable to that type, there is no guarantee at all.

You now have this nice and fancy type system... with this giant gaping hole that lets all hell break lose. And then we wonder why people are skeptical of the claim that statically typed languages help with correctness.
It's not just regular bullying...
cue ignorant middle aged schoolteacher gasp chorus
IT'S CYBER BULLYING!!!
cyborg bursts through the wall and grabs nerd by the collar
console.log(answer)
Related (sic) talk by Larry, aptly named, Brilliant:

https://www.youtube.com/watch?v=MNhiHf84P9c
Your first sentence crosses the line into a personal attack. Those are not ok here. The comment would be just fine without that.
Umm... no. That sounds absolutely awful in several ways. I just believe the web is about choice, and users shouldn't be expected to use the exact setup that the service providers demand. You can avoid a huge class of vulnerabilities by disabling javascript, not to mention all the privacy benefits of doing so. With javascript disabled, all trackers can collect is a timestamped log of when you made what request — which is sensitive information, but not as bad as also having your cursor movements and scrolling and everything else logged. Disabling javascript can also massively improve performance.

That doesn't mean that websites shouldn't use javascript — I'd not want to use a todo list application that forces me to reload the page on every click — but it's still useful to support that functionality, because some day I might need to access my todos from an environment where I can't use javascript for whatever reason.

People claim that it's too much work to support something so niche, but if you architect your application well, using progressive enhancement, you get support for no-javascript environments, plus a ton of other stuff like server-side prerendering for latency reduction, accessibility, SEO, text-based browser functionality — all virtually for free.

Not that this should be applied everywhere dogmatically, it's not worth supporting no-javascript environments or scrapers in your browser-based photo editor.

It would be even better if servers would return raw data in xml format, with a linked xslt transform to convert it to a structured document, and css to manage the presentation with javascript to control the interactivity, but that idea died long ago, but some modern applications are finally replicating most of the good parts of that system.
Maybe we should also have less 10,000+ person organizations. The note about informal hierarchies arising in the absence of formal ones is very true, but that doesn't mean we can't reduce the problem if we aren't naive about it.
> With the deals they were previously getting with amazon the distribution channel of ebooks could frequently be more expensive than their traditional book distribution channels

How so?
I've been using inline everything since templates (ejs) came into existence. Once you have templates you're only editing one location anyway.

The biggest problem with CSS is it's really easy to add, and close to impossible to delete (detecting potential repercussions is hard).

Sure there's performance issues, but most of the time your developer/maintenance time is worth the the extra bytes.
Yes they did :). This was their most recent announcement [1]. It is currently available only for the preview members but when it is finally released, it will be available to everyone for free as an update. The idea is to emulate 360's architecture in XOne and let users play not only their digital but also their disc based games.

[1] https://twitter.com/majornelson/status/639636383368376320
Two words. Reader mode. It strips all the cruft out and gives you the text with a sensible set of styles.
Hmmm, so very limited scope and influence? I wonder where it falls within the org chart.
Looking at the HTML output, I'm not sure this consitutes proper literal programming due to the amounts of 'contextual noise' that the processor generates. I think the goal is to have the program read more or less like a book, and this...

{Print "hello world" 2} ≡

printf("Hello world");
This code is used in section 1.

...is not exactly it. It feels more like program-in-program Matrixy thing than a document to be read.
Then those others parties get hacked to hell and put out statements such as "We care deeply about our customers' security!"
I am more worried about some small but amazing Flash games. Currently it is still possible to play them in the browser, but what about in 5 or 10 years. I image there might be some kind of emulator which wraps tje flash player and the game in a single exe so it can be played independent of a browser.
Especially since the original Xbox was infamous for randomly dying. Thirty years from now there will still be working NES consoles, but will there be any Xbox ones?
Software Engineering and the No True Scotsman Fallacy
> Back at the point in time when Apple and the big six were talking about agency model pricing -- which the DoJ brought the price-fixing case over -- Amazon's penetration was around 90%.

Wrong, market share was less than 80%, Nook eat a lot of market before iPad

> Amazon were clearly operating a predatory monopoly

Citation needed
Still remember the days where one had to compile the kernel to enable sound in doom. The fact that most hardware is supported today is a blessing.

And agree with the author. X11 has aging issues.
I am impatient to see the result of this campaign!
Tom Duff on Duff's Device (1988)
I am jelly of some of my friends who got really good at programming in high school. One dude managed to replace the keyboard drivers for every keyboard on the entire network with garbage, so that if they plugged in another keyboard, it still wouldn't work. He also gave his English teacher a "wacky mouse", where she would be presenting something and at some random time her cursor switched and behaved as if attached on the end of a spring. She would often inspect the underside of the mouse in response to this problem.
Yes. I think you've just been through a couple of cycles now like myself. Cynicism comes from watching the last disaster unfold :)
ZeroMQ is a C++ library written by a guy who hates C++:

http://250bpm.com/blog:4

He later rewrote the whole thing in C:

http://nanomsg.org/
I'm having a very hard time imagining there exists even a single program out there that depends on being able to read the memory contents of a program that ran before itself.

I bet it comes down to driver developers never even thinking that this could be a security issue before people came up with the concept of running unauthenticated 3d accelerated software (i.e. javascript+webgl from the network in a browser) - "what do you mean security, the user could just have taken a screenshot at any time. why should we waste precious FPS clearing buffers when the program will fill in its own textures before drawing anything".
Fun, I quite like it. Sad that everyone has made the leaderboard unusable, but I'm sure the majority of the problem could be fixed in one or two lines of code. Looks like it only became a problem today... hacker news is living up to its name?
Can you offer a bit more than name calling. That's what you get mostly in the Guardian comment section and it's pretty depressing.
The Yama patchset has been in mainline for the last few years, and disallows non-root processes from reading each others' memory (except for direct children).

The trouble is that it's a sort of retrofitted check. It works surprisingly well, but being added to a 20+-year-old OS and a 40+-year-old design, it can't guarantee being correct. The traditional, historic process boundary on UNIX has been user accounts / UIDs. Desktop Linux needs to figure out a way to do what Android does, and run every application with a separate UID, including the ability to have private files that are unreadable to other applications.

The challenge is defining "application". Android, being a greenfield platform, could define the interaction between applications. On desktop Linux, it's obvious that, say, a web browser and a PDF viewer should be different applications. The two processes in a "find | grep" shell pipeline probably should count as the same application. In between, it's pretty blurry, because we've had 40 years to develop patterns that don't account for this isolation ever happening.
Kuhn's book can be argued to be one of the most important books of the last 100 years, because it shows the difference between how we think we learn things and how we actually learn them.
Add to that the adjustable font sizes. I suppose I could have one set of glasses for computer work and another set for reading, but the adjustable font works just fine for me. And it sure is easier to lie in bed with a Kindle than a thousand page novel. I do wish it were easier to flip back and forth a few pages.
When accounting tricks can hide national debt (for a time), using it to hide corporate debt is likely to be relatively simple in comparison.