skysight-inc/HackerNews huggingface dataset:
Sure, but it is now above the sea floor, and thus reachable by rain. As the article indicates.
Back in the 1990s, when I was a software engineer at a database company in the Bay Area (rhymed with "PsyBass", if you pronounce "bass" as a musical instrument :), there was a joke among some of the architects along the lines of, "I DREW the boxes and arrows! If you can't implement it, that's you're fault!" Now, as a "software architect" in a really, really small shop, I basically just try and lead by example, and make sure my ideas work as code before inflicting them on anyone else. But that sorta sounds like keeping it all to myself until I am sure it works, per the article. I like to document (more than most), but have found over the years the only person who reads my documentation tends to be me. So writing docs or writing code, either way, tends to help me refine my ideas.
> I am comfortable with the lack of nuance inherent in trying to avoid death.

What do you think about the idea of dropping the speed limit on all roads to 10 miles per hour in order to save many lives every year?
What a nightmare. I bet this raises the hair on the back of the necks of a lot of other researchers. So much time and momentum can be invested into a research track like this.
I'd like to see a few "hard nuts" created, formally verified secure all the way down to the instruction level on a somewhat simple CPU (i.e. not x86). A BGP server and a DNS server would be a good start. Those have a specific task and a well defined external interface that changes little.
I find the opposite. This topic is fascinating to me actually.

I'm a system oriented thinker. I don't know how I do it, but I'm able to design forward-thinking systems in my head... really well. Like large complex systems. I've since validated this with retrospectives (checking my past decisions, how they worked out, and how they compare to others). The systems turn out to be fairly elegant in their simplicity and ability to scale.

So what's going on here? I think maybe the answer is pretty simple. Some people are good at building large abstract systems and some people aren't. In fact one thing I'm bad at is narrowly focusing on problems. My solutions are always good enough but not great there.

Oversimplified example: if you were to ask me to build a highly performant sorting algorithm I'd probably just give you an okay solution. But if you were to ask me to design a distributed system that runs these sorting algorithms (where the algorithms itself is a black box; implemented already) I'd do really well!
How is it a lead balloon? Go got super popular in the period before /vendor and Dep (later modules). Yes, people wanted and got versions too, but the URL part stayed. ISTM, they had a Pareto optimal 20% piece of the puzzle solved and bought them selves time to solve the other 80% years later.
And with changing weather patterns and more evaporation I'd expect more rain in some places, probably around some volcanoes too.
Not really. You're choosing a definition those words that involves a value judgement.
I don't think that writing software is a linear process, as much as us software developers would like it to be. Broadly speaking, there tends to be two approaches. First is documenting and designing. The second is prototyping some code. I actually sit somewhere right in the middle: prototype and use that prototype to inform my document — then I switch back and forth between the two. Really, for me, it's a circular process — not linear.
I am not suggesting she hand back the money already spent, just that she might think about handing what is left.

I would hand back a grant that was given due to a false result that occurred because of my error. Julia should be praised for doing the right thing with the paper, I just think she should think about going further.
By the way there's a new version of ndepend, which is not quite the same thing but might be of interest to people here as it's conceptually related: https://www.ndepend.com/docs/visual-studio-dependency-graph
Worth noting the Spanish Flu was ~10x more fatal than COVID-19.
There was a non sarcastic asshole way of pointing out that this quote should be attributed to Dijkstra. Maybe try it out next time.
Thank you for your answer! Any idea why would loops not use LSD when programmed using loopXX instructions but would use when cmp/jnX is used?
Trump Did Not Say We Should Inject Ourselves, He Said the Opposite
In fairness, the 10.2 inch iPad with cellular is $459 ...and only has half the storage.
1. Most of these cases were diagnosed in the last two weeks

2. Over 5000 (roughly 40%) have been hospitalized https://www.scmp.com/week-asia/health-environment/article/30...

Data from antibody tests can so far be summarized as garbage:

- https://www.buzzfeednews.com/article/stephaniemlee/coronavir...

- https://statmodeling.stat.columbia.edu/2020/04/19/fatal-flaw...

I guess the TL;DR of all of this is, this picture you're talking about is a fallacy premised on bad data
From the article:

Per the transcript, after Bryan’s presentation, the President said:

TRUMP:Thank you very much. So I asked Bill a question that probably some of you are thinking of if you’re totally into that world, which I find to be very interesting. So, supposing we hit the body with a tremendous — whether it’s ultraviolet or just very powerful light — and I think you said that that hasn’t been checked, but you’re going to test it. And then I said, supposing you brought the light inside the body, which you can do either through the skin or in some other way, and I think you said you’re going to test that too. It sounds interesting.

TRUMP: Right. And then I see the disinfectant, where it knocks it out in a minute. One minute. And is there a way we can do something like that, by injection inside or almost a cleaning? Because you see it gets in the lungs and it does a tremendous number on the lungs. So it would be interesting to check that. So, that, you’re going to have to use medical doctors with. But it sounds — it sounds interesting to me.

[Notice he didn’t say we should start injecting ourselves with disinfectant, he asked Bryan to check “is there a way we can do something like that, by injection inside or almost a cleaning.”]

Jonathan Karl asked if there was any scenario where cleaners could be injected, and after Mr. Bryan answered President Trump added that it wouldn’t be via injection, but by cleaning an area.

KARL: Can I ask about — the President mentioned the idea of cleaners, like bleach and isopropyl alcohol you mentioned. There’s no scenario that could be injected into a person, is there? I mean —

BRYAN: No, I’m here to talk about the findings that we had in the study. We won’t do that within that lab and our lab. So —

TRUMP: It wouldn’t be through injection. We’re talking about through almost a cleaning, sterilization of an area. Maybe it works, maybe it doesn’t work. But it certainly has a big effect if it’s on a stationary object.
Uh, i think you need to read again what i wrote as i explicitly write that there are more issues than just cosmetic things and accessibility is one of these - i just brought simple examples that anyone can test by themselves right now.

But also yes, not every program has to care about these, including accessibility. An image editor or a level editor for some game or some internal and/or throwaway tool that has a very explicit "audience" has no reason to bother about these.
I was going to come here and say that it reminds me of MoleZ. Glad to see it was an inspiration!
I recently learned it's Stephen King's least favorite adaptation of any of his stories:

http://screenprism.com/insights/article/why-does-stephen-kin...
My earliest memories are CompuServe, Prodigy, and AOL. I remember AOL had a file share like service where you could search for and download images. I’d spend hours downloading a single Batman logo or Star Wars still. What stands out to me was when I went to work with my dad once and they had internet in a browser without having to connect to something first. My mind was blown. I was in elementary school at the time.
I guess we'll see. I don't share your certainty. Although I'd love to be able to go outside sooner.

Also elsewhere in this thread it's mentioned that the Florida and Santa Clara results could be entirely explained by high type II error in the test. The Florida test appeared to have a false positive rate of ~15% when independently validated, which is basically the infection rate they found. In other words, this is a specific form of base rate fallacy where the test accuracy is really low.
One of the finest puns I've seen on HN ever!
That varies a lot. Probably simpler to consider a single celled organism like a bacterium. Bacteria will only multiply by splitting themselves into two copies of themselves. When talking about heredity, most people focus on the DNA. But it pays to remember that each child cell is recieving half of the parent's proteins, RNA, salts, and other essential vitamins etc. So effectively we can think of each child cell as inheriting the parent's cell makeup as well as the DNA.

A quick concrete example in humans is the inheritance of antibodies between mother and child which is transfered via the placenta.

