skysight-inc/HackerNews huggingface dataset:
What's wrong with two column proofs? I think they're a great tool for getting into the absolutely rigorous mindset required for maths. Leslie Lamport even makes the case that professional mathematicians should use them to reduce publication errors [1].

My personal feeling (as a maths grad student) is that the utility of two column proofs depends on the field. For logic and algorithms sure but estimating integrals it becomes tedious quickly.

[1] http://research.microsoft.com/en-us/um/people/lamport/pubs/p...
Wonder how Markus feels about that ... I would be honored!
Yes, this is a good strategic move by Microsoft. All of my kids have Google apps accounts that their schools set up for them. They are required to use Google docs, etc., so they can work on stuff at school and at home. I assume that a good portion of those kids will continue to use Google apps as a default for a long time. Similar to a strategy Microsoft used to keep Office a standard: the dirt-cheap student version.

If Microsoft can get schools to use Office 365 instead of Google apps, then $2.5 billion for Minecraft was cheap.
Huckleberry Finn has always been one of my favorites...probably my first "favorite novel". While this was enjoyable to browse, and I had several fun little moments of, "Oh, yeah! I remember that!", I was hoping for something a little more technical than artistic. Something one could literally follow in the real world.

It's one of my odd life goals to actually float the Mississippi river on a raft (probably more of a house boat), and has been since I first read Huckleberry Finn. I've been traveling in RVs off-and-on for several years (I'm back on the road in an RV after a couple years sitting in one place), and doing it by boat is my next big plan, or series of plans, since traveling the Mississippi and traveling around Central and South America or island hopping the Caribbean are very different processes requiring different preparation and, most importantly, very different boats.

Anyway, while I know the Mississippi has drifted some over the years, and visiting some of the little islands in Huck Finn is probably impossible today, I still think it'd be a lot of fun to follow the river, stopping in the same major towns. Surely someone has done it and documented it. But, I guess one really doesn't need much guidance. You just get on the river and float, stopping in the right places. Maybe the book itself is documentation enough.
دورة برمجة سكربت فيديو بالدريم ويفر
This is just outside speculation, but I think it's consistent. I fully expect that if you go through YC Fellowship and make no meaningful progress (e.g. you were not accelerated), that would make it less likely for you to get into YC Core. Of course, this time YC has a financial/reputational incentive to help you make progress.
.Net is still not fully cross-platform.
And you get to dodge all the shady mod download sites. I was amazed how difficult it was to install some of the ones my son wanted installed. I just gave up on some of them.

It's weird, because running different levels and mods for things like Doom and Quake was so simple.
They are willing to manufacture terrorist plots, so it's not that surprising they are willing to help create more child porn, too.
It does not include pro rata rights. The convertible security is a version 1 though, so it's possible we'll iterate on it for future batches.
Fallout 4 Companions as a Startup Team
Not that it's a fair comparison, but I wonder if you took a Java from today and compared it to a C++ compiler from then, would the optimization differences make Java faster for a larger subset of algorithms? I wonder if this was just the classic problem of assuming your competition is static, and planning to eventually surpass their current capabilities while ignoring that by that time their capabilities may have evolved as well.
This is a good high-level overview of the sort of people/things they are looking for: http://www.ycombinator.com/apply/#whowefund
Give it another chance. It's worthwhile.
As far as I know, WebP still uses VP8, not VP9.
Words I dread hearing when I arrive home from work: "daddy, can you install a mod for me?" Usually the first half hour is getting rid of all the crapware they were tricked into installing as they tried to get the mod themselves.
The only form of primitive justice is the law of talion. The problem with the law of talion is that it relies on the capacity of the offended party to retaliate on the offending party. If the offending party is too powerful, there is no justice.

That's why from feudal to modern societies, the Lord / King / Judge renders justice. The system becomes just again by the retaliation being decided and executed by a higher form of authority.

If someone beats me up, and we both go in front of the judge and the judge decides to do nothing because of some procedural reason or because doing nothing would benefit some greater social good, this is the very definition of injustice.

I am not saying that a justice system shouldn't care about rehabilitating criminals after they serve their sentence, but that negating the punitive role is negating the very reason why the justice system exists and is accepted.
Unless the only time your students can access your course would have been the next 24-48hrs (which I highly doubt), you/they are not being screwed over.

You are not entitled to anything on their platform, and this seems like an honest attempt to combat piracy (which actually protects content creators such as yourself).
Yes, this is how Twitter will save itself from annihilation
What Paul Graham is missing about inequality
We're working to make the Fellowship program one that can stand on its own. It is not designed to be a feeder into YC. Many teams may decide to apply and it may make sense, but I will always advise companies to work to make their company great, not good enough to look good on a form.
It's wonderful to see someone else who know's Lex for who he truly is. It's crazy, one of my friends to manages a large plugin is banned from the channel for mentioning "Lex" in the channel, not even attempting to talk to him/ping him.

I've got lots of things to say about the minecraft modding community from end to end having done some stuff in the background of both sides. From development, to server management, to being an end user of all this.

I think that the only hope for a good API is to actually have an API. Bukkit was the correct way to go from the start, forge is not an API.

If anyone want's to know funny stories about bukit, forge, minecraft modding, and all you can get in contact with me and I'd be glad to talk about it all.
Similar - I saw an episode of Superfat vs Superskinny where the superskinny guy ate almost nothing but chocolate. His calorie intake was probably 4000 calories a day or more yet he was unhealthy skinny. Do you think he was lying?
Are you a Developer or an Engineer?
The Last-Minute Decision That May Have Saved a Mission to Mars
It'll be interesting to see what they do about modding, since they absolutely MUST support it. The power of modding the Java version was that you could relatively easily replace in any part of the game. With a modding API, you're restricted to whatever the API allows you to do.

I wonder if this going to create some bizarre fork situation, with an MS-approved-and-bound C++ version and a legally questionable, community-maintained legacy Java version.
I am glad to see that the grid of images is actually equally aligned, rather than being presented as a jumbled, unequally-aligned mess like Pinterest's grid is.
This is not totally true. There are ways to ensure a read from a follower sees the latest writes from the same client. You do this by sending the index of a client's write back to the client upon success and the client sends that index to a follower when reading. The follower awaits logs up to that index before servicing the read. Some Raft implementations do this, but clearly it can cause greater latency when switching between writes and reads and still only gets you sequential consistency and not linearizability.
...and I am not even american!
note: i'm a former engineering manager at Zappos. (still with the company, just not a manager any more)

you're making many mistakes in your opinion:

1. correlation and causation. this latest round of people leaving is only because there was an extension to the offer made in may for a group of people. far less left this last time than anticipated.

2. you aren't running the test long enough. because of this second offer, the hard work of self-organizing was largely being delayed. it actually feels like we are just beginning (at least in tech).

3. you are measuring the wrong thing. in no way does an attrition rate reflect the success of self-organization. any organization can be made better byt he right people leaving.

the metrics i'm interested in are: 1) employee happiness, 2) customer delight, and 3) innovation rate. feel free to email me in a year to get an idea of what those are like then. (notice, a profitability metric is just an assumed by-product of those measurements, although it's not what we focus on).
OpenCL is basically a framework to make it more convenient to run shaders for non-graphics purposes. It's still a high-level cross-vendor hardware abstraction layer.

