skysight-inc/HackerNews huggingface dataset:
I think Eckel sees Scala the way I do, as a somehow incomplete vision of the future of programming, but I was disappointed by this talk. I was hoping to hear some deeper insights into what specifically Eckel would want to rethink about Scala. I don't think he was really able to elucidate what he wants to change. He vaguely mentioned Scala 3, but didn't seem to have looked very deeply into it.

Like others, I was also a bit perplexed by his description of the community. In his descriptions of Python's BDFL, I couldn't help but feel Odersky's leadership was shortchanged a bit. I primarily programmed in Scala for the past year and my experience with the community has been nothing but positive, whether on mailing lists or StackOverflow.

Of course, perception is reality, and even Odersky has spoken on a culture of elitism in Scala in the past. I also think the lack of women in the Scala scene makes a point in itself, as well. I just wish more cogent examples had been provided, because the problems in the community need to be highlighted before they can be solved.

My biggest issue with Scala hasn't been community, but lack of maturity on the project level. The larger Python, JS, and Ruby communities simply have more out there in terms of community contributed content. The tradeoff for me has been that versus the sheer elegance of Scala.

I also think there's a lot of truth to the point that the multiparadigm of ways to do something in Scala leads to each team or organization developing a distinct style, which is unfortunate. On the other hand, Scala code seems have this property of evolution toward succinctness and elegance over time. You may not know how to get it right the first shot, but you'll eventually roll down the gradually sloped pit of success. In JS, by contrast, doing things the right way tends to look almost like an abuse of the language.
I believe the point of this (and the highly-recommended article linked above about Scott/Vitamin C/scurvy), is that those involved are, as you say, blind to important truths. By definition, we cannot know which of our contemporary conclusions will be seen by future scientists as backwards or dangerously misleading.

In my opinion, the unsolvable nature of this kind of problem is a lesson in the importance of humility. After a lot of hard work and rigorous investigation, it is easy to conclude that some conclusion must be correct. Unfortunately, as science can only works within the range of known observations. New evidence can completely undermine supposedly "certain" conclusions. Much to the annoyance of the people reporting on scientific discoveries, or the people that demand certainty in any report so they can rely on it (e.g. for military purposes), there is no "final" conclusion in science.
Given that turtles can live for hundreds of years...you tell me ;-)
University of Toronto Website Hacked by Pro-ISIS Hackers
In Manhattan it's Yale. In Palo Alto the cred comes from Stanford, Cal Tech and MIT.
I am not a christian but I completely agree with this theory. Porn is indeed destroying it.
The notion that memory leaks do not constitute memory unsafety has been the party line for a long time, since last year at least (since we can't prevent memory leaks statically: imagine sending something across a channel to a deadlocked thread (remembering that Rust cannot statically prevent deadlocks in general, only data races)). The disruption this week has been due to a stdlib API that made use of a very specific pattern involving a mix of unsafe code, ownership transfer, and destructors. Previously it was believed that this particular unsafe code could not lead to memory unsafety, but that happens to be untrue when memory leakage is thrown into the mix. As a result of this coming to light people will need to reevaluate unsafe code in destructors in a way that had previously not been considered, which is why there's been a general tizzy about it.
Generics are captured in various places in bytecode - most importantly in type definitions. This is how the common type token pattern is exploited. Where generics are erased is in local variable declarations.
I call it the Jon Stewart\Glenn Beck model of selling ads.

Reactions vs Solutions.
In good markets, it's harder to see the fraud because the rising tide helps the criminals too. As Warren Buffett says, it's only when the tide rolls out that you see who is not wearing pants.
Written by a retired USMC Major General who won the Medal of Honor. Twice. And then saved the USA from a coup as a civilian.

In addition to writing a very well informed criticism of the 'war economy', he's definitely someone I'd buy a beer for if he were still alive.
Show HN: Embed runnable code snippets on your website
What do you like more about Mako? I haven't used it in years, but I remember it being fairly similar in capabilities to Jinja2.
Sushi was once considered a food of humble ingredients.
If you remember, these are the ones responsible for the war of 1812, and that Churchill wanted to JOIN ADOLF HITLER in WORLD WAR II...

These are the SAME places that wanted to OVERTHROW FREEDOM for an OPPRESSIONIST REGIME.

They NEVER ended the wars against the United States.

THE WORLD IS STILL "AT WAR" WITH THE BRITISH!

The British NEVER stopped WAR against YOU(The public/World).
http://repl.it/jM0

You may want to disable shell execution.
As someone who started programming as a teenager in the 90s, Lisp wasn't on my radar until the mid-2000s. I think you have to acknowledge that regardless of what the Lisp/academic scene had accomplished, these advances simply hadn't made it to mainstream development. To me, there's truth in the talk, because it mirrors what I experienced, although I know actual history to be different in the broadest sense. I know now about Scheme, Self, Smalltalk, etc, but it's clear they simply weren't exerting that much influence on early web developers or desktop developers of the time.

I don't know why you're getting downvoted, but I do think people are disagreeing with you simply because their experience is like mine. These concepts weren't truly novel when they went mainstream in the 2000s, but they were new to many.
Previously at Apple, currently at Rackspace :-).

