Logs: liberachat/#haskell
| 2025-10-12 04:29:51 | × | trickard_ quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-12 04:30:05 | → | trickard_ joins (~trickard@cpe-58-98-47-163.wireline.com.au) |
| 2025-10-12 04:30:07 | × | peterbecich quits (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-10-12 04:32:04 | → | poscat joins (~poscat@user/poscat) |
| 2025-10-12 04:33:46 | → | rvalue joins (~rvalue@about/hackers/rvalue) |
| 2025-10-12 04:37:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-12 04:43:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-12 04:47:54 | × | dsal quits (sid13060@id-13060.lymington.irccloud.com) (Server closed connection) |
| 2025-10-12 04:48:08 | → | dsal joins (sid13060@id-13060.lymington.irccloud.com) |
| 2025-10-12 04:53:29 | → | peterbecich joins (~Thunderbi@syn-172-222-148-214.res.spectrum.com) |
| 2025-10-12 04:53:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-12 04:58:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-12 05:07:25 | → | Pozyomka joins (~pyon@user/pyon) |
| 2025-10-12 05:09:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-12 05:14:44 | → | bgg joins (~bgg@2a01:e0a:819:1510:7d40:1de6:27b6:4e40) |
| 2025-10-12 05:16:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-12 05:16:12 | × | peterbecich quits (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-10-12 05:18:44 | × | probie quits (cc0b34050a@user/probie) (Server closed connection) |
| 2025-10-12 05:18:53 | → | probie joins (cc0b34050a@user/probie) |
| 2025-10-12 05:20:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-12 05:23:44 | × | arcadewise quits (52968ed80d@2a03:6000:1812:100::3df) (Server closed connection) |
| 2025-10-12 05:23:53 | → | arcadewise joins (52968ed80d@2a03:6000:1812:100::3df) |
| 2025-10-12 05:25:26 | <dcpagan> | I'm really peeved because I finished a Red-Black tree in Haskell, and Exercism isn't accepting it because I split 900 lines into multiple modules. |
| 2025-10-12 05:25:40 | <dcpagan> | I even wrote property tests verifying that the red-black invariants hold. |
| 2025-10-12 05:25:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-12 05:25:54 | <dcpagan> | Check it out: https://github.com/DCPagan/Exercism-Haskell/tree/master/custom-set |
| 2025-10-12 05:26:15 | <dcpagan> | I wrote a zipper monad and everything. |
| 2025-10-12 05:26:32 | <dcpagan> | Damn it, Exercism. |
| 2025-10-12 05:27:51 | <dcpagan> | My comments even reference Chris Okasaki's whitepapers and CLRS to clarify the algorithms. |
| 2025-10-12 05:29:34 | × | duncan quits (c6181279e3@user/meow/duncan) (Server closed connection) |
| 2025-10-12 05:29:44 | → | duncan joins (c6181279e3@user/meow/duncan) |
| 2025-10-12 05:31:02 | × | bliminse quits (~bliminse@user/bliminse) (Quit: Lost terminal) |
| 2025-10-12 05:35:01 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-10-12 05:36:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-12 05:39:52 | × | tritlo quits (sid58727@id-58727.hampstead.irccloud.com) (Ping timeout: 244 seconds) |
| 2025-10-12 05:40:08 | → | bliminse joins (~bliminse@user/bliminse) |
| 2025-10-12 05:41:10 | × | vetkat quits (~vetkat@user/vetkat) (Read error: Connection reset by peer) |
| 2025-10-12 05:41:30 | → | vetkat joins (~vetkat@user/vetkat) |
| 2025-10-12 05:42:28 | → | tritlo joins (sid58727@id-58727.hampstead.irccloud.com) |
| 2025-10-12 05:43:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-12 05:54:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-12 05:59:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-12 06:01:54 | × | sam113101 quits (~sam@modemcable200.189-202-24.mc.videotron.ca) (Remote host closed the connection) |
| 2025-10-12 06:01:54 | × | synchromesh quits (~john@2406:5a00:2412:2c00:d475:2d01:e02a:8ce4) (Read error: Connection reset by peer) |
| 2025-10-12 06:02:17 | → | sam113101 joins (~sam@modemcable200.189-202-24.mc.videotron.ca) |
| 2025-10-12 06:02:54 | × | Kamuela quits (sid111576@id-111576.tinside.irccloud.com) (Server closed connection) |
| 2025-10-12 06:03:05 | → | Kamuela joins (sid111576@id-111576.tinside.irccloud.com) |
| 2025-10-12 06:03:07 | → | synchromesh joins (~john@2406:5a00:2412:2c00:94c0:b471:5a7e:6f3a) |
| 2025-10-12 06:10:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-12 06:15:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-12 06:20:24 | × | jkoshy quits (99b9359beb@user/jkoshy) (Server closed connection) |
| 2025-10-12 06:20:32 | → | jkoshy joins (99b9359beb@user/jkoshy) |
| 2025-10-12 06:25:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-12 06:26:38 | <Franciman> | thanks sm, it was exactly what i was looking for |
| 2025-10-12 06:30:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-12 06:39:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-12 06:40:25 | × | craunts795335 quits (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-12 06:44:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-12 06:45:03 | <[exa]> | dcpagan: exercism isn't ready for haskell |
| 2025-10-12 06:45:24 | × | tnks quits (sid412124@id-412124.helmsley.irccloud.com) (Server closed connection) |
| 2025-10-12 06:45:35 | → | tnks joins (sid412124@id-412124.helmsley.irccloud.com) |
| 2025-10-12 06:46:32 | <dcpagan> | exa: I can see that; the projects of the Haskell track configure Stack to use an LTS resolver from 5 years ago; I'm stuck on GHC v9.2.7 and HLS v2.0.0.1. |
| 2025-10-12 06:46:46 | <[exa]> | dcpagan: btw I'd say there'd be uses for this for people who need custom balanced trees |
| 2025-10-12 06:47:25 | <[exa]> | last time I needed some stupid tree with special info cached for subtrees and had to whip it up myself |
| 2025-10-12 06:47:32 | <dcpagan> | I just updated my code; I found out that two recolors in the CLRS algorithm RB-DELETE-FIXUP are redundant. |
| 2025-10-12 06:48:39 | <dcpagan> | Who needs parent references to be updated with every branch transplant when there I have the zipper monad? |
| 2025-10-12 06:48:50 | <[exa]> | true. |
| 2025-10-12 06:48:52 | <dcpagan> | Who needs sibling references to be updated with every rotate when I have lenses? |
| 2025-10-12 06:49:18 | <[exa]> | throw it at hackage :) |
| 2025-10-12 06:55:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-12 07:00:00 | × | caconym747879 quits (~caconym@user/caconym) (Quit: bye) |
| 2025-10-12 07:00:41 | → | caconym747879 joins (~caconym@user/caconym) |
| 2025-10-12 07:02:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-12 07:04:43 | → | tt12310978324354 joins (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) |
| 2025-10-12 07:11:42 | × | trickard_ quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-10-12 07:12:07 | → | trickard_ joins (~trickard@cpe-58-98-47-163.wireline.com.au) |
| 2025-10-12 07:13:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-12 07:16:35 | → | tromp joins (~textual@2001:1c00:3487:1b00:f86b:2618:bf3:3b08) |
| 2025-10-12 07:17:20 | <dcpagan> | I just found out how to submit multiple modules for an exercism solution: https://exercism.org/tracks/haskell/exercises/custom-set/solutions/DCPagan |
| 2025-10-12 07:18:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-12 07:29:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-12 07:29:34 | × | septimi quits (9f60f4cb70@user/septimi) (Server closed connection) |
| 2025-10-12 07:29:43 | → | septimi joins (9f60f4cb70@user/septimi) |
| 2025-10-12 07:32:49 | <[exa]> | o great |
| 2025-10-12 07:32:58 | → | srazkvt joins (~sarah@user/srazkvt) |
| 2025-10-12 07:34:23 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-12 07:40:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-12 07:41:59 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 2025-10-12 07:46:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-12 07:56:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-12 07:57:04 | × | orcus quits (~orcus@user/brprice) (Server closed connection) |
| 2025-10-12 07:57:23 | → | orcus joins (~orcus@user/brprice) |
| 2025-10-12 08:01:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-12 08:02:34 | → | acidjnk joins (~acidjnk@p200300d6e717191975703e7db5c33433.dip0.t-ipconnect.de) |
| 2025-10-12 08:02:41 | → | cr00k joins (~cr00k@user/cr00k) |
| 2025-10-12 08:03:32 | × | trickard_ quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-12 08:12:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-12 08:13:06 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-10-12 08:14:18 | → | trickard_ joins (~trickard@cpe-58-98-47-163.wireline.com.au) |
| 2025-10-12 08:17:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
All times are in UTC.