skysight-inc/HackerNews huggingface dataset:
Docker on macOS much more efficient now
I hadn't been using docker on my mac for a few weeks, and when I fired up the old containers this morning after updating Docker, I found that it no longer had one CPU going at 100% while my processes were idling as it did before, and some very high CPU usage during more demanding tasks. It now seems to behave like it does on Linux.

I had given up on docker on my mac, and instead ran it inside an Ubuntu VM on my mac, but this is much better. If you had given up on it too, take another look.
For the “The host knowledge and deliberate choice are irrelevant, if he opened a random door nothing would change.” crowd:

If he’s going to open a random door he may just leave it to you (because you don’t know anything).

The problem becomes:

0) you’re presented three doors, there is a car behind one of them

1) you pick one door

2) you choose one of the other doors and open it: there is a goat

Now, you have the choice between keeping your initial door and switching to the other unopened door.
It was only ever close to profit because it didn't have to finance its own development.
Capitalism is a death cult.
And if/when the buttons crack/fall-off there's a very good chance that you can fix it there and then with a drop of super-glue.
Try that with fancy touchscreen...
Parentheses in Lisp is like significant whitespace in Python: A big stumbling block for people who don't use the language.
Great drama!

I wondered what all the space in the case was for and you don’t find out until the very end.

My goodness, is it a sight to behold.
Deal or No Deal does this - the contestant selects a briefcase, then opens up briefcases randomly. It's very similar to the Monty Hall problem, with some twists iirc.
I don't see any reasonable way for htmx to do error handling without writing your own JS, it has an example of 'ic-post-errors-to', but that only seems to be for error tracking and requires writing a whole other dialect of js (hyperscript).

Examples like https://htmx.org/events/#htmx:validation:validate also seem weird. Basically it replaces JS with it's own scripting dialect that is written inline in a attribute and that dialect does not even have syntax highlighting on their own site.

Is it actually more simple than writing the equivalent html+js when you add on all the real-world requirements?
The Complete AWS Lambda Handbook for Beginners (Part 2)
Definitely not exhaustive, please don't use this for validation.
ABAX - one of the fastest-growing telematics companies in Europe - is opening a new Tech Hub in Gdańsk and are looking for talented Senior Backend, Frontend, Android and System Engineers to join the team ONSITE in Gdańsk (Poland).
Current tech stack consists of .NET Core, Vue.js, Google Cloud, Docker, Kubernetes, Swift, Kotlin, TDD, DDD, Linux, Windows, Microservices.
Feel free to check out the career website: https://www.abax.com/uk/work-at-abax
Or reach out to agata.kmiecik@abax.com for more info
Why did you decide to go with Bash instead of another scripting language like Python or Ruby? Portability? "Just because"?

I am not bashing Bash ;) but genuinously interested in the motivations as a programmer. You have stated that the Bash shortcomings are "interesting", so I guess it boils down to some kind of "who cares, let's do it with Bash".

I tried nb yesterday and damn if it had a native capture tool for macOS and iOS this would be the perfect Evernote replacement for me.
Every once in a while, there's a post on front page HN about Haskell and/or Lisp. Sometimes these posts get a lot of traction, but what confuses me is despite the apparent popularity of these languages among developers, still they are seldom used in serious software. I know there are exceptions (esp. with regards to Lisp), but still these languages never come close to other languages such as Java, JS, C, or even Scala.
I didn't say everyone wins. I said everyone feels like they've won. Those aren't the same.

If I have to split $2,000,000 between you and me, but you don't know how much money there is, then you might be happy with me giving you $400,000. That's $400,000 you didn't have before. Hell yeah, $400k! That's loads. The fact we're both going away happy doesn't make it right though. There's a big disparity there. If you found out that I'd kept 4* what you got you'd have every reason to be pissed about it.

That's what I'm suggesting FAANG companies might be doing - giving developers $400k, which makes them very happy, while keeping a far greater amount for themselves that could have been distributed between the workers at the company had those workers negotiated better by having greater knowledge of the system.

