Compare commits

...

4 Commits

Author SHA1 Message Date
Tudor Roman 46a175d398
Fix font weights
Build and (eventually) deploy / Check if website builds (push) Successful in 42s Details
Build and (eventually) deploy / Deploy to Fly.io (push) Successful in 1m37s Details
2024-04-06 10:02:00 +02:00
Tudor Roman 952778181e
I forgot about the other page 2024-04-06 09:46:49 +02:00
Tudor Roman 6b5147fa37
Remove GitLab CI 2024-04-06 09:42:09 +02:00
Tudor Roman 872196adc8
Move .gitea to .forgejo 2024-04-06 09:40:46 +02:00
7 changed files with 23 additions and 42 deletions

View File

@ -1,32 +0,0 @@
stages:
- build
- deploy
build:
stage: build
image: nixpkgs/nix:nixos-23.11
variables:
DENO_DIR: "$CI_PROJECT_DIR/.deno"
cache:
- key:
files:
- deno.lock
paths:
- "$DENO_DIR"
before_script:
- mkdir -p "$HOME/.config/nix"
- echo 'experimental-features = nix-command flakes' > "$HOME/.config/nix/nix.conf"
script:
- nix run
deploy:
stage: deploy
rules:
- if: "$CI_COMMIT_REF_NAME == 'master'"
image: golang:1.22
before_script:
- apt-get update -qq && apt-get install -y curl
- curl -L https://fly.io/install.sh | sh
- export PATH="/root/.fly/bin:$PATH"
script:
- flyctl deploy

View File

@ -1,4 +0,0 @@
---
title: Another page
---
# Another page!

View File

@ -42,3 +42,12 @@
font-weight: 400;
src: url('/static/fonts/roboto-slab-v34-latin_latin-ext-regular.woff2') format('woff2'); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
}
/* roboto-slab-500 - latin_latin-ext */
@font-face {
font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
font-family: 'Roboto Slab';
font-style: normal;
font-weight: 500;
src: url('/static/fonts/roboto-slab-v34-latin_latin-ext-500.woff2') format('woff2'); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
}

View File

@ -69,13 +69,13 @@ export default () => {
</summary>
<ul className="list-disc ml-4 mb-4 text-base">
<li><strong className="font-semibold">Equational Programming</strong>: lambda calculus, equational specifications.</li>
<li><strong className="font-semibold">Concurrency &amp; Multithreading</strong>: synchronisation primitives, CAS, ABA Problem, and a bunch more stuff.</li>
<li><strong className="font-semibold">Secure Programming</strong>: secure design, cryptography, binary exploitation and defences, testing, web security.
<li><strong className="font-medium">Equational Programming</strong>: lambda calculus, equational specifications.</li>
<li><strong className="font-medium">Concurrency &amp; Multithreading</strong>: synchronisation primitives, CAS, ABA Problem, and a bunch more stuff.</li>
<li><strong className="font-medium">Secure Programming</strong>: secure design, cryptography, binary exploitation and defences, testing, web security.
Implemented an end-to-end encrypted chat server and client, based on a custom cryptography protocol.</li>
<li><strong className="font-semibold">Advanced Network Programming</strong>: Linux networking internals and optimisations,
<li><strong className="font-medium">Advanced Network Programming</strong>: Linux networking internals and optimisations,
BGP, Anycast. Implemented a small user-space TCP stack as part of the assignment.</li>
<li><strong className="font-semibold">Compiler Construction</strong>: parsers, IR-level optimisations, LLVM.
<li><strong className="font-medium">Compiler Construction</strong>: parsers, IR-level optimisations, LLVM.
Worked on a compiler for a simple C-like language, implemented LLVM optimisation passes.</li>
</ul>
</details>

View File

@ -8,7 +8,7 @@
}
h1, h2, h3 {
@apply text-left text-slab;
@apply text-left text-slab font-[500];
}
h1, h2 {
@ -48,6 +48,14 @@
p, li {
@apply max-w-prose;
}
h1, h2, h3 {
@apply text-slab font-[500];
}
strong {
@apply font-[500];
}
}
}