skysight-inc/HackerNews huggingface dataset:
> I feel like a new systems language needs to come and make aliasing explicit in a way, so that it doesn't surprise programmers but still allows them to get the optimizations that they want. Tracking uniqueness like Rust is a good first step, but it doesn't work for unsafe code or anything with more subtle aliasing relationships.

I think it could be added to Rust. :)

Uniqueness can be viewed as just a starting point. It's a conservative subset of more sophisticated systems like PALE. Since it's a subset, it could be expanded to the full system eventually.

I think the biggest problem is not implementing it or finding a way to slot it into the language design but rather making it easy enough to use to achieve widespread adoption. Rust already stretches the boundaries of programmers' willingness to learn new type systems/static analyses to control aliasing, and it has, as you point out, a very simple system. In fact, I think it's unproven that programmers will be willing to adopt such a system en masse at all†, since Rust is still niche. If and when Rust really takes off in widespread production, we'll have proof that programmers are willing to adopt aliasing information in the type system.

† It'll be interesting to see how the ISO Core C++ lifetime checker fares here. I'm not optimistic about how much use it will get due to complexity and effectively being a different language from C++, but I'd love to be proven wrong.
Anyone who wants to see a demo of it, just sign-in here (top right): https://login.persona.org/

Anyone who wants to see how easy it is to deploy (JS on your page, a button, and callback verifier on your server): https://developer.mozilla.org/en-US/Persona/Quick_Setup

Anyone who wants to see it in action: https://www.lfgss.com/

I love everything about Persona except for the fact that Mozilla are no longer supporting a team around it, and it was given to the community in almost an abandon-ware fashion.

The idea that this could have made an impact faster is laughable, choosing an auth provider is such a slow process requiring considerable points of trust to reinforce it... one of the most significant points of trust was Mozilla itself, but it also needed a social reinforcement as more people adopted it. Mozilla didn't give Persona the time it needed.

My criticisms of Persona are nothing to do with the fungible nature of email as identity, which I think is OK enough in principle (it's no less identifying than anything else and changes less frequently than a phone number), but to do with:

1) The way Persona wants to centrally log-out from all sites, when a user's experience is that they can sign-out from one site and remain signed-in on another.

2) The lack of 2FA in the default instance they shipped/supported.

3) Some of the phrasing and language confuses users, especially after changing to Persona. i.e. They were still a user on my site identified by email address, but Persona would declare that they were not recognised... so I'd have to spend time telling the user to ignore that and sign-in anyway.

The core product though, was exactly what the web needed, and exactly what I needed for all of the sites I run.
Date: 2014
NFL Concussions and Head Injuries by Year and by Team Visualized
Because in many cases these pupils take it home, and use it for private usage?
Haslam's Book Store's Books of Doom: http://www.haslams.com/doom.shtml
UK couple have dead dog cloned in South Korea
Learn about yourself and the answer will come. Learn to meditate. Learn to run. Learn wine tasting. Learn to sew. Volunteer. Go to the zoo. Hang out with friends and family.

Learn who you are, what you enjoy, and where you want to go with your career. Technology stacks change more often than I buy new shoes. Is that a reflection on the technology or the shoes?

I see Mobile development, web dev, FP, and devops technologies in your list. What excites you?

Instead of specific languages, what about learning new concepts? Learning about functional programming will change how you program in other languages. Studying algorithms will change how you think about efficiency. Reading books like "The Pragmatic Programmer" or the classic "Mythical Man Month" will give you a bit of a higher-level understanding of what it is we do.
Blocking on Twitter
I guess I'm finding it just surprising, I've never experienced anything like that, nor have I ever heard of it from anyone I know. I know plenty of people inside the NHS too, as well as simply many people who will have used these services. I'd have expected to see more problems if there really was a "very low bar for cheating customers".

There are regulatory bodies specifically for dentistry as well as for the NHS and sales and advertising. I would heavily suggest that they report this, there seems to be places to do so and I consider this an extremely important issue to solve if it's happening.

