skysight-inc/HackerNews huggingface dataset:
Indeed it cannot work without very widespread testing. We'd need the capacity to test millions of cases a day - maybe 20-30 million. Just testing all our front-line health care providers daily would require many millions of tests. There is currently no one in the United States developing a plan to test at even a small fraction of that scale. It is definitely possible, but would require an administration capable of doing something other holding press conferences and tweeting malice and misinformation. So, maybe next time?
Python Generators/Coroutines/Async IO with Examples
I think PowerShell doesn’t really compete with Bash, it competes with Python, Perl or the like. And I haven’t found it to be superior in that aspect other than at integration with Windows system stuff.
Having worked with both HDLs and software tooling, I don't think it's too far off the mark. HDL tooling is terrible software: it's hard to use, buggy, expensive, opaque, and the support is terrible unless you're a huge customer. Hardware verification and development works still through sheer effort, and because there's a strong business incentive to get things right the first time due to the huge costs of a respin. With better tools this could be done faster and cheaper with similar reliability, but perhaps there isn't enough to be gained to make it worth the effort (and either way I don't think the companies currently working on the tooling are capable of making anything else: this would need disruption to really make a difference, and the barriers to entry are huge).
Not OP, but this is something I spend a lot of time with. I have a pet framework called Zodeaism which means "Living Ideas". In my theory, the real "life forms" are ideas which possess the capabilities of information storage, adaptation, self-repair, and transmission. My own consciousness is mediated by thousands of such ideas, some competing and some working in harmony.

One such idea -- Do Good Onto Others As Others Do Unto You -- is an example of an extremely powerful and resilient idea which lives and operates in the brains of billions of individuals. It is powerful enough to ward off weaker ideas and has lived a long time without much modification to its original essence.

With that out of the way... I felt it was necessary to reduce agency to ability to use internal energy in order to put oneself in a higher energy state in the external world. This can be observed externally. I am standing next to a rock. I can jump up, spending some of my energy, and fighting against the potential energy well of gravity. I've increased my external energy state at the expense of some of my internal energy. Thus, a living being needs a way to store and use energy. You can observe this externally and conclude that I am alive, while the rock is either dead or inactive.

I consider such an act of "living" motion which can take another path than that of least resistance to be a "kin". In other words, any motion which is the result of a physical calculation (Zodeaism is compatible with determinism) and leads to an increase in external energy state. A kin is any such motion, large or small.

So now the problem becomes, what is the smallest kin we've observed in nature? Single-celled bacteria can expend energy in order to move through their environment against forces like friction and gravity, but a virus "rides the waves" if you will, never expending energy for things like respiration or locomotion. Any energy which is spent internally is potential energy like chemical or gravitational, released through a physical process without need for computation. I am unaware of anything smaller than a single-celled organism which produces such kins, but that doesn't mean they aren't out there. Even ethereal life forms such as ideas can produce these kins within the bodies of countless individuals across the planet, so physically local computational circuitry isn't a hard requirement.

So, according to this framework viruses aren't alive, however we can make the case that some machines are, except the experience is incomparable because of the advanced circuitry we contain which mediates our experience through things like emotion.
That would be an admission of guilt.
> So I can buy the tool without the support contract?

Probably not but it's not something you would like to. Cutting corners is a really bad idea when it comes to hardware development because once it is out there, there is not going back.

Having access to a professional engineering work force that knows how the tool works and know it will ready and interpret the Verilog and process it can make a difference between a 5 minutes delay and 2 week delay in the project.

> So it's automatically a wash? Why bother trying to improve things if there will always be bugs, right?

You are distorting my words. I'm not saying that we should be complacent and just accept incompetence.
I don't understand in what context this can seem accurate, unless it's one of confusing liberalism and leftism. The US presidential candidate favored by the left, in the current and prior election cycles, is a democratic socialist whose candidacy and appeal are both founded on the promise of restricting the power of, and ameliorating the consequences of, the same laissez-faire (ie unregulated) capitalism so beloved of neoliberals.

The left and the right, as a major distinction between either and status-quo-favoring centrists including neoliberals, have in common the idea that radical change is necessary; the idea has been expressed in terms I roughly paraphrase as "capitalism has failed, and in the face of that, we'll have either socialism or fascism", a statement with which leftists in my circle would not disagree. The difference between left and right lies not in seeing a need for change, but partly in means and entirely in desiderata.
Might as well put it here since Fastmail doesn’t come up often. Does anyone find Fastmail’s spam detection to be pretty mediocre? I usually get a few obviously spam emails a week in my inbox. The volume is low so I don’t mind it but that’s really the one thing I miss from Gmail.
Paying to post on a newsgroup is much different than paying an individual to read your message
Some people are saying self-hosting content is the way to go. People interested pursuing that way can look into "IPFS".
There's lot of tools to make the "hosting" part easy (static websites are easy on bare IPFS it self)
Some keywords to search for are DTube, Temporal, Textile.
I'm already on way to self-host my data, hope you can get on bandwagon as well.
It’s not clear that this is how records work though. I think only the top level fields are final - I don’t think there’s an expectation that the array contents would be immutable - and since you can’t redefine the methods, this would have to be done by the compiler and I don’t think that’s the case.

Also, same problem happens with fields which are instances of classes; although the record is mutable, the instances are not. So I don’t think that’s the answer.

I also don’t think records can implement interfaces.
(I work for Fastmail, but am not really involved with the teams that have done most of the work on labels.)

In the backend, there is no difference between labels mode and folders mode; all of the changes are in the UI. There are no IMAP attributes or keywords (they're poorly supported by third-party clients); any email message can appear in more than one mailbox, where "mailbox" means "folder" or "label".

On disk, mailboxes are stored as UNIX directories: all copies of the message (i.e., in all folders/labels) are hard links to the same inode. Over IMAP, each can have its own metadata (\Seen and \Flagged, for example), and they'll probably appear as separate copies (depending on how your client decides to do things).

As you say, JMAP has this built in: each Email object has a MailboxIds property. When the web client (or your own bespoke JMAP client!) fetches emails for one folder/label, and then you click to a different folder/label, the client doesn't have to download that message again, because it already has it in its local cache.
Article might be more successful if it demonstrated some of the advantages of PowerShell, such as returning the output as objects instead of lines, and what you can do with them as a result.

I'll admit to being in the "Bash is what I know, I'll just install WSL/Cygwin/PuTTY on my Windows workstation and be done with it" crowd. PowerShell is on my bucket list of things I need to learn at some point, or at the very least just get a RosettaCode cheatsheet of common stuff I do in bash and how to do it in PowerShell for when I'm stuck on remote Windows servers.
> I’ve met hundreds and hundreds of very talented Samsung executives [...] people who are highly educated, highly competent. They know what they’re doing. They know both, say, the guts of a smartphone in addition to what business decisions need to be made to improve their company. And I’ve always gotten the impression that they can run the show themselves, that there’s really not much of a need this far into their corporate history for a founding family to oversee them.

This brought to mind the devastation of Boeing by MD corporate leadership. And Jack Welch. I suggest the author is undervaluing the avoidance of high-negative variance in top leadership.

The argument for stationary bandit gangs is not that they're wonderful executives, but that they have less toxic incentives than the roving bandit gangs they displace. Asset stripping Samsung, and Korea, is not something Wall Street, and some associated subcultures of corporate leadership, would be unhappy to help with.
Does bats have covid19 immunity serum?
The level of quirkiness and bugginess in the tools is on another level to most software tools. You shouldn't need access to the engineers who built it in order to make it work, this basically increases costs and barrier to entry massively.
They probably had their own Banking industry in mind. This was in Argentina so YMMV. Back in 2010 i had friends in university looking for internships and first jobs and COBOL was a real prospect. A friend took a deal with accenture where they would give you a 2 month-ish course and then send you to consult for banks. I remember the whole "COBOL devs are retiring! salaries are gonna be huge!" which was likely to be true for the agency's rate but didn't trickle down to coders, they used to make as much as the lower rung of IT (QA tester, etc). Later in life I worked at a bank and met the fabled close to retirement AS400/Cobol developer. He didn't make more than any ssr developer with a modern stack in demand.
The security property gained is that with terminatation, other sorts of analyses that check security properties of interest now become possible to prove. It doesn't mean they'll be tractable, but "possible" is a necessary precondition for tractable.
To be pedantic: true and false are shell builtins in Bash and most other modern *nix shells. They are commands in the POSIX spec, though.
Folders can be implemented by having a set of labels of which only one can be assigned to any given message. Then use folder names/paths as these labels and, voila, you got folders.

So perhaps it's something that is coming...
This was useful to me: I've had trouble managing vcard with mutt, and without mutt I'd probably have to give up email. I began using caldav for a similar reason: I'm on Android and my wife is on iOS, and it annoyed me that Android tries desperately to standardize you on Gmail and addressbook, while iOS insists you use iCloud. I like maintaining a degree as independence.

I'm not as clever as the individual who wrote this useful blog, but in my case I set up an account with Fruux, who offers vcard and vcal as a service. It syncs perfectly across several OSes (on Windows I used eMclient, and on Linux as I mentioned I've struggled). Anyone who wants to avoid setting up custom servers, Fruux handles that part easily.

This afternoon I'll try to see if I can get vdirsyncer and khard working. I really wish the likes of thunderbird and kmail offered better carddav and caldav support. Evolution does, but I'm not a huge fan of Evolution (and not sure why).
I hope Apple doesn’t expect that everyone has a “Spare Macbook” laying around. I’ve been experiencing random system crashes when anything connects via TB3, and 3 random Kernel panics since the update.
It's hinted at in the wiki article, but one of the advantages of this configuration is that it is supposed to be safer if one of the engine goes out during takeoff. Multi-engine planes tend to be less safe than single-engine planes (for general aviation) despite the redundancy of an extra engine because if an engine goes out during takeoff most pilots have a very hard time maintaining control of the aircraft.
Indeed, combined with the authors stream of consciousness rant made this an infuriating read. I've met people like this before, usually their paranoia is made worse by their lack of technical knowledge. This also makes them difficult to convince that they are wrong. Since they don't have enough knowledge to tell who is right in a discussion, they often just listen to the loudest voice that is reinforcing their world view.
Use pee bottle if you're male.
Some of the things that would always annoy me with cinemas would be people coming in late, leaving early, sitting near a group that is constantly talking, phones going off or people constantly checking their phones which shine bright in a darkened room.

At least these kinds of problems don't exist at the drive in.
How did we lose to Grenada?
Some email gets printed out, stuck in various binders, and kept for awhile. Then usually set on fire in a ritualised celebration of the impermanence of reality. This is also known as scheduled secure destruction.

The majority of serious email get copied (IMAP or for the email server we run, just sftp) to a pair of DVDs on periodic basis as an encrypted filesystem archive. We then stick it in a dvd swapper drive for offline access. The other copy gets put off site.
You don't need it because the output of commands is a stream of objects rather than a stream of text.
Multiplayer strategy browser game to play with friends: iOS, Android, win, Linux
I tried skimming it and to me it wasn't too different from what POMO[1] might have come up with if it had been set up to generate a lot denser text.

[1]: http://www.elsewhere.org/journal/pomo/
In the past 10 years I've noticed a lot of the manipulations I used to do in "awk, cut, tr" etc are baked into bash.
How much do you want it?

https://www.redcarpethomecinema.com/
As in nuclear bomb goes bang.

I don't know much about nuclear physics (particle yes, nuclear engineering no).
If you need crossplatform scripting and will install a runtime, why go powershell or bash ? Something like ruby or python seems more adpated.
The hard part is merging different changes.
Libertarian lawyer explains Constitutional rights during Covid-19
A possible solution to Covid-19, part 2: how would it work in practice
Writing concise prose is harder than the stream-of-consciousness style; while the former may start off as the latter, it takes a lot of editing to hone it into a sharp implement.
> I feel that this kind of comment is a pure misconception from software people that gets echoed time after time in HN.

But the comment came from a hardware designer, at least the grandparent one (from artemonster)?
If I've read the OP correctly, it would appear that information theorists would say that since the definition of individual is the effect of propagating coherent information forward in time, the "end" of the individual entity would be when it ceases to cohere information forward in time. Given everything "dies," and in this proposition in the blog post individual entities (living units or not) cease to propagate coherent information forward, the implication to me is the entity that is, "I," will also de-cohere.

By defining an individual unit of something as information, they've taken something we only had metaphors and analogies for and concretized it as a category of things that behave like information. I've applied it to something else we only have metaphors and analogies for, and am sounding out whether it provides any additional insight.
Here’s the real deal. I’m quite privacy conscious. Hate tracking of any type, esp. for some mega corps profit.

That said, I’d gladly install a decent security verified app that tracks me for the next 3 months. I’d be happy to self isolate again with my family (as we’re doing now) if I came in contact with someone. But the big issues are:

- ensure tracking is available only to those who need it and doesn’t get shared with any commercial interest.

- my employer supports WFH or short term paid sick leave (maybe with gov’t assistance) for those 14 days.

Get those two things and I think the majority of the US population would opt in. That would be sufficient.

Sure there’s some risk that people are infected who won’t opt in. But that opt in system of “we’re all in this together” is much better than a forced gov’t tracking system.
No return to ‘normality’ until coronavirus vaccine is available, Trudeau says
Yes, I've seen and tried it, but it is not very user-friendly. The first time I installed it (on MacOS) I have told it to import all media, but this is not what I wanted; however I can't find a way to reset the preferences and define the import directories again. Each time it just informs me that it will update the libraries and gives me an option to quit but not to change. It's very frustrating for a piece of software that is supposed to be "simple to use".
Canada Passes Historic Wage Bill to Stem Wave of Job Losses
For those intrigued by the subject of the Fake, I highly recommend Orson Welles’ film “F for Fake”

https://en.m.wikipedia.org/wiki/F_for_Fake
Computer Networks by Tanenbaum should be helpful, along with RFC 793 for specific details (and any prerequisite RFCs).
Aside: this is the English language version of spreading a bunch of ideas across multiple lines of code instead of one mega line of code.
A lot of people (me included) won't make it through a round-trip drive plus an entire movie. The bathrooms are non-negotiable.

Also, cinemas make almost all of their profit from concessions, so if you remove those they're going to have to charge more for the tickets themselves to make up for it. Will people be willing to spend this much?
True, we get results good enough for that usage but not for general applications.

But it is a problem well studied in machine learning and for which you can get off-the-shelf networks to use in conjunction with this paper.
Conway’s Game of Life in Clojure (2011)
>Not in the easiest form, maybe, but you're insinuating there's nothing else in there, when really it's more of a refusal on your part to engage.

people on hn do this constantly - as if precise language anywhere but in stem is a sign of an inferior argument. god forbid you have to do the background reading on something in order to truly understand.
I'm not sure it is that irrational. If you haven't been out of your apartment for three weeks then seeing something like this go on is going to make you feel others aren't taking it seriously enough.

Whether they are technically correct or not doesn't really matter.
I also have a Logitech MX Master 2S, on Arch Linux, and it has been working flawlessly since the beginning.

But the device was introduced in 2017, and you mention Ubuntu 16. Newer devices require newer drivers.
Boris Johnson leaves hospital as he continues recovery from coronavirus
How to build bulletproof react components
I would imagine that they have far less email volume to train any kind of spam-classifying AI on, as well as a smaller amount of (human) resources to spend on advanced spam classification. Google has a huge leg up in this particular aspect.
That’s life though. This is one of the first ‘it’s a you’ problem everyone has to get over sooner or later. Sorry, it’s sounds dismissive, but there’s really no other answer to this.
Quite simple, at least for me syntax highlighting adds no value and is pretty annoying.
Why do car keys have longer range when held next to your head?
What's your goal? Do you want to be a professor or just want to do research? A PhD depends highly on your advisor.
Indeed. I went through the efforts of creating their recommended “learn safe” and “learn spam” folders, but this didn’t help. There doesn’t seem to be a way to reset their spam dataset.
I've spent many hours doing similar things to this--my most recent was building Virtualbox VM's of the more interesting abandoned and ancient OSs from WinWorldPC. So far I've got working versions of OpenSTEP, BeOS, SyllableOS, Plan9, Solaris, ReactOS, Memphis/Neptune/Chicago, OS/2 Warp and ECommStation, and another dozen or so. When I say working, I mean bootable with a network connection of some type, though mine are usually a little higher up the stack than raw UDP.

Thanks for a great read, love ideas like this if for nothing else but to keep one's nerdiness and thirst for obscure trivia alive.
Practical, annotated examples like this are incredible for people with trouble bridging the abstraction and concrete usage. I'm one such person, still being a junior developer and having my own issues.

This is probably the first time I ever see an actual explanation of not only the process, but how pieces connect, and what is going on. It's digestable for people trying to figure things out. Docker would have clicked for me years ago if something like this was available back then.

Now, if something akin to that were to ever be written about DevOps instead of the usual flood of buzzwords, it would be groundbreaking for people who weren't "born with the knowledge". It's easy to agree that the cycle inside that usual ∞ is interesting, but nothing is ever said in the lines of "For example, given you have a backend written in A, when you run X and Y it represents this part of the DevOps cycle. When you have Jenkins configured to get branch foo and run M and N, it represents this other part of the cycle".
Thanks, this was a great read. Interesting how instead of a traditional l-system approach, he went with something more physically influenced.
> I am still grumpy that they replaced Spaces by Mission Control

Can you elaborate? This terrifies me as I rely a lot on Spaces to organise my desktop between different projects

Is this a change in Catalina?

Is seems like Spaces is still a thing:
https://support.apple.com/en-gb/guide/mac-help/mh35798/mac
https://support.apple.com/en-gb/guide/mac-help/mh14112/10.15...

I'm pretty happy with how this works in Mojava, apart from the major gripe that the apps don't restore to the Space they were in after you reboot.
I suspect http://n-gate.com/ is gonna roast this post’s comments.
How many users does fastmail have?
Anyone working with this stuff: what are some textbooks on verification etc. Preferably a bit of theorem proving too but I'm not sure if that's in the same area of study?

I'm coming from a physics background so I never really know where to start when I inevitably start looking this stuff up at 4am.
Yes, deeper immutability and interfaces, but it also allows you use method references. Getting all the x components of a collection of Foo is just:

foos.stream().map(Foo::x)
To the others commenting on this comment: YHBT. HAND.
But if the UX is objectively worse, requiring additional unnecessary steps, it’s super annoying.
Location: London, UK

Remote: Yes

Willing to relocate: Yes, internationally also

Technologies: semi-technical python non-technical: growth, SEO, marketing, devops, worked in entrepreneurship

Résumé/CV: https://linkedin.com/in/davisonio

Email: craig@davison.io
If you're interested in philosophy, Stoicism might help. A lot of CBT is based off of stoic principles. In fact the book, "How to Think Like a Roman Emperor" goes through that history and teaches you some really useful CBT techniques.
I trained the “personal” filter myself using their instructions years ago when I first started using them and it’s been pretty solid since.