skysight-inc/HackerNews huggingface dataset:
I love it! Great design and should be very flexible to create simple functions through linked numbers.

Is it really a good idea to allow 96 + 15% though (at 0:45)? Might cause some problems for people learning maths, as it won't work on normal calculators and doesn't really make it obvious what percentages actually are.
Another way to look at it is that if there are no bounties, then the company may not have security issues high on its priorities list.

I'm not saying it's true, but it's plausible that some people in Egor's position think that way. And he seems to like his publicity, so 1+1 = 2.
cbeach 17 minutes ago | link | parent | on: New Android and iOS "fragmentation" charts are jus...

"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.
Made with ♥ in Paris: A collection of Internet companies made with ♥ in Paris
But they will change soon enough. It is just that IE8 is the ceiling of Windows XP, which is end-of-life in 4 months. If that does not convince, the bad press of all the vulnerabilities that follows, will.

Another driver: ipads and chromebooks are taking over.
OpenPDS architecture
Can we have something other than jingly guitar music for tech videos?
I must be missing something. You could trivially wrap HTTP around NTFS files, and stick whatever header metadata in an alternative stream. I don't see how this solves anything at all about what Hal talks about regarding integrated storage. How does HTTP solve even the simplest of problems that the articles talked about? Such as a photo being in multiple collections?

As an aside: Your statement on XML versus JSON seems confused. XML and JSON don't require schemas. XML allows it, and JSON has multiple (IIRC) contenders to specify a schema. Because as it turns out, people dislike having to write boring boilerplate code by hand and would prefer a system to specify common things. (And eventually JSON'll come full circle with something similar to WSDL.) JSON's popularity is half JS, and half because XML foolishly requires the tag name in the closing tag, bloating the size, and half due to overly-complicated uses of XML, especially namespaces. Sane use of XML is identical to JSON, except requires more space.
Datawind launches low-cost 5-inch phones; prices start at Rs 3,499(57 USD)
It's not an explicit requirement, but you definitely need to test your app with an external keyboard to polish the experience.

Here's a couple of situations that can get you when supporting an external Bluetooth keyboard:

- Input accessory view. If you use an input accessory view (bar that sits atop the regular software keyboard), then connecting an external keyboard will cause the software keyboard to hide but keep the accessory view on screen. This is great — but if you had any controls underneath the keyboard (especially on iPad) that required the user to dismiss the keyboard to get to them, then you have to build a way for them to 'dismiss' the keyboard when using an external keyboard.

- Custom keyboard. You might build a custom keyboard for your app. Connecting an external one will not show your custom keyboard. You'll need to ensure that functionality is still provided when an external keyboard is connected.

There are a few other things like making sure your keyboard view resizing code is robust enough to handle all the possible state transitions ("no input -> software input -> bluetooth input", or "no input -> bluetooth input -> software input", and so on).

If you're just using a standard text view you probably don't need to do anything special. But in this case Tydlig seems to do a lot of special stuff and probably required a bit of extra work to get Bluetooth keyboards running without issue.
Huh?! The "duplicates" in decoder ring you mentioned, are actually different letters that differ in their sound. I commented about it elsewhere in this page.
I am currently in Year 13 in London. You are definitely allowed TI in the mathematics exams (A-Levels).
TI-89 is one of the only that is banned because of its CAS.

Friends in the French system are allowed the TI 89 though.
Can you explain the types of lock-in that might be faced a little more? I understand that once you hold some stock with them they might introduce fees prior to you selling it, but I'm assuming you have something more in mind.
This looks much worse than symcalc.

SymCalc has pretty much all the functionality of a TI-89 including solving calculus and algebraic equations.

Tydlig looks like it has a nice ui but it doesn't even seem to support variables....
Interesting. I am rather sceptical about the likelihood that this will lead to concrete, useful results. But the discussion and explanation from the author in the site's comments convinced me that it's a question worth exploring and she's doing it with an open mind and full understanding of the concepts she plans to challenge.

There's ample precedence in math and logic for ideas that seemed foolish at first glance but turned out to lead to fruitful results. My favorite example is imaginary numbers: just ad something that in your previous system is impossible to its axioms, and it turns out to be not only logically consistent but also eventually to have practical applications.
Great anecdote, I love the way he ends this post!
I have been asking myself the same question - they tried to explain it but I didn't really understand the point to be honest. From what I get SQL was what they first pursued, but gave up at some point when it became clear that it wouldn't be ideal for their use case of a multi paradigm database (document as well as graph database). In general I agree that when developing a new product, it's good to question everything rather than blindly repeat what everyone has done for 20+ years. I'd love to read a blog entry about this decision though.
Imagine playing Street Fighter with that!
> our "thought process"