I'm not saying you're wrong, just that your friends experiences are so vastly different from my friends.
Oral history interview with Marvin L. Minsky (1989) [pdf]
I don't quite follow, this creates a cljs.core "analysis cache". I don't know what an analysis cache, but I guess it is something that's needed to compile ClojureScript code?

Has no one distributed such a cache in a way that it's easier to do a compile without Java installed? Is there not anything as simple as (where cljs-compile is a Node script):

cljs-compile file.cljs > out.js

yet?
Hateful Eight, Joy, other Oscar contenders leak before theatrical run
Javascript's popularity have nothing to do with its value as a language, considering that it didn't have any competition in what it does. Ignoring the (almost already) decades of critique addressed to its design choices and quirks to declare it a cherished wonder is _no doubt_ a stretch.
> Is it a matter of trust in Mozilla

Yes. Mozilla has helped bring a large number of Web-related standards while maintaining consistently high privacy and security requirements.

Note that Persona isn't a one-central-service system, though. You can have a ton of identity providers, assuming they all follow the same standard. You do need one service to get started, however.
Unowordo – sorry if it crashes on load or the whole idea is not original
>> They didn't have the animation or feedback systems that made iOS so pleasant to use.

> Yay, glitter is the only thing that matters!

That's not what that statement says at all. Modes of interaction need refining. Apple have been doing it for a while. When it was released, it was leaps and bounds ahead of the competition.

>> None of them even pretended to offer a real web browser - it was WAP if anything.

>Worked fine from what I remember.

Confirmation bias in full right there. WAP was/is terrible.

>> Everything before the iPhone was qualitatively and quantitatively inferior, even if it happened to have a janky plastic touch screen.

>At least it wasn't the capacitive junk that all of them are now.

You are probably the only individual alive that is going to argue for resistive, probably because Apple...

>> They sure as hell weren't running slimmed down desktop operating systems with fully-featured frameworks.

>iOS is definitely not a desktop OS. Where are the files? Multi-user support? Terminal?

So the early versions of Windows/Mac OS/Amiga etc weren't desktop OS's? Now you are being ridiculous.

>> They ran whatever software your carrier deigned to offer at vastly inflated prices.

>As opposed to whatever software Apple deigns to offer at vastly inflated prices?

Really? Arguably, Apple sell software at a low price to attract users to it's hardware!
Java for performance critical or realtime things sounds like a feverish dreamed nightmare.
Catan very much requires "playing to luck", and I wonder how that fits into the rest of the analogy. Sure, there's an optimal strategy, but because of the resource discard rules on rolled 7s (the most common roll, of course), you very often have to make the purchase that you can. It's either that or not make a purchase at all and lose out to the discard.

"Playing to luck" is different than "playing to the board" in my book because it requires making probabilistic decisions that have no place in, say, Chess.
Did you even read the article? People who don't want risk can go to Google and make tons of money. There's nothing wrong with it. This guy is saying if you're working for a startup you shouldn't do it for the money since a much better choice in that case would be to go to Google. I guess no matter how good a piece of advice is, you aren't able to take advantage of it if you're not ready for the advice.
Seems a lot more like the student answered the question, "how could you measure the height of the building without using a barometer?"
Yeah, if I can ever get back to recording mine. I did one 5 minute episode and a second with a cat meowing in the background for the last minute so I never released it.

Maybe the holidays are a good chance to re-launch it.

Anyway, there's definitely a niche for a 5 minute podcast people can listen to between meetings or when they duck out for coffee. Unfortunately, I don't know any to recommend.
Hey, tombrossman, thank you for your feedback! We are working on the things which you wrote us! Thank you for spending some time to help us make product even better!
I could have sworn I saw this linked from the HN front-page earlier today, but couldn't find it when I looked a few minutes ago (dug back through more than several pages under both "new" and "news").
> As security people like to say, “put all your eggs in one basket and stick the basket in Fort Knox”

