skysight-inc/HackerNews huggingface dataset:
Your comments are fantastically correct. Yes, secret dependencies are the worst. We use an OS sandbox to prevent access outside to non-declared dependencies. That same sandbox prevents access to the network unless a build or test target explicitly declares the need to use networking (e.g. for running tests against network services running on local host).

CI runs the same exact build system (though with a few different options so the outputs are easier to during and after the build).

Passing CI is compulsory, as humans aren't allowed to release changes on our team. Humans may only do code review. If and when a change passes code review, it will be deployed automatically once it passes CI.

We use some of the same compute capacity that our CI system uses to scale test runners across many physical machines (though tests run against a pool of freshly cloned VMs using delta disks so we get a pretty big speedup and lots of control over the environment that tests run in).

There's a fascinating correlation between developer machines and build slaves. It's been my experience that needing to install system software of any kind on one usually leads to a headache later. We've gotten it down to just Xcode on OS X and almost just build-essential on Ubuntu.

So in spirit we do exactly what you're saying, we've just found a way to do it while using the same tooling on both CI and developer machines. We also demand that the build slave images are generated straight from install media and a fixed set of files (like those that install Xcode), so the only simple way to add dependencies (i.e. build tools or libraries) is via our build system. Use of apt, homebrew, etc is completely separate for our developers. And if they mess with the build system in a way that allows those files to leak in, the fact that build slaves are pristine means that their change will fail CI and never be deployed.

Does my explanation make sense? Happy to answer follow up questions. Also happy to be shown where our rigor is lacking :)
The fanatics of online video are growing the pie
People who say things like this generally have no idea what In-Q-Tel actually is. Wait'll they find out where Tor's funding came from!
The DSKY and PINBALL (something flashy with buttons) was a demo.

And that demo got us to the moon.

"Apparently, nobody had yet arrived at any kind of software requirements for the AGC's user interface when the desire arose within the Instrumentation Laboratory to set up a demo guidance-computer unit with which to impress visitors to the lab. Of course, this demo would have to do something, if it was going to be at all impressive, and to do something it would need some software. In short order, some of the coders threw together a demo program, inventing and using the verb/noun user-interface concept, but without any idea that the verb/noun concept would somehow survive into the flight software. As time passed, and more and more people became familiar with the demo, nobody got around to inventing an improvement for the user interface, so the coders simply built it into the flight software without any specific requirements to do so."

http://www.ibiblio.org/apollo/ForDummies.html
What’s Google’s Plan for AdSense and DFP Publishers?
A quick search turns up that it is indeed a Firefox bug and not a bug in the spec[0]. Honestly it is very disappointing that such an obvious issue has been left open for so long. This is part of a very old spec and that any browser doesn't have compliance with this is surprising.

[0] https://bugzilla.mozilla.org/show_bug.cgi?id=266122
NASA doesn't have anything else to do ? Why do they waste money to tell something which none listens ?
See also https://automicrofarm.com.
And why would Brussels clarify anything before the actual process starts? If they did, other countries could start asking "you know, purely theoretically, if we wanted to leave, what sort of deal would we get?" and that would be just stupid. It's like saying to your wife "you know, if I decided to divorce you, how would we split everything?" - if you want a divorce, then say you want a divorce, doing anything else is just making the whole situation sour.
I've used an older model, stuff like touch precision make it noticeable that it's a cheap device (usable but noticeably worse). As you said the 2 GB is too low for serious use (basically any multi tasking and off we go to swap, also 32 GB of storage is really low and SD card is slow).

Will probably get some 4gb version before my next vacation, but you should definitely google reviews before getting one I have no idea if they have serious problems they were just the first one I remembered for cheap win 10 tablets when I looked in to them two years back.
Why do you hate Google?
The problem with most programming languages is that programmers write programs in it by incrementally adding to the code in random places.

I think we need a programming language that allows programmers to build programs by merely adding things to the bottom of the source file.
Python OpenGL Visualization: 100 Years of Earthquake Under 2 Minutes
Google, fortunately, retracted the real names policy a year or so ago. Sometimes common sense still wins.
I agree that calling out bugs, especially if they've been reported and ignored, is worthwhile.

That said, I think what the parent comment is saying is that Chrome too has bugs and a web developer who exclusively tests in Chrome forgives those bugs as "just the way HTML rendering works." This makes the developer effectively blind to Chrome's defects.

A developer who uses Firefox exclusively will have a similar feeling of privileged disdain for Chrome's bugs: "How can Google ship a browser with this problem? This is unacceptably broken!"

