Readit News logoReadit News
hgomersall commented on Thousands of U.S. farmers have Parkinson's. They blame a deadly pesticide   mlive.com/news/2025/12/th... · Posted by u/bikenaga
SoftTalker · a day ago
"undisputed evidence that the chemicals do not cause problems"

Impossible standard. You cannot prove a negative.

But, I think it's fair to assume that any chemical that is toxic to plant or insect life is probably something you want to be careful with.

hgomersall · 21 hours ago
Nonsense, if we view proving as providing evidence for, then absolutely we can prove a negative. We have our priors, we accumulate evidence, we generate a posterior. At some point we are sufficiently convinced. Don't get hung up on the narrow mathematical definition of prove (c.f. the exception[al case] that proves [tests] the rule), and we're just dandy.
hgomersall commented on The Tor Project is switching to Rust   itsfoss.com/news/tor-rust... · Posted by u/giuliomagnifico
GuB-42 · 4 days ago
From the looks of it, Rust is usable un a tiny embedded system but it is not "great". I think that out of the recent, trendy languages, Zig is the best suited for this task, but in practice C is still king.

The big thing is memory allocation, sometimes, on tiny systems, you can't malloc() at all, you also have to be careful about your stack, which is often no more than a few kB. Rust, like modern C++ tend to abstract away these things, which is perfectly fine on Linux and a good thing when you have a lot of dynamic structures, but one a tiny system, you usually want full control. Rust can do that, I think, like C++, it is just not what it does best. C works well because it does nothing unless you explicitly ask for it, and Zig took that philosophy and ran away with it, making memory allocation even more explicit.

hgomersall · 4 days ago
Tools like embassy really are great: https://embassy.dev/
hgomersall commented on The Tor Project is switching to Rust   itsfoss.com/news/tor-rust... · Posted by u/giuliomagnifico
GuB-42 · 4 days ago
I hate the "rewrite it in Rust" mentality, however, I think that in this particular case, Rust is the right tool for the job.

The Rust specialty is memory safety and performance in an relatively unconstrained environment (usually a PC), with multithreading. Unsurprisingly, because that's how it started, that's what a web browser is.

But Tor is also this. Security is extremely important as Tor will be under attack by the most resourceful hackers (state actors, ...), and the typical platform for Tor is a linux multicore PC, not some tiny embedded system or some weird platform, and because it may involve a lot of data and it is latency-sensitive, performance matters.

I don't know enough of these projects but I think it could also take another approach and use Zig in the same way Tigerbeetle uses it. But Zig may lack maturity, and it would be a big change. I think it is relevant because Tigerbeetle is all about determinism: do the same thing twice and the memory image should be exactly the same. I think it has value when it comes to security but also fingerprinting resistance, plus, it could open the way for dedicated Tor machines, maybe running some RTOS for even more determinism.

hgomersall · 4 days ago
FWIW, rust is great on a tiny embedded system.
hgomersall commented on The Walt Disney Company and OpenAI Partner on Sora   openai.com/index/disney-s... · Posted by u/inesranzo
noosphr · 5 days ago
Dysneys characters are entering the public domain, they can either cash out now or not at all.

Mickey mouse is now copyright free, pluto is in two weeks, then pretty much the whole roster by 2030 https://michelsonip.com/news/disney-characters-in-the-public...

hgomersall · 4 days ago
Or they could make, you know, new stuff people want to watch?
hgomersall commented on Everyone in Seattle hates AI   jonready.com/blog/posts/e... · Posted by u/mips_avatar
deaux · 12 days ago
I don't get this line of thinking. Never in my life have I heard the reasoning "replacing effort is the problem" when talking about children who are able to afford 24/7 brilliant private tutors. Having access to that has always been seen as an enormous privilege.
hgomersall · 12 days ago
I learnt the most from bad teachers#, but only when motivated. I was forced to go away and really understand things rather than get a sufficient understanding from the teacher. I had to put much more effort in. Teachers don't replace effort, and I see no reasons LLMs will change that. What they do though is reduced the time to finding the relevant content, but I expect at some poorly defined cost.

# The truly good teachers were primarily motivation agents, providing enough content, but doing so in a way that meant I fully engaged.

hgomersall commented on What will enter the public domain in 2026?   publicdomainreview.org/fe... · Posted by u/herbertl
gwbas1c · 14 days ago
Of course they do, their bias is to keep all the cards in their favor. Our (the consumer's) bias is to shorten copyright.

Remember, ultimately it is the consumer who pays the creator; thus the consumer has a vested interest in negotiating how long copyright should last.

hgomersall · 14 days ago
Which is absurd, because most creators would benefit hugely from an expanded public domain.
hgomersall commented on What will enter the public domain in 2026?   publicdomainreview.org/fe... · Posted by u/herbertl
adventured · 14 days ago
> their interests are not absolute

The question of interests is a cultural debate, and also not an absolute either direction. In one culture the interests of the author could be held as an absolute; in another culture the exact opposite could be held as the value: no copyrights at all.

That's up to the society to debate. We see considerable cultural variance across the globe on the matter.

hgomersall · 14 days ago
Isn't the question whether it's reasonable for people to be rentiers? Clearly lots of the population are, but wouldn't it be better if they carried on creating rather than sitting back and doing nothing for the remainder of their place on earth?
hgomersall commented on A million ways to die from a data race in Go   gaultier.github.io/blog/a... · Posted by u/ingve
Smaug123 · 21 days ago
Could you give an example to distinguish them? Async means not-synchronous, which I understand to mean that the next computation to start is not necessarily the next computation to finish. Concurrent means multiple different parts of the program may make progress before any one of them finishes. Are they not the same? (Of course, concurrency famously does not imply parallelism, one counterexample being a single-threaded async runtime.)
hgomersall · 21 days ago
If you are waiting for a hardware interrupt to happen based on something external happening, then you might use async. The benefit is primarily to do with code structure - you write your code such that the next thing to happen only happens when the interrupt has triggered, without having to manually poll completion.

You might have a mechanism for scheduling other stuff whilst waiting for the interrupt (like Tokio's runtime), but even that might be strictly serial.

hgomersall commented on A million ways to die from a data race in Go   gaultier.github.io/blog/a... · Posted by u/ingve
questioner8216 · 21 days ago
Rust concurrency also has issues, there are many complaints about async [0], and some Rust developers point to Go as having green threads. The original author of Rust originally wanted green threads as I understand it, but Rust evolved in a different direction.

As for Java, there are fibers/virtual threads now, but I know too little of them to comment on them. Go's green thread story is presumably still good, also relative to most other programming languages. Not that concurrency in Java is bad, it has some good aspects to it.

[0]: An example is https://news.ycombinator.com/item?id=45898923 https://news.ycombinator.com/item?id=45903586 , both for the same article.

hgomersall · 21 days ago
Async and concurrency are orthogonal concepts.
hgomersall commented on General principles for the use of AI at CERN   home.web.cern.ch/news/off... · Posted by u/singiamtel
conartist6 · 22 days ago
It's still just a platitude. Being somewhat critical is still giving some implicit trust. If you didn't give it any trust at all, you wouldn't use it at all! So they endorse trusting it is my read, exactly the opposite of what they appear to say!

It's funny how many official policies leave me thinking that it's a corporate cover-your-ass policy and if they really meant it they would have found a much stronger and plainer way to say it

hgomersall · 22 days ago
That doesn't follow. Say you write a proof for a something I request, I can then check that proof. That doesn't mean I don't derive any value from being given the proof. A lack of trust does not imply no use.

u/hgomersall

KarmaCake day2374December 17, 2021View Original