skysight-inc/HackerNews huggingface dataset:
In the area of string formatting, templated C++ library should outperform C printf in theory, but this has been difficult to achieve in practice. So I understand why many people are skeptical about your "in practice" claim.
"Their strategy is not effective" is quite different from "they are the problem."

Anyway, what would you propose that they do?
tl;dr banks in Sweden have negative interest rates so it is cheaper to over pay and collect the money after a while, as a form of savings.
They're more likely to be reading over at insider.razerzone.com, but I'd say they're probably most interested in hearing about compatibility issues rather than product design choices. Razer will still be Razer, but if you can suggest more Linux friendly components, their ears are open.
I live in Dixie Alley [0], a place prone to incredibly violent tornadoes. The National Weather Service, part on NOAA, has saved many lives here. If you follow along on a weather enthusiast forum like TalkWeather [1], you'll see just some of the protection that NWS provides us. The prediction and modeling alone are amazing. The thought of not having those people looking out for me is terrifying.

[0] https://en.wikipedia.org/wiki/Dixie_Alley

[1] http://talkweather.com/index.php
The military is 60 percent of the budget.
Right, good point. I (embarrassingly) forgot that that was an option for dealing with invalid input.
Honest question, how did they expect this to work? There is no Steam client for ARM and even if there was, there are no ARM games on Steam anyway.
> I've gotten every job I've ever interviewed for

I once said this to a friend. He then suggested maybe I wasn't being as ambitious as I could be in the roles I was seeking. Gave me some food for thought.
Is that also a budget action?

This describes it as an administrative action to preserve certain business activities in Illinois:

http://www.cleveland.com/metro/index.ssf/2017/03/trump_admin...

To be clear, I prefer the plan that protects the lakes.
Show HN: Automated GitHub labels set up
The Vatican’s Latinist
Let's Make a Song in Sunvox [video]
It's easy. This administration and the current GOP are beholden to the very rich and to corporations.

Energy companies have made a business decision to use marketing and PR to deny climate change. Denying climate change protects energy companies' profits.

This is all very expected once you realize who funds the GOP.

I don't really get why most media stories on climate change don't explain the motivations behind climate change denial.
If you hate your current job, why would a company want to hire you for a similar job?

The number of QA managers we rejected because they said they don't want to be QA managers ... eesh.
It's not. Defense comes in at 15% of federal spending. Social security and medicare combined come in at 4x that amount.

Source:http://federal-budget.insidegov.com/l/120/2017-Estimate
It's not just that. There's a religious component to it (only God can alter the Earth so dramatically, or Jesus is returning soon so it doesn't matter, or similar) as well as an ideological component (mitigating climate change can't be done with laissez-faire approaches).

At this point, it's self-reinforcing. One of our two major political parties has climate change denial as a fundamental part of its identity. Lots of people vote for that party because they share that belief. Those who benefit from that party's success are then motivated to spread that belief even further just to recruit more voters to the cause. And as that belief solidifies among their voters, the party becomes unable to change its position no matter how convincing the facts become.
Not true at all. It could very well be that when you time travel you go to another version or branch of that space-time brane. Or perhaps the past you visit is purely holographic and read-only in the causal sense.
Its worse on Reddit
Everyone gets to experience fancy VC subsidized rides, in any case. I don't see any clear argument that uber is actually more economically efficient than a standard cab...
No, this is like saying people cook with only a fry pan.[0]

[0] No disrespect to those who only have a fry pan to cook with.
How to Steal a River
Yeah, and this is an incredibly dangerous thing to do too, for both partners really. For the woman, she's basically giving up any hope of having a real career, ever, and consigning herself to being nothing more than a "housewife" for her best adult years. She'll never have a serious career after that. Worse, she's making herself entirely financially dependent on the man. What happens when the marriage falls apart, as it does in 50% of marriages? Now she's got no income, no skills, and the best she can hope for is to really fuck over the ex-husband with child support and alimony. Even with that, it's not going to be that easy to live, and she'll have a lower standard of living than before. The same goes for the husband; with a wife that doesn't work, he's likely going to do very badly in divorce court, and lose a large chunk of his income to monthly payments to her. The whole setup is fraught with peril.

