skysight-inc/HackerNews huggingface dataset:
I think this depends a lot on two people - your immediate manager, and their immediate manager. I've been lucky to have great management, and I've been able to do a lot of stuff that the article talks about, and I work in a stodgy BigCo (old school tech co).

I once went to 99Designs and paid $2000 for a designer to redo a certain set of pages on our corporate site. Start to finish, the project took 27 days. This is insanely fast in our context - the usual process would have taken 6-8 months, and at least $100,000. The large agency we work with would have dedicated a team, spun up a project, set up a series of meetings...

To be fair, I get the need for process and I totally get the value of working that way, but it's nice to have management that backs you up when you really need to get something done fast. And yes, once the need for those pages was over (conference related), I made sure they were handed over to the right team for long term management, and not just abandoned as orphan pages.
Can psychology 'tricks' help with email conversions?
US defense secretary interviewed by high school newspaper
AMD is not going to open-source or disable PSP. That thread was four months ago and they still haven't even commented publicly on it. See this recent update from 8 days ago:

https://www.reddit.com/r/Amd/comments/6krg13/has_there_been_...

If AMD really wanted to, they would have announced something by now. I can commend the AMD rep who continues to push for it, but he can't dictate company policy.
Arithmetic is theory too. Graph theory has lots of practical applications. I don't think it's that kind of divide. Arithmetic is just a very small part of mathematics.
Interesting to see the paradigm of "bitcoin is doing well, everything else must be less useful" is making a comeback? I the reason progressively larger corrections have been happening is due to more people who know nothing about crypto entering the space, therefore introducing more volatility and reflexive baseless reasoning.

If you question this, join one of the "crpyto currency" groups on FaceBook and read through a majority of the posts... I've come across people who've taken out loans to purchase crypto and people who installed wallets locally and wondered why the crypto they bought on CoinBase didn't magically appear. The most disconcerting posts are those who constantly ask "why did the price go up or down" or blindly post their chart predictions as to why the currency will keep going up in value.
The Newcomer’s Guide to Pitching VC’s in Silicon Valley
Using which site generator?
When the network card tampers with the packets, this can be detected if the network protocols use the correct cryptographic algorithms to ensure integrity and confidentiality. Protecting against tampering on the CPU level is much harder, since this is where these algorithms are carried out.
It absolutely works to improve your recall of the test items, but who knows if it improves your short or long term memory in general.

That is, does it make it easier to recall things that are not part of the spaced repetition training?
If you don't mind me asking... what's the link for that Alibaba 256gb no-name SD card?
The author is afraid about all the money that is being put into startups that is not coming back again into the markets.

"...most tech startups that survive are sold rather than become public companies. "

The article then explains that "The value of U.S. technology company acquisitions fell by 66 percent in the first six months of 2017 compared with the same stretch a year ago".

All this analysis is interesting but unfortunately there is no mention of the tech startups that don't survive. I believe that might be the key factor for this.

It would also be nice to survey how many silicon valley startups are considering ICO's instead of IPO's and try to reason if that might bring new impact into the scene.
Fedora has been great lately. QA is so much better than other distros. Things "just work".
the media has been saying this for years..yeah valuations are high. so what. It gets repetitive after awhile
> That's just wrong. The moderators on both subs are actively curating the front stories and removing 'duplicates'. I don't care about TheDonald as they are not a pre-set sub nor proclaiming neutrality.

I'm unsure what neutrality means at this point. I don't expect anyone to be "neutral", but I make a distinction between debatable news and troll memes.

> But you can't be seriously claiming that the 16 out of 25 front page stories of some variation of 'DT colluded with Russia' on /r/politics are unique newsworthy stories.

No, I'm certainly not, and while moderators remove some obvious duplicates (query string differences etc), the same story from different outlets are still left and often upvoted. I don't think that's a grand conspiracy but merely user habit.

Whatever you think of this is up to you, and I think there are a lot of issues worth discussing that gets drowned out by the clown in chief-stories, but I've seen no evidence of this being anything other than crowd selection.

And it's news (insignificant, duplicate or big) on one sub, and 80% memes on the other. That's the contrast I was commenting on.
MVP vs. MVC vs. MVVM vs. VIPER. What Is Better for iOS Development?
No shit. This isn't really news, as a few others point out that companies generally tend to work with their respective country's government. You won't see Kaspersky AV on a US government workstation and you won't see McAfee on any of their workstations for example.
Ooo fancy unicorpse.
Yet,

- arithmetics (a.k.a. Number Theory) is a vast branch of modern pure mathematics;

- numeric calculations, i.e. how to do them efficiently, is a very important part of the (applied) mathematics.
> Given the context of the article, this is an unscientific and immoral statement.

