skysight-inc/HackerNews huggingface dataset:
The proposal has a problem in that it will increase the quality of results but will enormously slow down progress.

E.g., looking from the perspective of a scientist-reader, if someone has spent a few months doing the ad hoc hands on experiments and achieved interesting observations, then I would want them to publish that research now, instead of spending another half a year to make the repeatable procedure or possibly not publishing it ever because they'd rather do something else than make it up to these standards. There is a benefit from getting all the tricks to make the experiment cleaner, but the clean experiment is just means for acquiring knowledge and ideas for further research, not an end goal by itself for a researcher in that area. Outsiders may have different interests though (https://news.ycombinator.com/item?id=13716233 goes into detail) preferring "finalized and finished research" but to the actual community (who in the end is doing everything and evaluating/judging their peers) generally would prefer the work in progress to be published as-is instead of having more thorough results, but later and less of them.

Outsiders can get the repeatable procedures when it's literally textbook knowledge, packaged in assignments that can be given to students for lab exercises (since that's the level what truly repeatable procedures would require). Insiders want the bleeding edge results now, so they design their journals and conferences to exchange that.
There's Conrod: https://github.com/PistonDevelopers/conrod
Automatic faucets are one of my favorite examples of positive added technology. They're flaky and annoying to activate, but compared to the possibility of leaving a faucet running full-blast for (potentially) hours? That's a huge improvement.

Automatic soap dispensers are much less persuasive to me, though. There was no "just open" state to get rid of, so the flakiness is offering much less benefit. You have to touch pump-dispensers, sure, but that's also done before you wash your hands.
> ...because an email server is backed by a database and doing database backups right is hard if that is not your day-job.

I store my email on dovecot with Maildir storage. For a single or just a few accounts is perfectly fine and you can backup the emails with your favorite backup tool.
>If your tax rate will remain the same for withdraw as it does now, it doesn't really matter since the after tax value is the same whether you take out taxes now or later (i.e., tax_rate x (principal^gains) = (tax_rate x principal)^gains.

Assuming the money you invest goes up in value, aren't you better off in this scenario with a 401k over a Roth so that you can make gains on the money that would go toward taxes? You still have to pay taxes on the principal and the gains but compared to paying taxes on the money immediately, you're in effect borrowing money from the government at 0% to gamble with and keeping a portion of the return.

(Similarly, the expression tax_rate x (principal^gains) = (tax_rate x principal)^gains isn't true (beyond not being the right expression)).

.7 * (100000^1.07) != (.7 * 100000)^1.07 (assuming paying 30% in taxes and making 7% gains)
WP Engine also "looks" really expensive, but when you start looking at the time value you get for accidentally scaling, it's clearly appealing to many customers.
This is all very normal indeed and is well covered under MLAT. Have process MLAT requests before, pretty standard stuff. I'm pretty sure this is the relevant treaty: https://www.state.gov/documents/organization/180815.pdf
Promises, Challenges Ahead for Near-Memory, In-Memory Processing
Most people publish something on the internet hoping it reaches as many people as possible, otherwise what's the point?
This didn't work for lavabit who tried to print out the requested data on paper and it won't work for Google.
> The iPhone’s touchscreen keyboard works, in part, by trying to predict what the user is going to type next. It does this invisibly, by increasing and decreasing the tappable area of certain keys based on the previous keys pressed.

I've had an iPhone since iOS 2 and I never realized the key's touch area could change size. If you ask me the iPhone keyboard works perfectly.
I'm going to be straight, a lot of this just seems like, at best, general advice for getting things done that may or may not work for any given person. At worst, some pseudo-scientific mumbo jumbo that references disproven concepts. It's a red flag to me when paragraphs start with "Research shows..." with no context/evidence in sight.

>You need to be aware of your finite amount of willpower.

Didn't willpower depletion fail to replicate last year?

> Research shows that a trained memory improves your ability to concentrate...There are many strategies you can apply to train your memory.

I was under the impression that working memory is one of the most difficult (if not impossible) things to train or improve.
Uber is racking up one-star reviews in the iOS App Store
I wouldn't suggest base64 encoding for messages that are mostly text (plaintext, html messages), but it's just dandy for attachments.

Debugging something in an email message encoding in quoted-printable simply by viewing its source is doable sometimes. If it's in base64, not so much. I believe the size of your message would also be less using quoted-printable, rather than base64
Now it's just 400MBs if you only want C# (WPF + WinForms) Desktop apps. My workloads add up to around 12GB (C#, UWP, ASP.NET, .NET Core, NodeJS, Python, F#).
Hardlight VR Suit Kickstarter Launched, Already Over 50% Funded
My 8GB Macbook Air could make an omelette if the build goes on for 3/5mins.

Theres is commented out line in one of the grade flies about HEAP size, I read about uncommenting it & poof my build times noticeably reduced.
Google is slowly giving up because even with unprecedented concessions from municipalities it still can't access the infrastructure it needs to do its job.

The biggest municipal concession has been the "One Touch Make Ready" ordinances (in Louisville, Nashville) that theoretically should allow Google's installers access to poles without first waiting for red tape from existing cable, telephone, and power companies...

Those ordinances are now all currently locked up in court battles that may take years to sort out, with a byzantine individual lawsuit per city.
Show HN: First Live Online Python Linter
https://txt.fyi/+/09cccb3a/
Not everybody is going to tell their doctor that they're impotent or whatever unless they have some idea that there's a pill that cures that. People don't even necessarily have regular checkups if there's nothing they want a doctor to fix.
Hi everyone! :)

