- 2024-10-10CS224 Program Analysis@Shanghaitech 24 Fall Notes
1.IntroductionRice'sTheoremStaticAnalysisanalyzesaprogramPtoreasonaboutitsbehaviorsanddetermineswhetheritsatisfiessomepropertiesbeforerunningP.Rice'sTheorem:Anynon-trivialpropertyofthebehaviorofprogramsinare
- 2024-10-08202410-Notes for reading
TDB1.Gravityexperimentswithradiopulsarshttps://ui.adsabs.harvard.edu/abs/2024LRR....27....5F/abstract2.PhD,Porayko,NataliyaKonstantinovna_2019_ProbingtheInterstellarMediumandDarkMatterwithPulsars5.PhD,2020,NataliyaK.PoraykoProbin
- 2024-09-29听见未来：AI音乐生成，个性化音乐新体验！
音乐一直是人类文化的重要组成部分，它不仅能表达深刻的情感，还有着极高的艺术价值。随着科技的进步，尤其是人工智能技术的快速发展，AI现在已经能够参与到音乐创作中，甚至可以根据用户的需求来创作个性化的配乐。这一技术的应用非常广泛，涵盖了广告、电影、游戏等多个行业。今天我们就来
- 2024-09-19NOTES
二叉树对于任意一棵二叉树，满足度数为\(2\)的节点数是度数为叶子数量减\(1\)。一棵度数为\(k\)的树，设度数为\(1,2,3\dots\)的节点数分别为\(w_1,w_2,w_3\dots\)该树节点数为\(\sum\limits_{i-1}^kw_i\timesi+1\)。原理：一棵树的节点数量\(n\)等于所有儿子数量\(+
- 2024-09-17Based UE_Project Notes
Bookmarks书签功能：标记特定位置，快速跳转到之前标记的位置添加书签：选择你想要标记的位置，然后使用快捷键（Ctrl+1到Ctrl+9）来添加书签跳转到书签：使用相应的快捷键（1到9）可以快速跳转到已设置的书签位置管理书签：在视角中，可以找到书签管理器，允许查看和删除现有书签。显示帧率
- 2024-09-12Rando Notes #1
RandoNotes#1-2024.9.12开学后的训练强度是之前没法相比的。每天固定一场联考，除此之外还有分享和之后的联考出题，以及CF板刷2400每天的3道。这是之前在天七从来不敢想像的。以前每天过5题都觉得自己很厉害，现在题目难度稍有上升之后反而觉得每天要把8题+的内容做完
- 2024-09-07notes-rabbitmq
1什么是消息队列消息队列能够将发送方发送的信息放入队列中，当新的消息入队时，会通知接收方进行处理。一般消息发送方称为生产者，接收方称为消费者。1.1几种具体实现：RabbitMQ-性能很强，吞吐量很高，支持多种协议，集群化，消息的可靠执行特性等优势，很适合企业的开发。Kafka-提
- 2024-09-04MCTS notes
采样trajectory，从尾部到头考虑每个节点，重新计算探索它的奖励。如果是在一棵树上，我们可以在采样的时候考虑究竟是走谁。MCTS认为如果你对一个子树探索次数很多，就得给别人一些机会，即使这个子树的reward很高。我们用\(p_x\)表示\(x\)点的得分，具体式子感觉很奇怪，我不知道为什么
- 2024-09-01高效达人必备！Simple Sticky Notes让灵感与任务不再遗漏！
前言阿尔伯特·爱因斯坦所言：“我们不能用制造问题时的同一水平思维来解决它。”这句话深刻地揭示了创新与突破的必要性。正是基于这样的理念，SimpleStickyNotes这款桌面便签软件以其独特的创新视角和实用性，在众多同类软件中脱颖而出。它源自于开发团队对于高效工作与便捷生
- 2024-08-31个人成长加速器：Trilium Notes知识库构建指南
前言信息即力量，组织决定效率--这句话不仅揭示了信息在现代社会中的核心价值，也指出了有效组织信息对于提升工作效率的重要性。正是基于这样的认识，一款名为Trilium的知识管理工具应运而生，它以其独特的组织模式和强大的功能，成为了众多知识工作者和终身学习者的得力助手。它源
- 2024-08-26Typora 上传到 Github 实现笔记同步管理
首先在Github上new一个repository，我建的名称是md_notes然后在本地terminal中启动以下命令新建一个sshkey ssh-keygen-o 生成的publickey就是我们需要的东西，接着再输入catC:\Users\ASUS/.ssh/id_rsa.pub就能获取到生成的密钥复制生成的密钥（两个
- 2024-08-04Mna Notes
0716A?先考虑已知选取的线段如何算出答案：维护一个\(pos\)表示当前处理到的最右端的右端点，每次在\(pos<l\)的线段中选出\(r\)最小的一个，感性地理解这是最优的。再考虑原问题：使用DP，令\(f_{i,j}\)表示\(pos=i\)，已经选取了\(j\)条合法线段的方案数，枚举下一条选取的
- 2024-08-02ACM notes
动态规划（DP）树形DP数学位运算异或异或前缀和\(s(n)为1到n的数的异或和\)\(s(n)=\begin{cases}1,~~~n\%4==1\\0,~~~n\%4==3\\n,~~~n\%4==0\\n+1,~~~n\%4==2\\\end{cases}\)代码实现如下：autoxorprefix=[&](ll
- 2024-07-16test
▶️ ⚣ ✚ |<< ⇦ ⟳1/ ⇨ >>| ⇩svg ⇩ᯤX ⇩ᯤggbppt ⇩ 四 田 ⇈ ⇊ ↶ ✕ Help notes
- 2024-07-12Algorithm notes and references
AlgorithmnotesandreferencesVersion:2024/02/03DataStructure1.SegmentTreeBeats(segb)from题解P4314【CPU监控】-He_Ren的博客-洛谷博客(luogu.com.cn)lazytag实际上可以看作是对于该节点表示的区间的操作序列，这也是线段树的精髓所在push_down操作就
- 2024-06-23notes for llm-universe C2
基本概念PromptPrompt最初是NLP（自然语言处理）研究者为下游任务设计出来的一种任务专属的输入模板，类似于一种任务（例如：分类，聚类等）会对应一种Prompt我们每一次访问大模型的输入为一个Prompt，而大模型给我们的返回结果则被称为Completion。TemperatureLLM生成是具有随
- 2024-06-17开源复刻apple 数学笔记；纯C++实现了ChatGLM系列模型；腾讯混元文生图模型发布新版本并开源训练代码
✨1:AIMathNotesAIMathNotes是一个交互式绘图应用，可绘制并计算数学方程。AIMathNotes受到Apple在WWDC2024上的“MathNotes”演启发，开发的一个互动式绘图应用程序，用户可以在画布上绘制数学方程。一旦方程被绘制完成，应用程序将使用多模态LLM（LargeLanguageM
- 2024-05-28cfa三级大神复习经验分享系列（一）
教材还是Notes?对于愚钝如我之流，建议大家三级一定要看教材。Note很精华很浓缩，我觉得看过教材再看note感觉总结的很精辟，但是Note是以考点列的，而教材像小说一样娓娓道来，有逻辑有情节，如果不follow很难理解，或者说很难吃透里面的很多概念。我这次基本没碰notes，感觉没有大问题。
- 2024-05-20Notes: I/O Architecture and Device Drivers
I/OArchitecturebustheprimarycommunicationchannelsinsidethecomputer.Anycomputerhasasystembusthatconnectsmostoftheinternalhardwaredevices.AtypicalsystembusisthePCI(PeripheralComponentInterconnect)bus.thesamecomputerin
- 2024-05-11[code notes] check_agg_arguments
TheSQLselectsum(sum(a))frommyt1groupbya;Thisnotefocusesonlyonsum(sum(a))andit'sabouthowpostgresrejectsthesqlabove.Notessum(sum(a))|||||\_innermostargument,Varnode|\_ functioncall\_functioncal
- 2024-04-29Typora Notes
<!doctypehtml><htmlstyle='font-size:18px!important'><head><metacharset='UTF-8'><metaname='viewport'content='width=device-widthinitial-scale=1'><styletype='text/css&
- 2024-04-25NumPy 1.26 中文官方指南（四）
附加文件术语表原文：numpy.org/doc/1.26/glossary.html(n,)括号中跟着逗号的数字表示一个具有一个元素的元组。尾随逗号将一个元素元组与括号n区分开。-1在维度入口中，指示NumPy选择长度，以保持数组元素总数不变。>>>np.arange(12).reshape(4,-1).shape(4,3)在
- 2024-04-19[code notes] ecpg precompiler 1
Thisnotewillintroducetheworkflowofparse.ploftheecpgprecompiler.Runtheprecompiler:perlparse.pl.../../../backend/parser/gram.yworkflowloadecpg.addonsintoanmemoryhashtable.Thekeyiscomposedofstringliteralsfromaproduction
- 2024-04-19vitepress搭建博客
vitepress搭建博客之前使用的Hugo搭建了一个博客，感兴趣的可以看看Hugo搭建个人博客，使用了一段时间，配置完成后使用还是相对简单的，不过总感觉不够顺手，后来看到vitepress，就尝试了一下，感觉使用更顺手一些，所以打算换成vitepress，下面记录一下搭建的过程。搭建博客流程关于使用vitep
- 2024-04-15codegen的模板文件mustache中，classname，description，notes如何赋值
Swagger-codegen的模板文件mustacheSwagger-codegen是一个开源的代码生成工具，它可以根据Swagger规范自动生成客户端和服务器端代码。在使用Swagger-codegen时，我们可以通过mustache模板文件来自定义生成的代码。在这篇文章中，我们将介绍如何在mustache模板文件中给classname、descr