skysight-inc/HackerNews huggingface dataset:
"Formal verification" of the completeness of any Ruby implementation has been a problem for some time (even when multiple implementations existed) as Ruby had neither a reasonably-complete specification nor reasonably-complete unit tests (for a while, the closest thing to a "standard" is "does it seem to be able to run Rails") -- the RubySpec effort (which was, IIRC, led by the the Rubinius team though its been accepted generally since) has improved that condition tremendously, though I still wouldn't say that Ruby is exactly in a great condition with regard the ability to have "formal verification" of an alternative implementation.

Though it may be way better than Perl in that regard -- does Perl have anything like RubySpec?
You could do it in Authorea (Git+LaTeX) and actually show us what you are writing too!
Just got my board (kickstarter backer). Can't wait to take a few hours to play with it!
I had to re-submit 4 times before it saved successfully.

Their EJB prints SQL back to you. Wonderful.

to retry: Hit back, confirm, submit again.
Sounds like your problem isn't with walkable neighborhoods either, more the last 60 years or so of urban policy.

America has barely built any walkable neighborhoods since WWII, and in the post-WWII era we left most of the existing ones to rot. Now that such neighborhoods are desirable again, the ones that have survived as pleasant neighborhoods, especially in cities with strong economies, have become hideously expensive. (A lot are still pretty affordable in the Midwest.)

Your individual life choices are reasonable, but they're not an indictment of walkable neighborhoods in general so much as the last 60 years of American urban policy. Of course, suburbs have a broad spectrum, from pre-WWII railroad suburbs where downtown-bound commuters ride transit and kids walk to school, to the Sun Belt's utterly unwalkable sprawling hellscapes. The Milwaukee suburb I grew up in looks an awful lot like expensive central Portland neighborhoods, except it's a lot cheaper and transit is less well-used because downtown Milwaukee isn't doing all that well.
A fallback for what, exactly? Once IE, Chrome, Firefox, and Safari support it, that's all they care about. I think they're more likely to drop old-IE than the typical webapp.
you enumerated many overrated things
I downvoted it because it addresses (at length) the issue of informal family gatherings in which TT's opponents already accept (for reasons specific to the scenario) that you're not supposed to show up at a specific time. It avoids the core issue of work scenarios where it's important that everyone be present.

IOW, non-responsive, and almost deliberately so.

Just because you have a long, coherent explanation doesn't mean it adds to the discussion.
Our company uses Trello and Slack. This is basically Trello + real time updates on the comments + separate user-to-user private chat. This could almost replace Trello for us but won't replace Slack.

Slack also has:

- very good mobile/desktop apps

- integrations

- fast search

- group chat rooms

The project replay feature is also cool but I'm discounting it because I can't think of a use for it as long as everything is timestamped.
Design complex interactions, without the complexity.
The "better battery life" point is a claim from Apple that their DRM implementation is less CPU intensive than the current Silverlight method.
How many ports are there from iOS to Linux?
The Swift Programming Language - Language Guide and Reference
What do you mean by programming?

Mathematics professors can't do accounting, because they don't know the relevant regulations etc.

Similarly, A CS professor may not know the popular javascript library of the day etc, but I find it to be a myth and stereotype that educated computer scientists can't program. When pressed, no one is able to give real world examples. Every actual CS professor is a counterexample though. To give a famous one, Donald Knuth is prolific for instance:

http://www-cs-faculty.stanford.edu/~uno/programs.html
Yup, I actually addressed that above. The DRM is tangential to battery life.

The video will have DRM. That's not up for debate.

What's up for debate is whether you need a plugin (which runs in a sandbox) or you can decode using code closer to the metal (browser native).

To be able to play these videos natively in the browser without sandboxed plugin code, you need to still have DRM. Whether you like it or not, this is what the studios want.

The better battery life comes from begin able to decode the video in hardware, because you aren't using a plugin anymore. And you aren't using a plugin anymore because you natively support the DRM.
Anyone else read that as "Monty Python"?
I think Ember and Ember Data are extremely interesting, but there are definitely some caveats to using Ember/ED over other MV* JS frameworks or rolling your own persistence layer.

