Lilium VS Kitty Hawk

In a landmark move, the Lufthansa Group and Lilium have signed a Memorandum of Understanding, laying the foundation for a strategic partnership that promises to reshape the European aviation landscape. This collaboration focuses on the integration of electric Vertical Take-Off and Landing (eVTOL) aircraft, heralding a new chapter in sustainable air travel. Source: 5 months ago

So Lilium is developing a eVTOL jet that looks very sleek, uses ducted fans, composites and other new tech. Source: 11 months ago

Not for long range (at least for now) but if you check https://lilium.com/ or https://www.volocopter.com/. Source: over 1 year ago

Companies such as Joby, Archer, and Lilium are working towards certification of their electric vertical take-off and landing (eVTOL) products, preparing to make air travel more accessible to the public. In the future, requesting an air taxi will be as simple as ordering an Uber. Source: over 1 year ago

No thats not the correct link. The company: https://lilium.com/. Source: over 1 year ago

Https://kittyhawk.aero/ used to use Haskell to develop their flight control software. The strong type system of Haskell is touted as ensuring that entire classes of bugs can't occur (like accidentally adding different kinds of quantities together or getting the units wrong). - Source: Hacker News / almost 2 years ago

I think that might be one of KittyHawk's electric aircraft... https://kittyhawk.aero/. Source: almost 3 years ago