Logs on 2025-04-12 (liberachat/#haskell)
| 00:03:01 | × | acidjnk_new quits (~acidjnk@p200300d6e71c4f3781d551119ad8c4a9.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 00:04:21 | × | jespada quits (~jespada@r179-25-2-204.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 00:08:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:13:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 00:22:03 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 00:23:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:25:52 | × | prolic_ quits (~sasa@181.122.135.9) (Remote host closed the connection) |
| 00:28:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 00:32:34 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 00:34:05 | → | califax joins (~califax@user/califx) |
| 00:39:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:44:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 00:52:12 | × | euleritian quits (~euleritia@dynamic-176-006-132-211.176.6.pool.telefonica.de) (Remote host closed the connection) |
| 00:53:04 | → | euleritian joins (~euleritia@dynamic-176-006-132-211.176.6.pool.telefonica.de) |
| 00:55:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:57:13 | × | otto_s quits (~user@p5de2fd33.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 00:58:25 | → | otto_s joins (~user@p4ff27f53.dip0.t-ipconnect.de) |
| 01:01:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 01:11:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:16:05 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 01:27:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:27:12 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 01:32:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 01:42:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:47:39 | × | ZLima12 quits (~zlima12@user/meow/ZLima12) (Remote host closed the connection) |
| 01:48:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 01:48:48 | → | ZLima12 joins (~zlima12@user/meow/ZLima12) |
| 01:52:34 | → | hgolden joins (~hgolden@2603:8000:9d00:3ed1:3b70:92ea:2801:fe90) |
| 01:57:04 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 01:58:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:00:24 | × | hgolden quits (~hgolden@2603:8000:9d00:3ed1:3b70:92ea:2801:fe90) (Remote host closed the connection) |
| 02:03:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 02:14:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:15:22 | × | nek0 quits (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 02:15:56 | → | myxokephale joins (~myxos@172.93.132.85) |
| 02:17:34 | × | myxos quits (~myxos@syn-065-028-251-121.res.spectrum.com) (Ping timeout: 260 seconds) |
| 02:18:38 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 02:18:46 | → | j1n37- joins (~j1n37@user/j1n37) |
| 02:19:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 02:32:19 | → | myxos joins (~myxos@syn-065-028-251-121.res.spectrum.com) |
| 02:34:04 | × | myxokephale quits (~myxos@172.93.132.85) (Ping timeout: 276 seconds) |
| 02:40:29 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 02:45:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:46:29 | × | euleritian quits (~euleritia@dynamic-176-006-132-211.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 02:47:22 | → | euleritian joins (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 02:50:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 02:54:37 | → | nek0 joins (~nek0@user/nek0) |
| 02:59:06 | × | notdabs quits (~Owner@2600:1700:69cf:9000:a8ba:1089:2e3e:b3d1) (Read error: Connection reset by peer) |
| 03:00:24 | → | hgolden joins (~hgolden@2603:8000:9d00:3ed1:3b70:92ea:2801:fe90) |
| 03:00:52 | <haskellbridge> | <Liamzee> why doesn't this get passed around much these days? https://www.cs.rice.edu/~javaplt/411/24-spring/Readings/WhyFunctionalProrammingMattered.pdf |
| 03:01:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:03:22 | <geekosaur> | nobody wants to hear it |
| 03:06:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 03:10:40 | → | dottily joins (~user@user/dottily) |
| 03:15:46 | <EvanR> | and the filename was misspelled |
| 03:16:46 | <haskellbridge> | <Liamzee> the link's mistitled |
| 03:16:47 | <haskellbridge> | <Liamzee> https://academic.oup.com/nsr/article/2/3/349/1427872 |
| 03:17:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:17:39 | <haskellbridge> | <Liamzee> Since it's more John Hughes' student alongside John Hughes seemingly running an update to Why Functional Programming Matters |
| 03:18:44 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 03:18:49 | <haskellbridge> | <Liamzee> Well, not really. I guess the title just sucks, otherwise it'd probably be passed around more. |
| 03:19:51 | <EvanR> | promoting stuff, even good stuff, gets tiring |
| 03:20:00 | <EvanR> | especially if you're not paid to do it |
| 03:22:20 | <haskellbridge> | <Liamzee> I mean in reference to the fact that I see the original Why Functional Programming Matters paper around more. But w/e, not here to annoy. |
| 03:22:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 03:23:07 | → | hiecaq joins (~hiecaq@user/hiecaq) |
| 03:25:18 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 03:33:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:35:28 | → | ludihan joins (~ludihan@189.36.207.182) |
| 03:38:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 03:44:55 | × | dutchie quits (~dutchie@user/dutchie) (Remote host closed the connection) |
| 03:45:57 | → | dutchie joins (~dutchie@user/dutchie) |
| 03:46:44 | → | aforemny_ joins (~aforemny@2001:9e8:6cd3:8d00:395c:e354:5e4c:23ac) |
| 03:46:59 | × | aforemny quits (~aforemny@2001:9e8:6cf4:300:5306:52f:8502:4ee0) (Ping timeout: 260 seconds) |
| 03:49:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:53:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 03:58:16 | × | ludihan quits (~ludihan@189.36.207.182) (Quit: ludihan) |
| 04:03:07 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 04:04:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:10:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 04:12:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:16:07 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Ping timeout: 276 seconds) |
| 04:17:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 04:28:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:33:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 04:35:19 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 04:39:08 | × | euleritian quits (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 04:39:46 | → | euleritian joins (~euleritia@dynamic-176-006-132-211.176.6.pool.telefonica.de) |
| 04:42:45 | × | j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 04:43:55 | → | j1n37 joins (~j1n37@user/j1n37) |
| 04:44:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:49:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 04:59:07 | → | Garbanzo joins (~Garbanzo@2602:304:6eac:dc10::2e) |
| 04:59:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:04:17 | → | inca joins (~inca@71.30.233.213) |
| 05:04:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:09:32 | × | inca quits (~inca@71.30.233.213) (Ping timeout: 268 seconds) |
| 05:15:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:20:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 05:22:41 | → | harveypwca joins (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) |
| 05:23:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:28:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 05:29:28 | × | arahael quits (~arahael@user/arahael) (Ping timeout: 244 seconds) |
| 05:37:55 | × | euleritian quits (~euleritia@dynamic-176-006-132-211.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 05:38:13 | → | euleritian joins (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 05:39:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:44:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 05:51:01 | × | euleritian quits (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 05:51:20 | → | euleritian joins (~euleritia@dynamic-176-006-132-211.176.6.pool.telefonica.de) |
| 05:52:46 | × | euleritian quits (~euleritia@dynamic-176-006-132-211.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 05:52:50 | × | hgolden quits (~hgolden@2603:8000:9d00:3ed1:3b70:92ea:2801:fe90) (Remote host closed the connection) |
| 05:53:04 | → | euleritian joins (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 05:55:19 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 05:55:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:59:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 06:10:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:18:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 06:29:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:33:54 | → | hgolden joins (~hgolden@2603:8000:9d00:3ed1:3b70:92ea:2801:fe90) |
| 06:34:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 06:35:15 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.1) |
| 06:45:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:47:34 | → | rvalue- joins (~rvalue@user/rvalue) |
| 06:48:24 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 260 seconds) |
| 06:50:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 06:52:23 | rvalue- | is now known as rvalue |
| 06:59:08 | → | acidjnk_new joins (~acidjnk@p200300d6e71c4f37896c69e30b3a7fdf.dip0.t-ipconnect.de) |
| 06:59:21 | → | j1n37- joins (~j1n37@user/j1n37) |
| 06:59:55 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 07:00:01 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:16 | × | JamesMowery17 quits (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye) |
| 07:00:33 | → | JamesMowery17 joins (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) |
| 07:00:48 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Ping timeout: 264 seconds) |
| 07:00:53 | → | caconym joins (~caconym@user/caconym) |
| 07:01:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:03:02 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 07:04:53 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 07:06:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 07:06:48 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 07:09:39 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 07:13:42 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 07:14:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:18:10 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 260 seconds) |
| 07:18:19 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 07:19:00 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 07:19:04 | × | jrm quits (~jrm@user/jrm) (Quit: ciao) |
| 07:19:27 | → | jrm joins (~jrm@user/jrm) |
| 07:19:42 | Lord_of_Life_ | is now known as Lord_of_Life |
| 07:19:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 07:30:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:34:23 | × | sayurc quits (~sayurc@169.150.203.34) (Quit: Konversation terminated!) |
| 07:35:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 07:38:55 | × | acidjnk_new quits (~acidjnk@p200300d6e71c4f37896c69e30b3a7fdf.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 07:46:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:50:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 07:52:15 | × | harveypwca quits (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
| 08:01:00 | → | fp1 joins (~Thunderbi@hof1.kyla.fi) |
| 08:01:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:06:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 08:11:30 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 08:11:31 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:15:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:21:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 08:21:56 | × | emojelly quits (~eselber_p@user/endojelly) (Ping timeout: 268 seconds) |
| 08:31:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:31:57 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 08:34:28 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 252 seconds) |
| 08:36:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 08:44:04 | × | hiecaq quits (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 08:44:53 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 08:47:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:49:12 | × | fp1 quits (~Thunderbi@hof1.kyla.fi) (Ping timeout: 244 seconds) |
| 08:49:26 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 08:53:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 08:56:20 | → | acidjnk_new joins (~acidjnk@p200300d6e71c4f12896c69e30b3a7fdf.dip0.t-ipconnect.de) |
| 09:03:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:10:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 09:15:06 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 09:16:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:19:14 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 09:21:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 09:32:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:35:24 | × | raym quits (~ray@user/raym) (Quit: kernel update, rebooting...) |
| 09:37:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 09:39:34 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 09:45:45 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 276 seconds) |
| 09:46:10 | → | jco joins (~jco@78-70-217-44-no600.tbcn.telia.com) |
| 09:48:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:53:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 09:56:42 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 10:00:16 | → | __monty__ joins (~toonn@user/toonn) |
| 10:01:44 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 10:04:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:08:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 10:13:07 | <haskellbridge> | <hellwolf> FP matters to whom it might concern. |
| 10:13:24 | <haskellbridge> | <hellwolf> Though, it seems no longer a concern to the vibe coding generation. |
| 10:14:05 | <haskellbridge> | <thirdofmay18081814goya> is there a package out there that has all the stuff in the datatypes a la carte paper already written out for us? |
| 10:14:31 | <haskellbridge> | <thirdofmay18081814goya> the subsignature class and instances mostly |
| 10:15:49 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 10:17:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:19:08 | × | euleritian quits (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 10:19:48 | → | gmg joins (~user@user/gehmehgeh) |
| 10:21:00 | → | [dpk] joins (~dpk@jains.nonceword.org) |
| 10:21:49 | → | euleritian joins (~euleritia@dynamic-176-006-141-248.176.6.pool.telefonica.de) |
| 10:21:50 | × | dpk quits (~dpk@jains.nonceword.org) (Ping timeout: 252 seconds) |
| 10:21:54 | × | astroanax quits (~astroanax@cosmic.voyage) (Ping timeout: 252 seconds) |
| 10:22:13 | × | euleritian quits (~euleritia@dynamic-176-006-141-248.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 10:22:16 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 10:22:19 | → | astroanax joins (~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7) |
| 10:22:31 | → | euleritian joins (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 10:22:38 | × | ski quits (~ski@remote11.chalmers.se) (Ping timeout: 252 seconds) |
| 10:22:40 | → | rvalue joins (~rvalue@user/rvalue) |
| 10:22:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 10:22:52 | → | ski joins (~ski@remote11.chalmers.se) |
| 10:24:42 | → | carburetant joins (~dottily@user/dottily) |
| 10:25:02 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 10:28:26 | [dpk] | is now known as dpk |
| 10:29:29 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 10:33:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:38:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 10:42:53 | → | sprotte24 joins (~sprotte24@p200300d16f06d10029108a248c300455.dip0.t-ipconnect.de) |
| 10:49:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:51:58 | × | euleritian quits (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 10:52:12 | → | euleritian joins (~euleritia@dynamic-176-006-141-248.176.6.pool.telefonica.de) |
| 10:54:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 11:00:04 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 11:00:37 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 248 seconds) |
| 11:02:11 | → | caconym joins (~caconym@user/caconym) |
| 11:02:11 | → | jespada joins (~jespada@r179-25-2-204.dialup.adsl.anteldata.net.uy) |
| 11:04:41 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 11:05:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:10:06 | → | inca joins (~inca@71.30.233.213) |
| 11:10:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 11:13:08 | → | weary-traveler joins (~user@user/user363627) |
| 11:14:48 | × | inca quits (~inca@71.30.233.213) (Ping timeout: 252 seconds) |
| 11:18:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:23:32 | <hellwolf> | I crashed GHC again, having done that too often lately. |
| 11:23:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 11:25:13 | <tomsmeding> | worth reporting the crash? |
| 11:25:27 | × | sprotte24 quits (~sprotte24@p200300d16f06d10029108a248c300455.dip0.t-ipconnect.de) (Quit: Leaving) |
| 11:25:41 | <hellwolf> | need to check if it was due to my fault. But I don't think I used unsafe feature here. |
| 11:25:57 | <tomsmeding> | using things like unsafePerformIO should not crash _GHC_, typically |
| 11:26:14 | <tomsmeding> | though I have made GHC emit invalid assembly at some point with unsafeCoerce# |
| 11:26:26 | <hellwolf> | yea, but I haven't even used that. I did use Overlappable |
| 11:26:41 | <tomsmeding> | that should _definitely_ not crash GHC |
| 11:26:59 | <tomsmeding> | what's the crash report? |
| 11:27:35 | <hellwolf> | segfault :D |
| 11:27:47 | <hellwolf> | oh, not GHC crashing, the runtime rather. I am sorry. |
| 11:27:51 | <tomsmeding> | oh. |
| 11:28:17 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 11:28:22 | <tomsmeding> | still, a haskell program segfaulting should only happen if you used some C code via FFI |
| 11:28:30 | <tomsmeding> | or unsafeCoerce |
| 11:28:48 | <tomsmeding> | overlappable type class instances should not be bad enough for that |
| 11:28:51 | → | rvalue joins (~rvalue@user/rvalue) |
| 11:31:27 | → | hiecaq joins (~hiecaq@user/hiecaq) |
| 11:34:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:39:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 11:40:53 | <hellwolf> | it was my fault. I do have one place with unsafeCoerce. |
| 11:41:00 | <hellwolf> | very subtle. |
| 11:44:09 | <tomsmeding> | nice :) |
| 11:48:04 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 11:57:12 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 12:03:34 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 272 seconds) |
| 12:05:27 | <hellwolf> | no, I don't have such a unsafeCoerce. I am confused. |
| 12:05:36 | <hellwolf> | something is fishy... I will investigate more. |
| 12:05:45 | <hellwolf> | could be interesting. |
| 12:06:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:07:47 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 12:08:14 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 12:09:24 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 12:13:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 12:14:50 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
| 12:18:48 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 12:19:09 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 12:19:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:24:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 12:34:38 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds) |
| 12:34:40 | × | acidjnk_new quits (~acidjnk@p200300d6e71c4f12896c69e30b3a7fdf.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 12:35:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:40:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 12:51:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:56:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 13:07:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:07:27 | → | j1n37 joins (~j1n37@user/j1n37) |
| 13:09:07 | × | j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 13:09:13 | → | acidjnk_new joins (~acidjnk@p200300d6e71c4f12896c69e30b3a7fdf.dip0.t-ipconnect.de) |
| 13:10:42 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 13:11:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 13:11:56 | catties | is now known as Catty |
| 13:15:42 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 276 seconds) |
| 13:20:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:23:05 | → | tabaqui joins (~tabaqui@167.71.80.236) |
| 13:23:28 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 13:24:24 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 13:25:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 13:29:57 | → | srazkvt joins (~sarah@user/srazkvt) |
| 13:32:44 | × | jco quits (~jco@78-70-217-44-no600.tbcn.telia.com) (Remote host closed the connection) |
| 13:36:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:44:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 13:47:42 | × | tabaqui quits (~tabaqui@167.71.80.236) (Ping timeout: 252 seconds) |
| 13:51:41 | → | notdabs joins (~Owner@2600:1700:69cf:9000:9c0e:3384:b3dd:3798) |
| 13:53:06 | × | jespada quits (~jespada@r179-25-2-204.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 13:54:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:55:57 | × | biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 13:56:23 | × | divya quits (divya@140.238.251.170) (Ping timeout: 252 seconds) |
| 13:58:11 | → | jespada joins (~jespada@r179-25-2-204.dialup.adsl.anteldata.net.uy) |
| 13:59:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 14:02:14 | → | divya joins (divya@140.238.251.170) |
| 14:04:37 | × | acidjnk_new quits (~acidjnk@p200300d6e71c4f12896c69e30b3a7fdf.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 14:09:45 | → | michals joins (~michals@dynamic-2a00-1028-838a-582e-1fea-709e-7606-44f4.ipv6.o2.cz) |
| 14:10:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:10:30 | × | michals quits (~michals@dynamic-2a00-1028-838a-582e-1fea-709e-7606-44f4.ipv6.o2.cz) (Client Quit) |
| 14:15:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 14:18:36 | → | j1n37- joins (~j1n37@user/j1n37) |
| 14:18:50 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 14:21:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:27:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 14:37:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:42:36 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 14:42:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 14:51:31 | <feetwind> | you can get segfaults with lots of functions that are tantalisingly close at hand, like unsafeIndex from array/vector |
| 14:51:49 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
| 14:53:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:54:57 | → | acidjnk_new joins (~acidjnk@p200300d6e71c4f1254b4b0d3bf20cc26.dip0.t-ipconnect.de) |
| 14:58:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 15:05:28 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 276 seconds) |
| 15:09:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:12:11 | × | xdej quits (~xdej@quatramaran.salle-s.org) (Remote host closed the connection) |
| 15:14:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 15:22:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:29:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 15:31:38 | tabemann_ | is now known as tabemann |
| 15:32:05 | × | mulk quits (~mulk@pd95149c0.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 15:41:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:46:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 15:47:11 | × | tired quits (~tired@user/tired) (Remote host closed the connection) |
| 15:48:26 | → | tired joins (~tired@user/tired) |
| 15:55:31 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 15:56:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:57:01 | × | tired quits (~tired@user/tired) (Remote host closed the connection) |
| 15:58:14 | → | tired joins (~tired@user/tired) |
| 16:01:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 16:03:22 | → | sprotte24 joins (~sprotte24@p200300d16f06d10029108a248c300455.dip0.t-ipconnect.de) |
| 16:12:22 | → | tabaqui joins (~tabaqui@167.71.80.236) |
| 16:12:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:17:32 | → | robobub joins (uid248673@id-248673.uxbridge.irccloud.com) |
| 16:17:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 16:23:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:23:59 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 16:25:36 | × | tired quits (~tired@user/tired) (Quit: /) |
| 16:28:29 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 16:28:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 16:30:52 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.6.0) |
| 16:31:10 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 16:36:32 | × | acidjnk_new quits (~acidjnk@p200300d6e71c4f1254b4b0d3bf20cc26.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 16:37:55 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 16:38:38 | → | gmg joins (~user@user/gehmehgeh) |
| 16:39:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:42:17 | → | j1n37 joins (~j1n37@user/j1n37) |
| 16:43:09 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 16:43:24 | × | j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 16:44:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 16:55:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:00:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 17:08:13 | → | jacopovalanzano joins (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) |
| 17:10:16 | × | jespada quits (~jespada@r179-25-2-204.dialup.adsl.anteldata.net.uy) (Ping timeout: 276 seconds) |
| 17:10:32 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 17:10:40 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:11:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:15:37 | × | Pozyomka quits (~pyon@user/pyon) (Quit: WeeChat 4.6.0) |
| 17:18:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 17:24:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:25:14 | → | mulk joins (~mulk@pd95149c0.dip0.t-ipconnect.de) |
| 17:25:52 | × | euleritian quits (~euleritia@dynamic-176-006-141-248.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 17:26:21 | → | euleritian joins (~euleritia@dynamic-176-006-141-248.176.6.pool.telefonica.de) |
| 17:27:10 | → | jespada joins (~jespada@r190-133-42-141.dialup.adsl.anteldata.net.uy) |
| 17:29:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 17:37:00 | → | ludihan joins (~ludihan@189.36.207.182) |
| 17:37:17 | <hellwolf> | "ErrorWithoutFlag Can't find interface-file declaration for type constructor or class" |
| 17:37:30 | <hellwolf> | I isolated to a very small changeset: this is the run-time error I got. |
| 17:38:08 | <hellwolf> | but nevermind, I rebuilt everything, it is now okay. |
| 17:39:44 | <hellwolf> | I have some customized built process to speed up things, using packagedb built by cabal; I do notice sometimes I create issues with it, but usually as linker errors. This time is worse, it linked, but runtime failed. |
| 17:40:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:40:43 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 17:42:22 | × | hgolden quits (~hgolden@2603:8000:9d00:3ed1:3b70:92ea:2801:fe90) (Remote host closed the connection) |
| 17:45:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 17:46:08 | → | pera joins (~pera@user/pera) |
| 17:46:16 | × | pera quits (~pera@user/pera) (Client Quit) |
| 17:55:20 | → | Pozyomka joins (~pyon@user/pyon) |
| 17:56:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:58:41 | → | tired joins (~tired@user/tired) |
| 17:58:56 | Square2 | is now known as Square |
| 18:01:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 18:02:01 | × | ludihan quits (~ludihan@189.36.207.182) (Quit: ludihan) |
| 18:12:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:17:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 18:18:15 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 18:25:16 | → | enjoythem joins (~userx@180.242.71.235) |
| 18:25:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:25:54 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 18:28:59 | × | jespada quits (~jespada@r190-133-42-141.dialup.adsl.anteldata.net.uy) (Ping timeout: 260 seconds) |
| 18:29:28 | × | enjoythem quits (~userx@180.242.71.235) (Quit: WeeChat 3.5) |
| 18:30:03 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 18:30:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 18:34:15 | → | kanijo27 joins (~kanijo27@208.115.237.186) |
| 18:34:49 | × | srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 18:35:44 | × | kanijo27 quits (~kanijo27@208.115.237.186) (Client Quit) |
| 18:41:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:48:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 18:51:06 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 18:54:00 | → | sayurc joins (~sayurc@169.150.203.34) |
| 18:59:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:00:05 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:37 | → | aforemny joins (~aforemny@2001:9e8:6cd9:c500:3214:96fc:c5d9:25f4) |
| 19:00:46 | × | aforemny_ quits (~aforemny@2001:9e8:6cd3:8d00:395c:e354:5e4c:23ac) (Ping timeout: 276 seconds) |
| 19:00:48 | → | caconym joins (~caconym@user/caconym) |
| 19:01:07 | → | acidjnk_new joins (~acidjnk@p200300d6e71c4f1280c5cc93734c0928.dip0.t-ipconnect.de) |
| 19:02:07 | → | inca joins (~inca@71.30.233.213) |
| 19:04:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 19:11:49 | × | inca quits (~inca@71.30.233.213) (Ping timeout: 248 seconds) |
| 19:14:14 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 19:15:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:19:48 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
| 19:20:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 19:26:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:26:47 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 19:31:35 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 19:31:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 19:34:13 | × | aforemny quits (~aforemny@2001:9e8:6cd9:c500:3214:96fc:c5d9:25f4) (Ping timeout: 248 seconds) |
| 19:35:26 | → | aforemny joins (~aforemny@2001:9e8:6cd9:f900:ab6f:ff57:4715:5eec) |
| 19:36:40 | → | tromp joins (~textual@2001:1c00:3487:1b00:487e:9276:386d:4033) |
| 19:39:13 | → | inca joins (~inca@71.30.233.213) |
| 19:42:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:45:16 | × | euleritian quits (~euleritia@dynamic-176-006-141-248.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 19:45:35 | → | euleritian joins (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 19:47:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 19:50:45 | → | weary-traveler joins (~user@user/user363627) |
| 19:59:01 | × | inca quits (~inca@71.30.233.213) (Ping timeout: 244 seconds) |
| 20:10:18 | × | tromp quits (~textual@2001:1c00:3487:1b00:487e:9276:386d:4033) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:11:50 | × | AlexZenon quits (~alzenon@178.34.160.239) (Ping timeout: 265 seconds) |
| 20:12:03 | × | AlexNoo quits (~AlexNoo@178.34.160.239) (Ping timeout: 245 seconds) |
| 20:12:19 | → | AlexNoo joins (~AlexNoo@94.233.240.249) |
| 20:13:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:16:05 | → | AlexZenon joins (~alzenon@94.233.240.249) |
| 20:18:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 20:20:47 | × | jacopovalanzano quits (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Quit: Client closed) |
| 20:28:02 | → | inca joins (~inca@71.30.233.213) |
| 20:29:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:29:38 | → | todi joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 20:30:30 | → | pavonia joins (~user@user/siracusa) |
| 20:30:48 | → | sayurc_ joins (~sayurc@177.136.41.195) |
| 20:31:31 | → | raym joins (~ray@user/raym) |
| 20:32:08 | × | sayurc quits (~sayurc@169.150.203.34) (Ping timeout: 272 seconds) |
| 20:32:48 | × | raym quits (~ray@user/raym) (Read error: Connection reset by peer) |
| 20:32:49 | → | tromp joins (~textual@2001:1c00:3487:1b00:487e:9276:386d:4033) |
| 20:33:44 | → | Square2 joins (~Square4@user/square) |
| 20:34:36 | × | tabaqui quits (~tabaqui@167.71.80.236) (Ping timeout: 252 seconds) |
| 20:36:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 20:36:46 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 20:36:58 | × | Square quits (~Square@user/square) (Ping timeout: 265 seconds) |
| 20:38:09 | → | raym joins (~ray@user/raym) |
| 20:38:55 | Square2 | is now known as Square |
| 20:47:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:51:22 | × | tromp quits (~textual@2001:1c00:3487:1b00:487e:9276:386d:4033) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:52:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 20:54:04 | → | tromp joins (~textual@2001:1c00:3487:1b00:487e:9276:386d:4033) |
| 20:56:06 | → | hgolden joins (~hgolden@2603:8000:9d00:3ed1:3b70:92ea:2801:fe90) |
| 20:59:32 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 21:02:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:05:27 | × | inca quits (~inca@71.30.233.213) (Ping timeout: 244 seconds) |
| 21:05:53 | × | tromp quits (~textual@2001:1c00:3487:1b00:487e:9276:386d:4033) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:06:36 | → | jinsun joins (~jinsun@user/jinsun) |
| 21:07:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 21:14:21 | → | tromp joins (~textual@2001:1c00:3487:1b00:487e:9276:386d:4033) |
| 21:18:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:18:44 | × | OftenFaded quits (~OftenFade@user/tisktisk) (Quit: OftenFaded) |
| 21:19:21 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 21:21:00 | <[exa]> | Is there any good way to have multiple independent "groups" of options parsed by optparse-applicative? I'd love to have something that allows people to specify a group of hostnames with some optional extras (non-default ports etc). |
| 21:22:56 | <[exa]> | E.g. for a commandline like `./myprogram hostname1 -p 12345 hostname2 hostname3 hostname4 --do-this` I'd get something like this in pseudohaskell: [(hostname1, port=12345), (hostname2), (hostname3), (hostname4, this=True)] |
| 21:23:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 21:24:50 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
| 21:26:33 | <[exa]> | (whew, kinda wondering if `many . subparser` would just work) |
| 21:27:38 | → | ludihan joins (~ludihan@189.36.207.182) |
| 21:32:01 | → | inca joins (~inca@71.30.233.213) |
| 21:32:30 | <[exa]> | ok wow it works literally by type tetris, thanks for rubberducking everyone |
| 21:34:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:35:14 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:36:59 | → | werneta joins (~werneta@syn-071-083-160-242.res.spectrum.com) |
| 21:38:28 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 21:39:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 21:40:47 | <monochrom> | That's an interesting trick. |
| 21:47:44 | × | doyougnu quits (~doyougnu@syn-045-046-170-068.res.spectrum.com) (Ping timeout: 260 seconds) |
| 21:49:55 | → | doyougnu joins (~doyougnu@syn-045-046-170-068.res.spectrum.com) |
| 21:49:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:55:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 21:57:21 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 22:00:04 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 22:00:46 | → | gmg joins (~user@user/gehmehgeh) |
| 22:01:57 | <[exa]> | monochrom: I should probably ask if it works by accident, I can't find any docs that would say it should work |
| 22:05:28 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 22:05:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:05:59 | × | tromp quits (~textual@2001:1c00:3487:1b00:487e:9276:386d:4033) (Ping timeout: 260 seconds) |
| 22:06:01 | × | inca quits (~inca@71.30.233.213) (Ping timeout: 276 seconds) |
| 22:06:08 | → | gmg joins (~user@user/gehmehgeh) |
| 22:07:38 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 22:10:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 22:17:53 | × | ludihan quits (~ludihan@189.36.207.182) (Quit: ludihan) |
| 22:21:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:24:44 | <haskellbridge> | <Liamzee> do you know if anyone ever uses stuff like this? |
| 22:24:44 | <haskellbridge> | <Liamzee> https://miracuves.com/upwork-clone/ |
| 22:24:44 | <haskellbridge> | <Liamzee> if someone made a foss version and put it up on github / hackage, would anyone ever use it? |
| 22:25:31 | × | aforemny quits (~aforemny@2001:9e8:6cd9:f900:ab6f:ff57:4715:5eec) (Ping timeout: 276 seconds) |
| 22:26:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 22:29:28 | → | ludihan joins (~ludihan@189.36.207.182) |
| 22:29:53 | <geekosaur> | depends on how widely you advertise it, I'd guess |
| 22:31:59 | <geekosaur> | actually, now that I've actually looked at it, it could probably be done FOSS but it smells of consultantware so you'd best be ready to provide lots of support |
| 22:32:54 | <geekosaur> | and, uh, anyone that is willing to put that much effort into it generally doesn't want to release their source code |
| 22:34:22 | <haskellbridge> | <Liamzee> thanks geekosaur, hope you're doing alright |
| 22:34:49 | <haskellbridge> | <Liamzee> geekosaur: because I care about a related project but would likely have an anxiety attack if i focused on the related project |
| 22:34:54 | <geekosaur> | hand's still playing up, will probably have to contact orthopedics Monday |
| 22:35:00 | <haskellbridge> | <Liamzee> so make a dumber, simpler project as foss |
| 22:35:03 | <haskellbridge> | <Liamzee> sorry to hear, geekosaur |
| 22:35:18 | <geekosaur> | flip side, at least I can type now |
| 22:36:05 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 22:36:15 | <geekosaur> | but not being able to hold stuff between fingers and thumb is kinda a big thing 😞 |
| 22:37:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:37:25 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 22:37:56 | → | rvalue joins (~rvalue@user/rvalue) |
| 22:40:19 | <haskellbridge> | <Liamzee> oh, i'm so sorry to hear |
| 22:40:28 | <haskellbridge> | <Liamzee> and thanks for the implicit warning |
| 22:40:53 | <haskellbridge> | <Liamzee> my pinky got hurt by a bike accident, then my cat bit the wrong part, so i'm wondering if it'll go |
| 22:41:17 | <haskellbridge> | <Liamzee> will see a doc for it |
| 22:42:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:42:56 | <geekosaur> | yeh. hope you're up on your dtap |
| 22:43:41 | <geekosaur> | oh right, swapped for adults, tdap |
| 22:49:30 | × | tired quits (~tired@user/tired) (Remote host closed the connection) |
| 22:53:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:55:30 | → | tired joins (~tired@user/tired) |
| 22:55:38 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 22:58:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 22:59:26 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
| 23:01:42 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 23:04:09 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 23:04:31 | × | euleritian quits (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 23:08:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:13:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 23:19:33 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 276 seconds) |
| 23:24:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:27:16 | → | inca joins (~inca@71.30.233.213) |
| 23:29:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 23:33:46 | × | inca quits (~inca@71.30.233.213) (Ping timeout: 276 seconds) |
| 23:35:05 | → | j1n37- joins (~j1n37@user/j1n37) |
| 23:35:17 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 23:35:59 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 23:38:00 | × | ludihan quits (~ludihan@189.36.207.182) (Quit: ludihan) |
| 23:40:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:41:39 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 23:45:36 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 23:46:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 23:50:46 | × | inca quits (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
| 23:52:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:57:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 23:58:29 | → | inca joins (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
All times are in UTC on 2025-04-12.