skysight-inc/HackerNews huggingface dataset:
"Stalin - a STAtic Language ImplementatioN",
"stalin _brutally_ optimizing Scheme compiler",
"An _Aggressive_ Scheme Compiler"

The naming seems like a stretch to me, and I don't appreciate the theme to be honest. If you're going for any sort of recognition of the brand then this is going to get buried under results for Joseph Stalin.

Very poorly named I would have expected something better coming for Purdue University. I'm sure they wouldn't appreciate this much either.
Converting HTML Template to Wordpress Theme
I think we totally agree. My entire point is that this is enormously complicated, but mostly in the psychology department, and not so much in the eating department. Eating a caloric defect works for everyone, so the difficult part is figuring out how to get them to do that, which seems to be a psychological issue entirely.

Again, we agree that it is enormously complex, I am lamenting the fact that we don't put more resources into the psychological aspect of it.
Mountable volumes and data containers works for us in staging atm, you can easily spin up single task dockers to pull that out, tar it up and send to S3 as a backup regime as well.
I've been doing some of this in my latest prototype; check out http://research.microsoft.com/en-us/people/smcdirm/managedti... (look at the last few examples; it is not ready so please don't submit it to HN).

A few notes:

We convert () into a box for viewing, but de-convert it back to () when the line is selected for editing.

Unicode (and non-uncide special characters) is used as a rendering for ascii based operators. So >= is rendered as "≥"; however, for editing to work, we add a dot at the end so the character count remains the same, so its actually "≥∙", if you delete the dot, you are basically deleting the ascii "=" so the character becomes ">".

I thought about colors and graphics, but they create huge real estate issues, and they aren't widely applicable. Also, people get what "red" is while the literal color red is quite ambiguous.

Rather than find a new symbol for multiplication, it probably makes more sense to render the single x variable differently (as well as other single variable identifiers like i and j). I haven't implemented this yet, but its on my list.

If you look at the videos, you'll see that static and run-time errors are rendered underneath the tokens they are related to. The idea is to keep the feedback as close to the code as possible.
Some VRBO properties only have vague generalities about their location and not street address - "3 minute walk from the beach", "Close to wineries" etc etc...

I've done this before as well - most of the time you find out the description is entirely accurate, but I'd hate to find out they exaggerated upon arrival for a week long vacation.
I've spent literally the last week working out restart strategies for our critical containers, so it's fair to say this has something pretty world-changing as I might be able to ship next week now. Seriously, I was writing bash wrappers to listen for exit codes and all sorts to make my own pseudo exit hooks on the host, so this is just awesome.

Thanks guys!
You would need new input methods, because with ascii, the src code shows what you need to input. But how do you input a colour? There's no standardised method. Also all the other text based channels need to be upgraded at the same time.
1970s is not exactly a "tradition". And there were only disclosure requirements for committees, not for every organization that is engaged in speech. And, of course, as you can see for yourself, it did not work - with all regulation being continuously passed for 40 years, there's more and more money in politics. But I'm sure this time it would be different.

As long as you keep pretending that "money is not speech" you would get surprised when people who want to speak politically would do so despite a myriad of regulations. The only way to prevent it is to restrict political speech. So far SCOTUS has been very skeptical towards such efforts, but this may be not forever, and one day First Amendment may fall. It would be a very sad day for America.
Optimistically, this would lead to reform of software partner selection within the government.

However, I expect it will introduce more red tape and ensure the same result. More work for companies like Oracle and more failed projects and waste.
So this wasn't a well-meaning state incompetence meets huge pile of unaccounted federal cash tragedy?
Yeah, that's the Homo-Iconic Templating Language for ERlang.
It isn't a matter of Oracle managing this complex IT project. There would have been at least 2 PMs (one for Oracle and one for the State), probably more with a project of this scale.

