skysight-inc/HackerNews huggingface dataset:
Why Does Google Need So Many Robots? To Jump From The Web To The Real World
I've read this text some years ago. Still funny.
Boomrat (www.boomrat.com), fully funded by Live Nation, is hiring software engineers to continue building and scaling an EDM (music) platform.
Stack: Backbone, Laravel, Redis, Mysql in a Service Oriented Architecture.

You: Curious, work smart, have a voice.

Work in a rapid development environment with engineers to implement a growing architecture on the latest cloud technology. Be directly involved in scaling the platform, building services, creating UIs. Work on any part of the stack.

Please contact michael@boomrat.com if you are seeking a challenge.

Boomrat is located in Hollywood.
Na, it was a very personal blog and the owner does things like that all the time. The name of the jeweler was disclosed and everything. I get what you're saying though, but it was legit.
What part of an AC130 is automated?
It's incredibly common for TI calculators to be allowed on exams in the United States. Several standardized tests specifically allow only TI calculators, along with a few others. I think GP's comment makes a lot of sense. Most students just aren't going to put the effort into learning how to use another graphing calculator program if they can't even use it in class.
> If you do something kind for a corporation .... then you're essentially doing something kind for the people that work there.

that is absolutely not true. A person doing a favour for a corporation will not get the result as doing a favour for an individual.

The corporation isn't a group of people - its a group of people under some control of a few. Their common cause is not the common cause of the employees, but that of those few in control. And i said 'is', because the corporation only h as one cause - to make profit, any way possible.

Do not ever place any loyalty, or sympathy for corporations. Do not expect them to behave morally, or altruistically. It will only end badly for you. Try to extract as much value out of a corporation as you can, just as they do to you.
It's so funny to see "developer's advocate" being used...I would've sworn that that was a term that has only recently been coined but there it is, in a 20 year old email.

It's interesting - in those days it was a person who advocated for external developers within the company. Now days all too often that side is missed.
By OSS spirit I meant that it's better to get coding than start complaining. But I see your point -- indeed we should do both, and plenty of it.
http://lmgtfy.com/?q=HoTT

read the article. HOmotopy Type Theory
I've always had a feeling that it's to differentiate iPad from iPhone. If they had the exact same apps, right down to a scaled up Calculator with gigantic buttons on the 10" display, it might make it less likely for consumers to think of iPad as a separate concept from iPhone. Calculator and Weather wouldn't really translate that well to a huge screen, anyways.

And, of course, there are several great third-party apps to fill the void if you need them.
and that's it?

well, i may understand that it's not about discrimination. culture in the Russian IT field is quite hostile to startups, the whole idea isn't much respected, so my bet is that there was simply too little interest from Russian applicants, not a low pass rate.
Love all the research and effort that went into this. I like most of the visuals except the grayscale hover near the top awkwardly that wiggles the text.

This is an aside, but I'm curious about the quoted lyric near the bottom:

"... Bounce that ass up & down; make a n* * * * want it. Roll that ass round & round like a motherfucking wheel ..."

Does anyone else find that bit of censorship a bit out of place, especially given the content of the lyric and the fact that it's a quotation?
Scientific Data Has Become So Complex, We Must Invent New Math to Deal With It
I remember him and all the drama/trolling from Something Awful forums like 5-6 years ago. Still not finished with the game?
Apple products are awesome.. .. i am a big fan of apple and am very curious to know what they have got next in their stores
http://homotopytypetheory.org/
I'd never known of you before this; now I've got you bookmarked. Thanks for that great post.
And who served the script?
It's not too bad sleeping in a car, it's just getting a bit cold and I would like to upgrade to a van and get a nice laptop to work on. It's a choice and a matter of integrity, if I could pick any way to live it would be this.

I want to develop for OUYA because I like their stance on development and it is a nice home console I can put my game on with real controls. Whether they are a "flop" or not has nothing to do with that, and I think it is too early to make that call regardless.
No problem, glad you got to see it!
Noped out of that. Considering the recent string of these Nationalist, feel Good posts, it's about time they're autobanned.

I'm Indian myself and I've done quite a bit of study on this topic.Vedic mathematics is rooted in ignorance and a disregard for proofs. It's pretty much a way for nationalists (which intensified after the british conquest) to appease and make a billion people feel good about their history. In short, it's pretty much bullshit. What Ramanujan did was math, not this hindutva propaganda crap. Next thing you know, you'll start hearing about astrology and how it's a Vedic science.
I always had a hard time being social and friendly. When I first moved to the bay area, I forced myself to go to a lot of meet ups and progressively learned how to appear fairly friendly and engage with people. I recommend doing that instead of reading up "hacks"- you'll quickly pick up on what the most charismatic person in the room does to appear as such (or both, but those hacks lack a lot in subtlety- stuff like "repeating the last 3 words" sounds fake if you're not genuinely interested).

It's really a skill like learning a new programming language or playing the guitar- totally learnable with some efforts. I wish more socially challenged hackers realized that, cause it really helped me. (of course, my normal resting state is still highly introverted, but at least now i can fake it)
This is great, though there are 15,230 calculator apps on iPhone alone. Tydlig ranks as #443 in the US for 'calculator', quite a tough fight!
hah, i guess i should mention that i am bad at leading because of my own slow typing annoying myself
Dropbox possibly acquires contextual Android launcher Aviate
Yep, Grapher is a nice app with an interesting history:

http://en.wikipedia.org/wiki/Grapher
Fragmentation story:

I have an iPhone and wanted to convince people to use Threema instead of WhatsApp. Only 1 person wanted to give it a try. I was happy. It's a start.

But he has an HTC Desire HD. He is stuck at Android 2.3 and wasn't able to install Threema.
There's a ton of calculators that do RPN on iPhone, for those who like that.

Ie: https://sensortower.com/ios/us/incpt-dot-mobis/app/calculato...
https://sensortower.com/ios/us/vicinno-soft-llc/app/12e-fina...
https://sensortower.com/ios/us/tla-systems-ltd/app/pcalc-the...
Android is a cross platform technology that makes it possible to run a single application on different hardware and software configurations. Android-based operating systems can look, feel, feature and perform very differently, but as long as the developer sticks to the standard, the Apps can run on all systems.

Android is, by definition, a "defragmentation platform". It allows companies to basically make their own operating systems but stay binary compatible through a common standard.
The term "Android fragmentation" really just describes the fact that the defragmentation only works 95% instead of 100%.

It's still much more fragmented if you want to support devices outside the Android ecosystem. Try making an app that runs on the Galaxy S2, the HTC One and the Nexus 4. Then make one that runs on the Galaxy S, the iPhone 5 and the Lumia 720.
I welcome new projects into the email space -- especially those that contribute something to the open conversation around email. Sadly you only offer an api -- not an open server I can run myself -- but if your api turns out to be reasonable -- that is a perfectly fine contribution!

I've been thinking on the email a lot the past few years(!) -- and I see we all come to similar conclusions separately, me (just thinking), the author of sup[s] with heliotrope[h] -- and mailpile[1] and now nvlope -- building on top of IMAP probably isn't the best way forward, unless part of your goal is to support IMAP clients. Another interesting (for the architecture and data modelling at least) project is dbmail[d].

It will be interesting to see if codifying a json/rest api for email will be useful in the end or not -- I certainly see how one could build an android client on top of it -- I'm not convinced IMAP doesn't offer a better off-line/cache story though.

At any rate, I'll be storing mail on my own server, so a service like this isn't really for me -- but as I said -- I certainly appreciate seeing some battle tested public apis. They will offer some insight into what kind of design and architectural lessons you've drawn so far, making a responsive email service that is centred around search and labels.

Wonder a bit about the "file management" feature -- it sounds like a bit of a mis-feature to me. And I don't get the markdown composition -- do you then send the markdown as the text-part? Then again, I never did get this fascination for html-email. Maybe it's just getting (perfectly serious) business responses prefixed with "my responses are in blue" and the like.

[s] http://supmua.org/

[h] https://github.com/sup-heliotrope/heliotrope

[d] http://dbmail.org/

[1] Note, mailpile supports IMAP -- but not between the front-end (web) client and the back-end(http) mail client. Obviously all email systems needs to deal with email, so at some point someone must speak smtp for ingestion, and there might very well be pop/imap between the "back-end part of the front-end" and whichever server mails lands on via smtp. Or not.
Perhaps you wouldn't be as good without these "downtimes".

I think a lot of the true potential thinking is just misguided.
nginx/0.7.67
Your criticism of the book does not appear to be constructive, meaningful, or well-founded. Rather than saying "this sux, wow" and then listing your credentials, it might help if you gave some idea of what complaints you actually have with the work. While calling someone else's work "gibberish" is a low enough blow that I'm not sure it warrants further discussion, I want to at least make a couple of specific points on what you have said:

1. Despite your claim that you are not versed in type theory, chapter 1 provides what I find, as a 21 year old graduate student in programming languages with a relatively standard undergraduate background in mathematics and then some, to be a clear and helpful explanation of Martin-Löf type theory, and a good exposition of background needed for chapter 2. Did you read it?

2. This book makes extremely clear that the "homotopy theory" that is developed towards the exposition of homotopy type theory is merely synthetic, which is to say that it considers homotopies as first class objects, rather than deriving them from their traditional topological underpinnings in a more analytic way. It might be useful to have a little understanding of point-set topology with maybe a little inkling of what's going on in algebraic topology to figure this out, but certainly it doesn't seem absolutely necessary, since the book's notion of homotopy is built from first principles. Are there specific points in chapter 2 that you find confusing?

3. It appears you have a doctorate in CS, specifically to do with interactive theorem proving. Almost every proof assistant I have come across either uses dependent types or higher-order logic, and it seems like in order to have earned a PhD in interactive theorem proving you might have had to have become familiar with at least one of these formalisms. Given that you should be comfortable in one of these domains, it doesn't seem like the material in the book is a huge leap. Could you speak a little bit more to what you worked on grad school?

I don't mean to come across as harsh, but your claim that this book excludes 99% of its target population seems false; at the very least I do not consider myself in the top 1% of people who might hope to consume this book.
وظائف خالية بجريدة الاخبارواهرام والجمهورية اليوم الاحد 15-12-2013
Jay Gordon defends Chomsky's view more thoroughly against my criticism here: https://plus.google.com/110181959253415840755/posts/7y2s5e9S...

I also leave some responses on that post.
yt, thecheat, raven
So, the "solution" is to have your users set up a .forward-filter that pings a web service on new mail? Then have a really simple status server that simply replies with number of new mails since last check (or something along those lines...) - and have your email client poll (and reset) that counter... would give a few false-positives, but probably be better than having to poll an actual (variety of) IMAP/POP3-servers.

(This obviously won't work for most end-users, sadly)
/Just like most other religious texts, the Vedas don't stand up to modern science and rigor/ -- There is no such thing as modern science. Its the same universe that existed billions of years ago and with our "thought process" we are able to understand it better (compared to what was written in the past) and are calling it modern now. Go forward 100 years and look back at current science. What is it called as now ?

/dividing india into castes by religion/ -- This is completely humans fault. What Bhagavadgita explained were the variety of things people do to get tired/frustrated in this place and get enlightened. Look at the meaning of division without the caste mirror. You see the same set of things happening everywhere in the world. a) People who are good at protecting others b) People who are good at taking care of the mess created by others c) people who are good at providing things to others c) People who are good at understanding things and sharing the knowledge with society. At some point, this whole thing got misunderstood, misinterpreted and exploited for ones selfishness. We are paying the price now. But, the same things explained still holds true everywhere in the world.
Thank you so much! Unfortunately my [super init] thing is now wrong—Apple has modified the runtime and actually reserves the right to change the object returned by [super init] from the object you allocated.
/r/seduction itself is the condensed version of decades of literature on the subject, much of it better than the watered down version you get there.
"Try making an app that runs on the Galaxy S2, the HTC One and the Nexus 4. Then make one that runs on the Galaxy S, the iPhone 5 and the Lumia 720"

What an absurd argument. There's a difference between platform fragmentation and having industry competitors. The fact that there are other mobile OS's does not reduce or negate the fragmentation within Android's ecosystem.

As for Android "by definition" being a "defragmentation platform," I think you're drunk on Koolaid. Android's operator-indulging multi-platform strategy makes it the very definition of fragmented.

The fact that such an obviously blinkered post reaches the top of HN comments speaks volumes for Android fanboyism on HN.
It's so sad that kids with iphones aren't allowed to use phones on tests. They're being tested in an archaic context for archaic purposes. Under what circumstances are people going to be working without internet access? School has a lot of catching up to do with the real world. :(
I bet this lously little "veteran" is going to cry once someone runs over their child at a traffic light. Freedom FTW!
"IMHO work quality is severely underrated in India, everything just needs to be done, the end quality does not matter, it should just work, that's enough" - this fact about Indian software development is well-known throughout the world.
Everything is technical i.e. there is a methodology to doing everything optimally.
Google glass has a really small display on the top right of your right eye. It can overlay maybe 5% of your total field of vision. You cannot even see your hands through it unless you put your hands at a particular angle and distance. The small display is not enough for overlaying the complete field of vision. Why is it so small? Why isn't it a full blown glass with full augmented reality? The answer is power - even the current model of Google glass barely lasts 3-4 hours after heavy usage. With a larger screen, it would last less than couple of hours. So yes, these Minority style stuff is cool and Google is aware of it but they won't happen unless we solve the power issue.

Disclaimer: I work at Google and I wear Google Glass almost all the time.
My favourite Mickens is The Night Watch: http://research.microsoft.com/en-us/people/mickens/thenightw...

"HCI people discover bugs by receiving a concerned email from their therapist. Systems people discover bugs by waking up and discovering that their first-born children are missing and “ETIMEDOUT ” has been written in blood on the wall."

and also

"I HAVE NO TOOLS BECAUSE I’VE DESTROYED MY TOOLS WITH MY TOOLS."
The games were developed on the NeXT but a lot of things were missing. Like, key bindings. And the mouse. And sound. Also, there was no dithering on grayscale machines, and most of them _were_ grayscale back then.

