#computertech Bot Logged User list

Network: TechNet

Modes: +ntf

Last Seen: 1 month, 4 weeks ago

Topic:

Users

Channel Log Archive for #computertech

Hide Joins

* All times are UTC

Filtering by user: ski/rizon

Sunday, February 11, 2024

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

[12:24:31] ski/rizon (.. 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/rizon rage against the machine ?

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

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

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

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

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

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.