skysight-inc/HackerNews huggingface dataset:
After some digging I found several blogs that make the same distinction as you do.

However, basically all of literature calls the undecidability of the halting problem a proof by contradiction.

So I guess that there are some intuitionists that make that distinction. I'm not sure that I'd call it a direct or constructive proof though.

The thing is that if you follow constructive reasoning and you assume that the church turing thesis is true, then all of math becomes somewhat small. No more uncountably infinite stuff, no dense reals, computable objects only e.t.c.

I feel like we've painted mathematics into a dogmatic corner, and tbh I have no idea how to get out of it.
So you prioritise the writing of the code instead of the reading.

In that case, it makes sense.
Remember E/N sites? Everything/nothing. Just a blip.
Updated to add sources
https://html.spec.whatwg.org/multipage/forms.html#client-sid...
[0] includes text like:

> In one case, the FDA said it had found significant levels of the carcinogen acetaldehyde in ethanol supplied by a company for use in hand sanitizer, according to a recent email exchange seen by Reuters.

Is anyone surprised that using fuel ethanol might not be a good idea for hand sanitizer?
Maybe I am fortunate, but the reason I have been asked this is because my boss wants to know how to groom me. When I stepped into my job, I was asked that and I said I want to be pursuing my PhD within 5 years (I just got my MS). So they proceeded to make sure I got research experience so a) I knew what I was getting into (my boss has a PhD in a technical background), b) I was competetitve at getting a scholaship through my job (which i got), and so that I could be competitive at getting accepted (which I did).

When I was younger, my previous answer was "I don't know", and I asked what they have typically seen too. It's also okay not to know what you want to do in five years, and ask for help and/or mentoring. When I just got out of college, the very last thing I wanted to do was go back to school. But I was also fortunate to have people help find what motivates me, and how to grow in my career.

I say that to say, depending on where you are, your boss is asking you because they geniunely want to help you end up being where you want to be in five years. We also have people who are happy being bench level engineers, so we don't groom them to learn management, and we also have some that want to be technical managers, so we put them in roles so they can learn.
> copyright notices in source code are pointless

That's true for copyright notices in comments that get stripped out in compilation where the source itself isn't released. But a copyright notice in a no-op variable, or otherwise embedded in the distributed code, can help win a lawsuit by directly proving copying (which can sometimes be a nontrivial effort).

Text in distributed executables helped win a case for Apple back in the 1980s: "James Huston, an Apple systems programmer, concluded that the Franklin programs were 'unquestionably copied from Apple and could not have been independently created.' He reached this conclusion not only because it is 'almost impossible for so many lines of code' to be identically written, but also because his name, which he had embedded in one program (Master Create), and the word 'Applesoft', which was embedded in another (DOS 3.3), appeared on the Franklin master disk." Apple Computer Corp. v. Franklin Computer Corp., 714 F.2d 1240, 1245 (3d Cir. 1983) (Emphasis added.)

Case text: https://casetext.com/case/apple-computer-inc-v-franklin-comp...
It’s become painfully obvious that the trump admin doesn’t want want testing rolling out too quickly. It would appear as a new wave of infection and spook the all important Stock Markets.
What makes you skeptical about this approach?

Ideally, it should be a proven benchmark. But keep in mind that it is an early release with something completely new.
Do you have a source for the claim in the last paragraph? Would be very interested to read it.
Same reason that we care about the concentration of PM2.5 particles in the atmosphere. Once we inhale them they manage to reach the very end of our lungs.
I am not sure about socket activation, I myself have seen it added to two programs I maintain, because there was actually someone requesting it. I also have used it a few times in inetd mode, to configure network services (even sshd runs like this on my laptop) entirely within systemd.
Wall Street heavyweights are sounding alarm about stock prices
I have most of my stocks in FZROX which is a total market index.

It does make me wonder how many people are using total market indexes without caring about anything in them and how that could prop up the underlying assets.

This isn’t an original idea, there’s been lots of talk about index funds being a bubble, but there isn’t a great alternative.

