csapp notes types
日期格式转换异常：Java 8 date/time type `java.time.LocalDateTime` not supported by default: add Module \"com.fasterxml.jackson.datatype:jackson-datatype-jsr310
异常信息： "unexpected error: Type definition error: [simple type, class java.time.LocalDateTime]; nested exception is com.fasterxml.jackson.databind.exc.I ......
程序的机器级表示（CSAPP Chapter 3，COD Chapter 2）
程序的机器级表示（CSAPP Chapter 3，COD Chapter 2） 0. 序言 我们首先回顾计算机执行机器代码的过程和目的。其目的在于处理数据、管理内存、读写数据、通信......。其过程大概可以这样描述：编译器以汇编代码的形式输出，它是机器代码的文本表示，给出程序中的每一条指令。然后 ......
[Typescript] Type and Interface for performance
Let's say you're creating a component that has all the props of input but needs to add a label prop. You'll need to extend from the ComponentProps typ ......
[898] Convert the data type of a DataFrame column
In Pandas, you can convert the data type of a DataFrame column to a string data type using the .astype() method. Here's how to do it: import pandas as ......
typing
https://www.cnblogs.com/poloyy/p/15170297.html Optional Optional[int] 等价于 Union[int, None] 意味着：既可以传指定的类型 int，也可以传 None Literal 一种类型，可用于向类型检查器指示相应的变量或函 ......
note 信竞中的数学
1.质数和约数 质数： 若一个正整数无法被除了 \(1\) 和它本身之外的任何自然数整除，则称该数为质数。 质数的判定： 试除法 Miller-Robbin Eratosthenes筛法 每个合数 \(a\) 一定可以写成 \(p\times x\) 的形式，其中 \(p\) 是素数，\(x\) 是 ......
notes-at-the-autumnal-equinox
秋分小记 Created: 2023-09-26T09:17+08:00 Published: 2023-10-08T19:41+08:00 Categories: Fragment Tags: Diary 目录秋天的树如果你冷Say Goodbye如此爱你姊妹日记一则（有删改）你们能做得比 Sta ......
BCEWithLogitsLoss报错RuntimeError: result type Float can't be cast to the desired output type Long
loss = F.binary_cross_entropy_with_logits(input, target) input错写成了Long类型，target错写成了Int类型 input与target需要的是float类型 ......
JavaScript Note
\[Notes \; of \; JavaScript \; Handbook \]Brief Syntax Introduction JS 是解释型语言。 解释型语言 与 编译型语言： 解释型：一行一行看，容易出错但方便，可以及时方便地找到出错位置以及出错原因，容易跨平台（可以嵌入到其他软件）。 ......
iPhone 15 Pro Max的Type-C接口有多牛？实测USB3比USB2快11倍
苹果最新的iPhone 15系列和iPhone 15 Pro系列新机，尽管两者都是Type-C接口，但速度相差20倍。 据了解，iPhone 15 Pro/Max搭载的苹果A17 Pro芯片内含专门的USB 3模块，使其成第一款具备USB 3速度的iPhone手机。 有了这个模块，iPhone 15 ......
QT5.14: 打开文件出错warning: format '%s' expects argument of type 'char*'
错误提示信息： D:\Demo\QT5.14\CH5\CH501\imgprocessor.cpp:158: warning: format '%s' expects argument of type 'char*', but argument 2 has type 'QChar*' [-Wform ......
Proj CDeepFuzz Paper Reading: NYX: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types
Abstract 背景：hypervisor(virtual machine monitor, VMM) 保障了不同虚拟机之间的安全隔离(security boundaries) 用户：攻击场景：在云服务上运行自身的VM instances, 提升权限 本文：Nyx 目的：coverage guid ......
note 线段树
适用场景：不断区间修改、区间询问。 假设我们要区间求和，\(tree\) 的含义：区间的和，其两个子节点为这个区间分为两半的和。 我们把一个数组 \(a\) 看作一颗树 \(tree\)，例： 1 1 2 3 3 3 对应的 \(tree\)（\(()\)里是编号，\([]\)里是对应的区间）： ( ......
note 糖水不等式
什么是糖水不等式？ \[\frac{a}{b}\lt \frac{a+m}{b+m} \ \ \ (m>0) \]凭直觉这个不等式当然是成立的，但数学这么严谨的东西你直觉算个姬直觉是不可靠的，那我们证明一下： 我们用改变后的浓度减去初始浓度： \[\frac{a+m}{b+m}-\frac{a}{b ......
note ODT
（珂朵莉图压压惊） 适用场景：不断区间修改、区间询问，数据随机 ODT：old driver tree（老司机树），又名珂朵莉树，是一个骗分的好东西。其内部是基于 std::set 实现的，而 std::set 是基于红黑树实现的，所以我觉得应该是算法，但是对于ODT究竟是算法还是数据结构有争议。 ......
什么是 Angular 14 的 strict typing of Angular Reactive Forms
Angular 14 引入的 "strict typing of Angular Reactive Forms" 是一项强大的功能，它进一步提高了 Angular 应用程序的类型安全性和可维护性，特别是在处理表单时。这个功能使开发人员能够更精确地定义表单控件和表单模型的类型，从而减少了潜在的运行时错 ......
什么是企业级管理软件的 Release Notes
企业级软件的 Release Note 详解 在现代商业环境中，企业级软件已经成为了组织中不可或缺的一部分。这些软件系统通常被用来管理各种业务流程，从客户关系管理到供应链管理，再到财务和人力资源管理。随着软件的不断发展和更新，确保企业级软件的正常运行变得至关重要。为了帮助用户了解每个新版本的变化和改 ......
2023年10月，红米（小米）note 8 pro 优化记
看了红米的note 13 pro和note 12 turbo的参数和价格后，我决定下单买个note8 pro的手机壳，确实有新手机的感觉了。 我note8 pro手机参数如下 MIUI 12.0.5 内存是6G 具体看下图 经过优化调整后一般还剩3G内存，文件夹存了很多图标后也不再卡了 优化步骤 下 ......
TypeError: unsupported operand type(s) for |: 'type' and 'NoneType' [duplicate]
str | None syntax is only supported in 3.10 or later. Use from typing import Optional name: Optional[str] = None For cases where the right hand side i ......
27、Type关键字
1、是什么？ type是go语法里额重要而且常用的关键字，type绝不只是对应于C/C++中的typeof。搞清楚type的使用，就容易理解Go语言中的核心概念struct、interface、函数等的作用 2、怎么玩？ (1) 定义结构体 // 使用type定义结构体 type Person st ......
a Higher Kinded Type package in TypeScript
a Higher Kinded Type package in TypeScript Weykon [一名学生](weykon.com) 关注他 展开目录 Higher-Kinded-Types-Toolbelt Higher-Kinded-Types-Toolbelt(gitee) ts-t ......
从Redmi Note 13系列发布看当前UP主身份立场
Redmi Note 13 系列发布了，不出意外，出现了很多UP主在吹捧这款手机，外观在线，有性价比，性能够用。这些UP基本都可以确定，和小米存在某种关系，要么是合作关系，要么是自来水。 Redmi Note 13 系列，有人说缺点，就一大堆人在下面攻击UP。你说是偶然吗？我不相信。Redmi No ......
ajax调用后台controller方法时报415 (Unsupported Media Type)错误
spring mvc 下，ajax调用后台controller方法时报415 (Unsupported Media Type)错误 错误：ajax的post方法调用后台controller方法时报错：415 (Unsupported Media Type)。下面是错误时的代码 前端：var url ......
微信防撤回note
附加调试，先提前把TLS的断点删掉免得混淆 找到符号 >WeChatWin.dll，在搜索 >当前区域 >字符串 右键全部断点，再删掉未撤回就断掉的 之后发消息再撤回【这里一定要对方发消息撤回！！！！】 定位到真正的revoke模块，并用；打好注释，共计8次断下 删掉全部断点，打开注释模块（创口贴旁 ......
How to fix TypeScript error: expression of type can't be used to index type All In One
How to fix TypeScript error: expression of type can't be used to index type All In One
type guard
......
Redis类型(Type)与编码(Encoding)
Redis是一款开源的高性能key-value数据库，广泛应用于各种场景。在Redis中， 数据类型（Type）和编码（Encoding） 是非常重要的概念。本篇博客将详细介绍Redis支持的数据类型以及相应的编码方式和底层实现原理。 ......
requests 响应头部转json时报错TypeError: Object of type CaseInsensitiveDict is not JSON serializable
前言 requests 响应头部在转json时，想格式化输出，结果报错TypeError: Object of type CaseInsensitiveDict is not JSON serializable 报错详情 示例代码 import requests import json # 上海悠悠 ......
Uncaught TypeError: Cannot read properties of undefined (reading 'type') from echarts
DON'T use ref or reactive to wrap the echarts instance. Use a common variable or shallowRef to avoid the deep watch for echarts instance. 不要使用 ref 或 r ......
[Ant Design Pro] a brief note when trying a frontend framework
I'm a backend developer and know little about frontend. but recently I tried a frontend building tool, Ant Design Pro. Here is an note when initiating ......