From: Eshel Yaron Date: Sat, 12 Mar 2022 17:13:54 +0000 (+0200) Subject: Prepare for first version X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=1b8b5b0fc37a3dd75d239c3e9bd43a7e44a20e85;p=esy-publish.git Prepare for first version --- diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..ac7af2e --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +/html/ diff --git a/org/html_postamble.html b/org/html_postamble.html new file mode 100644 index 0000000..e49eb40 --- /dev/null +++ b/org/html_postamble.html @@ -0,0 +1,30 @@ + diff --git a/org/index.org b/org/index.org index e009540..6a4caae 100644 --- a/org/index.org +++ b/org/index.org @@ -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]]. diff --git a/org/modus-operandi-theme.css b/org/modus-operandi-theme.css index f441435..1b4f89f 100644 --- a/org/modus-operandi-theme.css +++ b/org/modus-operandi-theme.css @@ -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 { @@ -609,7 +610,7 @@ } .org-function-name { /* font-lock-function-name-face */ - color: #721045; + color: #f08be0; } .org-glyphless-char { /* glyphless-char */ @@ -1016,7 +1017,7 @@ } .org-keyword { /* font-lock-keyword-face */ - color: #5317ac; + color: #f01b6b; } .org-lazy-highlight { /* lazy-highlight */ diff --git a/org/style.css b/org/style.css index b27520d..03ad553 100644 --- a/org/style.css +++ b/org/style.css @@ -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%; +} diff --git a/publish.el b/publish.el index 1665fdd..2d21d4b 100644 --- a/publish.el +++ b/publish.el @@ -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 "" - :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"