#computertech Bot Logged User list

Network: TechNet

Modes: +ntf

Last Seen: 2 months ago

Topic:

Users

Channel Log Archive for #computertech

Hide Joins

* All times are UTC

Filtering by user: ski/rizon

Wednesday, October 11, 2023

[18:01:16] ski/rizon oi Hotties,Kuro-chan,Ahsoka,irish666,foxy

[18:01:27] ski/rizon (54 °F / 12 °C here)

[18:02:07] ski/rizon Ahsoka lights Kuro-chan's fire ?

[18:02:35] ski/rizon (scandinavia)

[18:08:19] ski/rizon glass cannon ?

[18:11:34] ski/rizon how's your RPG project going, Kuro-chan ?

[18:12:12] ski/rizon kyllä

[18:12:14] ski/rizon oh

[18:12:36] ski/rizon sorry, hadn't heard you'd finished it

[18:25:06] ski/rizon what is that to the right ?

[18:29:51] ski/rizon no, the other round thing, to the left of the speaker

[18:30:07] ski/rizon (or are both round things litterboxen ?)

[18:30:16] ski/rizon oi ComputerTech,h4

[18:30:46] ski/rizon installing some old software from 2005, ComputerTech

[18:31:40] ski/rizon (deb seemed to install fine .. need to test more. although i'm tempted to attempt building it from source, anyway, since the deb doesn't seem to've packaged one (optional) component which i also wanted to try out)

[18:32:41] ski/rizon nah, Twelf, an implementation of the Logical Framework LF .. it also has support for logic programming (a programming paradigm, most well-known example of a language for logic programming is Prolog)

[18:34:05] ski/rizon (also grabbed LTwelf (Linear Twelf, a version adapted to use Linear Logic (discovered by Jean-Yves Girard in the late 80s)), version 0.2 .. hope i'll get it to compile)

[18:34:16] ski/rizon \g, ok

[18:34:41] ski/rizon .. at first i wondered if the thing on the right was some kind of lid for the one on the left

IRC Log Archive

This is a searchable archive of IRC conversations from #computertech on TechNet. Use the search box above to find discussions on specific topics. All conversations are preserved to help the community learn from past discussions.