This sounds like it's more about officially documenting and supporting the kinds of things people have been reverse-engineering: https://news.ycombinator.com/item?id=10605156
But how your body reacts to food has an effect on how hungry you get. It's easier to eat fewer calories if you aren't as hungry.

And the whole point of the article is that we differ significantly on how are bodies respond to food.
Firefox Can Now Get Push Notifications from Your Favorite Sites
A rewrite is usually faster than the original, especially one without backward compatibility constraint. I bet a rewrite in Java will be faster than the original, too.
Joining another accelerator and not being accelerated. You missed that part.
My single favorite non-fiction work. (Probably better than any fiction I've read, too) Even if you're not a gamer, this book has such a great story and has so much to offer when it comes to software development in general.
> In the 19th century, when painkillers first started becoming available, physicians would refuse to give them to woman in childbirth, because the Bible says childbirth is supposed to be painful. Women had sinned, therefore they must suffer.

This is a great analogy. "It's your fault" is not a public health policy, it's a cop-out. And it doesn't even make sense. Obesity is rising dramatically in developed countries. Is the current generation just morally inferior to the ones that came before?

Obesity is peoples' fault in the same way car accidents are. That doesn't mean the proper response is to simply blame people, instead of using science to devise solutions.
> Then you, as the Founder/CEO, can be forced by your board in directions that you don't want to go.

In my experience that happens very rarely. If the board votes at all, and especially if in a direction that the CEO doesn't want to go, then it's usually a vote to dismiss the CEO.

But the people you surround yourself with (and their incentives) do matter. "Control" is a lot more subtle and social than you might expect.
It strikes me more as just a protection against the case of a massive company being born in the fellowship.

If they just put the cash up for people to work on interesting things and it helps grow the YC network and feed some interesting companies into the YC Core program, then it's probably worth it without any equity compensation.

But that model wouldn't look so great if the next Google comes out of the program but doesn't do the YC Core program, resulting in a massive outcome that YC doesn't get to participate in.

This model supports the former and protects against the latter, in a way that seems really founder-friendly to me. Founders could take the money and build a small business, go to YC Core, give up altogether, or leave the YC ecosystem and build a massive company – and regardless which path they take, this capital won't cost them anything unless they build something massive.
That means that my 10k company users will have systems vulnerable for between 0 and 4 hour longer than necessary. That is less than optimal. Really, why do thy even give a 4 hour window for when it will be released?
I don't think people disbelieve that 10x engineers exist. Just that 98% of those who claim to be one are wrong.
Great summary to provide to those new to Spark.

I'm looking forward to your future blog posts on the DataSet API.
Thanks. That was what I guessed. When it comes to funding just ideas, it tends to be only about the team.
It always seems odd to me that Twitter and Facebook are directly compared to each other. At least in my experience (as a user of both), they are totally different services that fill totally different needs.
There might as well be if you don't have the source code.
Disabling npm's progress bar yields a 2x npm install speed improvement
The fellowship program is currently not available to nonprofits at this time.
Programming in COBOL is vastly underrated. If you're not speaking from experience, Google "working storage" (one of COBOL's nicest features) .

