skysight-inc/HackerNews huggingface dataset:
99% of the use cases that ought to use async are server-side web services. If you're not writing one of those, you almost certainly don't need async.
Ask HN: Which websites do you use to find mid/long term remote contracts?
This is a big deal! Every other ad blocker for Safari is either known-slightly-not-privacy-focused-actors or boutique extensions that are only available for Safari.

None of them are as good as uBlock Origin, though Wipr comes close. Unfortunately my guess is uBO won’t be any better due to the limitations imposed by the browser.

Hopefully they release it for mobile Safari.
Node.js – v20.6.1
On Mars its really all about energy. We have plenty of C and O and if we get water, you can already make so many different things already.

We desperately need to develop a big surface nuclear reactor that fits on a Starship. Without that Mars just isn't gone work. Laying out 100s of football fields of solar panels is just stupid in comparison.
> 10k problem.. Wouldn't modern computing not work if my Linux box couldn't spin up 10k threads? Htop says I'm currently at 4,000 threads on an 8 core machine.

By the 2010s the problem had been updated to C10M. The people discussing it (well, perhaps some) aren't idiots and understand that the threshold changes as hardware changes.

Also, the issue isn't creating 10k threads it's dealing with 10k concurrent users (or, again, a much higher number today).
> In my experience, git tags are far more effective at managing releases than git branches.

I'm sorry to say that your experience doesn't seem to be with production software with a significant release cadence. Tags fail very basic requirements of any release process. A release requires release-specific changes such as bumping version numbers, toggling configurations and feature flags, update changelogs and documentation, and more importantly accommodate bugfixes without having to merge in unrelated work on features actively under development that are not intended to ship.

Tags are only good to point to specific commits. Unless you're working on a pet project or you're the single developer working on software no one uses, a release is way more than pointing to a random commit in the development branch.
I'm new around here, I've only seen people use Vite with bun for HMR, but imho, it's not great to combine them just yet as there's config complexity.
For what it's worth, Procreate supports every relevant file type and iPads have a file manager now, support USB-C flash drives, etc. In my experience compatibility has never been a problem with these apps.
> Promise/Future style of async is just a bad idea

JVM's futures are a joy to work with compared to JS's promises (or Kotlin's coroutines for that matter). While similar, I don't think you can conflate them.
I've seen authentication flows that require you to login, or confirm logins, via the bank's app if you're trying to use the account outside of the app itself.
They also act as a series of giant fast moving things that squish bugs.

The bees may still be headed to those flowers, they just may not make it...
I think the problems with click fraud are orthogonal. They're a different domain with different characteristics and different solutions.

Facial recognition has been deployed to combat shoplifting [1][2]. Amazon Go is a store built around not needing to check out at a register at all. Microsoft offers Azure Kinect [3] as a way for retailers to track people moving through a store. There's no shortage of companies purporting to use AI to analyze in-store video in real-time to analyze customer behavior [4][5]. There was a video shared on this site a few weeks back showing a coffee shop tracking both customers and baristas [6] (more discussion there, including some skepticism).

I'm speculating that if they can track you in the store and build a profile on you that they'll be able to track your cash purchases. I don't think it's a terribly large leap to tie into their point of sale terminals but I don't know if any retailer is currently doing that or even planning to do that.

[1] -- https://youtu.be/g5Xf9Y6-RS4?si=De7EZTyVD66BQPeG

[2] -- https://www.nytimes.com/2023/06/28/technology/facial-
recognition-shoplifters-britain.html

[3] -- https://azure.microsoft.com/en-us/products/kinect-dk/

[4] -- https://viso.ai/features/

[5] -- https://twitter.com/jowyang/status/1214657642313871360

[6] -- https://news.ycombinator.com/item?id=37186806
LeanDojo looks cool! I will check it out. I did the natural number game in lean 3, and was excited to see the author of "How to Prove it" had written an online book, "How to prove it with Lean" to as an accompaniment to the book, but it was written in lean 4. I decided to redo it in Lean 4 (still working on it) and had some troubles but was super happy with the responses I got on the Zulip Chat. It was a bit tricky to install it but the lake system seems like a big improvement over how I installed lean 3. I used the emacs version of lean mode for lean 4.

How to Prove it with lean
https://djvelleman.github.io/HTPIwL/
Lean 4 Natural Number Game
https://adam.math.hhu.de/#/g/hhu-adam/NNG4
Lean Zulip Chat
https://leanprover.zulipchat.com/
Emacs lean 4 mode
https://github.com/leanprover/lean4-mode
Go style coroutines would have been a better path than the async keyword. Java with project Valhalla got this right.

I think having to keyword async is frustrating as a design decision
Can I just sat, what a gorgeous homepage, perfect for an animation app.
Promising quantum state found during error correction research
It's also good material for composting and vermicomposting. Relatively regular grain size probably makes it a decent source for home biochar (definitely better than wood if you're just looking to add high-surface-area microbe housing to your soil). Given that coffee is so popular around the world, I think there could be real benefits to using it as a building material if it can lessen the need for new concrete.
>Even if you eat in, there's the restaurants that outsource cleaning of tableware, resulting in shrink-wrapped cups, bowls etc. (For the confused westeners, found this picture: https://i1.wp.com/countryandahalf.com/wp-content/uploads/201...)

