唠唠闲话

Hi there 👋

博客定位是 数学 & 编程,这里是置顶博客,整理已写的文章和想写的话题,欢迎评论交流~


文章导引

编程实战

服务器 & 开发

GPT 系列

Nginx

Docker 实战

GSOC/OSPP 项目

Julia 学习笔记

数据结构

形式证明

量子系列

Git 和 Git 学习笔记

博客教程合集


内容规划

理想很丰满,现实很骨干。想做的东西很多,闲了就来把这节的东西清掉一些吧~~

待修改

  1. vscode 使用技巧:整理好用,必备的拓展。
  2. Lean 简介:关于机器证明的介绍
  3. git submodule:扩写,或者合并到另一篇里
  4. 博客教程合集:最初写的几篇文章逻辑较乱,找时间整理成系列

计划写

单篇博客

  1. 富文本rich:Markdown 文件转富文本,通过粘贴在知乎同步博客

  2. jQuery 使用教程:图片置后加载,参考guole 的博客;以及 html 嵌入 html,参考 SE,方便在博客中插入动图,特殊 html 样式

  3. 个人直连盘:SharePoint参考网站,七牛云每月免费空间有限

  4. 个人同步盘,简书:坚果云同步流量有限,借助个人服务器搭建一个同步盘

  5. 在线编程:比如运行 Python

  6. 封面图床:标题图不指定时,从图库中随机抓取

  7. 网站小游戏:比如这里,偶尔娱乐一下

  8. manim 使用教程:3B1B 开发的动画 Demo 神器,汇报可用。

  9. 谷歌拓展,自动化神器:Automa,能否用来做签到任务吗?

系列博客

  1. 量子系列:

    • 傅里叶变换,离散傅里叶,快速傅里叶;量子积分变换,量子傅里叶变换;
    • Deutsch Josza 算法;Grover 算法;
    • 公钥系统:RSA,离散对数,椭圆曲线
    • Shor 算法
    • EPR 悖论
    • Quirk,qikskit,Yao 用法,IBM 量子计算机
    • Nakahara 第一部分余下内容:退相干与量子纠缠
  2. Julia 系列

    • 多线程
  3. 代数编程系列,前沿应用参考这篇推送

    • 高维仿射李代数的图自同构公式
    • Coxeter 群的几何定义及可视化
    • Coxeter 群的组合性质
    • Hecke 代数基础知识,Kazhdan-Lustig 多项式的算法
    • 代数编程概述,相关软件介绍