News :: Sign Up :: Code of Conduct :: Mastodon :: Wiki :: Git :: Stats :: twtxt :: tilde.json

Welcome to tilde.institute! This is an OpenBSD machine whose purpose is to provide a space in the tildeverse 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 is available. This allows users to experiment with web development using compiled CGI in C (or any statically-linked binary), aka the BCHS Stack. In addition to php7.3, this provides an environment where the development of complex, responsive web apps is possible.

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

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

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

The list of compilers available are as follows:

• clang 7.0.1
• clisp 2.49
• elixir 1.8.1
• erlang 21
• gcc 8.3.0
• ghc 8.2.2
• go 1.13
• guile 1.8.8
• jdk 11.0.2.9.3 (environment setup required)
• nasm 2.14.02
• nim 0.16.0
• racket 7.2
• rust 1.33.0
• scala 2.12.3
• yasm 1.3.0

We also provide non-HTTP access to various interpreted languages:

• python (2.7 & 3.6)
• ruby 2.5 (and 2.6)
• perl 5.28.1
• lua 5.3.5

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). We can also provide access to MariaDB by request.