| 2026-05-01 00:00:20 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2026-05-01 00:00:33 +0000 | haskellbridge | (~hackager@96.28.224.214) hackager |
| 2026-05-01 00:00:33 +0000 | ChanServ | +v haskellbridge |
| 2026-05-01 00:00:55 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-01 00:02:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 00:07:51 +0000 | xff0x | (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 246 seconds) |
| 2026-05-01 00:08:09 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-05-01 00:09:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-01 00:23:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 00:27:26 +0000 | rekahsoft | (~rekahsoft@70.51.99.119) rekahsoft |
| 2026-05-01 00:28:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-01 00:31:11 +0000 | earthy | (~arthurvl@2a02:a469:f5e2:1:83d2:ca43:57a2:dc81) earthy |
| 2026-05-01 00:32:21 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-05-01 00:33:53 +0000 | califax | (~califax@user/califx) califx |
| 2026-05-01 00:34:10 +0000 | Googulator | (~Googulato@84-236-65-50.pool.digikabel.hu) (Quit: Client closed) |
| 2026-05-01 00:34:23 +0000 | Googulator | (~Googulato@84-236-65-50.pool.digikabel.hu) |
| 2026-05-01 00:36:33 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-01 00:48:49 +0000 | olivial | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2026-05-01 00:49:05 +0000 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2026-05-01 00:49:31 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 264 seconds) |
| 2026-05-01 00:51:13 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: Fuck udev, fuck logind, fuck everything!!!) |
| 2026-05-01 00:51:36 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-05-01 00:57:08 +0000 | rainbyte | (~rainbyte@181.47.219.3) (Read error: Connection reset by peer) |
| 2026-05-01 00:58:45 +0000 | rainbyte | (~rainbyte@181.47.219.3) rainbyte |
| 2026-05-01 01:11:14 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e563c33a7742599b7861.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-05-01 01:11:37 +0000 | acidjnk | (~acidjnk@p200300d6e700e563c33a7742599b7861.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2026-05-01 01:14:53 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 265 seconds) |
| 2026-05-01 01:18:41 +0000 | <dibblego> | <glguy> Isn't that (->)? |
| 2026-05-01 01:18:47 +0000 | <dibblego> | Sorry I missed this glguy |
| 2026-05-01 01:20:13 +0000 | <dibblego> | I don't understand how ReifiedGetter if it were to exist, is (->), since I would not be able to immediately compose it with another optic. |
| 2026-05-01 01:20:21 +0000 | <dibblego> | I would have to use the `to` function |
| 2026-05-01 01:21:13 +0000 | <dibblego> | so my understand is, that is why ReifiedGetter exists. So why no ReifiedReview? |
| 2026-05-01 01:25:27 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: Fuck udev, fuck logind, fuck everything!!!) |
| 2026-05-01 01:25:43 +0000 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-05-01 01:26:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 01:28:05 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-05-01 01:31:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-05-01 01:35:38 +0000 | pfc | (~pfc@user/pfc) pfc |
| 2026-05-01 01:39:32 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2026-05-01 01:42:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 01:45:01 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-01 01:47:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-05-01 01:48:43 +0000 | nunggu | (~q@user/nunggu) (Ping timeout: 265 seconds) |
| 2026-05-01 01:52:14 +0000 | layline_ | (~layline@149.154.26.170) layline |
| 2026-05-01 01:54:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 02:00:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-01 02:04:02 +0000 | nunggu | (~q@user/nunggu) nunggu |
| 2026-05-01 02:11:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 02:14:04 +0000 | <glguy> | dibblego: I imagine it's an oversight because Reviews aren't used for much |
| 2026-05-01 02:15:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-01 02:15:49 +0000 | <dibblego> | ok, thanks. That was my guess, but also possibly, "maybe I am missing something" |
| 2026-05-01 02:25:07 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-05-01 02:27:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 02:29:58 +0000 | rekahsoft | (~rekahsoft@70.51.99.119) (Remote host closed the connection) |
| 2026-05-01 02:32:10 +0000 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2026-05-01 02:34:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-01 02:39:43 +0000 | sshine | (~simon@2a01:4f8:1c0c:718c::1) () |
| 2026-05-01 02:47:38 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 2026-05-01 02:48:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 02:50:33 +0000 | robertm | (robertm@lattice.rojoma.com) (Quit: WeeChat 4.6.3) |
| 2026-05-01 02:50:38 +0000 | m4 | (~travltux@user/travltux) (Quit: WeeChat 4.7.2) |
| 2026-05-01 02:52:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-01 02:54:22 +0000 | bkani | (~bkani@user/bkani) (Ping timeout: 276 seconds) |
| 2026-05-01 02:54:24 +0000 | robertm | (robertm@lattice.rojoma.com) robertm |
| 2026-05-01 02:55:22 +0000 | m | (~travltux@user/travltux) travltux |
| 2026-05-01 03:00:51 +0000 | bggd | (~bgg@2a01:e0a:fd5:f510:78f7:42b8:8d14:a834) |
| 2026-05-01 03:00:51 +0000 | bggd | (~bgg@2a01:e0a:fd5:f510:78f7:42b8:8d14:a834) (Changing host) |
| 2026-05-01 03:00:51 +0000 | bggd | (~bgg@user/bggd) bggd |
| 2026-05-01 03:04:41 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-05-01 03:13:12 +0000 | m | (~travltux@user/travltux) (Quit: WeeChat 4.7.2) |
| 2026-05-01 03:15:26 +0000 | ephapticpulse | (~user@user/ephapticpulse) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2026-05-01 03:19:06 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Quit: WeeChat 4.9.0) |
| 2026-05-01 03:22:31 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-05-01 03:27:05 +0000 | m | (~travltux@user/travltux) travltux |
| 2026-05-01 03:40:15 +0000 | layline_ | layline-away |
| 2026-05-01 03:48:36 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Quit: WeeChat 4.9.0) |
| 2026-05-01 03:55:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 03:58:06 +0000 | bggd__ | (~bgg@2a01:e0a:fd5:f510:8676:90f8:5eda:4517) |
| 2026-05-01 04:00:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-01 04:00:57 +0000 | bggd | (~bgg@user/bggd) (Ping timeout: 246 seconds) |
| 2026-05-01 04:00:57 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-05-01 04:01:53 +0000 | m | (~travltux@user/travltux) (Quit: WeeChat 4.7.2) |
| 2026-05-01 04:05:30 +0000 | nunggu | (~q@user/nunggu) (Ping timeout: 265 seconds) |
| 2026-05-01 04:06:21 +0000 | m | (~travltux@user/travltux) travltux |
| 2026-05-01 04:13:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 04:18:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-01 04:19:08 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: Fuck udev, fuck logind, fuck everything!!!) |
| 2026-05-01 04:31:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 04:36:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-05-01 04:37:55 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-05-01 04:46:25 +0000 | emaczen | (~user@user/emaczen) (Ping timeout: 245 seconds) |
| 2026-05-01 04:47:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 04:52:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-01 04:57:37 +0000 | xal | (~xal@mx1.xal.systems) (Quit: No Ping reply in 180 seconds.) |
| 2026-05-01 04:59:04 +0000 | xal | (~xal@mx1.xal.systems) xal |
| 2026-05-01 05:01:43 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-01 05:01:43 +0000 | haskellbridge | (~hackager@96.28.224.214) (Read error: Connection reset by peer) |
| 2026-05-01 05:02:04 +0000 | craunts795335385 | (~craunts@152.32.100.66) (Quit: The Lounge - https://thelounge.chat) |
| 2026-05-01 05:03:26 +0000 | craunts795335385 | (~craunts@152.32.100.66) |
| 2026-05-01 05:04:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 05:06:04 +0000 | layline-away | (~layline@149.154.26.170) (Quit: ZZZzzz…) |
| 2026-05-01 05:08:20 +0000 | haskellbridge | (~hackager@96.28.224.214) hackager |
| 2026-05-01 05:08:20 +0000 | ChanServ | +v haskellbridge |
| 2026-05-01 05:11:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-01 05:17:30 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
| 2026-05-01 05:17:46 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-05-01 05:23:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 05:28:17 +0000 | marinelli | (~weechat@brrr.fr) (Quit: marinelli) |
| 2026-05-01 05:29:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-05-01 05:33:55 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds) |
| 2026-05-01 05:35:47 +0000 | notzmv | (~umar@user/notzmv) (Ping timeout: 248 seconds) |
| 2026-05-01 05:42:54 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2026-05-01 05:49:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 05:51:12 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-05-01 05:51:55 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-05-01 05:52:52 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2026-05-01 05:52:57 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-05-01 05:54:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-01 05:56:16 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-01 06:01:55 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-05-01 06:03:20 +0000 | tromp | (~textual@2001:1c00:340e:2700:908b:73d:c800:c6b4) |
| 2026-05-01 06:08:11 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-05-01 06:11:27 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2026-05-01 06:20:15 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-05-01 06:21:50 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-05-01 06:24:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 06:28:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-01 06:36:41 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2026-05-01 06:40:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 06:44:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-01 06:56:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 06:58:11 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-05-01 07:03:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-01 07:14:58 +0000 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2026-05-01 07:15:42 +0000 | kmein | (~weechat@user/kmein) kmein |
| 2026-05-01 07:20:30 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-05-01 07:20:54 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-05-01 07:24:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 07:25:38 +0000 | Enrico63 | (~Enrico63@85.255.235.90) Enrico63 |
| 2026-05-01 07:29:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-01 07:32:51 +0000 | tromp | (~textual@2001:1c00:340e:2700:908b:73d:c800:c6b4) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-05-01 07:44:41 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2026-05-01 07:47:55 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-05-01 07:49:36 +0000 | xdej | (~xdej@quatramaran.salle-s.org) (Quit: reboot for copy.fail I guess) |
| 2026-05-01 07:55:53 +0000 | Enrico63 | (~Enrico63@85.255.235.90) (Quit: Client closed) |
| 2026-05-01 08:14:19 +0000 | misterfish | (~misterfis@31.161.39.137) misterfish |
| 2026-05-01 08:15:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 08:15:54 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e563a9f697b97d327ae9.dip0.t-ipconnect.de) |
| 2026-05-01 08:15:57 +0000 | acidjnk | (~acidjnk@p200300d6e700e563a9f697b97d327ae9.dip0.t-ipconnect.de) acidjnk |
| 2026-05-01 08:19:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-01 08:25:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 08:30:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-01 08:34:43 +0000 | xff0x | (~xff0x@2405:6580:b080:900:6a5b:5b2a:edc6:20f4) |
| 2026-05-01 08:51:39 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Ping timeout: 268 seconds) |
| 2026-05-01 08:55:01 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) shreyasminocha |
| 2026-05-01 08:56:43 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-05-01 08:57:12 +0000 | bheesham | (3aa22d8375@2a03:6000:1812:100::e40) (Ping timeout: 268 seconds) |
| 2026-05-01 08:58:33 +0000 | slondr | (cf9f9e8f44@2a03:6000:1812:100::10b6) (Ping timeout: 256 seconds) |
| 2026-05-01 08:58:41 +0000 | bheesham | (3aa22d8375@2a03:6000:1812:100::e40) bheesham |
| 2026-05-01 08:58:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 08:59:29 +0000 | rprospero_ | (eadde01e73@user/rprospero) (Ping timeout: 245 seconds) |
| 2026-05-01 09:00:34 +0000 | cpli | (77fc530071@2a03:6000:1812:100::252) (Ping timeout: 248 seconds) |
| 2026-05-01 09:01:44 +0000 | chr55 | (57a0c161b0@user/chr55) (Ping timeout: 252 seconds) |
| 2026-05-01 09:02:37 +0000 | slondr | (cf9f9e8f44@2a03:6000:1812:100::10b6) slondr |
| 2026-05-01 09:02:43 +0000 | sm2n | (ae95cb1267@user/sm2n) (Ping timeout: 248 seconds) |
| 2026-05-01 09:02:43 +0000 | rprospero_ | (eadde01e73@user/rprospero) rprospero |
| 2026-05-01 09:03:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-01 09:05:00 +0000 | sm2n | (ae95cb1267@user/sm2n) sm2n |
| 2026-05-01 09:05:46 +0000 | chr55 | (57a0c161b0@user/chr55) chr55 |
| 2026-05-01 09:07:47 +0000 | akspecs | (00cc8321af@sourcehut/user/akspecs) (Ping timeout: 252 seconds) |
| 2026-05-01 09:09:38 +0000 | werneta_ | (~werneta@71.83.160.242) (Read error: Connection reset by peer) |
| 2026-05-01 09:11:04 +0000 | akspecs | (00cc8321af@sourcehut/user/akspecs) akspecs |
| 2026-05-01 09:13:19 +0000 | werneta | (~werneta@71.83.160.242) werneta |
| 2026-05-01 09:13:27 +0000 | cpli | (77fc530071@2a03:6000:1812:100::252) cpli |
| 2026-05-01 09:15:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 09:21:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-01 09:26:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 09:31:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-01 09:33:30 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e502a809cbb305ffb279.dip0.t-ipconnect.de) acidjnk |
| 2026-05-01 09:36:03 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-05-01 09:36:23 +0000 | acidjnk | (~acidjnk@p200300d6e700e563a9f697b97d327ae9.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2026-05-01 09:36:50 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e563a9f697b97d327ae9.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-05-01 09:37:28 +0000 | acidjnk | (~acidjnk@p200300d6e700e502a809cbb305ffb279.dip0.t-ipconnect.de) acidjnk |
| 2026-05-01 09:41:46 +0000 | rainbyte | (~rainbyte@181.47.219.3) (Read error: Connection reset by peer) |
| 2026-05-01 09:42:02 +0000 | Rembane | (~Rembane@user/Rembane) (Quit: WeeChat 4.1.1) |
| 2026-05-01 09:43:08 +0000 | Rembane | (~Rembane@user/Rembane) Rembane |
| 2026-05-01 09:44:17 +0000 | rainbyte | (~rainbyte@181.47.219.3) rainbyte |
| 2026-05-01 09:46:38 +0000 | ames | (~amelia@offtopia/offtopian/amelia) (Quit: Bye!) |
| 2026-05-01 09:47:13 +0000 | ames | (~amelia@offtopia/offtopian/amelia) {ames} |
| 2026-05-01 09:49:29 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 245 seconds) |
| 2026-05-01 09:49:38 +0000 | DetourNe- | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-05-01 09:49:45 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-05-01 09:50:26 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-05-01 09:51:53 +0000 | DetourNe- | DetourNetworkUK |
| 2026-05-01 09:55:15 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-05-01 10:05:28 +0000 | rainbyte | (~rainbyte@181.47.219.3) (Remote host closed the connection) |
| 2026-05-01 10:05:49 +0000 | rainbyte | (~rainbyte@181.47.219.3) rainbyte |
| 2026-05-01 10:07:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 10:08:41 +0000 | bkani | (~bkani@user/bkani) bkani |
| 2026-05-01 10:10:12 +0000 | RSCASTILHO2024 | (RSCASTILHO@189.61.152.230) |
| 2026-05-01 10:11:09 +0000 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 245 seconds) |
| 2026-05-01 10:11:37 +0000 | RSCASTILHO2024 | (RSCASTILHO@189.61.152.230) (Changing host) |
| 2026-05-01 10:11:37 +0000 | RSCASTILHO2024 | (RSCASTILHO@user/RSCASTILHO2024) RSCASTILHO2024 |
| 2026-05-01 10:11:43 +0000 | misterfish | (~misterfis@31.161.39.137) (Ping timeout: 264 seconds) |
| 2026-05-01 10:11:59 +0000 | RSCASTILHO2024 | (RSCASTILHO@user/RSCASTILHO2024) (Remote host closed the connection) |
| 2026-05-01 10:12:41 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-05-01 10:12:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-01 10:20:21 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-05-01 10:20:40 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-05-01 10:23:46 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-05-01 10:26:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 10:30:46 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-05-01 10:33:02 +0000 | r1bilski | (~r1bilski@user/r1bilski) r1bilski |
| 2026-05-01 10:33:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-01 10:38:10 +0000 | r1bilski | (~r1bilski@user/r1bilski) (Ping timeout: 248 seconds) |
| 2026-05-01 10:38:22 +0000 | r1bilski | (~r1bilski@user/r1bilski) r1bilski |
| 2026-05-01 10:40:42 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2026-05-01 10:40:56 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Read error: Connection reset by peer) |
| 2026-05-01 10:40:56 +0000 | califax | (~califax@user/califx) (Read error: Connection reset by peer) |
| 2026-05-01 10:40:56 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Read error: Connection reset by peer) |
| 2026-05-01 10:41:08 +0000 | califax | (~califax@user/califx) califx |
| 2026-05-01 10:41:14 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-05-01 10:41:19 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-05-01 10:44:39 +0000 | RSCASTILHO2024 | (RSCASTILHO@user/RSCASTILHO2024) RSCASTILHO2024 |
| 2026-05-01 10:44:49 +0000 | RSCASTILHO2024 | (RSCASTILHO@user/RSCASTILHO2024) (Remote host closed the connection) |
| 2026-05-01 10:45:23 +0000 | pointlessslippe1 | (~pointless@62.106.85.17) (Ping timeout: 244 seconds) |
| 2026-05-01 10:46:19 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-01 10:47:20 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-01 10:48:07 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-05-01 10:48:10 +0000 | r1bilski_ | (~r1bilski@user-46-112-240-248.play-internet.pl) |
| 2026-05-01 10:48:13 +0000 | r1bilski | (~r1bilski@user/r1bilski) (Ping timeout: 276 seconds) |
| 2026-05-01 10:48:27 +0000 | dtman34 | (~dtman34@2601:447:d183:2302:b0c5:8965:1c3f:d560) dtman34 |
| 2026-05-01 10:49:20 +0000 | Digit | (~user@user/digit) (Ping timeout: 245 seconds) |
| 2026-05-01 10:50:58 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 248 seconds) |
| 2026-05-01 10:56:31 +0000 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2026-05-01 11:01:39 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-05-01 11:07:36 +0000 | driib3180 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2026-05-01 11:14:14 +0000 | driib3180 | (~driib@vmi931078.contaboserver.net) driib |
| 2026-05-01 11:21:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 11:26:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-01 11:26:45 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-01 11:26:56 +0000 | bkani | (~bkani@user/bkani) (Ping timeout: 252 seconds) |
| 2026-05-01 11:27:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 11:32:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-01 11:36:50 +0000 | Digit | (~user@user/digit) Digit |
| 2026-05-01 11:40:55 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: Fuck udev, fuck logind, fuck everything!!!) |
| 2026-05-01 11:43:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 11:45:35 +0000 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) misterfish |
| 2026-05-01 11:46:36 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2026-05-01 11:48:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-01 11:48:38 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-05-01 11:56:25 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 245 seconds) |
| 2026-05-01 11:59:15 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: WeeChat 4.9.0) |
| 2026-05-01 12:00:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 12:01:32 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-05-01 12:04:12 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-05-01 12:05:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-01 12:05:19 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) terrorjack |
| 2026-05-01 12:13:39 +0000 | driib3180 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2026-05-01 12:15:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 12:20:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-01 12:21:33 +0000 | bkani | (~bkani@user/bkani) bkani |
| 2026-05-01 12:23:27 +0000 | bkani | (~bkani@user/bkani) (Max SendQ exceeded) |
| 2026-05-01 12:25:13 +0000 | bkani | (~bkani@user/bkani) bkani |
| 2026-05-01 12:25:28 +0000 | bkani | (~bkani@user/bkani) (Excess Flood) |
| 2026-05-01 12:25:53 +0000 | bkani | (~bkani@user/bkani) bkani |
| 2026-05-01 12:25:55 +0000 | driib3180 | (~driib@vmi931078.contaboserver.net) driib |
| 2026-05-01 12:28:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 12:31:14 +0000 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 248 seconds) |
| 2026-05-01 12:31:47 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-05-01 12:32:13 +0000 | Square | (~Square@user/square) Square |
| 2026-05-01 12:35:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-01 12:35:26 +0000 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2026-05-01 12:36:08 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2026-05-01 12:40:54 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-01 12:42:16 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-01 12:48:30 +0000 | haritz | (~hrtz@140.228.70.141) |
| 2026-05-01 12:48:30 +0000 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2026-05-01 12:48:30 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-05-01 12:48:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 12:50:51 +0000 | xff0x | (~xff0x@2405:6580:b080:900:6a5b:5b2a:edc6:20f4) (Ping timeout: 246 seconds) |
| 2026-05-01 12:52:25 +0000 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2026-05-01 12:53:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-01 12:56:04 +0000 | xff0x | (~xff0x@2402:9500:8000:8:f0d1:5cb6:56c6:e0bf) |
| 2026-05-01 13:01:09 +0000 | xff0x | (~xff0x@2402:9500:8000:8:f0d1:5cb6:56c6:e0bf) (Ping timeout: 245 seconds) |
| 2026-05-01 13:03:17 +0000 | xff0x | (~xff0x@2405:6580:b080:900:6a5b:5b2a:edc6:20f4) |
| 2026-05-01 13:07:19 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 265 seconds) |
| 2026-05-01 13:09:34 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: WeeChat 4.9.0) |
| 2026-05-01 13:22:41 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2026-05-01 13:24:56 +0000 | dcb | (~dcb@user/dcb) (Quit: MSN Messenger v1.10.1) |
| 2026-05-01 13:25:22 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-05-01 13:29:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 13:29:41 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-05-01 13:33:06 +0000 | s4msung | (SHMU1ylKNZ@user/s4msung) (Quit: s4msung) |
| 2026-05-01 13:33:06 +0000 | noctuks | (7NcJRRWP29@user/noctux) (Quit: WeeChat 4.8.1) |
| 2026-05-01 13:33:06 +0000 | yushyin | (cFgGaR0ach@mail.karif.server-speed.net) (Quit: WeeChat 4.8.1) |
| 2026-05-01 13:33:38 +0000 | noctuks | (4qNwsywqoM@user/noctux) noctux |
| 2026-05-01 13:33:49 +0000 | s4msung | (je0MgNYRJg@user/s4msung) s4msung |
| 2026-05-01 13:33:49 +0000 | yushyin | (he1AwRbeNM@karif.server-speed.net) yushyin |
| 2026-05-01 13:34:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-01 13:34:42 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-05-01 13:35:55 +0000 | Pozyomka | (~pyon@user/pyon) (Client Quit) |
| 2026-05-01 13:35:58 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:2d2e:4dd7:3c6f:8587) |
| 2026-05-01 13:35:58 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:2d2e:4dd7:3c6f:8587) (Changing host) |
| 2026-05-01 13:35:58 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-05-01 13:37:33 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-05-01 13:43:49 +0000 | <gentauro> | % :t (++) |
| 2026-05-01 13:43:49 +0000 | <yahb2> | (++) :: [a] -> [a] -> [a] |
| 2026-05-01 13:44:42 +0000 | <gentauro> | is it possible to implement `(++)` for a custom type? Or is it `Semigroup Foo where Foo x <> Foo y`` that should be used? |
| 2026-05-01 13:46:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 13:46:09 +0000 | Googulator | (~Googulato@84-236-65-50.pool.digikabel.hu) (Quit: Client closed) |
| 2026-05-01 13:46:24 +0000 | Googulator | (~Googulato@84-236-65-50.pool.digikabel.hu) |
| 2026-05-01 13:47:20 +0000 | dcb | (~dcb@user/dcb) dcb |
| 2026-05-01 13:47:33 +0000 | dcb | (~dcb@user/dcb) (Remote host closed the connection) |
| 2026-05-01 13:48:50 +0000 | dcb | (~dcb@user/dcb) dcb |
| 2026-05-01 13:49:42 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-01 13:50:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-01 13:54:29 +0000 | <haskellbridge> | <ijouw> The prelude (++) is only for lists. Using Semigroup's (<>) seems a good choice. If you have multiple ways to define (<>) on your type, either document your choice or define custom operators. |
| 2026-05-01 14:01:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 14:06:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-01 14:08:13 +0000 | Guest83 | (~Guest83@204.16.57.109) |
| 2026-05-01 14:08:42 +0000 | Guest83 | (~Guest83@204.16.57.109) (Client Quit) |
| 2026-05-01 14:09:37 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-05-01 14:09:57 +0000 | emaczen | (~user@user/emaczen) emaczen |
| 2026-05-01 14:10:14 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-05-01 14:11:24 +0000 | r1bilski_ | (~r1bilski@user-46-112-240-248.play-internet.pl) (Ping timeout: 255 seconds) |
| 2026-05-01 14:17:07 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 264 seconds) |
| 2026-05-01 14:17:54 +0000 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) (Ping timeout: 248 seconds) |
| 2026-05-01 14:18:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 14:22:28 +0000 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (Quit: WeeChat 4.8.1) |
| 2026-05-01 14:23:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-01 14:23:12 +0000 | <gentauro> | 👍 |
| 2026-05-01 14:26:56 +0000 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) superbil |
| 2026-05-01 14:27:01 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-01 14:27:06 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 246 seconds) |
| 2026-05-01 14:28:21 +0000 | Square | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2026-05-01 14:28:49 +0000 | astroanax | (~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7) (Quit: WeeChat 3.8) |
| 2026-05-01 14:30:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 14:31:33 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-05-01 14:36:24 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-01 14:36:28 +0000 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection) |
| 2026-05-01 14:37:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-01 14:37:48 +0000 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) flukiluke |
| 2026-05-01 14:37:56 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2026-05-01 14:38:20 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-01 14:38:58 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2026-05-01 14:39:40 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-05-01 14:44:03 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-01 14:46:59 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2026-05-01 14:49:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 14:54:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-01 14:55:53 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2026-05-01 15:00:19 +0000 | TwinAdam | (~TwinAdam@user/adamsaunders) adamsaunders |
| 2026-05-01 15:00:58 +0000 | r1bilski_ | (~r1bilski@user-46-112-240-248.play-internet.pl) |
| 2026-05-01 15:07:06 +0000 | <gentauro> | % :t foldl1 |
| 2026-05-01 15:07:06 +0000 | <yahb2> | foldl1 :: Foldable t => (a -> a -> a) -> t a -> a |
| 2026-05-01 15:07:39 +0000 | <gentauro> | % :t foldl |
| 2026-05-01 15:07:40 +0000 | <yahb2> | foldl :: Foldable t => (b -> a -> b) -> b -> t a -> b |
| 2026-05-01 15:08:28 +0000 | <haskellbridge> | <ijouw> There is also foldl' |
| 2026-05-01 15:09:39 +0000 | <Leary> | gentauro: `Alternative` provides another generisation of `++` (and `[]`) which is likely more appropriate if it type checks. |
| 2026-05-01 15:09:40 +0000 | tomsmeding | (~tomsmedin@user/tomsmeding) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-05-01 15:10:00 +0000 | <gentauro> | ijouw yeah, the LSP keeps complaining about those. However, as I use `{-# OPTIONS_GHC -Wall -Werror #-}` per file, I get all kind of strange error when compiling :( |
| 2026-05-01 15:10:22 +0000 | tomsmeding | (~tomsmedin@user/tomsmeding) tomsmeding |
| 2026-05-01 15:10:36 +0000 | <gentauro> | Leary: like `<|>`? |
| 2026-05-01 15:10:51 +0000 | <haskellbridge> | <ijouw> yes |
| 2026-05-01 15:13:06 +0000 | <gentauro> | I guess I end up with `foldl (\ acc x -> acc <> x) mempty` which does the trick |
| 2026-05-01 15:13:06 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2026-05-01 15:13:25 +0000 | r1bilski_ | (~r1bilski@user-46-112-240-248.play-internet.pl) (Ping timeout: 276 seconds) |
| 2026-05-01 15:13:53 +0000 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) (Remote host closed the connection) |
| 2026-05-01 15:14:18 +0000 | gentauro | oh, I didn't wrote my Monoid instance |
| 2026-05-01 15:14:20 +0000 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) yahb2 |
| 2026-05-01 15:14:20 +0000 | ChanServ | +v yahb2 |
| 2026-05-01 15:18:47 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-05-01 15:19:57 +0000 | jmcantrell_ | jmcantrell |
| 2026-05-01 15:23:01 +0000 | ircbrowse_tom | (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) ircbrowse_tom |
| 2026-05-01 15:23:05 +0000 | Server | +Cnt |
| 2026-05-01 15:23:40 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2026-05-01 15:31:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 15:34:20 +0000 | dcb | (~dcb@user/dcb) (Quit: MSN Messenger v1.10.1) |
| 2026-05-01 15:36:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-01 15:36:35 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-05-01 15:38:21 +0000 | dcb | (~dcb@user/dcb) dcb |
| 2026-05-01 15:39:59 +0000 | alhazrod | (uid662262@id-662262.lymington.irccloud.com) |
| 2026-05-01 15:40:06 +0000 | alhazrod | (uid662262@id-662262.lymington.irccloud.com) (Changing host) |
| 2026-05-01 15:40:06 +0000 | alhazrod | (uid662262@user/alhazrod) alhazrod |
| 2026-05-01 15:45:04 +0000 | <janus> | % :t fold |
| 2026-05-01 15:45:04 +0000 | <yahb2> | <interactive>:1:1: error: [GHC-88464] ; Variable not in scope: fold ; Suggested fix: ; Perhaps use one of these: ; ‘foldl’ (imported from Prelude), ‘foldr’ (imported from Prel... |
| 2026-05-01 15:45:15 +0000 | <janus> | % import Data.Foldable |
| 2026-05-01 15:45:15 +0000 | <yahb2> | <no output> |
| 2026-05-01 15:45:17 +0000 | <janus> | % :t fold |
| 2026-05-01 15:45:17 +0000 | <yahb2> | fold :: (Foldable t, Monoid m) => t m -> m |
| 2026-05-01 15:45:29 +0000 | <janus> | gentauro: don't you want this instead of a custom foldl with mempty ? |
| 2026-05-01 15:48:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 15:49:50 +0000 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) mrvdb |
| 2026-05-01 15:50:43 +0000 | mrvdb- | (~mrvdb@185.92.221.186) (Ping timeout: 264 seconds) |
| 2026-05-01 15:53:15 +0000 | <gentauro> | janus: I have a list of types that I want to concat |
| 2026-05-01 15:53:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-01 15:54:10 +0000 | <janus> | gentauro: yes. the t would be [] (list) and the m would be 'type' |
| 2026-05-01 15:59:29 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2026-05-01 16:06:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 16:10:59 +0000 | <L29Ah> | % fix error |
| 2026-05-01 16:10:59 +0000 | <yahb2> | <interactive>:11:1: error: [GHC-88464] ; Variable not in scope: fix :: ([Char] -> a0) -> t |
| 2026-05-01 16:11:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-01 16:12:57 +0000 | alter2000 | (~alter2000@user/alter2000) alter2000 |
| 2026-05-01 16:13:47 +0000 | <tomsmeding> | % Data.Function.fix error |
| 2026-05-01 16:13:47 +0000 | <yahb2> | *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: **... |
| 2026-05-01 16:14:45 +0000 | <humasect> | uh oh |
| 2026-05-01 16:16:23 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:d50d:ba73:734:cf90) |
| 2026-05-01 16:16:23 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:d50d:ba73:734:cf90) (Changing host) |
| 2026-05-01 16:16:23 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-05-01 16:19:03 +0000 | <alter2000> | errors fixed, LGTM |
| 2026-05-01 16:23:41 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-05-01 16:23:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 16:23:50 +0000 | r1bilski_ | (~r1bilski@user-46-112-240-248.play-internet.pl) |
| 2026-05-01 16:23:50 +0000 | r1bilski_ | (~r1bilski@user-46-112-240-248.play-internet.pl) (Remote host closed the connection) |
| 2026-05-01 16:24:05 +0000 | r1bilski | (~r1bilski@user/r1bilski) r1bilski |
| 2026-05-01 16:25:28 +0000 | <int-e> | (It's a truly exceptional bit.) |
| 2026-05-01 16:27:00 +0000 | xdej | (~xdej@quatramaran.salle-s.org) xdej |
| 2026-05-01 16:28:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-01 16:32:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 16:34:23 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-05-01 16:34:30 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 265 seconds) |
| 2026-05-01 16:35:24 +0000 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 255 seconds) |
| 2026-05-01 16:35:43 +0000 | r1bilski | (~r1bilski@user/r1bilski) (Ping timeout: 264 seconds) |
| 2026-05-01 16:37:13 +0000 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2026-05-01 16:39:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-01 17:00:05 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-01 17:09:05 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-05-01 17:11:08 +0000 | skum | (~skum@user/skum) (Quit: WeeChat 4.9.0) |
| 2026-05-01 17:16:17 +0000 | shapr | (~user@50.230.201.134) shapr |
| 2026-05-01 17:20:19 +0000 | skum | (~skum@user/skum) skum |
| 2026-05-01 17:23:32 +0000 | RSCASTILHO2024 | (RSCASTILHO@user/RSCASTILHO2024) RSCASTILHO2024 |
| 2026-05-01 17:23:55 +0000 | RSCASTILHO2024 | (RSCASTILHO@user/RSCASTILHO2024) (Remote host closed the connection) |
| 2026-05-01 17:29:43 +0000 | alter2000 | (~alter2000@user/alter2000) (Ping timeout: 264 seconds) |
| 2026-05-01 17:30:24 +0000 | Adran | (~adran@botters/adran) (Quit: Este é o fim.) |
| 2026-05-01 17:32:30 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2026-05-01 17:33:12 +0000 | shr\ke_ | (~shrike@user/paxhumana) paxhumana |
| 2026-05-01 17:34:21 +0000 | shr\ke | (~shrike@user/shrke:31298) (Ping timeout: 246 seconds) |
| 2026-05-01 17:34:21 +0000 | shr\ke_ | shr\ke |
| 2026-05-01 17:37:21 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-05-01 17:38:42 +0000 | Adran | (~adran@botters/adran) Adran |
| 2026-05-01 17:41:59 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds) |
| 2026-05-01 17:43:01 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-05-01 17:45:55 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-01 17:51:09 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 245 seconds) |
| 2026-05-01 17:51:36 +0000 | puke | (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-05-01 17:52:02 +0000 | bkani | (~bkani@user/bkani) (Read error: Connection reset by peer) |
| 2026-05-01 17:52:19 +0000 | bkani | (~bkani@user/bkani) bkani |
| 2026-05-01 17:52:25 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-01 17:57:19 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2026-05-01 17:57:55 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2026-05-01 18:04:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 18:04:44 +0000 | Googulator | (~Googulato@84-236-65-50.pool.digikabel.hu) (Quit: Client closed) |
| 2026-05-01 18:04:58 +0000 | Googulator | (~Googulato@84-236-65-50.pool.digikabel.hu) |
| 2026-05-01 18:09:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-01 18:11:59 +0000 | Googulator84 | (~Googulato@84-236-65-50.pool.digikabel.hu) |
| 2026-05-01 18:12:17 +0000 | Googulator | (~Googulato@84-236-65-50.pool.digikabel.hu) (Quit: Client closed) |
| 2026-05-01 18:14:36 +0000 | tromp | (~textual@2001:1c00:340e:2700:3014:1d91:d127:9421) |
| 2026-05-01 18:16:58 +0000 | bkani_ | (~bkani@user/bkani) bkani |
| 2026-05-01 18:17:56 +0000 | bkani | (~bkani@user/bkani) (Ping timeout: 265 seconds) |
| 2026-05-01 18:20:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 18:25:17 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-05-01 18:25:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-01 18:28:37 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-05-01 18:28:44 +0000 | gmg | (~user@user/gehmehgeh) (Client Quit) |
| 2026-05-01 18:28:55 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-05-01 18:32:54 +0000 | r1bilski | (~r1bilski@user/r1bilski) r1bilski |
| 2026-05-01 18:37:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 18:37:29 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 248 seconds) |
| 2026-05-01 18:37:47 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-05-01 18:38:57 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-05-01 18:39:24 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-05-01 18:42:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-01 18:48:05 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 245 seconds) |
| 2026-05-01 18:48:18 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-05-01 18:50:42 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-05-01 18:51:24 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-05-01 18:51:50 +0000 | Googulator25 | (~Googulato@84-236-65-50.pool.digikabel.hu) |
| 2026-05-01 18:55:12 +0000 | Googulator84 | (~Googulato@84-236-65-50.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2026-05-01 18:55:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 18:55:53 +0000 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2026-05-01 18:56:42 +0000 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2026-05-01 18:57:15 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 265 seconds) |
| 2026-05-01 18:58:33 +0000 | alter2000 | (~alter2000@user/alter2000) alter2000 |
| 2026-05-01 19:00:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-01 19:00:40 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-01 19:11:34 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-01 19:11:42 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-01 19:15:08 +0000 | gehmehgeh | gmg |
| 2026-05-01 19:18:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-01 19:25:10 +0000 | tromp | (~textual@2001:1c00:340e:2700:3014:1d91:d127:9421) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-05-01 19:26:42 +0000 | tromp | (~textual@2001:1c00:340e:2700:3014:1d91:d127:9421) |
| 2026-05-01 19:36:46 +0000 | Beowulf | (florian@sleipnir.bandrate.org) (Quit: = "") |
| 2026-05-01 19:37:12 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2026-05-01 19:39:40 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-05-01 19:42:02 +0000 | Beowulf | (florian@sleipnir.bandrate.org) |
| 2026-05-01 19:47:04 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
| 2026-05-01 19:48:27 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-05-01 19:48:27 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 255 seconds) |
| 2026-05-01 19:51:25 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-01 19:52:09 +0000 | shapr | (~user@50.230.201.134) (Remote host closed the connection) |
| 2026-05-01 19:54:54 +0000 | nitrix | (~nitrix@user/meow/nitrix) (Ping timeout: 245 seconds) |
| 2026-05-01 19:55:23 +0000 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
| 2026-05-01 19:56:59 +0000 | rabbull | (~rabbull@user/rabbull) (Quit: Ping timeout (120 seconds)) |
| 2026-05-01 19:57:14 +0000 | rabbull | (~rabbull@user/rabbull) rabbull |
| 2026-05-01 19:59:43 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-01 20:01:21 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2026-05-01 20:02:36 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2026-05-01 20:03:55 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
| 2026-05-01 20:17:50 +0000 | tromp | (~textual@2001:1c00:340e:2700:3014:1d91:d127:9421) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-05-01 20:24:19 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-05-01 20:25:18 +0000 | tromp | (~textual@2001:1c00:340e:2700:3014:1d91:d127:9421) |
| 2026-05-01 20:25:54 +0000 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2026-05-01 20:31:47 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |