skysight-inc/HackerNews huggingface dataset:
For API backends mostly Express + postgraphile (basic CRUD operations) + socket.io (realtime features).
Currently exploring Prisma 2 as replacement for Knex.js (query builder).
Knex.js does everything I need except having automatic TypeScript integration.
Prisma 2 has fantastic TypeScript integration but lacks many features.

I write my own validation logic and use the same code on the frontend (React+MobX) and backend. Automatic API docs are less important for me as I don't have third party API access and use TypeScript interfaces as API contracts. I run my own business and stuff like validation is something I write only once, and perhaps update and extend every now and then. If you develop many projects for external clients, this setup might be to involved and I can see why something like FastAPI is a timesaver.
Normally I would be against a proposal like this. However looking at the history and state of the Salton sea - we cannot make it any worse. This looks like a win-win situation.
Sort of. I bought a HP Probook laptop in 2018 and install Ubuntu 18.04 LTS which works perfectly except something minor fixed with a kernel update; however when I update to 20.04, sleep is just broken. Every time the machine sleeps it forgets that the keyboard exists. As much as I dislike Microsoft, stuff like that just doesn't happen with Windows.

I'm still suffering with Linux for largely philosophical reasons at this point, but quite frankly if I wasn't such an opinionated nerd I'd just go to a normal Windows machine at this point.
I wondered why you would link to magazines a while ago, as they're often behind a paywall and the author doesn't get a cut as I understand. Maybe it's for the citations?
Do authors mind sharing the article for free next to the publication link?
> Is the only way to watch large companies accumulate bored employees and constantly recreate “the small guy”, the startup, which will finally make things right, until they become too big to be incentivized?

Yes, and you have just illustrated why the USSR struggled economically in comparison to the United States.
No. Only rbenv. Unless there's a lot of user request.
Sure, and in your case you might not need something like this this.
Rust and Load Balancers
JEP 387 “Elastic Metaspace” – A New Classroom for the Java Virtual Machine
Lyme disease, although I can't pinpoint the moment I got infected
Waiting for the blog post that annotates that code and explains what it does.
From the article:

Forty-five years after Rawitsch, Heinemann, and Dillenberger sat down and created the original game in two weeks, The Oregon Trail is still a cultural landmark for any school kid who came of age in the 1980s or after. Even now, there remains a constant pressure to revive the series, so that nostalgic Gen Xers and Millennials can amble westward with a dysentery-riddled party once again.

...well, I've got a nice Apple computer setup and ready to entertain and educate some young people in my life. They like the machine. These programs still work as intended.

For me, it's surreal to hear those sounds, see those sights and watch them process the experiences. Recommended, if you've got a little space and time. Doing this kind of thing is going to get increasingly expensive from here though.

Interestingly, one 5 year old has already noted the CRT. "Papa, I want to play some games on that TV."

Of course! Might as well let her experience the CRT. I think they are cool. Many of us do, and it's going to be an increasingly rare treat. Why not?
Any one of these "reviews" could simply be Poe's Law at work. A parody of sarcasm can be funny, but don't take it too seriously.
I like the terracotta + candle trick:

https://64.media.tumblr.com/372a3c79331f497794c9dc0df84a0566...

(Apparently heats up a room quite well in the event of powerloss)
The state could simply stop subsidizing rent and food. Businesses didn’t ask the state to do that.
This is a list of brand market shares, incorrectly labeled as vendor market shares.

The largest smartphone vendor is BBK Electronics. They manufacture multiple brands like Oppo, Vivo, OnePlus, Realme, iQOO. Their brands have over 40% market share in China, India, over 50% in Southeast Asia, and are generally the largest vendor all over the developing world.

The real list is

1. 24% BBK Electronics
(10% Oppo, 10% Vivo, 4% Realme)
2. 19% Samsung
3. 17% Xiaomi
4. 14% Apple
5. 4% Huawei

Chinese have ~45% of the market.
Wow, how cool is that. It seems rather ballsy of them to go for HaikuOS. Is it because of BeOS legacy software they had developed?

They have another system at the bottom of the page for a mere 1600 USD.
Will probably take over Samsung for the no. 1 spot in next quarter or the quarter thereafter.
Even though the Ising model is a model of discrete variables, it is still possible to apply HMC to perform global updates, as we explain in https://arxiv.org/abs/1912.03278

However, without further improvement, HMC’s performance is similar to the ‘obvious’ algorithms and poor compared to the Swendsen-Wang or Wolff cluster algorithms or the worm algorithm of Prokof’ev and Svistunov near criticality.
Decaf has a very different flavour profile.
I braced myself and carried a small spider to my 3yo kid and showed it to him. I was extremely uncomfortable, but he didn't notice. Same with a frog (though I was comfortable).

From that time he is playing with and carrying spiders, frogs and various insects, small and large, without thinking about it. I guess it's about early experiences.
I'm running Ubuntu 21.04. As for using it as a daily driver, you might be disappointed with the performance. It's slower than a Raspberry Pi 4. Also, no Firefox or Chrome browsers (yet). You have to use Epiphany.

It's really targeted as a development platform and that's how I'm using it. I just SSH to it from my x86 box.
The same law has been passed in France where a union's deal can bypass the law (totally crazy idea to be honest). And these deals happen exactly like you described, except that workers are threatened by factory closure.

For example it happened for the Smart car factory, they accepted to work more hours for the same pay, with the promise to get investments. Well now the factory is closing and they are pissed off to have granted free work to their employer (mercedes Benz)
Afaik twitter uses (some form of) react-native-web.

So I guess it's because: https://github.com/necolas/react-native-web/pull/556

Basically some browsers don't support display flex on certain elements like button, using a div instead of a button solves that issue.

Generally: I would suggest to use a button tag unless you run into issues (and know what you are doing).

I don't think using `<div role="button">` is perse worse as long as you implement all the behaviour and styling of the button element like focus, keyboard events and similar.

For juniors, buttons should be taught as the way to go, as with many things in web it's about understanding the pros and cons and knowing why you do something or not. If you don't have a lot of experience, stay away from reimplementing the button tag.
Would you suggest me some readings on anarchism as a political theory?
CBL-Mariner: Linux distribution for Microsoft’s cloud and edge products services
I don't understand the hydraulic press part.
First, I'd expect the press to somehow mess with the patterns, and second, I would have thought he'd just let the cement take.
Anyone knows what the point of this part?
That's one thing I made a mental note of as well!
Exposure. Same as with anything, really. I used to be squeamish about them, but these days I can have a dozen of the guys running around on me after walking through a cobweb, and I instead just marvel at these tiny and bizarre creatures to whom I am equally giant and bizarre.

I think there are some VR experiences specifically intended to help with arachnophobia through exposure - I can’t speak to their efficacy, but I can speak to the efficacy of exposure in general to overcome a fear.

I guess it also helps that there are precious few venomous spiders around here, and those that there are won’t do you any more damage than a bee sting, and only then if you mortally threaten them.
Since you can exit, it's different.

Generally countries enter various nominally binding arrangements all the time, like ratifying UN treaties that are considered by courts to be part of national legislation etc. So "full sovereignty" in this sense is not so common.

(Also, EU law is drafted via a representational democracy system, so this use of power has an important quality of legitimacy that law handed down from the empire would lack)
The Haiku community was quite resistant to the idea of supporting the Pi, a resistance which was only partly technical in nature.

These days I would say it is essentially a matter of focus. Considering that the Pi 4 is a tiny little beast hardware-wise (certainly good enough to run as a light desktop, which is what I use it for), Haiku would be amazing on it, but I just don’t see it happening (if it was meant to be, it would have come about by now).
You misunderstand me - I am not saying that the law is needed/not needed. I'm not on any particular side of the argument.

