From f7c5acacc876d2b5b7f3a5a3f839659f44f5aaea Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Thu, 10 Nov 2022 16:00:48 +0100 Subject: [PATCH] whitespace cleanup, single long lines --- About Us/Team | 16 ++++++---------- 1 file changed, 6 insertions(+), 10 deletions(-) diff --git a/About Us/Team b/About Us/Team index e691d2e..ac2f7b0 100644 --- a/About Us/Team +++ b/About Us/Team @@ -12,25 +12,21 @@ Hannes enjoys living in Berlin, Germany. Until end of 2017, he used to be a rese Hannes did his PhD in computer science about formal verification of imperative code (using a higher-order separation logic and the theorem prover Coq). Hannes co-authored not-quite-so-broken TLS, a TLS implementation from the ground up in OCaml, and contributes to the MirageOS project as a core team member. He is working on various projects, including opam signing and [netsem](https://github.com/rems-project/netsem), an executable formal model of TCP/IP which can act as a test validator. +His blog is at [https://hannes.robur.coop](https://hannes.robur.coop). + ### Reynir here some text is missing ### rand -rand fell in love with OCaml and functional programming since university, where he studied -philosophy and computer science on a humanistic/technological Bsc. -He especially likes solving problems in elegant and interesting new ways. Been part of the -`functional copenhageners` meetup for a range of years - where he's also held several talks. +rand fell in love with OCaml and functional programming since university, where he studied philosophy and computer science on a humanistic/technological BSc. He especially likes solving problems in elegant and interesting new ways. Been part of the Functional Copenhageners meetup for a range of years - where he's also held several talks. -He's worked fullstack with with OCaml and Scala since university - working on a varied set -of things like entity clustering, entity merging, custom data visualizations, service oriented -architecture, PostgreSQL, Elasticsearch, natural language parsing, Linux, server management. +He's worked fullstack with with OCaml and Scala since university - working on a varied set of things like entity clustering, entity merging, custom data visualizations, service oriented architecture, PostgreSQL, Elasticsearch, natural language parsing, Linux, server management. -Spends much of his time with his daughter and doing experimental art with his video synthesizer `niseq`, -of course written using pure FRP in OCaml (: +Spends much of his time with his daughter and doing experimental art with his video synthesizer `niseq`, of course written using pure FRP in OCaml (: -Can be found at https://r7p5.earth/ +Can be found at [https://r7p5.earth/](https://r7p5.earth/). ## Former members