skysight-inc/HackerNews huggingface dataset:
> the social movements that youth were involved in during the 60's and 70's were far more widespread (and much more radical) than those of today

I am not sure that is the case. Contrast popular opposition to the Vietnam war, which didn't become widespread until many years into the conflict, with the opposition to the war in Iraq, where protests drew hundreds of thousands of people even before the actual invasion.
This would be a really good title for a book on HPC best practices...
Well, but only for those who attend those schools. My point is, that school markets leave winners and losers. Losers who have to go to awful schools and winners who get the best education ever. If that is what you want, okay. But I want the best education for everybody. Everything else is IMO pointless.
No, there is Yahoo mail too. Did you reach out to Apple? I don't think it was apple with made the first step towards FastMail :)
Maybe the real problem could be the opposite, that poor kids are learning and having an education and they aren't expected to do this. If those schools really provide a bad education should be easy to cite some examples and specific facts and make a list of things that must be fixed, give a reasonable time to fix it and check again.

To close the schools looks more like a "we'll have the cake for free". All the investment and new buildings.

On the other part. Maybe a school in Uganda needs special safety measures, non obvious at first sight for people in developped countries. The possibility of Boko Haram kidnapping all the children in the class for example would be a nightmare than needs a carefully planned safety protocol.
Honestly I haven't seen a 3d tool like that.
Perhaps it's just the nature of the beast and I should be glad that in Blender at least the complicated workflows are smooth once you get past the "bootcamp" stage.
So if I'm expecting my variable to contain a String, and I try to do Stringy operations on it, what difference does it make to me if that fails because it actually contained an Integer or actually contained a null? My program is just as meaningless either way. Maybe from a standpoint of what's officially promised by the runtime, it's sound, but that feels to me like moving the goalposts. In terms of useful guarantees, Java's type system is, let's just say, kind of useless, if "unsound" is technically incorrect.
OK, I must point to

http://emilkirkegaard.dk/en/wp-content/uploads/Robert-A.-Hei...
This isn't helpful. This would be especially unhelpful and counter-productive within a team. Rather than criticize you could offer kind guidance on how the original author could improve. Who knows, perhaps we will disagree with your choices just as strongly?
How about underground? How about the bottom of a glacier? No need to be "surfacist." ;)
> Reducing taxes does cause people to work more.

