From 503656ea49c1746279525e151fbeef4e2e47895f Mon Sep 17 00:00:00 2001 From: Evgenii Akentev Date: Tue, 3 Sep 2024 14:36:07 +0400 Subject: [PATCH] fix links & add projects --- config.toml | 2 +- themes/theme/layouts/index.html | 38 ++++++++++++++++++++++----------- 2 files changed, 26 insertions(+), 14 deletions(-) diff --git a/config.toml b/config.toml index 53ddb8f..6384d46 100644 --- a/config.toml +++ b/config.toml @@ -1,4 +1,4 @@ -baseURL = "/" +baseURL = "https://ak3n.com/" languageCode = "en-us" title = "evgenii akentev" theme = "theme" diff --git a/themes/theme/layouts/index.html b/themes/theme/layouts/index.html index 2f2586d..5da4e4a 100644 --- a/themes/theme/layouts/index.html +++ b/themes/theme/layouts/index.html @@ -10,35 +10,47 @@ programming languages, zero knowledge proofs, &c. posts ----- {{ range (where .Site.RegularPages.ByPublishDate.Reverse "Type" "in" .Site.Params.mainSections) }} -- {{ .Title }}{{ end }} +- {{ .Permalink }}{{ end }} -rss: https:{{ .Site.BaseURL }}index.xml +rss: {{ .Site.BaseURL }}index.xml projects -------- -code: https://git.ak3n.com +Most of my code is available at https://git.ak3n.com -Hackage packages +Haskell packages - https://hackage.haskell.org/package/debug-trace-file + Like Debug.Trace but writing to files. + - https://hackage.haskell.org/package/line-indexed-cursor + Line-indexed file reader. + +- https://git.ak3n.com/?p=handle-examples.git + Examples of the Handle pattern in Haskell + +- https://git.ak3n.com/?p=machines.hs.git + Abstract machines in Haskell lean4 packages -- https://git.ak3n.com/?p=temple.lean.git — A rudimentary template engine - written in Lean4 without fancy dependent types and useful operators yet. - It can parse, build a tree, and substitute using de Bruijn Indices. +- https://git.ak3n.com/?p=temple.lean.git + A rudimentary template engine written in Lean4 without fancy dependent + types and useful operators yet. It can parse, build a tree, and substitute + using de Bruijn Indices. Educational -- Introduction to Functional Programming — An online course on functional - programming that I helped to create and teach between 2019 and 2021. - Designed for bachelor students at Ural Federal University (taught in Russian). +- https://ulearn.me/Course/fpintroduction + An online course on functional programming that I helped to create and + teach between 2019 and 2021. Designed for bachelor students at Ural Federal + University (taught in Russian). -- https://cubicaltt.ak3n.com — A web version of https://github.com/mortberg/cubicaltt, - built in Haskell using Reflex, GHCJS and Monaco, to reduce the entrance barrier. - Source code available at https://git.ak3n.com/?p=cubicaltt.git. +- https://cubicaltt.ak3n.com + A web version of https://github.com/mortberg/cubicaltt, built in Haskell + using Reflex, GHCJS and Monaco, to reduce the entrance barrier. Source code + is available at https://git.ak3n.com/?p=cubicaltt.git. contact ------- -- 2.50.1