I know I felt that way for ages with Chrome's font rendering [1]. Chrome's font rendering was so poor compared to Firefox that it was difficult for me to use even for short bursts of testing. Although admittedly—and in a way confirming my point—those who used Chrome regularly were conditioned to its rendering and in some cases didn't even perceive the difference when comparing them side-by-side.

[1] https://bugs.chromium.org/p/chromium/issues/detail?id=25541
I agree pop growth is an issue... But asking the pop to drop by two thirds is out of bounds. You cannot get that drop without natural decline over many generations or some kind of dreadful calamity. Natural decrease will happen but over generations, with the expected economic consequences of fewer people contributing to an economy. Maybe Japan can show the way, but so far, they are still basing their economy on growth which is incongruous with their demographics and it hasn't worked out too well and seems to be headed towards deterioration, barring external changes (like importing young people).
Actually VS is not that much of a memory hog unless you're talking huge projects but storage space could be an issue with VS install (that model has 64GB). I would probably just use VS code and probably wouldn't try to do big C++ project compilation/dev :D
Who provides the baseband for the Blackphone?

EDIT: To answer my own question. Qualcomm
Are you sure? This does not match my experience. Rather, compilers inline stuff if they think it's a good idea, and treat the "inline" keyword more like a hint.
Yeah, it's obvious that Heinlein didn't really believe himself that the military route was the one to go. As the parent says, he leaves it at "man it'd be great if we really cared more for our nation", but... Although the idea of separating citizens-that-care from citizens-that-don't-care has it's appeal, the chances of one class entrenching and eventually abusing the other are so high that it's not really worth it.
Scientifically Engineered Nutrition for Biohacking
Full disclosure: I don't work in particles but have solved Feynman integrals for class work.

Renormalization is indeed 'black magic'. But I don't think it is due to our limited mathematical knowledge.

In my experience in mathematical physics, singularities appear when you have incomplete modeling ansatz, and so in this sense renormalization would just be a 'hack' that is necessary because of writing down imperfect equations. In other words, formulating the problem a different (and closer to truth) way would eliminate these infinities.

I know some extensions of the standard model (string theory, in particular) do not have cutoff scales. But that is largely beyond my knowledge base.
"Most SSD are reliable, the only problem is they are failing in a way that is tough to detect leading to consequences we may ignore. (falsely positive functioning SSD in operations and we may experience silent corruptions)"

These SSDs are not failing for physical reasons, which is the model we have in our minds for HDD failure.

They are failing for logical reasons.

In the near term, I think there is a very simple way to protect against this and that is to mix models. At any given time, you can buy the very latest Intel SSD and also the one-model-ago Intel SSD on Amazon. They're both fantastic and wonderfully performant and their sizes are typically identical.

So, for instance, when we make a boot mirror out of SSDs, we buy one of each and make our mirror with those two.

Now we know that if there is some silent, insidious, bizarro firmware bug that makes the drive brick or causes it to burn itself out early, it can't affect them both identically (which is important, since they have identical workloads, since they are mirrors).

This isn't as useful on a large array since there are not 12 or 15 reliable manufacturers to mix between - but in a large array, you aren't giving each drive an identical workload like you are with a mirror.

I'll bet a lot of SSD usage is confined to boot mirrors, so I think this is a decent practice that a lot of people can adopt.
I'm kind of skeptical on this one.. Why would I want an internet-connected toaster?
Even so, small air-cooled engines typically have no emission controls and rudimentary carburetors and are quite dirty.
I'm torn. I suppose it's easier to upgrade existing code bases to this, but it won't fix code locations that are improperly upgraded to this language. Which in my opinion means that The C code will still have lurking errors.

Also: "either (1) the operation must convert that value to an in-range integer value or (2) the expression shall produce a runtime error"

Is more defined, but does not actually help you much, because this will depend on platforms, and a overflow to 0 might produce similar issues when indexing as other errors today in creating bugs in encryption algorithms.

If we all agree that C is not a safe language, and that we'd all prefer writing in a safe language, then why not write in a safe language, e.g. Rust.

An aside: I've recently done a project where I explored replacing C library functions with Rust implementations, linking in the Rust library directly to the existing C library. I was very pleasantly surprised at the ease of doing this! This means that we really can migrate away from C in an iterative fashion, just as Checked C would allow us to do.
> you've picked a strange submission to take these fights in.

I don't see how that's germane. I didn't object to concrete references to the software (which is not as good as other submissions). I objected to knee-jerk silverbacking.