Is there any evidence to back that statement up?
Is HN and the Twitter/Medium/blog spehere different? We get devs with 0-3 years experience and no desire to look into past art writing with an authoritative tone all the time.
Have you seen iaxmodem? I ran a 30-line digital fax system on it years ago and it worked really well.
US DOJ Renews Private Prison Contracts Despite Promise to Phase Out Use
http://lectures.quantecon.org/
To the people who are complaining about this sort of thing: where do you draw the line on free speech on college campuses? For instance would you want universities to allow students to use racial slurs, with malice, in classroom discussions or paper, without any disciplinary consequences?
The long days + nights pose problems beyond just temperatures. It means having to store a lot of energy to deal with the long nights, meaning either big batteries (heavy and hard to get out of Earth's gravity well) or nuclear reactors (riddled with political issues). The 24.5 hour days on Mars can easily be handled with small batteries, or if need be power generated by fuel extracted on Mars.

Gravity on the moon is also a big issue for long term habitation. It's only 16.7% of Earth's gravity, which is a far cry from Mars' 40% and is much more likely to cause physiological issues with the human body. 40% gravity may be enough for negative effects to be mostly offset by exercise, but 16.7% is much more doubtful. Crews would likely need to be regularly cycled, making it impossible for anybody to live on the moon permanently.

The surface of the moon is exposed to much higher levels of radiation by two counts: first, it's closer to the sun, and two, it has no atmosphere. Mars' surface radiation is a good deal lower thanks to extra distance and its atmosphere, as thin as it is, cuts down on that number significantly. Furthermore, with 24.5 hour days there are frequent breaks from exposure to solar radiation whereas moon colonists would be faced with 21 days of high exposure followed by 21 days of low exposure.

There's also the matter of resources. Raw material is both far more plentiful and more accessible on Mars; there's an atmosphere to pull gases from for oxygen and fuel and entire lakes of frozen water on Mars, whereas moon settlers would need to use expensive, complicated, and failure-prone machinery to process regolith. There are craters with some frozen water on the moon, but relying on those greatly limits the number of prospective colonization sites and will eventually be exhausted if population counts rise from outpost numbers to something more closely resembling a permanent colony.

There are other factors as well, but these four are some of the largest.
And that's the issue. Immigrants gladly do the work that Americans won't do.
Here's an article to support the claim that Asian-Americans are less represented in the executive /administrativelevels of a lot of companies/schools. http://www.economist.com/news/briefing/21669595-asian-americ...
I think this shows the state of our intel community. They've been focused on wide-net operations. If a target is high enough of an asset, why not go the easiest route of installing booby-trapped login screens, hardware keyloggers and what not? It's the easiest and most effective way to spy on someone (I'm sure they already do this.) This is all a ploy to spy on citizens. Period.
x86 is the worst ISA. If you want to play with assembler without feeling a desire to stab yourself and end it all, I recommend ARM.

Or go learn Z80, x86's weird, 8-bit cousin (it had a 16-bit version, but it sold poorly), which had a greater emphasis on backwards compatability (you can run code from the original 8080 on a Z80, unchanged), and is nicer to work with (because it wasn't extended in unticipated directions far beyond its original capabilities, while keeping fetishistic backwards compatability by stacking hack on top of hack on top hack. It also didn't have memory segmentation, otherwise known as The Worst Thing.)

There are only two common reasons to learn Z80 assembler, though: to program the Gameboy (which runs on a modified Z80 with all the cool instructions removed), and to program a TI calculator, thus making all highschoolers in your area immensely happy.

TI calculators are a comically overpriced scam, that have only survived because of the College Board, but that's another story.
Text hands down. We can easily scan and skip parts that we do not need. Videos are such a drain on time and are boring. Its hard to go back and forth.
So which department shown on https://www.bsi.bund.de/SharedDocs/Downloads/DE/BSI/BSI/Orga... has an offensive role?

The BND/BSI split as implemented in Germany is relatively unique precisely to separate offensive and defensive concerns. The biggest issue IMHO is that they both report to the same federal office.
So true, I once had to use a specialist 3d package (Daz Studio) for a project and was overjoyed when I discovered that I could tweak its basic navigation controls so that they are exactly like Blender's.
Is this a defect or a tradeoff? Passing arrays of subtypes seems useful to me. I never experienced such an error, but I suspect this is quickly caught and shouldn't be a big problem.

But then I don't know anything about type system theory.
I agree with you that we need to change the way were living before we screw up Earth, but that's a process that can be run in parallel with space exploration. In theory many of the technologies used for colonizing other worlds could be useful for making our existence down here more sustainable, and vice versa. It's not like there is a finite amount of science points and we can allocate them all to one thing anyway.
It is. But it has 4 votes :)
All their surface infrastructure might not survive, whereas you do get that on Mars.
Yeah. I think someone at Atari saw an easy pay day, with no marketing spend. 10 or 20,000 machines presumably charged out at a top dollar govt sponsored price per unit, sent to one delivery address? Kinda makes sense on the surface of it; notwithstanding the moral sensitivities within the company at the time.
“Speed of Light Was Faster in the Early Universe” --Theory Soon to Be Tested
Just curious, what happened exactly? Should you have used the big chef's knife, or the serrated knife?

In my experience, the only use for a serrated knife is for bread, especially hard crusty bread.

A big chef's knife should be able to do most things in the kitchen.
Education is more than just learning how to read and write, if you think that makes me an SJW, I'm one.

I also think that locally run schools, either by the government or by the municipality give the people back their agency.

How much agency have the people with a school company headquartered in another country? To which the school only has contact via a smartphone?
I feel like this mystical mumbo-jumbo is counterproductive.
Google just place the opt-out for AMP search results in the search settings - thank you.
Delete the last character, in the link. The question mark.
Excellent article that has context around the how and why, which I appreciated. Pat has a great "explorer" writing style.

I was going to post this last night but figured it must have been posted already. I was wrong! Nice to see it ok the front page.
That's proposing a technical solution for a social problem, which is usually a bad idea.
You're creating a false choice here. There's no reason we can't colonize other planets and also change local lifestyles. They're totally separate issues. Even if we treated the earth perfectly there's all sort of natural ways the planet could do us in or set civilization back a huge degree (asteroids, super volcanoes, etc.). Colonizing planets makes sense for the exact same reason insurance makes sense - shit happens.
Yes.

It's not that Earth is a political utopia. It's that Titan is simply uninhabitable. Not just very difficult to colonize. Impossible.
Oh wow, hope the retrofits are safe enough.
This is about learning to read, not learning to write.

If you're ever in a situation where you need to read assembly, it's typically not up to you what ISA it'll be in. There are two situations where I've had to read assembly: either reverse-engineering a compiled binary or trying to understand the compiler output for a small piece of a program I'm working on in a higher-level language.
> There are only two common reasons to learn Z80 assembler, though: to program the Gameboy [...] and to program a TI calculator

What about the myriad of other (mostly vintage) computer systems and video game consoles out there? ;)

