skysight-inc/HackerNews huggingface dataset:
I don't know if this answers your question.

I feel like it is about enumerating the possible states your program can be in. You could model it in TLA+, which is about Temporal Logic of Actions; a good fit for modeling the happens-before. There are some nice visualizations associated with a checked model:

https://www3.hhu.de/stups/prob/index.php/State_space_visuali...
I have used Vim, and I still use Emacs (Spacemacs), but a lot of the time, I just start up nano or leave it running for quick edits. I find I am in nano several times, and only sit with Emacs for coding because I don't like to leave Emacs running in the same way I can with nano.
Computer Modern on modern displays looks very good (even plain ones, not just retina and such). It's totally possible to use these fonts for websites, for example.
Imagine if ﷽ was sized to a monospace font.
No, but "I donated $10 3 years ago and you guys are SLOW at responding to my queries!" is an incredibly common attitude. Open Source has shown that it's a far superior development methodology, but there is definitely some negativity associated with "expect stuff for free"
http://resetplug.com/ among others.
> Second mathematical symbols, consider the case were I get a text file considering mostly of ASCII 7 and some mathematical symbols which may render as mathematical symbols or as Chinese characters, since there is no way to specify the encoding in a text file and so I have to guess the encoding.

What does that have to do with Unicode adding anything? Are you really claiming that if we threw out Unicode like you recommend, and (if I'm understanding your point correctly) choose an encoding for the new version that looks nothing like ASCII the encoding mess would get better? I think continuing the migration of most transmission of text to UTF-8 and explicitly specifying encodings for everything that needs to stick with Latin-1, etc. is a better option, unless you propose codifying the new encoding in law to force adoption.
F# has exceptions. It's a tool that has it use at times, but they are in essence a goto
Seems like German government wants to ban every energy source except for coal.
After PC, the crowd wants to create the perfect smartphone
> It would've been too unsetting for Apple's images as a luxury brand to let people realize that somebody remarkets truckloads of used ifones from dumpsters every day.

If they were worried about their image in that regard, then maybe they shouldn't have made products that people would throw away after 1 or 2 years.
Any time you ask for money your job changes. If you just want to work on an open source project, you're a developer. If you want people to give you money for your work and/or the results of it, you're a marketer.

So there's nothing new, just google "marketing" and start learning. It will take some or all of your time and there will be a learning curve.

You will also have all of the problems of marketing, like not having any idea if the idea itself just isn't worth money, or if you yourself just haven't figured out the right pitch to the right audience. You'll have to think like your customers/donors, instead of like yourself. If you take it at all seriously you'll start to wonder if you should keep working on what you like or switch to working on what people will exchange money for.

For example, the software that forms the infrastructure of the internet should be an obviously easy pitch for money to support development, or at least QA, but the OpenSSL project got like $2K https://en.wikipedia.org/wiki/Heartbleed#Root_causes.2C_poss...

The only way to get money is to hustle.
> Then why does Apple avoid paying taxes?

Because they're a publicly traded company who act in the best financial interests of their shareholders. They're not breaking any laws. They're playing the game by following the rules as best they can while maximizing their profits. Any for-profit company that does not do so is suicidal.

If you think what they do is wrong - campaign to fix the laws they are following.
> And we won't understand how they work

Is this a critique of the human mind or a praise of AI?

> When all ML work is done we'll have great pattern recognizers but nothing remotely akin to thought

Maybe our brains too are nothing but pattern recognizers. Maybe they are nothing but chemical reactions, or energy fields. But being reductionist about AI won't help us understand it either.
It makes it harder to find the "OFF" button when it's marked "ON"
It's really cool than these things can happen. Still, I can't help but feel like, in a couple of centuries, Unicode is gonna be a goddamn mess.
Responsive websites will drive future growth
An exception is a noisy failure, and the supervisor is whatever try/catch that it bubles up to. Still, Erlang style has it's own complexities. It is in essence a network of micro services, and creating that overlay network and manuvering in it isn't simple.
On Android N with Chrome 51

http://m.imgur.com/tKnyPad
That is pretty funny, I wrote the code for that blacklist like 5-6 years ago when Thumbtack was being hammered with spam requests from China and India. I thought it only blocked POST requests, though maybe my memory is wrong or they have made the block more expansive in the meantime.

Anyways there is a version or ABBA usable on github or you can always get the source and run it locally:

Source: https://github.com/thumbtack/abba

Demo: http://thumbtack.github.io/abba/demo/abba.html
That was enough : )
I think most nano users will end up using the one shipped with their distro, which means that the choice of fork will mean a lot for usage statistics. No one is going to go out of their way to install the best nano fork.