(Thank you for your kind words.)
Android Wear is useless in China, so Baidu just created its own smartwatch OS
I still have my Mid 2009 Mac book pro. Best Machine ever and still using it. I replaced the CD drive with an SSD and the performance in general of the computer improved a lot. The only issue is that the battery is too old and only last 2 - 3 hours.
I'm no expert on batteries, but won't constantly charging the phone battery after small discharges (While you go between places with chargers) cause it to die sooner?
> Unless you're talking to hardware or another language, you should not need unsafe code.

... or if you're implementing safe abstractions on top of data structures or synchronization protocols that the type system cannot automatically infer to be safe.

Of course that is going to be a smallish subset of Rust programmers that gets smaller with time as the standard library fills out, but an important one!

For those who aren't as familiar with Rust, the std::sync [0] module can be a fun way to cut your teeth.

For example, here's the implementation of Mutex.lock [1]:

pub fn lock(&self) -> LockResult<MutexGuard<T>> {
unsafe { self.inner.lock.lock() }
MutexGuard::new(&*self.inner, &self.data)
}

Note that the self argument is immutable: "&self" instead of "&mut self". This may seem odd: doesn't locking a mutex require a change to its innards? Which is why you should not be surprised to see the unsafe, which allows us to bend the immutability of &self in order to acquire the lock.

In fact, how could it be otherwise? Rust prevents there ever being more than one &mut to something, so if the signature of Mutex::lock was "&mut self", there could only ever be one usable ref to the Mutex! That would be pointless, of course -- multiple threads need to have references to the mutex.

We're still safe, though, because the "mut-aliasing" that Rust normally prevents via the borrow checker at compile time is being replaced with a run-time mechanism that achieves the same thing via the Mutex and the MutexGuard [2].

[0] http://doc.rust-lang.org/std/sync/index.html

[1] http://doc.rust-lang.org/src/std/sync/mutex.rs.html#196-211

[2] Well, strictly speaking a RwLock is a closer runtime approximation to the borrow checker's rules, because it allows multiple simultaneous readers: http://doc.rust-lang.org/std/sync/struct.RwLock.html
Definitely, the programmers need to stay away from integration methods that introduce energy. Jeez, I thought everybody figured this out by now.
Is anyone else almost impressed with how good Congress seems to be at talking any sort of actual citizen-friendly bills to death while miraculously coordinating itself to pass terrible laws that protect them with bipartisan support?

If it wasn't so sad, I'd be impressed.
I use cygwin for ssh/scp, even if I don't need cygwin for anything else
I can help with a Rust vs ATS.

ATS is more like a safe version of C wrapped in ML syntax vs Rust as a safe version of C++.

