skysight-inc/HackerNews huggingface dataset:
Intuitionistic logic is nearly classical logic. That is, we start by assigning statements one of the two values ‘True‘ and ’False’. While truth in the classical sense is abstract, it is concretized in intuitionistic logic with the meaning of ’we can prove it’. We know that there are statements that can neither be proved nor disproved, so we cannot make use of the law of excluded middle "a statement is true or it is not". Add that we are consistent, that is "not (a and not a)" for all a, and then negation must not be the inverse of itself, because we'd be able to proof the law excluded middle otherwise. You see, it is basically classical logic with some minor adaptions to take into account what we’ve learned.

I understand under "constructive reals" the computable reals, and there are only countably many of them.
Skilled iOS App Developer
We are a start up company that has a lot of passion and vision but NOT A LOT OF MONEY! We are looking someone who loves developing and will understand our vision. Our company has multiple apps in the design stage and one close to production. We have worked nationally with developers however we are wanting to bring it back closer to home. We have multiple idea pending and are ready to hit the ground running offering a stake within the company. With a potential of additional compensation.

Must be a skilled iOS app developer.
Must be close to Austin, TX
Must be okay with meeting deadlines
Must be okay with no pay but the possibility of something great.

These apps have some very strong potential and show a promising outlook with focus groups.

Send Resume to balparkmediallc@gmail.com
Well, I'm a work-at-home programmer, so mostly, I gain weight.

That's a joke, mostly, but having settled in to family life and programming, I did gain a lot of weight that I'm working off at the moment. As it stands, I'm still about 20-25 pounds overweight, but I haven't trained anything seriously since I had to take the family out of my last dojo due to ... uhh, personal concerns[1], a couple of years ago.

That said, I've been scouting out replacement dojos that do more than BJJ, which are harder to find, and have found a couple that are promising to get back to. My area of focus has historically been in Muay Thai, and I've just really never been all that great at BJJ, so while I enjoy training BJJ, it's nice to have a gym that does other things that I can go to to feel "good at something".

[1] - http://www.bloodyelbow.com/2013/12/3/5170294/team-lloyd-irvi...
Hey, thanks for the comment.

I find it crazy that you created that 9 years ago!

FormFiller doesn't currently support auto filling the form with data, but it's definitely something i've considered for the future. I've saved that post and will give it another read when I get around to adding that functionality in.

Cheers,
Mike
I like this so much that I think it should be integrated into Github as a standard feature. I also think its brilliant that the sub-sections are maintained by others, who seem to have set up *-awesomeness repo's for each subject ..

In short, I don't think I've seen a more appropriately named project lately. Simply great!
Our bodies are a hell of a lot more complicated than just adding some hormones here and blocking some hormones there.
The difference being the robot wasn't telling a bunch of bad jokes which led to its deserved destruction.
It's not better on Android or iOS either. If you want a smidge of privacy you may want to use a dumb phone but let's be clear : nowadays we are tracked like cattle.
It's been compromised, I guess? When I click on "Lists" I see this:

test_list
wwrwerwrwer
gf
Bundesliga
<script type="text/javascript>alert('LOL')</script>
Not found? Create one
I don't really mind letting a lot of people in who are willing and able to work. I mind letting people in who are going to receive the very generous welfare payments Denmark gives out, and which are part of the social contract since they never payed into the system.

I absolutely hate those who come here and turn to crime - want to come and work? Fine, show that you have a job and you can stay. Want to come and start a business? Excellent. Show that your are making money, you can stay.

Want to come and contribute to the fact that Denmark has the highest rate of burglaries in the EU? You can stay out.
It's an archaic spelling, which is always cooler. :)
Thanks. All of that seems right. I'm surprised I made all those mistakes and still don't know how to negotiate a way out of this.
Communities are defined by what they can't do as much as by what they want to do. You can't make sacrifice for something bigger than yourself if the group doesn't demand anything at all. That is, what I believe, the primary problem with Catholicism in the west today - they don't enforce anything.

