Home

Welcome to Tim32!

Tim32 is a 24-year-old laptop running Ubuntu Server Edition 10.04.

On the other hand, Tim36 (which is serving this page) is a 17-year-old laptop running Ubuntu 18.04.6 LTS .

By using this website, you hereby accept cookies being stored on your computer.


Latest Blog Posts

Rss Feed

Hurricane heads for tim32...

Posted On Tuesday 6 October 2015 by Murray Colpman (Muzer)

IPv6 is now enabled on most tim32 services (with the notable exception of IRC, which I intend to look into) thanks to Hurricane Electric who have an excellent tunnelbroking and dynamic DNS service.

If you notice anything horribly broken, let me know.

Hooray!

459 Comments

Timlan meeting #8 minutes - 2014-02-14

Posted On Friday 14 February 2014 by Murray Colpman (Muzer)

We have made up for our massive lack of Timlan meetings, by making a load of important changes to Timlan that fix EVERYTHING, all to do with sets. See the recent blog posts from today for details. BEAST

sup means "is a superset of"

uq means to the same extent as, or of equal set cardinality

Groups make sense as concept and it's a useful term, but they can be thought of as just a set inside another set. This means that some verbs simply operator on the "top set", but others will operate on the members of the top set.

From this train of thought, we are modifying the syntax of these 'set operators' take 'sets' (and 'groups') (and adjectives, sometimes) and the concept of a 'nounoid' in syntax means the elements that comprise a set.

We need to work out what Adjectives are... This has gone on too long now.

93 Comments

compar is gone.

Posted On Friday 14 February 2014 by Murray Colpman (Muzer)

COMPAR IS GONE, REJOICE!

It's been replaced quite thoroughly with erom and foben. These are now used as verbs, and their new definitions may be found in the dictionary. This can be used in conjunction with the awesome rila/rilo words to make something that makes sense. For example

eromelem riloiqeht kel rilanahaeqeht b-ah ta cute riloiqeht kel eiami cuteOpen TCP Editor

Oh, and with erom, you can also use it with sets to compare their cardinality:

eromelem suiami cute eiami worapotOpen TCP Editor

3341 Comments

sets, groups = lists, sets

Posted On Friday 14 February 2014 by Murray Colpman (Muzer)

So, sets now means what lists used to mean, and groups now means what sets used to mean. We've also changed the words sit~s and lit~s to git~s and sit~s respectively, and changed any terminology in the dictionary and speedy intro.

DONE.

We've also changed the default meaning of a noun on its own, to mean "the set of all things of this noun", and changed the meaning of aq to now mean "subset of". This is because types are basically sets. This means we've removed ayik because it is now useless and we don't like saying it.

We've also changed the meaning of terit so that it actually makes sense now. It is now used with rila or rilo, and means "representable as". So, you effectively say "the group that is representable as this given set" (or "the group that this given set is representable as", they're essentially equivalent)

200 Comments