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

べむ

@bem130

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

 Japan
neknaj.com
Joined August 2020
  • Tweets18.6K
  • Following3.1K
  • Followers2.1K
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
べむ@bem130Oct 31
私の理想の言語書いてなかったら話が面倒そうなので 話を速くするために書いておきましょう 純粋関数型言語 Functional but In-Place GCなし(参照カウント不可) 形式証明可能 マルチプラットフォーム インクリメンタルコンパイラ 私が調べた限り多分現存しません
2
1
1
35
3,310
なんか増えてる
Image from べむ (@bem130)
62
OFL!!! 凄い
雨々 (@petrichorwaiter) profile picture雨々@petrichorwaiterNov 1
フリーフォント「倫明朝（RinMincho）」を公開しました。 ⭕個人・商用問わず無料で利用可能 ❌フォント単体での販売 既存ツールの縦書き組版屋さんと横書き組版屋さんも明朝体は倫明朝に差し替え済です。 結合濁点・半濁点にも対応しているので，ぜひ小説本文などにご使用ください。
Image from 雨々 (@petrichorwaiter)
Image from 雨々 (@petrichorwaiter)
Image from 雨々 (@petrichorwaiter)
1
305
記述文法 規範文法
68
あるある
Windymelt🍊🇯🇵🌸🚀❤️‍🔥F2FC 63C2 42C0 4D9D (@windymelt) profile pictureWindymelt🍊🇯🇵🌸🚀❤️‍🔥F2FC 63C2 42C0 4D9D
@windymelt8h
TypeScriptのことを偽物の型がついてる言語だと思ってるので……（強い思想）
168
べむ retweeted
ふろ (@sastmu) profile picture
ふろ@sastmu19h
東京都公立大学法人あるある 滑空機×2 ペラ機×1 持ってるキチガイ法人
1
3
2
38
3,311
同じ内容を複数の授業でやるな → やらなくても大丈夫なら そうしたい…
常微分方程式入門 (@ode4phys) profile picture常微分方程式入門@ode4phys28 Jun 2023
流体力学「divとかgradとか電磁気学で習ってるよね？」 電磁気学「divとかgradとか物理数学で習ってるよね？」 物理数学「divとかgradとか流体力学で習ってるよね？」 （結局は自分で勉強するしかない）
27
4
234
34,745
べむ retweeted
LaPh (@R0u9h) profile picture
LaPh
@R0u9hOct 31
TSいらない論、例のポスト見たけど、エージェントは決定的にやっていかないといけないよねのフェーズで言語レベルの静的解析外すの普通に悪手でしかないとしか
2
4
42
2,426
べむ retweeted
やも@ (@YarmUI) profile picture
やも@
@YarmUIOct 31
サム・アルトマンの発言に対して思うのは 「それ言うならまずChatGPTデスクトップアプリ、Electron使うのやめろや」です
10
276
14
1,586
152,884
ferroceneがそういうことやってたよーな ferrocene.dev

Ferrocene | Safety-Qualified Rust Toolchain for Critical Systems | Ferrocene

Ferrocene is the TÜV SÜD–qualified Rust toolchain for embedded, safety- and mission-critical systems, supporting ISO 26262, IEC 61508, and IEC 62304.

