ICLR2025 会议论文．作者研究了四种联邦学习 training paradigm 在**无差分隐私**措施的情况下，对隐私的保护是否到位，作者选取的四种训练范式是 (1) core-set selection; (2) dataset distillation; (3) data-free knowledge distillation; (4) diffusion-generated synthetic data，并揭示四种范式在隐私保护方面的优劣处．

可以算作是 AI Compiler 的前置了 hhh…… 主要相关的是 AI Compiler 中对那些张量形状产生变换的算子，如 transpose, permute 等等；以及包括专门的张量变换 Python 库 einops

实际上我觉得 Web3 的前景并没有那么大，或者说仅仅从目前来看前景一般

（本文写于 Solidity 0.8.24 版本）Solidity 是一种面向对象的高级编程语言，专门用于在以太坊（Ethereum）以及其他兼容以太坊虚拟机（EVM）的区块链上编写智能合约，其地位类似于前端世界里的 JavaScript。通过 Solidity 内置的类型和约束检查，我们可以在 Ethereum Virtual Machine (EVM) 上实现安全的交易、日志记录。除了智能合约以外，还可以用于开发 DApps（去中心化应用），是构建 DeFi（去中心化金融）的基础建设。本文主要简单讲解一下 Solodity 的语法。

对 List, Variant, Record, Tuple 的简单介绍以及用 OUnit 进行单元测试的简单介绍

OCaml 的基础语法，数值运算等等

Functor, Applicative, Monad

Applicative 处于 Functor 和 Monad 之间．其定义如下： 123456class Functor f => Applicative f where pure :: a -> f a liftA2 :: (a -...

Text 与 ByteString 由于 String 仅仅只是 [Char] 的别名，所以速度很慢．以下两种类型可以用于替代 String Data.Text 表示 a sequence of Unicode Chars Data.ByteSt...

The Monad type class is a way to represent different ways of executing recipes