skysight-inc/HackerNews huggingface dataset:
They technically don't. The "go" tool is a programmatic wrapper around the compiler and linker - which live in your Go installation under pkg/tool/$platform The compiler for 64bit Linux is named 6g and the linker is named 6l. The "go" tool wraps usage of these two tools into a program that uses the convention of the GOPATH to figure out where dependencies should be found. If you wanted to do everything without a GOPATH you could. Go find your 6l and 6g tools and play with them a bit.

/usr/local/go/pkg/tool/linux_amd64/6g mygofile.go -o mygofile.a
/usr/local/go/pkg/tool/linux_amd64/6l mygofile.a mygapp
(disclaimer - this is off the top of my head - haven't manually compiled and linked in years because the go tool makes that unnecessary)
SendGrid: Employee Account Hacked, Used to Steal Customer Credentials
You are asking for the impossible, people are not going to pay for what they can always get at better quality for $0. Fans are happy to curate the art the like and will always do a better work , and for free.

The only thing that might make sense is if they distributed an original instead of a copy, i.e. a different movie to every user, a different song etc. Copyright is just not compatible with the digital world, it worked for a while copies were physical, but now we re going back to the pre-copyright era where culture was spreading freely. We can blame piracy for that, but it's not just piracy. The Entertainment industries are largely based on building hype and celebrities, while the cost of production keeps falling thanks to digital production. There is an oversupply of creativity which obviously should drive their profits down. Even without piracy these industries would face big problems.
Can anyone tell me what web framework is used to create a website like this? I've seen many websites in this "scrolling" style, and I want to create one myself!
And struts... you can never have too many struts...
Related - an article I wrote about the settlement of Tristan da Cunha and the history of micronations last year. [1] There are also some fascinating clips of the island on Youtube (including the odd, 19th century sounding variant of British English spoken there) if anyone is looking for interesting procrastination material. [2]

[1] http://theappendix.net/issues/2014/7/the-king-of-the-islands...

[2] https://www.youtube.com/watch?v=kKRvtk-GI0g
A troll turned on #haskell
He addresses that near the end.
Good point, I'll try and make it more clear that the TOC is in the menu. Thanks!
It's actually total Mac revenue.
Build an Add-In for Outlook.com, Outlook and Office 365
Does digital mean the end of history?
Just out of curiosity, what would be the perfect car? I mean, perfect while still being obtainable within the laws of physics as we understand them.

Even if money was no object, you can't build a car that is 100% optimal in every aspect. Every change you make causes a tradeoff elsewhere. Adding armor helps in some collisions, but it just got heavier and slower to stop so it's less safe in other situations. Move the gas tank up higher to avoid that rear collision problem, and now the center of gravity is higher so it won't corner as well and might roll over more easily.
Definitely the flags and scoring systems the US has in place are not part of a public conversation in the United States, are not used by US employers (for example) during job applications, etc. I agree that this makes the system very different in kind despite similarities in form.

I imagine that the US currently uses this to prioritize domestic investigations for the FBI and law enforcement.

I imagine that the US currently uses this during the process of vetting membership to the intelligence community, other sensitive positions, political leadership (I forget which NSA whistleblower mentioned the targeted surveillance of then president-prospect Obama), and for security clearances.

I imagine that the US currently uses this to find and disrupt politically minded groups and to deal with narrative challenges inside the United States.
Quite a bit of memory used to be non-volatile.[1] These days, there's FeRAM[2], but it's not widely used. Power-off not working wasn't really an issue - you'd just manually key in a bootloader of ~30 machine words that you knew by heart :)

[1] http://en.wikipedia.org/wiki/Magnetic-core_memory
[2] http://en.wikipedia.org/wiki/Ferroelectric_RAM
Just look at how many Android vendors actually honor the GPL. Even the major vendors tend to mess up their source code dumps, and lots of the Chinese (hi Mediatek) vendors don't even react on emails.

Google should require in the vendor license terms for the Android brand and the Play Store that the sources be released on Github.
There is a solution in the comments.
authors struggle for correctness and preciseness of thought and words; very few achieve clarity of either.

there are authors whose works demonstrate possibility of high-quality textbooks in absense of any "qutesy" or other noise.

your and GP's post show that different information passing styles suit different people differently.
a few people's egos
What about opt-in to non CC/public domain content? Does this solves anything?
I visited Pitcairn Island a few years ago, staying with an island couple. It's a great place to explore and I found the islanders friendly and welcoming.