I just wanted to share with everyone a lightweight online tool I created called PythonBuddy (https://github.com/ethanche…/OnlinePythonLinterSyntaxChecker) which actively lints Python online.

I made this so that MOOCs like edX or codecademy could easily embed and use this on their courses. Also, PythonBuddy could help alleviate the frustrations with setting up a programming environment.

Just thought it might be helpful for those who want to program in Python online with a helpful live syntax checker.
Please leave a if you found this project to be helpful!

I'm currently trying to convert this project to an XBlock so that online courses (like 6.00.1x) can embed a live python syntax checker for quizzes and assignments online.
Sure, use them but in most cases using WYSIWYG tools you get a lot of extra garbage then if you write the layout by hand,especially with html. GUI tools are great for new developers though, they can build a GUI fast and learn the under the hood markup gradually, I am not sure if there is such a good GUI tool that makes good markup without the developer understanding under the hood.
> I used to regularly walk into public bathrooms in which someone had used the toilet and simply not flushed it

I use public restrooms once ever two days (sometimes even more) and I very rarely see that. Maybe people in your part of the world are less educated when it comes to using public toilets, or the janitors are not doing their jobs properly (if it matters I live in an Eastern-European capital city).

As for the automatic toilets, I hate them. I only had the displeasure of using them once or twice, and let me tell you, to have that flush of water invade your lower exposed parts all of the sudden while you're doing your toilet-related stuff is not at all nice, quite the contrary. Those toilets are the work of the devil.
This Is the Way the Government Will Save IoT Security
Hardlight VR Suit – Don't Just Play the Game. Feel It
There are challenges with that approach though. If a UK corporation does business in the US as well as the UK and uses Google, should it be possible for a US court to compel production of their e-mail.

Should the reverse be true, i.e. should a UK court be able to compel google to produce data on from one of their US customers if that customer had done business in the UK?...

it's a very sticky area, personally I think it will lead down the path that Microsoft have started on which is that the cloud providers will end up with partially independent companies running in major legal jurisdictions and the data will be held in those countries.
Do you think insurance companies enjoy increasing rates for the sake of increasing rates?

If they're increasing rates because their costs have gone up, they're not making more profit. And other insurance companies that have done more to control costs are likely to start taking their customers over time.
That is an extremely ignorant statement and not at all reflective of how the medical insurance business actually works. In reality most large group buyers are self-insured now and the "insurance company" just administers claims and payments without bearing risk. So they have no financial incentive to increase the number of diabetic foot amputations.
The Death Master File
Pretty benign, 15 beastly bare metal machines in coloction and a bunch of VMs in AWS. A few database servers in both.
Is it that you think progress is a 1D line, where you're either "pushing forward" or a "folksy techno-luddite"? Because it's actually a tree, and any given moment we have a lot of options of how to go forward, where to and why. We can even go back and take other branches sometimes. It's kind of ironic to not see that and pretend you're some kind of expert on progress.
Personally, while it's sad this didn't work from a privacy perspective we really shouldn't be betting such important moral concepts such as privacy on minor legal technicalities.

That's a losing battle even before you start.

As long as the warrant is specific and limited I also don't really see this as a problem.

The bigger and real fight is with NSLs and FISA courts.
If it meets the guidelines, this should likely be a Show HN:

https://news.ycombinator.com/showhn.html
> . Not a peep, just dirty looks back and forth. Eventually they had to let me go. Moral of the story is that cops do back down plenty of times but you have to have the will to test them. And it greatly helps if you know the law.

It also helps if you aren't a person of color.
Bitcoin has now hit its all time high.
Not bad for a beta web app! Keep up the good work, it will pay off eventually.
Who says the author(s) won't tell anybody? They only need to keep it secret from the competition, not the hand that feeds them.
Can anyone explain why you would want to use Cucumber? I heard it enables non-programmers to write the tests themselves but I don't see that as realistic as non-programmers don't have the training to specify requirements rigourously. At least with coded tests you can use IDEs to validate and refactor your tests.
Agreed, PGP is dead, long live to GnuPG!
HULK vs. DOOMSDAY
Some of them don't need to, it's okay that e.g. men and women are interested in different careers. The most obvious is that everyone need equal access to education. A persons lack of education should never be due to the misfortune of his or her environment.

As for companies, I don't think they are racist or sexist, so for large companies maybe dual interviews processes, to avoid a racist manager eject a person due to race.

It's not easy, if discrimination is really so wide spread as people would have us believe, then we need to start finding out why. If it's just people being asshole, then there's not really anything we can do, and we need to avoid these people and their companies.
i think BTC price used to be manipulated by big money, but now its seems that with this volume its not so easy
can you quote me saying non-programmers would be making software?

have you read my comments here?

Im talking about tools that enable a single developer to do the work of a great many developers, thus lowering the demand for developers in the marketplace over time.

you are talking about non programmers writing software(no clue where you got that from at all?) and you even admit that this looks like a great tool to enable developers to get more work done?

Go back and read my comments before you respond please, otherwise im not interesting in having a discussion with someone who isnt even reading my responses.
My first program compiled and ran in the summer of 1967.

It was not unusual for a computer to have 4K of core memory. We all knew that it was 4096 bytes. The first computer I owned came with 4MB of memory. It was really 4194304 bytes. My current machine has 32GB of memory (34359738368 bytes).

It was the marketing people who wanted bigger numbers. Video games touted ROM sizes in bits to make them seem bigger. When hard drives got into many MB manufacturers switched to calling 1000 MB(1048576) a GB to make them seem bigger.

<opinion>

If you don't know about computers, you're not likely counting bytes. If you know about computers you should not have a problem with 1K = 1024. I don't think they should use 1000 = 1K for computer memory sizes. I'd hate to have to look for 8.589934592 GB Ram modules for replacement if one of mine fails. Microsoft didn't raise computer literacy, they lowered the bar.

In the 1960's I learned the Metric System in school and was told that soon everything would be metric. My 42" 4K UHD monitor displays 3840 x 2160. What's 4K about that?

</opinion>
Looks like what I was looking for. Only minor nit is that I can't set --name like in helm install, but I can easily just search and replace in the yaml file.
And the article precisely makes the point that everybody knows Bitcoin is volatile, hence volatility isn't a "problem" for this ETF.
I have the same issue for some of the libraries. I'm just starting with TS so it can be user error.
However, I found that you can download the typings in the IDE in Settings/Javascripts/Libraries and download...
This is tedious to have to do this though.
Note: doing this works with normal JS as well which is pretty cool.
Thx grzm. Yes it is my website. I will post using the Show HN guideline. Sorry about it!
Signing is an integral part of a good encryption scheme, to prevent against certain oracle attacks. The two functions are not so easily separated (if you're offering encryption).
Which is why I'm glad that Web Assembly is offered in addition to a language with a garbage collector and a low learning curve.

(Note that, of course, I'm not opposed to wasm's existence: it's important for many use cases.)
What's wrong with the faucets that instead of turning, you push down and they run for a few seconds before stopping?

My pet hate of public toilets now are the airblade style hand dryers. My hands are seemingly too big, so to dry the top (closest to my wrist) I need to bend my fingers to avoid touching the puddle of water and dirt in the bottom.
For the Model 3, the important thing is that the battery is big enough to get you from supercharger to supercharger for long trips.
IntelliJ IDEs are bloated compared to VS2017. VS2013 and older were the slowest and most unreliable IDEs, followed by Eclipse and IntelliJ but VS did manage to wake up and VS2017 is a breeze while IntelliJ haven't made much user-facing improvements.
Plus mobile apps do get, and usually handle, a low-memory notification from the OS.
Serious question, though. How do you distinguish between the situation you're describing, and a situation where the release of Flash Boys resulted in a lot of zeitgeisty discussion about HFT, where people hashed out their differing opinions about it.

I ask because I don't think that the case against HFT is airtight, or that either side is obviously right. A lot of smart people have defended HFT to some extent (including HN's favorite finance writer, Matt Levine[0]).

I get the sense that there are a lot of people out there who read Flash Boys and assumed that HFTs are obviously the bad guys. I'm something of a contrarian, and pointing out the arguments in favor of HFT to those people is the kind of thing I would have done. (I don't remember a particular instance, but I probably did at one point.) In that situation, I wouldn't be surprised if some people assumed that I was a paid Wall Street shill (because obviously that's the only kind of person who would defend HFT under any circumstances, right?)

