Elektrine lite

← Feed

April

ask@infosec.exchange

<p>I like to find out how things work.</p><p>I&#39;m a SWE at Google in Los Angeles (this feed is all personal stuff).</p>

Posts

  • View post

    I finally got my backup router VM all set up and it&#39;s pretty magical. I can reboot my main server for updates and my home network doesn&#39;t drop any all anymore. I basically set up a FreeBSD VM on a secondary mini PC (which runs linux for gpu reasons) and I set up pfsync and carp plus an extra switch to do garp manually on the wan side (because I can&#39;t use carp there, you need 3 WAN IPs for that). FreeBSD is so cool having all this fancy stuff. I really like the pf syntax too.

  • View post

    I also noticed my zfs on arch linux kernel update script was accidentally private until now https://gist.github.com/fsmv/37fd0a934abb879ef7c9a32a89e7a3d2

  • View post

    I finally documented my arch linux steam machine setup https://gist.github.com/fsmv/c9e1365540a4dfda55c56a5dc68ea39f

  • View post

    I feel like people don&#39;t get the purpose of math. It&#39;s not to produce as many proofs as possible. Math exists for humans to understand. Theorems only have any meaning to the extent that a human mathematician cares about the problem. https://fed.brid.gy/r/https://bsky.app/profile/did:plc:o72ypk5c474zqklkukaphuy3/post/3mr342utmx226

  • View post

    I do actually use AI kind of a lot but I rarely have it generate code. I use AI to increase my understanding not to abdicate it.