Whole-known-network
<p>im rearranging her guts but into nice shapes like perfectly impedance and length matched traces</p>
<p>Had a go at verifying some very old security protocols from Applied Cryptography using Tamarin: <a href="https://roscidus.com/blog/blog/2025/04/09/tamarin/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">roscidus.com/blog/blog/2025/04</span><span class="invisible">/09/tamarin/</span></a> - it seems pretty good at finding problems!</p>
<p>aperiodic reminder that you can instruct git to automagically use different url scheme, eg. to avoid having to deal with http(s) auth even by accident.</p><p>simply run <code>git config --global --edit</code> and add lines like these:</p><pre><code>[url "git@github.com:"]<br> insteadOf = https://github.com/<br>[url "git@code.hackerspace.pl:"]<br> insteadOf = https://code.hackerspace.pl/<br>[url "git@codeberg.org:"]<br> insteadOf = https://codeberg.org/<br></code></pre>
<p>However I believe that women still need their own games and to inspire younger girls.</p><p>Women can play billiards and can beat men. There are fewer female players than males because of the difference in interest. You often see more men in pubs or bars. This is why women still need safe spaces, their own groups, rankings, and tournaments in billiards.</p>
<p>I used to play pool tournaments. 🎱 Why is there gender segregation in billiards? Despite the fact that billiards are big in the Philippines, we were still very few female players...</p><p>Women's pool competitions only started a few decades ago and there are so few.</p><p>I've seen many competitive female pool players who defeated male players. Even my teammate who was only a teenage girl beat Efren Reyes once. There are mixed gender tournaments already.</p>
<p>Thank you <span class="h-card"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span>, this thought will probably stick in my mind every time I use chmod from now on!</p>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> <span class="h-card" translate="no"><a href="https://tutut.delire.party/@simon" class="u-url mention">@<span>simon</span></a></span> Just read the "AI Policy" section of <a href="https://github.com/servo/project/blob/6dcfe4a26b034e0dccad2f4a31c1d797abcc8c82/governance/tsc/tsc-2025-03-31.md" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">github.com/servo/project/blob/</span><span class="invisible">6dcfe4a26b034e0dccad2f4a31c1d797abcc8c82/governance/tsc/tsc-2025-03-31.md</span></a></p><p>I don't know how someone that says "Allowing maintainers is different from mandating community. Even if community is concerned about AI, why ban me from it" can still be a TSC member and a maintainer.</p>
@dramforever@mastodon.social @whitequark@mastodon.social @thejpster@hachyderm.io Yeah, the unenforceable argument is a distraction. There's no way for free software projects to tell if a submitter owns the copyright of the code they are submitting to begin with, so if we accept the unenforceable argument then we can throw out code licensing all together.
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> <span class="h-card" translate="no"><a href="https://hachyderm.io/@thejpster" class="u-url mention">@<span>thejpster</span></a></span> yes i would agree that enforcability is a separate issue on disallowing this practice. "cannot be always proven" should not be a barrier to making it a rule that it's not allowed</p>
