skysight-inc/HackerNews huggingface dataset:
My understanding is that there are two issues with two-way binding that are structural, and will be difficult to fix no matter how you approach it.

First is that if you look at the system as a graph of updates, automatically closing all cycles between variable update and widget means that any additional two-way binding links you add become a cycle, which makes it difficult to implement, model, and debug. If the framework only initially links the variable to the widget or the widget to the variable, the graph is a lot less populated to start with and creating a cycle is much harder.

Second is that the developer ends up wanting more and more complicated transforms over time, and having to implement both directions of them at once is much more difficult than having to implement only one direction, because not only are you writing two transforms instead of one, you also really ought to make sure the transforms are able to be roundtripped without data loss, and also that any invalid states on either side of the transform are handled sanely in some manner. Very few developers think this way; it's one of those places in programming where you really need to approach it with a mathematical state of mind, but it's generally being written by the "I don't see how programming is connected to math" types. (Which is something a two-way binding advocate needs to keep in mind when writing their library; you're not going to get your users to deeply understand the way the library works before they can benefit from it, they're going to want to just dive in and get something useful going.)

These are not necessarily insurmountable problems, but they are fundamental problems to having two-way binding. I think these two things are why it has never really taken off despite the fact I've seen at least half-a-dozen attempts over the years. I can imagine programming language tools that could help with both problems, but as what I'm seeing getting sketched up in my head requires a type system at least as strong as Haskell's to be practically usable without so many holes as to be insignificantly different from what we already have, it's not going to take off anytime soon.
> No one, AFAIK, even claims a reduction of even a single order of magnitude in code size.

http://vpri.org claims about 3, though most of it is not because of the languages, but because of the removed redundancies. The languages do seem to be responsible for at least 1 order of magnitude.

About the rest, of what you say, I won't claim anything. It just make me feel… uneasy. Okay, those specs are that big. Do they have to, though? I've seen a big fat list of requirements in my last gig, and many were duplicated into 2 slightly different versions. As were some pieces of the code. And that's the obvious stuff. There were more subtle waste, where simpler alternatives would have fit the bill, but weren't applied because of historical reasons (I asked the architect, there was a reason for everything).

Almost everywhere I look, I see a wasteland of useless code, and even the specs aren't that clean to begin with. It feels like proper DRY alone would have reduced the size of this stuff by 2 or 3. Maybe I was unlucky enough to work in especially crappy environments. But from what I hear, that's the norm. So far, you're the only one I met that challenges that perception.
Ah that makes more sense. I was wondering how any kind of student loan forgiveness program could possibly get passed in the current political situation, and it looks like the answer is that there isn't any such program being passed. This is just a new budgetary report estimating the fiscal impact of existing student-loan rules which cap repayment to a maximum percentage of income for a maximum number of years (such rules date back to the 1990s).
Although MDMA was first synthesized by Merck in Darmstadt in Germany in 1914 - https://worldwide.espacenet.com/publicationDetails/originalD... - apparently nobody has yet erected a museum. Surely it would be a tourist draw in Europe?
> Iris isn't being killed.

The KL roadmap reduces Iris to just some dual-core 15/28 U parts, and is adding HD-based quad-core U parts alongside that. The trend is clearly towards removing Iris.

> The new macbook pros are using Iris

These are skylake parts, and the 15" only uses HD.

> Don't forget that the IRIS parts are a half cycle behind the non-IRIS.

I'm not forgetting anything, I'm looking at the roadmap.
I would surmise from what I've heard that Standard Chartered easily on their own break this rule.
This looks interesting. I cloned the repository and am checking it out. The examples all use supplied with the repo binary image training data. It would be good to document data preparation better (sorry in advance if I just missed seeing that).

20+ years ago, I made my living on C++, but dropped it. Looking at the example programs using C++11 features, I am motivated to get up to speed on C++11. I put writing a NLP example for tiny-dnn and sending a pull request on my todo list.
A Yale history professor’s 20-point guide to defending democracy under Trump
Also the trades.

Everyone going to Stanford will get a tech job in SV, which is nice for about 0.1% of the population, but its a national problem and rando graduate of some state U has at best 50/50 odds of getting a job in their field or working retail/restaurant/bartend work. Better off as a 22 yr old electrician than as a 22 yr old unemployed kid in moms basement.
I would also add alternative ways to get into a career. Whether that be through a trade school, code boot camp or technical college that is available in their area.

There is no longer a reason to think that you must go get a 4 year degree in order to have a career and financially independent. Education has evolved drastically over the last 20 years because tuition has gone through the roof.
Yes, the target for student loan forgiveness is irresponsible people. I think that's the point.
Hey that's not fair. How will I make my US friends feel bad about paying so much for the same or worse education as I got for free in Europe?