It is neither unscientific nor immoral to note a popular belief which the study does not provide a basis for rejecting on which a conclusion might be likely to be improperly formed based on the study.

"May" is not a statement of positive belief.
Comcast, AT&T, WhatsApp All Score Low on New “Who Has Your Back?” List
John McAfee Free to Use His Name After Settling with Intel
You are required to pay taxes in your state's currency. You can't really buy much with Bitcoin when it tanks, because all of those stores are just using the current exchange rate with state currency.
LHC Experiments Delve Deeper into Precision
You're doing it again:

> 2. Governments force green solutions to be the cheaper option, using laws and taxation.

That's not happening, but I'm sure you've noticed. So you're better off to invest in and back the innovators with your wallet by purchasing their products and by divesting (this need to be done, actively to work), which is what I said originally.

Also there is plenty to gain from being innovative on a personal level. For example, you may perceive consuming less is a "cost" but is it really? If I consume less, I have more money (meaning I have to work less), I have less "stuff" to deal with, and I have less rubbish to throw out.

You're not giving me anything new to be honest.
I've only had that happen twice in a dozen years.
Cleanly connecting NNs to contracts / rules is indeed a hard problem, which many people would like to see solved. Please see my post about that [1], and the corresponding HN comment thread [2].

[1] http://blog.foretellix.com/2017/07/06/where-machine-learning...

[2] https://news.ycombinator.com/item?id=14717692
https://github.com/shorty/ is a user with no repository from UK. Are you sure that the url is correct?
Have several dash buttons? Like in the article where each figure plays a different tune.

Otherwise you'd have to macgyver a toy with giant buttons, build a Bluetooth device onto it that sends a different signal for each button.
The best way is for the company to tell in a few lines that this is all they can do due to market pressure and any possible helps they can offer over mail. Its pointless to call in to a room and deliver through hr which creates unease to both humans.
> if you were to ask them how many grievances they've faced because of their gender, they would probably be nuisanced that you're even asking about it.

The next time you talk to one of these awesome engineers, please actually ask them this question. Maybe I'm misreading your comments, but at no point have you talked about discussing this with someone besides yourself. Don't just rely on your own observations and experiences, talk to people with different ones. I've never encountered a work environment like the one I'm describing either, but I've encountered plenty of women who have.

Obviously this can't be true for literally every woman in every office, but we're both generalizing here. This is true for quite a few people in the US and probably the world. When you read these blog posts where people are talking about actual incidents that are blatantly related to race or gender, do you think they're all lying or something? It's not really debatable that this stuff is incredibly common. And you don't need to rely on the huge number of anecdotal blog posts, there's plenty of statistics too if that's what you prefer. For example: http://www.pnas.org/content/109/41/16474.abstract

Finally, if none of this convinces you, consider the idea that the appearance of corruption is just as harmful as actual corruption. Even if we pretend that discrimination no longer exists in America, there's clearly still a problem if so many people think discrimination exists and act accordingly. So what do we do about it? Ignoring the problem and telling everyone else to ignore it doesn't seem like it'll work.
The article says:

>The most polluting investor-owned companies on the list are ExxonMobil, Shell, BP and Chevron

Are they trying to say that those companies pollute directly, or that they sell to people who then pollute?

Because the former is definitely the company's fault. And we should be asking them to stop that.

But the latter is entirely the responsibility of their customers. And that's us.
"Mathematics: From the Birth of Numbers".

If you've ever read "Code" by Charles Petzold, it's as illuminating as that was.

Also a little bit tragic, makes you realize there is a lot of fun and beauty and even social history in math. I didn't realize there is also a lot of complaints in how math is taught, and that the arithmetic we all learn is considered the most boring part.
People generally don't buy Exxon's products because they're hydrocarbon aficionados— they buy them because they need to get to work and their kids need to get to school.

And they need cars and gasoline to do those things because American cities and suburbs are usually built around cars as opposed to walking, cycling, and mass transit. While that's not exclusively due to oil and car companies— desires to maintain segregation played a huge part too— they certainly played a huge part in ensuring American society was built in a way that ensured demand for their products.
I find this sentiment somewhat surprising.

Limits is incredibly easy to link to real physical things: movement, speed, acceleration.

If speed is distance over time, what's the speed of a moving object at a very specific instant?
Since this article is getting upvoted; I'd love to hear what HN'ers in SV think about this.

I'm located in the Netherlands far away from it all, and to me this article cofirms exactly what it looks like from the outside. Things I'd be interested in knowng are:

- Employees and founders, are you afraid you might end up empty-handed? Do you manage to save some of those big SV paychecks in case it does go to shit?