I think this post does a good job of mentioning them, but I would also mention that a huge caveat I came across in a personal project (after I developed my API, of course) was that ED and Ember.Route don't support nested resources in APIs they consume. This means that you can't use conventions like /users/1/posts in your API, you have to use shallow resources (i.e., /posts?user=1). This is definitely a trivial detail if you haven't yet designed your API, but is kind of a pain in the ass if you don't know that going in and design your API with nested resources first (as I did).
I've seen the doppleganger of this article a number of days ago and both drag out some form of nav bar as the alt. Really???

A nav bar, let alone a sliding nav bar, is tabs or an obese hamburger. We have been around this before. Tabbed desktop apps and tabbed web interfaces a la Amazon of the 90's. You know what this UI need? MORE TABS!

The great unbundling will continue as small screens and human eyes can only deal with so much info per inch.

I don't want to artificially engage with your A/B-optimized application. I want it to get the one or very few small things done that I need done. I don't want time sinks. I don't want to aimlessly dig through ambiguous icons looking for digital delight that you decided was unworthy of special treatment. If you are playing games with tricking humans into using your app, I question the value you are creating with your app.

There's a thing in my hand and it should be about the size of half a banana. If I want to see another half a banana, I'll put this one down and pick the other one up. I have one hand, two eyes, and a hankering for bananas! Show me pretty bananas!
Go/JavaScript MMO with Conway's Life as an Area Attack
tangential question, is it possible to version control workspaces in e.g. git?

I found this for Dyalog, but long time i havent' touched APL

http://stackoverflow.com/questions/21488433/is-there-a-file-...

___________

same question for smalltalk: http://stackoverflow.com/questions/8244502/version-control-f...
Butterick's Practical Typography[1] is free online and a really good read.

To go beyond just one book there are good posts and book recommendations on Typekit Practice[2].

[1]:http://practicaltypography.com/

[2]:http://practice.typekit.com/
Heroku dyno scaling down
Why am I obsessing over the arrow not quite lining up on the points of time? Until the fourth tick, then following some pattern..
there's an easy fix: http://antjanus.com/blog/web-development-tutorials/fortify-w...
This is an excellent post. Have definitely learned some of these lessons the hard way recently. This line particularly resonated with me:

"If you have high retention and no virality you will sustainably grow your user-base over time. If you have high virality and no retention you will not."
A friend of mine tried to do something a bit like this; it's all MIT licensed on GitHub now.

https://github.com/Founden
Here's the thing, though. Maybe I don't have a business meeting; maybe I'm supposed to go watch my kid's soccer game and I allotted literally an hour for a fifteen minute meeting, because I know this guy shows up late, and here he is an hour late. Am I supposed to tell the kids to just play soccer an hour early so I can watch the game? Should I miss the game just because this guy can't be bothered to get somewhere on time? Should I allot two hours for a fifteen minute meeting?

At what point does that become less reasonable than expecting other people to show up at the time they agreed to show up?
Apple starts posting WWDC 2014 session videos for download
> This system is very inefficient. So inefficient that it would not be useable on mobile devices, and you would have to trust a 3rd party to verify websites for you.

It sounds like you're thinking about running a blockchain node locally. DNSChain is exactly fixing that issue. It is even more efficient than the current system.

> A-signed certs are authenticated by the certificate authority.

Incorrect, CA-signed certs are authenticated by any certificate authority.

> Why do you think ca signed certs are not securely authenticated?

