IRC Driven

[00:00:56] ski/rizon also to be able to declare automatic variables initialized to lambda expressions which capture (or copy, depending on nonlocal specifications) .. where the type of the lambda can't be written down (depends on implementation details, iiuc). so the only way to be able to put it in a variable is to infer the type of the variable

[00:01:12] ski/rizon the latter is probaby the more important reason

[00:02:17] ski/rizon (not having a way to specify these ("closure") function types is deliberate, so that you can't expose them in interface, can't e.g. assign them to a file-scope variable, can't return them ..)

[00:02:27] ski/rizon hm, conflict, in which way ?

[00:02:52] ski/rizon the lambda would be `auto' allocated

[00:03:07] ski/rizon yea. this is if you omit the type, only have the `auto', and the identifier

[00:03:27] ski/rizon iiuc, they've already deprecated `auto c;' standing for `auto int c;', in an earlier version of the standard

[00:06:42] ski/rizon anyway, you already have incomplete types, like `char []' in `char s[] = {'h','e','l','l','o','\0'};'. in `int (*foo)(double,double) = [] (auto x,auto y) { return x < y ? -1 (x > y ? 1 : 0); };', the type of the initializing expression would also be incomplete, in this case being completed by the explicit type given to `foo'

[00:10:23] ski/rizon yea, i was looking at <https://www.open-std.org/jtc1/sc22/wg14/www/wg14_document_log> (specifically at proposals by Jens Gustedt .. and some by Martin Uecker)

[00:11:59] ski/rizon (and a few more, as well, that looked interesting)

[00:12:50] ski/rizon e.g. <https://www.open-std.org/jtc1/sc22/wg14/www/docs/n2890.pdf>, <https://www.open-std.org/jtc1/sc22/wg14/www/docs/n2862.pdf>, <https://www.open-std.org/jtc1/sc22/wg14/www/docs/n2895.htm>

[00:27:26] ski/rizon .. perhaps c0ded had the brackets of function calls in mind

[00:34:43] ski/rizon does it use curly brackets for function calls ?

[00:35:11] ski/rizon (i can recall one other language which does that)

[00:37:42] ski/rizon (specifically, like `{MyFunction Arg0 42}' .. language is Oz. a multi-paradigm language (including with built-in concurrency support, including "declarative concurrency" using "dataflow variables" for thread communication and synchronization, but without data races) .. based on a logic programming core (even backtracking is an add-on, using "engines", can also be used for more fancy search

[00:37:48] ski/rizon for constraint programming), adding functional programming, procedural programming, object-oriented programming ..)

[00:40:44] ski/rizon (it's the language used by the book "Concepts, Techniques, and Models of Computer Programming" by Peter Van Roy,Seif Haridi at <https://www.info.ucl.ac.be/~pvr/book.html> .. book is reminiscent of SICP, in some ways)

[00:41:29] ski/rizon well, you still could be, no ?

[00:41:33] ski/rizon ;p

[00:44:58] ski/rizon even though lambdas, closures, nested functions, and even type inference, might be useful and fun, in C .. i think personally i'd consider parametric polymorphism (along with existentials) a more pressing concern (to avoid a large quantity of potentially unsafe pointer casts or conversions) .. mostly just codifying, and checking, current common practice, without adding extra behaviour or im

[00:45:04] ski/rizon ABI changes

[00:46:30] ski/rizon you could bake it in oven, with garlic, thyme, oregano, rosemary

[00:46:44] ski/rizon (did that, years ago)

[00:47:21] ski/rizon it was nice, from what i recall

[00:47:43] ski/rizon also, i recall opening oven lid and pouring water over it, once in a while, to keep it from drying too much

[08:52:17] ski/rizon lo

[08:54:52] ski/rizon привет

[08:56:18] ski/rizon talk in this channel to him ?

[08:56:57] ski/rizon it's bridged to a bunch of IRC networks .. and also to some Discord guild, i think

[08:58:00] ski/rizon you're connected to IRC yes, BlueyHealer

[08:58:29] ski/rizon oh. ok

[09:12:59] ski/rizon (it's bridged between TechNet,Rizon,Libera,IRC-nERDs .. and, i think DarkWorld,DeadGnomeSociety, and probably more i forgot)

[09:13:46] ski/rizon not on this side

[09:14:33] ski/rizon (your last message looks like "<nR> [technet] <@jmjl> oh" here, not like "<jmjl/rizon> oh")

[09:15:45] ski/rizon zxrom : well .. i had (have) C64s .. if that counts as "retro technologies"

[09:16:05] ski/rizon ah, yes, you said "home computers"

[09:19:47] ski/rizon jmjl, ty

[09:20:58] ski/rizon interesting

[09:21:40] ski/rizon hm, Knightlore came out on the Speccy, iirc

[09:22:08] ski/rizon (and presumably also some other machines .. i don't recall)

[09:22:56] ski/rizon official name, back in the day, was "Pentagon 128" ?

[09:24:45] ski/rizon iiuc, it was more DIY, hobbyists productions, in the USSR (?)

[09:26:25] ski/rizon was (is) the demoscene large, in Russia ?

[09:26:45] ski/rizon that's great :)

[09:26:57] ski/rizon ehlo

[09:27:50] ski/rizon .. i assume there were sometimes issues with compatibility, and porting, between the clones ?

[09:29:31] ski/rizon USSR used PAL, btw ? or its own standard, maybe ?

[09:32:10] ski/rizon hardware diagrams ?

[09:33:54] ski/rizon mhm

[09:34:13] ski/rizon (i've some vague memory of having heard of SECAM before, yeh)

[09:39:37] ski/rizon "Gomel" is a city ?

[09:40:22] ski/rizon well, that sounds quite handy

[09:40:42] ski/rizon in Belarus ?

[09:41:24] ski/rizon moin, ComputerTech :)

[09:41:31] ski/rizon (you spelled nick wrong)

[09:44:17] ski/rizon oh, prefiltering

[09:44:55] ski/rizon they look nice, at a quick glance, zxrom

[09:45:19] ski/rizon invite, maybe, ComputerTech ?

[09:45:26] ski/rizon oh

[09:45:33] ski/rizon ah, ic

[09:48:26] ski/rizon .. wonder if there's been any actual such metal versions built

[09:48:53] ski/rizon (i recall downloading a modified version of Knightlore, for it)

[09:56:01] ski/rizon chocolate chip ?

[09:56:17] ski/rizon then i'll, respectfully, have to decline

[09:58:56] ski/rizon hello Amiga600

[15:33:30] ski/rizon bonsoir

[15:33:43] ski/rizon what kind of soup, socraticDev ?

[15:34:08] ski/rizon hehe

[15:34:37] ski/rizon sometimes you can get stiff back, if sleeping too much

[15:36:27] ski/rizon answer

[15:36:54] ski/rizon hm .. kinda like Pilaf soup ?

[15:37:13] ski/rizon any spices ?

[15:39:18] ski/rizon hm

[15:39:26] ski/rizon thinking

[15:39:54] ski/rizon i he hadn't any weapon, i might try and run after, perhaps also crying to others to stop the thief

[15:40:17] ski/rizon normally i wouldn't have a frying pan with me, outdoors, though

[15:40:31] ski/rizon impossible to be broke ?

[15:41:17] ski/rizon cooked with a little water, and fat, perhaps in pot, before adding the rest, socraticDev ?

[15:41:39] ski/rizon hm, fennel. interesting. also i haven't used laurel

[15:41:51] ski/rizon ah, i see, sushi-chan

[15:42:17] ski/rizon oh, i thought maybe it was less, because it was a smaller city/town

[15:43:23] ski/rizon it does sound nice, socraticDev

[15:45:05] ski/rizon hm, i wonder if it's related to being a big port, sushi-chan ?

[15:45:09] ski/rizon heya Saphir :)

[15:45:20] ski/rizon beep, blitzed

[15:46:10] ski/rizon bad connection, Robz ?

[15:47:10] ski/rizon which kind of crystals ?

[15:47:33] ski/rizon (aren't saphirs (sapphires) a kind of crystals ?)

[15:48:05] ski/rizon for making tasty food ;)

[15:51:20] ski/rizon (i guess more commonly "jewel" would refer to more precious stones, and "crystals", to less ones (?))

[15:52:47] ski/rizon well, silver does have to be polished

[15:52:55] ski/rizon you can buy polish for it

[15:53:10] ski/rizon i mean it can blacken a bit, with time

[15:53:17] ski/rizon not just water, i think. some chemical

[15:54:01] ski/rizon if you have silver cutlery, and leave it overnight in salad with boiled eggs, i think it can blacken quite fast, standing in that

[15:54:05] ski/rizon you can fix it

[15:54:11] ski/rizon just polish, with the chemical

[15:54:23] ski/rizon i don't recall

[15:55:08] ski/rizon you should be able to buy it in some shops. it's not that uncommon to have some silver cutlery, or maybe some silver platter or heirloom spoon, or sometihng

[15:56:08] ski/rizon gold, on the other hand, stays shiny if left by itself, doesn't have to be polished like that (well, there might come dust, of course)

[15:56:56] ski/rizon silver blackening is basically the same as copper turning green, and iron rusting .. it's reacting with oxygen (i think. or maybe in some cases with other things in the air, and possibly with water vapor)

[15:57:17] ski/rizon hm, i don't think plastic, or glass, needs to be polished

[15:57:29] ski/rizon ah, ty, Harzilein

[15:57:32] ski/rizon makes sense

[15:57:55] ski/rizon (also with there being sulphur in the yellow yolk in the egg .. it's what makes it yellow)

[15:59:05] ski/rizon that got ugly, real fast

[15:59:45] ski/rizon sushi-chan : only gold fake jewelry ?

[16:01:51] ski/rizon when my mother was on vacation once (on her own), i think in Spain, someone on the underground (i think it was ?) tried to carefully open her handbag. she noticed, and shouted something (not in spanish), and looked angrily at that person. he didn't try again (but apparently didn't try to flee, either)

[16:06:22] ski/rizon blitzed : the orange drop looks quite nice .. and the blue stone with the cross silver fit

[17:50:30] ski/rizon CoolKevin : how about "dead carcass","rotten eggs","old garbage container" scented candles ?

[17:51:10] ski/rizon (someone i used to chat with, came up with those innovative ideas)

[18:08:40] ski/rizon (you mean NOTICE ?)

[18:09:35] ski/rizon hm. technically, bots are supposed to do that, already, also when responding in-channel

[18:11:52] ski/rizon hm, it doesn't reply when i PRIVMSG or NOTICE it

[18:12:05] ski/rizon !song

[18:12:35] ski/rizon (i'd try NOTICEing the channel, as well .. except some IRC clients handles that less than ideally, and people may get annoyed)

[18:25:33] ski/rizon heya Kuro-chan

[18:28:20] ski/rizon привет, BlueyHealer

[18:29:01] ski/rizon (apparently the network bot Rizon decided you said a naughty word, yesterday, and promptly kicked)

[19:07:05] ski/rizon .. could be, i suppose, BlueyHealer

[19:28:05] ski/rizon blitzed,Saphir ^ fwiw

[19:28:38] ski/rizon (well, Contiki possibly had a browser as well)

[19:35:48] ski/rizon oh, and heya h4

[19:36:33] ski/rizon (being a bit distractable)

[19:38:08] ski/rizon Tcache ?

[19:39:23] ski/rizon (but not scams)

[19:42:04] ski/rizon may your socks smell of elderberries

[19:42:10] ski/rizon .. does that help ?

[19:42:33] ski/rizon they do, a bit

[19:43:03] ski/rizon (especially if you've managed to walk in them, with perhaps somewhat used socks)

[19:43:52] ski/rizon (although if you're making elderberry cordial/squash, you wouldn't really walk in them, like they do with grapes)

[19:44:40] ski/rizon eh ? :P

[19:45:55] ski/rizon hm. not too many. maybe six or something. and some with elderflower cordial. also made some cherry jam, goosberry jam

[19:46:05] ski/rizon (haven't really in last few years, though)

[19:47:07] ski/rizon well, there's some lemon juice (from fresh lemon slices used in the recipe) in the flasks

[19:47:33] ski/rizon Amiga600, would be nice to make cloudberry jam, sometime

[19:48:56] ski/rizon in one place, they have a specialty, saffron pancake (oven pancake, with rice in it), traditionally served with (european) cloudberry jam, and either whipped cream, or icecream. it's on an island, where cloudberries are common .. but they happen to grow in some places, around here, as well, so maybe one could make a few jars ..

[19:49:35] ski/rizon they're called "blue raspberries", around here. although they're not strictly raspberries, closer to blackberries. but they are blueish

[19:49:59] ski/rizon .. and gorgonzola ?

[19:50:57] ski/rizon huh ?

[19:51:24] ski/rizon ah .. i dunno. maybe a pizza. or perhaps make something

[19:52:30] ski/rizon gotta ration it out, to not have people ingest it all at once

[19:53:29] ski/rizon in this weather, yes please

[19:54:55] ski/rizon hm .. often i go for salami, minced/ground meat, pork strips, as well as gorgonzola .. and removing peperoni (modifying one of the given options)

[19:55:39] ski/rizon i can eat with pineapple, but i don't tend to yearn for it that much. can be nice, at times

[19:56:05] ski/rizon heh, ty, RichBum :b

[19:58:34] ski/rizon hm, there was some ordering bot in here that could take a nickname .. but i forgot which one it was, and the command

[19:59:23] ski/rizon some prefices and commands collide a bit

[20:00:01] ski/rizon (and the sed bot is annoying .. i don't need/want it to repeat the whole message)

[20:03:22] ski/rizon that's what they all say

[20:04:34] ski/rizon who clicks on "click here if you're a bot" ?

[20:05:11] ski/rizon (i guess some sites have "honeytrap" click buttons, or e-mail addresses, or such things)

[20:05:29] ski/rizon (intended to make bots follow them, but not humans)

[20:07:03] ski/rizon (i've also seen an IRC channel on a network, where you'll be K-lined (iirc), if you mention characters like `!',`@',.. or brackets .. meant for spam bots to enter. topic says you shouldn't mention those)

[20:08:08] ski/rizon CT reset it, recently

[20:08:21] ski/rizon everyone's back at square zero, more or less

[20:08:33] ski/rizon (last time was in spring or something, iirc)

[20:47:19] ski/rizon inf ?!

[20:48:24] ski/rizon hm, .. yoghurt, perhaps ?

[20:48:44] ski/rizon "Discard Discord" sounds like a punny slogan ;)

[20:49:03] ski/rizon Saphir : doesn't it also hog a lot of resources, though ?

[20:49:21] ski/rizon nah, should be a big enough cup to last a while

[20:49:27] ski/rizon hullo Chewbakka85

[20:51:48] ski/rizon don't do it in front of the channel

[20:55:25] ski/rizon disconnected for the day ?

[20:56:14] ski/rizon ₄

[20:56:49] ski/rizon hm, i think h4 commonly don't really, although may pretend to

[20:57:08] ski/rizon (you'd have to ask, though)

[20:59:17] ski/rizon maybe there should be a `/box' command, that'd punt someone out of a channel, but then immediately automatically rejoin them (unless they happen to be banned, so they can't reenter, obviously)

[21:00:56] ski/rizon not too much, atm, Tcache

[21:16:10] ski/rizon happens

[21:17:39] ski/rizon surely there must be some connection, no ?

[21:17:57] ski/rizon iirc there's also some connection with "luck"

#computertech Bot Logged User list

Channel Log Archive for #computertech

IRC Log Archive