Monad不就是个自函子范畴上的幺半群，这有什么难理解的。 Phillip Wadler 当我们谈论Monad的时候，我们在谈论什么 坊间一直流传着一句话：“一百个学FP的人的心中就有一百个对Monad的理解”。而我相信，他们中的大部分人在看明白后又会写出一篇崭新的Monad文。我也一直很想写一写自 […]
WordPress 插件 – 黑幕
最近群友都在整WordPress，于是咱也来完善blog的阅读体验。正好缺了一个黑幕插件，所以就写了一个插件用来做给WordPress也整上黑幕。 所谓黑幕就是这种东西：你怎么看不清我，是不是……。是写作鬼才常用的操作，能在保持文本观感不错的情况下加入很多奇怪的东西。奇怪的东西←不就是你么 目前支持 […]
[置顶] 一些也许更值得看的文章目录
大家好，我是KAAAsS，KAAAsS’s blog文章的编写者。截至目前，这个博客已经有200+篇文章，包含26万多字了。统计插件告诉我，看完这些文章估计需要18个小时的时间。不过说实话，虽然有很多文章是我倾注大量心血编写的，但是还是有很多文章比较水。为了节省你的时间，我特地整理了一份 […]
Python列表推导式一则：等价类划分
今天群友讨论的时候，突然要用到等价类划分。而之前讨论的时候，正好在生成关系矩阵的时候用了列表推导式。所以我就脑洞大开，试着写了一个等价类划分的列表推导式： 然后你就得到了20之内的 啦（大雾 主要应用的特性是Python的列表是可变的。而一旦引入状态，那一切都好办。这里就以列表套娃的形式引入了过程l […]
玄学优化一个稳定排序算法
前一阵子（还挺前的）正好在忙数据结构的课程设计，大体是要求做一个航班管理系统。程序主体就是简单堆几个高效数据结构，再糊上一个RESTful API，没什么好谈的。不过在优化其中的排序算法时倒是学到了挺多。虽然说本质还是缝合若干优秀算法，但刚好最近也很久没更新博客了，所以干脆写一篇博客简述当时的思路吧 […]
在ESP32上移植OpenGL实现
看@FrostMiku最近一直在玩ESP32，而且看起来真的很有趣，所以就求了个链接买了一块板子自己玩。咱也很想玩玩嵌入式嘛。不过ESP32的板子倒是真便宜，基本都在二三十左右。我这块由于带了个TFT屏，所以稍贵，价格是38。到手之后发现屏幕虽然不大，但是分辨率有135×240，所以整体显示效果还是 […]
XCTF高校战“疫”区块链Writeup + 合约逆向题技巧分享
由于疫情学校还没开学，于是这几天一直在家里学（mo）习（yu）。前几天正好XCTF在办高校战“疫”，校内拉人打，所以就去打了一波。比赛两天，一天摸了一道题，总算也是有了点输出。第一天上来摸得Misc比较常规就不说了，主要来说一下第二天摸得区块链题吧。这是我第一次见到区块链合约的题目，此前完全不知道还 […]
OpenGL学习笔记 （三）- 坐标系与顶点变换
在OpenGL学习笔记 （二）- 顶点与绘制指令中，已经对绘制指令与顶点规范进行了简单介绍，接下来的学习笔记将按照渲染管线的顺序继续说明。本节学习笔记将会介绍顶点数据在渲染管线中经过的第一步，也就是顶点着色器相关的操作。 虽然作为可编程着色器，顶点着色器并没有固定的功能，但是有一些操作通常都会交由顶 […]
MMD渲染整活笔记（一）
没错，我又来整活了。这次整活的内容是MMD渲染，不过严格来说是自己渲染，并不是用MikuMikuDance进行渲染。起因……就是最近看LearnOpenGL的模型载入的时候，意外发现Assimp库还可以载入pmx模型。于是我萌生出了大胆的想法（ 如果按照模型那一节的代码，直接渲染就能得到一个还算马马 […]
OpenGL学习笔记 （二）- 顶点与绘制指令
前一篇文章（OpenGL学习笔记 （一）- 综述、渲染管线）提到过，现代OpenGL不再推荐使用显示列表或者更古老的glVertex了。这篇笔记将详细探讨这个话题，并介绍几何图形的绘制方式。 几何图元 OpenGL中有若干几何图元，但是最终这些图元都会被转化为点、线和三角形。通过组合三角形，Open […]
Comments