1024字节read
Proj CDeepFuzz Paper Reading: Natural attack for pre-trained models of code
## Abstract 背景：目前大多数的adversarial attack method on pre-trained models of code忽略了perturbations should be natural to human judges(naturalness requirement ......
Proj CDeepFuzz Paper Reading: COMET: Coverage-guided Model Generation For Deep Learning Library Testing
## Abstract 背景：已有的方法(Muffin, Lemon, Cradle) can cover at most 34.1% layer inputs, 25.9% layer parameter values, and 15.6% layer sequences. 本文：COMET Gi ......
Proj CDeepFuzz Paper Reading: IvySyn: Automated Vulnerability Discovery in Deep Learning Frameworks
## Abstract 本文：IvySyn Task: discover memory error vulnerabilities in DL frameworks BugType: memory safety errors, fatal runtime errors Method: 1. 利用na ......
MAPF Paper Reading Note
随便写写记录一下 ## 1. 2005-Cooperative Pathfinding ### 1.1. LRA* local repair A* - 依次做A* - 即将开始碰撞时，replan - a general replan solution: 每次重规划时，新增noise，按照比例加入$ ......
Proj CDeepFuzz Paper Reading: Invariance-inducing regularization using worst-case transformations suffices to boost accuracy and spatial robustness
## Abstract 本文： Task: 1. prove invariance-inducing regularizers can increase predictive accuracy for worst-case spatial transformations 2. prove that ......
Proj CDeepFuzz Paper Reading: Framework for Evaluating Faithfulness of Local Explanations
## Abstract 本文: Task: 1. study the faithfulness of an explanation system to the underlying prediction model on consistency and sufficiency 2. introduc ......
计算机的 bit（比特）和Byte（字节）
我们来说说和数据有关的单位 bit 和 Byte。 在说这这个数据当我之前，大家应该都知道计算机实际上只能处理0和1。 计算机能够把0和1转换为电路中的信号来进行计算，这个其实就是计算机的本质。 单位定义 我们先对需要使用的单位进行一些定义。 bit（比特） bit 就是计算机对数据存储和移动的最小 ......
Proj CDeepFuzz Paper Reading: Differential Testing of Cross Deep Learning Framework APIs: Revealing Inconsistencies and Vulnerabilities
## Abstract 背景：目前对cross-framework conversion中的inconsistencies和security bugs的研究少有 本文：TensorScope Task: test cross-frame APIs in Machine Learning Librar ......
Proj CDeepFuzz Paper Reading: DeepTest: automated testing of deep-neural-network-driven autonomous cars
## Abstract 本文: DeepTest Task: a systematic testing tool for DNN-driven vehicles Method: 1. generated test cases with real-world changes like rain, fo ......
Proj CDeepFuzz Paper Reading: DeepGauge: multi-granularity testing criteria for deep learning systems
## Abstract 本文: DeepGauge Task: provide multi-granularity testing criteria for DL systems Method: multi-granularity testing criteria for DL systems: 1 ......
Proj CDeepFuzz Paper Reading: Combinatorial Testing for Deep Learning Systems
## Abstract 本文：DeepCT Task: Testing DL Models with Combinatorial Testing Method: 1. 将输出值的空间离散化为区间，以便覆盖每个区间,对不同层内的神经元交互进⾏采样，并减少必须执⾏的测试输⼊的数量。 2. a set o ......
Proj CDeepFuzz Paper Reading: Automatic differentiation in PyTorch
## Abstract 本文：描述automatic differentiation module of PyTorch 包括：Lua Torch, Chainer, HIPS Autograd Task: Provides a high-performance environment on dif ......
字节青训营 x ShowMeBug：项目实战，弥补学用鸿沟
近期，ShowMeBug 与字节青训营联合举办针对技术人群的培训实践活动，该活动目前正如火如荼地进行中，并即将迎来尾声。 这是一次理念相契的合作。 字节青训营是稀土掘金社区发起的技术培训和人才选拔项目，面向在校大学生，旨在培养优秀且具有职业竞争力的开发工程师。在传统的教育视角中，知识被定义为事实和过 ......
Further reading: Theory of computation
找了些：https://en.wikipedia.org/wiki/Theory_of_computation 提到的书籍： Textbooks aimed at computer scientists (There are many textbooks in this area; this lis ......
Got fatal error 1236 from master when reading data from binary log: 'Client requested master to start replication from position > file size', Error_code: 1236
MySQL主从复制报错，MySQL主主复制结构，MySQL版本5.7.32 2023-08-31T09:08:29.316553+08:00 1 [ERROR] Error reading packet from server for channel '': Client requested mas ......
Proj CDeepFuzz Paper Reading: ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
## Abstract Github: https://github.com/shijy16/ACETest 背景： 1. DL operators 用来计算多维tensors，很重要 本文：ACETest Task: automatically extract input validation c ......
Proj CDeepFuzz Paper Reading: AutoML: A survey of the state-of-the-art
## Abstract Github: https://github.com/marsggbo/automl_a_survey_of_state_of_the_art 本文： 1. intro AutoML methods: data preparation, feature engineering ......
【CF1374E1】Reading Books (easy version)（贪心）
**题目大意：** 给出$n(1\le n\le2\times 10^{5})$个三元组$(t,a,b)(0\le a,b\le 1)$，选出其中任意个，使得被选中的元素$a$、$b$的总和均为$k$，求$t$总和的最小值 *** 因为被选中的元素$a$、$b$的总和均为$k$，所以被选中的三元组中 ......
Proj CDeepFuzz Paper Reading: Aries: Efficient Testing of Deep Neural Networks via Labeling-Free Accuracy Estimation
## Abstract 背景： 1. the de facto standard to assess the quality of DNNs in the industry is to check their performance (accuracy) on a collected set of ......
Proj CDeepFuzz Paper Reading: An Extensive Study on Pre-trained Models for Program Understanding and Generation
## Abstract ## 1. Intro ## 2. Background ### 2.1 Program Understanding and Generation Tasks ### 2.2 NL-PL Pre-Trained Models ; ``` 函数原型为：ssize_t read(int fd, void *buf, size_t count); ......
Cannot read property 'clearValidate' of undefined
Cannot read property 'clearValidate' of undefined  这个错误是因 ......
PacBio long read error correction
PacBio长读错误校正算法有多种，每种算法都具有各自的优点和缺点。以下是常用的几种算法及其特点： Pacific Biosciences (PacBio) SMRT Analysis软件套件： - 优点：PacBio提供了一套完整的错误校正工具，包括PacBioToCA、Quiver、Arrow等 ......
Long-read error correction: a survey and qualitative comparison (长读错误纠正：一项调查和定性比较)
Basic Information: Title: Long-read error correction: a survey and qualitative comparison (长读错误纠正：一项调查和定性比较) Authors: Pierre Morisse, Thierry Lecroq, ......
OpenJDK17.0.8字节码解读样例
因为JDK17将会成为未来5至10年里Java应用的主流JDK，刚好闲着没事，就想着将《深入理解Java虚拟机》一书中关于字节码的解读样例在OpenJDK17.0.8上看看变化有多大！ 先把实验环境说明一下： OS：Windows 10 专业版 22H2 JDK：openjdk version "1 ......