With vim/emacs you'll have super opinionated users and they will make sure that they use whichever is the best/most stable version, but in this case I really think politics plays a much bigger part.
I love Jeff Minter, and have bought a bunch of his games on iOS. But I'm not sure he really embraced the limitations and controls of touchscreen devices. The games I have feel like they would have been much more fun on a large screen with a joystick.
Launching Google AdSense Labs – The Home for Betas
I didn't dispute that. I just state that trying to remain compatible for the sake of being compatible is a great way to design a convuluted and difficult to understand standard.
Slightly off topic; but does anyone have any resources that go into a higher level detail (I'm not very knowledgable of low-level programming type stuff) of how an audit like the one done on TrueCrypt or a hypothetical security audit on the iOS kernel works? How can anyone know with that degree of certainty that software is secure and someone else won't find some exploitable bit?
Indian space agency (ISRO) launches 20 satellites in single launch
What's the IBM group symbol? I can't find the words IBM in [1].

[1] http://www.unicode.org/charts/PDF/U2B00.pdf
Hi forgot about HiPE :-)

But it doesn't produce a native binary, does it?
So they are not altruistic. That was all I was saying with my rhetorical question.
Strangely enough some laptop manufacturers prefer to have a dozen models of the same laptop instead of just letting you straight up choose a base model and let you configure it.
I supported Apple's stand against the FBI, but believing it's purely altruistic would be simplistic and optimistic thinking at best. When safety and security are your perceived selling point, it's the best PR you can have. I'm not entirely sure about the validity of this nytimes article [1], but if we believe it, Tim Cook had asked FBI to submit their request 'in private' - but FBI did it openly, so Tim Cook 'had to' become the privacy crusader.

[1] : http://www.nytimes.com/2016/02/19/technology/how-tim-cook-be...
Our github account is here: https://github.com/PeARSearch/
We are not yet release ready. We plan on making our first release later this year. Please feel free to hangout at our IRC channel: #pears on Freenode.
We are at a very early stage of development and we have got a lot of work to do. Any kind of contribution would be highly appreciated.
Meh. Writing isn't his day job, and it's really not all that badly written. There are many brilliant people out there who aren't brilliant writers, who are worth listening to none the less.
I am fed up with OOP languages for now and Elixir itself as a language just "clicks" for me, like Ruby did years ago. I worked with dozens of languages in the past, and only very few of them made me outright happy while reading/writing:

Ruby (earlier versions), Elixir and more increasingly: Rust. Others have advantages, too, but finally I value my own happiness higher than individual features. It's an emotional thing.

This aside, Elixir already maps to the way I think about problems, with pattern matching, piping and OTP it is a breeze to translate (or: "streamline") complicated business requirements into "sequential" code that is very easy to read, write, test and maintain.

For me, any task that software should accomplish is basically a initial state, a target state and I just have to fill the gaps with the needed transformations in between, mostly sequential but also some in parallel. So:

result = state |> func |> func |> func |> func.

and every "func" is defined for special cases individually through pattern matching on its arguments. It incredibly clean and easy to understand how stuff works even for curious non-tech stakeholders.

With the old OOP systems you can "model things" in different ways and then define interactions between. This works also, but is way more complicated in the long run IMO.

