From 5ed4998560137d8c44e8949ffe30a5423b82d7fb Mon Sep 17 00:00:00 2001 From: Thomas Letan Date: Sat, 19 Nov 2022 12:53:03 +0100 Subject: Monthly retrospective: October and November 2022 --- .gitignore | 31 +++++++++++++++---------------- site/index.org | 1 + site/news/MonthlyRetrospectives.org | 2 ++ site/news/November2022.org | 33 +++++++++++++++++++++++++++++++++ site/news/September2022.org | 1 + 5 files changed, 52 insertions(+), 16 deletions(-) create mode 100644 site/news/November2022.org diff --git a/.gitignore b/.gitignore index f721f54..bb5896c 100644 --- a/.gitignore +++ b/.gitignore @@ -13,24 +13,23 @@ .theme.deps _opam logs/coqffi-tutorial.stderr -logs/site--cleopatra--commands.html.stderr -logs/site--cleopatra--coq.html.stderr -logs/site--cleopatra--dependencies.html.stderr -logs/site--cleopatra.html.stderr -logs/site--cleopatra--literate-programming.html.stderr -logs/site--cleopatra--org.html.stderr -logs/site--cleopatra--soupault.html.stderr -logs/site--cleopatra--theme.html.stderr logs/site--index.html.stderr logs/site--news--August2022.html.stderr logs/site--news--ColorlessThemes-0.2.html.stderr logs/site--news--MonthlyRetrospectives.html.stderr +logs/site--news--November2022.html.stderr logs/site--news--September2022.html.stderr logs/site--opinions--index.html.stderr logs/site--opinions--MonadTransformers.html.stderr logs/site--opinions--StackedGit.html.stderr +logs/site--posts--cleopatra--commands.html.stderr +logs/site--posts--cleopatra--coq.html.stderr +logs/site--posts--cleopatra--dependencies.html.stderr logs/site--posts--cleopatra.html.stderr +logs/site--posts--cleopatra--literate-programming.html.stderr +logs/site--posts--cleopatra--org.html.stderr logs/site--posts--cleopatra--soupault.html.stderr +logs/site--posts--cleopatra--theme.html.stderr logs/site--posts--CleopatraV1.html.stderr logs/site--posts--CoqffiEcho.html.stderr logs/site--posts--Coqffi.html.stderr @@ -50,24 +49,23 @@ logs/site--projects--index.html.stderr logs/start-server.stderr logs/tangling-lp.stderr logs/coqffi-tutorial.stdout -logs/site--cleopatra--commands.html.stdout -logs/site--cleopatra--coq.html.stdout -logs/site--cleopatra--dependencies.html.stdout -logs/site--cleopatra.html.stdout -logs/site--cleopatra--literate-programming.html.stdout -logs/site--cleopatra--org.html.stdout -logs/site--cleopatra--soupault.html.stdout -logs/site--cleopatra--theme.html.stdout logs/site--index.html.stdout logs/site--news--August2022.html.stdout logs/site--news--ColorlessThemes-0.2.html.stdout logs/site--news--MonthlyRetrospectives.html.stdout +logs/site--news--November2022.html.stdout logs/site--news--September2022.html.stdout logs/site--opinions--index.html.stdout logs/site--opinions--MonadTransformers.html.stdout logs/site--opinions--StackedGit.html.stdout +logs/site--posts--cleopatra--commands.html.stdout +logs/site--posts--cleopatra--coq.html.stdout +logs/site--posts--cleopatra--dependencies.html.stdout logs/site--posts--cleopatra.html.stdout +logs/site--posts--cleopatra--literate-programming.html.stdout +logs/site--posts--cleopatra--org.html.stdout logs/site--posts--cleopatra--soupault.html.stdout +logs/site--posts--cleopatra--theme.html.stdout logs/site--posts--CleopatraV1.html.stdout logs/site--posts--CoqffiEcho.html.stdout logs/site--posts--Coqffi.html.stdout @@ -96,6 +94,7 @@ site/index.html site/news/August2022.html site/news/ColorlessThemes-0.2.html site/news/MonthlyRetrospectives.html +site/news/November2022.html site/news/September2022.html site/opinions/MonadTransformers.html site/opinions/StackedGit.html diff --git a/site/index.org b/site/index.org index 574fb22..640b8b1 100644 --- a/site/index.org +++ b/site/index.org @@ -9,6 +9,7 @@ let me know!]. All categories combined, here is the last pieces of contents I have published on this website. + - [[./news/November2022.org][Monthly Retrospective: October and November 2022]] /(November 19, 2022)/ - [[./news/September2022.org][Monthly Retrospective: September 2022]] /(September 18, 2022)/ - [[./news/August2022.org][Monthly Retrospective: August 2022]] /(August 15, 2022)/ - [[./posts/RankNTypesInOCaml.org][Writing a Function Whose Argument is a Polymorphic Function in diff --git a/site/news/MonthlyRetrospectives.org b/site/news/MonthlyRetrospectives.org index 5961447..54af833 100644 --- a/site/news/MonthlyRetrospectives.org +++ b/site/news/MonthlyRetrospectives.org @@ -8,6 +8,8 @@ this thought. That is, until today. I anticipate the main audience of this post —and hopefully the ones that will come afterwards— will be future me, curious to remember what he was up to at that time. +- [[./November2022.html][October and November 2022]], when two months pass by way too quickly + for me to progress on any side projects. - [[./September2022.html][September 2022]], when I talked about Spatial Sway for the first time on this website (but not on Twitter/the Fediverse to be honest). - [[./August2022.html][August 2022]], when I gave up on *~cleopatra~* and was able to diff --git a/site/news/November2022.org b/site/news/November2022.org new file mode 100644 index 0000000..3fc831c --- /dev/null +++ b/site/news/November2022.org @@ -0,0 +1,33 @@ +#+TITLE: Monthly Retrospective: October and November 2022 + +#+SERIES: ./MonthlyRetrospectives.html +#+SERIES_PREV: ./September2022.html + +It is November 19 today, and I’m one month and 4 days late for the +October Retrospective! Truth is, ~$WORK~ has been intense lately, to a +point where I have not made much progress on my side projects. Anyway. + +I have implemented the last feature I was really missing in my daily +use of *Spatial Sway*: moving windows to adjacent workspaces. As a +result, I think I can say that Spatial Sway has really reached the +“Minimum Viable Product” stage, with a convenient UX, and a nice +enough UI. It is still lacking when it comes to configurability, +though. It is the next item of my TODO list, but I have no idea when I +will implement the support for a configuration file. + +Another highlight of the past two months was the [[https://nanowrimo.org][NaNoWriMo]]. I took the +last week of October and the first week of November off to plan and +start writing a fiction project for it. Writing again was really nice, +and I even gave writing fiction in English a shot. That made me +uncover a bug in the English support of [[https://crates.io/crates/ogam][ogam]], my markup language for +fiction writers, which led me to publish a fix on Crates.io. However, +as soon as I came back to ~$WORK~, my writing spree ended. That’s +Okay, though. It gave me plenty of ideas for future sessions. Thanks, +NaNoWriMo! Sorry to quit so soon, and see you next year, maybe. + +Finally, a nice surprise of the past month is that [[https://github.com/ocaml/dune/pull/6489][someone has started +working on adding proper support for ~coqffi~ to ~dune~]], the build +system for OCaml and Coq! I’m thrilled by this. Thanks, [[https://github.com/Alizter][*@Alizter*]]! + +This wraps-up this retrospective. I hope I will have more interesting, +concrete news to share next month. diff --git a/site/news/September2022.org b/site/news/September2022.org index ffbd1dc..e66ba74 100644 --- a/site/news/September2022.org +++ b/site/news/September2022.org @@ -2,6 +2,7 @@ #+SERIES: ./MonthlyRetrospectives.html #+SERIES_PREV: ./August2022.html +#+SERIES_NEXT: ./November2022.html It is September 18 today, and it has already been a month since I decided to start these retrospectives. This means it is time to take a -- cgit v1.2.3