摘要：
其实就是给之前的 netlify 博客加了个域名 链接 博客园也许还会随机更新． 阅读全文
posted @ 2025-08-08 10:25
383494
阅读(7)
评论(0)
推荐(0)
摘要：
欢迎找我互换友链，在各平台私信我均可 以下排名为随机. 双向友链 别问我为什么不做图片超链接，问就是 cnblogs 的图片点击放大导致无法跳转 zhanglh Orange LongLuo's Life Notes 每一天都是奇迹 Palind's Blog 单向 orz 如果您挂了我的友链可以找 阅读全文
posted @ 2024-03-16 10:12
383494
阅读(155)
评论(0)
推荐(3)
摘要：
按照 github repo 的安装方法： 先在 lakefile.lean 中加入 Lean Copilot 作为 dependency，对于 lakefile.toml，可自行查阅 github 上的 readme． package «my-package» { moreLinkArgs := 阅读全文
posted @ 2025-08-04 17:09
383494
阅读(17)
评论(0)
推荐(0)
摘要：
本以为这次装 archlinux 会很丝滑，结果并非如此． 核心系统 之前有个 U 盘刷了 ventoy，直接下载最新的 arch 镜像丢进去，启动盘制作完成． 然后就没有然后了…… can't access tty; job control turned off 界面不对？ 尝试了一下发现 arc 阅读全文
posted @ 2025-07-21 21:48
383494
阅读(26)
评论(0)
推荐(0)
摘要：
本文为 第三届你要魔怔大杯鲜花，3rd Mozheng, Big Cup of Flowers！！1 投稿作品． 书写十进制数时会用 0d 作为前缀．无特殊标记时使用 0d11 进制，用 A 代表 0d10． 本文如有任何数学上的 bug 均是作者在胡说八道，欢迎指正． 距离那事发生已经整整 10 阅读全文
posted @ 2025-07-12 20:06
383494
阅读(74)
评论(1)
推荐(0)
摘要：
突发奇想想给手机加个一言组件．搜索了一下 F-droid 和 github，现成的几个软件都不太满意． 发现手机上装的快捷方式 app（包名为 com.syyf.quickpay）支持在桌面上添加文本组件，还能用 shell 命令修改文本内容．我有一计.jpg 使用以下指令可修改此部件： am br 阅读全文
posted @ 2025-07-08 22:24
383494
阅读(30)
评论(0)
推荐(0)
摘要：
rfl 是什么 是 lean 中一个常见的 tactic（用于证明定理的策略）． lean 是什么 AlphaProof 做 IMO2024 的题目取得了相当于 Ag 的成绩．它是怎么做的？谁来检验它的解答正确性？它并不是直接像人类一样直接用自然语言输入输出，而是把题目翻译成 lean 之后再解答． 阅读全文
posted @ 2025-06-28 22:04
383494
阅读(72)
评论(0)
推荐(0)
摘要：
一路走来，我们学了什么？ 深度学习就是找一个函数，但它不能是线性的．根据应用场景不同，输入还可以是 matrix, sequence 之类的东西． 后半段还学了一些进阶主题：GAN, BERT, RL, domain adaptation, attack, explainable, network 阅读全文
posted @ 2025-06-22 19:41
383494
阅读(12)
评论(0)
推荐(0)
摘要：
要实现 metasolver 里的内层和外层 update． def MetaSolver( model, optimizer, x, n_way, k_shot, q_query, loss_fn, inner_train_step=1, inner_lr=0.4, train=True, ret 阅读全文
posted @ 2025-06-22 11:49
383494
阅读(11)
评论(0)
推荐(0)
摘要：
示例代码中需要实现 MAS． class mas(object): """ @article{aljundi2017memory, title={Memory Aware Synapses: Learning what (not) to forget}, author={Aljundi, Rahaf 阅读全文
posted @ 2025-06-21 19:37
383494
阅读(6)
评论(0)
推荐(0)
摘要：
加了随机旋转的 data augmentation： train_tfm = transforms.Compose([ transforms.RandomRotation(degrees=(-30, 30)), # ... ]) 加了几层 depthwise and pointwise convol 阅读全文
posted @ 2025-06-19 19:35
383494
阅读(9)
评论(0)
推荐(0)
浙公网安备 33010602011771号