Posted 2024-07-18Updated 2024-07-18a minute read (About 157 words)

A quick way to configure a server.

Posted 2024-01-17Updated 2024-02-213 minutes read (About 496 words)

Notes for EECS482.

Posted 2024-01-17Updated 2024-02-212 minutes read (About 327 words)

Formal Verification of Systems Software

Notes for EECS 498

Posted 2024-01-17Updated 2024-02-192 minutes read (About 277 words)

My experience in a challenge problem.

Posted 2024-01-17Updated 2024-02-195 minutes read (About 675 words)

Notes for EECS 445.

Posted 2024-01-15Updated 2024-01-17Programming Language3 minutes read (About 522 words)

Intro_to_PL (Week 4)

Type Inference

Analysis the constraints (e.g., a > 0 infers a : int).

Posted 2024-01-13Updated 2024-01-17Formal Verification, Dafny2 minutes read (About 333 words)

Crash Course of Dafny

From https://github.com/dafny-lang/dafny.

Posted 2024-01-08Updated 2024-01-21Programming Language2 minutes read (About 236 words)

Overview of OCaml

From website: https://cs3110.github.io/textbook/chapters/basics/functions.html

Posted 2023-12-30Updated 2024-01-04Programming Language5 minutes read (About 741 words)

Intro_to_PL (Week 3)

Functional Programming

A language is functional programming when

avoiding mutation in most cases
using functions as values

Posted 2023-12-28Updated 2024-01-026 minutes read (About 865 words)

Driving Licence Test

Description

I am preparing for the Driving Licence Test in MI recently. The following are some of the problems I encountered when I am taking tests on the DMV Website. Hope that helps!