]> git.eshelyaron.com Git - esy-publish.git/commitdiff
Prepare for first version
authorEshel Yaron <eshel@areionsec.com>
Sat, 12 Mar 2022 17:13:54 +0000 (19:13 +0200)
committerEshel Yaron <eshel@areionsec.com>
Sat, 12 Mar 2022 17:13:54 +0000 (19:13 +0200)
.gitignore [new file with mode: 0644]
org/html_postamble.html [new file with mode: 0644]
org/index.org
org/modus-operandi-theme.css
org/style.css
publish.el

diff --git a/.gitignore b/.gitignore
new file mode 100644 (file)
index 0000000..ac7af2e
--- /dev/null
@@ -0,0 +1 @@
+/html/
diff --git a/org/html_postamble.html b/org/html_postamble.html
new file mode 100644 (file)
index 0000000..e49eb40
--- /dev/null
@@ -0,0 +1,30 @@
+<footer>
+  <hr/>
+  <div class="links-container">
+    <div class="links-first">
+      <p>
+        Links:
+      </p>
+    </div>
+    <div class="links-second">
+      <p>
+        <a href="https://github.com/eshelyaron">GitHub</a>
+      </p>
+    </div>
+    <div class="links-third">
+      <p>
+        <a href="https://sr.ht/~eshel/">SourceHut</a>
+      </p>
+    </div>
+    <div class="links-fourth">
+      <p>
+        <a href="mailto:eshelshay.yaron@gmail.com">Mail</a>
+      </p>
+    </div>
+    <div class="links-fifth">
+      <p>
+        <a href="http://adifriedman.com">❤️</a>
+      </p>
+    </div>
+  </div>
+</footer>
index e009540e51a9105ab1c01774b3fb4cf992c19536..6a4caaeba35d3a5751fe5b655041d764a9a68c00 100644 (file)
@@ -1,7 +1,49 @@
-#+TITLE: Coming soon...
+#+TITLE: Eshel Yaron
 #+AUTHOR: Eshel Yaron
 
+Welcome to [[./index.org][my website]], the one true source of reliable curated information about me and my activities.
+
 #+begin_src prolog
-  ?- online(X).
-  X = "Eshel Yaron".
+  ?- likes('Eshel', Stuff).
+  Stuff = 'logic ️programming';
+  Stuff = 'linguistics';
+  Stuff = 'cognition';
+  Stuff = 'functional programming';
+  Stuff = 'The cyber';
+  Stuff = 'type systems';
+  Stuff = 'coffee ☕️';
+  Stuff = 'free software'.
 #+end_src
+
+
+* Projects
+
+** [[https://github.com/eshelyaron/debug_adapter][SWI-Prolog Debug Adapter Protocol Server]]
+
+An implementation of the [[https://microsoft.github.io/debug-adapter-protocol/][Debug Adapter Protocol]] (DAP) for [[https://www.swi-prolog.org][SWI-Prolog]],
+facilitating an advanced debugging experience for Prolog from the
+comfort of GNU Emacs (and other editors, as well).
+
+** [[https://git.sr.ht/~eshel/ropes.pl][ropes.pl]]
+
+A (SWI-)Prolog implemantation of the [[https://en.wikipedia.org/wiki/Rope_(data_structure)][rope data structure]] for efficient
+massive string editing.
+
+Based on [[https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.14.9450&rep=rep1&type=pdf][Ropes: An alternative to strings]].
+
+#+begin_src prolog
+test(edit) :-
+    string_rope("Hello, World!"  , HW),
+    string_rope("Here be dragons", HD),
+    rope_split(HD, 8, _, D),  % "Here be " + "dragons"
+    rope_split(HW, 7, H, W),  % "Hello, "  + "World!"
+    rope_split(W , 5, _, E),  % "World"    + "!"
+    rope_concat(H , D, HS),
+    rope_concat(HS, E, HE),
+    rope_string(HE, HF),
+    assertion(HF == "Hello, dragons!").
+#+end_src
+
+** [[https://github.com/oskardrums/ebpf][Erlang eBPF library]]
+
+A low level interface to the [[https://ebpf.io/][Linux eBPF system]] for [[https://www.erlang.org/][Erlang]].
index f441435983dd585d9907b74dab02f1a851412b1f..1b4f89f9b5058dc01de66ca640d7a9c4148285b9 100644 (file)
@@ -4,7 +4,8 @@
  * It is released  under the GNU GPLv3 and its source code can be retrieved
  * from: https://gitlab.com/protesilaos/modus-themes
  *
- * CSS created using the Emacs `org-html-htmlize-generate-css' function
+ * CSS created using the Emacs `org-html-htmlize-generate-css'
+ * function with some manual tweaks
  */
 
 .org-bold {
 }
 .org-function-name {
   /* font-lock-function-name-face */
-  color: #721045;
+  color: #f08be0;
 }
 .org-glyphless-char {
   /* glyphless-char */
 }
 .org-keyword {
   /* font-lock-keyword-face */
-  color: #5317ac;
+  color: #f01b6b;
 }
 .org-lazy-highlight {
   /* lazy-highlight */
index b27520d986aafe6bf8245997d40ecd40ebd29c50..03ad553686a7d22262b3c0b1d6ff89881f878ee5 100644 (file)
@@ -135,7 +135,7 @@ li {
     padding-bottom: 0.3em;
 }
 
-h1, h2, h3, h4, h5, h6 {
+a, p, h1, h2, h3, h4, h5, h6 {
     font-family: monospace;
 }
 
@@ -276,3 +276,23 @@ footer {
     text-align: center;
     padding: 1em;
 }
+
+a {
+    outline: none;
+    text-decoration: none;
+}
+
+a, p {
+    font-size: large;
+}
+
+.links-container {
+  width: 100%;
+  display: flex;
+  flex-direction: row;
+  justify-content: center;
+}
+
+.links-first, .links-second, .links-third, .links-fourth, .links-fifth {
+  width: 20%;
+}
index 1665fdde319202386d2aa7b31ddfc8c3e53f1747..2d21d4bb28ecf4740b2edec4c6daab0554c96812 100644 (file)
@@ -9,6 +9,7 @@
 (require 'ox-publish)
 (require 'ox-html)
 (require 'htmlize)
+(require 'f)
 
 (setq org-export-with-section-numbers nil
       org-export-with-toc             nil)
@@ -30,7 +31,7 @@
          :publishing-directory "/ssh:root@eshelyaron.com:/var/www/html"
          :publishing-function org-html-publish-to-html
          :html-head     "<link rel=\"stylesheet\" href=\"/style.css\" type=\"text/css\"/>"
-         :html-postamble nil)
+         :html-postamble ,(f-read-text "~/checkouts/eshelyaron.com/org/html_postamble.html"))
         ("static"
          :base-directory "~/checkouts/eshelyaron.com/org"
          :base-extension "ico\\|css\\|jpg\\|gif\\|png\\|txt\\|pdf"