读天才与算法：人脑与AI的数学思维笔记20_数学图灵测试
1. 数学图灵测试 1.1. 能不能将这种计算机证明语言翻译成易于与人交流的方式呢？ 1.1.1. 剑桥大学的两位数学家蒂莫西·高尔斯（Timothy Gowers）和莫汉·加内萨林加姆（Mohan Ganesalingam）开展了此项研究 1.1.1.1. 他们决定一起组建团队，创建一个能够生成人 ...
命令行程序运行中 cargo run -- 中的 -- 是何意
在命令行程序中， cargo run -- 中的 -- 是一个特殊的标记，它用于将后面的参数传递给要运行的程序本身，而不是被 cargo run 命令解析。 我们知道 cargo run 命令是用于编译 Rust 程序并立即运行生成的可执行文件。但是，如果我们想要在运行可执行文件时传递一些参数给它， ...
史上最全的Shell指南
0 史上最全的Shell指南 ps: 你不会在第二个地方找到这么全的指南 1 shell简介 1.1 核心命令 1.1.1 筛选信息 shell快捷键 快捷键符号 命令执行： !! 执行上一条命令 !num 执行历史命令中的第num行命令 Ctrl 关键字 执行内容匹配的命令 命令行切换 Ctrl ...
红日ATT&CK系列靶场1
红日ATT&CK系列靶场1 靶场搭建 我没有使用NAT模式进行搭建靶机（我环境可能有问题），我使用的是桥接模式 win7主机网络配置 一张网卡配的是桥接，一张是仅主机模式 Win2K3 Metasploitable和Windows Server 2008 R2 x64都是一张仅主机网卡 我的IP配置 ...
232自由口转Profinet网关接AB扫码枪与PLC通讯案例
232自由口转Profinet网关(XD-PNR100/300)，是一种用于将自由协议转换为Profinet协议的设备，可以实现不同网络之间的通信和数据交换。232自由口转Profinet网关高度的灵活性和可靠性使其成为工业自动化领域的重要工具，并将其与Profinet网络无缝集成，实现数据的快速传... ...
Codeforces Round 941 (Div. 2) Div 1 cf941 A-D
A 感觉A比较复杂啊，相比较B简单明了。 way1 只要有相同的一个数，它的数目大于等于k，那么它就可以进行一次操作，接下来可以再摸k-1个数，那么对于无法凑成k个数的数字来说，无论现在它有多少个数(>=1)，加上这k-1个数，都能凑成数目>=k。同时，这个操作可以无限循环下去。 所以这道题的出题设 ...
深入探究C++ 类成员（Class Members）
一、定义 在class的声明里头，真正有用的两样东西是data members 和 member functions： Data members：表示根据这个class所产生的object里头会有些什么东西，它事实上也是占据object内存的唯一东西（除非引入虚拟机制）。通常为数据的封装性，我们把d ...
《自动机理论、语言和计算导论》阅读笔记：p428-p525
《自动机理论、语言和计算导论》学习第 14 天，p428-p525总结，总计 98 页。 一、技术总结 1.Kruskal's algorithm(克鲁斯克尔算法) 2.NP-Complete Problems p434, We say L is NP-complete if the followi ...
[每日AI·0506]巴菲特谈 AI，李飞飞创业，苹果或将推出 AI 功能，ChatGPT 版搜索引擎
AI 资讯 苹果或将推出 AI 功能，随 iPhone 发布 2024 年巴菲特股东大会，巴菲特将 AI 类比为核技术 巴菲特股东大会 5 万字实录 消息称 OpenAI 将于 5 月 9 日发布 ChatGPT 版搜索引擎 路透社消息，斯坦福大学 AI 领军人物李飞飞打造“空间智能”创业公司 报道 ...
一些可用于研究的GIS数据资源
国内的情况就不用说了，基本上是很难找到可以用于研究的GIS数据资源的。要么就是收费，免费的即使能找到，能否合法合规的进行使用也是一个问题。地理信息数据还是国外比较开放一些，相当多的政府组织或者公益机构对公众开放了下载渠道，大家可以适度获取并进行研究。 USGS 美国地质勘探局（United Stat ...
mysql安装使用教程
一、下载mysql安装包 官网：https://dev.mysql.com/downloads/mysql/ 默认会跳转到最新版本的下载页面，也可以在旧版本集中选择需要安装的版本。 MSI Installer是安装程序，ZIP Archive是压缩包形式。 二、安装mysql MSI安装程序会有图形 ...
0506C语言练习：字符串A中删除字符串B中所有相同字母等
字符串A中删除字符串B中所有相同字母（无论大小写） /** * @func: 字符串A中删除字符串B中所有相同字母（无论大小写） * @date 2024/05/06 * @version 1.0 ：版本 * CopyRight (c) 2023-2024 ni456xinmie@163.com A ...
「实用」这几个写注释的方法，你一定要看一看
前言 大家好，我是Charzie，欢迎来到我的博客，今天这篇文章，我门来谈一谈如何写C++的注释以及应该避免那些写注释的方法 C++注释详解 在C++编程中，注释是一个非常重要的工具，它可以帮助我们理解代码的功能、逻辑和目的。通过添加注释，我们可以让其他开发者更容易地阅读和理解我们的代码，也可以在我 ...
更优性能与性价比，从自建 ELK 迁移到 SLS 开始
背景 ELK (Elasticsearch、Logstash、Kibana) 是当下开源领域主流的日志解决方案，在可观测场景下有比较广泛的应用。 随着数字化进程加速，机器数据日志增加，自建 ELK 在面临大规模数据、查询性能等方面有较多问题和挑战。如何解决可观测数据的低成本、高可用是一个新的话题。 ...
云渲染实施记录（已经跑通）
大家好，本文记录了尝试跑通云渲染的过程，已经跑通了，也有了未来方向 目录基本原理1.租GPU服务器2.部署到云渲染平台未来方向更多参考资料 相关文章： 数字孪生云渲染整体架构设计 本文尝试把基于WebGPU-Node的路径追踪渲染器部署到云端，以云渲染/云游戏的方式 渲染到客户端，从而实现在手机上也 ...
说说你对盒子模型的理解?
一、是什么 当对一个文档进行布局（layout）的时候，浏览器的渲染引擎会根据标准之一的 CSS 基础框盒模型（CSS basic box model），将所有元素表示为一个个矩形的盒子（box） 一个盒子由四个部分组成：content、padding、border、margin content，即 ...
Nftables漏洞原理分析（CVE-2022-32250）
在nftales中存在着集合(sets)，用于存储唯一值的集合。sets 提供了高效地检查一个元素是否存在于集合中的机制，它可以用于各种网络过滤和转发规则。而CVE-2022-32250漏洞则是由于nftables在处理set时存在uaf的漏洞。 ...
班级擂台（光荣）榜 - 极简教育小工具
擂台（光荣）榜是一款高效的工具，能够迅速展示学生在各个时期的总得分排名。用户可以根据左上角的日期搜索特定时间段内班级学生的排名，也可以根据右上角的“本周”、“上周”、“本月”和“上月”快速定位近期学生的综合名次。在主界面的左侧，系统会自动汇总各小组成员的得分，并展示得分前三名的小组。右侧部分则主要是 ...
基于LangChain-Chatchat实现的本地知识库的问答应用-快速上手（检索增强生成(RAG)大模型）
基于LangChain-Chatchat实现的本地知识库的问答应用-快速上手（检索增强生成(RAG)大模型） 基于 ChatGLM 等大语言模型与 Langchain 等应用框架实现，开源、可离线部署的检索增强生成(RAG)大模型知识库项目。 1.介绍 一种利用 langchain思想实现的基于本地 ...
《深度学习原理与Pytorch实战》（第二版）（三）11-15章
第11章 神经机器翻译器——端到端机器翻译 神经机器翻译，google旗下的NMT 编码-解码模型：用编码器和解码器组成一个翻译机，先用编码器将源信息编码为内部状态，再通过解码器将内部状态解码为目标语言。编码过程对应了阅读源语言句子的过程，解码过程对应了将其重组为目标语言的过程——对应“翻译”的过程 ...