Even if you're shipping dishes offsite for them to be cleaned, there's no real reason why they need to be individually shrinkwrapped. I suspect the reason for the shrinkwrap is to assure customers that the dishes are clean and haven't been contaminated. If that's the reason getting rid of the shrinkwrap is going to be non-trivial, because it's something that customers value very highly.
If you are gone produce your fuel on Mars, the power budget to actual make the fuel is gigantic. The power need to produce enough for a human in comparison isn't very much.
I was talking about carbon neutral synthetic kerosene which is a step beyond green hydrogen in the power-to-gas pipeline.
But what is the actual difference in air pollution at your house compared to last year?
A prerequisite to any sort of reform is being able to criticize what is wrong in general principles. As I said, there are many comments in this thread just plainly assuming that it's legitimate to consider the city as being bound by this deal due to unilateral actions of the mayor. Pointing out that this is an opinionated assumption and that we could instead use other standards to mitigate the principle agent problem is my attempt at articulating what is wrong with the situation. I'd say it has much better explanatory power for what people intuitively feel is wrong here.
Bluetooth codec is to blame. Some Bluetooth codecs are (very) low latency.

I used my phone speaker. My daughter (5) loved it, thank you.

Was odd it only worked once in Firefox Mobille (Android). I had to install Vivaldi (badum-tsh) to get it to work again. Was a let down it was only one song.
Thanks for running these examples. If there were timings for the final algorithm in the article I missed them, so it was hard to tell how much A* was really speeding things up. You have convinced me that it is worth specializing for a particular goal vs. solving all goals simultaneously, at least when the number of goals is 5.
Wonder if it's for their messaging stack, which probably has ejabberd buried inside
> zero functionality has been removed from class components

yes, exactly!

> They use them because they are idiomatic React

right, and do you think it'd be easy for a feature to become idiomatic if it wasn't an improvement over the previous patterns?
Mineral weathering is reasonably predictable in terms of what it will be capable of capturing.

Planting trees is anywhere from very good (cutting the trees down and burying it so deep it doesn't rot back to the atmosphere) to very bad (the tree doesn't grow or burns in a fire, effectively adding CO2 equal to the cost of planting).
Yes. Because it's really hard.

The expense to build the (extra) failover-ability for a case of rare catastrophic events is much larger than the fallout from one such event. It can only pay for itself over a long time, and would be built (maybe has Bern being built already) during a long time.
Mamba is great, and I use it when possible. It's probably the single best thing to happen to Anaconda in years. Nowadays it's installed automatically, but up until a month ago you had to deal with the slow solver to install it.

