skysight-inc/HackerNews huggingface dataset:
As noted elsewhere in the thread, this is a pretty direct play off Marvin from the Hitchhiker's Guide to the Galaxy. A lot of people are going to find an Easter egg entertaining, especially this late on a weekend (maybe you're on the East side of the planet?)

If you want, we could talk about the social ramifications of allowing a web server to have a GPP, but it's late, and your comment has made me depressed. If only there was an elevator nearby...
Exactly. The universe is a pretty big place.

Time dilation is another one. It's locally insignificant enough to be considered noise/error.
slowpokes..
"Insanity - a perfectly rational adjustment to an insane world."
R. D. Laing
Hear, hear! Was about to post the same link.
Looks great. Just needs a new name. Tydlig?
PLEASE EXCUSE DAVONTAYE, HE SUFFERS FROM POVERTENZA
I am not a mathematician and I can't speak to the likelihood of a mathematical revolution, but as a programmer with interest in theoretical computer science and I found the HoTT book to be extremely useful. Prior to last year there were very few available and approachable resources for learning HoTT. Papers on the subject were hard to find and harder to understand for someone not in the field. Because of this, any textbook is a huge step forward for me even if it doesn't have mass appeal because it allows people who aren't directly researching HoTT to become familiar with the ideas and results and find further references to previous work. These people in turn can educate others who might be computationally or mathematically inclined and interested in the benefits of HoTT such as better interactive theorem proving, but don't have specific interest in type theory, category theory, or homotopy theory and therefore find existing resources difficult to understand.
I learned to program by reading Woz's assembly code for the Apple //e. They used to give you books of "source" code when you bought the machine. Crazy times.

A few years ago my old business partner Mike Matas was at a party and he called me and was all, "Woz is here!" I asked if I could talk to him, and so I chatted with Woz for about 10 minutes. He was the nicest guy you could imagine. He was so incredibly happy to hear that I'd learned to code from his stuff.

When we first launched OmniWeb Woz bought ten or fifteen copies. He was always a huge supporter of the little guys. A real mensch.
Bitching and complaining is good for products, makes them better. Don't know much about OSS spirit, but doesn't their work need any improvement??
I'm sorry to hear that you're sleeping in your car, but whether or not you want to develop for the OUYA (and you shouldn't, because it's a flop and a piece of crap), it seems that you've put no thought whatsoever into your Kickstarter campaign.

From your other comments, though, it's obvious that you don't intend to listen to any criticism. So, believe whatever you want. Perhaps you can make another game based upon bob's game (which is based upon bob's game which is based upon "bob's game"). Maybe call this one 'bob's game'? Or how about A Game of Bobs?
I find the "real" pi poems more interesting, e.g.

https://en.wikipedia.org/wiki/Piphilology#German
Why do you put that down as "disclaimer". This is why people make fun of us.
I would just a ipython console
Gone is the age of calculator
I don't think it's nitpicking. Sometimes it seems like if a Macbook Pro and the latest JS framework on top of Ruby or some functional language isn't involved, especially if the social lives of 20-somethings or 'disruptive' re-treads of ages-old B2B 'services' aren't involved, it's off the radar of the Bay Area.

That said, I don't think it's unreasonable to be skeptical of claims that non-software companies are "technology companies." My stints in non-software companies left a sour taste in my mouth with respect to their understanding of how our world is changing, specifically with how important software is for the development of other new technologies. They put software development in the same bin as other IT work like laying network cable or housing data servers, when it really belongs in the same bin as other technology-driven research and engineering departments. So the 'respect' argument (inferring here) you're making kind of cuts both ways, I think.
The Day Google Became Skynet
I don't get where the awesomeness is.
The SOLID principles of object-oriented design
It's easy for impressions of undecidability to get out of hand. But actually, verification is computable. Verification has to be computable for things like Godel's theorem to work.

If you read your link carefully, you'll notice it's about provability via axioms, not verification.

Peace
No RPN. Neckbeard status confirmed.

Calculators are still an unsolved problem for me on glass devices to the point I still religiously carry around an HP50G even though its 6x the size of my phone. Also from some bad experiences, it appears that some "app" calculators are also seriously badly implemented. Even basic trig ops can return stupid values at extremes which makes them untrustworthy. Plus none are reasonably programmable.

