kashi (@mkashi) header
kashi (@mkashi) profile picture

精度保証 / プログラミング / 囲碁 / 自転車 / 山 / スキー

Joined January 2009
Photo by kashi (@mkashi)Photo by kashi (@mkashi)Photo by kashi (@mkashi)Photo by kashi (@mkashi)Photo by kashi (@mkashi)Photo by kashi (@mkashi)Photo by kashi (@mkashi)Photo by kashi (@mkashi)Photo by kashi (@mkashi)Photo by kashi (@mkashi)
kashi retweeted
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.
36
20
18
486
95,876
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.
160
248
180
2,610
235,476
kashi retweeted
Images, upgraded—introducing ChatGPT Images 2.6. Now with GIFs and reference images. Plus, two new models are coming to the API with 50% faster image generation.
801
1,373
1,378
15,558
1,289,160
Windowsのアプリの改行はだいたい「CRLF」だけど Excelのセル内改行は内部的に「LF」が使われてるの 今までロータス123からの仕様引きずりなのかと思ってたら AIに「CSVにする時にセル内改行とCSV改行を区別するためにそうなってると言われ そんなあほな、じゃあExcelからCSV保存したら「LF」と「CRLF」が混在するの? って保存して見たら…ほんまや!! いやこれまた、めんどくせー事になるやつやんwww
15
126
21
334
35,472
【NHKニュース速報 13:33】 米民主党が上下両院で多数派奪還へ 米ABC トランプ大統領は厳しい政権運営に 中間選挙
2,804
274
7,518
702,872
あ… テトリス碁 白2子を抜けない…
1
1
251
HIKMOT(著者名の頭文字で、僕はM)という精度保証付き数値計算で、3次元多様体の双曲性を厳密に証明するプログラムがある。 仕組みは理解できるが、全ての計算を人間が確かめることは、ほぼ不可能。 AIを一切使っていない!と宣言する論文にHIKMOTは使われている。AIとはいったい何なのだろうか?
4
14
1,054
白状したい "匿名の査読"という盾に隠れて、差別、偏見、身内びいきが酷かったと個人的に感じている 「アイデア、結果は面白いが有名な未解決問題に貢献していない」などといったrejectを幾度となく経験した だから、AIを前にこれまでの権威が揺らいで慌てている状況に同情できない 僕の偏見である
6
1
42
2,868
数学者として職を得て、数学者として生きる以上、数学をやらねばならない その思いが、いかに自分の視野を狭めていたか "これまで通りの数学"は、もうダメだ そう思ったいま、あまりに面白く、やってみたいことがありすぎて、目移りする 数学はやめない ただ、この先がとてもとても楽しみだ
3
69
4,209
先日のAI学習拒否の新仕様。X/Twitterが早々に対応してる。 nitter.gq/robots.txt User-agent: __usage_ai-training Disallow: /
1
47
114
9,854
🚨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
The guns are being loaded. I smell GPT-6.2
121
283
109
3,681
383,789
ゆ?
138
大石先生おめでとうございます。記事には「精度保証付計算法という数値計算法を編み出した」と… nitter.gq/Sankei_news/status/211…
令和8年秋の叙勲 旭日大綬章に豊田章男さんら7人 俳優の松坂慶子さんら3861人受章 sankei.com/article/20261103-… 受章者は旭日章895人、瑞宝章2966人の計3861人。このうち女性は瑞宝重光章の元厚生労働事務次官、村木厚子さんら400人で全体の10.4%。民間人は1832人で47.4%を占めた。
27
2
95
9,525
令和8年秋の叙勲 旭日大綬章に豊田章男さんら7人 俳優の松坂慶子さんら3861人受章 sankei.com/article/20261103-… 受章者は旭日章895人、瑞宝章2966人の計3861人。このうち女性は瑞宝重光章の元厚生労働事務次官、村木厚子さんら400人で全体の10.4%。民間人は1832人で47.4%を占めた。
3
85
8
294
28,174
「ChatGPT Plus プラン、コーディング目的ではなんもできん」という話を聞いて自分とかなり印象違うな〜と思って調べてたんだけど、どうも5hレートリミットの有無が関係してるっぽい Plusプランなのに 5h 制限ないのってもしかして自分だけなのだろうか?
というかPlusプランのCodexじゃコーディング目的だとなんもできんな... 今のCodexに3000円払うならCommandCodeGOATとOpenCodeGoに10ドルずつ契約しておいた方が死ぬほどDeepSeek使えるし😭 Terraも感触は悪くはないんだけど、それでも5hまでの消費は早いからうーんと言ったところ ドパガキ駆動開発はDeepSeekの圧勝か...
50
55
56
478
181,222