ferrocene.dev
べむ (@bem130) profile pictureべむ@bem130Oct 31
Replying to @bem130
そーいえば、この前、Rustがそーゆー類の規制の要件を満たしたやつがあるみたいなニュース流れてきたっけ
1
2
119
www SSH+CUI,TLIの時代ｷﾀ━━━━(ﾟ∀ﾟ)━━━━!! ゲーマーとかのリアルタイム処理用途じゃなかったら困る人あんまりいなさそう
東風谷さずりん (@Xatz) profile picture東風谷さずりん
@XatzOct 31
舐めとんのか。AIがどんだけ優れてても最終的な成果物が人間の手元にあるクライアント機にストレスなく届かなきゃ価値はゼロやぞ
178
わたしはちゃんとしてないから見てない AIにレビュー指示を出して、そのレビューを読んでる あと実装されたアプリの振る舞いからどこをどうサボったのか当てたりできる
ino (@ino461x) profile pictureino
@ino461xOct 31
Replying to @mai_llj
何も見てないのか…？
2
558
「俺が考えた最強のプログラミング言語」とか 「私が欲しい理想のプログラミング言語」とか 「俺が作った見た目がキショすぎるプログラミング言語」の発表会しようぜ 得意に一番最後 前やったときキショすぎるやついっぱいきて楽しかった
べむ (@bem130) profile pictureべむ@bem130Oct 31
私の理想の言語書いてなかったら話が面倒そうなので 話を速くするために書いておきましょう 純粋関数型言語 Functional but In-Place GCなし(参照カウント不可) 形式証明可能 マルチプラットフォーム インクリメンタルコンパイラ 私が調べた限り多分現存しません
1
15
672
どの界隈だ
neoz6325 (@neoz632535) profile pictureneoz6325@neoz632535Oct 31
この界隈の方たちは何を競っているのだろう。。 分野、レイヤーによって使い分ければいいだろ？？デカイサービスを運用したことないのかな。
1
3
840
大学のアルゴリズムの授業が始まった今 もしかすると皆が、C言語のポインタどころか、本当にポインタ自体が分かってない可能性を感じてきた
べむ (@bem130) profile pictureべむ@bem130Jul 14
【爆弾投下】 ポインタが分からんのってポインタが難しいんじゃなくてC言語のポインタがわけわからんだけだよな多分
18
36
19
428
36,814
ポインタが分かるようになるには、ポインタが分かるまでプログラムを書けばいいです (停止性問題)
13
2,578
embassyとか使えばfreeRTOSなしでプログラミングできるらしいことを先週しった蓓眸さんです(自己紹介)
Jun Rekimoto: 曆本純一 (@rkmt) profile pictureJun Rekimoto: 曆本純一
@rkmtOct 31
Replying to @rkmt
ちょっと訂正: ESP32でもfreeRTOSは使っているのでOS全否定ではないですね…
311
なんというか、「あぶねえなあ、こういう試験やりたいときはこういうコンフィグにすんだよ、貸してみろ！」って感じで、GrokとかGeminiとかCopilotとかにポンチ絵かかせてupしてきた人間がひとりもいなかったので、ここ２日ぐらい、TL構築に失敗してるのかもな、って気持ちにはなってました。
4
2
23
1,146
これに同意してくれないプログラマーはかなりの希少種だと思う
べむ (@bem130) profile pictureべむ@bem130Oct 31
Javascriptエンジンあるある: 速すぎる なんかくっそ速い カスみたいなコード書いても爆速で実行してくるから慄ける
2
1
1
56
9,430
航空業界とかの規制がそもそも、そーゆー類のC言語用のコーディング規約とか、そーゆー類のC言語コンパイラとかの使用を前提にしていて、かなり置き換えるのは大変そうだと思った って私の1年前の朧気な記憶が言ってます そのへんのアプリと違って、機械の制御は血で書かれたマニュアルがあるから
KOIZUKA Akihiko (@koizuka) profile pictureKOIZUKA Akihiko
@koizukaOct 31
C/C++禁止縛り、組み込み系(フルアセンブラ以外)がかなり引っかかりそうだし、使えないOS多いし、ブラウザも使えないし、残るのはどんなものだろう。Pythonも使えないからAI系はほとんど消えそう? Rustへの置き替え完了はまだわずかだろうしなぁ COBOL/FORTRANが使われてる領域は残りそうか。
1
2
16
1,100
そーいえば、この前、Rustがそーゆー類の規制の要件を満たしたやつがあるみたいなニュース流れてきたっけ
1
2
274
Load more