Logs: liberachat/#haskell
| 2025-11-09 10:05:19 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-11-09 10:07:31 | <Leary> | kaol: `Data.Proxy` |
| 2025-11-09 10:09:53 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-11-09 10:10:01 | <kaol> | Why didn't I think of that. Thanks. |
| 2025-11-09 10:10:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 10:10:51 | <kaol> | It's a nice new angle to think of what it does. |
| 2025-11-09 10:14:25 | → | Nachtgespenst joins (~user@user/siracusa) |
| 2025-11-09 10:16:44 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-09 10:21:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 10:24:14 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-11-09 10:27:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 10:30:15 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-11-09 10:31:57 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-09 10:33:43 | → | __monty__ joins (~toonn@user/toonn) |
| 2025-11-09 10:37:45 | trickard_ | is now known as trickard |
| 2025-11-09 10:39:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 10:43:41 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-09 10:44:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-11-09 10:44:11 | → | fp joins (~Thunderbi@89-27-10-140.bb.dnainternet.fi) |
| 2025-11-09 10:46:49 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-09 10:52:04 | → | tromp joins (~textual@2001:1c00:3487:1b00:b9c6:2c55:4165:c029) |
| 2025-11-09 10:52:26 | × | trickard quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-09 10:52:48 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-09 10:58:07 | trickard_ | is now known as trickard |
| 2025-11-09 11:00:28 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-11-09 11:06:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 11:10:00 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 2025-11-09 11:11:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-09 11:22:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 11:26:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 11:37:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 11:42:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-09 11:42:54 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-11-09 11:43:21 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-11-09 11:47:16 | → | Zemy_ joins (~Zemy@2600:100c:b050:81b0:68ad:80ff:fe01:af93) |
| 2025-11-09 11:47:16 | × | Zemy quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-09 11:47:48 | → | Zemy joins (~Zemy@72.178.108.235) |
| 2025-11-09 11:49:06 | × | Zemy_ quits (~Zemy@2600:100c:b050:81b0:68ad:80ff:fe01:af93) (Read error: Connection reset by peer) |
| 2025-11-09 11:53:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 11:57:19 | × | fp quits (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 240 seconds) |
| 2025-11-09 11:58:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-09 12:07:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 12:11:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 12:20:22 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.0) |
| 2025-11-09 12:23:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 12:25:33 | → | ouilemur joins (~jgmerritt@user/ouilemur) |
| 2025-11-09 12:26:31 | × | trickard quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-09 12:26:45 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-09 12:27:21 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-09 12:28:02 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 12:28:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 12:31:00 | → | califax joins (~califax@user/califx) |
| 2025-11-09 12:33:12 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 12:34:18 | → | califax joins (~califax@user/califx) |
| 2025-11-09 12:34:31 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-09 12:36:44 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 12:39:21 | → | califax joins (~califax@user/califx) |
| 2025-11-09 12:39:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 12:45:20 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-09 12:50:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-09 13:03:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 13:03:37 | → | califax_ joins (~califax@user/califx) |
| 2025-11-09 13:05:48 | × | califax quits (~califax@user/califx) (Ping timeout: 272 seconds) |
| 2025-11-09 13:05:49 | califax_ | is now known as califax |
| 2025-11-09 13:07:48 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-09 13:07:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-09 13:08:01 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-09 13:08:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 13:13:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-09 13:14:55 | AlexNoo_ | is now known as AlexNoo |
| 2025-11-09 13:16:32 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 13:17:38 | → | califax joins (~califax@user/califx) |
| 2025-11-09 13:20:22 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 13:21:50 | → | califax joins (~califax@user/califx) |
| 2025-11-09 13:24:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 13:24:31 | → | annamalai joins (~annamalai@157.33.211.168) |
| 2025-11-09 13:30:15 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-11-09 13:30:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 13:30:55 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 13:35:26 | → | califax joins (~califax@user/califx) |
| 2025-11-09 13:37:13 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-09 13:38:05 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-09 13:42:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-09 13:43:11 | → | deptype joins (~deptype@2406:b400:3a:73c2:cfa0:1b83:ebb:1e87) |
| 2025-11-09 13:46:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-09 13:48:20 | × | deptype quits (~deptype@2406:b400:3a:73c2:cfa0:1b83:ebb:1e87) (Quit: Leaving) |
| 2025-11-09 13:51:18 | → | califax joins (~califax@user/califx) |
| 2025-11-09 13:53:28 | → | deptype joins (~deptype@2406:b400:3a:73c2:cfa0:1b83:ebb:1e87) |
| 2025-11-09 13:53:47 | × | deptype quits (~deptype@2406:b400:3a:73c2:cfa0:1b83:ebb:1e87) (Remote host closed the connection) |
| 2025-11-09 13:54:29 | <__monty__> | `lsb x = x .&. negate x` is such a cheat. |
| 2025-11-09 13:54:30 | → | deptype joins (~deptype@2406:b400:3a:73c2:cfa0:1b83:ebb:1e87) |
| 2025-11-09 13:55:14 | × | deptype quits (~deptype@2406:b400:3a:73c2:cfa0:1b83:ebb:1e87) (Remote host closed the connection) |
| 2025-11-09 13:59:35 | <fgarcia> | > 10 .&. negate 10 |
| 2025-11-09 13:59:37 | <lambdabot> | 2 |
| 2025-11-09 14:00:05 | tomsmeding | . o O ( negate x = complement x + 1 ) |
| 2025-11-09 14:00:24 | <tomsmeding> | it's a famous bithack |
| 2025-11-09 14:00:36 | <fgarcia> | > 24 .&. negate 24 |
| 2025-11-09 14:00:38 | <lambdabot> | 8 |
| 2025-11-09 14:01:36 | <fgarcia> | i like math tricks! :) |
| 2025-11-09 14:01:44 | <tomsmeding> | > [x .&. negate x | x <- [1..20]] |
All times are in UTC.