Some cool geekish things

前言 最近，ChatGPT 很火爆。突发奇想，让 ChatGPT 设计了一款编程语言 FuncFlow。以下是对话记录。 对话记录 设计一款函数式编程语言。让我们从命名开始。取个什么名字好呢？ 首先，如果你想要为你的函数式编程语言取个名字，那么你可以考虑一些能够清晰地表示函数式编程语言特点的名字。例如，你可以考虑取一个具有数学意义的名字，比如“Lambda”，“Omega”或“Sigma”等，因为函数式编程语言有许多与数学函数相关的概念，而这些名字都能够很好地体现出这些概念。...

都什么年代，还在使用 GBK Background 学校用来提交部分作业的 ftp 使用 GBK 编码，在 Linux...

Example Here is a simple footnote[^1]. With some additional...

都什么年代，还在玩传统操作系统？ 主力 linux，然而学校传统的实验平台实在是过于弱智，以至于需要上传 exe 才能测评；但是不想重启，也不想开虚拟机，online compiler 几乎没有提供生成 exe 文件下载的，于是需要换个方式。...

之前的 posts 几乎都是 plain text. 原因在于，为 Markdown 文章添加配图是很累的事情（倒不如说添加配图本来就很累）。并且由于不信任中国图床，使用外国图床又会导致中国境内加载困难，所以仅有的一篇带配图的 post...

腾讯对 linux 还是太不上心了（ 不过随着中国政府对 linux 的逐渐扶持，中国厂商对 linux 软件的支持应该会越来越好。 Step...

Solution 关闭 Windows 下的快速启动。 控制面板 -> 电源选项 -> 选择电池按钮的功能...

起因 7月22日晚上发起的 feedback，反馈的问题是不能在 IDEA 中输入中文。症状挺奇怪的，按下两个键后选词框跳掉，只能输入英文。 于是就发了反馈。 I believe the...

老文新写，距离第一次用 scrcpy 竟然也已经两三年了。后来手机商推出的所谓“联动软件”，用后才发现其投屏的逻辑和 scrcpy 一模一样，顿感失望。 Installation sudo apt install...

工程文件地址：https://cloud.icooper.cc/s/2AyXx8PWAHway5M 好久没画画了，平板到手以后数位板已经开始吃灰惹qwq