Finally, what kind of woman has no career goals? Usually one with little or no education. Educated men usually aren't interested in such women, unless they're both highly conservative and religious.
The White House is desperately trying to crack down on leaks: https://www.nytimes.com/reuters/2017/03/03/us/politics/03reu..., to the point of demanding aides hand over their phone to check that Signal is not installed. It's entirely possible the Post and/or whoever leaked the memo is suspicious of custom "fingerprinted" versions that could be traced back to the source.
Because it could endanger their source. Sometimes different versions of a document are given to different people to try to figure out who's leaking. And having people in the White House who are willing to leak important information to the public is in the public interest.
well, corporations can't change laws. They can only lobby. And laws are passed by the majority to benefit a majority, that's how a democracy works.
When I was working at a start up (not in the league of FAGM), which was just going to IPO 3 months later, I found on a network share a file that contained interview feedback for different people. Thats what companies do when they interview a dozen for a job; they compare candidates against each other. This info is not given out to the public. I can recall two profiles from that file: one, white with an MBA from Kellogg; the other, Indian with an MBA from Cornell. They picked the Kellogg guy as a contractor for first three months, later converted him into full time. That's when I realized I should not get an MBA, since I won't get admitted to H/S/W MBA programs, even tho these schools tell everyone to apply in order to reduce the acceptance rate.

The other issue is the kind of job you have: product management. Every guy in IT wanna move up; so, the first thing was told to these guys to get an MBA. (Now we have morning, evening and day time MBAs, on campus and off campus MBAs. Even Wharton is called MBA factory these days.) So, we have a glut of candidates in the product management.

Top tier start ups don't like to deal with non-elite candidates. Here, eliteness = which MBA school one went to--whether Stanford/Harvard/Wharton; which company did he work for, if any. I remember a guy here, who worked at Yahoo in product mgmt; he is not white, but born in America; he did not not have an MBA from H/S/W, but from somewhere else. FB interviewed him and rejected him later. I know of one who graduated from Stanford GSB, and joined FB in the product management just before FB went to public.

Product management jobs at top companies like Google and Facebook look for eliteness. So, just start talking to people, and get some referral and see how it goes.
> Sure, it's an ambiguous language sometimes, but it sounds like your complaint comes down to standardising it more and using longer variable names.

Has unstandardization and shorter variable names ever been heralded as the icon of understandability? I think that answers how I feel about that.

> When you write a function, you still need to give the arguments names. When you write an algorithm and want to share it with someone, you still need to give the variables names. That's all the greek symbols are - and mathematical notation is an abstract, human evaluateable programming language.

I get that. When I write a loop over a space of integers I sometimes use "i" or "j". When I iterate over a 2d array I usually use "x" and "y" ("z" for 3d). If I'm writing networking/file code I usually have an array of N length of bytes called "buff" or "buffer".

These are all common threads. But when I'm writing "buffer", "i", "j", "x", "y", or "z" they mean the same thing at every location in every piece of software to every software developer.

But, and here's the big but, I get a tingling feeling every time I use one of these. I always ask myself "is this the meaning I'm attempting to convey"? If there's a slight variation I'll just rename the variable to a more verbose version to make it easier to follow.

> Common ideas are abstracted into functions, like sine, cosine - min, max, even weird things like Bessel functions, Legendre polynomials, these are all written as function(arguments) in maths.

I can't name an idea in computer science that isn't a function (in at least 1 major programming language). We can go so far as to say that the basic operators, right down to define, are functions in LISP. I can on the other hand name many ideas that aren't functions in "Math"-lang and I'm sure you can as well.

> Python's list and set comprehensions etc actually come from a real mathematical notation for defining sets.

The difference is python uses, for the most part, the ASCII character set and presents a simple-for-all notation.

> All those capital sigmas and capital pi's are reduction operators - sums and products.

Why does Pi and Sigma provide a better interface to these operations then apply and reduction notation of LISP?

> There isn't an assignment operator - you're expected to give each variable a unique name if you have a multi-stage process, so you only ever make statements of equality rather than assignment.

Am I just supposed to guess the starting state of a variable? How do I define variables based on others? What type is my new variable (collection, graph, tree, value)? Why not just have a simple variable name for every non-common variable (Pi for Pi or 3.14... is fine because it is a constant everywhere).

Also, if there is a multi-stage process you should have multiple functions that define a subset of the solution, each with an appropriate name, each with appropriate "test-cases" (proofs) for that subset, each with documentation and type annotations to provide an understanding as to how it works. None of them should require domain-specific ideas to understand after you've read the "tests", docs, types, and names.
Bob Coecke's "Kindergarten Quantum Mechanics": http://www.cs.ox.ac.uk/bob.coecke/VaxjoProc.pdf
The CEO said, hey, I want my laptops to run Linux flawlessly. Let's work on making that happen together. Here's a forum. Let's get some feedback on what we can do to better support Linux in future hardware.

This is a company that makes prototype laptops with three displays :D The dude will sink time and money into this if that's what he wants.
I've wanted to use Phoenix a few times but every tutorial to get me started relied 100% on ecto which for something like a transformation API was frustrating. I didn't want the complexity of a database I wanted to learn the request lifecycle in it. Overall, it was challenging with too many resources being out of date or just so focused on a different type of API than I needed to build
I always wondered why they target the low end of the market. There are so many compromises and constraints that the only redeeming feature ends up being the price.

