<p>Sponsor us via GitHub: A new way to sponsor our cooperative <a href="https://blog.robur.coop/articles/2024-12-04-github-sponsor.html?utm_source=dlvr.it&amp;utm_medium=mastodon" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">blog.robur.coop/articles/2024-</span><span class="invisible">12-04-github-sponsor.html?utm_source=dlvr.it&amp;utm_medium=mastodon</span></a> <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="tag">#<span>OCaml</span></a> <a href="https://mastodon.social/tags/OCamlPlanet" class="mention hashtag" rel="tag">#<span>OCamlPlanet</span></a></p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> but why?</p><p>Because... it&#39;s possible</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@dabeaz" class="u-url mention">@<span>dabeaz</span></a></span> RIP the mug</p>

<p><span class="h-card" translate="no"><a href="https://social.linux.pizza/@asterisk" class="u-url mention">@<span>asterisk</span></a></span> I don&#39;t want to embed what could potentially be quite unmoderated content, i would have to add in a whole bunch of extra controls</p>

<p>I propose we replace semantic versioning with pride versioning</p>

<p>I&#39;d pour one out for my beloved coffee cup that got me through the pandemic except for the fact that I no longer have a cup. :-(.</p>

<p>How dangerous is Santa&#39;s job, really?</p><p>The Bureau of Labor Statistics doesn&#39;t publish any stats on rooftop holiday gift delivery due to limited data, so this is a bit of an extrapolation.</p><p>First, travel between houses. The NTSB has never recorded a fatal accident involving a reindeer-powered flying sleigh. Someone better at stats than me could probably bound the accident rate based on this record, but it&#39;s quite low so we&#39;ll neglect it.</p><p>Next, rooftop delivery.</p><p>According to 2022 stats (latest I could find quickly) the USA has ~190K roofers, and had 124 workplace fatalities over the year, a rate of one in 1532 per year.</p><p>Assuming the average roofer spends 12 months * 20 work days * 6 hours, or 1440 hours, on roofs in a given year, and assuming accidents are uniformly distributed, this gives a mean time between accidents of roughly 2.2 million hours, or an accident rate of 4.54e-7 per hour.</p><p>Suppose 4 billion people globally celebrate Christmas, with 2.5 people per household gives 1.6e9 households. Allocating 2 minutes per household for landing, unloading, boarding, and takeoff gives 5.3e7 minutes of rooftop time every Christmas eve (making heavy use of relativistic time dilation).</p><p>Unfortunately, this is 26x the mean time between roofing accidents. So Santa has quite a high chance (&gt;&gt; 50%) of falling off a roof and dying any given Christmas.</p><p>When you add in the possibility of getting stuck in a chimney, the cancer risk from inhaling all that soot on the way down, the near-certain diabetes from eating billions of cookies in one night, and more, I&#39;m glad I&#39;m not the one wearing the red suit.</p>

<p>to tame a living weapon,<br />you must first give it your neck</p>

<p><span class="h-card" translate="no"><a href="https://social.noyu.me/@hikari" class="u-url mention">@<span>hikari</span></a></span> cursed</p>