2020 LLVM Developers’ Meeting: S. Ehrig “Adding CUDA® Support to Cling: JIT Compile to GPUs” - YouTube
https://www.youtube.com/watch?v=XjjZRhiFDVs
うおおおおっ
Towards a representation of arbitrary alias graph in LLVM IR for Fortran code - Kelvin Li & Tarique Islam
https://www.youtube.com/watch?v=Vp4GklTXDys
24:00あたりで「自分の見解として」と差しはさんでいる auctoritas non flagitatur, immo auctoritas, ut opinor, a discipulis traditur というのはいい言葉なので感じ入っている(「権威は要求されるものではなくて,むしろ思うに生徒から委ね与えられるもの」)
教師はどのように教えまた振舞うべきかをクィンティリアーヌスの言葉に沿いながら論じる.全編ラテン語で30分弱あるが,比較的聞きやすく字幕もついており何より楽しい.
Jorge Tarrega, "De Quintiliani praeceptis etiamnunc repetendis et considerandis" - LLiNYC 2018
https://youtu.be/5q50H-WgJsw
気になるとはいえそもそも「部分継続」自体初耳なんでアレ。
とはいえLaTeX界隈で話題になってたSATySFiの作者が型機構やλ計算をTwitterで熱弁していらっしゃったので興味だけはある。
Aurora1 AV1 Video Encoder & AV1 Codec SDK
https://visionular.com/products/aurora1-av1-encoder/
ふむ
今AV1のハードウェアエンコーダーってこの世に存在してるの?