Newest at the top
2025-08-28 14:40:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-28 14:33:26 +0200 | tbahne | (~tbahne@user/tbahne) tbahne |
2025-08-28 14:32:02 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
2025-08-28 14:29:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-28 14:24:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-28 14:18:25 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
2025-08-28 14:16:57 +0200 | aku | (aku@65.108.245.241) eagleflo |
2025-08-28 14:15:38 +0200 | aku | (aku@65.108.245.241) (Quit: Lost terminal) |
2025-08-28 14:13:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-28 14:13:18 +0200 | fp1 | fp |
2025-08-28 14:12:56 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-08-28 14:12:56 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:2ca2:a28f:2f37:22f6) (Changing host) |
2025-08-28 14:12:56 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:2ca2:a28f:2f37:22f6) |
2025-08-28 14:11:04 +0200 | trickard_ | (~trickard@cpe-57-98-47-163.wireline.com.au) |
2025-08-28 14:11:00 +0200 | fp1 | (~Thunderbi@wireless-86-50-141-108.open.aalto.fi) fp |
2025-08-28 14:10:54 +0200 | fp | (~Thunderbi@2001:708:150:10::72df) (Quit: fp) |
2025-08-28 14:10:50 +0200 | trickard | (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-28 14:08:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-28 14:04:33 +0200 | literon | (~literon@2E8B6C41.catv.pool.telekom.hu) (Quit: Client closed) |
2025-08-28 14:03:03 +0200 | ec | (~ec@gateway/tor-sasl/ec) ec |
2025-08-28 14:01:48 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 272 seconds) |
2025-08-28 13:58:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-28 13:53:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-28 13:51:47 +0200 | tromp | (~textual@2001:1c00:3487:1b00:6941:8da5:79d5:ac1b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-08-28 13:49:27 +0200 | takuan | (~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 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-08-28 13:43:09 +0200 | arandombit | (~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 +0200 | tromp | (~textual@2001:1c00:3487:1b00:6941:8da5:79d5:ac1b) |
2025-08-28 13:34:24 +0200 | haritz | (~hrtz@user/haritz) haritz |
2025-08-28 13:34:24 +0200 | haritz | (~hrtz@209.35.65.79) (Changing host) |
2025-08-28 13:34:24 +0200 | haritz | (~hrtz@209.35.65.79) |
2025-08-28 13:33:57 +0200 | califax | (~califax@user/califx) califx |
2025-08-28 13:32:40 +0200 | <Lycurgus> | kuribas, ack |
2025-08-28 13:32:37 +0200 | xff0x | (~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 +0200 | califax | (~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 +0200 | Lord_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. |