I don't even know if that's really a bad thing if that's what's going on. The line that I originally quoted ("Tech workers are in so much demand that they don't really suffer such a disparity of negotiating power") just made me wonder if it's actually true that demand for tech workers has really driven wages to a natural equilibrium, or whether we just think that's true because $400k sounds like a lot.
Irs been known for years yet idiots keep filling the blue bin year after year because it makes them feel good.

You can't blame industry for people being idiots.
That's for one of several results, and the whole point of those words appearing is to imply that it contrasts with the other results.

I mean, arguably reporting on things at this stage is super premature, the whole article shouldn't exist, we shouldn't be reading it, the whole news cycle is garbage, blah blah blah rant rant rant.... but it would be absurd to headline the article with "the least significant, of several significant results, was only barely significant".
If you use a powerful type system like Ocamls's, your can make many error states unrepresentable. This is basically impossible to do in Java.

Moreover, in OCaml it is idiomatic to use type inference everywhere except for interface files, so in practice you almost never annotate types.
These kinds of issues are not unique to dark skin. Anecdote time: :-)

As a Swedish/Finnish man (and a somewhat stereotypical nerd at that), I'm paler than probably 95% of the world population.

Although facial recognition features (in the sense of trained AI models) often work fine on me given a good quality underlying photo, what often fails instead are preprocessing steps or color correction, especially in real-time systems. This can be the camera itself or software handling the image later.

For example if I'm in a Google Hangout in a normally lit room and then I move into slight sunlight or a lamp, my face will overexpose into a blob that looks like a low quality photo of the sun. It renders white, like #ffffff proper white. It's not actually overexposed at the hardware/camera level, but the software "corrects" it that way.

This typically never happens to other people.
Because Twitter has evidence that may be relevant to one or both sides of a defamation lawsuit, and civil litigants can use subpoenas to get evidence in the possession of third parties into court.

> The identity of the user is directly and materially relevant to Rich's defamation claim since it will inform whether Defendants made their statements with the requisite state of mind … The information sought is also materially relevant to the defense of truth because the original source may be able to provide what facts, if any, formed the basis for the various assertions about Rich. Additionally, the user information for the Account could lead to an essential witness for Rich and/or Defendants.

https://assets.documentcloud.org/documents/7223134/ORDER-RIC...
This is bias against people with darker skin that disadvantages their lives in a way that people with lighter skin do not experience. How is that not an example of racism?
What are the numbers "112" and "156" doing in the article?
The Clean Architecture Using React and TypeScript
But is that for you personally as a developer, or your company?
“First Edition from £27,495^ now available to pre-order. Deliveries starting early 2021”

https://www.mazda.co.uk/cars/mazda-mx-30/

Not sure how much “out” does it have to be to be considered “out”.
When Chicago banned single use bags, the side effect was very durable disposable bags. They were a vew mils thick and great for heavy stuff, but overkill for dog poop and kitchen trash.
From the article: “Twitter's primary goal is to ensure that the subpoena not be used to chill anonymous speech that does not rise to the level of defamation.”
As explained in other comments, Sony doesn't make money from the console but from the games, the accessories and the services. The console in this case is a loss leader : https://en.wikipedia.org/wiki/Loss_leader
> It is good, even great. It does exactly what I need without issue and has worked reliably

USB1 and USB2 still work fine despite being less than ideal engineering. Tolerances are big enough at lower speeds. USB3 can be unreliable (e.g. for cameras) because limits set by the laws of physics get too close for cheap implementations. That's no longer good. Especially if we are forced to use that in professional set-ups, where a couple of cents or even Euros/dollars would not harm. The problem is now that you cannot put that tiny bit of money on the table and you get a reliable product. As the discussion showed even certified and known brands' USB3 products can be unreliable.
Did Gina had some "notes.sh" script? I can only remember her "todo.txt" for todos. This can perfectly replace it, yes, and it is very similar in spirit.
"Android chief Andy Rubin said java.lang APIs are copyrighted in 2006 email"

