skysight-inc/HackerNews huggingface dataset:
One thing that would be great would be if people would throw on a mask if they have to go out while they're feeling sick. This is considered common courtesy in some places, but just isn't done much in the West. You could do so yourself even when not sick, and that presumably would help protect you from people who are sick (and are probably not masked), but I expect that will be considered socially "weird" after things go back to normal.

Continuing to wash your hands often and avoid touching your face (especially after touching things in public like door handles, elevator buttons, etc.) probably would help as well.

Agree that social distancing isn't really practical outside of the current situation.

But really, there are just a lot of things that you won't be able to avoid, at least not unless you want to stay at home more often than you used to rather than venturing out. Conference rooms at an office, crowded public areas, public transit, even lining up at a popular takeout restaurant... all of these things make it easier to pick up something from someone else, as virus particles in water droplets can linger in the air for quite some time.
The Equal Credit Opportunity Act (ECOA) is a United States law (codified at 15 U.S.C. § 1691 et seq.), enacted 28 October 1974,[1] that makes it unlawful for any creditor to discriminate against any applicant, with respect to any aspect of a credit transaction, on the basis of race, color, religion, national origin, sex, marital status, or age (provided the applicant has the capacity to contract);[2] to the fact that all or part of the applicant's income derives from a public assistance program; or to the fact that the applicant has in good faith exercised any right under the Consumer Credit Protection Act. [a]

The Unruh Civil Rights Act is a piece of California legislation that specifically outlaws discrimination based on sex, race, color, religion, ancestry, national origin, age, disability, medical condition, genetic information, marital status, sexual orientation, citizenship, primary language, or immigration status. [b]

[a] https://en.wikipedia.org/wiki/Equal_Credit_Opportunity_Act

[b] https://en.wikipedia.org/wiki/Unruh_Civil_Rights_Act
Which report(s) were cited in the official reports / documents recommending / specifying mitigation strategies? Is there a timeline anywhere?
So how exactly does your system of belief work?
I use roamlikes as a combined bookmark / note-taking system.

I tend to spend a few minutes every day taking some interesting links from HN or elsewhere (that I may or may not read that day) and creating entries for them in my personal wiki system.

(This is how I keep track of collections of related links -- for my post above, I just searched for [[knowledge-graph]] tags in my wiki system and copied the results into an HN comment)

I find this most useful for topics that I know I'd like to explore in the future, but just don't have time for right now. The Google search signal-to-noise ratio has lessened so much that I know I'll never be able to find a specific link again unless I remember the exact title, so it's useful to have a way to quickly assign tags to a URL and forget about it until later. Tagging systems are much better than a hierarchical bookmark system for recall later [1].

Then, when I take the time to read about a certain topic, I start taking notes in the .md file corresponding to the appropriate keyword or citation.

The best part is discovering new connections between topics -- sometimes I'll type a [[keyword]] in my notes, and see that several of my existing notes already link to it.

I'm still learning how to best use a system like this, it does take some effort to maintain. Right now what works for me is really short, concise notes about very specific keywords to start. Then I'll do a "synthesis" pass where I'll summarize the relationships between several keywords all in one document, and then make all the keyword nodes in the graph point to the synthesized document instead.

[1] Nayuki, "Designing Better File Organization around Tags, Not Hierarchies" -- https://www.nayuki.io/page/designing-better-file-organizatio...
EU rebuilds its microchip industry without involving its own chip makers
>Apple Watch nowadays is using Apple (codenamed Marconi) Wi-Fi + BT chips, hopefully they'll switch all their product lineup to those.

Apple has renewed their WiFI commitment to Broadcom for at least another 3 years. Marking WiFI, or in fact any Wireless Controller is hard, making it that is also a moving target ( Both WiFi 6E/ WiFi 7 and 5G / 3GPP Rel 17 ) is even harder.