Military has a code. Street gangs have codes. There is something about a shared and enforced set of rules, however inflexible, that binds people together.
What killed it was that there simply wasn't fresh blood.

Looking back from today, there were also no "analytics" and no invasive pingback tracking every time you open a message (and no monetization). Why bother running things if you can't spy on people, analyze their aggregate behavior, then monetize it?

Plus, the rise of HTML-as-email meant half of a group's traffic could be people saying "PLEASE TURN OFF HTML MESSAGES" every time a new person tries to say something. It ended up being counterproductive (as counterproductive as trying to have a meaningful discussion on any front page Reddit article).

Plus, the rise of Outlook defaulting to top-reply for everybody meant entire generations of new Internet and email users had no idea how to properly reply to messages. Now we can't get rid of morons who think top replies are acceptable (sure, let's have a 6 month long email thread with N^2 copies of the message in my email box because every new reply contains every previous reply for no sane reason).

For better or worse (worse), Reddit is the new usenet but with a much narrower reach and full centralization of all control mechanisms, which deteriorates in to tiny, but oh-so-loud, drama every few months.

As for me, I still miss FidoNet.
In the context of this thread, it's worth pointing out here that the sperm referred to isn't semen, but spermaceti.

https://en.wikipedia.org/wiki/Sperm_whale#Etymology
I also do have equity. But of course a fraction of what the founders own.
Is this really a thing?
I've done it for Windows, Linux and Mac before. Note that these solutions freeze the Python side of things but do not freeze the platform side. For example they do not include the system libraries. Consequently running the frozen python app on a system that is a different distro, older or newer OS version, or has different system packages installed often leads to the frozen python app not being able to start.

Slide 19 of this if you are interested: http://www.bitpim.org/papers/baypiggies/siframes.html
Err no you will have lost 30% or so of the value of the bond portion of your pension fund/ investments.

BTW the last bond crash was around 30% loss in a very short period.
Am I wrong in believing that she became the champion after beating Carano? It sounds like there are more details to MMA leagues than I'm aware of.
You talk about this issue like text and images have never shared space next to one another in the same gui control on a computer screen.

More importantly, your history is all wrong. Emoticons have been used in the west since the telegraph and kaomojis (emojis) showed up in the 80s and have been known outside of Japan not long after.

These images are simply an interpretation of common emojis into graphical form, they literally map something like ^_^ to a smiley face.

Somewhere along the line, it was thought to be a good idea to let people just choose from common emoticons and have it map to the character implementation rather than doing the reverse (because remembering things is hard). On the receiving end, the ^_^ is simply replaced with whatever image the chat app has chosen to represent that.

Later, DoCoMo, KDDI and Softbank decided to further formalize the emoji codec mapping as part of Shift-JIS (and ISO-2022-JP) and that's why we have encodings for snail, minidisc and chicken leg, but not mosque, pork chop and blue jeans. Here's the mapping table https://docs.google.com/viewer?url=http%3A%2F%2Fwww.unicode....

What the logic was to do this is anybody's guess, but it was probably for bandwidth efficiency.

