skysight-inc/HackerNews huggingface dataset:
"Opa" is very easy to learn to pronounce, and not surprisingly is used in many languages to get the attention of some of the more important people a young child may need help from. Many many languages use ma and pa/ba for parents, and I'm not surprised that opa is used for other relatives by many languages.

I'm not Korean, but my understanding is one reading might be "Mister Language". Several of my Korean friends address me as "Karl Oppa" or just "Oppa". (Yes, "opa" isn't the standard Romanization, and the word order isn't correct.)

In Korean "oppa" is the word for older brother used by a younger sister, and by extension, an honorific used by a younger woman to show respect for an older man. (When my Korean friends meet someone new, they quickly figure out who's older, even by just one year, in order to figure out who's supposed to use the honorific addresses.)

Imagine if in English, we only used Mr. and Ms. when talking to someone who's chronologically older, and had different forms depending on if the speaker is male or female, and furthermore it was considered very rude not to use the title where appropriate. Oppa is kind of the word for "mister" used by women, but is mandatory in many more cases than would be expected in English.
If I squint, I kind of see two or three hexagonal shapes (or implied shapes), but right now it's little more than a Rorschach test. Let's wait until we get some better images.
Similar https://en.wikipedia.org/wiki/Saturn%27s_hexagon
Look there is no 100% way to keep child pornography off of your site. The only way to attempt to prevent it is have a reporting button on all images and pay someone to go through the moderation or have an automated system that flags images and removes them for you.
It's part of the idea behind basic income. There are two major angles I think: economic and moral.

Economically, there are a lot of costs that are taken out of the system if we implement basic income, everything from means-tested support (the means testing is very expensive and prone to fraud, etc), to crime that you mention, to the terrible and yet unmeasured opportunity cost of still having the majority of the population working in jobs they hate but need to survive. Imagine a world where everyone is working on something they've chosen to do, which they can feel passionate about (and yes, I do believe people can feel passionate about any job that has a useful purpose, including picking up trash, cleaning the streets, and all those other currently low-status jobs).

The moral side is equally important, though. We live in a society where we don't need everyone to work, not even close. A great many people today work in jobs whose only purpose is to exist as jobs, which don't actually have a net benefit to society other than keeping people out of unemployment. Many others are unable to contribute to society because their skills are not in demand, thanks to automation, outsourcing, etc. Those people are currently made to feel morally guilty for not working, their self-worth as human beings is attacked, debased. This is fundamentally wrong, and is the major challenge of our generation: transforming from a society that liberally distributes shame to people who are not in a position to work for money, to a society that accepts that paid work is just one of the activities a human being might partake in in their life, and neither necessary nor the highest.

If we fail at this challenge, the cost will be unrest, perhaps revolution, probably a regression in the progress of mankind.

We have a tough few decades ahead.
Ask HN: Share your favourite bash/zsh aliases
I'll start by adding the most essential.

alias o="open"

alias x="exit"

alias g="git"

alias gs='git status'

alias gd='git diff'

alias g-='git checkout -'

alias serve='python -m SimpleHTTPServer 8000'

alias mem='top -l1 | grep PhysMem'
In that case, this is probably quicker:

for(var i in gamePage.resPool.resources) { gamePage.resPool.resources[i].value = 100000000; }
Even though there isn't a constructive method of generating uncountable sequences, that doesn't mean that this also assumed from within the logic. In conventional mathematics you can also only write down countably many sequences, but the space of all sequences is still uncountable. We don't assume that the set of all sequences is the set of sequences which we can actually define. Similarly in constructive mathematics we don't say that ALL sequences are generated by some computer program, just that YOU are only allowed to generate sequences in that way.

So this doesn't contradict in any way that Cantor's proof is constructive (which contrary to that wikipedia article, it most definitely is).
It looks like you put some serious work into this project but I do not really like the end result.. somehow it reminds me of 90's PHP code.
btw great docs, installation instructions and the landing page
It is wrong to say that it's key novelty is that "Homotopy type theory: extends type theory with proofs of equality in a proper way". This was done already with Martin Lof's type theory, as used in e.g. Agda. Homotopy type theory adds univalence!
This guy [1] made an interactive streaming version.