- People on the investment side, do you see any real worries yet, or is everybody still in full on happy mode?

- Any remarks in general on what the mood in SV is on this? Do people talk about it, or are they mostly just going on like they have for the past years?

I'd love to get some insights!
You can become color blind later though.
The EMA Top 3 Report: Ten Priorities for Hybrid Cloud, Containers, DevOps
Sounds like good advice.

What are some of the AR/VR subreddits or chats you like?
Transit Detection of a Starshade at the Inner Lagrange Point of an Exoplanet
Ask HN: Are there any marketplace APIs?
Y'know they're a volunteer effort, right? According to https://www.qubes-os.org/funding/, they didn't receive any major funding this year, so if you want progress in this area, you should donate: https://www.qubes-os.org/donate/
wow. so you admit that you are dismissing his podcast without actually listening to it.

> but it would be hard to convince me that "makes you smarter" is anywhere near Joe Rogan's resume

do me a favor, as one human to another, listen to just 1 of his podcasts before judging him. Its not even about him, its about the guests that he has on.

Try this one, it is a mind blower: https://www.youtube.com/watch?v=USg3NR76XpQ
Is it free 100%? Or has it some premium paid features?
Sexual Harassment at Ushahidi, No Sacred Cows
>It is irrational to believe something is true or possible unless you have evidence for it.

If you have no evidence against it, it is not irrational to believe something is possible.
Amazon customers are shopping at 'record levels' on Prime Day
how it's possible that Trump an entrepreneur inself doesn't see the stupidity of killing this "Startup Visa" I am speechless.
You sound like you have more experience in this area than I do, so please correct me if I'm wrong.

In the context of the original poster, the size of the specification that matters with respect to being a potential source of errors is the specification of the final (initial?) theorems that you want to prove, not the actual proof, nor the intermediate lemmas/theorems, induction hypothesis, etc. The latter ones can be all incorrect for all you care, but it doesn't matter because the theorem prover will always tell you that your implementation does not implement the specification unless the proof and the intermediate theorems are also correct.

In the sorting example, what matters is that you correctly specify what is a sorted array and that the result of the sort() function should be a sorted array with the same elements as the input. If you decide to prove that your implementation of Quicksort implements that specification, you can use whatever implementation code you want and whatever intermediate lemmas or proofs you want, but again, if you make any mistake in implementing the algorithm or specifying the intermediate lemmas and proofs or even the final proofs, the theorem prover will complain loudly.

If you simply mean that the total size of all the specification, including proofs and intermediate theorems and proofs can be as large or larger than the actual implementation, I agree with you, that can be the case and that is definitely a problem, because that is one of the reasons why most programmers and the industry in general won't find formal verification to be worth it.

That said, SMT solvers (if you are so inclined) and proof automation in general can really help to reduce the size of the complete specification, including intermediate results and proofs (this is the main reason why I prefer Isabelle/HOL to Coq).

(As an aside, I was pretty sure I knew of an example where a real-world system was verified with an SMT solver and where the complete specification and proofs ended up being around 10% of the code size of the implementation, but for the life of me I cannot find that example... perhaps I am misremembering).

If by full verification you mean verifying all the way down to the machine code, I would argue that this kind of verification probably belongs in the compiler (e.g. CompCert or CakeML) rather than being something that the typical programmer should do.