Though I’m starting to wonder if I should pull most of the money out and split it between Apple, Amazon, Google, Microsoft, and Facebook.

The long tail of the market index funds I find more likely to have issues than these companies (particularly Amazon and Apple).
To argue that every possible choice to both produce and conserve toilet paper is incentivized at $1.68 is an extraordinary claim. Almost all supply and demand curves don't have cliffs. And without extraordinary knowledge of toilet paper manufacturing and consumption how would you know this cliff exists at $1.68 per roll.
Good stuff. Take a look at https://haskellcosm.com list of companies that use Haskell in production.
I saw a thread on Twitter about a teacher-parents meeting session being gatecrashed by a grifter posting “hard-core pedophilia”.

To be honest I find it quite disappointing that people would even bother to go to the elaborate lengths of finagling their way in (presumably whilst covering their tracks) just for the sake of causing grief to others.
I'd agree that inflation is probably a bigger risk right now than a 2008-style liquidity crunch. This is not necessarily mutually exclusive to a financial panic though.

Stocks tend to perform chaotically during major inflationary episodes. Over the long run corporate earnings are inflation-protected. The problem is that inflation hits unevenly, depending on where relative shortages are, and some businesses can raise prices much more than other businesses can. That can make some businesses non-competitive (= insolvent) during an episode of high inflation, while also pooling profits within a small number of survivors. You often see a big consolidation of winners, great companies of the next era born, and then a lot of bankruptcies. Mainstream investors are often not very good at predicting the winners, so you get panic and malaise in the short term.
So it was halted because the original requirement for this sort of testing program was for surveillance, not diagnosis. Washington's public health authorities chose to change its intention and purpose (to instead provide the results immediately to patients, also known as diagnoisis) while still expecting the FDA to approve it. This is just a case of one bureaucracy not being forthright with another one, and I don't see why the fact that Bill Gates "backs" it has anything to do with the program.

Is Bill Gates somehow involved in this decision? Because one would hope that a private individual would not be have undue influence on public health organizations' decisions, especially when he has much of his wealth invested in the very industry that is likely to be affected by the results of this Coronavirus study. It's an overt conflict of interest.
> The other day I searched for an hour and couldn't find even one. They used to be endless.

Oh there are still endless blogs. There are definitely a lot of defunct ones - but many have become active again recently. I review the unknown ones I come across here: https://www.kickscondor.com/hrefhunt/ (I skip software and startup blogs, because they are so numerous.)

You just can’t use the old avenues (Google searches, casual social media mentions) to find them. HN is a good source, Indieweb circles are good, and Pinboard and Are.na are other good catalogs. Once you find a few blogs you like, you’ll find your way to many more.
I find the only way to get useful results from google is to use the "site:xyz.com" or "related:" options.
Truncating at 8 or 12 chars is crazy. Truncating at 30+ is fine but still causes edge cases.
Stringent just means something is strict, as in the standards for making UPW. Nothing is “used as a stringent.”

UPW also doesn’t immediately bleach hair, it would have to be a pretty prolonged heavy stream. Mostly UPW is pain in the ass because it corrodes metallic pipes, but is pretty harmless to people unless you really have massive amounts. One of the reasons it’s harmless is because the moment it touches you it isn’t really ultra pure anymore, it really takes parts per million to become not UPW.
i agree with you.

i can't tell you how much i struggle on a daily basis with websites who have passed these "standards". i don't even have anything serious. i just can't read small text well.

so my browser zoom is 150% by default which i adjust if it's too big. that all i did!

my setting has broken major sites on a daily basis. that tool that another poster linked is broken on my side! that's the tool that's telling people they are not following standards...

so yea, i fully agree with you!
The Pentagon's fight to kill Ligado's 5G network
But it is the Web. Somebody must be using it.
Who assumes that a bank account over the FDIC limit is safe?

And who cares if rich people take a haircut in a recession?
Some people who are not good at writing are good at producing short 3-minute videos. Might be worth a try?

