Newest at the top
| 2026-05-31 01:26:27 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-05-31 01:26:08 +0000 | Pozyomka_ | (~pyon@user/pyon) (Remote host closed the connection) |
| 2026-05-31 01:25:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 261 seconds) |
| 2026-05-31 01:21:40 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e5548c17d531dbcfc9e6.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2026-05-31 01:21:40 +0000 | acidjnk | (~acidjnk@p200300d6e700e5548c17d531dbcfc9e6.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2026-05-31 01:20:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-31 01:15:53 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-31 01:10:26 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2026-05-31 01:09:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-31 01:04:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-31 00:59:34 +0000 | Vizious | (~bes@user/Vizious) Vizious |
| 2026-05-31 00:57:21 +0000 | Vizious | (~bes@user/Vizious) (Ping timeout: 246 seconds) |
| 2026-05-31 00:56:40 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2026-05-31 00:53:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-05-31 00:51:18 +0000 | Pozyomka | (~pyon@user/pyon) (Remote host closed the connection) |
| 2026-05-31 00:51:13 +0000 | Pozyomka_ | (~pyon@user/pyon) pyon |
| 2026-05-31 00:48:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-31 00:37:33 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 252 seconds) |
| 2026-05-31 00:33:10 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-31 00:22:09 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 252 seconds) |
| 2026-05-31 00:21:59 +0000 | Icy-Thought | (~user@user/icy-thought) (Ping timeout: 245 seconds) |
| 2026-05-31 00:17:24 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-31 00:12:56 +0000 | tremon | (~tremon@83-80-159-219.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2026-05-31 00:06:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-30 23:59:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-30 23:43:34 +0000 | <lisbeths> | and my lazy way of doing this is with a relational db |
| 2026-05-30 23:43:17 +0000 | <lisbeths> | so generally you want to do some optimizations when interpreting lambda calculus to reduce the number of beta reductions for common algorithms |
| 2026-05-30 23:43:12 +0000 | phos | (~az-181@2a04:4a43:94bf:f166:33c0:fe4e:a468:67a4) |
| 2026-05-30 23:42:43 +0000 | <lisbeths> | well theres this really small lc interpreter called sectorlambda, and I am working on making my own. but the problem I run into is arrays in a non optimized lc interpreter have suboptimal array lookup times |
| 2026-05-30 23:42:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-30 23:42:06 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-05-30 23:41:47 +0000 | Pozyomka | (~pyon@user/pyon) (Remote host closed the connection) |
| 2026-05-30 23:41:27 +0000 | phos | (~az-181@2a04:4a43:94bf:f166:33c0:fe4e:a468:67a4) (Ping timeout: 252 seconds) |
| 2026-05-30 23:37:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-30 23:33:23 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 247 seconds) |
| 2026-05-30 23:33:08 +0000 | <yin> | now i'm thinking that a lambda bar would be much more useful than a space bar when typing LC |
| 2026-05-30 23:26:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-30 23:25:49 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-05-30 23:25:35 +0000 | Pozyomka | (~pyon@user/pyon) (Remote host closed the connection) |
| 2026-05-30 23:20:04 +0000 | <Clint> | i'm surprised that's not the name of a bar somewhere |
| 2026-05-30 23:19:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-30 23:18:36 +0000 | <monochrom> | On the bright side "the Lambda Room" would be a cute name. >:) |
| 2026-05-30 23:17:27 +0000 | <monochrom> | Both that scheme and John Searle's Chinese Room argument are ignoring the cold hard reality that search becomes slower than computation as soon as your database becomes large enough to answer all questions that occur in practice. |
| 2026-05-30 23:17:18 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-05-30 23:10:56 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-05-30 23:10:47 +0000 | Pozyomka | (~pyon@user/pyon) (Remote host closed the connection) |
| 2026-05-30 23:09:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2026-05-30 23:04:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-30 22:53:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-30 22:52:50 +0000 | <dolio> | What are you doing now? |