Why not try to make the best phone?
I thought Apple was working on their own baseband chip? I assume that's what you're alluding to, yeah?
time travel is a film trope, so if your question is "will YC ever get bored enough to start filming" then I suspect the answer is "almost certainly" since pg seems like a guy who really wants to be famous but can't quite get there.
Pre-check is so cheap, it probably costs more than it brings in revenue.
Well, in our case this has nothing to do with enforcing bed time. When your kids look like zombies in the morning because they only got four hours sleep due to the damn games you go into detective mode very quickly.

It was simple enough to check-in on them at, say, 1 AM (I'm usually up late doing software/hardware/mechanical engineering work) to discover what they were doing. Sleep is an important component of health, particularly for children.
The budget cut memo by itself is not that important. The memo was probably forwarded to every manager in the department, and all it takes is one disgruntled underling expecting his job to be cut.

But if it's a consistent pattern, there's risk in having the government be staffed with people who feel justified in breaking the law to preserve their jobs, even if they feel their jobs are important.
How does an average (non start up, non stock Rsu, person get FU only without saving up?
That might be bad for taxi companies, but what happens to Lyft in that scenario? Won't other ride sharing companies start up?

Uber only becomes a monopoly if they can keep all competition out, not just taxi companies. Taxi companies succeeded in doing that for decades by colluding with politicians to limit competition. Uber would have to adopt a similar strategy to get anything close to a monopoly.
If B is ignoring A, for whatever reason, then A can talk to others. Or more generally, do whatever it takes to workaround B.
The law did grant them powers to run pieces of this scheme that a judge decided they took way too far. And they got to run it for years before a judge stopped it.

And AFAIK no one running Macy's went to jail, so the penalty isn't the same as I'd get if I, say, imprisoned my neighbors and stole their credit cards to get payment for packages I think they stole from the porch.
It would be spun as "Over 90% of travelers opt to use the scanner instead of the antiquated pat-down"
Yikes. But unfortunately not unsurprising.

I live in Boulder and drive past the NOAA (and NIST, and I think parts of CIRES) offices every day. I've had family and countless professors that have done joint research with them, and very, very good friends and colleagues that have started their careers there. Part of how I wound up here (in the tech sector, posting to HN) was on an eighth grade field trip there asking how they drove 'Science on a Sphere' (7 RHEL machines).

It'd obviously be terrible globally if this were to go through, but it'd be pretty awful locally too. Every year around budget approval season, most NOAA folks I know would be insanely worried...Guess that comes a little early this year.

EDIT:
I guess as a follow up, I anticipate pretty substantial(proposed, at least) cuts to UCAR/NCAR and NREL as well. "We don't need no stinkin' climate research!"
My time is worth something; standing on a corner at 3pm, checking the time, calling the main office - "oh yeah, he's five minutes away", 45 minutes still waiting, call again..

With Uber/Lyft, I can see when they'll arrive. I can plan to do something with that time if the wait is long enough. I can quickly redirect them to where I am if there's a misunderstanding.

Yes, it's more efficient.
You're clearly not FOB based on your written English. Don't demean yourself.
With the proviso that US military support and materiel has been used as trade goods for alliance-making with other countries for most of the last century. A large portion of the US military budget is "being the substitute military for US allies."

The key question of decreasing US government spending is how to get other countries to pony up for the "renting" of the US military forces that they're already doing (because the alternative is that the US withdraws military support from those countries—and then those countries build back up their own militaries. Which, undoubtedly, would put us in a very different world than the one we're in right now...)
woah... woah. don't cut off that sentence.

> I've gotten every job I've ever interviewed for that I really wanted.

the point is not that "i get every job i interviewed for because i'm that good" -- i think the point is "i get every job i really want because the enthusiasm fuels the interview".

i can say with certainty it has nothing to do with a lack of ambition. enthusiasm is the only thing i can attribute to offers i've received for positions i wouldn't consider myself qualified for. :)
A does talk to others. It still hasn't worked, and now B is trying really hard to make A stop telling everybody about this stuff.
I'm not posting under my normal account as would prefer not to publicly disclose this to everyone.

There is no right answer as to whether we should save for the future or spend every thing we want to do now and say fuck it since tomorrow may not come.

I do believe it would serve well to try and strike a balance if possible.

Forever I was only a penny pinching saver and thought everything could wait until I was able to retire (hopefully early).

Then at age 29 I went in to see a doctor after I started to get extremely sick. I was a health/gym nut, but over the course of a year I had zero energy and couldn't recover from workouts. I started having blurred vision, shooting pains, seizures, vertigo, random falls, blacked out a couple of times, dropped about 30 pounds, and most of my hair fell out.

After seeing quite a few doctors they found I had a developed multiple auto immune disorders, one of which attacks the pathways in the brain.

When I was diagnosed several neurologists came and spoke with me and explained they could treat the symptoms, but that was it. The prognosis was and still is, they don't know. The illness is remitting relapsing so I will get so bad I'm that I honestly want to just die so that my pain can stop. Then six months later I'll feel almost normal and wonder how long it will last.

The doctors say if I survive it long enough I will eventually be in a wheelchair or housebound. Maybe though my lungs will just stop working long enough that I suffocate.

The week before last I was back at the gym working out like nothing is wrong, then last weekend I collapsed in my driveway. Seizures are back and my wife wants me to get a cain or something to help prevent falls as this one about landed me back in the ER.
Wouldn't the best solution be write it in C and have the entire app take 20MB of ram?
Better link.

https://en.wikipedia.org/wiki/Expenditures_in_the_United_Sta...
> Am I wrong? Is this not possible?

Yes, you're wrong.

I mean, I agree with you. This is the route we should commit to. Building up mathematical theories in a programming language.

But I think you've reached the right conclusion for horribly confused reasons, and that you severely over-estimate the state of the art in CS. This over-estimation results in you not realizing why something like this could be a valuable tool within the world you describe.

Perhaps I'm wrong, but here's what gives me this impression:

> Write human-provable "test-cases"

Since the article is discussing mathematics, I suppose here by proof you actually really honestly mean proof.

So proof by "I worked through 6 examples and they all turned out OK so far"?

That's not typically what a mathematician means when they say they proved something. Proofs can get horribly complicated in ways that test cases generally don't.

> Writing functions, "unit tests", building on abstractions, and creating "libraries" do help. We all know this because it works well in CS.

Yes, all of these things would be great.

But it's REALLY not that simple.

Formal verification of software systems remains a mostly academic pursuit. There's some promising early work, but almost none of "us" formally verify our software.

It does NOT work well in CS. Not at the moment. And most things we do in CS are conceptually simpler than a lot of mathematics. So exploring alternative interfaces makes a lot of sense.

> Is this not possible? Is there a reason as to why math and logic can't be expressed as an abstract programing language?

They can be. It's horrendously verbose, and it's difficult to do novel work in such a formal setting.

It does not work well in the same sense that it does not work well in CS -- you can do it, if you're willing to spend 10x the time/money/effort for the "good enough" version (in math, paper proofs; in CS, shippable but unverified code).
Out of all the branches of the space-time continuum, what's the chance that we are on the original one? Either we are improbably exceptional, or time travel is never invented. (This is the same argument as the "we are probably in a simulation", BTW.)

And if the past you visit is read-only, then you've invented history, not time-travel.
No TVs is what i'm seeing here.
And lots of books.
I'm jealous of those vast spaces, i only have a tiny room in Berlin.
In a democracy, the voters are the ones in power
Right, I'd rather live in a fiefdom.
Those are non discretionary and funded by totally separate channels.
sounds funny until their homophobia causes them to arrest you.
I've used them to do real-time audio and video transcoding, and for doing (non-security sensitive) hashing and decryption operations.

They are an excellent fit for anything that requires heavy number-crunching, and little or no DOM manipulation or network communication.
There is no fiduciary duty to turn a profit
not as many as Japan. Korean is a lot more homogeneous than Japan.
Well, the actual CPU cores are designed by Imagination Technologies, which are based in UK. I would not be so sure that they are fully safe.

You can make an argument that it is still an improvement, because there are no obvious binary blobs required by the system. But in this case, I would recommend going for one of the many Chinese ARM cores -- at least you can buy them easily.
I was talking to someone who worked as an engineer for NASA for decades. He said the work he was proudest of was on the GOES satellites, because they save lives every year by providing data on extreme weather. It looks like weather satellite operations are going to be hardest hit by these cuts.
Good software isn't written in a vacuum. Discussing ideas with others is essential, and that's easier with mutual respect.
The Decline in US Public Companies
Oh ok. Nvm. Guess Ill keep doing it a bit at a time here then. Others covered this topic well, though.
At $100/day, you must be renting premium vehicles. Last week, I rented a "standard-size" car for a business trip (Saturday pick-up, Wednesday return). It was about $150 total.
These are important facts, and deserve more attention:

"For the past 20 years, public corporations in the United States have been disappearing. The number of U.S.-based companies listed on Nasdaq and the New York Stock Exchange has dropped by over half since 1996. The dot-com bust of 2000 and the financial crisis of 2008 account for some of this decline, yet the downward trend has continued with little let-up, even as the markets have reached record highs. The number of IPOs in the past five years is less than the number in 1996 alone. Something has gone wrong with the public corporation in the United States."
Absolutely. Well functioning team = more efficient = lower costs for the client.