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