It's a live feedback loop stream where you can suggest words to influence the dream.

Running on Twitch [2] Very cool.

[1] https://317070.github.io/Dream/

[2] http://www.twitch.tv/317070
I like the idea of basic income, but this does not necessarily need to be basic income. Basic income is a small regular payment to every adult no matter if they have a job or not.

A system where you just pay those that don't have a job a minor income would be enough to stop desperate people from doing desperate things. The reason it makes sense is because the consequences of these desperate acts are more expensive than the payment to stop them from happening
If his threat worked then it doesn't mean he is stupid. The people that were stupid were the ones that took it seriously.
Yeah, look at the bar. Have the guys behind Prenda Law been disbarred yet?
We should go back to calling movies 'movie spectaculars' and TV shows 'TV spectaculars'.
In other words, what you wrote is that every value when negated twice returns to itself. Here's a truth table of 3 values for the negation operator

v | 0 | 1 | 2
--------------
¬v | 1 | 0 | 2

So ¬¬0 ⇔ 0 and ¬¬1 ⇔ 1 and ¬¬2 ⇔ 2 which satisfies the principle of double negation but not LEM. Correct?
The special icon was subreddit CSS added most likely by himself. Give me five minutes and a subreddit and I'll make your username 72px. The admins didn't bless him with a flag at any time.

It's a common meme that violentacrez was "special," had some kind of sway with the admins beyond any other moderator, received instruction from the admins that was unique and not the usual ban threats that many subs get in modmail, and so on. Most people who say these things heard it from someone else, because the actual story is that he was barely tolerated. He even says so himself in your linked thread.

I don't get the elevation of violentacrez to something special. I see it a lot (friendly with the admins! The admins asked him to help with creepshots! it's all over this thread) and I don't get it. He was a power mod. So are hundreds of others. There are a bunch of Reddit yarns that put the Kubrick lunar landing to shame; some of them are making an appearance in this thread.
> Can anyone even point to open, independently verifiable evidence that shows that torture yields good human intelligence?

No, of course not.

The thing that governments find desirable about torture is that you can make anybody say anything.

That way you can get 'proof' to support your systematic (and highly profitable) murder of people around the world.

USA's various drone program is ~4000 lives and counting!

We are now having entire generations of people across the world whose sole experience of the USA is the image they seen on a regular basis as children is USA drones terrorizing their country. Not through television or images on reddit, but in the skies above their home towns.
The whole point of the article is to educate you on the fact that people most often don't think of the consequences when doing crime. That's partly why punishment works so badly.
Lazy evaluation performs implicit side effects, which in some cases (and with RT as a premise) allows for better asymptotic complexity than eager evaulation.

For an example see this paper:

"More haste, less speed: lazy versus eager evaluation" by Richard Bird, Geraint Jones, Oege De Moor

http://journals.cambridge.org/action/displayAbstract?aid=441...

ftp://ftp.comlab.ox.ac.uk/pub/Documents/techpapers/Geraint.Jones/FP-1-96.ps.Z
They used to ruthlessly remove everything without an academic source, however interesting - these days I feel more and more fluff is getting through.
> Imagine managing a professional sports team by popular vote --it'd be nuts.

That's a really bad example to cite because managers and coaches quite often do get fired when the fans start getting too angry.
OTOH the other visible salaries make nice "comps" for appraising yourself to justify your raise. If you think about it, the usual reason you would want to negotiate a big raise is because you are significantly underpaid in the first place, and that shouldn't happen under this scheme as long as you're as transparent as the company is with your expectations and only accept what you believe is fair. Furthermore, if someone disagrees with you getting a big bump then maybe they have a point. You might have something to say if somebody two levels below you started posturing for a leadership role and more pay? This way you can't just ignore it and say it's none of your business - that's the kind of behavior this level of transparency discourages. Everyone's an owner.

You really should be honest with recruiters about your previous salary. Lying about that is more likely to hurt your chances or get you fired down the road - http://bucks.blogs.nytimes.com/2010/06/18/is-it-illegal-to-l...