Your answer is in the link that I posted. Here it is again: https://news.ycombinator.com/item?id=7826503
Could they go with flash? I can't believe I'm asking for this, but at least that would work on Linux without much hassle (pipelight is 32bit and I don't really want to go there).
uh... that link is his resume, and anything "on" swift is basically a single sentence saying that it is a programming language that ripped things off from a lot of different places, with a link to wikipedia.

dumb.
One Tap Quest
Ne’er-Do-Well News, Volume I
Is there something we could do to help this guy in anyway?
Relatedly, I've been incredibly disappointed in how Google is failing to show much leadership in the gaming and set-top sides of Android.
Perhaps I'm in the minority, but I think "too much automated testing" is a more common problem in rails apps than "too little automated testing". With a corollary being that "too little non-automated testing" seems to be a common problem with rails teams.
This is NOT about printing texts on a Tshirt.
It is about a company trying to brand itself as "pi." (why they would want to do that is beyond me) JUST like Apple branded itself as "Apple"
This company will make clothing apparel. This does NOT stop anyone else from putting the symbol pi on a tshirt. You just can't do it in a way that makes it look like you are the "pi." company.
There's nothing more suspicious than a math paper written in something besides TeX.
Yep. My Android devices work fine, like the sibling poster, they are all 4.4.2.
Emphasis on the word "chance". You could spend quite a bit of effort developing an app only to find out that Apple won't approve it, or perhaps requires unacceptable changes.

Hence my emphasis on "gated community". Some people like the trade-offs in this business model (earning money does have its attractions :-), I personally don't.
I'm working with a startup that regularly meets at MaRS. We're in the cafeteria; office space is a little too expensive to be realistic at this point.

For me, the "buzz" is a big part of it. The fact that investors just happen to be in the neighbourhood. The fact that it's a good, central location right on the subway. There is a lot happening, including events that bring other entrepreneurs and investors to the same building.

I'm not aware of having raised any money through MaRS, but I know MaRS nevertheless plays a big role in the startup scene in Toronto, and it's been a big part of my personal experience. This is a great investment for Canada, and it would be depressingly foolish to interfere with the good thing they have going.
This is simply not true. Coding theory uses a bunch of calculus to prove theorems, especially where probability is involved.
Definitely don't make it public. I know people who have had their thesis topics scooped.
I've been reading this one lately, it's not so much practical typography, but rather the history and backstories of types. I find it quite a fun read, and it can inspire your interests and appreciation for types, if you don't already know much about typography.

http://www.amazon.com/Just-My-Type-About-Fonts/dp/1592407463
I am not sure you understand what "condescending" means, which is probably why you have been downvoted. If I, an American that speaks English natively, told another American that also spoke English natively, that they seem young and should read more, that would still be condescending. This is true particularly if the statement was prompted by a disagreement over something like religion. Condescension doesn't only appear across language or culture boundaries.
"Do not focus on improving virality unless your overall retention is stable, not continuing decrease after some reasonable period of time."

We definitely could have used this a few months ago
Since no data has ever been collected that would indicate existance of any god the only thing you can assume (thhough you shouldn't) is that they are all equally probable and since their number raises in time I'd advise you to pick the one that offers infinite reward for believing in him. I you don't know about such god just make one up. Of course that does not guarantee you infinite expected utility of your choice because someone could make up infinite number of gods. I'm pretty sure at least one person already did. Thus driving probablility of your god existing to exact zero and making expected utility of your choice indeterminate. Still you're better off than believeing in a god that offers finite rewards.

Of course you may just correctly reason that in absence of data you can't assume anything about gods and save yourself all the thinking about gods as devoid of any predictive utility.
A first-person engine in 265 lines of JS
I really like this. I find a lot of communication and task tracking apps offer more than I need.

My only gripe is that the UI needs a little more colour. :P
> What about the Steve Jobs

If Steve Jobs would have worked less, he may not have been removed from the Apple Board. If he had spent more time with his family, maybe the Lisa wouldn't have had the connotations that it had.

These are not conclusive, but they do point us in a direction.
“Be kind, for everyone you meet is fighting a battle you know nothing about.” -- Wendy Mass
This is actually a weird quirk of mine but I try very hard to, if I have a meeting scheduled at e.g. 2pm, to show up at exactly 2pm according to my cell phone, which is more likely to display the same time as their cell phone. Same if I'm visiting somebody's house; if they tell me to show up at 8pm, I'm likely to walk slowly from my car so I can be knocking at their door right as the time switches over from 7:59. Unless they're a very good friend of mine and I'm confident they won't mind me being there early.

The way around this is for people to tell me to show up "around" 8pm or whenever.

I fully recognize that this is something peculiar to myself, and I would never begrudge anybody else for showing up at e.g. 2:04 for a 2pm meeting. But I would definitely apologize for being a few minutes late if I did the same.
I'm confused. Does this mean:

1) "Learn to build an iPhone game" is 8 weeks.

or

2) Learn to "build an iPhone game in 8 weeks."

