Logs: liberachat/#haskell
| 2026-03-16 06:11:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-16 06:12:58 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.7.2) |
| 2026-03-16 06:13:39 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2026-03-16 06:14:43 | → | craunts795335385 joins (~craunts@222.127.102.78) |
| 2026-03-16 06:17:32 | × | jreicher quits (~joelr@user/jreicher) (Quit: In transit) |
| 2026-03-16 06:22:40 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-16 06:27:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-16 06:34:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-16 06:35:22 | <gentauro> | 21:53 < newmind> sshine: a lot of windows installation in a corporate settings are also managed, so it's not even that they are not interested in it, it's often simply not permitted |
| 2026-03-16 06:35:40 | <gentauro> | newmind: and this is why products like `Admin By Request` are used everywhere |
| 2026-03-16 06:36:36 | gentauro | fun fact, `Admin By Request` was developed entirely by `Lars Sneftrup` (dane) |
| 2026-03-16 06:39:46 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-16 06:40:32 | <gentauro> | jreicher, what do you mean by RPN? Reverse Polish Notation? |
| 2026-03-16 06:40:49 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) |
| 2026-03-16 06:40:49 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host) |
| 2026-03-16 06:40:49 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-16 06:41:25 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds) |
| 2026-03-16 06:46:09 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2026-03-16 06:50:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-16 06:54:29 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-16 06:54:37 | → | Enrico63 joins (~Enrico63@host-79-27-153-132.retail.telecomitalia.it) |
| 2026-03-16 07:01:30 | × | hellwolf quits (~user@521a-36d5-5381-57e0-0f00-4d40-07d0-2001.sta.estpak.ee) (Remote host closed the connection) |
| 2026-03-16 07:05:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-16 07:08:10 | × | wickedjargon quits (~user@S0106f89e28d5699a.vc.shawcable.net) (Ping timeout: 265 seconds) |
| 2026-03-16 07:09:46 | <gentauro> | btw, when jumping back and forth between diff prog-langs, with support for FP (ish), this table from Gustavo Guerra (ovatus old blog) is really nice to have -> https://github.com/ovatsus/ovatsus.github.com/blob/master/blog/2013/11/10/higher-order-list-operations-across-languages/index.html#L112-L125 |
| 2026-03-16 07:10:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-16 07:12:19 | × | craunts795335385 quits (~craunts@222.127.102.78) (Ping timeout: 264 seconds) |
| 2026-03-16 07:17:36 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) |
| 2026-03-16 07:17:36 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host) |
| 2026-03-16 07:17:36 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-16 07:21:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-16 07:22:45 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-03-16 07:23:12 | × | vidak quits (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Ping timeout: 264 seconds) |
| 2026-03-16 07:23:31 | → | craunts795335385 joins (~craunts@61.245.22.252) |
| 2026-03-16 07:24:28 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) |
| 2026-03-16 07:24:28 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host) |
| 2026-03-16 07:24:28 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-16 07:25:41 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-03-16 07:27:21 | → | wickedjargon joins (~user@2605:8d80:5430:e5d2:e3ca:cdc4:8a8e:ccba) |
| 2026-03-16 07:28:38 | × | Enrico63 quits (~Enrico63@host-79-27-153-132.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-03-16 07:29:32 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 2026-03-16 07:35:52 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-03-16 07:40:28 | × | kimiamania40 quits (~b4b260c9@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 2026-03-16 07:41:18 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-16 07:42:26 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2026-03-16 07:42:37 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-16 07:51:18 | × | wickedjargon quits (~user@2605:8d80:5430:e5d2:e3ca:cdc4:8a8e:ccba) (Remote host closed the connection) |
| 2026-03-16 07:51:24 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-03-16 07:52:24 | → | jreicher joins (~joelr@user/jreicher) |
| 2026-03-16 07:53:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-16 07:55:30 | × | Digit quits (~user@user/digit) (Ping timeout: 246 seconds) |
| 2026-03-16 07:56:06 | → | Digitteknohippie joins (~user@user/digit) |
| 2026-03-16 07:58:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-16 07:58:21 | → | Enrico63 joins (~Enrico63@host-79-27-153-132.retail.telecomitalia.it) |
| 2026-03-16 08:01:14 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2026-03-16 08:02:45 | <jreicher> | gentauro: yes |
| 2026-03-16 08:03:17 | Digitteknohippie | is now known as Digit |
| 2026-03-16 08:04:10 | → | chele joins (~chele@user/chele) |
| 2026-03-16 08:09:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-16 08:13:22 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2026-03-16 08:14:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-16 08:17:21 | → | Square2 joins (~Square4@user/square) |
| 2026-03-16 08:23:31 | → | AlexNoo_ joins (~AlexNoo@5.139.232.240) |
| 2026-03-16 08:23:40 | AlexNoo_ | is now known as AlexNoo |
| 2026-03-16 08:24:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-16 08:26:58 | × | Square2 quits (~Square4@user/square) (Ping timeout: 276 seconds) |
| 2026-03-16 08:27:00 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) |
| 2026-03-16 08:27:00 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host) |
| 2026-03-16 08:27:00 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-16 08:28:18 | → | Square2 joins (~Square4@user/square) |
| 2026-03-16 08:29:08 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-16 08:30:02 | → | glguy_ joins (glguy@libera/staff/glguy) |
| 2026-03-16 08:30:36 | × | glguy quits (glguy@libera/staff/glguy) (Read error: Connection reset by peer) |
| 2026-03-16 08:41:34 | <gentauro> | jreicher: you really need to use terms they understand. Try to explain `classes` to kidos where in their vocabulay class = (school) class :0 |
| 2026-03-16 08:48:17 | × | mismorgano quits (~mismorgan@2806:102e:b:1045:ddfc:cd2e:171c:85e5) (Quit: Client closed) |
| 2026-03-16 08:48:56 | <jreicher> | I know. I tend to use prefix/postfix if I'm not talking to people who enjoy the old names. ;) |
| 2026-03-16 08:54:02 | → | vidak joins (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) |
| 2026-03-16 08:59:25 | → | __monty__ joins (~toonn@user/toonn) |
| 2026-03-16 09:05:46 | × | craunts795335385 quits (~craunts@61.245.22.252) (Quit: The Lounge - https://thelounge.chat) |
| 2026-03-16 09:09:19 | → | danza joins (~danza@user/danza) |
| 2026-03-16 09:11:28 | → | merijn joins (~merijn@77.242.116.146) |
| 2026-03-16 09:15:10 | × | tessier quits (~tessier@ip68-8-117-219.sd.sd.cox.net) (Ping timeout: 245 seconds) |
| 2026-03-16 09:15:12 | → | tessier_ joins (~tessier@ip68-8-117-219.sd.sd.cox.net) |
| 2026-03-16 09:21:17 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-03-16 09:21:47 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2026-03-16 09:25:43 | → | acidjnk_new3 joins (~acidjnk@p200300d6e700e515475642ad00179aca.dip0.t-ipconnect.de) |
| 2026-03-16 09:30:09 | × | Digit quits (~user@user/digit) (Ping timeout: 255 seconds) |
| 2026-03-16 09:30:21 | → | Digitteknohippie joins (~user@user/digit) |
| 2026-03-16 09:31:00 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2026-03-16 09:39:59 | Digitteknohippie | is now known as Digit |
| 2026-03-16 10:02:39 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-03-16 10:14:08 | × | sixfourtwelve quits (~ethanmorg@static.82.129.225.46.clients.your-server.de) (Quit: leaving) |
| 2026-03-16 10:19:25 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2026-03-16 10:19:38 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-03-16 10:19:56 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2026-03-16 10:20:02 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2026-03-16 10:25:58 | × | danza quits (~danza@user/danza) (Read error: Connection reset by peer) |
| 2026-03-16 10:25:59 | → | danz83428 joins (~danza@user/danza) |
| 2026-03-16 10:26:19 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-16 10:30:41 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
All times are in UTC.