You have a good point about it being risky. If any of these people end up making a great deal of money I hope they do more to obfuscate their identities in the public versions. From the looks of it right now they are all massively under market for their roles.. it's clear they're doing a startup and are taking startup sacrifices. I wouldn't worry about any of them being targeted as a filthy rich mark.
I wouldn't call that a proper treatment of equality. It is unsatisfactory in several ways: no proper equality on functions (function extensionality), no proper equality on types (univalence), no quotient types (~= HITs), and since refl is the only proof of equality it doesn't even make much sense to talk about equality on equalities. More fundamentally the idea that refl is the only proof of equality just doesn't sit well in the philosophy of type theory. The whole idea of type theory is that things can have more than one proof and are not 'just true' as in conventional mathematics.
alias l='ls -1F'
Exactly. Here is an implementation of Cantor's diagonal method in Agda which is entirely constructive: http://www.playingwithpointers.com/agda-cantor.html
Posting anonymously as my usual account would draw suspicion and is probably in all the company firewall logs.

This is actually exactly where I am now. Literally on every point. However the company has been a royal shit to me over the years, undermined all of my technical decisions (I am the technial lead on it supposedly) and fragmented the platform into several piles of mess by hiring outsourcers and numerous technical leads. They hire someone, piss them off after they've built a new monolith and they quit leaving a new completely different wheel everyone has to maintain. Now I get used as a scapegoat but the only part that still works properly is the original port from the pile of cack COM and VB mess that my team wrote. Everyone else has moved on now due to the shitty state of things, leaving me the only person who knows how it works. This isn't some small thing either, it's about 2 million lines of code written over 5 years by a pile of people.

You might think I'm stupid for hanging around but what am I doing? Well I'm doing what any logical person would do and slacking the fuck off and pocketing all the cash I can and living my life. That's how it works at the top of the company.

I know this is contraversial for some people but you know what, fuck it. You live once. I wrote 50 lines of code this week, spent two days out on a beach sending the odd email and shifting work elsewhere. Suck it.

Inevitably this will come to an abrupt end but I'm going to make the most of it before it does rather than hang myself by quitting. I have an exit plan that is deployed when it becomes necessary but I'm making the most of this situation.

For reference, the company does nothing ethical or important. All they do is work out how to top slice some cash off another industry by being a monopoly and then cranking the pricing up and locking your data in. And they know it.
A quick, very pedantic note - the images don't show colouring based on linear distance. The problem is that your monitor works in non-linear colourspace - sRGB, while the image is generated in linear RGB but not converted to sRGB afterwards. If you want to show proper colours, you need to convert the final value from RGB to sRGB. For people writing shaders, here are two handy functions I keep around:

vec3 srgb_from_rgb(vec3 rgb) {
vec3 a = vec3(0.055, 0.055, 0.055);
vec3 ap1 = vec3(1.0, 1.0, 1.0) + a;
vec3 g = vec3(2.4, 2.4, 2.4);
vec3 ginv = 1.0 / g;
vec3 select = step(vec3(0.0031308, 0.0031308, 0.0031308), rgb);
vec3 lo = rgb * 12.92;
vec3 hi = ap1 * pow(rgb, ginv) - a;
return mix(lo, hi, select);
}

vec3 rgb_from_srgb(vec3 srgb) {
vec3 a = vec3(0.055, 0.055, 0.055);
vec3 ap1 = vec3(1.0, 1.0, 1.0) + a;
vec3 g = vec3(2.4, 2.4, 2.4);
vec3 select = step(vec3(0.04045, 0.04045, 0.04045), srgb);
vec3 lo = srgb / 12.92;
vec3 hi = pow((srgb + a) / ap1, g);
return mix(lo, hi, select);
}

They don't have any measurable performance impact, as far as I can tell.

Edit: comparison between non-colourspace-corrected and colourspace-corrected versions of the shadertoy link http://www.screenshotcomparison.com/comparison/134695
Perhaps our refusal to curb greenhouse gas emissions will come in handy after all
You could probably run it in a cygwin shell (after installing curl and ImageMagick).
The name of the language doesn't appear until the fifth paragraph?!
"if you care about interactivity, responsiveness, and general user experience"

