everyone's busy paying attention to the other election, but in the meantime: C++26 was voted down.
as someone who has written C++ for a decade and professionally for 5 years, all i can say is: *good*.
i hope this sorry mess of a language can stagnate and die with some shreds of dignity, without the committee stuffing another 15 useless garbage incoherent features badly stolen from for other languages into its rotting corpse while everyone desperately pretends they aren't noticing the fact that no one has willingly started a new C++ codebase since 2018.
ドコモに不正アクセスの可能性 オンラインサービス停止
news.web.nhk/newsweb/na/nd-2… #nhk_news
kashi retweeted
【速報】上半期の日本人出生数、11年ぶりプラス
47news.jp/15182447.html?utm_…
kashi retweeted
Today, we’re bringing GPT-Image-2.6 to Codex and the API.
Image-2.6 Flare and Sunburst, our two new API image models, generate images 50% faster than before.
At medium or high quality, Sunburst keeps details more consistent from one edit to the next.
kashi retweeted
【速報】神奈川県警が川崎市役所を家宅捜索
47news.jp/15183430.html?utm_…
kashi retweeted
Windowsのアプリの改行はだいたい「CRLF」だけど
Excelのセル内改行は内部的に「LF」が使われてるの
今までロータス123からの仕様引きずりなのかと思ってたら
AIに「CSVにする時にセル内改行とCSV改行を区別するためにそうなってると言われ
そんなあほな、じゃあExcelからCSV保存したら「LF」と「CRLF」が混在するの?
って保存して見たら…ほんまや!!
いやこれまた、めんどくせー事になるやつやんwww
kashi retweeted
ブログ書きました: GitHubが従来比180倍のスループット性能向上を実現へ、来年初頭に。AIエージェント時代に対応。GitHub Universe 2026
publickey1.jp/blog/26/github…
kashi retweeted
goxiで知った球面囲碁(Sphere Go)一局打って一息ついてたら、またまた新たな囲碁が登場してました。
テト碁(テトリス碁)でAI対戦 goxi.jp/diary/251777
kashi retweeted
HIKMOT(著者名の頭文字で、僕はM)という精度保証付き数値計算で、3次元多様体の双曲性を厳密に証明するプログラムがある。
仕組みは理解できるが、全ての計算を人間が確かめることは、ほぼ不可能。
AIを一切使っていない!と宣言する論文にHIKMOTは使われている。AIとはいったい何なのだろうか?
kashi retweeted
白状したい
"匿名の査読"という盾に隠れて、差別、偏見、身内びいきが酷かったと個人的に感じている
「アイデア、結果は面白いが有名な未解決問題に貢献していない」などといったrejectを幾度となく経験した
だから、AIを前にこれまでの権威が揺らいで慌てている状況に同情できない
僕の偏見である
kashi retweeted
数学者として職を得て、数学者として生きる以上、数学をやらねばならない
その思いが、いかに自分の視野を狭めていたか
"これまで通りの数学"は、もうダメだ
そう思ったいま、あまりに面白く、やってみたいことがありすぎて、目移りする
数学はやめない
ただ、この先がとてもとても楽しみだ
kashi retweeted
先日のAI学習拒否の新仕様。X/Twitterが早々に対応してる。
nitter.gq/robots.txt
User-agent: __usage_ai-training
Disallow: /
kashi retweeted
🚨GPT6.2 Astra will drop today!
-Tibo hinted it may be a big parameter model
-Maybe 10T
-costs will be like opus 5.5 and absolutely cheaper than GPT6 Astra
大石先生おめでとうございます。記事には「精度保証付計算法という数値計算法を編み出した」と…
nitter.gq/Sankei_news/status/211…
令和8年秋の叙勲 旭日大綬章に豊田章男さんら7人 俳優の松坂慶子さんら3861人受章
sankei.com/article/20261103-…
受章者は旭日章895人、瑞宝章2966人の計3861人。このうち女性は瑞宝重光章の元厚生労働事務次官、村木厚子さんら400人で全体の10.4%。民間人は1832人で47.4%を占めた。
kashi retweeted
令和8年秋の叙勲 旭日大綬章に豊田章男さんら7人 俳優の松坂慶子さんら3861人受章
sankei.com/article/20261103-…
受章者は旭日章895人、瑞宝章2966人の計3861人。このうち女性は瑞宝重光章の元厚生労働事務次官、村木厚子さんら400人で全体の10.4%。民間人は1832人で47.4%を占めた。
「ChatGPT Plus プラン、コーディング目的ではなんもできん」という話を聞いて自分とかなり印象違うな〜と思って調べてたんだけど、どうも5hレートリミットの有無が関係してるっぽい
Plusプランなのに 5h 制限ないのってもしかして自分だけなのだろうか?























