Commit Graph

67 Commits (master)

Author SHA1 Message Date
Mike Gerwitz 8448669355
Use MathML for mathematics on posts
We're finally in an era where this is natively supported on all major
browers and platforms, at least on modern browsers.  I've been waiting
for this for...nearly 15 years now?  My go-to previously was Mathjax.

I guess I should remove my IE11 support in CSS, then, huh?

Or maybe leave it around as an easter egg / relic type of thing.
2024-03-18 23:36:59 -04:00
Mike Gerwitz 8ce8b5a7f7
HTML details styling and parsing improvements
The article I'm working on makes (very) heavy use of the `details` HTML
element, and nests them.  Making sense of the article without
indentation is difficult and torturous.

This has complicated the prefmt script enough that it really ought to be
extracted into something else.  I'm admittedly disappointed that I've
had to do this much work with it, because it completely sacrifies any
hope of portability.  Oh well, that's not even a design goal, though
it'd be nice to be able to have the preview of Markdown files make sense
in e.g. Forejo.

I figured I'd have the least numbre of problems with nesting if I strip
whitespace prefixes based on the current level of nesting.  To avoid
surprises, I enforce expectations statically---it will not compile
without proper nesting.

To reduce the potential blast radius, I'm doing this only for `details`
for now; it'll expand later on.  I did diff the output of older articles
to make sure they were unaffected.
2024-03-18 23:32:57 -04:00
Mike Gerwitz 8c92c57faa
Use pandoc-generated source code highlighting CSS
I previously included hard-coded CSS.  Pandoc will apparently generate
what is needed for the page, but I didn't have that included in my
template.

I chose Tango out of a nearly 20y personal preference now, ever since I
used the Tango Icon Theme in Ubunutu Dapper Drake (6.06), my introducing
to GNOME/GTK.  I might have used Breezy, too, I don't recall.

Prior to that I think I used Mandrake (before it was Mandriva), which
was the first distro I tried, after my laptop's HDD died and I was
awaiting a replacement (couldn't run Windows without a HDD).

...anyway.
2024-03-18 23:28:46 -04:00
Mike Gerwitz 99a1c4e015
Support for pandoc 2.19.2
Previous I had been using pandoc 2.9.2.1, available through the Debian
repositories.  I installed 2.19.2 through Guix.

The biggest issue I ran into was wrapping of the output, which messed up
my klugy post-processing scripts that expected `h1` tags to have their
attributes all on the same line.  The `--wrap none` flag resolves that.

I diff'd the webroot before and after these changes.  The primary
changes were related to footnote classes, the recognition of fancy
quotes in a couple new situations, and new classes introduced to source
code listings.  I'll have to investigate styling them, since I haven't
visited the CSS for that in quite some time.
2024-03-17 23:21:26 -04:00
Mike Gerwitz 88b9b2dee2
src/post2html: Disable TeX-style tie parsing in fences
Code fences are meant to indicate literal text, not formatted.
2024-03-17 22:05:13 -04:00
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 7cf7252ba6
src/about.htm: Emphasize declarative DSLs 2023-12-18 15:24:57 -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 fcbc8f2689
Footer copyright year update 2023
Granted, it's about to be 2024.
2023-12-17 11:49:52 -05:00
Mike Gerwitz 35278a3f07
Update footer links for forge and social
These were updated in the header and other parts of the site previously;
I somehow overlooked these.
2023-12-17 11:49:38 -05:00
Mike Gerwitz cdf9cac4e9
src/post2html: Use forge.mikegerwitz.com for post history
The date on posts is supposed to be a link to the commit history for
that post.  This was broken when moving to forgejo.
2023-08-08 00:58:19 -04:00
Mike Gerwitz 3912fc56dd
Use forge.mikegerwitz.com (Forgejo) instance for /projects
This removes the cgit configuration and added redirects.  I'll check the
404 log and determine if I should add others in the future, if it's
worth the effort.
2023-03-21 00:43:15 -04:00
Mike Gerwitz 5bc0034d52
src/about.htm: Update bio
I've been essentially inactive publicly for a couple of years.  I'll
have more information in time, but the past couple of years have given
me a lot of time to reflect and redefine parts of myself.

This is step toward surfacing.
2023-03-20 22:32:43 -04:00
Mike Gerwitz df5f4001d4
Use /users/mikegerwitz Pleroma link
Pleroma, unlike Mastodon with it's single-user instance mode, does not
show my profile by default.  So, link directly to it.
2023-03-16 21:54:47 -04:00
Mike Gerwitz bb544e97a3
Mastodom=>Pleroma migration
Mastodon was far too much load on my server.  And while the sever is
just a dinky like 1-vCPU VPS, it shouldn't _need_ any more than that; I
barely use Mastodon and I will not upgrade my server (and incur greater
costs for it).

Pleroma is compatible with Mastodon (based on ActivityPub) and much more
efficient.  We'll see how I like it.  My account transfer is happening
right now; the fediverse is a wonderful thing. :)

