skysight-inc/HackerNews huggingface dataset:
I briefly used a 5X that I was given for free but quickly abandoned it in favor of my trusted Nexus 5 after experiencing similar issues. Despite being 3 years old (!!!) it's still rock-solid and super smooth running Nougat. I used to get a new phone yearly (if not biannualy) and the Nexus 5 is the first phone I've had where I don't have the urge to upgrade to the latest and shiniest device as soon as it hits the market.
He is a Siamese... he is back down to 13 pounds or so, with some diet changes and portion control.
I'd have to actually read the article to be sure, but I think I can answer both of these.

---

Monadic reification has to do with the difficulty of getting a data/AST representation of a monadic value. This seems possible since monads sort of by their virtue are about reifying some amount of a computation (i.e. the Free monad) but we get stuck because we can embed Haskell ("host" or "meta" language) functions into the Monads meaning that we cannot "see" into the binding structure there. If we want to use a monadic interface to create an AST fragment and then compile it later we get stuck. But, there are tricks people have discovered to get this done anyway:

http://www.ittc.ku.edu/csdlblog/?p=88
https://hackage.haskell.org/package/data-reify

As noted in the second link, this essentially boils down to recovering observable sharing which violates purity, so it ends up being an IO operation.

---

The second is similar to the first: we'd like to recover Boolean ASTs made of boolean operations on free variable markers so that we can reinterpret and compile them. The type of boolean ASTs is not `Bool` since Haskell have already normalized the language expression we're interested in. So we need to make another type `BoolEXP` which retains the whole operation so that we can get at it in a first-order/data-like way.

---

Both of these are specific verbalizations of pretty common issues with embedded DSLs. They're not obvious or easy, but definitely standard challenges you'll face when making Haskell embedded DSLs.
Wealth also correlates with intelligence. Intelligence is mostly determined by genetics (studies show ~70% to 80%).
Recount 2016: An Uninvited Security Audit of the U.S. Presidential Election
> It's not just about making unsafe programming practices safe through better compiler practices, it's about stopping the unsafe programs before they reach the compilation step.

I would like to add to the end of that: "...unless you explicitly tell the compiler to do it." I can't think of anything that you can do in C that you can't do in Rust unsafe blocks, you just have to tell the compiler explicitly.
>Note that none of the people writing about the issue understand that "static" would confine the scope to one file

That seems a bit surprising, unless they did not know C even reasonably well. IIRC (though I haven't used C much lately, I did a lot with it earlier), that is a not-too-advanced feature of the C language. I think it is covered in the K&R C book, near the middle or in the latter half (don't have it handy right now to check).
I disagree, compilers are relevant to web development because of all the compiling and transpiling that a single source file goes through in large application development.
So, typed pointers with an analog of the option type. Thank you.

Could we say that Swift or even SML with typed refs has similar safety and zero-cost abstractions?
You need to explain what you mean by the term "socialism." The classical definition is when the means of production are owned and controlled by society, either the state or workers collectives. More recently the term has been used by some to refer to social democracy, and even New Deal style liberalism which are considerably different economic systems. So which definition do you mean? And perhaps you could present some arguments, and at least one link, in support of the idea that it can work well.
Im not quite understand why recruiters asked books on reading list?
33C3: works for me – all lectures
>forces you to pretty much abandon such package managers and only use them to explore/discover new packages

Given the unbelievable popularity of Rubygems.org, PyPI, and NPM, I think this is an unfounded assertion. Furthermore, Rust programmers aren't afraid to rewrite libs in Rust when a widespread external dependency becomes annoying, e.g. with FreeType: https://www.reddit.com/r/rust/comments/44btaz/introducing_ru...
That graph is about the best evidence I've seen that interviews are garbage. Years of experience doesn't matter at all? Coursera courses are the best thing ever?
...Which explains every enterprise software UI ever made.
>Why not?

