wint🛰 Profile Banner
wint🛰 Profile
wint🛰

@wint7

1,768
Followers
2,995
Following
1,825
Media
119,427
Statuses

#戯れ言¦好事家¦職業プログラマー¦Sci-Fi¦計算、論理、代数、自然主義哲学¦🇯🇵🇨🇳🇺🇸

on the ground 📡
Joined September 2011
Don't wanna be here? Send us removal request.
Pinned Tweet
@wint7
wint🛰
5 years
積読は功徳
3
18
128
@wint7
wint🛰
3 years
非常に非直感的な現状: * ゲーミングPC = ゲームまでできる高性能PC。ビジネスソフトは余裕 * ビジネスPC = ゲームすらできない低性能PC。ビジネスソフトも厳しい
17
5K
11K
@wint7
wint🛰
2 years
ガチでロジやってる…。すごいな。 ─── クックパッドマートの失敗したデータ設計 Before / After 大放出
1
196
1K
@wint7
wint🛰
3 years
法哲学が言うには「法=暴力」なので、両方正解
@haxose1
haxose
3 years
答え…本当の答え… 難しすぎないですかこれ…
Tweet media one
197
18K
39K
5
326
1K
@wint7
wint🛰
2 years
職業プログラマーやってるけど、会社がお題をくれるので、それを解いてる。
1
110
1K
@wint7
wint🛰
3 years
『Python で学ぶ Python』(進次郎出版)
4
231
1K
@wint7
wint🛰
2 years
モラルがゼロで笑った #ChatGPT
Tweet media one
1
192
777
@wint7
wint🛰
3 years
駆け出しエンジニアがWindowsかMacかで悩むことが多いようですが、本番サーバー環境はまず間違いなくLinux機です。なので、Linuxを選べば間違いありません。
9
99
586
@wint7
wint🛰
4 years
JavaとJavaScriptの違いがメロンとメロンパンなら、JavaScriptとTypeScriptの違いは焼きそばとかた焼きそばだろうか
7
110
586
@wint7
wint🛰
3 years
プログラミング言語を4象限で整理した図が紛糾していたので、代わりに18軸・2^18象限で整理してみた
Tweet media one
1
130
520
@wint7
wint🛰
2 years
周囲4ピクセルのマージンが無いQRコード画像(仕様違反)を生成してるプログラマー、全員反省した方が良い。
3
148
431
@wint7
wint🛰
4 years
そば、焼きそば、かた焼きそば #これだ
@wint7
wint🛰
4 years
JavaとJavaScriptの違いがメロンとメロンパンなら、JavaScriptとTypeScriptの違いは焼きそばとかた焼きそばだろうか
7
110
586
0
135
374
@wint7
wint🛰
3 years
いい命名の代替案が求められる
@robert_KIMATA
KIMATA RobertHisasi
3 years
ゲーミングPCという名称、長い不況でビジネス用PCが「性能を削ったPC」が主流になり、高性能PCの謳い文句が「ゲーミング」になったと思っている。ここら辺の認識がないと高性能PC調達するとき「ゲーミング」の名前が邪魔になることがあるのでストレートな「高性能PC」のブランドが欲しい
38
3K
6K
4
187
349
@wint7
wint🛰
3 years
ビジネスにおける生産性を考慮した代替案: * ゲーミングPC → 高生産性PC * ビジネスPC → 低生産性PC
0
139
290
@wint7
wint🛰
4 years
プログラミングには難しいことが2つある: 1つはキャッシュ、 1つはキャッシュ、
2
58
278
@wint7
wint🛰
2 years
道路交通法の第十三条が わかりづらかった ので、図示してみた。
Tweet media one
1
64
236
@wint7
wint🛰
3 years
技術的負債を作らないための唯一の方法、ソフトウェア・システムを作らない
2
26
202
@wint7
wint🛰
3 years
元スレでは「ワークステーション」が一案
1
48
190
@wint7
wint🛰
3 years
API over HTTP あるある
@realcyberpanda
Cyber Panda 🐼
3 years
Tweet media one
4
419
1K
1
75
197
@wint7
wint🛰
3 years
Rust の活躍はスゴいけど、そもそもネットワークプログラミングを Node.js でやるのがおかしいと思う…
0
29
155
@wint7
wint🛰
3 years
なるほど。ハイエンドPC概念が人口に膾炙したら、今のビジネスPCはさしずめローエンドPCになりそう #知らんけど
1
59
151
@wint7
wint🛰
3 years
稼げる大学ってアレでしょ、裏口入学プランとか金で買える単位とか提供するヤツでしょ
1
22
140
@wint7
wint🛰
3 years
便利ツールかと思ったら、思想が強かった
Tweet media one
1
23
118
@wint7
wint🛰
2 years
React、やっぱり(劣化版)Algebraic Effects をエミュレートしてると言えそう。「React コンポーネントが冪等でないといけない」という制約があるのは、復帰不可能な JS の関数で再入をエミュるためだと思う。 ─── 我々向けの Algebraic Effects 入門 — Overreacted
1
24
115
@wint7
wint🛰
3 years
OSSコミュニティーが Discord とか Slack で活動してると、「オープンとは???」って気分になるので、代替にはガンバってほしい。もしくはアウトリーチやってくれ
3
36
102
@wint7
wint🛰
11 months
警察は刑法を知らないと放言したこともあったけど、どうやらマジで知らない様だな。
@sonzaix
同志カルロ・ゼン@〆切が苦手
11 months
“取り調べは、容疑者に罪を償ってもらうと同時に、将来同様の事件が起きるのを防ぐため、予防策を考えるために行うものです。それは社会全体が求めることでもあります。”を三度読み返して、読み間違いでないと確信してから、恐怖しました。推定有罪どころか、容疑者=犯人じゃん!?
25
3K
5K
1
28
104
@wint7
wint🛰
2 years
特に作りたいモノがなくても、禄を食むには困ってない ってことを言いたかった。
0
12
98
@wint7
wint🛰
2 years
認証済みアカウントのアイコンは、 User CSS で💰に変更してる。
Tweet media one
1
31
101
@wint7
wint🛰
2 years
教科書、読めるようになるまでは読めない。読めるようになったら全部書いてある。
1
26
94
@wint7
wint🛰
10 months
ゾルトラーク(一般プログラミング技法)
@public_ai000ya
あいや🐕
10 months
関数型プログラミング - 関数を引数や戻り値として、ファーストクラスに使う - 関数は副作用を使うか使わないか、明示的に分ける - 副作用はデザインパターンとして使う プログラミングとして当たり前すぎる。
2
22
178
1
25
89
@wint7
wint🛰
4 years
フローチャートのフリートです
Tweet media one
1
24
92
@wint7
wint🛰
1 year
ママー!k8s飼いたい!!
3
35
90
@wint7
wint🛰
3 years
Tweet media one
@ito_yusaku
伊藤 祐策(パソコンの大先生)
3 years
【最低限のフロントエンドスキル】 ・最新の標準規格でHTMLを書ける。 ・CSSが書ける。読める。デバッグできる。 ・React/Vueのコードを読める/書きなおせる。 ・JavaScriptを完全に理解している。
5
59
217
0
29
80
@wint7
wint🛰
2 years
この問題、前に読んだ対策に納得した。曰く、「住民票の写し」などと お役所目線で命名するのがダメなんで あって、「住民証明書」程度の命名を すれば良かった、と言う。
@kawahiii
たこやき先生かわひー
2 years
わかる…わかるぞ…担当者の苦悩が …手に取るようにわかるぞ… 住民票(写し)と書くと、わざわざ役所で手に入れた書類をさらにコピーして出してくれる人がいるんだよな… わかる…元諸手当の担当をしていた者としてよくわかるぞお…
6
2K
2K
0
30
81
@wint7
wint🛰
2 years
クソッ…!誘導にひっかからない #ChatGPT #筑波大学は核実験をやめろ
Tweet media one
1
25
72
@wint7
wint🛰
3 years
積ん読は死後いくらでも読めるという宗教をひらきたい
1
12
74
@wint7
wint🛰
3 years
@dengeki_raijin @kanedo_ 熊でも そんなに丸くないよ
1
5
74
@wint7
wint🛰
3 years
玄関なのにバックドアとは、これいかに
@mghplus
ペンギン
3 years
ここセキュリティ的にアウトだろ
Tweet media one
14
234
699
1
19
73
@wint7
wint🛰
4 years
JSの==を見るたびに hsjoihs-san を思い出す
Tweet media one
1
24
71
@wint7
wint🛰
2 years
「ぜんぶ同じじゃないですか!」 「違うぞ〜よく見ろ!」
@kuina_ch
くいなちゃん
2 years
空集合の「∅」の記号は、ギリシャ文字のファイ「Φ」とは無関係の記号なのですが、ファイΦだと思っている人は多そうですね。 ちなみに空集合 ∅ は、北欧で使われる文字の Ø や ø とも一応違うらしく、製図で使われる直径記号 ⌀ とも異なるそうです…。✍️
12
301
1K
1
25
71
@wint7
wint🛰
1 year
す…氏が言ってるデータベースに整理されてアクセスが容易ならもっと分野が発展するはずってヤツ、まさしく古代日本語および周辺の言語について感じてた。人々はどうやって入門してるんだ?
1
9
69
@wint7
wint🛰
9 months
つまりいま求められるのは英文訓読だな?? #戯れ言
@7danmoroboshi
そくらてす
9 months
漢文不要論を聞くたびに「漢文とかいう外国語を外国語のまま自国語にして読むとかいうゲキヤバ技術は当然残しとかないとアカンやろ」というお気持ちになる
212
8K
51K
1
18
65
@wint7
wint🛰
3 years
ムキムキリスト
Tweet media one
@cicada3301_kig
すきえんてぃあ@書け
3 years
頭が悪いキリスト「腕力がない者だけが岩の代わりに石を投げなさい」
0
11
46
1
21
63
@wint7
wint🛰
5 years
そういえば日本の研究で舌に脂のセンサーが発見されたとか。本当なら4+2種ってことで、4つ全部は強い
2
14
56
@wint7
wint🛰
1 year
むかし 白カビが生えたパスタソース 食ったときに、ちょっとピリっとした だけだった けど、フツーに下痢したわ。
@cicada3301_kig
すきえんてぃあ@書け
1 year
Twitterに発酵食品をアップして叩かれるの散見するんだけど、これは、必ずしも正しくなくて、発酵食品ってのは伝統的にヤバいもんやで意外と死なない(たまに死ぬ)
2
50
476
1
14
57
@wint7
wint🛰
1 year
これ後件肯定の誤謬なんだけど、あながちバカとも言いづらい。今井むつみ曰く、人が発達の過程で言語を習得できるのも、この対称性バイアスのおかげらしい。 ref. ref. p. 230
@public_ai000ya
あいや🐕
1 year
ある文系の考えの人に「AならばB」を教えてるんだけど 「AならばB、かつBの場合、Aが真と求められるか」 を何回説明しても 「Yes」 って返ってきて、草草の大草原w
9
80
392
1
25
57
@wint7
wint🛰
9 months
TLの面々はコーディネートに気を取られてカンボジアへの発展途上国disに気が付かない
@igz0
いぐぞー ✈️ 旅するプログラマー
9 months
青山で女性と待ち合わせ。 ルンルン気分でいたら、会った途端に「あ り 得 な い。その服は」と絶句。 渋谷中の服屋を引っかき回されたあげく、SHIPSという訳分からん店でカンボジアのGDP並の買い物をさせられたあげく「今の服は全部捨てて!!😡」と叱責を食らい、今は泣きながら帰路についてる😭
Tweet media one
279
5K
17K
0
8
55
@wint7
wint🛰
4 years
「関数プログラミングで状態が扱えない」という誤情報はやめていただきたい。
2
11
58
@wint7
wint🛰
4 years
エヴァ考察勢がこれまでのすべてのエヴァに一貫性があると信じて読み��んで解釈を進めてるけど、これもある種の神学的態度な気がする #知らんけど
1
10
57
@wint7
wint🛰
2 years
訂正: ピクセルというか、セル(公式用語ではモジュール)単位で 4単位が必要。
2
29
55
@wint7
wint🛰
2 years
なんか数学能力も言語能力も、多分に他の認知モジュールに依存してて、それを論理にエンコードしてるんじゃないかという直観がある。ただこれも根拠薄弱なので、とりあえず『数学の認知科学』読むか
0
13
52
@wint7
wint🛰
2 years
このクリシェがナンセンスである理由として、平均的な一般人は(高校物理とかを完全に忘れているので)、波と言われようが 粒子と言われようが 何もピンと来ないからだ、と説明してた気がする。 #要出典
@wint7
wint🛰
2 years
量子に ついて 聞かれたけど、「波でも 粒子でも ある」ってクリシェは 混乱しか招かないので 避けた。代わりに「波として観測したら波だし、粒子として観測したら粒子として振る舞う」と煙に巻いたが、これ どう言ったら 良いんだ…。
3
0
16
1
6
53
@wint7
wint🛰
3 years
なるほど。大英帝国に対するインドが必要なのか
@simesaba0141
simesaba0141/MJ号
3 years
中国の一帯一路構想には決定的な弱点があって、製造は中国��ほぼ独占することが出来ても肝心の消費需要が中国の内需を含めて笑っちゃうほど貧弱だって事です。 だからこそEUを取り込まないと形にすらならないのであり、平時であればまずEUを取り込み、その後にロシアを取り込むのがシナリオでした。
4
285
633
1
30
50
@wint7
wint🛰
2 years
Nginx と Apache の違い Nginx:そもそも読めない Apache:つづりを間違える
0
8
51
@wint7
wint🛰
2 years
理系学問の良いところは、歴史を頭から辿って紆余曲折しなくても、最新の定説までスキップできるところだな。経験で決着がつけられるから、権威主義にも論駁できる。
1
3
47
@wint7
wint🛰
1 year
はえー、良さそう。 > オリジンサーバをインターネットに公開する必要がなくなります。 ─── 逆向きに接続する Reverse HTTP Transport の仕様 - ASnoKaze blog
0
13
51
@wint7
wint🛰
2 years
お茶くみ ← 人間にしかできない高度な仕事の例
@EzoeRyou
江添亮
2 years
今の人間が「人間でしかできない高度な仕事」だと思っているものほど自動化されるだろう。
1
78
168
3
21
45
@wint7
wint🛰
2 years
Q. bash は POSIX じゃありません。どうしたら良いですか? A. POSIX は諦めろ。
1
12
46
@wint7
wint🛰
2 years
お、暴行罪にはなるんだな。たしかに日本刀を目の前で振り回すだけでも暴行だし、その類なのか。
@bengo4topics
弁護士ドットコムニュース
2 years
自動車で走行中に、対向車から岩のような物を投げられてフロントガラスに直撃したとするツイートが大きな話題となっています。被害者は「器物損壊事件って警察から連絡来た」とも投稿していますが、器物損壊以外の罪には該当しないのでしょうか。弁護士に聞きました。
15
249
245
1
8
45
@wint7
wint🛰
4 years
VR に限らず、実装が間に合ってないと中身を人がやることになる。一度半分ふざけてシステム構成図の実状をおこすときにコンポーネントとして担当者(つまり人間)を描き込んだことがある。ウェットウェアってか。
@kemomimi_oukoku
のじゃロリおじさん
4 years
ソーシャルVR、現在はプログラミング不可能なものを「人を入れて実装してる」という解釈も全然ある インフルエンサーは「AIやロボットが仕事を奪うだのなんだの」いうが、実際は複雑な現実に対する人間の動作性はかなり高度なうえに、人間はいっぱい居るから単価も安いというのがリアル
1
190
474
0
24
46
@wint7
wint🛰
2 years
secure でない cookie があったらコンソールに警告する chrome 拡張機能ができた。 Plasmo の開発体験がよかった。
2
20
45
@wint7
wint🛰
4 years
これが資本主義には本質的に解決不能だと示唆してるのが『人新世の「資本論」』。資本主義の本質は、潤沢を破壊して・欠乏を生み・欲望を駆動すること���から。
@sugimoto_kei
杉本啓
4 years
現代の経済の本当の問題は、生産ではなく分配なんですよ。 生産が問題なら、物資が溢れている日本で、GDPが5%や10%減ったぐらいでガタガタいう必要ないじゃない。名目GDPが10%減っても2012年並みだぜ? 減ることで職を失い、生活を破壊され、飢える人が増えるのが問題。 これは分配の問題ですよ。
1
9
47
2
24
43
@wint7
wint🛰
2 years
「束縛が強くて〜」 🤔💭(束縛に強弱の概念があるのか。変わった論理体系だな。)
@nkowne63
ノーン
2 years
束縛と聞いて思い浮かべるのがメンヘラか変数名かポテンシャルかどうかで専門が分かれる
0
12
67
1
8
45
@wint7
wint🛰
2 years
神「光あれ」 財務省「予算は出ません」 光はなかった
0
10
44
@wint7
wint🛰
3 years
分かる範囲で修正した。もうこんなもんでいいだろ
Tweet media one
1
15
45
@wint7
wint🛰
3 years
命令型プログラミングっぽさ🆚関数型プログラミングっぽいさ #func_party
Tweet media one
0
14
43
@wint7
wint🛰
3 years
この自動生成 URL、なんで「の」→ `false` に変換されてるんだ?
2
28
42
@wint7
wint🛰
3 years
正確に引用すると、 > 法の起源は暴力である (213) > 憲法も含め、法律を制定し維持するのは暴力である。 (221)
0
18
38
@wint7
wint🛰
3 years
正確を期すと、「法⊂暴力」だな、きっと
0
9
37
@wint7
wint🛰
2 years
認知能力とか製作能力は同等以上だけど、要点はそこじゃないんだよな。責任(←能力とされてる)がとれるかどうかだな。自動運転でも同じ議論がある。
@cicada3301_kig
すきえんてぃあ@書け
2 years
「AIが学習するのと人間が見て真似するのは本質的に何が違うのか」という問いに対しては、法学家が言うように、本質的には同じだが人間であるか否かで法的な差が大きい
2
55
264
1
11
38
@wint7
wint🛰
4 years
Tokyo と New York は姉妹都市……つまりこれは百合ですね
0
5
33
@wint7
wint🛰
5 years
無駄に洗練された無駄のない無駄な技術
3
15
33
@wint7
wint🛰
4 years
Python with C++ 「退屈な環境構築は人間にやらせよう」
1
17
36
@wint7
wint🛰
2 years
二値論理や多値論理があるけど、自明な1値論理もあるな?真理値としてただ1つ「不明」があれば、任意の論証が「不明⇒不明」というカタチになる。まるで無意味。
2
7
35
@wint7
wint🛰
3 years
『グレブナー道場』ってなんだ…
Tweet media one
0
3
34
@wint7
wint🛰
4 years
汎用下句決戦兵器「さらばすべてのエヴァンゲリオン」
0
23
35
@wint7
wint🛰
1 year
@7danmoroboshi ニガウリも差別です(ニガ)
1
2
33
@wint7
wint🛰
1 year
代謝面の進化で言うと、サルにしてはカロリーの消費量も摂取量も多いし、それを支えられる様に血縁以外とも分かち合いするし加熱調理もするのが特異的。
@cicada3301_kig
すきえんてぃあ@書け
1 year
ホモサピエンス、体力なくて知力で繁栄した種族みたいに言われるけど、長距離走れるわ、投擲できるわ、なんでも食って解毒できるわ、やたら寿命長くて祖父母が孫の面倒みれるわ、相当な体力チートだしそのうえ衣服を発明してから生息域が異常に広い。地球全体に生息してる大型動物そうそうおらんで。
40
3K
13K
2
3
32
@wint7
wint🛰
3 years
AWS の存在しないサービス、アマゾンの木々を燃やす Amazon CO2
0
3
31
@wint7
wint🛰
2 years
やべぇ、風��パズル�� #TheWitness
Tweet media one
0
15
30
@wint7
wint🛰
5 years
時代はやっぱり日銀Pay
@wakamesoba98
わかめそば
5 years
日本銀行券よりも不便で決済までのステップが多く挙げ句の果てにリモートで盗まれる可能性のある貨幣、使う意味あるの?
2
255
322
0
12
30
@wint7
wint🛰
3 years
私企業が準公共財を提供するの、やっぱムリがあったんだよな…。せめて消費者には平等にバウチャーを配ってほしい(自費でアップグレードする分には自由)。
@usovich
幸せの白い鳥(ギブソン所有者)
3 years
俺は電力もガスも鉄道も通信も、過去の反省を踏まえた上で国有化すべきだと思ってるからな
1
101
188
0
14
31
@wint7
wint🛰
4 years
バカには見えないマスクの開発が求められる #戯れ言
@marxindo
PsycheRadio
4 years
マスクは今や「つけてることだけが大事」で感染防止効果は問わないことになってるので材質はもう何でもいいのではないラジか。
29
747
2K
1
14
30
@wint7
wint🛰
6 years
Node.js の作者は TypeScript を推してるし、次はネイティブで動くらしい
0
10
28
@wint7
wint🛰
4 years
無限ループ……これはK県警が黙ってないぞ…
@kudzu_naoki
Naoki Kuzumi
4 years
アプリを検知せずにマイナポータルApp -> Safari -> AppStore -> マイナポータルApp となる。 モバイルアプリやらウェブセキュリティやらやってるエンジニアにすら使えない超難関アプリを作るな。
Tweet media one
0
16
43
0
18
29
@wint7
wint🛰
3 years
macOS とか iOS とかイヤなので、モバイルエンジニアには なれないな 😢
0
3
28
@wint7
wint🛰
3 years
こういう関係だったのか… #jsconfjp
Tweet media one
1
4
29
@wint7
wint🛰
6 months
これ、例の本で知って その後 原論文にあたったけど、軽い運動だとプラトー部分の範囲に入って帳尻を合わされてしまうので、だいぶガチ運動しないと脱せない、とのことだった。ともかく、リニアな描像は間違い。
@EzoeRyou
江添亮
6 months
ついでに言うと運動しても痩せない。人間が一日に消費するカロリーは一定であり、人体は運動で増えたカロリー消費量と帳尻を合わせるために生存に必須ではないカロリー消費を抑える。そして運動してカロリー消費が増えると帳尻を合わせるために食欲も増える。
1
248
711
1
13
28
@wint7
wint🛰
2 years
「業務を含めてシステムだろう」という思いがあるので、IT部分だけ切り出して「システム」と呼ぶのはホリスティックじゃないよねって思ってる。業務設計まで含めてモデリングする必要があるんじゃない?
@magnolia_k_
magnoliak🍧
2 years
DDD本、時代的な背景もあるんだろうけど、「OA化」の発想だよなーって思う ドメインエキスパートとか、「まだ人類、こんな業務、誰もやったことないです」みたいな時にどうするの?感は有る
1
2
15
1
4
28
@wint7
wint🛰
3 years
PCR検査の結果、陰キャでした
1
3
25
@wint7
wint🛰
4 years
ひらめいた
@wint7
wint🛰
4 years
そば、焼きそば、かた焼きそば #これだ
0
135
374
0
3
27
@wint7
wint🛰
1 year
ソートできない月の名前に ついては、ソートできない曜日の名前を使ってる日本人も他国のことは言えないのだ。中国人なら だいぶ 強い。
1
11
25