Writing well is a very difficult skill to acquire.
Everyone got off easy because the CFR is single digits, likely less than 1%.

I'm talking about a real epidemic, where one in 3-5 died, than things would be real bad.
How Etsy became America’s unlikeliest breadbasket
This is pretty similar to the 23andme shutdown years ago, and for the same reason. The FDA regulates what kind of “medical advice” you are giving. From the article:

> The two kinds of testing — surveillance and diagnostic — fall under different F.D.A. standards. In a pure surveillance study, the researchers may keep the results just for themselves. But coronavirus testing has largely revolved around getting results returned to doctors who can share the results with patients.

> “We had previously understood that SCAN was being conducted as a surveillance study,” the spokesperson said.

...

> Dr. Topol said it would not make sense to have people swab their noses and then not give them their test results.

> “To withhold that information from people is downright absurd,” Dr. Topol said.

While I agree with the sentiment, the 23andme situation provides a useful counter balance: if you provide untrained people with inaccurate results, is that better or worse?

In the 23andme case there was a worry that people might commit suicide or make massive life changes, if they discovered they had a potential terminal illness. Here, the 2x2 matrix of positive vs negative and true vs false, seems most dangerous on the false-positive side for people who believe it grants them freedom to do whatever they like. False negatives are dangerous for those who then feel certain they don’t have the disease currently and thus expose others unwittingly (but this is already likely!).

So I dunno, I bet they’ll review this somewhat quickly (the group sent their FDA materials in a few weeks ago according to the article) particularly once they have a tighter estimate on the false positive and negative rates.
At first glance, I thought they were comparing two different chemicals.

To minimize confusion, the title could be changed to: Why Is 70% Isopropyl Alcohol (IPA) a Better Disinfectant Than 99% IPA?
How exactly is that different?

There is an argument to be made, that if I just want a pizza, then my major decision-maker will be price.
I would not be surprised if the US market had some level of collusion going on. It just doesn't make sense to me that they aren't currently competing on price.

There are some other possible reasons tho, like food actually not being as "commodity"-like as we think it is (like rides are)
Keeping kids out of school and not receiving a proper education is a serious issue, and keeping schools shut down is certainly not sustainable at all.

But, and this speaks to your point about binary arguments, why are our only options presented to us "open schools as we normally would" or "keep them closed"?

It seems to me that there are many ways that education systems could be re-tooled by the time school opens in the fall to enable education while substantially reducing risk of infection. To me the question is if there is a will to make those changes and compromises. It really seems to me like there isn't, and I think that is the part that distresses me the most among all of this.
Out of curiosity, is it search engine crawlable?
I don’t think this really covers the whole topic, but yeah the Twitter thread is toxic in the exact way most threads are tbh...

I’ve been using C++ for about 15 years now, and also tbh, and dislike just about everything beyond 11-14. The cognitive load reading code has just skyrocketed. The simple basis of the issue was when the meaning of existing syntax elements being “overloaded”. &, &&, [] in my mind. It is not complicated or profound reasoning - simple as now you need to decipher more context to understand what is being expressed. I’ve been materially disappointed to spend 5-10 minutes reading a small bit of unfamiliar code only to learn that what it ultimately expressed was truly trivial. It just makes you feel like c++ has become like the toxic parts of academics/math where everything is expressed in the most complex way possible to establish superiority over others.

The comments about debug ability are true. STL sources/template stacks are absolutely terrible to work with. Luckily with the STL though, what 99%+ of the time, the bug is in your usage, so it doesn’t matter much. To be fair though that is a trade off - I feel like I’m on vacation debugging c# or Python, but that is (almost) an intrinsic benefit of interpreted languages, with the well-known associated costs. Just templates... the cognitive load of having to understand (simply read) and debug code from an abstract definition introduces significant pain in terms of debug ability and general usability.

