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 で色々な機器を操作できます。 今回の設定は以

夏なので自動かき氷機の「正しさ」を数学的に検証する話を書きます。 (この記事は以下のツイートから始まるスレッドの内容をまとめ直したものです。)

諸般の事情で GUI 付きの仮想マシンをリモートから動かしたかったので、RDPを使ってVirtualBoxの仮想マシンに接続してみました。 拡張パック