Yes, that's what modern science refers to, the thought processes we use to determine what's true. Going back a while, Aristotle "reasoned" that women had less teeth than men. Such reasoning isn't accepted these days. The same science is what rejects most other religious texts - it does not stand up to current requirements of reason.
CEO Responds to Nun's Urging a 'Politically Correct' Board Make-up (1996)
Is there a name for people who go through this kind of life trajectory? I want to know if there is some kind of consensus on how to snap out of it.
CrunchBase Reveals: The Average Successful Startup Raises $41M, Exits at $242.9M
After http://en.wikipedia.org/wiki/Depopulation_of_Chagossians_fro... it looks worse than most naturally suspect unfamiliar country codes. The non-elected government seems to be run by dishonest scumbags who quietly deported all the natives to set up a military base. The people who run Guantánamo are allegedly under US jurisdiction but I wouldn't risk buying a domain from them either, because what would I do when they screw me over?
To be clear, constructive mathematics are new to me as well. The section in the introduction titled "Constructivity" may help you -- it is about trying to come to grips with the constructive nature of type theory. The short answer is that much of the mathematics that we might want to do does not require the law of the excluded middle or the axiom of choice at all when approached from a type-theoretic point of view. Higher inductive types eliminate the reliance classical logic will frequently have on either of these. To quote an example from this section, "In set-theoretic foundations, the statement 'every fully faithful and essentially surjective functor is an equivalence of categories' is equivalent to the axiom of choice. But with the univalence axiom, it is just true; see Chapter 9."

The emphasis that you are placing on the fact that type theory happens to be a constructive logic is perhaps causing you to miss the point. Homotopy type theory is not about advocating constructivism. The "big idea" is that HoTT is a foundation that computers can already reason about easily, based on the work that has already been invested into developing sufficiently powerful dependently typed languages (Coq, Agda). Because it is possible to formulate set theory, category theory, and even real numbers (all discussed in part 2 of the book) within the framework of homotopy type theory, it should be possible to extend these formulations to encompass more and more results from the rest of the mathematics. Because HoTT has already been shown to be implementable (in the form of a library for Coq), this means that any math that is done informally under homotopy type theory can be carried directly into a formal, machine-checkable series of theorems and proofs, in the form of a Coq development.

To expect this material to be readable and useful to every average Joe right away is asking far too much of any new idea in mathematics. This is cutting edge research, and there is still too much even the people closest to this material don't understand yet. As another comment on yours alluded to, at one time your equivalent in the 1700s would have written off calculus as indecipherable and judged it not likely to succeed as a result.
I had a hard time understanding this article, so I looked up some German resources and also the original letter linked in the article. Still, the sum is still confusing. Here's what happened:

1. This swiss company got the home addresses of the people by deceiving the court in the first place. They suggested that the people in question were using a file sharing platform, not a streaming website (former is illegal, latter is not).

