| 2024-11-15 00:03:08 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-11-15 00:16:40 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-11-15 00:17:40 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-11-15 00:21:22 +0000 | xff0x | (~xff0x@2405:6580:b080:900:4913:54f9:72cb:8a89) (Ping timeout: 272 seconds) |
| 2024-11-15 00:22:45 +0000 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 2024-11-15 00:23:00 +0000 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2024-11-15 00:24:54 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2024-11-15 00:27:02 +0000 | nek0 | (~nek0@user/nek0) nek0 |
| 2024-11-15 00:32:02 +0000 | arahael_ | (~arahael@user/arahael) (Quit: leaving) |
| 2024-11-15 00:33:28 +0000 | sprotte24 | (~sprotte24@p200300d16f0f4e0080b9b718c313bb1e.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2024-11-15 00:36:24 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2024-11-15 00:46:42 +0000 | ethantwardy | (user@user/ethantwardy) (Quit: WeeChat 4.3.2) |
| 2024-11-15 00:48:33 +0000 | ethantwardy | (user@user/ethantwardy) ethantwardy |
| 2024-11-15 00:51:08 +0000 | alp | (~alp@2001:861:e3d6:8f80:c18:bc99:f25e:38cc) (Ping timeout: 272 seconds) |
| 2024-11-15 01:05:03 +0000 | Everything | (~Everythin@178-133-104-20.mobile.vf-ua.net) (Quit: leaving) |
| 2024-11-15 01:09:11 +0000 | alp | (~alp@2001:861:e3d6:8f80:27d1:e3a6:13db:a305) |
| 2024-11-15 01:10:35 +0000 | alp | (~alp@2001:861:e3d6:8f80:27d1:e3a6:13db:a305) (Remote host closed the connection) |
| 2024-11-15 01:10:52 +0000 | alp | (~alp@2001:861:e3d6:8f80:ecc8:3a9b:3201:3089) |
| 2024-11-15 01:12:35 +0000 | alp_ | (~alp@2001:861:e3d6:8f80:930e:6baf:301:3217) |
| 2024-11-15 01:12:43 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2024-11-15 01:13:10 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-11-15 01:13:59 +0000 | alp_ | (~alp@2001:861:e3d6:8f80:930e:6baf:301:3217) (Remote host closed the connection) |
| 2024-11-15 01:14:17 +0000 | alp_ | (~alp@2001:861:e3d6:8f80:8d4c:7c75:d4ee:bfcd) |
| 2024-11-15 01:15:41 +0000 | alp | (~alp@2001:861:e3d6:8f80:ecc8:3a9b:3201:3089) (Ping timeout: 252 seconds) |
| 2024-11-15 01:15:41 +0000 | alp_ | (~alp@2001:861:e3d6:8f80:8d4c:7c75:d4ee:bfcd) (Remote host closed the connection) |
| 2024-11-15 01:15:53 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-11-15 01:15:59 +0000 | alp_ | (~alp@2001:861:e3d6:8f80:eef7:e614:608:329d) |
| 2024-11-15 01:17:43 +0000 | alp__ | (~alp@2001:861:e3d6:8f80:8a02:58bc:ff74:ebde) |
| 2024-11-15 01:19:06 +0000 | alp__ | (~alp@2001:861:e3d6:8f80:8a02:58bc:ff74:ebde) (Remote host closed the connection) |
| 2024-11-15 01:19:23 +0000 | alp__ | (~alp@2001:861:e3d6:8f80:c055:8587:ecce:9a27) |
| 2024-11-15 01:20:49 +0000 | alp_ | (~alp@2001:861:e3d6:8f80:eef7:e614:608:329d) (Ping timeout: 252 seconds) |
| 2024-11-15 01:21:06 +0000 | alp_ | (~alp@2001:861:e3d6:8f80:143c:a0ab:970d:2678) |
| 2024-11-15 01:24:15 +0000 | alp__ | (~alp@2001:861:e3d6:8f80:c055:8587:ecce:9a27) (Ping timeout: 246 seconds) |
| 2024-11-15 01:26:00 +0000 | alp_ | (~alp@2001:861:e3d6:8f80:143c:a0ab:970d:2678) (Ping timeout: 246 seconds) |
| 2024-11-15 01:36:25 +0000 | divya | (~user@139.5.11.223) (Remote host closed the connection) |
| 2024-11-15 01:41:04 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-11-15 01:41:58 +0000 | ph88 | (~ph88@2a02:8109:9e26:c800:7ee4:dffc:4616:9e2a) (Remote host closed the connection) |
| 2024-11-15 01:44:17 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-11-15 01:44:40 +0000 | m5zs7k | (aquares@web10.mydevil.net) (Quit: m5zs7k) |
| 2024-11-15 01:45:04 +0000 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
| 2024-11-15 01:47:08 +0000 | <zero> | funny how haskell classes inherit the same problem as oop inheritence |
| 2024-11-15 01:47:27 +0000 | <zero> | pun intended i guess |
| 2024-11-15 01:51:19 +0000 | <Axman6> | Multiple (problem) inheritance |
| 2024-11-15 01:52:48 +0000 | <monochrom> | What is the problem? |
| 2024-11-15 01:59:15 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-11-15 02:06:43 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-11-15 02:08:22 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-11-15 02:17:00 +0000 | tabemann | (~tabemann@2600:1700:7990:24e0:17cd:7c4b:64d7:5714) (Read error: Connection reset by peer) |
| 2024-11-15 02:17:14 +0000 | tabemann | (~tabemann@2600:1700:7990:24e0:9f6b:68a6:cce5:e580) |
| 2024-11-15 02:19:08 +0000 | <Axman6> | it makes sorting out the will much more difficult |
| 2024-11-15 02:19:27 +0000 | <monochrom> | haha |
| 2024-11-15 02:25:46 +0000 | Square | (~Square@user/square) Square |
| 2024-11-15 02:29:14 +0000 | <EvanR> | one problem with oop inheritance, usually, is joe schmoe want's his class to inherit from multiple other classes simultaneously. It's a problem either because you aren't allowed to do it, or because you are allowed to do it (e.g. in python) |
| 2024-11-15 02:29:24 +0000 | <EvanR> | not sure how that translates to haskell |
| 2024-11-15 02:29:37 +0000 | jjhoo | (~jahakala@user/jjhoo) (Ping timeout: 248 seconds) |
| 2024-11-15 02:36:00 +0000 | talismanick | (~user@2601:644:937c:ed10::ae5) talismanick |
| 2024-11-15 02:38:38 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-15 02:41:38 +0000 | jjhoo | (~jahakala@user/jjhoo) jjhoo |
| 2024-11-15 03:03:39 +0000 | shapr | (~user@2601:19c:417e:5434:b5b7:a31:f560:51b7) (Quit: sleep) |
| 2024-11-15 03:04:11 +0000 | <sm> | I guess: long chains of dependency make the whole system more brittle ? |
| 2024-11-15 03:05:02 +0000 | <sm> | I don't know about multiple inheritance either but suspect that's the root problem |
| 2024-11-15 03:07:12 +0000 | yisef | (~yisef@122.10.198.17) |
| 2024-11-15 03:07:15 +0000 | <sm> | https://en.wikipedia.org/wiki/Multiple_inheritance#The_diamond_problem |
| 2024-11-15 03:09:57 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 246 seconds) |
| 2024-11-15 03:10:10 +0000 | yisef | (~yisef@122.10.198.17) (Client Quit) |
| 2024-11-15 03:10:28 +0000 | yisef | (~yisef@122.10.198.17) |
| 2024-11-15 03:12:19 +0000 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) hsw |
| 2024-11-15 03:18:51 +0000 | Katarushisu6 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2024-11-15 03:21:07 +0000 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2024-11-15 03:21:07 +0000 | Katarushisu6 | Katarushisu |
| 2024-11-15 03:28:44 +0000 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 244 seconds) |
| 2024-11-15 03:29:27 +0000 | td_ | (~td@i5387092A.versanet.de) (Ping timeout: 252 seconds) |
| 2024-11-15 03:31:06 +0000 | td_ | (~td@i53870902.versanet.de) td_ |
| 2024-11-15 03:39:12 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-11-15 03:48:11 +0000 | <EvanR> | in "type classes vs the world" he shows a slide with a diamond dependency, and basically type classes, nothing bad happens |
| 2024-11-15 03:48:19 +0000 | <EvanR> | s/basically/because/ |
| 2024-11-15 03:49:14 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 2024-11-15 03:49:14 +0000 | <EvanR> | because there's only ever zero or one instances for a given type |
| 2024-11-15 03:49:39 +0000 | <EvanR> | so if you arrive at a dependency along different routes it's the same instance |
| 2024-11-15 03:52:40 +0000 | ShannonB | (~ShannonB@user/ShannonB) ShannonB |
| 2024-11-15 04:04:08 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 265 seconds) |
| 2024-11-15 04:06:30 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-15 04:12:04 +0000 | spew_ | (~spew@201.141.99.170) spew |
| 2024-11-15 04:12:12 +0000 | spew_ | (~spew@201.141.99.170) (Client Quit) |
| 2024-11-15 04:12:21 +0000 | spew_ | (~spew@201.141.99.170) spew |
| 2024-11-15 04:13:24 +0000 | spew_ | (~spew@201.141.99.170) (Client Quit) |
| 2024-11-15 04:22:55 +0000 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-11-15 04:24:10 +0000 | ft | (~ft@p4fc2a26f.dip0.t-ipconnect.de) ft |
| 2024-11-15 04:31:09 +0000 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-15 04:37:15 +0000 | olivial | (~benjaminl@user/benjaminl) (Remote host closed the connection) |
| 2024-11-15 04:37:19 +0000 | aforemny_ | (~aforemny@i59F4C560.versanet.de) (Ping timeout: 260 seconds) |
| 2024-11-15 04:37:28 +0000 | aforemny | (~aforemny@2001:9e8:6cc5:1900:266e:896c:b9aa:a2eb) aforemny |
| 2024-11-15 04:52:26 +0000 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2024-11-15 04:57:53 +0000 | willscripted | (~willscrip@user/willscripted) (Ping timeout: 245 seconds) |
| 2024-11-15 05:03:59 +0000 | alp | (~alp@2001:861:e3d6:8f80:da2e:4149:618:bb33) |
| 2024-11-15 05:05:41 +0000 | alp_ | (~alp@2001:861:e3d6:8f80:d89c:25:af5b:7d7e) |
| 2024-11-15 05:07:23 +0000 | alp__ | (~alp@2001:861:e3d6:8f80:ea76:754b:407f:9e67) |
| 2024-11-15 05:08:38 +0000 | <monochrom> | Multiple implementation inheritance is the problem (even the OO people already know), but it doesn't translate to Haskell. Multiple interface inheritance is well-known to be just fine. |
| 2024-11-15 05:08:46 +0000 | alp__ | (~alp@2001:861:e3d6:8f80:ea76:754b:407f:9e67) (Remote host closed the connection) |
| 2024-11-15 05:08:57 +0000 | alp | (~alp@2001:861:e3d6:8f80:da2e:4149:618:bb33) (Ping timeout: 246 seconds) |
| 2024-11-15 05:09:04 +0000 | alp__ | (~alp@2001:861:e3d6:8f80:8999:178d:724c:ed26) |
| 2024-11-15 05:09:36 +0000 | <monochrom> | OTOH category theory offers a safe kind of diamond inheritance. It's called push out. |
| 2024-11-15 05:09:59 +0000 | <monochrom> | Just that you can't do push outs in C++, that's all. :) |
| 2024-11-15 05:10:29 +0000 | alp__ | (~alp@2001:861:e3d6:8f80:8999:178d:724c:ed26) (Remote host closed the connection) |
| 2024-11-15 05:10:48 +0000 | alp__ | (~alp@2001:861:e3d6:8f80:bf45:d838:789a:be4d) |
| 2024-11-15 05:11:26 +0000 | alp_ | (~alp@2001:861:e3d6:8f80:d89c:25:af5b:7d7e) (Ping timeout: 272 seconds) |
| 2024-11-15 05:12:11 +0000 | alp__ | (~alp@2001:861:e3d6:8f80:bf45:d838:789a:be4d) (Remote host closed the connection) |
| 2024-11-15 05:12:29 +0000 | alp__ | (~alp@2001:861:e3d6:8f80:a950:43a3:4630:597b) |
| 2024-11-15 05:13:36 +0000 | <EvanR> | pushout = multiple inheritance. Got it. And jquery is a monad! |
| 2024-11-15 05:14:10 +0000 | alp_ | (~alp@2001:861:e3d6:8f80:441c:992c:e029:9f42) |
| 2024-11-15 05:14:42 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Remote host closed the connection) |
| 2024-11-15 05:14:59 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-11-15 05:15:35 +0000 | alp_ | (~alp@2001:861:e3d6:8f80:441c:992c:e029:9f42) (Remote host closed the connection) |
| 2024-11-15 05:15:52 +0000 | alp_ | (~alp@2001:861:e3d6:8f80:2a62:6fd6:e732:c038) |
| 2024-11-15 05:17:08 +0000 | alp__ | (~alp@2001:861:e3d6:8f80:a950:43a3:4630:597b) (Ping timeout: 272 seconds) |
| 2024-11-15 05:17:17 +0000 | alp_ | (~alp@2001:861:e3d6:8f80:2a62:6fd6:e732:c038) (Remote host closed the connection) |
| 2024-11-15 05:17:34 +0000 | alp_ | (~alp@2001:861:e3d6:8f80:854c:d0e9:e927:ff1d) |
| 2024-11-15 05:19:18 +0000 | alp__ | (~alp@2001:861:e3d6:8f80:5324:b49a:7cd6:3b97) |
| 2024-11-15 05:21:13 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-11-15 05:22:59 +0000 | alp_ | (~alp@2001:861:e3d6:8f80:854c:d0e9:e927:ff1d) (Ping timeout: 260 seconds) |
| 2024-11-15 05:24:44 +0000 | alp__ | (~alp@2001:861:e3d6:8f80:5324:b49a:7cd6:3b97) (Ping timeout: 260 seconds) |
| 2024-11-15 05:28:39 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-11-15 05:37:24 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
| 2024-11-15 05:37:43 +0000 | berberman | (~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-15 05:38:08 +0000 | berberman | (~berberman@user/berberman) berberman |
| 2024-11-15 05:39:29 +0000 | <monochrom> | haha |
| 2024-11-15 06:03:32 +0000 | michalz | (~michalz@185.246.207.201) |
| 2024-11-15 06:04:58 +0000 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2024-11-15 06:18:14 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-11-15 06:43:09 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2024-11-15 06:43:25 +0000 | Square2 | (~Square4@user/square) Square |
| 2024-11-15 06:51:55 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-11-15 06:59:16 +0000 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-11-15 07:01:14 +0000 | acidjnk | (~acidjnk@p200300d6e7283f969df7e06974b1c1d0.dip0.t-ipconnect.de) acidjnk |
| 2024-11-15 07:06:03 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-15 07:06:15 +0000 | ft | (~ft@p4fc2a26f.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-11-15 07:06:20 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-15 07:17:09 +0000 | bionade24 | (~quassel@2a03:4000:33:45b::1) (Quit: Apocalypse Incoming!) |
| 2024-11-15 07:17:18 +0000 | bionade24 | (~quassel@2a03:4000:33:45b::1) bionade24 |
| 2024-11-15 07:21:41 +0000 | JamesMowery43 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Ping timeout (120 seconds)) |
| 2024-11-15 07:23:22 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-11-15 07:23:42 +0000 | JamesMowery43 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2024-11-15 07:27:25 +0000 | Axma62480 | (~Axman6@user/axman6) Axman6 |
| 2024-11-15 07:28:39 +0000 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 2024-11-15 07:31:46 +0000 | oxide | (~lambda@user/oxide) oxide |
| 2024-11-15 07:33:03 +0000 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2024-11-15 07:35:07 +0000 | Axma62480 | (~Axman6@user/axman6) (Ping timeout: 248 seconds) |
| 2024-11-15 07:38:52 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-11-15 07:42:09 +0000 | alp | (~alp@2001:861:e3d6:8f80:38f:e7ec:8e95:3cb9) |
| 2024-11-15 07:44:48 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-11-15 07:48:13 +0000 | guy | (~guy@188.210.213.53) |
| 2024-11-15 07:48:21 +0000 | <guy> | HELP HELP iv been up all night and have discovered a UFO! |
| 2024-11-15 07:48:27 +0000 | <guy> | its unidentified! |
| 2024-11-15 07:48:33 +0000 | <guy> | its not even a monad! |
| 2024-11-15 07:48:37 +0000 | <guy> | a net is this |
| 2024-11-15 07:49:19 +0000 | <guy> | (m (m a),m a) <-> (m (m a),m a) |
| 2024-11-15 07:49:28 +0000 | <guy> | its like half a monad or something? |
| 2024-11-15 07:49:59 +0000 | <guy> | instead of being contained inside itself (nets as neurons), it can have this extended as itself (this becomes layers) |
| 2024-11-15 07:50:16 +0000 | <guy> | instead of going deep at the contents, you put them in layers and its not a recursion |
| 2024-11-15 07:50:46 +0000 | <guy> | if i had it kind of deep at the neurons anyway, i could always just not do that and add extra layers |
| 2024-11-15 07:51:04 +0000 | <guy> | but i can kind of make a tradeoff and have both worlds, leading to the type above |
| 2024-11-15 07:51:43 +0000 | <guy> | like, not all of the inner (m a) in m (m a) extend the ,m a) its paried with |
| 2024-11-15 07:52:01 +0000 | <guy> | i can like, half do the monad collapse thing |
| 2024-11-15 07:52:03 +0000 | <guy> | !!! |
| 2024-11-15 07:52:05 +0000 | <guy> | night x |
| 2024-11-15 07:52:06 +0000 | guy | (~guy@188.210.213.53) (Client Quit) |
| 2024-11-15 07:53:22 +0000 | ephilalethes | (~noumenon@2001:fb1:48:5708:aa7e:eaff:fede:ff94) noumenon |
| 2024-11-15 08:00:01 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-15 08:00:38 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-15 08:00:40 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-15 08:01:16 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-11-15 08:02:26 +0000 | misterfish | (~misterfis@046044172198.static.ipv4.heldenvannu.net) misterfish |
| 2024-11-15 08:06:06 +0000 | misterfish | (~misterfis@046044172198.static.ipv4.heldenvannu.net) (Read error: Connection reset by peer) |
| 2024-11-15 08:10:18 +0000 | misterfish | (~misterfis@178.229.18.151) misterfish |
| 2024-11-15 08:16:39 +0000 | misterfish | (~misterfis@178.229.18.151) (Ping timeout: 276 seconds) |
| 2024-11-15 08:25:02 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-15 08:34:33 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-11-15 08:50:00 +0000 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-11-15 08:51:24 +0000 | mari-estel | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2024-11-15 08:51:38 +0000 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-11-15 08:57:15 +0000 | mari35246 | (~mari-este@user/mari-estel) mari-estel |
| 2024-11-15 09:00:12 +0000 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 276 seconds) |
| 2024-11-15 09:05:24 +0000 | mari35246 | (~mari-este@user/mari-estel) (Ping timeout: 276 seconds) |
| 2024-11-15 09:08:16 +0000 | ash3en1 | (~Thunderbi@146.70.124.222) ash3en |
| 2024-11-15 09:10:12 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 272 seconds) |
| 2024-11-15 09:10:13 +0000 | ash3en1 | ash3en |
| 2024-11-15 09:10:33 +0000 | kuribas | (~user@ptr-17d51ep701orqnv6ksc.18120a2.ip6.access.telenet.be) |
| 2024-11-15 09:23:35 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-15 09:29:43 +0000 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-11-15 09:39:44 +0000 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) misterfish |
| 2024-11-15 09:40:52 +0000 | chele | (~chele@user/chele) chele |
| 2024-11-15 09:44:31 +0000 | hellwolf | (~user@da7f-daa3-a2f4-21df-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 264 seconds) |
| 2024-11-15 09:46:56 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 272 seconds) |
| 2024-11-15 09:52:50 +0000 | hiredman | (~hiredman@frontier1.downey.family) (Ping timeout: 248 seconds) |
| 2024-11-15 09:54:35 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-11-15 09:58:47 +0000 | ephilalethes | (~noumenon@2001:fb1:48:5708:aa7e:eaff:fede:ff94) (Quit: Leaving) |
| 2024-11-15 09:59:57 +0000 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-11-15 10:00:44 +0000 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2024-11-15 10:01:26 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-15 10:07:43 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-11-15 10:08:03 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-15 10:10:57 +0000 | rdcdr | (~rdcdr@user/rdcdr) (Ping timeout: 252 seconds) |
| 2024-11-15 10:14:19 +0000 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-11-15 10:14:44 +0000 | rdcdr | (~rdcdr@user/rdcdr) rdcdr |
| 2024-11-15 10:25:19 +0000 | ash3en | (~Thunderbi@146.70.124.222) (Ping timeout: 252 seconds) |
| 2024-11-15 10:27:22 +0000 | ubert | (~Thunderbi@178.115.41.15.wireless.dyn.drei.com) ubert |
| 2024-11-15 10:36:35 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2024-11-15 10:41:12 +0000 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 252 seconds) |
| 2024-11-15 10:46:06 +0000 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2024-11-15 10:56:06 +0000 | housemate | (~housemate@146.70.66.228) housemate |
| 2024-11-15 10:58:16 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2024-11-15 11:12:59 +0000 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2024-11-15 11:13:12 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-11-15 11:29:00 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-11-15 11:30:54 +0000 | yisef | (~yisef@122.10.198.17) (Quit: Client closed) |
| 2024-11-15 11:37:04 +0000 | mari-estel | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2024-11-15 11:37:15 +0000 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-11-15 11:38:23 +0000 | Everything | (~Everythin@46.211.81.7) Everything |
| 2024-11-15 11:47:15 +0000 | housemate | (~housemate@146.70.66.228) (Quit: "I saw it in a tiktok video and thought that it was the most smartest answer ever." ~ AnonOps Radio [some time some place] | I AM THE DERIVATIVE I AM GOING TANGENT TO THE CURVE!) |
| 2024-11-15 11:49:11 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-11-15 11:56:31 +0000 | acidjnk | (~acidjnk@p200300d6e7283f969df7e06974b1c1d0.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-11-15 12:18:32 +0000 | acidjnk | (~acidjnk@p200300d6e7283f96ed5529c7a5ccae70.dip0.t-ipconnect.de) acidjnk |
| 2024-11-15 12:20:01 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-15 12:21:36 +0000 | xff0x | (~xff0x@2405:6580:b080:900:8aed:2810:7554:8ad9) |
| 2024-11-15 12:25:49 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-15 12:27:42 +0000 | shapr | (~user@2601:19c:417e:5434:a5bf:c395:f22f:b8c) shapr |
| 2024-11-15 12:27:53 +0000 | housemate | (~housemate@146.70.66.228) housemate |
| 2024-11-15 12:39:10 +0000 | pavonia | (~user@user/siracusa) (Ping timeout: 252 seconds) |
| 2024-11-15 12:41:25 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2024-11-15 12:42:50 +0000 | Everything | (~Everythin@46.211.81.7) (Ping timeout: 252 seconds) |
| 2024-11-15 12:42:56 +0000 | sjkfkhkgj | (~fkdnjgh@188.162.174.19) |
| 2024-11-15 12:43:39 +0000 | housemate | (~housemate@146.70.66.228) (Quit: "I saw it in a tiktok video and thought that it was the most smartest answer ever." ~ AnonOps Radio [some time some place] | I AM THE DERIVATIVE I AM GOING TANGENT TO THE CURVE!) |
| 2024-11-15 12:45:00 +0000 | Everything | (~Everythin@178-133-201-255.mobile.vf-ua.net) Everything |
| 2024-11-15 12:50:29 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-11-15 12:51:04 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-11-15 12:51:44 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3216-94c7-8db0-2496-cb4b-99a5.rev.sfr.net) alexherbo2 |
| 2024-11-15 12:57:11 +0000 | mari-estel | (~mari-este@user/mari-estel) (Quit: on the move) |
| 2024-11-15 12:57:44 +0000 | Digitteknohippie | Digit |
| 2024-11-15 12:58:46 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2024-11-15 12:59:14 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) jespada |
| 2024-11-15 13:03:46 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2024-11-15 13:11:00 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) jespada |
| 2024-11-15 13:11:07 +0000 | mceresa | (~mceresa@user/mceresa) (Remote host closed the connection) |
| 2024-11-15 13:11:58 +0000 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2024-11-15 13:12:43 +0000 | willscripted | (~willscrip@user/willscripted) willscripted |
| 2024-11-15 13:17:37 +0000 | sprotte24 | (~sprotte24@p200300d16f18fc006d951ae7e2c66873.dip0.t-ipconnect.de) |
| 2024-11-15 13:23:17 +0000 | spew | (~spew@135.233.119.40) (Remote host closed the connection) |
| 2024-11-15 13:24:06 +0000 | spew | (~spew@135.233.119.40) spew |
| 2024-11-15 13:30:06 +0000 | mange | (~user@user/mange) (Remote host closed the connection) |
| 2024-11-15 13:31:45 +0000 | <Rembane> | I've been searching Google, Hoogle and asked various dubious AIs and I can't find the answer to the question: Is there a lens version of mapMaybe? If so, what's the name of it? |
| 2024-11-15 13:33:29 +0000 | <probie> | :t mapMaybe |
| 2024-11-15 13:33:30 +0000 | <lambdabot> | (a -> Maybe b) -> [a] -> [b] |
| 2024-11-15 13:36:19 +0000 | <probie> | So you're looking for something like `(some constraints here) => (a -> f (Maybe b)) -> t a -> f (t b)`? |
| 2024-11-15 13:38:07 +0000 | pavonia | (~user@user/siracusa) (Ping timeout: 272 seconds) |
| 2024-11-15 13:39:44 +0000 | <Rembane> | Yeah, that looks reasonable |
| 2024-11-15 13:40:53 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2024-11-15 13:40:54 +0000 | <Leary> | Rembane: `wither`? |
| 2024-11-15 13:41:40 +0000 | <Rembane> | Leary: Fancy! Thank you! |
| 2024-11-15 13:42:06 +0000 | ethantwardy | (user@user/ethantwardy) (Quit: WeeChat 4.3.2) |
| 2024-11-15 13:43:28 +0000 | ethantwardy | (user@user/ethantwardy) ethantwardy |
| 2024-11-15 13:44:07 +0000 | <c_wraith> | Rembane: if you specifically are looking for compatibility with lens, I didn't like the way the witherable package does it. Or other ways I've seen suggested to do it. So I made https://hackage.haskell.org/package/lens-witherable |
| 2024-11-15 13:44:39 +0000 | <Rembane> | c_wraith: Even better. Yes, compatibility is important to me. |
| 2024-11-15 13:47:25 +0000 | hellwolf | (~user@2001:1530:70:545:5239:a298:1329:4b) hellwolf |
| 2024-11-15 13:48:51 +0000 | <Hecate> | 'sup hellwolf :) |
| 2024-11-15 13:49:46 +0000 | <hellwolf> | :) GM Hecate. I couldn't configure my rcirc in emacs for reconnecting after computer shutting down... |
| 2024-11-15 13:55:18 +0000 | pavonia | (~user@user/siracusa) (Ping timeout: 276 seconds) |
| 2024-11-15 13:55:41 +0000 | <Hecate> | :) |
| 2024-11-15 13:56:17 +0000 | <hellwolf> | sorry, after computer coming back from sleep. I didn't make sense. |
| 2024-11-15 13:56:46 +0000 | <hellwolf> | anyways, been a good haskell day? |
| 2024-11-15 13:57:34 +0000 | <Hecate> | yeah, nothing to complain about on this front |
| 2024-11-15 13:57:51 +0000 | <Hecate> | I'm thinking of using one of my FreeBSD servers in the near future as a development macine |
| 2024-11-15 13:57:54 +0000 | <Hecate> | *machine |
| 2024-11-15 13:59:44 +0000 | <hellwolf> | any particular reason? |
| 2024-11-15 14:00:59 +0000 | <Hecate> | 64GB of RAM and a powerful CPU |
| 2024-11-15 14:01:09 +0000 | <Hecate> | also a good thing to use FreeBSD |
| 2024-11-15 14:01:20 +0000 | <hellwolf> | Oh? |
| 2024-11-15 14:02:10 +0000 | aforemny | (~aforemny@2001:9e8:6cc5:1900:266e:896c:b9aa:a2eb) (Ping timeout: 244 seconds) |
| 2024-11-15 14:04:40 +0000 | <Hecate> | hellwolf: yeah, I'll be able to notice areas where the tools lack support for it |
| 2024-11-15 14:05:05 +0000 | <hellwolf> | oh, as a means to dogfood it. kudos to that. |
| 2024-11-15 14:05:11 +0000 | ystael | (~ystael@user/ystael) ystael |
| 2024-11-15 14:07:33 +0000 | <Hecate> | yus |
| 2024-11-15 14:08:04 +0000 | <hellwolf> | More people should do that. Build and use it youself first. |
| 2024-11-15 14:08:23 +0000 | <hellwolf> | Dogfooding is a good culture. |
| 2024-11-15 14:09:11 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2024-11-15 14:09:47 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3216-94c7-8db0-2496-cb4b-99a5.rev.sfr.net) (Remote host closed the connection) |
| 2024-11-15 14:10:07 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3216-94c7-8db0-2496-cb4b-99a5.rev.sfr.net) alexherbo2 |
| 2024-11-15 14:12:19 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f96299656d59247024d.dip0.t-ipconnect.de) |
| 2024-11-15 14:13:07 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-15 14:13:34 +0000 | acidjnk | (~acidjnk@p200300d6e7283f96ed5529c7a5ccae70.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-11-15 14:19:52 +0000 | Everything | (~Everythin@178-133-201-255.mobile.vf-ua.net) (Quit: leaving) |
| 2024-11-15 14:26:27 +0000 | alphazone_ | (~alphazone@2.219.56.221) (Ping timeout: 244 seconds) |
| 2024-11-15 14:30:56 +0000 | housemate | (~housemate@146.70.66.228) housemate |
| 2024-11-15 14:32:20 +0000 | ft | (~ft@p4fc2a26f.dip0.t-ipconnect.de) ft |
| 2024-11-15 14:40:22 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-15 14:41:31 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-11-15 14:43:40 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-15 14:50:08 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-15 14:50:13 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-11-15 15:00:48 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2024-11-15 15:02:20 +0000 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) (Ping timeout: 272 seconds) |
| 2024-11-15 15:09:37 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-11-15 15:16:38 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-11-15 15:23:54 +0000 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 252 seconds) |
| 2024-11-15 15:24:19 +0000 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2024-11-15 15:35:52 +0000 | sjkfkhkgj | (~fkdnjgh@188.162.174.19) (Quit: Miranda NG! Smaller, Faster, Easier. https://miranda-ng.org/) |
| 2024-11-15 15:42:21 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-15 15:45:01 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-11-15 15:45:35 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-11-15 15:45:35 +0000 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-11-15 15:51:12 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2024-11-15 15:51:29 +0000 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2024-11-15 15:54:40 +0000 | emfrom | (~emfrom@37.166.83.170) |
| 2024-11-15 16:10:03 +0000 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-11-15 16:11:55 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-15 16:13:41 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-15 16:18:05 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3216-94c7-8db0-2496-cb4b-99a5.rev.sfr.net) (Remote host closed the connection) |
| 2024-11-15 16:18:25 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3216-94c7-8db0-2496-cb4b-99a5.rev.sfr.net) alexherbo2 |
| 2024-11-15 16:24:29 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2024-11-15 16:26:52 +0000 | alphazone | (~alphazone@2.219.56.221) |
| 2024-11-15 16:35:14 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-11-15 16:43:52 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3216-94c7-8db0-2496-cb4b-99a5.rev.sfr.net) (Remote host closed the connection) |
| 2024-11-15 16:48:05 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-11-15 16:48:51 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 276 seconds) |
| 2024-11-15 16:53:13 +0000 | gorignak | (~gorignak@user/gorignak) (Read error: Connection reset by peer) |
| 2024-11-15 17:01:41 +0000 | sprotte24 | (~sprotte24@p200300d16f18fc006d951ae7e2c66873.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-11-15 17:06:43 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-11-15 17:09:35 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-11-15 17:10:06 +0000 | alexherbo2 | (~alexherbo@103.148.22.93.rev.sfr.net) alexherbo2 |
| 2024-11-15 17:15:49 +0000 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 260 seconds) |
| 2024-11-15 17:15:50 +0000 | kuribas | (~user@ptr-17d51ep701orqnv6ksc.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2024-11-15 17:15:50 +0000 | <lxsameer> | have you tried the streamly library? if yes, how was your experience in general? |
| 2024-11-15 17:23:15 +0000 | yaroot | (~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) (Ping timeout: 246 seconds) |
| 2024-11-15 17:23:19 +0000 | tomku | (~tomku@user/tomku) (Ping timeout: 252 seconds) |
| 2024-11-15 17:23:30 +0000 | yaroot | (~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) yaroot |
| 2024-11-15 17:23:32 +0000 | tomku | (~tomku@user/tomku) tomku |
| 2024-11-15 17:28:04 +0000 | shapr | (~user@2601:19c:417e:5434:a5bf:c395:f22f:b8c) (Ping timeout: 260 seconds) |
| 2024-11-15 17:32:26 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-11-15 17:37:05 +0000 | shapr | (~user@2600:4040:5c49:5600:176f:6255:d12:c742) shapr |
| 2024-11-15 17:40:19 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-11-15 17:40:56 +0000 | <Rembane> | Is it that library that's really cool and very hard to understand? |
| 2024-11-15 17:42:08 +0000 | <Rembane> | Hm... nope, I was thinking of machines. Is this library you're thinking of lxsameer? https://hackage.haskell.org/package/streamly |
| 2024-11-15 18:00:41 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-15 18:03:09 +0000 | <EvanR> | machines is nearly alien technology |
| 2024-11-15 18:05:57 +0000 | <Rembane> | Yeah, I think humanity will reach another golden age if we understand that library. |
| 2024-11-15 18:07:27 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-11-15 18:08:59 +0000 | <hellwolf> | o_o |
| 2024-11-15 18:11:08 +0000 | <EvanR> | call that egyptologist guy from stargate who could read any alien text |
| 2024-11-15 18:12:10 +0000 | <Rembane> | Indeed. |
| 2024-11-15 18:13:34 +0000 | hellwolf | (~user@2001:1530:70:545:5239:a298:1329:4b) (Ping timeout: 260 seconds) |
| 2024-11-15 18:17:15 +0000 | alp | (~alp@2001:861:e3d6:8f80:38f:e7ec:8e95:3cb9) (Remote host closed the connection) |
| 2024-11-15 18:21:09 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2024-11-15 18:22:36 +0000 | Square | (~Square@user/square) Square |
| 2024-11-15 18:26:21 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 276 seconds) |
| 2024-11-15 18:29:42 +0000 | <dolio> | What sort of questions about it do you have? |
| 2024-11-15 18:41:34 +0000 | noctuks | (i2MhobYIr5@user/noctux) (Ping timeout: 260 seconds) |
| 2024-11-15 18:41:54 +0000 | yushyin | (vmzGIzVnEG@mail.karif.server-speed.net) (Ping timeout: 252 seconds) |
| 2024-11-15 18:42:09 +0000 | s4msung | (tWunJFbTsO@user/s4msung) (Ping timeout: 260 seconds) |
| 2024-11-15 18:49:09 +0000 | sergio | (uid675295@id-675295.hampstead.irccloud.com) |
| 2024-11-15 18:54:55 +0000 | ubert | (~Thunderbi@178.115.41.15.wireless.dyn.drei.com) (Ping timeout: 265 seconds) |
| 2024-11-15 18:55:35 +0000 | zero | zzz |
| 2024-11-15 18:57:28 +0000 | s4msung | (LBlP633nW8@user/s4msung) s4msung |
| 2024-11-15 18:57:28 +0000 | yushyin | (XM7IK4wOXA@mail.karif.server-speed.net) yushyin |
| 2024-11-15 18:57:33 +0000 | noctuks | (HxiKc5AS9I@user/noctux) noctux |
| 2024-11-15 19:00:30 +0000 | noctuks | (HxiKc5AS9I@user/noctux) (Client Quit) |
| 2024-11-15 19:00:30 +0000 | s4msung | (LBlP633nW8@user/s4msung) (Client Quit) |
| 2024-11-15 19:00:30 +0000 | yushyin | (XM7IK4wOXA@mail.karif.server-speed.net) (Client Quit) |
| 2024-11-15 19:02:41 +0000 | s4msung | (YSkIhMhdIR@user/s4msung) s4msung |
| 2024-11-15 19:02:41 +0000 | yushyin | (aC7s4hKZiM@mail.karif.server-speed.net) yushyin |
| 2024-11-15 19:02:42 +0000 | noctuks | (d4toxF5wNA@user/noctux) noctux |
| 2024-11-15 19:04:19 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-11-15 19:04:56 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2024-11-15 19:11:51 +0000 | <EvanR> | here's one. Is it at all useful |
| 2024-11-15 19:12:16 +0000 | <EvanR> | snazzy isn't always practical, like comonads |
| 2024-11-15 19:13:05 +0000 | ubert | (~Thunderbi@178.115.41.15.wireless.dyn.drei.com) ubert |
| 2024-11-15 19:13:09 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-15 19:15:16 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-15 19:17:20 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Client Quit) |
| 2024-11-15 19:18:05 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-15 19:18:35 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-11-15 19:22:18 +0000 | alexherbo2 | (~alexherbo@103.148.22.93.rev.sfr.net) (Remote host closed the connection) |
| 2024-11-15 19:24:04 +0000 | <dolio> | Well, I don't know about that. I haven't tried using the Haskell version for anything. |
| 2024-11-15 19:24:33 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-11-15 19:25:09 +0000 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2024-11-15 19:26:00 +0000 | <dolio> | I did help write something that used a Scala analogue of the same thing written concurrently. |
| 2024-11-15 19:26:47 +0000 | <dolio> | It probably works strictly better in Haskell, if I had to guess. |
| 2024-11-15 19:28:02 +0000 | <dolio> | It doesn't seem like that's a question designed to help you understand the library, though. |
| 2024-11-15 19:39:29 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds) |
| 2024-11-15 19:40:42 +0000 | hellwolf | (~user@09f6-91ba-a64f-eb21-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
| 2024-11-15 19:42:28 +0000 | hellwolf | (~user@09f6-91ba-a64f-eb21-0f00-4d40-07d0-2001.sta.estpak.ee) (Remote host closed the connection) |
| 2024-11-15 19:45:55 +0000 | shapr | (~user@2600:4040:5c49:5600:176f:6255:d12:c742) (Quit: walkies) |
| 2024-11-15 19:49:02 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-11-15 19:55:06 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-15 19:55:23 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-15 19:57:49 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2024-11-15 19:57:49 +0000 | ljdarj1 | ljdarj |
| 2024-11-15 20:00:04 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-15 20:00:41 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-15 20:03:53 +0000 | shapr | (~user@4.30.215.226) shapr |
| 2024-11-15 20:04:33 +0000 | housemate | (~housemate@146.70.66.228) (Quit: Nothing to see here. I wasn't there.) |
| 2024-11-15 20:04:49 +0000 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 260 seconds) |
| 2024-11-15 20:08:23 +0000 | ubert | (~Thunderbi@178.115.41.15.wireless.dyn.drei.com) (Ping timeout: 255 seconds) |
| 2024-11-15 20:08:58 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-15 20:12:27 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-11-15 20:18:52 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-11-15 20:19:57 +0000 | housemate | (~housemate@146.70.66.228) housemate |
| 2024-11-15 20:34:15 +0000 | alphazone_ | (~alphazone@2.219.56.221) |
| 2024-11-15 20:36:44 +0000 | alphazone | (~alphazone@2.219.56.221) (Ping timeout: 255 seconds) |
| 2024-11-15 20:38:31 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-15 20:40:47 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 255 seconds) |
| 2024-11-15 20:43:50 +0000 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
| 2024-11-15 20:51:15 +0000 | son0p | (~ff@186.113.98.151) son0p |
| 2024-11-15 20:51:58 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-11-15 20:52:58 +0000 | shapr | (~user@4.30.215.226) (Quit: time to cancel comcast, hurrah) |
| 2024-11-15 20:56:47 +0000 | sergio | (uid675295@id-675295.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-15 20:57:38 +0000 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) sp1ff |
| 2024-11-15 21:01:34 +0000 | malte | (~malte@mal.tc) (Ping timeout: 260 seconds) |
| 2024-11-15 21:04:19 +0000 | son0p | (~ff@186.113.98.151) (Ping timeout: 260 seconds) |
| 2024-11-15 21:10:58 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-11-15 21:16:02 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-15 21:17:49 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-11-15 21:18:50 +0000 | hellwolf | (~user@5fec-1c2b-c772-ebf9-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
| 2024-11-15 21:21:24 +0000 | sergio | (uid675295@id-675295.hampstead.irccloud.com) |
| 2024-11-15 21:27:41 +0000 | alp | (~alp@2001:861:e3d6:8f80:dfbc:4b45:bfd4:9ca) |
| 2024-11-15 21:32:42 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-15 21:39:15 +0000 | oxide | (~lambda@user/oxide) (Ping timeout: 252 seconds) |
| 2024-11-15 21:42:58 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-15 21:43:29 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-15 21:43:34 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-11-15 21:55:49 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-15 21:59:48 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2024-11-15 22:03:22 +0000 | <sm> | @where+ welltypedcourse https://www.youtube.com/playlist?list=PLD8gywOEY4HauPWPfH0pJPIYUWqi0Gg10 Well-Typed's Introduction To Haskell course |
| 2024-11-15 22:03:22 +0000 | <lambdabot> | Nice! |
| 2024-11-15 22:07:53 +0000 | <EvanR> | lol lambdabot approves |
| 2024-11-15 22:16:06 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3216-94c7-2d28-c234-eb57-e02e.rev.sfr.net) alexherbo2 |
| 2024-11-15 22:22:19 +0000 | <sm> | lambdabot loves me 😍 |
| 2024-11-15 22:23:06 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-11-15 22:23:17 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-15 22:25:29 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-15 22:25:40 +0000 | michalz | (~michalz@185.246.207.201) (Remote host closed the connection) |
| 2024-11-15 22:30:08 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-11-15 22:39:33 +0000 | euandreh | (~Thunderbi@189.6.105.228) euandreh |
| 2024-11-15 22:44:19 +0000 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-11-15 22:46:12 +0000 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-11-15 22:58:49 +0000 | j1n37 | (~j1n37@user/j1n37) (Quit: goodbye today) |
| 2024-11-15 23:00:14 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-11-15 23:06:27 +0000 | ephilalethes | (~noumenon@2001:fb1:48:5708:aa7e:eaff:fede:ff94) noumenon |
| 2024-11-15 23:10:09 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-15 23:12:21 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2024-11-15 23:12:21 +0000 | ljdarj1 | ljdarj |
| 2024-11-15 23:15:29 +0000 | housemate | (~housemate@146.70.66.228) (Quit: Nothing to see here. I wasn't there.) |
| 2024-11-15 23:15:56 +0000 | housemate | (~housemate@146.70.66.228) housemate |
| 2024-11-15 23:20:51 +0000 | fluxit | (~fluxit@192.241.192.75) fluxit |
| 2024-11-15 23:28:53 +0000 | ephilalethes | (~noumenon@2001:fb1:48:5708:aa7e:eaff:fede:ff94) (Quit: Leaving) |
| 2024-11-15 23:35:13 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-11-15 23:35:37 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-11-15 23:39:26 +0000 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-15 23:44:16 +0000 | hellwolf | (~user@5fec-1c2b-c772-ebf9-0f00-4d40-07d0-2001.sta.estpak.ee) (Remote host closed the connection) |
| 2024-11-15 23:46:09 +0000 | emfrom | (~emfrom@37.166.83.170) (Remote host closed the connection) |
| 2024-11-15 23:46:47 +0000 | sergio | (uid675295@id-675295.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-15 23:57:54 +0000 | j1n37 | (~j1n37@li657-110.members.linode.com) |
| 2024-11-15 23:59:24 +0000 | hellwolf | (~user@5fec-1c2b-c772-ebf9-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |