#computertech Bot Logged User list

Network: Rizon

Modes: +Nntzl

Last Seen: 2 hours ago

Topic: Welcome to #computertech, the word of the day is 'taterdick'.

Rank

307

Users

Channel Log Archive for #computertech

Hide Joins

* All times are UTC

Filtering by user: ski

Thursday, March 21, 2024

[00:00:08] ski well .. not in two's complement :P

[00:00:19] ski in one's complement, sure. and in floating-point

[00:02:08] ski my condoleances, wofmobile

[00:04:13] ski category theory is interesting .. but also very abstract. it can be thought of as a language, or framework, that can be used to compare other math fields to each other, and to translate between them (e.g. translating a problem from one field to another, where it might be simpler to solve, and then translate solution back)

[00:05:19] ski the examples in category theory tend to be abstract concepts in other fields. so you often need examples of your examples, to understand them. category theory is known as "abstract nonsense", both by its proponents, and its detractors

[00:07:01] ski not physical automation, then, wofmobile ?

[00:08:18] ski well, pretty sure it wasn't

[00:09:27] ski well, this one used the nickname Nonverbal_Carly

[00:10:03] ski yea .. i dunno

[00:10:48] ski hm, and someone named Chris, who rarely talked. had a turtle which was 50 years old

[00:11:13] ski well, i do remember also chatting with someone nicknamed WillyOnWheels

[00:11:23] ski iirc, being in a wheelchair

[00:12:03] ski heh

[00:12:39] ski ouch :p

[00:13:34] ski people with downs often seem to be quite positive, happy, in nature

[00:14:14] ski a good trait

[00:14:56] ski sometimes, when i'm explaining something on IRC, i try to crack jokes

[00:15:12] ski and i often try to emphasize the importance of having fun, for learning effectively

[00:15:52] ski .. it's too bad many adacemic papers are dry and often a bit boringly written

[00:16:14] ski more jokes, and sometimes history or personal anecdotes, please

[00:17:01] ski yes

[00:17:19] ski baby looks quite happy :P

[00:19:49] ski heya Hotties

[00:20:01] ski • Joke

[00:20:07] ski Scientific standards are terrible, one should never joke : to be taken seriously, put people to sleep ! In a paper, no funny drawings, it would be a waste of paper ! However, full pages of repetetive definitions, of Prussian formalism, are not considered as a waste.

[00:20:16] ski A good joke makes you understand a complex methodological point. For instance, when I say that a consistency proof is like an insurance against the explosion of Earth, you get it directly. However, some jokes are dishonest, since they don't respect the very spirit of what they are alluding to, typically the allegory of the prisoners.

[00:20:21] ski See : Allegory, Copycat, Metaphor, Numerology, Prisoners, Square wheels.

[00:20:30] ski -- from glossary "Appendix A. A pure waste of paper" of "Locus Solum : From the rules of logic to the logic of rules" by Jean-Yves Girard in 2001 at <https://girard.perso.math.cnrs.fr/0.pdf>

[00:20:37] ski Valerie ^

[00:21:46] ski .. Girard is great, has a lively style. is often also polemical, sometimes harshly. you may not always agree, be he's entertaining, still

[00:24:01] ski (who even writes an appendix, called "A pure waste of paper", to a serious paper, with entries like "Black mass","Jurassic Park","Astrology","Spiritism",.. ?)

[00:25:19] ski hm .. the baby pic reminds me of the game "What Remains of Edith Finch"

