<p><span class="h-card" translate="no"><a href="https://donotsta.re/users/mei" class="u-url mention">@<span>mei</span></a></span> during the most of my involvement with ocaml, there were way too fucking many build systems (something like 12 at the peak? it was infuriating); since then basically everyone standardized on dune, which interoperates with opam. i think ocamlfind may also be involved somewhere in the middle, but that may have changed since last time i touched this stuff</p>

<p><span class="h-card" translate="no"><a href="https://donotsta.re/users/mei" class="u-url mention">@<span>mei</span></a></span> dune is the build system, opam is the package manager</p><p>like... dune is cmake, opam is apt. does this help?</p>

<p>&quot;In 1935, the name estradiol and the term estrogen were formally established by the Sex Hormone Committee of the Health Organization of the League of Nations&quot; is certainly a sentence</p>

<p><span class="h-card" translate="no"><a href="https://donotsta.re/users/mei" class="u-url mention">@<span>mei</span></a></span> i think opam and coq are a particularly bad combination (coq is fucking weird and i don&#39;t like talking about it); wanna try using opam in a non-coq context? i know it quite well and can answer questions</p>

<p>presenting this <a href="https://www.sixdegreesofwikipedia.com/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://www.</span><span class="">sixdegreesofwikipedia.com/</span><span class="invisible"></span></a> graph without comment</p>

<p><span class="h-card" translate="no"><a href="https://donotsta.re/users/mei" class="u-url mention">@<span>mei</span></a></span> which tooling potholes did you fall into with ocaml?</p>

<p><span class="h-card" translate="no"><a href="https://donotsta.re/users/mei" class="u-url mention">@<span>mei</span></a></span> hi</p>

<p>Pull-up: pulls the signal up to the rail<br />Pull-down: pulls the signal down to gnd</p><p>This board has invented a third kind of pull resistor, one that pulls your signal into the void</p>

<p>Python t-strings look really neat. I wonder about using them to represent quasiquotes on embedded DSLs, including prepared SQL statements.</p><p>I mean, that&#39;s effectively what the `html()` example is, but generalized to use symbols as interpolations rather than eagerly evaluated values.</p><p><a href="https://mastodon.davepeck.org/@davepeck/113507351337733983" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">mastodon.davepeck.org/@davepec</span><span class="invisible">k/113507351337733983</span></a></p>