I understand I'm going to need to spend 8 weeks on SOMETHING, but what do I get for those 8 weeks: learning, or an iPhone game? ;)

Something tells me it's going to take me longer than 8 weeks to both learn AND to build an iPhone game.
Bare in mind it's statically linked also, so it doesn't need to read a bunch of dynamic libraries from disk.
Ask HN: What is the history behind the startup pitch?
When and how did today's format of startup pitching investors emerge?

I've been looking online, on HN and couldn't find any credible source on the history of pitching (both one on one and in front of an audience).
Yep, my app is down and can't be restarted.
Blackbird - San Francisco / Menlo Park

Located right outside Stanford University in Menlo Park, CA, Blackbird is venture-backed startup founded by a team of Stanford CS Alumni who've previously built search at Google and Yahoo, and scaled Twitter to 200 million users. Our product is at the intersection of Information Retrieval, Natural Language Processing and Computer Vision and we're currently in stealth.

Role - UX Architect, Menlo Park, CA

- Design and implement UX for our flagship product and take on a leadership role
- Opportunity to invent new interfaces on mobile for something people use everyday

Experience

- Excellent Javascript, jquery, CSS, and HTML skills
- Comfortable with frameworks like backbone.js, ember.js etc
- Some basic experience with with design photoshop/illustrator is a plus
- Familiarity with ios/android programming is a plus

We'd love to hear from you! Please email us at stanfordfounders2014@gmail.com with a link to your linkedin profile or resume. Thank you for your consideration!
> What parts of Python 3 syntax are missing? Which parts of the library don't compile?

The only things that don't compile properly are certain uses of "super()". super() without arguments is a very strange beast that captures the first argument of the function (interpreting it as the self object), and needs to infer its class.

Other than that, all the Python scripts in the Python 3 standard library will compile.
As a result, app deploys are also down.
It's not "fundamentally unanswerable" any more than any other question about a complex system over which we have limited control. It's hard to answer - this is not the same thing. That the question is hard to answer is no reason to substitute irrelevant alternatives. The appropriate thing to do is 1) answer it as best we can, and 2) recognize that there remains substantial uncertainty.
I didn't even wait for the modal to load. I closed the tab as soon as the background dimmed.
from the reply i don't think apple should use this "common protocol"
Actually, no, the unix version is dynamically linked (against libc, libm, etc).
A PC vendor-specific high-level language? VB is the obvious comparison. Sure Swift is a better language, but it fills the same niche as VB - a platform has a difficult API and they want a more productive language, so they make something very high level using popular practices of the day, custom made to map tightly to their platform.

It's just the popular practices in that niche in VB's day were things like Delphi and Tcl/TK, whereas Swift comes out in the day of Java/C#/Golang.
How is freedom dying? They are probably already using a DRM mechanism for other products (Apple TV, Playstation, Xbox, Samsun Smart TV, take your pick).

Is DRM in Safari on Yosemite really taking away a freedom?
ESPECIALLY when the C&D talked about copyright infringement.
Neato! Been watching you develop this for a while, Peter. Good work!
Yes it's correct.

F# on Linux works flawlessly.

I guess what defeated you is actually ASP.NET, not F# on Linux, right? ;)
Yes, it's just corporations. Government unions such as the SEIU and NEA have bankrupted US cities and cost US taxpayers billions, and are equally responsible for the corruption.
The BBC developed an "Assisted Subtitling" system which on paper is pretty fancy - accepts scripts in most common formats, automatically determines optimum colours for each speaker, processes video to find shot changes, uses voice recognition to spot the dialogue at the right points, and turns out an almost-complete subtitle file that just needs a look over by a human to ensure it's sensible.

