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

updated from main (commit 6f3975c160)

Browse source
This commit is contained in:
Canopy bot 2023-09-21 14:47:22 +00:00
parent 5d5e2aab9e
commit e2ca1183af
5 changed files with 63 additions and 52 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
About Us/Network
View file

@ -1,19 +1,23 @@
<!DOCTYPE html> <!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Network</title><meta charset="UTF-8"/><link rel="stylesheet" href="/static/css/style.css"/><link rel="alternate" href="/atom" title="Network" type="application/atom+xml"/><meta name="viewport" content="width=device-width, initial-scale=1, viewport-fit=cover"/></head><body><nav class="navbar navbar-default navbar-fixed-top"><div class="container"><div class="navbar-header"><a class="navbar-brand" href="/Home">robur</a></div><div class="collapse navbar-collapse collapse"><ul class="nav navbar-nav navbar-right"><li><a href="/Donate"><span>Donate</span></a></li><li><a href="/Contact"><span>Contact</span></a></li><li><a href="/About Us"><span>About Us</span></a></li><li><a href="/Our Work"><span>Our Work</span></a></li><li><a href="/"><span></span></a></li><li><a href="/"><span></span></a></li><li><a href="/"><span></span></a></li><li><a href="/"><span></span></a></li></ul></div></div></nav><main><div class="flex-container"><div class="post"><h2>Network</h2><span class="date">Published: 2019-09-10 (last updated: 2020-02-18)</span><article><h1>Collaborations</h1> <html xmlns="http://www.w3.org/1999/xhtml"><head><title>Network</title><meta charset="UTF-8"/><link rel="stylesheet" href="/static/css/style.css"/><link rel="alternate" href="/atom" title="Network" type="application/atom+xml"/><meta name="viewport" content="width=device-width, initial-scale=1, viewport-fit=cover"/></head><body><nav class="navbar navbar-default navbar-fixed-top"><div class="container"><div class="navbar-header"><a class="navbar-brand" href="/Home">robur</a></div><div class="collapse navbar-collapse collapse"><ul class="nav navbar-nav navbar-right"><li><a href="/Donate"><span>Donate</span></a></li><li><a href="/Contact"><span>Contact</span></a></li><li><a href="/About Us"><span>About Us</span></a></li><li><a href="/Our Work"><span>Our Work</span></a></li><li><a href="/"><span></span></a></li><li><a href="/"><span></span></a></li><li><a href="/"><span></span></a></li><li><a href="/"><span></span></a></li></ul></div></div></nav><main><div class="flex-container"><div class="post"><h2>Network</h2><span class="date">Published: 2019-09-10 (last updated: 2023-09-21)</span><article><h1>Collaborations</h1>
<p><a href="https://techcultivation.org">The Center for the Cultivation of Technology</a><br /> <p><a href="https://aenderwerk.de">Änderwerk gGmbH</a><br />
The Center for the Cultivation of Technology is a &quot;back-end provider&quot; for the open source community. They work with Robur to assist us in our financial processes and administration.</p> Änderwerk is a &quot;back-end provider&quot; for the open source community. They work with Robur to assist us in our financial processes and administration.</p>
<p><a href="https://leastauthority.com">Least Authority</a> <p><a href="https://leastauthority.com">Least Authority</a>
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.</p> 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.</p>
<p><a href="https://mirage.io">MirageOS</a><br /> <p><a href="https://mirage.io">MirageOS</a><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.</p> 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.</p>
<p><a href="https://nitrokey.com">Nitrokey</a><br />
Robur designed and implemented <a href="https://www.nitrokey.com/products/nethsm">NetHSM</a> for Nitrokey.</p>
<p><a href="http://ocamllabs.io">OCaml Labs</a><br /> <p><a href="http://ocamllabs.io">OCaml Labs</a><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.</p> 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.</p>
<p><a href="https://tarides.com">Tarides</a><br /> <p><a href="https://tarides.com">Tarides</a><br />
Is a for-profit distributed engineering team based in Paris and Cambridge that makes software for MirageOS. Robur works alongside Tarides to expand the MirageOS ecosystem and collaborate on some projects.</p> Is a for-profit distributed engineering team based in Paris and Cambridge that makes software for MirageOS. Robur works alongside Tarides to expand the MirageOS ecosystem and collaborate on some projects.</p>
<br /> <br />
<h1>Grant Funders</h1> <h1>Grant Funders</h1>
<p><a href="https://pointer.ngi.eu">NGI Pointer</a><br />
NGI pointer is a EU funded project which funds the next generation ecosystem of Internet architects. They funded our reproducible builds work.</p>
<p><a href="https://nlnet.nl">NLnet Foundation</a><br /> <p><a href="https://nlnet.nl">NLnet Foundation</a><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.</p> 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.</p>
<p><a href="https://prototypefund.de/en">The Prototype Fund</a><br /> <p><a href="https://prototypefund.de/en">The Prototype Fund</a><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.</p> 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.</p>
</article></div></div></main><div class="footer"><p><a href="/Contact">Contact</a> </article></div></div></main><div class="footer"><p><a href="/Contact">Contact</a>

32
About Us/Team
View file

@ -1,5 +1,5 @@
<!DOCTYPE html> <!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Team</title><meta charset="UTF-8"/><link rel="stylesheet" href="/static/css/style.css"/><link rel="alternate" href="/atom" title="Team" type="application/atom+xml"/><meta name="viewport" content="width=device-width, initial-scale=1, viewport-fit=cover"/></head><body><nav class="navbar navbar-default navbar-fixed-top"><div class="container"><div class="navbar-header"><a class="navbar-brand" href="/Home">robur</a></div><div class="collapse navbar-collapse collapse"><ul class="nav navbar-nav navbar-right"><li><a href="/Donate"><span>Donate</span></a></li><li><a href="/Contact"><span>Contact</span></a></li><li><a href="/About Us"><span>About Us</span></a></li><li><a href="/Our Work"><span>Our Work</span></a></li><li><a href="/"><span></span></a></li><li><a href="/"><span></span></a></li><li><a href="/"><span></span></a></li><li><a href="/"><span></span></a></li></ul></div></div></nav><main><div class="flex-container"><div class="post"><h2>Team</h2><span class="date">Published: 2019-09-10 (last updated: 2022-11-20)</span><article><p>Robur is a software development cooperative specializing in robust and secure digital infrastructure written in OCaml.</p> <html xmlns="http://www.w3.org/1999/xhtml"><head><title>Team</title><meta charset="UTF-8"/><link rel="stylesheet" href="/static/css/style.css"/><link rel="alternate" href="/atom" title="Team" type="application/atom+xml"/><meta name="viewport" content="width=device-width, initial-scale=1, viewport-fit=cover"/></head><body><nav class="navbar navbar-default navbar-fixed-top"><div class="container"><div class="navbar-header"><a class="navbar-brand" href="/Home">robur</a></div><div class="collapse navbar-collapse collapse"><ul class="nav navbar-nav navbar-right"><li><a href="/Donate"><span>Donate</span></a></li><li><a href="/Contact"><span>Contact</span></a></li><li><a href="/About Us"><span>About Us</span></a></li><li><a href="/Our Work"><span>Our Work</span></a></li><li><a href="/"><span></span></a></li><li><a href="/"><span></span></a></li><li><a href="/"><span></span></a></li><li><a href="/"><span></span></a></li></ul></div></div></nav><main><div class="flex-container"><div class="post"><h2>Team</h2><span class="date">Published: 2019-09-10 (last updated: 2023-09-21)</span><article><p>Robur is a software development cooperative specializing in robust and secure digital infrastructure written in OCaml.</p>
<h2>Current members</h2> <h2>Current members</h2>
<h3>Hannes</h3> <h3>Hannes</h3>
<p>Hannes enjoys living in Berlin, Germany. Until end of 2017, he used to be a research associate at the University of Cambridge in the rems project. He enjoys to write code, and also traveling and repairing his recumbent bicycle, and being a barista.</p> <p>Hannes enjoys living in Berlin, Germany. Until end of 2017, he used to be a research associate at the University of Cambridge in the rems project. He enjoys to write code, and also traveling and repairing his recumbent bicycle, and being a barista.</p>
@ -11,19 +11,14 @@ Based in Århus, Denmark he goes winterbathing in the cold sea.</p>
<p>Reynir studied computer science at Aarhus University with an interest in programming languages and formal verification. <p>Reynir studied computer science at Aarhus University with an interest in programming languages and formal verification.
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 <a href="https://data.coop">data.coop</a>, an association that collectively owns and run servers offering digital services for their members.</p> He is still heavily involved as a developer and system administrator in <a href="https://data.coop">data.coop</a>, an association that collectively owns and run servers offering digital services for their members.</p>
<h3>rand</h3>
<p>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.</p>
<p>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.</p>
<p>Spends much of his time with his daughter and doing experimental art with his video synthesizer <code>niseq</code>, of course written using pure FRP in OCaml (:</p>
<p>Can be found at <a href="https://r7p5.earth/">https://r7p5.earth/</a>.</p>
<h3>dinosaure</h3> <h3>dinosaure</h3>
<p>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 <a href="https://paste.osau.re">paste.osau.re</a>, <a href="https://bob.osau.re">bob</a>, and his <a href="https://blog.osau.re">blog</a>.</p> <p>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 <a href="https://paste.osau.re">paste.osau.re</a>, <a href="https://bob.osau.re">bob</a>, and his <a href="https://blog.osau.re">blog</a>.</p>
<h2>Former members</h2> <h2>Former members</h2>
<h3>Stefanie</h3> <h3>Joe</h3>
<p>Stefanie is an infrastructure software engineer and a researcher.</p> <p>Joe is an independent IT consultant located in Copenhagen.</p>
<p>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.</p> <p>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.</p>
<p>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.</p> <p>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.</p>
<p>Her Erdős number is 4.</p> <p>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).</p>
<h3>Martin</h3> <h3>Martin</h3>
<p>Martin has been programming since before programming was trendy, eating Sharp SC61860A machine code for breakfast since before it was healthy, and using Linux way back when it was just Linus Torvalds’ glorified terminal emulator.</p> <p>Martin has been programming since before programming was trendy, eating Sharp SC61860A machine code for breakfast since before it was healthy, and using Linux way back when it was just Linus Torvalds’ glorified terminal emulator.</p>
<p>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 unikernel and MirageOS. He is a co-author of 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.</p> <p>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 unikernel and MirageOS. He is a co-author of 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.</p>
@ -32,11 +27,16 @@ He is still heavily involved as a developer and system administrator in <a href=
<p>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>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>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>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>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> <p>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>
<h3>Joe</h3> <h3>rand</h3>
<p>Joe is an independent IT consultant located in Copenhagen.</p> <p>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.</p>
<p>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.</p> <p>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.</p>
<p>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.</p> <p>Spends much of his time with his daughter and doing experimental art with his video synthesizer <code>niseq</code>, of course written using pure FRP in OCaml (:</p>
<p>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).</p> <p>Can be found at <a href="https://r7p5.earth/">https://r7p5.earth/</a>.</p>
<h3>Stefanie</h3>
<p>Stefanie is an infrastructure software engineer and a researcher.</p>
<p>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.</p>
<p>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.</p>
<p>Her Erdős number is 4.</p>
</article></div></div></main><div class="footer"><p><a href="/Contact">Contact</a> </article></div></div></main><div class="footer"><p><a href="/Contact">Contact</a>
<a href="/Donate">Donate</a></p> <a href="/Donate">Donate</a></p>
</div></body></html> </div></body></html>

17
Donate
View file

@ -1,22 +1,25 @@
<!DOCTYPE html> <!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>robur</title><meta charset="UTF-8"/><link rel="stylesheet" href="/static/css/style.css"/><link rel="alternate" href="/atom" title="robur" type="application/atom+xml"/><meta name="viewport" content="width=device-width, initial-scale=1, viewport-fit=cover"/></head><body><nav class="navbar navbar-default navbar-fixed-top"><div class="container"><div class="navbar-header"><a class="navbar-brand" href="/Home">robur</a></div><div class="collapse navbar-collapse collapse"><ul class="nav navbar-nav navbar-right"><li><a href="/Donate"><span>Donate</span></a></li><li><a href="/Contact"><span>Contact</span></a></li><li><a href="/About Us"><span>About Us</span></a></li><li><a href="/Our Work"><span>Our Work</span></a></li><li><a href="/"><span></span></a></li><li><a href="/"><span></span></a></li><li><a href="/"><span></span></a></li><li><a href="/"><span></span></a></li></ul></div></div></nav><main><div class="flex-container"><div class="post"><span class="date">Published: 2018-04-15 (last updated: 2021-07-05)</span><article><p>We are passionate about creating secure and reliable open source infrastructure. We have worked on secure implementations of important applications such as <a href="/Our%20Work/Projects#OpenPGP">OpenPGP</a> and DNS.</p> <html xmlns="http://www.w3.org/1999/xhtml"><head><title>robur</title><meta charset="UTF-8"/><link rel="stylesheet" href="/static/css/style.css"/><link rel="alternate" href="/atom" title="robur" type="application/atom+xml"/><meta name="viewport" content="width=device-width, initial-scale=1, viewport-fit=cover"/></head><body><nav class="navbar navbar-default navbar-fixed-top"><div class="container"><div class="navbar-header"><a class="navbar-brand" href="/Home">robur</a></div><div class="collapse navbar-collapse collapse"><ul class="nav navbar-nav navbar-right"><li><a href="/Donate"><span>Donate</span></a></li><li><a href="/Contact"><span>Contact</span></a></li><li><a href="/About Us"><span>About Us</span></a></li><li><a href="/Our Work"><span>Our Work</span></a></li><li><a href="/"><span></span></a></li><li><a href="/"><span></span></a></li><li><a href="/"><span></span></a></li><li><a href="/"><span></span></a></li></ul></div></div></nav><main><div class="flex-container"><div class="post"><span class="date">Published: 2018-04-15 (last updated: 2023-09-21)</span><article><p>We are passionate about creating secure and reliable open source infrastructure. We have worked on secure implementations of important applications such as <a href="/Our%20Work/Projects#OpenPGP">OpenPGP</a> and DNS.</p>
<p>Unfortunately such projects aren't always easy to get full grants for, and public donations really help us in completing such work.</p> <p>Unfortunately such projects aren't always easy to get full grants for, and public donations really help us in completing such work.</p>
<p>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 <a href="/About%20Us/Funding">funding page</a>).</p> <p>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 <a href="/About%20Us/Funding">funding page</a>).</p>
<p>As Robur is a project of the nonprofit <a href="https://techcultivation.org">The Center For Technical Cultivation</a> we are <a href="/Donate#Tax-Deductibility">tax deductible in Europe</a>.</p> <p>As Robur is a project of the nonprofit <a href="https://aenderwerk.de">Änderwerk</a> we are <a href="/Donate#Tax-Deductibility">tax deductible in Europe</a>.</p>
<h3>How To Donate</h3> <h3>How To Donate</h3>
<ul> <ul>
<li> <li>
<p>Direct debit or Paypal: <a href="https://aenderwerk.de/donate/">visit this page</a></p>
</li>
<li>
<p>To donate via SEPA wire transfer, use:</p> <p>To donate via SEPA wire transfer, use:</p>
<p>Account holder: Center for the Cultivation of Technology<br /> <p>Account holder: Änderwerk gGmbH<br />
Subject: <code>robur JSR9DAHD</code><br /> Subject: <code>robur</code><br />
IBAN: <code>DE65 4306 0967 4111 9411 01</code><br /> IBAN: <code>DE46 4306 0967 1289 8604 00</code><br />
BIC: <code>GENODEM1GLS</code><br /> BIC: <code>GENODEM1GLS</code><br />
Bank: <em>GLS Gemeinschaftsbank, Christstrasse 9, 44789 Bochum, Germany</em></p> Bank: <em>GLS Gemeinschaftsbank, Christstrasse 9, 44789 Bochum, Germany</em></p>
</li> </li>
</ul> </ul>
<h3>Tax Deductibility</h3> <h3>Tax Deductibility</h3>
<p>For Germany, you can <a href="https://techcultivation.org/documents/cct-vereinfachter-spendennachweis.pdf">download a general donation receipt</a> that together with your bank statement is sufficient to claim taxes on donations up to 200€.</p> <p>For Germany, you can <a href="https://aenderwerk.de/wp-content/uploads/bsk-pdf-manager/2023/08/2022-Vereinfachter-Spendennachweis-Aenderwerk.de_.pdf">download a general donation receipt</a> that together with your bank statement is sufficient to claim taxes on donations up to 300€.</p>
<p>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 <code>donate@techcultivation.org</code>.</p> <p>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 <code>finance@aenderwerk.de</code>.</p>
</article></div></div></main><div class="footer"><p><a href="/Contact">Contact</a> </article></div></div></main><div class="footer"><p><a href="/Contact">Contact</a>
<a href="/Donate">Donate</a></p> <a href="/Donate">Donate</a></p>
</div></body></html> </div></body></html>

4
Projects/Reproducible_builds
View file

