Welcome to Haskell 在上一篇文章中，我通过几个Java的例子简单的说明了Monad的本质和一些工程中常见的用途。接下来的文章就不再侧重于工程了，而是要慢慢向理论转换。而作为过渡，我选择了Haskell来代替Java进行说明。本篇文章默认读者已经对Haskell的基本语法有所了解，因 […]
作者:KAAAsS
关于启动引导的那些事儿（上） ： Legacy Boot
前些天群友@Seraph_JACK在整引导，于是我也跟着云了一下。结果发现，我对引导相关的了解着实拉跨。所以趁此机会，正好完整学习一下引导相关的知识。本篇文章大致会涉及MBR、GPT、UEFI等内容，以使用Grub引导Linux为例，来分析启动的具体过程。 启动综述 对于PC来说，启动电脑的目的是为 […]
当我们谈论Monad的时候（一）
Monad不就是个自函子范畴上的幺半群，这有什么难理解的。 Phillip Wadler 当我们谈论Monad的时候，我们在谈论什么 坊间一直流传着一句话：“一百个学FP的人的心中就有一百个对Monad的理解”。而我相信，他们中的大部分人在看明白后又会写出一篇崭新的Monad文。我也一直很想写一写自 […]
WordPress 插件 – 黑幕
最近群友都在整WordPress，于是咱也来完善blog的阅读体验。正好缺了一个黑幕插件，所以就写了一个插件用来做给WordPress也整上黑幕。 所谓黑幕就是这种东西：你怎么看不清我，是不是……。是写作鬼才常用的操作，能在保持文本观感不错的情况下加入很多奇怪的东西。奇怪的东西←不就是你么 目前支持 […]
[置顶] 一些也许更值得看的文章目录
大家好，我是KAAAsS，KAAAsS’s blog文章的编写者。截至目前，这个博客已经有200+篇文章，包含26万多字了。统计插件告诉我，看完这些文章估计需要18个小时的时间。不过说实话，虽然有很多文章是我倾注大量心血编写的，但是还是有很多文章比较水。为了节省你的时间，我特地整理了一份 […]
Python列表推导式一则：等价类划分
今天群友讨论的时候，突然要用到等价类划分。而之前讨论的时候，正好在生成关系矩阵的时候用了列表推导式。所以我就脑洞大开，试着写了一个等价类划分的列表推导式： 然后你就得到了20之内的 啦（大雾 主要应用的特性是Python的列表是可变的。而一旦引入状态，那一切都好办。这里就以列表套娃的形式引入了过程l […]
玄学优化一个稳定排序算法
前一阵子（还挺前的）正好在忙数据结构的课程设计，大体是要求做一个航班管理系统。程序主体就是简单堆几个高效数据结构，再糊上一个RESTful API，没什么好谈的。不过在优化其中的排序算法时倒是学到了挺多。虽然说本质还是缝合若干优秀算法，但刚好最近也很久没更新博客了，所以干脆写一篇博客简述当时的思路吧 […]
每周歌词(86) – 四周年。
我 能听到那声音 漫漫无尽前路 他指引我前行 簌簌流动风中 独自一人伫立 我 引声而吟 《小さきもの》是宝可梦系列剧场版《精灵宝可梦：七夜的许愿星基拉祈》的片尾曲，由林明日香演唱。歌名本意是“渺小之物”，而由于歌词中有一句“渺小之物，那即是我（小さきもの それは私）”，因此有一译名为“小小的我”。值 […]
在ESP32上移植OpenGL实现
看@FrostMiku最近一直在玩ESP32，而且看起来真的很有趣，所以就求了个链接买了一块板子自己玩。咱也很想玩玩嵌入式嘛。不过ESP32的板子倒是真便宜，基本都在二三十左右。我这块由于带了个TFT屏，所以稍贵，价格是38。到手之后发现屏幕虽然不大，但是分辨率有135×240，所以整体显示效果还是 […]
XCTF高校战“疫”区块链Writeup + 合约逆向题技巧分享
由于疫情学校还没开学，于是这几天一直在家里学（mo）习（yu）。前几天正好XCTF在办高校战“疫”，校内拉人打，所以就去打了一波。比赛两天，一天摸了一道题，总算也是有了点输出。第一天上来摸得Misc比较常规就不说了，主要来说一下第二天摸得区块链题吧。这是我第一次见到区块链合约的题目，此前完全不知道还 […]
Comments