[08:27:50] ski <ChRoNiC> im fuckn drunk :(

[08:28:19] ski moin

[08:31:41] ski people talk various nonsense

[08:32:37] ski there was some sci-fi discussion, a few days ago

[08:33:30] ski i don't remember much

[08:33:44] ski some people talk about magners

[08:34:10] ski i think it's some kind of alcoholic beverage

[08:35:57] ski it's another person, in here

[08:36:18] ski MonoSodiumGlutamate ?

[08:37:40] ski presumably ChRoNiC meant "msg" as in the (private) message command, on IRC

[08:39:03] ski h4 is connected, but might be busy atm

[08:39:33] ski not really, tbm69

[08:39:44] ski ChRoNiC's just a bit wasted

[08:40:47] ski /me looks at tbm69

[08:45:04] ski ADMIRAL_HUBRIS : is that the thing with some girl sitting at desk, writing, with headphones ?

[08:45:41] ski PapaFrog : never clicked on it, because it seems to pop up frequently, relatively consistently

[08:47:10] ski you don't like wine ?

[08:48:00] ski relaxing music, PapaFrog ?

[08:48:58] ski tbm69 is the secret prince in the story

[08:50:37] ski sometimes kicks gets thrown around

[08:51:55] ski .. as you can see

[08:52:38] ski (wouldn't want it)

[08:53:43] ski can do what, tbm69 ?

[08:55:15] ski being high ?

[08:55:52] ski maybe there's something wrong with you ?

[08:56:08] ski aren't normal people grumpy, or down, usually ?

[08:57:28] ski you haven't met ComputerTech yet, tbm69

[08:57:47] ski check list of channel members

[08:58:24] ski there is a person with that nickname, in here

[08:59:13] ski you should bring ComputerTech some magners, see what the reaction is

[09:00:45] ski (nickname has nothing to do with snow)

[09:00:54] ski nah, i'm neither of those two

[09:03:00] ski hard on the back, whi5kas ?

[09:05:28] ski a cab, maybe

[09:05:41] ski cad could be caddie, i guess

[09:07:39] ski caddie n 1: an attendant who carries the golf clubs for a player [syn: {caddie}, {golf caddie}] v 1: act as a caddie and carry clubs for a player [syn: {caddie}, {caddy}]

[09:07:49] ski hmm .. actually there seems to also be "cad"

[09:07:52] ski cad n 1: someone who is morally reprehensible; "you dirty dog" [syn: {cad}, {bounder}, {blackguard}, {dog}, {hound}, {heel}] 2: software used in art and architecture and engineering and manufacturing to assist in precision drawing [syn: {computer-aided design}, {CAD}]

[09:08:44] ski there is a DuckHunt game going on in this channel, tbm69

[09:08:54] ski some people like to play it

[09:09:11] ski you get points for shooting ducks

[09:10:01] ski now now, don't moon us

[09:10:24] ski it's just a little stains

[09:15:11] ski yea, seeped it myself

[09:15:35] ski (tea is a drug)

[09:15:41] ski morn, Mikoolo

[09:16:14] ski tbm69 here is looking for computer tech discussion

[09:23:16] ski channel can be a bit chaotic, at times, tbm69

[09:23:40] ski you don't eat breakfast, tbm69 ?

[09:24:32] ski bring some interesting research papers

[09:24:49] ski no worry

[09:25:09] ski not really a thing, on IRC

[09:25:19] ski (thankfully)

[09:25:36] ski you coul try Discord, i guess

[09:26:19] ski i don't have one

[09:26:32] ski there's an official (i suppose ?) one for this channel, though

[09:27:08] ski .. i dunno

[09:27:09] ski ask ComputerTech ?

[09:27:38] ski some people like to voice chat, at times, i think

[09:52:33] ski sorry to hear about the vid, pankakes. hope you're not too miserable

[09:52:58] ski the 'vid

[09:54:48] ski hm, i guess chicken soup wouldn't help, in this case ?

[09:56:14] ski with whole pepper in the soup ?

[09:56:51] ski not red. the small "pebbles" ones

[09:57:08] ski black, or another kind i forgot what it's called in english

[09:57:38] ski ic, ty

[10:00:51] ski Mikoolo,pankakes : oh, apparently i was thinking of "allspice"

[10:02:34] ski i like using thyme,basil,oregano,dill,salvia,turmeric i cooking

[10:02:37] ski lo Frogorg

[10:03:02] ski er

[10:03:08] ski sorry, s/salvia/sage/

[10:03:53] ski yea, but it's "sage" in english, Mikoolo

[10:06:23] ski Russians seem to use ")","))",")))",&c. a lot

[10:07:03] ski hm, equinox ?

[10:45:10] ski she runs around outside where there's trees and rocks and so ?

[10:45:15] ski mhm

[10:47:04] ski hm, she doesn't chew on her skin or so, i hope

[10:47:26] ski some do it, as a kind of stim

[10:47:57] ski oh tourettes, too ?

[10:49:03] ski doesn't randomly slap people's asses, without intending to ?

[10:49:19] ski KurtGodel : real, afaict. not on TikTok, that i know of

[10:53:05] ski take care, Mikoolo

[10:56:23] ski KurtGodel : see e.g. "Sweet Anita spanks CodeMiko Technician" <https://www.youtube.com/watch?v=xr0hobdp2aE>

[11:11:17] ski you'd need to watch more than a short clip

[11:39:19] ski try raymarching

[14:25:42] ski DiscordRC <https://discordrc.com/> is an IRC client using Discord UI

[16:26:24] ski if you like

[17:22:47] ski what kinda cookies ?

[17:26:15] ski wossat ?

[17:26:28] ski hm. sorry, i don't drink beer

[17:27:06] ski ginger bread isn't that hard to bake

[17:27:35] ski mm, i guess

[17:35:19] ski it's a newish game

[17:35:37] ski (3D)

[17:37:58] ski you beat your first boss, in it ?

[17:40:44] ski hm .. in "The Legend of Faerghail", you could capture a vampire (sitting and playing piano) with/in a mithril ball

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.