互联网
-
[转帖]The Lambda Calculus for Absolute Dummies (like myself)
If there is one highly underrated concept in philosophy today, it is computation . Why is it so important? Because computationalism is the new mechanism. For millennia, philosophers have struggled
- 互联网
- 2026年05月04日
-
「POJ 3666」Making the Grade 题解（两种做法）
0前言 感谢yxy童鞋的dp及暴力做法！ 1 算法标签 优先队列、dp动态规划+滚动数组优化 2 题目难度 提高/提高+ CF rating：2300 3 题面 4 分析题面 4.1 简要描述 给出数列 \(A\), 求非严格单调不上升或单调不下降, 且\(S=\sum^N_{i=1}|A_i-B_i|\) 最小的序列\(B\)，输出\(S\) 4.2 模型转换 输入\(N\),
- 互联网
- 2026年05月04日
-
「前端开发者」如何把握住「微信小程序」这波红利？
由于前两周一直在老家处理重要事情，虽然朋友圈被「微信小程序」刷爆了，但并没有时间深入了解。 昨天回广州之后，第一件事情就是把「微信小程序」相关的文章、开发文档、设计规范全部看了一遍，基本上明白了「微信小程序」是怎么回事，我关注的公众号都很看好「微信小程序」的前景。 作为一个「前端开发者」，确实觉得「微信小程序」是个不错的机会，但从哪个方向投入到这股的热潮中呢？咨询了好几位公众号的作者
- 互联网
- 2026年05月04日
-
《LoadRunner12七天速成宝典》来了
看到自己的新书又要发行了，算算从09年第一本书开始，不知不觉已经是第四本书了（帮朋友合写的书不算），每次写完之后都会说太累了，不想再写了，但是却又次次反悔，吞下食言的苦果。如果非要说第四本书的感受，那么心态上最大的区别是我不用写一本书来证明自己的技术了，而只是为了写一些观念和思想。熟悉我的朋友都知道我还是比较IN的，不太喜欢用技术去解释技术，而以前写的书总是逃不了这个套路
- 互联网
- 2026年05月04日
-
[转帖]TiDB的tikv节点的压缩算法
简介：TiDB的tikv节点实用的RocksDB，RocksDB的默认压缩算法为：[no:no:lz4:lz4:lz4:zstd:zstd] RocksDB 每一层数据的压缩方式，可选的值为：no,snappy,zlib,bzip2,lz4,lz4hc,zstd。 RocksDB6层的压缩为：[no:no:lz4:lz4:lz4:zstd:zstd] 表示 level0 和 level1 不压缩
- 互联网
- 2026年05月04日
-
『TCPIP详解——卷一：协议』读书笔记——11
2013-08-23 20:00:18 第4章 ARP：地址解析协议 4.1 引言 ARP(Address Resolution Protocol，地址解析协议)是获取物理地址的一个TCP/IP协议。物理地址就是我们通常说的MAC地址。当一台主机把以太网数据帧发送到位于同一局域网上的另一台主机时，是根据48bit的以太网地址来确定目的接口的。设备驱动程序从不检验IP数据报中的目的IP地址
- 互联网
- 2026年05月04日
-
『练手』004 Laura.SqlForever如何扩展 导航栏 工具栏 右键菜单 插件
004 Laura.SqlForever 如何扩展 导航栏 工具栏 右键菜单 插件 导航栏 插件扩展 比如下图的 窗口 > 关闭所有文档 这个导航栏； 在 任何程序集，任何命名空间，任何类名 扩展类似插件： 代码详解： 特性标签： Key： 唯一键值（同名键值 会以 Important 权重，相互覆盖） ParentKey： 父级键值
- 互联网
- 2026年05月04日
-
《OD学Sqoop》数据转换工具Sqoop
一、 第二阶段课程回顾 hadoop 2.x HDFS YARN MapReduce Zookeeper Hive 二、大数据协作框架 对日志类型的海量数据进行分析 hdfs mapreduce/hive 1. 数据来源 （1）RDBMS（Oracle、MySQL、DB2...） -> sqoop（SQL to Hadoop） （2）文件（apache
- 互联网
- 2026年05月04日
-
![[转帖]TiFlash 面向编译器的自动向量化加速](https://tidb-blog.oss-cn-beijing.aliyuncs.com/media/unnamed-1657533338052.png)
[转帖]TiFlash 面向编译器的自动向量化加速
目录 SIMD 介绍 SIMD 函数派发方案 面向编译器的优化 SIMD 介绍 SIMD 是重要的重要的程序加速手段。CMU DB 组在 Advanced Database Systems 中有专门的两个章节（vectorization-1, vectorization-2）介绍 SIMD 向量化在数据库中的应用，可见其对现代数据库系统的重要性。本文章简要介绍一些在 TiFlash
- 互联网
- 2026年05月04日
-
【.net 深呼吸】将目录树转化为文本
大伙都知道，文件系统是树形结构的，有时候我们会想到把目录的层次结构变为纯文本形式，就像这样： 有朋友可能会开始构思复杂的算法了，当然了，你如果自己能想出来并做出来，也是值得称赞的。其实，我们并不需要劳神费思地去想破脑子，因为 Windows 系统自身有一个 tree 命令，这个命令可以将指定目录以及它的子目录结构生成文本内容。 tree 命令的用法也简单，比如： tree E:\ 按回车后
- 互联网
- 2026年05月04日
![[转帖]The Lambda Calculus for Absolute Dummies (like myself)](http://1.bp.blogspot.com/-xANKvqpC-wI/T6PPichU-wI/AAAAAAAAB9k/w0emSAuMjEw/s1600/lambda1.tiff)
