about summary refs log tree commit diff stats
path: root/index.php
blob: e856f0f924b0526a88fb880e913d7f72b0cdf8e2 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en">

<head>
    <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
    <meta name="viewport" content="width=device-width, initial-scale=1" />
    <title>tilde.institute :: Public-access OpenBSD machine</title>
    <link rel="stylesheet" href="tilde.css" type="text/css" />
    <link rel="icon" type="image/png" href="icon.png" />
</head>

<body>
    <div id="container">
        <?php include("header.html"); ?>
        <div id="front-content">
            <p>Welcome to tilde.institute, a public-access machine in the <a
                    href="https://tildeverse.org">tildeverse</a>. This is a space for people to
                explore the OpenBSD operating system, in addition to exploring the more social
                aspects of a multi-user UNIX system.</p>
            <p>User sites are accessible via <code>https://&lt;user&gt;.tilde.institute</code></p>
            <p style="margin-top:-1.0rem">A list of user gopherholes is available at
                <code>gopher://tilde.institute</code></p>
            <p style="margin-top:-1.0rem">User git repositories are at <code><a href="https://git.tilde.institute">
                https://git.tilde.institute</a></code></p>
            <p>The mailing list will be the primary means of communication between tilde.institute admins and users
                regarding announcements and critical issues. Web archive and <a
                    href="https://lists.tildeverse.org/postorius/lists/institute.lists.tildeverse.org/">subscribing
                    information available here</a>.</p>
            <p>The following services run directly on the server:</p>
            <ul>
                <li><code>cgit</code></li>
                <li><code>efingerd</code></li>
                <li><code>gophernicus</code></li>
                <li><code>httpd(8)</code></li>
                <li><code>identd(8)</code></li>
                <li><code>php73_fpm</code></li>
                <li><code>slowcgi(8)</code></li>
                <li><code>smtpd(8)</code></li>
                <li><code>unbound(8)</code></li>
            </ul>
            <p>The following services run on separate VMs:</p>
            <ul>
                <li><code>inspircd</code></li>
                <li><code><a href="https://github.com/getwtxt/getwtxt">getwtxt</a></code></li>
            </ul>
            <p>IRC clients:</p>
            <ul>
                <li><code>weechat</code></li>
                <li><code>irssi</code></li>
                <li><code>ircII</code></li>
            </ul>
            <p>The compilers and interpreters available are:</p>
            <ul>
                <li><code>brainf*ck 2.7.1</code></li>
		<li><code>chicken 5.1.0</code></li>
                <li><code>clang 8.0.1</code></li>
                <li><code>clisp 2.49</code></li>
                <li><code>clojure 1.10.0.4</code></li>
                <li><code>crystal 0.30.1</code></li>
                <li><code>elixir 1.9.1</code></li>
                <li><code>erlang 21.2</code></li>
		<li><code>gambit 4.9.3</code></li>
                <li><code>gcc 8.3.0 (see the <a href="https://wiki.tilde.institute/w/gcc8">wiki page</a>)</code></li>
		<li><code>gerbil scheme 0.15.1 (see the <a href="https://wiki.tilde.institute/w/gerbilscheme">wiki page</a>)</code></li>
                <li><code>gforth 0.7.3</code></li>
                <li><code>gfortran / g95 8.3.0 (see the <a href="https://wiki.tilde.institute/w/gcc8">wiki page</a>)</code></li>
                <li><code>ghc 8.6.4</code></li>
                <li><code>gnat 8.3.0</code></li>
                <li><code>go 1.13.1</code></li>
                <li><code>guile 1.8.8</code></li>
                <li><code>jdk 11 and 8 (see the <a href="https://wiki.tilde.institute/w/jdk">wiki page</a>)</code></li>
                <li><code>lua 5.3.5 and 5.1.5</code></li>
                <li><code>mono 5.20.1.34</code></li>
                <li><code>nasm 2.14.02</code></li>
		<li><code>newlisp 10.7.1</code></li>
                <li><code>nim 1.0.4</code></li>
                <li><code>node.js 10.16.3</code></li>
                <li><code>perl 5.28.2</code></li>
                <li><code>php 7.3.16</code></li>
                <li><code>python 2.7.16 and 3.7.4</code></li>
                <li><code>racket 7.4</code></li>
                <li><code>rakudo 2018.12</code></li>
                <li><code>ruby 2.5.5 and 2.6.6</code></li>
                <li><code>rust 1.38</code></li>
                <li><code>scala 2.12.3</code></li>
		<li><code>tinyscheme 1.41</code></li>
                <li><code>yasm 1.3.0</code></li>
            </ul>
            <p>Your interactive shell can be changed with the <code>chsh</code> command. Available are:</p>
            <ul>
                <li><code>/bin/ksh (default)</code></li>
                <li><code>/bin/sh</code></li>
                <li><code>/bin/csh</code></li>
                <li><code>/usr/local/bin/bash</code></li>
                <li><code>/usr/local/bin/dash</code></li>
                <li><code>/usr/local/bin/zsh</code></li>
                <li><code>/usr/local/bin/fish</code></li>
                <li><code>/usr/local/bin/tcsh</code></li>
                <li><code>/usr/local/bin/elvish</code></li>
            </ul>
            <p>Feel free to contact the admins via <a href="mailto:admins@tilde.institute">admins@tilde.institute</a> or
                on IRC in <code>#institute</code> if you need another package installed, or if you would like your
                homepage's index changed from <code>index.html</code> to something else (<code>index.cgi</code>,
                <code>index.php</code>, etc).</p>
        </div>
        <div id="news">
            <?php include("newsdata.html"); ?>
        </div>
    </div>
</body>

</html>