And fortunately it will become the default by Q4!

The point I was making is the old solver left an impression on me that SAT is slow and inefficient, that's all really :)
> A players hire A players, B players hire C players, and apparently D players fire A + B players.

How many people have you ever met who self-identified as a non-A player?
yup. lfp can cycle every day for over 12 years and still retain 80% capacity. there are a number of home battery vendors doing 5 year 5000 cycle/80% capacity warranties for their LFP batteries already on the market.
No subscriptions, just $20: what a nice offering.
This is a pretty interesting article... and I generally agree with the pain points... but I don't really like the conclusion

* While the author states that not many apps "need" high concurrency in userspace... I would invert that and say that we may be missing so much performance, new potential applications, etc because highly concurrent code is so hard to get right. One bit of evidence of this (to me at least) is how often in my career I have had to scale things up due to memory or other resource limitations and not CPU. And when it is CPU, so often looking into it more finds bugs with concurrency that are the root cause or at least exacerbate the issue

* While I completely agree that rust is not easy with async and have myself poked around at which magical type things I need to do each time I have touched async rust code, I don't really like the suggestion being to "go use a different language", first, because if you are picking up rust, you (IMHO) should have a very good reason to already have chosen it. Rust is not easy enough or ubiquitous enough that you should be choosing it "just for fun" and your reason for using Rust should be compelling enough that you (right now) are willing to put in the effort to learn async when you need it

* What the other mentions in the body of the article, but I think is more of what my suggestion would be: don't use async unless you need it!. While I would love to see Rust (and think it should) evolve to the point where async is "easy", maybe we instead just need to get more pragmatic in what is taught and written about. I think when people start Rust they want to use all the fanciness, which includes async, and while some of that is just programmers, I think it is also how tutorials, docs, and general communication about a programming language happens where we show the breadth of capability, rather than the more realistic learning path, which leads people to feel like if they don't use async, they aren't doing it right

Finally, I do really hope Rust keeps working on the promise of these zero cost abstractions that can really simplify things... but if that doesn't work, I am at least hopeful of what people can build on top of the rust featureset/toolchain to help make things like async more realistic to be the default without the need for a complex VM/runtime.
I love the enthusiasm in the comments. I have no expertise, but I have some interest in animation. I’ve never heard of procreate. Can someone share a link to examples using this tool?
Go: it turns out that generic is actually useful

Rust: it turns out that not every concurrency needs to be zero-cost abstraction
This is the way the majority of Procreate users came into it :)
Retrieval Augmented Generation (Rag): Streamlit, FastAPI, Weaviate, & Hamilton
Author here. Cool to see your response here!

>I'm a bit confused at how you'd come up with that summary of my career.

I worded that poorly, you're right. I meant early-stage startups at the scale of Fog Creek when you started. I've updated the post.

>No, this coworker right here was starting to say "shit fuck shit dammit" on camera as he discovered that a stale precompiled header was getting picked up on the build box and then realized Lerone was rolling, so you're hearing me halt myself before saying a pile of profanity on camera.

Ah, thanks for the context!

I watched that scene over and over trying to figure out what happened. It sounds like a "shush" but it's also weirdly stretched out. Liz seems to have heard it as a shush, as she shushes herself after. It shows Michael look over at you, but it's not clear if he was reacting to the noise.

There's an imdb trivia item[0] about how you and Liz disagree about whether it was a shush, but it's unsourced, so it was hard to put much stock in it. This is a much more satisfying answer.

I've updated the post to link to your comment here.

>I'm also happy to answer any questions anyone has about the movie or about that time at Fog Creek.

How do you feel about the movie looking back? I notice on your website that you recommend people watch it "if [they]’re feeling masochistic." Is it just the awkwardness of being the focus of a film at that age or were there things you disliked about how it came out?

What did you like/dislike about working at Fog Creek? How'd it change during your tenure?

