ブログ記事置き場

長めの技術記事でも、数学記事でも、文芸記事でもないブログとしかいいようのない記事+旧ブログからの移行記事の集積所。

Articles

Disco Elysium - 頽廃の都マルティネーズで世界の迷宮に迷い込もう - 2023/01/01 17:35:00 JST

Disco Elysium が前評判に違わず素晴しかったのでみんなプレイしましょうという話です。

Raspberry Pi + VPS で自宅グローバル IP の変更自動検知をやった話 - 2019/03/10 18:00:00 JST

光インターネット契約したらルータに VPN 機能が付いていたが、固定グローバル IP を買うのが面倒だったので、Raspberry Pi と VPS の自前 DNS サーバで何とか頑張った話。

CaTeX(軽鳥/怪鳥)で快適 LaTeX ライフ in VSCode - 2018/11/26 23:10:00 JST

YaTeX の補完機能を Visual Studio Code で実現する CaTeX 機能拡張のご紹介。

サーバのデータが消えました - 2018/02/24 01:24:34 JST

サーバ管理はちゃんとしましょうという話。

こんさんドットコムを TLS (HTTPS) に乗り換えた話 - 2018/02/09 22:35:00 JST

こんさんドットコムを TLS ベースに乗り換えたのでその顛末を。 特に、はてなブックマークの数が移行されないのでちょっと工夫したという話をする。

はてなの数式を綺麗にする Chrome 拡張機能をつくった(※はてな以外も※) - 2013/05/18 01:54:42 JST

はてダなど mimetex を使っている数式をMathJax経由で綺麗にレンダーするようにする Chrome 拡張。

8つの質問で、GHC の type-level language 業界の現状を知る - 2013/03/20 15:01:50 JST

「8つの質問」という釣り記事が技術クラスタで昔流行って、それに便乗してGHCの型システムの話を書いた。

konn-san.com を刷新した - 2013/03/11 03:19:07 JST

今みてる konn-san.com 設立当時の設立宣言。こっちがメインになるとは思わなかった。

さらば愛しき JavaScript —— 愛と欲望の果てに Haskell は fay と出逢う。 - 2012/12/25 14:11:11 JST

Haskell のプログラムからJavaScriptを自動生成する Fay という言語処理系についての紹介記事。Haskell Advent Calendar 2012 の七日目の記事。

GHC 7.4.1 の型レベル新機能を使い倒す 〜GADTs、型族 と DataKinds、ConstraintKinds の円環〜 - 2012/06/07 00:48:45 JST

GADTsや型族が入って、GHCの型システムがリッチになりはじめた頃の解説記事。

Haskell で LK の定理証明系を書いた - 2012/05/30 17:54:18 JST

Haskellの型機能をふんだんに使って、古典命題論理の体系であるLKの定理証明系を書いた話ぞ。

Yesod を支える技術 - 2012/03/24 14:41:14 JST

大昔のYesodの内部構造についての紹介。

初めてのブログ - 2012/03/12 15:00:59 JST

ブログを作った報告。技術的な詳細解説。