Better still, it's now open source - although sadly the voice recognition part of it relies on a closed source commercial product which (at first glance) might not even still be available.

Dangerous in the wrong hands, but interesting:
http://subtitling.sourceforge.net/
Let is fine for defining constants, but it should also be used whenever possible for two reasons:

1. It gives you additional safety against accidental reassignment.

2. It gives the compiler a major optimization hint since the value is not a variable.
I suspect the threat to him isn't from mindless mobs unwilling to change their beliefs, but the holy men who stand to lose out on their posh lifestyles if their bullshit is exposed.

Case in point: http://www.odditycentral.com/news/golden-baba-indian-holy-ma...

Its these guys who have the resources to get whistle-blowers killed off relatively quietly.
I guess we learned not to do it again.
It's amazing that Apple managed to go from hatching the idea in mid-2010 to releasing a fully working framework 4 years later, with tight IDE integration, huge amount of testing and compatibility without a single leak (that I've heard of).
http://www.online.net/en/dedicated-server/dedibox-xc

link in english.
Thank you! Those docs foxed me completely but I did take a look at Amara's main site - an interesting approach. Not a magic bullet but I love the principle of opening up tasks like these to the crowd.
And that was the point where I cheated to see how it ends.
No doubt. Also amazing is that they promoted a compiler architect to eventually lead the whole tools group. This is good news.
Algorithm searches for human actions in videos
I think this is false. Things that are simple in Objective-C will be simpler in Swift, with better feedback from the compiler.

Things that are complex in objective-c will also be simpler and more robust in swift.

There is a kind of complex coding using generics and the type system that would be harder for an inexperienced developer to understand, but that seems to me to be strictly additive to Objective-C.
Who said anything about completely eliminating OpenGL ES? SceneKit writes to OpenGL, OpenGL views are pervasive, WebGL is turned on in Safari, CALayers are OpenGL backed. Metal just lets you tweak the render pipeline.
Great to see the credit to Bret Victor and Chris Granger's Light Table. Apple's resources can really help move forward these new ideas of what an IDE can be. If Swift is successful, a whole generation of young developers will use and improve on these ideas. Very exciting to see what happens.
Actually, most of that SLOC is in the stmhal/ port, of which ~100k is the ST library.

The true count comes from the py/ directory, for which cloc gives only 25k. And there are a lot of extra bits there, eg the inline assembler, the Thumb and X64 assembler helpers, etc.

EDIT: without the additional assemblers, cloc gives 22k. Remember that Python has ints, floats, complex and bignum, and these are all included in Micro Python. So that 22k SLOC includes complex arithmetic and a 1k bignum implementation.
Looks like the modal library that showed up a few days ago. You move your mouse out of the page and it loads. Happened to me as well but unable to recreate the issue.
http://msdn.microsoft.com/en-us/library/windowsphone/develop...
Z Wave and Zigbee are the two competing standards; swing by reddit.com/r/homeautomation for more info.
Puertas La Sabina
Sorry for the confusion! By the end of the 8 weeks, you will have created your own iPhone game. We assume some programming experience (that you've used e.g. Java or Python, and are familiar with Object Oriented Programming) and teach you what you need to know about Objective-C, Xcode, and Cocos2D to be productive.
Site seems to be buckling under load. Google cache: http://webcache.googleusercontent.com/search?q=cache:http://...
[video] Apps We Can't Live Without
>Will this be the decade where I get to experience being struck by falling routers and switches,

especially if the falling equipment identifies you as the softest landing spot in the vicinity (thus providing for lesser damage to / higher chances of the equipment survival :)

> far from any data center?

until off course it is the air borne (near-space) datacenter itself.
Nope, not accurate. Yes, I do disagree. No, the paraphrasing is not necessary for discussion (???). Not a biggie in the broader scheme of things though.
It looks like Rust was a major influence. It has been interesting seeing all these posts claiming Swift borrowed from _their_ language.

Obviously there is a lot of feature influence between languages but it was interesting to see the ones he called out explicitly.