skysight-inc/HackerNews huggingface dataset:
Hi, you should hide elements with CSS instead of with JS, following is visible on visiting the page with JS disabled.

"A confirmation link has been sent to your email. If you register and confirm your email, you can skip this step."
Possibly Bedrock fits your needs: https://bedrockdb.com

"Bedrock [..] is a networking and distributed transaction layer built atop SQLite"

"... That query can be any SQLite-compatible query – including schema changes, foreign key constraints, partial indexes, native JSON expressions, or any of the tremendous amount of functionality SQLite offers."
Performance of pooled testing for SARS-CoV-2
Field geology at Mars' equator points to ancient megaflood
This is very cool! I miss the intergity, simplicity and minimalism of Turbo Pascal.
Never thought of it that way and, while I strongly agree in general, 8h/day is a large chunk of our life. I can see how working alone at home vs with more people, even if you meet people after work, can be lonely for some!

I normally cowork with friends around once-twice a week (I did the same before the pandemic!) but I'm lucky to live in a big city with lots of friends. Or maybe that is exactly your point? That now that people are freed from the office they can meet and work with friends?
Agreed, that is also a reason why I think in the end GC by default (regardless of the algorithm) + affine types will win adoption across mainstream languages, and pure affine type languages like Rust will find their niche on scenarios like those where certifications like MISRA are required, or kernel stuff.
Yeah I'd swear I'd seen that too, but I can't find it quickly either.
Why Does a Virus Cause Problems in One Region but Not Another?
Show HN: I have created a Chrome extension to let you travel despite Covid-19
The point of a no-class framework is not to have zero classes in your html. The point is to have something that looks good with almost no effort. Obviously if you want to further customize, you're going to have to either introduce classes or violate semantics.
The guide on 1-on-1 meetings for remote teams
Yes, I also use only ECC memories in all my computers for the same reason.

When they are new, memory errors are very seldom, if at all.

Nevertheless, after several years of use, I had many cases when some DIMM modules began suddenly to have frequent errors and being notified by ECC allowed me to replace the modules (or the motherboards if they were very old) before causing unrecoverable data corruption.
It is very difficult to get traction here with an article that has more hastags than text. Try to convert this to a listicle with the graph and the top, then some info about Singles's day and Thanksgiving [Hi from the rest of the word!]

And then some technical discussion about how you made the graph. Is the AI powerful enough to make all the graphs you have posted? Do you have to tweak it for each case? What kind of (funny) false positives do you get? (The index of programing languages use a method that is slightly similar, and it is interesting to read how they solve the problems with the false positives and spelling variations.) Try to write a technical article around the image.
I've come to the conclusion that maybe us computer people are not truly smart. And we just like the comfort of thinking that we are.

Yes, we're good at logical thinking, implementing systems, reasoning about problems etc
This just makes us useful in the end or good at a certain way of thinking.

"Men of science may be simple tools of others, with no more idea what they are about than a hammer has of a house"

I believe this is true of software developers too - if we were truly smart we wouldn't be on the hamster wheel in a cage belonging to someone else
>I don’t understand this comment, do you suggest all forms of social contacts are created equal and people should just replace the social interactions they used to have with co-workers by visiting their family more often, organizing more poker nights with friends or taking salsa classes or whatever?

I don't understand this comment. Do you suggest all your family members and friends have lower value than your work colleagues and it's okay to let them suffer? Or are you saying that all unemployed people should suffer the consequences of not having coworkers?

See what I did here? It's called a strawman argument. You didn't say that, but someone on the internet could easily do that to something you said and turn it into something you didn't say, write, or mean.

What I am saying is that this pandemic is taking a toll on many people and has exposed crutches we relied on before COVID. What I'm also saying is that these give us hints on what we can try to improve.
I see what you mean. I always get this feeling that all the changes are better for people in general, but power users get screwed in the move. I used to love how difficult power powerful UIs were. Back in the 90s and 00s, tools like photoshop and Office used to be complex, but felt so crisp that once your learned them, it was like playing a piano. Muscle memory and keyboard shortcuts made things feel so fast. Now it feels like everything tried to “learn” my preference or suggest shit to me.