What I am saying is that presenting the argument as a clear-cut case of $PARTY wants to limit voter participation from certain demographics is disingenuous - it is NOT clear-cut at all because more countries require voter registration than not.

So no one should be attacking labeling a proponent of this law as a Nazi just because they support it - the majority of the world's voting democracies can't be Nazis, now can they?
I don't think the article is suggesting people actually literally followed that dotted arc - the mountaineering trust chap's quote is that all the routes from that car park are trepidatious even for experienced people.

i.e. their concern is that GMaps users are being directed to that car park, (the highest one, hence closest to 'Ben Nevis' marker) not what the dotted line does or doesn't show from there on. So the solution is to direct them to the (lower-down/further away from destination) visitors' centre car park instead.
virtualpostmail.com can get you an actual address to receive mail at. Doesn’t raise any flags like a PO Box. Can receive and forward packages too. Not totally anonymous, you need to file the USPS CRMA mail receipt form with some identity proof but after that, you get a reliable non-home address for packages, signing up to websites, etc. I’ve used them several years and not having to put my actual residential address on much has been great.
Sometimes I do. Microsoft has not made CreateRemoteThread API to support malware, it has many legitimate uses.

For instance, one time a client wanted to have a functional equivalent of desktop duplication API working on Windows 7. I wrote a DLL that’s injected into dwm.exe, hooks IDXGISwapChain.Present and ResizeBuffers methods, copies video frames into another D3D texture, and uses DXGI surface sharing to feed frames in VRAM to the capturing/encoding process.
Changed my mind. 5 seems fair. But...

I'd remove unlimited plans from free tier, rename free tier to trial, and remove lifetime tier all together. That's only 15 months! Milk it
Does no one make a distinction between data and information any more?

Data are just observed facts. If you have a good and fast random number generator it will generate a lot of data. Information is about patterns in your data that are unlikely and that might show something interesting.

This article is definitely data, there are no real reasons to doubt that it exists. But it is not information, because there nothing new in it.
Curious, do you think Oligopoly is okay too?

https://en.wikipedia.org/wiki/Oligopoly
What's really relevant is market share. Guess what? Systemd is winning because it massively sucks less than what existed before it.
Dawkins talks about this in The Blind Watchmaker, calling it cumulative selection (not sure where else this term is used). It's hard to wrap my head around, but that also makes sense given that our intuition is not adapted for such large numbers. Considering how long the time scale is, how many mutations are discarded, the driving force of survival, and probably other factors I'm forgetting, it's not that surprising we end up with a small (relative to the combinatorial possibilities) number of configurations. But again, I do still feel like I'm trying to convince myself right now, even though when I read the (better written) explanations, it makes sense in that moment.
Docker Share Network
That's not necessarily true. Someone small will not rely on Twitch for their income and while the $100 is nice, they won't get some crazy special treatment. It's still just $100.
As used in practice, React has you replace one set of tools with another set of tools. React likes to "own" parts of the DOM tree and crashes or otherwise misbehaves if anything else touches them -- and the way people generally adopt React is by making it "own" larger and larger portions of the page until it "owns" everything on the page. (Or by writing the app so that React "owns" the whole DOM tree from the start.)

And when you use it that way, the way that everyone who has ever used React uses React, it can indeed cause problems of its own! Half the time, the only reason people build single-page apps is because they've destroyed their page-load performance by using heavy JavaScript frameworks! If you make a big nested component hierarchy, and then it turns out you need a component to affect something nine levels below it in the component hierarchy, and you have to modify all the intervening components or rig up a Context provider or something, that is a problem that has been caused by React's design! If you put a piece of state in Redux, and then it turns out you need to access it in a place that does not have easy access to the Redux store object, that is a problem that has been caused by Redux's design!

You can say "ah they just haven't learned to use the tools properly", but then we're back to noticing that anyone capable of using React to write good code doesn't need to use React to write good code.
This reminds me of "visa and Mastercard know who is committing fraud" in absolute terms the number of entities which need to act here to change things is small, but like visa and Mastercard the likelihood of the 12 people being brought into line is low.
It might spot a beam hitting an absorbing surface, like skin.
The intention was always just to handle patches like this, not that the forker had any intentions of adding new features or anything.

