Posts tagged "blog":
My FreeBSD Setup
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).
...Badminton in Albuquerque, New Mexico
I am longer in NM but still got lots of emails from people asking about badminton information. So here are some information:
My Website and Blog Setup
Minimal CSS that automatically switches btw light and dark, and blog setup using org-static-blog
Creating and Checking Deep Neural Networks
A simple excercise for creating and checking Deep Neural Networks
...Writing
Managing my \(\LaTeX\) writings.
...Dynamic Invariant Generation and Nonlinear Properties
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.
...Useful Linux/Mac Setups
Linux/Mac command lines and setup stuff that I find useful
...