Welcome to tilde.institute! This is an public-access machine in the tildeverse whose purpose is to provide a space for people to experiment with 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 is available. This allows users to experiment with web development using compiled CGI in C (or any statically-linked binary). For more information on this, see the BCHS site.

User sites are accessible via https://<user>.tilde.institute

A list of user gopher sites is available at gopher://tilde.institute

The mailing list will be the primary means of communication between tilde.institute admins and users regarding announcements and critical issues. Web archive and subscribing information available here.

We have a local GitBucket instance for users to enjoy, available here: https://git.tilde.institute.

The list of compilers and interpreters available are as follows:

• brainf*ck 2.7.1
• clang 7.0.1
• clisp 2.49
• clojure 1.10
• elixir 1.8.1
• erlang 21
• gcc 8.3.0 (includes Objective-C support)
• gforth 0.7.3
• ghc 8.2.2
• gnat 8.3.0
• go 1.13
• guile 1.8.8
• jdk 11.0.2.9.3 (environment setup required)
• lua 5.3.5
• mono 5.18.1
• nasm 2.14.02
• nim 1.0.4
• node.js 10.15
• perl 5.28.1
• php 7.3
• python (2.7 & 3.6)
• racket 7.2
• rakudo 2018.12
• ruby 2.5 (and 2.6)
• rust 1.33 (1.37 will be available after November 2019's release of OpenBSD 6.6)
• scala 2.12.3
• yasm 1.3.0

Your interactive shell can be changed with the chsh command. The shells available:

• /bin/ksh (default)
• /bin/sh
• /bin/csh
• /usr/local/bin/bash
• /usr/local/bin/dash
• /usr/local/bin/zsh
• /usr/local/bin/fish
• /usr/local/bin/tcsh
• /usr/local/bin/elvish

The IRC clients available by default are:

• weechat
• irssi
• ircII

Feel free to contact the admins via admins@tilde.institute or on IRC in #institute if you need another package installed, or if you would like your homepage's index changed from index.html to something else (index.cgi, index.php, etc).