I'm not so sure I want to do that. The point is, even that single Fort Knox can be breached at some point, and if it is, then everything is lost.

I agree that nowadays, email is almost unanimously the way to verify a password reset, and hence all your eggs are already in one basket, but shouldn't there be further protections?
The predominant theory with the media and general public was Global Cooling. You can quickly see this using Google Image Search and the news clippings ("Global Cooling").

Or just check this compilation -
http://wattsupwiththat.com/2013/03/01/global-cooling-compila...

The point is they thought they were also very right.
SMBC: Internet vs. real world surveillance (2012)
Hey! Thanks for the feedback, we will be improving the product every month!
as an independent trader through the crisis (and now), i can relate to the debilitating stress of watching the financial system unwind. the enormity of the trades these fools made and make still astounds me, and it's all a product of lazy / greedy regulators. that kind of leverage can't result in anything long-run outside of short term over-compensation and incentive to over bet, leaving the country and the world to pick up the pieces.

all of this started when investment banks were allowed to raise public money. if they were still private partnerships, you wouldn't see near the reckless risk taking we did and do.
Interviews: Big ideas for better science
> Where 30 years ago operating a successful physical bookshop might mean having a large selection available at any time, and frequent events to draw crowds, today, in competition with digital books, operating a successful physical bookshop might mean emphasising the advantages of the physical book, the romanticism attached to physical objects.

This isn't an accurate description of the current bookselling climate. Two counter-points:

http://fortune.com/2015/09/23/e-books-digital-publishing/

http://www.slate.com/articles/business/moneybox/2015/12/barn...

Digital e-book sales are on a sharp decline now, and normal booksellers are stabilizing.
Mossadiq was as a matter of historic fact a dictator, complete with 99% election victory results. Let's not allow NYTimes and CIA to write Iranian history for us as it is, and has been, currently convenient for the West to paint the Shah of Iran as a sort of incompetent monster and do mea culpa for past unwanted intrusion in Iranian politics and society.

Re. Bahais, this is a controversial religion with roots in 19th century mysticism. The prophet of this religion claims to be the Messiah and pretty much every other Messiah rolled into one. He is in fact the claimant to the 2nd return of Christ. Now, should a nation allow anyone to go around claiming whoppers like this and allowed to operate a religion (which affords quite a lot of privs. in society). So the anti-bahai issue in Iran is really mostly about power and politics and has little to do with the Spirit. Iranians feel this is a fake religion that is used by West to manipulate Iranian society. Think of it as Scientology and Germany for a perspective.

[p.s. obviously the above does not condone the actions of the Mullah regime. ]
Despite the focus on cloud in the article, there are a lot of ubuntu desktop users. I mean it has become rare to see a dev running Windows in my experience. Could be a regional thing but it seems popular here.
Grab Your Chance to Take a Christmas Story Quiz by Unplag
I get the point, people are using Ubuntu without knowing much about. I will have to shout out to Linux Mint Rebecca. One awesome Desktop environment, I do much of my learning of C#/F#(thanks MonoDevelop) on it. Its one of the few Linux desktops that did make me feel welcome and focus on what I am trying to get done, instead of getting in the way.
Show HN: Build and deliver interactive training in your enterprise web apps
plays in EU
that's just embarrassing. for your currency units to get up to 175 quadrillion (i don't even know how many zeros that is) means you've faced extended periods of hyperinflation. it's like when you have an Excel error in your balance sheet model and your cash balances increases exponentially. except this is IRL for zimbabwe.
The problem could easily be solved by industry-wide standardization. Make a set of reference models (hell, NIST could do it), and sell clothes as being designed to be worn on a given reference model. Then you'd simply find your closest fit, and buy clothes for that one. There's some precedent here in shoes with the use of lasts of a given size. I bought dress shoes online recently that fit perfectly, never having tried them on in person, and I was able to do that by looking up the information on the last it was sized on, and comparing that to another shoe that I did have and that I did know which size was correct for me.
Dynamically solving big data problems for UI developers
Funny, I was just using the same thing for django here - https://github.com/DrkSephy/django-hackathon-starter
I created my first Android app as a side project. I have a ton to learn both in terms of Java and the Android framework.

