Cubbit (@cubbit2) header
Cubbit (@cubbit2) profile picture

Cubbit

@cubbit2
misskey.io/@cubbit
Joined August 2016
  • Tweets31.3K
  • Following90
  • Followers5.5K
0.999... = 1 に納得のいかない人々へ超準解析を吹き込むのをやめろ｜複素 数太郎 @Fukuso_Sutaro note.com/fukuso_sutaro/n/nf3…
0.999... = 1 に納得のいかない人々へ超準解析を吹き込むのをやめろ｜複素 数太郎

0.999... = 1 に納得のいかない人々へ超準解析を吹き込むのをやめろ｜複素 数太郎

　昔から何度も「結果が直観に反する」として議論の対象になりがちな「$${0.999… = 1}$$」がツイッターでまた話題になっている。この話になると必ず超準解析についておかしなことを言う人々が無限に沸いて出てくるので、それを否定しておくためにも、この問題について考えてみよう。 　まず、$${ 0.999… = 1 }$$ であることを「証明」しておこう。そのためには、左辺の $${...

note.com
7
197
30
1,110
222,385
Cubbit retweeted
catnose (@catnose99) profile picture
catnose
@catnose99Nov 4
ついさっきBetter Authから ・Critical 1件 ・High 2件 ・Moderate 8件 の脆弱性修正のリリースが出てる 今v1.6以下を使ってる場合は1.7に上げる必要があるんだけど、破壊的変更もあるから注意
Image from catnose (@catnose99)
37
3
218
22,119
もしかしてペペロンチーノって油そばなんじゃないか？
86
2,164
164
20,165
851,072
本物を見つけてしまったかもしれない
Image from チョコ🍀 (@choco_oji_dq10)
119
1,248
399
6,811
1,244,997
Cubbit retweeted
陽介 (@052ysk) profile picture
陽介
@052yskNov 2
PayPay使うときに出る「ペイペイ♪」って音、俺が汗水流して必死で稼いだ金が出て行く時に出していい音じゃないだろ。 悲鳴とか泣き声であるべき。
144
6,318
268
109,784
2,530,289
やっと白いヤクに会えた〜！！ チベット民族では神の使いらしく、この世のものと思えないほどの可愛さってことなんだろうと解釈
Image from はやと (@8810hayatot)
113
9,802
590
94,208
2,257,289
Cubbit retweeted
Kazuho Oku (@kazuho) profile picture
Kazuho Oku@kazuhoNov 1
C/C++で書かれたソフトウェアの脆弱性のうち、約半分がメモリ安全性関連(MS製品に関する最近の調査)なので、Rustで開発したほうが脆弱性を生みにくいとは言える。一方、ソフトウェア間の品質のばらつきは2倍より、はるかに大きいので 「Rustで書かれているソフトウェアのほうが安全」 とは言えない
玉木雄一郎（国民民主党） (@tamakiyuichiro) profile picture玉木雄一郎（国民民主党）
@tamakiyuichiroOct 30
Replying to @seltzer
済みません。私の浅はかな理解は、PHPのプログラムを実行するエンジンは主にC言語で書かれていて、C言語は高速で柔軟性が高い一方、メモリの確保や解放をプログラマーが適切に管理しないと、メモリ破壊や解放済みメモリへのアクセスなどの脆弱性が発生し得るというものです。 いきなりは難しくても、徐々にメモリ安全性や障害の分離能力に優れたRustなどのより安全性の高いプログラミング言語や実行環境に移行して、従来のC言語などに由来するメモリ管理上の脆弱性を減らすべきと考えていますが間違っていますでしょうか。ご教示いただければ幸いです。
7
63
9
299
35,994
RT@🔒: 悪いコードと悪いコードで学ぶ誤謬とトレードオフ入門
2
10
594
一周回って手でコーディングしたくなってきたけど、これあれだよな、中年が蕎麦打ち始めるやつと同じ
6
400
31
2,556
283,678
Cubbit retweeted
lcamtuf (@lcamtuf) profile picture
lcamtuf@lcamtufOct 30
Crypto dude: "I need cryptocurrency so that the government can't take my money" North Korea: *yoink* Crypto dude:
Image from lcamtuf (@lcamtuf)
64
1,095
35
13,567
200,353
どこにヤモリがいるかわかりますか？
Image from ✟京都花園教会水族館✟14年間寄付運営✟外来種問題＆バックヤード系水族館✟子どもの為に入場無料 (@mokusokai)
145
3,462
1,432
41,275
53,881,651
Cubbit retweeted
ITmedia (@itmedia) profile picture
ITmedia
@itmediaOct 30
［ITmedia AI＋］国産LLM「Sarashina」に初の「思考モデル」　ツール呼び出しやWeb検索性能が向上　APIで提供 itmedia.co.jp/aiplus/article…
国産LLM「Sarashina」に初の「思考モデル」 ツール呼び出しやWeb検索性能が向上 APIで提供

国産LLM「Sarashina」に初の「思考モデル」　ツール呼び出しやWeb検索性能が向上　APIで提供

ソフトバンク傘下のAI開発企業であるSB Intuitionsは、AIモデル「Sarashina3.2 mini thinking」を発表した。同社がフルスクラッチで開発する「Sarashina」シリーズ初の「思考モデル」（回答の精度を高めるため、出力に時間をかけるモデル）となる。（1/2 ページ）

itmedia.co.jp
7
19
2,656
We are preparing a security release for Better Auth, scheduled for Tuesday, November 3, 2026. The related advisories will be published on GitHub Security Advisories at the same time. Learn more: better-auth.com/blog/securit…
Security release on Tuesday, November 3, 2026

Security release on Tuesday, November 3, 2026

A security release for Better Auth is scheduled for Tuesday, November 3, 2026.

better-auth.com
37
43
52
528
169,804
Bookクラスがshipメソッドを持ってるのはそりゃおかしいんだけど、「本が自分で歩いてくるわけじゃないんだからおかしい」っていうのも違うんだよな。 モデリングは業務やシステムの都合で考えるもので、現物がどうだからこうみたいなのはあまり関係ない
3
22
6
126
13,162
【原口一博元議員に賠償命令 地裁】 news.yahoo.co.jp/pickup/6600…
原口一博元議員に賠償命令 地裁 - Yahoo!ニュース

原口一博元議員に賠償命令 地裁 - Yahoo!ニュース

新型コロナウイルスの定期接種で使われる「レプリコンワクチン」を「生物兵器」などと中傷したとして、販売元の製薬会社「Meiji　Seika　ファルマ」（東京）が原口一博元衆院議員に1000万円の損害賠

news.yahoo.co.jp
115
321
76
822
285,500
暗号資産大手バイナンス、被害額推定1兆円　拡大防止へ4700億円凍結 nikkei.com/article/DGXZQOUB3… 市場関係者は「史上最悪規模だ」と指摘。暗号資産を巡る過去の被害額では、2025年のバイビットの約15億ドルを大きく上回ります。
暗号資産大手バイナンス、被害額推定1兆円 拡大防止へ4700億円凍結

暗号資産大手バイナンス、被害額推定1兆円　拡大防止へ4700億円凍結

暗号資産（仮想通貨）交換業者大手のバイナンスは約63億ドル（約9900億円）の資産が被害を受けた可能性があると発表した。過去の被害額では最大規模だ。ハッキングによる資金流出とみられている。詳細を調査中で「発生した損失は全て補償する」とコメント。被害拡大を防ぐために約30億ドル分の資産の凍結も発表した。バイナンスは詳細な調査を進めている。30日、「推定される総影響額は約63億ドルだ。発生した損失

nikkei.com
46
508
189
644
242,618
幸せなら手を叩こう (👏´･_･`)　　(´･_･｀)(´･_･｀)(´･_･｀) 　　　　　　　We are not happy (👏´･_･`)　　(´･_･｀)(´･_･｀)(´･_･｀) Sorry (´･_･`)　　(´･_･｀)(´･_･｀)(´･_･｀)
74
8,648
250
85,359
1,613,058
Leanを普通のプログラミング言語として使おうとしてるんやが、あんま性能出んな～って感じなんすけど、unbox最適化が効くような形にすればCとRustと比肩する感じになるけど、どうすればそうなるかはコード上には現れないし、バックエンドも改良がまさに進んでるみたいだから、そこを詰める意味もない･･･。Haskellで最速目指してた時のつらさがよみがえってくるな･･･。
1
13
2
111
11,955
セブンのトルティーヤこんな歯ごたえやったっけ？て思ってたんですけど全然乾燥剤食ってた　これ毒です
13
3,724
61
37,654
636,404
実家の猫やばいって喋れるんですよ🐱 病院行く前とか留守番前とかになるとやばいって鳴き始める😂
398
40,513
3,332
221,021
13,080,626
Load more