べむ (@bem130) header
べむ (@bem130) profile picture

最強のプログラミング言語を設計したい人 NEPL3 28代鳥 電装班 Ender3 V3 KE; RIGOL DHO924S; 漢検2級 https://nitter.gq/t.co/ibaoMHzRA2 Bem / べむ / 蓓眸 / Bem estas malsaĝulo

Japan
Joined August 2020
Photo by べむ (@bem130)Photo by べむ (@bem130)Photo by べむ (@bem130)Photo by べむ (@bem130)Photo by べむ (@bem130)Photo by べむ (@bem130)Photo by べむ (@bem130)Photo by べむ (@bem130)Photo by べむ (@bem130)Photo by べむ (@bem130)
Pinned Tweet
私の理想の言語書いてなかったら話が面倒そうなので 話を速くするために書いておきましょう 純粋関数型言語 Functional but In-Place GCなし(参照カウント不可) 形式証明可能 マルチプラットフォーム インクリメンタルコンパイラ 私が調べた限り多分現存しません
2
1
1
37
3,703
そーいえば車校の学科の字幕 「飯盒炊爨」のことを「飯ごう炊飯」って書いてたなー
1
95
めっちゃかえるやんfinal language
I change my mind blood will be the final language
1
144
めっちゃわかる
LLM に全部投げてまともな UI が出てきているのを見たことがまだないです
1
186
目的をかんがえながら総合的に判断し、現状や対案よりもマシであれば使う理由になって、銀の弾丸である必要はない ただちょっとだけマシにするだけの方法を銀の弾丸と勘違いする或いはさせるほうがおかしい
短く言えば「Cよりマシな程度で銀の弾丸を幻想させている」のが嫌い。
1
1
7
607
ある方法が解決する問題の対象外ではそれがうまく動かないのは当たり前 全てを解決すると吹聴してたら多分詐欺 言語ツールによる保証,証明,検査等は、対象を限定しながら地道に対応範囲を拡張していくしかない
2
3
162
ただのC言語よりは遥かにRustのほうが安全にコードを書けるけど、Rustにも形式証明は付いてない C言語に形式証明やモデル検査を追加する研究やツールは多くある でもRustにも形式証明を入れるためのツールはある
3
80
albatross28代代表 兼 駆動班長になりました どうぞよろしくお願いします!
6
45
1,281
わかりやすい説明ktkr
素人さんには「20人の大縄跳びをやっていたのが、回転速度が上がりすぎて足並み揃えるのが大変なので、上手い人1人が超高速縄跳びをする方が良くなった」で済むと思いますの。
1
248
引用はするもんだろ リプもカウントされてるんじゃないの
Replying to @bem130
お前、引用多いからなぁと言い訳してみたり
1
2
192
鳥人間界隈のツイ廃よりの人たちが全然ツイ廃してないんだけど 鳥人間界隈て誰が一番ツイ廃なんだろうか
1
9
422
べむ retweeted
git add ではなく、git adと打ったときに広告がでたら嫌すぎるな
5
91
10
797
87,242
おすすめしません 勉強してる間にAIに開発させようとしても、AIの作業進捗が気になって勉強できなくなります AIは寝ている間に動かしましょう やっぱりおすすめしません 寝れなくなります
ClaudeやCodexで開発進めてる人いいなぁ… 僕も勉強してる間にAIが自動で開発進めてくれてほしいよ… (´・ω・`) あなたはAI使って開発進めてますか? 使い勝手とかってどうですか?
6
49
18
555
15,320
ものすごい数の同意を得ているww まぁこうなるよね
1
598
私も頓珍漢なこというけど「RustめっちゃいいけどRustで満足はしてないよ」的なよくわからない立場にいる
自分は結構頓珍漢なこと言うけど、そんな自分だからこそRustが好きというのがあるので、「Rust難しいけどAI使えば書けるよ」的言説に対しては毎回反対の声を上げざるを得ない…
10
704
私のフライトシミュレーターで自前の機体を飛ばせるようになりました まだ定義方法は安定してないけど
1
7
353
TSとかJSとかPythonとかに慣れた即実行できるスクリプト言語ドパガキ開発してたらコンパイル時間に耐えれんのやね
Rust別にそんなめちゃくちゃ言われるほどコンパイル遅いという風潮に違和感はある。
4
340
webにあるやつを閲覧するためのbrowserだから、web browserなんていう名前でよぶのはどうでしょう
いろんなアプリを閲覧できるから、閲覧するものという意味でbrowserと名付けましょう
2
6
1
67
3,622
それはそう の塊
「Rustなら安全なのか」という動画、コメント欄がRustに詳しい人ほど冷静という珍しい構図になっているのでまとめます。 いいねが一番多かったのは、動画の結論を一言にしたこれ。 「そもそも漏洩対策じゃない、クラッシュ対策、メモリーリーク対策」 Rustが守るものと、情報漏洩で起きていることが、最初から別物だという指摘です。 次に多かったのが、イメージの独り歩きへの警戒。 「『Rustなら安全!』というイメージが独り歩きしてしまうことが一番危ないですよね。Rustがメモリ安全と言われている理由を知っておけば、逆に守れないものが何かを知ることにも繋がりますし、unsafeを使った抜け道の存在を知っているかどうかも大事」 「メモリ破壊が起きにくいだけで、止まったりバグったりするのは変わらんですからねー。あと、採用しようと思っても、エコシステムや開発体制の都合で、そうそう選べないのがつらいところ」 「ホワイトハウスの『C/C++は危ないからRustなどの安全な言語へ移行せよ』という声明がきっかけですよね。偽の命題として『Rustなら安全である』という言葉が普及してしまう。プログラマーならすぐにこの命題が嘘であることに気がつくんですけどね」 「Rustで書いても守れなかった」実例も出ていました。 「なぜRustで書き換えられたBunがhttp2shellの対象になったか? Rustで作ってもBrotliのような外部ライブラリを使っていればその脆弱性は影響するってことですね。盾は最強でも酸攻撃ではボロボロになるし、守備範囲外は防げない」 「聞かないから安全! それで10年以上前にMac界隈にウイルスが本格的にばら撒かれて大騒ぎになってましたね……」 言語の外側については、セキュリティ屋さんの視点。 「Rustであっても、モニターに貼った付箋のパスワードは守ってくれねえんだわ……」 「電話口で個人情報べらべら喋ってしまう人が居れば意味がない。『部長を出せ』で個人名すら言ってないのに電話を部長に取り次いでしまうのと地続き。そういう管理の基本ができていない人は何言語で書いても漏らす」 「先日、社内アプリで一般ユーザーがURL直叩きで特権UI操作できるバグを見つけ、受託者を問い詰めたら『特権ユーザーのメニューからしか遷移しないので』と。いっぱいあるのでしょうね、こんな脆弱性は」 所有権システムは、URL直叩きを止めてくれません。 ただし、逆側の釘刺しも。 「Rustで書けば安全になるわけではないが、Rustで書くことで脆弱性が減ってるのも事実。言語なんてどれでも関係ないという思考停止も危ないね」 「それでも、use-after-freeを仕組みで防げるのはありがたい。新規開発なら有力」 「Rustなら安全」も嘘、「言語は関係ない」も嘘。 その間に正解がある、という着地です。 最後に、動画の第4章を見た方の感想。 「4章の『ここを外すと、ただのRust叩きになってしまう』は爆笑でした」 Rustを叩きたいわけではないんです。
1
1
348
ちょっと待て、 個人開発界隈、 授業中や仕事中に個人開発して人いすぎじゃない? 一旦、授業中や仕事中に個人開発したことある人は名乗り出なさい!w 先生怒んないからwww
18
2
2
92
3,156