A simple web page (no-js) in a browser covers these three things to a highly acceptable standard. It's when you start to add the other junk that these three become compromised.

For example:

Interactivity: Hyperlinks work great from HTML 1.0 onwards

Responsiveness: Without additional items like JavaScript or even CSS, web pages are incredibly responsive.

General User Experience: The basic web page user experience is EXCELLENT for web pages because it is incredibly basic. Even date pickers can consist of 3 select drop downs (or even a text box; there are plenty of human-date-to-ISO-3306 convertors out there)
Also interested, im adept in most languages and have a bit of experience setting up scalable aws environments. Email in profile
good call on the .PHONY.
A few impressions:

- Seems like the language forgot about objects (they seem to be used as collections or namespaces) - which is surprising given it's JavaScript underneath.

- It also seems like the database functionality is so embedded within the language that using it would sacrifice a lot of control and would become a huge lock-in liability.

- Everything is too abstracted. I must admit my first real programming experience was in PHP, and now that I've done a lot of things in Node.js and other languages I really appreciate being able to do some more things at a lower-level of abstraction (PHP ends up being a glorified templating language usually).

- Edit: Oh, and please can someone find a way to nicely get rid of these JSX-esque syntax additions and just start using ES6 template strings instead. All these extra compilation steps make things so much more complicated and third-party reliant than they need be.
They are interchangeable. It doesn't mean what you're implying.

Source: Former Apple employee who has been involved in multiple "which CoreOS?" conversations.
As a long time enthusiast of HN, and not a total shithead based on karma, I don't think there was anything hyperbolic in the original comment.

What is even slightly out of sorts about comparing Ellen Pao to Paul Graham?
MonoNeon: The 'Apparently Kid' Interview
Thoughtful comments.

I have thought much on these as common person, neither in an academic setting nor who has to deal with these issue frequently.

Lot of time I would argue with myself why can't we have everybody have equal rights ? Why we need to specially fight for rights of women and be feminists or to project the issue to broader sense, where we talk or act about any group. Personally I believe that while the ideal case as it should be is equal rights for everybody, the problem is the inequality created by negative discrimination over the ages. It is more like we are trying to correct the wrong doing over the ages by believing that a positive discrimination for the groups would offset the historical prejudice.

These are personal thoughts. Please feel free to correct.
Interesting, now I am not even sure how much credibility can be given to the networking engineers from Apple: we're in 2015 and I still need to manually tune the TCP stack of my mac to get decent download speeds!
But as the comment you're replying to said:

>Reddit is a private company and so is not obliged to provide a platform for anyone's free speech, that also is a facet of freedom.

We must be careful not to confuse commercial viability with government censorship. At some point, advertisers will leave a website that continues to foster vitriol/hate speech/illegal content because they do not want their brand associated with it. This is freedom of speech in action.
I finally pulled IPv6 resolvers out of my config for this very reason. I was getting 4+ second lookups against both Comcast and Google v6 resolvers even though direct v6 sockets worked instantly; made worse because HSTS apparently makes Chrome put "establishing secure connection" in the status bar while resolving (maybe?), so I ended up down a rabbit hole of identifying reasons for phantom TLS stalls. Finally cut down to just v4 resolvers and it's a brand new computer.

Glad to know it's not just me.
> I didn't use C99's complex number support because -- continuing to follow the approach Handmade Hero -- I intended to port this code directly into SIMD intrinsics.

Which makes me wonder - do GCC and/or Clang compile complex arithmetic so SIMD instructions?

A couple of years back, I rewrote a mandelbrot renderer from C89 to C99 and used complex numbers, and I noticed that it ran faster afterwards (not dramatically so, but I noticed the difference). I never checked, though, if the compiler emitted SIMD instructions, and sometime since I lost the source code to a faulty hard disk and was too lazy to write another one.
I want to counter your criticism with this:

I think having XHTML as a defined type is a stroke of genius, at the risk of hyperbole. No quoting html fragments?! Damn. Wish I'd thought of that.