> You seem to have made this a personal crusade,

No, but I am so tired of people on HN mimicking the style of development we put together in the 80's and 90's because... well I have my opinions about this practice, but they're uncharitable. We'll leave it at that.

There is a cult of terminals in our industry that has fundamentally missed why terminals were an effective interface and throw shade on anything that isn't a terminal, even when it's actually a refinement on the terminal concepts.
House Oversight Committee grills Comey over Clinton e-mail findings
It is fair in some ways. Trump's value is in his brand, a lot like McDonald's and Apple. Although, the comparison really ends there.
awesome ! thanks digital ocean team
I interviewed with them. It was team of very bright people and I enjoyed interacting with them. Hopefully everyone I talked to is still there and didn't have to be let go. Wish them all the best.

In general, for privacy related software there these large segments -- the enterprise, the government, personal / casual. Sometimes it is hard to find a single product to appeal to entice all of those segments. The requirements are just so different. (Well there is also the other type of segment -- the criminal segment, drug lords will pay cold hard cash for ability to secure their communications, but you know building a business selling mostly to them is not healthy for doing well in other segments).

Government wants to control and certify the system in certain ways. Just getting over the certification red tape mountain is huge hassle. Spending time doing that means ignoring other segments largely, just because of costs and time involved. Enterprise wants centralized management of devices (they'd have thousands or more potentially), that means monitoring and controlling what employees do or who they use the phones. Personal / casual might involve a free tier or being able to pay less, this needs to be very user friendly, with no hassles, and the biggest thing needed is a network effect. If none of ones' friends are on the network, it is hard to justify using the service.

As for Blackphone, SEAndroid (NSA Secure Android) research project has slowly been incorporated into latest version of Android but hardware remains a problem. If there is a closed source firmware blob running on the baseband processor, and if it can read main system memory, the situation is quite bleak, it is hard to convince governments or serious enterprise customers that the platform is secure. I believe the idea with Blackphone to address that was to ensure baseband processor talks to the main system via a serial interface + AT style model commands. So perhaps Silent Circle just need to publicize more those features?

Focusing on the Enterprise market is smart but perhaps it will take another Sony-like enterprise breach before companies will get scared into spending more on this.
Show HN: KeyStyle, unique keys and style inline for React/Radium/JSX
I have wanted to try this for so long. Doing my own short articles is one thing, but to see something as complex as 2D/3D voxel libraries in Clj/Cljs is very inspiring.

My only concern for such things is what to do with non-org loving, neigh, Emacs-hating users?

This can be generalized to all literate programming tools. I assume beyond the humble, it kills adoption.

The maintainer of Axiom did a good talk that got me into my penultimate LP kick, but this is always thing missing from such impassioned talks for it.

UPDATE: Axiom, dear 616c, not Maxima. Someone even links it in another thread to boot.
I'd love to be able to anonymously say "Yeah! This article was sooo good, it deserves $10!" or "That article was crap. It doesn't deserve anything". But that has to be done after I've read it. In the current ad model, articles get paid based on how much they are shared, not how much people like the content.

EDIT: It's kind of like tip-sharing. If I have a good waiter, I don't want to the crappy waiter to have his share of the tip.
I remember smarterchild way back in the day. It was pretty cool, but it never seemed to take off. I wonder if any of this stuff will?
>You're arguing for direct democracy instead of representative democracy. What we have is an election of leaders, and then the leaders lead.

No, we don't have an election of leaders to "lead the people".

We have an election of representatives of the will of the majority.

Even the word "prime minister" literaly means "first servant".
Hi HN, Andrew here. I'm the AutoMicroFarm founder. Really happy to finally have this prototype finished, and available. Let me know if you have any questions!
S&P 500 change during this time: 122.74 - 2043.94

Total gain: 1565%
Annual gain: 8.62%

So without accounting for dividends (the S&P 500 price doesn't), Trump was about 1% better each year.
AS for exit plan or plan B the Government should of planned for that and given that the plan A was stay in the EU and do nothing, then for the government to not do any planning is somewhat poor.

But the whole campaign from both sides skewed the reality in many ways and one of the unsetteling ones is that they have somewhat installed a percetion omngst people that if you voteed out your xenophobic and racist! Which is crazy and case of picking out the few cases in which so and projecting them upon a collective using another qualifier. Same thing happens by people seeing few religious terrorists and presuming all people of that religion upon those few worst cases.

The other issue in politics is you end up with picking from two choices, and either pick a hammer or a saw to handle all problems current and future. The latter being a real issue with the current democratic input from the people as you may pick one party to rule as you need a hammer for the problems of the time mostly and a saw problem arises.

The upshot is that the spread of people who vote one way and then years later in hindsight would of voted differently is always going to happen. Though does appear to be happening more and whilst in the past you had a two party system with people loyal to a party, the growth in floating voters has grown. Which is a good thing as you can not treat all problems with a hammer or a saw and sometimes you just need some duct-tape.

But with a democratic system designed for people who can just write and X for a time of communication speed akin to snails in our current times. Times of more awareness and intelligence and literacy, along with access to knowledge and speed of communications. The whole party/democratic system needs reform.

But in party that is why we end up with a more mixed second level, and in the case of the UK we have the house of Lords. Though not democratically elected they do add balance and with that common sense when a hammer is being used when a saw is needed.

But far from ideal and yet it has allowed us to move forward, albeit slowly. But then the aspect that people adjust to change at carious rates, may be a good thing, maybe not and allows a changephobia mentality to be fed.

Still one can look at the financial markets, they all bet on remain and the outfall and panic has been most clear. After all nothing actually changed overnight and won't for at least two years. People just like to presume the worst when it comes to change or stay as is in general more than not I feel, yet at the same time. Just as equally less inclined to plan for such cases with a penchant to prefer panic.

Either way much to be learned from this whole referendum and hopefully lessons globally learned. But a case of the Western world distancing itself from the people more and more and being out of touch with the rest of the World, getting more in touch with the people. Both have a way to go but certainly an something that seems apparent these days.

All reminds me of the saying "no such thing as a stupid question, only a stupid answer" and when the people ask the questions and see how stupid the response is, they remember.
https://en.wikipedia.org/wiki/CPT_symmetry

Charge, Parity, and Time Reversal Symmetry is a fundamental symmetry of physical laws under the simultaneous transformations of charge conjugation (C), parity transformation (P), and time reversal (T). CPT is the only combination of C, P and T that is observed to be an exact symmetry of nature at the fundamental level. The CPT theorem says that CPT symmetry holds for all physical phenomena, or more precisely, that any Lorentz invariant local quantum field theory with a Hermitian Hamiltonian must have CPT symmetry.
I have seen whiptail. It's still easier to make a list of selectable options in html or markdown.
There are about 3-4m PC's that can run the Vive right now due to the power it requires (970 or higher GPU). When the Kinect came out there were 70m Xbox's. We really can't compare the two. The xbox had 20x the population.

The Vive has a lot against it: the price, the cost of a gaming PC, etc. 100k sales is pretty impressive. I assumed 50k would be a stretch by now.
Not sure about that particular model but I know people did it with other Atom models, still the usual Linux on obscure hardware problems are there - unsupported WiFi/sound/etc.
Problem with that is that if he had said he would resign after a Leave vote, many people would have voted leave just to get rid of him (and if you think this is uncharitable, think of all the people who voted leave as a protest vote against the London elite)
> you can break audio codecs by guessing which quantizer was used by the packet, then using it in reverse to produce speech!

Could you explain that using different words?
Our beekeeper just told us our hives made 800 lbs of honey so far this year.
Email Apps Suck
I agree with disincentivising pollution, but I'm a bit pessimistic it could work in India, if only because India is less centralized than China and there is a lot more local corruption (not that China doesn't have local corruption, but the central gov can bring things to bear when it wants).
45+ Ways to Attract Massive Social Shares: A Sumo-Sized Guide – SumoMe
I just created a cheat-sheet for PHP's Mockery
How about if the UK had some democratic control over regulations in China, and then gave that control up. Would that be ceding sovereignty?

Given that sovereignty is fairly synonymous with control, it seems difficult to argue that giving up control is not a loss of sovereignty.
There's been a fundamental failure to teach basic intellectual literacy in the UK since the 1970s.

Issues have been reduced to opinions - often argued dishonestly, at the expense of basic facts - which in turn have been reduced to emotions.

It's one thing to think about how an issue affects you personally. It's something else entirely to utterly fail to understand that your hot-button feelings about one or two issues can have huge consequences.

Culture works through connections that increase the degrees of freedom of the system as a whole, not through individual moods and biases.

You can't run a 21st century economy without understanding this, and being able to make pragmatic choices based on it.
I am bored of this. It is political grandstanding. It is not about law or right and wrong, it is about the election. Please don't post about things like this.