D
Desvl's blog
2023-09-18
IntroductionLet $f:\mathbb{C} \to \mathbb{C}$ be a holomorphic function. By Liouville’s theorem, if $f(\mathbb{C})$ is bounded, then $f$ has to be a constant function. However, there is a much stronge…
小熊の小站
2023-09-04
数据备份和数据安全是老生常谈的话题。更多的人,是在丢失过一次数据之后才意识到数据备份的重要性。丢失数据的真实案例身边朋友丢失数据的案例其实不在少数:好友W,在学期末丢失了拍摄的图片和视频素材,花费大额资金进行数据恢复;好友Z,丢失了考研的资料,也需要花费一段时间和金钱来进行数据恢复。也有的朋友由于丢失了存储介质,甚至电脑受到物理损坏导致数据永远的丢失了。熟悉我的朋友都知道,我时不时地会在群里提醒大…
世界,你好!这里是阳帆の小站的第一篇文章
静静的小窝
2023-08-25
静静的小窝
2023-08-23
SL(2,R) is one of the most important Lie groups, especially in representation theory. In this post however, we study the very basic structure of it using Iwasawa decomposition.
静静的小窝
2023-08-22
荒妖博客
2023-08-19
1.音乐源文件由QQ音乐处下载2.音质为 臻品母带 可以拷贝到第三方音乐播放器使用请注意:音乐源文件,文件占用量大,确保有足够空间再下载。3.音乐已经由本人单曲购买,可永久下载,如果链接失效,...
静静的小窝
2023-08-19
LOGI
2023-08-16
Problem平常我们最多只写 3 重循环,比如:for (let i = 0; i < 3; i++) for (let j = 0; j < 3; j++) for (l...
Csome
2023-08-16
前言 纪念一下,打的很爽Pwn抢了4道一血,可惜最后3分钟第一被超了 Pwn srop Srop一把梭,这里要注意,跳转是PLT表的syscall函数和真实的系统调用不一样,在函数内会将rdi赋值给rax,后面的参数寄存器都要后移一位 from pwn import * context.arch = "amd64" context.log_level = 'debug' # io = proces…
本篇文章记录了博主从Debug我的世界服务器连接性问题到发现Google Public DNS故障的过程。
D
Desvl's blog
2023-08-13
IntroductionThere are a lot of important linear algebraic groups that are widely used in mathematics, physics and industry. Some of them have nice visualisations. For example, it is widely known that…
你好呀!这里是梦涵LOVE的 个人历史-总览 捏~欢迎来了解我的(黑)历史~😉🎉 最后更新:2025年10月1日 18:13 注:颜色是 这样 的表示为 新添加 或 修改后 的内容,对应后面的内容,例: 你好鸭 这是一个示例 则 “你好鸭” 以及后面的内容 “这是一个示例” 都为 新添加 或 修改后 内容 幼儿园(2013-2016) https://heyuhan.huohuo.ink/arch…
你好呀!这里是梦涵LOVE的 网络历程 捏~欢迎!😉🎉 最后更新:2025年10月1日 19:19 注:颜色是 这样 的表示为 新添加 或 修改后 的内容,对应后面的内容,例: 你好鸭 这是一个示例 则 “你好鸭” 以及后面的内容 “这是一个示例” 都为 新添加 或 修改后 内容 2019年 全年 2019年 入驻 葫芦侠!http://www.huluxia.com/ 2019年 第一次认识挂机…
Greyson Chance 2023 Beijing总结记得最早开始听,应该是在初中,从最初的No Fear到后来的最爱的Seasons。他19年来中国我是完全不知道,都是大学开班会,同学看到我头像加了我,我才知道,这次也是在她朋友圈看到了消息,哈哈哈哈,respect!这次终于赶上了! 哈哈哈哈哈哈,这次认识了好多新朋友,大家都好nice,白玫瑰小队下次又见!我甚至连之前一直在B站看的Seas…
重启Life分类-Seasons在听完GC北京场后,感触颇深,再次启动Life分类还是有必要哈哈哈! 今天写这篇博客好像也脱了很久。 【上次因为糟糕的排版删除了23年的厦门篇,Sorry,后期会补上】 同时恭喜队伍成功进入CPC2023决赛,这波是青岛见了,哈哈哈!手动撒花! 我发现有些瞬间还是必须照片或者文字记下来,不然后面真的会忘记。 立个FLAG今年在Life分类更新完23年的旅行以及这次的…
前言今年夏季的fever time主要写以机器人+美少女相关的老游戏,因为一期肯定是讲不完的,这期先介绍若干。另外,把之前放在前面的某个女性机器人(FGP13)合并到这期来。战斗机器人 2096...
闲云野鹤
2023-07-20
概览 LF Edge eKuiper 是一款可以运行在各类资源受限硬件上的轻量级物联网边缘分析、流式处理开源软 […]
We study Artin's theorem in representation theory. This post includes a (relatively more detailed) proof and an example using the dihedral group.
D
Desvl's blog
2023-07-18
IntroductionWhen studying a linear space, when some subspaces are known, we are interested in the contribution of these subspaces, by studying their sum or (inner) direct sum if possible. This philoso…
[scode type="yellow" size=""]本文其实是针对以后会讲的赛马女骑手等话题的一个铺垫文[/scode]总述参考资料:公営競技公营竞技(こうえいきょうぎ)的定义:是事业单位...
论文阅读:SUMMA:Scalable Universal Matrix Multiplication Algorithm论文链接SUMMA: Scalable Universal Matrix Multiplication Algorithm | Guide books (acm.org) 文章总结
论文阅读:Towards Efficient SpMV on Sunway Manycore Architectures文章链接:Towards Efficient SpMV on Sunway Manycore Architectures | Proceedings of the 2018 International Conference on Supercomputing (acm.org)…
LCHNAN
2023-07-05
Writen By LCHNAN / 图床来自:IMGCA 今年的第一次旅行,主打的就是一个看海。所以目的地就 […]
本文的内容是阿瑟·爱丁顿在数学协会上发表的一篇关于“宇宙的终点”的非正式讲话。发表于Nature 127, 447–453 (1931),题为《以数学物理的视角看宇宙的终点(The End of...
Hello Halo 如果你看到了这一篇文章,那么证明你已经安装成功了,感谢使用 Halo 进行创作,希望能够使用愉快。 相关链接 官网:https://halo.run 文档:https://docs.halo.run 社区:https://bbs.halo.run 主题仓库:https://halo.run/themes.html 开源地址:https://github.com/halo-de…
稀疏矩阵向量乘法在申威众核架构上的性能优化文章链接:稀疏矩阵向量乘法在申威众核架构上的性能优化 - 中国知网 (cnki.net) 文章总结固定划分方法 所有计算完再写回 子矩阵(任务)->子矩阵小块(核心计算) 将子矩阵小块中的非零元存储在一起,以适应申威处理器上的DMA操作。(Packing) 核心:寄存器通信->RMA 根据LDM大小提前计算,充分利用LDM空间,换句话说就是保证计算所需都在…
xn--bsr.cn
2023-06-25
如果不在意单日限额低的话 这张卡是现阶段发行的美国运通借记卡中使用体验最好的了 中信银行美国运通借记卡使用指北最先出现在果果小站。
nullptr是指针类型吗? nullptr是C++里预定义的一个变量,它的类型是std::nullptr_t。 判断一个类型是否是指针类型,可以用std::is_pointer来判断。 测试std::nullptr_t是否是指针类型的代码如下: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 #include myostream::ostream mycout(std::cou…
荒妖博客
2023-06-10
《一句顶一万句》中看似跌宕起伏、绕来绕去的故事, 无非是想告诉我们一个简单的道理:“一个人的孤独不是孤独,一个人找另一个人, 一句话找另一句话,才是真正的孤独。”生命本就是一场孤独的旅行, 哪怕...
面向国产申威 26010 众核处理器的 SpMV 实现与优化文章链接:面向国产申威26010众核处理器的SpMV实现与优化 - 中国知网 (cnki.net) 文章总结存储格式:CSR 数据名称定义: col:非零元的列号 data:非零元数值,连续存放 row_off:x数组,每行第一个元素前面的非零元素,最后一个rowoff代表总的非零元素 vec:计算向量 y:结果向量 rows:行号 sr…
English version is appended below企划「Arcript」官方群/Server讨论规定本规定适用于Arcript官方群的群规以及官方Discord Server的S...
Further optimizing现在我们开始以不同的方式优化1x4的情况。 我们在寄存器中存储一行k × 4矩阵B https://github.com/flame/how-to-optimize-gemm/wiki/Optimization_4x4_8 请注意,我们现在使用的常规寄存器比物理上可用的寄存器多得多…… 我们重新安排计算,以便一次计算两行4x4的C块。 Optimization_…
Blocking to maintain performance 为了保持较小问题规模的性能,我们分块矩阵C(以及相应的A和B): Optimization_4x4_11 · flame/how-to-optimize-gemm Wiki (github.com) 现在,性能得到了保持: Optimization_4x4_11我们注意到,对于迄今为止的所有优化,当涉及的矩阵比L2缓存所能容纳的矩阵…
Packing into contiguous memory 首先,我们打包A块,这样我们就可以连续地穿过它(march through it)。 Optimization_4x4_12 · flame/how-to-optimize-gemm Wiki (github.com) Optimization_4x4_13 · flame/how-to-optimize-gemm Wiki (gith…
静静的小窝
2023-06-04
Repeating the same optimizations 我们在AddDot4x4子程序中一次计算4个C元素,该子程序一次执行16个乘积: Optimization_4x4_3 · flame/how-to-optimize-gemm Wiki (github.com) 现在我们内联16个独立的内积,并将循环融合为一个,从而在一个循环中同时计算16个乘积: Optimization_4x4…
LOGI
2023-05-27
本文将介绍几种常见信息编码标准,并用 JavaScript 对其实现,包括 UTF-8,Base58, Base64, URL Encode。UTF-8在 Unicode(统一码)系统中,每个字...
It's really interesting and goes much beyond a puzzle.
D
Desvl's blog
2023-05-27
IntroductionThe classic version of Chinese remainder theorem tells us that we can find solutions out of modulus relations. You may have seen this poem when you were young.有物不知其數,三三數之剩二,五五數之剩三,七七數之剩二。問…
Computing four elements at a time 我们在子程序AddDot1x4中一次计算4个元素,该子程序一次执行4个内部乘积 Optimization_1x4_3 · flame/how-to-optimize-gemm Wiki (github.com) 现在我们内联(inline)四个独立的内积,并将循环融合为一个,从而在一个循环中同时计算四个内积: Optimizati…
Further optimizing 我们将C的元素累加到寄存器中,并使用寄存器存储a的元素 Optimization_1x4_6 · flame/how-to-optimize-gemm Wiki (github.com) 我们使用指针来定位B中的元素 Optimization_1x4_7 · flame/how-to-optimize-gemm Wiki (github.com) 我们将循环展…
荒妖博客
2023-05-20
一号图 老家 外婆家的池塘。 我在一角的拍摄。 二号图 湖南衡阳石鼓书院 一人的拍摄 三号图地址:湖南省郴州市北湖区郴江街道海泉安置小区在楼下一角的拍摄太阳落下的时候刚好拍到 四号图 深圳龙...
荒妖博客
2023-05-18
闲聊这个GBA类型的游戏。是我大概在小学时候玩的。那时候用的还是掌上游戏机,我叫做MP5。按键那时还是用的导电胶垫,所有经常坏,也换过新的游戏机,但都不耐用。我记得第一次玩,什么都不知道,瞎玩了...
说来惭愧,身为一名程序员,从业五年多,竟然最近一年才开始在开源世界为他人的项目贡献代码。 最近我在阅读一个写得很棒的开源小代码库的时候发现他有一个typo错误 (这个错误竟然已经存在了9年了都没有被发现😂,而且是一旦运行到这里就会引发Exception的), 于是动手给他改正,并提了一个 PR 给维护者(虽然不是原作者),一天后就得到回复并最终被merge了。我很开心, 至此我第二次成为他人项目的…
如何查看类型 C++的类型系统是极其复杂的,基本类型与const, volatile, 指针,引用,数组,函数,类,成员变量, 成员函数等特性的组合能生成许多不同的类型。类型推导是C++泛型编程/模版元编程的基础。 那么如何查看某个类型或变量具体是什么类型呢?我使用的方法有 C++内置的typeid boost::typeindex::type_id 猜测类型并用std::is_same校验 故意…
brealid 的小站
2023-05-12
听说你是块密码?不对,是流密码?妖孽,速速与我一战目录传送门:cryptohack 练习学习汇总(writeup index) Symmetry"This challenge introduces an unusual property of OFB."这个所谓的特殊性质就是对称性,OFB 异或 plaintext 的过程是在加密 iv(, iv+1, ...) 之后,因此是自反的,encrypt…
brealid 的小站
2023-05-11
AES 经典,权当复习目录传送门:cryptohack 练习学习汇总(writeup index) ECB CBC WTF考察 CBC 模式原理。只需要注意 CBC 事实上是在 ECB 的基础上做了一点改动(异或 iv)并且 iv 我们也都知道即可代码: cryptohack/mathematics symmetric-ciphers ECB-CBC-WTF.py ECB Oracle考虑到如果一…
brealid 的小站
2023-05-10
网页题目(喜)目录传送门:cryptohack 练习学习汇总(writeup index) Modes of Operation StarterENCRYPT_FLAG()DECRYPT(CIPHERTEXT)HEX ENCODER/DECODER Passwords as Keys不同寻常的非 nc 题,但是难度不大,只需要循环枚举即可。但是算法需要时间较长,需要耐心等待。代码: cryptoh…