Commit Graph

14 Commits (master)

Author SHA1 Message Date
Mike Gerwitz 8d45c27edc
resume: Additional rephrasing of projects and positions 2023-12-19 23:45:53 -05:00
Mike Gerwitz 325265a019
resume: Add Ulambda
While the project was never completed, it is a useful example to
demonstrate my interest in bootstrapping compilers.
2023-12-18 23:33:26 -05:00
Mike Gerwitz c0e76e16c2
resume: Remove tkd
I haven't been involved in this for a long time and it has no bearing on
my work.

I meant to remove this in one of the previous recent commits.
2023-12-18 02:31:57 -05:00
Mike Gerwitz d70018fb93
resume: Update employer project URLs
Updated to reference new locations since I introduced
https://forge.mikegerwitz.com/.
2023-12-18 02:27:10 -05:00
Mike Gerwitz d127a226a3
resume: Move TAME up
This project is more important than the others.
2023-12-18 02:24:37 -05:00
Mike Gerwitz 4a510f8286
Resume update
It's been a couple of years since this page has been updated.  It has
received a cleanup---removing information that I find to be unnecessary
or redundant---and some minor updates.

Note that the removed phone number has not been in use for at least a
couple of years; I apologize for anyone who may have tried to reach me,
however unlikely that is.  I am not replacing it with a working number,
since I don't want unsolicited calls.

I decided to update all of this in a single commit rather than
commenting on and rationalizing each individual change.
2023-12-18 02:20:30 -05:00
Mike Gerwitz bb54e77a09
Update papers
This notably introduces The TAME Programming Language Living Document,
and effort to begin to formalize the language I've been working on over
the past decade on-and-off for my employer.
2021-06-23 22:32:27 -04:00
Mike Gerwitz 0fdda45b44
src/about/resume.html: Tagline update
This was missed when the tagline was originally changed.
2021-02-24 22:14:05 -05:00
Mike Gerwitz 9c59b298bc
developer=>engineer
This better describes my experience and responsibilities, though I have
never been particularly comfortable with the term.  My manager describes me
as an engineer in my current position anyway.
2019-12-08 00:35:14 -05:00
Mike Gerwitz 637f902a1a
resume: {over eighteen=>nearly twenty}
Forgot to correct this last time I was in there.
2019-09-30 22:52:56 -04:00
Mike Gerwitz 8fecc65ef8
resume: Update and trim 2019-08-06 23:23:44 -04:00
Mike Gerwitz e10067b8b4
githubbub: Minor updates
I do not have time to update the features that do not work without JS,
though admittedly they have done a good job of providing fallbacks to
some of the things that are listed here.
2019-05-09 23:14:14 -04:00
Mike Gerwitz fde5d3e890
Add lp2019 talk cs4m 2019-03-25 20:53:37 -04:00
Mike Gerwitz b182ea79b3
Majority of work on generation of new static site
I didn't originally intend for all of this to be in a single commit.  But
here we are.  I don't have the time to split these up more cleanly; this
project is taking more time than I originally hoped that it would.

This is a new static site generator.  More information to follow in the
near future (hopefully in the form of an article), but repo2html is now
removed.  See code comments for additional information; I tried to make it
suitable as a learning resource for others.  It is essentially a set of
shell scripts with a fairly robust build for incremental generation.

The site has changed drastically, reflecting that its purpose has changed
over the years: it is now intended for publishing quality works (or at least
I hope), not just a braindump.

This retains most of the text of the original pages verbatim, with the
exception of the About page.  Other pages may have their text modified in
commits that follow.

Enhancements to follow in future commits.
2019-01-11 23:46:13 -05:00