Logs: liberachat/#haskell
| 2025-12-04 01:11:08 | → | ryanbooker joins (uid4340@id-4340.hampstead.irccloud.com) |
| 2025-12-04 01:11:54 | <EvanR> | seems like they would coerce to the same thing |
| 2025-12-04 01:13:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-04 01:17:20 | × | firesquidwao quits (~a@2600:3c06::f03c:93ff:fea6:ef0e) (Ping timeout: 244 seconds) |
| 2025-12-04 01:18:13 | → | tuxpaint joins (~a@2600:3c06::f03c:93ff:fea6:ef0e) |
| 2025-12-04 01:18:36 | → | omidmash9 joins (~omidmash@user/omidmash) |
| 2025-12-04 01:20:51 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 244 seconds) |
| 2025-12-04 01:20:51 | omidmash9 | is now known as omidmash |
| 2025-12-04 01:24:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-04 01:28:54 | <haskellbridge> | <Zemyla> Also, it's not just about it being faster. It's also about it being a good producer and potentially having rewrite rules that straight up don't produce an intermediate list (for instance, a Vector implementation). |
| 2025-12-04 01:29:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-04 01:29:49 | × | Tuplanolla quits (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-12-04 01:35:18 | × | acidjnk quits (~acidjnk@p200300d6e71719231986af8ebf40e0fc.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-12-04 01:36:31 | × | X-Scale quits (~ARM@50.65.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2025-12-04 01:36:40 | → | inline__ joins (~wbooze@cgn-195-14-219-122.nc.de) |
| 2025-12-04 01:39:43 | × | wbooze quits (~wbooze@2001-4dd7-9813-0-5961-9b55-d1ca-8eee.ipv6dyn.netcologne.de) (Ping timeout: 250 seconds) |
| 2025-12-04 01:40:37 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-12-04 01:40:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-04 01:45:32 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-12-04 01:46:38 | → | X-Scale joins (~ARM@50.65.114.89.rev.vodafone.pt) |
| 2025-12-04 01:47:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-04 01:48:56 | × | inline__ quits (~wbooze@cgn-195-14-219-122.nc.de) (Ping timeout: 240 seconds) |
| 2025-12-04 01:54:46 | × | arahael quits (~wetfoot@user/arahael) (Ping timeout: 256 seconds) |
| 2025-12-04 01:55:39 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Remote host closed the connection) |
| 2025-12-04 01:58:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-04 02:03:35 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-04 02:03:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-04 02:08:25 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:9151:2ca2:ed0a:49fb) |
| 2025-12-04 02:12:42 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:9151:2ca2:ed0a:49fb) (Ping timeout: 252 seconds) |
| 2025-12-04 02:14:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-04 02:18:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-04 02:29:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-04 02:35:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-04 02:38:39 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 250 seconds) |
| 2025-12-04 02:40:27 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-12-04 02:45:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-04 02:46:25 | trickard_ | is now known as trickard |
| 2025-12-04 02:50:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-04 02:56:22 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:9151:2ca2:ed0a:49fb) |
| 2025-12-04 03:01:14 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:9151:2ca2:ed0a:49fb) (Ping timeout: 265 seconds) |
| 2025-12-04 03:01:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-04 03:06:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-04 03:09:00 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-04 03:09:13 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-04 03:13:12 | × | tuxpaint quits (~a@2600:3c06::f03c:93ff:fea6:ef0e) (Ping timeout: 252 seconds) |
| 2025-12-04 03:15:16 | → | tuxpaint joins (~a@2600:3c06::f03c:93ff:fea6:ef0e) |
| 2025-12-04 03:17:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-04 03:20:54 | × | ryanbooker quits (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-12-04 03:22:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-04 03:26:21 | → | marlino joins (~marlino@96-8-193-98.block0.gvtc.com) |
| 2025-12-04 03:28:13 | × | td_ quits (~td@i5387093E.versanet.de) (Ping timeout: 246 seconds) |
| 2025-12-04 03:30:04 | → | td_ joins (~td@i5387090C.versanet.de) |
| 2025-12-04 03:32:52 | × | annamalai quits (~annamalai@157.32.222.111) (Read error: Connection reset by peer) |
| 2025-12-04 03:32:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-04 03:33:13 | → | annamalai joins (~annamalai@157.32.222.111) |
| 2025-12-04 03:37:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-04 03:37:51 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:313d:1898:c3f8:5287) |
| 2025-12-04 03:42:29 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:313d:1898:c3f8:5287) (Ping timeout: 260 seconds) |
| 2025-12-04 03:43:54 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-12-04 03:44:52 | → | spew joins (~spew@user/spew) |
| 2025-12-04 03:48:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-04 03:48:54 | × | spew quits (~spew@user/spew) (Client Quit) |
| 2025-12-04 03:49:51 | × | omidmash quits (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2025-12-04 03:53:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-04 03:54:16 | → | omidmash joins (~omidmash@user/omidmash) |
| 2025-12-04 04:04:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-04 04:09:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-04 04:11:02 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-12-04 04:12:59 | trickard_ | is now known as trickard |
| 2025-12-04 04:19:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-04 04:21:35 | → | weary-traveler joins (~user@user/user363627) |
| 2025-12-04 04:22:01 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:313d:1898:c3f8:5287) |
| 2025-12-04 04:25:05 | → | divlamir_ joins (~divlamir@user/divlamir) |
| 2025-12-04 04:25:31 | × | weary-traveler quits (~user@user/user363627) (Client Quit) |
| 2025-12-04 04:25:47 | → | weary-traveler joins (~user@user/user363627) |
| 2025-12-04 04:26:19 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:313d:1898:c3f8:5287) (Ping timeout: 246 seconds) |
| 2025-12-04 04:26:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-04 04:27:22 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 244 seconds) |
| 2025-12-04 04:27:23 | divlamir_ | is now known as divlamir |
| 2025-12-04 04:36:32 | × | foul_owl quits (~kerry@94.156.149.97) (Ping timeout: 240 seconds) |
| 2025-12-04 04:37:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-04 04:39:04 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-12-04 04:42:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-04 04:44:15 | × | pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 240 seconds) |
| 2025-12-04 04:47:14 | × | mehbark quits (~mehbark@user/mehbark) (Quit: insert leave message here) |
| 2025-12-04 04:47:23 | → | mehbark joins (~mehbark@joey.luug.ece.vt.edu) |
| 2025-12-04 04:47:44 | × | mehbark quits (~mehbark@joey.luug.ece.vt.edu) (Changing host) |
| 2025-12-04 04:47:44 | → | mehbark joins (~mehbark@user/mehbark) |
| 2025-12-04 04:48:40 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2025-12-04 04:49:51 | ← | marlino parts (~marlino@96-8-193-98.block0.gvtc.com) (WeeChat 4.7.2) |
| 2025-12-04 04:50:26 | → | foul_owl joins (~kerry@94.156.149.97) |
| 2025-12-04 04:53:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-04 04:58:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-04 05:09:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-04 05:11:25 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-12-04 05:11:39 | → | weary-traveler joins (~user@user/user363627) |
| 2025-12-04 05:14:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-04 05:18:10 | → | Guest35 joins (~Guest35@2607:fa49:1940:8200:c958:535b:5462:796d) |
| 2025-12-04 05:20:01 | × | Guest35 quits (~Guest35@2607:fa49:1940:8200:c958:535b:5462:796d) (Write error: Broken pipe) |
| 2025-12-04 05:20:07 | → | pabs3 joins (~pabs3@user/pabs3) |
All times are in UTC.