]> git.xn--bdkaa.com Git - xn--bdkaa.com.git/commitdiff
fix links & add projects
authorEvgenii Akentev <i@ak3n.com>
Tue, 3 Sep 2024 10:36:07 +0000 (14:36 +0400)
committerEvgenii Akentev <hi@ak3n.com>
Wed, 4 Sep 2024 12:57:04 +0000 (16:57 +0400)
config.toml
themes/theme/layouts/index.html

index 53ddb8f47fe45e6a2fba25d9a9a676cbe4aa9142..6384d46592e4cfe8093839eb5ea78a72ccbcde2f 100644 (file)
@@ -1,4 +1,4 @@
-baseURL = "/"
+baseURL = "https://ak3n.com/"
 languageCode = "en-us"
 title = "evgenii akentev"
 theme = "theme"
index 2f2586d74ce916232b956f7ada812baae9a96428..5da4e4af1e4ffbd47a3aa45f60d42694934a63ac 100644 (file)
@@ -10,35 +10,47 @@ programming languages, zero knowledge proofs, &c.
 posts
 -----
 {{ range (where .Site.RegularPages.ByPublishDate.Reverse "Type" "in" .Site.Params.mainSections) }}
-- <time>{{ .Date.Format (.Site.Params.dateform | default "02 Jan 06") }}</time> <a href="{{ .Permalink }}">{{ .Title }}</a>{{ end }}
+- <time>{{ .Date.Format (.Site.Params.dateform | default "02 Jan 06") }}</time> <a href="{{ .Permalink }}">{{ .Permalink }}</a>{{ end }}
 
-rss: <a href="https:{{ .Site.BaseURL }}index.xml">https:{{ .Site.BaseURL }}index.xml</a> 
+rss: <a href="{{ .Site.BaseURL }}index.xml">{{ .Site.BaseURL }}index.xml</a> 
 
 projects
 --------
 
-code: <a href="https://git.ak3n.com">https://git.ak3n.com</a> 
+Most of my code is available at <a href="https://git.ak3n.com">https://git.ak3n.com</a> 
 
-Hackage packages
+Haskell packages
 
 - <a href="https://hackage.haskell.org/package/debug-trace-file">https://hackage.haskell.org/package/debug-trace-file</a>
+    Like Debug.Trace but writing to files.
+
 - <a href="https://hackage.haskell.org/package/line-indexed-cursor">https://hackage.haskell.org/package/line-indexed-cursor</a>
+    Line-indexed file reader.
+
+- <a href="https://git.ak3n.com/?p=handle-examples.git">https://git.ak3n.com/?p=handle-examples.git</a>
+    Examples of the Handle pattern in Haskell
+
+- <a href="https://git.ak3n.com/?p=machines.hs.git">https://git.ak3n.com/?p=machines.hs.git</a>
+    Abstract machines in Haskell
 
 lean4 packages
 
-- <a href="https://git.ak3n.com/?p=temple.lean.git">https://git.ak3n.com/?p=temple.lean.git</a> — 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.
+- <a href="https://git.ak3n.com/?p=temple.lean.git">https://git.ak3n.com/?p=temple.lean.git</a>
+    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
 
-- <a href="https://ulearn.me/Course/fpintroduction/">Introduction to Functional Programming</a> — 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).
+- <a href="https://ulearn.me/Course/fpintroduction/">https://ulearn.me/Course/fpintroduction</a>
+    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).
 
-- <a href="https://cubicaltt.ak3n.com">https://cubicaltt.ak3n.com</a> — A web version of <a href="https://github.com/mortberg/cubicaltt">https://github.com/mortberg/cubicaltt</a>,
-  built in Haskell using Reflex, GHCJS and Monaco, to reduce the entrance barrier.
-  Source code available at <a href="https://git.ak3n.com/?p=cubicaltt.git">https://git.ak3n.com/?p=cubicaltt.git</a>.
+- <a href="https://cubicaltt.ak3n.com">https://cubicaltt.ak3n.com</a>
+    A web version of <a href="https://github.com/mortberg/cubicaltt">https://github.com/mortberg/cubicaltt</a>, built in Haskell
+  using Reflex, GHCJS and Monaco, to reduce the entrance barrier. Source code
+  is available at <a href="https://git.ak3n.com/?p=cubicaltt.git">https://git.ak3n.com/?p=cubicaltt.git</a>.
 
 contact
 -------