They are great, I use InputLeap regularly. But the things mentioned in the post transfer video as well, which is a different use case. The synergy family of tools allows to share input devices with another machine, but not use it as a second screen for software on the first system. Depending on the goal, one can work around that with network file systems and having the same software installed on both PCs.
Do you have any source for that? In the ones I found, it's more like 4/5 of the soy grown for human consumption is for oil, but human consumption is only 1/5 of the production.
See e.g. here https://ourworldindata.org/drivers-of-deforestation#is-our-appetite-for-soy-driving-deforestation-in-the-amazon, the oil production uses 13.2% of the global soy.
From the Wikipedia link above:
Repin used Grigoriy Myasoyedov, his friend and fellow artist, as the model for Ivan the Terrible, and writer Vsevolod Garshin for the Tsarevich.
It was similar for me for a long time. There's even a name for that specific reason to go to bed late: revenge bedtime procrastination
I was in the same camp when I had to use Python on the job, but when Scala introduced (optional) significant whitespace, I actually grew to like it a lot. I think the important difference to Python is, that with a good type system and compile time checks a whitespace error is basically always a compile time error in Scala. That's also for me it's worse in a configuration language (unless you have a schema file for validation, which is rarely the case sadly)
Well to be fair, atheism and pagan also are assigned to non-Linux OSes here.
This basically amounts to a key/interaction logger in the IDE. I'd suspect this would prevent many people contributing to projects using something like that, at least I wouldn't install such a plug-in.
What exactly would you checksum? All intermediate states that weren't committed, and all test run parameters and outputs? If so, how would you use that to detect an LLM? The current agentic LLM tools also do several edits and run tests for the thing they're writing, then edit more until their tests work.
So the presence of test runs and intermediate states isn't really indicative of a human writing code and I'm skeptical that distinguishing between steps a human would do and steps an LLM would do is any easier or quicker than distinguishing based on the end result.
Even counting all who voted for them, as the voter turnout was 64%. I'm not sure how much of the population 100% would be with that voter registration system the US has (is 100% all registered voters or all that could in theory register), but even if 100% was all the population, it would only be around 35% MAGA voters
White or light stripes painted on dark bodies have also been found to reduce fly irritations in both cattle and humans.
A study about painting stripes on cattle won an Ig-Nobel Price in 2025: https://www.bbc.com/news/articles/crkjzxrrkd5o (article has a photo of a painted cow)
No one is planning to loosen any current rules, this is about a new law, that would ban names like soy milk.
At least in Germany, even without the new ban, it was not allowed to call anything but cow milk simply "milk" without any prefix, and what you can add to cow milk is already regulated (https://de.wikipedia.org/wiki/Milch-_und_Fettgesetz). Is it different where you live and currently milk is often watered down?
He could threaten them with a friendly visit, like when he visited the Pope or Orban.