kmizu(@kmizu) 's Twitter Profileg
kmizu

@kmizu

A Software Engineer in Osaka (& Kyoto). Ph.D. in Engineering.
Interests: Parsers, Formal Languages, etc.
ツイートは所属先の見解と関係ありません.思いついたことをつぶやきます.

ID:4027691

linkhttps://kmizu.github.io calendar_today10-04-2007 13:17:05

111,9K Tweets

12,1K Followers

6,0K Following

Rootport🔥(@rootport) 's Twitter Profile Photo

何か腹の立つものを見たときに、インターネットを覗き込んで「私と同じ怒りを抱えた人がこんなにたくさんいる!一緒に怒ろう!」って判断すると、一瞬にして脳が壊れる。「私の代わりに怒ってくれる人がこんなにたくさんいるなら、まあ自分は別に怒らなくてもいいかな…」と思うようにしている。

account_circle
Takashi Kawasaki(@espresso3389) 's Twitter Profile Photo

この手のoff-by-one-errorって、人間でもやらかすし、そんなに酷い間違いか?って思うことの方が多いんだよなぁ。実際、結構間違うでしょ?

account_circle
erukiti(@erukiti) 's Twitter Profile Photo

generative-ai-conf-online.peatix.com/view

生成AIカンファレンス2024めちゃくちゃ面白そうなんだけど、ここからならまだ購入が出来て、アーカイブもあるらしい

account_circle
V(@voluntas) 's Twitter Profile Photo

使用許諾契約・ライセンス契約とOSSの法律知識 juasseminar.jp/seminars/view/… マジレスすると、このセミナーが定期的に開かれてるっぽいので、お高いですが参加するのマジお勧めです。(講師が弊社顧問弁護士です)

account_circle
品川@OS研究者(@utshina2) 's Twitter Profile Photo

品川研究室では、OSや仮想化、セキュリティなどのシステムソフトウェア分野で、修士・博士課程の学生を募集しています。今年度からコンピュータ科学専攻での募集となりますので、入試案内書をよくご確認ください。興味のある方は5月11日(土)の入試説明会にご参加ください。
i.u-tokyo.ac.jp/edu/course/cs/…

account_circle
kmizu(@kmizu) 's Twitter Profile Photo

「嫉妬」がよくわからないと考えてるの、フリーレンの黄金郷編で「悪意」を知りたいと思ったマハト味があるw

account_circle
sat(@satoru_takeuchi) 's Twitter Profile Photo

昔はほんとに何もわかってなくてlibcとglibcとglibがあることについて困惑してた

account_circle
kmizu(@kmizu) 's Twitter Profile Photo

妬みが共通項の多い相手との仲間意識と表裏一体の感情なら、逆に仲間意識持てた相手が人生であんまいない(親しい友達でも自分との差異を強く感じる)ことが妬まない原因とも言えそうで、それはそれで寂しい話かも。

account_circle
kmizu(@kmizu) 's Twitter Profile Photo

実験の中で「妬み」度合いが高かったシナリオ
> 学生A(自己との関連が高く、上級):被験者と同性で、進路や人生の目標や趣味が共通で、かつ被験者より上級であったり優れたな物や特性(学業成績、所有する自動車、異性からの人気など)を多く所有している。…

account_circle
kmizu(@kmizu) 's Twitter Profile Photo

そういえば、たまに書いてるんですが、私がScalaに関する発言をここ数年あんまりしてないのは意識的なものです。ほとんどcontributeできてないのに昔ちょっとしたことをやっただけで注目され続けるのもよろしくないですしね。

Scalaがちょっと好きなだけの一プログラマーですということで改めて。

account_circle
scala_jp(@scala_jp) 's Twitter Profile Photo

ScalaMatsuri 2024 当日スタッフ募集開始しました!
詳しくは下記ブログよりご覧ください。
ご応募お待ちしております。

blog.scalamatsuri.org/entry/2024/05/…

account_circle
Windymelt(めるくん)🚀❤️‍🔥さんと他1000人(@windymelt) 's Twitter Profile Photo

プログラミング言語Scala について日本語で雑談/相談/etcする discord サーバー『Scalaわいわいランド』を運営しています。学校で習ったレベルの初心者から達人までぜひお越しください〜

ift.tt/LypgXxD

account_circle
Taro L. Saito(@taroleo) 's Twitter Profile Photo

Scala 2.13.14 リリース。コミュニティのエコシステムライブラリもすぐに更新されていてとても良い状態。 github.com/scala/scala/re…

account_circle
Windymelt(めるくん)🚀❤️‍🔥さんと他1000人(@windymelt) 's Twitter Profile Photo

Scalaの悪癖として「こんなにアプリケーションを作れるのが簡単」じゃなくて「こんなに型システムでウルトラ型マジックをするのが簡単」みたいな感じに盛り上がりがちで、型手品じゃなくてビジネス方向でも盛り上げたい気持ちがある

account_circle
kmizu(@kmizu) 's Twitter Profile Photo

AppleのCM、話題になってるから見てみたけど、なんとなく微妙な印象を受けるし、多少の不快感はあるけど、多少の不快感も演出の仕方の問題だし、言うほどのものだろうかというのが正直な感想です。

ジョブズがどうかについてはあんまり興味がないですけども。

account_circle
kmizu(@kmizu) 's Twitter Profile Photo

「妬み」って本当になんだろうなあとよく思う。

たとえば、自分より性格が良くて、実力があって、人望がある人はいくらでも見るけど、叶わないとこは叶わないし、見習えることは見習おう(あるいは自分には真似できんなあ)しか思わない。

他者の立場に成り代わりたい願望?

account_circle
kmizu(@kmizu) 's Twitter Profile Photo

BNFとか読み込ませて解釈させてみると、現状のLLMの「推論能力」の限界みたいなのをよく感じることがあります。

任意個の要素のスタックが必要な何者かをきちんとシミュレートしようと思うと、LLMの外側でやらんといけないのかなーという気がしなくもない。

account_circle
kmizu(@kmizu) 's Twitter Profile Photo

私は「ポインタベンチマーク」と勝手に呼んでいるんですが、

void swap(int *a, int *b) {
int t = *a; *a = *b; *b = t;
}
int main(void) {
int x = 100, y = 200;
swap(&x, &y);
printf('x = %d, y = %d\n', x, y); return 0;
}…

account_circle