Welcome to the 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. 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 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.
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
The IRC clients available by default are:
- irssi
- weechat
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.
News & Updates
2018 December 2I've set up tilde.institute to force ssl for all visitors.
2018 December 2If 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.
2018 November 29I'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.
2018 November 25I've almost completed the workaround for php mail(). The signup form is now working. I'm going to work out a few kinks in an automated add user script, and then everything will be going smoothly.
2018 November 24Alright, the migration is complete. There are a few things I'll smooth out and finish during the beta phase, like peering with the tildeverse IRC network and finishing the OpenBSD php mail() workaround.
2018 November 23The migration is in progress. I estimate the beta testing phase to begin either late this evening US/NY time, or tomorrow afternoon.