Reynir Björnsson
23e7d09877
The markdown inside <p> tags are not processed as markdown - which I believe is according to spec. Instead, we can use html files without changing much. Fixes #1.
9 lines
871 B
HTML
9 lines
871 B
HTML
---
|
|
name: Mindy
|
|
website: https://robur.coop/
|
|
---
|
|
<p class="brødtekst">Mindy ran the first MirageOS unikernel in the public cloud in 2014. Mindy has worked extensively on the MirageOS TCP/IP network stack and various protocol implementations, and is a member of the project's core team. She managed the release of MirageOS's latest major version.</p>
|
|
|
|
<p class="brødtekst">Mindy is interested in freeing software from unnecessary dependencies, including monolithic kernels. While she finds testing and bug-fixing rewarding, her true goal is to apply techniques that remove entire bug classes to broader classes of computation. Memory safety isn't just for application code!</p>
|
|
|
|
<p class="brødtekst">In her free time, Mindy enjoys bothering cats, playing board games, riding bicycles, and embroidery. She lives in beautiful Madison, Wisconsin in the United States.</p>
|