summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2022-11-19 12:53:03 +0100
committerThomas Letan <lthms@soap.coffee>2022-11-19 12:53:03 +0100
commit5ed4998560137d8c44e8949ffe30a5423b82d7fb (patch)
tree3f340f972a27540eea5a4abb43283b06dc1703f1
parentUpdate soupault, crunch png, update avatar (diff)
Monthly retrospective: October and November 2022
-rw-r--r--.gitignore31
-rw-r--r--site/index.org1
-rw-r--r--site/news/MonthlyRetrospectives.org2
-rw-r--r--site/news/November2022.org33
-rw-r--r--site/news/September2022.org1
5 files changed, 52 insertions, 16 deletions
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