My favorite effect of this social difference between [most of?] EU versus [most of?] US is that in non-england Europe, paying for private schooling means you're dumb and can't earn good grades without paying for them. In the US few non-private universities are considered truly legit.

Always a fun pub or thanksgiving dinner conversation.
I appreciated the disclosure...I admit I just didn't even know what Nearline is!
I'd love to see code size and performance comparison for a relatively simple but non trivial component, like a DateTime picker.
Python is much more complex than Lua. In fact, one of Lua's greatest features is it's extreme and elegant simplicity.

I believe it is a lot harder to make a Python jitter. And it would never be as fast as a Lua jitter.
I like how well thought out your questions are. I generally ask about the company having an open culture for questions and ability to learn, but I'll keep track of those questions in the future.
> for art therapy.

Art therapy is a respected form of psychotherapy. It's available to people on the English NHS (which focuses on evidence based treatment), and "art therapist" is a protected title in the UK.

Does "art therapy" mean something else in the US?
Qubes OS itself is a nice idea. I worry about the commercialization aspect, though.

Will the Qubes Team be sharing a portion of their commercial profit with members of the Open Source Community who have previously contributed to Qubes OS?
Yes, but I think those in the past are irrelevant beyond giving us lessons as to how to fix ours.
One thing I've learnt about this world is that no one will do something for you just for the mere joy of doing it.

There's always costs/benefits analysis involved.
> For its 2014 event, Smartisan donated 1 million RMB to OpenSSL.

