Elektrine lite

← Feed

Jonathan Frederickson

jfred@jawns.club

<p>Live near <a href="https://jawns.club/tags/philly" class="mention hashtag" rel="tag">#<span>philly</span></a> - tech interests include <a href="https://jawns.club/tags/foss" class="mention hashtag" rel="tag">#<span>foss</span></a>, <a href="https://jawns.club/tags/decentralization" class="mention hashtag" rel="tag">#<span>decentralization</span></a>, <a href="https://jawns.club/tags/userfreedom" class="mention hashtag" rel="tag">#<span>userfreedom</span></a> - non-tech interests include <a href="https://jawns.club/tags/biking" class="mention hashtag" rel="tag">#<span>biking</span></a> and <a href="https://jawns.club/tags/safestreets" class="mention hashtag" rel="tag">#<span>safestreets</span></a> advocacy</p>

Posts

  • View post

    @lcamtuf Going to try to remember just what was covered in the course vs. things I might have encountered later, but it was quite a while ago (2011). By my recollection, at least: - Epistemology (remember justified true belief coming up) - Consequentialist and deontological ethics - Propositional logic I was originally an ECE major that later switched to CS, and it always stuck out to me that my philosophy/ECE/CS courses all taught formal logic but in slightly different ways

  • View post

    Guix got an updated River package recently and I&amp;#39;m now once again failing the &amp;quot;don&amp;#39;t get nerdsniped by fun desktop tweaks&amp;quot; challenge

  • View post

    Okay yeah really enjoying Gliver (https://codeberg.org/ebeem/gliver/) so far! Still a lot of learning and tweaking to do but this is *super* fun. Thanks @ebeem!

  • View post

    I finally went back to @hive76.bsky.social after work last night to print off some buttons for the Tangarine faceplate for my #tangara, and recently got the new holographic sleeve for my #mntpocketreform. Building up my collection of shiny modified open hardware devices :D

  • View post

    @Endof10 Oh this is amazing! I&#39;ll have to get my local hackerspace on the list

  • View post

    New blog post about something I realized this morning re: potential chat apps that could let you pass around capabilities: https://www.terracrypt.net/posts/structured-messaging.html In summary: I think message contents should also be treated as structured data rather than just as strings! Feels like something I should have realized sooner, but it&amp;#39;s funny how the brain doesn&amp;#39;t always make connections that seem obvious in retrospect #ocap #spritely