Dialing numbers and texting on my old flip phone used to be easy. Now, using google voice on my iPhone to dial a number is horrendous because it’s trying to “suggest” someone for me to call with every digit that I dial.
Yes that may well happen.

It's also noteworthy that the BTRFS change was driven by community members, mainly from Facebook.
This reminds me of the ‘net send’ spam that ran rife in the late 90s/early 00s.
Agreed. When we focus on the part of the spectrum of optimizations that do require talent, we're thinking of the exceptional, interesting, makes-a-viral-post-on-HN stuff.

The bulk of the work, in my experience, is simpler than the programming part. It's just a culture/priority thing. Like how most of the industry used to not use source control. Now we do, we didn't need to add "talent" to get that done either.
Thanks for posting this! Love to read about this topic and learn more about military advantages during certain periods of time, especially primary sources. The importance of highly skilled mounted archers in medieval warfare I feel has been discussed a lot on the internet already. It obviously required a level of dedication, commitment and toughness that can be rarely found these days, but was present in steppe and other nomadic tribes through history.

What made me really understand this better than anything else though was playing "Mount & Blade 2: Bannerlord" (A kind of realistic medieval RPG, incl. a great Multiplayer option with Siege Battles etc.). In this game it's basically impossible to escape mounted archers in an open battle ground, especially when lured out of formation without a horse. It was eye opening for me to experience it in this kind of a way. A really lucky javelin throw or killing an attacking horse with an arrow to the head (when in range) could maybe save you. But in general mounted archers or armored cavalry would break the formation of front-line soldiers then attack them while circling around them, retreat when necessary, cut off supplies and basically terrorize the enemy on the battlefield until everyone is dead or has fled. Playing against other human players and not an AI gave it a very different feel too. Since winning strategies are abused heavily, which imo would have also happened in real-world setting, until the enemy strategies adjust to it.

There was an interesting write up in /r/askhistorians the other day, where they discussed military tactics of the Turcs and also Mamluks and other steppe tribes during the first crusades. Basically attack and retreat until the European enemies were exhausted from wearing the heavy armor needed for close combat.
- https://www.reddit.com/r/AskHistorians/comments/jkvcg4/did_s...

- Also highly recommend a book from Yuval Noah Harari "Special Operations in the Age of Chivalry, 1100-1550".
Also, oftentimes your work-office experience and home-office experience are inversely correlated. Before the pandemic, the tradeoff was to live in the city in a cramped space to be close to the office (and other amenities), or to live further away with a lot more space, but have to deal with a commute.

The people who chose proximity are still paying high rent, but have lost the benefits, and are now trying to make do with laptops on their couches. The people who chose space have big desks, two monitors, comfortable chairs, and now don't have a soul crushing commute anymore.

The change in circumstances hits very differently based on what (perfectly valid) choices you made earlier.
I agree with the sentiment of your creative approach. I think a good middle ground is having offices in neighbourhoods, within walking/cycling distance where people from different companies come to work. They get the benefit of social interaction, "getting out of the house", and avoid a car journey.

Living in the UK, I think that would also help restore the feeling of community, as a gathering point for people within a local area.

Personally I prefer working from home and have done so for 20 years, almost all my working life- but I understand why people have reasons for preferring an alternative.
Thunderbird ruined GPG by storing people's keys on disk in the clear
It's not so black and white. Regardless of my social life outside of work, I loved the job I have precisely because there are so many nice people I get to share fourty hours per week with. And I miss them.
Cryptomator for Android is becoming open source
I only live about 10-15 minutes from campus and campus is beautiful. I get along great with my coworkers and boss. My current working arrangement is sitting in a chair in the corner of the living room with my computer on my lap and all the kids are there also doing there school work. All of this might make it sound like I can’t wait to get back to campus. To be honest just the thought makes me nauseous. I’ve loved working from home and would be thrilled to be able to continue working remotely from here on out.