But if Apple do intend to make their own WiFi ( Which makes perfect sense from an BOM cost reduction perspective ), please also bring back AirPort Wireless Router.
What if you amortized your fixed costs (equipment?) over expected life span and included that in the breakdown?
It's free for developers now: https://www.wolfram.com/engine

And also: https://www.wolfram.com/wolframscript/
I have been using linux on a laptop for the past 5 years. The only issue I have is with Nvidia (which is a requirement in my case).
I am at topre and love it.

I ended up with realforce rgb and don't care about the rgb, except it's really nice to have a lighted keyboard at night.

I don't think there's an RGB PFU, is there?

I added the little topre foam surround damper things and it was kind of expensive, but made it a lot more comfortable (and maybe quieter).
Personally if I would want to write something I'd probably just write it in C++. But a friend of mine who's an English teacher had to create an interactive story with Inform7 during his education. I was really impressed how simple it seemed for someone with no programming experience.
Are there any high performance single-board computers on the market currently? I use a lot of Rpi's in personal projects, and I've been thinking about a home file server in a super small form-factor. What I would like is an SBC somewhere on the size scale of a smartphone, with performance in the range of a current flagship phone.

Does something like this exist?
I moved to Reaper after Logic X was released. I know it’s a dead meme to decry the X version of an Apple software product (looking at you Final Cut), but in their desire to reduce complexity in the UI, they made what were previously common tasks for advanced user, incredibly difficult to perform.

Since moving to Reaper I’ve feel like I’ve been in a dream land. Things work in their own way, and I can customise it to my hearts content. Programmable too!

