#computertech Bot Logged User list

Network: Rizon

Modes: +Nntzl

Last Seen: 39 minutes ago

Topic: Welcome to #computertech || https://techy.music || vk2bio woz ere

Rank

307

Users

Channel Log Archive for #computertech

Hide Joins

* All times are UTC

Filtering by user: ski

Sunday, February 11, 2024

[12:21:44] ski hmm .. now i'm wondering if i misunderstood the point of this language, being described in this paper

[12:24:31] ski (.. i thought the point of it was synthesizing a function, from the checking of a mode declaration on a predicate .. but, at least so far, it's only talking about having a functional language to manipulate HOAS terms .. perhaps this application will come later, though)

[12:24:48] ski rage against the machine ?

[12:25:16] ski well, it was more like a question, or a suggestion

[12:27:06] ski why would you flog them ?

[12:31:31] ski pankakes : reminds me of "I Stand Alone" by Godsmack in 2001(?) at <https://www.youtube.com/watch?v=OYjZK_6i37M>

[14:02:33] ski ("bowl" ?)

[14:03:58] ski have a nice meal

IRC Log Archive

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