The concern iirc was mainly that a Firefox update might require some change to keep it functional.
Cloth face masks are 'comfort blankets' that do little to curb Covid spread
Doesn't anyone wonder how come that even though it's predictable and can be attributed to steady climate changes, no one has predicted it last year?

Read the article, people. There's a formula, for Pete's sake - you just key in the increase in temperature (due to global warming, of course) and you get the resulting increase in rainfall. Very easy!
More than two. It says "Cases of the condition have been reported elsewhere in the world", other than Havana and Vienna.
Well, technically it's not an equivalent as this would recreate dom nodes on every render
The article is suggesting both.

> "And the trust said that a dotted line leading from the car park to the summit could lead walkers into danger."
I mean, two docker containers isn’t zero overhead but it’s a long way from “needs multiple boxes and you have to pay someone to manage it”.

A systemd unit file to run a docker container isn’t a hard thing to write.
Show HN: VirtualGym, Real-time platform for online video-chat fitness training
For more background on the UK Post office scandal, there was a recent computerphile youtube video

https://www.youtube.com/watch?v=hBJm9ZYqL10

And Private Eye report

https://www.private-eye.co.uk/pictures/special_reports/justi...

In the post office case in my view the problem wasn't that the IT system was faulty it was that Post Office management continued to prosecute long after (more than a decade) any competent person would have known it was faulty - these people should be prosecuted.
BA's can write this though :). It's a spreadsheet after all.
That's the one I tried before going back to TurboTax a couple of years ago. And unfortunately, it's hard to tell whether their forms are inadequate (or broken) until you're deep into the process.
According to a 2020 report, [0] the hospitalisation rate for over-80s is around 20%. The hospitalisation rate for over-65s will be far lower.

[0] https://www.imperial.ac.uk/news/196573/covid-19-one-five-ove...
I have a VFIO setup as well, and I'm not aware of any register setting correcting stuttering.

There was an issue with AMD systems a few years ago, which caused microstuttering.
> I guess your local proxy (why?)

Not GP, but if it reliably blocks YouTube ads I think a lot of people would be interested in doing that?

As you say it's not possible via DNS; so can only be achieved in the browser, and in browsers with uBO.

(I.e. not mobile apps, Android TV app, mobile browsers other than FF on Android, desktop browsers other than FF/Chrome/derivatives.)
It's technically possible, but not stable. On my system, it's not stable, so I prefer to have two cards, but YMMV.
I would go mad.
For the sake of HN archival history...

The executive summary of my paper is that provably there are fatal inconsistencies in Cantor's Diagonal Argument (CDA).

They take a few forms:

(1) Application of basic classical analysis tools reveals that the contradiction sought by CDA does not hold if those tools are used.

E.g.
Assume we have the table of all unique infinite length binary strings {0,1}* (where * represents the supremum of the natural numbers, e.g. the first ordinal infinity in set theoretic language).

Assume that those strings represent the fractional part of binary represetations of real numbers in the continuum interval [0,1].

Assume they start big endian, so for some string s, the value v(k) of some bit at the k-th position of s is v(k) = s(k)/2^k, for k = 1,2,3....

Let f: \N x \N -> {0,1}, be a function that accesses bits in the binary strings viewed as a matrix M(i,j).

Create the binary number z as z(k) = 1 - f(k,k).

Now deploy basic analysis.

Note that k -> \infty implies v(k) -> 0.

So no matter what the value of z(k) is, k -> \infty implies |z - f(k)| -> 0, for some suitable k.

Let f be the limit of f(k) as k -> \infty.

Then in the limit k -> \infty the number z = f, and (for all practical purposes) the diagonal z coincides with a binary number in the table f within a countable limit.

This is independent of any ordering of the table rows of M(i,j).