As I said, Elixir is quite a perfect language for me. Its just that the occasional raw computation tasks are slow. Something like NumPy/SciPy to call into would be a major improvement here.

Not only this, but actually Elixir (and Erlang) is a incredibly cool language to learn AI concepts because of the way how OTP works, especially when grasping ANN. For general ML techniques the language itself is very great, but ... slow.
Any benefit to writing a message as a mix of 2 languages before encryption?
> Unless it's a symbol one uses in a sentence

"To start the device, press the ⏻ button on the device face"

There, used in a sentence.
>One number I've heard cited is that one track mile equals three street miles

That is most certainly wrong, depending on how you drive on the street, unless you're the guy/lady in the 5,000lb SUV flooring it and slamming on the breaks between every stop light then maybe. I have some experience with track cars, even a long time ago was involved in Allison Legacy racing--those cars use an engine straight out of a Mazda truck. I can tell you, when they sit all week and you do nothing but race them on weekends, they don't put out even 1/3 of the miles they would as a well-maintained road car.

>Sports cars" (Miata, Corvette, whatever) are going to be like any other street car in terms of longevity

Miata's are reasonably reliable, but Corvettes most certainly are not. Ferraris and Lambgorghinis used to spend more time in the shop than on the road, but they've gotten better. A lot of enthusiasts credit the Acura NSX with that.
The spade symbol[0] is codepoint 9824, the acknowledge control picture[1] (␆) is codepoint 9222. They shouldn't be using the same glyph.

[0] http://www.fileformat.info/info/unicode/char/2660/index.htm
[1] http://www.fileformat.info/info/unicode/char/2406/index.htm
Language aside, the cynicism might not be entirely invalid too. It might be naive to believe any one side of the two (i.e., entirely PR, or entirely for 'the greater public good')
Mobile games are also user-hostile...
That sounds more like a problem of your terminal.

The basic problem is that Unicode characters (which may consist of as many codepoints as you like) have varying width. For instance Chinese has characters that are displayed over a width of two normal monospace characters.

See this hacker news post: https://news.ycombinator.com/item?id=10206380

So the problem with emojis is that they aren't really specified to be full width or half width characters: https://ianrenton.com/blog/adventures-in-emoji/
The ones that ship with OS X 10.11:

$ otool -L /usr/bin/nano
/usr/bin/nano:
/usr/lib/libncurses.5.4.dylib (compatibility version 5.4.0, current version 5.4.0)
/usr/lib/libSystem.B.dylib (compatibility version 1.0.0, current version 1225.0.0)

$ otool -L /usr/bin/vim
/usr/bin/vim:
/usr/lib/libncurses.5.4.dylib (compatibility version 5.4.0, current version 5.4.0)
/usr/lib/libiconv.2.dylib (compatibility version 7.0.0, current version 7.0.0)
/usr/lib/libSystem.B.dylib (compatibility version 1.0.0, current version 1226.10.1)
Java: Ignore Checked Exceptions, All the Cool Devs Are Doing It
Only paranoid founders survive
Let's not forget that in the US your shareholders can sue you, if they think you are not acting in their best interest.
In the name of god, that has to be the most complex glyph I have ever seen.
Architecture of Node.js’ Internal Codebase – Yet Another Node.js Blog
Use the glyph "OFF" for off.

Seriously, equipment has been marked ON and OFF for a hundred years. Is there any evidence anyone was confused with this more than with O and | ?
Is it? Couldn't Unicode have pointers or links, where a codepoint "exists" with no content and only links to another?

