skysight-inc/HackerNews huggingface dataset:
Yes, it is impossible for a compiler to know the size of a matrix whose size is determined at runtime. But a lot of times you do know the size of matrices and not only is it more type-safe to have the type of a matrix be parametrized by its size, it also allows for more efficient code generation. If you don't know the size of a matrix and vector, you necessarily need a loop. If you know your matrix is 3 by 2, you may just, at compile time, unroll the loop completely.

I don't know which default behavior you mean.
What is horrible about managing it? The biggest problem I encountered with vendoring is getting rid of git submodules.
Even when you are paying for the product, you may still be the product
I am editor of my college newspaper and the job I trained for no longer exists
It should be noted that stem cell therapies have a lot more options to fight cancer than living organisms do. One option would be to grow several cell lines outside the body, test them, and then only implant "clean" cell lines. While currently only fairly simple tests are available in theory you could be implanting much cleaner cell lines than would otherwise be available.

Note: This is vary similar to how only the most fit sperm can make the trip, which allows older people to still produce viable offspring.
They should have prisoners fight pets. That way everybody wins.
This is the first thing Microsoft has done in 10 years that truly interests me. This is exactly what I was hoping for with a Linux based smartphone similar to what Ubuntu was going to do.
There is no pseudo-code in the documentation. All of the documentation code executes as documented.

The library works with type names in two naming modes - default and compact. The default name scheme uses the full type names, such as 'positive_integer', while the compact name scheme uses compact names, such as 'int+' for 'positive_integer'.

You can only be in one mode or the other at any one time. You can switch between the two using the xtype.setOptions method:

xtype(5); // 'positive_integer'

// Switch to compact name scheme:
xtype.setOptions({nameScheme:'compact'});

xtype(5); // 'int+'

See this jsbin I've made for this specific piece of code - http://jsbin.com/kixuko/1/edit?html,js,console.

And the documentation for switching between the default and compact name schemes - https://github.com/lucono/xtypejs/blob/master/docs/Usage.md#....
his point remains. being forced to run 2 servers so your server doesn't go down once/month is a bit ridiculous.

No, it isn't untenable, yes you can work around it, but that's a problem that shouldn't need to be worked around.
Google began pressuring more Google apps since Kitkat yes, but Z1 started with JB and I presume that where the stock AOSP browser still was.
The Tor-BSD Diversity Project
BitTorrent already built something like this (but even better and more secure) called Bleep: http://labs.bittorrent.com/bleep/
Because, like the other downvoted-for-no-reason commenter posted that's great for you in the short-term but bad for all of us in the long-term. Far better if people fix their broken sites. It's analogous to why we as a web developer community suffered overall by 'supporting' IE6 with crazy fallbacks instead of just saying no.
You realize companies like Secret more than likely had acquisition offers that could have been north of $6M? It is fairly common to turn down a larger acquisition offer for raising a funding round that lets you take some cash off the table. In that case, if anything, the founders may have believed a bit too much in their company(by opting to cash out only partially instead of selling outrightly.)
Madness and Meaning: Depictions of insanity through history
He is young, surely, but in this very moment, there are silent young people on GitHub with exceptional projects. There are some people in their early-20 that are proving to be exceptional in the startup and the programming world. Maybe we are stuck in time when we started: back in the days Internet was more like a myth than a resource. And this feat would have been amazing. Nowadays you can nearly be a programmer without knowing how to program. Today the entry level was lowered exponentially... Back in the days there was an obscure manual and in a lot of cases written in another language with the need to go to the university and be laughed on the face, because you were too young, with a question that neither the professor was able to answer... And this was the easy part. For the hard part... Let the reminiscence kicks in and be amazed to how far we have gone. Learning alone like 20 years ago, could be outlawed as torture now lol
Intence, the scrolling indicator
Is understanding category theory necessary for deeply understanding Haskell?
When I look up answers for things such as "What is a free monad", I see a lot of fleeting references to category theory in the answers.

With everyday imperative languages like C#, it feels that deeper understanding is linked to understanding what the compiler, CLR etc. are doing to your code.

With Haskell it seems like maths is the key the deeper understanding.

Is that an accurate assessment?

Would learning category theory help make learning about the mechanics of these data / execution structures a lot easier?
Sounds unpleasant. There are loads of ways of maintaining this property without resorting to formal verification.

Hardware is already largely verified, thankfully, and where formally verified software exists it is probably good to use, but in general?

You wouldn't have to worry about code bloat for sure; it'd take weeks to write every line of code!

The problem is that this sort of code has to be writable by exclusively average developers, and proof assistants just aren't at that level yet (and might never be). A verified implementation of the register colouring algorithm (100 lines of C, perhaps) takes 10,000 lines of code.

Useful, yes, but not practical, especially for a whole OS.
In my area Secret had a similar story - started out being popular with people in their 20+'s, putting out some insightful/funny content (perhaps with some light local context). Content slowly started spiraling downward toward very specific sort of circle-jerked inside jokes (e.g. jokes about some high-schools, fraternities and even specific kids at larger schools).

Anyway it is a shame because there were people out there put out genuinely good content.

The experience is similar with the app 'Fling' (Send snapchat-like picture to 50 random people) 70% of the content is guys lying in bed with 'lol hi any gurls?'.

Perhaps a way to remedy this would be to cluster on 'like-mindedness'. Then have content show more according to whatever cluster you are in. Constant feedback on what you like and what you put out.

Some good ML + NLP based filtering could give the impression at least that many like-minded people are using the app and inspire people to put out content. If you don't allow users to control the content they follow (Facebook / twitter / vine / youtube / snapchat - 'supervised') you have to direct the right kind of content to users in an 'unsupervised' way.
I wonder if the non-founder employees that took cash off the table during that financing round, will get to keep it?

...oh, right, only founders get to do this. Everyone else (who had <1% equity to begin with) gets zilch.
The way the story gets told in "Hatching Twitter" is that some of those investors (SV Angel is the one called out by name) said "Cool, we'll take the money back, but this is earmarked for your next project", which still got them into early TWTR.
embraced and extended? [ducks]
Sure, but that's an industrial operation.
Anyone have a complete list of languages with "non-support"? I was a little underwhelmed with the official list, but Ruby was one of my wants there. What else does it highlight that's not on the official page?
Just because demand is underserved doesn't mean it can be met when it's unprofitable.

I used to love flying flight sims back in the Falcon 4.0 days, and I expected flight sims to progress as hardware advanced. Nowadays the flight sim market is DOA, despite my demand.
Announcing Application Insights Public Preview
Humaniterrain
I think you glossed over the point of the article in general. The author isn't asking whether Linear Algebra can be encoded into a static type system, hell, we had Fortran over 50 years ago! What the author is asking is whether the static type system can reasonably check the units of each member within a matrix or vector. Let's go over a short example:

Assume that you have a matrix A, which contains several rows corresponding to measurements, and several columns corresponding to the partials in x (such as in the generic parametric least-squares problem => A * x - b = r, where we want to minimize r^2). What the author is asking is whether or not the static type-checker can manage units and conversions within each element of the matrix. Let's say the first 10 rows of A correspond to units of metres, while the next 10 correspond to angular units (i.e. radians or degrees). The solution of such a system is:

x = -(A' * A)^-1 * A' * b

What the author desires is a way to enforce that the units of the elements of A are maintained, similar to if you had:

LengthInMetres a = LengthInMetres 1 + LengthInInches2;

Where addition between LengthInMetres and LengthInInches would perform the appropriate conversion if need be, or else you would raise an error for a type contract violation. Currently, there isn't any system that encodes the types of each row, column, or even the individual elements within a matrix, which is why the author is raising the question whether or not it's possible for a type system such as Haskell's to do so.

Right now, the best I've seen is linear algebra packages that can template over the internal type, but represents everything as doubles, or a number type of some kind. Numpy has some ability to modify internal data types (such as representing a matrix where each row is a tuple type or some other), but there is:

1. No static enforcement of type contracts in Numpy (more specifically Python)

2. Numpy does not provide the full set of matrix functionality if types are not the standard numeric types (obviously, you can't take the determinant of some arbitrary `object`, even if internally it represents an integer in metres).

Overall, what the author raised is an interesting question, and makes me wonder if we'll ever get to such a point in the future. Of course, seeing as most matrix libraries are built on top of BLAS / ATLAS / LAPACK / MKL, it's doubtful that we'll see any high-performance linear algebra with smart type systems.

EDIT: Formatting
Then why the hell are you advertising it as "secure"? There's utterly nothing secure about it.
No, it's inherently impossible as it's a moving target. However it's important to strive toward that goal. It's part of the whole point of what makes the web successful. Once you give up and start developing for some particular platform you risk corrupting the space.
Half the voting public supports it, half opposes it. So there's no real movement on the issue.
That is misleading, the language was invented at ITT.

http://www.itt-tech.edu/campus/courses.cfm?prog_id=5274
This is hardly unprecedented, it has happened for oversubscribed companies that subsequently imploded multiple times in the last few years.
Being Two Steves: Why Learning Improv Makes You a Better Entrepreneur
As some members of the development team are reading here:

Text rendering on Win8.1 with 4k screen and 175% scaling is slightly blurry compared to normal Visual Studio. Is that known and are there any plans to improve on that? I remembered similar issues with Atom before :(

Otherwise it looks great for a first release! Looking forward to how it evolves.
You seem to suggest that shutting the company down was definitively a worse outcome for investors vs. keeping it going. It isn't that black and white. For example, if they kept the company going and spent the remaining millions and still failed(most common outcome), it is a worse outcome than shutting it down now and returning the millions.
> I don't know where you got Reddit from

Reddit is the example given in the thread parent (luos) linked to.

> but it has not only a modern mobile website[2]

Here're the exact first words from the m.reddit.com link you posted:

"Welcome to reddit's new mobile site. This is in beta"

reddit.com does NOT redirect to this site when you visit it on mobile. The thread parent linked to is entirely about Android Chrome accommodating non-mobile optimised sites like the current reddit.com, which is the canonical example given.
Well technically Xamarin are eating Microsoft's lunch right about now - https://trello.com/b/vRPTMfdz/net-framework-integration-into...
What?

This site has nearly black serif type on a peach-ish white background. The layout, type choice, and color scheme seems to address pretty much every objection that I've seen the "I can't read light-colored text on any background" crowd advance.

Edit: Here's a screenshot from my machine: http://i.imgur.com/W2QcLAp.png (Chromium 41 on Linux)

Can you explain exactly what makes the site unreadable for you?
People with paper and pencils? The original computers were people who calculated stuff. It's funny to think both special and general relativity were figured out by then.
but a programming language isn't a hammer or a lathe. its a workshop that is used to produce hammers and lathes and every other tool you will need.

the criteria for judging the workshop is rather different than the criteria for judging the lathe.
The franchise business is just wacky really. The parent corporation owns the land you use, so they become real estate tycoons, and they can cause huge headaches to franchisees who don't play ball with their latest initiatives. It's really hard to compare them to regular restaurants though. I'm not sure if it's much different in Canada, as I've lost touch with a cousin who owned some White Spots in BC when I was a kid.
notahacker beat me to it, but how do you sell ads to an anonymous audience without compromizing the anonymity of the audience? You can't, unless you want to do cheap, dumb banner ads. They missed the chance to monetize up front by launching as a free app. Any investor who looked at this app and thought for more than ten seconds should have run screaming, or had security drag the founders out of the building. Or both.
Not so much advice, but do realise you are in double jeopardy.

Firstly you are new to being a developer, and all of the miscellaneous information you need to know to do that job well which you will learn much of in your first year.

Secondly you are new to that company and that team, and knowledge of how THEY do things and who to ask.

The second problem applies for experience developers like myself who have been doing it over 10 years. When an experienced dev changes jobs it is hard. Especially as most companies treat experienced devs like contractors and expect them to hit the ground running.

If you persevere I believe it will become a lot easier after the first 12 months in both aspects. Just keep grinding and it will be very rewarding.
That's a great quote, and so are all the other ones on your profile!
In the most general sense, deviating from standards does not support a wider audience.
>The characteristic decline in stem cell activity with age is believed to be an evolutionary adaptation that reduces cancer risk

This isn't science. This is not a falsifiable statement and is not backed up by any hard evidence. The Reason, with an intentional capital "R" for it could be just about anything. Biology and evolution are really complicated.

There is a huge negative bias in the scientific community with regards to any science that can make significant improvements in human lifespan due to overriding concerns about overpopulation. Thus, the bias when speculating on any life extension technology is that it will have some sort of negative consequence.
> .net which is just a renamed MFC

I can't agree with this. MFC was a thin C++ encapsulation of the Windows API. It was a reasonably successful technology but was unloved largely because it was so thin - it didn't try to fix the ugly mess beneath and so left developers wrestling a large smelly octopus. .Net was more of a clean room attempt to provide developers with a clean, sane, consistent API built on a new virtual machine based architecture complete with a shiny new language (C#, basically Java++).
New York Times releases a cat-friendly version of their site
As long as there is no single prevalent native package format for Windows, packaging is going to suck on Windows. That's why this tool exists, but I don't think attacking a big mess with more complexity is the right approach. I hope I'm wrong, but I think this will end up 'successful' only in the way NuGet is 'successful' - there's not really any competition.

What I'd hoped for is that MS would commit to extending MSI to handle new use cases and provide actual good tools to make authoring MSI less painful. Maybe some kind of marketing or outreach to get ISVs to use MSI instead of the various alternatives. But for some reason they don't do that, and now it looks like one of the things cut to make Nano Server is Windows Installer (MSI), so I don't think it's going to happen.
Modern journalism in a nutshell.
my comment was flagged? hmm.
I disagree, Powershell is basically a way to script .Net. It has provider so you're able to hook into functionality throughout the OS, but Powershell really wants to be a first class .Net language (and it is).
Because key distribution is a pain. That said, it would be neat if you could choose centralized keystore. That would mean that you would get one account per online service, but the communications could be multiplexed.
The reason 4chan works is that 4chan itself is very like-minded. Secret attracted too broad an audience and scared off the quality content creators as bad content started rising. Divergence of 'like-mindedness' among different social groups was just too large for one feed.
AutoRest – generate client libraries for accessing RESTful web services
I am guessing that by open sourcing the browser they may need to open source parts of Windows which they are not in a position to do yet, so they have to take a cautious approach.
Related, from the last YC RFS about programming tools-

"One way to think about this is: what comes after programming languages?"

https://www.ycombinator.com/rfs/
Star Wars the Force Awakens, Lego Parody
Open Letter to Zuck Re: Graph API v1
Apple devs love money like everyone else, so you should consider the benefits of adding support for WP.

1 - There's a lot less completion in the windows store.
2 - You're bringing fire to cavemen, it doesn't need to be pixel perfect.
3 - The Windows 10 platform has some pretty amazing possibilities, you might want to dip your toe in the water without re-writing your app.

While I agree with your "perception" problem all that has to happen is one article in the WSJ written about an iOS dev who languished in obscurity in the App Store only to find riches in the Windows store. Then the gold rush will begin, just like Facebook apps, iOS apps, and lately Android apps the rush will be driven by outliers.
Woohoo, constexpr support for class members!
Italians honour the memory of Mussolini [vid]
Bingo: one largely misinformed and not well-authored article auto-syndicated out to dozens of "News" sites.

After which a karmic-sycophant seeks internet posterity by posting a link to a very specific Google query which is likely the only way the article could be found.

It's all very meta... like modern journalism.
Perhaps the sanest approach is we type every column of X and Y separately...

Typing every column of a matrix is not sufficiently general. Each element of the matrix can have its own type.

Suppose you're solving a linear algebra problem in two unknowns. Say it's an electromechanical system, and we want to find a voltage and a pressure that gives us some desired flow rates. So let x [=] (V, Pa), for example, and let y [=] (mA, kg/s).

Then the matrix-vector product Ax = y requires the units:

[ mA/V , mA/Pa ] * ( V ) = ( mA )
[ kg/V/s , kg/Pa/s ] ( Pa ) ( kg/s )

Of course those units in A have nicer reductions, but it doesn't teach us anything to figure them out. The point is that the matrix A represents the system design, so the units don't have to have familiar names, let alone be consistent within a column. If the system involves Johnny reading a value off a meter, and then phoning somebody up to tell them to pedal a stationary bike a little faster, that process has some kind of units associated with it, and the matrix A must include those units in order to represent the system.
I have no doubt that there are people who are demotivated by fuck-you-money in the bank. I also have no doubt that there are people who have their ambition liberated by it. Hopefully a good investor can tell the difference before they write the check.
Replace Ericcson with WhatsApp. What benefits would WhatsApps product see if they had used Haskell?

The software development experience is exactly that, an experience. You see problems in it, but others do not in regards to static and dynamic typing.
Google is a completely unfair comparison as that was their prime growth stage.
Would you rather them not be introduced at all?

It's one thing to be cynical, and it's another to be apathetic. This bill has a low chance of passing, but it will get some people talking about the issue at hand. There's a slim possibility that if they keep going, future versions will see more support.

It's unlikely that positive change can be made without these initial small steps (or failures).
>> released every Patch Tuesday.

>It is the second Tuesday of the month

that's exactly what "every patch tuesday" means (notice the "patch" adjective).
Trek Recalls Almost One Million Defective Bicycles
A Rare, Personal Look at Oliver Sacks’s Early Career
Clever (YC S12) – Software Engineer – San Francisco
We currently use godep, and it breaks very easily due to tags and differing architectures and OSes (among other things). In addition to being unreliable, it's pretty slow. I'm not aware of any other tools that do import rewriting+vendoring and work better than godep.
I thought it was going to be greppable. But that's almost as good.
Haskell has more options WRT concurrency and parallelism than Erlang does at a single-machine level and the options for clusters are widening quickly.

Examples:

https://github.com/bitemyapp/blacktip (simple MVar based synchronization producing a much faster program than the Erlang version with zero optimization effort)

http://haskell-distributed.github.io/

http://hackage.haskell.org/package/courier

But don't take my word for it. I'd rather train coworkers eager to learn and retain an institutional competitive advantage than convince HN users :)
Google Will Do Anything to Beat Moore's Law: A View from Inside
Writing a Virtual Machine in Python – Python Guy
http://nancyfx.org - Sinatra for .NET (Nancy being the daughter of Frank Sinatra)
Introducing a bill that you have no intention of passing (or do not expect to pass) is like submitting a pull request that you know will get rejected.

It would be much better to do your job and, instead of submitting something that will get rejected for the sake of submitting it, spend the time to draft a solution that has a chance of passing.
There's a reason Alt-V, Y, N is my favourite Firefox key combination.
4Chan is not going strong, in fact a large majority of their core users have migrated to 8Chan because of Moot's brainwashing by SJW.
Ahh, but we're not talking about building the whole product and generating buzz, etc. We're talking about the stated purpose for raising $25M: "The funding will be used to implement two new features, a Facebook login and the ability to follow posts on a certain topic".

$25M.

For TWO features.

Hell, ignore my previous offer. I'd have given them a 92% discount and done that for a cool $2MM.
Microsoft releases its design guidelines for the Universal Windows Platform