Brethland's Blog

积水不可极,安知沧海东。

九州何处远,万里若长空。

向国惟看日,归帆但信风。

鳌身映天黑,鱼眼射波红。

乡树扶桑外,主人孤岛中。

别离方异域,音信若为通。

     ——《送秘书晁监还日该国》

Archives
NJUPT λ
Recent
About

Pinned

From July 2019, I will mainly write blogs in English and except literature like poems and novels, or something special, any Chinese will not be introduced.

2019.11.29

Update:
Add a page for NJUPT Lambda, a group related to functional programming.
I have also uploaded my resume which can be downloaded on about page.

2019.11.14

From my opnion, one thing remains precious and unreachable for some in a catcher's mind -- the pure joy for acquiring knowledges, that is, beyond social pressure and inner joy like honor and struggle, searching for the boundary of humanity and meta-properties with no dependences on other pearls...

We shall believe all knowledges are shared by humanity and shines like pearls.

2019.10.18

Algorithms are the computational content of proofs.
The first book in Software Foundations is Logical Foundations, as a classical textbook for Programming Language Theory, it is essential for me to read and understand this book.
Coq with a functional language is not as good as others, but its function as a proof assistant is excellent though. But I plan to use Agda instead to finish the book2: Programming Languages Foundations.(x

2019.10.04

I finished SICP's reading in late September and have uploaded my notes today. It should be a long time for me not Posting the blog, just for laziness (x
For code and some other stuff, please refer to my Github.

SICP is "Struct and Interpretation of Computer Programmes" in short.

2019.8.30

2019.8.08

Some notes about Dystopia. Please refer to here.

2019.8.01

Good Day for Romans, and August! Recently I am learning about MIPS Assembly Language and tried to scratch a basic architecture as an introduction for this. For futher infomation, see this article.
Beyond this, I am longing to learn more about TCS, so I installed the Coq and find some useful lecture in UW's CSE 505

August means August Ceaser as the first Roman Emperor.

2019.7.28

I have reconstructed whole pages and improve the typography and text alignment. Later maybe I will write an article about Typography
A github repo has been built. Web and digital art is full of amazing knowledges, so stay hungry and keep on moving.

For more information, see my github repo.
version 0.1.1

2019.7.18

All victims in this incident, please rest in peace. And all of us shall believe beauty would live longer than those who destroyed it, till enternity. I really hope the violet can bloom again.

2019.7.15

Change the project name to Yuki as a birthday present to myself.

version 0.1.0

2019.7.7

When hearing the songs and music from Wu, my mind may treat them as priceless treasure, driving me to sort them systematically.

2019.7.6

A Brave New Beginning on Pages Design.

Designed By Brethland 2019, Generated By Typora