I'd say it's because of this requirement that they couldn't use Javascript. And inventing a new language over JS is problematic. I won't even learn coffeescript and that's everywhere. You're not going to get me to learn Opa, sorry. Maybe they should have made it a very thin preprocessor where you get to inspect the JS...

Object Relational Mapping and Object Document/Graph Mapping is fine so long as they're not the same mapping :) and so long as you get to inspect the SQL or MongoDB QL...

Not sure what you mean by "and MVC on the server doesn't make sense anyway in this scenario" We're all familiar with MVC scaffolding from Rails by now, aren't we?
Final (YC W15) is hiring back-end engineers – Help build our credit card API
I think we have a new winner for the stupid and inefficient ways humanity is going to start using its precious infrastructure and resources.

Previous holder of the title was spending terawatts of power bitcoin mining.
In Bulgarian it could be translated as "oops! language". Really, really unfortunate.
Various torrent sites blocked by Google Chrome for 'harmful programs'
Would you like to describe what did not work? What was your experience? Please blog about this!
# eXpand anything
alias xx="atool -x"

( http://www.nongnu.org/atool/ )

The incredible amount of time this has saved over the years is great, but the real benefit never having remember either inspect archive files for the initial directory or remember to do this dance:

% mkdir foo
% cd foo
% tar zxvf /path/to/bar.tar.gz # or "unzip foo.zip" or "7x x foo.7z" etc
% mv bar-1.2.3 ..
% cd ..
% rmdir foo
And... The fact that /r/CoonTown apparently wasn't brigading and therefore was left alone for free speech reasons is... not really badly handled?

Pick.
Instructions to turning the warning off can be found here[0].

0.https://support.google.com/chrome/answer/99020?hl=en
what company? Please ask for the name. Thanks!
They could add something like sub-reddit tags: NSFW, offensive, video games, sports, technical etc.

Then on r/all NSW/offensive are disabled by default (the same way NSFW is rigth now - you need to change your account settings).

Problem solved, FPH will never make it to people who don't want to see offensive staff.
I was going to suggest a convolutional NN, but you'd need to go through the gruelling task of creating the training corpus.
> I realise that this is probably a troll,

I'm afraid that on HN the combination of "Grar guberment", "I don't understand technology more complex than CRUD applications", and a bonus racial slur merely invoke Poe's Law for me.
Add another piece of hardware. Cheap off-the-shelf Linux-running hardware. A rebadged Netgear router that'll run OpenWRT is £7. Worst case, Raspberry Pi is £45 including case, cheap small SD card, PSU and an extra USB Ethernet adapter.
FWIW, http://www.microtransponder.com/?page_id=118
Interesting; that's indeed an uncommon form of tinnitus. If you are curious, here are some simulated samples[1].

Make sure though you set the volume at a comfortable level first, and listen all of them to get a representative idea (the first half are noisy/low-frequency; the second half are of the high-pitched variety, like my own).

[1] http://www.hearing.nihr.ac.uk/public/auditory-examples-sound...
I can't criticise you really for not working very hard at a job you hate. If you have a very clear plan for what you will do with the money you are saving to make the your life closer to the way you want it to be, then go for it. Life is very short. Very short. Don't waste it living someone else's.

There was only one period where I was in a job that I truly, utterly, despised. And it was the my manager, more than the work. He was quite passive aggressive, and constantly made condescending remarks about me, my attitude, my work, and would then make silly jokes like we were good friends. When I eventually spoke up about it I was further rebuked.
I felt trapped. And my health actually suffered. I slept poorly, woke up with anxiety, and one day I burst into tears in the office. As I cried I felt astonished that I was actually crying in front of people, but I couldn't stop. The whole thing was surreal. After I left that job I realised that I had been suffering from depression.

Of course we need to keep perspective. Most commenters on hacker News live relatively luxurious and privileged lives. Depression in a wealthy country, though, feels the same as depression in a poor one. So pay attention to your mental health.
Besides debugging, would this help though? A corrupt packet is the same as not receiving the (correct) packet at all. It will be retransmitted when no ACK is received. If the problem is ephemeral, it will be resolved on the retransmission. If it's not, timing out the connection is the only course of action.