@ -1,11 +1,11 @@
<!DOCTYPE html> <!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Robur Reproducible Builds</title><meta charset="UTF-8"/><link rel="stylesheet" href="/static/css/style.css"/><link rel="alternate" href="/atom" title="Robur Reproducible Builds" type="application/atom+xml"/><meta name="viewport" content="width=device-width, initial-scale=1, viewport-fit=cover"/></head><body><nav class="navbar navbar-default navbar-fixed-top"><div class="container"><div class="navbar-header"><a class="navbar-brand" href="/Home">robur</a></div><div class="collapse navbar-collapse collapse"><ul class="nav navbar-nav navbar-right"><li><a href="/Donate"><span>Donate</span></a></li><li><a href="/Contact"><span>Contact</span></a></li><li><a href="/About Us"><span>About Us</span></a></li><li><a href="/Our Work"><span>Our Work</span></a></li><li><a href="/"><span></span></a></li><li><a href="/"><span></span></a></li><li><a href="/"><span></span></a></li><li><a href="/"><span></span></a></li></ul></div></div></nav><main><div class="flex-container"><div class="post"><h2>Robur Reproducible Builds</h2><span class="date">Published: 2021-11-16 (last updated: 2023-05-16)</span><article><p>In 2021 we in <a href="https://robur.coop/">Robur</a> have been working towards easing deployment of reproducible mirage applications. The work has been funded by the European Union under the <a href="https://pointer.ngi.eu/">Next Generation Internet (NGI Pointer) initiative</a>. The result is <a href="https://builds.robur.coop">online</a>.</p> <html xmlns="http://www.w3.org/1999/xhtml"><head><title>Robur Reproducible Builds</title><meta charset="UTF-8"/><link rel="stylesheet" href="/static/css/style.css"/><link rel="alternate" href="/atom" title="Robur Reproducible Builds" type="application/atom+xml"/><meta name="viewport" content="width=device-width, initial-scale=1, viewport-fit=cover"/></head><body><nav class="navbar navbar-default navbar-fixed-top"><div class="container"><div class="navbar-header"><a class="navbar-brand" href="/Home">robur</a></div><div class="collapse navbar-collapse collapse"><ul class="nav navbar-nav navbar-right"><li><a href="/Donate"><span>Donate</span></a></li><li><a href="/Contact"><span>Contact</span></a></li><li><a href="/About Us"><span>About Us</span></a></li><li><a href="/Our Work"><span>Our Work</span></a></li><li><a href="/"><span></span></a></li><li><a href="/"><span></span></a></li><li><a href="/"><span></span></a></li><li><a href="/"><span></span></a></li></ul></div></div></nav><main><div class="flex-container"><div class="post"><h2>Robur Reproducible Builds</h2><span class="date">Published: 2021-11-16 (last updated: 2023-09-21)</span><article><p>In 2021 we in <a href="https://robur.coop/">Robur</a> have been working towards easing deployment of reproducible mirage applications. The work has been funded by the European Union under the <a href="https://pointer.ngi.eu/">Next Generation Internet (NGI Pointer) initiative</a>. The result is <a href="https://builds.robur.coop">online</a>.</p>
<p>The overall goal is to push MirageOS into production in a trustworthy way. We worked on reproducible builds for <a href="https://opam.ocaml.org">Opam</a> packages and <a href="https://mirageos.org">MirageOS</a> - with the infrastructure being reproducible itself. Reproducible builds are crucial for supply chain security - everyone can reproduce the exact same binary (by using the same sources and environment), without reproducible builds we would not publish binaries.</p> <p>The overall goal is to push MirageOS into production in a trustworthy way. We worked on reproducible builds for <a href="https://opam.ocaml.org">Opam</a> packages and <a href="https://mirageos.org">MirageOS</a> - with the infrastructure being reproducible itself. Reproducible builds are crucial for supply chain security - everyone can reproduce the exact same binary (by using the same sources and environment), without reproducible builds we would not publish binaries.</p>
<p>Reproducible builds are also great for fleet management: by inspecting the hash of the binary that is executed, we can figure out which versions of which libraries are in the unikernel - and suggest updates if newer builds are available or if a used library has a security flaw -- <code>albatross-client update my-unikernel</code> is everything needed for an update.</p> <p>Reproducible builds are also great for fleet management: by inspecting the hash of the binary that is executed, we can figure out which versions of which libraries are in the unikernel - and suggest updates if newer builds are available or if a used library has a security flaw -- <code>albatross-client update my-unikernel</code> is everything needed for an update.</p>
<p>Several ready-to-use MirageOS unikernels are built on a daily basis - ranging from <a href="https://builds.robur.coop/job/dns-primary-git/">authoritative DNS servers</a> (<a href="https://builds.robur.coop/job/dns-secondary/">secondary</a>, <a href="https://builds.robur.coop/job/dns-letsencrypt-secondary/">let's encrypt DNS solver</a>), <a href="https://builds.robur.coop/job/dnsvizor/">DNS-and-DHCP service (similar to dnsmasq)</a>, <a href="https://builds.robur.coop/job/tlstunnel/">TLS reverse proxy</a>, <a href="https://builds.robur.coop/job/unipi/">Unipi - a web server that delivers content from a git repository</a>, <a href="https://builds.robur.coop/job/dns-resolver/">DNS resolver</a>, <a href="https://builds.robur.coop/job/caldav/">CalDAV server</a>, and of course your own MirageOS unikernel.</p> <p>Several ready-to-use MirageOS unikernels are built on a daily basis - ranging from <a href="https://builds.robur.coop/job/dns-primary-git/">authoritative DNS servers</a> (<a href="https://builds.robur.coop/job/dns-secondary/">secondary</a>, <a href="https://builds.robur.coop/job/dns-letsencrypt-secondary/">let's encrypt DNS solver</a>), <a href="https://builds.robur.coop/job/dnsvizor/">DNS-and-DHCP service (similar to dnsmasq)</a>, <a href="https://builds.robur.coop/job/tlstunnel/">TLS reverse proxy</a>, <a href="https://builds.robur.coop/job/unipi/">Unipi - a web server that delivers content from a git repository</a>, <a href="https://builds.robur.coop/job/dns-resolver/">DNS resolver</a>, <a href="https://builds.robur.coop/job/caldav/">CalDAV server</a>, and of course your own MirageOS unikernel.</p>
<h2>Brief robur and MirageOS introduction</h2> <h2>Brief robur and MirageOS introduction</h2>
<p><a href="https://mirageos.org">MirageOS</a> 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 <a href="https://ocaml.org">OCaml</a>, a statically typed and type-safe programming language - which avoids common pitfalls from the grounds up (spatial and temporal memory safety issues).</p> <p><a href="https://mirageos.org">MirageOS</a> 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 <a href="https://ocaml.org">OCaml</a>, a statically typed and type-safe programming language - which avoids common pitfalls from the grounds up (spatial and temporal memory safety issues).</p>
<p><a href="https://robur.coop">Robur</a> 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 <a href="https://techcultivation.org">center for the cultivation of technology</a>. We received funding from several projects (<a href="https://prototypefund.de">prototypefund</a>, <a href="https://pointer.ngi.eu">NGI pointer</a>), donations, and commercial contracts.</p> <p><a href="https://robur.coop">Robur</a> 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 <a href="https://aenderwerk.de">Änderwerk gGmbH</a>. We received funding from several projects (<a href="https://prototypefund.de">prototypefund</a>, <a href="https://pointer.ngi.eu">NGI pointer</a>), donations, and commercial contracts.</p>
<h2>Deploying MirageOS unikernel</h2> <h2>Deploying MirageOS unikernel</h2>
<p>To run a MirageOS unikernel on your laptop or computer with virtualization extensions (VT-x - KVM/BHyve), you first have to install the <code>solo5</code> and <code>albatross</code> packages. Afterwards you need to setup a virtual network switch (a bridge interface) where your unikernels will communicate, and forwarding.</p> <p>To run a MirageOS unikernel on your laptop or computer with virtualization extensions (VT-x - KVM/BHyve), you first have to install the <code>solo5</code> and <code>albatross</code> packages. Afterwards you need to setup a virtual network switch (a bridge interface) where your unikernels will communicate, and forwarding.</p>
<h3>Host system package installation</h3> <h3>Host system package installation</h3>

50
atom
View file