Very happy camper over here.
The LiveView is just a HTML page so you can have whatever CSS/JavaScript you like on the client side for animations and interactivity. Talking to the server is opt-in and you’d basically do it wherever you’d usually make an API call from React etc. The go-to for JS in LiveView seems to be Alpine (https://github.com/alpinejs/alpine) but I haven’t got around to trying that out myself yet.
The problem with Bluetooth is that it just doesn't work well when you want to use one keyboard or mouse with multiple computers.

For this reason I prefer the dongles. Want to use your mouse on a different Mac? Just plug the dongle in a different computer.

I don't know how often I ended up at the password prompt with no way to type the password because the keyboard didn't connect, or was connected to a different Mac, and I had no idea how to get it to connect to the Mac I was trying to start.
> The problem with USB is that the protocol is designed with no data loss in mind

USB employs two error checking methods to ensure that data is sent correctly:

https://web.archive.org/web/20130615145009/http://www.totalp...
So normally when we say "proof", we assume the proof is correct. But in this discussion we are talking about possibly incorrect proofs, with the goal of verifying the correctness of the proof. So let's change "proof" to set of statements/procedures which may evaluate to "true", and we need to verify that they do evaluate to true. Things like loops do appear in proofs as quantifiers. So for example a proof may perform a sequence of steps in which some set is depleted, and conclude that "as we must deplete all the elements the set, the claim holds", but determining whether all elements are actually depleted by the algorithm spelled out in the proof may be hard. These types of claims appear in actual proofs, and the types of errors that are found in proofs often boil down to some case being not considered which would cause the set not to be depleted.

Update: I'm unable to reply due to hn recursion limits, but as to your strictly smaller argument, that is not enough with infinite sets, which are common in proofs. Consider a proof about all surfaces, which you think you divided into a countable number of cases, but in reality there are some other types of surfaces you haven't considered. In math you are making assertions, in some sense, about the world, albeit the mathematical world, and you are claiming to have explored all the relevant parts of it for the sets of interest, but you may have not explored some parts you didn't know existed. The idea that you can formally verify such a sequence of claims is .. mind boggling. There is a reason why very little progress has been made in formalizing math, and mistakes are sometimes discovered in even published proofs.
Same I stocked up on Microsoft curve 2000 because these have great response, are quite firm and still have a long travel.

When they went out of production I stockpiles four and I'm on my last pair (home and office)

I had a mechanical keyboard before these were fashionable, but are honestly too loud to use in a shared environment without feeling like amasshole.

Oh and there's also the fact that cherry stuff have ludicrous prices for what what they are and what marginal improvement they offer. Heck, most of them are still in the straight slab form factor, it's clear they mostly appeal to nostalgia and not actual ergonomics.
IoT Modules for Micro:Bit
I think one of the most notable things is learning how to talk and to think in clear (and effective) ways, even if unfortunately sometimes it's employed in a way that comes off as low in content or expertise.

It's about understanding how to organize thoughts and present a point in a way that an executive would want to make a decision on a topic. (When it goes the way it should.)

After a stint in consulting, you sometimes have meetings with people you work with up and down the chain in a company, and you wonder, "my god, how do you get through every day with the disorganized jumble of random thoughts you're spewing in this meeting?"

At its best, it teaches you how to find and organize evidence to make a point, convince people of something, and get things done.

At worst, well... those skills can be employed by people robotically going to create meaningless (or harmful) advice that a company already knows, for lots of $$$ wasted. Like so much else, it is often a reflection of the capability and state of the person paying for the work. You get someone who's under lots of deadline pressures, dug themselves into a bad budget hole, doesn't know what good work looks like, and you're gonna get a shitty consulting output that makes the headlines (or makes people remember) that consultants can produce lots of BS.
I have never heard of such a thing in the US. Someone else will have to chime in about European countries.
I think its interesting how there is sort of a revival of retro style games and we are now getting brand new games that look like they came out in the 90s. Games like Dusk are awesome fun but don't have all the weird quirks of running old games on a modern system.
Not sure. Sweden had no strict lockdowns. No mask mandates (only recommendation to use one in public transport during rush hour). They also had a lot of deaths in nursing homes when the COVID first hit. Meanwhile my country (Lithuania) was in strict lockdown last spring and is still in lockdown from the beginning of November. It was made stricter mid-December and only recently some restrictions started to be dropped. So while in strict lockdown we managed to catch-up and surpass Sweden by the number of deaths per million.
As a european, I found this part shocking :

"The EU's new strategy was announced by Margrethe Vestager, the European Commission's executive vice president for the digital age, and Internal Market Commissioner Thierry Breton, who are expected to release more details soon after discussions with the world's leading chipmakers Intel, Taiwan Semiconductor Manufacturing (TSMC) and Samsung Electronics on April 30."

And not a single word about ST Micro in the article...

[EDIT] Found a related-submission https://news.ycombinator.com/item?id=26990450 which has a more positive tone and talks about an european alliance involving STM, NXP, Infineon and ASML.
From what I've seen they at least had hardware which allowed for memory dumps and step debugging. But yes, modern tools for emulation and development targeting older consoles are really impressive.
In my lab we don't really believe a result of it has a ct of 30. 37-40 sounds like asking for bad results.
You could use CRDT for more complex games which are not turn based.

https://moosecode.nl/blog/how_deltacrdt_can_help_write_distr...
idea > practice > formalization or idea > formalization > practice
> discriminate against any applicant

Does someone who has not applied but that you are just advertising to count as an applicant?
Pretty off topic comment, but I read the title as "inheriting money is a way avoid being a high performer", which happens to be true, although completely irrelevant to the actual
article. ;)
I personally have a qnap Nas because I wanted something cheap. I did not enabled all the fonction and I will definetly not enable all the "internet functions".
Yeah, the dongles themselves work fine, it's other USB 3 devices that cause the problem (eg. hard drives or USB 3 hubs).

Bluetooth is also affected by the interference. The advantage of a dongle is that you can use an extension cable and move the transmitter away from whatever is causing the interference.
> (those who say "Hackers News? Never heard of it.")

"learn to administer microsoft tools, like active directory and exchange."
You really need to decide in advance what you want to get out of LeetCode. It has a lot to give.

For example, some LeetCode questions are textbook problems. You really should familiarize yourself with them, but you will probably never see them verbatim on an interview. Other LeetCode questions are too tedious or time-consuming to do on a whiteboard in an hour. You will also not see them on an interview. For some people they can be fun brain-teasers, but if what you want from LeetCode is time-efficient prep material, you need to be able to tell apart these three kinds of questions.