This is all the phys.org press release seems to be saying: heredity is DNA + all the other stuff. As far as I am aware, this is not controversial at all in biology. The actual substance of the two papers is a model for understanding that process, if it's a good model I am sure it would be a good contribution to evolutionary science.
In practice nobody cares about the Android version or upgrades. People just want to install the latest apps, which you can do for a very long time even on an outdated entry-level Android phone.
I'm seeing <2ms in Edge Chromium and ~10ms in Firefox on a 144 Hz display. I'm curious how that compares to what other people are seeing.

I've been doing some WebGL work recently and I've noticed that while it reaches ~144 fps using requestAnimationFrame() in Firefox, there's a lot of stuttering. It's very smooth at 144 fps in Edge Chromium, while Edge Legacy is below 80 fps. As far as I can tell it's not CPU bound, and it's definitely not GPU bound. It would be nice if I could get it running smoothly in Firefox but I don't know what to investigate.
Note that existence of a formal proof for security is no silver bullet. A real world example of this is the WPA2 key exchange's formal proofs not catching the KRACK vulnerability.

https://galois.com/blog/2017/10/formal-methods-krack-vulnera...

That being said, it's a very valuable tool and should be applied more, not less.
Seconded, that's what we used for our office.
Maybe it should be easier to do npm install latest-1
Links, please.

Specifically to the mind control, since that is what this is about.

Psychological manipulation includes things like advertising and PR, so that isn't the same thing at all.
> Given the possibility that...individuals with Covid-19 might be subjected to stigma, harassment or dismissal, they might be understandably reluctant to broadcast the fact.

Then it's good that in the Apple/Google proposal, that information isn't broadcast. The bluetooth transmits random numbers. Your phone stores the numbers it has sent and received. Upon positive test, the numbers are published and all the phones compare them to the numbers they've received; people who detect a match have an incentive to get tested, so there's no need for a central authority to know who the contacts were.

I don't see how this adds much to government surveillance capabilities. Certainly not in the U.S. where detailed location histories are available for purchase. (In fact, a case in 2018 put specific constitutional limits on the government's right to purchase that data, after the government used it to track down illegal immigrants.)

Given the vast number of surveillance cameras I saw last time in London, I doubt this would add significantly to their capabilities either.
42.4% of Americans are obese: https://www.usnews.com/news/healthiest-communities/articles/...

When you add in all the other things that count as comorbidities here, you're probably looking at like 75%.
Hmm... commoditization vs commodification?
If you read or watch enough of dalios interviews, you will realize he almost never says anything negative about China.
Every time I try a visual programming environment, I end up ditching it for code not because I can't to it in the visual language, but because it is very slow, tedious and boring.
For US specifically, $400 will likely still be considered Mainstream. Vast Majority of the Phone sold in are through carriers, and prices are mostly masked behind a monthly contract up to 30 months. So most of the phones are actually $500+.

But there are a substantial and growing market of non-contract and prepaid that are under $300.

I dont have Data from Western Europe, but in terms of iPhone usage it is considered to be low compared to US, and they have official access to Chinese Brands from Huawei, Xiaomi, BBK. Would not be surprised if the actual distribution ( excluding tax ) would be even lower.
https://archive.md/0ikco
Wait do PPAs not work on Debian?!
When the rate of bugs coming in from test goes below some threshold that your boss is comfortable with.

Note that formal methods don't get around this as they do nothing for the class of bugs where it works as specified but now that we see it in operation we know the specification was wrong. (once the spec is right though it is faster)
I didn't exactly take a full normal CS curriculum, but I did get the impression, back in the 90s, that there tends to be a cultural bias against any language you would use in industry. If there's any excuse not to use something practical, they won't. Knuth and (M)MIX is the extreme example. My college did all assembly language in MIPS.
Obviously Trump is brainstorming in front of a public audience, which is, of course politically dangerous. But you can see how, were he with a group of creative scientific people, such ideas would be brought up quickly and combined with other ideas from the group. Criticism of ideas is verboten in the first phase of brainstorming and is left for a later winnowing-out phase after the group's brainstorming is finished.

