--- /dev/null
+<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>
-#+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]].
* 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 */
padding-bottom: 0.3em;
}
-h1, h2, h3, h4, h5, h6 {
+a, p, h1, h2, h3, h4, h5, h6 {
font-family: monospace;
}
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%;
+}
(require 'ox-publish)
(require 'ox-html)
(require 'htmlize)
+(require 'f)
(setq org-export-with-section-numbers nil
org-export-with-toc nil)
: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"