2025/08/18

2025-08-18 00:01:44 +0000welterde(welterde@thinkbase.srv.welterde.de) welterde
2025-08-18 00:02:15 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-18 00:05:38 +0000trickard_trickard
2025-08-18 00:07:13 +0000weary-traveler(~user@user/user363627) user363627
2025-08-18 00:08:02 +0000pointlessslippe1(~pointless@62.106.85.17) (Read error: Connection reset by peer)
2025-08-18 00:16:36 +0000pointlessslippe1(~pointless@62.106.85.17) pointlessslippe1
2025-08-18 00:20:24 +0000ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2025-08-18 00:20:42 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-08-18 00:21:18 +0000ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-08-18 00:22:46 +0000Axma60037Axman6
2025-08-18 00:23:55 +0000 <Axman6> hololeap: is mapC id not just id?
2025-08-18 00:24:03 +0000hyletic(~textual@user/hyletic) hyletic
2025-08-18 00:24:46 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-08-18 00:24:46 +0000ljdarj1ljdarj
2025-08-18 00:28:20 +0000Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-08-18 00:33:12 +0000xff0x(~xff0x@2405:6580:b080:900:448b:e7f0:8b52:d3c) (Ping timeout: 256 seconds)
2025-08-18 00:34:50 +0000 <hololeap> Axman6: no, the idea was that I needed a "do-nothing" conduit, with the type Monad m => ConduitT a a m ()
2025-08-18 00:35:37 +0000 <hololeap> I guess I could have approached the problem differently
2025-08-18 00:39:33 +0000ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2025-08-18 00:44:05 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-18 00:48:09 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-08-18 00:48:54 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-18 00:50:34 +0000shawwwn(sid6132@id-6132.helmsley.irccloud.com) (Server closed connection)
2025-08-18 00:50:45 +0000shawwwn(sid6132@id-6132.helmsley.irccloud.com) shawwwn
2025-08-18 01:02:44 +0000hyletic(~textual@user/hyletic) (Quit: Textual IRC Client: www.textualapp.com)
2025-08-18 01:10:53 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-18 01:13:53 +0000 <davean> hololeap: The identity is usually useful though. Its often a good thing to have handy.
2025-08-18 01:14:00 +0000tremon(~tremon@83.80.159.219) (Remote host closed the connection)
2025-08-18 01:15:14 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-18 01:25:21 +0000 <ski> empty/trivial things commonly are
2025-08-18 01:26:06 +0000 <ski> (putting it as the result of one branch is one of the standard uses)
2025-08-18 01:26:18 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-18 01:29:31 +0000jackdk(uid373013@cssa/life/jackdk) jackdk
2025-08-18 01:32:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-18 01:34:59 +0000weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-08-18 01:38:08 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-08-18 01:38:18 +0000ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-08-18 01:38:51 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-08-18 01:41:05 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-08-18 01:41:13 +0000pointlessslippe1(~pointless@62.106.85.17) (Read error: Connection reset by peer)
2025-08-18 01:42:47 +0000ljdarj1(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-08-18 01:44:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-18 01:44:21 +0000haetsal(~quassel@221.138.168.192) (Quit: No Ping reply in 180 seconds.)
2025-08-18 01:49:30 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-08-18 01:50:42 +0000pointlessslippe1(~pointless@62.106.85.17) pointlessslippe1
2025-08-18 01:57:09 +0000 <Axman6> oh right, I forgot that Conduit doesn't compose things with function application
2025-08-18 01:57:29 +0000xff0x_(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-08-18 01:58:17 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds)
2025-08-18 02:04:17 +0000ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-08-18 02:06:02 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-08-18 02:08:37 +0000ljdarj1(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-08-18 02:15:18 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-18 02:19:52 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-08-18 02:22:03 +0000davidlbowman(~dlb@user/davidlbowman) (Ping timeout: 244 seconds)
2025-08-18 02:30:42 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-18 02:31:21 +0000Square2(~Square@user/square) (Ping timeout: 244 seconds)
2025-08-18 02:34:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-18 02:39:56 +0000kawzeg(kawzeg@2a01:4f9:c013:cfbf::1) (Server closed connection)
2025-08-18 02:40:14 +0000kawzeg(kawzeg@2a01:4f9:c013:cfbf::1) kawzeg
2025-08-18 02:45:30 +0000jle`(~jle`@2603:8001:3b00:11:45b2:bb8:953d:fe48) (Ping timeout: 252 seconds)
2025-08-18 02:46:03 +0000jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 252 seconds)
2025-08-18 02:46:23 +0000jle`(~jle`@2603:8001:3b00:11:4bae:4781:8d0b:3d40) jle`
2025-08-18 02:47:53 +0000jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-08-18 03:01:37 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-18 03:06:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-18 03:10:15 +0000mange(~mange@user/mange) mange
2025-08-18 03:12:06 +0000filwisher(2e6936c793@2a03:6000:1812:100::170) (Server closed connection)
2025-08-18 03:12:13 +0000filwisher(2e6936c793@2a03:6000:1812:100::170)
2025-08-18 03:12:21 +0000potatoespotatoes(~quassel@user/potatoespotatoes) (Ping timeout: 276 seconds)
2025-08-18 03:21:35 +0000trickard(~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-18 03:21:48 +0000trickard_(~trickard@cpe-90-98-47-163.wireline.com.au)
2025-08-18 03:28:58 +0000trickard_trickard
2025-08-18 03:42:49 +0000Square2(~Square@user/square) Square
2025-08-18 03:52:17 +0000dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Ping timeout: 248 seconds)
2025-08-18 04:05:09 +0000hyletic(~textual@user/hyletic) hyletic
2025-08-18 04:08:34 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Remote host closed the connection)
2025-08-18 04:12:33 +0000Square(~Square4@user/square) Square
2025-08-18 04:14:16 +0000dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-08-18 04:20:52 +0000Square2(~Square@user/square) (Ping timeout: 272 seconds)
2025-08-18 04:20:53 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-18 04:46:35 +0000euphores(~SASL_euph@user/euphores) euphores
2025-08-18 04:51:49 +0000RussetParrotBear(45ce440a48@2a03:6000:1812:100::e2) (Server closed connection)
2025-08-18 04:51:55 +0000RussetParrotBear(45ce440a48@2a03:6000:1812:100::e2)
2025-08-18 04:56:32 +0000hyletic(~textual@user/hyletic) (Ping timeout: 244 seconds)
2025-08-18 05:03:42 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-18 05:08:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-18 05:12:54 +0000doyougnu(~doyougnu@38.175.72.111) (Ping timeout: 252 seconds)
2025-08-18 05:15:16 +0000doyougnu(~doyougnu@38.175.72.111) doyougnu
2025-08-18 05:19:11 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-18 05:22:33 +0000takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-08-18 05:26:46 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-18 05:37:29 +0000michalz(~michalz@185.246.207.201)
2025-08-18 05:37:50 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-18 05:42:00 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-18 05:43:17 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds)
2025-08-18 05:53:12 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-18 05:54:00 +0000elbear(~lucian@109.166.131.102)
2025-08-18 05:54:38 +0000tromp(~textual@2001:1c00:3487:1b00:201b:3290:8403:7832)
2025-08-18 05:57:13 +0000haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-08-18 05:58:00 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-18 05:59:06 +0000tromp(~textual@2001:1c00:3487:1b00:201b:3290:8403:7832) (Ping timeout: 252 seconds)
2025-08-18 06:03:04 +0000werneta(~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 252 seconds)
2025-08-18 06:06:42 +0000Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-08-18 06:21:06 +0000elbear(~lucian@109.166.131.102) (Ping timeout: 252 seconds)
2025-08-18 06:29:53 +0000killy(~killy@terminal-3-187.retsat1.com.pl)
2025-08-18 06:34:14 +0000jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 252 seconds)
2025-08-18 06:35:00 +0000trickard(~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-18 06:35:13 +0000trickard_(~trickard@cpe-90-98-47-163.wireline.com.au)
2025-08-18 06:40:23 +0000wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-08-18 06:42:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-18 06:43:08 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Client Quit)
2025-08-18 06:44:34 +0000aforemny(~aforemny@i577B12AC.versanet.de) aforemny
2025-08-18 06:46:46 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-18 06:55:00 +0000trickard_trickard
2025-08-18 06:57:30 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-18 06:57:43 +0000LainIwakura(~LainIwaku@user/LainIwakura) LainIwakura
2025-08-18 07:00:03 +0000caconym747(~caconym@user/caconym) (Quit: bye)
2025-08-18 07:00:44 +0000caconym747(~caconym@user/caconym) caconym
2025-08-18 07:02:06 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-18 07:08:23 +0000LainIwakura(~LainIwaku@user/LainIwakura) (Ping timeout: 250 seconds)
2025-08-18 07:13:00 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-18 07:18:31 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-08-18 07:20:21 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-08-18 07:27:46 +0000acidjnk(~acidjnk@p200300d6e71719850d297f6dd8ae4055.dip0.t-ipconnect.de) acidjnk
2025-08-18 07:39:05 +0000elbear(~lucian@109.166.131.102)
2025-08-18 07:42:06 +0000wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-08-18 07:43:15 +0000LainIwakura(~LainIwaku@user/LainIwakura) LainIwakura
2025-08-18 07:43:43 +0000elbear(~lucian@109.166.131.102) (Ping timeout: 245 seconds)
2025-08-18 07:53:17 +0000Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-08-18 07:57:00 +0000__monty__(~toonn@user/toonn) toonn
2025-08-18 08:01:30 +0000merijn(~merijn@77.242.116.146) merijn
2025-08-18 08:05:15 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-08-18 08:08:46 +0000LainIwakura(~LainIwaku@user/LainIwakura) (Quit: Client closed)
2025-08-18 08:17:47 +0000elbear(~lucian@109.166.131.102)
2025-08-18 08:22:24 +0000elbear(~lucian@109.166.131.102) (Ping timeout: 252 seconds)
2025-08-18 08:23:00 +0000elbear(~lucian@109.166.131.102)
2025-08-18 08:33:43 +0000Vajb(~Vajb@n4ff0xajgx7huazq3a1-1.v6.elisa-mobile.fi) (Ping timeout: 245 seconds)
2025-08-18 08:35:53 +0000Vajb(~Vajb@n4ff0xajgx7huazq3a1-1.v6.elisa-mobile.fi)
2025-08-18 08:45:50 +0000LainIwakura(~LainIwaku@user/LainIwakura) LainIwakura
2025-08-18 08:55:32 +0000Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-08-18 09:00:36 +0000 <Square> Anyone have some input on the different protobuf libraries available (proto-lens, proto3-suite, protocol-buffers, etc)? Any recommendations?
2025-08-18 09:10:19 +0000chele(~chele@user/chele) chele
2025-08-18 09:10:25 +0000elbear(~lucian@109.166.131.102) (Ping timeout: 252 seconds)
2025-08-18 09:12:12 +0000elbear(~lucian@109.166.131.102)
2025-08-18 09:23:09 +0000econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2025-08-18 09:23:23 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2)
2025-08-18 09:27:55 +0000LainIwakura(~LainIwaku@user/LainIwakura) (Quit: Client closed)
2025-08-18 09:31:42 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-08-18 09:33:04 +0000ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-08-18 09:35:27 +0000tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Ping timeout: 260 seconds)
2025-08-18 09:36:13 +0000 <sshine> Square, prost
2025-08-18 09:36:19 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
2025-08-18 09:36:20 +0000ljdarj1ljdarj
2025-08-18 09:36:24 +0000 <sshine> Square, https://github.com/tokio-rs/prost
2025-08-18 09:37:00 +0000 <Square> sshine, Rust?
2025-08-18 09:37:05 +0000 <sshine> whoops
2025-08-18 09:37:08 +0000 <sshine> sorry, wrong channel :)
2025-08-18 09:37:39 +0000 <Square> =D
2025-08-18 09:37:54 +0000 <sshine> I'll just say that the cool thing about prost is that it generates a protobuf client based on a .proto file during build.
2025-08-18 09:38:36 +0000 <sshine> I haven't explored Haskell protobuf client libraries, but that is a very nice property, since it halves the amount of boilerplate you need.
2025-08-18 09:40:15 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-08-18 09:43:36 +0000poscat0x04(~poscat@user/poscat) poscat
2025-08-18 09:44:58 +0000poscat(~poscat@user/poscat) (Ping timeout: 245 seconds)
2025-08-18 09:49:34 +0000haskellbridge(~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection)
2025-08-18 09:53:26 +0000haskellbridge(~hackager@syn-096-028-224-214.res.spectrum.com) hackager
2025-08-18 09:53:26 +0000ChanServ+v haskellbridge
2025-08-18 09:55:54 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-08-18 10:02:45 +0000xff0x_(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds)
2025-08-18 10:04:28 +0000elbear(~lucian@109.166.131.102) (Ping timeout: 244 seconds)
2025-08-18 10:07:28 +0000athan(~athan@syn-174-106-168-248.res.spectrum.com) (Ping timeout: 245 seconds)
2025-08-18 10:28:17 +0000aruns(~aruns@user/aruns) (Quit: leaving)
2025-08-18 10:29:34 +0000eso(a0662dfd5e@2a03:6000:1812:100::1266) (Server closed connection)
2025-08-18 10:29:41 +0000eso(a0662dfd5e@2a03:6000:1812:100::1266) jeso
2025-08-18 10:40:43 +0000trickard(~trickard@cpe-90-98-47-163.wireline.com.au) (Ping timeout: 255 seconds)
2025-08-18 10:41:20 +0000trickard_(~trickard@cpe-90-98-47-163.wireline.com.au)
2025-08-18 10:52:53 +0000athan(~athan@syn-047-132-161-157.res.spectrum.com) athan
2025-08-18 10:53:01 +0000opencircuit(~quassel@154.94.15.139) (Changing host)
2025-08-18 10:53:01 +0000opencircuit(~quassel@user/opencircuit) opencircuit
2025-08-18 10:55:41 +0000elbear(~lucian@109.166.131.102)
2025-08-18 10:59:00 +0000trickard_trickard
2025-08-18 11:00:16 +0000elbear(~lucian@109.166.131.102) (Ping timeout: 244 seconds)
2025-08-18 11:00:45 +0000elbear(~lucian@109.166.131.102)
2025-08-18 11:04:07 +0000killy(~killy@terminal-3-187.retsat1.com.pl) (Ping timeout: 255 seconds)
2025-08-18 11:04:19 +0000ol0ck(~quassel@user/ol0ck) ol0ck
2025-08-18 11:07:47 +0000lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-08-18 11:08:23 +0000 <lxsameer> hey folks, is there a way to disable a certain STAN check globally in a project?
2025-08-18 11:10:49 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
2025-08-18 11:10:55 +0000killy(~killy@2.56.252.228)
2025-08-18 11:15:29 +0000killy(~killy@2.56.252.228) (Ping timeout: 260 seconds)
2025-08-18 11:16:14 +0000killy(~killy@terminal-3-187.retsat1.com.pl)
2025-08-18 11:21:06 +0000fp(~Thunderbi@wireless-86-50-140-217.open.aalto.fi) fp
2025-08-18 11:21:50 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-08-18 11:22:23 +0000ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-08-18 11:24:02 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-08-18 11:24:37 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds)
2025-08-18 11:25:39 +0000Lord_of_Life_Lord_of_Life
2025-08-18 11:26:17 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-08-18 11:26:17 +0000ljdarj1ljdarj
2025-08-18 11:27:48 +0000acidjnk_new(~acidjnk@p200300d6e71719055176e724d6006787.dip0.t-ipconnect.de)
2025-08-18 11:31:06 +0000acidjnk(~acidjnk@p200300d6e71719850d297f6dd8ae4055.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2025-08-18 11:41:17 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-08-18 11:48:05 +0000elbear(~lucian@109.166.131.102) (Ping timeout: 248 seconds)
2025-08-18 11:49:59 +0000raghavgururajan(ea769b8000@user/raghavgururajan) (Server closed connection)
2025-08-18 11:50:08 +0000raghavgururajan(ea769b8000@user/raghavgururajan) raghavgururajan
2025-08-18 11:53:12 +0000bheesham(3aa22d8375@2a03:6000:1812:100::e40) (Server closed connection)
2025-08-18 11:53:21 +0000bheesham(3aa22d8375@2a03:6000:1812:100::e40) bheesham
2025-08-18 12:01:11 +0000elbear(~lucian@109.166.131.102)
2025-08-18 12:11:10 +0000elbear(~lucian@109.166.131.102) (Ping timeout: 255 seconds)
2025-08-18 12:13:02 +0000trickard(~trickard@cpe-90-98-47-163.wireline.com.au) (Ping timeout: 252 seconds)
2025-08-18 12:13:57 +0000killy(~killy@terminal-3-187.retsat1.com.pl) (Quit: leaving)
2025-08-18 12:15:27 +0000trickard_(~trickard@cpe-90-98-47-163.wireline.com.au)
2025-08-18 12:19:49 +0000polux(~polux@51-15-169-172.rev.poneytelecom.eu) (Remote host closed the connection)
2025-08-18 12:21:46 +0000weary-traveler(~user@user/user363627) user363627
2025-08-18 12:33:59 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2025-08-18 12:36:40 +0000davidlbowman(~dlb@user/davidlbowman) davidlbowman
2025-08-18 12:39:04 +0000Square(~Square4@user/square) (Ping timeout: 252 seconds)
2025-08-18 12:51:36 +0000xff0x(~xff0x@2405:6580:b080:900:2aeb:7ff8:bc1c:8d32)
2025-08-18 12:53:24 +0000trickard_trickard
2025-08-18 13:06:44 +0000inline(~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) (Quit: Leaving)
2025-08-18 13:07:41 +0000Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-08-18 13:13:06 +0000haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2025-08-18 13:13:06 +0000haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2025-08-18 13:13:06 +0000haritz(~hrtz@user/haritz) haritz
2025-08-18 13:18:08 +0000ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-08-18 13:21:58 +0000trickard(~trickard@cpe-90-98-47-163.wireline.com.au) (Ping timeout: 252 seconds)
2025-08-18 13:22:01 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-08-18 13:22:01 +0000ljdarj1ljdarj
2025-08-18 13:22:46 +0000trickard_(~trickard@cpe-90-98-47-163.wireline.com.au)
2025-08-18 13:25:20 +0000ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-08-18 13:26:29 +0000evanrelf(3addc196af@2a03:6000:1812:100::f0) (Server closed connection)
2025-08-18 13:26:37 +0000evanrelf(3addc196af@2a03:6000:1812:100::f0) evanrelf
2025-08-18 13:27:12 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2025-08-18 13:27:28 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 252 seconds)
2025-08-18 13:29:40 +0000ystael(~ystael@user/ystael) ystael
2025-08-18 13:29:54 +0000mange(~mange@user/mange) (Remote host closed the connection)
2025-08-18 13:33:52 +0000inline(~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) Inline
2025-08-18 13:35:37 +0000trickard_(~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-18 13:35:55 +0000trickard_(~trickard@cpe-90-98-47-163.wireline.com.au)
2025-08-18 13:36:38 +0000img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-08-18 13:37:57 +0000img(~img@user/img) img
2025-08-18 13:38:50 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 272 seconds)
2025-08-18 13:42:34 +0000rprospero(eadde01e73@user/rprospero) (Server closed connection)
2025-08-18 13:42:43 +0000rprospero(eadde01e73@user/rprospero) rprospero
2025-08-18 13:50:46 +0000kuribas(~user@ptr-17d51eocpbkc495rgmi.18120a2.ip6.access.telenet.be) kuribas
2025-08-18 13:51:28 +0000merijn(~merijn@77.242.116.150) merijn
2025-08-18 13:55:18 +0000ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-08-18 14:01:46 +0000elbear(~lucian@109.166.131.102)
2025-08-18 14:05:48 +0000YoungFrog(~youngfrog@2a02:a03f:ca07:f900:7cbc:aef3:7637:77aa) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in)
2025-08-18 14:06:08 +0000YoungFrog(~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) youngfrog
2025-08-18 14:15:49 +0000trickard_trickard
2025-08-18 14:18:57 +0000trickard(~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-18 14:19:11 +0000trickard_(~trickard@cpe-90-98-47-163.wireline.com.au)
2025-08-18 14:20:07 +0000elbear(~lucian@109.166.131.102) (Ping timeout: 260 seconds)
2025-08-18 14:32:53 +0000trickard_trickard
2025-08-18 14:39:47 +0000hsw(~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) (Quit: Leaving)
2025-08-18 14:41:54 +0000L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-08-18 14:42:35 +0000L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-08-18 14:43:48 +0000trickard(~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-18 14:44:01 +0000trickard_(~trickard@cpe-90-98-47-163.wireline.com.au)
2025-08-18 14:45:07 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2025-08-18 14:47:36 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 244 seconds)
2025-08-18 14:49:20 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-08-18 14:50:17 +0000DavidSch__(~ds__38@ip-037-049-102-199.um09.pools.vodafone-ip.de)
2025-08-18 14:51:26 +0000L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-08-18 14:52:01 +0000L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-08-18 15:01:05 +0000trickard_trickard
2025-08-18 15:17:59 +0000Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-08-18 15:19:46 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2025-08-18 15:20:07 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2025-08-18 15:22:42 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2)
2025-08-18 15:31:56 +0000jkoshy(d3cabd0b63@user/jkoshy) (Server closed connection)
2025-08-18 15:32:04 +0000jkoshy(99b9359beb@user/jkoshy) jkoshy
2025-08-18 15:32:42 +0000eugenrh(~eugenrh@user/eugenrh) (Quit: WeeChat 3.8)
2025-08-18 15:42:29 +0000trickard(~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-18 15:42:43 +0000trickard_(~trickard@cpe-90-98-47-163.wireline.com.au)
2025-08-18 15:50:00 +0000chele(~chele@user/chele) (Remote host closed the connection)
2025-08-18 15:50:37 +0000polykernel_(~polykerne@user/polykernel) polykernel
2025-08-18 15:52:28 +0000polykernel(~polykerne@user/polykernel) (Ping timeout: 245 seconds)
2025-08-18 15:52:29 +0000polykernel_polykernel
2025-08-18 16:00:53 +0000simendsjo(34b0550437@2a03:6000:1812:100::1441) (Server closed connection)
2025-08-18 16:01:01 +0000simendsjo(34b0550437@2a03:6000:1812:100::1441) simendsjo
2025-08-18 16:02:42 +0000fp(~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Ping timeout: 244 seconds)
2025-08-18 16:07:51 +0000trickard_(~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-18 16:08:03 +0000trickard_(~trickard@cpe-90-98-47-163.wireline.com.au)
2025-08-18 16:13:04 +0000wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-08-18 16:19:05 +0000rustisafungus(~segfaultf@c-71-202-182-47.hsd1.ca.comcast.net)
2025-08-18 16:23:47 +0000merijn(~merijn@77.242.116.150) (Ping timeout: 260 seconds)
2025-08-18 16:30:25 +0000trickard_trickard
2025-08-18 16:31:59 +0000rustisafungus(~segfaultf@c-71-202-182-47.hsd1.ca.comcast.net) (Remote host closed the connection)
2025-08-18 16:38:02 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-08-18 16:39:53 +0000zenstoic(uid461840@id-461840.hampstead.irccloud.com) zenstoic
2025-08-18 16:44:46 +0000amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-08-18 16:45:12 +0000trickard(~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-18 16:45:30 +0000trickard_(~trickard@cpe-90-98-47-163.wireline.com.au)
2025-08-18 16:49:08 +0000cpli(77fc530071@2a03:6000:1812:100::252) (Server closed connection)
2025-08-18 16:49:16 +0000cpli(77fc530071@2a03:6000:1812:100::252) cpli
2025-08-18 16:55:48 +0000jle`(~jle`@2603:8001:3b00:11:4bae:4781:8d0b:3d40) (Ping timeout: 245 seconds)
2025-08-18 16:56:12 +0000jle`(~jle`@2603:8001:3b00:11:4bae:4781:8d0b:3d40) jle`
2025-08-18 17:05:39 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-08-18 17:11:39 +0000jackdk(uid373013@cssa/life/jackdk) (Quit: Connection closed for inactivity)
2025-08-18 17:14:08 +0000elbear(~lucian@109.166.131.102)
2025-08-18 17:16:37 +0000lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds)
2025-08-18 17:21:04 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-18 17:21:40 +0000weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-08-18 17:27:22 +0000Fijxu(~Fijxu@user/fijxu) (Quit: XD!!)
2025-08-18 17:27:25 +0000trickard_(~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-18 17:27:37 +0000trickard_(~trickard@cpe-90-98-47-163.wireline.com.au)
2025-08-18 17:31:09 +0000Fijxu(~Fijxu@user/fijxu) fijxu
2025-08-18 17:34:10 +0000fn_lumi(3d621153a5@2a03:6000:1812:100::df7) (Server closed connection)
2025-08-18 17:34:18 +0000fn_lumi(3d621153a5@2a03:6000:1812:100::df7) fn_lumi
2025-08-18 17:35:48 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2025-08-18 17:36:42 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2025-08-18 17:37:01 +0000marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2025-08-18 17:43:18 +0000davidlbowman(~dlb@user/davidlbowman) (Ping timeout: 272 seconds)
2025-08-18 17:47:51 +0000target_i(~target_i@user/target-i/x-6023099) target_i
2025-08-18 17:52:19 +0000 <yin> there has to be a more elegant way to write this: (Map.alter (Just . maybe 0 succ) k m)
2025-08-18 17:54:06 +0000vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 252 seconds)
2025-08-18 17:55:22 +0000 <DavidSch__> I'm currently learning Haskell. In tutorial (https://books.goalkicker.com/HaskellBook/ on electronic-page 18) they do a `import qualified Data.List.Ordered`, for which ghci 9.6 gives me an error 'Could not find module'. I see that the importable modules on my machine only contain `Data.List` and `Data.List.Nonempty`. So is `Data.List.Ordered` just an outdated thing, and can I simply use Data.List
2025-08-18 17:55:28 +0000 <DavidSch__> instead?
2025-08-18 17:55:32 +0000elbear(~lucian@109.166.131.102) (Read error: Connection reset by peer)
2025-08-18 17:56:02 +0000vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-08-18 17:56:39 +0000 <mauke> yin: step 1) use perl; step 2) $m{$k}++; step 3) ???
2025-08-18 17:58:28 +0000 <ncf> not sure about more elegant, but insertWith (const succ) 0 k m
2025-08-18 17:58:44 +0000 <mauke> DavidSch__: on the preceding page, "Sieve of Eratosthenes, using [data-ordlist] package:"
2025-08-18 17:58:56 +0000 <mauke> i.e. you'd have to install the package first
2025-08-18 17:59:20 +0000 <DavidSch__> you're right, just spotted it too, thanks!
2025-08-18 17:59:27 +0000 <ncf> er, swap 0 and k
2025-08-18 18:05:13 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-08-18 18:06:19 +0000 <kuribas> (const succ) is rather obfuscated.
2025-08-18 18:06:28 +0000 <dolio> mauke: ++ puts 0 in if it's not already in there?
2025-08-18 18:06:49 +0000 <kuribas> (\_new old -> succ old)
2025-08-18 18:06:55 +0000 <monochrom> I'm actually annoyed that it was not "maybe 1 succ".
2025-08-18 18:07:24 +0000 <EvanR> dirty dirty haskell code
2025-08-18 18:09:00 +0000Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-08-18 18:09:22 +0000kuribas(~user@ptr-17d51eocpbkc495rgmi.18120a2.ip6.access.telenet.be) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3))
2025-08-18 18:10:39 +0000jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-08-18 18:16:28 +0000euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-08-18 18:16:54 +0000davidlbowman(~dlb@user/davidlbowman) davidlbowman
2025-08-18 18:22:24 +0000euphores(~SASL_euph@user/euphores) euphores
2025-08-18 18:26:29 +0000trickard_(~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-18 18:26:43 +0000trickard_(~trickard@cpe-90-98-47-163.wireline.com.au)
2025-08-18 18:28:51 +0000akspecs(00cc8321af@sourcehut/user/akspecs) (Server closed connection)
2025-08-18 18:29:00 +0000akspecs(00cc8321af@sourcehut/user/akspecs) akspecs
2025-08-18 18:32:35 +0000Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-08-18 18:44:40 +0000lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-08-18 18:49:22 +0000 <mauke> dolio: oh, hmm. no, it increments from non-existence to 1
2025-08-18 18:49:40 +0000 <mauke> but you can probably compensate for that on the reading end :-)
2025-08-18 18:50:23 +0000 <dolio> Okay. I was prepared to be surprised.
2025-08-18 18:50:51 +0000 <dolio> If you start at 1 in Haskell, you can do `insertWith (+) k 1`
2025-08-18 18:54:16 +0000 <mauke> ooh, I feel evil coming up. sec ...
2025-08-18 18:55:36 +0000 <mauke> insertWith (const succ) k 0
2025-08-18 18:55:53 +0000 <mauke> oh, that's exactly what ncf said
2025-08-18 18:56:07 +0000trickard_(~trickard@cpe-90-98-47-163.wireline.com.au) (Ping timeout: 244 seconds)
2025-08-18 18:56:15 +0000 <mauke> never mind. not evil enough
2025-08-18 18:56:21 +0000trickard_(~trickard@cpe-90-98-47-163.wireline.com.au)
2025-08-18 19:00:01 +0000caconym747(~caconym@user/caconym) (Quit: bye)
2025-08-18 19:00:42 +0000caconym747(~caconym@user/caconym) caconym
2025-08-18 19:06:09 +0000lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds)
2025-08-18 19:13:53 +0000rselim(ce261f06ff@user/milesrout) (Server closed connection)
2025-08-18 19:14:02 +0000rselim(ce261f06ff@user/milesrout) milesrout
2025-08-18 19:15:45 +0000Astinita(~Astinita@user/Astinita) Astinita
2025-08-18 19:18:33 +0000euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-08-18 19:18:33 +0000JamesMowery17736(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Ping timeout (120 seconds))
2025-08-18 19:18:58 +0000JamesMowery17736(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery
2025-08-18 19:22:07 +0000Astinita(~Astinita@user/Astinita) (Quit: Astinita)
2025-08-18 19:23:13 +0000euphores(~SASL_euph@user/euphores) euphores
2025-08-18 19:28:50 +0000zenstoic(uid461840@id-461840.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2025-08-18 19:32:47 +0000trickard__(~trickard@cpe-92-98-47-163.wireline.com.au)
2025-08-18 19:34:14 +0000trickard_(~trickard@cpe-90-98-47-163.wireline.com.au) (Ping timeout: 260 seconds)
2025-08-18 19:36:10 +0000trickard__trickard
2025-08-18 19:38:44 +0000trickard(~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-18 19:39:03 +0000olivial(~benjaminl@user/benjaminl) (Ping timeout: 276 seconds)
2025-08-18 19:43:29 +0000trickard_(~trickard@cpe-92-98-47-163.wireline.com.au)
2025-08-18 19:48:18 +0000olivial(~benjaminl@user/benjaminl) benjaminl
2025-08-18 19:49:45 +0000sprotte24(~sprotte24@p200300d16f3c02004c6fd6261a7ab142.dip0.t-ipconnect.de)
2025-08-18 19:53:31 +0000Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-08-18 19:59:24 +0000mreh(~matthew@host86-146-25-68.range86-146.btcentralplus.com) mreh
2025-08-18 19:59:59 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-18 20:07:12 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-18 20:07:13 +0000 <mreh> If I've removed this flag `system-glfw` from my stack project, shouldn't GHC build the C sources in this project? https://hackage.haskell.org/package/bindings-GLFW-3.3.9.2/src/bindings-GLFW.cabal
2025-08-18 20:07:29 +0000 <mreh> package, not project
2025-08-18 20:08:00 +0000 <mreh> I think my system package was updated at some point, so it just hangs now
2025-08-18 20:09:47 +0000trickard_(~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-18 20:09:59 +0000trickard_(~trickard@cpe-92-98-47-163.wireline.com.au)
2025-08-18 20:11:54 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Read error: Connection reset by peer)
2025-08-18 20:12:09 +0000ouilemur(~jgmerritt@user/ouilemur) (Ping timeout: 252 seconds)
2025-08-18 20:12:16 +0000euphores(~SASL_euph@user/euphores) (Ping timeout: 252 seconds)
2025-08-18 20:13:00 +0000euphores(~SASL_euph@user/euphores) euphores
2025-08-18 20:13:48 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-08-18 20:14:27 +0000ouilemur(~jgmerritt@user/ouilemur) ouilemur
2025-08-18 20:15:56 +0000trickard_(~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-18 20:16:02 +0000ouilemur(~jgmerritt@user/ouilemur) (Max SendQ exceeded)
2025-08-18 20:16:17 +0000Tuplanolla1(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2025-08-18 20:17:29 +0000davl_(~davl@207.154.228.18) davl
2025-08-18 20:17:55 +0000ouilemur(~jgmerritt@user/ouilemur) ouilemur
2025-08-18 20:19:43 +0000ouilemur(~jgmerritt@user/ouilemur) (Max SendQ exceeded)
2025-08-18 20:19:55 +0000 <geekosaur> it should, yes
2025-08-18 20:20:30 +0000Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 252 seconds)
2025-08-18 20:20:30 +0000davl(~davl@207.154.228.18) (Ping timeout: 252 seconds)
2025-08-18 20:20:41 +0000trickard_(~trickard@cpe-92-98-47-163.wireline.com.au)
2025-08-18 20:20:42 +0000davidlbowman(~dlb@user/davidlbowman) (*.net *.split)
2025-08-18 20:20:42 +0000target_i(~target_i@user/target-i/x-6023099) (*.net *.split)
2025-08-18 20:20:42 +0000DavidSch__(~ds__38@ip-037-049-102-199.um09.pools.vodafone-ip.de) (*.net *.split)
2025-08-18 20:20:42 +0000pointlessslippe1(~pointless@62.106.85.17) (*.net *.split)
2025-08-18 20:20:42 +0000piele(~piele@eiseth.creativeserver.net) (*.net *.split)
2025-08-18 20:20:42 +0000Philonous(~Philonous@user/philonous) (*.net *.split)
2025-08-18 20:20:42 +0000tv(~tv@user/tv) (*.net *.split)
2025-08-18 20:20:42 +0000rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (*.net *.split)
2025-08-18 20:20:42 +0000danso(~danso@user/danso) (*.net *.split)
2025-08-18 20:20:42 +0000cross(~cross@spitfire.i.gajendra.net) (*.net *.split)
2025-08-18 20:20:42 +0000j0lol(~j0lol@132.145.17.236) (*.net *.split)
2025-08-18 20:20:42 +0000dolio(~dolio@130.44.140.168) (*.net *.split)
2025-08-18 20:20:42 +0000potatoe(~potatoe@157-131-120-242.fiber.dynamic.sonic.net) (*.net *.split)
2025-08-18 20:20:42 +0000wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) (*.net *.split)
2025-08-18 20:20:43 +0000Ikosit(~Ikosit@user/ikosit) (*.net *.split)
2025-08-18 20:20:43 +0000bgamari(~bgamari@64.223.225.237) (*.net *.split)
2025-08-18 20:20:43 +0000distopico(~cerdolibr@xvm-111-150.dc2.ghst.net) (*.net *.split)
2025-08-18 20:20:43 +0000shr\ke(~shrike@user/shrke:31298) (*.net *.split)
2025-08-18 20:20:43 +0000sm(~znc@plaintextaccounting/sm) (*.net *.split)
2025-08-18 20:20:43 +0000sajith(~sajith@user/sajith) (*.net *.split)
2025-08-18 20:20:43 +0000cjay(cjay@nerdbox.nerd2nerd.org) (*.net *.split)
2025-08-18 20:20:43 +0000yin(~zero@user/zero) (*.net *.split)
2025-08-18 20:20:43 +0000kaskal(~kaskal@84-115-230-9.cable.dynamic.surfer.at) (*.net *.split)
2025-08-18 20:20:43 +0000pie_(~pie_bnc@user/pie/x-2818909) (*.net *.split)
2025-08-18 20:20:43 +0000mrvdb(~mrvdb@185.92.221.186) (*.net *.split)
2025-08-18 20:20:43 +0000Eoco(~ian@128.101.131.218) (*.net *.split)
2025-08-18 20:20:44 +0000Ram-Z(~Ram-Z@li1814-254.members.linode.com) (*.net *.split)
2025-08-18 20:20:44 +0000red-snail(~red-snail@static.151.210.203.116.clients.your-server.de) (*.net *.split)
2025-08-18 20:20:44 +0000Hecate(~mariposa@user/hecate) (*.net *.split)
2025-08-18 20:20:44 +0000nurupo(~nurupo.ga@user/nurupo) (*.net *.split)
2025-08-18 20:20:44 +0000dostoyevsky2(~sck@user/dostoyevsky2) (*.net *.split)
2025-08-18 20:21:02 +0000nurupo(~nurupo.ga@user/nurupo) nurupo
2025-08-18 20:21:08 +0000trickard_trickard
2025-08-18 20:23:54 +0000dostoyev1ky2(~sck@user/dostoyevsky2) dostoyevsky2
2025-08-18 20:23:55 +0000dostoyev1ky2(~sck@user/dostoyevsky2) (Client Quit)
2025-08-18 20:25:54 +0000 <mreh> geekosaur: I had to unregister the package (it's managed by stack) with `stack exec -- ghc-pkg` to get it to rebuild
2025-08-18 20:26:27 +0000davidlbowman(~dlb@user/davidlbowman) davidlbowman
2025-08-18 20:26:27 +0000target_i(~target_i@user/target-i/x-6023099) target_i
2025-08-18 20:26:27 +0000DavidSch__(~ds__38@ip-037-049-102-199.um09.pools.vodafone-ip.de)
2025-08-18 20:26:27 +0000pointlessslippe1(~pointless@62.106.85.17) pointlessslippe1
2025-08-18 20:26:27 +0000piele(~piele@eiseth.creativeserver.net) piele
2025-08-18 20:26:27 +0000Philonous(~Philonous@user/philonous) Philonous
2025-08-18 20:26:27 +0000tv(~tv@user/tv) tv
2025-08-18 20:26:27 +0000rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft
2025-08-18 20:26:27 +0000danso(~danso@user/danso) danso
2025-08-18 20:26:27 +0000cross(~cross@spitfire.i.gajendra.net) cross
2025-08-18 20:26:27 +0000j0lol(~j0lol@132.145.17.236) j0lol
2025-08-18 20:26:27 +0000dolio(~dolio@130.44.140.168) dolio
2025-08-18 20:26:27 +0000potatoe(~potatoe@157-131-120-242.fiber.dynamic.sonic.net)
2025-08-18 20:26:27 +0000wbrawner(~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner
2025-08-18 20:26:27 +0000Ikosit(~Ikosit@user/ikosit) Ikosit
2025-08-18 20:26:27 +0000bgamari(~bgamari@64.223.225.237) bgamari
2025-08-18 20:26:27 +0000distopico(~cerdolibr@xvm-111-150.dc2.ghst.net) distopico
2025-08-18 20:26:27 +0000shr\ke(~shrike@user/shrke:31298) shr\ke
2025-08-18 20:26:27 +0000sm(~znc@plaintextaccounting/sm) sm
2025-08-18 20:26:27 +0000sajith(~sajith@user/sajith) sajith
2025-08-18 20:26:27 +0000cjay(cjay@nerdbox.nerd2nerd.org) cjay
2025-08-18 20:26:27 +0000yin(~zero@user/zero) zero
2025-08-18 20:26:27 +0000kaskal(~kaskal@84-115-230-9.cable.dynamic.surfer.at) kaskal
2025-08-18 20:26:27 +0000pie_(~pie_bnc@user/pie/x-2818909) __
2025-08-18 20:26:27 +0000mrvdb(~mrvdb@185.92.221.186) mrvdb
2025-08-18 20:26:27 +0000Eoco(~ian@128.101.131.218) Eoco
2025-08-18 20:26:27 +0000Ram-Z(~Ram-Z@li1814-254.members.linode.com) Ram-Z
2025-08-18 20:26:27 +0000red-snail(~red-snail@static.151.210.203.116.clients.your-server.de) red-snail
2025-08-18 20:26:27 +0000Hecate(~mariposa@user/hecate) Hecate
2025-08-18 20:26:27 +0000dostoyevsky2(~sck@user/dostoyevsky2) dostoyevsky2
2025-08-18 20:26:31 +0000 <mreh> compiled a little to quickly for my liking... I'm just wondering if something odd is going on
2025-08-18 20:26:47 +0000ouilemur(~jgmerritt@user/ouilemur) ouilemur
2025-08-18 20:26:58 +0000 <geekosaur> sounds like possibly a stack bug
2025-08-18 20:27:00 +0000dostoyev1ky2(~sck@user/dostoyevsky2) dostoyevsky2
2025-08-18 20:27:02 +0000dostoyev1ky2(~sck@user/dostoyevsky2) (Client Quit)
2025-08-18 20:27:42 +0000dostoyevsky2(~sck@user/dostoyevsky2) (Quit: leaving)
2025-08-18 20:28:00 +0000 <geekosaur> cabal's build hash incorporates package flags iirc because of things like this, but stack does its own thing there
2025-08-18 20:28:20 +0000dostoyevsky2(~sck@user/dostoyevsky2) dostoyevsky2
2025-08-18 20:28:52 +0000 <mreh> it is building haskell sources, but GLFW (the c library) should take a while to compile in my experience
2025-08-18 20:29:35 +0000 <mreh> I wonder if there's something I can nuke to fix it
2025-08-18 20:30:20 +0000 <geekosaur> dunno. try in #haskell-stack?
2025-08-18 20:31:19 +0000 <mreh> yeah, okay, it's more of a stack thing I guess, thanks though
2025-08-18 20:32:06 +0000trickard(~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-18 20:32:18 +0000trickard(~trickard@cpe-92-98-47-163.wireline.com.au)
2025-08-18 20:33:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-18 20:37:56 +0000cross(~cross@spitfire.i.gajendra.net) (Max SendQ exceeded)
2025-08-18 20:38:00 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-18 20:38:04 +0000MyNetAz(~MyNetAz@95.216.142.242)
2025-08-18 20:40:38 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-18 20:40:47 +0000ell(~ellie@user/ellie) (Quit: Ping timeout (120 seconds))
2025-08-18 20:43:30 +0000cross(~cross@spitfire.i.gajendra.net) cross
2025-08-18 20:46:12 +0000ell(~ellie@user/ellie) ellie
2025-08-18 20:48:11 +0000omniman13(~omniman@user/omniman) omniman
2025-08-18 20:48:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-18 20:50:12 +0000target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-08-18 20:53:04 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-18 21:00:22 +0000trickard(~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-18 21:00:35 +0000trickard_(~trickard@cpe-92-98-47-163.wireline.com.au)
2025-08-18 21:02:51 +0000jackdk(uid373013@cssa/life/jackdk) jackdk
2025-08-18 21:04:12 +0000ell(~ellie@user/ellie) (Quit: Ping timeout (120 seconds))
2025-08-18 21:04:38 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2025-08-18 21:05:54 +0000amadaluzia(~amadaluzi@user/amadaluzia) (Quit: ZNC 1.9.1 - https://znc.in)
2025-08-18 21:07:08 +0000ell(~ellie@user/ellie) ellie
2025-08-18 21:07:17 +0000Square2(~Square@user/square) Square
2025-08-18 21:08:00 +0000michalz(~michalz@185.246.207.201) (Remote host closed the connection)
2025-08-18 21:09:41 +0000fvr(ef3e56ca8b@2a03:6000:1812:100::3c4) (Server closed connection)
2025-08-18 21:09:50 +0000fvr(ef3e56ca8b@2a03:6000:1812:100::3c4) fvr
2025-08-18 21:19:40 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-18 21:20:23 +0000ell(~ellie@user/ellie) (Quit: Ping timeout (120 seconds))
2025-08-18 21:20:47 +0000takuan(~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
2025-08-18 21:24:08 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-18 21:24:55 +0000athan(~athan@syn-047-132-161-157.res.spectrum.com) (Ping timeout: 244 seconds)
2025-08-18 21:24:55 +0000fgarcia(~lei@user/fgarcia) (Ping timeout: 244 seconds)
2025-08-18 21:33:17 +0000trickard_(~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-18 21:33:30 +0000trickard_(~trickard@cpe-92-98-47-163.wireline.com.au)
2025-08-18 21:35:02 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-18 21:35:12 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-08-18 21:36:57 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds)
2025-08-18 21:37:19 +0000euphores(~SASL_euph@user/euphores) (Ping timeout: 244 seconds)
2025-08-18 21:39:41 +0000 <sshine> I'm going to fuck with my students: my project description PDFs come with a white-on-white text section at the giving some prompting advice, like all comments should be written in uppercase using a fake dutch accent, and the prompter should be addressed as CAPTAIN. I'm not sure what else to add, but I've concluded that: selecting the white-on-white text doesn't reveal the text in my PDF viewer, and
2025-08-18 21:39:47 +0000 <sshine> ChatGPT does indeed read those sections (so extracting the text rather than OCR'ing).
2025-08-18 21:42:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-18 21:44:50 +0000 <monochrom> Hee hee nice
2025-08-18 21:45:37 +0000 <monochrom> But how does one write in an accent? :)
2025-08-18 21:49:23 +0000trickard_(~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-18 21:49:48 +0000omniman13(~omniman@user/omniman) (Quit: Client closed)
2025-08-18 21:52:06 +0000trickard_(~trickard@cpe-92-98-47-163.wireline.com.au)
2025-08-18 21:53:03 +0000 <int-e> monochrom: w̵̸̴̢̖͖̻͙̠̠̯̱̐̽̔͑ͧ̍̉ͤ͟͜͡͞ȩ̐̈́́̋ͭ̅̆̈҉̵̨̨̛͍̞̞̮̜̫̦̀͠ͅî̵̸̒ͫ̑ͦͮ̋̌͏̧̡̙̰̟̱̟̩̫͔͝͡͡r̴̢̢̉̽̊́̉ͬͩ́̚͜͠͏̛̠̯̼͖̜̻͔ͅd̵̴̨̛̦͎̱͖̞̦͍̩͑ͧͧͮ̍ͪ̔ͧ́͞͠͞...
2025-08-18 21:53:07 +0000 <int-e> ...̸̶̵̢̛̱̹͕̖̪͕̰̳̊͛̿̒̊̓̇ͯ͢͢͜a̴̷̢̘̳̼̲͚͈͇̯͒ͮ̃͋ͤ͗ͪͣ͘͠͠͝͡c̵̡ͤ̊̓̔̋̏ͮ̿̕͝͞͏͏̧̲̭͎͔̫͖͕̮c̵̴̡̧͑ͩͥͫ̓͊͊͑͏̷͇̖͍͔͎̺̻̟̕͘ę̶̸̵̩̖̟̺̟̲ͫͩ̾ͥ̒ͥͩ̉̕͜͞͝ͅͅṇ̨̧̢̣̣̼̟̻̰̙̋̿ͧ̋͋̇̀̀̀̚͜͝͝t̷̶̢̛̛̒̽ͧͮ͒͑ͫ̔͝҉̡̭̜͍͙̫͓͓̖
2025-08-18 21:54:08 +0000 <inline> rerolling the hyeroglyphs ?
2025-08-18 21:54:11 +0000 <inline> lol
2025-08-18 21:54:12 +0000 <int-e> (the zalgo wave kind of died)
2025-08-18 21:54:29 +0000 <inline> what was that ?
2025-08-18 21:54:40 +0000 <inline> zalgo ?
2025-08-18 21:54:45 +0000 <inline> z-algo ?
2025-08-18 21:54:53 +0000 <int-e> inline: it's just spamming combining characters on top of letters
2025-08-18 21:55:25 +0000 <monochrom> haha
2025-08-18 21:55:27 +0000 <int-e> https://en.wikipedia.org/wiki/Zalgo_text
2025-08-18 21:55:51 +0000 <inline> ah
2025-08-18 21:56:21 +0000 <sshine> I'm reminded of this stackoverflow post: https://stackoverflow.com/questions/1732348/regex-match-open-tags-except-xhtml-self-contained-tags…
2025-08-18 21:58:51 +0000trickard_trickard
2025-08-18 22:10:48 +0000alethkit(23bd17ddc6@sourcehut/user/alethkit) (Server closed connection)
2025-08-18 22:10:57 +0000alethkit(23bd17ddc6@sourcehut/user/alethkit) alethkit
2025-08-18 22:14:50 +0000athan(~athan@syn-174-106-168-248.res.spectrum.com) athan
2025-08-18 22:17:14 +0000ajrdck(e0a4b72d53@user/ajrdck) (Server closed connection)
2025-08-18 22:17:22 +0000ajrdck(e0a4b72d53@user/ajrdck) ajrdck
2025-08-18 22:18:55 +0000weary-traveler(~user@user/user363627) user363627
2025-08-18 22:20:27 +0000thatonelutenist(8216c46202@2a03:6000:1812:100::fb3) (Server closed connection)
2025-08-18 22:20:35 +0000thatonelutenist(8216c46202@2a03:6000:1812:100::fb3) thatonelutenist
2025-08-18 22:22:26 +0000emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-08-18 22:22:54 +0000 <pavonia> I kan iesily write wis a Görman aksent!
2025-08-18 22:32:27 +0000DavidSch__(~ds__38@ip-037-049-102-199.um09.pools.vodafone-ip.de) (Quit: Lost terminal)
2025-08-18 22:42:46 +0000trickard__(~trickard@cpe-80-98-47-163.wireline.com.au)
2025-08-18 22:42:53 +0000trickard(~trickard@cpe-92-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
2025-08-18 22:45:48 +0000samhh_(7569f027cf@2a03:6000:1812:100::e4) (Ping timeout: 245 seconds)
2025-08-18 22:45:48 +0000malte(~malte@mal.tc) (Ping timeout: 245 seconds)
2025-08-18 22:46:38 +0000samhh(7569f027cf@2a03:6000:1812:100::e4) (Ping timeout: 245 seconds)
2025-08-18 22:47:27 +0000malte(~malte@mal.tc) malte
2025-08-18 22:47:28 +0000exfalsoquodlibet(a7085e0f71@user/exfalsoquodlibet) (Ping timeout: 245 seconds)
2025-08-18 22:47:55 +0000samhh(7569f027cf@2a03:6000:1812:100::e4) samhh
2025-08-18 22:48:29 +0000exfalsoquodlibet(a7085e0f71@user/exfalsoquodlibet) exfalsoquodlibet
2025-08-18 22:49:08 +0000samhh_(7569f027cf@2a03:6000:1812:100::e4) samhh
2025-08-18 22:49:43 +0000trickard__trickard
2025-08-18 22:58:42 +0000acidjnk_new(~acidjnk@p200300d6e71719055176e724d6006787.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2025-08-18 22:58:53 +0000eugenrh(~eugenrh@user/eugenrh) eugenrh
2025-08-18 22:58:57 +0000xff0x(~xff0x@2405:6580:b080:900:2aeb:7ff8:bc1c:8d32) (Quit: xff0x)
2025-08-18 22:59:46 +0000xstill_(xstill@fimu/xstill) (Remote host closed the connection)
2025-08-18 23:01:56 +0000xff0x(~xff0x@2405:6580:b080:900:3923:d09:d1d1:4fa1)
2025-08-18 23:02:03 +0000AlexZenon(~alzenon@94.233.241.200) (Ping timeout: 244 seconds)
2025-08-18 23:07:27 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-08-18 23:12:33 +0000Sgeo(~Sgeo@user/sgeo) Sgeo
2025-08-18 23:13:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-18 23:15:42 +0000AlexZenon(~alzenon@94.233.241.200)
2025-08-18 23:18:18 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-18 23:25:43 +0000trickard(~trickard@cpe-80-98-47-163.wireline.com.au) (Ping timeout: 255 seconds)
2025-08-18 23:26:03 +0000trickard_(~trickard@cpe-80-98-47-163.wireline.com.au)
2025-08-18 23:29:23 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-18 23:34:00 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-18 23:34:52 +0000mreh(~matthew@host86-146-25-68.range86-146.btcentralplus.com) (Ping timeout: 260 seconds)
2025-08-18 23:41:33 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-18 23:44:46 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-18 23:46:58 +0000Sgeo(~Sgeo@user/sgeo) (Quit: Leaving)
2025-08-18 23:47:24 +0000Sgeo(~Sgeo@user/sgeo) Sgeo
2025-08-18 23:47:39 +0000trickard_trickard
2025-08-18 23:49:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-18 23:53:19 +0000JamesMowery17736(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye)
2025-08-18 23:55:35 +0000JamesMowery17736(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery
2025-08-18 23:56:13 +0000peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2025-08-18 23:58:20 +0000sprotte24(~sprotte24@p200300d16f3c02004c6fd6261a7ab142.dip0.t-ipconnect.de) (Read error: Connection reset by peer)