skysight-inc/HackerNews huggingface dataset:
There are legal/ethical barriers though between google and apple sharing this stuff with the government. This is an effort to soften up the populace on "what a good thing" tracking and activity sharing with the government is and why next it should be permanent rather than just an emergency tactic. "Imagine all the good we could do if we had all the data of things you buy, where you go, who you interact with and provided that to government in a package with a bow on it". Kind of like the sunset clause on the "Patriot Act" which keeps getting renewed and is a travesty.
Yes, indeed. It was there.
> Capitalism isn't seen as anything bad in most countries after the cold war.

It’s called “surveillance capitalism” because companies are capitalizing on selling people’s data. It differentiates it from government surveillance.
Inventing Game of Life (2014) [video]
Great tool, i use it. I love the color picker
If anyone is interested in this sort of thing, I would highly recommend checking out the documentary Rise of the Centaur. It’s about a company that I previously hadn’t heard of who was making an x86 compatible CPU based in Austin TX.

They show a lot of the verification process throughout the film, including an exciting moment when the chip boots Windows for the first time.
Personally I like that it's not the main event. It makes it easy to discuss different presentations. And you have an easy out ;)
The moral hazard overlooked here is the fact US govt policy being dictated by congressmen, hedge fund managers and "investment" bankers who see it terms how they can profit from a long bull run, and profits to made from shares in the companies who have quasi-monopolies on the the products that will eventually "save" us from coronavirus.

And the fact that you can't expect a health system run for profit to prepare properly for a pandemic which may never happen.

By the time the products ordered for the crisis have been delivered the crisis will be over, and whether they will be stored in preparation for another pandemic is questionable.
Concession income isn’t an issue when the option is not open and make no money/lose money or open and make a little money. Not to mention the smaller ones could qualify for the SBA PPP.
IDGI, just store the structured data in Git.
Will politicians across the world still ignore healthcare after this pandemic?
I'm not sure why you need to be so condescending in a healthy discussion like this.

> This guy says, yeah, but the gubment could abuse the tracing mechanism for things besides an epidemic, force your phone to report matches centrally, and force the removal of the opt-in part of it.

> ...except, if a government can pull those off, they don’t need this new contact tracing platform. These assume the government already has deep, control of the details of the operating system.

If your system has one RCE, you don't care about another one because it already has one? Perhaps you can work around the one, mitigating it? Also, "the government" (any in the world) can ask Google or Apple to share the data of a suspect. As they're not a one way hash, that is possible. Furthermore, an attacker can certainly gather the Bluetooth addresses and correlate these to one way hashes. If the API is public, they can correlate these hashes and detect which Bluetooth addresses got the disease. Together with the location, even an outsider can learn more about this issue.

Also, lets not forget there's recently an RCE in Bluetooth on Android (which many people still run with unpatched), and the problem of iOS not working with Bluetooth when the application isn't open on the foreground with screen open.
> YAML in kubernetes works very well.

I beg to differ.
You trust them to not log that information when it is all clearly available to them? You are trusting apple, google, and the US government to not do the wrong thing? Or to not use this as a stepping stone to a permanent and more invasive "feature" to insure your safety?
Should I avoid Elm or maybe I should consider it?
The verified device flow isn’t meant to be as strong as 2FA, but is a very strong mitigation against mass credential stuffing attacks for all users.

In terms of client certs, see my response in https://news.ycombinator.com/item?id=22849985. I agree client certs would be great. However, it can be tricky to couple your app logic with transport based security. A good example of this...chrome/google introduced a crazy cool concept called “channel bound cookies” - http://www.browserauth.net/channel-bound-cookies, but it never gained any traction because of the complexity noted.
" Delphi didn't have to since it only had to work with Windows and only with their own libraries"

Delphi has for some years the possibility to work on more then just Windows, and still is a breeze, regardless if I targeting Android or Windows, to just "here is the package, put the component on palette" with just 2 clicks.

I really hope Lazarus will come home, like you say, with this, since Delphi is not targeting ARM in Linux, while Lazarus does. We'll see what future holds, as I have no problem using one or the other as long as the compiled project works on its intended target. Also regarding RPI, I can just install Android on RPI4 and Delphi will have no problem targeting that
Vim Un-Alphabet Episode 12: Star
This is why Conan is a king and a pirate, and the philosophers are all dead.
I mean, this sounds a lot like software 20 years ago.

You can still get proper support for, say, IntelliJ if you want it, but tools and ecosystem have improved so much that it’s just not as important as it used to be.

To be clear, I’m not claiming that hardware development is the same as software development. It’s not. It has different problems. But the tooling _does_ seem well behind.
"Oh, that is all well and good, but, voice or no voice, the people can always be brought to the bidding of the leaders. That is easy. All you have to do is tell them they are being attacked and denounce the pacifists for lack of patriotism and exposing the country to danger. It works the same way in any country." [Göring]
> It's not quite clear to me: Can these rules be applied to already existing mails at creation time?

A subset of the new rules system can be applied to existing mails when the rule is created, at least when the rules are used with folders. I've not tried the new label system, but I think the folder/label processing comes after the rule matching so I'd expect it to be the same.

Once a rule is created, there does not appear to be any way to change whether it is in that subset or not.

Consider a rule that filters on who the mail is from. On the old rule creation screen, you could select whether to use the from email address or the from name in your condition. For email address you could check for containing, beginning with, or ending with a string, matching or not matching a glob pattern, or matching or not matching a regular expression. For a from name, you could check for exact match, contains, or glob pattern.

On the new rule creation screen, there are no longer separate from email address and from name options, and there is no choice in how it matches. You just enter a string--I'm not sure how exactly it uses it.

If you want the older, more flexible conditions you can get them by clicking "switch to no-preview rules". That gives, as far as I've seen, the same condition options that the old rules did. The cost, as the name "no-preview rules" suggests, is that you do not get a preview of what messages the rule matches.

