robur/homepage-data
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Reorder, add link to my website

Browse source
This commit is contained in:
Martin Lucina 2018-01-09 09:18:37 +01:00
parent 23de48a025
commit fd186c8da3
1 changed files with 18 additions and 18 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

36
About
View file

@ -103,6 +103,24 @@ various projects, including opam signing and
[netsem](https://www.cl.cam.ac.uk/~pes20/Netsem/), an executable formal model of [netsem](https://www.cl.cam.ac.uk/~pes20/Netsem/), an executable formal model of
TCP/IP which can act as a test validator. TCP/IP which can act as a test validator.
#### Martin
[Martin](https://lucina.net/) has been programming since before programming was
trendy, eating [Sharp SC61860A](https://en.wikipedia.org/wiki/Sharp_PC-1350)
machine code for breakfast since before it was healthy, and using Linux way
back when it was just Linus Torvalds’ glorified terminal emulator.
A founding member of Unikernel Systems (later acquired by Docker), Martin has
been involved in a number of library operating system projects since 2014,
including the [rumprun](http://repo.rumpkernel.org/rumprun) unikernel and
[MirageOS](https://mirage.io/). He is a co-author of
[Solo5](https://github.com/Solo5/solo5), a secure execution environment for
unikernels, and joins robur in 2018 to continue his work towards creating
secure software that “just works” and other ambitious projects.
Martin lives with his family in Bratislava, Slovakia and in his spare time
enjoys hiking, yachting and the arts.
#### Paul #### Paul
Paul is an independent IT consultant located in Copenhagen. Paul is an independent IT consultant located in Copenhagen.
@ -122,21 +140,3 @@ In his spare time he dabbles in research into similar topics and serialization
frameworks, in addition to the enjoyable pursuit of tabletop roleplaying and frameworks, in addition to the enjoyable pursuit of tabletop roleplaying and
social interactions in smokey pubs - two disciplines that he excels in, but that social interactions in smokey pubs - two disciplines that he excels in, but that
have somehow not been of particular interest to paying customers (yet). have somehow not been of particular interest to paying customers (yet).
#### Martin
Martin has been programming since before programming was trendy, eating [Sharp
SC61860A](https://en.wikipedia.org/wiki/Sharp_PC-1350) machine code for
breakfast since before it was healthy, and using Linux way back when it was
just Linus Torvalds’ glorified terminal emulator.
A founding member of Unikernel Systems (later acquired by Docker), Martin has
been involved in a number of library operating system projects since 2014,
including the [rumprun](http://repo.rumpkernel.org/rumprun) unikernel and
[MirageOS](https://mirage.io/). He is a co-author of
[Solo5](https://github.com/Solo5/solo5), a secure execution environment for
unikernels, and joins robur in 2018 to continue his work towards creating
secure software that “just works” and other ambitious projects.
Martin lives with his family in Bratislava, Slovakia and in his spare time
enjoys hiking, yachting and the arts.