Also, he was just blatting bitmaps to the screen from a simulated VGA buffer he had, so it was quite slow (blatting bitmaps was NOT fast with Display Postscript). We ended up hooking into something called "Interceptor" which was a very early version of direct VMA (and which he'd done experiments with, and turned us on to).

But, make no mistake, Carmack did ALL the heavy lifting here. I in no way want to take credit for Doom or Quake. I just hooked the plumbing up so we NeXTers (and later OS Xers) could enjoy the amazing games he wrote.
No, you're implying women can't sleep with women.
We never saw "DoomEd." In fact, I have no idea what it is. I assume it's a level editor?
>One final note: none of the positive or hopeful things that I said about philosophy apply to the postmodern or Continental kinds. As far as I can tell, the latter aren’t really “philosophy” at all, but more like pretentious brands of performance art that fancy themselves politically subversive, even as they cultivate deliberate obscurity and draw mostly on the insights of Hitler and Stalin apologists.

As someone who regularly rereads about the Sokal Hoax for laughs, I had to stop myself breaking down here.
Except that standardized tests are reused, which is another difference from real life problems. In real life, you're not always solving a problem that numerous other people have already solved, and posted solutions to.
> Also, as a person with ADHD who takes Adderall I don't see what the big fuss about it as a drug/medicine is.

> Over diagnosed? Sure. But I don't see why this drug is so demonized, where nicotine, alcohol and caffeine are just kinda standard parts of society and accepted.

the fuss is about the pharma industry spending millions upon millions on getting ever more people to take these meds. and for the wrong reasons.

“Medicines may make it easier to pay attention and control your behavior!”

"Adderall XR Improves Academic Performance"

these are statements that hold true for EVERYBODY, and not just for people suffering from adhd. that's what stimulants do. the pharma industry is basically trying to get as much people as possible (especially children) hooked on legal stimulants. that's what the fuss is about. it's like marketing opiates as drugs that 'take the edge of'. everybody could do with some of that. most probably on a daily basis.
HN does have a vote ring detector (or so I'm told) but I have a theory on how people avoid it:

You only need 4 or 5 quick votes to get to the front page, from there the submission will probably get organic traction.

So you need a network of 100 or more people who upvote each others submissions, but won't upvote if the submission already has enough votes to hit the front page. This way it's unlikely it will be the same subset of your network upvoting your story each time, making it much harder to catch.

Having said that, I have no such network, but have a few submissions reach the front page, one even spent a day at the top, so it is possible to get to the front page with out cheating
It's nginx, so it could be a (possible compiled) lua script running directly in the nginx process, would that count as being the web server itself? The message itself is rendered by your browser or rather your video driver, etc. Who you are is a difficult question, not only for humans ;)
It would be nice to hear from him how often he executed "inside" NBBO. That's easier to do in spread trades than in simple puts and calls.

Also note, he said he was acting as a MARKET MAKER.

E.g. let's look at where a particular AAPL option closed on Friday:

AAPL131221C00550000 9.65 bid 9.85 ask

Another, bigger difference because it's further in the money:

AAPL131221C00500000 54.15 bid 55.20 ask

Another, bigger difference because it's further out in time:

AAPL150117C00550000 bid 65.50 ask 66.40

The market maker buys at bid, sells at ask. If he can do that thousands of times a day in a thousand different securities, the profits start to add up.

Doing this in options means the market maker needs to be quite nimble, even more than with stocks. This is because he's buying or selling a DERIVATIVE and the UNDERLYING security can change in price quite quickly.

But that's why these guys buy fast computers and why they pay smart people the big bucks to write software for those computers (and to e.g. program FPGAs for high speed trading).
London SICP Study group - review session 19 Dec, weekly sessions on ch2 in 2014
Plants Won't Grow Near Wi-Fi Routers, Experiment Finds
It will never happen, if one looks at the history behind common OS for mobile devices.

Carriers and handset manufactures have too many interests into product differentiation.
> I'll take responsibility for my life and you busybody do gooders can fuck off.

Those 'do gooders' are also the ones that advocate changes to traffic laws to accommodate cyclists, and sponsor cycling lanes, to make the environment safer for your pursuit.

Do you want them to cease that, too?
Look, I disagree with gwern here, but after reading your third sentence I immediately downvoted you. Don't call people stupid idiots.
Googles appengine datastore will suggest indexes, but it's rather bad at it IMO.
I would like to know what you think about http://en.wikipedia.org/wiki/Srinivasa_Ramanujan

Nearly all of his findings were without proof, so what are you trying to imply here?

And about astrology, they did know about the Arundhati twin star system, so they did know something. While you are at it, blow your minds and lookup the fact that they gave a measurement of speed of light in Mahabharata.

It's not about nationalism. No offense, I don't know you but you kind of sound like all those Indians who just have to look down on everything Indian.
I did not call it gibberish. I said it was gibberish TO ME. Which is a big difference.

Chapter 2 lost me at the point where infinity-groupoids entered the game. Until then everything was easy to understand. From then on I would have to seriously sit down and work with the book.

With regard to constructive criticism: I told you what I want, make it easier to understand, and tell me what the value is for me (a non-constructive classical applied mathematician / programmer / engineer). Yep, I did not tell you HOW to get there. I see how that can be annoying for a constructive mathematician.

So, maybe you can tell me: Why should I care about the univalence axiom as a non-constructivist ?