日記」カテゴリーアーカイブ

「関数型まつり」に行ってきた

去る6月14日・15日に東京・中野で開催されたイベント「関数型まつり」に行ってきました。と言っても、14日は地元で予定があったので、参加したのは15日だけです。

関数型まつり

3つの部屋でセッションが同時進行しており、どれも面白そうだったので、分身の術を習得しておかなかったのが悔やまれます。

直接聞いた発表に限らず、資料のみ見た発表についても、いい機会だと思って思ったことを書かせてもらいます。

続きを読む

記事を書くときに気をつけていること、読んでもらうための工夫について

少し前(4月)に、「防御力の高い技術ブログを書こう」という記事が話題になった。

防御力の高い技術ブログを書こう – じゃあ、おうちで学べる

便乗というにはいささか時間が経ってしまったが、私も記事を書くときに気をつけていることを書いてみようと思う。

続きを読む

自動車を買った/車は移動を自由にするか

人生をやっていると、大きな出費の瞬間が何回か訪れる。自動車の購入はその一つだ。

私が今住んでいる場所は都会というほどではないが大きな駅の徒歩圏内で、正直言って大人二人で生活する分には自動車はそんなに必要ない。自動車が必要ならカーシェアやレンタカーを使えば良い。だから自動車はこれまで持っていなかった。

しかし、色々あって今回自動車を購入することにした。

続きを読む

GHCデバッグ日誌 CI編

私はHaskell処理系であるGHCに趣味で貢献しています。詳しいことは過去の記事を見てください:

今回は、GHCのCIの問題を追求した話をします。前に「GHCデバッグ日誌」という記事を書いたので、今回は「CI編」としました。

続きを読む

AIでも生成できる技術記事に価値はあるのか

最近、Qiitaの「タイムライン」(指定したタグのついた記事を新着順に表示してくれる機能)を眺めていると、ある特徴を持った記事が散見されるようになった。その特徴とは、

  • 内容が当たり障りないというか、オリジナルの知見とか著者の感情のようなものが少なく、淡白である
  • セクションに番号が振られている
  • 著者のページを見に行くと、毎日のように記事を公開している

である。そう、AIで生成された可能性が高い記事だ。

最近見かけるようになったAI生成された技術記事について何点か思うところがあるので、書いておく。

続きを読む

WSL2へVS CodeからSSH接続する/VS Codeを使いこなしたい

最近はメインのテキストエディターとしてVisual Studio Codeを使っています。しかし、いまいち使いこなせている気がしません。

作業内容としては、最近はGHCのSIMDプリミティブの実装をやっていて、x86-64 WindowsマシンのWSL2で作業することが多いです。しかし、私のメインマシンはMacで、MacでFirefoxを開きつつ、リモートデスクトップでWindowsにつなぎ、その上でターミナルとVS Codeを立ち上げて作業していました。「直接Windowsで作業しろよ」とか言われそうですね。

このやり方では困ったことがあって、Mac miniのネットワークの問題なのか、時々リモートデスクトップが固まります。固まっている間はエディターへの入力もできなくなります。

リモートデスクトップ越しではなく、手元のVS Codeを使えばこの問題を回避できそうです。ネットワーク接続はファイルを開くタイミングと保存するタイミングで繋がっていればいいわけですからね。つまり、MacのVS CodeからWindows機のWSL2へSSH接続するのです。

(昔使っていたEmacsにもSSH越しに作業するモードがありました。)

というわけで、重い腰を上げてVS CodeでSSH越しに作業する方法を調べました。

続きを読む