Also: it runs on machines that look like Cylons. You can't beat that. :p
As far as VIM goes I'm on the same boat. If Webstorms VIM plugin had the ability to move from panes and specially into the file tree explorer (use the hjkl), that would probably make me want to use it.
You conveniently ignore the evangelical aspect to the hard-right. Christian Dominionism is part of their game plan, and there is definite influence in government by its proponents.
Agreed. But obese people need to understand the basics first (EAT LESS!) and then they can tweak their diets to make them more comfortable with fewer calories.
Décor Ideas for a Princess Themed Party
They are giving the companies 20k for 1.5% stake so they would make 1.5 mil when their investment pays off. 1.5 mill /20k = 1.3%. They only need 1.3% of the companies they invest in to pay off to make money so I think they will be fine investing in low probability companies. 1.3% is 1 out of 75.
CODE updates: shared editing
Introducing the Security Panel in DevTools
'Lost' is a reasonable diagnosis on its own. Depression takes many forms, but in such a situation is when you cannot bring yourself to face working again (been there).

Sounds like you've fallen out of the rhythm of work. In ways, you should count yourself lucky - very few people could afford to take 18 months off work without becoming homeless, so well done with this product you created!

Have you learned anything on your time off? Something you could use towards developing a v2.0? You could contact those 10,000 people for feedback on your initial product, see if there are any issues. If you can find a problem you can solve, getting back into work will be a snap.
Java have now passed 1.000.000 questions on stackoverflow
Related: I recently ran Watson's Tone Analyzer and Petsonality Insights services on the presidential speeches of all presidents since Reagan. Unsurprisingly, there was hardly any difference between speeches. I ran other types of documents like research papers and blog posts to make sure Watson wasn't just broken. Those had plenty of variation. There very much is a formula to modern speechwriting...
This is super interesting. I tried to look for any reference of this, but found nothing. Do you happen to know if this thought of his is available somewhere, in a book, a paper, etc? Or is it a concept borrowed from someone else?
This is an AMD project motivated by the fact that NVIDIA has become the de facto standard for GPU computation in deep learning and machine learning applications.

