<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> Sure! I’ve been digging into surfer recently for waveform viewing. I’m enjoying it as an alternative to gtkwave.</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@ancoghlan" class="u-url mention">@<span>ancoghlan</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@dabeaz" class="u-url mention">@<span>dabeaz</span></a></span> <br />yeah...maybe the approach of thinking them as &quot;tests&quot; could get me more at ease. </p><p>But it is not quite the same. <br />If you test a function can sum two integers, you still can use it to sum two floats in Python.</p><p>In typing you are supposed to cover all possible ways your code could be run _before_ shipping (or comitting a change) - and, <br /> If you want all possible &quot;summable&quot; things to be covered by typing, in good pt_br, cê tá lascado!</p>

<p><a href="https://protomaps.com/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="">protomaps.com/</span><span class="invisible"></span></a> - Protomaps: an open source map of the world, deployable as a single static file.</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@film_girl" class="u-url mention">@<span>film_girl</span></a></span> </p><p>It’s 2024. Just buy the low end model and pop some larger DIMMs in yourself. Duh.</p><p>(Said with all the sarcasms in the world)</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@film_girl" class="u-url mention">@<span>film_girl</span></a></span> TELL ME MORE ABOUT THE HUBBA HUBBA SPEAKER</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@film_girl" class="u-url mention">@<span>film_girl</span></a></span> cool badge!</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> and by &quot;it&quot; I mean information of the sort &quot;this wire has this value at that time&quot;</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> Yeah, but what you do in the debugger is take it back to an LSP. I should be able to take it back to yosys which has the netlist, right?</p>

<p><span class="h-card" translate="no"><a href="https://octodon.social/@vjgoh" class="u-url mention">@<span>vjgoh</span></a></span> fully agree! Everyone is always like “just get an external” except macOS is awful with external drives and getting worse each release! And nothing cloud-based is allowed to be on an external, which is made worse sense you can’t alter the cache even as an admin. Makes storage prices even more insane.</p>