ATS is lower level. You can do memory safe pointer arithmetic whereas in Rust you'd use unsafe blocks.

Some things are implicit in Rust but explicit (and more verbose) in ATS. For example, Rust has destructors for RAII whereas ATS requires manually calling functions to clean up resources. The type checker tells you when you need to do this (via linear types) but programmer still needs to do the call.

Borrowing is automatic in Rust. In ATS it requires keeping track of borrows in proof variables and manually giving them back. Again the type checker tells you when you get it wrong but it's more verbosity.

ATS has a restricted form of dependent types - Rust is not dependently typed.

With current implementations, ATS compiles to C which can be compiled independantly of an ATS install. You can ship the C code to someone to build without them needing ATS. Rust uses LLVM.

The two languages feel very differently when programming.
Can you sell an idea for money? No? Then an idea itself isn't worth anything. There are good ideas and bad ideas. Good ideas have the potential to make you a million dollars. Even if it could potentially earn you a billion dollars, do you think you could sell it for a million? The market value for ideas would suggest that no, they aren't worth much.
Obama praises S. Korea for paying teachers as much as doctors, engineers
Am I the only one who notice the '.space' domain?
That's embarrassing - I was still mentally usin ten as the denominator.

Back to school
The Vietnam War, as Seen by the Victors
that was a good read, but it was about failure of poorly designed systems, rather than blister pack efficacy.
But before you stop to consider that, please finish reading my contribution to the supposed problem.
I, or one, don't really equate TLDR with laziness. I equate with "get rid of all that unnecessary bloat and clickbait headlines".

The headline of this article, in my opinion, should have been "too monotonic diet", not "too much rice".
That's not much, I can easily come up with a format that is computer readable that will require you to write a parser for.
I love how the rendering is of a small village in the desert, and they're firing at all the houses.

If nothing else, seems pretty accurate...
The school that hates rules
for the most part, yes, but there have been a few navies involved in suppressing pirate and possibly terror activity (piracy around the horn of africa, among other places.
One of the things that bothers me about other sites is that they're too restrictive. I want people using this to get a proper environment for testing and teaching others, and that means you can run shell commands or write to disk. I'll rethink that if it ever becomes a problem.
How I got into the Italy Startup Visa adventure
$10/instance and $100/year are only the threshold for reporting, not the threshold for banning. Plenty of doctors are still getting lots of perks from the pharmaceutical industry.

In some circles, most notably in academia, doctors even consider it a mark of prestige to get expensive perks from multiple pharmaceutical companies. "Pfizer just asked me to speak at their conference in the Bahamas. Too bad I already agreed to attend Novartis's event in France!" The Sunshine Act does nothing to curb their corruption and only fuels their pride.
I find it interesting because strep is very easy to test for and very easy to cure (for the most part - although the test failed in this case), but I've seen such a wide variety of responses to it.

When I was young, the doctors would always test and almost always prescribe antibiotics. Initially they gave shots, which of course I hated as a kid, but they were effective and very fast - within a few days I'd be better. Then they switched to multiple week courses of pills, which also worked but left you sick a lot longer. (Now I wish they'd go back to shots.)

Then something weird happened - they quit testing and started guessing. A quick glance down the throat followed by either "May be strep, here's a prescription." or "Might go away on its own. Come back in a couple weeks if it hasn't gone away." I know people who ended up hospitalized because of this. Even if it might not get worse, why make them suffer extra weeks, miss school/work, and risk it getting worse when it could so easily be tested and treated with a cheap, readily-available cure?

I wonder why testing and applying an appropriate response to test results fell out of fashion in general. How much more advanced might psychiatric medicine be if doctors generally did test like scientists (not just for strep, but whatever) instead of guessing like astrologers? There's probably a lot that could have already been discovered.
I hope Servo will be important for non Android mobile Linux as well.
International text input is the kind of thing that many Americans won't need too much.

I love the (limited) Emacs bindings. C-k is probably my all-time favorite.
In laptops, the battery management system has the "stop charging" threshold higher than the"start charging" threshold. Probably the same in phones.