[0] https://www.imdb.com/title/tt0813987/trivia/?item=tr0602787&...
Cobalt controversy is essentially oil company propaganda.

While it’s not perfect, the collective harm of cobalt is a firecracker vs the supernova that is oil.

A cobalt mine can’t fail and poison the entire Gulf of Mexico. Anyone who addresses the “controversy” of cobalt without proportionally addressing oil is a fraud.
https://doctorow.medium.com/provocateur-copyrights-a-magic-t...
If someone is foolish enough to implement a websocket library that insists on performing I/O by calling the methods on the language's generic reader and writer interfaces (rather than just operating on buffers the user passes in or whatever), why should they need to implement it a second time to add async? There are plenty of languages in which they do not need to do this, like Python or Lua.
What every systems programmer should know about concurrency (2020) [pdf]
Fedora's dnf also uses SAT and it's way faster (with caching) than the handwritten resolver it replaced.
This requires tremendous trust in the breadwinnner, though. Sexual competition is a reality, which is why infidelity happens. If the housewife/husband is deemed replaceable, then there is an implicit power differential between the breadwinner and house spouse, which opens the "lesser" half to abuse (physical, emotional, financial etc.). My recommendation to anyone considering house spousing is to have a contingency plan.
Brine is a source of a lot of minerals, apparently! TIL https://en.wikipedia.org/wiki/Brine_mining
I think they are referring to channels, which came with the tagline "share memory by communicating."
What biases?
How Overlanders are Ruining Overlanding [video]
To put it simply, I work with my coworkers, and management doesn't. I can tell who solves problems faster, is kinder and more sympathetic, works harder, delivers more, and is requested more often by clients because I'm in the trenches with them, on their email chains, and in their network drives.

Conversely, other team members deliver subpar work with worse attitudes, and I have to make up for their slack by doing stuff I shouldn't have to do.
To compare US elections to Russian or Syrian elections is both incredibly naive and dangerous. In one country, you have a leading political opponent having stolen classified docs treated with kid gloves; in the other, you have political opponents poisoned and literally blown out of the sky.
I’m a long time Procreate user and am shocked at the value I get out of it for the price. It’s definitely a killer app on the iPad and was the main reason why I picked up the Pencil.

Not to go off on too much of a tangent but thinking about animation on my iPad I was suddenly reminded of one of my favorite “toys” (tools?) from my childhood, The Etcha Sketch Animator:

https://the80sand90s.com/articles/etch-a-sketch-animator?for...
that's absolutely brutal
> Why do you people think that anything that isn't discussed constantly on HN is dying or dead? Their cloud revenue was $22 billion last year and climbing

Because so many vendors decided to jump into this space, and there's a track record of using accounting tricks as a substitute for market success. Azure, for example, is believed to be obscured[1].

[1]: https://www.bigtechwire.com/2023/06/30/microsoft-azure-gener...
We haven't added support for emitDecoratorMetadata yet but we have a branch that does most of the work. It just needs some more tests before we're comfortable merging it
Maybe the trade-offs are better?

https://twitter.com/threepointone/status/1698271991927648643
Because of security reasons they're reverting to a default password? That has to be the most insane thing I've read in a while...
Don't most people have dishwashers? With a dishwasher using real cutlery is almost as easy as using disposable ones, plus you get to use real cutlery rather than the flimsy plastic ones.
Here's a reference architecture we came up with that you can modify to your needs. Comments/feedback/questions welcome.
Samsung's global tablet market share is still huge even if lagging apple. 23.1 vs 35.4 as of Q1 2023.

People are buying android tablets and there are lots of downloads for the apps that do exist on Android.

"Market Share" would be a silly reason not to expand. The market is evidently there. The only valid reasons are not having the capital to expand or having too small a team. Neither of which really apply to Procreate. Even procreate don't give the market share excuse when asked. It's not a valid one.
There's no report better the FAA did not do the investigation. They asked SpaceX to self investigate and report what they found.
Does it really matter if the CO2 in your SodaStream or your favorite beer comes from this or an industrial process that generates CO2 (such as from ammonia)?