When you hit "continue" on the rule creation screen for a "standard rule" (that's their name for non-no-preview rules), it brings you to a screen that shows all your existing mail that matches the rule, with a label showing what folder it is currently in. From there you can ask to further edit the selection criteria. Once you are happy with the messages it is selection, you can tell it to go ahead and create the rule.

That brings up the screen to specify the rule actions. On that screen there are check boxes to apply it to existing messages (the ones you saw in the preview) and to apply it to new messages.

When you create a no-preview rule, there is as you would expect no preview. There are also no check boxes for existing/incoming. It applie to incoming, and only incoming.

If you create a no-preview rule, and later edit that rule, there is no way that I've found to change it to a standard rule. If you create a standard rule, and later edit that rule, there is no way that I've found to change it to a no-preview rule.

Fastmail also lets you create rules by editing the sieve code text. The sieve code contains various rules generated by Fastmail internally and all the rules created from the rules you make in the Fastmail GUI. Between each section of such rules they have a text area where you can enter your own rules.

I don't know if there is any way to get it to do the preview and apply to existing thing with rules entered via those text areas. If there were I'd be tempted to stop using the rule making GUI and just do all my rules myself in sieve.
Why you will create haters while you grow? [and how to deal with it]
MarineTraffic: Global Ship Tracking Intelligence
Bad metaphor. It's impossible to bias a coin to a non-integer probability of flipping to tails.

http://www.stat.columbia.edu/~gelman/research/published/dice...
I also would have loved this earlier but serious question: who else, besides Google/gmail and Microsoft/Outlook, is even trying this stuff? I've periodically looked pretty hard and been unable to find anyone.

Fastmail is the clear market leader for people who don't want to use gmail or outlook, and I'm pretty excited to try their labels. I would love to see them implement answers to some of the questions the basecamp (hey) folks raised here [1], but I'm pretty confident they'll implement some of them. I also suspect that many of the things basecamp/hey want to do break interop with other email clients for editing. That is, you can read them, but not use the hey features from other clients; Fastmail may not be willing to make that trade.
Super excited to see what hey do though!

Either way, building a super-reliable email service that can handle 10s of gigs of emails and hundreds of thousands of messages is not easy and Fastmail does a good job.

[1] https://hey.com/problems-with-email/
Shutting down business and being forced to isolate is already surrendering a liberty. We understand it's temporary, no reason the same can't be true of contact tracing or why at the very least volunteering the information through apps isn't facilitated.
One reason I switched to Fastmail is it's just folders, not labels. I HATED labels in Gmail. It never works right with external clients, even if you use plugins in Thunderbird or try to use labels like they are folders.

I gave up and basically used the web interface until I switched to FastMail.

Will folders ever become mandatory? If so, maybe I should finally give in and host emails myself. It can't be more painful than being forced to use labels.
Ok, you can choose your egg now too. Plus the final winner gets a swanky crown.
How We Take Responsibility for the Fate of Our Species
Looks like finger is still available! Ping and ssh? And scp!

I found a way out!
The author (and anyone half awake about what their phone is) is well of aware of the technology. Currently there are laws and legal standards that stop a lot of this. This is an attempt to soften up the public to the idea of having every movement, purchase, contact, and interaction go into a database and then passed on to the government when they don't do necessarily what the government wants. In the walled garden of helping with covid there is no doubt that this could do good. Outside those walls are governments hoping such tactics soften up the populace to the idea that this is actually a good idea for everyday life.
> Did you actually read the article?

This is a verbatim example of not assuming good faith in the guidelines for this site
Not reasonable, and also not useful. That's probably 90% or 95% of businesses that were not able to pause like that. We're going to want a lot of those businesses.

And the ones that are able, some are by luck or circumstance rather than wise design. Should we reward the luck as well as the design?

"Don't help them" seems like throwing out ten babies with the bathwater.
Some people don't have 50-or-60-or-70-inch TV's, and even if they do, they might not match the experience of watching a movie on a ginormous screen (at a fairly high quality, too- I can see the pixels on my 45" 1080p panel I got secondhand from 15-20' away) and the sound systems at theaters are waay better than a soundbar and the surround sound at theaters local to me is orders of magnitude better than what I can put together right now as well.
First was expected, second was a surprise.
> I feel that this kind of comment is a pure misconception from software people

I really hoped you were referring to the secrecy
QE never really worked, bailed out a bunch of corrupt and broken companies that should have gone bankrupt, and kicked the can down the road. They were supposed to unwind QE1 but they never did. And $4T in toxic QE1 assets sat on the Fed's balance sheet going into this mess. The Fed is propping up the bond market and toying with the idea of buying equities. We just had 17 million people file for unemployment in 3 weeks and the Dow went up a few hundred points. Our markets have been completely decoupled from economic reality because the Fed is faking demand and not letting the markets crash like they should. Our fiscal deficit is already $3 trillion this year and it's only April. This is a recipe for disaster. How much of corporate America will the Fed own when this all comes crashing down? Will we have a nationalized economy by default?
I use Facebook and Gmail myself. So I am not accusing anybody here. I use containers to isolate my browser sessions, I control my cookies and I somewhat lazily use uMatrix. I don't use an add blocker, because I have a very strong mental add blocker not to buy anything I see on the internet.

So, yes the current model is cheaper for me. Still, I would prefer a world where you pay for what you use without all the tracking and adtech. Selling a lot of useless crap just ruins the planet and makes our life worse in the long term.
Libonomy Bolockchain
Libonomy is one of its kind blockchain that has achieved the goals of innovation and creativity with great success. The kind of innovation it advertises attracts and reaches out to masses that have the knowledge that the system is fulfilling its role of greatness. Many only talk about a new system of blockchain but Libonomy is on its road to fulfill that ideology already. The uniqueness of any organisation becomes its trademark and the uniqueness of Libonomy is that it offers its clients to explore beyond their imagination and think out of the box. The speciallty of Libonomy Blockchain is that it does not use the previous consensus algorithms that have been used for a very long time.
I agree with the general principle here (that moral hazard is bad; that we should construct an economy in which it's possible to hit "pause" for any number of reasons), but that's not the economy we have. The one we have seems to reward financial engineering, cost-optimized supply chains that are highly vulnerable to even the most minor disruptions, and a general mindset that freaks out at the first sign of trouble.

So, how to we get out of this trap? Most obvious answer to me is more localism. I.e., relying on local supply chains for goods (both consumables and foods) instead of a global one. This lockdown has been pretty miserable for a lot of my friends, but my one hope for a silver lining here is that after we're out of it there might be a return to prioritizing your local community over the bottom line. You don't freak out in a Pandemic if you know that your supply chains for all of this stuff are local, and unaffected by problems on the other side of the planet.
Insider trading By elected officials isn’t against the law. There’s no reason for them to hide it. There have been several recent examples of senators openly insider training and no repercussions for being caught.
If the devices aren't changing, and the interface isn't changing, why should the driver change?

Working software should keep working.
I suspect Fastmail can't afford to offer cheaper plans. I bet their common customer is a small business and offering cheap family plans would put a huge dent in their revenues. Also, I suspect it would attract people that need tech support. I'd bet a really nice dinner their cfo has modeled the numbers.
Apparently so. Confirmed by his biographer in this item:

https://www.i-programmer.info/news/82-heritage/13614-john-co...
It sounds like hubris, y'all are trying to bat above your league.

Metaphorically, it's like the rush to build auto-autos (self-driving cars): the problem is too hard. If they had started by trying to make a self-driving golf cart Elaine Herzberg might still be alive.

If "verifying hardware is a much more complex task than designing it" (and I don't doubt it) then that is the limiting factor. (Or should be IMO. The liberties taken by software cowboys are bad enough w/o the hardware getting all squirrelly too.)
I was thinking of higher education. I think it's far more useful to teach algorithm design first and the nitty gritty of computer implementation later. This is, after all, how the field actually evolved. We had algorithms and programs far before we had the first computer.
Thanks much for the kind words.

(fwiw to anyone: I wrote about how I know what I said. Link is in my profile.)
Have you used software verification tools? They're almost universally terrible. In many cases incomprehensibly so. Many are free up front, but you pay for it one way or another. The level of sophistication and workflow integration of software verification tools, compared to hardware verification tools, also seems to lag significantly.

I don't doubt that the hardware verification tools are expensive, buggy, and probably have terrible UX. However, all those things are also true of software verification tools, but where license cost is replaced by esoteria and incompleteness cost.
Hence catalytic converters, maybe?
Mutant Enzyme Recycles Plastic in Hours, Could Revolutionize Recycling Industry
Contact tracking is probably useful at the beginning of a new outbreak when the disease is still isolated to a small number of locations. Isolating a few people might prevent the disease from spreading to other areas.

As you described, once an outbreak has a foothold in most areas, most people will be within one or two hops from someone who is infected. Also, the potential useful period will be shorter when the incubation period is long. Two weeks of incubation provides a lot of opportunity for someone to spread the infection.
I want my configuration to be guaranteed to halt for one, I don’t want my configuration to have the ability to open sockets, I don’t want configuration to import business logic or 3rd party modules, etc.
What should or shouldn't matter is irrelevant and pretending like it's relevant is naive. It does matter. That's a fact. You want to take your argument to 1850 and argue what should and shouldn't matter? We fought the bloodiest war in American history over this so you know what, it does fucking matter. And even in 2020, racism is still widespread, so you know what, it fucking matters. That's reality. It most certainly fucking matters that certain people were held back for hundreds of years through slavery and racism while whites progressed forward. It most certainly matters that this is still going on today. Look at the median household worth in the US to see how much it matters. This idea that you're putting forward, that history doesn't matter, that reality doesn't matter, is frankly absurd. It's not even an argument. It has no basis in reality. It's a fantasy. History matters and affects the present. It's as simple as that.
One data point here - my late 2013 MacBook Pro (ME864LL/A) is fine with 10.15.4
Flagged for taking you straight to a signup page, this is not Show HN eligible.
I’d rather have surveillance capitalism than government surveillance/authoritarianism. The worst thing these guys can do is try to sell me a porn subscription I don’t need. Government surveillance is much worse.
Twitter only stores your last 3200 likes.

What a bummer. I like a lot of very funny or informative stuff on twitter and the tweets often pop into my head even years later. Sometimes I wanna find that tweet (eg to share) and I can’t.

I started using pinboard.in, which archives all my likes, but the search suuuucks.

So, I started building my own archive tool, but the search part is still hard.

I have looked into annoy, perkeep, tf-idf, Doc2Vec, and various other tools, but nothing really works as well as I had hoped.

Your project definitely gave me some ideas! Thanks.
Dear Founders: Your childhood shapes the kind of company you build
As do highly transmissable respiratory diseases.
NeurIPS 2020 recommendations for publishing ML research code
What is the roadmap for supporting an Action that can push a commit (say a version bump) to a protected branch?
I'm about half way through the book and have enjoyed it. IMO it's an instant classic.
That they don't chase free users is an advantage to those of us who pay. For about $50 per year, I get rock solid, feature-rich email as well as fast support from real people who are informed and empowered.

It's not for everyone, but it's worth it if you value your mail and time.
yes, basic consumer goods didn’t see much inflation. But what about housing, education, even stuff like cars and travel. Of course, other factors are at play too, but abundant “cheap” money certainly increase prices of those
Minor quibble. Companies don't get the money invested in the stock market after the IPO - other traders do.

They don't make more products or hire more people when someone buys a stock on the open market.
Having line height change from "half-leading" on the first line to "leading" seems a little bizarre to me... why mix the two systems?

It seems the last line also has "half-leading" below, and I can't see a way to compensate, so that eg aligning the bottom of two text boxes will line up the bottom baselines.
When I first saw json, compared to XML, it was so simple. As a fairly new programmer I could say to myself “hey I can write a parser and dumper for this quite easily”.

When I first saw YAML, it was nice but it felt a bit too complicated.

All I really want is Indented JSON. New lines instead of commas. That’s it.

Json is fast to parse. See simdjson doing it at > 2.5GB/s. One can’t do this with YAML where no could mean many things.

And god I hate k8s for their bajillion yaml configs. Thank god for jsonnet that can dump to yaml. Jsonnet is truly nice and makes working with json like configs a pleasure.