(You can tune these in ThinkPads, http://linrunner.de/en/tlp/docs/tlp-faq.html#battery)
If you need reification, then you are doing a runtime look up of type information.

Which, by definition, has nothing to do with generic types.

By the way, this is another reason why erasure is the only sane way of doing this: supporting reification means that you let developers second guess what the compiler already proved for you. Just say no to reification.
A taxing algorithm
The wording makes me think that's it's purely about allowing non-hygienic macros[1] in some sensible way. (At least a quick glance at the Rust book/manual suggests that macros are always hygienic in Rust.) Hygiene is a good default, but it does prevent certain other useful uses of macros.

[1] http://en.wikipedia.org/wiki/Hygienic_macro
The difference with kibibytes is that they weren't discovered scientifically, someone (or some group) just decided to force SI prefix normalization on inherently binary units. Most people I know don't use power of two units anyway, though, so those two factors alone would definitely slow uptake.

Pluto is sort of the same, though at least there's an empirical justification in that there are other similarly sized bodies that shouldn't qualify as planets, so a consistent definition was chosen to exclude them and Pluto. But because it's a definitional change rather than a new discovery, people can be slow to adopt it.
Suckerpunched by 'Productivity'-an Entrepreneur's perspective
My issue with the statement is two fold:

1) "Any given" really isn't the same as "every". It's vague and ambiguous, and generally means it happens often, but is not a useful measure of incidence.
2) A deployment of this number of devices + custom software will have problems, that has to be accepted. One problem, without knowing what it is, really isn't enough to say the thing is a failure. In fact, it's not even close. Is the problem that someone has to restart their iPad? That the content freezes? The content is inaccessible? The content is incomplete? The Wi-Fi goes down? The teacher's materials aren't working? We really have no idea, and that kind of comment in this kind of story is adversarial and unnecessary.
XCode is a pretty good choice for writing Mac applications. I'm not aware of many accepted alternatives.
> It'd be REALLY nice if I could just say "Hey handler, what's your generic type? Is the message I just got an instanceof your generic type?

No, it wouldn't be nice, it would be unsafe. If one day you end up adding a new type in your container, you need to update your runtime check as well or your code will fail in mysterious ways.

Erasure keeps you honest by asking you to think carefull about the types so that they can be checked by the compiler, and once the compiler has done this verification, you are guaranteed that your code will work.

Any language feature that encourages the use of reflection , such as reification of types, should not be supported by a language that wants to claim to be sound.
Also see http://hnnotify.com/, which shoots you an email when someone replies to one of your comments. It's been chugging a long for a number of years now and definitely still works.
I don't think charging "pads" should be considered wireless. Yes, technically they don't require a wire but when we speak about going "wireless" the idea is to be liberated from the physical constraints of the wire and be able to move around freely without restraints. These charging pads are actually LESS liberating because it requires your device to be stuck to the pad otherwise it wont charge whereas with a wire you can at least use it several feet away. I'm not sure what value this adds over charging with wire in terms of functionality. What Ubeam is working on is more exciting and revolutionary. That's REAL wireless charging!
It is illegal only when Apple owns the majority of the market share, that is, a monopoly. When iPhone users constituted more than 90% of all smart phone users, such practice would be illegal. Right now, Apple can argue that a tight controlled App Store is vital to their success, and any consumer who disagrees can simply switch to their competitor, Android.
Maybe, certainly ramen were considered humble --and still so, except there are high art ramen joints.

I think my point was that Ono specializes in one thing and just keeps honing a particular thing whereas Redzepi has an approach but will consider anything for his approach --he'll experiment with inedible things --things which normally cause diahorroea, but he experiments with them none the less, he wants to see how far he can go to make something delicious.
That's not just a change in terminology, that would be lying. Please don't do that when marketing anything, least of all medical things.
Minerva: new approach to higher education
I just have a story to tell, and perhaps that's all it is. For me, I am simply happy to have my wife back.
"cargo new helloworld ; cargo run" doesn't work for you in Windows?

