| 2025-06-23 00:05:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-23 00:05:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-23 00:06:38 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-23 00:06:56 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2025-06-23 00:10:49 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-06-23 00:11:40 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 276 seconds) |
| 2025-06-23 00:13:21 +0200 | dispater | (~dispater@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-06-23 00:13:22 +0200 | orcus | (~orcus@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-06-23 00:15:05 +0200 | dispater | (~dispater@user/brprice) brprice |
| 2025-06-23 00:15:34 +0200 | orcus | (~orcus@user/brprice) brprice |
| 2025-06-23 00:18:24 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 268 seconds) |
| 2025-06-23 00:19:23 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-06-23 00:32:49 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-06-23 00:33:57 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-06-23 00:33:59 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-06-23 00:46:50 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 2025-06-23 00:46:50 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-06-23 00:47:18 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) hackager |
| 2025-06-23 00:47:18 +0200 | ChanServ | +v haskellbridge |
| 2025-06-23 00:49:47 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection) |
| 2025-06-23 00:49:49 +0200 | jespada | (~jespada@r190-133-49-105.dialup.adsl.anteldata.net.uy) (Ping timeout: 260 seconds) |
| 2025-06-23 00:51:31 +0200 | jespada | (~jespada@r167-61-33-87.dialup.adsl.anteldata.net.uy) jespada |
| 2025-06-23 00:52:42 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-06-23 00:52:46 +0200 | tmciver_ | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-06-23 00:54:16 +0200 | tromp | (~textual@2001:1c00:3487:1b00:3d67:6270:e25f:3cc5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-06-23 00:57:56 +0200 | wbooze | (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) (Quit: Leaving) |
| 2025-06-23 01:00:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-23 01:01:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-23 01:02:08 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-06-23 01:02:45 +0200 | acidjnk | (~acidjnk@p200300d6e70b661750c15e2a18f5d35c.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-06-23 01:08:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-06-23 01:17:01 +0200 | sprotte24 | (~sprotte24@p200300d16f0e3d00d9d0ec515bdfe1f4.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-06-23 01:26:04 +0200 | wbooze | (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) Inline |
| 2025-06-23 01:35:23 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2025-06-23 01:39:34 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-06-23 01:41:33 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2025-06-23 01:43:19 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-06-23 01:48:53 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-06-23 02:03:28 +0200 | jespada | (~jespada@r167-61-33-87.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 2025-06-23 02:11:32 +0200 | tmciver_ | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-06-23 02:12:37 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-06-23 02:15:54 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-06-23 02:20:58 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 2025-06-23 02:22:07 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-06-23 02:23:24 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 244 seconds) |
| 2025-06-23 02:27:31 +0200 | mange | (~mange@user/mange) mange |
| 2025-06-23 02:30:13 +0200 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-06-23 02:31:08 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-23 02:32:10 +0200 | rekahsoft | (~rekahsoft@174.95.4.83) rekahsoft |
| 2025-06-23 02:35:35 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-23 02:36:59 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 2025-06-23 02:38:11 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-06-23 02:38:29 +0200 | Guest0 | (~Guest0@176.140.66.145) |
| 2025-06-23 02:40:52 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-06-23 02:41:36 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-06-23 02:59:29 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-06-23 03:00:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-06-23 03:03:07 +0200 | Guest0 | (~Guest0@176.140.66.145) (Quit: Client closed) |
| 2025-06-23 03:04:50 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-06-23 03:06:19 +0200 | notzmv | (~umar@user/notzmv) (Ping timeout: 260 seconds) |
| 2025-06-23 03:06:57 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 2025-06-23 03:07:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-23 03:07:24 +0200 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-23 03:07:30 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-06-23 03:07:38 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2025-06-23 03:07:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-23 03:13:25 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e2f0:8dab:7117:a113) (Ping timeout: 248 seconds) |
| 2025-06-23 03:18:23 +0200 | wickedjargon | (~user@node-1w7jr9unn02np47211p5af1tx.ipv6.telus.net) wickedjargon |
| 2025-06-23 03:21:29 +0200 | wbooze | (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
| 2025-06-23 03:27:06 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 2025-06-23 03:28:01 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-06-23 03:28:11 +0200 | <hololeap> | how can I get System.Directory.OsPath to talk with System.Posix.Files.PosixString? OsPath can't be coerced into a PosixPath |
| 2025-06-23 03:28:21 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-06-23 03:28:55 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-23 03:29:08 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2025-06-23 03:30:04 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-06-23 03:31:11 +0200 | <hololeap> | specifically, I'd like to feed the output of listDirectory into (traverse getFileStatus) so I can get the FileStatus for an entire directory, for the purpose of knowing which is a directory, symlink, etc |
| 2025-06-23 03:36:24 +0200 | wbooze | (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) Inline |
| 2025-06-23 03:42:18 +0200 | wbooze | (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2025-06-23 03:42:51 +0200 | wbooze | (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) Inline |
| 2025-06-23 03:47:15 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 2025-06-23 03:48:34 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-06-23 03:51:49 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-06-23 03:52:08 +0200 | lutherann | (~micc@user/lutherann) lutherann |
| 2025-06-23 03:52:15 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-06-23 04:06:02 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-23 04:10:29 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 248 seconds) |
| 2025-06-23 04:15:21 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-06-23 04:20:59 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-06-23 04:21:11 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-23 04:21:22 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 268 seconds) |
| 2025-06-23 04:22:48 +0200 | <hololeap> | I figured it out |
| 2025-06-23 04:30:30 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-06-23 04:30:36 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-06-23 04:31:23 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-06-23 04:31:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-06-23 04:32:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-23 04:32:42 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 2025-06-23 04:37:05 +0200 | comonad | (~comonad@p200300d0270a4d00bd2fa57947ace417.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-06-23 04:39:29 +0200 | comonad | (~comonad@p54a0317c.dip0.t-ipconnect.de) |
| 2025-06-23 04:40:43 +0200 | wickedjargon | (~user@node-1w7jr9unn02np47211p5af1tx.ipv6.telus.net) (Remote host closed the connection) |
| 2025-06-23 04:44:08 +0200 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-06-23 04:48:19 +0200 | notzmv | (~umar@user/notzmv) (Ping timeout: 245 seconds) |
| 2025-06-23 04:52:16 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-06-23 04:59:28 +0200 | trickard_ | trickard |
| 2025-06-23 05:05:15 +0200 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-06-23 05:07:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-23 05:09:27 +0200 | wbooze | (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2025-06-23 05:11:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-23 05:18:31 +0200 | aforemny | (~aforemny@i577B12AC.versanet.de) aforemny |
| 2025-06-23 05:19:17 +0200 | aforemny_ | (~aforemny@i577B12E7.versanet.de) (Ping timeout: 248 seconds) |
| 2025-06-23 05:29:26 +0200 | wbooze | (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) Inline |
| 2025-06-23 05:31:34 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-06-23 05:33:32 +0200 | wbooze | inline |
| 2025-06-23 05:35:42 +0200 | inline_ | (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) Inline |
| 2025-06-23 05:36:01 +0200 | inline | wbooze |
| 2025-06-23 05:36:16 +0200 | inline_ | inline |
| 2025-06-23 05:36:20 +0200 | sclv | (sid39734@haskell/developer/sclv) (Ping timeout: 244 seconds) |
| 2025-06-23 05:37:24 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 260 seconds) |
| 2025-06-23 05:39:47 +0200 | sclv | (sid39734@haskell/developer/sclv) sclv |
| 2025-06-23 05:42:17 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-23 05:44:29 +0200 | <mange> | What did you do to get it working? |
| 2025-06-23 05:44:33 +0200 | notzmv | (~umar@user/notzmv) (Ping timeout: 276 seconds) |
| 2025-06-23 05:45:37 +0200 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-06-23 05:46:26 +0200 | <EvanR> | the solution classically exists |
| 2025-06-23 05:46:57 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-06-23 05:57:06 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-23 06:01:56 +0200 | <mauke> | use either System.Directory.listDirectory + System.Posix.Files.getSymbolicLinkStatus (both FilePath) or System.Directory.OsPath.listDirectory + ystem.Directory.Internal.getSymbolicLinkMetadata (both OsPath) |
| 2025-06-23 06:05:06 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-06-23 06:07:52 +0200 | notzmv | (~umar@user/notzmv) (Ping timeout: 276 seconds) |
| 2025-06-23 06:08:56 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-06-23 06:16:57 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-06-23 06:18:02 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-06-23 06:20:17 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-06-23 06:21:44 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-06-23 06:27:00 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-06-23 06:30:05 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 260 seconds) |
| 2025-06-23 06:38:16 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 2025-06-23 06:39:33 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-06-23 06:40:18 +0200 | rekahsoft | (~rekahsoft@174.95.4.83) (Remote host closed the connection) |
| 2025-06-23 06:42:23 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-06-23 06:47:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-23 06:48:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-23 06:49:33 +0200 | tdammers | (~tdammers@110-136-178-143.ftth.glasoperator.nl) (Ping timeout: 276 seconds) |
| 2025-06-23 06:51:13 +0200 | michalz | (~michalz@185.246.207.201) |
| 2025-06-23 06:57:54 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 2025-06-23 06:59:07 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-06-23 07:03:29 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-06-23 07:10:25 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) HarveyPwca |
| 2025-06-23 07:10:30 +0200 | michalz_ | (~michalz@185.246.207.203) |
| 2025-06-23 07:12:11 +0200 | michalz | (~michalz@185.246.207.201) (Ping timeout: 265 seconds) |
| 2025-06-23 07:18:28 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-23 07:28:37 +0200 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-23 07:28:52 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2025-06-23 07:39:29 +0200 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-06-23 07:42:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-23 07:53:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-23 07:58:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-23 07:59:23 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 2025-06-23 08:00:48 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-06-23 08:05:34 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-23 08:05:48 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2025-06-23 08:15:24 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 2025-06-23 08:16:24 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-06-23 08:18:22 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-23 08:29:31 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
| 2025-06-23 08:32:02 +0200 | Square | (~Square@user/square) Square |
| 2025-06-23 08:33:41 +0200 | ThePenguin | (~ThePengui@cust-95-80-31-242.csbnet.se) (Remote host closed the connection) |
| 2025-06-23 08:35:33 +0200 | ThePenguin | (~ThePengui@cust-95-80-31-242.csbnet.se) ThePenguin |
| 2025-06-23 08:39:10 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 2025-06-23 08:41:20 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection) |
| 2025-06-23 08:41:39 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) flukiluke |
| 2025-06-23 08:45:34 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-06-23 08:47:09 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-06-23 08:47:17 +0200 | ft | (~ft@p3e9bcab0.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-06-23 08:48:05 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-06-23 08:49:58 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-06-23 08:51:53 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-06-23 08:52:41 +0200 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-06-23 08:54:35 +0200 | trickard_ | trickard |
| 2025-06-23 08:57:13 +0200 | kenran | (~void@user/kenran) kenran |
| 2025-06-23 08:58:29 +0200 | ThePenguin | (~ThePengui@cust-95-80-31-242.csbnet.se) (Remote host closed the connection) |
| 2025-06-23 09:00:02 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-06-23 09:00:16 +0200 | ThePenguin | (~ThePengui@cust-95-80-31-242.csbnet.se) ThePenguin |
| 2025-06-23 09:00:50 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-06-23 09:01:02 +0200 | kenran | (~void@user/kenran) (Remote host closed the connection) |
| 2025-06-23 09:01:09 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-06-23 09:02:32 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-06-23 09:02:52 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 265 seconds) |
| 2025-06-23 09:02:53 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-23 09:03:27 +0200 | ThePenguin | (~ThePengui@cust-95-80-31-242.csbnet.se) (Remote host closed the connection) |
| 2025-06-23 09:04:59 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-06-23 09:05:51 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-06-23 09:06:41 +0200 | ThePenguin | (~ThePengui@cust-95-80-31-242.csbnet.se) ThePenguin |
| 2025-06-23 09:11:33 +0200 | tromp | (~textual@2001:1c00:3487:1b00:3d67:6270:e25f:3cc5) |
| 2025-06-23 09:18:46 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-06-23 09:21:20 +0200 | soverysour | (~soverysou@84.232.150.229) |
| 2025-06-23 09:21:20 +0200 | soverysour | (~soverysou@84.232.150.229) (Changing host) |
| 2025-06-23 09:21:20 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
| 2025-06-23 09:21:55 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: Leaving) |
| 2025-06-23 09:23:57 +0200 | acidjnk | (~acidjnk@p200300d6e70b661750c15e2a18f5d35c.dip0.t-ipconnect.de) acidjnk |
| 2025-06-23 09:24:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-23 09:24:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-23 09:26:50 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-06-23 09:32:36 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-06-23 09:36:35 +0200 | <haskellbridge> | <magic_rb> Im making a presentation for my thesis and i want to include something scary at the end, whats the most complex practical type signature you can think of? Lenses are complex but also done to hell, so something new perhaps |
| 2025-06-23 09:38:12 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-06-23 09:41:28 +0200 | <yin> | magic_rb: would a type error do the trick? |
| 2025-06-23 09:43:59 +0200 | <tomsmeding> | magic_rb: https://git.tomsmeding.com/chad-fast/tree/src/Simplify.hs#n461 |
| 2025-06-23 09:50:04 +0200 | <haskellbridge> | <magic_rb> Type error? Sure if it looks scary :P |
| 2025-06-23 09:50:08 +0200 | <haskellbridge> | <magic_rb> And thanks tom :) |
| 2025-06-23 09:50:31 +0200 | <tomsmeding> | I was convinced accelerate had some scary types but can't find any noe |
| 2025-06-23 09:50:33 +0200 | <tomsmeding> | *now |
| 2025-06-23 09:52:39 +0200 | <tomsmeding> | magic_rb: apparently this has been in accelerate at some point https://tomsmeding.com/vang/pPEUWn/Untitled.png |
| 2025-06-23 09:53:31 +0200 | <dutchie> | https://hackage.haskell.org/package/servant-0.20.2/docs/src/Servant.Links.html#line-459 |
| 2025-06-23 09:53:42 +0200 | <dutchie> | if you don't mind an instance declaration rather than a function |
| 2025-06-23 09:56:00 +0200 | <tomsmeding> | oh if just long constraint lists already count then https://github.com/ivogabe/accelerate/blob/new-pipeline/src/Data/Array/Accelerate/Trafo.hs#L90 |
| 2025-06-23 09:57:36 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-06-23 10:01:40 +0200 | hsw | (~hsw@106.104.103.23) (Remote host closed the connection) |
| 2025-06-23 10:01:58 +0200 | hsw | (~hsw@106.104.103.23) hsw |
| 2025-06-23 10:06:28 +0200 | <dutchie> | f -> String is a bit boring after all the constraints though |
| 2025-06-23 10:06:52 +0200 | <tomsmeding> | it is |
| 2025-06-23 10:25:26 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-06-23 10:26:09 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-06-23 10:26:25 +0200 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2025-06-23 10:26:39 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-06-23 10:30:06 +0200 | dhil | (~dhil@5.151.29.140) dhil |
| 2025-06-23 10:30:19 +0200 | piele | (~piele@eiseth.creativeserver.net) (Ping timeout: 252 seconds) |
| 2025-06-23 10:31:07 +0200 | tromp | (~textual@2001:1c00:3487:1b00:3d67:6270:e25f:3cc5) (Ping timeout: 276 seconds) |
| 2025-06-23 10:31:55 +0200 | piele | (~piele@eiseth.creativeserver.net) |
| 2025-06-23 10:38:31 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
