path: root/index.html



<!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" />
        <title>Tilde Institute of 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.html">Sign Up</a> :: <a href="irc.html">IRC</a> :: <a href="start.html">Quick-Start Guide</a> :: <a href="coc.html">Code of Conduct</a> :: <a href="https://tilde.zone/@tildeinstitute">Mastodon</a> :: <a
 href="/wiki/index.php">Wiki</a>
	</div>
	<div id="content">
		<p>Welcome to the 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. Each user receives a subdomain! 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>Local mail delivery now available! Simply open mutt, neomutt, or alpine and compose a message to &lt;username&gt;@tilde.institute.</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 &amp; 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 &amp; 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>
            </ul>
	    <p>The IRC clients available by default are:</p>
	    <ul>
		    <li>weechat</li>
		    <li>irssi</li>
		</ul>
        <p>Feel free to contact ahriman 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 &amp; Updates</h1>
            <em>2018 December 8</em>
            <p>I installed a collaborative world-building game called <code>holodeck</code>! It runs like a MUD, without the combat. You explore and create areas, describing the areas as you go. It uses a central database, allowing all users of tilde.institute to collaborate on a single world.</p>
            <em>2018 December 5</em>
            <p>Changed up some of the styling on the main site. I also installed a fun game called <code>botany</code> which allows you to grow various plants on the console. Give it a try!</p>
            <em>2018 December 3</em>
            <p>Local mail delivery is now working! User subdomains will now be served via TLS. Since tilde.institute now satisfies the requirements, I've submitted it to the HSTS preload list.</p>
            <em>2018 December 3</em>
            <p>I just installed DokuWiki so users can record and share cool things to do and cool ways to customize their environment, etc. The link is with the other navigation links.</p>
            <em>2018 December 2</em>
            <p>There's an issue with https on subdomains, I'll have it fixed by tomorrow.</p>
            <em>2018 December 2</em>
            <p>I've set up tilde.institute to force ssl for all visitors.</p>
            <em>2018 December 2</em>
            <p>If you have latency issues, mosh is available on tilde.institute as an alternative to ssh. Simply install mosh on your end, then issue "mosh user@tilde.institute" as you would with ssh. Make sure your home computer's locale (LANG, LC_CTYPE) is set properly to a UTF-8 encoding before attempting to use mosh.</p>
            <em>2018 November 29</em>
            <p>I've added nethack, angband, and zork for people to play. I've also fixed up a default weechat config for all users, and added a symlink for weechat called 'chat'. Updated /etc/motd to reflect the new stuff. I'll continue to add more things during the beta phase.</p>
        </div>
	</div>
</div>
</body>
</html>

<!--
Files available at https://tildegit.org/ahriman/tilde.institute
All files licensed under BSD 3-Clause:
---------------------------------------------------------------
Copyright (c) 2018 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.

-->
<!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" />
        <title>Tilde Institute of 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.html">Sign Up</a> :: <a href="irc.html">IRC</a> :: <a href="start.html">Quick-Start Guide</a> :: <a href="coc.html">Code of Conduct</a> :: <a href="https://tilde.zone/@tildeinstitute">Mastodon</a> :: <a
 href="/wiki/index.php">Wiki</a>
	</div>
	<div id="content">
		<p>Welcome to the 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. Each user receives a subdomain! 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>Local mail delivery now available! Simply open mutt, neomutt, or alpine and compose a message to &lt;username&gt;@tilde.institute.</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 &amp; 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 &amp; 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>
            </ul>
	    <p>The IRC clients available by default are:</p>
	    <ul>
		    <li>weechat</li>
		    <li>irssi</li>
		</ul>
        <p>Feel free to contact ahriman 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 &amp; Updates</h1>
            <em>2018 December 8</em>
            <p>I installed a collaborative world-building game called <code>holodeck</code>! It runs like a MUD, without the combat. You explore and create areas, describing the areas as you go. It uses a central database, allowing all users of tilde.institute to collaborate on a single world.</p>
            <em>2018 December 5</em>
            <p>Changed up some of the styling on the main site. I also installed a fun game called <code>botany</code> which allows you to grow various plants on the console. Give it a try!</p>
            <em>2018 December 3</em>
            <p>Local mail delivery is now working! User subdomains will now be served via TLS. Since tilde.institute now satisfies the requirements, I've submitted it to the HSTS preload list.</p>
            <em>2018 December 3</em>
            <p>I just installed DokuWiki so users can record and share cool things to do and cool ways to customize their environment, etc. The link is with the other navigation links.</p>
            <em>2018 December 2</em>
            <p>There's an issue with https on subdomains, I'll have it fixed by tomorrow.</p>
            <em>2018 December 2</em>
            <p>I've set up tilde.institute to force ssl for all visitors.</p>
            <em>2018 December 2</em>
            <p>If you have latency issues, mosh is available on tilde.institute as an alternative to ssh. Simply install mosh on your end, then issue "mosh user@tilde.institute" as you would with ssh. Make sure your home computer's locale (LANG, LC_CTYPE) is set properly to a UTF-8 encoding before attempting to use mosh.</p>
            <em>2018 November 29</em>
            <p>I've added nethack, angband, and zork for people to play. I've also fixed up a default weechat config for all users, and added a symlink for weechat called 'chat'. Updated /etc/motd to reflect the new stuff. I'll continue to add more things during the beta phase.</p>
        </div>
	</div>
</div>
</body>
</html>

<!--
Files available at https://tildegit.org/ahriman/tilde.institute
All files licensed under BSD 3-Clause:
---------------------------------------------------------------
Copyright (c) 2018 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.

-->