I did some REALLY REALLY MINOR code in Windows before doing it on Ubuntu, and I had no issues dependent on OS.
Toroidion 1MW concept electric car
Mother Earth, Mother Board (1996) http://archive.wired.com/wired/archive/4.12/ffglass_pr.html
It's the opposite: macros currently leak their internals in certain circumstances with unsafe and privacy/name resolution, i.e. are slightly non hygienic (they are properly hygienic with respect to local variables, which is the major advantage of hygiene). The changes would make macros more hygienic in those aspects.
Office 365 for $100/year is the 5 license pack, that gives you 5 accounts with each 10TB onedrive storage + desktop office licenses + all the office online stuff.

You can get the 5 pack on amazon for $70. I personally think that's way better than iCloud although I mainly bought it for storage, because if you need more than 1TB that becomes by far the cheapest available option.

Not sure how the extra services from iCloud and office365 compare, don't use either all that much, but both seem kinda equal and lacking compared to google or dropbox.

So I'd certainly call that a nice deal.
Getting ready to do a startup in Italy (immigrant's guide)
Don't really understand. I searched out YouTube videos of his games, they are very low visual quality graphics RPGs. If his engine is dead, he could make something better anyway by just taking a week out to watch Unity tutorials. And that is without even buying one of the many RPG kits off the asset store.
How space flight affects the human body
The short answer is that it's complicated. Digital film (DCP) is typically 24 fps, asirc -- and that doesn't go well into 60, or 50. And the difference is enough that you need to drop a frame and/or stretch the audio. And sometimes this doesn't go so well.

There's a relatively recent trend to try and record digital all the way, and this is also complicated. Record at 24 fps? At 30? At 60? 60 fps 4k is a lot of data. And sound is actually the major pain point -- video frames you can generally just drop/double, speed up/down a little to even things out. But 24 fps to 60 fps creates big enough gaps that audio pitch can become an issue.
I'm not actually sure I understand why children couldn't be brainwashed. I've seen extremely well controlled children to do exactly what their parents want.
> I'm not sure what value this adds over charging with wire in terms of functionality.

Not sure if it's adding functionality but rather convenience. I think the goal of "charging furniture" is to pick up a collection of small charges over the day that remove the need for dedicated "inconvenient" charging times. So instead of tracking battery life and anticipating your future use and eventually coming to a point where you say "OK, now is is a good combination of low battery and convenient timing to plug my phone in and charge it" you just put it down when you sit down and magically you have a phone that lasts much longer before it needs a period of dedicated charging time.

When I got a wireless charging pad that was how I was hoping it would work. Except it didn't because it's a small pad and the phone has to be placed precisely on it and it makes an obnoxiously loud beep when charging begins. Since using it requires a mental decision and never really flows seamlessly, I really only find myself using it when I would use a charging cord anyway. But maybe the implementation in furniture may change that.

Just make the charging area large enough that I can drop it on the spot correctly on the first try reliably. (It takes me two tries on average with my current pad.)
Sadly, this just formalizes what has been the norm for a while now.
You and I think a lot alike! Glad to hear you've had success.
> International text input is the kind of thing that many Americans won't need too much.

No, but as a non-American, I'm glad that free software has us covered...
It would be lying if Takaki knew that beriberi wasn't caused by germs.

But back in the 1870s, he didn't know that. He only knew that something in barley was helping to prevent beriberi, and he was in fact mistaken about what that something was. (He thought it was proteins when it was actually vitamin B1.) So the Antibiotic Barley Theory could have been a reasonable hypothesis.

Vitamin C is named "ascorbic" (i.e. anti-scurvy) acid because the people who discovered it were looking for a substance that prevented scurvy, no matter what the mechanism of action. The mechanism of action was only known for sure after the substance was identified.
Certainly not the things I reach for when I'm at home, but that is indeed what they pay me to do :-)