Sega Master System and Game Gear, for example.
Exactly, it's like most of my programmer co-workers getting baffled when they see somebody using a keyboard/command-line-oriented linux setup instead of a mouse-oriented mac.
Were you disappointed that this wasn't bleeding edge advice for time travelers?
Hm, I'm rather surprised by the fact they are hosting mail servers with OVH. Most OVH servers are on several blacklists and OVH do not tend to take very kindly to people using email through their servers.
Yes but again you can create a system that allow that from the begining. It's just very, very costly to dev. And if you have legacy code, then a rewrite is even more prohibitive.
One trick to get around the use of asterisk for italicizing test for footnotes, use a character like this one: † I keep a copy at the top of a file that I always have loaded in my Emacs.
This is what I'm thinking. I'm also getting tired of web dev already... and I'm only 22.

I spend part of my free time learning math, distributed systems, and other subjects in hopes of moving to another area one day.
A few links are broken in that article. Here's an archive which contains the pictures referenced: http://web.archive.org/web/20070202095050/http://www.anomali...
Yes, Posteo.de and Mailbox.org somehow seem to provide better value for less money.
https://vimeo.com/193273927
(1) I 100% agree that null is a terrible, terrible idea https://www.lucidchart.com/techblog/2015/08/31/the-worst-mis...

(2) It's all relative. Most languages allow lots of invalid operations on data.

What if I'm expecting my variable to contain a non-empty list and I try to do non-empty list things to it and fail? Dependently-typed languages like Idris say everyone else is moving the goal posts by accepting this behavior in their type systems.
Who said anything about Hawaii? Why not compare to the wheat belt states?
If sous vide catches on, I wonder if the next step in the progression is pre-packaged or even pre-cooked sous vide meats. Isn't that how the restaurants do it? It's more sanitary because it eliminates the handling of raw meat.

I also wonder if a low power microwave oven would be an alternative to a hot water bath. I don't know how the two methods would compare for efficiency.
The question is "why do they do it". And the answer is "cost".

It's not:

- because it's can't be done;
- because we don't know the way to do it;
- because it's better that way.

It's because it's very expensive. In your case, either because you don't create your whole system, or have a legacy system to use, doing it would be prohibitive. It's still a matter of cost.
"You are free to drive your vehicle anywhere for any purpose" seems to be going away:

https://electrek.co/2016/10/19/teslas-new-self-driving-car-c...
.NET doesn't get generics right, having type erasure is among the best features of Java.

The actual reason for why you feel the need for reification is because the type systems of both C# and Java are so poor that you end up in situations where you really need to do "isInstanceOf" checks and castings. But people are missing the forest from the trees here, because these are essentially holes in the type-system, only needed because the languages are not expressive enough. Because really, you don't really need to check whether something is an instance of "List<int>" at runtime, in a static language, unless your language sucks ;-)

As to why type erasure is among the best features of Java, that's because with reification it gets hard to support other languages. It's kind of ironic, but .NET CLR was once marketed as the multi-language runtime, but time has been on the JVM's side in that regard.

For example F# doesn't support higher-kinded types because the CLR doesn't support higher-kinded types and introducing support for HKT would mean for the F# compiler to basically do type erasure by itself, which would place it at a serious disadvantage versus the host language in terms of performance. Scala supports higher-kinded types, which means you can express in Scala types such as the Monad and the Applicative, which are essential for FP in static languages, without sacrificing performance or Java interoperability. Even OCaml supports higher-kinded types.

And this isn't just about static languages. Pick any dynamic language you can think of, take your pick from Ruby, Python, Clojure and Javascript and compare the performance of the implementations on the JVM versus the CLR. OK, it's sort of an unfair comparison, given the JVM implementations have had more resources invested in them, but you know, one of the reasons for why dynamic languages work better on top of the JVM is because the JVM's bytecode is basically dynamically typed, with the last barriers being brought down along with invokedynamic. But by introducing generics reification on the other hand you end up with more static info in the bytecode that dynamic languages have to work around.

The only clear advantage to reification is the specialization for primitives that the CLR is doing for things like the standard collections. But you know, this can be a job for the compiler, you don't actually need the runtime to do specialization (see Scala's miniboxing or Dotty) and even if the runtime does specialization, you don't need it to do .NET-like reification (at least the Java engineers claim that, having plans to do primitive specialization for Java 10 or something).
El Psy Kongroo.
We've had our servers blacklisted for "low traffic" and completely legit, authenticated emails marked as Spam. Completely new IPs with 100/100 reputation were blacklisted just because they were not known from before. To get us off from their lists we were in for a web of problems. It is all rigged against the small hosters. If you are a bigger one, you can just get directly in touch. I was personally all for the idea of running own mail servers, but after the experience so far, would say good luck with that. Unfortunate though.
I can’t sell anything to Cuba while also providing anything in the Google Store or the Apple App Store.

