Migrate "home" posts.

jekyll
Joshua Potter 2023-12-17 08:16:04 -07:00
parent 0ebdcd7586
commit 414b7543ca
18 changed files with 441 additions and 24 deletions

View File

@ -8,4 +8,6 @@ gem "lagrange", "~> 4.0"
# If you have any plugins, put them here!
group :jekyll_plugins do
gem "jekyll-feed", "~> 0.12"
gem "jekyll-seo-tag", "~> 2.8"
gem "jekyll-sitemap", "~> 1.4"
end

View File

@ -81,6 +81,8 @@ PLATFORMS
DEPENDENCIES
jekyll (~> 4.3.2)
jekyll-feed (~> 0.12)
jekyll-seo-tag (~> 2.8)
jekyll-sitemap (~> 1.4)
lagrange (~> 4.0)
BUNDLED WITH

View File

@ -20,12 +20,19 @@
title: Joshua Potter
description: My portfolio
author: Joshua Potter
github_username: jrpotter
# Build settings
theme: lagrange
plugins:
- jekyll-feed
- jekyll-seo-tag
- jekyll-sitemap
markdown: kramdown
highlighter: route
permalink: /:title
# Exclude from processing.
# The following items will not be processed, by default.

8
_data/settings.yml Normal file
View File

@ -0,0 +1,8 @@
menu:
- name: "Home"
- name: "About"
url: "about.html"
social:
- icon: "github"
link: "https://github.com/jrpotter"

30
_layouts/home.html Normal file
View File

@ -0,0 +1,30 @@
---
layout: default
---
<p class="home-description">
The following websites are served from <a href="https://nixos.org/" target="_blank">NixOS</a>
machines hosted on <a href="https://www.digitalocean.com/" target="_blank">Digital Ocean</a>.
Configuration files for each of my machines can be found <a href="https://github.com/jrpotter/nixos-configuration" target="_blank">here</a>.
If interested in starting a similar hosting solution, consider getting a $200
credit using my <a href="https://m.do.co/c/c65b89434c1b" target="_blank">referral link</a>.
</p>
{% for post in site.posts %}
{% if post.categories contains "home" %}
<div class="posts-container">
<h1>
<a href="{{ post.href }}" target="_blank">{{ post.title }}</a>
</h1>
{% if post.image %}
<div class="thumbnail-container">
<a href="{{ post.href }}" target="_blank"><img src="{{ site.github.url }}/assets/img/{{ post.image }}"></a>
</div>
{% endif %}
<p>
{{ post.content }}
<span class="post-date"><i class="fa fa-calendar" aria-hidden="true"></i> {{ post.date | date_to_string }}</span>
</p>
</div>
{% endif %}
{% endfor %}

13
_posts/2021-12-08-blog.md Normal file
View File

