ThanhVu Nguyen, Archive

Posts tagged "blog":

My FreeBSD Setup

04 Sep 2022

My home machine, which was running Debian and was built in 2007, was becoming old and loud. So, I decided to set up a new home system on a small Dell Optiplex that I obtained from school. I decided to install FreeBSD on it instead of my preferred Debian Linux (because … why not? my lab already has two servers running Debian).

...
Tags: computer setup blog bsd

Badminton in Albuquerque, New Mexico

27 Feb 2022

I am longer in NM but still got lots of emails from people asking about badminton information. So here are some information:

Tags: blog miscs

My Website and Blog Setup

05 Jun 2021

Minimal CSS that automatically switches btw light and dark, and blog setup using org-static-blog

...
Tags: computer setup blog

Creating and Checking Deep Neural Networks

28 May 2021

A simple excercise for creating and checking Deep Neural Networks

...
Tags: computer blog research

Writing

01 Feb 2021

Managing my \(\LaTeX\) writings.

...
Tags: computer setup blog writing

Dynamic Invariant Generation and Nonlinear Properties

01 Feb 2021

Automatically inferring invariant specifications has proven valuable in enabling a wide range of software verification and validation approaches over the past two decades. Recent approaches have shifted from using observation of concrete program states to exploiting symbolic encodings of sets of concrete program states in order to improve the quality of inferred invariants.

...
Tags: research blog writing invariant-generation dig dynamic-analysis nla nonlinear

Useful Linux/Mac Setups

01 Jan 2021

Linux/Mac command lines and setup stuff that I find useful

...
Tags: computer setup blog linux
Other posts