Because it's obviously not contagious (diseases don't honor human defined borders). It's the culture of junk food and giant meals.
Better title: Things I Don't Like About The Surface Pro 4. There's literally nothing positive in this article - if you think that MacOS/iPad is the gold standard for how OS's and tablets should be than you've lost all objectivity. I've been a long time Windows user who now uses a Macbook at work and I can make a list just as long and derisive.
So, the answer is "no, you are not allowed." But you're open to changing that. Got it.
5 Unknown Creatures Caught on Tape
This is what I thought as well.
Adding a wind to this visualization touches a manipulation. In current data it makes no sense, and when we conciser absolute numbers (or even number/capita) it doesn't look so bad.
https://upload.wikimedia.org/wikipedia/commons/4/4b/CO2_per_...
I'd like to see the math myself. I have the suspicion that there's funny math involved, like when the nuclear industry forgets the cost of warehousing nuclear waste for 100 000 years.

My most pressing question is how the capital costs are factored in. China built a huge PV capacity and arguably that made the price of panels collapse. Also, the semiconductor industry had been indirectly subsidizing the PV industry by upgrading their old fabs.

I also really don't understand how PV can be cheaper than Concentrated Solar Power < literally just a bunch of mirrors aimed at a normal thermal plant.

Lot's of funny numbers, lots of questions, few open source gitted models available to play with.
Try Archive 81.
This is a good slippery slope and the only problem is that we're not at the end of it yet.

Why are healthy people forced to subsidize obesity? 99% of overweight issues are something that is under direct personal control, unlike cancer or genetic diseases.
you've described a range and complex combination. the author of the piece stated -- almost word for word -- that degrees from top schools are not earned.
That they ended up emulating Genera instead of porting it should tell you something. Maybe. Also, look at the trouble people go through to do that:

http://fare.tunes.org/LispM.html

Then there's this that makes it look easy but also shows the keyboard problem LispM was probably referring to:

http://www.loomcom.com/genera/genera-install.html

What I find on getting them running without LISP hardware is somewhere between tough and "wow, I feel for that person." Maybe things have improved. There just seems to be a huge mismatch between many aspects of LISP machines and modern machines that means it's probably easier to do a clean-slate LISP machine that builds on modern primitives & interfaces better.
tl;dr This applies to individuals, not corporations.

Tax Identification might not be available, and some banks are using telephone numbers for this purposes.

There are also problems with character sets and how names are transcribed...

And the US taxman had trouble working with that data the only two times it has received the info...
Handprint: modern color theory (concepts)
This. I've noticed the same exact thing. I have even wrote the same thing about insulting other languages by Rust community here/on Reddit couple of months ago. I don't know why but whenever someone have different opinion that sometimes shows flaws of Rust or shows some trade offs, he is getting attacked by Rust fans here on HN or sometimes on Reddit, sometimes personal. Doesn't matter if he only post facts/numbers it will get down voted to hell. But it's not everywhere like this. Rust community on their official IRC channel is great, I was there, discussing different languages and solutions, comparing Rust to C++, discussing what is great and what is not so great about both. We did it there without any bias or bad emotions. Great technical discussion in great atmosphere. But if you write here for example that in one case C++ made better design decision than Rust then you need to get ready for a war. It feels like some people live in this bubble and whenever you say something that can get them out of this bubble they are starting to be very defensive. But not all, for example discussion with burntsushi on HN that advocates Rust was great and this is an example of behavior that should be followed. He recognize the trade offs and flaws of the language because we all know there is no such thing as ideal programming language. He is not having problem with writing that case 1 is better in Rust than language Y but case 2 is better in language Y than in Rust. It would be great if other known Rust advocates would give same example as he does. His educated, long answer showed me something I wasn't aware about Rust regex implementation, which is a lot better than Go or C++ one. And he did that without too much bias or bashing other languages.
2016 Cyber Security Predictions in Review
Again, I'll point out that you've cherry picked an idiosyncratic point on the FICO scale (600, vs. the 620 cutoff used by industry for subprime loans), and cherry picked the cohorts you're comparing (Asians being least likely in general to default), both of which has the effect of maximizing the delta you're citing as evidence for your argument.

