k2

🏝️ 好き→Haskell, Julia, Go
💼 書く→Vue

[k2 @cwdxk2]

ウーン

[k2 @cwdxk2]

元から誰でもプログラミングはできたんだけど、それがようやく知られるようになっただけなんじゃないのかな？

[k2 @cwdxk2]

仄めかすのではなくもっと見せびらかしてくれ

[Butterfly @bflycomputer]

We're building a linux operating system called Pond

[k2 @cwdxk2]

Rust ってセッション型はあんの？

[k2 @cwdxk2]

40℃超える夏の日に炉に囲まれながら実験せねばならんという研究を早く楽にしてくださいね 頼みましたよ

[k2 @cwdxk2]

日（ひへん）に鏖（みなごろし）で夏2です

[k2 @cwdxk2]

書いてあることそのまま受け取る必要がある場面では、「要するに」「つまりこれは」「簡単に言うと」「物でたとえると」の誘惑を断ち切るところがスタートライン

[k2 @cwdxk2]

PureScriptに React あったと思うので、React と純粋関数型？好きな人はそっちどうよ、という話をしようとしたがそもそもアクティブなんかな

[k2 @cwdxk2]

Haskell は流石にメジャー言語

[k2 @cwdxk2]

ピアノちゃんは元からよく喋ってる認識ではある（公式 X でセリフ多いし）
人間にはあぱめにしか聞こえないという話でも良いんだけど

[k2 @cwdxk2]

こぎみゅんの YouTube を早く更新してください

[k2 @cwdxk2]

数学は自分自身で検証の仕組み持ってるからいい道具そうですね〜くらいの認識しかない

[k2 @cwdxk2]

自然科学と人文科学の境目は権威を持っているのが自然なのか人なのかという話と捉えていて、科学とは何ですかという顔

[k2 @cwdxk2]

Julia で do 構文マクロ含めてモナド書いてみてよ、を軽いベンチマーク的に使ってるんだけど最近の AI はちゃんとテストまで通るようなものを書いてくれて素晴らしい

[k2 @cwdxk2]

K&R スタイルの再発見…ではない？

[k2 @cwdxk2]

Linux デスクトップと mac と Windows 11 環境あるけど、今一番使い勝手良いの Linux デスクトップな感じ

[k2 @cwdxk2]

AI 生成の文章読む機会が増えてたまに AI 生成みたいな文を書いてしまうことない？

[k2 @cwdxk2]

ディレクションごっこしたいなら AI 生成コード読まなくていいですよ 問題解決能力と引き換えに楽しよう

[k2 @cwdxk2]

何でもない話だけど、最近 TUI がアツそうなので、TUI でのレスポンシブデザインとかあるのかなとか考えてる

[モバファク Tech @mfactech]

記事を公開しました🎉 #はてなブログ
TypeScript の型レベルプログラミングで Brainf**k - Mobile Factory Tech Blog
https://t.co/1QFGWRqRjR