I mean, even if this all went to industry, if it was removing new CO2 that would have been generated otherwise, then it would still reducing atmospheric CO2 by the same amount from what it would have been otherwise -- right?

(Assuming this doesn't magically provide so much CO2 that it depresses prices and leads to new/increased CO2 uses, but that seems unlikely since this seems to be a much more expensive method than existing ones.)
Some academic startups do come up with novel ideas, but the novelty typically lies in the technology rather than the marketing standpoint. For example, Anyscale offers a novel technology, but from a business perspective, it is a generic scalable training framework.
Buffalo is a place in British English, Japanese, Thai, Indian, etc.
But running that tank factory is probably the least effective way of converting tax dollars into employment.

And thats one senator in one district it takes 50% of both senate and congress to pass a bill and not everytone gets contracts that big assigned to their district so the system is not individual senators all trying to secure the biggest employment gain for their district, it's much less rational.
Thanks!

Actually, when running locally, you can open it in a web app. There's one catch, though: saving project files is pretty janky (it downloads the project file). I think basically everything else works pretty well, though!
Agree, to have agency in the digital world requires us having control over our initiative. There's both behavioral and technical ways to do this today:

1. Look only at certain times each day (see habit chaining, e.g. 'look at email after I get lunch')

2. Set a focus mode that allows notifications from email at certain times

3. Allow email notifications only from specific high-importance contacts

4. Just set a timer, calendar event, or or recurring reminder
The context switch for threads remains very expensive. You have 4,000 threads but that's lots of different processes spinning up their own threads. it's still more efficient to have one thread per core for a single computational problem, or at most one per CPU thread (often 2 threads per core now). You can test this by using something like rayon or GNU parallel using more threads than you have cores. It won't go faster, and after a certain point, it goes slower.

The async case is suited to situations where you're blocking for things like network requests. In that case the thread will be doing nothing, so we want to hand off the work to another task of some kind that is active. Green threads mean you can do that without a context switch.
humans give off about 1L of flatulence per day, of which 5% is methane[1]. cows produce anywhere from 250 to 500L of methane per day[2]

1. https://pubmed.ncbi.nlm.nih.gov/1648028/

2. https://academic.oup.com/jas/article-abstract/73/8/2483/4632...
God bless them for maintaining transparent, user-friendly pricing. Sounds like a bargain at twice the price.
Anyone with electrical engineering know if pata vs. sata cables is a good analogy for async vs. sync?

I know parallel ATA cables were all the rage. They had a higher theoretical throughput when compared with serial ATA cables but there was too much cross-talk involved to make it actually faster in the end so now we have serial ATA cables everywhere with much higher throughput than parallel ATA cables could ever achieve.

Should we move back away from parallelism and focus on handling synchronous stuff faster instead?
Ah, whoops, the 2020, not the 2021! Should only be $9 at the right place. In my opinion, the extra couple dollars are worth it :)
great idea! working on this now
A replaceable battery is a better solution.
Why should they? They compare Meta and Apple, aren’t they?
$200 million, only paid upon delivery, is not a "remarkably big bet" for a company with $73 billion in net income.
The same could be said for NTSB reports, yet those are made public.
Probably no small part to Jose Valim speaking Portuguese
I disagree that its FUD. The fact of the matter is that Google is their biggest financial contributor, and that means by proxy Google can influence them. I don't have any examples right off the bat, but that doesn't discount the fact that it's a clear conflict of interest.
Lithium iron phosphate batteries have drastically improved cycles at the expense of energy density (approximately 14%). I'm seeing multiple sources state that they can achieve over 10,000 cycles in optimal conditions.
Why Svelte
maybe but the water deluge system seems to drain directly into protected US waters

https://blog.esghound.com/i/135551935/spacexs-permitting-woe...