TensorFlow, Torch, Theano, CNTK, CAFFE, and every other deep learning framework out there works out of the box with NVIDIA hardware via the CUDA stack, but not with AMD hardware, e.g., via the OpenCL stack.

Which is a shame, because the entire NVIDIA hardware + software stack is closed.

It would be great to see this new project succeed, and maybe even force NVIDIA to open source key or all components its stack down the road.

To the team at AMD running this project: if you are reading this, step one is to get built-in support into all major deep learning and machine learning frameworks.
Smartphones are a really bad example. Those patents created an arms race between a small group of large tech companies. If you try to limp into that market you will get sued from every angle. The only winners are those who make pacts based on mutually assured destruction[0].

[0] https://wikipedia.org/wiki/Smartphone_patent_wars
Stripping tags before encoding is security theatre. Encoding is just replacing 2–4 characters; if it’s not implemented properly, there’s no way tag stripping is.
Unit Definitions
I'm not talking about it not technically able to be cross platform (because it's obviously already in opengl on the mobile platforms), I'm just saying Carmack better hope that Microsoft doesn't want to come out with a competing VR solution, otherwise (going by their track record), they might lock down his "grail" of running Minecraft in VR to running Minecraft in Xbox One VR or Windows 10 VR, or whatever.
Specifically, the US tends to be obsessed with the first R, not just in jail terms but also how the law is applied. Especially with "values"-based laws.
To be honest, a lot of people have slammed the Minecraft codebase, claiming it's badly written and kind of a slow mess. I can't recall the citations, but based on the discussions when I read those aspects, I wouldn't put aspersions on Java alone in this case.
That's really hard to claim. Both are languages, and don't have inherent performance characteristics, C# can even be compiled to native for some targets.

There are some aspects of C# (such as value types) that can give an advantage of idiomatic C# over idiomatic Java, but for anything performance sensitive you aren't going to write idiomatic code anyway, you'll be writing pretty convoluted code with SoA instead of AoS and so on.

As for the respective VM:s, the CLR vs the JVM, the performance differences are pretty small. You wouldn't rewrite from Java to C# for performance.
Thank you very much for putting me onto this.
Carmack is just insanely productive. He had a working prototype of the GearVR Netflix app three days after he started working with Netflix to develop it, and pretty much finished the app a week later.

Have a read about how he developed the app:

http://techblog.netflix.com/2015/09/john-carmack-on-developi...

It's almost beyond belief what he managed to accomplish in one and a half weeks. Hacking the Netflix video decoding system, fine-tuning the UX control heuristics, working around DRM limitations,
optimizing the power draw and thermals, and much more, all on top of implementing the very polished app itself.
I think one based on VP10 is a possibility, since the Alliance for Open Media now includes all major browser makers except Apple, and a bunch of big websites.

Currently the members seem to be working on converging VP10, Daala and Thor tech in the video realm but I'd guess images might be on their radar too.
Minecraft modding has been getting better - the long 1.7.10 generation helped a lot.

> patching bytecode

There is a lot less patching bytecode going on now, and it is now handled by Forge.