It would be more appropriate for there to be an entirely separate "expressions" standard for encoding various emoticon systems (there's several) and providing a standard iconography. You can already mix and match fonts and languages with images in most rich-text controls.

Unicode is not the correct place to do this. And amazingly, text-controls, as we have already established, can support fonts and images next to each other. So extending a text control to support unicode, images and expressions, would seem more logical than shoehorning shift-jis, which is not a human written language, into unicode.

Here's the original proposal that started this madness, so you can read the rationale. There's lots of people to blame for this, but we can start with the authors of this proposal.

http://www.unicode.org/L2/L2009/09025r2-emoji.pdf
As someone else there at the same time, I pretty much concur. I still remember the tgif where someone asked him a very pointed question about real names and he completely dodged the question. Vic was a very bad thing for the company.
There might be a pb in English with the term "sleeping with", given that it completely implies not its literal meaning.

Because of that, it seems that it's quite difficult to describe sleeping with someone without having sex (and without any intent to) if I believe: http://english.stackexchange.com/questions/148323/is-there-a...

It would be interesting to study the interaction between the language and the behaviour in this case.
Not if your going to have buy an annuity. And remember most bonds are well over par at the moment
Do they really invest in common shares?
I would not stop. But I also don't pretend to care if they live or die. For me national borders are sacrosanct, so you have no good reason to break one.

But you gave the answer - a few generations ago people were not afraid. Now even people like you are afraid of them.

But if they carry knives and their first instinct is to stab any stranger that offers them help - why do we want them in Europe then :P
Carriers track which Cell tower you are connected to when you send/receive texts and calls and often even when doing nothing, so yeah we are tracked more than cattle, dumb phone with a prepaid card is probably best way to not get tracked too much and remove battery when not using it :P
"developing during childhood like every other aspect"

This just keeps being repeated, as if it's fact, but it's just not true. In fact, it's less true than the opposite conclusion.

It's been shown, repeatedly that toy preference, conflict resolution style, gender identity, and now even the genetic programming of the immune system are very different between the sexes, and exist at birth.

I'm not aware of any reason to believe sexual preference doesn't fall into the same bucket. In fact, wasn't this the entire basis of the gay rights movement?

The literature is extensive, and I don't have time to list all the references at the moment, but here's a couple to start off with:

https://en.wikipedia.org/wiki/David_Reimer

https://www.psychologytoday.com/blog/the-scientific-fundamen...

For further reading, you can browse through "The Optimistic Child" by Doctor Martin Seligman.
Do what feels right for you. Taking responsibility is a fantastic trait but you are foremost responsible for you own health and finances. Ethically, IMO, you are not responsible to the company beyond what it says in your contract.
> 5. Enterprise software 2.0. Enterprise software companies sell bad software for huge amounts of money.

Fittingly, in 2015 there's companies selling bad /web/ software for huge amounts of money, e.g. Atlassian products, and we're on a second wave of companies producing better alternatives as the once-upstarts become sales and marketing machines.
> In the US passengers can be sued for damages when being involved in car accidents and cannot sue the driver unless they are paying passengers (which UBER doesn't qualify since it is not a licensed transport service)

The second part of that is only relevant in Alabama. The other 27 states that have or once had automobile guest statutes that prohibited passengers from suing their driver over negligence had, by 1996, either repealed them or limited them to cases where the passenger and driver were relatives.

Here's a good overview: http://legal-dictionary.thefreedictionary.com/Guest+Statutes

For a nice look at the history of these laws, up to 1974, here's a nice Columbia Law Review article from 1974: http://scholarship.law.cornell.edu/cgi/viewcontent.cgi?artic...

I'm also not convinced that the risk of passengers being sued in an Uber-type situation is more than negligible. From what I've been able to find, passenger liability usually only happens in these circumstances:

• The passenger did something like provide alcoholic drinks to the driver before the trip, and then the driver's intoxication caused the accident.

• The passenger owns the car, and knew that the driver was incapable of operating safely, but went ahead and let him drive anyway.

• The passenger did something that reasonably directly led to the driver's negligence. A couple examples. (1) passenger tells the driver it is safe to back out of a driveway, and the driver relies on this rather than checking himself, and the passenger was wrong [1]. (2) 16-year old, at urging of similar aged friends, takes family's car for a ride in rainy weather. At urging of friends, drives faster and faster. Loses control at 100 mph and hits a tree. Driver and two passengers wearing seat belts survive, one passenger not wearing seat belt killed. Surviving passengers liable with driver for their role in in convincing driver to drive like an idiot.

I haven't come across an example where merely being a passenger in a car where the driver does something negligent subjected the passenger to liability.

[1] That's a scary one. I would expect most people as passengers have tried to help out a driver that way at sometime, often at the driver's request, without realizing that they may be opening themselves up to liability if they err.
At this point I have no other expectations than hoping the product scales as has been envisioned and solves the problem at a meaningful scale to justify the 4 years I have put in. I'll figure out the money part somehow or just go broke and get another job.
What Good Design Is All About
I think I would have to go with this one: https://i.imgur.com/4t5xWq2.png
It sounds like that's an area of study that's not completely clear, but that height and muscle mass seem to be retained advantages.

http://fightmedicine.net/uncategorized/a-medical-and-scienti...

>The effects of hormonal therapy over time, in this case testosterone deprivation and estrogen supplementation, are not completely understood. However, what is clear is that transgender individuals that underwent surgery after puberty will retain some male features, such as increased height. Male–>Female transgender patients tend to retain more muscle mass than female–>male transgender patients gain, suggesting that some gender-specific attributes remain. Whether effects such as height will prove beneficial in MMA like they do in other sports such as basketball remains to be seen. Another question is if the fighter is completely transgendered. Taking estrogens without castration will leak out testosterone that can maintain muscle mass. Furthermore, how much estrogen is being taken? If it’s not enough, then muscle strength can be closer to male levels
I, personally, don't have a hole in my life where religion should be.

I know people that do, many of them come from religious backgrounds and seek something to replace the religious structure that used to be in their lives.

But I .... just don't.
Renaissance Builder Leon Battista Alberti: Mr. Humanismus (2000)
> You can make the case that both age, and the sport evolves around them and they regressed towards the mean.

I'd say also mechanical stress causing his shin to snap like a twig
Well technically you are the center of the universe http://theastronomist.fieldofscience.com/2010/03/you-are-at-... . But since everybody is, nobody is special either
You can opt out of most of it during install, and pretty much the rest of it afterwards, they are just trying to scare people from using windows 10 in my opinion, its not like your privacy isn't violated when you use an apple device or a chromebook.

If you really want privacy install basic(not a distro of a bunch of packages) Linux and verify all packages in source code before installing them
Sorry but you are one of the first who have moral duty to help them. If you are one of those immigrants (or second generation) that do nothing but shame your hosts to help more immigrants to come in, then YOU are one of the reasons why immigrants are not welcome anymore.
Upgrade window 7 window 8 window 8.1 to window 10
I have been there. There are three options here:

Option A: get the fuck out.

Option B: get the fuck out.

Option C: get the fuck out.

Your boss is a jerk and doesn't pay on time. He's hiding high-level information, which means that (a) he's planning to screw you, (b) that the investor front is going badly and there might be nothing happening, or (c) that he doesn't view you as an equal partner in the business. (No exclusive "or"; probably all three are true.)

You're spending too much time and emotional energy on a business that has no future. If it had a future, it wouldn't have existed for several years and still be missing payroll. If you're honest with yourself, I think you'll probably notice that what's keeping you there is the "sunk cost" fallacy. Stop wasting more time. Count it as a learning experience and use it for personal growth, but get out as soon as possible. (Start sending out CVs. Don't actually quit until you have a better job.)
The world has a secular community revolution, and HN is a exemplar! HN has shared values, ideology, taboos, status, law-givers and exiles. Don't know if it's an improvement over what came before, but IMHO communities like HN are the secular community revolution.
Well I didn't come up with the idea and I waited until they could raise some seed because I needed a salary. I did build the product from scratch, in fact that's the only thing out in the market currently. I didn't care about titles. And I didn't know about equity. I just joined because I wanted to solve the problem.
Absolutely, and the tougher on crime motif is one of the things that makes DF very popular. In Gothenburg, Sweden for instance the Roma are everywhere, outside most large stores and have a bustling begging operation and there is plenty of theft which make them highly unpopular.
You're right that crime (especially in Scandinavia which is highly peaceable) is one reason why certain communities are despised. But I feel that refugees also have certain other problems - they've never been to school in many cases and therefore their children have disadvantages in such high tech nations, which causes inequality to rise and so on and so forth.
This topic is going to lead to many PhDs in the future, but in the mean time lets see what happens...
"just not believe"

One popular meme you'll see is the pre-christian greco-romans didn't saw religion and belief as somewhat orthogonal. So you went to the ritual/party at the temple to hang out, show off your (purchased) social class within the temple, and do the ritual, show off to everyone else that you did the ritual, show off how well you memorized the allegorical tales, etc. Personal belief was not a terribly high priority. How much of this is "real" analysis vs Victorian era make believe is not entirely clear.
>> you could absolutely join a church of your choosing and just not believe in zombie messiahs.

The other people in your church who do believe in zombie messiahs might all get a bit hacked off when they find out though.
I haven't had a direct conversation about this yet. But other colleagues have. He is aware of the problem and has tried having some conversations but that haven't gone down well. The alpha is too dominant.
http://inkedandscreened.com/
I tend to carry both in my backpack everywhere :).
LOL, "Positive Earth" .. so British! Good name for a band, I guess ..
A Riot of Color Lurking in the Amazon
Houston Oasis is a secular community in Houston that I attend. It seems to be addressing all the points that the author of this article brought up, with perhaps exception to "Ritualize." It has a diverse group of people that attend and seems to gradually be gaining attendance. It is extremely refreshing to be with such a large group of people that have a human and reason based focus. I hope more people will get the opportunity to be a part of something like this.
> Copyright 2003 Warner Brothers Television