There is an aspect of wariness I think with outsiders amongst them - especially those who are journalists or involved in media in some aspect. They've been bitten before and had their lives written about (Dea Birkett's book Serpent in Paradise comes to mind).
For what it's worth, I agree, I think capitalism + some rule tweaks is fine. The culprit is really the beauty of capitalism: accelerating returns on investment. If you get to the head of the race you tend to start to accrue more and more wealth. The problem is that it's sucking the pond dry as there is a relatively stable money supply and much of it is circulating in the stratosphere (often as corporate stock buybacks). Hence the need for rule tweaks to enhance recirculation.

This is a cool video I saw a while back that shows the current issue: https://www.youtube.com/watch?v=QPKKQnijnsM

I also agree that movement between countries is a modern problem that probably invalidates the old solution (unless multiple countries coordinate - unlikely). So, we have a problem that wealth will continue to concentrate absent controls on the distribution.

The US has a lot of political problems right now, and the major commonality is that people at the bottom get the shaft every time. I think it's too much to try to solve every problem facing civilization in one conversation though, so I'll stick to distributions. ;)

For what it's worth, believe me, I'm not a hippie. I want to start a company and get rich one day like all of you. I just think it's important to pay attention to the steady state of the system we are participating in.
>Iceland_jack . o O ( feels like Haskellers would invite Jehova's witnesses in for tea just to proselatize Haskell to them )

Heh... had a good laugh at that.
What the hell is going on with systemd and how can this possibly be a good idea?
Apps to Watch: Citymapper, Shift, Pacemaker and Others
Why can't you prove irrationality as follows:

All rational numbers have the property that their square is not 2. (Should be a simple proof by induction on the denominator.) The square root of two does not have that property, and is therefore not rational.

Is the contradiction hiding in my implied definition, my implied induction proof, somewhere else?
Yes. With a matured and global internet anonymous bloggers, leakers, sources to journalists, news agencies, targetted ads, twitter campaigns, social media experiences and search rankings are fabricated and altered to assist in these ends. The social analysis used by corporations to get branding and commercials to 'go viral' are used by governments to target individuals that disseminate social influence to wider audiences. The techniques and capabilities have grown over time and the access and affordability means more of it is done by more actors.
I took a class called "Contemporary Moral Problems" from a professor who suspiciously resembled Captain Kangaroo. In it, I found my favorite statement from philosophy:

"I find it plausible to believe that I have a moral duty not to wantonly slaughter my neighbors."

(How many wishy-washy terms can you find in it?)

The Minimally-Sufficient Samaritan is entering my lexicon. Thanks!
"Its trajectory will intersect the planet’s surface..." I thought this was a particularly nice way to say "crash".

It has been a great piece of hardware and source of information. Too bad these missions have such finite time limits.
If the proof is simple, give it.
http://en.wikipedia.org/wiki/Chromosome#/media/File:Chromati...

Like that maybe? DNA coils coiling into coils which again coil into coils...
How does your induction step begin if not "assume m/n squared to 2"
It's easy for people making money off of distribution to do a better job than fans. But they're largely stubborn or lazy.

Hell, they could copy popcorn time and provide some beefy servers, as a simple example of how it's not anywhere near impossible.
Eev – a tiny, fast, zero-dependency event emitter for JavaScript
The surfacestations.org project of Watts is completely different from the linked project. The OP project is focused on understanding adjustments made by NOAA et al. (changing the values of past raw temperature data) not on the quality of location of measurement stations.
Strangely their purchase page references Steam, but not GOG. It's available on GOG here: https://www.gog.com/game/kerbal_space_program
Order – a functional programming language implemented in the C preprocessor
We'd have to rename the whole field. The cost in letterhead changes alone would make it prohibitive.
"Fix"?

From an engineering standpoint, the question is, "What proportion of accidents fall into the region between the force required to penetrate the tank with the bolts without the plastic guard, and the force required to penetrate the tank even with the guard?"
Porting a web app to mobile using Cordova
Referring to land bases as HMS dates from 1805.

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

Which doesn't negate the reason for this particular decision of course.
I think this is the key difference. At next-to-highest resolution, the 15" gives you a heck of a lot of workspace readable even with these old eyes (with reading glasses ;-).
So you have a safety critical component that was redesigned (with a floor mat recall) in the last decade, and modified after a series of incidents.

Sounds like an engineering failure to me.
If it's not science it's definitely mathematics (or at least a significant portion of CS is math), which is fine by me.

If anything, math has historically been far less fickle than the advances that the scientific method has brought (usually being misused, but in the name of science nonetheless).
> people are not going to pay for what they can always get at better quality for $0

Sure, but I already pay Netflix. If I had to pay a bit more and it included everything that's on Popcorn Time, I'd do it in a heartbeat.
> This page deals with issues related to MySQL 4.1 and earlier, not 5.0

Between that and what seems to be the age of this thing, I don't see that this does anybody much good. MySQL 5.1 is the oldest version anyone sane should be running in production right now. And so much changed from 4.1 to 5.0 that I doubt most of this list is relevant.

(Also, why is the link to mustapha.org? It seems to redirect straight to the actual URL of the content.)
Liquid Haskell might be what you are looking for: http://goto.ucsd.edu/~rjhala/papers/real_world_liquid.pdf

An example from that paper:

type Nat = {v:Int | 0 <=v }
type Pos = {v:Int | 0 < v }
div :: Nat -> d:Pos -> {v:Nat | v <= n}

The ATS programming language (http://www.ats-lang.org) is more ML-like than Haskell-like but can have ranged integer types. Something like:

fun slice {n:int | n >= 1} (a:int n, b:list)
Alternate link, in case the mustapha.org one doesn't work: http://sql-info.de/mysql/gotchas.html
>Order requires some components from its sister project, Chaos (included in the download), to also be installed, although it is not primarily based on it.

Sometimes...programmers create the best naming references for projects.
American's opinions on open government data
I'm not sure "try not to use [proof by contradiction] unless you really need it" is the optimal conclusion. In "Meta Math"[1], Gregory Chaitin explores the question: "What makes a mathematical concept desirable?"

Simplicity was the solution. The best theorems seem obvious in retrospect, because they are reduced into relationships between existing concepts.

I would recommend trying all angles of attack when searching for a proof. If it starts to take too long or you hit a dead end, try a different angle. Even if you discover a proof, try your other opening moves, look for a more elegant solution.

I believe Wolfram Alpha converges on this solution by performing some sort of weighted, breadth-first search on the permutations of an equation.

I highly recommend "Meta Math"[1] if you are interested in theories about entropy and algorithms that generate proofs.

[1] ("Meta Math", Gregory Chaitin, http://arxiv.org/pdf/math/0404335.pdf)
ZDc6YWRkcmVzczI0OnVkcDovLzE5Mi4xNjguMi4yNTE6NjEwNzI6aWQzNjoxMTQ5
NGY2YS1mNjAxLTQ5ZDYtYjk2Mi1kZDI5MjAxNjdlYWU0Om5hbWUxMTp3aGljaGZh
d2tlczQ6cGtleTgwMDotLS0tLUJFR0lOIFBVQkxJQyBLRVktLS0tLQpNSUlDSWpB
TkJna3Foa2lHOXcwQkFRRUZBQU9DQWc4QU1JSUNDZ0tDQWdFQTVwV1BCMVcwaDdl
MkV5SnNaV0JqCmo4blcvU1Bhd3dXS09DZGloS09uWTYzZGdGZUtpL1ZMbGptZGhG
V09NUkZmMjJDMlB5bFJrbG9SUkNlNXFaOGkKOVRFQUdFaGozUkJRdURURkVneEN5
eGE3bjlXK0xWb3hQQmpINHV4VXREYjlBREw5Z1Uzcld1WCt5eG5aZkVySApyVHgv
WFpSd2pwaGVqamN6dGVtVmZKOGFsajVzNFR1NFFLWU5ZRUk5YnQwelJVdnJ6S3pT
QjVnNHZkeGpRU05yClROQmp3dHpWcHlVV3FwZUY3UGFnd1BMdHltVCtRcG9MWEFa
OGttbXN1Q2E1Zko3S2g3SFdENzc4dkgzRTEwQWgKSk5xdGdyanpLb3hGR0Y5d2tM
RnJwVXpyd05GVFkyOWlHOHRCNkhNWTJLT2haVkNzRUJSRlpjYjM4SElTYVgzbQp0
dE9pbGZ4QmdYM0ZxMEwwZ0l0Y1BQZElTR3pwN3dtQkZvREFLUDRLbXNEYTh4dHpK
OFA1dFUrakhWV2ZPMWhBCmhrR1owWWJlb3d1NTB5ekhHZUhxQ1RjZ0MwdVNnVDNV
c0IxZ3FwbWNQM0g0M1FIZUhJZEpibGRLTzA4YjRrVjYKWnFmVlJ1cE1YNTdBZVcv
bmQzci9CZ3NCRXRrUVI4bVVHVnNBTzFCNDhjRTRhVzdKNEx6enlQQkNTSGdaVGR2
NgpsRWg5c3MrcXRTUC9ZTzJmMUhnUVMwWTd0a2hQM08vYXhKTkV6TmJYMHczd2Ny
MlFIRjlOK2tCdDg3c2lUd1ZxCk5WZ2o5Q1RreWszS3hGN1gxTTVQQk9va2txK3ZX
UDJ1N2pHKzFxWnNqempNbExzdkdjaE1CZ015T1lrZ2R0bjgKMUMvb01Gc2ZuQm92
amhDbnBjTUduVHNDQXdFQUFRPT0KLS0tLS1FTkQgUFVCTElDIEtFWS0tLS0tCjsx
NTptZW1wa28uY29tOjgwODA=
Comments by the author here. [1] See also: Esoteric Language Implemented in Preprocessor. [2]

[1] http://c2.com/cgi/wiki?CeePreprocessor

[2] https://esolangs.org/wiki/ELIP
We know there was a lawsuit related to employer collusion that supposedly depressed salaries. How much is a matter of debate given that the salaries in question are pretty high by any measure. So I question whether there was a "massive" market distortion.

The parent argument was that a different form of what some might also call collusion--publishing salaries in the context of setting the going rate as large law firms apparently do--would instead massively (2-3x) increase salaries at those same firms.
Afraid not; professor in Philadelphia. I suspect that the professors who teach these kind of courses often get great reputations. ;)

I never actually took any of those classes from him (very difficult classes to get into), but I did have a creative writing class with him freshmen year. He gave me a lot of really good feedback that made it clear that he had carefully read what I wrote. A very good professor in his own right, but teaching those very popular classes could only help.
Also don't underestimate the number of the jobs that need automation ;)
A note of caution: This guide is currently useless. This is from 2006 - this means:

- All of the doc links are broken.

- Much of the behavior is not the default for any number of years now.

- Most of the gripes are about 4.x behavior.

This was written at a time when MySQL 5.1 was just going GA. I'm a fan of MySQL, having written for it and used it to do some really incredible things at scale, but even I'll admit that almost everything 5.1 and prior was pure and utter shite.
You stop listening to new music at age 33, earlier for parents, study finds
Heh, no. GPG mitigates a wide spectrum of threats. Not all threats. It's part of an over-all strategy of risk management. Your thinking of "it's a silver bullet that fails completely" is as lulzy as the people who think "it's a silver bullet that works perfectly."

Think probabilistically, not black-and-white binary logic.
I don't think most Americans realize when they view the weather that they're using open data.

When you compare these numbers to Congressional approval they look much better.
I choose to make donations to charitable foundations instead of cash to street panhandlers.

But when someone asks me for money on the street, I almost always respond to them by saying "Sorry" or similar. I've always felt it rude to just walk by ignoring their presence. And probably over 95% of the time the person answers back something like "ok, have a great weekend" or "Thanks anyway".

That said, I think many people that walk past without making eye contact do so not because they think the person begging is inferior, but likely because they're hiding in their own shame.

I've seen similar behavior on crowded subways, where able-bodied people avert eye contact with the pregnant lady or senior citizen who is standing, wanting both to keep their seat but hoping someone else gives up their own seat.
Being pedantic: CC works still have copyright.

Depending on your country I think it may be impossible as a creator of something to give up your copyright. Based on what I have read here on HN before.

But CC comes with permissive licensing, which I guess is what you are filtering-in with your boycott.
Then download the torrent and tip the producer somehow. Why pay for another service that is clearly not needed? I actually thought someone should have already built a startup selling 'virtual tickets'.
> while your cellphone does not produce EM radiation which comes even close to natural high energy radiation sources you don't really put pulsars to your ear.

Or worse, right next to your reproductive material.
Tourism is a double edged sword. Large chunks of the world with very fragile eco-systems, sometimes the last few of a species depend on the tourists for their income. But tourists don't have quotas and too many of them destroy the thing they seek to find. It's a delicate balance. Kudos to mr. Winchester for realizing that all by himself on that boat, it's a hard realization that the best tourists are the ones that you can't see.
I think there should be a width limit on text content, it's incredibly hard to read text on a big monitor.
ESP!
The business leadership lessons that come with cancer
Misappropriation of expertise: there is no advantage to having a bunch of people running around thinking they are scientists when they've had next to zero scientific training.
I saw this image [1] a while ago. At first I thought it was clever, implying that multithreaded programming often seems like chaos in practice. But actually, that chaos is a result of the nondeterministic nature of concurrent processing. Each thread is doing it's own thing as quickly as possible. Specifically, it is important to note that concurrent threads cannot be expected to perform at equal speed.

In this particular analogy, if the goal is to consume the food as quickly as possible, this may be the most efficient solution.

1. http://i.imgur.com/iDVTstR.jpg
Also https://en.wikipedia.org/wiki/Unsinkable_aircraft_carrier
No.

$4 earbuds with whitenoise in them are much better, imo.
Stop funneling links through your website, link to the source.

Flagged, just like all of the other 3 from today: https://news.ycombinator.com/submitted?id=mustapha
"The only problem is that rust was built with the idea that it will be used with a malloc style memory allocator. This kind of allocator is rather hard to implement using slab allocators since malloc must be able to allocate buffers of any size."

...

"About the only somewhat difficult challenge was that I was unable to find any clean way to switch between different virtual terminals. I ended up having to just update a pointer so that the interrupt subsystem could know which TTY to send input to." (discouraged in rust).

It's a good exercise to try to take a language with promise and use it for a systems task to understand what's possible. But sometimes some languages need to be systems languages, and others need to be application languages, because there are different assumptions and default cases we want to make easy/possible for developers.
Yes, many exit nodes are malicious. That's why you should always use https when using tor.
Scientists Find Mechanism to Reset Body Clock
Amazon Instant Video on PS3 and on my Vizio is pretty bad. Slow, unresponsive interface, very difficult to accurately skip ahead, not a great selection. Netflix does a great job interface wise, way better than Amazon Instant Video.
So what are options besides Tor right now? Is anybody working on anything more secure?
If it acts as a (relatively good) antenna to emf, then won't emf cause a mechanical stress on the strand?
Very brave of you to voluntarily contribute to your own profession's demise by helping to provide auto-didactic services.
so what is the liability of users who watch movies on popcorn time?
The described technology is independent of the source of the torrent. Their relation is similiar to the relationship between a program and an OS. Yes, the OS permits the usage of the program but the OS is not responsible in any way for the program nor does it imply that the OS wants to make money off the profits of the program.

The moment Popcorn Time adds Ads, there will be a fork without them.
That sounds pretty harsh which probably translates into the alternative being even harsher. Wow. I have a small RF burn in one of my fingers, about 3 mm across and as deep as the bone, it never healed properly (I got it when I was 17, a long time ago from a Tronser trimmer that I touched by accident in a 1KW FM transmitter). I hope that your treatment does not leave such marks.

Apparently the 'pulsed' version of your treatment is to keep the temperature down while still having the same effect on the nerve.
Oh, look, another group of people making another arbitrary distinction between these two words, which is shared by no one else.

In grad school, we used concurrency to mean interleaved, single processor threading, while parallelism meant multiprocessor.

I've heard other people use this distinction to mean fork-join style concurrency vs. shared memory parallelism.

Can we just accept that these two words mean roughly the same thing and stop trying to get one community's niggling technical distinction to be accepted as gospel?
See also Andrej Bauer's "reply article", Proof of Negation and Proof by Contradiction: http://math.andrej.com/2010/03/29/proof-of-negation-and-proo...

In short, there are two different logical principles, and ordinary mathematicians call both of them proof by contradiction. However, constructivist (aka intuitionist) mathematicians make a distinction between them: they "believe in" proof of negation, but not in proof by contradiction.

A lot of work has been done about formalizing mathematics in constructive logic. One big component of this is figuring out which uses of proof by contradiction are avoidable, and which one are essential (in the latter case the theorem statement has to be weakened for the constructive version). But this is all about proof by contradiction in the narrow sense. The usual proof about the irrationality of √2 is valid constructively.
Parts are changed all the time over the production run of a car. How does that constitutes an "engineering failure"?
Global warming has dramatically upped the odds of extreme heat events