So while I'm not denying that manipulation does happen, I'm worried that it will give people license to discount anyone that disagrees with their personal received wisdom as nothing more than corporate puppets.

[0] https://www.bloomberg.com/view/articles/2014-03-31/michael-l...
> Ethereum broke trust

Agree 100%. Mutability itself isn't a problem--our financial system does fine with it. But the ad hoc way rules were created ex post facto by parties with unchecked conflicts of interest is, in my view, a permanent black mark on the project.
Ok this seems like a good time to get something that's been bothering me off my chest. Can we please start using pressure sensors on toilet seats instead? It kind of feels like it always should have been that way.
Docker regular releases (monthly/quarterly)
Shar: One year with Rust
It can be Spotlight reindexing, or Time Machine creating a backup into /Volumes/MobileBackups (done once per hour). Especially taxing if you have lots of files on your disk.
If the ads help, is it reasonable then for the FDA to instead run ads based on the target demographic's most common diseases/ailments? Then they can talk to a doctor and the doctor can decide the best medicine.
I'm a software engineer, and I work with technology all day long, and am mostly thankful for it - it pays the bills, after all. But I dearly love going back home to Hicksville a couple weekends a month. Most of the stuff my parents have and use on a daily basis is older than I am, and it just works, because it is all mechanical and built to a much higher standard than you can get without spending an exorbitant amount of money now, if indeed you can get that kind of quality at all. It's not like it was high-end stuff at the time they bought it, either - I'm talking about a 1930s John Deere farm tractor, a couple 1980s Ford pickups, kitchen appliances from the 1970s, hand tools that could collect Social Security. Stuff that just works, and if it breaks, any idiot with some basic tools can fix.

