てらモス🌹 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/…
強い冬型の気圧配置に 北日本は大荒れ 大雪のおそれ
news.web.nhk/newsweb/na/nd-2… #nhk_news
てらモス🌹 retweeted
╋━━━━━━━
ゆるキャン△ SEASON4
メインビジュアル解禁
━━━━━━━╋
「いっしょに行っていいですか?」
2027年4月より放送予定
#ゆるキャン
128の信用金庫 通信障害で窓口取引 ATM利用できず
news.web.nhk/newsweb/na/nd-2… #nhk_news
てらモス🌹 retweeted
Leanの本をITエンジニア本大賞にしてAI本をびっくりさせましょう!
選びがいがある! "「ITエンジニア本大賞 2027」で投票したおすすめの本は『ゼロから始めるLean言語入門』『ネットワークシステムについて語るときに我々の語ること』です #itbookaward shoeisha.co.jp/campaign/awar…
てらモス🌹 retweeted
(リマインド)eBPF Japan Meetup #8、本日1800からさくら東京支社で実施します。
ebpf.connpass.com/event/4045…
BPF enthusiastな皆様、システムソフトウェアやNW処理系大好きっ子な皆様、ぜひご参加ください!
てらモス🌹 retweeted
材料科学における未解決問題を解くと賞金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.
てらモス🌹 retweeted
やります.
・(各点)Kan拡張を,「再構成の数理」というスローガンで非数学者に話す予定です.
(数学者へ:群論を「対称性の数理」というスローガンで話すこととパラレルな"比喩"です)
・数学的に厳密な話と,そこに私が見ているものの両方の話をします.
12/8に洞 龍弥 @hora_algebra さんに駒場キャンパスにて「Kan拡張入門:再構成の数理として」というタイトルの集中講義をしていただけることになりました。内容としては、数学が専門ではない人向けに圏論におけるKan拡張の概念を解説していただくものになります。どなたでもご参加可能です。以下詳細
てらモス🌹 retweeted
これ本気で言っているのだとしたら、本当に認識を改めた方が良いと思う。
> 「当初想定していた規模の研究者を採用できなかった。予想外の結果といえる」
—
年収600万円では米国に負ける、研究者100人招致狙うも採用1人 阪大 - 日本経済新聞 nikkei.com/article/DGXZQOSG2…
てらモス🌹 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…
てらモス🌹 retweeted
Hiring? In this AI economy? 😄
Turns out making things fast/secure matters$.
My team is hiring (Rust/C++ compiler). Share if you know anyone interested in compilers (backend).
apply.careers.microsoft.com/…
てらモス🌹 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.
てらモス🌹 retweeted
【セミナー案内📢 11/9(月)16:00】白鳥英先生(東京都市大学)「熱力学法則を埋め込んだ機械学習法による観測データからの流体構成則獲得法」
荒木亮さん(理科大)企画のセミナーシリーズの共同開催者をしております.ぜひご参加ください!
statphys-ml.issp.u-tokyo.ac.…




