The question that I had, and continue to have, is who signed off on the deliverables? There should have been numerous deliverables along the way, with a release of funds with each signed off deliverable. In my mind, those who signed off on the deliverables (as working) are ultimately the ones responsible for it's failure..
Please change the name.
Grasshopper Explodes at Space X during test
Who that isn't a soul-sucking corporate behemoth is going to bid on a government project of that scope?
We are what we do right?
But if a fat person simply eats less, no matter the macronutrient content, he or she will lose weight. This is well documented, and even Taubes doesn't disagree with that. There may be ways to lose weight more quickly, but my point is that the challenge here is how to make people who are on terrible diets consistently stick to any decent diet with a caloric defecit, not the optimal diet. If someone can't comply with a low carb diet it quite frankly doesn't matter if it's more optimal that a high carb (though I disagree with Taubes generally and think his analysis misses the forest for the trees).
I think I partially agree, but would rephrase it as this: It's important to pick your battles. Promoting only innate talent can lead to lazy adults with unfulfilled potential. However, promoting only hard work can lead to depressed adults who keep wondering why more hard work isn't working.

The key is balance and part of growing up is recognizing where hard work should be focused on. Parents can help their kids with this by observing what they're good at. And it can also help teach an important life lesson which is knowing when to cut your losses and move on.

But this discussion ignores the third component of success which is opportunity (luck). Hard work and talent are useless without the chance to do something with it. It's important to teach this as well since without knowing this, you could have adults who are hard working and know what to focus on, but just wait for opportunity to come to them. Opportunity is a dice roll and you have to keep going out there and rolling that dice until you get a good one. And I think knowing this teaches humility as well which is important for social cohesion. Some people just get a lot of bad rolls and society should help in such circumstances.
The whole "Cause Pimps" site is fascinating. First it seems like a left-wing site confirming all the right wing's deepest fantastic conspiracy theories about various left wing groups. If one continues reading, however, the writer just can't help dropping the occasional bit that seriously calls into question just how left-wing she really is. Not that this particularly credits or discredits anything else on the site. I'm more of a down-wing person myself.
I currently use a Thinkpad x230 with Ubuntu. It has a 12.5" screen. I've been satisfied with it. I'm not sure about the current version (x240 [0]), though. They also have a tablet version.

http://shop.lenovo.com/us/en/laptops/thinkpad/x-series/x240/
These are good points. However, one of the main things that I've seen drive people from programming is frustration. Not just with setup tools but with their own code.

So I would add ineffective "error handling" as one of the main "gaps" that prevent people from trying anything beyond basic programming.

This makes sense. How learnable is an application which gives you unintelligible feedback when you use it incorrectly? Would your web app be as popular if it just showed users raw server errors when form inputs were invalid!?

Unfortunately, this is very tough thing to fix - it's difficult to explain to someone with some arbitrary level of knowledge why an insanely complex abstracted system isn't behaving in the way they expect it to. I think successful approaches might combine ideas from adaptive learning, omniscient debuggers, fast feedback editors, sophisticated type systems, visual languages, and even "realtime" stackoverflowish peer support networks.

It's possible to do much much better than what we currently have - but it isn't going to be easy!
Effective use of really expensive PR people.
This is 8 years old.
> "How you ensure someone sticks with the program" is not independent of what the things they eat are.

We have not put nearly enough scientific resources into figuring that out to say that so confidently.