That’s part fo the issue.
1

OK company but underpaid, pretty good team, and the technical bits are really interesting.

The project is a 10 year boondoggle (still dogglin' strong), I've been here for four and there's been basically no progress since my first year when the only good manager left and nobody else would sign off on anything big enough to actually make a difference. It's incredibly frustrating to spend so much time and energy to go nowhere.

Also the team is distributed over four locations, we work weird hours because of the nature of the project, and we travel reasonably often but flexible hours or working from home are disallowed "to make management easier".

T minus three weeks till I'm out.
They're not as common reasons.

But yes, if you want to program your TRS-80 (but only the original: later ones were 6502), or your ZX* (How many of you lot know the ZX line? Spectrum? No?), or your Game Gear, or your Master System, or any of the various CP/M machines, you have to learn Z80.
> Yes. Google and Facebook aren't the only ones.
> You don't need a valid phone number to implement 2 factor authentication. There are implementations that require it, sure. But it's not the only way.

Are your referring to AWS Multi-Factor Authentication (MFA)? It's indeed a good implementation, but it's usage is very limited and most people are not referring to this when they are talking about 2FA.
It's fine if pursuing these things is a higher priority for you than colonizing other planets, but I reject your argument for two reasons.

One, the whole notion that we shouldn't being working on something until someone else's preferred goals have been achieved first is arrogant tot he point of absurdity. I could just as well argue that she shouldn't waste any more funds on what might be a lost cause before we establish an emergency beachhead on another planet for backup purposes.

Two, this position has been expressed so often as to be a cliche. It's not helpful to trot out really timeworn arguments as if they were original, without considering the existing best arguments on both sides.

There are simple solutions to most of our issues.

Just because they're simple doesn't mean they're right. If things were really so simple we'd have arguably taken care of it already. As a general rule, any system that depends on everyone behaving a certain way is doomed to failure because there's abundant evidence in history that people frequently choose to put their individual interest above that of others. You can't just legislate that people will behave unselfishly; past attempts to do so seem to invariably end in totalitarianism. Likewise while I'm all in favor of reducing nuclear stockpiles the probability of a world with no nuclear weapons is close to zero because it's impossible to forget the knowledge that enables the construction of such a weapon, and the impact of nuclear force on an asymmetrical military conflict are simply too large of an incentive to overlook. In a world of billions of people clustered into hundreds of countries (which are semi-conscious aggregate entities imho), it's statistically almost inevitable that you'll have some actors that are militant, relatively weak, and give in easily to temptation.
No, it's been a long-standing option in the XPS BIOS. Here's a photo of the option on my 9343.

http://i.imgur.com/62jcJpB.jpg
He may be referring to the rather elementary form of DNS filtering that both countries currently employ:

* http://greatfirewallofbelgium.be/

* https://en.wikipedia.org/wiki/Censorship_in_Denmark#Internet...
I recommend that you read section 6.2 (The Billion-Dollar Mistake) in the linked paper.

Most important part of that section:

> If our community wants to remove implicit nulls from industry, where appropriate, our community should make greater effort to appreciate the complex compromises that have to be made in practice so that our work can successful transfer out of academia.
Yes, it's all about nulls.
I was curious to break it down from Curry-Howard correspondence (Types as Propositions) point of view. The line

static class Constrain<A, B extends A> {}

reads as

for all propositions A and B, such that B implies A, proposition Constrain<A, B> holds.

While, the line:

Constrain<U,? super T> constrain = null;

kind of says:

Admit that there exists type X, such that T implies X, for which Constrain<U, X> holds.

Even though no proof (read constructed instance) that X implies U is provided.

If we look at concrete execution instance with String and Integer:

String implies Object, Serializable, Comparable<String>, CharSequence. None of those imply/extend Integer, which is required for truthful Constrain<U, ? super T> proposition.

Basically, ex falso quodlibet :)

EDIT: spacing, formatting, wording.
It's not only the numbers, but it is also the content. We had a similar case in my country (Europe) when a government act was in fact a collection of tens of acts from dozens of areas in a single package. Yes, you can pack together stuff to play with numbers, so then what is the meaning of the numbers?
It is also the area of the executive orders. If you go in areas that nobody else intervened in this way, even 1 is way too much.
So, in order to be fair, you should do an apple to apple comparison or fruits to fruits if the situation is more complex, not to bash an idea by throwing numbers.
PS. I don't vote in US, I'm just reading stuff to learn more.
Predestination, starring Ethan Hawke, is a great adaptation of Heinlein's story too.
William Gibson's book "The Peripheral" is a fantastic take on this (and many other things).
Can you provide a link to the story on this? There must be more to this -- or surely some learnings. Thanks.