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 available. This allows users to experiment with web development using compiled CGI in C, aka the BCHS Stack. In addition to php7.0 and mysql (mariadb) by request, this provides an environment where the development of complex web apps is possible.
User sites are accessible via https://<user>.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 6.0.0 (C/C++)
- Rust 1.29.2
- Go 1.11
- ghc 8.2.2 (haskell)
- nasm 2.13.03 & yasm 1.3.0
We also provide non-HTTP access to various interpreted languages as well:
- python (2.7 & 3.6)
- ruby 2.5
- perl 5.24
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 ahriman via ahriman@tilde.institute 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.
News & Updates
2019 March 14Welcome to the team, Kneezle!
2019 February 25New wiki page, courtesy of ~tomasino! On gophermap management using the burrow tool.
2019 February 24We've officially passed the 50 user mark! Woohoo!
2019 January 04I've begun moving some info and pages to the wiki in order to simplify and streamline the main site.
2018 December 16I 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 IRC page has been updated to reflect the new info.