From 5053bf9c3d9beac52eca90e8899fd7f021aa6d1d Mon Sep 17 00:00:00 2001 From: Alex Hubers Date: Fri, 11 Oct 2024 09:48:34 -0500 Subject: [PATCH] Small changes MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit - Remove bibliography images - Change homepage image to be square (not rounded) - Fix width/height of member images to be uniformly 100px × 100px (without distortion) - Change my research interests to be more generic --- _bibliography/papers.bib | 14 +++++--------- _members/alex.md | 2 +- _pages/about.md | 2 +- _sass/_member.scss | 3 ++- _site/feed.xml | 2 +- 5 files changed, 10 insertions(+), 13 deletions(-) diff --git a/_bibliography/papers.bib b/_bibliography/papers.bib index 359ec14..6563e8c 100644 --- a/_bibliography/papers.bib +++ b/_bibliography/papers.bib @@ -13,7 +13,7 @@ @inproceedings{EkiEtAl-PxTP-19 editor = {Giselle Reis and Haniel Barbosa}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {301}, - publisher = {Open Publishing Association}, + publisher = {Open Publishing Association} } @inproceedings{IngleHM22, @@ -31,8 +31,7 @@ @inproceedings{IngleHM22 doi = {10.1145/3546189.3549923}, timestamp = {Sun, 12 Feb 2023 18:48:40 +0100}, biburl = {https://dblp.org/rec/conf/haskell/IngleHM22.bib}, - bibsource = {dblp computer science bibliography, https://dblp.org}, - preview = {ptc.png} + bibsource = {dblp computer science bibliography, https://dblp.org} } @inproceedings{HubersM23, @@ -44,8 +43,7 @@ @inproceedings{HubersM23 2023}, url = {https://doi.org/10.1145/3607843}, doi = {10.1145/3607843}, - keywords = {generic programming, row polymorphism, extensible data types, qualified types, row types}, - preview={rows.png} + keywords = {generic programming, row polymorphism, extensible data types, qualified types, row types} } @@ -58,8 +56,7 @@ @inproceedings{AbreuDHJMS23 MA, {USA} - January 18-20, 2023}, year = 2023, doi = {10.1145/3571196}, - url = {https://doi.org/10.1145/3571196}, - preview={coq.png} + url = {https://doi.org/10.1145/3571196} } @@ -74,7 +71,6 @@ @InProceedings{BinderCICM24 publisher="Springer Nature Switzerland", address="Cham", pages="109--126", -isbn="978-3-031-66997-2", -preview={pick.png} +isbn="978-3-031-66997-2" } diff --git a/_members/alex.md b/_members/alex.md index 95a10d6..0c1bd7e 100644 --- a/_members/alex.md +++ b/_members/alex.md @@ -4,7 +4,7 @@ pronouns: he/him role: Graduate Student subrole: Ph.D. Student advisor: J. Garrett Morris -interests: Row type theories +interests: Programming Languages, Type Theory email: ahubers@uiowa.edu website: https://ahubers.github.io photo: alex.jpg diff --git a/_pages/about.md b/_pages/about.md index fa82490..024260e 100644 --- a/_pages/about.md +++ b/_pages/about.md @@ -5,7 +5,7 @@ permalink: / profile: align: right image: mlh.jpg - image_circular: true + image_circular: false address: >

Computational Logic Center

The University of Iowa

diff --git a/_sass/_member.scss b/_sass/_member.scss index cb9967a..1210bfe 100644 --- a/_sass/_member.scss +++ b/_sass/_member.scss @@ -6,7 +6,8 @@ border-radius: 50%; height: 100px; margin-right: $sp-4; - width: auto; + width: 100px; + object-fit: cover; } .anchor-heading { diff --git a/_site/feed.xml b/_site/feed.xml index b2d4bf3..9b387f8 100644 --- a/_site/feed.xml +++ b/_site/feed.xml @@ -1 +1 @@ -Jekyll2024-09-25T15:07:22+00:00https://clc.github.io/feed.xmlThe Computational Logic Center \ No newline at end of file +Jekyll2024-10-11T14:47:55+00:00https://clc.github.io/feed.xmlThe Computational Logic Center \ No newline at end of file