るま

るまとよぶのだ。
ZEN大学 B1
日常系はあっち
※引リツは返信等の意味は無いよ
※すべてのツイートはフィクションで予約投稿です

[るま @lumc_]

たまに載せていたんですが、λCCの実装にチャレンジしていて、ようやくブラウザで動かせる状態にできました。
画像はさっそく 1 + 1 = 2 , x = y ⇒ y = x , そして帰納法で n + 0 = n を証明しているところ。
他にも例を色々用意しています。
スマホでも動きます。

https://t.co/ki0majSCyF

[るま @lumc_]

https://t.co/lY9SkUKJJE
書いた

[るま @lumc_]

@ayumufate25 ずっと触ってて最高です

[るま @lumc_]

クソかっこいいスマホに替えた。さよなら Pixel 7a、ようこそ Find X9

[るま @lumc_]

下にあるのは Alldocube iPlay 80 mini Pro と iPhone 17e

ヤッスー 😙、と、カッケー ✨と、カッケー✨
(iPlayもかっこいいし軽い)

[るま @lumc_]

弊社で軽めにイベントやるから軽い気持ちで来て〜 🙂 6/23 火
🍻 わおが主催 🍻

https://t.co/bmo6CoAolr

[るま @lumc_]

作ったあと調べたらめっちゃ既存のものいろいろあった。
なんか、ブラウザ開いてログインフローはじまってリダイレクトするくせに、URLを出してくれなくて制御できなくて困ってた。
Figmaとか。

[るま @lumc_]

ブラウザ開くためだけのブラウザ
https://t.co/iSqcwmnbCw

[るま @lumc_]

スノボと、初の冬タイヤ体験

[るま @lumc_]

行ってきた。これだった。

[スキー凸凹研究所 @skibumpslabo]

大都会　越後湯沢、今週も激混みですww

[るま @lumc_]

実は来ている。ぶっちゃけいくらぐらい使ってるかって質問を、投げちゃったぞ☆
（ついにClaudeCode Max 20xが週の半分で枯れてしまって悲しくてつい）
#AI_LTLAB

[るま @lumc_]

1/(1-x)がリスト、e^xがmultisetという観点などまったくしらず、感動した

[るま @lumc_]

#FOLIO_Meetup
シンプルに金融のこともしれて来てよかったな〜

[るま @lumc_]

#FOLIO_Meetup
実は来ている。なんか見たことある画面がでてきた。

[るま @lumc_]

免許をついに取ったので即日いろいろ行ってきた

[るま @lumc_]

https://t.co/5qToj3S3xP
すごすぎだろ

[るま @lumc_]

Obsidianも高度なソフトウェアかと言われるとなんともだな。同期体験のほうが重要なんだけども。うーん。ううーーーーん。悩ましいな。いや、いらない気がしてきたな。

[るま @lumc_]

https://t.co/AxuNar5Wru
フルバイブスでチューナーアプリを作った。
だいたいバイブスでの作り方の型を作れてきた。
プロンプトは全部リポジトリに入れてる

[るま @lumc_]

うーん、Paperpileはそうなると解約候補だなぁ。個人的には。
あとは、Google One、MS One、iCloud+すべてに両方加入してるのも、端末の縛りに引っ張られてるロックインでしかなくて、とても嫌だなぁ。
だいたいスマホの不自由のせいです。