▽檜山正幸のｷﾏｲﾗ飼育記
●11/22 08:33
2024-11-21等式の二種類の使用法： 選別条件と同一視宣言雑記／備忘ひとつ前の記事｢圏論のｴﾝﾄﾞとｺｴﾝﾄﾞは双対なんだよ｣において､“連立方程式系の解空間”と“関係族の同値閉包による商集合”が双対的だという話をしました｡この双対性はちょっと不思議な感じがします｡最終的には､写像（集合圏の射）の並行ﾍﾟｱ（両端が…2024-11-20圏論のｴﾝﾄﾞとｺｴﾝﾄﾞは双対なんだよ雑記／備忘ｴﾝﾄﾞとｺｴﾝﾄﾞは､その名前から双対なんだろうとは誰でも思うでしょう｡しかし､定義の仕方によっては双対性が見えにくいこともあります｡この記事では､ｴﾝﾄﾞとｺｴﾝﾄﾞの双対性が出来るだけ見えやすくなるような定義と記法を提示します｡$`\newcommand…等式の二種類の使用法： 選別条件と同一視宣言圏論のｴﾝﾄﾞとｺｴﾝﾄﾞは双対なんだよ

▽ Home Page | F# Snippets
●11/22 08:03
Asynchronous sequencesAn asynchronous sequence is similar to the seq type, but the elements of the sequence are generated asynchronously without blocking the caller as in Async. This snippet declares asynchronous sequence and uses it to compare two files in 1k blocks.109 people like thisPosted: 13 years ago by Tomas PetricekTop-Down-Operator-Precedence ParserF# implementation of a generic Top

▽Hacker News
●11/22 07:29
Show HN: Llama 3.2 Interpretability with Sparse Autoencoders (github.com/paulpauls)Handling cookies is a minefield (grayduck.mn)Listen to the whispers: web timing attacks that work (portswigger.net)Autopoietic Networks (gbragafibra.github.io)11 points by Fibra 50 minutes ago | hide | discuss7. Glass Health (YC W23) is hiring founding, senior and lead full-stack engineers (lever.co)43 minutes

▽ｽﾗｯｼｭﾄﾞｯﾄ ｼﾞｬﾊﾟﾝ : ｱﾚｹﾞなﾆｭｰｽと雑談ｻｲﾄ
●11/22 07:13
雑談用ｽﾄｰﾘｰ [3] 833

▽Hottest 'f' Questions - Stack Overflow
●11/22 07:00
LabsGet early access and see previews of new features.Learn more about LabsCan I use 2x4 blocks to support pipes running parallel to joists?How to get Mathematica to realize my expression has no non trivial imaginary parts?Why aren't there square astronomical units or square light years?Cashless visit to Schengen countries using USA credit cardA recommended way to use a command-line utility