From ac0b7c9b297c05e86d71d5b0a4c5529da97dc212 Mon Sep 17 00:00:00 2001 From: Michael Zhang Date: Sat, 8 Feb 2020 15:09:08 -0600 Subject: [PATCH] epic --- config.toml | 2 +- content/2020-01-30-untyped-lambda-calculus-in-rust.md | 8 ++++++++ content/pages/about.md | 2 +- 3 files changed, 10 insertions(+), 2 deletions(-) create mode 100644 content/2020-01-30-untyped-lambda-calculus-in-rust.md diff --git a/config.toml b/config.toml index f7a8395..b1b0851 100644 --- a/config.toml +++ b/config.toml @@ -14,5 +14,5 @@ nav_links = [ { url = "/", text = "home" }, { url = "/pages/about", text = "about" }, { url = "/pages", text = "all pages" }, - { url = "/projects", text = "projects »" }, + { url = "https://git.iptq.io", text = "projects »" }, ] diff --git a/content/2020-01-30-untyped-lambda-calculus-in-rust.md b/content/2020-01-30-untyped-lambda-calculus-in-rust.md new file mode 100644 index 0000000..2ada66a --- /dev/null +++ b/content/2020-01-30-untyped-lambda-calculus-in-rust.md @@ -0,0 +1,8 @@ ++++ +title = "implementing untyped lambda calculus" +date = 2019-03-04 +draft = true + +[taxonomies] +tags = [] ++++ diff --git a/content/pages/about.md b/content/pages/about.md index 72c043f..a7ec671 100644 --- a/content/pages/about.md +++ b/content/pages/about.md @@ -2,7 +2,7 @@ title = "about me" +++ -Hi there! I'm a Computer Science student at the University of Minnesota, and I've got a wide variety of interests under this field. I've been doing web development for a long time and now I'm looking into security, programming language development, and software development! +Hi there! I'm a software developer at Epic Systems in Verona, Wisconsin, and I recently graduated with a Computer Science degree from the University of Minnesota. I've got a wide variety of interests under this field. I've been doing web development for a long time and now I'm looking into security, programming language development, and software development! In an effort to rely on less services, I started doing a lot of self-hosting and rewriting of software. Check out some of the projects I'm doing over on my public [Gitea](https://git.iptq.io)!