https://www.cnet.com/news/android-chief-andy-rubin-said-java...

"Copyright and consequences: Google’s Andy Rubin defends Android to jury"

https://arstechnica.com/tech-policy/2016/05/copyright-and-co...

> "We've been over a bunch of these, and we think they all suck," Lindholm wrote. "We conclude that we need to negotiate a license for java under the terms we need."
Though most of the deposit for returning a beer crate is on the crate. The deposit for a regular beer bottle is 8cents - it used to be 15Pfennig, cut in half when the EUR was introduced. The problem is that you cannot easily raise the deposit value of a bottle and inflation has taken most of the value away.
Not quite what you asked, but you may find this interesting: https://github.com/alex/what-happens-when
The original game in Let's Make a Deal went exactly like you described. Monty Hall opened the remaining doors; no option to switch.

Then there is the ambiguity as whether the host will always offer you to switch or just when he hasn't revealed the car.
With service workers disabled on firefox the site just breaks, no graceful degradation/progressive enhancement. When clicking links in the header the url will change, but the page content doesn't.
When I was living in Japan and shared a homestay with an American fellow from Missouri, it shocked me that he would throw all his recyclables in the general rubbish. As an Australian, despite how my country isn't the best in that field, I've always taken recycling seriously (even with the more challenging rules in Japan). It took him a while before the Japanese host and I could train him to recycle properly. It's not like he wasn't a decent guy, he just wasn't used to it. It made me wonder if recycling just wasn't a big thing in the US, and to hear that California, as a more liberal state, is still on 20% seems to confirm that.
They build their own DCs, and use cloud as a peak-smoother.

No one doing serious amounts of bandwidth pay outrageous big cloud prices. See: netflix.
I bought a bridge from him- like that bridge, its over troubled waters..
This is a good use case for service workers and is mentioned in this post from 2016: https://developers.google.com/web/updates/2016/06/sw-readabl...

It covers some pros and cos, the main advantages of using an app shell are

> whether your web app is best modeled as a single-page application (advantage: App Shell); and on whether you need a model that's currently supported across multiple browsers' stable releases (advantage: App Shell)

I think it's reasonable to argue that lots of sites that are SPA's don't need to be, if they can do this instead.
That is a great video.

I actually have a hard time even thinking of this as a paradox - not in the sense of "oh it's obvious", just in the sense that when I first heard about this, it had honestly never occured to me that there was something weird going on, and it took me a while to even understand what the question was. (Sidenote - this is often a metric for a good question!)

This video is an excellent explanation of what's going on, tying it into other common experiences people have, in a way that makes a lot of connections clear.
Show HN: Comradery – Not-Just-a-Forum Startup Communities List
I can tell you first hand that while you can indeed become somewhat... used to that constant ringing sound (1), it isn't exactly "tuning out" like with typical environmental noise (street sounds, wind or rain).

Here's what it's like.

Imagine someone is standing right behind you with a little whiteboard and scratches the chalk on it. It makes this high pitched sound you cringe at, right?.

Someone is doing that slowly, and the chalk is tiny, so the sound is not super loud, and can be covered by music, people talking etc.

But that person keeps scratching all the time. A little bit. Every second of every minute, of every quiet moment at home, in the mountains, in your electric supposedly-quiet car, of your every mindfulness meditation practice. For years.

So can you "tune out"? Maybe if you dull your senses and have laser focused attention for most of the day. But it keeps coming back. And again, and again. It can be confusing, annoying, funny, or just be there. Your reactions vary, as you learn to adjust to it (if you try to).

But "tune out" suggests once it's done, it's gone.

This is never gone, it's the opposite of gone - it's there even if I stop breathing!

(1) Actual nature of the sound varies between people.
> ... absolute given that these need to be anonymous.

British elections aren’t anonymous - the ballot paper has a unique identifier and this is written beside the voter’s name on the polling station’s list when the ballot is issued by a polling clerk.