They donated 2 million RMB, see https://mta.openssl.org/pipermail/openssl-announce/2014-Dece...
One alternative is the approach where the buyer side is not punished or at most fined for its activities (as long as it doesn't harm others), but the seller side is strictly regulated or even illegal.

It's sort of right in between letting people free to do as they please, and guiding them in a certain direction or curbing excess.

It's how Holland deals with weed and ecstacy, for example, and for the most part it seems to work. That said, personally I think I'd prefer proper legalization with heavy regulation if necessary.
Are you including alcohol and cigarettes and caffeine here?
Congratulations, you are a better human being than those who remain in debt. Now what?
Then you suck, you should have not paid anything and get it forgiven anyway.
So are we just supposed to wait 2-6 years until the next Snowden leaks something on what's changed since Obama? It seems fair to me to speculate on what Trump administration is "poised" to do based on officials' positions and past statements. Would "Trump poised to deport illegal immigrants" be unfair because he hasn't actually done it yet?
You have to pick the right trade, though, which requires quite some economic forecasting. Several of my extended family members took exactly this route for the reason you suggest, and they're now unemployed former steelworkers. In retrospect they would've been better off with a university degree, as unemployment rates are much lower for people with degrees. I know people with degrees who got laid off from steel companies too (doing engineering, HR, accounting, IT, various things), but they had a much easier time switching industries to find new jobs.

Most of the building trades have also fared badly (with electrician somewhat of an exception), as wages have collapsed over the past few decades in trades like carpentry and roofing.
What I’m Talking About When I Talk About Social Media
Portugal has not legalized, only decriminalized.
Who isn't being educated about these options? I was in HS 00-04 and teachers and guidance counselors constantly extolled cheap state school options (which even today are in the $6-8k/yr range including room and board) and community colleges.

Prestige and pride have a lot to do with it. Two degrees from the same school are worth the same if one person was there for four years and one went to community college for two first, but ask the 17 year old HS student who just has to sign a promissory note which one they want to do, and they're going to pick the first option 9 times out of 10.
Could it be that real estate and medical haven't been fixed, just as student loans won't be fixed, because this kicks the can further down the road instead of addressing the problem?
And that's what we do - band aid at the cost of everybody so that the industry can keep its racket going and ultimately cost even more in the future.
Unleash Your Style Guide with Rapid Prototyping
I never said AntiWar.com were paid by Russia or Russian Trolls. I said they were FAR FROM it (as in not those things).

And yes, I have read about Pizzagate extensively. It's as fraudulent of a story as you can get.
I was pleased to learn that I could get a replacement "bulb" (more of a bare chip mounted on a bulb base, really) for my old-school Maglite -- the type that takes multiple D batteries, has a focusable beam, and will serve as an improvised bludgeon if need be (because it's made of honest metal).

While I haven't made any formal measurements, the result is several times brighter than the old bulb, and of course the batteries last many, many times longer. Recommended.
Interview: Steve Milunovich of UBS on the Future of Apple
The student loan system needs serious reform. It encourages students to take on debt with the student holding the bag and then ultimately the taxpayer, based on an individual judgment about whether a particular degree will have market value.

One reform that has been suggested is to make sure that universities have skin in the game, that they actually lose money when a loan defaults. I'm not sure we should go there but there should be a system better than debt servitude for students coupled with moral hazard for society.
Aren't there programs to retrain workers whose jobs are offshored?
I know several people who use Tor purely for its tunneling, and not because of security. There are more use cases.
N queens solver in Python 3
"Invisible forces that explain events, in mysterious ways"

The cold dark matter component of the standard cosmology is not the first time anomalous momentum was attributed to invisible (as in, does not experience electromagnetism) matter.

Twenty-six or so years from proposal (which incidentally was about two years before the discovery of the neutron) to direct detection:

https://www.wikiwand.com/en/Neutrino#/History

Note that neutrinos are hot dark matter; hot because they move quickly compared to the speed of light.

While neutrinos are definitely part of the dark matter sector, they cannot be the sole component because their hotness would smear out galaxies. A colder neutrino would work very well to match all the observations associated with observed anomalous momentum that strongly suggests dark matter, and hunts are on for direct detections of a cold (implying high rest-mass) neutrino-like particle.

There are other options, of course, but the four key things are: there is non-ignorable anomalous momentum; matter generates momentum (in this case, through gravitation); there is no visible matter associated with the momentum in question (that's why it's anomalous); and we have discovered non-visible matter in the past while trying to explain other cases of anomalous momentum.
When I worked in the mobile industry (modems), blatant security holes to monitor all sorts of things was a requirement from the biggest operators (like AT&T).
Computers have us figured out in a way that we don't.
Yes, or perhaps just people who were mislead by universities and/or student loan providers.
This is absolutely disgusting. The only way this would the ok is if the Government also stopped backing student loans.

My family didn't have a lot of money so I went to a cheap, but good, local college, and commuted from home by public bus while I worked every day.

If I had known I could simply borrow money and not pay it back and live on a country-club-like "farm" for 4 years, getting drunk and going to frat parties, I probably would have.

Screw all these freeloaders.
I disagree. This list contains lots of "Haskellisms" like monad transformers and lenses, which are effectively design patterns which have emerged over time as powerful ways to work within and around the idiosyncracies of Haskell.

We could argue all day about whether different 'families' of FP languages, like MLs, Lisps, Joys, etc. are more or less "advanced", so let's avoid any ambiguity and stick to the Haskell family of languages. Let's pick a language which is strictly more advanced and powerful than Haskell, such as Agda or Idris: not only can we implement all of the Haskell concepts in these languages (especially Idris, since we can toggle totality checking, rather than having to work around it), but the inclusion of dependent types lets us implement many more powerful patterns, and even simplifies many of the Haskell patterns (e.g. there's no need for hacks like singletons, normal functions can be used instead of type families, etc.).

So, given this vast landscape of new possibilities, which of the many 'design pattern' concepts have been chosen from these ultra-advanced, super-powerful languages?

> Dependent-Types, Singleton Types

That's it! Apparently the only new concept in these languages is the fact that dependent types exist; but even that's been constrained to a Haskell context, by lumping it in with singletons!

There's no mention of proof objects (de Bruijn criterion, etc.), computational content, erasure or proof irrelevance. No mention of tactic languages. They do give kinds and rank-n types, but they don't mention cumulative universes! No HoTT concepts are mentioned, like types-as-spaces, identity-as-paths or univalence. There's not even a mention of intensionality vs extensionality!

So what about skills? Surely there'd be specifics like modelling divergence co-inductively via Partial/Delay? Maybe propagating invariants with initial algebras, even if it's just a Vector example? What about something trivial, like heterogeneous equality?

> Use proof systems to formally prove properties of code.

> Use dependent-typing to prove more properties at compile time

Again, they've just listed that "these things exist", rather than giving any specifics whatsoever.

What about Haskell? Does that exist? You bet! It even has this thing called lenses; and not only do they exist, there are all sorts of nuanced proficiencies to them!
Employee Absence Scheduling: Traditional vs. Modern
Sailfish is nothing like Android, its a continuation of Nokia's old Meego platform, its built on the same tech stack which closely mirrors what you have running on a desktop Linux machine.

There is no JVM unless you install the Emulation layer yourself.
Housing is screwing the country (rent in particular) and it will create serious problems for the future if nothing is done about it. It's killing the opportunities for young people to save for retirement and reducing their purchasing power.
Yep, we'll be adding more examples soon – definitely on the TODO list. In the meantime you can take a look at our TodoMVC implementation – it's 3.6kb zipped (Vue is 17.2kb without any app code. Not a criticism, just context)

https://svelte-todomvc.surge.sh
What Is DevOps? – Sweet and Simple
Yeah...

If not "used correctly" means a buggy app, and it's easy for an inexperienced developer to make those mistakes, you're still in for a world of pain. If you need to be an expert to avoid accidentally screwing everything up, there's still work to be done.

This is the whole "pit of success" thing Facebook talks about, the path of least resistance should be towards a functional nearly bug-free app. Certainly an app where bugs are relatively well-quarantined.
> English: My native language. My brain tried so hard to make sense of it and pulled out snippets of words but there was no grammar there.

As an English speaker with a bit of German, that's how Dutch sounds to me: it sounds like English, only wrong somehow. I feel that if I just focused a bit harder, or they'd enunciate more clearly, I'd understand it.

Hooray for languages!
Currently JS frontend folks also classify MVC as "problematic", yet a lot of successful software was written that way. So along with J2EE folks, this isn't really the community to look for style standards by default.
While this situation sucks, how is it any different than buying a house with a loan, having the house lose half its value, and then having the mortgage be written-off by the bank? Many adults went through this in 2008-2009 but short of filing for bankruptcy, I don't think billions of dollars of loans were forgiven because people couldn't pay them. They had to give up their houses, which would be the equivalent here of giving up your education.

Basically, if loans don't need to be paid back, what's the point of a loan at all?
Umm, the courts?

I knew various government techies who went to work for the Administrative Office of the [US] Courts. Honestly, I don't know what the chain of command was there.
Viewing with a landscape viewport sometimes works.
About 8 years post-graduated I have roughly $19k in student debt remaining. At my current payments, I won't pay it off in the next 12 years, but it's cheaper for me to pay it off quickly.

Even ignoring the often sizeable income tax bill, people whose debts are forgiven likely paid more back to the government than you did, on both a percentage and absolute scale.

Edit: And to the income tax point, if you've got tens of thousands in debt and have an already high income (not totally outside the realm of possibility since you're likely ~42 years old) that could easily be a 5-figure bill.
Aiming for PhD in Computer Science. Really like the mathematical side but want to apply it to solve real software engineering problems.
One of the worst things that comes from the banning of drugs is the stigma attached to it in order to give reason to ban it. That stigma just doesn't let go no matter what evidence is being presented.

Case in point are the incredible studies by the folks at Johns Hopkins on Psilocybin. They're not feeding people hallucinogenic mushrooms, they're giving them controlled doses of manufactured psilosybin. Incredible studies, very interesting in all ways, but the news headline is almost always some shitty pun or stupid jab about 'shrooms or "trippy" or "far out" which immediately demeans the research in the readers mind.

This usually continues through the text. The author will describe the study, effects, results, etc. then punctuate it with some dumb line about it being groovy. Makes it embarassing to be associated with the results when we could be looking at some truly breakthrough approaches to therapy and who knows what else.
Interestingly, and the article touches on this a bit, a disproportionate fraction of this forgiven debt goes to those who got terminal professional degrees, like doctors and lawyers.

> Critics, including academics across the political spectrum, say the income-based repayment program isn’t targeting the neediest borrowers and instead bestows big benefits on those who attend pricey colleges and graduate schools and earn high incomes.

Take a new surgical resident who just graduated from med school with a slightly above average amount of debt - $300k [0]. They consolidate their loans and put themselves on an income based repayment plan, and start their residency at a nonprofit hospital. After 120 payments (at most one per month) made while working for a 501(c), their remaining loan is forgiven, tax-free. [1]

At the outset, the income based plan really is the only option. They'll be earning a modest salary as a resident - 40-60k per year. During this period their debt will accumulate unpaid interest as their payments are capped at 10% of their income (above 1.5x the poverty line, so something like max_payment = 0.10*(income-20k); $200-300 a month, at most). After ~7 years of surgical residency, depending on specialty, the doctors begin earning $300k-$500k/year. At this point their total loan amount at 7% simple interest (unpaid interest isn't compounded under these programs) has grown somewhere on the order of 40-50%. Now they are making the maximum payment on their debt assuming a 20-25 year repayment term. Unfortunately, they'll only be making those payments for 3 years before the entire balance of the loan is forgiven - tax free.

The end result is that for doctors whose residency and subsequent career begins by working at nonprofit hospitals, the government will end up forgiving the full amount of their medical school tuition, usually plus a little bit of interest. Med schools, law schools, and other professional schools know this, and actively promote these programs as a way for students to justify going into unbelievable levels of debt. [2]

In general, those with less than about $40k in debt will see no change to their monthly payment by moving to an income based repayment program, so they have little incentive to go through the hassle of signing up.

[0] http://grad-schools.usnews.rankingsandreviews.com/best-gradu...

[1] https://studentaid.ed.gov/sa/repay-loans/forgiveness-cancell...

[2] https://www.law.gwu.edu/loan-repayment-plans