“C++ is not the STL” - true but c’mon - whatever is built-in mostly defines the stuff that you can be sure is portable, and rely on as a standard practice/resource in large projects. Very few sane people want 5 different implementations of a vector or string from god knows where with god knows what bugs. In the industry for c++, there is serious need for the _option_ to “reinvent the wheel” of standard libs, but it shouldn’t be that this is necessary to achieve baseline performance or usability in common use cases.

I am of the same opinion as at least one other below - simplicity of implementation and readability of language are king in the “real” world. What’s better than the beauty of a meta-programmed, absolute masterpiece of modern C++ and zero-cost abstractions? A program that I can understand in 10 minutes two years after it was written, or better yet that can be understood and debugged by 90% of skill levels instead of 10%.

This conversation could, and does, go on without end. My net-net conclusion so far is that modern C++ has done more harm to itself than good because it is trying to be too much. When the creator of the language can’t even keep up with it enough to call himself an expert, it’s a pretty obvious red flag that things have gone off the rails.
Where? Here's the transcript of the initial announcement [1]. No mention of open source that I see.

Dr. Dobb's had an article in 2014 [2] which said "Swift is proprietary and closed: It is entirely controlled by Apple and there is no open source implementation."

EDIT: I found a HN post from 2015, just over a year after Swift was released, titled "Swift will be open source later this year" [3]. Not immediate at all.

[1]: https://asciiwwdc.com/2014/sessions/101
[2]: http://www.drdobbs.com/architecture-and-design/swift-objecti...
[3]: https://news.ycombinator.com/item?id=9680982
Two weeks ago I decided to set up one for myself as I have all these conversations where I instructed someone to do some obscure thing so thought to package them into public tutorials I could easily share.

Wanted my own domain, didn't want to deal with content moderation by someone else, wanted the ability to easily customize things, didn't want to show crappy ads, didn't want editors being able to hold up things, etc.

I spent a good 10 hours configuring all the basics for that between SSL certificates, DNS, domain name, etc. The barrier to entry seems to be substantial if you just want a simple clean interface that you yourself control and that is still building everything on top of WordPress.
Running lines of code when things go wrong
>having all cgroup operations flow through its opinionated dbus api was simply unacceptable for docker, kubernetes, lxc, runc, and everybody else maintaining quality container runtimes.

I think you're off-base on this. Work is being done to get support for cgroupsv2 in all the major container runtimes. Source: https://medium.com/nttlabs/cgroup-v2-596d035be4d7

In any case single-writer was not an explicit goal of systemd, it was an intentional design decision that came from the kernel. TFA even mentions this, although it is somewhat lost within the pages of ranting. You also don't even have to use systemd's D-Bus APIs to deal with this. Container managers can if they want to provide additional integrations. Source: https://systemd.io/CGROUP_DELEGATION/
I think it’s more nuanced than that (see my other comment).

If you have a false negative, then maybe they spread the disease more than they might have otherwise (unwittingly, but now with the “certainty” they don’t have it).

If you have a false positive, the main downside is from people who think “great, I’ve had it / got it, I’ll be immune shortly”. So that’s the main risk to them.
BTH News 15May2020 – Between the Hacks
USBank was pushing these pretty heavily last week (the offer was only supposed go through end of April but they had extended it)
I know you meant land when you said "house prices", but it helps to keep using the correct term to avoid misleading confusion. Houses are terrible money pits. Land (in an economically active location) is a scarce valuable resource.

This is important because people overbuild SFH not understanding the expenses, and people ruin their financial lives buying mobile or fake-mobile homes to put on rented land, not understanding that the land is where all the value is.
An actual history of Python on Android
I think there was a small movement to have it renamed, but I don't know if it went anywhere or still exists.
"Midwife Physiotherapist"

Definitely underpaid in germany.
It probably has to do with the optics of being associated with Bill Gates:

https://www.nytimes.com/2020/04/17/technology/bill-gates-vir...
Making Snake Game with JavaScript
Yes, the site makes much more sense if you create an account (without an account you can still contribute to projects, though!), but you don't have to if you just want to browse projects:

https://sr.ht/projects

This is the easiest possible interface for discovery of projects, which is (in my opinion) something that GitLab and GitHub are pretty dreadful at. I'd go as far as to say there hasn't been a forge good at it since two SourceForge redesigns ago.
Yeah but the stock market isn't 50% off right now. It's bounce back is temporary and most people should hold cash right now until we really start to see blood in the streets.
Sounds nice but difficult to judge with the background music.
It's not, I would argue, those things.

It is, potentially, the compensation plans. If you go to the proxy document and look at how comp plans are set, they usually hire a consultant, and "best practices" drivers are cash + big bonus based on typically some TSR (total shareholder return metric).

So for google, "don't be evil" is what's written down, but for the top execs "sell ads" is what gets they paid out before they retire. And those senior level "lifers" are what 40 now?

Don't really have proof to support these claims though.
Baffled by Airtable? Here are five things we figured out
> you can't configure additional peripheral FPGAs.

My understanding is that you can only have a single FPGA.
Today’s vlogs are similar to the blogs of 10 years ago. They’re day-in-the-life snippets from normal people doing mundane or semi-interesting things. Some of them are famous and are run like businesses with financial motives, but most aren’t. And you can find vlogs on all kinds of topics: travel, parenting, running, and even unicycling.

If you miss the old days of blogging I think you’ll enjoy watching vlogs.
I'd love a search engine that mainly searched Stack Exchange, (old.)Reddit, and some subset of blogs or single-author websites.

Especially removing Quora, Pinterest, and aggregation/reposting/SEO/affiliate blogs.

And all "product" images with a white background. Only show real photographs.
There is just a problem with self curated content in general. There used to be a lot of experts making their own sites with information that was never available before. It was easy to just upload some HTML files somewhere. Now this information is being put in inaccessible areas like Facebook Groups. Then people tried running their own sites with wordpress and stuff but that becomes hard as you are usually on a crappy shared host, and get hacked the minute an exploit comes out.

As technologists, I think we could help by making it easier for people to publish to the open web with just plain HTML. Static site generators like Hugo go a long way there. CDNs like cloudfront are cheap now so no servers needed. We should make it easy for people by having something that can do it all for them. Get a domain, CDN, and SSL cert then a simple local editing tool and one button publish.
> Their prevalence indicates the customers appreciate their presence in the space

Appreciated their presence in the space or appreciated that some VC bozos were handing out huge discounts on taxi rides?
Telephoning Fish: Examination of Creative Deviance Used by Wildlife Violators
The final bit is chilling when you read the contemporary account. They were able to defeat a much larger force, and kill at least 2000 incans. It’s actually one of the most cruel, and horrifying acts of the Spanish conquest.
90% of my RSS feeds are blogs. Of those I’d say around 80% are private ones.
Hackers target the air-gapped networks of the Taiwanese and Philippine military
Eintracht Frankfurt 1-3 Monchengladbach – BundesLiga
>So there is no harm to patients at all

Yes there is. If the test fails, and they report to the patient that they do/don't have the virus, that can cause significant harm to the patient and others. We don't know how accurate these tests are, which is why a surveillance test is needed. (Or different standards would allow a diagnostic test, I'm not sure)
Stealing PPE. Stopping legitimate test programs. What else is the federal government doing to actively hinder the pandemic response and kill people? Not to mention everything they are not doing.
Some other anecdotes:

The official server was stolen due to horrible code-practice (C++-wise and software engineering in general), like having plain SQL-injections when creating characters. Worst! This was one of the reason that made the company (TriggerSoft) behind the game go bankrupt. The game was full of security holes back in 2005. This made the game's economy being broken due to few cheaters, created few horrible roll-backs and such. This drained the player's base from the game.

The "simple C++ server" osrose was also plagued by security issues and technical issues. Up to a point that people preferred to patch the official server with dll-injections + assembly rather than trying to make this "simple C++ server" work.