> Much current effort is on compliance, but it often involves how to manipulate metabolic signals to help people be better able to comply (there's definitely education as a component of that, but its not alone.)

I don't agree that much of the effort is on compliance, there is a massive imbalance towards substance from what I can tell, but who knows maybe you're right.
I hold out no hope. The RFP process is inherently broken and seems to revolve ONLY around preventing nepotism and with a pervasive attitude of one-size-fits-all in State government, I don't see this changing anytime soon.
Project Gitenberg
MIPS caved on this, of course. The R2000 was byte-addressible from day one, and they never looked back. And notably per the example given in the linked article: MIPS pretty much defined the high performance Unix space in the mid-late 80's (until Sun finally got SPARC selling).
Why would Secret have liability in such a suit? If someone starts a blogger account and uses it to accuses someone of being a (for example) a neo-Nazi, then would the accused sue Google for libel?
"a substance that is capable of causing the illness or death of a living organism when introduced or absorbed."

Water can be a poison if it wants to be too, however, sugar is orders of magnitude more poisonous than water.

Sugar is not a substance like water in which "hey if you drink enough water, more than most people can even if they were trying to, you can die." It's more like, the body is constantly struggling to keep blood sugar levels at a level that won't kill it, and there are great many metabolic disorders in which it fails to do this, and dies.

Also, there are diets which can simply overwhelm the body's ability to regulate blood sugar levels, some which lead to the body dying, see: type 2 diabetes.

If you count up the premature deaths(looking at human-life-years lost is probably most informative) associated with type 2 diabetes and heart disease related to sugar-induced metabolic disorders, one might be surprised that the poison we call sugar may have one of the highest kill counts of all known poisons. And to top it off, it happens to be a poison that we are, by an unfortunate evolutionary happenstance, generally addicted to. Oh yeah, it's also supported and pushed by multiple billion dollar industries with significant lobbying power.
Ah, apparently I didn't read carefully enough.

Going back, it says.... they had automated attempts to identify bots like this in place, since May when Russian hackers attacked in the same way. The implication is not before then.

Yeah, this does not make me more confident in them having any sort of a security program whatsoever.
Another nifty tool by the same team, PgCluu, it is more geared to server statistics and PostgreSQL cluster statistics.

https://github.com/darold/pgcluu
I'm a father of a 5 month old. My wife and I had an agreement in the first three months. She took the night shift. (I know she's awesome.) And I'd get up with him in the morning and keep him out of the room long enough for her to get some solid sleep. This was particularly important because we were breast feeding and had to build up a supply for daycare.

Also, I assume this guy doesn't get on email when his son wakes him up in the middle of the night. It's not what I want to do at 4 am, I don't know about you.

So there are many ways this can happen, his wife stays at home. He doesn't log when he wakes up. Whatever arrangement he has with his wife it works for him and it's not our place to judge.
OpenRCT2: https://github.com/IntelOrca/OpenRCT2

Not finished yet though.
SpaceX Test Flight Detonated Over Texas Town
The author of Calibre claims:
In my opinion, calibre’s graphic interface is damn good [1]

I don't think the author is going to make any strides towards improving/changing the UI

[1]http://features.en.softonic.com/interview-kovid-goyal-creato...
I only respond to contacts who address me by name and show they have actually read my cv, not just reacted to search term hits. That said, my response is typically "thankyou, I'll keep you in mind should circumstances change".
I think that the solution is much more simple.

Print formula > Convert formula to image (screencap) > Paste image
There's a picture and video in the Business Insider article: http://www.businessinsider.com/spacex-explode-2014-8
or you could, you know, render CLIENT SIDE?
and OWN the game instead of borrowing it from the cloud?
This is exactly why big companies are hired right? So you have someone to sue when the shit hits the fan.
Windowless Planes Offer Passengers Spectacular Panoramic Views
And you expect to be taken seriously with a landing page like that?
Glad I'm not the only one. I maintain an embedded system and a bunch of its apps - at every point in the Docker file where mknod & friends must do their thing, I have to cut the Dockerfile right there and do docker run --privileged for that build step... and so on.

It hasn't bothered me enough to comment on that issue though, Docker has really improved my workflow enormously.
I think there's a flip side to this, too, though. Being told you're smart, or good at math, or whatever, can be a motivator. It can encourage you to seek out and develop that talent, and also to persevere when things are difficult. At least for me, personally, when faced with a tough math concept I would think "well Ive been told all my life I'm good at math and I've been pretty good up until now so I'm sure I will be able to figure this out."

Giving negative motivation to a kid, saying "you're stupid," is recognized to sometimes be a self-fulfilling prophecy. There's no reason that "you're smart" can't work in the same way. I would not be surprised if a lot of this phenomenon of children being negatively motivated from positive feedback ends up having a different explanation than the one posited here.
I don't think even most prosecutors would have the balls to say something as fucked-up as that. One who scoffs at the threat of criminal court proceedings, in this nation, does so from a very privileged position. A more charitable person than I would hope you never have the misfortune to discover how wrong you are.
APL uses/used non-ascii characters. I don't think most people think of that was one of it's strong points.

What seems to have caught on instead is editors that use syntax highlighting/formatting to show ascii source code in not-pure-ascii ways. It would be interesting to take this further.
Please re-read GP.
No VPN on Earth Can Protect Careless Pirates
Could this help us avoid the ugliness of nesting quotes and backslash-escaping hell?
It's mostly Java from the people who made C, but didn't learn much from their C design mistakes.
Couldn't actually tell if you were joking. Relieved to discover you were...
This is the idea behind colorForth: http://www.colorforth.com/cf.htm wherein color has semantic meaning (i.e., it's not just syntax highlighting).
> The man committed genocide and numerous other crimes against humanity.

the amerikan founding fathers have committed acts of genocide (and numerous other crimes) against Native Americans and Africans and yet someone decided it would be a good idea to print them on dollar bills
I agree with him. It's usable, and easy to understand.

It doesn't follow the fads of our time, and thats fine. I struggle to understand why such a superficial demand is at the top of hacker news.

Asking every useful software project to hire designers so it fits the Apple Guidelines (yes I'm exaggerating) seems both unproductive and more likely to drive the programming endeavor further out of the apartments of inventive people and into VCistan
I believe these ideas are separate. I don't think the author is proposing that format be a part of language semantics, just that we should format better.
This thread has gone on for a while I'm not going to keep arguing point by point, but you misunderstand election law. Between Watergate and 2010 it was hard to do anonymous electioneering, for any person or organization.

I think unlimited anonymous election spending is more of a problem than the possibility that a big donor might get bad press or be shunned by potential employers. You disagree. That's fine, let's get on with our lives and stop trying to convince each other, which obviously isn't going to happen.
It's over 20 years old. Doesn't quite predate the other Stalin though.
> And if you're child's teachers are telling you how smart they are, and they ask you "Dad, my teacher said I'm really smart, do you think I'm really smart?" You'll have to decide what the narrative is.

Couldn't you just say something like: "Yes I think you're really smart, but it is much more important that you are hard-working".
Holy crap HN has its tight underpants on this evening. Relax folks!
You see many crooked lines in real life architecture when the wall/surface is supposed to be straigt?
Simply render "xxxx" differently and you are about done; e.g. render it as ˹xxxx˼ with some background highlight.

Incremental text input is a different problem. If you only have to deal with a batch renderer, then no change is needed; if you have an interactive IDE, you might want to complete the closing " so feedback remains sane.
Mathematica has a few of these features. If you paste in an image from a previous operation, then the image is shown inline in the piece of code you're typing.
Oh HN, only whines about lack of political correctness, nothing technical. Sometimes you are better.
Well, I'm not an expert by an means but I think the plumbing would take far more time than the vision itself - hooking up to a calender api, etc. Maybe MT would run into the same issues. But HITs are super cheap, and a single programmer-day in many countries would still buy a ton of HITs at a few cents a pop.
Got to be much older than that---I think Stalin predates R5RS (1998).

I also vaguely remember that the name was chosen as a counter to Dylan (DYnamic LANguage), but can't find the reference now.
I've used k2pdfopt for reading two-column formatted academic papers on Kindle Paperwhite, it works great.
I think developing a good UI is hard. More when you develop a multiplatform application like Calibre.

Probably QT is currently the best way to go but the aesthetic is not solved by the framework alone.
Note at the end and inline:

> "My error lies in forgetting that Gilbert and Lynch’s formulation of availability requires only non-failing nodes to respond, and that without ≥1 live nodes in a partition there isn’t the option for split-brain syndrome."

Yes distributed system are hard, even those writing blogs decrying the silliness of others also can very easily make mistakes.

Another way to think about partition tolerance is not only "what do I do when a net-split occurs" but what do I do if net-split heals and now information has to merge. In other words the fact that one server got struck by lighting, fried and is never coming back is a nice case to have. Having it come back a month later for whatever reason and becoming a "master" while discarding and logically rolling back whole swathes of data is problem.

> Multi-node failures may be rarer than single-node failures, but they are still common enough to have serious effects on business. [...] PDU failures, switch failures, accidental power cycles of whole racks, whole-DC backbone failures, whole-DC power failures, and a hypoglycemic driver smashing his Ford pickup truck into a DC’s HVAC system. And I’m not even an ops guy.

I think it is funny that the author manages to blame everything and everyone except bad software. A very likely multi-node failure is hitting a bug in your code. Not saying hypoglycemic drivers are to be taken lightly around your high capacity blade servers, but screwing up something in code, and have the same code run on all 1000 servers could easily bring those 1000 servers down.
CodeNow (YC W14) Nonprofit – Hiring a Program Coordinator, NYC
Thanks for the great summary. I totally agree with the whole opportunity thing.
KWTX has some videos: http://www.kwtx.com/home/headlines/Rocket-Explodes-at-Space-...
None of your links actually support the idea that you can become obese without eating excess calories. They are all genetic diseases where obesity is a symptom of the disease. Maybe because they eat too much?
I'm not sure about how I feel about this (edit - restart policies). It's cool, but seems to ignore what the OTP part of erlang development learned. They've already gone to "X number of restarts = failure" but with no time involved. There's also no hierarchy, which is where you really start to get the benefits.

While great, I worry that this is a part-solution that will delay the implementation of a proper one.
Reminds me of this:

http://www.dominic-deegan.com/view.php?date=2007-01-04

Summary: In a fantasy setting with seers who get random visions, they must have encylopedic knowledge of the history of everything to be able to tell, from contextual clues, from where (and when – past, present, or future) the visions originate.
SpaceX official statement: https://twitter.com/SpaceX/status/502976401729798144
I'm an Oregonian. (Not proud about it in this case.) My understanding is that Oregon structured a very poor contract which allows them little recourse. Further, payment and deliverables were disconnected. This lawsuit is likely just about politics.

http://www.opb.org/news/article/legal-recourse-stymied-by-co...

"That kind of contract means Oracle wasn’t being paid for a working website; it was being paid for the time it spent working on the project. It would have been up to the administrator to make sure the website worked, but the state decided not to hire one, and gave itself that role."
That is an indication that there is a discrepancy between the groups in how they view the issue, it does not mean that one group is correct.
There's some extra context. In Khan's book "The One World Schoolhouse", he mentions some children who are branded "slow" under many traditional curricula. But at some later point, they lurch forward, ahead of the rest of the class. (As if they had some confusion which caused them to think more deeply; then emerged with a deeper understanding.)
If it compiles, it must run without several entire classes of errors.
Was the scope so big or was it only a question of scale? Does anyone have the requirements document?
In the "name" of millions and millions and millions of dead and those brainwashed through terror, I gotta say no, don't relax. It's not funny in the least.
You were never obese, were you? Because if you were, you wouldn't trivialize this affliction to this degree.
Just a question, prior to Watergate, would it have been possible for someone to buy up hours of TV ads nationwide attacking the opponent of the person they want to win? I don't know anything about election law, so I'm wondering if something changed or if attack ads and massive spending just became more accepted.
Blame Driven Development. It's trending.

People spend so much energy covering their asses none is left to actually build anything.
I (think) stalin isn't maintained since forever; how does it compare to contemporary compilers? Are there any similar projects for other dynamic languages?