categories

SoK

Programming Language Review

37 分钟读完

Review what I learned from programming language, a fundamental course of CS. The code is mainly in typed racket, a dialect of scheme.

Neuroscience Notes - Sensory Neurobiology

1 分钟读完

What is a sensory system and what does it do? What is the role of a sensory system in behavior? What are some things that a sensory system does not do?

Computer Architecture Notes

2 分钟读完

This note is taken while reading book: Computer Architecture: A Quantitative Approach, 6th Edition.

返回顶部 ↑

Tech

GPUTEE从入门到升天(尚未升天)

少于 1 分钟读完

从零开始一个H100 GPUTEE的配置,顺便体会做Artifact Evaluation的痛苦。这里主要记录踩坑,文档里面有的东西不再赘述。我对于VM和GPU的知识基本等于空白,搞了两天终于卡在了需要NVIDIA支持的地方上了。

SMT/SAT从0到0.1

少于 1 分钟读完

最近在学习一些关于SMT/SAT solver的东西,在这里简单总结一下。

从零开始搓一个编译器

11 分钟读完

今年手痒痒选了一个Implementation of PL的课,需要徒手搓编译器。这里来小记一下这个过程,感觉这可能是我校CS最硬核的课之一了。

Rust 学习笔记

50 分钟读完

最近突然对于Rust产生了兴趣因为它的吉祥物小螃蟹很可爱,遂开始阅读The Rust PL一书想要一探究竟。我发现Rust真的是一门相当阳间的语言,一些functional programming的特性和build system可以让使用者用起来十分舒爽。

Kernel Module 历险记

3 分钟读完

最近在我大哥儿子@StanPlatinum的指导下搞了个截获/添加syscall的kernel module,在这里稍微记录一下折腾的过程。

SGX Local Attestation 源码分析

25 分钟读完

记一个对于Intel SGX Local Attestation Sample Code的一次Comprehensive的analysis。Warning:这篇文章十分臭长,超级干燥。

返回顶部 ↑

Caprice

摄影和科研

少于 1 分钟读完

最近重新拾起了相机,惊觉摄影和科研(至少在计算机领域)简直相似地过分。强烈建议学术民工尝试一下摄影,或者摄影师尝试一下科研(?)。

简记割裂的2022

少于 1 分钟读完

最近几年发生的事情真是一年比一年离谱了。时常在网上冲浪的我对于这种离谱的事情已经不感觉到离谱的时候,人就已经出问题了。 拖延癌发作的我终于得空在飞机上吧这个未完成的博文完成(虽然此时2023已经过去一大半了,然而只要我把date设置成2022就大概不会有人发现它是2023写的吧)。这个博文就是想到哪里写到哪里,毫...

符号和解释

少于 1 分钟读完

在被Coq折磨了快一个月后,终于我终于看完了Logic Foundation。作为Software Foundations系列书籍中的第一员大将,它还是有点东西的。这里只浅谈一下我对于符号和解释这两个概念所产生的更深的理解。正文部分基本不涉及任何与编程本身相关的问题。

待在加州的一段时间

少于 1 分钟读完

刚刚从加州回来,迫不及待地想要把将见闻和体验稍做记录。 拖了一个多月再回来把这个blog完成。

记2020

少于 1 分钟读完

谨记前无古人,魔幻现实的2020。也总结一下我的2020,以及对2021的憧憬。此文逻辑不通,狗屁乱放,想哪写哪,从2020写到2021总算是写完了!

脑机、人和计算

少于 1 分钟读完

简单的想象一下脑机在可预见的未来的存在形式以及可能成为topic的一些idea。

《反脆弱》读书随思

少于 1 分钟读完

这段时间在抽空读《反脆弱》一书。其作者是纽约大学Tandon工程学院的教授,Nassim Nicholas Taleb。早有耳闻其所作的不确定性三部曲(最近看他网站上好像是又更新了一部?),之后在读到剩下的几本的时候我大抵会把本文的标题改掉吧:) 虽然在经济和商业领域这本书大受推崇,但是我任务反脆弱这一概念在无论...

摄影小记

少于 1 分钟读完

为什么要写它 提醒自己,分享经验。 为什么摄影 技术上讲,为了日后能够再次观测曾经的某一时刻的视觉影像; 艺术上讲,为了记录日常看不到的东西 摄影师应该拍出来什么样的照片 摄影师拍出来的照片是遵守美学规则的 牛逼的摄影师拍出来的照片可能会打破传统的美学规则

返回顶部 ↑

Hack

ROP从入门到入土-X64

9 分钟读完

Intro 在前篇文章中我们已经介绍了Linux下x86和x64架构的参数传递方式,以及对于x86程序的ROP攻击。这一次让我们跨出扯蛋的一步——进入x64架构,在没有辅助函数,在仅仅调用了libc里面的函数的情况下来用libc实现ROP攻击。在这个情况下,我们能够完整地去操控堆栈,实现攻击。本次实现的攻击是蒸米...

ROP从入门到放弃-X86

9 分钟读完

前言 最近被老板分配了复现SGX相关攻击的任务。里面用到了ROP技术,奈何本人之前从未做过二进制以及逆向工程相关的工作,遂从0开始学习ROP技术。网上相关的教程很多,但是完全从0开始讲起的很少。本文旨在回顾自己之前尝试过的ROP攻击,按照自己的思路从0讲起并作以记录。 本人是主要根据原乌云知识库的文章去学习的(...

低成本安全硬件(二)——RFID on PN532

23 分钟读完

引言 鉴于硬件安全对于大多数新人是较少接触的,而这方面又非常吸引我,但是部分专业安全研究设备较高的价格使人望而却步。在该系列中,笔者希望对此感兴趣的读者在花费较少金钱的情况下体会到硬件安全的魅力所在。本系列计划分成四个部分:BadUSB on Arduino; RFID on PN532; GSM on Moto...

低成本安全硬件(一)——BadUSB on Arduino

1 分钟读完

引言 鉴于硬件安全对于大多数新人是较少接触的,而这方面又非常吸引我,但是部分专业安全研究设备较高的价格使人望而却步。在该系列中,笔者希望对此感兴趣的读者在花费较少金钱的情况下体会到硬件安全的魅力所在。本系列计划分成四个部分:BadUSB on Arduino; RFID on PN532; GSM on Moto...

返回顶部 ↑

Meta

关于博客的一些变化

少于 1 分钟读完

最近好像博客都没啥更新,但其实不是的:我用上了TiddlyWiki作为自己的笔记本。

返回顶部 ↑

ACG

東方同音社团选(持续更新)

少于 1 分钟读完

记(安)录(利)一些自己常听的社团,期待某音乐App有一天能够不给我推一整个歌单的東方歌。

返回顶部 ↑