2. Then, they sent thousands of cease-and-desist orders to these people, claiming that "streaming a video" means that you store a video temporarily (or permanently) on your own device, which is infringement of copyright (and utter bullshit, because it isn't according to German law).

3. All in all, they probably got a few bucks out of this trolling, but they are unlikely to be successful in court, because it is not illegal in Germany to consume copyright protected material. You may not provide it (upload it). This would be illegal. But this didn't happen in the first place. The people who should get a cease-and-desist order is RedTube for uploading and streaming copyright protected material.

All articles also talk about this weird software "gladii 1.1.3" without talking about how this software can collect IP addresses in the first place, if you connect to a server (RedTube) and not to a bunch of random peers.

Edit: Clarification in 1.
"Operating System" is certainly a ambiguous term these days. Two Android-based software systems can differ in user interface, applications, file systems, performance, interaction design and features. Compare Amazon's FireOS with Samsung's Touchwiz with Motorola's Moto X software: Here we have different industry competitors competing against each other. The only special position that iOS has in this scenario is that it is not binary compatible with the others.

Android did certainly not fragment the market. There were thousands of devices with incompatible software systems out there before Android came along. Android is not responsible for all the companies and form sizes and UIs and operators. These were all there before 2008. Android just made it possible for developers to target all these devices with the same codebase.
>Everything you don't take responsibility for. Everything you don't see as your own failing ... you have no control over and are destined to suffer under its yoke for the rest of your life. And no drug or doctor will fix it for you.

It thus follows that the responsible way to bake an apple pie is to take over the universe.
"long forgotten" as in still receiving very regular updates to key functionality, but just not in the way that you would (for no obviously expressed reason) prefer?

I've been seeing this expressed since the days of eclair, it was kind of audaciously false then, and its only got less true since.

Now we're at the stage were you can claim your phone will soon be "long forgotten" in one paragraph, admit that Google provides updates for core functionality via the app store in the next, then claim your device can't "evolve" in the one following that.

If you want to complain about OS updates, that's fine. But claiming devices are frozen in time when they leave the store is insane. The very definition of a smartphone is that you can install and update apps on it. The ecosystem around Android has been growing faster than anything Google could achieve alone.
The way I read this, this _is_ a problem with SQLite (somewhat). Both schemas limit the length of graph names, but SQLite ignores that part of the schema.

One can discuss whether it is a good idea to have that arbitrary, low limit, but that is not what this is about.

I agree that there are plenty of reasons to use SQLite in production. IMO, the conclusion should have been that one should run the same database in development, test, and production.
> As far as I know, almost all people taking medications for serious mental illness suffer serious side effects from them, that's just a fact.

EVERY drug can cause side effects. and it seems that drugs meant for treating severe conditions, also have the most severe side effects. e.g. take a look at cancer medication. these meds are for a very serious condition, and simultaneously come with some of the worst side effects i know of. but the thing is, they can help. they can save lives.
the same is true for psychiatric medication. psychiatric conditions often show drastic mortality rates (25%-50% of people diagnosed with bipolar disorder attempt suicide at least once, with of course many succeeding[1]). and there are plenty of other such disorders with very high mortality rates.

In people with schizophrenia less than half (41%) showed any therapeutic response to an atypical antipsychotic, compared to 24% on placebo..

numbers like these may seem low, but looked at alongside the mortality rates of many psychiatric disorders, these numbers can save A LOT of lives.

[1] http://www.ncbi.nlm.nih.gov/pubmed/10826661
I don't get it. Why is visiting said website something illegal that should be paid for?
It's the size of a (female) connector.
Honestly I think that there's nothing national in this. It's just because the majority of the development work in India is being done in outsourcing. When you outsource you rarely pay for 'quality code', you pay for the code that works, delivered on time and preferably below the budget. Okay, you get what you're paying for.

Having said that I realize that this is a vicious cycle - young developers can write good code, but the market requires them to quickly crank up a lot of code which is just good enough to satisfy customer's quality requirements. In few years this developer is not able to write good code because he basically forgot how to do that.

Want to improve the quality of code from India (any other country for that matter)? Stop outsourcing there :-)
Although you may personally have considered purchasing this calculator on Android. I think he was hinting at the fact that an IOS user is more likely on average to purchase an app and pay a premium for it, hence being more lucrative for developers even with less market share.

"the App Store generated 2.3x more revenues than Google Play."

http://www.theguardian.com/technology/2013/aug/01/android-ap...
There are some great slides by Liam O'Connor that draw the link between first-order logic and Martin-Löf type theory here:

http://www.cse.unsw.edu.au/~liamoc/talk.pdf

They were presented at fpsyd.
See my comment above. It isn't. They deceived the court to get addresses of people and then sent letters to people to scare them and make a few bucks. It doesn't hold up in court.
Although the learning pyramid may be accurate, the research on which the figures is based has either gone missing or never existed.

The given source is the National Training Laboratories in Bethel, Maine. However, they happily admit that they're unsure how it came to have figures.

"Yes, we believe it to be accurate - but no, we no any longer have - nor can we find - the original research that supports the numbers. We get many inquiries every month about this - and many, many people have searched for the original research and have come up empty handed.”

http://www.virtuala.com.au/essays/learningpyramid.html
He meant 4.1/4.2/4.3/4.4. Obviously there are huge differences between 2.3 and 4, and even 3, which barely existed anyway.
Thank you!

