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
|
<!DOCTYPE PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/1/DTD/1-strict.dtd">
<html xmlns="http://www.w3.org/1999/" lang="en" xml:lang="en">
<head>
<meta http-equiv="Content-Type" content="text; charset=utf-8" />
<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="/wiki">Wiki</a> :: <a href="https://tildegit.org/institute">Git</a> :: <a href="/stats">Stats</a>
</div>
<div id="content">
<p>Welcome to tilde.institute! This is an OpenBSD machine whose purpose is to provide a space in the <a href="https://tildeverse.org">tildeverse</a> for experimentation with and education of the OpenBSD operating system. A variety of editors, shells, and compilers are installed to allow for development in a native OpenBSD environment. OpenBSD's httpd(8) is configured with slowcgi(8) as the fastcgi provider and sqlite3 available. This allows users to experiment with web development using compiled CGI in C, aka the <a href="https://learnbchs.org">BCHS Stack</a>. In addition to php7.0 and mysql (mariadb) by request, this provides an environment where the development of complex web apps is possible.</p>
<p>User sites are accessible via <code>https://<user>.tilde.institute</code></p>
<p>Mailing list now available for tilde.institute! Web archive and <a href="https://lists.tildeverse.org/postorius/lists/institute.lists.tildeverse.org/">subscribing information available here</a>. The mailing list will be the primary means of communication between tilde.institute and users regarding announcements and critical issues.</p>
<p>The list of compilers available are as follows:</p>
<ul>
<li>clang 6.0.0 (C/C++)</li>
<li>Rust 1.29.2</li>
<li>Go 1.11</li>
<li>ghc 8.2.2 (haskell)</li>
<li>nasm 2.13.03 & yasm 1.3.0</li>
</ul>
<p>We also provide non-HTTP access to various interpreted languages as well:</p>
<ul>
<li>python (2.7 & 3.6)</li>
<li>ruby 2.5</li>
<li>perl 5.24</li>
</ul>
<p>Your interactive shell can be changed with the <code>chsh</code> command. The shells available:</p>
<ul>
<li>/bin/ksh (default)</li>
<li>/bin/sh</li>
<li>/bin/csh</li>
<li>/usr/local/bin/bash</li>
<li>/usr/local/bin/dash</li>
<li>/usr/local/bin/zsh</li>
<li>/usr/local/bin/fish</li>
<li>/usr/local/bin/tcsh</li>
<li>/usr/local/bin/elvish</li>
</ul>
<p>The IRC clients available by default are:</p>
<ul>
<li>weechat</li>
<li>irssi</li>
<li>ircII</li>
</ul>
<p>Feel free to contact ahriman via <a href="mailto:ahriman@tilde.institute">ahriman@tilde.institute</a> or on chat in #institute if you need another compiler or shell available, or if you would like your homepage's index changed from index.html to something else (index.cgi, index.php, etc). I can also provide access to MySQL / MariaDB on a request basis.</p>
<div id="news">
<h1>News & Updates</h1>
<em>2019 February 25</em>
<p>New wiki page, courtesy of ~tomasino! On gophermap management using the burrow tool.</p>
<em>2019 February 24</em>
<p>We've officially passed the 50 user mark! Woohoo!</p>
<em>2019 January 04</em>
<p>I've begun moving some info and pages to the wiki in order to simplify and streamline the main site.</p>
<em>2019 January 01</em>
<p>So DokuWiki is apparently very buggy and hasn't been playing nice. I'm working on a new wiki to replace it. It will be something DIY that users can contribute to via pull requests at our git repo. More details to come.</p>
<em>2018 December 16</em>
<p>I got the IRC peering done. tilde.institute is now a node on the larger tildeverse IRC network. Local IRC configs have been updated en masse and the <a href="wiki.php?page=irc">IRC page</a> has been updated to reflect the new info.</p>
</div>
</div>
</div>
</body>
</html>
<!--
Files available at https://tildegit.org/institute/site
All files licensed under BSD 3-Clause:
---------------------------------------------------------------
Copyright (c) 2018 Ben Morrison (ahriman). All rights reserved.
Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
1. Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.
2. Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.
3. Neither the name of the copyright holder nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission.
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-->
|