I love rolling out of bed and immediately starting to work. I love not having to waste time getting dressed and driving to work, but using that time to work. I love not being interrupted constantly by coworkers. I love using my own bathroom. I love having immediate access to my own kitchen. I love being able to see my family more frequently. I love getting more work done.

Unfortunately, my work has made it very plain that we will be going back to working in the office at some point (probably has something to do with them completing an additional 5 million square feet of new office space this year).
Program extraction.

In dependent type theory if you've proved "A implies B" you can extract from that proof a program that takes an argument of type A and always halts, returning a value of type B. Moreover if you prove some property about proofs that A implies B, you've also proved the corresponding proposition about programs.

This means your proofs get to deal with programs directly, rather than having to formalize them as something like Turing machines whose tapes are set-theoretic encodings of lists of integers. It's excruciatingly painful to write non-hand-wavy proofs of anything that way. Hand-wavy proofs that can't be machine-checked aren't so bad of course; complexity theory folks have been doing that for decades.

If you aren't proving things about programs or homotopy then there really aren't any obvious reasons to prefer dependent type theory. I say this as somebody who loves programming with dependent types. But I'm being honest here, and I wish more people in the mechanized mathematics world would be honest about this.
tl;dr https://twitter.com/deviantollam/status/1329924305711316992
> Translate Point Conception from Spanish to English and you get the idea.

Translates to the same thing? I don't get it.
> That, or maybe they're just helpfully pointing out the advantages of keyboard navigation to their fellow users.

It's about as helpful as telling someone to go shit in the woods when they ask for bidet recommendations.
>> * The distinction between the beginning and end of my work day.

>> * When someone of greater rank than me in an inconvenient time zone wants to have a meeting with me involved, I have to attend. I’ve practically lost all my mornings from 6am - 9am, 3-4 days a week.

You know your situation best obviously but to a random outsider this sounds like the (reeeeeeally) common issue of not being well practiced at saying no.
That's a very good point, I'm really enjoying working from home and I attributed it mostly to not having to do the one hour commute each way, but there's so many more things that add up:

- At home I have the most comfortable chair I could find on the market that fits me perfectly. At work there are very basic adjustable chairs and they use some slippery fabric.

- At home I have an ergonomic mechanical keyboard vs. a cheap rubber dome keyboard that kept running out of batteries at work.

- An ergonomic mouse, vs. a tiny mouse that doesn't even have a back button.

- Two 27" 4k monitors, vs. a single 24" monitor.

- Always a nice room temperature, vs. often being too hot or too cold.

- Bathroom always available, vs. sometimes having to wait to use the bathroom.

- No interruptions, vs. occasional interruptions.

- Working in silence, vs. having to use noise cancelling headphone and listening to music when I don't want to.

To me the only drawbacks are that Zoom meetings are worse than in-person and not being able to have hallway discussions, but the many gains in quality of life easily make up for that. But the situation could easily reverse for someone who only has a tiny laptop and no room for a home office.
> We all know it’s ugly. Nobody looks at those designs with approval and admiration.

Well, at least that's an insight. I wasn't sure that anyone Japanese does think it's ugly because, as the article points out at the very beginning, it's in contrast to other parts of the culture that are deemed part of the design world.

Other than that though, I'm not sure what your point is?

> They keep repeating their Japanese people propaganda, but you don’t have to believe it

Strangely enough, I have no inclination to believe it. I'm more worried about the insidious racism and xenophobia that it breeds in those who do believe it, which seems to find enough expression in the general population that there's an endless stream of anecdotes shared among foreigners here.

> my foster family felt very strongly about America being the best in everything, and they made sure I heard it all, but in the end, I never really believed what they said. It sounded too similar to what my family said back home.