The list is sealed when the polling station closes, but can be opened by court order if the election result is challenged.
Well, considering the Model 3 Performance starts at $50k and the M3 at $70k, winning at all is impressive. I agree with the OP, there are a lot of problems with the Model 3, but most serious automotive journalists have concluded it drives incredibly well.
I was searching for something like this and thinking of creating it myself, glad I don't have to now.
Can it import evernote notes/notebooks?
Model 3 is more nimble than the S. But it also feels cheaper and less solid. Depends on what you like.
There are valid uses for DoH, the most important being its counter against internet censorship. For DoT, a block on UDP/853 is all that's needed. Blocking DoH requires much more effort.

Also, it isn't like one couldn't be tracked by DNS resolvers without cookies: https://news.ycombinator.com/item?id=20219878 and https://news.ycombinator.com/item?id=19828702
Yes. As a first example, I give you the default name for a git repository up to October 2020, on github. It wasn't used to mean "a slave owner".

And a second random example here: https://en.wikipedia.org/wiki/Mastering_(audio)
I don't feel that way at all. Yesterday I dismissed one person who wanted me to "take a quick look" by saying that my work day ends in 10 minutes so I won't be able to help much, then after these 10 minutes I closed down my work laptop and enjoyed the rest of my evening without thinking about work once. The problem exists solely in your head.
Machine Learning Services Companies in Navi Mumbai – Quosphere
Leveraging Machine Learning, can enable you to optimize and stretch out your top-line growth processes, simultaneously boost employee engagement and customer satisfaction to beat the competition while looking at reducing cost at scale. Contact Us: 7710005016
Only if the clean-room re-implementation was properly done with separate teams, proven in court that both teams never had any contact with each other beyond written specification architecture documents.
Nvidia Maxine Cloud-AI Video-Streaming Platform
Many of the problems caused by excessive corporate power could be resolved by prosecuting corporate officers, for actions taken under their direction, as individuals, clawing back their bonuses and locking them up. Laws enabling this have always been on the books, but somehow people have come to tolerate corporate officers getting a free pass. Prosecutors don't even try to fulfill their public duty.

Exxon and coal executives are personally responsible for a substantial part of global climate disruption. Paint executives are responsible for deliberately poisoning hundreds of millions of children. Tobacco executives got millions of children addicted to nicotine. Coke and Pepsi are poisoning whole generations. Yet, the most we seem able to do is fine shareholders, when shareholders really have hardly any say in what companies do. A nut job who shoots up a bus station triggers a nationwide manhunt, yet these rich bastards kill by the millions, wholesale, and more horribly, and are allowed to retire to their yachts. It would not take much prosecution to bring about a sea change in how corporate executives behave.
May be Firefox should add a "Chromium tab" similar to how Chrome once had the "IE tab"...
And what makes "assessment from the engineer board" more relevant proof than any other?
Microsoft Office has 'several open-source options' too. They're all nigh-unusable because the MS Office so-called "standards" are so convoluted and under-specified as to be practically useless.
Coronavirus: Outcry after Trump suggests injecting disinfectant as treatment

https://www.bbc.com/news/world-us-canada-52407177
I don’t think we accurately understand the long-term risks yet

- https://doi.org/10.1016/j.cmi.2020.09.052

- https://www.tctmd.com/news/signs-cardiac-damage-even-younger...

- https://jamanetwork.com/journals/jamacardiology/fullarticle/...
The existence of God.
Type systems can encode proofs of properties that you want your data to have. For example, suppose you want to write a function that returns the first element of a list.

head :: [a] -> a

This is the type of a function "head" that takes a list of values of some arbitrary type a, and returns an a.

if you feed this function an empty list, what will it do? You can reason from the type signature that the only thing it possibly can do is crash, since there's no way to produce a value of type a without knowing what a is in advance.

head (h:_rest) = h
head [] = error "Our function is badly behaved!"

To ensure that our function never crashes, we can encode the fact that our list is nonempty in a datatype.

data Nonempty a = Nonempty a [a]

Ie, a nonempty list must contain a value of type a, and a (possible empty) list of as. Then instead of writing a function that crashes when it receives a nonempty list, we can write a function on nonempty lists that never crashes