I'm curious about the background of those videos. What's the story?
I don't think there was as mass delusion at all. Most of the googlers I knew were really skeptical of the thing, even ones that had to integrate their products with it. I think only the people working directly on it, and of course the management chain, were really convinced. It was the most top-down thing that I'd seen at google to that point.
End-To-end Secure Collaboration |PreVeil [http://preveil.com] – Boston, MA
Cyber-thieves are attacking personal and business information at alarming rates. We started PreVeil to fight back. We are creating an end-to-end system that delivers unparalleled security that’s easy enough to be used by everyone. PreVeil, located in Boston, is an early stage startup building a cutting edge cyber-security platform based on new research from MIT that enables computation on encrypted data. We expect our products to be used by everyone, from individuals to businesses large and small.
PreVeil is looking for really great software developers.

Current open positions:

* Lead Mobile App Developer

* Back-End / Sever Developer

* PC System Developer

More at www.preveil.com. Contact us at careers@preveil.com

ONSITE VISA
To call it a cool opportunity that comes up is a bit of a stretch. If this happens, and it does get to mars, it will put her in the ranks of the most important figures in history. For the sake if humanity itself. This is not something you do to glorify yourself. It is the ultimate sacrifice. Your life in exchange for the advancement and future of mankind. Flying in a metal can to a place that has absolutely nothing to begin a generations long process.

I cannot fathom what that family is going through. I do wish them the best.
Scientists curve nanoparticle sheets into complex forms
As someone with many gay friends, I find your comment totally unhelpful and antagonistic (you are trying to provoke a war but the benefit you seek is unclear. I'm aware of something I call "gay arrogance" that you might be exhibiting).
Most people I know, whether they be homosexual or heterosexual want to make a statement about their sexuality. There are many hang ups in the gay community and as much prejudice as I see in the heterosexual community (breeders anyone??).
To assume that homosexuality gives one some special exemption from hang ups is false. There is no more tolerance (it's just different tolerance).
So, why are almost ALL people hung up about sex? Power, recognition, ego, self-definition.
True story: I've upset gay friends kissing them on the cheek in public because they don't want to look gay - they tell me that I wouldn't understand. I'm very comfortable with my preferences, so it doesn't bother me.
Here is the link in clickable form:
http://www.escherpad.com/signup?referral=yangge1987