So for a little while we saw how President Trump works in private, tossing ideas out with others first and only afterwards weighing them, which is the best way to brainstorm.

Due to the press' coverage of this and other glimpses, we'll likely never know much about how this president thinks. This will drive him to be more and more private (and circumspect) in his idea generation. That is bad for everyone.
Hard disagree. I love my OLED TV and I appreciate its vast superiority over LCD TVs. But I upgraded my iPhone this cycle and agonised between the 11 and the 11 Pro. I wanted the OLED screen to be way better and it just wasn’t.

Maybe the difference matters to some people in some environments, but for what I use a phone for, it was borderline indistinguishable.
https://ilovebacon.com/
There is no global schedule of programming any more, so there is room to have tiers with and without ads.

So maybe it’s more like “Netflix with special offers”
Also you can just read the code the same way you read any other code. And since it's in your codebase and git diffs, you will read it.

Because the implementation detail of is-promise actually is important. It just checks if an object has a .then() method. So if you use it, it's just as important that you know the limitation.

Not everything needs to be swept under the rug.
Apologies, I had conflated the flying of Confederate streamers formerly with the US Army and Navy[1] and later (and still currently) with various state national guards[2]. Also a decent blog post on the topic: https://angrystaffofficer.com/2018/02/13/a-murky-heritage-th...

[1] https://en.wikipedia.org/wiki/Civil_War_Campaign_Medal

[2] https://www.researchgate.net/publication/321951579_Confedera...
Yeah, I think one of the biggest misconceptions people have about china's economy today is that they aren't nearly as dependent on exports as people think. On an absolute number net exports look big, but as % of GDP, countries like Germany or SK nearly log like more dependent.

The much more critical thing for China is domestic consumption, which is where they focus the most and struggle the most. And a big thing there that has made other developed countries mad is that China's net imports haven't nearly kept up with their consumption growth. China has been meeting consumption domestically, which changes their mix, and makes everyone else understandably frustrated.
Given that it seems like Libra wants to be an actual currency and comply with pretty much the demands of a national currency, which is to say stability, availability of monetary policy, features to clamp down on terrorism finance and compliance with domestic law, wouldn't it be much more sensible to elevate this entire project from Facebook to a national one?

Get more economists on board to design the institutional infrastructure, people to get the legal compliance right, and then make it the e-dollar. (or something more global in cooperation with other states). Isn't this at the end of the day what people want out of this, the digital equivalent of a normal currency?
American cities are not capable of running good public transit because they mostly use it as a combination of a jobs program and a poor-people access program. I was car-free for seven years in San Francisco (supposedly one of the relatively high performers) but my standard of living jumped significantly after I bought my car. Overall, I think I might even come out ahead.

I don't think I'm going to take public transit in San Francisco ever again. They are missing:

* Speed - BART is relatively fast, all Muni is very slow

* Frequency - BART is low frequency, Muni is also low frequency

* Coverage - BART coverage in SF is limited, Muni coverage is reasonably extensive

* Reliability - BART unannounced delays and breakdowns were a frequent occurrence. Unlike Tube delays (which were also frequent) I could not route alternatively because there is only one BART tube in SF. Muni does not have arrival times.

* Usability - You cannot tell before you pass the turnstiles at a BART station whether the lines are delayed or when they will arrive. One exception I know if is Montgomery St. Station but that's the only one.
Because most phones are junk after 5 years, not because people like to dump $400-$1000 bucks every 24 months. Most people don't want to replace their phone on a regular basis, unless they are enthusiasts. "It got slow" or "the battery doesn't last anymore" or "I broke my phone" are very common reasons why people upgrade.