head :: Nonempty a -> a
head (Nonempty x _rest) = x

What I'm getting at is that, yes, this is just the "shape" of our data. But you can encode more interesting and valuable properties in that shape than might be apparent at first. There are many other interesting examples of using types to ensure that properties that we want to hold for our values, do in fact hold.

Edit: I should probably add that "If it compiles it works" is absolutely not always true. It's more of a community in-joke than an actual belief. But it does turn out to be true surprisingly frequently.
More mass means more inertia, which means you get more body roll and heave. To counter this, you need to compromise on your suspension design (essentially make it stiffer) to stop the thing flopping about.

There is some nuance here though: more mass does potentially give you options in lowering the centre of gravity which can certainly help. Putting the batteries in the lowest point is a smart design move from this point of view.

In general, I'm not saying you can't make a heavy car have a good ride quality, I'm saying you can make it ride well in spite of the extra mass it has to deal with. Adding more mass doesn't magically let you have a better ride quality.
I think these kind of lines only resonates within marketing people. At the end of the day, they are trying to sell palabra, that should be another platform for white-hat spamming everybody could live without; for sending the kind of emails that (for a developer) has a time-to-live in the inbox equal to the time it takes to drag the mouse to the delete button.
You always run wide unless you manhandle it? Are you talking about city driving or track racing??
> Seems like a pretty simple solution

So is changing her name. But people shouldn't need to do gymnastics for such a trifling matter. This is like cutting a foot to fit a shoe.

Cultures have different naming conventions, and not all cultures pressure women to take names from husbands.

The real simple solution is to accept that the common ground of name form is a string. One string.
Good Intentions, Bad Inventions: The Four Myths of Healthy Tech [pdf]
Homes in rural areas have lots of land where you can compost yourself. Plastic recycling can be expanded by increasing the bottle fee and expanding some form of it to all plastic.
The theory is the wacky designs are to discourage you from stacking it or putting it at the top of a stack. I have no idea why they push vertical orientations.

I imagine the size is to disperse heat, manage dust, and keep noise down. I don't think it's popular in recent years, but people often put equipment like this in an enclosed cabinet under their TV or directly on the carpet (where most dust comes from). This also has the power supply built in, which increases the size (I hate those in-line power bricks).

You hear complaints about most gaming console's size, but you also hear lots of noise and dust complaints as well as failures due to heat. On forums you often hear about people replacing the thermal paste and diligently cleaning the inside of their consoles to get the noise down.
But for those who use the language one is a powerful feature and the other a minor annoyance.
Sure, you can encode various properties in some languages, but it's not that common to actually do so.
Which even after their adoption of OpenJDK still isn't compatible out of the box with the standard library available at https://adoptopenjdk.net/

In 2020 it is still pretty much hint and miss getting a Java library working without changes on Android, given that the Android team cherry picks whatever they feel like from OpenJDK for their own Android API implementation purposes.

Easily to find that out from Gerrit commits and AOSP source code.

Meanwhile, effort has been spent ensuring that 100% of ISO C and ISO C++ are available on Android NDK.

Thus out of the window goes the interoperability argument.
Perhaps due to the fact that the concept of screws in Japan was never independently invented but discovered in an imported weapon almost into the modern era, or due to developments in mechanical engineering that defined postwar Japanese cultures, but anyway Japanese population is kind of obsessed with screws for some reason.

Japanese thought process of a machinery is it is made of machined metal and infinite numbers of 3mm screws. Look at a Casio watch. There should be four Phillips screws on the backplate. Two extra on sides and four more, if it's rubber exterior ones. A Rolex, has zero. Just like that. First choice of fasteners to join any two arbitrary parts is a pair of 3mm screws. If a joint has to articulate, there should be a pin on one side, hole on the other, and a 3mm screw to seal off the end. If it has to slide, tapped hole on a bar and a half threaded screw.

It's cultural thing. I'm from Japan so an "eerie" lack of screws still confuse me sometime when disassembling non-Japanese things.