ひょんなことから電車の中からDiscordのミーティングに参加したくなったので、ゆっくり音声合成をDiscordに流し込むことで、移動中から

Emacsに新しい設定をしてみたときにこのブログに記事を書くようにしてみました。まず第一回として、Emacs用のTelegramクライアント

TL;DR 多分 Twitter/X にはほとんど居ないよ 自前の Mastodon インタンスを立てたので、多分そっちにいるよ OSS は良いぞ 👓 明けましておめでとうございます。2023年は技術寄

はじめに この記事は SATySFi Advent Calendar 2023 21日目の記事です。20日目も22日目もまだ誰もいません。 今年もアドベントカレンダーの時期がやってきました。たまー

はじめに この記事は SATySFi Advent Calendar 2023 9日目の記事です。8日目も10日目もまだ誰もいません。 今年もアドベントカレンダーの時期がやってきました。たまーに SATySFi

ハードウェア設計の文脈で、形式検証を使って設計した回路の正しさを保証することができます。この記事では、SymbiYosys を使って半加算回路

このブログでは記事のシェアボタンを作るために AddThis を使っていましたが、気がついたらサービスが終了になっていたので自前で作ることにしました。Add

本記事では、Hugoを使用して(ブログっぽくない)「普通の」Webページを生成する方法を書きます。ブログのトップページには記事リストや最新の

GNU Emacs をカスタマイズするのに使われる Emacs Lispはdynamic bindingとlexical bindingという二種類のbindingを提供し

GNU Emacs からhome assistantを使う、hassを設定してみたので記事を書いてみます。例えば M-x hass-call-service で色々な機器を操作できます。 今回の設定は以