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
|
<!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 :: OpenBSD Education</title>
<link rel="stylesheet" href="tilde.css" type="text/css"/>
<link rel="icon" type="image/png" href="icon.png"/>
</head>
<body>
<div id="container">
<div id="logo">
<img src="logo.png" alt="" /><br />
<div id="logobyline">
of OpenBSD Education
</div>
</div>
<div id="navigation">
<a href="http://tilde.institute">News</a> :: <a href="/signup">Sign Up</a> :: <a href="/coc">Code of Conduct</a> :: <a rel="me" href="https://tilde.zone/@tildeinstitute">Mastodon</a> :: <a href="https://wiki.tilde.institute">Wiki</a> :: <a href="https://git.tilde.institute/tilde">Git</a> :: <a href="/stats">Stats</a> :: <a href="https://twtxt.tilde.institute">twtxt</a> :: <a href="tilde.json"><code>tilde.json</code></a>
</div>
<div id="content">
<p>Welcome to tilde.institute! This is an public-access machine in the <a href="https://tildeverse.org">tildeverse</a> whose purpose is to provide a space for people to experiment with the <code>OpenBSD</code> operating system. A variety of editors, shells, and compilers are installed to allow for development in a native <code>OpenBSD</code> environment. OpenBSD's <code>httpd(8)</code> is configured with <code>slowcgi(8)</code> as the fastcgi provider and <code>sqlite3</code> is available.</p>
<p>User sites are accessible via <code>https://<user>.tilde.institute</code></p>
<p style="margin-top:-1.0rem">A list of user gopher sites is available at <code>gopher://tilde.institute</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 list of compilers and interpreters available are as follows:</p>
<ul>
<li><code>brainf*ck 2.7.1</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>gcc 8.3.0 (see the <a href="https://wiki.tilde.institute/w/gcc8">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>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>yasm 1.3.0</code></li>
</ul>
<p>Your interactive shell can be changed with the <code>chsh</code> command. The shells available:</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>The IRC clients available by default are:</p>
<ul>
<li><code>weechat</code></li>
<li><code>irssi</code></li>
<li><code>ircII</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 id="news">
<h1>News & Updates</h1>
<em>2020 April 17</em>
<p>Some ssh host heys were regenerated and I also deployed SSHFP records. If you receive an error related to this when connecting,
remove the old host key fingerprint:</p>
<p><code>ssh-keygen -R tilde.institute</code></p>
<p>Then connect and tell ssh to check the sshfp records:</p>
<p><code>ssh -o "VerifyHostKeyDNS ask" <user>@tilde.institute</code></p>
<br />
<em>2020 April 14</em>
<p>Upgraded to OpenBSD 6.6. Everything went smoothly. Enjoy!</p>
<em>2019 July 30</em>
<p>The server migration happened over the weekend, and there were very few issues resulting from the migration. Success!</p>
<em>2019 July 04</em>
<p>We'll be moving to a much larger and more powerful server soon! Currently building it. We're hoping to have everything ready for next week.</p>
<em>2019 June 06</em>
<p>Wow, we've hit 150 users! Also, we'll be upgrading to OpenBSD 6.5 on Monday evening around 10:00 PM US Eastern Time, or 2:00 AM UTC (Tuesday).</p>
<em>2019 March 14</em>
<p>Welcome to the team, Kneezle!</p>
</div>
</div>
</div>
</body>
</html>
|