2025/08/28

Newest at the top

2025-08-28 14:40:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-28 14:33:26 +0200tbahne(~tbahne@user/tbahne) tbahne
2025-08-28 14:32:02 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-08-28 14:29:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-28 14:24:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-28 14:18:25 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 248 seconds)
2025-08-28 14:16:57 +0200aku(aku@65.108.245.241) eagleflo
2025-08-28 14:15:38 +0200aku(aku@65.108.245.241) (Quit: Lost terminal)
2025-08-28 14:13:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-28 14:13:18 +0200fp1fp
2025-08-28 14:12:56 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-08-28 14:12:56 +0200arandombit(~arandombi@2603:7000:4600:ffbe:2ca2:a28f:2f37:22f6) (Changing host)
2025-08-28 14:12:56 +0200arandombit(~arandombi@2603:7000:4600:ffbe:2ca2:a28f:2f37:22f6)
2025-08-28 14:11:04 +0200trickard_(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-08-28 14:11:00 +0200fp1(~Thunderbi@wireless-86-50-141-108.open.aalto.fi) fp
2025-08-28 14:10:54 +0200fp(~Thunderbi@2001:708:150:10::72df) (Quit: fp)
2025-08-28 14:10:50 +0200trickard(~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-28 14:08:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-28 14:04:33 +0200literon(~literon@2E8B6C41.catv.pool.telekom.hu) (Quit: Client closed)
2025-08-28 14:03:03 +0200ec(~ec@gateway/tor-sasl/ec) ec
2025-08-28 14:01:48 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 272 seconds)
2025-08-28 13:58:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-28 13:53:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-28 13:51:47 +0200tromp(~textual@2001:1c00:3487:1b00:6941:8da5:79d5:ac1b) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-28 13:49:27 +0200takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-08-28 13:49:05 +0200 <Franciman> you drop it
2025-08-28 13:49:03 +0200 <Franciman> you keep it while it holds, then when somebody comes up with realtivity
2025-08-28 13:48:50 +0200 <Franciman> like newton's gravity laws
2025-08-28 13:48:43 +0200 <Franciman> jreicher: i also like to see it as an empirical law
2025-08-28 13:43:47 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-08-28 13:43:09 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 260 seconds)
2025-08-28 13:41:00 +0200 <jreicher> ski: Church's thesis is an idea in the absence of axioms. That's the whole point. If anything it suggests the axioms and not the other way round.
2025-08-28 13:39:34 +0200 <kuribas> I think organic is taken synonym with self organising, effortless, ...
2025-08-28 13:38:17 +0200tromp(~textual@2001:1c00:3487:1b00:6941:8da5:79d5:ac1b)
2025-08-28 13:34:24 +0200haritz(~hrtz@user/haritz) haritz
2025-08-28 13:34:24 +0200haritz(~hrtz@209.35.65.79) (Changing host)
2025-08-28 13:34:24 +0200haritz(~hrtz@209.35.65.79)
2025-08-28 13:33:57 +0200califax(~califax@user/califx) califx
2025-08-28 13:32:40 +0200 <Lycurgus> kuribas, ack
2025-08-28 13:32:37 +0200xff0x(~xff0x@2405:6580:b080:900:b44c:4dd6:a7f0:d125)
2025-08-28 13:30:48 +0200 <ski> there are "internalized versions" of Church's thesis, basically claiming that every (computable) function is algorithmic (in some particular system). these could be provable, like in versions of constructive math, given appropriate axioms
2025-08-28 13:30:35 +0200 <kuribas> Lycurgus: the cell analogy was used by Alan Kay.
2025-08-28 13:29:56 +0200 <kuribas> "Organically" is often used as a good adjective, but in reality what we consider "organic", is carefully managed by us, like growing plants, or maintaining a garden.
2025-08-28 13:29:53 +0200 <Lycurgus> and yeah good analogy if you just look at cells as bags with some properties or structure, i.e an abstraction
2025-08-28 13:29:11 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-08-28 13:28:13 +0200 <Lycurgus> being life itself atomically dont count?
2025-08-28 13:27:49 +0200 <kuribas> It's not a thing that magically heals and solves problems.
2025-08-28 13:27:19 +0200 <kuribas> The cell analogy for OOP shows this clearly, a cell is a super complicated things, maybe even more than your whole computer.
2025-08-28 13:26:10 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds)
2025-08-28 13:26:04 +0200 <kuribas> Using OO for numbers is ridiculous IMO, why send a message to add two numbers.