2023-05-20 收到小米平板，感觉很好

剑桥English in use 系列图书

Recamán’s sequence Sound representation This is not a permutation of the integers: the first repeated term is {\displaystyle 42=a_{24}=a_{20}}.[7] Another one is {\displaystyle 43=a_{18}=a_{26}}. Neil Sloane has conjectured that every number eventually appears,but it has not been proved. Even though 10＃230 terms have been calculated (in 2018), the number 852,655 has not appeared on the list.

https://github.com/mushan0x0/AI0x0.com
一个多模态多模型通用型的全能 AI 查询生成桌面悬浮助手应用

2023-07-17

青岛航母基地位于山东省青岛市黄岛区小口子港，在利根湾沿岸古镇口岸的东部地区，是我国北方海军的重要基地。

它的占地面积有10.7平方公里，相当于1500个足球场。它的水域面积有3.9平方公里，建有三段防波堤和多座突堤码头，能够提供30个泊位，可同时停泊10多艘导弹驱逐舰和一艘航空母舰。

2023-07-18

Of course, P3 is not an induced subgraph of K3, though:

k3 = graphs.CompleteGraph(3); p3 = graphs.PathGraph(3)
k3.relabel(list('abc'))
k3.subgraph_search(p3, induced=True) is None
#True

The genus of a graph is the minimal integer n such that the graph can be drawn without crossing itself on a sphere with n handles (i.e. an oriented surface of the genus n). Thus, a planar graph has genus 0, because it can be drawn on a sphere without self-crossing.

The smallest cubic graphs with crossing numbers 1–8 and 11 are known (sequence A110507 in the OEIS). The smallest 1-crossing cubic graph is the complete bipartite graph K3,3, with 6 vertices. The smallest 2-crossing cubic graph is the Petersen graph, with 10 vertices. The smallest 3-crossing cubic graph is the Heawood graph, with 14 vertices. The smallest 4-crossing cubic graph is the Möbius-Kantor graph, with 16 vertices. The smallest 5-crossing cubic graph is the Pappus graph, with 18 vertices. The smallest 6-crossing cubic graph is the Desargues graph, with 20 vertices. None of the four 7-crossing cubic graphs, with 22 vertices, are well known.[14] The smallest 8-crossing cubic graphs include the Nauru graph and the McGee graph or (3,7)-cage graph, with 24 vertices.[15] The smallest 11-crossing cubic graphs include the Coxeter graph with 28 vertices.[16]

In 2009, Pegg and Exoo conjectured that the smallest cubic graph with crossing number 13 is the Tutte–Coxeter graph and the smallest cubic graph with crossing number 170 is the Tutte 12-cage.[15][17]

There has been much research on Hamiltonicity of cubic graphs. In 1880, P.G. Tait conjectured that every cubic polyhedral graph has a Hamiltonian circuit. William Thomas Tutte provided a counter-example to Tait’s conjecture, the 46-vertex Tutte graph, in 1946. In 1971, Tutte conjectured that all bicubic graphs are Hamiltonian. However, Joseph Horton provided a counterexample on 96 vertices, the Horton graph.[7] Later, Mark Ellingham constructed two more counterexamples: the Ellingham–Horton graphs.[8][9] Barnette’s conjecture, a still-open combination of Tait’s and Tutte’s conjecture, states that every bicubic polyhedral graph is Hamiltonian. When a cubic graph is Hamiltonian, LCF notation allows it to be represented concisely.

2023-07-19

清华大学出版社-图书详情-《人工智能的数学基础》

拉斯维加斯巨型球

极摩客今日发布了全新的K3 Pro迷你主机，该主机搭载英特尔i7-12650H处理器，标配24GB内存的准系统售价为2599元，再加1TB SSD首发定价2799元。

人生九不争 跟父母，不争口舌。 跟朋友，不争面子。 跟领导，不争高低。 跟小人，不争道理。 跟伴侣，不争对错。 跟亲戚，不争穷富。 跟贵人，不争名利。 跟孩子，不争脾气。 跟自己，不争得失。

阿里推出了一款集成AI功能的免费的多数据库客户端工具—Chat2DB。可以彻底抛弃navicat和dbeaver了。git上面的地址是：https://github.com/chat2db/Chat2DB

Gauss-Bonnet formula 高斯一波涅公式

2023-07-28

高中作文是很多人的一大难关，在我看来，写作技巧就是多写、多练、多思考。我认为作文有这么四个标准：

一文采：纵横捭阖、豪放不羁、辞藻华美、缱绻旖旎、甚至平淡朴实，只要语句通顺，风格鲜明，皆可体现文采； 二结构：逻辑严密、详略得当、错落有致、层次鲜明，可一眼看出清晰的行文脉络； 三内容：素材丰富、引例得当、语言简练，使文章充实丰富不干瘪，简洁明快不拖拉； 四思想：忧国伤时、针砭时弊、哲理思辨、叩问人生，这需要丰厚的积累和深入的思考。

块垒生而气不平，气不平而风生。人之志如风，起于青萍之末，却常止于草莽之间。

《诗》云：“靡不有初，鲜克有终”。故莫要一鼓作气再衰三竭，当有恒心毅力，须知飞瀑之下，必有深潭。一曝十寒，易生之物弗长；揠苗助长，良苗成槁也。

https://ocw.mit.edu/ https://news.mit.edu/2023/gilbert-strang-made-linear-algebra-fun-0531

https://www.sciencemag.org/ https://www.nature.com/ https://www.sciencedirect.com/ https://onlinelibrary.wiley.com/ http://www.chinaxiv.org/home.htm 中科院科技论文预发布 ais.cn Tex live 2023

https://media.mit.edu/ mit媒体实验室

https://xueqiu.com/ 聪明的投资者都在这里

唯一不变的是变化本身。 最近三年，福布斯中国最佳CEO榜单的更迭频率远高于2020年之前。今年，仅有10位CEO成为连续入围者。如果将时间线拉长到过去三年，则仅有比亚迪、宁德时代与汇川技术三家公司的CEO依靠稳定的评分保持连胜。

比亚迪的成功很容易让人联想到1955年的丰田（Toyota）。

此外，在今年的名单中，互联网公司CEO大面积缺席的情况有所改善。2020年，黄峥离开拼多多。此后，陈磊与赵佳臻帮助公司应对疫情冲击，实现全球化突围，带领拼多多向高质量发展转型。他们两位也成为今年榜单中排名最高的互联网公司CEO，并列第三。

如果人类未来真的成为了硅基生命的垫脚石，那么再回看叶凌瀚的《LUCY》系列作品会发现，他记录了一批“猴子”开始直立行走过程。 本文为福布斯中文网版权所有，未经允许不得转载。如需转载请联系wechat@forbeschina.com

微软 Edge 浏览器发布了一则介绍名为“Edgehog”的小刺猬的视频推文。在视频中，这只名为“Edgehog”的小刺猬在笔记本电脑的键盘上来回走动。

距离 ChatGLM2 系列模型发布已有月余。日前，GLM 技术团队公布了 ChatGLM2-12B 在部分中英文典型数据集上的评测效果，数据集包括 MMLU(英文)、C-Eval(中文)、GSM8K(数学) 和 BBH(英文) 等。

什么是 .bit ？ .bit 是 Web 3.0 中的跨链去中心化身份 (DID) 系统，支持任意公链管理。它可以被用作是数字资产统一的收款账户，搭建个人的多链 NFT 展览馆/个人商店，DApp 中通用的用户名， 访问一般互联网服务的账户使用等等。现已被 Web3 广泛使用和认可，被众多主流钱包和应用所集成。前往 DID.ID 68 查看 .bit 数据。

NFT的全称是Non-Fungible Tokens，中文常翻译为“不可同质化代币/不可替代代币”。简单地说，NFT是区块链的一个条目，而区块链是类似于比特币等加密货币的去中心化数字账本技术。 因为NFT不可替代的特性，这意味着它可以用来代表独一无二的东西，比如博物馆里的蒙娜丽莎原画，或者一块土地的所有权。

https://github.com/mouse484/jupyterlab-gitpod

Chat2DB 是一款有开源免费的多数据库客户端工具，支持windows、mac本地安装，也支持服务器端部署，web网页访问。阿里出品。和传统的数据库客户端软件Navicat、DBeaver 相比Chat2DB集成了AIGC的能力，能够将自然语言转换为SQL，也可以将SQL转换为自然语言

moviepy​ 是一个 Python 库，用于视频编辑和处理。

LiteDB是类似于MongoDB的轻量级嵌入式数据库。它完全使用C#开发。

win12网页版网址：http://www.does5.cn/