(I don't know anything about Unicode, so maybe it already has that.)
Don't forget #5: detached, morbid curiosity combined with depraved abandon.
> Still 16 bits would not be enough, it's only 65536 different code pages, less than half of what is currently in Unicode.

But that's only because Unicode has significantly ventured well beyond what we consider to be text. The BMP is enough to represent all text (including math).
Try looking up han-unification and its justification and you'll see the exact opposite approach to encoding characters into unicode.

For CJK characters, they unified all semantically similar han-characters, even when they have visual forms that are quite different between Japanese, Chinese and Korean.

If you want to write Japanese and Chinese in the same document, you need to mark up the section to tell the system that renders it, to render different visual forms for similar codepoints depending on whether they are used in Japanese or Chinese.
Folding the Universe Part I: Functional Java
Dear Google: If you fuck up Webpass, you're dead to me.

p.s. I'm watching you: http://i.imgur.com/rS9LGZ6.png
ASCII is only 7 bit so UTF-8 is fully compatible, at least when compared to ISO 2022 and other similar horrors from the same era. Are you thinking of other encodings?
If you're after performance, a shifter cart, well... especially a super kart will beat 99% of anything Ferrari and Lamborghini have produced, on almost any track. Superkarts even hold the outright lap records on some tracks, over F1 cars even.

Shifter carts are reasonably cheap and they're a hell of a lot of fun and adrenaline. If you truly like racing, that's where a lot of the F1 guys start their careers. Not the safest thing in the world, though. Spec Miata is way more tame, relaxed and safer.
How to Play Chess Game with Facebook Friends
> How useful is it to standardize hieroglyphics, ancient greek musical notation, and emojis as standard text characters esp. without standardizing their screen representation?

In the same way it's useful to standardize letters in various alphabets without standardizing their screen representation. There is semantic content associated with each of these symbols that persists even if there is significant variation in how they are presented. Of the ones you list, emojis are the only ones where this is any more a problematic approach than it is for letters in various alphabets. And as people who don't approve of Unicode adding emojis like to point out, emojis aren't that critical so having some loss in the translation isn't a huge deal.

Remember that before emoji standardization various cell phone manufacturers (particularly in Japan if I remember correctly) started using codepoints for whatever they pleased. The alternative to Unicode not standardizing them was to have a repeat of the OEM font gold rush in the SMP.

> styled math letters (which would have been equally well served by simply rendering them in italics or in a special math font)

That was my first reaction as well, but there are a few problems with that approach:

* Math italic characters look very different from normal italics, and are shaped and kerned very differently because they are commonly used for single-letter variables which will be juxtaposed together in expressions. If your goal is to be able to preserve some math formulas in a purely line based text format, preserving this aspect makes a big difference in readability.

* Many of the math letters and "letter-like symbols" have associated semantic content (like bold for vectors), which it makes sense to preserve. MathML alleviates this to a significant degree but I don't believe these codepoints were intended only for MathML usage.

* On the technical side, OpenType math fonts need to carry associated metadata for many of these characters. Putting them in separate fonts complicates this, since these tables need to refer to glyphs (general codepoints are unsuitable in a number of cases) and each font file would have a different glyph address space.
Twenty years of free software – part 3 myrepos
Jonathan, I would disagree about the generality of the games being generally garbage.

The parallel on the PC side of things of games that have recurring revenue sources lies in the spectrum of WoW / Dota 2 / TF2 / League of Legends to little known asian market MMOs where you buy xp boosts.

The top grossing games are played by a lot of users who play a lot. Similarly, the top titles on mobile have very repeatable revenue sources with high retention rates. I can't blame companies and businesses for investing in predictable revenue streams.

Now without a doubt there is a point of conflict between long user retention and addiction, and the drive to maximize LTV can be taken too far, but I don't think this is happening to most games. As an example, Farmville (2) is a well crafted experience in terms of mechanics, art style, pacing and progression for what it is trying to achieve. I can appreciate the work and thought that went into the game.

I can also similarly appreciate The Witness and I was happy to pay $40 for it. I appreciate the game for different reasons and different set of skills in game design and story telling and pacing of challenges. I love games all about gameplay -- heck, I spend time playing a pure maze puzzle game ( http://www.pathery.com/ ) that about 300 other people play. But this does not stop me from appreciating and respecting the game design work and decisions that went into making the mass market IAP driven games.

I might disagree with the long term reward-loop design of some of the titles, but I would not call them garbage.
I wonder whether Java will get displaced by Swift on the server at some point. Anyone want to place bets?

No garbage collection, so no GC performance hiccups. No explicit threading for easier concurrency.[1] Optionals for protection from null pointer exceptions. These are 3 of the biggest problems in server-side Java programming, I'd say. That's before we even get to the elegance of the syntax.

[1] https://developer.ibm.com/swift/2016/02/22/talking-about-swi...
There are two major cases: academic, related to algorithm design and industry - related to deployment of already existing algorithms on various data sets.

For a CS engineer who wants to be able to use the latest Inception neural net from Google in his pipeline, there is actually almost zero math need. It's like any other API. In goes the image, out comes the label.

What she would need to know, as a good utilizer of ML, is just a bunch of concepts, such as training/test/validation, bias/variation, how to extract features from data and how to select a good algorithm and framework. So it's mostly data cleaning and tuning hyperparameters, the latter of which can be learned by trial and error and by talking to experts. The direct applications of math for such an engineer would be pretty slim to nonexistent.
I think this is a test for our species here on planet earth before we level up on technology. We have to be able to have a certain level of self-control or we're going to destroy ourselves and go back to the stone age if we can't handle the power that comes with advanced technology. So far, we've been able to avoid nuclear annihilation, so there's some hope.
Here is a video of a supposedly low-yield nuke used for a targeted attack on an underground base:

https://www.youtube.com/watch?v=OTE_Eshm2xw

(I say supposedly as the only articles about this as on conspiracy-theory sites, but it looks pretty realistic)
Are we in a "textland" or a "systemland" when we have these symbolic conversations on HN across space and time?
The Nuclear Spear: Casaba Howitzer
There is a lot in the pipeline! I'll be talking more about it soon.
Good PR is sort of like a Turing Test of being a decent human being; it cannot be differentiated from being a reasonable person.
Right, although "Turing complete" is a red herring here, as we can't generally verify the behaviors of programs written in most non-Turing complete languages either. I wrote in another comment that if we place computational power on a scale and put Turing completeness at 10 and FSM at 1 (0 being no computation at all, i.e, return the input), then the computational power that we can always generally verify would lie somewhere between 0 and 1. Even FSMs are PSPACE-complete to verify, meaning we can only generally verify small ones (which is why software verification isn't about finding a language in which all programs are tractably verifiable -- as it is unlikely that such a language would be very useful -- but rather to try and verify specific programs that form a small subset of all possible program, regardless of the computational model of the language they're written in).

So the general intractability of computation is essential and far from limited to Turing completeness. If you find this subject interesting, I'll be giving a talk about it next month[1] (it will be recorded).

[1]: http://curry-on.org/2016/sessions/why-writing-correct-softwa...
Here is another example: https://news.ycombinator.com/item?id=11155203
For a seamless experience, use Facebook social plugins.

http://output.jsbin.com/nujepulezu
Samsung has quite a bit higher smartphone marketshare than Apple [0]. I wouldnt be surprised if Apple has the highest single device marketshare, but they also offer less products than Samsung.

[0]https://www.idc.com/prodserv/smartphone-market-share.jsp
I think 'a' is actually append. I think 'i' (for insert) is the correct way to start typing.
Extract and solve Sudoku from an image
The group mark will be U+2BD2. For details see https://github.com/shirriff/groupmark
https://en.m.wikipedia.org/wiki/Biangbiang_noodles#/media/Fi...

Biang from Biang biang noodles is also fairly complex (though not supported by Unicode)
It's not easy to decide either way. I recently advised a women's rights organization in a similar matter: they were poised to publish a scathing (and somewhat stupid) indictment of islam with regards to women's rights. It's obviously a minefield, with popular opinion divided almost equally.

You have to judge the intensity of emotions it will cause in people, the propensity of people to act on those emotions and the base desirability of the different groups.

In this case, they rightly passed on the 'opportunity' because it seemed as if the people who would agree were unlikely to donate to women's rights in the first place (and vice-versa).

(And because their employees threatened to collectively quit)