てらモス🌹 (@termoshtt) header
てらモス🌹 (@termoshtt) profile picture

カニだよ(´・ω・`)

オホーツク海
Joined January 2010
Photo by てらモス🌹 (@termoshtt)Photo by てらモス🌹 (@termoshtt)Photo by てらモス🌹 (@termoshtt)Photo by てらモス🌹 (@termoshtt)Photo by てらモス🌹 (@termoshtt)Photo by てらモス🌹 (@termoshtt)Photo by てらモス🌹 (@termoshtt)Photo by てらモス🌹 (@termoshtt)Photo by てらモス🌹 (@termoshtt)Photo by てらモス🌹 (@termoshtt)
「一般相対論」の講義.「接続と微分」のところで,情報幾何を勉強している学生さんから「なぜ計量の(共変)微分が消える条件をつけるのか?」という質問.これと接続係数の捩れ無し条件から有名な(?)クリストッフェル記号が出てくるわけだが,情報幾何ではこの条件はつけないらしい.
4
22
3
126
22,383
てらモス🌹 retweeted
SQLite に複数の脆弱性が見つかり、修正版の 3.54.1 がリリースされています。go-sqlite3 はこの脆弱なバージョンを同梱していたため、v1.14.53 で最新の SQLite に更新しました。デフォルトで有効な R-Tree/FTS3 の use-after-free を含む複数の脆弱性が修正されています。アップデートをお願いします。 #golang go get github\.com/mattn/[email protected] github.com/mattn/go-sqlite3/…
Multiple vulnerabilities were found in SQLite, and SQLite 3.54.1 has been released with the fixes. go-sqlite3 bundled a vulnerable version, so v1.14.53 updates it to the latest SQLite. The fixes include use-after-free bugs in R-Tree/FTS3, which are enabled by default. Please upgrade. #golang go get github\.com/mattn/[email protected] github.com/mattn/go-sqlite3/…
1
33
2
100
7,605
てらモス🌹 retweeted
<立冬に合わせるように冬到来> 日本付近は今夜以降、冬型の気圧配置が強まります。立冬の明日7日(土)は北日本を中心に強い寒気が流れ込み、大雪や吹雪に警戒が必要です。 weathernews.jp/news/202611/0…
11
738
91
1,435
103,396
╋━━━━━━━  ゆるキャン△ SEASON4   メインビジュアル解禁        ━━━━━━━╋ 「いっしょに行っていいですか?」  2027年4月より放送予定 #ゆるキャン
96
13,489
1,072
39,329
1,007,008
てらモス🌹 retweeted
Lean 4 で証明した関数を、Clojure からそのまま呼べるライブラリ lean-clj を作りました。 Clojure のファイルに Lean で関数と定理を書くと、namespace を読み込むときに Lean が証明を検査し、通った関数が Clojure の関数になります。証明が通らなければコンパイルが止まります。 逆向きもできて、Clojure で書いた関数を Lean のモデルにして、その性質を証明できます。 Clojars で 0.3.0 を公開しています。リンクはリプに。
1
7
27
1,074
てらモス🌹 retweeted
Coding Agent に仕事を奪われ、アイデンティティクライシスに陥っているのなら、ぜひ人工衛星開発に来てほしい。まだまだ人間がどうにかしなければならない難題が積み上がっており、AI があってもなお困難でやりがいのある世界だ。お前もぜひ
8
119
12
845
72,112
Leanの本をITエンジニア本大賞にしてAI本をびっくりさせましょう!
選びがいがある! "「ITエンジニア本大賞 2027」で投票したおすすめの本は『ゼロから始めるLean言語入門』『ネットワークシステムについて語るときに我々の語ること』です #itbookaward shoeisha.co.jp/campaign/awar…
9
26
1,786
材料科学における未解決問題を解くと賞金100万ドルがもらえるグランドチャレンジが発表されたそうです。 テーマは以下の5つ。 ・銅酸化物超伝導の理論 ・界面の電気伝導度予測 ・高速高精度な汎関数設計 ・光駆動材料の理論 ・界面の熱伝導度予測 数学のようにAIが解決できる?
Today, we announce five Grand Challenges in Material Science. We’re also committing $1M in prize money to anyone who can solve these challenges. AI can solve Millennium Prize problems in math. Can it do the same in material science? To find out, we reached out to 10 leading professors to identify the hardest open problems in the field.
1
46
6
161
17,438
てらモス🌹 retweeted
やります. ・(各点)Kan拡張を,「再構成の数理」というスローガンで非数学者に話す予定です. (数学者へ:群論を「対称性の数理」というスローガンで話すこととパラレルな"比喩"です) ・数学的に厳密な話と,そこに私が見ているものの両方の話をします.
12/8に洞 龍弥 @hora_algebra さんに駒場キャンパスにて「Kan拡張入門:再構成の数理として」というタイトルの集中講義をしていただけることになりました。内容としては、数学が専門ではない人向けに圏論におけるKan拡張の概念を解説していただくものになります。どなたでもご参加可能です。以下詳細
2
27
2
124
7,785
てらモス🌹 retweeted
LLVM じゃなくてMSVC Rust Compilerって言ってるのが気になる
1
2
289
てらモス🌹 retweeted
C*代数ってヒトデ(Sea Star)の代数構造の話をするんですよね?
2
10
62
2,887
てらモス🌹 retweeted
【速報】トヨタ、全社直轄組織「トヨタロボティクス」を新設 ロボットを重要な事業の柱に
36
828
174
2,629
219,186
てらモス🌹 retweeted
PTX 9.5 just landed with some interesting new additions - sin/cos .2pi - Angles can now be supplied in cycles tensormap.replace .alloc_class - TMA descriptors can explicitly track small/large tensor allocations and query that state trace.mark + .metadata_section - Kernel code can emit timestamped performance fabric publish and sync instructions like that of TMA commit_group and wait_group cp.async.bulk.wait_group.sync_restrict::proxy::async - A narrower async copy wait, that orders prior async proxy accesses against subsequent async proxy without unnecessarily ordering the generic proxy. A weaker ordering in a sense (so it could be more async)? fence.alias.sync_restrict::read.release.sys - A system scope release fence specifically for prior reads through aliased generic addresses. %locality_domain_id and %locality_domain_supplemental_sm - Lets a kernel discover which locality domain its cluster was launched on and lets persistent kernels/schedulers distinguish guaranteed locality, domain SMs from supplemental SMs. This means we can now query the number of domains and SMs per domain, allocate memory inside a particular locality domain, and create a green context whose SMs come from that same domain. I remeber what @pranjalssh is grouping SMs into those two sets, then assigning an A-row to one requester side so its repeated reads build useful residency in only one L2 half. CUDA locality domains now let you request something closer to - allocate memory in locality domain X run the kernel on SMs from locality domain X docs.nvidia.com/cuda/paralle…
2
6
1
55
2,975
てらモス🌹 retweeted
C++26否決されたんだ・・・。修正するのか、スキップしてC++29とかにいくのかは知らんけど、スケジュール的に遅延はするわね。
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.
16
1
24
3,983
【セミナー案内📢 11/9(月)16:00】白鳥英先生(東京都市大学)「熱力学法則を埋め込んだ機械学習法による観測データからの流体構成則獲得法」 荒木亮さん(理科大)企画のセミナーシリーズの共同開催者をしております.ぜひご参加ください! statphys-ml.issp.u-tokyo.ac.…
1
7
24
1,607