It would be a nit, except we had a long thread about this previously wherein I perceived you to have conceded these points, so I'm surprised to see you repeating them here.
It's called an anecdote. I think that's useful in this situation.
Power to the developers. I'm serious ;-). Even when I disagree with some arguments, all comments on HN are always very meaningful.
Ok so you're giving me an answer about something that I don't care about, the "overall" state of security. I just care about mine, really. Thanks.
Same story with my Note 4 - it was shutting off at 30% too, but I bought some new Anker batteries a few weeks ago and battery life is back to being solid and reliable.

One thing that really bothers me about a lot of the new phones is the slippery glass backs. The Note 4 has a textured plastic back with quite a bit of grip to it. I tried a friend's Galaxy S6 and it nearly slid out of my hand!

I suppose a silicone case would fix that, but I like being able to use the Note 4 without a case and not have to worry that it will slip away.
The author draws a hard distinction between Udacity/Coursera MOOCs (good) and traditional master's degrees (bad). I'll interject that with Georgia Tech's Online Master's in Computer Science program [0], which is delivered via Udacity and insanely cheap [1], you can get the best of both! (Their "Computability, Complexity and Algorithms" class is one of the top Udacity courses cited in the article.)

Keep in mind that a traditional degree program does have a huge advantage over a strict MOOC: accountability. It sounds good to say that anybody can go push themselves through one of these courses. Try pushing yourself through ten, and actually writing all the papers and implementing all the code, while working full time and having a family. That grade looming at the end of the semester really does wonders for your motivation. Plus you can get help from live professors and TAs, and the Piazza forums for OMSCS are full of smart, curious students who love talking about the subject at hand. There's a richness to the degree experience that I don't think you get with scattered classes.

