aboutsummaryrefslogtreecommitdiffstats
path: root/content.org
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2021-09-17 14:03:38 +0100
committerYann Herklotz <git@yannherklotz.com>2021-09-17 14:03:38 +0100
commitb4b42c6a8ef60a9d7779f74d12ba4126eede372b (patch)
tree76293ca55b45da503e5f26b33d1b3bc8783b2ab0 /content.org
parent6fd6fae561484f00b85cae265e5b11d3ceea744e (diff)
downloadyannherklotz.com-b4b42c6a8ef60a9d7779f74d12ba4126eede372b.tar.gz
yannherklotz.com-b4b42c6a8ef60a9d7779f74d12ba4126eede372b.zip
Add content.org link changes
Diffstat (limited to 'content.org')
-rw-r--r--content.org39
1 files changed, 24 insertions, 15 deletions
diff --git a/content.org b/content.org
index 669c531..b688b0c 100644
--- a/content.org
+++ b/content.org
@@ -2,28 +2,37 @@
#+hugo_base_dir: ./
#+hugo_section: ./
+#+begin_src emacs-lisp :exports none
+(setq org-export-babel-evaluate 'inline-only)
+
+(defun ymhg/link (arg1 arg2)
+ (cond
+ ((eq 'hugo org-export-current-backend) arg1)
+ (t arg2)))
+#+end_src
+
+#+macro: link src_emacs-lisp[:results raw]{(ymhg/link "$1" "$2")}
+
* Yann Herklotz
:PROPERTIES:
:EXPORT_FILE_NAME: _index
:END:
-#+HTML: <img src="/images/portrait.jpg" alt="Profile picture" class="profile-picture" />
+#+html: <img src="/images/portrait.jpg" alt="Profile picture" class="profile-picture" />
-#+HTML: <span class="first-letter">H</span>
-i! I'm currently a first year PhD student in the Circuits and Systems group at Imperial College
-London, supervised by [John Wickerson](https://johnwickerson.github.io).
+@@hugo:<span class="first-letter">H</span>@@@@latex:H@@i! I'm currently a first year PhD student in the Circuits and Systems group at Imperial College
+London, supervised by [[https://johnwickerson.github.io][John Wickerson]].
My research focuses on formalising the process of converting high-level programming language
descriptions to correct hardware that is functionally equivalent to the input. This process is
called high-level synthesis (HLS), and allows software to be turned into custom accelerators
automatically, which can then be placed on field-programmable gate arrays (FPGAs). An
-implementation in the [Coq](https://coq.inria.fr/) theorem prover called Vericert can be found on
-[Github](https://github.com/ymherklotz/vericert).
+implementation in the [[https://coq.inria.fr/][Coq]] theorem prover called Vericert can be found on [[https://github.com/ymherklotz/vericert][Github]].
-I have also worked on random testing for FPGA synthesis
-tools. [Verismith](https://github.com/ymherklotz/verismith) is a fuzzer that will randomly generate
-a Verilog design, pass it to the synthesis tool, and use an equivalence check to compare the output
-to the input. If these differ, the design is automatically reduced until the bug is located.
+I have also worked on random testing for FPGA synthesis tools. [[https://github.com/ymherklotz/verismith][Verismith]] is a fuzzer that will
+randomly generate a Verilog design, pass it to the synthesis tool, and use an equivalence check to
+compare the output to the input. If these differ, the design is automatically reduced until the bug
+is located.
* Blog
** Blog Index
@@ -136,7 +145,7 @@ to the note you want to insert. An example setup could be the following, which i
three topics: (1) high-level synthesis (HLS), (2) computing and (3) verification.
#+caption: The first step is to create a tree of notes in any hierarchy that seems to suit it best. Because of the numbering of the notes, other notes can always be inserted in between notes by adding a letter or number to the end.
-[[/images/2020-12-20-zettelkasten-in-pure-org/zettelkasten-setup-1.png]]
+{{{link([[/images/2020-12-20-zettelkasten-in-pure-org/zettelkasten-setup-1.png]],[[./static/images/2020-12-20-zettelkasten-in-pure-org/zettelkasten-setup-1.png]])}}}
We can then add notes as shown above, adding them into the right category under a heading that makes
the most sense, thereby building a tree. Each note is assigned a unique identifier (ID), which it
@@ -151,7 +160,7 @@ diagram below that still has the general structure of the tree but also contains
other notes that might be in a completely different topic but might still be generally relevant.
#+caption: Once in a while, links to other notes in other categories or in the same category should be made.
-[[/images/2020-12-20-zettelkasten-in-pure-org/zettelkasten-setup-2.png]]
+{{{link([[/images/2020-12-20-zettelkasten-in-pure-org/zettelkasten-setup-2.png]],[[./static/images/2020-12-20-zettelkasten-in-pure-org/zettelkasten-setup-2.png]])}}}
This allows for notes to be written anywhere that makes sense, but still connect to other areas in
the notes that also might be relevant, thereby creating a network of relevant notes that might
@@ -239,7 +248,7 @@ topic can then be created, for example, my topics are the following:
A screenshot of how the top-level view of all my files looks like is shown in the screenshot below.
#+caption: Example of the files containing the three topics I take notes in, displayed using the =columns= view in =org-mode=.
-[[/images/2020-12-20-zettelkasten-in-pure-org/emacs-screenshot.jpg]]
+{{{link([[/images/2020-12-20-zettelkasten-in-pure-org/emacs-screenshot.jpg]],[[./static/images/2020-12-20-zettelkasten-in-pure-org/emacs-screenshot.jpg]])}}}
Next, we can keep adding notes to the respective files, and whenever we can see a possible link
between two notes, we can add that to the relevant note. However, once in a while we have to take
@@ -649,7 +658,7 @@ hardware using FPGAs.
The workshop also included two poster sessions, and all the attendees presented the current projects
that were being worked. These were also quite varied and included projects from various universities
and also covered topics from optical circuits and storage to custom hardware and FPGAs. I presented
-our work on [[/blog/2019-06-19-verismith.html][Verismith]], our Verilog synthesis tool fuzzer.
+our work on {{{link([[/blog/2019-06-19-verismith.html][Verismith]],[[#verismith][Verismith]])}}}, our Verilog synthesis tool fuzzer.
I would like to thank Shane Fleming for inviting us to the workshop, and also thank all the
organisers of the workshop.
@@ -707,7 +716,7 @@ the glass using a femtosecond laser, which can then be read back using LEDs. The
different properties such as angle and phase which dictate the current value at that location.
#+caption: Project silica: image of 1978 "Superman" movie encoded on silica glass. Photo by Jonathan Banks for Microsoft.
-[[/images/msr_research/project_silica.jpg]]
+{{{link([[/images/msr_research/project_silica.jpg]],[[./static/images/msr_research/project_silica.jpg]])}}}
**** [[https://www.microsoft.com/en-us/research/project/sirius/][Sirius]]: Optical Data Center Networks
:PROPERTIES: