Value and type：
value -> value: function
type -> value: parametric polymorphism
type -> type: generic
value -> type: dependent type

反正 FriceEngine 是没有物理引擎的（

但有粒子效果，我不知道是不是意味着就有一点物理计算功能（

Collision detection with collision box
Particle effects

给大家推荐几款开源的生产力工具： #tool #recommended #linux

#文字排版

+ Labyrinth
+ LaTeXila
+ TeXmaker

#画图

+ Krita
+ ZeGrapher

尤其推荐 LaTeXila，十分适合文档排版，简直比 Markdown 还快

说 TeX 写起来很慢的都是手打不用 IDE，而且 TeX 排版出来文档也很好看，也能插入很多种图表

严重推荐

#project #rust #PL
老项目： https://github.com/duangsuse/MonkeyVM

MonkeyVM 是我一年前写的... 不敢想象当时我连栈是什么都不知道 😶

感谢 coding 的猴语言规范知识库

https://coding.net/u/duangsuse/p/DBeanshell
这个修改版的解释器在 TreeToolbox 里使用过

#tool #recommended #graphics
https://github.com/nagadomi/waifu2x

#recommended
Git with a cup of tea

#recommended #cracking https://github.com/gentilkiwi/mimikatz

https://try.gitea.io/api/swagger
#geekapk 必须经常... 学习一下 😶

早知道 API 就应该使用 Swagger 写了

GeekApk API v0.1.0 枚举已经完成了

这个simplification有什么意义吗🤔

规范上还是建议用关键字，不要用类型的全名

Mathematica 喜欢

能否通过编写程序解决高中阶段的同分异构体问题？
https://www.zhihu.com/question/285468505/answer/444549359

最近接触一下 Telegram API

#telegram 可是基于 MTProto 的... 二进制序列化哈？ 😶