#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

Saturday, July 1, 2023

[15:51:32] ski/rizon meow

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

[15:52:33] ski/rizon bonjour

[15:54:00] ski/rizon 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/rizon herald heralds the coming of herald

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

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

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

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

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

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

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

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

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

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

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

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

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

[16:15:40] ski/rizon oy Saphir

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

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

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

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

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

[16:23:32] ski/rizon 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/rizon 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/rizon Saphir : careful with the strawberries, they might end up not where you expected them

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

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

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

[16:28:30] ski/rizon yes, Mikoolo

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

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

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

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

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

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

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

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

[17:13:49] ski/rizon huh ?

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

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

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

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

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

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

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

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

[17:49:00] ski/rizon sure, login

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

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

[17:50:49] ski/rizon (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/rizon "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 "ret

[17:53:55] ski/rizon "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/rizon 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/rizon 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/rizon why launch at slingshot at someone, instead of slinging shots at them, with it ?

[17:58:58] ski/rizon ComputerTech : dodgy

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

[17:59:51] ski/rizon launching them at whom ?

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

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

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

[19:37:26] ski/rizon 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/rizon (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 TechNet. Use the search box above to find discussions on specific topics. All conversations are preserved to help the community learn from past discussions.