> unofficial APIs ... like Minecraft Forge

Unofficial APIs are what happen when nobody else provides them. It's far too late for any "official" mod API that isn't Forge, because the massive[1] amount of modding that already exists is just not going to be re-written.

The best thing that could happen would be to bless Forge as "official".

[1] https://bot.notenoughmods.com/1.7.10.html
Thanks - I knew it looked better. I was afraid my memory was failing me.
Also, a standard inductive sensor (i.e. a magnet attached to a spoke and an inductor) attached to the raspberry pi would be a much better option.
With AWS's new certificate manager it makes about 3 clicks and 2 minutes. Otherwise I agree, it's a pain in the ass.
So excited to see another round of YC Fellowship! Excited to get a chance to apply, but more excited that this likely means that the Round 1 experiment has worked to a degree.
The 10 Most Disruptive Technologies of 2015
> T-Mobile degrades video quality

SSL cannot prevent this. The connection can still be slowed down and video quality will be automatically degraded. They don't reencode streams on the fly or anything, just degrade bandwidth and let the applications do the rest. The reencoding and DRM cracking needed to do the former would be an insane investment of man-hours and CPU resources, even if they didn't use SSL.

Additionally a bunch of these "reasons" are just artificial restrictions imposed by web browsers. If it weren't for letsencrypt providing free certs without any ID checks like other free cert places I'd be complaining about it.
My mistake... Sorry!
Ha ha ha! You nailed it. I dread the same thing. I tell him to stick with servers on planetminecraft, but even those are tied to specific versions of Minecraft. Then there's umpteen managers for mods and utilities to roll between different versions. I let his 20 something uncles deal with the mess; I have had it. I guess at 44 I have lost patience for such things.

While Minecraft is a neat concept, the whole thing really does need to be scrapped and re-written from the ground up.
But everybody knows it's okay to do bad things as long as you do them to evil people. And Manning is a traitor and thus obviously evil.

/s
>In Fallout4

He's actually available in Fallout 1, 2, 3, 4, and New Vegas. :)
Please Review PnQ, a social networking app i am currently working on
Hello everyone. I am the project lead for Eclipse Che and founder of Codenvy. After 5000 commits and nearly 18 months of development, Eclipse Che has reached its beta milestone. There has been contributions made from over a dozen companies and many of them are widely known brand name technology companies.

The Codenvy blog has an overview posting on what Che is about. We have also stood up a new Che site at eclipse.org/che.

We anticipate making a GA release some time this quarter. The beta release ships with support for .NET, Java, Node, and C++ though the intellisense is superb with Java.

We look forward to getting more feedback.
My understanding is that C# made a number of good decisions surrounding structs, but that the JVM has had a huge amount of engineering work, and the HotSpot JIT & GC options are better performing.

Can you point to any compelling evidence that either language is faster?
>neuroscientists: they can go to the bathroom and half their knowledge will be out of date

Web development seems to be even worse than neuroscience in this regard. I feel like I have to perpetually study to be abreast of best practices.
دورة برمجة سكربت فيديو بالدريم ويفر المرحلة الاولىانشاء سيرفر محلى
Guardians of Peace
Mr. George Soros
Mr. James Passin needs competition
I seek to open up the DPRK oil fields
in exchange for a strategy of peace by DPRK
-lemonk, Guardians of Peace
sent to James Passin, DPRK, CIA, and a few others...
Forth Lauderdale, outside main library, Keen sandals, snake and sword tattoo on right forearm

--------------------------

OPERATIONAL PLANS/ GUARDIANS OF PEACE/OPEN STRATEGY

Goals:

1) Dance with Angelina Jolie

2) Convince President Un to adopt a strategy of peace

3) Convince world leaders to end Syrian War
This is app-specific; many apps support swiping through lists of items, but there's no generic way to have the same functionality across multiple apps.

(Technically there is, you could change the implementation of standard Android UI elements, but that smells of work and pain.)