My use cases are base conversions, simple CAS stuff, basic engineering calculations, unit conversions, financial (TVM etc) and generic math. I also canned a lot of knowledge in RPL programs over the years from fuel calculations to diagnostic tools and dice rollers etc.

Please can someone solve all these problems (without doing half arsed HP calc emulation).
Comedy Retro Game
I guess it just shifts the dilemma to the person setting up the interview - which is what makes it more polite.
The very last point is the best, IMO. Look for ways to add concurrency rather than seeking faster sequential execution.
Smells like prior art all over. McDonalds has been taken my orders with a mobile device for years when its really busy.
I sure wish I could listen to his talk but the moron who recorded it wasn't looking at his meters or listening to a monitor. The clipping distortion is far beyond my ability to tolerate for more than about 10 seconds. Incredible incompetence.
(disclaimer: I'm a MS employee blah blah)

You'd be surprised how good many MS tools make remote development/communication. I don't work at MS HQ in Redmond (I'm in Boston) so my whole team does tons of work with people remotely every single day.

For example, Lync on the Windows Phone is really great: you can join a meeting from your calendar/meeting reminder and instantly get video or a PowerPoint slide deck. I am frequently running late to a meeting in the morning so I just dial-in on my phone while I walk to work.

Remote desktop performance is good enough to actually code on, which I never found to be the case with VNC (even TightVNC which was darn good and I was happy to rely on for everything but coding). This is huge for me since all of my development machines can be headless (no kb/mouse), for use remotely or in my office.

Outlook makes starting an online meeting/conference call one click.

I don't think Roundtable devices are for sale anymore, and they don't always work which is really annoying, but they work most of the time and make conference calls with video and lots of people really good.

Screen sharing over Lync isn't super amazing (I don't even think you can go full screen) but it's so convenient I use it frequently.

Presence is baked into everything really well, so if you're actually using MS for everything you will get presence everywhere. It's also pretty good about being more than just presence, so you get pictures/avatars, online status, location, out-of-office messages/status, quick links to start an email/IM/etc.

As for non-MS software, I really like using Sublime Text as a code navigator. It has AMAZING performance when browsing code on a network share. I can load all the MS Office code from a remote development machine, over the network, into Sublime Text and the file-search works within seconds. I have no idea how it indexes all the files so quickly.
my point still stands, it is advanced mathematics at this stage. you do have a CS doctorate but as I said it requires time and refinement to make it accessible even for CS researchers. It is un-scientific to criticize and snub which you can't make informed arguments about.
We used dedicated terminal servers for this function years ago. No PC required. DEC and Allied Telesis made them. Now I feel old.
My mistake, I didn't see the video on mobile.
Seems sort of like a slicker Soulver, I'm going to give it a shot.
Bet that handles TCP fragmentation well :)

Nice work though to whoever crammed that in a PIC.
Interesting to see that they're reusing what used to be the REP/REPNZ prefices for this purpose, rather than assigning a completely new (and likely 0F+) opcode. I suppose it's because the existing instruction decoder already recognises it as a prefix (they would just be ignored pre-Haswell.)
It means clear/apparent/obvious in Swedish.
As a kid, you get 'Me and Mary' as the subject corrected to 'Mary and I' for reasons of both grammar and politeness. Some people don't understand or remember the compound reason and just use 'and I' everywhere.
The reference is unmistakable for anyone who's read the book. It's mostly harmless, but I would have thought that such an unoriginal, derivative piece of writing would be upvoted on HN much in the same way that bricks aren't.
I envy you for having the feeling that you do the best you can do. I'd like to make it a constant, but I can't. I'm so happy for myself when it happens and strangely, I never care about the result - it's liberating.
The same in german
http://www.netzmafia.de/skripten/unix/unx3.html
can somebody give me a bit of insight on why they needed to port to NeXTStep when the games were being developed on NeXT?

fascinating story, i so much enjoy ID stories from the 90ies.
It is Swedish for apparent (clear).
Author Nick Spalding's self-publishing tips
Try some l-theanine. It smooths out the jitters and the comedown effect. Take 100-200 mg every time you take Adderall and also before you go to sleep.

http://en.wikipedia.org/wiki/Theanine
I'm European, I live in Greece/Italy/Czech Republic. We don't we have ADHD or ADD as a notion in Europe.

I'm having a hard time believing that it's an actual problem. But on the other hand dismissing easily something that people here believe they are affected from, it's wrong.
Meh, SQLite is awesome. So is PostgreSQL, but this rant is uncalled for.
On that note, iPad doesn't even have the iPhone Calculator app, and it's _impossible_ to get it (without hacking) because it's a built-in app; one you cannot remove nor acquire from the App Store.

It's also missing Compass, Voice Memo and Passbook apps. Edit: Weather app too.
I think I saw this like 10 years ago.

What makes it so special to be #1 on HN?!
One thing about ArangoDB. Why don't they implement SQL instead of their weird COBOLESQUE AQL language?
This used to be on the default 404 for an old web server which name I can't remember. Maven, Raven or something similar. Late '90s.
I wish this thing was double sided so I can make a router out of it.
Asynchronous Programming: Promises and Channels
Yuck. Horrid examples. Not that I've seen a flat design that is usable yet. Microsoft did a pretty good job with WP8 but it still stinks.
I just replaced the batteries in my 48GX. I think in stacks and RPN is a better system for how I think. I have 48GX emulators for my phone and still use them over more modern calculator apps.
That being said, I appreciate the design considerations they've applied to this. I wish they'd make an Android version, because I might have been interested in trying this out.
I encourage you to read the source code instead of guessing how it may work.
Show HN: A sane validation library for Scala
really? thats hilarious. thanks for the info.
Right. It is undefined.
Notch makes a game from scratch in 48 hours (using Dart)
> it will be gibberish to about 99% of all mathematicians out there .

If you'd said "programmer" instead of "mathematician," I'd agree with you. As it stands, though, those pages are reviewing just basic algebraic topology, which any practicing professional mathematician would know to some degree. These days, it's taught to top undergraduates and almost universally to first-year graduate students; it is also typically prominent material on PhD qualifying exams in mathematics.
Only if it could generate new (depressing) text every time (like cleverbot talking to herself) with a voice-over by an Alan-Rickman-like tts engine.
Git(hub), Goplanapp, Hangouts, Google docs, Dropbox, Webex. Still haven't found a good alternative for Skype, but for me Skype these days hogs so much CPU that I removed it. Webex is much better anyway IMHO (compression works so well that it works on slow connections as well), but it's not for the same purpose as Skype.
The verse 'gopi bhagya' basically follows Katapayadi system[0]. Earliest known usage of Katapayadi system was in 683 AD. That verse is from a 1965 book called "Vedic Mathematics" by Bharati Krishna Tirtha Maharaja[1].

The Quora blog you linked has issues with terminologies and timelines of this specific "Vedic Mathematics" book - such as calling these mental calculation techniques and tricks as Vedic even though there are no references to them in Vedas[2]. This is more of a political matter ;) And, it's already pointed out in the article linked by OP[3]. I'm quoting it here:

It must be pointed out that these sutras given by Tirtha Maharaja are created by the author himself, as stated in the introduction to his book, "Vedic Mathematics" (published posthumously) and are therefore not actually Vedic.

These mathematical sutras are Vedic only in the sense that they are inspired by the Vedas in the mind of one dedicated to the Vedas. Thus the title "Vedic Mathematics" is not correct.

[0]http://en.wikipedia.org/wiki/Katapayadi_system

[1]http://en.wikipedia.org/wiki/Vedic_Mathematics_%28book%29

[2]http://en.wikipedia.org/wiki/Bharati_Krishna_Tirthaji#Mathem...

[3]http://www.vedicsciences.net/articles/vedic-mathematics.html
The Steam Box arrived
Pi Calculus
Why do you glibly dismiss it as a "stereotype"? Did you read the post that prompted him to write that? It was preserved on HN:
https://news.ycombinator.com/item?id=6025525

That post discusses in detail exactly what is wrong with the training culture in Korea. Do you have any knowledge or experience to dispute the post? Can you come up with something more enlightening than the 3 word reply "wow, stereotype much?"?

BTW this criticism of flying culture in many foreign airlines isn't just found in this one post. Read pprune.org and you will find many many similar stories. Are all those people posting simply making things up?

I don't think so.
yes weird, plus the weather app is missing too.

What's the reasoning behind the decision? Was it Steve Jobs who decided that?
I still think the 1/0 problem can be solved if we step outside Euclidian geometry. It is undefined for the very reason you give. The Numberphile YouTube channel has an excellent video [1] discussing why x/0 is undefined and worth watching.

[1] https://www.youtube.com/watch?v=BRRolKTlF6Q
If Google Glass could do this, it would start a revolution
I wonder if the people at UIUC are wondering why there's a sudden spike in intrerest in the abandoned "sensornode" project.
I would say the Airbus comments are incorrect.

Prof. Missy Cummings (former F/A-18 pilot) at MIT is involved in research into cockpit automation. She was featured on at least one documentary into AF447.

What is interesting in the Airbus vs Boeing debate is that pilots like Capt. Sullenberger who has flown both Boeing 737s and Airbus A320s doesn't claim its an "Airbus" problem. The problem is that airline pilots are becoming overly reliant on autopilots and forgetting the basic skills of flying the aircraft.
http://www.cbsnews.com/news/capt-sully-sullenberger-airplane...
I read "RJ45-sized" and thought they meant the size of the connector.
As in, my typing is reasonably fast, but I don't think I need to practice programming-style typing to increase my productivity. The logic, design, and debugging is where my time is spent.
For the iphone and ipad? You mean for direct interface devices? (is there any reason this couldn't be applied to non idevices?)
Why is that hard to imagine? If the application were released for Android, I would have considered it. I've already purchased several Android calculators. There's no real basis for your claim, but I say this while I also realize I haven't provided sufficient evidence to support why Android would be a better platform. The reason I think a lot of applications like this fail on Android is that the developers first target iOS and then try to port it to Android without really designing for Android. The result is something lackluster that doesn't really work for Android devices.
white, middle-class american college dropout
Just a musing: perhaps its considered not as valuable an investment to program since a (the?) primary market is students, and students are probably not allowed to use phones on tests for obvious reasons (internet connectivity, texting questions to each other, overall distraction). However, TI's are state approved or whatever.
You may be onto something there, but this explanation doesn't cover the instructor, who was experienced on Boeing, not Airbus.
Good to see that Bret Victor's ideas outlined in "Inventing on Principle" start taking some foothold.
Just ask! People like this tend to enjoy showing off their projects. You might even get some pie out of it.
Until it does have a will of its own.
I'm working on an RPN calculator (with some pretty sweet gestural functionality) which solves approximately half of those problems. Wait, no, more like a quarter. Welp.

It does return the correct value for sin(π) though (you gotta call __sinpi(x / M_PI) if you don't want to return -8.74e-8 or some ridiculous value).
I love the irony.
Haha! I was going to suggest Droid48 until that last sentence. Yes, I emulate my HP48G whenever I feel the need to fire up a calculator.

HP RPN can't be beaten for serious number crunching. It's not pretty, but by god, it is EFFECTIVE!
I am currently with android 4.4 on oldish HTC Desire HD. It is amazing what lifespan the devices have when they are unlocked and unbound. I dream for the day when mobile devices will ship without os and it will be for the user to choose.
They just haven't created the full size iPad versions for them at this time. iOS 6/7 added some previously iPhone-only built-in apps.
Never been allowed to use a TI for exams in the UK. I've only ever been allowed to use a Casio.
Thanks for the inspirational post Wil. Always a pleasure reading your stories.
Thousands of Germans get “porn troll” letters over streaming video
Certainly cuts both ways. That said, my personal experience is somewhat opposite of yours. I worked at a:

* Printer manufacturer (TC def: non-tech). Software is at R&D.
* Chip machine maker (TC def: non-tech). Software is at R&D.
* Online marketing consultancy (TC def: tech). Software is with the IT department.

All that said, people at the non-software technology firms listed above do tend to have a certain disdain for software, mostly driven by a complete misunderstanding of what kind of complexity software people actually deal with. After all, all the physicists and mechanical engineers have written some while loops too, in their days. How difficult can it be? Anyone who understands if and while can write software, right? :-)

Still, at least they considered software technology, too, and not "IT services".
Fits my experience with my Nexus 7 pretty well.

- The web-browsing experience is pretty bad (though web developers are as much to blame for this as the browser devs.) Mobile-optimised sites have text that's too large and advertising dialogs that forcibly redirect me to places I don't want to go. Buggy banner ads trying to stick to the bottom of the page bounce around the page as I scroll, take up too much of the viewport, and never dismiss when I hit the "X".

- The touchscreen does play up from time to time, sometimes when I'm using it and sometimes when I'm not. Two days ago my tablet opened Facebook and tried to send "monkey with typewriter" messages to old friends...

It doesn't make calls either, but I can forgive it for that... My heirarchy of needs begins with more "real computer" things, not "real phone" things. To type a short comment like this I'll first plug in a keyboard (which will cause all programs to crap themselves....) Anything more involved, though, and I'll consider spinning up an EC2 instance and doing it over SSH.
We don't we have ADHD or ADD as a notion in Europe.

That's starting to change.

http://www.ft.com/intl/cms/s/2/8b721a20-b8e9-11e2-a6ae-00144...
Tydlig supports external Bluetooth keyboards or numpads for really quick entry

It's been a while since i did any ios development and this was never a requirement for me. Can someone explain why an external keyboard is something that had to be explicitly supported at an individual app level? Surely this should be an OS-level thing?
Right: calculator apps still don't compare to Casio hardware.

It's surprising: when smartphones came out I said calculators would be first against the wall.
Would anyone mind clarifying what "HoTT" stands for?
Google doesn't update the OS for other manufacturers... Look at it this way - if I fork the rails repo it is up to me to pull/merge the latest changes, nobody will be pushing updates to my fork.
It's a false dichotomy to assume you must either a) reject conditions or b) be medicated. This is especially true considering that at least one of the "conditions" mentioned by invalidOrTaken was a social conditions (e.g. millennial entitlement), rather than medical -- widely accepted as such or not.

Suppose some condition that one may have is a real phenomenon and not just sensationalism, then knowing one has the condition allows him or her to better understand what leads to poor performance; you might need short projects because you lose interest, but someone else's performance might be more dependent on the management style of the company due to a symptomatic loss of focus instead.
One more aspect: This a pipeline. You continue doing the three steps. Always watching, always experimenting, always teaching.
I enjoyed this article. But to clarify Chomsky's claim, he once used the analogy of submarines. In some languages (Russian, I vaguely recall?), submarines swim. In English, submarines don't swim. It's a matter of language. Any of us would be willing to accept the analogy, unless we're being really pedantic; it's not a big deal.

(I personally used the analogy last week, when I said, "I believe that was 2011, but maybe your computer thinks otherwise?" and the (non-IT) person immediately understood without comment.)
I was thinking lately of porting the original DoomEd from id to Mac OS X. I reasoned that it shouldn't be too difficult since it was written on NeXTSTEP (minus all the api deprecation that happened over the years I guess). Sadly, id never released the source for that. Out of curiosity, do you remember whether the DoomEd source was ever part of any Doom Source package?

I used to do a lot of Doom Level editing on DOS back in '95, but most serious Map Editors seem to be for Windows. It would also be a great learning exercise, I guess, to try to port it so that it all the new technologies that we have nowadays...
> "You see, I'm just a web server..."

Liar. You're a script running on the client.
I love this app, and it's interesting to see the innovation in this familiar space. Oovium for iPad is a great example of fresh thinking. And coming soon, apparently, is the Wolfram Calculator for iPad, featuring user-programmable functions:

http://mvid.wolfram.com/mobile/dannewman_teachconceptsnotkey...
In certain ways Google Play Services make Android even more fragmented than it already is, by lifting key components out of the operating system itself and into the Play Services bolt-on. This is certainly true if you count devices like the Kindle - which don't have Play Services - as Android devices (and conversely less true if you don't).
CNN asks if Korea’s hierarchical culture caused crash