总算是把期末考最忙的一阵子熬过去了，来整理整理快发霉的博客。这篇文章躺在草稿箱快有一个学期了，期间我也对Rust有了更深的认识，于是正好改写作为假期的第一篇文章。 最近我尝试在课设程序中引入了Rust，理由很简单——Rust是我心目中不可多得的在语言层面尝试改进内存安全与高性能的现代编程语言。不过这 […]
分类:程序
Hackergame 2020 Writeup
最近一周咱参加了USTC的Hackergame 2020。由于正好之前的Deadline清完了，而且听说这个比赛新人友好+时间长，于是咱就来了。整体比赛感觉题目出的难度梯度确实很合理，从简单到难都有，而且很多难题也是偏脑洞的，可以通过一段时间的学习解出。最终排名虽然一度进入前10，但是最后一小时还是 […]
SpiritCTF 2020 – Misc Official Writeup
本博客为SpiritCTF 2020（吉林大学CTF校赛）Misc部分的官方题解。本次比赛共放出Misc题目8道，题解按照题目难度从低至高排序。 something so fast 本题题目为快速播放内容的GIF图片，可以使用StegSolve工具的Frame Browser抽取每一帧，之后扫描二维 […]
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也整上黑幕。 所谓黑幕就是这种东西：你怎么看不清我，是不是……。是写作鬼才常用的操作，能在保持文本观感不错的情况下加入很多奇怪的东西。奇怪的东西←不就是你么 目前支持 […]
Comments