首页
Python
Java
前端
数据库
Linux
Chatgpt专题
开发者工具箱
哥德专题
nonebot2插件-发送视频功能“哥德恶魔2.0“
nonebt2 可以发送视频,主要用CQ实现。看见下面这张图片了吗?最近在短视频平台很火的梗”哥德恶魔2.0“[博主深受其害],这个视频是某手短视频获取到的视频链接。是不是很帅!我将他做成QQ机器人的插件! 源代码 from nonebot import on_keyword, on_commandfrom nonebot.typing import T_Statefrom none
阅读更多...
超实数*R的坚定倡导者与实践者—哥德布拉特
世界数理逻辑领域知名社会活动家、新西兰惠灵顿(Wellington)威克/多利亚(Victory)大学数学教授,哥德布拉特(Robert Goldblatt)是超实数*R的坚定倡导者与实践者。以下是他的近照: 在上世纪70年代初期,哥德布拉特就开始了他的学术生涯,曾任新西兰数学学会的主席以及世界《形式逻辑》杂志的协调编辑等重要职务。在上世纪80至90年代,他开始
阅读更多...