@ -1,10 +1,10 @@
<feed xmlns="http://www.w3.org/2005/Atom"><link href="https://robur.coop//atom" rel="self"/><id>urn:uuid:8167ecfe-9676-11e7-8dc1-68f728e7bbbc</id><title type="text">robur</title><updated>2023-05-16T17:25:50-00:00</updated><entry><published>2021-11-16T15:06:35-00:00</published><link href="/Projects/Reproducible_builds" rel="alternate"/><content type="html">&lt;p&gt;In 2021 we in &lt;a href=&quot;https://robur.coop/&quot;&gt;Robur&lt;/a&gt; have been working towards easing deployment of reproducible mirage applications. The work has been funded by the European Union under the &lt;a href=&quot;https://pointer.ngi.eu/&quot;&gt;Next Generation Internet (NGI Pointer) initiative&lt;/a&gt;. The result is &lt;a href=&quot;https://builds.robur.coop&quot;&gt;online&lt;/a&gt;.&lt;/p&gt; <feed xmlns="http://www.w3.org/2005/Atom"><link href="https://robur.coop//atom" rel="self"/><id>urn:uuid:8167ecfe-9676-11e7-8dc1-68f728e7bbbc</id><title type="text">robur</title><updated>2023-09-21T14:46:48-00:00</updated><entry><published>2021-11-16T15:06:35-00:00</published><link href="/Projects/Reproducible_builds" rel="alternate"/><content type="html">&lt;p&gt;In 2021 we in &lt;a href=&quot;https://robur.coop/&quot;&gt;Robur&lt;/a&gt; have been working towards easing deployment of reproducible mirage applications. The work has been funded by the European Union under the &lt;a href=&quot;https://pointer.ngi.eu/&quot;&gt;Next Generation Internet (NGI Pointer) initiative&lt;/a&gt;. The result is &lt;a href=&quot;https://builds.robur.coop&quot;&gt;online&lt;/a&gt;.&lt;/p&gt;
&lt;p&gt;The overall goal is to push MirageOS into production in a trustworthy way. We worked on reproducible builds for &lt;a href=&quot;https://opam.ocaml.org&quot;&gt;Opam&lt;/a&gt; packages and &lt;a href=&quot;https://mirageos.org&quot;&gt;MirageOS&lt;/a&gt; - with the infrastructure being reproducible itself. Reproducible builds are crucial for supply chain security - everyone can reproduce the exact same binary (by using the same sources and environment), without reproducible builds we would not publish binaries.&lt;/p&gt; &lt;p&gt;The overall goal is to push MirageOS into production in a trustworthy way. We worked on reproducible builds for &lt;a href=&quot;https://opam.ocaml.org&quot;&gt;Opam&lt;/a&gt; packages and &lt;a href=&quot;https://mirageos.org&quot;&gt;MirageOS&lt;/a&gt; - with the infrastructure being reproducible itself. Reproducible builds are crucial for supply chain security - everyone can reproduce the exact same binary (by using the same sources and environment), without reproducible builds we would not publish binaries.&lt;/p&gt;
&lt;p&gt;Reproducible builds are also great for fleet management: by inspecting the hash of the binary that is executed, we can figure out which versions of which libraries are in the unikernel - and suggest updates if newer builds are available or if a used library has a security flaw -- &lt;code&gt;albatross-client update my-unikernel&lt;/code&gt; is everything needed for an update.&lt;/p&gt; &lt;p&gt;Reproducible builds are also great for fleet management: by inspecting the hash of the binary that is executed, we can figure out which versions of which libraries are in the unikernel - and suggest updates if newer builds are available or if a used library has a security flaw -- &lt;code&gt;albatross-client update my-unikernel&lt;/code&gt; is everything needed for an update.&lt;/p&gt;
&lt;p&gt;Several ready-to-use MirageOS unikernels are built on a daily basis - ranging from &lt;a href=&quot;https://builds.robur.coop/job/dns-primary-git/&quot;&gt;authoritative DNS servers&lt;/a&gt; (&lt;a href=&quot;https://builds.robur.coop/job/dns-secondary/&quot;&gt;secondary&lt;/a&gt;, &lt;a href=&quot;https://builds.robur.coop/job/dns-letsencrypt-secondary/&quot;&gt;let's encrypt DNS solver&lt;/a&gt;), &lt;a href=&quot;https://builds.robur.coop/job/dnsvizor/&quot;&gt;DNS-and-DHCP service (similar to dnsmasq)&lt;/a&gt;, &lt;a href=&quot;https://builds.robur.coop/job/tlstunnel/&quot;&gt;TLS reverse proxy&lt;/a&gt;, &lt;a href=&quot;https://builds.robur.coop/job/unipi/&quot;&gt;Unipi - a web server that delivers content from a git repository&lt;/a&gt;, &lt;a href=&quot;https://builds.robur.coop/job/dns-resolver/&quot;&gt;DNS resolver&lt;/a&gt;, &lt;a href=&quot;https://builds.robur.coop/job/caldav/&quot;&gt;CalDAV server&lt;/a&gt;, and of course your own MirageOS unikernel.&lt;/p&gt; &lt;p&gt;Several ready-to-use MirageOS unikernels are built on a daily basis - ranging from &lt;a href=&quot;https://builds.robur.coop/job/dns-primary-git/&quot;&gt;authoritative DNS servers&lt;/a&gt; (&lt;a href=&quot;https://builds.robur.coop/job/dns-secondary/&quot;&gt;secondary&lt;/a&gt;, &lt;a href=&quot;https://builds.robur.coop/job/dns-letsencrypt-secondary/&quot;&gt;let's encrypt DNS solver&lt;/a&gt;), &lt;a href=&quot;https://builds.robur.coop/job/dnsvizor/&quot;&gt;DNS-and-DHCP service (similar to dnsmasq)&lt;/a&gt;, &lt;a href=&quot;https://builds.robur.coop/job/tlstunnel/&quot;&gt;TLS reverse proxy&lt;/a&gt;, &lt;a href=&quot;https://builds.robur.coop/job/unipi/&quot;&gt;Unipi - a web server that delivers content from a git repository&lt;/a&gt;, &lt;a href=&quot;https://builds.robur.coop/job/dns-resolver/&quot;&gt;DNS resolver&lt;/a&gt;, &lt;a href=&quot;https://builds.robur.coop/job/caldav/&quot;&gt;CalDAV server&lt;/a&gt;, and of course your own MirageOS unikernel.&lt;/p&gt;
&lt;h2&gt;Brief robur and MirageOS introduction&lt;/h2&gt; &lt;h2&gt;Brief robur and MirageOS introduction&lt;/h2&gt;
&lt;p&gt;&lt;a href=&quot;https://mirageos.org&quot;&gt;MirageOS&lt;/a&gt; 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 &lt;a href=&quot;https://ocaml.org&quot;&gt;OCaml&lt;/a&gt;, a statically typed and type-safe programming language - which avoids common pitfalls from the grounds up (spatial and temporal memory safety issues).&lt;/p&gt; &lt;p&gt;&lt;a href=&quot;https://mirageos.org&quot;&gt;MirageOS&lt;/a&gt; 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 &lt;a href=&quot;https://ocaml.org&quot;&gt;OCaml&lt;/a&gt;, a statically typed and type-safe programming language - which avoids common pitfalls from the grounds up (spatial and temporal memory safety issues).&lt;/p&gt;
&lt;p&gt;&lt;a href=&quot;https://robur.coop&quot;&gt;Robur&lt;/a&gt; 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 &lt;a href=&quot;https://techcultivation.org&quot;&gt;center for the cultivation of technology&lt;/a&gt;. We received funding from several projects (&lt;a href=&quot;https://prototypefund.de&quot;&gt;prototypefund&lt;/a&gt;, &lt;a href=&quot;https://pointer.ngi.eu&quot;&gt;NGI pointer&lt;/a&gt;), donations, and commercial contracts.&lt;/p&gt; &lt;p&gt;&lt;a href=&quot;https://robur.coop&quot;&gt;Robur&lt;/a&gt; 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 &lt;a href=&quot;https://aenderwerk.de&quot;&gt;Änderwerk gGmbH&lt;/a&gt;. We received funding from several projects (&lt;a href=&quot;https://prototypefund.de&quot;&gt;prototypefund&lt;/a&gt;, &lt;a href=&quot;https://pointer.ngi.eu&quot;&gt;NGI pointer&lt;/a&gt;), donations, and commercial contracts.&lt;/p&gt;
&lt;h2&gt;Deploying MirageOS unikernel&lt;/h2&gt; &lt;h2&gt;Deploying MirageOS unikernel&lt;/h2&gt;
&lt;p&gt;To run a MirageOS unikernel on your laptop or computer with virtualization extensions (VT-x - KVM/BHyve), you first have to install the &lt;code&gt;solo5&lt;/code&gt; and &lt;code&gt;albatross&lt;/code&gt; packages. Afterwards you need to setup a virtual network switch (a bridge interface) where your unikernels will communicate, and forwarding.&lt;/p&gt; &lt;p&gt;To run a MirageOS unikernel on your laptop or computer with virtualization extensions (VT-x - KVM/BHyve), you first have to install the &lt;code&gt;solo5&lt;/code&gt; and &lt;code&gt;albatross&lt;/code&gt; packages. Afterwards you need to setup a virtual network switch (a bridge interface) where your unikernels will communicate, and forwarding.&lt;/p&gt;
&lt;h3&gt;Host system package installation&lt;/h3&gt; &lt;h3&gt;Host system package installation&lt;/h3&gt;
@ -116,7 +116,7 @@ $ fg # back to albatross-client console
$ Ctrl-C # kill that process $ Ctrl-C # kill that process
&lt;/code&gt;&lt;/pre&gt; &lt;/code&gt;&lt;/pre&gt;
&lt;p&gt;That's it. Albatross has more features, such as block devices, multiple bridges (for management, private networks, ...), restart if the unikernel exited with specific exit code, assignment of a unikernel to a specific CPU. It also has remote command execution and resource limits (you can allow your friends to execute a number of unikernels with limited memory and block storage accessing only some of your bridges). There is a daemon to collect metrics and report them to Grafana (via Telegraf and Influx). MirageOS unikernels also support IPv6, you're not limited to legacy IP.&lt;/p&gt; &lt;p&gt;That's it. Albatross has more features, such as block devices, multiple bridges (for management, private networks, ...), restart if the unikernel exited with specific exit code, assignment of a unikernel to a specific CPU. It also has remote command execution and resource limits (you can allow your friends to execute a number of unikernels with limited memory and block storage accessing only some of your bridges). There is a daemon to collect metrics and report them to Grafana (via Telegraf and Influx). MirageOS unikernels also support IPv6, you're not limited to legacy IP.&lt;/p&gt;
</content><id>urn:uuid:a225bf44-9230-569f-8852-1b5d2132a749</id><title type="text">Robur Reproducible Builds</title><updated>2023-05-16T17:25:50-00:00</updated><author><name>canopy</name></author></entry><entry><published>2019-09-10T19:40:14-00:00</published><link href="/Our%20Work/Technology-Employed" rel="alternate"/><content type="html">&lt;h1&gt;MirageOS&lt;/h1&gt; </content><id>urn:uuid:a225bf44-9230-569f-8852-1b5d2132a749</id><title type="text">Robur Reproducible Builds</title><updated>2023-09-21T14:46:48-00:00</updated><author><name>canopy</name></author></entry><entry><published>2019-09-10T19:40:14-00:00</published><link href="/Our%20Work/Technology-Employed" rel="alternate"/><content type="html">&lt;h1&gt;MirageOS&lt;/h1&gt;
&lt;p&gt;MirageOS is a software suite to build custom-tailored operating systems from (mostly open source) small individual libraries. It has been developed since 2009 at the University of Cambridge, UK and is written in the programming language &lt;a href=&quot;/Our%20Work/Technology-Employed#OCaml&quot;&gt;OCaml&lt;/a&gt;.&lt;/p&gt; &lt;p&gt;MirageOS is a software suite to build custom-tailored operating systems from (mostly open source) small individual libraries. It has been developed since 2009 at the University of Cambridge, UK and is written in the programming language &lt;a href=&quot;/Our%20Work/Technology-Employed#OCaml&quot;&gt;OCaml&lt;/a&gt;.&lt;/p&gt;
&lt;p&gt;It compiles the necessary OCaml libraries into a unikernel - a small operating system, each built for a certain purpose. For each unikernel we can pick from hundreds of permissively licensed open source libraries which implement network protocols, storage on block devices, or interfaces to network devices via the hypervisor or host operating system. As we only put into each one exactly what is needed, each unikernel is fast; instantly booting and, as there is less code base, it is easier to maintain and keep secure.&lt;/p&gt; &lt;p&gt;It compiles the necessary OCaml libraries into a unikernel - a small operating system, each built for a certain purpose. For each unikernel we can pick from hundreds of permissively licensed open source libraries which implement network protocols, storage on block devices, or interfaces to network devices via the hypervisor or host operating system. As we only put into each one exactly what is needed, each unikernel is fast; instantly booting and, as there is less code base, it is easier to maintain and keep secure.&lt;/p&gt;
&lt;p&gt;As an example to see how lines of code compare, here are the number of lines of code needed for different elements of our &lt;a href=&quot;/Our%20Work/Projects#Bitcoin%20Pinata&quot;&gt;Bitcoin Pinata&lt;/a&gt;, measured in thousands of lines of code:&lt;/p&gt; &lt;p&gt;As an example to see how lines of code compare, here are the number of lines of code needed for different elements of our &lt;a href=&quot;/Our%20Work/Projects#Bitcoin%20Pinata&quot;&gt;Bitcoin Pinata&lt;/a&gt;, measured in thousands of lines of code:&lt;/p&gt;
@ -370,19 +370,14 @@ Based in Århus, Denmark he goes winterbathing in the cold sea.&lt;/p&gt;
&lt;p&gt;Reynir studied computer science at Aarhus University with an interest in programming languages and formal verification. &lt;p&gt;Reynir studied computer science at Aarhus University with an interest in programming languages and formal verification.
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 &lt;a href=&quot;https://data.coop&quot;&gt;data.coop&lt;/a&gt;, an association that collectively owns and run servers offering digital services for their members.&lt;/p&gt; He is still heavily involved as a developer and system administrator in &lt;a href=&quot;https://data.coop&quot;&gt;data.coop&lt;/a&gt;, an association that collectively owns and run servers offering digital services for their members.&lt;/p&gt;
&lt;h3&gt;rand&lt;/h3&gt;
&lt;p&gt;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.&lt;/p&gt;
&lt;p&gt;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.&lt;/p&gt;
&lt;p&gt;Spends much of his time with his daughter and doing experimental art with his video synthesizer &lt;code&gt;niseq&lt;/code&gt;, of course written using pure FRP in OCaml (:&lt;/p&gt;
&lt;p&gt;Can be found at &lt;a href=&quot;https://r7p5.earth/&quot;&gt;https://r7p5.earth/&lt;/a&gt;.&lt;/p&gt;
&lt;h3&gt;dinosaure&lt;/h3&gt; &lt;h3&gt;dinosaure&lt;/h3&gt;
&lt;p&gt;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 &lt;a href=&quot;https://paste.osau.re&quot;&gt;paste.osau.re&lt;/a&gt;, &lt;a href=&quot;https://bob.osau.re&quot;&gt;bob&lt;/a&gt;, and his &lt;a href=&quot;https://blog.osau.re&quot;&gt;blog&lt;/a&gt;.&lt;/p&gt; &lt;p&gt;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 &lt;a href=&quot;https://paste.osau.re&quot;&gt;paste.osau.re&lt;/a&gt;, &lt;a href=&quot;https://bob.osau.re&quot;&gt;bob&lt;/a&gt;, and his &lt;a href=&quot;https://blog.osau.re&quot;&gt;blog&lt;/a&gt;.&lt;/p&gt;
&lt;h2&gt;Former members&lt;/h2&gt; &lt;h2&gt;Former members&lt;/h2&gt;
&lt;h3&gt;Stefanie&lt;/h3&gt; &lt;h3&gt;Joe&lt;/h3&gt;
&lt;p&gt;Stefanie is an infrastructure software engineer and a researcher.&lt;/p&gt; &lt;p&gt;Joe is an independent IT consultant located in Copenhagen.&lt;/p&gt;
&lt;p&gt;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.&lt;/p&gt; &lt;p&gt;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.&lt;/p&gt;
&lt;p&gt;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.&lt;/p&gt; &lt;p&gt;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.&lt;/p&gt;
&lt;p&gt;Her Erdős number is 4.&lt;/p&gt; &lt;p&gt;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).&lt;/p&gt;
&lt;h3&gt;Martin&lt;/h3&gt; &lt;h3&gt;Martin&lt;/h3&gt;
&lt;p&gt;Martin has been programming since before programming was trendy, eating Sharp SC61860A machine code for breakfast since before it was healthy, and using Linux way back when it was just Linus Torvalds’ glorified terminal emulator.&lt;/p&gt; &lt;p&gt;Martin has been programming since before programming was trendy, eating Sharp SC61860A machine code for breakfast since before it was healthy, and using Linux way back when it was just Linus Torvalds’ glorified terminal emulator.&lt;/p&gt;
&lt;p&gt;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 unikernel and MirageOS. He is a co-author of 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.&lt;/p&gt; &lt;p&gt;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 unikernel and MirageOS. He is a co-author of 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.&lt;/p&gt;
@ -391,32 +386,41 @@ He is still heavily involved as a developer and system administrator in &lt;a hr
&lt;p&gt;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.&lt;/p&gt; &lt;p&gt;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.&lt;/p&gt;
&lt;p&gt;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!&lt;/p&gt; &lt;p&gt;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!&lt;/p&gt;
&lt;p&gt;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.&lt;/p&gt; &lt;p&gt;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.&lt;/p&gt;
&lt;h3&gt;Joe&lt;/h3&gt; &lt;h3&gt;rand&lt;/h3&gt;
&lt;p&gt;Joe is an independent IT consultant located in Copenhagen.&lt;/p&gt; &lt;p&gt;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.&lt;/p&gt;
&lt;p&gt;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.&lt;/p&gt; &lt;p&gt;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.&lt;/p&gt;
&lt;p&gt;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.&lt;/p&gt; &lt;p&gt;Spends much of his time with his daughter and doing experimental art with his video synthesizer &lt;code&gt;niseq&lt;/code&gt;, of course written using pure FRP in OCaml (:&lt;/p&gt;
&lt;p&gt;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).&lt;/p&gt; &lt;p&gt;Can be found at &lt;a href=&quot;https://r7p5.earth/&quot;&gt;https://r7p5.earth/&lt;/a&gt;.&lt;/p&gt;
</content><id>urn:uuid:a4887de7-8629-5578-836f-d31b51fe75aa</id><title type="text">Team</title><updated>2022-11-20T13:38:10-00:00</updated><author><name>canopy</name></author></entry><entry><published>2019-09-10T19:40:14-00:00</published><link href="/About%20Us/Retreats" rel="alternate"/><content type="html">&lt;p&gt;Twice a year the Robur team meet with others from the OCaml and MirageOS community at a week long hack retreat in Marrakesh, Morocco.&lt;/p&gt; &lt;h3&gt;Stefanie&lt;/h3&gt;
&lt;p&gt;Stefanie is an infrastructure software engineer and a researcher.&lt;/p&gt;
&lt;p&gt;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.&lt;/p&gt;
&lt;p&gt;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.&lt;/p&gt;
&lt;p&gt;Her Erdős number is 4.&lt;/p&gt;
</content><id>urn:uuid:a4887de7-8629-5578-836f-d31b51fe75aa</id><title type="text">Team</title><updated>2023-09-21T14:46:48-00:00</updated><author><name>canopy</name></author></entry><entry><published>2019-09-10T19:40:14-00:00</published><link href="/About%20Us/Retreats" rel="alternate"/><content type="html">&lt;p&gt;Twice a year the Robur team meet with others from the OCaml and MirageOS community at a week long hack retreat in Marrakesh, Morocco.&lt;/p&gt;
&lt;p&gt;We use these times to discuss and learn about new developments in the MirageOS ecosystem and meet in person about our Robur projects. And of course we have fun whilst we are at it!&lt;/p&gt; &lt;p&gt;We use these times to discuss and learn about new developments in the MirageOS ecosystem and meet in person about our Robur projects. And of course we have fun whilst we are at it!&lt;/p&gt;
&lt;p&gt;The retreats are held in a hostel in the center of the city, which we wholly rent out for the period, with food provided. If you are interested in participating in the next retreat please &lt;a href=&quot;http://retreat.mirage.io/&quot;&gt;see the MirageOS site&lt;/a&gt; for more details and sign-up method.&lt;/p&gt; &lt;p&gt;The retreats are held in a hostel in the center of the city, which we wholly rent out for the period, with food provided. If you are interested in participating in the next retreat please &lt;a href=&quot;http://retreat.mirage.io/&quot;&gt;see the MirageOS site&lt;/a&gt; for more details and sign-up method.&lt;/p&gt;
</content><id>urn:uuid:a4887de7-8629-5578-836f-d31b51fe75aa</id><title type="text">Retreats</title><updated>2019-09-10T21:40:09-00:00</updated><author><name>canopy</name></author></entry><entry><published>2019-09-10T19:40:14-00:00</published><link href="/About%20Us/Network" rel="alternate"/><content type="html">&lt;h1&gt;Collaborations&lt;/h1&gt; </content><id>urn:uuid:a4887de7-8629-5578-836f-d31b51fe75aa</id><title type="text">Retreats</title><updated>2019-09-10T21:40:09-00:00</updated><author><name>canopy</name></author></entry><entry><published>2019-09-10T19:40:14-00:00</published><link href="/About%20Us/Network" rel="alternate"/><content type="html">&lt;h1&gt;Collaborations&lt;/h1&gt;
&lt;p&gt;&lt;a href=&quot;https://techcultivation.org&quot;&gt;The Center for the Cultivation of Technology&lt;/a&gt;&lt;br /&gt; &lt;p&gt;&lt;a href=&quot;https://aenderwerk.de&quot;&gt;Änderwerk gGmbH&lt;/a&gt;&lt;br /&gt;
The Center for the Cultivation of Technology is a &amp;quot;back-end provider&amp;quot; for the open source community. They work with Robur to assist us in our financial processes and administration.&lt;/p&gt; Änderwerk is a &amp;quot;back-end provider&amp;quot; for the open source community. They work with Robur to assist us in our financial processes and administration.&lt;/p&gt;
&lt;p&gt;&lt;a href=&quot;https://leastauthority.com&quot;&gt;Least Authority&lt;/a&gt; &lt;p&gt;&lt;a href=&quot;https://leastauthority.com&quot;&gt;Least Authority&lt;/a&gt;
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.&lt;/p&gt; 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.&lt;/p&gt;
&lt;p&gt;&lt;a href=&quot;https://mirage.io&quot;&gt;MirageOS&lt;/a&gt;&lt;br /&gt; &lt;p&gt;&lt;a href=&quot;https://mirage.io&quot;&gt;MirageOS&lt;/a&gt;&lt;br /&gt;
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.&lt;/p&gt; 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.&lt;/p&gt;
&lt;p&gt;&lt;a href=&quot;https://nitrokey.com&quot;&gt;Nitrokey&lt;/a&gt;&lt;br /&gt;
Robur designed and implemented &lt;a href=&quot;https://www.nitrokey.com/products/nethsm&quot;&gt;NetHSM&lt;/a&gt; for Nitrokey.&lt;/p&gt;
&lt;p&gt;&lt;a href=&quot;http://ocamllabs.io&quot;&gt;OCaml Labs&lt;/a&gt;&lt;br /&gt; &lt;p&gt;&lt;a href=&quot;http://ocamllabs.io&quot;&gt;OCaml Labs&lt;/a&gt;&lt;br /&gt;
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.&lt;/p&gt; 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.&lt;/p&gt;
&lt;p&gt;&lt;a href=&quot;https://tarides.com&quot;&gt;Tarides&lt;/a&gt;&lt;br /&gt; &lt;p&gt;&lt;a href=&quot;https://tarides.com&quot;&gt;Tarides&lt;/a&gt;&lt;br /&gt;
Is a for-profit distributed engineering team based in Paris and Cambridge that makes software for MirageOS. Robur works alongside Tarides to expand the MirageOS ecosystem and collaborate on some projects.&lt;/p&gt; Is a for-profit distributed engineering team based in Paris and Cambridge that makes software for MirageOS. Robur works alongside Tarides to expand the MirageOS ecosystem and collaborate on some projects.&lt;/p&gt;
&lt;br /&gt; &lt;br /&gt;
&lt;h1&gt;Grant Funders&lt;/h1&gt; &lt;h1&gt;Grant Funders&lt;/h1&gt;
&lt;p&gt;&lt;a href=&quot;https://pointer.ngi.eu&quot;&gt;NGI Pointer&lt;/a&gt;&lt;br /&gt;
NGI pointer is a EU funded project which funds the next generation ecosystem of Internet architects. They funded our reproducible builds work.&lt;/p&gt;
&lt;p&gt;&lt;a href=&quot;https://nlnet.nl&quot;&gt;NLnet Foundation&lt;/a&gt;&lt;br /&gt; &lt;p&gt;&lt;a href=&quot;https://nlnet.nl&quot;&gt;NLnet Foundation&lt;/a&gt;&lt;br /&gt;
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.&lt;/p&gt; 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.&lt;/p&gt;
&lt;p&gt;&lt;a href=&quot;https://prototypefund.de/en&quot;&gt;The Prototype Fund&lt;/a&gt;&lt;br /&gt; &lt;p&gt;&lt;a href=&quot;https://prototypefund.de/en&quot;&gt;The Prototype Fund&lt;/a&gt;&lt;br /&gt;
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.&lt;/p&gt; 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.&lt;/p&gt;
</content><id>urn:uuid:a4887de7-8629-5578-836f-d31b51fe75aa</id><title type="text">Network</title><updated>2020-02-18T17:34:49-00:00</updated><author><name>canopy</name></author></entry><entry><published>2019-09-10T19:40:14-00:00</published><link href="/About%20Us/Funding" rel="alternate"/><content type="html">&lt;p&gt;At Robur our focus is on the software we develop. We are passionate about our work and believe in the importance of creating and maintaining secure digital infrastructure.&lt;/p&gt; </content><id>urn:uuid:a4887de7-8629-5578-836f-d31b51fe75aa</id><title type="text">Network</title><updated>2023-09-21T14:46:48-00:00</updated><author><name>canopy</name></author></entry><entry><published>2019-09-10T19:40:14-00:00</published><link href="/About%20Us/Funding" rel="alternate"/><content type="html">&lt;p&gt;At Robur our focus is on the software we develop. We are passionate about our work and believe in the importance of creating and maintaining secure digital infrastructure.&lt;/p&gt;
&lt;p&gt;We get our funding through three avenues: grants for particular open-source projects, contracts for specific work including development and auditing, and public donations that help allow us to continue the work that isn't otherwise funded.&lt;/p&gt; &lt;p&gt;We get our funding through three avenues: grants for particular open-source projects, contracts for specific work including development and auditing, and public donations that help allow us to continue the work that isn't otherwise funded.&lt;/p&gt;
&lt;p&gt;We spend most of our funding on salaries, ensuring Robur keeps developing the software we think is important. We do not spend money on fancy parties or first class business trips. Our general breakdown of spending per year is:&lt;/p&gt; &lt;p&gt;We spend most of our funding on salaries, ensuring Robur keeps developing the software we think is important. We do not spend money on fancy parties or first class business trips. Our general breakdown of spending per year is:&lt;/p&gt;
&lt;ul&gt; &lt;ul&gt;