A little off-topic, I like the idea of seeing AI research as an industry, and looking at institutional problems which make its output worse. Anthropologist David Graeber discusses this in (http://thebaffler.com/past/of_flying_cars) and (https://vimeo.com/41863599).

(The article and video focus on different things; the article's editors removed some arguments about bureaucratic technologies — on the internet, we fill out forms all day — and the video delves more into that.)
This really seems much more like a freeform spreadsheet than a calculator to me. Which is also a cool idea, obviously, but I find it interesting no one else has made the same observation.
Galaxy Note 3 Lite with 5.68in LCD Display Enters Mass Production
While the decoupled Google apps are nice for end users, they don't change that much for developers.
I'd rather be free to use 3+ features such as the holo theme, actionbar, fragments, without compatibility libraries, 4+ features such as transitions, the new roboto fonts, updated json libraries, accessibility, etc. instead of the new maps view and GCM.
LOL! You do realize it's from a book titled "Vedic Mathematics", and not from the Vedas itself? Do you? Did you actually check link at the top of the article linked by OP[1]?

And, why do think it's bullshit? I don't see anything wrong in the "Vedic Mathematics" book. They are a bunch of mental calculation techniques and tricks. I'd suggest to keep this propaganda propaganda to yourself.

[1]http://www.vedicsciences.net/articles/vedic-mathematics.html
Thanks for the constructive advice, will work on the points you mentioned. Glad you enjoyed the post though!
This does not reflect my experience growing up. Have a google of Taare Zameen Par, a movie about what an autistic child in Indian society goes through. I believe it is on Netflix.
If you're interested in Agda Proofs - this is a well written post by Brian McKenna demonstrating that the sum of two odd numbers is always even.

http://brianmckenna.org/blog/plus_equals_even_take_2
For any field, there's always some basic knowledge that anyone studying or practicing it simply has to have if they're going to be at all effective. A well-written test should be checking that the students have acquired that knowledge (which can be much of the course content) and can apply it appropriately to problems.

Anyone with an internet connection can easily find out, for example, how to add together two ints in Java. But if someone took an introductory Java course and couldn't do that at the end of it, then they don't deserve to pass because they've clearly not learned what they were supposed to. If they were actually trying to program something and had to look up basics like that every time they used them, they would be so slow as to be completely useless. Or consider someone with a more time-critical job like a surgeon - they can do specific research beforehand but some level of knowledge (surgical techniques, how to use their tools, anatomy, etc.) is simply going to have to be in their head at the moment they need it or their patient could die.

Also, phones and internet access don't just provide knowledge, they're a way to communicate with everyone else in the room. If you want to see if any particular person has actually learned the material, you obviously can't allow that.
Your second paragraph is incorrect. Many people with ADHD exhibit both attention deficits and contrasting hyper-focus behaviors. When I'm wrestling with a nasty bug in some software I find fascinating I can pick over little details in my differential for 6 hours without taking a break or eating.
> There is no such thing as modern science.

The way we approach and do science has evolved drastically ( http://en.wikipedia.org/wiki/History_of_scientific_method ). For example empirical falsifiability which is one of the primary tenant of modern science is less than 100 years old, but forms an essential part on how we do science now a days.

Parent comment's point being; while we may be trying to understand the same principle/phenomena, not only the data available to thinkers that time was very sparse compared to the present; but also the level of rigour applied was of significantly lower standards. While there might be scattered scientific truth in the vedas ( or any other religious document) ; it is insolent to believe that it is good reference manual for scientific knowledge.
Just an FYI - if you leave the www. off your URL, a GoDaddy page appears.
Google Glass can't. Oculus Rift probably will do it on its final version.
One very interesting aspect is how they got the IP addresses in the first place. There is some evidence that they bought traffic from a traffic broker, redirected that through their on domains and then to the final target.

If it happened that way, it does seem very unlikely that they would have any chance to succeed before a court. They can't prove that the user actually intended to see the video in question, they can't prove that they actually arrived at the target site and saw the video.

Some more recent information in german about this is at http://www.heise.de/newsticker/meldung/Porno-Abmahnungen-Ind...
I don't think this works for typical retail brokers. There's just not enough volume, except for in a very small handful of the most active stocks. Remember, nowadays people expect execution confirmation in less than 1 second.

Now, on the other hand, if you're Getco, you get to see these orders from every broker in the country. If you can trade against that, you can make money even with a bid/ask spread of $.02.

So if you're Getco, (hypothetically, I have no direct knowledge of them, except that they're big in market making) you can go to the retail broker and offer them price improvement.

E.g. in return for the order flow from that broker, Getco fills them "inside" NBBO. Getco bids 36.7001, Getco asks 36.7199. (I get confirms like that constantly from my retail brokers). Getco also gets rebates from the exchanges for "adding liquidity". I.e. NYSE or NASDAQ pays Getco for certain types of orders. Getco can kick back a portion of those rebates to the brokers.

This type of market making (known as specialists on the NYSE) was wildly profitable up until decimalization about a decade ago. Now there are only a few firms left, because the spreads are tight, so the volume needs to be high in order to make any money.

Plus, one bad day because of a computer error can totally destroy your company. E.g. when Knight Capital Group blew up just one year ago and was subsequently acquired by Getco.
Yep, I did Maths A-level in the UK back in the 90s, and a TI graphing calculator was basically a requirement for the exams.
" It is typically used with test-driven development".

Talk about creating confusion in the mind of the reader. They might have applied some of the sold principles to this article and separated out this completely orthogonal concern. This is what annoys me about Wikipedia sometimes. It's full of "editors" hijacking articles to propagate their manifesto of the week instead of just sticking to the subject.