べむ (@bem130) | teapawt

Tweets
All Posts
Sort by
Most recent Popular
Tweets & Replies
Reposts
Media
Search

Pinned Tweet

べむ@bem130Oct 31

私の理想の言語書いてなかったら話が面倒そうなので話を速くするために書いておきましょう純粋関数型言語 Functional but In-Place GCなし(参照カウント不可) 形式証明可能マルチプラットフォームインクリメンタルコンパイラ私が調べた限り多分現存しません

2

35

3,356

べむ@bem1301h

もすふぇっと

魔法少女くにゅくにゅ a.k.a. 椚座淳介

@kunukunuOct 31

MOS-FET どう読む？

48%モスエフイーティー

49%モスフェト

3%その他（リプへ）

419 votes • Final results

1

1

187

べむ@bem1301h

メタルオキサイドセミコンダクタフィールドエフェクトトランジスタ

52

べむ@bem1306h

一旦egui

🦀ベあ | bea4dev🦀@_Be4_7h

多分多くの人がElectronやTauriに頼るのは以下の理由に集約されていると思う 1. WebRTCのようなChromiumがもっているおまけ機能 2. 既存のWeb技術を流用しやすい 3. 優れたfractional scalingサポート 2は多分どうしようもないが、1と3はどちらも再現可能であると考えている

1

7

1,320

べむ@bem1306h

それがですねぇ、、、まるで片付いてないプログラムはAIに書かせてるけど部屋片付けてくれるAIはまだですか

ふわせぐ@fuwasegu21h

型付け型付け言ってる人達、部屋は片付いてるんでしょうね？

327

べむ retweeted

しいたけ@yuroyoro10h

強い型付け、弱い型付けのほかに、電磁型付け、重力型付けがあり、これら4つの型付けを統一した大統一型付けの登場が切望されています

にゃんだーすわん@tadsan12h

PHPとRubyは強い型付け？弱い型付け？

12%PHPは弱い、Rubyは強い

11%PHPは強い、Rubyは弱い

65%両方とも弱い型付け

13%両方とも強い型付け

310 votes • 11 hours

4

834

32,764

べむ@bem13010h

人間が適当に書いてみた感があって懐かしさを感じれる (なんでだろう例に挙げられたスタイリングほぼ0の1枚のページ全部知ってるし開いたことあるぞ...)

名無し｡ / Nanashi. (ο-JOZ)@sevenc_nanashi14h

スタイリングほぼ0の1枚のページでバズる文化がある大学、電気通信大学（最安経路検索・電通大生専用マッチングアプリ・最速出身地当て）

104

べむ@bem13012h

AI、ちょっと油断すると信じられないクソコード書いてくるから油断ならない , 要らなくなったコードを消さずに丁寧に保守 , できる共通化をしない , 効果が薄い型 (代数的データ型が使えるのに使わない) , 意味のないテスト , 意味のない形式証明 (プログラムと全く同一の内容で事後条件を記述)

Replying to @bachi7q

AIのテストコードも割と指示しないと信じられないクソテストコードをまだ全然書く認識

6

508

べむ@bem13015h

なんか増えてる

Image from べむ (@bem130)

115

べむ@bem13019h

OFL!!! 凄い

雨々@petrichorwaiterNov 1

フリーフォント「倫明朝（RinMincho）」を公開しました。 ⭕個人・商用問わず無料で利用可能 ❌フォント単体での販売既存ツールの縦書き組版屋さんと横書き組版屋さんも明朝体は倫明朝に差し替え済です。結合濁点・半濁点にも対応しているので，ぜひ小説本文などにご使用ください。

Image from 雨々 (@petrichorwaiter)

Image from 雨々 (@petrichorwaiter)

Image from 雨々 (@petrichorwaiter)

2

403

べむ@bem13019h

記述文法規範文法

92

べむ@bem13021h

あるある

Windymelt🍊🇯🇵🌸🚀❤️‍🔥F2FC 63C2 42C0 4D9D

TypeScriptのことを偽物の型がついてる言語だと思ってるので……（強い思想）

2

241

べむ retweeted

ふろ@sastmuNov 1

東京都公立大学法人あるある滑空機×2 ペラ機×1 持ってるキチガイ法人

1

40

3,667

べむ retweeted

常微分方程式入門@ode4physNov 1

同じ内容を複数の授業でやるな → やらなくても大丈夫ならそうしたい…

常微分方程式入門@ode4phys28 Jun 2023

流体力学「divとかgradとか電磁気学で習ってるよね？」電磁気学「divとかgradとか物理数学で習ってるよね？」物理数学「divとかgradとか流体力学で習ってるよね？」（結局は自分で勉強するしかない）

1

287

42,362

べむ retweeted

TSいらない論、例のポスト見たけど、エージェントは決定的にやっていかないといけないよねのフェーズで言語レベルの静的解析外すの普通に悪手でしかないとしか

2

44

2,489

べむ retweeted

サム・アルトマンの発言に対して思うのは「それ言うならまずChatGPTデスクトップアプリ、Electron使うのやめろや」です

10

1,700

168,966

べむ retweeted

フラワー@luckyowlmanNov 1

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.

べむ@bem130Oct 31

Replying to @bem130

そーいえば、この前、Rustがそーゆー類の規制の要件を満たしたやつがあるみたいなニュース流れてきたっけ

2

126

べむ@bem130Oct 31

www SSH+CUI,TLIの時代ｷﾀ━━━━(ﾟ∀ﾟ)━━━━!! ゲーマーとかのリアルタイム処理用途じゃなかったら困る人あんまりいなさそう

東風谷さずりん

舐めとんのか。AIがどんだけ優れてても最終的な成果物が人間の手元にあるクライアント機にストレスなく届かなきゃ価値はゼロやぞ

182

べむ@bem130Oct 31

わたしはちゃんとしてないから見てない AIにレビュー指示を出して、そのレビューを読んでるあと実装されたアプリの振る舞いからどこをどうサボったのか当てたりできる

Replying to @mai_llj

何も見てないのか…？

2

569

べむ@bem130Oct 31

「俺が考えた最強のプログラミング言語」とか「私が欲しい理想のプログラミング言語」とか「俺が作った見た目がキショすぎるプログラミング言語」の発表会しようぜ得意に一番最後前やったときキショすぎるやついっぱいきて楽しかった

べむ@bem130Oct 31

私の理想の言語書いてなかったら話が面倒そうなので話を速くするために書いておきましょう純粋関数型言語 Functional but In-Place GCなし(参照カウント不可) 形式証明可能マルチプラットフォームインクリメンタルコンパイラ私が調べた限り多分現存しません

16

689

べむ@bem130Oct 31

どの界隈だ

neoz6325@neoz632535Oct 31

この界隈の方たちは何を競っているのだろう。。分野、レイヤーによって使い分ければいいだろ？？デカイサービスを運用したことないのかな。

1

3

860