maku.

@tuanemuy

ライオンさん（宇宙飛行士（プログラマー）） https://x.com/tuanemuy

12
Followers 106
Following 9
Posts 23.11.2024
Joined

Posts Following

Latest posts by maku. @tuanemuy

NixでAlloyとTLA+を入れてみた。

#nix #形式手法

16.06.2025 09:35 👍 1 🔁 0 💬 0 📌 0

GitHub - tuanemuy/at-diary Contribute to tuanemuy/at-diary development by creating an account on GitHub.

BlueskyのJetstreamから日記を生成してみた。
github.com/tuanemuy/at-...

#bluesky #atproto

13.06.2025 03:47 👍 1 🔁 0 💬 0 📌 0

Agent on Rails - AIをDDDのレールの上で制御する

#gunmaweb

speakerdeck.com/childhooooo/...

10.06.2025 04:42 👍 0 🔁 0 💬 0 📌 0

Firehoseテスト #test

09.06.2025 06:29 👍 0 🔁 0 💬 0 📌 0

CSVDoc/TSVDoc: 新しい軽量マークアップ記法を考えてみた

Posted on @md!
https://at-markdown.com/tuanemuy.bsky.social/tuanemuy/vault/202505081243_csvdoc.md

12.05.2025 12:28 👍 0 🔁 0 💬 0 📌 0

いいねの反映テスト。

24.04.2025 12:40 👍 0 🔁 0 💬 0 📌 0

MBTIプログラミング言語診断

Posted on @md!
https://at-markdown.com/tuanemuy.bsky.social/tuanemuy/vault/202504150021_mbti_for_programming_language.md

24.04.2025 12:36 👍 1 🔁 0 💬 1 📌 0

投稿できた。

24.04.2025 12:20 👍 0 🔁 0 💬 0 📌 0

snacks.nvimのpickerでkensaku.vimによる全文検索を行う

Posted on @md!
https://at-markdown.com/tuanemuy.bsky.social/tuanemuy/vault/202503041740_snacks_picker_kensaku_vim.md

24.04.2025 12:17 👍 0 🔁 0 💬 1 📌 0