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

べむ

@bem130

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

 Japan
neknaj.com
Joined August 2020
  • Tweets18.5K
  • Following3.1K
  • Followers2K
2.7KMedia
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
べむ (@bem130) profile picture
べむ@bem1306h
私の理想の言語書いてなかったら話が面倒そうなので 話を速くするために書いておきましょう 純粋関数型言語 Functional but In-Place GCなし(参照カウント不可) 形式証明可能 マルチプラットフォーム インクリメンタルコンパイラ 私が調べた限り多分現存しません
2
14
1,578
大学のアルゴリズムの授業が始まった今 もしかすると皆が、C言語のポインタどころか、本当にポインタ自体が分かってない可能性を感じてきた
べむ (@bem130) profile pictureべむ@bem130Jul 14
【爆弾投下】 ポインタが分からんのってポインタが難しいんじゃなくてC言語のポインタがわけわからんだけだよな多分
8
16
5
217
20,520
ポインタが分かるようになるには、ポインタが分かるまでプログラムを書けばいいです (停止性問題)
1
796
embassyとか使えばfreeRTOSなしでプログラミングできるらしいことを先週しった蓓眸さんです(自己紹介)
Jun Rekimoto: 曆本純一 (@rkmt) profile pictureJun Rekimoto: 曆本純一
@rkmt13h
Replying to @rkmt
ちょっと訂正: ESP32でもfreeRTOSは使っているのでOS全否定ではないですね…
225
なんというか、「あぶねえなあ、こういう試験やりたいときはこういうコンフィグにすんだよ、貸してみろ！」って感じで、GrokとかGeminiとかCopilotとかにポンチ絵かかせてupしてきた人間がひとりもいなかったので、ここ２日ぐらい、TL構築に失敗してるのかもな、って気持ちにはなってました。
4
2
23
1,090
これに同意してくれないプログラマーはかなりの希少種だと思う
べむ (@bem130) profile pictureべむ@bem1306h
Javascriptエンジンあるある: 速すぎる なんかくっそ速い カスみたいなコード書いても爆速で実行してくるから慄ける
1
24
3,430
航空業界とかの規制がそもそも、そーゆー類のC言語用のコーディング規約とか、そーゆー類のC言語コンパイラとかの使用を前提にしていて、かなり置き換えるのは大変そうだと思った って私の1年前の朧気な記憶が言ってます そのへんのアプリと違って、機械の制御は血で書かれたマニュアルがあるから
KOIZUKA Akihiko (@koizuka) profile pictureKOIZUKA Akihiko
@koizuka6h
C/C++禁止縛り、組み込み系(フルアセンブラ以外)がかなり引っかかりそうだし、使えないOS多いし、ブラウザも使えないし、残るのはどんなものだろう。Pythonも使えないからAI系はほとんど消えそう? Rustへの置き替え完了はまだわずかだろうしなぁ COBOL/FORTRANが使われてる領域は残りそうか。
1
2
13
960
そーいえば、この前、Rustがそーゆー類の規制の要件を満たしたやつがあるみたいなニュース流れてきたっけ
2
118
注記 理想のプログラミング言語に、使える処理系の実在は重要 完璧な言語の設計だけできてても、マトモに使える処理系がなかったら使えないのでね
3
174
Javascriptエンジンあるある: 速すぎる なんかくっそ速い カスみたいなコード書いても爆速で実行してくるから慄ける
島鉄雄🍥 (@shima_tetsuo) profile picture島鉄雄🍥@shima_tetsuoOct 30
PythonのJITが削除されるようだが、まぁ動的型言語をそのままコンパイルしてもバイトコードの実行より良くて2倍程度にしかならない。 要するに全然速くならない。 速くするにはJavaScriptエンジンがやってるように型推論を行ってコード最適化パスも追加しないといけない。 それでようやく速くなる。
2
18
5
147
20,544
割る？ ちなみに私は生やすっていう
Yoshitaka Moriwaki (@Ag_smith) profile pictureYoshitaka Moriwaki@Ag_smith8h
「(gitの)ブランチを切る」ってよォ… ブランチを「生やす」なら分かる、分岐させて新しく作るからな… だが「切る」ってどういうことだぁ〜！？なんで枝を「切る」で「新しく作る」って意味になるんだよ！？Claudeも当たり前に「新しくブランチを切ってコミットします」とか言いやがってよォ！！
2
343
私は別にTypeScript否定派ではなくて、 JavaScriptとかいう魔境に作り上げられてきた資産を生かしつつ魔境に束の間の平穏を齎す絶妙な設計の言語だと思うんだけど それはそうとしてTypeScriptでは全然安心できないのでもっといいの欲しい
べむ (@bem130) profile pictureべむ@bem1306h
❌️ TypeScriptの型システムは堅牢でない 気休め程度には使えるからjsよりは良い ということでTypeScriptよりも良さげなのだれか考えて
2
1
11
881
❌️ TypeScriptの型システムは堅牢でない 気休め程度には使えるからjsよりは良い ということでTypeScriptよりも良さげなのだれか考えて
mpyw（本物） (@realmpyw) profile picturempyw（本物）@realmpyw7h
「AI時代にTypeScriptは不要」 って言ってる人ちょいちょい見るけど、マジで何も理解できない AI の堅牢な出力は型システムというガードレールに支えられていることを知らんのか
4
4
4
40
11,572
南大東 もかなり良い
みずほのちずのーと⚓️ (@mizu_atlass18) profile pictureみずほのちずのーと⚓️@mizu_atlass1815h
仕方ないけど「小笠原」が入ってて笑った
2
231
筑波大学の学園祭を支えるけしからんインフラ #雙峰祭2026
Image from ゃмаτ″ぃ→ (@jamadii_itf)
15
479
37
3,931
213,787
えぐい 目覚ましい成長 「Read Binary Text - ver 2」で818点。超えられる？ swipla.co/g/sdow92nyiv?c=m9u…
Read Binary Text - ver 2で818点。超えられる？

Read Binary Text - ver 2で818点。超えられる？

@bem130 のゲーム。タップしてすぐ遊べる。

swipla.co
90
どんどん読むのが速くなってる 「Read Binary Text - ver 2」で577点。超えられる？ swipla.co/g/sdow92nyiv?c=lr8…
Read Binary Text - ver 2で577点。超えられる？

Read Binary Text - ver 2で577点。超えられる？

@bem130 のゲーム。タップしてすぐ遊べる。

swipla.co
91
べむ retweeted
Kazuho Oku (@kazuho) profile picture
Kazuho Oku@kazuhoOct 27
Claude「PR開いたよ」 僕「Generated with Claude Codeって僕が書いたコードやろ」
3
1
23
13,733
まずはスクリーンキーボードに対応します
すいこく (@suikoku_rina) profile pictureすいこく@suikoku_rinaOct 29
「タイピングゲームとは言われてたけどキーボード必須って言われてなかっただろ」的なツイートを見て驚いている　そこまで説明しないと駄目か？
2
239
「Read Binary Text - ver 2」で381点。超えられる？ 作: @bem130 swipla.co/g/sdow92nyiv?c=lc4…
Read Binary Text - ver 2で381点。超えられる？

Read Binary Text - ver 2で381点。超えられる？

@bem130 のゲーム。タップしてすぐ遊べる。

swipla.co
1
101
Load more