きつねプログラマ
@kbaba1001.bsky.social
個人ブログ「ハッカーと漫画家」 https://www.kbaba1001.com/
サークル「ノイマンパブリッシング」 https://magazine.neumann.tokyo/
会社 https://www.neumann.tokyo/
サークル「ノイマンパブリッシング」 https://magazine.neumann.tokyo/
会社 https://www.neumann.tokyo/
#技術書典 19 「お16:ノイマンパブリッシング」でサークル参加します。新刊は「Go言語と和解せよ 〜Goが嫌いな人向けの再入門書〜 」があります。
www.kbaba1001.com/posts/202510...
www.kbaba1001.com/posts/202510...
技術書典19、お16:ノイマンパブリッシング - ハッカーと漫画家
プログラマで同人漫画家の kbaba1001 のブログです。
www.kbaba1001.com
October 27, 2025 at 2:38 AM
#技術書典 19 「お16:ノイマンパブリッシング」でサークル参加します。新刊は「Go言語と和解せよ 〜Goが嫌いな人向けの再入門書〜 」があります。
www.kbaba1001.com/posts/202510...
www.kbaba1001.com/posts/202510...
自宅サーバーにぼっちMastdon (Hollo) を建てた。SNSの終焉 - ハッカーと漫画家
Clojure と漫画が好きな kbaba1001 のブログです。
www.kbaba1001.com
April 15, 2025 at 12:02 PM
ワイ、ついにブログに一人SNSを作ってしまう。技術的にはHolloという一人Mastodonサーバーを立てて、それをMastodonのタイムラインを表示するツールで見せてます。
April 15, 2025 at 6:09 AM
ワイ、ついにブログに一人SNSを作ってしまう。技術的にはHolloという一人Mastodonサーバーを立てて、それをMastodonのタイムラインを表示するツールで見せてます。
関数型まつり2025のトークは二日目の17時からになりました。よろしくお願いします
April 15, 2025 at 5:35 AM
関数型まつり2025のトークは二日目の17時からになりました。よろしくお願いします
Reposted by きつねプログラマ
関数型まつり2025の詳細タイムテーブルを公開しました🎉
6/14(土)、6/15(日)両日の全体進行と全48セッションの配置をぜひご確認ください!
スピーカーの皆様には運営事務局よりメールをお送りしていますので、
そちらもご確認お願いします。
2025.fp-matsuri.org/schedule
#fp_matsuri
6/14(土)、6/15(日)両日の全体進行と全48セッションの配置をぜひご確認ください!
スピーカーの皆様には運営事務局よりメールをお送りしていますので、
そちらもご確認お願いします。
2025.fp-matsuri.org/schedule
#fp_matsuri
開催スケジュール | 関数型まつり
関数型まつりは関数型プログラミングをテーマとしたカンファレンスです
2025.fp-matsuri.org
April 15, 2025 at 5:18 AM
関数型まつり2025の詳細タイムテーブルを公開しました🎉
6/14(土)、6/15(日)両日の全体進行と全48セッションの配置をぜひご確認ください!
スピーカーの皆様には運営事務局よりメールをお送りしていますので、
そちらもご確認お願いします。
2025.fp-matsuri.org/schedule
#fp_matsuri
6/14(土)、6/15(日)両日の全体進行と全48セッションの配置をぜひご確認ください!
スピーカーの皆様には運営事務局よりメールをお送りしていますので、
そちらもご確認お願いします。
2025.fp-matsuri.org/schedule
#fp_matsuri
やっぱり「伺か」みたいな vs code extention ほしいな。AI Agent になってるやつで。
そのうちつくるか
そのうちつくるか
April 11, 2025 at 3:17 AM
やっぱり「伺か」みたいな vs code extention ほしいな。AI Agent になってるやつで。
そのうちつくるか
そのうちつくるか
夫婦両方ともかけ放題設定したのはちょっとしたライフハックかもなぁ。電話安定
April 10, 2025 at 3:15 AM
夫婦両方ともかけ放題設定したのはちょっとしたライフハックかもなぁ。電話安定
any 使うなら TS なんかやめちまえ、という気持ちと any がないと TS なんか書けるか、という気持ちがせめぎ合う。なぜCLJSは世界を支配できないのか...
April 10, 2025 at 2:43 AM
any 使うなら TS なんかやめちまえ、という気持ちと any がないと TS なんか書けるか、という気持ちがせめぎ合う。なぜCLJSは世界を支配できないのか...
extraterm ならターミナルの中で気楽に画像を閲覧できるのが便利すぎる
April 7, 2025 at 12:41 AM
extraterm ならターミナルの中で気楽に画像を閲覧できるのが便利すぎる
github.com/sedwards2009... このターミナルをインストールしてみた。ターミナル上で画像の表示ができるのが楽
GitHub - sedwards2009/extraterm: The swiss army chainsaw of terminal emulators
The swiss army chainsaw of terminal emulators. Contribute to sedwards2009/extraterm development by creating an account on GitHub.
github.com
April 7, 2025 at 12:35 AM
github.com/sedwards2009... このターミナルをインストールしてみた。ターミナル上で画像の表示ができるのが楽
深夜に起きたのでGentooLinuxのインストールした。無事にCUIで起動後、ネットにつなげてXorg と i3 をインストールして起動するところまでできた。ターミナルはいったん URxvt にした。いいのがあれば今後変えていく。
April 3, 2025 at 12:27 AM
深夜に起きたのでGentooLinuxのインストールした。無事にCUIで起動後、ネットにつなげてXorg と i3 をインストールして起動するところまでできた。ターミナルはいったん URxvt にした。いいのがあれば今後変えていく。
Markdown Editor として Typora を使っているんだけど、そこまで満足してないからそのうち自作するかもしれん
March 31, 2025 at 12:00 AM
Markdown Editor として Typora を使っているんだけど、そこまで満足してないからそのうち自作するかもしれん
Jank 試しに使ってみたいんだよなぁ。
jank-lang.org
jank-lang.org
jank programming language - Clojure/LLVM/C++
jank is a Clojure dialect on LLVM with a native runtime and C++ interop.
jank-lang.org
March 30, 2025 at 11:43 PM
Jank 試しに使ってみたいんだよなぁ。
jank-lang.org
jank-lang.org
まぁいいや。formatter くらいは pre-commit でなんとかしよう
March 29, 2025 at 2:56 AM
まぁいいや。formatter くらいは pre-commit でなんとかしよう
Zedくん、defaultのformatterをbiomeに変更するのどうやればいいのかわからん。。。
March 29, 2025 at 2:47 AM
Zedくん、defaultのformatterをbiomeに変更するのどうやればいいのかわからん。。。
最近情報処理学会の論文読めてないから読まなきゃ
March 28, 2025 at 10:52 AM
最近情報処理学会の論文読めてないから読まなきゃ
技術書典１８のサークル場所発表されました。ノイマンパブリッシングは「さ１９」です。よろしくお願いします。
March 28, 2025 at 1:40 AM
技術書典１８のサークル場所発表されました。ノイマンパブリッシングは「さ１９」です。よろしくお願いします。
Headless CMS をつかってブログを作りたいがなかなか時間が取れない。。。ぬおー
March 26, 2025 at 12:10 AM
Headless CMS をつかってブログを作りたいがなかなか時間が取れない。。。ぬおー