some updates: aenderwerk, rand is a former member

This commit is contained in:
Hannes Mehnert 2023-09-21 16:46:48 +02:00
parent 952998885e
commit 6f3975c160
4 changed files with 38 additions and 31 deletions

View file

@ -4,8 +4,8 @@ title: Network
# Collaborations # Collaborations
[The Center for the Cultivation of Technology](https://techcultivation.org)<br /> [Änderwerk gGmbH](https://aenderwerk.de)<br />
The Center for the Cultivation of Technology is a "back-end provider" for the open source community. They work with Robur to assist us in our financial processes and administration. Änderwerk is a "back-end provider" for the open source community. They work with Robur to assist us in our financial processes and administration.
[Least Authority](https://leastauthority.com) [Least Authority](https://leastauthority.com)
Least Authority is a Berlin-based group building technology that is open source and focused on allowing user freedom and privacy protection in online services. Robur has worked with Least Authority to make security audits of OCaml applications. Least Authority is a Berlin-based group building technology that is open source and focused on allowing user freedom and privacy protection in online services. Robur has worked with Least Authority to make security audits of OCaml applications.
@ -13,6 +13,9 @@ Least Authority is a Berlin-based group building technology that is open source
[MirageOS](https://mirage.io)<br /> [MirageOS](https://mirage.io)<br />
MirageOS is a library operating system that constructs unikernels for secure and high-performing applications. Most Robur projects are designed to be compatible with MirageOS, as well as native operating systems, like Linux or FreeBSD. We work closely with the MirageOS community to help develop its ecosystem and increase the availability of secure applications offered within it. MirageOS is a library operating system that constructs unikernels for secure and high-performing applications. Most Robur projects are designed to be compatible with MirageOS, as well as native operating systems, like Linux or FreeBSD. We work closely with the MirageOS community to help develop its ecosystem and increase the availability of secure applications offered within it.
[Nitrokey](https://nitrokey.com)<br />
Robur designed and implemented [NetHSM](https://www.nitrokey.com/products/nethsm) for Nitrokey.
[OCaml Labs](http://ocamllabs.io)<br /> [OCaml Labs](http://ocamllabs.io)<br />
OCaml Labs is an initiative within the Cambridge Computer Laboratory started by Anil Madhavapeddy in 2011 to promote research, growth and collaboration within the wider OCaml community. Robur has had a working relationship with OCaml Labs since our inception to help widen the base of OCaml users and applications. OCaml Labs is an initiative within the Cambridge Computer Laboratory started by Anil Madhavapeddy in 2011 to promote research, growth and collaboration within the wider OCaml community. Robur has had a working relationship with OCaml Labs since our inception to help widen the base of OCaml users and applications.
@ -23,8 +26,11 @@ Is a for-profit distributed engineering team based in Paris and Cambridge that m
# Grant Funders # Grant Funders
[NGI Pointer](https://pointer.ngi.eu)<br />
NGI pointer is a EU funded project which funds the next generation ecosystem of Internet architects. They funded our reproducible builds work.
[NLnet Foundation](https://nlnet.nl)<br /> [NLnet Foundation](https://nlnet.nl)<br />
In 2019 NLnet Foundation granted Robur funding to develop a secure DNS resolver in OCaml. NLnet is a Dutch foundation that receives money from donations, legacies and collaborative funding and sub-granting mechanisms after starting with substantial capital established by pioneers of the European internet in 1997. It grants money to organizations and people that contribute to an open information society and secure internet projects. In 2023 NLnet funded further work on MirageVPN. In 2019 NLnet Foundation granted Robur funding to develop a secure DNS resolver in OCaml. NLnet is a Dutch foundation that receives money from donations, legacies and collaborative funding and sub-granting mechanisms after starting with substantial capital established by pioneers of the European internet in 1997. It grants money to organizations and people that contribute to an open information society and secure internet projects.
[The Prototype Fund](https://prototypefund.de/en)<br /> [The Prototype Fund](https://prototypefund.de/en)<br />
The Prototype Fund has awarded Robur several grants for various projects such as the CalDAV Server, the Mirage Firewall and our OCaml implementation of an OpenVPN client. The Prototype Fund is a funding program of the Federal Ministry of Education and Research (BMBF) that is supported and evaluated by the Open Knowledge Foundation Germany. It funds individuals and small organizations to develop open source applications designed for the common good. The Prototype Fund has awarded Robur several grants for various projects such as the CalDAV Server, the Mirage Firewall and our OCaml implementation of an OpenVPN client. The Prototype Fund is a funding program of the Federal Ministry of Education and Research (BMBF) that is supported and evaluated by the Open Knowledge Foundation Germany. It funds individuals and small organizations to develop open source applications designed for the common good.

View file

@ -23,32 +23,21 @@ Reynir studied computer science at Aarhus University with an interest in program
After some years working in industry with heterogenous unix systems followed by two years of various volunteer work he joined Robur in 2020. After some years working in industry with heterogenous unix systems followed by two years of various volunteer work he joined Robur in 2020.
He is still heavily involved as a developer and system administrator in [data.coop](https://data.coop), an association that collectively owns and run servers offering digital services for their members. He is still heavily involved as a developer and system administrator in [data.coop](https://data.coop), an association that collectively owns and run servers offering digital services for their members.
### 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.
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 (:
Can be found at [https://r7p5.earth/](https://r7p5.earth/).
### dinosaure ### dinosaure
Dinosaure wants the majority of its services to be unikernels in OCaml. A big reader of RFCs, it implements protocols and formats in OCaml. He has been participating in MirageOS for quite some time and continues to promote its use and develop usable unikernels such as [paste.osau.re](https://paste.osau.re), [bob](https://bob.osau.re), and his [blog](https://blog.osau.re). Dinosaure wants the majority of its services to be unikernels in OCaml. A big reader of RFCs, it implements protocols and formats in OCaml. He has been participating in MirageOS for quite some time and continues to promote its use and develop usable unikernels such as [paste.osau.re](https://paste.osau.re), [bob](https://bob.osau.re), and his [blog](https://blog.osau.re).
## Former members ## Former members
### Stefanie ### Joe
Stefanie is an infrastructure software engineer and a researcher. Joe is an independent IT consultant located in Copenhagen.
She studied Applied Computer Science in the Natural Sciences, and developed a typechecker for a compiler of a language for optimization problems. In her PhD project she developed metrics to compare forest data structures, with an application in molecular structure comparison. Working as a postdoc in cancer research on molecular structure prediction, she found her way to Brooklyn and Berlin. Joe has a background in penetration testing, protocol design, applied cryptography, and architectural IT security system design for customers, especially in the banking, insurance, and pension fund sectors. He has been consulting on BPAY integration in Australia, and conducting web and network security assessments for customers throughout the world.
In the US tech industry, she works on infrastructure problems with distributed systems at a large scale with millions of users, developing API infrastructure and search infrastructure, with a focus on stateless systems. Lately he has spent the last couple of years writing OCaml and has been working with IT security, dev-ops and automated deployment for customers specializing in Enterprise Resource Planning, Internet of Things, and medical technology.
Her Erdős number is 4. In his spare time he dabbles in research into similar topics and serialization frameworks, in addition to the enjoyable pursuit of tabletop roleplaying and social interactions in smoky pubs - two disciplines that he excels in, but that have somehow not been of particular interest to paying customers (yet).
### Martin ### Martin
@ -66,12 +55,22 @@ Mindy is interested in freeing software from unnecessary dependencies, including
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. 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.
### Joe ### rand
Joe is an independent IT consultant located in Copenhagen. 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.
Joe has a background in penetration testing, protocol design, applied cryptography, and architectural IT security system design for customers, especially in the banking, insurance, and pension fund sectors. He has been consulting on BPAY integration in Australia, and conducting web and network security assessments for customers throughout the world. 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.
Lately he has spent the last couple of years writing OCaml and has been working with IT security, dev-ops and automated deployment for customers specializing in Enterprise Resource Planning, Internet of Things, and medical technology. 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 (:
In his spare time he dabbles in research into similar topics and serialization frameworks, in addition to the enjoyable pursuit of tabletop roleplaying and social interactions in smoky pubs - two disciplines that he excels in, but that have somehow not been of particular interest to paying customers (yet). Can be found at [https://r7p5.earth/](https://r7p5.earth/).
### Stefanie
Stefanie is an infrastructure software engineer and a researcher.
She studied Applied Computer Science in the Natural Sciences, and developed a typechecker for a compiler of a language for optimization problems. In her PhD project she developed metrics to compare forest data structures, with an application in molecular structure comparison. Working as a postdoc in cancer research on molecular structure prediction, she found her way to Brooklyn and Berlin.
In the US tech industry, she works on infrastructure problems with distributed systems at a large scale with millions of users, developing API infrastructure and search infrastructure, with a focus on stateless systems.
Her Erdős number is 4.

14
Donate
View file

@ -7,20 +7,22 @@ Unfortunately such projects aren't always easy to get full grants for, and publi
If you want to assist us continue these projects we would be grateful for a donation and promise to spend your money well (for more information on how we spend the funds we get please see our [funding page](/About%20Us/Funding)). If you want to assist us continue these projects we would be grateful for a donation and promise to spend your money well (for more information on how we spend the funds we get please see our [funding page](/About%20Us/Funding)).
As Robur is a project of the nonprofit [The Center For Technical Cultivation](https://techcultivation.org) we are [tax deductible in Europe](/Donate#Tax-Deductibility). As Robur is a project of the nonprofit [Änderwerk](https://aenderwerk.de) we are [tax deductible in Europe](/Donate#Tax-Deductibility).
### How To Donate ### How To Donate
- Direct debit or Paypal: [visit this page](https://aenderwerk.de/donate/)
- To donate via SEPA wire transfer, use: - To donate via SEPA wire transfer, use:
Account holder: Center for the Cultivation of Technology<br /> Account holder: Änderwerk gGmbH<br />
Subject: `robur JSR9DAHD`<br /> Subject: `robur`<br />
IBAN: `DE65 4306 0967 4111 9411 01`<br /> IBAN: `DE46 4306 0967 1289 8604 00`<br />
BIC: `GENODEM1GLS`<br /> BIC: `GENODEM1GLS`<br />
Bank: *GLS Gemeinschaftsbank, Christstrasse 9, 44789 Bochum, Germany* Bank: *GLS Gemeinschaftsbank, Christstrasse 9, 44789 Bochum, Germany*
### Tax Deductibility ### Tax Deductibility
For Germany, you can [download a general donation receipt](https://techcultivation.org/documents/cct-vereinfachter-spendennachweis.pdf) that together with your bank statement is sufficient to claim taxes on donations up to 200€. For Germany, you can [download a general donation receipt](https://aenderwerk.de/wp-content/uploads/bsk-pdf-manager/2023/08/2022-Vereinfachter-Spendennachweis-Aenderwerk.de_.pdf) that together with your bank statement is sufficient to claim taxes on donations up to 300€.
For other European countries and larger donations, we're happy to provide individual donation receipts and work with you on their recognition. For that, please send your full name and postal address and the date of your transaction to `donate@techcultivation.org`. For other European countries and larger donations, we're happy to provide individual donation receipts and work with you on their recognition. For that, please send your full name and postal address and the date of your transaction to `finance@aenderwerk.de`.

View file

@ -14,7 +14,7 @@ Several ready-to-use MirageOS unikernels are built on a daily basis - ranging fr
[MirageOS](https://mirageos.org) is an operating system, developed in OCaml, which produces unikernels. A unikernel serves a single purpose and is a single process, i.e. only has the really needed dependencies. For example, an OpenVPN endpoint does neither include persistent storage (block device, file system) nor user management. MirageOS unikernels are developed in [OCaml](https://ocaml.org), a statically typed and type-safe programming language - which avoids common pitfalls from the grounds up (spatial and temporal memory safety issues). [MirageOS](https://mirageos.org) is an operating system, developed in OCaml, which produces unikernels. A unikernel serves a single purpose and is a single process, i.e. only has the really needed dependencies. For example, an OpenVPN endpoint does neither include persistent storage (block device, file system) nor user management. MirageOS unikernels are developed in [OCaml](https://ocaml.org), a statically typed and type-safe programming language - which avoids common pitfalls from the grounds up (spatial and temporal memory safety issues).
[Robur](https://robur.coop) is a collective that develops MirageOS and OCaml software with open source license. It was started in 2017, and is part of the non-profit company [center for the cultivation of technology](https://techcultivation.org). We received funding from several projects ([prototypefund](https://prototypefund.de), [NGI pointer](https://pointer.ngi.eu)), donations, and commercial contracts. [Robur](https://robur.coop) is a collective that develops MirageOS and OCaml software with open source license. It was started in 2017, and is part of the non-profit company [Änderwerk gGmbH](https://aenderwerk.de). We received funding from several projects ([prototypefund](https://prototypefund.de), [NGI pointer](https://pointer.ngi.eu)), donations, and commercial contracts.
## Deploying MirageOS unikernel ## Deploying MirageOS unikernel