So the contradiction of CDA does not hold convincingly when these basic tools of analysis are used.

(2) Corollary: Platonists would need to prove that infinite digit existence somehow invalidates basic analysis in order to cling to CDA. Moreover, they would have to prove that "higher" infinite digit existence does not invalidate useful concepts of numbers and limits at all.

As far as I know, no one has done that yet.

(3) Using the same basic tools of analysis, key arguments about powersets having cardinalities that are "higher" infinities do not go through, and moreover aspects of "higher" cardinal arithmetic, as presently defined, can be shown to be self-inconsistent.

Therefore:
A) When the tools of basic classical analysis are so useful, why would any pragmatic user of mathematics throw them out at some key point within CDA (and CDA only) to endorse a notion of "uncountability" that creates manifold inconsistencies further on?

B) Why should any pragmatic mathematician allow the extra unconvincing machinery of higher infinities into maths?

In the absence of decent answers to those questions I am compelled towards the recommendation is that mathematicians should throw CDA out.

Edit: formatting.
Chernobyl's 'stalker' subculture
>Each of the 12 months has only 28 days

Correction: Each month could be either 29 or 30 days
Wouldn't it be easier to have 2 devices, one specifically designed for gaming and one running 24/7 for home server services. A cheap used Thinkpad could be used as linux device so it doesn't have to be expensive. Plus if you value your own time and effort you have to put in for your current setup, then it might actually be cheaper.
From the article, the reviews are:

"The water is ice cold" Acadia National Park

"Miles and miles of nothing" Everglades National Park

"Not great" Glacier Bay

"Pretty average experience" Haleakala National Park

"Super unimpressed" Rocky Mountain National Park

"Scenery is distant and impersonal" Zion National Park
That just means it wasn't a perfect example for what I was referring to, but if I were to go digging, I could find you ten thousands of comments like these:

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

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

It really just is small talk, no information, nothing. Instead of trying to find a rationalization for these, too, why not accept that yeah, small talk is perfectly fine, until it's not, and it's frowned upon, unless it isn't? Because it contradicts the self-congratulatory notion that "folks here prefer substance"?
Introduction to IP: The Internet Protocol
https://github.com/labmlai/labml/tree/master/app
Yes but it continues:

> Mountaineering groups said the dotted line crossed "potentially fatal" steep, rocky and pathless terrain, while a suggested walking route for a different mountain, An Teallach, would lead people over a cliff.

i.e. you can wiggle it all you want, it's what it crosses that's the problem, you'd have to walk around and go up a different face?
Revolutionary drug [SkQ1] explained by scientists
Show HN: Work with CSV files using SQL. For data scientists and engineers
A super cool project, but it's so easy to self-host a Raspberry Pi at home now with a public IP - even behind NAT and firewalls.

I'm the creator of inlets (self-hosted tunnels - L4/L7)

https://docs.inlets.dev/#/

But Argo Tunnels from Cloudflare, and reverse SSH (for those with too much time on their hands) also work.

For more on a teeny K3s cluster: https://blog.alexellis.io/state-of-netbooting-raspberry-pi-i...
A similar form of entertainment can be enjoyed by reading 1 star reviews of 3 Michelin Star restaurants: a wonderful dive into the existential abyss of extremely wealthey Karens.
I recently switched to asdf.
Big time rbenv user, then added nodenv. I also needed multiple yarn versions. As asdf is based off / inspired by rbenv, it was an easy change.
PacBio reads don't extend to the million base length and are a considerably more expensive approach than short read sequencing if assembly is happening anyway.

ONT is a great tool but the goal of this report isn't necessarily to show that these molecules are 1 million bases in length vs showing that they represent novel DNA sequences.

In summary, ONT and PacBio are neither more appropriate or necessarily more direct methods here.
Robot teardown, stripping industrial collaborative robots for good
If there are three solutions, you will have to choose which one. I think it's an easier sell to the enterprise, eventhough all three projects are by the same person (passenger, ree, fullstaq)