(Obvious disclaimer: I'm a current OMSCS student)

[0] http://omscs.gatech.edu
[1] https://www.omscs.gatech.edu/program-info/cost-payment-sched...
No one in their right mind is wondering that. Going from "go ahead, do whatever you want" memory management to Rust's ownerhsip system or object oriented programming to trait based programming isn't something anyone excepts to happen without some perseverance.
Researchers create gel that regrows tooth enamel (2015)
See my comment in this thread.

Telcordia/Bellcore was a spinout from Bell Labs after the DOJ antitrust action in the early 1980s. Bell Labs stayed with AT&T and Bellcore was the R&D lab for the newly created Baby Bells composed of many staff from Bell Labs.
She isn't a trained economist but a community organizer providing hands-on assistance. Why are you expecting policy from her? This is an article about homeless people and the people working with them, not an opinion piece or a policy statement.
> A top school is a good signal for how much time someone spent studying in high school, except for affirmative action students who get into top schools with much worse scores and GPA.

For the truly competitive schools, the affirmative action students still need very high scores and GPA, they just tend to be given a little more of a pass on the extracurricular activities and essays in the application. I'd argue that for the most part, students of any demographic have to do some pretty crazy things to get the attention of top schools. The probabilities of an affirmative action student being granted admittance are just much higher than for an equivalent non-affirmative action student, but that doesn't mean that affirmative action students can get away with having poorer grades and scores. I'd argue they just have to be less well-rounded.
I keep seeing this statement, and it's making me wonder: how hard would it have been for Windows 10 to simply ship with a 16-bit WinAPI-binary transpiler (ala Rosetta) or emulator (ala DOSBox)?
But nobody is advocating that the state relinquish the right to protect property. They aren't making a philosophical argument about rights and laws of nature. They are making a practical case that, it may not make sense for the government to protect cyber property specifically. And that they make that determination on the basis of practical considerations.

They aren't relinquishing their theoretical right to control it. They are simply choosing not to for practical reasons.
Moving sofa problem
> C++ can be safe. Just use only safe pointers and vectors.

Defaults matter. In C++ safety is opt-in, you have to explicitly chose safety, the default is unsafe code. Rust is opposite, safety is opt-out, you have to explicitly use 'unsafe' functions to write unsafe code. Take a guess which strategy makes junior developers write better code.
Shut Up and Take My Money – The Red Pill of N26 Security
We've not had any issues developing the Ion shell in Rust -- performs as well as Dash. Basically, you can't come at Rust with the mindset of object-oriented programming. Make your shell event-driven and you'll do perfectly well. Queue your signals and act on them at a later time when you can.

I've been particularly fond of Rust's Iterator trait which has been quite valuable for efficient parsing in Ion.
Close what security holes? If someone isn't escaping input they are still screwed if you ban dashes.

It's like suggesting we don't allow sql to store quotes so we can use quotes to enclose data.
With the great power is connected a great responsibility to create a visualizations that don't manipulate data and show a meaningful information.
"Never trust the client". The assumption should always be that the game client is lying to the server, whenever that's possible. In multiplayer games, a stream of keypresses is sent to the server, and a game state is sent back to the client.

At least, that's part of the argument that I assume they'd make.
Somewhat related, the California Bicycle Coalition has started a petition to encourage CARB to offer bike and e-bike incentives as they do for electric automobiles:

http://www.calbike.org/bike_purchase_incentive_petition

http://www.fixcaliforniaroads.org/arbletter
RSA was the first PKE scheme, but El Gamal, another PKE, is essentially a small modification of DH. Elgamal was discovered in 1985; before encryption really hit the mainstream.
Not anymore, at least the NYC stores don't. They take your phone in and give it back to you in a couple of hours(depending on how busy they are). That's how they did it when I had mine replaced last week. The 5th Ave store didn't have any batteries in stock so I had to either wait a few days or go to a different store that had them.
Ask HN: I've got data, how do I train for NLP?
We are a chatbot startup (https://talkbot.io), on BETA right now. We want to train our own AI algorithms for NLP. We've got data but we are lost in what's the best way to use it for training an NLP algorithm.

I did the Andrew Ng Machine Learning course last year and have worked with ML and NN before, but never done something complex with words, semantics and syntax.

Are there any good online resources for learning how to train algorithms for NLP? Where should we start?

P.S. We are also looking for talented people to join the team.
> So nothing stopping from one publishing them, but if one asks to have personal detail taken down, they should be honoured without hesitation.

I don't think that sentence describes any actually existing law in the US.
Not everyone sits at a desk all day every day.
Yeah, I was definitely surprised when I realized that too. And then when you think about it, almost any type of work involving a large number of people working at the same time should have the same dependency of documentation and communication. Being able to work well on a team is a skill that I feel often gets overlooked (or maybe it is just hard to judge in interviews).
Because some of them are? And some of them retract their mistakes?
The latest Sony Xperia X Compact launched in September and sells for 350$. I dig it, and I think it's priced appropriately.
Thanks for your contribution! You've totally changed my outlook on life. Next post will be on how to build an automated cat killer for $20. Happy holidays!
https://thevotingnews.com/team-at-rice-builds-machine-to-tra...
I'm currently working on the Udacity "Self-Driving Car Engineer" nanodegree.

In the past when doing a MOOC I would try to take notes using a text editor; this worked ok, but this time around I decided to see if I took notes "the old fashion way" (ie - by hand) if it would help with my retention of knowledge.

For taking notes, I'm using 8.5 x 11 4-square/inch quad-rule spiral-bound notebooks of 100 pages; I figured that for the class, this would be useful, as there was certainly going to be graphs, charts, etc that might need to be reproduced in some manner; the quad-rule would help on this.

When I started, I just took notes in my usual style - re-writing what was said by instructors in the videos, taking other notes from what I read on other pages (non-video). Very linear, paragraphical and full sentences. A lot of writing, in fact. Charts and other stuff were interspersed throughout.

My wife noticed this and said I had a strange was of taking notes, and told me I should try something she had done before - splitting the page. She described the process, where one side (left) becomes "headlines" or "topics", and the other side (right) becomes "details" - where you right down terse small in-your-own words details about the topic to the left. She couldn't remember everything, though, so I did some research.

I found that the method is called the "Cornell System" - and there are a ton of variants, but all share a common thread similar to the above. In the true system, you also have a header (for title and other info) and a "footer" (for a summary description).

Ultimately I found that this style is working well for the lessons. While in many cases I can't make things super-terse (try to make a description of back-prop and partial derivatives terse while capturing everything needed to remember the equations - unless you're a whiz at calc - which I am not - it probably isn't possible - but if anyone has any suggestions, let me know!) - but in others I can.

I've found that using this, as well as taking page-captures of the lessons (and organizing all of my data for the class on my computer), things have worked out well so far.

I would suggest looking into this method - I don't know if it would translate well outside of handwritten notes (maybe using a spreadsheet? Maybe there's a note-taking app that uses the method?) - but I think knowing about it might inspire you to create something that works as well.
مجلة فنون: Lee Joon أنيق وساحر في مجلة ADDY K
The Samsung removable batteries are durable and safe to handle. They come with lightweight plastic cases. The external chargers are also made by Samsung and have the same charging circuitry as the matching phones. And the (small and light) chargers themselves also double as battery carrying cases.

Next time perhaps you should actually try out the alternatives before criticizing things you haven't used yourself and don't understand.
Three'd. I do recall that being the pinnacle of word-processor efficiency for me. 5 was when the Windows-UI started invading, it became massively slower, and wouldn't run off a floppy, thus couldn't be used in my school's Mac lab.

After I got out of school, I switched to BBEdit, and Pagemaker if I needed formatting. And now vim is my world. Libreoffice gets to annoy me if I need paginated formatting, but that happens less and less.
The readability isn't that great so I tried tweaking the CSS around for higher contrast: http://imgur.com/a/Ohsav (values used: #F00, #00F, #777, #EEE)

At that point I realized having visual boundaries for the different content areas and individual pieces of content would probably make things close to ideal.
It absolutely does need to be overhauled, but the problem is that people don't agree on the direction. I think most of your ideas are profoundly mistaken, and have been disproven by history. I'm sure you think my ideas are wrong too.

I think that people tend to dismiss the success or failure of certain systems as luck or even marketing, rather than deeply reflecting on the intrinsic properties of those systems that led them to be adopted or not adopted.

Unix and the web have lots of flaws, but they're not an accident of history. They have fundamental architectural properties that made them succeed. (In particular, REST is the same idea architecturally as Unix/Plan 9 style file systems. Long story, because it's basically avoiding O(m*n) problems in the ecosystem.)

You also have to accept evolution as a fundamental force in computing (as Linus Torvalds does). To ignore it is to set yourself up for failure and frustration. After all, humans are by no means the optimal living being either, but they're the best that evolution came up with.

And as I said in my other post, "revolutionary" ideas tend to just add to the pile. They fail to meet their expectations and then Unix subsumes them. It's almost an economic inevitability.

And Linux WAS revolutionary, if you compare to to Microsoft. The first couple decades of my life were DOS and Windows based, so from that perspective the revolution happened. Microsoft is porting all their stuff to Linux now.

http://www.revolution-os.com/

If you want a single language OS, check out Mirage: https://mirage.io/ . I know somebody is going to say "I don't like OCaml". Now you understand why Unix dominates: it supports heterogeneity. Even Mirage can't really get rid of Unix, because it runs on Xen, which typically runs on Linux.
The whole secure hardware idea is a fallacy.