Even mundane objects that nobody (I hope) is ever going to try to put a WiFi card in are not-so-subtly more terrible than they used to be. My favorite example is the five-gallon gasoline can[1].

[1] http://www.gad.net/Blog/2012/11/22/one-mans-quest-for-gas-ca...
This was the thinking in the heyday of the DAO [1], when you could get 30 ETH per BTC.

Now that Ethereum's weaknesses have been exposed, the exchange rate has stabilized at about 90 ETH per BTC [2].

Mr. Market says Ethereum has lost nearly two-thirds of its value compared to Bitcoin.

There will be many cryptocurrencies with different capabilities alongside off-chain vehicles with other interesting and useful capabilities.

Maybe Bitcoin is the slow, steady, reliable, non-inflationary and boring reserve currency that is a long-term store of value and a safe harbor during stormy weather.

Perhaps Bitcoin isn't judged by whether people use it to pay for their dry cleaning, but as the backbone of a new digital economic system.

[1] http://www.coindesk.com/understanding-dao-hack-journalists/

[2] https://cryptowat.ch/kraken/ethbtc/3d
This line is pretty common in ToC's as far as I know (I'm no lawyer). It allows them to show the images on the site and in advertising. Nothing too uncommon, and most of it's needed to make the site work.
Keep: A personal shell command keeper
>The good news is that you can't really fake proofs or formal analysis.

