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

Masaki Haga

@silasolla

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

 みんな笑顔のインターネット → 隠居
silasol.la
Joined October 2016
  • Tweets62.2K
  • 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,014
33
2,888
(๑╹ω╹๑ ) ‼️🫵🫪
1
45
Masaki Haga retweeted
ちょし (@chosi812) profile picture
ちょし@chosi81221h
2の16乗は自明だから、それを2倍すれば、答えに辿りつきますね。
湯沢彼方（ 𝐊𝐚𝐧𝐚𝐭𝐚 𝐘𝐮𝐳𝐚𝐰𝐚 ） (@Yuzawa_Kanata) profile picture湯沢彼方（ 𝐊𝐚𝐧𝐚𝐭𝐚 𝐘𝐮𝐳𝐚𝐰𝐚 ）
@Yuzawa_KanataNov 2
考えてみてください（整数です。１日１回はしたほうがいいですね） #高校入試
Image from 湯沢彼方（ 𝐊𝐚𝐧𝐚𝐭𝐚 𝐘𝐮𝐳𝐚𝐰𝐚 ） (@Yuzawa_Kanata)
3
57
19
1,104
250,848
prisoner lawyer
タピオカ・アンドロメダよりもギャラクシー (@tapioca20240415) profile pictureタピオカ・アンドロメダよりもギャラクシー@tapioca20240415Nov 3
Replying to @masaido
istは名詞、erは動詞につく ドラムだけ動詞なんだよね ラップなんかも動詞の意味があるのでラッパーになる
2
213
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
426
30
1,821
109,051
RT@🔒: コードを読まなくても成立する品質担保と開発手法を考える←まだわかる コードを読まないことを誇らしげに語る←ちがうだろ
1
19
534
はじけるレモンの香り
4
237
Masaki Haga retweeted
なつ氏 (@nekogasuki_n) profile picture
なつ氏@nekogasuki_nNov 2
これはママに斬られるぴかちう
Image from なつ氏 (@nekogasuki_n)
1
4
131
「プルリクエスト #8」をかんたんでクリアしました！ レビュー 8 回・判断ミス 0 回・見つけた異変 4 / 102 uhyo.github.io/pull-request-…
プルリクエスト #8

プルリクエスト #8

AI が書いたプルリクエストを、説明文だけでレビューする異変探しゲーム。

uhyo.github.io
1
4
266
Masaki Haga retweeted
エス (@neonightlife) profile picture
エス@neonightlifeOct 30
なんか謎解き流行ってるみたいなので、まあ簡単なやつですけど
Image from エス (@neonightlife)
112
4,988
1,113
24,318
12,724,593
Masaki Haga retweeted
Masaki Haga (@silasolla) profile picture
Masaki Haga@silasolla7 Dec 2023
型安全性ってスタートラインなのに，それだけで「強い型付け」ってよばれるのもなんだかなあという感じで，System-F みたいに全称量化入れたり，依存型入れたりして推論ブチ壊してからが本番でしょうか
1
8
1
69
9,573
既定値とか言われてもデフォルトって言ってもらわないとわからん
5
297
Masaki Haga retweeted
mod_poppo (@mod_poppo) profile picture
mod_poppo@mod_poppoNov 2
静的検証 vs 動的検証みたいな話、この時代において「両方やれ」以外の答えがありうるのか
11
1
74
4,546
自明な AltJS として知られる JavaScript
9
387
継承は俺には扱えない (extends Facade)
mpyw（本物） (@realmpyw) profile picturempyw（本物）@realmpywNov 1
Book::ship()
1
7
397
思いつきで生成 AI に記事を書かせてみる，恐ろしく気に食わなくて指摘する，いくら会話を重ねても見当違いの修正ばかりで喧嘩になる，結局ぜんぶ自分で書き直す．
1
6
347
ブレインストーミングから壁打ちして整理するくらいまでは良いけれど，最終的な文章は最初から魂込めて書いたほうが早い．
120
正解：フルメタル嘘つき茶
Masaki Haga (@silasolla) profile pictureMasaki Haga@silasollaOct 30
胡乱なお茶ってなーんだ ヒント：胡乱 (ウーロン) な茶だから…？
4
297
Image from Masaki Haga (@silasolla)
1
4
254
Masaki Haga retweeted
Masaki Haga (@silasolla) profile picture
Masaki Haga@silasolla31 Oct 2019
Replying to @ipc_bot
@ipc_bot (T→R→I→C→K)∨(T→R→E→A→T)
1
5
7
RT@🔒: 悪いコードと悪いコードで学ぶ誤謬とトレードオフ入門
2
11
584
Load more