https://play.google.com/store/apps/details?id=com.github.idc...
22 quotes about being present to keep you living in the now
Ping-me now works for Windows and OS X as well
I highly recommend devs (especially JS devs) try out a Clojure/script project. The tooling has improved immensely, and Cursive is one hell of an IDE. JS devs will really appreciate how clearly you can express these seemingly new frontend paradigms (immutability, one way data flow, single source of state) in Clojure.

Not to mention that REPL-driven development and hot-reloading are so pleasant to work in, leading to development environments like this: https://github.com/danielsz/holygrail

I'm curious if any Clojure veterans would weigh in on the state of Boot.. is it gaining traction, or is the consensus to stick with Leiningen?
They way I understand is that humans simply use more than just a simple single neural network. Humans do more than just compare arrays of pixels to other arrays of pixels we've seen before. We have neurons that distinguish shapes, we have neurons that distinguish faces, we have neurons that distinguish textures, etc.

So for a human the question is more like: Does it have a shape like a Panda, does it have a face like a panda, does it have fur like a panda, and does it have coloring similar to a panda? Then it probably is a panda.

I also don't believe all of these systems are trained neural networks, but rather some of them are evolved instincts, hardwired and (near) unchangeable during a lifetime. Perfected over millions of years.
Pretty much the goal with the secondary goal to force the Native Americans to stay on the reservations where food was distributed (couldn't give good farm land to them else they might get self sufficient).
Did I ever get back to you on that with the update?

For people not in the loop: I would also like to pledge my time in developing a Persona or Persona alternative. I'm just a bit apprehensive on such a project's chances if it weren't backed by a big company like Mozilla. Then again, maybe we should just go for it.
These regexes aren't really regular expressions. They're PERL regexes with backreferences so a DFA won't do.
Didn't one or more of Dengue, chikungunya, zika make it to the US Virgin Islands? I would imagine that would get some well off Americans to take notice.
"And if you go in with this mentality, even when startups fail, you succeed. If you put five years into building a company and team, you will end up with a great network of talented and motivated people, lots of first-hand experience, and often some management experience as well. Worst case, your next step could be going into Google at the VP level it would’ve taken you 15 years to get to joining out of college to “inject some startup DNA,” and catch up on salary within a few years. Unless this internet thing is a fad, that job will always be there for you."

This advice is quite precise about where it applies. If you're at a startup that is undercapitalized, working you 12-16 hours a day, 7 days a week, with poor management and no opportunities for anything but building and maintenance, you can actually wind up worse off than when you went in: no built-up network and nothing that would make you "VP at Google" material, and in the case of startups doing pay cuts (in an environment of ever-rising rents), even less money than when you started(!) He is referring to working at "decent or better" startups; problem is, you may not know you're not working at one of those until you actually work at another one.

The rest of his advice is probably worth listening to, but the above part should be considered very carefully.
When Google was a smallish startup, they only hired people who did something exceptional outside of their job. They accepted hobbies, but only impressive ones, like being an airplane pilot.
The only way to improve a country like that is through violent revolution, because you're never going to get conservative Muslims to change their views. Anything short of that is a waste of effort. If your group is a tiny minority, you have no chance of your violent revolution succeeding in Iran. Therefore, the only sane thing to do is figure out how to leave. Someone like that should be able to rightfully claim asylum somewhere, because obviously, being a religious minority in Iran can and does lead to serious oppression in the form of prison.
It's also open between 1-8pm and, according to that link, events are organised every night, so building such a community seems to be a main part of the concept.
To address some of your points:

1) That is completely controlled by the site owner. In my sites, for example, I just disabled the Persona JS while the user was logged in, so there was no global log-out possible.

