Home liberachat/#haskell: Logs Calendar

Logs on 2026-03-21 (liberachat/#haskell)

00:07:53 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
00:09:12 × v0id_7 quits (~v0id_7@user/v0id-7:62772) (Quit: whatever u sick fcks)
00:10:10 × craunts795335385 quits (~craunts@152.32.99.2) (Ping timeout: 245 seconds)
00:10:54 peterbecich joins (~Thunderbi@71.84.33.135)
00:12:21 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
00:22:41 × bggd quits (~bgg@user/bggd) (Ping timeout: 244 seconds)
00:23:16 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
00:27:54 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
00:35:36 × peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds)
00:38:36 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
00:43:31 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
00:50:08 craunts795335385 joins (~craunts@121.58.232.219)
00:50:24 × craunts795335385 quits (~craunts@121.58.232.219) (Client Quit)
00:53:58 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
00:54:13 paddymahoney joins (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com)
00:59:41 × paddymahoney quits (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Read error: Connection reset by peer)
01:00:24 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
01:00:35 × acidjnk_new quits (~acidjnk@p200300d6e700e545b138643e76a029bb.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
01:12:00 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
01:14:53 karenw joins (~karenw@user/karenw)
01:16:25 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
01:27:23 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
01:29:03 hiecaq joins (~hiecaq@user/hiecaq)
01:31:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
01:40:20 × xff0x quits (~xff0x@2405:6580:b080:900:d540:12da:a11a:2c00) (Ping timeout: 252 seconds)
01:47:45 xff0x joins (~xff0x@2405:6580:b080:900:e214:9b7d:413d:8df1)
01:49:43 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
01:53:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
02:01:10 emmanuelux joins (~em@user/emmanuelux)
02:02:28 × Franciman quits (~Franciman@mx1.fracta.dev) (Remote host closed the connection)
02:02:28 × lortabac quits (~lortabac@mx1.fracta.dev) (Remote host closed the connection)
02:03:22 Franciman joins (~Franciman@mx1.fracta.dev)
02:03:22 lortabac joins (~lortabac@mx1.fracta.dev)
02:04:20 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 245 seconds)
02:05:34 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
02:10:40 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
02:10:45 emmanuelux_ joins (~em@2a02-8440-2604-1aaa-3593-9a34-c82b-09a7.rev.sfr.net)
02:11:46 <haskellbridge> <Liamzee> huh
02:11:56 <haskellbridge> <Liamzee> i'm trying to install GHC 9.14 onto my dev server
02:11:58 × emmanuelux quits (~em@user/emmanuelux) (Ping timeout: 276 seconds)
02:12:02 <haskellbridge> <Liamzee> and, ummm, it's taking like 10gb to install?
02:12:05 <haskellbridge> <Liamzee> I ran out of space a few times
02:17:02 arandombit joins (~arandombi@user/arandombit)
02:20:57 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
02:22:02 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds)
02:25:26 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
02:28:10 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
02:29:01 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
02:34:07 <haskellbridge> <sm> that's a lot
02:35:30 arandombit joins (~arandombi@2a02:2455:8656:7100:5063:b6f6:d533:9cc)
02:35:30 × arandombit quits (~arandombi@2a02:2455:8656:7100:5063:b6f6:d533:9cc) (Changing host)
02:35:30 arandombit joins (~arandombi@user/arandombit)
02:36:19 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
02:40:34 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 276 seconds)
02:47:00 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
02:51:37 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
02:59:48 <geekosaur> slightly odd; I get 3.6G for my installed one, roughly double while unpacking/installing/copying wouldn't be surprising, but unless it holds onto all temporaries during that 10G seems a little high
03:02:22 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
03:07:13 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
03:16:28 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
03:17:44 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
03:22:49 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
03:32:17 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
03:33:05 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
03:37:45 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
03:37:46 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 276 seconds)
03:48:27 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
03:53:22 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
03:54:05 × Alex_delenda_est quits (~al_test@178.34.151.138) (Ping timeout: 265 seconds)
03:54:05 × AlexZenon quits (~alzenon@178.34.151.138) (Ping timeout: 265 seconds)
03:54:27 docwombat joins (~user@user/docwombat)
03:55:03 × AlexNoo quits (~AlexNoo@178.34.151.138) (Ping timeout: 265 seconds)
03:56:03 arandombit joins (~arandombi@user/arandombit)
03:56:15 × rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) (Remote host closed the connection)
03:57:55 × machinedgod quits (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 264 seconds)
03:59:44 × docwombat quits (~user@user/docwombat) (Quit: leaving)
04:03:24 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 264 seconds)
04:03:55 merijn joins (~merijn@62.45.136.136)
04:08:03 haetsal_ joins (~quassel@1.229.73.147)
04:09:04 × haetsal quits (~quassel@1.229.73.147) (Ping timeout: 265 seconds)
04:10:32 × merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds)
04:21:52 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
04:25:26 tri joins (~tri@ool-44c70bcb.dyn.optonline.net)
04:26:57 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
04:29:58 × olivial quits (~benjaminl@user/benjaminl) (Read error: Connection reset by peer)
04:29:58 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
04:30:07 × tri quits (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 272 seconds)
04:30:13 olivial joins (~benjaminl@user/benjaminl)
04:34:41 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
04:45:19 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
04:47:31 arandombit joins (~arandombi@user/arandombit)
04:50:12 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
04:53:10 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 276 seconds)
04:53:36 <monochrom> We do not know that "10gb" is not a hyperbole and it may mean merely 7gb.
04:54:45 × haetsal_ quits (~quassel@1.229.73.147) (Ping timeout: 255 seconds)
04:55:11 haetsal joins (~quassel@221.138.168.192)
05:00:41 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
05:00:48 <probie> <joke>Based on my interactions with physicists, I've discovered that "like 10" just means "more than π"</joke>
05:05:06 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
05:05:21 × haritzondo quits (~hrtz@140.228.70.141) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
05:15:33 arandombit joins (~arandombi@2a02:2455:8656:7100:5063:b6f6:d533:9cc)
05:15:33 × arandombit quits (~arandombi@2a02:2455:8656:7100:5063:b6f6:d533:9cc) (Changing host)
05:15:33 arandombit joins (~arandombi@user/arandombit)
05:16:04 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
05:20:35 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
05:20:44 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 245 seconds)
05:24:38 × karenw quits (~karenw@user/karenw) (Remote host closed the connection)
05:26:19 karenw joins (~karenw@user/karenw)
05:30:59 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
05:33:02 arandombit joins (~arandombi@2a02:2455:8656:7100:5063:b6f6:d533:9cc)
05:33:02 × arandombit quits (~arandombi@2a02:2455:8656:7100:5063:b6f6:d533:9cc) (Changing host)
05:33:02 arandombit joins (~arandombi@user/arandombit)
05:35:42 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
05:38:07 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 268 seconds)
05:39:38 × gmg quits (~user@user/gehmehgeh) (Remote host closed the connection)
05:40:24 gmg joins (~user@user/gehmehgeh)
05:46:21 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
05:48:27 peterbecich joins (~Thunderbi@71.84.33.135)
05:50:15 arandombit joins (~arandombi@2a02:2455:8656:7100:5063:b6f6:d533:9cc)
05:50:15 × arandombit quits (~arandombi@2a02:2455:8656:7100:5063:b6f6:d533:9cc) (Changing host)
05:50:15 arandombit joins (~arandombi@user/arandombit)
05:52:50 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
05:54:23 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds)
06:01:00 arandombit joins (~arandombi@2a02:2455:8656:7100:5063:b6f6:d533:9cc)
06:01:00 × arandombit quits (~arandombi@2a02:2455:8656:7100:5063:b6f6:d533:9cc) (Changing host)
06:01:00 arandombit joins (~arandombi@user/arandombit)
06:04:24 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
06:04:50 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
06:05:58 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 276 seconds)
06:09:19 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
06:19:49 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
06:24:22 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
06:27:07 craunts795335385 joins (~craunts@152.32.99.2)
06:31:58 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
06:35:48 arandombit joins (~arandombi@user/arandombit)
06:36:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
06:40:53 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds)
06:44:43 × karenw quits (~karenw@user/karenw) (Remote host closed the connection)
06:47:21 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
06:48:26 karenw joins (~karenw@user/karenw)
06:50:01 × peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 265 seconds)
06:52:11 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
06:53:03 arandombit joins (~arandombi@2a02:2455:8656:7100:5063:b6f6:d533:9cc)
06:53:03 × arandombit quits (~arandombi@2a02:2455:8656:7100:5063:b6f6:d533:9cc) (Changing host)
06:53:03 arandombit joins (~arandombi@user/arandombit)
06:57:54 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 268 seconds)
07:01:33 arandombit joins (~arandombi@user/arandombit)
07:02:43 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
07:06:12 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds)
07:07:21 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
07:09:32 × craunts795335385 quits (~craunts@152.32.99.2) (Quit: The Lounge - https://thelounge.chat)
07:14:27 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 258 seconds)
07:16:05 chexum joins (~quassel@gateway/tor-sasl/chexum)
07:18:05 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
07:18:28 arandombit joins (~arandombi@user/arandombit)
07:22:27 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
07:23:19 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 276 seconds)
07:26:16 × troydm quits (~troydm@user/troydm) (Ping timeout: 268 seconds)
07:26:38 troydm joins (~troydm@user/troydm)
07:32:59 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
07:35:52 arandombit joins (~arandombi@2a02:2455:8656:7100:5063:b6f6:d533:9cc)
07:35:52 × arandombit quits (~arandombi@2a02:2455:8656:7100:5063:b6f6:d533:9cc) (Changing host)
07:35:52 arandombit joins (~arandombi@user/arandombit)
07:39:47 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
07:40:18 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds)
07:42:52 × Pozyomka quits (~pyon@user/pyon) (Quit: brb)
07:44:59 Pozyomka joins (~pyon@user/pyon)
07:46:50 machinedgod joins (~machinedg@d172-219-48-230.abhsia.telus.net)
07:49:23 <gentauro> probie: which is vague, but somehow true
07:51:01 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
07:55:31 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
07:58:41 × califax quits (~califax@user/califx) (Remote host closed the connection)
07:59:20 × rainbyte quits (~rainbyte@181.47.219.110) (Ping timeout: 268 seconds)
08:02:38 califax joins (~califax@user/califx)
08:03:49 bgamari joins (~bgamari@64.223.168.27)
08:03:52 danso_o joins (~danso@user/danso)
08:03:58 RSBach joins (~RMSBach@24.210.9.182)
08:06:03 hadronized1 joins (~hadronize@2001:41d0:a:fe76::1)
08:06:17 mzg_ joins (mzg@abusers.hu)
08:06:18 takuan_dozo joins (~takuan@d8D86B9E9.access.telenet.be)
08:06:38 xdej_ joins (~xdej@quatramaran.salle-s.org)
08:06:54 s4msung joins (SHMU1ylKNZ@user/s4msung)
08:07:01 exa1 joins (~exa@2001:15e8:110:7d00::117)
08:07:55 urdh_ joins (~urdh@user/urdh)
08:08:22 walt joins (~ggVGc@a.lowtech.earth)
08:09:03 arahael_ joins (~wetfoot@user/arahael)
08:09:52 × RMSBach quits (~RMSBach@2603:6013:9b00:a7c8:e7e5:f272:eb86:ddf) (Quit: ZNC 1.9.1 - https://znc.in)
08:09:52 × tcard__ quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection)
08:09:53 RSBach is now known as RMSBach
08:09:53 × Pozyomka quits (~pyon@user/pyon) (Ping timeout: 272 seconds)
08:09:56 × bgamari_ quits (~bgamari@64.223.168.27) (Quit: ZNC 1.10.1 - https://znc.in)
08:09:56 × Goodbye_Vincent1 quits (cyvahl@freakshells.net) (Quit: Ping timeout (120 seconds))
08:09:56 × urdh quits (~urdh@user/urdh) (Quit: Boom!)
08:09:56 urdh_ is now known as urdh
08:09:56 × danso quits (~danso@user/danso) (Quit: quittin time)
08:09:56 × divya quits (divya@140.238.251.170) (Quit: ZNC 1.9.0 - https://znc.in)
08:10:03 × arahael quits (~wetfoot@user/arahael) (Remote host closed the connection)
08:10:04 × sviermsung quits (CjyvmvHdzk@user/s4msung) (Remote host closed the connection)
08:10:10 × xdej quits (~xdej@quatramaran.salle-s.org) (Remote host closed the connection)
08:19:04 Mdht joins (~Mdht@41.68.231.151)
08:21:45 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
08:22:42 lol_ joins (~lol@2603:3016:1e01:b980:81af:2c2f:4471:e2e6)
08:24:32 tristanC_ joins (~tristanC@2602:4b:ac7b:500:701e:9a24:a355:5957)
08:25:02 degraafk_ joins (sid71464@id-71464.lymington.irccloud.com)
08:25:03 alanz_ joins (sid110616@id-110616.uxbridge.irccloud.com)
08:25:03 jonrh_ joins (sid5185@id-5185.ilkley.irccloud.com)
08:25:12 rawles_ joins (sid630849@user/rawles)
08:25:13 buhman_ joins (sid411355@user/buhman)
08:25:14 edm_ joins (sid147314@id-147314.hampstead.irccloud.com)
08:25:20 haasn_ joins (sid579015@id-579015.hampstead.irccloud.com)
08:26:15 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
08:26:17 divya joins (divya@140.238.251.170)
08:28:24 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
08:30:59 × edm quits (sid147314@id-147314.hampstead.irccloud.com) (*.net *.split)
08:30:59 × jonrh quits (sid5185@id-5185.ilkley.irccloud.com) (*.net *.split)
08:30:59 × haasn quits (sid579015@id-579015.hampstead.irccloud.com) (*.net *.split)
08:30:59 × sp1ff quits (~user@2601:1c2:4080:14c0::1ced) (*.net *.split)
08:31:00 × takuan quits (~takuan@d8d86b9e9.access.telenet.be) (*.net *.split)
08:31:00 × jcarpenter2 quits (~lol@2603:3016:1e01:b980:9900:10f7:ff16:cae0) (*.net *.split)
08:31:00 × tomboy64 quits (~tomboy64@user/tomboy64) (*.net *.split)
08:31:00 × Putonlalla quits (~Putonlall@it-cyan.it.jyu.fi) (*.net *.split)
08:31:00 × [exa] quits (~exa@user/exa/x-3587197) (*.net *.split)
08:31:00 × albet70 quits (~xxx@172-233-90-118.ip.linodeusercontent.com) (*.net *.split)
08:31:00 × hadronized quits (~hadronize@2001:41d0:a:fe76::1) (*.net *.split)
08:31:00 × tristanC quits (~tristanC@user/tristanc) (*.net *.split)
08:31:00 × rawles quits (sid630849@user/rawles) (*.net *.split)
08:31:00 × alanz quits (sid110616@id-110616.uxbridge.irccloud.com) (*.net *.split)
08:31:00 × ggVGc quits (~ggVGc@a.lowtech.earth) (*.net *.split)
08:31:00 × buhman quits (sid411355@user/buhman) (*.net *.split)
08:31:00 × degraafk quits (sid71464@id-71464.lymington.irccloud.com) (*.net *.split)
08:31:00 × mzg quits (mzg@abusers.hu) (*.net *.split)
08:31:01 tristanC_ is now known as tristanC
08:31:01 alanz_ is now known as alanz
08:31:01 jonrh_ is now known as jonrh
08:31:01 haasn_ is now known as haasn
08:31:01 rawles_ is now known as rawles
08:31:02 degraafk_ is now known as degraafk
08:31:02 buhman_ is now known as buhman
08:33:04 edm_ is now known as edm
08:33:58 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
08:35:58 Tuplanolla joins (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi)
08:38:45 Putonlalla joins (~Putonlall@it-cyan.it.jyu.fi)
08:38:46 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
08:39:36 tomboy64 joins (~tomboy64@user/tomboy64)
08:39:40 arandombit joins (~arandombi@2a02:2455:8656:7100:5063:b6f6:d533:9cc)
08:39:40 × arandombit quits (~arandombi@2a02:2455:8656:7100:5063:b6f6:d533:9cc) (Changing host)
08:39:40 arandombit joins (~arandombi@user/arandombit)
08:42:51 acidjnk_new joins (~acidjnk@p200300d6e700e545827d09e098073cb0.dip0.t-ipconnect.de)
08:43:58 __monty__ joins (~toonn@user/toonn)
08:44:22 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds)
08:45:36 albet70 joins (~xxx@172-233-90-118.ip.linodeusercontent.com)
08:49:21 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
08:50:53 madresch joins (~Thunderbi@user/madresch)
08:51:59 <gentauro> also for physicists, infinity is just `-1/12` xD
08:54:01 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
08:55:32 × Digit quits (~user@user/digit) (Read error: Connection reset by peer)
08:57:28 Digit joins (~user@user/digit)
09:00:33 arandombit joins (~arandombi@2a02:2455:8656:7100:5063:b6f6:d533:9cc)
09:00:33 × arandombit quits (~arandombi@2a02:2455:8656:7100:5063:b6f6:d533:9cc) (Changing host)
09:00:33 arandombit joins (~arandombi@user/arandombit)
09:04:43 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
09:08:18 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds)
09:08:19 × haskellbridge quits (~hackager@96.28.224.214) (Read error: Connection reset by peer)
09:09:06 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
09:11:15 × madresch quits (~Thunderbi@user/madresch) (Ping timeout: 255 seconds)
09:14:29 haskellbridge joins (~hackager@96.28.224.214)
09:14:29 ChanServ sets mode +v haskellbridge
09:16:13 madresch joins (~Thunderbi@user/madresch)
09:20:07 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
09:21:38 arandombit joins (~arandombi@2a02:2455:8656:7100:5063:b6f6:d533:9cc)
09:21:38 × arandombit quits (~arandombi@2a02:2455:8656:7100:5063:b6f6:d533:9cc) (Changing host)
09:21:38 arandombit joins (~arandombi@user/arandombit)
09:25:50 <TMA> gentauro: or 0, whatever is needed in any particular case
09:26:34 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
09:30:35 × pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 245 seconds)
09:33:17 pabs3 joins (~pabs3@user/pabs3)
09:34:59 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
09:37:21 <mesaoptimizer> GHC, bigger than your average linux distro
09:39:21 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
09:45:50 × Mdht quits (~Mdht@41.68.231.151) (Quit: Client closed)
09:46:07 <int-e> eh, it's not that big
09:48:52 <int-e> Especially if you don't include profiled versions: https://paste.debian.net/hidden/c71c57b3
09:48:52 × haskellbridge quits (~hackager@96.28.224.214) (Read error: Connection reset by peer)
09:50:21 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
09:55:30 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
09:55:34 haskellbridge joins (~hackager@96.28.224.214)
09:55:34 ChanServ sets mode +v haskellbridge
09:56:04 × _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 276 seconds)
09:56:04 × haskellbridge quits (~hackager@96.28.224.214) (Read error: Connection reset by peer)
09:59:05 × acidjnk_new quits (~acidjnk@p200300d6e700e545827d09e098073cb0.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
09:59:19 × emmanuelux_ quits (~em@2a02-8440-2604-1aaa-3593-9a34-c82b-09a7.rev.sfr.net) (Read error: Connection reset by peer)
10:01:38 haskellbridge joins (~hackager@96.28.224.214)
10:01:38 ChanServ sets mode +v haskellbridge
10:02:55 _d0t joins (~{-d0t-}@user/-d0t-/x-7915216)
10:02:55 × haskellbridge quits (~hackager@96.28.224.214) (Read error: Connection reset by peer)
10:05:43 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
10:07:17 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
10:09:25 haskellbridge joins (~hackager@96.28.224.214)
10:09:25 ChanServ sets mode +v haskellbridge
10:10:38 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
10:10:42 Guest62t joins (~Guest62t@p200300ca8f1b5500dd5e1591f848ed88.dip0.t-ipconnect.de)
10:11:36 × vetkat quits (~vetkat@user/vetkat) (Read error: Connection reset by peer)
10:11:43 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds)
10:11:55 vetkat joins (~vetkat@user/vetkat)
10:11:57 × p3n quits (~p3n@217.198.124.246) (Quit: ZNC 1.10.1 - https://znc.in)
10:12:41 czan joins (~czan@user/mange)
10:13:06 emmanuelux joins (~em@user/emmanuelux)
10:20:51 × haskellbridge quits (~hackager@96.28.224.214) (Read error: Connection reset by peer)
10:21:06 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
10:25:35 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
10:27:11 haskellbridge joins (~hackager@96.28.224.214)
10:27:11 ChanServ sets mode +v haskellbridge
10:29:25 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 268 seconds)
10:35:59 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
10:38:49 arandombit joins (~arandombi@user/arandombit)
10:38:49 × haskellbridge quits (~hackager@96.28.224.214) (Read error: Connection reset by peer)
10:40:21 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
10:44:56 haskellbridge joins (~hackager@96.28.224.214)
10:44:56 ChanServ sets mode +v haskellbridge
10:46:41 Guest42 joins (~Guest42@ip-191.243.28.220.bbg.psi.br)
10:47:24 <haskellbridge> <Liamzee> monochrom: well, I install it on the Linux box, space usage goes from 10gb to 20gb, then the linux box runs out of disk space and the installation dies
10:49:09 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 268 seconds)
10:49:22 × Square3 quits (~Square@user/square) (Ping timeout: 248 seconds)
10:49:44 <gentauro> if you read a (text) file in a strict mode and then apply logic for each line by using (unlines . logic . lines) the I'm guessing we are back to lazyiness right?
10:51:22 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
10:51:33 <gentauro> to all the many services around the Haskell econsystem, will they be impacted by -> https://letsencrypt.org/2025/05/14/ending-tls-client-authentication?
10:52:19 gentauro oh, it's from MAY-2025, I guess we would have noticed … but perhaps when certificates need renewal, there would be some problems?
10:52:33 × Guest42 quits (~Guest42@ip-191.243.28.220.bbg.psi.br) (Quit: Client closed)
10:53:17 p3n joins (~p3n@217.198.124.246)
10:53:37 × timide quits (~timide@user/timide) (Remote host closed the connection)
10:58:11 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
11:02:19 × machinedgod quits (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 265 seconds)
11:09:17 somemathguy joins (~somemathg@user/somemathguy)
11:09:25 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
11:13:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
11:14:14 × divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer)
11:14:41 divlamir joins (~divlamir@user/divlamir)
11:24:17 pera joins (~pera@user/pera)
11:29:53 arandombit joins (~arandombi@2a02:2455:8656:7100:a0d0:1827:7d78:bc96)
11:29:53 × arandombit quits (~arandombi@2a02:2455:8656:7100:a0d0:1827:7d78:bc96) (Changing host)
11:29:53 arandombit joins (~arandombi@user/arandombit)
11:40:07 craunts795335385 joins (~craunts@152.32.99.2)
11:45:36 exa1 is now known as [exa]
11:45:42 × [exa] quits (~exa@2001:15e8:110:7d00::117) (Changing host)
11:45:42 [exa] joins (~exa@user/exa/x-3587197)
11:54:30 × lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
11:57:49 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 245 seconds)
11:59:50 pavonia joins (~user@user/siracusa)
12:03:31 × califax quits (~califax@user/califx) (Remote host closed the connection)
12:04:26 califax joins (~califax@user/califx)
12:16:47 arandombit joins (~arandombi@user/arandombit)
12:28:26 × haskellbridge quits (~hackager@96.28.224.214) (Read error: Connection reset by peer)
12:34:22 haskellbridge joins (~hackager@96.28.224.214)
12:34:22 ChanServ sets mode +v haskellbridge
12:34:23 × haskellbridge quits (~hackager@96.28.224.214) (Read error: Connection reset by peer)
12:40:28 haskellbridge joins (~hackager@96.28.224.214)
12:40:28 ChanServ sets mode +v haskellbridge
12:51:00 × haskellbridge quits (~hackager@96.28.224.214) (Read error: Connection reset by peer)
12:56:33 haskellbridge joins (~hackager@96.28.224.214)
12:56:33 ChanServ sets mode +v haskellbridge
12:56:50 × karenw quits (~karenw@user/karenw) (Ping timeout: 245 seconds)
12:56:50 × haskellbridge quits (~hackager@96.28.224.214) (Read error: Connection reset by peer)
12:58:48 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
12:59:57 × skum quits (~skum@user/skum) (Quit: WeeChat 4.8.2)
13:01:55 skum joins (~skum@user/skum)
13:02:38 haskellbridge joins (~hackager@96.28.224.214)
13:02:38 ChanServ sets mode +v haskellbridge
13:03:13 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
13:14:41 tremon joins (~tremon@83.80.159.219)
13:20:28 × elarks quits (~elarks@user/yerrii) (Quit: WeeChat 4.7.1)
13:23:42 × somemathguy quits (~somemathg@user/somemathguy) (Ping timeout: 255 seconds)
13:23:53 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds)
13:24:47 × czan quits (~czan@user/mange) (Quit: Zzz...)
13:24:50 elarks joins (~elarks@user/yerrii)
13:29:58 AlexNoo joins (~AlexNoo@178.34.151.138)
13:30:20 × olivial quits (~benjaminl@user/benjaminl) (Remote host closed the connection)
13:37:28 × haskellbridge quits (~hackager@96.28.224.214) (Read error: Connection reset by peer)
13:40:24 haskellbridge joins (~hackager@96.28.224.214)
13:40:24 ChanServ sets mode +v haskellbridge
13:48:58 × haskellbridge quits (~hackager@96.28.224.214) (Read error: Connection reset by peer)
13:54:49 haskellbridge joins (~hackager@96.28.224.214)
13:54:49 ChanServ sets mode +v haskellbridge
13:59:36 somemathguy joins (~somemathg@user/somemathguy)
14:02:08 × haskellbridge quits (~hackager@96.28.224.214) (Read error: Connection reset by peer)
14:04:25 <[exa]> Say I have a tiny package ecosystem (quite similar to e.g. selda, with most versions somewhat synchronized) -- is it more encourageable or agreeable to the community to keep it in a monorepo (like selda does, see https://github.com/valderman/selda) or force split it to repos?
14:07:35 haskellbridge joins (~hackager@96.28.224.214)
14:07:35 ChanServ sets mode +v haskellbridge
14:14:39 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
14:19:14 CiaoSen joins (~Jura@p549cb690.dip0.t-ipconnect.de)
14:21:18 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
14:22:24 × juri_ quits (~juri@217-114-215-140.pool.ovpn.com) (Ping timeout: 245 seconds)
14:27:28 target_i joins (~target_i@user/target-i/x-6023099)
14:31:53 Pozyomka joins (~pyon@user/pyon)
14:32:41 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
14:34:35 juri_ joins (~juri@217-114-215-140.pool.ovpn.com)
14:35:04 polykernel_ joins (~polykerne@user/polykernel)
14:35:24 × polykernel quits (~polykerne@user/polykernel) (Ping timeout: 246 seconds)
14:35:24 polykernel_ is now known as polykernel
14:37:31 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
14:38:56 × urdh quits (~urdh@user/urdh) (Quit: Boom!)
14:39:11 urdh joins (~urdh@user/urdh)
14:39:30 AlexZenon joins (~alzenon@178.34.151.138)
14:46:03 × AlexZenon quits (~alzenon@178.34.151.138) (Ping timeout: 255 seconds)
14:47:17 DetourNe- joins (~DetourNet@user/DetourNetworkUK)
14:47:36 × madresch quits (~Thunderbi@user/madresch) (Quit: madresch)
14:47:36 × DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer)
14:47:48 madresch joins (~Thunderbi@user/madresch)
14:48:05 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
14:49:33 DetourNe- is now known as DetourNetworkUK
14:50:09 AlexZenon joins (~alzenon@178.34.151.138)
14:53:07 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
14:55:20 × CiaoSen quits (~Jura@p549cb690.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
14:56:51 × AlexZenon quits (~alzenon@178.34.151.138) (Ping timeout: 255 seconds)
15:01:42 AlexZenon joins (~alzenon@178.34.151.138)
15:03:28 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
15:07:40 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
15:17:50 × tusko quits (~uwu@user/tusko) (Ping timeout: 258 seconds)
15:18:23 × Pixi quits (~Pixi@user/pixi) (Quit: Leaving)
15:18:49 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
15:19:54 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
15:22:55 karenw joins (~karenw@user/karenw)
15:23:14 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
15:24:16 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 244 seconds)
15:26:13 Pixi joins (~Pixi@user/pixi)
15:28:07 pfc joins (~pfc@user/pfc)
15:29:41 × haskellbridge quits (~hackager@96.28.224.214) (Read error: Connection reset by peer)
15:30:50 × pfc quits (~pfc@user/pfc) (Remote host closed the connection)
15:34:12 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
15:34:53 machinedgod joins (~machinedg@d172-219-48-230.abhsia.telus.net)
15:35:22 haskellbridge joins (~hackager@96.28.224.214)
15:35:22 ChanServ sets mode +v haskellbridge
15:35:55 × pera quits (~pera@user/pera) (Quit: Lost terminal)
15:37:11 × finsternis quits (~X@23.226.237.192) (Ping timeout: 244 seconds)
15:38:44 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
15:42:49 × machinedgod quits (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 245 seconds)
15:48:29 finsternis joins (~X@23.226.237.192)
15:49:36 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
15:54:11 × hiecaq quits (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2))
15:56:43 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
15:59:35 × Fijxu_ quits (~Fijxu@user/fijxu) (Quit: XD!!)
16:02:24 Fijxu joins (~Fijxu@user/fijxu)
16:05:18 × somemathguy quits (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1)
16:07:38 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
16:11:41 <monochrom> gentauro: lines produces a lazy list.
16:12:37 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
16:16:37 <monochrom> [exa]: https://github.com/haskell/cabal/ is an example of hosting multiple packages "from the same makers": Cabal, cabal-install, etc.
16:17:28 <monochrom> Conversely, the ekmettverse is multiple repos, almost one per package. :)
16:19:47 pfc joins (~pfc@user/pfc)
16:22:49 × Pozyomka quits (~pyon@user/pyon) (Quit: bbl)
16:23:00 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
16:23:24 <gentauro> monochrom: do you know how to "force" `unlines . logic . lines` to be strict again?
16:24:07 <gentauro> perhaps https://hackage-content.haskell.org/package/base-4.22.0.0/docs/Prelude.html#v:foldl-39-
16:24:29 peterbecich joins (~Thunderbi@71.84.33.135)
16:25:14 haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
16:25:14 × haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
16:25:14 haritz joins (~hrtz@user/haritz)
16:25:15 <monochrom> There is no benefit in forcing the final list. (Even forcing the input list from I/O has only marginal benefit at a great cost.) But you can always slap on a deepseq/rnf.
16:27:29 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
16:29:55 GdeVolpi1 joins (~GdeVolpia@user/GdeVolpiano)
16:31:16 × GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 276 seconds)
16:32:14 <gentauro> monochrom: good to know
16:32:48 × GdeVolpi1 quits (~GdeVolpia@user/GdeVolpiano) (Client Quit)
16:33:07 GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano)
16:38:23 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
16:43:03 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
16:53:46 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
16:56:17 arandombit joins (~arandombi@2a02:2455:8656:7100:782a:d2c8:5dcd:2fcd)
16:56:17 × arandombit quits (~arandombi@2a02:2455:8656:7100:782a:d2c8:5dcd:2fcd) (Changing host)
16:56:17 arandombit joins (~arandombi@user/arandombit)
16:58:31 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
17:04:21 × madresch quits (~Thunderbi@user/madresch) (Quit: madresch)
17:04:26 madresch1 joins (~Thunderbi@user/madresch)
17:06:52 madresch1 is now known as madresch
17:07:33 × peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 268 seconds)
17:07:41 acidjnk_new joins (~acidjnk@p200300d6e700e5897990f2dadae1a5eb.dip0.t-ipconnect.de)
17:09:09 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
17:13:39 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
17:24:31 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
17:27:39 Pozyomka joins (~pyon@user/pyon)
17:29:53 Alex_delenda_est joins (~al_test@178.34.151.138)
17:31:09 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
17:41:05 × img quits (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in)
17:42:20 img joins (~img@user/img)
17:42:33 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
17:47:11 Sgeo joins (~Sgeo@user/sgeo)
17:47:21 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
17:57:56 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
18:00:04 <[exa]> gentauro: what's the input of `lines` btw in your case? (suspecting `interact` or `getContents`?)
18:00:49 <[exa]> monochrom: oh wow I didn't notice cabal does the same. I guess I can refer to that as good practices in case anyone complains. :D
18:00:54 <[exa]> monochrom: thanks :)
18:02:42 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
18:14:27 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
18:18:28 <gentauro> [exa]: a text file. If a flag is enabled (line-numer) I will prepend the line number to each of the lines.
18:18:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
18:20:09 <[exa]> gentauro: oh I meant what you use to read it from the file
18:29:50 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
18:34:43 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
18:36:19 × emmanuelux quits (~em@user/emmanuelux) (Ping timeout: 264 seconds)
18:37:31 emmanuelux joins (~em@user/emmanuelux)
18:45:13 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
18:49:57 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
19:00:36 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
19:07:25 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
19:08:25 wootehfoot joins (~wootehfoo@user/wootehfoot)
19:09:00 <gentauro> [exa]: this -> https://gitlab.com/a-gent/a-gent/-/blob/main/src/Agent/IO/Restricted.hs?ref_type=heads#L700 (had the snippet from somewhere)
19:09:26 <gentauro> by requuesting lenght, it forces to read all lines
19:10:14 gentauro just build simplex-chat tui from github repo and they seem to have been inspired by my code. No longer `wacko` stuff when typing (Y)
19:16:45 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving)
19:18:39 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
19:23:43 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
19:34:01 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
19:34:16 emmanuelux_ joins (~em@58.106.204.77.rev.sfr.net)
19:34:51 × emmanuelux quits (~em@user/emmanuelux) (Ping timeout: 244 seconds)
19:36:01 wootehfoot joins (~wootehfoo@user/wootehfoot)
19:38:33 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
19:43:46 × emmanuelux_ quits (~em@58.106.204.77.rev.sfr.net) (Ping timeout: 248 seconds)
19:47:25 emmanuelux joins (~em@user/emmanuelux)
19:47:47 × karenw quits (~karenw@user/karenw) (Quit: Deep into that darkness peering...)
19:49:23 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
19:49:28 × arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection)
19:51:48 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds)
19:52:44 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
19:53:33 Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
19:53:33 × YoungFrog quits (~youngfrog@2a02:a03f:ca07:f900:3fe2:e4cd:e195:6341) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in)
19:53:51 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
20:02:19 rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca)
20:04:45 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
20:09:36 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
20:15:27 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
20:20:07 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
20:30:49 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
20:34:25 machinedgod joins (~machinedg@d172-219-48-230.abhsia.telus.net)
20:35:15 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
20:39:39 × haskellbridge quits (~hackager@96.28.224.214) (Read error: Connection reset by peer)
20:43:11 haskellbridge joins (~hackager@96.28.224.214)
20:43:11 ChanServ sets mode +v haskellbridge
20:45:51 × haskellbridge quits (~hackager@96.28.224.214) (Read error: Connection reset by peer)
20:46:12 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
20:49:17 haskellbridge joins (~hackager@96.28.224.214)
20:49:17 ChanServ sets mode +v haskellbridge
20:52:52 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
20:53:44 michalz joins (~michalz@185.246.207.203)
20:56:45 <glguy> Why might I be getting "The program 'alex' is required but it could not be found" when I try to install alex? I'm on a mac, I've tried with cabal-3.14 and 3.16, ghc-9.8 and 9.14, and I recently did a cabal update
20:56:52 ChaiTRex joins (~ChaiTRex@user/chaitrex)
20:57:11 <glguy> I found some stuff in tickets about people having this kind of problem in 2014
20:58:43 <glguy> but the answers were that it was fixed in a recent release :)
20:58:44 × haskellbridge quits (~hackager@96.28.224.214) (Read error: Connection reset by peer)
21:04:00 <glguy> https://github.com/haskell/alex/issues/288
21:04:14 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
21:05:22 haskellbridge joins (~hackager@96.28.224.214)
21:05:22 ChanServ sets mode +v haskellbridge
21:07:28 × haskellbridge quits (~hackager@96.28.224.214) (Read error: Connection reset by peer)
21:09:00 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
21:13:08 haskellbridge joins (~hackager@96.28.224.214)
21:13:08 ChanServ sets mode +v haskellbridge
21:13:57 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
21:14:09 chexum joins (~quassel@gateway/tor-sasl/chexum)
21:19:36 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
21:21:12 <monochrom> Yeah alex is self-bootstrapping. Many years ago when I didn't use cabal-install, one day I did `make clean`, then `make` failed because you know why. :)
21:24:24 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
21:25:18 Square3 joins (~Square@user/square)
21:30:05 <geekosaur> it's currently broken again (https://github.com/haskell/alex/issues/288)
21:30:20 <geekosaur> mis-generated sdists, apparently
21:30:27 <monochrom> Yeah.
21:30:48 <geekosaur> I'm currently working around it for cabal CI
21:34:57 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
21:39:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
21:42:59 × Tuplanolla quits (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Ping timeout: 244 seconds)
21:43:30 × tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 244 seconds)
21:43:30 × troydm quits (~troydm@user/troydm) (Ping timeout: 244 seconds)
21:43:30 × edwtjo quits (~edwtjo@fsf/member/edwtjo) (Ping timeout: 244 seconds)
21:44:42 troydm joins (~troydm@user/troydm)
21:45:01 edwtjo joins (~edwtjo@h-155-4-52-89.A213.priv.bahnhof.se)
21:45:01 × edwtjo quits (~edwtjo@h-155-4-52-89.A213.priv.bahnhof.se) (Changing host)
21:45:01 edwtjo joins (~edwtjo@fsf/member/edwtjo)
21:50:19 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
21:54:49 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
21:56:54 tomboy64 joins (~tomboy64@user/tomboy64)
21:56:57 Tuplanolla joins (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi)
22:05:43 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
22:10:12 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
22:12:59 Square2 joins (~Square@user/square)
22:15:24 × Square3 quits (~Square@user/square) (Ping timeout: 256 seconds)
22:18:07 × ursa-major quits (114efe6c39@2a03:6000:1812:100::11f3) (Ping timeout: 244 seconds)
22:18:07 × thenightmail quits (~thenightm@user/thenightmail) (Ping timeout: 244 seconds)
22:18:07 × alethkit quits (23bd17ddc6@sourcehut/user/alethkit) (Ping timeout: 244 seconds)
22:18:38 × eso quits (a0662dfd5e@2a03:6000:1812:100::1266) (Ping timeout: 244 seconds)
22:19:02 thenightmail joins (~thenightm@user/thenightmail)
22:19:10 × tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 244 seconds)
22:20:11 × troydm quits (~troydm@user/troydm) (Ping timeout: 244 seconds)
22:20:28 ursa-major joins (114efe6c39@2a03:6000:1812:100::11f3)
22:20:29 alethkit joins (23bd17ddc6@sourcehut/user/alethkit)
22:20:41 eso joins (a0662dfd5e@2a03:6000:1812:100::1266)
22:27:01 <statusbot> Maintenance update: hackage will be down for an update. -- http://status.haskell.org/pages/maintenance/537c07b0cf1fad5830000093/69bf12605962000a23bc3bf1
22:32:59 tomboy64 joins (~tomboy64@user/tomboy64)
22:33:08 × Guest62t quits (~Guest62t@p200300ca8f1b5500dd5e1591f848ed88.dip0.t-ipconnect.de) (Quit: Client closed)
22:34:46 troydm joins (~troydm@user/troydm)
22:35:10 × Tuplanolla quits (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Ping timeout: 244 seconds)
22:36:28 × michalz quits (~michalz@185.246.207.203) (Remote host closed the connection)
22:38:01 <statusbot> Maintenance update: Hackage is back operational. -- http://status.haskell.org/pages/maintenance/537c07b0cf1fad5830000093/69bf12605962000a23bc3bf1
22:45:11 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
22:49:01 Tuplanolla joins (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi)
22:49:48 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
22:52:30 × takuan_dozo quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 268 seconds)
22:56:12 × haskellbridge quits (~hackager@96.28.224.214) (Read error: Connection reset by peer)
22:57:12 × target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving)
22:59:14 haskellbridge joins (~hackager@96.28.224.214)
22:59:14 ChanServ sets mode +v haskellbridge
23:00:33 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
23:00:34 × haskellbridge quits (~hackager@96.28.224.214) (Read error: Connection reset by peer)
23:05:25 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
23:07:00 haskellbridge joins (~hackager@96.28.224.214)
23:07:00 ChanServ sets mode +v haskellbridge
23:17:46 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
23:18:23 × madresch quits (~Thunderbi@user/madresch) (Read error: Connection reset by peer)
23:18:35 madresch joins (~Thunderbi@user/madresch)
23:18:38 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
23:22:15 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
23:23:10 × madresch quits (~Thunderbi@user/madresch) (Read error: Connection reset by peer)
23:23:22 madresch joins (~Thunderbi@user/madresch)
23:25:47 × madresch quits (~Thunderbi@user/madresch) (Read error: Connection reset by peer)
23:25:59 madresch joins (~Thunderbi@user/madresch)
23:26:59 × madresch quits (~Thunderbi@user/madresch) (Read error: Connection reset by peer)
23:27:08 madresch1 joins (~Thunderbi@user/madresch)
23:27:31 × madresch1 quits (~Thunderbi@user/madresch) (Client Quit)
23:33:08 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
23:37:41 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
23:41:21 × hiredman quits (~hiredman@frontier1.downey.family) (Remote host closed the connection)
23:42:31 hiredman joins (~hiredman@frontier1.downey.family)
23:48:37 merijn joins (~merijn@62.45.136.136)
23:53:15 × merijn quits (~merijn@62.45.136.136) (Ping timeout: 255 seconds)

All times are in UTC on 2026-03-21.