@toha1874cd.bsky.social
Spontaneous reposts I find interesting, occasional photography posts and maybe a little computer science.
It was a good year concerning music for me! Discovered Kanonenfieber and had a blast with the new Cypecore album!
December 4, 2025 at 5:53 AM
It was a good year concerning music for me! Discovered Kanonenfieber and had a blast with the new Cypecore album!
Reposted
Reposted
Correct. If the birthdate field contains corrupt or mismatched data, it defaults to 1875-05-20, which serves as a flag. May 20, 1875, is the day the international standards and metrics treaty was signed. Everything is a conspiracy when you don’t know how anything works.
February 15, 2025 at 5:53 AM
Correct. If the birthdate field contains corrupt or mismatched data, it defaults to 1875-05-20, which serves as a flag. May 20, 1875, is the day the international standards and metrics treaty was signed. Everything is a conspiracy when you don’t know how anything works.
Reposted
@alanderminna.bsky.social is on to something important here.
Whether the Eagle S incident was caused by stupidity or nefarious intentions doesn't mean anchor dragging isn't a good tool for sabotage. It is.
The shadow fleet remains a problem too, environmentally and as a source of Russian revenue.
Whether the Eagle S incident was caused by stupidity or nefarious intentions doesn't mean anchor dragging isn't a good tool for sabotage. It is.
The shadow fleet remains a problem too, environmentally and as a source of Russian revenue.
I reconstructed the debate on intentionality of the cable damage incidents in the Baltic Sea, following the Washington Post article, in this Substack post.
My main argument is that intentionality does not matter. The shadow fleet needs to be dealt with either way.
My main argument is that intentionality does not matter. The shadow fleet needs to be dealt with either way.
Intentional Or Not, the Shadow Fleet Is a Problem
The question of intentionality does not change the need to deal with the hazards posed by the Russian shadow fleet. It does not fundamentally change European countries' response options either.
open.substack.com
January 22, 2025 at 1:03 PM
@alanderminna.bsky.social is on to something important here.
Whether the Eagle S incident was caused by stupidity or nefarious intentions doesn't mean anchor dragging isn't a good tool for sabotage. It is.
The shadow fleet remains a problem too, environmentally and as a source of Russian revenue.
Whether the Eagle S incident was caused by stupidity or nefarious intentions doesn't mean anchor dragging isn't a good tool for sabotage. It is.
The shadow fleet remains a problem too, environmentally and as a source of Russian revenue.
Reposted
People sometimes make fun of science that sounds stupid and random.
Meanwhile, a study of lizard saliva turned into a peptide medication, which was turned into a diabetes medication, which was turned into a GLP1 weight loss drug, that just became the first therapy every approved for … sleep apnea
Meanwhile, a study of lizard saliva turned into a peptide medication, which was turned into a diabetes medication, which was turned into a GLP1 weight loss drug, that just became the first therapy every approved for … sleep apnea
Breaking News: The FDA approved use of the weight loss drug Zepbound for a common form of sleep apnea. It is the first drug authorized to treat the disorder.
F.D.A. Approves Weight-Loss Drug to Treat Sleep Apnea
Zepbound is the first prescription drug approved specifically to treat the common condition.
www.nytimes.com
December 21, 2024 at 12:41 AM
People sometimes make fun of science that sounds stupid and random.
Meanwhile, a study of lizard saliva turned into a peptide medication, which was turned into a diabetes medication, which was turned into a GLP1 weight loss drug, that just became the first therapy every approved for … sleep apnea
Meanwhile, a study of lizard saliva turned into a peptide medication, which was turned into a diabetes medication, which was turned into a GLP1 weight loss drug, that just became the first therapy every approved for … sleep apnea
Reposted
Data showing the top 16% of remote workers outperform the top 5% in-office, while the bottom 12% underperform the bottom 5% in-office, makes sense.
Top performers thrive with extra time from no commute, but underperformers struggle without oversight. RTO penalizes top talent for others’ inability.
Top performers thrive with extra time from no commute, but underperformers struggle without oversight. RTO penalizes top talent for others’ inability.
November 28, 2024 at 9:16 PM
Data showing the top 16% of remote workers outperform the top 5% in-office, while the bottom 12% underperform the bottom 5% in-office, makes sense.
Top performers thrive with extra time from no commute, but underperformers struggle without oversight. RTO penalizes top talent for others’ inability.
Top performers thrive with extra time from no commute, but underperformers struggle without oversight. RTO penalizes top talent for others’ inability.
Reposted
A Brief History of Nobody Wants to Work Anymore
🧵
🧵
November 11, 2024 at 5:54 PM
A Brief History of Nobody Wants to Work Anymore
🧵
🧵
Reposted
One of the most beautiful images of Neptune, IMO, was processed by @andrealuck.bsky.social
www.flickr.com/photos/19227...
🔭 🧪
www.flickr.com/photos/19227...
🔭 🧪
November 11, 2024 at 7:10 PM
One of the most beautiful images of Neptune, IMO, was processed by @andrealuck.bsky.social
www.flickr.com/photos/19227...
🔭 🧪
www.flickr.com/photos/19227...
🔭 🧪
Just finished carving :)
October 29, 2023 at 7:39 PM
Just finished carving :)
Saying goodbye to my first exhibition. Was a lot of fun, and never thought my pictures would be displayed publicly, ever. Well, everything has an end! I'm just glad it happened.
October 25, 2023 at 5:52 AM
Saying goodbye to my first exhibition. Was a lot of fun, and never thought my pictures would be displayed publicly, ever. Well, everything has an end! I'm just glad it happened.
Good morning :)
October 7, 2023 at 5:38 AM
Good morning :)
Strong paper recommendation for all folks interested in provers, formal verification, safety critical systems: arxiv.org/abs/2305.11813
Making $\textsf{IP}=\textsf{PSPACE}$ Practical: Efficient...
We show that interactive protocols between a prover and a verifier, a well-known tool of complexity theory, can be used in practice to certify the correctness of automated reasoning tools.
...
arxiv.org
October 6, 2023 at 6:23 AM
Strong paper recommendation for all folks interested in provers, formal verification, safety critical systems: arxiv.org/abs/2305.11813
I did not! Oh hi Mark.
October 5, 2023 at 9:23 AM
I did not! Oh hi Mark.