People want their durable goods to last. Stats have shown that people have been keeping their smartphones longer for the past handful of years as the technology is maturing. This will continue as tech improves, just like it has for every other durable good.
It's amazing how much the political left is able to get done with the political right controlling the senate and the presidency :)
The old Slashdot was orders of magnitude better than HN -I am not going to even mention Reddit-. For all its lame jokes it was filled with people who actually loved technology and science and the moderation system was very solid.
> That information is not stored in the DNA.

“Information” here is not referring to the molecule for eye color. It is referring to the information about when and where the gene is to be expressed (ie the molecule is created).

I think this has been known for a while though. That deriving molecular folding and structure from DNA sequences is a tremendously hard problem, and that “command and control” of the entire apparatus is at least as hard or harder of a problem.
Title is verifiably false.

First, formal verification doesn't create anything. It only certifies code created by other means.

Second, formal verification only certifies that the software implements the machine-expressible details of the spec. It doesn't certify anything expressed only in English.

Finally, it doesn't and can't ever certify that the spec itself is correct or complete. Most bugs and security holes result from incorrect, incomplete, or inconsistent specs. (Any program satisfies an inconsistent spec, but inconsistent specs can at least be identified by formal means.) Very few specs can be formally expressed completely.

So, formal verification is useful, but neither creates hacker-proof code, nor ensures that code is hacker-proof.
Or because they're censoring search results for one reason or another.
It’s quite amazing we ever tolerated each other driving cars.
Looking for an Employment Attorney
Hi, does anyone know any really good startup employment lawyers? I am a co-founder of a very well to do startup and am being thrown out after the latest large funding round. Would love to talk to an attorney who has dealt with these situations before.

thanks
'No Evidence' yet That Recovered Covid-19 Patients Are Immune, WHO Says
Based on the recent random antibody surveys in NY and Miami, covid19 is around 0.6% to 0.7% fatal. Spanish Flu is generally thought to have been around 2.5%.

https://virus.stanford.edu/uda/
I bought a Galaxy A40 to my dad for less than $200 (VAT included) last summer and it has an OLED display. Outside Samsung it might be a bit harder to get OLED in this price range, but at least you're not stuck at 1334×750 pixels, which was already pretty lame in 2014 when the iPhone 6 was first released.
Not everyone is a great messenger. I recommend Graham Allison Destined for War. Similar message but delivered differently.
For hands-on learning of applied cryptography, there is also the delightful https://cryptopals.com/.
Kik's Response to Left-Pad and Mail Thread with Azer
Though, let's also appreciate just how niche that case is. I'd be surprised if more than 0.5% of the JS devs reading this will ever encounter that scenario where they are reaching across VMs like that in their life.

`obj instanceof Promise` and `typeof obj.then === 'function'` (is-promise) are much different checks. Frankly, I don't think either belongs in a library. You should just write that code yourself and ponder the trade-offs. Do you really just want to check if an object has a then() method or do you want to check its prototype chain?
FWIW the first practical application of input tainting that comes to mind is Perl's circa 2001, although I wouldn't be surprised to hear Smalltalk went there before.
Moreover, Hoboken had to ban smoking too to regain its residents preferring smoke-free bars and restaurants in the city -- the opposite of naysayers' expectations.

It will happen with cars and plastic here (NYC) too. I hope the polluters don't resist as much.
Is this a nightmare? I read a story of someone who had a very reasonable, strong emotional response to the error, but ultimately got credit for coming clean and republished their results with new data. (And a different conclusion.)

This is exactly how I'd expect something like this to work -- the author isn't a bad person because they made an error. The co-authors aren't bad people because they failed to catch it. Software and science are hard, mistakes are going to happen.

If anything, I think the researchers learned valuable lessons, and are better researchers as a result. They have an anecdote they can share with more junior researchers about this frightening thing that happened to them, and use that to grow more people.

We should celebrate people who take the time to handle their mistakes properly and share the lessons openly.
I don't think so. I am not returning my salary when I screw up at work and I have made bad decisions that cost 100s of thousands. As long it comes from an honest effort mistakes are part of the game.