2) I believe the bridge was just a proof of concept, with the intention of email providers supporting Persona directly so all the security could be implemented there. I know you said "default bridge", but my side-project here supports 2FA: https://persowna.net/

3) That is very true, some UX changes were necessary, but imagine if the browser itself could just pop up a window saying "do you want to log in to this site using your email address? Yes/No", done.
> When e-books are free to pirate, basically all of the price you're paying for the book at a store (or a game on Steam, or a song on iTunes) is in appreciation of the value—including the convenience—of the curation service.

I disagree. Pirating a book is not a replacement for owning a physical copy of a book. Lots of people remain very attached to the physical embodiment of a novel, and are willing to pay for it like any other physical item sold in stores. It's like the impulse of vinyl collectors, but more mainstream.
That is really well done! Great video too. Congrats!
Apologize, wasn't really directed at you. I'm sure you've seen all the other comments related to this type of news.

Sounds like we both agree that MongoDB is repeating the same mistakes others had made 15 years ago. The only difference is, back then, there was a less dramatic excuse for how it got that way.
Like you say, email is already the basket, so there are only advantages in migrating (such as not leaving your passwords all around the web).
I love the functional programming style embraced by Rust.
Well it depends entirely on how much you need to live, how long you're going to live and what kind of dividends you're receiving.
Previous discussion: https://news.ycombinator.com/item?id=10741148
The FAQ: https://www.psc.edu/index.php/hpn-ssh/640
Windows isn't so bad. I had a legit prejudice against it for the longest time, and did literally everything in my power to avoid it even as my team began working almost exclusively on .NET projects.

Now I've bootcamped my mac and swapped out my desktop Arch installation in favor of Windows 10. There are undoubtedly things that I miss - and I wouldn't be doing this if I wasn't primarily writing C# - but it's not quite the purgatory I'd imagined / remembered it being.
IMO, the ability to run multiple truely independent operating systems on the same hardware (if nothing else) makes it worthwile.

I am not convinced that forcing attacks to be more likely to be detected is really much of a deterrent in a world where Lenovo can pre-install a rootkit in the bios and not suffer all that much from it. I still think there are overall benefits to aiming for a stateless system.
Urban Farming in the 1600s
EV3 Cookie Icing Machine
While I too would love to see continued development of Persona and Thunderbird by Mozilla, it's important to remember that as open-source projects they're still freely available. I still use both, and see no reason to stop. Development can continue without Mozilla.
It depends on the security needs of the service. Email addresses are discoverable making it easier for an attacker to target a particular account while usernames give the user the opportunity to further insulate themselves from being discovered on a service and potentially brute-forced or cross-ite attacked. Perhaps less important for a social sharing service and more important for a financial service, but it depends on the user.
The reason that I'm using Rust and Node together is Lambda. It supports Java, Python and Node and my (admittedly perfunctory) tests showed that Node had the smallest overhead of the three in getting to Rust. However, this library seems to offer a richer interaction between the two platforms, which would imply using Node as something beyond a bridge to Rust, so there's likely an answer beyond mine that the author has in mind.
I don't see evidence that violent people's revolution (not the US kind of traditional polite batyle among aristocrats' armies) is more successful than a modernizing/liberalizing leader, like Russia at the end of the cold war (before Putin-types won back the elections).

Removing a government is relatively easy. Installing a new one is hard.
Thread synchronization in Grails application using Hazelcast
Out of curiosity, how old were you when you started? I didn't really begin my career until 28 or so (35 now, undergrad and grad CS degree at a pretty good university) and I've been toying with the idea of moving to something else. Still trying to find an interesting niche that really speaks to me, though I keep my skills current.

I do fairly well for compensation but the way the market has been, I feel like I'm short-changing myself by not taking a shot at a career with the really big players, and I'd love to retire within the next 5-10 years as well. (obviously I've started saving already)