@silasolla

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

 みんな笑顔のインターネット → 隠居
silasol.la
Joined October 2016
  • Tweets62.2K
  • Following480
  • Followers1.2K
3.6KMedia
これでプログラミングには困らないな
7
1,015
33
2,890
GitHub の Issue と PR が連番を共有しているの，数学書で定義や補題や定理が共有しているのと似てる
1
6
182
「定義 1.1」の次の定理は「定理 1.1」じゃなくて「定理 1.2」だよねってのと pull/1 の次の Issue は issue/1 じゃなくて issue/2 だよねっての
36
インターネットが AI で壊れちゃったってことで各位パソコン通信に回帰していただき (ﾋﾟｰﾋｮﾛﾛﾛ~ ﾋﾟｰｶﾞｶﾞｶﾞｶﾞ...)
5
338
胡乱なこと言うか
1
4
406
ブロイラーの不動点定理：鶏を狭い鶏舎に詰め込んで飼育すると成長しても行動可能な領域が変わらないので必ず不動点が存在する
3
119
気づいたらあらゆる IT 産業が World Wide Web になっていったのを破壊していただき
こと@kotolabdev16h
技術者倫理に溢れた発言で恐縮ですが、AIにはその調子でこのままネット社会を破滅に追いやってほしい そしてインテルネッツを社会の基盤に据えるとかいう愚策中の愚策を犯す前の社会に戻すんだ
1
2
1
50
7,445
xitter.cf/silasolla/status/20515…
Masaki Haga@silasollaMay 5
Web の世界を生業としていて言うのもアレだが，現在のパソカタがなんでもかんでも Web になってる社会構造はかなり歪んでいて，ぶっ壊れないかなって思ってる．
2
792
Masaki Haga retweeted
⊢ラッ久@wakaruhitohawak16h
無限とかいう概念に対する直観的な予測が失敗しまくって、論理による厳密な定義が発展してきたみたいなところある
2
22
491
꧁——————————————꧂ 　　　　「デュアルシャドウ 　　～Precure Villain Heroines～」 　　　　　2027年放送決定📺 ☽ ——————— ♔ ——————— ☾ 「プリキュア」シリーズの新たなスピンオフ作品誕生‼ ——だって、わたしたちプリキュアじゃないし #デュアルシャドウ #precure

「デュアルシャドウ～Precure Villain Heroines～」2027年放送！

「プリキュア」シリーズのスピンオフ最新作！TVアニメ「デュアルシャドウ～Precure Villain Heroines～」が2027年放送決定！

384
35,337
8,232
116,294
7,025,487
大学で気づいたら SML を書いていたが SML を書く仕事とか存在しない (?) のでぺちぱになり Terraform ドカタになり C#? “Go is God” になり (仕事で使っていないけれど) SML や OCaml の話をして気持ち良くなり
2
24
932
CS について
Masaki Haga@silasollaJun 1
「計算機科学」と呼ばずに “CS” とか言い出すの，大抵チャラいなという偏見がある．日本健男児の誇りを見せろ (いいえ)
2
21
720
Masaki Haga retweeted
lambdanote@lambdanote22h
新刊『Goならわかるシステムプログラミング 第3版』を発売しました lambdanote.com/blogs/news/go…

新刊『Goならわかるシステムプログラミング 第3版』を発売しました

ご来店ありがとうございます。新刊のお知らせです。 本日、渋川よしき著 『Goならわかるシステムプログラミング 第3版』 の直販サイトでの販売を開始しました。 多種多様なアプリケーションの舞台裏は、いわゆる「低レイヤー」の技術に支えられています。アプリケーションの利用者からは隠蔽されるべき低レイヤーの技術ですが、アプリケーションの開発者にはその隠蔽を引き剝がすことが求められるときも多々あります。...

lambdanote.com
70
8
267
31,226
Mercurial なんだよなぁ
ari23🐜｜R&Dエンジニア
@ari23antOct 26
情報系の大学行ったからって、Git使えるわけないだろ。当然SVNに決まってるだろうが！！！
1
8
675
Mercurial 研究室のサーバで使っていたけれど，最近はみんな Git なんですよねーって指導教員が言っていたので，もう Git に移行しているかもしれない．
115
Masaki Haga retweeted
畑の支柱@tian485Oct 26
NWとDBが何したって言うんですか！
廣岡技術士事務所🐦️@hirooka_proOct 25
これだけ優遇されている事例は初めて見た Ｕ˘ω˘)💧 令和8年度 東京都職員経験者採用選考案内 saiyou.metro.tokyo.lg.jp/doc… 資格の評定：第2次選考において加点 ▼機械、電気、ICTの3区分で評定の対象 技術士（情報工学部門） ▼ICT区分で評定の対象 情報処理技術者試験（ST、SA、PM、SM、AU、SC、AP）
1
5
120
36,423
バカ懐かしい (もう1人誤登録？で結局 1 on 1 だった)
Masaki Haga@silasolla3 Dec 2018
1
7
505
これの改訂前
書泉ブックタワーコンピュータ書【営業時間11:00~20:00】@shosen_bt_pcOct 26
10/26新刊『#研鑽コンパイラ』#オーム社 （9784274235597）#湯淺太一 著 ◆「#プログラミング」棚にて展開中！コンピュータサイエンスの基幹をなすコンパイラ処理系の仕組みについて、形式言語理論の厳密な基礎から現代の実行環境で求められる最適化技術までを体系的に説明したテキストです！！
1
146
10/26新刊『#研鑽コンパイラ』#オーム社 （9784274235597）#湯淺太一 著 ◆「#プログラミング」棚にて展開中！コンピュータサイエンスの基幹をなすコンパイラ処理系の仕組みについて、形式言語理論の厳密な基礎から現代の実行環境で求められる最適化技術までを体系的に説明したテキストです！！
78
12
314
25,510
みなさん PHP 5 → 8 のしんどさを自前コードの構文を更新することでしか見積もっていなくて，大量の依存ライブラリが破壊的に変更されたりメンテナいなくなったりすることに言及されていない．
2
15
2
49
2,926
こうして SAN 値を削ることで「運用コストを経営判断で潰すシステムは何をやっても駄目」という強い思想が生まれる．
Masaki Haga@silasollaOct 23
詳細は伏せますが，生成 AI の普及していない時代に某を PHP 5 → 8 に上げた (ガワを残して作り直した) ことがあって，そういうのは，当然 PHP 以外も古くて，ライブラリは依存解決できないし，昔の知らんフレームワークだし，DB もミドルウェアも OS も入れ替えだし，やばかった (もうやりたくない)
1
1
5
478
xitter.cf/silasolla/status/21143…
Masaki Haga@silasollaOct 25
composer update しながら絶望していた記憶しかない
2
270
Load more