Masaki Haga (@silasolla) header
Masaki Haga (@silasolla) profile picture

Masaki Haga

@silasolla

プログラミング言語や人に優しい技術・ツールがすき．今は 💻🌐 の仕事をしています．修士 (帰納法回し学) で，計算機科学と数理論理学と Standard ML のファンです．Nominal Sets 完全理解したい．奇を衒わない．DevOps に関心があります．🔑: https://teapawt.net/t.co/uu3m5T4dut

 みんな笑顔のインターネット → 隠居
silasol.la
Joined October 2016
  • Tweets62.3K
  • Following480
  • Followers1.2K
3.6KMedia
Photo by Masaki Haga (@silasolla)Photo by Masaki Haga (@silasolla)Photo by Masaki Haga (@silasolla)Photo by Masaki Haga (@silasolla)Photo by Masaki Haga (@silasolla)Photo by Masaki Haga (@silasolla)Photo by Masaki Haga (@silasolla)Photo by Masaki Haga (@silasolla)Photo by Masaki Haga (@silasolla)Photo by Masaki Haga (@silasolla)
これでプログラミングには困らないな
Image from Masaki Haga (@silasolla)
7
1,013
33
2,884
むずかった
2
166
おねがい musl
4
168
誰もいなくなるやつ
1
158
「AI 臭い文章」って表現が LLM の生成した文書の問題を矮小化している．小手先の表現や文体上の癖の問題ではなく「レトリックでそれらしく飾り立てただけで何を主張しているのかわからない，個別の短文をバラバラに並べただけで論理的な繋がりや論証の根拠が無いぶつ切りの文章」って言わないとだめ．
1
32
4
222
9,829
文章表現のような「好みの問題」ではなく明確に「悪い」
9
573
エーアイでポン出しした文章をそのまま使うのが何故駄目かというと，現状ではまだ低品質な文章しか生成されないので，第三者（共著者や読者）に確認／修正のコストを押し付けているからなんですよね
14
9
131
60,474
頭の中に bussproofs が内蔵されている猛者
3
262
いやー証明の可読性で言ったら Isar が最強なんで
7
320
みんな「誰か押して〜！」
Image from はぴだんぶい【公式】 (@hapidanbui)
84
2,348
276
23,764
355,950
安心で安全なインターネットになってもらいたい と心の底から思っておりまして (≧Д≦)
9
392
Masaki Haga retweeted
O'Reilly Japan (@oreilly_japan) profile picture
O'Reilly Japan
@oreilly_japanNov 5
【11月5日発売】最新刊プレゼントキャンペーン ➡️下記書籍を抽選で3名様にプレゼント🎁 ✅応募方法 ❶当アカウントをフォロー ❷このポストをリポスト 応募締切11月11日まで／当選連絡チャット(旧DM)📩 ＼世界的ベストセラー『DDIA』待望の改訂版／ 『データ指向アプリケーションデザイン 第2版』
Image from O'Reilly Japan (@oreilly_japan)
3
745
9
334
28,671
dopagaki (複数) dopagakus (単数)
1
1
1
17
881
« dopagaki » 男性名詞なんだ
3
25
1,104
(戯言とは書かれているが) 不完全性定理ぜんぜん関係なくて，この話題ならどっちかというとライスの定理ではないかと思った (マジレス)
田中ひさてる (@tanakahisateru) profile picture田中ひさてる@tanakahisateruNov 3
PHPが悪者扱いされる風潮をぶっ飛ばしに行く
Image from 田中ひさてる (@tanakahisateru)
1
14
1
147
11,699
・特定のソフトウェアに特定の脆弱性がないことは普通に証明されることがあります ・任意のソフトウェアに特定の脆弱性がないことはライスの定理により判定できません ・ソフトウェアに「任意の脆弱性がない」ことは「脆弱性」なる述語を定義していない以上は形式化できません 不完全性定理は関係なし
1
6
42
2,380
(๑╹ω╹๑ ) ‼️🫵🫪
4
272
Masaki Haga retweeted
ちょし (@chosi812) profile picture
ちょし@chosi812Nov 3
2の16乗は自明だから、それを2倍すれば、答えに辿りつきますね。
湯沢彼方（ 𝐊𝐚𝐧𝐚𝐭𝐚 𝐘𝐮𝐳𝐚𝐰𝐚 ） (@Yuzawa_Kanata) profile picture湯沢彼方（ 𝐊𝐚𝐧𝐚𝐭𝐚 𝐘𝐮𝐳𝐚𝐰𝐚 ）
@Yuzawa_KanataNov 2
考えてみてください（整数です。１日１回はしたほうがいいですね） #高校入試
Image from 湯沢彼方（ 𝐊𝐚𝐧𝐚𝐭𝐚 𝐘𝐮𝐳𝐚𝐰𝐚 ） (@Yuzawa_Kanata)
3
64
20
1,202
264,072
prisoner lawyer
タピオカ・アンドロメダよりもギャラクシー (@tapioca20240415) profile pictureタピオカ・アンドロメダよりもギャラクシー@tapioca20240415Nov 3
Replying to @masaido
istは名詞、erは動詞につく ドラムだけ動詞なんだよね ラップなんかも動詞の意味があるのでラッパーになる
3
337
Masaki Haga retweeted
tatematsu_san (@tk4_jj) profile picture
tatematsu_san
@tk4_jjNov 2
パパと同じVLANは嫌っ！ が現実のものに
NULL=RUN (@GOROman) profile pictureNULL=RUN
@GOROmanNov 2
自分一人がガチガチにセキュリティ強化したところで、家族の誰かがマルウェアとか拾ってきて北斗神拳みたいに内部からヤラレるとまずい気がしました。家庭内LAN別居するとかか？？L3スイッチ買ってくるか
9
428
30
1,821
109,613
RT@🔒: コードを読まなくても成立する品質担保と開発手法を考える←まだわかる コードを読まないことを誇らしげに語る←ちがうだろ
1
29
901
Load more