Okay, it's just bad luck and foreigners are being mean by bringing up fax machines. Convenient how that argument insulates the culture from criticism and implies that nothing should change, which is a view that over-patriotic people would probably agree with.
And so it starts, the journey to something else. Thanks Docker.
But that's certainly a personal choice though. One day, with enough advances, we may choose to live arbitrarily extended lives.
> Then, just after the warranty expired, came staingate: [picture]

Sucks to be you that you live in a country where consumer laws apparently suck. I got the screens of 2 MBPs who suffered from staingate replaced, for free, under the recall program (which, due to consumer law protections, lasts longer than 2 years for consumers (not businesses)). One barely suffered from it; they replaced it anyway. One of these MBPs I even bought 2nd hand. I wrote this message on it.
It's far from being black and white, hence the effort to improve. What I said does in no way mean one does not love their job or miss their coworkers, it simply means there is a situation with problems that could give us pointers on what we can improve.
My dream tool would be a mobile version of zim-wiki. They started work on it years ago but it never got far.
Something that doesn't get brought up is this + onboarding jr devs/new grads.

The mentorship programs don't really work in my experience without actually being able to talk to them.
Back when I used to work for BitKeeper, having support problems ultimately be traced back to bad memory (or disk, or nfs, ...) was a common occurrence. BK would checksum everything it writes to disk and verify those checksums when it read it back. And since it uses 'simple' arithmetic checksums rather than 'secure' ones it was possible to pre-compute the checksum we would get when writing new files so even memory errors would be noticed if it changes what we will be writing to disk.

The hard part when doing support is convincing the customer that the errors in your software are from their systems. I had to learn the failure patterns of a couple large filers so I could look for them.

Now we use git which is fine, and git uses much stronger checksums. My main concern is that since those SHA{1,256} checksums are expensive they are typically generated only once and then only used for lookups. If you intentionally corrupt git files, it is hard to have git notice without explicitly running a check. These checks should be done it cron nightly as part of backups.
There was a parking kiosk machine near my house that was using a raspberry pi. I only know it was a raspberry pi because it's often stuck in the boot screen with the raspberry pi logo at the top. My pihole runs for months without issue, but this kiosk was down really often. I wonder why, maybe the sd card is not reliable enough, or maybe it's the climate fluctuation like you mentioned because the kiosk is outdoor?
So great and love to detail (just the subtle smooth flashing when you finished the presentation), great color scheme and the best: just the essentials and no nonsense features.
Having used several UNIX flavours since 1992, I can't relate to what is simple in UNIX, unless you are speaking about V6.
They should really be using <section><div> for those cards. They're divisions in the content - there's no inherent semantic meaning to them being styled to look like cards, so they should be using the 'this has no semantic meaning' <div> tag.
Depends on your definition of support I suppose. Redhat employs so many more low level engineers they can generally get you a z stream patch or something to fix a legitimate bug. Canonical is an exceptional marketing company, but I've found their engineering to be lacking when it comes to enterprise. As someone who's worked as a linux monkey for companies who pay Canonical for support and for companies who pay Redhat for support, I've always found the Redhat support to actually solve the root cause. When we filed what we thought were legitimate bugs with Canonical, the common response was just to "upgrade to the latest version of Ubuntu". When we asked them to confirm that doing so actually fixed our problems we just got crickets.
> all the online resources on cubical type theory feel impenetrable.

Same here.
Huh, I didn't know that.

Still, I think it says a lot that they picked these particular historical moments instead of the probably overwhelming history of Asian people doing samurai-ey things
I think office work should be an option companies provide, and it should be like an AirOffice, floating, in co-working or "business center" office space, or even ad-hoc such as at such and such a cool, wifi, remote work friendly cafe. I think this is the future of work and that's how I want to run my company when it employs people. I had this idea since around 2010/2011.

I know this won't work for everything. Factories obviously need to be staffed (so far). But for 'knowledge work' we should be able to work anywhere, including, if the need arises, to rent private digs and all get together in person.
Docker-Compose for Django and React with Nginx Reverse-Proxy and Let's Encrypt
I don’t know if you tried it, but I know who during lockdown and working from home would still wake up at the same time, do the same morning routine, dress, go outside and walk for 10-20 minutes like they’re going to work and get back home like you’re walking into the office.
Haha np, I actually posted newcss on HN as well (and use it on my personal site)!
Your Best Friend to YouTube Success
The long intestine bit is a common piece of nihonijinron.

https://en.m.wikipedia.org/wiki/Nihonjinron
I have found it surprising that there was no JavaScript no-backend notebook. Tools used either Python-based Jupyter (fine, but perverse: why JS -> Python -> JS), Node (e.g. RunKit), a complex superset of JS (e.g. ObservableHQ), were like JSFiddles (sandboxes, not notebooks), or are on-offs (e.g. in Eloquent JavaScript).

Thanks for creating StarBoard - it was, as is, needed!
I thought that most font rendering was still happening on CPU. Usually, characters are rather small, so the overhead of shipping the data to the GPU does not seem worth it.
>and greatly diminishing portability of Linux apps vs other Unix O/Ses

Thank's god for that! An OS should build on its strenghts, not be a least common demoninator for portabillity's sake. If that was ok we might just as well just use one OS
Any suggestions for iOS?
Feature Store 2.0
Some of the most simple things are ready to become products, but they're sitting on a shelf. We've had widespre commercial interest, but it seems the boss isn't interested in small things. The more complex and involved ideas have a long way to go, even if there were people dedicated to solving the problems. I doubt a solution exists that will work outside of the lab.

I'm sure we would have been better selling hundreds of cheaper sensors than zero complex ones.
Yes, the Intel policy to intentionally cripple their cheaper SKUs, hoping to extort money from customers by pushing them to buy more expensive SKUs, is extremely annoying.

For example, right now all the new Tiger Lake CPUs contain a so-called "In-Band ECC" device, which allows error detection and correction even when using LPDDR4x memories, which do not have an ECC variant, like the DIMMs or SODIMMs.

This works by storing the ECC codes in a reserved part of the memory, so increasing the reliability is paid by a slight reduction in the memory capacity and in the memory bandwidth.

Nonetheless, those who are risk-averse, like me, would prefer this trade-off and would enable the "In-Band ECC".

However, you cannot do that because Intel disables the "In-Band ECC" feature on all Tiger Lake SKUs, except on 3 SKUs intended for Embedded and Industrial Temperature Range, which are presumably more expensive.

"In-Band ECC" is even disabled on the other 4 Tiger Lake SKUs for the Embedded market, which leaves them without any visible advantage over the normal Tiger Lake SKUs.

When Intel competed with Intel, this kind of business decisions probably made money for Intel, but now, knowledgeable customers should better buy from competitors, e.g. the new Ryzen V2000 for embedded applications, which support standard ECC memories without problems.
I think the comment is meant to be joke expressing the exact concerns you are raising
That read like something a geek might wrote after looking at how his drummer cousin is buried in women. Except that the geeks writing answers for Quora are being envied instead of envying others, isn't that strange?
I'm also not sure how they can possibly arrive at this with Pfizer and Moderna alone. I'm assuming it's factored in an Oxford approval.
> Sorry, but you can't unhear it.

I'm sorry, but I can barely hear it in the first place. The lexical stress in Jupystar is entirely different to what you're claiming.
Thanks! About 5 months, and I'm just getting started! The ultimate goal is to have 1-click export from design to website. Going to add live components soon, too - website counters, cookie notifications and some other bits of logic with Zapier / Integromat.
Personally, working from home, I have the feeling, that I now get the most worth out of my flat.

Sure, I need to work from either the living room or the office space downstairs.
or multiply by 10 and subtract the number that you were trying to multiply by 9. I.E.: 12 x 9 = 12 x 10 - 12 = 108