#computertech Bot Logged User list

Network: Rizon

Modes: +Nntzl

Last Seen: 3 hours ago

Topic: Welcome to #computertech || Live music: https://techy.music/ || This topic is lame let's workshop it and spice it up

Rank

311

Users

Channel Log Archive for #computertech

Hide Joins

* All times are UTC

Filtering by user: ski

Saturday, July 1, 2023

[15:51:32] ski meow

[15:52:28] ski it's raining

[15:52:33] ski bonjour

[15:54:00] ski well, glaciers get very slippery, in the rain. otoh, in heavy sunshine, they get rough and crispy, harder to slip on. although you wouldn't want to fall on them, taking the hit on a knee or a hand

[15:54:44] ski herald heralds the coming of herald

[15:55:40] ski scared fires to death ?

[15:56:38] ski what about landsharks ?

[15:58:13] ski the diver had pants ?

[15:59:17] ski oh .. it's a short :(

[16:02:04] ski does France need defending ?

[16:03:38] ski "<Frogorg> $in 19min gtfo gym" was seven minutes before sushi-chan joined

[16:05:40] ski only heard about it (on IRC), not seen it, irish666

[16:06:21] ski no jaws, no film

[16:11:43] ski sushi-chan : several cats probably could

[16:12:13] ski (assuming you're talking about Felis Catus, or Felix Silvestris)

[16:12:49] ski irish666 : yea, i remember hearing that about whales and squid

[16:13:24] ski sushi-chan : some spiders live under water, keep bubbles of air in spiderweb there

[16:14:57] ski someone can't be a wheelchair or a nose at the same time as being a microwave oven ?

[16:15:40] ski oy Saphir

[16:16:00] ski hm .. is perfumes a type of fumes ?

[16:19:21] ski ComputerTech's a bot ?

[16:20:05] ski sushi-chan : it's a ceilinger ?

[16:20:52] ski there's a lot of bottalk on #pirates ?

[16:21:17] ski i mean, i guess there's one bot that holds the game

[16:23:32] ski sushi-chan : there's a (famous) proof assistant called "Coq" (after "CoC" for "Calculus of Constructions", and also after one of its originators, Thierry Coquand)

[16:25:16] ski sushi-chan : hm, apparently it's 34 years old, now. there's also a newer, somewhat rival, proof assistant, called "Agda" (after a somewhat lewd song about chickens and a rooster)

[16:26:10] ski Saphir : careful with the strawberries, they might end up not where you expected them

[16:26:40] ski Mikoolo : is that one of those that sting ?

[16:27:49] ski Mikoolo : right. i've encountered such in Norway

[16:28:14] ski take care, sushi-chan

[16:28:30] ski yes, Mikoolo

[16:30:12] ski and "Mac" ?

[16:31:19] ski you could change to "O'Hara" or "O'Malley" or something, ComputerTech

[16:33:40] ski you could adopt him, Ahsoka

[16:50:44] ski might try spraying it with some foul-smelling thing, i guess

[16:51:13] ski (although that could be uncomfortable, when you're sitting on it)

[16:52:55] ski oh, it's on top, not on the side ?

[16:57:36] ski not fanta, i guess

[16:57:52] ski (or beer)

[17:13:49] ski huh ?

[17:26:44] ski Ahsoka's a princess ?

[17:28:11] ski "hiki" ?

[17:29:17] ski first meaning, Esjay ?

[17:42:55] ski when the stack is about to overflow, due to lack of space, login

[17:44:42] ski (and <https://stackoverflow.com/> is what happens, when it does)

[17:46:30] ski at least you didn't say "extended on function calls"

[17:47:44] ski it refers to local variables and temporary results, that need to be remembered across calls

[17:48:07] ski (return address is just another parameter)

[17:49:00] ski sure, login

[17:49:17] ski but it's not "function calls" that need extra space

[17:49:40] ski it's "remembering what to do after", that does

[17:50:49] ski (you can have an unbounded number of active tail calls, in bounded space. if you do an infinite tail recursion, your execution stack will not overflow)

[17:53:49] ski "returning to the next instruction in the calling function" -- or just returning directly to your caller (or the caller of your caller, &c. as the case may be). it's like A doing a task, performing some initial work, then delegating a portion of it to B, waiting for the result to come back, and then doing some final tidy-up. B can do some initial portion, and delegate to C, but setting "return-to" to

[17:53:55] ski "A", not "B", so that B doesn't have to bother with seeing the intermediate result sent back from C to A

[17:54:53] ski login : tail calls are not necessarily an optimization (it could ge a language guarantee) in which case saying "optimization" is misleading (since it implies you might get it or might not, depending on the mood of the language implementation)

[17:55:17] ski login : it also suggests that anything in particular has to be "done" to get tail calls, which needn't be the case, either

[17:58:36] ski why launch at slingshot at someone, instead of slinging shots at them, with it ?

[17:58:58] ski ComputerTech : dodgy

[17:59:26] ski only inadvertently, with a rubber band

[17:59:52] ski launching them at whom ?

[18:00:09] ski oh, the round archive

[18:02:31] ski volleyball was one of the ones i wasn't completly bad at

[18:06:33] ski i guess i was okay in <https://en.wikipedia.org/wiki/Prisonball>

[19:37:26] ski Esjay : my nephew, when he was a kid, one time fabulated a story (for attention) about his mother (my sis, single parent) drinking a lot (she didn't). they took him at school ("kidnap" is the term he uses), she only got to see him, a few times a month, at the "child prison" (his term). he only got out, when he got 18. he hates social services now

[19:39:41] ski (it didn't help that she got verbal with them (as one could imagine any parent would, at false accusations regarding their kid). she's learned to control her temper now, though)

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.