λuki (@lmdex.pro) — bluesky.baby

関数型まつり2026のWebサイトをGleamで開発中！

関数型まつり2026のWebサイトをGleamで開発中です！ #fp_matsuri

13.01.2026 03:49 👍 6 🔁 5 💬 0 📌 0

たまに外に出るとおうちk8s環境が実は壊れていることに気付く

24.05.2025 05:10 👍 1 🔁 0 💬 0 📌 0

きました #nix_ja

24.05.2025 04:33 👍 0 🔁 0 💬 0 📌 0

関数型って別に難しくなくて、普通に使えると思うんだけど流行ってないのが悪いんだよなと思った
なんで流行ってないのかは分からない……（流行ってる言語もなぜ流行ったのか分からないので単に運かも）

10.05.2025 06:04 👍 0 🔁 0 💬 0 📌 0

連載し始めて一番感じたのは意外と皆私のツイッターを見ているということ
ありがたいね

10.05.2025 02:57 👍 0 🔁 0 💬 0 📌 0

GitHub - raven-ml/raven: OCaml's Wings for Machine Learning OCaml's Wings for Machine Learning. Contribute to raven-ml/raven development by creating an account on GitHub.

github.com/raven-ml/raven
ええやん。そろそろ kaggle に手を出すか。

01.05.2025 12:54 👍 1 🔁 0 💬 0 📌 0

ちっちゃいカンバンアプリ作ろうと思ってたけど、こういう風に既存のものでなんとかしてしまうから自分で作りたいもの無いんだよな

01.05.2025 12:51 👍 0 🔁 0 💬 0 📌 0

obsidian ちゃんと使いだしたけど、めっちゃ良いかも

01.05.2025 12:50 👍 1 🔁 0 💬 0 📌 0

heuristc コンテスト、楽しいんだけど、レート的には昔の ABC を感じる
BFS 出来れば緑って感じ

26.04.2025 16:23 👍 0 🔁 0 💬 0 📌 0

bluesky も自前でホストするかなあ

13.04.2025 05:30 👍 0 🔁 0 💬 0 📌 0

forgejo 自前で立てた
かなり良い

13.04.2025 05:30 👍 0 🔁 0 💬 0 📌 0

ブロックチェーン作る話。普通に興味ある。 #λ_kansai

12.04.2025 08:10 👍 0 🔁 0 💬 0 📌 0

圏論と関数型プログラミングって結構後付けの認識なんだけど実際にどうなんだろうなあ #λ_kansai

12.04.2025 07:45 👍 0 🔁 0 💬 0 📌 0

後半戦 #λ_kansai

12.04.2025 07:43 👍 0 🔁 0 💬 0 📌 0

内部の実装的にはグラフの操作とかなのかなあ #λ_kansai

12.04.2025 07:33 👍 0 🔁 0 💬 0 📌 0

様相論理の形式手法も AI が書く時代 #λ_kansai

12.04.2025 07:31 👍 0 🔁 0 💬 0 📌 0

例だと木構造のイメージかと思ったけど、別に一般のグラフでも問題ないか（それはそう） #λ_kansai

12.04.2025 07:19 👍 0 🔁 0 💬 0 📌 0

時間が一方向に流れる前提だとあるタイミングをノードにしたグラフは木構造になる？ #λ_kansai

12.04.2025 07:13 👍 0 🔁 0 💬 0 📌 0

様相論理だ #λ_kansai

12.04.2025 07:08 👍 0 🔁 0 💬 0 📌 0

Janus (可逆プログラミング言語) - Wikipedia

ja.wikipedia.org/wiki/Janus_(... #λ_kansai

12.04.2025 07:05 👍 0 🔁 0 💬 0 📌 0

Prolog あたりっぽいか（有名どころだと）

12.04.2025 06:52 👍 0 🔁 0 💬 0 📌 0

bluesky ずっとハッシュタグ付けられなくてだるいな？

12.04.2025 06:49 👍 1 🔁 0 💬 0 📌 0

三項演算子のネストが辛い、それはそう

12.04.2025 06:48 👍 0 🔁 0 💬 0 📌 0

パターンマッチは関数型の華だと思っているものの、どこから始まったんだろう #λ_kansai

12.04.2025 06:45 👍 0 🔁 0 💬 1 📌 0

ts 知らなすぎるけど、パターンマッチのためにライブラリがあるのか。。。 #λ_kansai

12.04.2025 06:38 👍 0 🔁 0 💬 0 📌 0

学生が多い、か #λ_kansai

12.04.2025 06:32 👍 0 🔁 0 💬 0 📌 0

突然の自己紹介タイムワロタ #λ_kansai

12.04.2025 06:30 👍 0 🔁 0 💬 0 📌 0

なんとか開始には間に合った男 #λ_kansai #ashibinaa

12.04.2025 06:14 👍 0 🔁 0 💬 0 📌 0

ヤマハ YH-L700A の試聴をしたけど、これは値段だけの価値があるヘッドホンだ
そもそもの音質も高いし、ビルドも良くて、独自機能が面白過ぎる

12.04.2025 05:27 👍 0 🔁 0 💬 0 📌 0

SNS って結局人がいないと見ないので中々移行と言ってもという感じがあるな（N回目）

12.04.2025 03:28 👍 0 🔁 0 💬 0 📌 0

λuki

Latest posts by λuki @lmdex.pro