If you look at comments on LeetCode questions, you will immediately discover that tons of people treat LeetCode as a pissing contest for its own sake. Should it matter that your solution runs in 18 milliseconds and theirs runs in 15? Or that they code-golfed theirs into 200 characters? Probably not. On the other hand, most canonical problems do have canonical solutions, and you should probably know what they are.

Knowing what to take from LeetCode and what to leave is almost its own discipline.
Is there a way way I can exactly replicate a Microsoft Sculpt, but with the apparent reliability or key action of cherry browns or clears? Because right now my mech keyboard is rotting in a cable bin while my hands, shoulders, and wrists are always so happy with the Sculpt.
EU explores chipmaker alliance as alternative to foreign-funded megafab
Just the external IP, no markup. Domain will be up until 2108
These are the programming languages Tesla uses
It needs to be psych oriented.

If you are in high pressure situations you need people who can handle pressure, stay focused etc i.e. not neurotics. Discovering that they cant, when shit hits the fan will have a big cost. On the other hand, if you are dealing with problems requiring curiosity, there is more tolerance for the neurotics and less tolerance for obedience trait holders who need to be told what to do.

Psychology gives team managers that mental framework of what to look for, a vocabulary to think about the types of chimps in the population, where they fit, what they can handle, when they need a break, the spectrum of rewards and punishments that work depending on the personality type, needs, values etc.

Without that knowledge, most good managers will spend a lot of time coming up with their own frameworks (usually to fit a very specific small problem domain) that will invariably resemble what already exists in psych text books.

Yes some managers will take advantage of the knowledge but that is a separate issue to whether the knowledge is required to build good teams. It is.
I’m waiting for the Nordic layout K1 (brown switches) to appear to try a mechanical keyboard for the first time, good to hear their build quality is acceptable (been reading some online reviews, and some people seem to have issues with Keychron boards).
Server rendered animation sounds less susceptible to latency than interactive elements.
Coffezilla's breakdown: https://youtu.be/4uxWjgrr3BA
It's more so that I am in awe of the widespread brainwashing that I see in society.

Head into a college library, maybe into the biology or genetics section, crack a book from twenty years ago thats not well known. Read dissertations, there are bodies of knowledge inside universities and medical professions that aren't exposed to the public.
> +1 for silent linears

I have been extremely impressed with a heavy linear switch (Hako Clear - 75g). It has a bouncy feeling if you learn not to bottom out.

https://kono.store/products/hako-clear-switches-10-ct
It's a quote from Harari's Sapiens book: "[History is something that very few people have been doing while] everyone else has been ploughing fields [and carrying water buckets]". For some reason, it's in Romanian.

It may sound full of hubris, but I don't think that's the intention. Check out https://www.nano-editor.org/news.php for previous release names. The maintainer has gone through a wide variety of references.
If you want to learn what's on the site a the first semester of university maths would be a good choice.
Raising-a-Family Index
In Lithuania health care barely functioned in mid-2020 purely because of the anti-pandemic measures and restrictions not because of being overwhelmed. It's only by the end of the year when the big second wave hit they were stressed.
Yet many months lost because of lockdowns and bad decisions.
Yep me too. I skipped blues despite really wanting them.

I got an IQUNIX F96 with reds. It’s been great.
When it was first announced, the students weren’t paid. There was massive outcry on Twitter and elsewhere that this was an illegal violation of labor laws so Austen changed his tune and said Lambda would pay the students minimum wage.

There are so many shady, obvious blunders like this when it comes to Lambda School
Did they replace the iterable CEO with a non-iterable CEO?
Denn, so schließt er messerscharf, daß nicht sein kann was nicht sein darf.

(Because - he concludes in clarity - nothing can be what is not allowed to be, a part of a famous German poem)

