████████╗██╗██╗     ██████╗ ███████╗   ██╗███╗   ██╗███████╗████████╗██╗████████╗██╗   ██╗████████╗███████╗
╚══██╔══╝██║██║     ██╔══██╗██╔════╝   ██║████╗  ██║██╔════╝╚══██╔══╝██║╚══██╔══╝██║   ██║╚══██╔══╝██╔════╝
   ██║   ██║██║     ██║  ██║█████╗     ██║██╔██╗ ██║███████╗   ██║   ██║   ██║   ██║   ██║   ██║   █████╗  
   ██║   ██║██║     ██║  ██║██╔══╝     ██║██║╚██╗██║╚════██║   ██║   ██║   ██║   ██║   ██║   ██║   ██╔══╝  
   ██║   ██║███████╗██████╔╝███████╗██╗██║██║ ╚████║███████║   ██║   ██║   ██║   ╚██████╔╝   ██║   ███████╗
   ╚═╝   ╚═╝╚══════╝╚═════╝ ╚══════╝╚═╝╚═╝╚═╝  ╚═══╝╚══════╝   ╚═╝   ╚═╝   ╚═╝    ╚═════╝    ╚═╝   ╚══════╝

Welcome to tilde.institute, a public-access UNIX system running OpenBSD. This is a space for people to explore the OpenBSD operating system, in addition to exploring the more social aspects of a multi-user UNIX system. Gopher and web space, IRC, games, and more are available!

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

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

User git repositories are at https://git.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 following services run directly on the server:

• cgit (wiki)
• efingerd (wiki)
• gophernicus (wiki)
• httpd(8)
• identd(8)
• inspircd (wiki)
• php74_fpm
• slowcgi(8)
• smtpd(8)
• unbound(8)

The following services run on separate VMs:

• getwtxt-ng (instance)
• Dungeon Crawl Stone Soup (webtiles, for cli games run `dcss`)

IRC clients:

• catgirl
• ircII
• irssi
• swirc
• weechat

The compilers and interpreters available are:

• apl 1.8
• brainfuck 2.7.1
• chicken (Scheme) 5.3.0
• cim (Simula) 5.1
• clang 13.0.0
• clisp 2.49
• clojure 1.11.1
• crystal 1.4.1
• cython 0.29.32 (Py2 and Py3)
• elixir 1.14.3
• erlang 25.2.3
• fpc (Pascal) 3.2.2
• flang (Fortran via LLVM) 8.0.1
• gambit (Scheme) 4.9.4
• gcc 11.2.0 (see the wiki page)
• gerbil (Scheme) 0.15.1 (see the wiki page)
• gforth 0.7.3
• gfortran / g95 11.2.0 (see the wiki page)
• ghc (Haskell) 9.2.7
• gnat (Ada) 11.2.0
• gnucobol 3.1.2
• go 1.20.1
• gpc (Pascal) 20070904
• gprolog 1.5.0
• guile 1.8.8 and 2.2.7
• janet 1.21.0
• jdk 1.8, 11, 17 (see the wiki page)
• lua 5.3.6
• mono 6.12.0
• nasm 2.15.05
• nbfc (brainfuck) 0.1
• newlisp 10.7.5
• nim 1.6.6
• node.js 18.15.0
• ocaml 4.12.1
• perl 5.36.0
• php 7.4.33, 8.0.29, 8.1.22
• pypy 7.3.1
• python 2.7.18, 3.9.17, 3.10.12
• racket 8.7
• rakudo (Raku / Perl6) 2022.12
• regina (Rexx) 3.9.4
• ruby 2.5.8, 2.6.6, 2.7.7, 3.1.4
• rust 1.68
• sbcl (Common Lisp) 2.2.5-threads
• scala 2.12.9
• squeak-vm (Smalltalk) 3.10.1
• swi-prolog 7.6.0
• tinyscheme 1.42
• yasm 1.3.0

The shells available are:

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

News

2023 August 07

Upgraded to OpenBSD 7.3

2023 April 03

Inspircd has been moved back off of the main machine because of a unicode-related crash on OpenBSD. Please use institute.tilde.chat:6697 or irc.tilde.chat:6697 (both TLS only). Also, re-enabled the signup form.

2022 October 19

Inspircd has been moved back onto the server. You may connect via localhost:6667 (no tls).

2022 June 18

Upgraded to OpenBSD 7.1. Let us know on IRC if you see anything misbehaving or broken.

2020 December 12

Rakudo and MoarVM have been updated to 2020.11

2020 October 29

Upgraded to OpenBSD 6.8!

2020 July 04

Mail has been switched from the mbox format to maildir. Mail will now be delivered straight to your home directory, into ~/Maildir. You'll need to update your mutt configs:
set mbox_type=Maildir
set folder="~/Maildir"
set mbox="~/Maildir"
set spoolfile="~/Maildir"

I've installed a script to convert your mbox file to maildir. Just run this:

mb2md -s /var/mail/$USER -d ~/Maildir

alpine has been rebuilt with the maildir patch.

2020 June 08

Added a new IRC client: catgirl

2020 June 06

The upgrade to OpenBSD 6.7 was successful! The list of languages has been updated with the new versions that are available.

2020 May 03

Redesigned the site. News entries are moved to a more visible location, switched to a more readable color scheme, and got rid of the logo image in favor of just text.

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!

256 SHA256:QSijnje9WlvxZyIXc5h8uJ2MzPCKbviy0WnBG7U4aP0 (ECDSA)
256 SHA256:3n9E2Y0Kz4YeF776aUQNM+roVICTVQHFs64ekyADQxY (ED25519)
3072 SHA256:GsmsdVkfRA8YznxI6EZJW+pf9IntSUIpNfeeGhpIs8w (RSA)
1024 SHA256:foWYUgDuqfFIKnD2sLgeF1m2l9/ykSLwwlMyLWgesCA (DSA)