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.

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.

The list of compilers and interpreters available are as follows:

brainf*ck 2.7.1
clang 8.0.1
clisp 2.49
clojure 1.10.0.4
crystal 0.30.1
elixir 1.9.1
erlang 21.2
gcc 8.3.0 (see the wiki page)
gforth 0.7.3
gfortran / g95 8.3.0 (see the wiki page)
ghc 8.6.4
gnat 8.3.0
go 1.13.1
guile 1.8.8
jdk 11 and 8 (see the wiki page)
lua 5.3.5 and 5.1.5
mono 5.20.1.34
nasm 2.14.02
nim 1.0.4
node.js 10.16.3
perl 5.28.2
php 7.3.16
python 2.7.16 and 3.7.4
racket 7.4
rakudo 2018.12
ruby 2.5.5 and 2.6.6
rust 1.38
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).

News & Updates

- 2020 May 02 -

git repos can now be served via git.tilde.institute from your home directory! To get started, check the wiki page.

- 2020 April 17 -

Some ssh host heys were regenerated and I also deployed SSHFP records. If you receive an error related to this when connecting, - remove the old host key fingerprint:

ssh-keygen -R tilde.institute

Then connect and tell ssh to check the sshfp records:

ssh -o "VerifyHostKeyDNS ask" <user>@tilde.institute

-
- 2020 April 14 -

Upgraded to OpenBSD 6.6. Everything went smoothly. Enjoy!

- 2019 July 30 -

The server migration happened over the weekend, and there were very few issues resulting from the migration. Success!

- 2019 July 04 -

We'll be moving to a much larger and more powerful server soon! Currently building it. We're hoping to have everything ready for next week.

- 2019 June 06 -

Wow, we've hit 150 users! Also, we'll be upgrading to OpenBSD 6.5 on Monday evening around 10:00 PM US Eastern Time, or 2:00 AM UTC (Tuesday).

- 2019 March 14 -

Welcome to the team, Kneezle!