It's a political ploy: If children don't go to school, parent's cannot go to work. This hurts the economy. A certain number of Covid deaths is acceptable as long as the economy is not hurting.
I get outright scam ads on YouTube, from YouTube once a week at least, and nothing ever happens to make them stop because I don't care enough to invest the insane amount of effort it will take to reach someone at YouTube that would care enough to stop it. And then the next outright scam add will pop up. So I am not sure by what mechanism this accountability functions if it can't stop blatant scams on YouTube adds.
I think the grand-parent was asking about the code name of this version, "Toți ceilalți arau câmpurile", and not the program name.
I sometimes end up at some blog hosted by Hypotheses (https://hypotheses.org), self-dubbed as a "platform for humanities and social science research blogs". The quality of the posts is usually good. Blogs are in English, Spanish, French or German.
Is there an alternative programmed in Rust?
My daily driver is a 30 year old Apple Extended Keyboard II, however I did have to go through several (6) to find one that only needed minor repair and had the right feel. Now that I have though, I feel pretty confident I can repair any switch that starts to act up.
Why Are Web Developers Choosing Node.js over PHP?
I can't help but think of this battery rebuild:

https://youtu.be/afwO_MZjRjA

amazing, really
I've got a fully-updated iPhone 11 with iOS 14.5 and your site works perfectly well with my device in Safari.
Keep your elbow up when facing the recycling machine. :)
What? No, at least the tests we use in my country is specific for one virus. People with influenza don't get tested positive for covid.
Honest personal opinion is that all of this stuff is a bit much. I agree that the stock keyboard you get with pcs and most laptops are a joke, but for most people (even engineers) a decent regular keyboard should be sufficient? Isn't the point of devices like keyboards and mice to disappear from my head so you only think about what's on the screen and what you're doing with it?

If this is what you want to spend your spare time discussing and buying sure, but let's not propagate any pseudo scientific facts about the superiority of mechanical keyboards in any regard. I've only seen people slow down typing in these clackety things going from an apple keyboard and I don't want to be in any zoom meeting with these folks either.
How so? 60fps means it requires constant updates every 16.6ms or you'd get a very noticeable frame delay or skip. Again, not really the best use of Live View, because it'd be very hard to guarantee that stability for all users in different Internet conditions.

Whereas interactive elements just require an update in 100ms or 200ms after the user pressed a button, which is not that hard to achieve.
I live in Europe and never experienced such a thing. Perhaps to be more specific: I grew up in Spain and now live in the UK. To the best of my knowledge, children keep catching the flu every year and passing it on to their parents, who instead pass it on to their colleagues in the office (or used to, before 2020).
Dunno why, but IPFS seems such a kludge. Just share your static files in the distributed hash table and access those resources via their hash ID. Like... it's not much.

This news is interesting as I wonder what happens if .crypto does become a TLD?
I mean, I get it, but isn't it also just a little ridiculous to think that someone lending money would not legitimately want to use a measure of creditworthiness, which might have some correlation with age?

Credit score (or credit worthiness) is an indicator or reflection of how likely someone has been to pay his/her debts over time. You want a measure that indicates some track record to not have any correlation with someone's age? That's almost as nonsensical and headscratch-worthy as the job listings that ask for 5 years of experience in <xyz> for an entry level position.

Sometimes trying to be so fair, you throw intelligence out the window.
Latency is the reason. Even in a turn based game it still feels really bad to make a move and have to wait for it to make its way through the round trip before seeing the result. In a game with strict ordering like Tic Tac Toe there is little reason not to show the chosen move immediately.
I just want the keyboard to have those nice color keycaps and the tactile sensation to remind me of old IBM keyboards I used to have as a child.

Those were the days when simply using a computer or touching a keyboard was a rush, computers were rare and everything was so mysterious. Now they are commodities without much poetry in them. So I want the poetry back.
It is also easy to write MIDI and audio effects in JSFX (https://www.reaper.fm/sdk/js/js.php) and there are tons of extensions available that do almost anything you can think of.