CISCN2020线下决赛纪行

最近有点忙摸,好几篇文章写了一半都出不来。不过正好去了一趟武汉,就来写一篇流水账记录记录这次魔幻的CISCN线下决赛吧。啥也不说,YLBNB! DAY0 签到日没什么好说的,下飞机大概一点多,基本只是签了个到然后参观了下华科。但是不得不说,华科网安学院还是真的下了很大投入的,从各方面配置上来看都堪称 […]

查看更多

探索:适用IPv6、Fullcone NAT的旁路由透明代理方案

最近由于考试周临近,所以博客这边都没怎么更新,这回逮到机会赶紧更一篇。我其实一直有个需求,就是想在学校也能无缝接入家里的网络,访问NAS之类的设备,因此我一直想设置一个透明代理。于是最近断断续续研究了几天,总算是摸索出了一个让自己相对满意的透明代理方案,因此就抽空写了篇博客,权当记录。事先说明:这篇 […]

查看更多

关于启动引导的那些事儿(下) : UEFI与GPT

MBR的缺点 MBR的缺点主要在于他是个程序。引导程序和磁盘分区原本是不太相关的两个事情,但是MBR却用一种及其原始的方式把它们混合在了一起。此外,MBR程序本身也带来了不少麻烦。由于MBR运行在实模式,因此它的编写与引导过程的其它程序有诸多不同。而且由于MBR是直接写在引导扇区的,并不是以文件的形 […]

查看更多

当我们谈论Monad的时候(二)

Welcome to Haskell 在上一篇文章中,我通过几个Java的例子简单的说明了Monad的本质和一些工程中常见的用途。接下来的文章就不再侧重于工程了,而是要慢慢向理论转换。而作为过渡,我选择了Haskell来代替Java进行说明。本篇文章默认读者已经对Haskell的基本语法有所了解,因 […]

查看更多

关于启动引导的那些事儿(上) : 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 […]

查看更多

KAAAsS

学生党一枚,业余程序员,逛B站喜欢二次元。常用Java、C/C++、Python、PHP、JavaScript,Rust、Haskell努力学习中。对机器学习、编程语言理论、网络安全都抱有浓厚兴趣。