But perhaps, and most likely, I have not understood you completely :)
I can’t help but think having such autonomy is tied to profitability. I’m sure there are plenty of examples where an employee at a profitable company doesn’t have autonomy. But how many have autonomy where there's not profitability?
Tech startups get a sort of alternate financial analysis which is all about growth now, profit later because of network effects. But a lot of companies under the "tech startup" banner just don't seem like tech companies to me. Sprig isn't a tech company, its a food company, same for juicero and other food delivery apps. Uber shares similarities with tech companies and with taxi companies so why does it always get analyzed as a tech company and never as a taxi company? As this boom progresses we're at the point where basically any small company is labeled "startup" and then branded as somehow tech even if they just have a backend database and a flashy javascript website.
Please. Do not buy into the way the brands want to impose us how we use their trademarks. It's our decision, not theirs.
I think you misunderstood my post (or perhaps I wasn't able to articulate the point clearly).

My University computer science was also broken up as you describe. The introductory class was in Pascal, the next course was Java, and then each course used its own language.

That's not what I'm talking about at all.
One of the most critical skills I see differentiating people around me (co-workers and otherwise) who succeed and those who don't is an analytical, pattern-recognizing and pattern-applying mindset. Math itself is quite useful, but I really like the way this particular article highlights the mental blocks and misconceptions that seem to particularly crop up around mathematics; those same blocks and misconceptions tend to get applied to other topics as well, just less overtly.
Very sad, but how can anyone not know to never use plugged in items in the bath-tub in this day and age? I suspect this was a Chinese charger that did not have UL approved isolation in the gound - ??
There's also a hurdle in having to work through the wildly varying notational and structural views/tastes of the individuals who created their specific categories/theories (biggest problem at least for me - while programming languages are nice and structured and standardized, traditional math is highly impure/unstandardized and relies too much on how individuals feel like when they write things down)
https://medium.com/@ookolloh/no-sacred-cows-ea835a78ab37
I worked for a software company where the CEO believed he could eliminate the programmers if he could get them to build enough "components" that could be "glued" together. He had a large team of architects and programmers working on this for multiple years. They literally had a GUI that was like a circuit board where you could drag and drop these components and connect them via a wires.

After multiple years they couldn't build a basic clock out of these components, let alone any kind of program. The CEO eventually fired all the programmers on the team because he felt they were undermining his brilliant idea and were refusing to get it done.
Limits to Data Science?
The Rise and Fall of Working from Home
> No amount of explanation and reasoning will help the students and instructors get around the fact that they just have to spend the time to develop fluency with the basics.

Conversely, no amount of memorization and drilling will provide students with the intuition necessary to solve problems just beyond the grasp of naive symbolically-driven proof search algorithms.

In a typical non-proof-based calculus sequence, tricky u substitution and integration by parts problems are the two places where you really see "I was good at math in high school" students start to struggle because they lack a good conceptual foundation in trig and logarithms. Up until that point the students with trig identities etched into their skulls by practice and drilling do just fine. But from that point onward, they really start to struggle because they need a bit of geometric intuition and some practice with more effective problem solving techniques than "blindly apply equations until something works".

Really, both are needed -- drilling and practicing, as well as a solid (and preferably proof-backed) intuition about elementary properties of trig funcations and logarithms.
Blue Apron just received its first Wall Street analyst rating: $2 a share
Personal experience : Windows becomes sluggish over time (XP, 7, 8, 10 tried all of them). There could be myriad of reasons e.g. "smart" services, too many programs in autostart. I've been a power user and try to disable such things pro-actively but it's not comparable to a fresh install. Whereas with Ubuntu, it says near fresh even after years of use. Again, this is personal experience. YMMV.

So, I cannot imagine using Windows as my primary machine. Not sure about Mac, hopefully it's good. Linux is fine so far as my primary desktop / server.

That said, this news is quite exciting for both corporate & personal machines and I hope to see it progress.
We don't care about money, we just care about the value it tracks. Value is created and destroyed all the time.
His boss trusts him enough to let him take his own decisions, good for him! It's definitely not great advice for every employee, or for every company though...

I mean, it's great to be able to discuss things with your boss and colleagues and take collegial decisions...

I don't understand the idea behind the post...
'Rebound marketing' sounds a bit like newsjacking--or a subset of it
I'll give it a listen, when I have an extra 3 hours free.

I'm not dismissing his podcast, per se, I'm dismissing him and his persona in terms of the phrase "makes you smarter".
Fighting Back in the Fake News Era
How about all the times this failed
This only works when you have the hiring process dialed in and you're selecting the right candidates to work from you.
100% free
nice! any integration with Intercom in plans? Also, found a small typo here http://prntscr.com/fuckqw
I see now that I misunderstood his point.
I was not aware of this. Any citations readily on-hand?
I completely agree. I think we start all wrong too, the first memories I have of maths at school was learning how to compute an addition, a subtraction and later a multiplication and division. Then we had to memorize by heart the multiplication tables.

That can be useful of course (especially back then when we didn't carry computers in our pockets at all times) but I think it sends some pupils on a bad path with regards to mathematics.

Maths shouldn't be mainly about memorizing tables and "dumbly" applying algorithms without understanding what they mean. That's how you end up with kids who can answer "what's 36 divided by 4" but not "you have 36 candies that you want to split equally with 3 other people, how many candies do you end up with?"

And that goes beyond pure maths too. In physics if you pay attention to the relationship between the various units you probably won't have to memorize many equations, it'll just make sense. You'll also be much more likely to spot errors. "Wait, I want to compute a speed and I'm multiplying amperes and moles, does that really make sense?".
Plug: Our publishing platform — https://proof.pub — combines an editorial suite, API-based CMS, and Javascript/Sass SDK for creating static compilers using server-side React. When content is released through the editorial suite, we perform a static compilation and push the resulting archive to CloudFront. Works great, sites load quickly, and it all scales very simply.

A real-world example would be the First Round Review (http://firstround.com/review/), designed by our studio (https://marquee.studio) and running on Proof.
Thanks! Actually our dev team created also a website