@ -0,0 +1,13 @@
---
layout: post
title: Blog
categories: home
tags: [ruby, jekyll, nix]
href: "https://blog.jrpotter.com"
image: jekyll.png
---
I occasionally write about (usually) technical concepts in my blog. Originally
powered by Github Pages, I've since moved the [Jekyll](https://jekyllrb.com/){:target="_blank"}-based
project to a self-hosting solution. Theming is provided by
[Chirpy](https://github.com/cotes2020/jekyll-theme-chirpy){:target="_blank"}.

View File

@ -0,0 +1,13 @@
---
layout: post
title: Bookshelf
categories: home
tags: [lean, latex, nix]
href: "https://bookshelf.jrpotter.com"
image: lean.svg
---
A collection of books I am actively studying. Usually mathematics or
computer-science based, I aim to prove concepts as I encounter them using the
[Lean](https://lean-lang.org/){:target="_blank"} interactive theorem prover. All
proofs are also available in [LaTeX](https://www.latex-project.org/){:target="_blank"}.

View File

@ -0,0 +1,16 @@
---
layout: post
title: BoardWise
categories: home
tags: [elixir, react, nix]
href: "https://boardwise.gg"
image: boardwise.svg
---
A [Phoenix](https://www.phoenixframework.org/){:target="_blank"}- and
[React](https://react.dev/){:target="_blank"}-based project that provides an
interface for finding chess coaches. This serves as an alternative to those
found on [Lichess](https://lichess.org/coach){:target="_blank"} and
[Chess.com](https://www.chess.com/coaches){:target="_blank"}. Based on the
[Tailwind Studio](https://tailwindui.com/templates/studio){:target="_blank"}
theme.

View File

@ -0,0 +1,6 @@
@import "base",
"code",
"default",
"home",
"post",
"social-icons"

12
_sass/_home.scss Normal file
View File

@ -0,0 +1,12 @@
.home-description, .posts-container {
padding-bottom: 25px;
}
.thumbnail-container {
text-align: center;
img {
width: auto;
height: 200px;
}
}

View File

@ -1,18 +0,0 @@
---
layout: page
title: About
permalink: /about/
---
This is the base Jekyll theme. You can find out more info about customizing your Jekyll theme, as well as basic Jekyll usage documentation at [jekyllrb.com](https://jekyllrb.com/)
You can find the source code for Minima at GitHub:
[jekyll][jekyll-organization] /
[minima](https://github.com/jekyll/minima)
You can find the source code for Jekyll at GitHub:
[jekyll][jekyll-organization] /
[jekyll](https://github.com/jekyll/jekyll)
[jekyll-organization]: https://github.com/jekyll

5
assets/img/boardwise.svg Normal file
View File

@ -0,0 +1,5 @@
<?xml version="1.0" encoding="utf-8"?>
<svg viewBox="0 0 25 25" xmlns="http://www.w3.org/2000/svg">
<path d="M 12.5 0 H 20 Q 25 0, 25 5 V 12.5 H 12.5 Z" fill="rgb(10 10 10)"></path>
<path d="M 0 20 Q 0 25, 5 25 H 12.5 V 12.5 H 0 Z" fill="rgb(10 10 10)"></path>
</svg>

After

Width:  |  Height:  |  Size: 272 B

BIN
assets/img/jekyll.png Normal file

Binary file not shown.

After

Width:  |  Height:  |  Size: 45 KiB

314
assets/img/lean.svg Normal file
View File

@ -0,0 +1,314 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<svg
xmlns:dc="http://purl.org/dc/elements/1.1/"
xmlns:cc="http://creativecommons.org/ns#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:svg="http://www.w3.org/2000/svg"
xmlns="http://www.w3.org/2000/svg"
xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
width="300"
height="150"
viewBox="0 0 240 120"
version="1.1"
id="svg2"
inkscape:version="1.0.2 (e86c870879, 2021-01-15)"
sodipodi:docname="lean_logo.svg">
<metadata
id="metadata113">
<rdf:RDF>
<cc:Work
rdf:about="">
<dc:format>image/svg+xml</dc:format>
<dc:type
rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
</cc:Work>
</rdf:RDF>
</metadata>
<sodipodi:namedview
pagecolor="#ffffff"
bordercolor="#666666"
borderopacity="1"
objecttolerance="10"
gridtolerance="10"
guidetolerance="10"
inkscape:pageopacity="0"
inkscape:pageshadow="2"
inkscape:window-width="2560"
inkscape:window-height="1418"
id="namedview111"
showgrid="false"
inkscape:zoom="4"
inkscape:cx="223.20569"
inkscape:cy="58.300704"
inkscape:window-x="0"
inkscape:window-y="0"
inkscape:window-maximized="1"
inkscape:current-layer="surface1"
inkscape:document-rotation="0"
showguides="true"
inkscape:guide-bbox="true">
<sodipodi:guide
position="70.622896,28.982703"
orientation="0,-1"
id="guide193" />
<sodipodi:guide
position="55.91963,99.309873"
orientation="0,-1"
id="guide205" />
<sodipodi:guide
position="63.7,64.3"
orientation="0,-1"
id="guide207" />
<sodipodi:guide
position="57.515625,28.982703"
orientation="0,-1"
id="guide209" />
<sodipodi:guide
position="57.403125,27.453125"
orientation="0,-1"
id="guide211" />
<sodipodi:guide
position="9.834375,27.071875"
orientation="1,0"
id="guide213" />
<sodipodi:guide
position="11.771875,28.396875"
orientation="1,0"
id="guide215" />
</sodipodi:namedview>
<defs
id="defs4">
<g
id="g6">
<symbol
overflow="visible"
id="glyph0-0"
style="overflow:visible">
<path
style="stroke:none"
d="m -5.140625,0 -180.499995,0 0,-262.4375 180.499995,0 z M -178.125,-250.15625 l 0,237.09375 79.171875,-118.75 z m 5.14063,243.03125 154.781245,0 -77.1875,-117.5625 z m 77.593745,-131.8125 77.1875,-116.375 -154.781245,0 z m 3.5625,7.125 79.15625,118.75 0,-237.09375 z"
id="path9"
inkscape:connector-curvature="0" />
</symbol>
<symbol
overflow="visible"
id="glyph0-1"
style="overflow:visible">
<path
style="stroke:none"
d="m -24.9375,-135.375 -143.29687,0 0,-6.32812 143.29687,0 0,-129.04688 -146.45312,0 0,-5.9375 152.781245,0 0,276.6875 -153.578125,0 0,-5.9375 147.25,0 z"
id="path12"
inkscape:connector-curvature="0" />
</symbol>
<symbol
overflow="visible"
id="glyph1-0"
style="overflow:visible">
<path
style="stroke:none"
d="m 5.140625,0 180.499995,0 0,-262.4375 -180.499995,0 z M 178.125,-250.15625 l 0,237.09375 -79.171875,-118.75 z m -5.14063,243.03125 -154.781245,0 77.1875,-117.5625 z m -77.593745,-131.8125 -77.1875,-116.375 154.781245,0 z m -3.5625,7.125 -79.15625,118.75 0,-237.09375 z"
id="path15"
inkscape:connector-curvature="0" />
</symbol>
<symbol
overflow="visible"
id="glyph1-1"
style="overflow:visible">
<path
style="stroke:none"
d="m 24.9375,0 0,-264.40625 L 207.8125,0 l 6.32812,0 0,-277.07812 -5.9375,0 0,265.999995 -184.062495,-265.999995 -5.53125,-0.39063 0,277.46875 z"
id="path18"
inkscape:connector-curvature="0" />
</symbol>
<symbol
overflow="visible"
id="glyph1-2"
style="overflow:visible">
<path
style="stroke:none"
d="m 24.9375,-276.6875 -6.328125,0 0,276.6875 C 70.453125,0 121.92188,0 173.76562,0 l 0,-6.328125 -148.82812,0 z"
id="path21"
inkscape:connector-curvature="0" />
</symbol>
<symbol
overflow="visible"
id="glyph2-0"
style="overflow:visible">
<path
style="stroke:none"
d="m 1.21875,0 42.5,0 0,-61.796875 -42.5,0 z m 40.734375,-58.921875 0,55.84375 -18.640625,-27.96875 z m -1.21875,57.25 -36.453125,0 18.1875,-27.6875 z M 22.46875,-32.71875 4.28125,-60.125 l 36.453125,0 z m -0.84375,1.671875 -18.640625,27.96875 0,-55.84375 z"
id="path24"
inkscape:connector-curvature="0" />
</symbol>
<symbol
overflow="visible"
id="glyph2-1"
style="overflow:visible">
<path
style="stroke:none"
d="m 24.796875,0.28125 0,-64.046875 22.5625,0 0,-1.484375 -46.515625,0 0,1.484375 22.546875,0 0,64.046875 z"
id="path27"
inkscape:connector-curvature="0" />
</symbol>
<symbol
overflow="visible"
id="glyph2-2"
style="overflow:visible">
<path
style="stroke:none"
d="m 5.78125,-65.15625 -1.40625,0 0,65.15625 1.40625,0 0,-32.34375 40.921875,0 0,32.34375 1.484375,0 0,-65.15625 -1.484375,0 0,31.40625 -40.921875,0 z"
id="path30"
inkscape:connector-curvature="0" />
</symbol>
<symbol
overflow="visible"
id="glyph2-3"
style="overflow:visible">
<path
style="stroke:none"
d="m 5.875,-31.875 33.75,0 0,-1.5 -33.75,0 0,-30.390625 34.484375,0 0,-1.390625 -35.984375,0 0,65.15625 36.171875,0 0,-1.390625 -34.671875,0 z"
id="path33"
inkscape:connector-curvature="0" />
</symbol>
<symbol
overflow="visible"
id="glyph2-4"
style="overflow:visible">
<path
style="stroke:none"
d="m 67.765625,-32.625 c 0,8.859375 -3.53125,16.78125 -9.21875,22.5625 -5.78125,5.875 -13.796875,9.5 -22.5625,9.5 -8.765625,0 -16.6875,-3.625 -22.46875,-9.5 C 7.828125,-15.84375 4.1875,-23.765625 4.1875,-32.625 c 0,-8.859375 3.640625,-16.78125 9.328125,-22.5625 5.78125,-5.875 13.703125,-9.5 22.46875,-9.5 8.765625,0 16.78125,3.625 22.5625,9.5 5.6875,5.78125 9.21875,13.703125 9.21875,22.5625 z m -65.0625,0 c 0,9.234375 3.828125,17.609375 9.78125,23.671875 5.96875,6.15625 14.359375,9.890625 23.5,9.890625 9.234375,0 17.515625,-3.734375 23.578125,-9.890625 5.96875,-6.0625 9.796875,-14.4375 9.796875,-23.671875 0,-9.234375 -3.828125,-17.625 -9.796875,-23.671875 C 53.5,-62.453125 45.21875,-66.1875 35.984375,-66.1875 c -9.140625,0 -17.53125,3.734375 -23.5,9.890625 C 6.53125,-50.25 2.703125,-41.859375 2.703125,-32.625 z"
id="path36"
inkscape:connector-curvature="0" />
</symbol>
<symbol
overflow="visible"
id="glyph2-5"
style="overflow:visible">
<path
style="stroke:none"
d="m 5.78125,-63.765625 21.15625,0 c 24.234375,0 24.234375,35.234375 0,35.234375 l -12.671875,0 0,1.40625 L 44.28125,0 46.421875,0 16.40625,-27.125 l 10.53125,0 c 26.109375,0 26.109375,-38.125 0,-38.125 l -22.5625,0 0,65.25 1.40625,0 z"
id="path39"
inkscape:connector-curvature="0" />
</symbol>
<symbol
overflow="visible"
id="glyph2-6"
style="overflow:visible">
<path
style="stroke:none"
d="m 5.78125,-63.109375 26.5625,39.53125 1.21875,0 26.5625,-39.53125 0,63.109375 1.40625,0 0,-65.25 -1.5,0 -27.125,39.984375 L 5.875,-65.25 l -1.5,0 0,65.25 1.40625,0 z"
id="path42"
inkscape:connector-curvature="0" />
</symbol>
<symbol
overflow="visible"
id="glyph2-7"
style="overflow:visible">
<path
style="stroke:none"
d=""
id="path45"
inkscape:connector-curvature="0" />
</symbol>
<symbol
overflow="visible"
id="glyph2-8"
style="overflow:visible">
<path
style="stroke:none"
d="m 4.375,-64.5 c 0,21.53125 0,42.96875 0,64.5 l 1.5,0 0,-24.796875 21.0625,0 c 26.109375,0 26.109375,-40.453125 0,-40.453125 l -22.5625,0 z m 1.5,38.3125 0,-37.578125 21.0625,0 c 24.234375,0 24.234375,37.578125 0,37.578125 z"
id="path48"
inkscape:connector-curvature="0" />
</symbol>
<symbol
overflow="visible"
id="glyph2-9"
style="overflow:visible">
<path
style="stroke:none"
d="m 5.78125,-63.765625 21.15625,0 c 24.234375,0 24.234375,35.234375 0,35.234375 l -12.671875,0 0,1.40625 L 44.28125,0 46.421875,0 16.40625,-27.125 l 10.53125,0 c 26.109375,0 26.109375,-38.125 0,-38.125 l -22.5625,0 0,65.25 1.40625,0 z"
id="path51"
inkscape:connector-curvature="0" />
</symbol>
<symbol
overflow="visible"
id="glyph2-10"
style="overflow:visible">
<path
style="stroke:none"
d="m 67.03125,-32.625 c 0,8.859375 -3.546875,16.78125 -9.234375,22.5625 -5.78125,5.875 -13.796875,9.5 -22.5625,9.5 -8.765625,0 -16.6875,-3.625 -22.46875,-9.5 -5.6875,-5.78125 -9.3125,-13.703125 -9.3125,-22.5625 0,-8.859375 3.625,-16.78125 9.3125,-22.5625 5.78125,-5.875 13.703125,-9.5 22.46875,-9.5 8.765625,0 16.78125,3.625 22.5625,9.5 5.6875,5.78125 9.234375,13.703125 9.234375,22.5625 z m -65.078125,0 c 0,9.234375 3.828125,17.609375 9.796875,23.671875 5.96875,6.15625 14.34375,9.890625 23.484375,9.890625 9.234375,0 17.53125,-3.734375 23.59375,-9.890625 5.953125,-6.0625 9.78125,-14.4375 9.78125,-23.671875 0,-9.234375 -3.828125,-17.625 -9.78125,-23.671875 -6.0625,-6.15625 -14.359375,-9.890625 -23.59375,-9.890625 -9.140625,0 -17.515625,3.734375 -23.484375,9.890625 C 5.78125,-50.25 1.953125,-41.859375 1.953125,-32.625 z"
id="path54"
inkscape:connector-curvature="0" />
</symbol>
<symbol
overflow="visible"
id="glyph2-11"
style="overflow:visible">
<path
style="stroke:none"
d="m 27.5,-0.84375 -25.359375,-64.3125 -1.578125,0 26.1875,66.1875 1.59375,0 26.1875,-66.1875 -1.578125,0 z"
id="path57"
inkscape:connector-curvature="0" />
</symbol>
<symbol
overflow="visible"
id="glyph2-12"
style="overflow:visible">
<path
style="stroke:none"
d="m 5.875,-31.875 33.75,0 0,-1.5 -33.75,0 0,-30.390625 34.484375,0 0,-1.390625 -35.984375,0 0,65.15625 36.171875,0 0,-1.390625 -34.671875,0 z"
id="path60"
inkscape:connector-curvature="0" />
</symbol>
</g>
<clipPath
clipPathUnits="userSpaceOnUse"
id="clipPath3094">
<rect
style="fill:#0000ff;fill-rule:evenodd;stroke:#000000;stroke-width:0.80000001px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
id="rect3096"
width="754.1781"
height="300.61642"
x="13.184932"
y="8.90411" />
</clipPath>
</defs>
<g
id="surface1"
clip-path="url(#clipPath3094)"
transform="matrix(0.30563256,0,0,0.25971391,2.2768141,14.142563)">
<g
style="fill:#000000;fill-opacity:1"
id="g71" />
<g
id="g1226">
<path
style="fill:#000000;fill-opacity:1;stroke:none"
d="M 323.2793,166.51926 H 179.98243 v -6.32812 H 323.2793 V 31.14426 H 176.82618 v -5.9375 h 152.78124 v 276.6875 h -304.879816 V 25.210709 h 6.339311 v 270.787071 h 292.212385 z"
id="path188"
inkscape:connector-curvature="0"
sodipodi:nodetypes="ccccccccccccccc" />
<path
style="fill:#000000;fill-opacity:1;stroke:none"
d="M 554.58618,301.89426 V 37.48801 l 182.875,264.40625 h 6.32812 V 25.303323 h -5.9375 V 290.81613 L 553.78931,25.303323 h -5.53125 V 301.89426 Z"
id="path196"
inkscape:connector-curvature="0"
sodipodi:nodetypes="ccccccccccc" />
<path
style="fill:none;stroke:#000000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1"
d="m 493.91087,342.7146 35.08932,83.78546 35.25165,-83.75238"
transform="matrix(3.192199,0,0,3.192199,-1250.002,-1067.559)"
id="path75"
inkscape:connector-curvature="0"
sodipodi:nodetypes="ccc" />
<path
style="fill:none;stroke:#000000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1"
d="m 511.6195,385.54515 34.93019,0.0"
transform="matrix(3.192199,0,0,3.192199,-1250.002,-1067.559)"
id="path77"
inkscape:connector-curvature="0"
sodipodi:nodetypes="cc" />
</g>
</g>
</svg>

After

Width:  |  Height:  |  Size: 13 KiB

4
index.html Normal file
View File

@ -0,0 +1,4 @@
---
layout: home
title: Home
---

View File

@ -1,6 +0,0 @@
---
# Feel free to add content and custom Front Matter to this file.
# To modify the layout, see https://jekyllrb.com/docs/themes/#overriding-theme-defaults
layout: home
---

5
menu/about.md Normal file
View File

@ -0,0 +1,5 @@
---
layout: page
title: About
permalink: /about
---

4
menu/home.md Normal file
View File

@ -0,0 +1,4 @@
---
layout: home
title: Home
---