nlightnfotis.github.io/index.html at master · NlightNFotis/nlightnfotis.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
---
layout: default
title: Home
---

<section class="home-section">
  <h2 class="section-title title-about">ABOUT</h2>
  <div class="bio-text">
    <p>{{ site.author_bio }}</p>
    <p style="margin-top: 15px;">
      I'm now at GitHub, where I work on several aspects of Copilot. Previously
      I worked as as a Software Engineer at Diffblue, where I was maintaining the
      software verification tool CBMC under contract with AWS.
    </p>
    <p style="margin-top: 15px;">
      In my free time, I enjoy learning more about our natural world.
      Mathematics, physics and biology are some of my favorite subjects.
    </p>
    <p style="margin-top: 15px;">
      I have a Bachelor's degree in Computer Engineering from the Technological
      Educational Institute of Crete, and am currently studying on the side for
      <a href="https://www.open.ac.uk/courses/maths/degrees/bsc-mathematics-q31/">
        a Bachelor's degree in Mathematics with The Open University
      </a> and
      <a href="https://www.eap.gr/en/undergraduate/studies-in-natural-sciences/">
        a Bachelor's degree in Natural Sciences with the Hellenic Open University.
      </a>
</section>

<section class="home-section">
  <h2 class="section-title title-posts">POSTS</h2>

  <div class="post-list-compact">
    {% for post in paginator.posts %}
      <div class="post-row-wrapper">
        <div class="post-row">
          <span class="post-date">{{ post.date | date: "%B %-d, %Y" }}</span>
          <a class="post-link" href="{{ post.url | relative_url }}">{{ post.title }}</a>
        </div>

        {% if post.tags.size > 0 %}
        <div class="post-tags">
          {% for tag in post.tags %}
            <a class="tag" href="/tags/{{ tag | slugify }}/">#{{ tag }}</a>
          {% endfor %}
        </div>
        {% endif %}
      </div>
    {% endfor %}
  </div>

  {% if paginator.total_pages > 1 %}
  <div class="pagination-wrapper">

    <div class="pagination-left">
      {% if paginator.previous_page %}
        <a href="{{ paginator.previous_page_path }}" class="page-nav">← Newer</a>
      {% else %}
        <span class="page-nav disabled">← Newer</span>
      {% endif %}
    </div>

    <div class="pagination-center">
      Page {{ paginator.page }} of {{ paginator.total_pages }}
    </div>

    <div class="pagination-right">
      {% if paginator.next_page %}
        <a href="{{ paginator.next_page_path }}" class="page-nav">Older →</a>
      {% else %}
        <span class="page-nav disabled">Older →</span>
      {% endif %}
    </div>

  </div>
  {% endif %}
</section>