skysight-inc/HackerNews huggingface dataset:
There is evidence from the Moon that is was heavily cratered from about 4.1 to 3.8 billion years ago. What caused this is debated, but one leading theory is the Jupiter and Saturn got into a 2:1 resonance at that time and highly disturbed everything in the Solar System (well, except the Sun)[1]. It is even called the Late Heavy Bombardment, highlighting the unexpected recent age of the event.

[1]https://en.wikipedia.org/wiki/Late_Heavy_Bombardment
I think it could be a relatively easy problem to solve: give any user the option to verify their identity.

In this way, as verified accounts increase, the unverified accounts become more obvious and I imagine we will start to view them with more scrutiny.

It would allow anonymity to remain, just make it so those accounts are more obviously anonymous or pseudonymous.
I'm not sure if it's a simulation so much as the rules just become normal constraints you use when writing code. It is super rare for me these days to write any line of Rust code that makes the borrow checker complain in a way that surprises me. It took me a while to get to that point. I don't remember how long though.
seL4 probably isn't the best target for an attack. Attacking the underlying hardware, or the application running on top of seL4 is going to be easier, as both of them is going to be more complex and likely to not be formally verified.
> even if the test is free, due to the economic costs of quarantine if they test positive.

Worse than that, they could even face a Tom Hanks Philadelphia like situation, after they test positive.
By controversial issues we apparently mean "providing food and a safety net for people who lose their jobs" (most of whom will lose their jobs due to the crisis brought about by the pandemic).

I feel there is something very wrong with us that this is immediately seen as "OMG Super partisan crazy talk!!!"
I think the point the parent is making is that "normal politics" need not apply here given the abnormal situation we find ourselves in
As an outsider to the US things like this feel like this should be part of the system already. It's socialized medicine but they don't dare call it that.
This could happen in a literal sense too. Aren't a lot of them over 60?
What makes Twitter users retweet risk-related information
It especially caused a boom for COBOL programmers, but not so much Java developers.
> Then don’t [use them, it's that simple!]

The problem with classes in languages that use them as a main abstraction (Java, Ruby, etc) is that people reach for them for all abstraction and software design as their Day 1 tool.

All program state and behavior is now immediately fragmented from Day 1 in arbitrary buckets and my experience some moss quickly grows on them and things are never changed for the life of the program.

Just seems your post doesn't offer much insight beyond the classic OOP advice I've heard for years when people realize it's not that great: oh no, you're doing it wrong, don't do the bad things, just do the good things and ensure everyone else is doing them too. I don't see how that's actionable nor useful.

Limiting class use as much as possible and using functional module pattern as TFA does, on the hand hand, is actionable advice for these common issues with classes.
Republicans are mostly just proposing their solution for everything, tax cuts. So it's the same debate we always have, tax cuts vs direct assistance.
Well, everything is treated as partisan.

Michelle Obama's "kids should eat healthier school lunches" wasn't partisan, but it was treated as such.
You don't need JS to make a website where all of the text is in image files because the website designer needed to use a specific font at a specific size and loading fonts over the Internet was a bizarre pipe dream in 1999. Also, pixels are the same size for everyone, because I say so.

You don't need JS to make a website play MIDI at you.

You don't need JS to make a website shove all of the navigation into Flash. OK, maybe ActionScript is an extended version of ECMAScript, but the point is, Flash isn't accessible, and it's as bad as, if not worse than, the least accessible modern websites.

You don't need JS to make a website centered entirely around frames. Frame-centric design is truly the forgotten scourge of Web development.

The point is, there's a certain segment of the Webdev-hiring population who demands websites be either print documents or applications. They're utterly immovable and, therefore, will get what they want, which is websites with pixel-perfect rendering (regardless of how horrible they look on anything but their own monitor) or websites which, as you say, are applications in a browser. None of this is new. Web browser development has, in part, been a process of enabling browsers to appease these people while giving Webdevs more options to make the resulting pages at least somewhat less annoying.
More from CBC: https://www.cbc.ca/news/politics/covid19-premiers-coronaviru...
Discussing the influx of VPN ads and whether they mislead consumers
Best thing about 20 years of freelancing has been that I have NEVER been asked about, ridiculed for, or heard complaining about my code. Nobody even sees it, or cares. It's efficient and responsible code in my opinion, but I don't have to care about this strange problem where programmers actually have opinions about how code is put together. I don't know how you guys put up with it, I'd go nuts if someone told me I had to use more classes, or a certain language, or tabs over spaces, or whatever.
Also don't forget the wonderful Under The Pier Show[1]

It's a set of weird and wonderful custom arcade machines such as the "Rent-a-dog" game and, my favourite, the "Small Hadron Collider".

[1] http://underthepier.com/
Not as much as cold hard cash.
wow TIL, thanks.
Does anyone knows if liquid soap is as effective as soap bars?

I have this argument over and over agin with my wife.
Not sure I followed that, but if (a, b) is a data tuple you can enforce symmetry by ensuring that if (a, b) is in a batch, (b, a) is as well. That is, calculate the gradient with both of them simultaneously.

For generically enforcing symmetries, variational autoencoders are the best technique I'm aware of. You can impose any symmetry you like in your generative model. Of course it's still approximate though.

I'd be interested to hear more about your problem, send me an email.
Here is a discussion of some of the numbers and models. It's in German but I guess deepL should give a reasonable translation. One part of an answer that I extract from this article is that it's complicated. People do have more sophisticated models (see some of the ones mentioned in the article), the issue is these require more parameter inputs with significant uncertainties (we really don't have enough information on the virus yet). if some government would come out and say this is the model we are using you would immediately have lots of discussion about the validity and how everything would be easy peasy if we just change this parameter.
Another aspect is probably that accurate modelling is not the primary focus right now.
It's probably one of those "dead-man-switches", where if OP doesn't do some action before the timer goes off, then it fires off those notifications to his friends (in this case).

So OP has to regularly do some action until they can't (either aren't able to, or are dead in this case).
ArangoDB: A perfect database for projects with a high level of uncertainty
The goal is not mass testing, what good is mass testing if it just tells us that the virus is spreading rapidly because people can't afford to stay home?
Only to anarcho-capitalists and speculators. Most people don't mistrust regulated banking enough that a volatile, unregulated black market economy looks attractive, even in a crisis.
It's a big topic and I am reluctant to invest a great deal of time trying to persuade a new arrival. Try following the links in this article for an overview of recent research.

https://www.scientificamerican.com/article/how-twitter-bots-...
It's a common misconception that Bitcoin is a safe haven. It's not. Not even Gold is a safe haven during a liquidity crisis. In sharp downturns, cash is king.

Think of Bitcoin and Gold as call options on the entire global monetary system. If Govs become insolvent, Bitcoin and Gold is there. If the masses lose faith in central banks, Bitcoin and Gold is there. If central banks debase currencies too quickly, Bitcoin and Gold is there. That is the staying power of scarcity via well known stock to flow ratios.

I'm glad Bitcoin is not inversely correlated to equities, because that would mean Bitcoin went down in an equities uptrend. Being non-correlated is superior: Bitcoin marches to it's own drum.

All this being said: cash is king in times of uncertainty. Bitcoin is a speculative bet that "money without masters" will become an essential part of the future monetary system. We're a long way from that still.

Advice in good times and bad: maintain a deep safety net and don't get too nuts with debt or leverage.
The goal of mass testing would be better served if the controversial issues were separated from the immediate one.

Dealing with only the surface level issues and ignoring everything else seems like a great way to pretend like you are accomplishing something without actually doing anything useful.

What parts of the bill do you consider too much "social assistance"?
One of the supposed benefits of holding cryptocurrency that has been peddled is that it is a strong hedge against a down turn in traditional securities. Here we have a new, real data point to the contrary.
Lifetimes are not actually that hard: it's mostly stack discipline, with some escape hatches. The compiler yelling at me is mostly stupid, surface syntax like things, but that's because I've learnt naturally to structure my code in a way that makes sense with stack discipline.

Over 5 years of Rust experience, 2 of which are professional.
Isn't it... a game? What came first?
Actually it was originally a visual novel, not a light novel.
I guess my issue is that I'm not all that interested in SETI. It would obviously be amazing if we find other life, and I'm not against funding or people searching. I just think there is plenty to investigate and learn just by studying the endless ocean of galaxies out there.
The most advanced transitioning procedures alter only surface level sexual characteristics. Throughout the literature the many attempts to show that M/F transgenders are literally women trapped in men's bodies has failed abysmally and is pretty much at the point of phrenology now. This and the process of transitioning itself also blatantly contradicts the notion that sex/gender is a spectrum and we should be proud of it.

Given the above, the term gender is a completely mental state with no more objectivity than the idea that I am a dragon. Yet nobody's rushing to defend my right to force everybody else in the world, even in some random forum or another country I'll never hear about, to call me a dragon on pain of punishment from the law or banning.

This silliness is verging on Orwellian.

EDIT: You know you've lost the argument when you can't debate and can only flag down all other opposing posts.
The reason this stuff is acceptable is we just shrug it off as "normal politics". Politicians should not take advantage of emergencies by tacking wish list items on to bills that address the emergency.
Thing is my customer, Bob From Marketing, wants a new feature. He knows "Text Input","Drop Down","Form","Button", "Checkbox" as terms to communicate his feature to me. He knows this because he used to code some Visual Basic on the side when he was "still a programmer" all those years ago.

Now in reality, I don't take any thing Bob tells me literally as directions. I treat it more as a description of Bobs problem. I then forget everything he told me he wanted and build the tool necessary to do the job he's described.

"drop-down" works just fine thank you. It's adequately descriptive to support its most common application - which is communicating with non-technical people.

But what about communicating with a technical person? Well, they're going to do what they want to/the sensible thing anyhow no matter what I call it.
I mean this is basic. Without paid leave sick peopke will come into work. 2 weeks is a fraction of the standard European sick leave so it isn’t even that onerous.
Most of the deaths will be of retirees, not workers. The fast as possible scenario is preferable from a purely economic standpoint.
> "Medicare for All for Coronavirus" would be guaranteed to die in the Senate, at least for now.

This is absolutely true, and that fact that it is amazes me and makes me disappointed in my own country. This virus is unprecedented in recent history, excluding the Spanish Flu of course, and the fact that something of this magnitude is completely insufficient for the Senate to get over their [hangups/ideological opposition/ownership by insurance companies] concerning healthcare is sickening. If this doesn't wake people up to the necessity of more universal healthcare, and make blindingly obvious the superiority of the response of countries with more universal systems, nothing will.
This post reads like it was written by a web developer that doesn't realize UI development happens on any other platform.
Good advice. Don't use classes. At least resist using them as much as possible.

Consider this simple aspect: one of the key differences between a class method and a separate funcion is implicit (and sometimes explicit, though that's not much better) self/this parameter that allows access to all object fields. Essentially you're opting in to grow the input of every method call by all the data held by an object. That's a mistake on many levels:

- it is one of the most important "best practice" advice to only pass the data that function needs to do the job, with classes you're breaking that advice immediately

- ease of access to additional data doesn't leave room to think if it's actually good idea to do so, factor in laziness and inexperienced contributors and you get methods that grow in complexity much more than they should

- testing anything becomes torture, as unlike with simple function class methods now depend not only on incoming arguments but also on state of the object itself, i've seen tests with dozens of lines of setup for single line of test

Prefer simple pure functions, prefer builtin data types, prefer immutability, only pass arguments that function needs to do the job.
There is something greater than the age. The new dynamism is one of taking the lessons learned in the cities back to the homelands and distributing the gold ( like slaying a dragon ). Sure, I went to the city when I was cutting my teeth, but now I bring business back to my hometown. In a remote world ( and in a corona virus world ), this makes more sense.
Microsoft Plots the End of Visual Basic
It's been fascinating to see the rise, fall, and rise of digital watches among techies.

I remember 1990s Dilbert having an entire storyline about the engineers getting into a calculator-watch arms-race. In real life, it was pretty common to laugh about how a $50 digital Casio could do far more things than a Rolex.

By about 2010 (or perhaps even by the iPod Touch or Palm Pilot), I stopped hearing that. Watches had lost all of their unique functions to smartphones, so their raison d'etre was either "rugged and cheap" or "jewelry" and calculator watches almost vanished.

Circa 2015, we get Pebble gen 2, Apple Watch, and Fitbit Blaze: smart watches have phone integrations, fitness tracking, and don't look like hell anymore. Since then, they've increasingly aimed for design good enough to wear with a suit; the Galaxy Watch is always-on and analog.

These days, I see two splits among watch-wearing engineers: smartwatch vs not, and practical vs decorative. So the result is quadrants like:

Fitbit | Galaxy Watch

Casio | Longines
Technically MS does own the OS, the end user is just granted a license to use it. They do however not own the hardware it runs on, so there should be limits on what they can do, I agree that the idea that they can act as law enforcement without limits is chilling.
I was a fact witness for Groupon in the IBM/groupon suit (which IBM won).

Airbnb is going to need a lot of luck with a jury to win this. Morally they ought to win it, but ...
In the US it costs $3,500 or more to get tested.
> Pat downs and dirty shared bins are certainly vectors for transmission, and should stop.

At very, very least, there needs to be a mandate that shoes never go in the bins. (Or just end the shoe part of security theater, but I'd like a pony too.) The last security line I went through was requiring them to go in the bins, and seeing people stuff the shoes they've been tramping around the city all week in next to their scarves was vaguely nauseating.
That's a good rule of thumb
Show HN: An app for semantic (pixel-level) image annotation
It uses csg.js

Unfortunately its GitHub is not ... expansive about its innards. It says "this library implements CSG operations on meshes..." which I assume means it is NOT operating on a parametrized boundary representation like the industrial-strength CAD kernels (Parasolid, OpenCASCADE, CGAL).

I would be very careful about using models generated in OpenJSCAD to manufacture anything (this is one area where proper handling of topology and degeneracy is critical).
And has a jury convicted her of that crime? No.
Our research lab couldn't find existing image labeling software applications that were FOSS, offline, and extendable.

Since we need a ton of annotated image data for our machine learning datasets, we ended up creating our own.

I would love it if some of you could try it out if you're interested, and let me know what you think!
Sorry missed to paste the link:
https://www.heise.de/newsticker/meldung/Zahlen-bitte-3-4-Cor...
Not until they are widespread among general population and can be easily and anonymously transferred between people, like cash.
"Hey, it's an emergency of exactly the kind we've been trying to prevent. Let's suggest the things we've been suggesting to prevent exactly this kind of emergency."
People who suggest PWAs have only done web development or have no budget for native engineers
Can you explain exactly what is controversial about those additions?

Generally speaking, strengthening social assistance during a period where social assistance is going to be strained seems like a good idea.
Related:

IBM 5110 PALM (Put All Logic in Microcode) CPU from 1978

https://news.ycombinator.com/item?id=14483823

(The HN discussion in this article is great, in my opinion...)
> a chair is any object whose primary purpose is to sit a single individual

So is a zabuton[1] a chair?

[1] https://www.dharmacrafts.com/01_zb/zabuton-mat
I always assumed it came by naming the person who sat in the special seat after the seat itself.
That would explain a change in the rotational speed of the sun. Our orbit would then be affected by the tidal bulge on the sun leading us, and millimetres (or less) over the distance involved isn't going to do it, at least not to any degree comparable to the tidal interactions between the Earth and Moon. Also, we're not the only body that would have significant tidal effects on the mass distribution of the sun - we're not even at the top. Venus would have a larger effect pushing us one way; Jupiter a larger effect pulling us the other way. We're a bit of fluff, a dust mote. We're as likely to lose kinetic energy as to gain it, making the year shorter and bringing us closer.
Manning was commuted.
China and South Korea are the best models for controlling the spread of Covid-19. 75-80% of all infections in China were in family clusters. Eliminating home isolations had a big impact there.

Travel screening could help, lots of these things are independent and have cumulative benefit. But identifying and isolating the infectious is far and away the best way to limit the spread.
If the Senate votes against expanded worker sick leave protections and expanded food aid in the middle of a crisis massively influenced by lack of sick leave protections and lack of food aid, then they should look bad.
Opposition Leader of the NDP Jagmeet Singh also in self-isolation because he hasn't been feeling well.
People probably did call it 'a select', until non-technical users called it 'a drop-down' (because that's what it does, without knowing what the code looks like, why would you call it 'select'?) and the term came to dominate.

I don't think it's confusing, if anything it's used precisely so we aren't confused... like by the myriad options presented in this post when all we really meant was 'any old thing that drops down and a user will call a drop-down'.
You could also rephrase it as stuff that will not do anything to stop the spread of the virus (tax cuts) vs stuff that is recommended by health experts to mitigate the spread of the virus by idneitifying the afflicted and incentivising them to not make decisions that will impact society negatively.
Perhaps the humidity only affects when it's not attached to a host cell?
Seems like the only reason Twitter created verified users was because they got sued by Tony LaRussa for his account being impersonated.

What I'm wondering is when there will be a class-action lawsuit on behalf of all the everyday people who have had their accounts impersonated?

I hope it doesn't have to happen that way, I hope Twitter gives everyone the option to verify their profile, and yet I haven't seen much progress on this front since 2016 when I started looking at it.
China recently gave a bunch of test-kits to Italy ... maybe you can talk to them?
> "this is an epoch changing event that requires massive, immediate change in our behaviour"

What change in what behaviour?
What’s with the flood of downvotes on this comment? It’s civil, relevant, and contributes to discussion of the topic. Maybe you disagree with its conclusion, but that’s not what downvotes are for.
It...kind of makes sense, though?

SNAP: People are going to be out of work because of this, not everyone has a job they can work from home with, and emergency savings in America are sparse enough to where it's a real concern.

Food bank services: People are going to be out of work because of it, so on, and encouraging people to keep in one region delays the spread of the virus.

Student Meals: ?

Senior nutrition programs: Reducing spread among the most vulnerable, plus most of those programs are about increasing the quality of nutrition, which might help boost immune systems.

Medicaid increase: (explained in that blurb)

If anything, it seems like this would be agreeable among both sides overall, especially when taking into account 45's television address, which focused heavily on the elderly. It makes sense, because there's a strong incentive for the Republican side of the aisle to keep them alive: too much of them gone at once and more than a few of them would be at risk of losing their seats.
One possibility is that it's because the stock market seems like a good buy for speculators right now. The stock market does have an underlying value long-term, in that stocks are pieces of companies that produce products. The true value of that is always uncertain, but various measures indicate that it may be approaching reality (after a long, overheated bull market).

Crypto is more purely speculative, with no real underlying value aside from the hope that it will some day become the fiat currency of some nation. (Fiat currencies have a "value" in that they are the only thing a government will accept.)

So it's possible that people are seeing bargains in another market. They need to move through fiat currency in order to buy it, but they don't hold it long enough for inflationary measures by central banks to affect it.