avatar
文章
67
标签
78
分类
29
主页
关于
标签
分类
归档
Cauphenuny's Blog
搜索
主页
关于
标签
分类
归档

Cauphenuny's Blog

Basics of Diffusion
发表于2025-05-03|更新于2025-06-09
Fundamentals Theorem For any distribution over (X,Y)(X,Y)(X,Y), we have argminf E∣∣f(X)−Y∣∣2=E[Y∣X]\text{argmin}_{f} \space \mathbb{E} ||f(X)-Y||^2=\mathbb{E}[Y|X] argminf​ E∣∣f(X)−Y∣∣2=E[Y∣X] Proof argmin⁡ fE∣∣f(x)−y∣∣2=argmin⁡ fE∣∣f(x)−y∣∣2=argmin⁡ fEXEY∣X[f(x)−Y∣X=x]2=argmin⁡ f(x)EX[f(x)2−2f(x)EY∣X(Y∣X=x)+EY∣X(Y∣X=x)2]=EX(argmin⁡ f(x)f(x)2−2f(x)EY∣X(Y∣X=x)+EY∣X(Y∣X=x)2)\begin{aligned} &\mathop{\operatorname{argmin}\,}_{f} \mathbb{E} \lvert \lvert f(x)-y \rvert \rvert...
计组实验笔记
发表于2025-04-11|更新于2025-05-12|CS•System•verilog
记录一些踩到了的坑,或者一些有趣的东西。 ALU 考虑如下的两组代码: 12345wire is_sub = ALUop[1] & (ALUop[0] | ALUop[2]); // SUB, SLT, SLTUwire [N-1:0] b_convert = is_sub ? ~B : B;wire [N-1:0] arith_result;assign {CarryOut, arith_result} = A + b_convert + is_sub; 123wire is_sub = ALUop[1] & (ALUop[0] | ALUop[2]); // SUB, SLT, SLTUwire [N-1:0] arith_result;assign {CarryOut, arith_result} = A + (is_sub ? ~B : B) + is_sub; 是不是几乎一模一样?但执行结果是不一样的 1234# 第一个输出ERROR: A = 5ae0ff31, B =...
在 arm host 上使用 gdb 调试 amd64 程序
发表于2025-04-08|更新于2025-04-08|gdb•arm•env
非原创 解决方案来源 在 Docker run 中加入 --cap-add=SYS_PTRACE --security-opt seccomp=unconfined 创建一个/usr/local/bin/gdb,因为PATH中/usr/local/bin比较靠前,会比/usr/bin/gdb先被找到 1234567891011121314151617181920#!/bin/bashSCRIPT_DIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )if [ "$#" != "1" ]; then echo "Usage: $0 <path/to/program to debug>" >&2 exit 1fiprog="$1"# Start program in...
brainfuck 代码生成工具 - 将C代码编译到brainfuck
发表于2024-11-22|更新于2025-04-07|CS编译原理|CS•编译原理•Compiler•C++•cpp•C•brainfuck
最近在做一个编译原理lab ☝️🤓诶,我已经有结构化的AST和IR了,岂不是能不太费劲地地写出一些有意思的东西? 就这样一拍脑袋给编译器加了个brainfuck后端 由于还没想好怎么实现栈,现在所有变量都是static的,也不支持递归函数调用 demo 12345678910/// file: test/int_size.cint main() { int bit = 0; int v = 1; while (v) { v = v * 2; bit = bit + 1; } return bit;} 1234567891011121314$ build/compiler -brainz...
给C++实现一个模式匹配
发表于2024-11-08|更新于2024-11-20|CScpp|CS•cpp
没用的小玩具
Xcode CLT 一个有意思的机制
发表于2024-07-05|更新于2024-11-20|CSenv|CS•Linux•Mac•软链接•Xcode•环境•clang•llvm
最近觉得终端里面输 python 出来的竟然是 python2 很不爽,然后就想用个软链接把 /usr/local/bin/python 指到 /usr/local/bin/python3。 1$ sudo ln -s /usr/local/bin/python3 /usr/local/bin/python 完事,然后: 好怪哦 弄了半天不知道怎么回事,最后群里问了问,有大佬解释是这个 Xcode CommandLine Tools 提供的 python 会根据传入的程序名称决定行为,argv[0] 是 python 就当 python2 执行 软链接没问题,文件确实是一样的 换个名字就执行不了了 其实我应该自己早点发现这个问题的,之前刷知乎刷到过 clang/clang++ 也是一样的原理,共用一个执行文件,根据传入的 argv[0] 决定是否链接 libc++ 库等 还是没想到这里去 最后用了个 alias ,不折腾软链接了 最后还是用上了 conda 管理环境,删掉了 /usr/local/bin 里面的python/pip等。 等等…… 啊? 所以...
从零开始打造一个原琴模拟器
发表于2024-06-14|更新于2024-06-28|CS计科导|CS•HTML•JavaScript
计科导大作业 试玩链接: 原琴模拟器 6.14 音色库来源:@Colalala_冰阔落落落 试了半天,发现没法正常播放这个风物之诗琴的音源,决定先用 smplr 默认的钢琴音源把别的写了。 写好了键盘演奏函数、谱子 parser 以及自动播放功能。 version 0.1.0 6.15 加入 [] {} 表示时值变化。 添加临时升降记号 -/+ 以及临时高/低八度记号。 重写了教程 version 0.3.0 6.16 添加了固定调转调方式,更适合对着五线谱演奏。 version 0.4.0 6.17 优化了调号显示。 version 0.4.4 加了个键盘,可以看到哪些音被按下了。 version 0.5.4 把自动演奏和按键动画连接了起来。 version 0.6.0 加了个加载时的提示悬浮窗 version 0.6.1 6.18 重构了代码 version 0.7.0 给按钮加了点阴影,感谢Box-Shadow CSS Generator以及用filter: drop-shadow()给透明图片添加阴影 version 0.7.1 遇到了个...
C++20 新特性试玩:concept
发表于2024-04-19|更新于2024-11-20|CScpp|CS•C++
定义 concept 12template<typename T>concept c = (bool_expression); requires(args) {...} 可以作为一个 bool 表达式,检查大括号中内容是否编译通过 e.g. 12template <typename T>concept printable = requires(std::ostream& os, T a) { os << a; }; requires 字句也能嵌套,这样就不用把两个无关的条件参数写到同一个括号里面。 12template <typename T>concept Field = <concepts> 头文件内有一些预定义的...
图灵加法器
发表于2024-04-12|更新于2024-06-14|CS计科导|CS
题目:loj6572, loj6573, loj6574 主要写一下 t3 一开始本人的思路是先把一个数前后颠倒地放到等号后面,再加上另一个数,最后把求得的和正过来,写了约 90 行。 小组讨论一会后发现这个取反操作挺没必要的,直接把第二个数加到第一个数上就行。 如何处理进位问题? 每次从第二个数那里取一位加至第一个数的时候将一个 0/1 转换为 a/b,相当于打上 “计算完毕”...
月度总结
发表于2024-04-02|更新于2024-04-02
2024 年 3 月 屁事没干,破防了 对比一下
12…7
avatar
Cauphenuny
文章
67
标签
78
分类
29
Follow Me
最新文章
Basics of Diffusion2025-05-03
计组实验笔记2025-04-11
在 arm host 上使用 gdb 调试 amd64 程序2025-04-08
brainfuck 代码生成工具 - 将C代码编译到brainfuck2024-11-22
给C++实现一个模式匹配2024-11-08
最新评论
加载中...
分类
  • CS6
    • cpp2
    • env1
    • 编译原理1
    • 计科导2
  • oi50
    • 学习笔记18
      • dp2
标签
JavaScript 圆反演 编译原理 gdb 计算几何 欧拉公式 bitset 数学 poly env 树的重心 图论 三角剖分 四边形不等式 clang 分块 平衡树 凸壳 SAM 区间dp vim FWT 线段树 三元环计数 数学分析 软链接 C HNOI2021 Mac 数据结构 CS Bézout定理 树形dp 卷积 换根 dp 莫比乌斯反演 脚本 势能分析 brainfuck C++
归档
  • 五月 2025 1
  • 四月 2025 2
  • 十一月 2024 2
  • 七月 2024 1
  • 六月 2024 1
  • 四月 2024 3
  • 一月 2024 2
  • 十二月 2023 2
网站信息
文章数目 :
67
本站总字数 :
84k
本站访客数 :
本站总浏览量 :
最后更新时间 :
©2020 - 2025 By Cauphenuny
框架 Hexo|主题 Butterfly
搜索
数据加载中