2025/12/18

Newest at the top

2025-12-18 20:34:11 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-18 20:33:40 +0100Lord_of_Life_Lord_of_Life
2025-12-18 20:32:56 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
2025-12-18 20:32:20 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-12-18 20:29:51 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-12-18 20:28:52 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 244 seconds)
2025-12-18 20:28:19 +0100shaeto(~Shaeto@94.25.234.244) (Client Quit)
2025-12-18 20:27:37 +0100shaeto(~Shaeto@94.25.234.244)
2025-12-18 20:26:50 +0100shaeto(~Shaeto@94.25.234.244) (Quit: WeeChat 4.1.1)
2025-12-18 20:22:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-18 20:20:55 +0100weary-traveler(~user@user/user363627) user363627
2025-12-18 20:20:21 +0100Tuplanolla(~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) Tuplanolla
2025-12-18 20:19:06 +0100talismanick(~user@2601:644:8502:d340::cd3d) talismanick
2025-12-18 20:18:24 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-18 20:14:50 +0100acidjnk(~acidjnk@p200300d6e7171981f0c6dc9689540cc0.dip0.t-ipconnect.de) acidjnk
2025-12-18 20:07:19 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-18 20:04:15 +0100tromp(~textual@2001:1c00:3487:1b00:388e:400a:f906:df4a) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-12-18 20:02:37 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-18 19:59:27 +0100ljdarj1ljdarj
2025-12-18 19:59:27 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2025-12-18 19:55:37 +0100ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-12-18 19:55:20 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-12-18 19:54:24 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-12-18 19:50:35 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-18 19:44:36 +0100acidjnk(~acidjnk@p200300d6e7171981f0c6dc9689540cc0.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-12-18 19:42:18 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-12-18 19:39:06 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-12-18 19:32:32 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-18 19:30:38 +0100chele(~chele@user/chele) (Remote host closed the connection)
2025-12-18 19:29:50 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-12-18 19:21:54 +0100merijn(~merijn@62.45.136.136) (Ping timeout: 256 seconds)
2025-12-18 19:19:38 +0100Pozyomka(~pyon@user/pyon) (Quit: bbl)
2025-12-18 19:17:48 +0100jmcantrell_jmcantrell
2025-12-18 19:17:29 +0100jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-12-18 19:17:25 +0100lambda_gibbon(~lambda_gi@208.83.175.39) (Ping timeout: 264 seconds)
2025-12-18 19:17:21 +0100L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-12-18 19:17:13 +0100merijn(~merijn@62.45.136.136) merijn
2025-12-18 19:15:44 +0100trickard(~trickard@cpe-81-98-47-163.wireline.com.au)
2025-12-18 19:15:32 +0100trickard(~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-18 19:06:21 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-12-18 19:01:19 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-18 19:00:47 +0100lambda_gibbon(~lambda_gi@208.83.175.39)
2025-12-18 18:56:27 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-12-18 18:56:07 +0100 <tomsmeding> nice, have fun :)
2025-12-18 18:55:57 +0100 <machinedgod> Thank you, both for time and knowledge!
2025-12-18 18:55:43 +0100 <machinedgod> tomsmeding: Oh, I didn't feel like you're being discouraging, quite the oppoosite! You're here, spending time of your life to consult me for free - if that isn't practical encouraging, I don't know what is :) and, I am taking your advice to heart, I've just poured myself another cup of coffee, and rather than typing more code, I'm gonna sit, look at it and think for a bit
2025-12-18 18:52:14 +0100 <tomsmeding> this is not to discourage you from experimenting, by the way! :)
2025-12-18 18:51:34 +0100 <tomsmeding> (and if it doesn't, come back)
2025-12-18 18:51:30 +0100 <tomsmeding> I think that if you know that, it'll become clearer how to use linearity to accomplish that
2025-12-18 18:51:14 +0100 <tomsmeding> "authority tokens" sound like a design pattern to simplify writing APIs that use linearity to enforce certain invariants. That still requires you to have an idea beforehand what invariants you want to enforce, exactly :)