For some more context: Mastodon was fine for years, but after Musk's
takeover of Twitter and increased adoption of Mastodon, my sever became
burdened by all these new instances, despite _my_ use of it being
effectively nothing.
2023-03-15 23:15:28 -04:00
Mike Gerwitz f08c06e1c2
Highlight AFSI on index page
This moves SAPSF into the "Older Posts" section, in a somewhat klugy
way.
2021-06-23 22:46:36 -04: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 c4d1dfa056
src/talks.rec (Adopting Free Software Ideals): Audio-only link 2021-06-20 22:31:45 -04:00
Mike Gerwitz dcb14fbb99
src/talks.rec (afsi): Add video link and slides 2021-05-18 22:01:13 -04:00
Mike Gerwitz d1c9210491
src/cgit/cgitrc: Update from server (ulambda, promscripts)
Forgot this file was housed in this repo...
2021-05-18 21:57:41 -04:00
Mike Gerwitz d70dd4aac8
LibrePlanet 2021: Adopting Free Software Ideals
Information about upcoming talk at LP2021.
2021-02-24 22:14:12 -05: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 0d9118dbf0
src/footer.tpl.htm: Copyright year update 2021-02-24 22:13:30 -05:00
Mike Gerwitz 825491587f
src/talks.sh: Handle display of future dates
Display future dates as "Will be presented on" rather than "Presented
on".
2021-02-24 22:06:01 -05:00
Mike Gerwitz 6ece7769d4
src/talks.sh: Do not fail when links are missing
E.g. to accommodate a future talk.
2021-02-24 22:00:25 -05:00
Mike Gerwitz 3036552161
src/talks.{rec,sh}: {-=>_}
Older versons of recutils were okay with dashes, but that seems to have
changed.
2021-02-24 21:40:12 -05:00
Mike Gerwitz 22d0ce56c5
src/post2meta: gensub argument fix
Older versions of Gawk did not mind an empty string as the third
argument, but newer versions complain:

  warning: gensub: third argument `' treated as 1
2021-02-24 21:39:53 -05:00
Mike Gerwitz 4220f083eb
src/about.htm: GNU Social => Mastodon instance reference
I now use the latter exclusively.
2020-07-16 23:40:20 -04:00
Mike Gerwitz 26729d1812
src/about.html: {two=>three} sons
My third was born recently.
2020-07-16 23:38:00 -04:00
Mike Gerwitz 61b80c516f
src/post2html: Ability to reference content of previous fence
I'll be using this to show example HTML code and then output it as actual
HTML to be rendered as part of the article.  Otherwise the HMTL has to be
duplicated and maintained in multiple places.

An alternative is to include a file, but that is much less convenient for
smaller snippets.
2020-03-31 23:47:38 -04:00
Mike Gerwitz 5b84305d8e
src/post2html (prefmt): Ties and newline stripping
I hate Markdown as a format for disciplined writing, especially when I want
macros (mostly semantic), indexes, and such.  I was originally going to use
LaTeX with Pandoc, but it lacks support for inline HTML and such, and I do
not want to distract too much from the work that I want to be doing.
2020-03-31 23:47:12 -04:00
Mike Gerwitz 0e9d28e96d
Tagline change: Activist for User Freedom
This more accurately represents my cause.  I will let this sit
for a little while and see how I like it.
2020-03-16 02:04:56 -04:00
Mike Gerwitz 945c413abf
GNU Social -> Mastodon link in header
Over the past year, my GNU Social timeline has gone almost completely
silent; it seems that many people have moved to Mastodon and maybe those
instances have stopped federating.

Further, GNU Social development has been stalled for a long time.

So this seems like an inevitable decision to give Mastodon a try.  I'll
start by following people and will post both on here and GNU Social
initially.  See https://social.mikegerwitz.com.
2020-02-13 21:29:41 -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 a0c0f1f032
src/about.htm: Add GAC reference 2019-12-06 22:51:51 -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 2236dcbd4d
src/index.sh: Correct index aside links
Unbelievable...this has always been broken.
2019-08-05 00:41:15 -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 3909a8f682
Add LP2019 talk cs4m video link
Was finally published.  This year they included the slides in the video,
which is perfect, since this was a technical talk that used the slides to
demonstrate the commands, and I actually did some stuff on the computer
during the talk.

Though the PIP did slightly cut off some commands; see the PDF or Org
sources for the full commands.
2019-05-09 22:04:18 -04:00
Mike Gerwitz 173c06ddf1
Fix Copyleft vs. Community links 2019-04-07 22:12:41 -04:00
Mike Gerwitz fc365c7326
talks: Add event link 2019-03-25 21:23:24 -04:00
Mike Gerwitz 767a69f06a
src/talks.rec (cs4m): Correct date 201{8=>9} 2019-03-25 21:19:30 -04:00
Mike Gerwitz fec505bb6f
src/talks.sh (abstract): Include location in timestamp 2019-03-25 21:13:01 -04:00
Mike Gerwitz 7351076468
src/talks.sh: Do not output watch link text if missing video-url
This is the case right now with cs4m, since I just gave the talk
and the video will not likely be available for a couple of weeks.
2019-03-25 21:10:48 -04:00
Mike Gerwitz fde5d3e890
Add lp2019 talk cs4m 2019-03-25 20:53:37 -04:00