It's my understanding that most published mathematical proofs aren't "hey look at this theorem in first order logic that we reduced to symbol manipulation"; rather, they present enough evidence that other mathematicians are convinced that such a proof could be constructed.

Is that incorrect?
My perspective is that classical axiomatic theories have a far weaker philosophical grounding than constructive type theories.

In type theory every definable natural number is a program which evaluates to a concrete finite numeral. You can't get more grounded than that. Of course, there is still a large variety of standard and nonstandard models of type theory as well, but the computational interpretation already corresponds very closely to intuitions about intended (standard) models.

In contrast, the lack of clear computational meaning in classical theories makes it necessary find philosophical justifications, which in turn usually refer to other theories without clear computational meaning. Of course, we can compile classical proofs to programs as well through a variety of transformations, but they tend to be sort of unsatisfying, for example we may get functions with empty domains that we can't actually call, instead of programs evaluating to numerals.

So, Peano arithmetic is just too loose and fuzzy for my taste. It's full of things which aren't numbers, rather statements referring to things which have properties which we think numbers should have. And then we can choose between sticking to first-order logic and leaving non-standard models in, or switching to second-order induction which lets us prove more statements at the cost of completeness and leaning more on ambient set theory.

Simpson seems to be critical of second-order logic because it's set theory in disguise; but to me that kind of dispute is moot because I find any sort of classical logic unsuitable for mathematical foundations.
Gold has been the de facto store of value for thousands of years. It has more to do with consensus rather than technology. As long as the bitcoin blockchain technology meets some minimum requirements, there won't be a need to move your funds anywhere else.

Furthermore, for all intents and purposes, the technology behind bitcoin is already obsolete. So if the obsolescence hasn't affected it yet, there is no reason to believe that further obsolescence would hurt it.
I'm pretty sure it's all covered in here: https://www.state.gov/documents/organization/180815.pdf
Automatic soap dispensers aren't addressing the "dispenser left running" problem (which, as you note, doesn't exist), they are addressing the "user interaction with pump mechanism breaks pump mechanism requiring replacement of mechanism or whole dispenser" problem.
> I'd expect that Wix won't just lay claim to all submissions without asking for permission or remunerating artists who's works are sold.

If buro9's reading of the user agreement was right, those artists' work was just sold. For 35M.
A Mathematician's Lament – Paul Lockhart [pdf]
I wonder how it will effect other vendors - ms is hosting email and storage for lots of UK.gov and health stuff, also amazon.
The idiom you are quoting is "one bad apple spoils the barrel/bunch", which means literally the opposite of what you think it means.
Cloud-Based Perception and Control of Sensor Nets and Robot Swarms [pdf]
No, it is more "manage risk".

If you are a cop, teacher, etc where your employer will demand to inspect your social media, you need to act appropriately.

If you are generally concerned about privacy -- US Mail.
How much are you willing to bet that if I dig up the microdata, I can construct a useful table?