| 2025-01-25 00:01:08 +0000 | <hellwolf> | I actually found it |
| 2025-01-25 00:01:57 +0000 | <hellwolf> | just need to use TH.tupleT |
| 2025-01-25 00:02:03 +0000 | <hellwolf> | which kinda makes sense. |
| 2025-01-25 00:02:27 +0000 | <hellwolf> | although the TH.instanceD uses a list, which looked easier. |
| 2025-01-25 00:06:19 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 00:07:23 +0000 | aspen | (sid449115@id-449115.helmsley.irccloud.com) (Server closed connection) |
| 2025-01-25 00:07:28 +0000 | <hellwolf> | that makes me want to rewrite some of my instances' TH to use quotation form... looks much nicer |
| 2025-01-25 00:07:34 +0000 | aspen | (sid449115@id-449115.helmsley.irccloud.com) aspen |
| 2025-01-25 00:08:29 +0000 | dsrt^ | (~dsrt@108.192.66.114) |
| 2025-01-25 00:10:54 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 00:11:02 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 00:11:13 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-01-25 00:15:15 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 00:15:21 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-25 00:19:45 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-25 00:22:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 00:24:23 +0000 | bradparker | (sid262931@id-262931.uxbridge.irccloud.com) (Server closed connection) |
| 2025-01-25 00:24:38 +0000 | bradparker | (sid262931@id-262931.uxbridge.irccloud.com) bradparker |
| 2025-01-25 00:28:38 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 00:31:09 +0000 | <hellwolf> | well, another haskell trvia: the maximum TupleN that has a Show instance is N=15 ... per https://hackage.haskell.org/package/ghc-internal-9.1201.0/docs/src/GHC.Internal.Show.html#line-328 |
| 2025-01-25 00:31:52 +0000 | <hellwolf> | I just found out. Since I have been supporting TupleN up to 64 |
| 2025-01-25 00:31:53 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2025-01-25 00:31:55 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-25 00:31:58 +0000 | <c_wraith> | yeah, the spec doesn't require instances very far. GHC exceeds the requirements. The spec requires that 63-tuples exist, but not that they have instances |
| 2025-01-25 00:32:18 +0000 | <hellwolf> | what is the "spec" do you mean? |
| 2025-01-25 00:32:29 +0000 | <c_wraith> | Haskell 2010 |
| 2025-01-25 00:32:35 +0000 | <hellwolf> | interesting |
| 2025-01-25 00:32:59 +0000 | <hellwolf> | people really don't like TH, I guess. |
| 2025-01-25 00:33:13 +0000 | <hellwolf> | but TH is noticeably slow indeed. |
| 2025-01-25 00:33:16 +0000 | <geekosaur> | tbh anything beyond 2 or possibly 3 (term level) is generally a bad idea |
| 2025-01-25 00:34:43 +0000 | <hellwolf> | I am tempted to agree. |
| 2025-01-25 00:35:18 +0000 | <geekosaur> | you almost always want a named record for anything bigger, just to keep things straight |
| 2025-01-25 00:35:40 +0000 | <hellwolf> | but typing a :* b :* c :* Nil is more awkward then (a,b,c). And I wish tuple typed as NP is more native. |
| 2025-01-25 00:36:13 +0000 | <hellwolf> | I don't disagree. I am just pushing envelopes here and see what happens. |
| 2025-01-25 00:37:14 +0000 | <hellwolf> | if it's typed as NP, there is no reason for Tuple to exist as a type. Am I missing something? |
| 2025-01-25 00:37:48 +0000 | <hellwolf> | I am supporting TupleN simply for human's sake |
| 2025-01-25 00:40:07 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 00:45:07 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 00:50:23 +0000 | gaze__ | (sid387101@id-387101.helmsley.irccloud.com) (Server closed connection) |
| 2025-01-25 00:50:34 +0000 | gaze__ | (sid387101@id-387101.helmsley.irccloud.com) gaze__ |
| 2025-01-25 00:55:55 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 00:59:38 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 01:00:54 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 01:03:07 +0000 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2025-01-25 01:03:55 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-25 01:08:33 +0000 | acidjnk | (~acidjnk@p200300d6e7283f4988944b924ab82f58.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-25 01:11:42 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 01:14:07 +0000 | sprotte24 | (~sprotte24@p200300d16f121000c5109c58f26764fc.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-25 01:15:06 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 01:16:54 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-25 01:18:53 +0000 | edmundnoble_ | (sid229620@id-229620.helmsley.irccloud.com) (Server closed connection) |
| 2025-01-25 01:19:04 +0000 | edmundnoble_ | (sid229620@id-229620.helmsley.irccloud.com) edmundnoble_ |
| 2025-01-25 01:19:49 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 260 seconds) |
| 2025-01-25 01:24:58 +0000 | otto_s | (~user@p5de2f982.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-01-25 01:26:57 +0000 | otto_s | (~user@p5de2f342.dip0.t-ipconnect.de) |
| 2025-01-25 01:27:30 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 01:32:25 +0000 | nckx | (nckx@libera/staff/owl/nckx) (Ping timeout: 608 seconds) |
| 2025-01-25 01:32:39 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-25 01:33:45 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 01:35:57 +0000 | forell | (~forell@user/forell) (Ping timeout: 244 seconds) |
| 2025-01-25 01:37:18 +0000 | forell | (~forell@user/forell) forell |
| 2025-01-25 01:38:53 +0000 | mustafa | (sid502723@rockylinux/releng/mustafa) (Server closed connection) |
| 2025-01-25 01:39:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-25 01:39:04 +0000 | mustafa | (sid502723@rockylinux/releng/mustafa) mustafa |
| 2025-01-25 01:44:35 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-01-25 01:47:12 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-25 01:49:03 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 01:49:27 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 01:53:39 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-01-25 01:53:39 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-01-25 01:54:26 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 02:04:42 +0000 | ft | (~ft@p508db1ba.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-25 02:05:15 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 02:06:21 +0000 | ft | (~ft@p3e9bcfa2.dip0.t-ipconnect.de) ft |
| 2025-01-25 02:09:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-25 02:14:53 +0000 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) (Server closed connection) |
| 2025-01-25 02:15:04 +0000 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) taktoa[c] |
| 2025-01-25 02:21:00 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 02:21:01 +0000 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 2025-01-25 02:22:13 +0000 | hsw | (~hsw@112-104-8-145.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
| 2025-01-25 02:22:32 +0000 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) hsw |
| 2025-01-25 02:25:58 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 02:31:15 +0000 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2025-01-25 02:32:47 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 02:36:47 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 02:37:20 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-25 02:37:27 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 02:39:32 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 2025-01-25 02:41:34 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-25 02:41:59 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-25 02:47:31 +0000 | penteract | (~toby@blbn-12-b2-v4wan-167809-cust345.vm18.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2025-01-25 02:51:42 +0000 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2025-01-25 02:52:02 +0000 | xff0x | (~xff0x@2405:6580:b080:900:2b3c:b3c3:f979:5337) (Ping timeout: 248 seconds) |
| 2025-01-25 02:52:35 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 02:58:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-25 02:59:55 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 03:04:15 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 2025-01-25 03:05:06 +0000 | xff0x | (~xff0x@2405:6580:b080:900:2b3c:b3c3:f979:5337) |
| 2025-01-25 03:08:22 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 03:15:19 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-25 03:15:56 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-25 03:18:28 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 03:20:54 +0000 | <haskellbridge> | <thirdofmay18081814goya> any good readings on async, maybe how it can be interpreted monadically? |
| 2025-01-25 03:22:58 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 2025-01-25 03:23:50 +0000 | <haskellbridge> | <thirdofmay18081814goya> i guess it can be interpreted in a state monad that accounts for whether a value has returned at each tick (tick being defined however it might be meaningful in a given context) |
| 2025-01-25 03:24:33 +0000 | <geekosaur> | @where parconc |
| 2025-01-25 03:24:33 +0000 | <lambdabot> | https://www.safaribooksonline.com/library/view/parallel-and-concurrent/9781449335939/ |
| 2025-01-25 03:26:25 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 03:26:46 +0000 | g00gler | (uid125351@id-125351.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-25 03:26:51 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 03:27:11 +0000 | <haskellbridge> | <thirdofmay18081814goya> ah will give that a read, ty (also state monad is not a good idea because we don't do update) |
| 2025-01-25 03:27:48 +0000 | <haskellbridge> | <thirdofmay18081814goya> the real world does so we're in IO somewhere |
| 2025-01-25 03:30:57 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-01-25 03:30:58 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-25 03:40:40 +0000 | <geekosaur> | if we're talking about the same async, (a) it has to be in IO to start threads (b) it does keep "state" (thread status) |
| 2025-01-25 03:41:49 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 03:42:00 +0000 | terrorjack45 | (~terrorjac@2a01:4f8:c17:a66e::) (Quit: The Lounge - https://thelounge.chat) |
| 2025-01-25 03:42:53 +0000 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) (Server closed connection) |
| 2025-01-25 03:42:59 +0000 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) ggb |
| 2025-01-25 03:43:41 +0000 | terrorjack45 | (~terrorjac@2a01:4f8:c17:a66e::) terrorjack |
| 2025-01-25 03:43:43 +0000 | <haskellbridge> | <thirdofmay18081814goya> hm right |
| 2025-01-25 03:44:17 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-01-25 03:46:45 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-25 03:55:23 +0000 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) (Server closed connection) |
| 2025-01-25 03:55:30 +0000 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) evanrelf |
| 2025-01-25 03:56:18 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-25 03:57:32 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 04:00:23 +0000 | probie | (cc0b34050a@user/probie) (Server closed connection) |
| 2025-01-25 04:00:31 +0000 | probie | (cc0b34050a@user/probie) probie |
| 2025-01-25 04:00:56 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 04:02:24 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 04:02:42 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-01-25 04:03:53 +0000 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) (Server closed connection) |
| 2025-01-25 04:04:02 +0000 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) l3gacyb3ta |
| 2025-01-25 04:05:09 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 2025-01-25 04:13:18 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 04:15:36 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 04:18:38 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-25 04:19:51 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-01-25 04:23:13 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 04:23:23 +0000 | jakzale | (6291399afa@user/jakzale) (Server closed connection) |
| 2025-01-25 04:23:31 +0000 | jakzale | (6291399afa@user/jakzale) jakzale |
| 2025-01-25 04:24:23 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) (Server closed connection) |
| 2025-01-25 04:24:31 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) whereiseveryone |
| 2025-01-25 04:27:54 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-25 04:32:32 +0000 | aforemny | (~aforemny@2001:9e8:6cc1:a100:8787:3cb3:35e4:a6f8) aforemny |
| 2025-01-25 04:33:23 +0000 | aforemny_ | (~aforemny@i59F4C565.versanet.de) (Ping timeout: 244 seconds) |
| 2025-01-25 04:34:28 +0000 | euleritian | (~euleritia@dynamic-176-004-179-180.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-25 04:34:45 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-25 04:35:53 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Server closed connection) |
| 2025-01-25 04:36:01 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) shreyasminocha |
| 2025-01-25 04:38:59 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 04:39:02 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 04:40:55 +0000 | manwithluck | (~manwithlu@194.177.28.164) (Ping timeout: 244 seconds) |
| 2025-01-25 04:43:28 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-25 04:46:01 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 04:56:54 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 05:00:50 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-25 05:01:38 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds) |
| 2025-01-25 05:01:44 +0000 | tnt2 | tnt1 |
| 2025-01-25 05:02:08 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-25 05:02:23 +0000 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) (Server closed connection) |
| 2025-01-25 05:02:31 +0000 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) aniketd |
| 2025-01-25 05:04:00 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 05:07:01 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-25 05:07:07 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 05:08:29 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-01-25 05:08:55 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-01-25 05:08:55 +0000 | tnt2 | tnt1 |
| 2025-01-25 05:09:36 +0000 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-01-25 05:11:12 +0000 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) Spawns_Carpeting |
| 2025-01-25 05:16:50 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 05:17:23 +0000 | sus | (1b7af6299f@user/zeromomentum) (Server closed connection) |
| 2025-01-25 05:17:31 +0000 | sus | (1b7af6299f@user/zeromomentum) zeromomentum |
| 2025-01-25 05:21:53 +0000 | samhh | (7569f027cf@2a03:6000:1812:100::e4) (Server closed connection) |
| 2025-01-25 05:21:53 +0000 | samhh_ | samhh |
| 2025-01-25 05:22:03 +0000 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) samhh |
| 2025-01-25 05:27:37 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 05:28:53 +0000 | cpli | (77fc530071@2a03:6000:1812:100::252) (Server closed connection) |
| 2025-01-25 05:29:02 +0000 | cpli | (77fc530071@2a03:6000:1812:100::252) cpli |
| 2025-01-25 05:32:33 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-25 05:33:15 +0000 | pabs3 | (~pabs3@user/pabs3) (Quit: Don't rest until all the world is paved in moss and greenery.) |
| 2025-01-25 05:33:54 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-01-25 05:37:20 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-25 05:38:21 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 05:42:02 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-25 05:42:55 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-01-25 05:43:33 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 05:45:53 +0000 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) (Server closed connection) |
| 2025-01-25 05:46:02 +0000 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) ursa-major |
| 2025-01-25 05:48:05 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-25 05:52:43 +0000 | nitrix | (~nitrix@user/meow/nitrix) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-01-25 05:52:57 +0000 | JuanDaugherty | ColinRobinson |
| 2025-01-25 05:53:52 +0000 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
| 2025-01-25 05:54:53 +0000 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) (Server closed connection) |
| 2025-01-25 05:55:02 +0000 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) fvr |
| 2025-01-25 05:58:06 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 05:58:23 +0000 | bheesham | (3aa22d8375@2a03:6000:1812:100::e40) (Server closed connection) |
| 2025-01-25 05:58:32 +0000 | bheesham | (3aa22d8375@2a03:6000:1812:100::e40) bheesham |
| 2025-01-25 05:59:12 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 05:59:53 +0000 | duncan | (c6181279e3@user/meow/duncan) (Server closed connection) |
| 2025-01-25 06:00:02 +0000 | duncan | (c6181279e3@user/meow/duncan) duncan |
| 2025-01-25 06:03:00 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-01-25 06:05:58 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 06:14:29 +0000 | nitrix | (~nitrix@user/meow/nitrix) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-01-25 06:15:50 +0000 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
| 2025-01-25 06:16:00 +0000 | koz | (~koz@121.99.240.58) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-01-25 06:16:16 +0000 | koz | (~koz@121.99.240.58) |
| 2025-01-25 06:16:58 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-25 06:17:19 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-25 06:19:28 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 06:19:53 +0000 | edwardk | (sid47016@haskell/developer/edwardk) (Server closed connection) |
| 2025-01-25 06:20:05 +0000 | edwardk | (sid47016@haskell/developer/edwardk) edwardk |
| 2025-01-25 06:23:45 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-25 06:24:27 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 06:24:53 +0000 | degraafk | (sid71464@id-71464.lymington.irccloud.com) (Server closed connection) |
| 2025-01-25 06:25:05 +0000 | degraafk | (sid71464@id-71464.lymington.irccloud.com) degraafk |
| 2025-01-25 06:29:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 06:32:08 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 06:36:24 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-25 06:38:02 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Quit: tnt1) |
| 2025-01-25 06:40:00 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 06:44:23 +0000 | SanchayanMaity | (sid478177@id-478177.hampstead.irccloud.com) (Server closed connection) |
| 2025-01-25 06:44:35 +0000 | SanchayanMaity | (sid478177@id-478177.hampstead.irccloud.com) SanchayanMaity |
| 2025-01-25 06:46:31 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 06:48:17 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-25 06:50:42 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-25 06:53:31 +0000 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) alecs |
| 2025-01-25 06:53:48 +0000 | causal | (~eric@50.35.84.231) causal |
| 2025-01-25 06:55:46 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds) |
| 2025-01-25 06:56:17 +0000 | euleritian | (~euleritia@77.23.250.232) |
| 2025-01-25 06:57:40 +0000 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) (Ping timeout: 252 seconds) |
| 2025-01-25 06:59:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 07:00:23 +0000 | cbarrett | (uid192934@id-192934.helmsley.irccloud.com) (Server closed connection) |
| 2025-01-25 07:00:35 +0000 | cbarrett | (sid192934@id-192934.helmsley.irccloud.com) cbarrett |
| 2025-01-25 07:00:37 +0000 | euleritian | (~euleritia@77.23.250.232) (Ping timeout: 248 seconds) |
| 2025-01-25 07:00:37 +0000 | JamesMowery4395 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye) |
| 2025-01-25 07:00:53 +0000 | JamesMowery4395 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2025-01-25 07:01:11 +0000 | euleritian | (~euleritia@dynamic-176-006-129-160.176.6.pool.telefonica.de) |
| 2025-01-25 07:01:53 +0000 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) (Server closed connection) |
| 2025-01-25 07:02:17 +0000 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) PotatoGim |
| 2025-01-25 07:02:53 +0000 | snek | (sid280155@id-280155.lymington.irccloud.com) (Server closed connection) |
| 2025-01-25 07:03:05 +0000 | snek | (sid280155@id-280155.lymington.irccloud.com) snek |
| 2025-01-25 07:04:02 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-25 07:07:53 +0000 | welterde | (welterde@thinkbase.srv.welterde.de) (Server closed connection) |
| 2025-01-25 07:08:34 +0000 | welterde | (welterde@thinkbase.srv.welterde.de) welterde |
| 2025-01-25 07:14:52 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 07:16:44 +0000 | homo | (~homo@user/homo) (Read error: Connection reset by peer) |
| 2025-01-25 07:19:53 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-25 07:25:11 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 07:29:56 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 07:35:55 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 07:40:32 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-01-25 07:40:59 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 07:49:22 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 07:50:50 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-25 07:53:55 +0000 | homo | (~homo@user/homo) homo |
| 2025-01-25 07:54:28 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 272 seconds) |
| 2025-01-25 07:58:27 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-25 08:00:04 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-25 08:00:41 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-25 08:01:16 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 08:05:53 +0000 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Server closed connection) |
| 2025-01-25 08:06:05 +0000 | meinside | (uid24933@id-24933.helmsley.irccloud.com) meinside |
| 2025-01-25 08:06:14 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 08:13:48 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-01-25 08:14:20 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-01-25 08:17:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 08:19:10 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-01-25 08:22:03 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-25 08:24:21 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 08:26:17 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 08:27:32 +0000 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2025-01-25 08:28:36 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-25 08:29:24 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-01-25 08:30:48 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-25 08:35:53 +0000 | spew | (~spew@135.233.119.40) (Server closed connection) |
| 2025-01-25 08:36:09 +0000 | spew | (~spew@135.233.119.40) spew |
| 2025-01-25 08:41:59 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 08:52:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 08:55:00 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 09:03:21 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 09:06:45 +0000 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-01-25 09:08:12 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 09:13:25 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 09:15:01 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-25 09:18:12 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-01-25 09:19:08 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 09:24:42 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-25 09:27:16 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 09:29:53 +0000 | j1n37 | (~j1n37@user/j1n37) (Server closed connection) |
| 2025-01-25 09:30:10 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-25 09:32:03 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-25 09:35:13 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-01-25 09:42:59 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 09:46:27 +0000 | Midjak | (~MarciZ@82.66.147.146) Midjak |
| 2025-01-25 09:47:48 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 09:49:37 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 09:54:24 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 09:58:09 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-01-25 09:59:52 +0000 | monochrom | (trebla@216.138.220.146) (Ping timeout: 265 seconds) |
| 2025-01-25 10:02:09 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 10:02:30 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-01-25 10:03:43 +0000 | monochrom | (trebla@216.138.220.146) |
| 2025-01-25 10:05:20 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 10:06:30 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-25 10:06:57 +0000 | Square | (~Square@user/square) Square |
| 2025-01-25 10:10:09 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 10:10:35 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 10:11:55 +0000 | benjamin | (~benjamin@2a03:4b80:a720:7ac0:593e:8100:a549:c86b) |
| 2025-01-25 10:12:38 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-01-25 10:12:56 +0000 | benjamin | (~benjamin@2a03:4b80:a720:7ac0:593e:8100:a549:c86b) (Client Quit) |
| 2025-01-25 10:14:45 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 2025-01-25 10:21:07 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 10:25:56 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 10:28:16 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 10:33:24 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-25 10:38:53 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Server closed connection) |
| 2025-01-25 10:39:18 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-01-25 10:43:59 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 10:47:53 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Server closed connection) |
| 2025-01-25 10:48:16 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-25 10:48:40 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 10:51:13 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 10:55:30 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-25 10:59:47 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 11:04:30 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-25 11:05:23 +0000 | CrunchyFlakes | (~CrunchyFl@ip923482e1.dynamic.kabel-deutschland.de) (Server closed connection) |
| 2025-01-25 11:05:48 +0000 | CrunchyFlakes | (~CrunchyFl@ip923482e1.dynamic.kabel-deutschland.de) |
| 2025-01-25 11:09:53 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-25 11:11:29 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 11:15:23 +0000 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Server closed connection) |
| 2025-01-25 11:15:34 +0000 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2025-01-25 11:15:34 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 11:19:24 +0000 | acidjnk | (~acidjnk@p200300d6e7283f8210954e931938815f.dip0.t-ipconnect.de) acidjnk |
| 2025-01-25 11:20:12 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-25 11:23:00 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-01-25 11:23:24 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-25 11:24:31 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-25 11:25:42 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Quit: Leaving) |
| 2025-01-25 11:29:11 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 11:29:47 +0000 | myname_ | (~ih1d@24.139.109.18) |
| 2025-01-25 11:30:03 +0000 | myname_ | (~ih1d@24.139.109.18) (Client Quit) |
| 2025-01-25 11:31:26 +0000 | ih1d | (~ih1d@24.139.109.18) |
| 2025-01-25 11:32:33 +0000 | euleritian | (~euleritia@dynamic-176-006-129-160.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-25 11:32:51 +0000 | euleritian | (~euleritia@77.23.250.232) |
| 2025-01-25 11:33:01 +0000 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2025-01-25 11:35:49 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-25 11:39:57 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 11:42:55 +0000 | xff0x | (~xff0x@2405:6580:b080:900:2b3c:b3c3:f979:5337) (Ping timeout: 252 seconds) |
| 2025-01-25 11:44:04 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-25 11:44:17 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-01-25 11:47:14 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 11:48:45 +0000 | xff0x | (~xff0x@2405:6580:b080:900:e092:5da1:8fce:7b28) |
| 2025-01-25 11:52:02 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-25 11:52:29 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-25 11:53:03 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 11:57:37 +0000 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) alecs |
| 2025-01-25 11:58:11 +0000 | rynite | (~bwkam@user/rynite) rynite |
| 2025-01-25 11:58:18 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-25 11:58:44 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-25 12:00:03 +0000 | ih1d | (~ih1d@24.139.109.18) (Quit: leaving) |
| 2025-01-25 12:00:04 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-25 12:01:07 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-25 12:01:38 +0000 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) (Ping timeout: 244 seconds) |
| 2025-01-25 12:02:14 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-25 12:03:13 +0000 | <haskellbridge> | <maerwald> @irc_libera.chat_sinbad:kf8nh.com: don't statically link crypto libs into your program |
| 2025-01-25 12:06:30 +0000 | <haskellbridge> | <maerwald> undefined references in such cases usually come from the fact that your static lib also depends on another lib... and you didn't tell the linker to include that one too |
| 2025-01-25 12:07:35 +0000 | <haskellbridge> | <maerwald> Compare "pkg-config --libs gtk+-3.0" with "pkg-config --libs --static gtk+-3.0" |
| 2025-01-25 12:08:47 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 12:10:30 +0000 | <haskellbridge> | <loonycyborg> It's because static libs are just plain archive files containing objects |
| 2025-01-25 12:10:47 +0000 | <haskellbridge> | <loonycyborg> while shared lib is real binary that has own dependencies |
| 2025-01-25 12:11:00 +0000 | <haskellbridge> | <loonycyborg> thus they can be resolved recursively |
| 2025-01-25 12:11:14 +0000 | <haskellbridge> | <loonycyborg> that probably varies on some oses though |
| 2025-01-25 12:11:21 +0000 | <haskellbridge> | <maerwald> gpgme depends on libassuan |
| 2025-01-25 12:13:19 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-25 12:13:31 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-25 12:14:08 +0000 | <haskellbridge> | <maerwald> So maybe: "Extra-Libraries: libgpgme libassuan" |
| 2025-01-25 12:15:34 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-25 12:21:22 +0000 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2025-01-25 12:24:35 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 12:27:47 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-01-25 12:28:20 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 12:29:29 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 12:29:29 +0000 | homo | (~homo@user/homo) (Read error: Connection reset by peer) |
| 2025-01-25 12:30:15 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 12:31:15 +0000 | dsrt^ | (~dsrt@108.192.66.114) (Ping timeout: 246 seconds) |
| 2025-01-25 12:31:59 +0000 | dsrt^ | (~dsrt@108.192.66.114) |
| 2025-01-25 12:33:08 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-01-25 12:35:40 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-25 12:36:18 +0000 | euleritian | (~euleritia@77.23.250.232) (Ping timeout: 272 seconds) |
| 2025-01-25 12:37:30 +0000 | euleritian | (~euleritia@77.23.250.232) |
| 2025-01-25 12:41:03 +0000 | ruast | (~ruast@user/Ruast336) Ruast336 |
| 2025-01-25 12:41:22 +0000 | ruast | (~ruast@user/Ruast336) (WeeChat 4.4.2) |
| 2025-01-25 12:45:51 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-25 12:45:59 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 12:48:30 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-25 12:50:46 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 12:51:53 +0000 | infinity0 | (~infinity0@pwned.gg) (Server closed connection) |
| 2025-01-25 12:52:10 +0000 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-01-25 12:55:14 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 12:55:18 +0000 | euleritian | (~euleritia@77.23.250.232) (Ping timeout: 272 seconds) |
| 2025-01-25 12:55:48 +0000 | euleritian | (~euleritia@dynamic-176-006-129-160.176.6.pool.telefonica.de) |
| 2025-01-25 12:57:21 +0000 | acidjnk | (~acidjnk@p200300d6e7283f8210954e931938815f.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-25 12:59:44 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-25 12:59:51 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-25 12:59:51 +0000 | acidjnk | (~acidjnk@p200300d6e7283f82a4444843cc0627c6.dip0.t-ipconnect.de) acidjnk |
| 2025-01-25 13:01:46 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 13:03:53 +0000 | xdminsy | (~xdminsy@117.147.71.143) (Server closed connection) |
| 2025-01-25 13:04:23 +0000 | xdminsy | (~xdminsy@117.147.71.143) xdminsy |
| 2025-01-25 13:06:26 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-25 13:08:04 +0000 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-25 13:09:23 +0000 | remmie | (ianremsen@tilde.team) (Server closed connection) |
| 2025-01-25 13:10:34 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds) |
| 2025-01-25 13:10:41 +0000 | remmie | (ianremsen@tilde.team) remsense |
| 2025-01-25 13:12:07 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-01-25 13:13:06 +0000 | ss4 | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-01-25 13:17:05 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 13:17:33 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 13:21:57 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-01-25 13:23:40 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2025-01-25 13:24:12 +0000 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-01-25 13:24:33 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-25 13:31:11 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 13:35:07 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 13:36:01 +0000 | sprotte24 | (~sprotte24@p200300d16f1a11001925fb087a37c132.dip0.t-ipconnect.de) |
| 2025-01-25 13:36:21 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-25 13:39:17 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-01-25 13:43:13 +0000 | acidjnk | (~acidjnk@p200300d6e7283f82a4444843cc0627c6.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-25 13:47:01 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 13:49:07 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-25 13:51:38 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-25 13:53:33 +0000 | rynite | (~bwkam@user/rynite) (Read error: Connection reset by peer) |
| 2025-01-25 13:59:12 +0000 | rynite | (~bwkam@user/rynite) rynite |
| 2025-01-25 14:01:04 +0000 | user363627 | (~user@user/user363627) user363627 |
| 2025-01-25 14:01:55 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 14:02:46 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 14:03:41 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-25 14:04:36 +0000 | weary-traveler | (~user@user/user363627) (Ping timeout: 244 seconds) |
| 2025-01-25 14:05:25 +0000 | rynite | (~bwkam@user/rynite) (Quit: WeeChat 4.4.1) |
| 2025-01-25 14:06:06 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 2025-01-25 14:07:46 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 14:11:11 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 14:11:27 +0000 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-25 14:14:07 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 265 seconds) |
| 2025-01-25 14:15:12 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-01-25 14:18:34 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 14:19:41 +0000 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-01-25 14:21:57 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-25 14:25:08 +0000 | ss4 | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-01-25 14:25:21 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-25 14:26:00 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 14:29:01 +0000 | homo | (~homo@user/homo) homo |
| 2025-01-25 14:30:09 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 2025-01-25 14:32:12 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 14:37:21 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-25 14:38:36 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-01-25 14:39:44 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-25 14:45:31 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-01-25 14:45:48 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-01-25 14:47:59 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 14:52:51 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 14:53:21 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-25 14:56:00 +0000 | prasad | (~Thunderbi@2601:243:c001:3f07::59) (Remote host closed the connection) |
| 2025-01-25 14:56:16 +0000 | prasad | (~Thunderbi@2601:243:c001:3f07::5c) |
| 2025-01-25 14:56:30 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-25 14:59:55 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 15:03:47 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 15:04:13 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-25 15:04:55 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-25 15:06:43 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Read error: Connection reset by peer) |
| 2025-01-25 15:08:37 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-25 15:08:59 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-25 15:11:09 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 15:12:22 +0000 | qeez | (~qeez@2a00:1e88:1212:d400:b70f:1e29:cb76:d40d) |
| 2025-01-25 15:15:33 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 2025-01-25 15:19:32 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 15:20:06 +0000 | euleritian | (~euleritia@dynamic-176-006-129-160.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2025-01-25 15:21:16 +0000 | michalz | (~michalz@185.246.207.217) |
| 2025-01-25 15:24:24 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 15:27:03 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
| 2025-01-25 15:29:02 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-25 15:32:25 +0000 | euleritian | (~euleritia@dynamic-176-007-178-033.176.7.pool.telefonica.de) |
| 2025-01-25 15:33:11 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 15:39:25 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 15:41:46 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-25 15:46:14 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-25 15:48:59 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 15:50:18 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 15:53:41 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-01-25 15:54:12 +0000 | JuanDaugherty | ColinRobinson |
| 2025-01-25 15:57:03 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-25 16:00:01 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 16:00:35 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-25 16:02:21 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-01-25 16:02:35 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-25 16:04:24 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 2025-01-25 16:06:19 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-25 16:07:55 +0000 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-01-25 16:08:20 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 16:12:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-25 16:15:00 +0000 | manwithluck | (~manwithlu@194.177.28.164) manwithluck |
| 2025-01-25 16:24:53 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 16:26:29 +0000 | penteract | (~toby@blbn-12-b2-v4wan-167809-cust345.vm18.cable.virginm.net) |
| 2025-01-25 16:29:17 +0000 | monochrom | (trebla@216.138.220.146) (Ping timeout: 252 seconds) |
| 2025-01-25 16:29:48 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-25 16:34:14 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 16:35:56 +0000 | monochrom | (trebla@216.138.220.146) |
| 2025-01-25 16:37:23 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 16:40:58 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-25 16:41:02 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 16:41:40 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-25 16:52:03 +0000 | acidjnk | (~acidjnk@p200300d6e7283f82a4444843cc0627c6.dip0.t-ipconnect.de) acidjnk |
| 2025-01-25 16:52:07 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 16:55:44 +0000 | drdo3 | (~drdo@bl9-110-63.dsl.telepac.pt) drdo |
| 2025-01-25 16:56:21 +0000 | drdo | (~drdo@bl9-110-63.dsl.telepac.pt) (Ping timeout: 252 seconds) |
| 2025-01-25 16:56:21 +0000 | drdo3 | drdo |
| 2025-01-25 16:56:54 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-25 17:07:52 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 17:12:47 +0000 | hueso | (~root@user/hueso) (Read error: Connection reset by peer) |
| 2025-01-25 17:12:49 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-25 17:14:30 +0000 | xdminsy | (~xdminsy@117.147.71.143) (Read error: Connection reset by peer) |
| 2025-01-25 17:14:51 +0000 | jespada | (~jespada@2800:a4:235a:a400:d1d7:a630:6156:bec7) jespada |
| 2025-01-25 17:15:30 +0000 | xdminsy | (~xdminsy@117.147.71.143) xdminsy |
| 2025-01-25 17:16:24 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 17:17:32 +0000 | hueso | (~root@user/hueso) hueso |
| 2025-01-25 17:21:21 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 17:21:32 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 17:22:50 +0000 | euleritian | (~euleritia@dynamic-176-007-178-033.176.7.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2025-01-25 17:24:15 +0000 | euleritian | (~euleritia@dynamic-176-006-142-177.176.6.pool.telefonica.de) |
| 2025-01-25 17:25:46 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-25 17:26:08 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 17:30:32 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-25 17:32:34 +0000 | nckx | (nckx@libera/staff/owl/nckx) nckx |
| 2025-01-25 17:34:09 +0000 | euleritian | (~euleritia@dynamic-176-006-142-177.176.6.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 2025-01-25 17:34:15 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 17:38:42 +0000 | <ash3en> | what haskell libs/tools come to mind when you hear: model to model transformation, meta modelling |
| 2025-01-25 17:39:01 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-25 17:39:34 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 17:44:21 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-25 17:46:02 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2025-01-25 17:51:14 +0000 | <homo> | wow, what a surprise https://issues.guix.gnu.org/75745#6 |
| 2025-01-25 17:51:30 +0000 | aaronv | (~aaronv@user/aaronv) aaronv |
| 2025-01-25 17:53:39 +0000 | aaronv_ | (~aaronv@user/aaronv) aaronv |
| 2025-01-25 17:55:21 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 17:55:48 +0000 | aaronv_ | (~aaronv@user/aaronv) (Read error: Connection reset by peer) |
| 2025-01-25 17:58:46 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-25 18:00:09 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 18:00:42 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 18:02:22 +0000 | <geekosaur> | unless he's planning to add type level stuff that'll trip over TTG |
| 2025-01-25 18:02:51 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3502-da5c-7078-24ff-4ebd-f385.rev.sfr.net) alexherbo2 |
| 2025-01-25 18:05:06 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 2025-01-25 18:07:04 +0000 | <homo> | like he said anything that is not too crazy, so for anyone wanting to try to bootstrap ghc with microhs, you have reliable ally, but I already have what I want, so good luck to anyone who wants bootstrapped ghc |
| 2025-01-25 18:10:52 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 18:12:36 +0000 | penteract | (~toby@blbn-12-b2-v4wan-167809-cust345.vm18.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2025-01-25 18:15:17 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 18:15:33 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 18:15:38 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 18:18:06 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-25 18:19:51 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-01-25 18:21:06 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection) |
| 2025-01-25 18:21:26 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 18:26:39 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 18:28:12 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-25 18:30:16 +0000 | euleritian | (~euleritia@dynamic-176-006-142-177.176.6.pool.telefonica.de) |
| 2025-01-25 18:32:14 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-25 18:34:30 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection) |
| 2025-01-25 18:34:54 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 18:39:33 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 245 seconds) |
| 2025-01-25 18:39:56 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 18:40:42 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-01-25 18:41:28 +0000 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-01-25 18:42:27 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 18:46:04 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2025-01-25 18:46:05 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-01-25 18:48:04 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 260 seconds) |
| 2025-01-25 18:48:55 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-25 18:49:00 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 18:49:01 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2025-01-25 18:50:30 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-25 18:54:30 +0000 | user363627 | (~user@user/user363627) (Ping timeout: 252 seconds) |
| 2025-01-25 19:00:30 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 19:04:18 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 19:05:29 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 19:07:10 +0000 | hueso | (~root@user/hueso) (Read error: Connection reset by peer) |
| 2025-01-25 19:07:42 +0000 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) (Ping timeout: 252 seconds) |
| 2025-01-25 19:07:44 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 19:08:37 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-01-25 19:08:48 +0000 | euleritian | (~euleritia@dynamic-176-006-142-177.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-25 19:09:38 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-25 19:10:01 +0000 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) Spawns_Carpeting |
| 2025-01-25 19:11:09 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-25 19:11:42 +0000 | hueso | (~root@user/hueso) hueso |
| 2025-01-25 19:11:47 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-25 19:12:05 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-25 19:13:03 +0000 | acidjnk | (~acidjnk@p200300d6e7283f82a4444843cc0627c6.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-01-25 19:14:05 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds) |
| 2025-01-25 19:14:09 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-25 19:14:16 +0000 | euleritian | (~euleritia@dynamic-176-006-142-177.176.6.pool.telefonica.de) |
| 2025-01-25 19:14:55 +0000 | penteract | (~toby@blbn-12-b2-v4wan-167809-cust345.vm18.cable.virginm.net) |
| 2025-01-25 19:16:18 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 19:18:10 +0000 | causal | (~eric@50.35.84.231) (Quit: WeeChat 4.4.3) |
| 2025-01-25 19:19:52 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-25 19:21:01 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-25 19:21:02 +0000 | jespada | (~jespada@2800:a4:235a:a400:d1d7:a630:6156:bec7) (Ping timeout: 265 seconds) |
| 2025-01-25 19:22:58 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2025-01-25 19:23:42 +0000 | euleritian | (~euleritia@dynamic-176-006-142-177.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-25 19:24:01 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-25 19:25:14 +0000 | JuanDaugherty | ColinRobinson |
| 2025-01-25 19:27:54 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 19:31:24 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
| 2025-01-25 19:32:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 19:32:38 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 265 seconds) |
| 2025-01-25 19:33:11 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-01-25 19:34:09 +0000 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-01-25 19:35:59 +0000 | <haskellbridge> | <thirdofmay18081814goya> does anyone know of a repo that implements algebraic effects? |
| 2025-01-25 19:36:04 +0000 | <haskellbridge> | <thirdofmay18081814goya> i.e. that makes use of them |
| 2025-01-25 19:36:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 19:38:54 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-01-25 19:46:53 +0000 | <monochrom> | I don't know, but there is a reverse dep website, you may get something from asking "who depends on my favourite effect lib?". |
| 2025-01-25 19:47:15 +0000 | <monochrom> | https://packdeps.haskellers.com/reverse |
| 2025-01-25 19:47:30 +0000 | <monochrom> | Oh, also https://hackage.haskell.org/packages/reverse |
| 2025-01-25 19:47:54 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 19:48:02 +0000 | <c_wraith> | the front page of every package description on hackage has a "Reverse Dependencies" section now |
| 2025-01-25 19:49:09 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2025-01-25 19:49:30 +0000 | <haskellbridge> | <thirdofmay18081814goya> oh neat, thanks! |
| 2025-01-25 19:52:49 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-25 19:54:45 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-25 19:57:23 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 20:00:04 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-25 20:00:29 +0000 | <geekosaur> | wasn't that shut down in favor of hackage? |
| 2025-01-25 20:00:41 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-25 20:00:44 +0000 | <geekosaur> | huh, no, guess they brought it back |
| 2025-01-25 20:01:07 +0000 | <geekosaur> | last time I visited it it was just a static pacge saying "hackage does this now" |
| 2025-01-25 20:01:57 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-01-25 20:03:41 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 20:05:04 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 20:08:21 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-25 20:08:45 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-25 20:09:25 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 2025-01-25 20:13:21 +0000 | hueso | (~root@user/hueso) (Read error: Connection reset by peer) |
| 2025-01-25 20:13:47 +0000 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-01-25 20:14:01 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-25 20:17:52 +0000 | hueso | (~root@user/hueso) hueso |
| 2025-01-25 20:19:27 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 20:20:58 +0000 | __monty__ | (~toonn@user/toonn) (Ping timeout: 265 seconds) |
| 2025-01-25 20:22:17 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection) |
| 2025-01-25 20:23:58 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2025-01-25 20:24:40 +0000 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-01-25 20:26:24 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-25 20:28:14 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-25 20:28:57 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-25 20:37:30 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 20:39:05 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-25 20:40:04 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-25 20:42:29 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-25 20:49:08 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 20:49:15 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 20:53:17 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 20:53:18 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-25 20:54:30 +0000 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 252 seconds) |
| 2025-01-25 20:55:51 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-25 20:57:51 +0000 | aaronv | (~aaronv@user/aaronv) aaronv |
| 2025-01-25 20:58:03 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 20:58:53 +0000 | homo | (~homo@user/homo) (Read error: Connection reset by peer) |
| 2025-01-25 21:02:39 +0000 | acidjnk | (~acidjnk@p200300d6e7283f82584cd550442beef5.dip0.t-ipconnect.de) acidjnk |
| 2025-01-25 21:09:03 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 21:09:18 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-01-25 21:10:56 +0000 | rvalue | (~rvalue@user/rvalue) (Remote host closed the connection) |
| 2025-01-25 21:13:02 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-25 21:13:45 +0000 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 252 seconds) |
| 2025-01-25 21:14:29 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-25 21:15:19 +0000 | Midjak | (~MarciZ@82.66.147.146) Midjak |
| 2025-01-25 21:17:26 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-25 21:23:35 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-01-25 21:24:27 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 21:24:51 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 21:25:29 +0000 | Axma72592 | Axman6 |
| 2025-01-25 21:28:29 +0000 | <monochrom> | Dependency killed the cat. Resolution brought it back! |
| 2025-01-25 21:28:42 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3502-da5c-7078-24ff-4ebd-f385.rev.sfr.net) (Remote host closed the connection) |
| 2025-01-25 21:28:52 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-25 21:29:25 +0000 | earthy | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Ping timeout: 248 seconds) |
| 2025-01-25 21:30:06 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-25 21:30:24 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-25 21:30:24 +0000 | <c_wraith> | I finally tracked down that priority search queue bug I ran into during the advent of code. I was using a library that provided a priority search queue using a binary search tree for the "search" part. The rebalancing logic was buggy in a way that made it not balance trees with keys inserted monotonically. You know, the case where it needs it most. |
| 2025-01-25 21:30:55 +0000 | <geekosaur> | lol |
| 2025-01-25 21:31:20 +0000 | <geekosaur> | good thing I didn't use that one |
| 2025-01-25 21:31:34 +0000 | <c_wraith> | Two libraries have that same bug. |
| 2025-01-25 21:31:50 +0000 | <monochrom> | :( |
| 2025-01-25 21:32:02 +0000 | <c_wraith> | (one of them is closely based on the other) |
| 2025-01-25 21:32:06 +0000 | <c_wraith> | ((too closely)) |
| 2025-01-25 21:33:13 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 21:34:38 +0000 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-01-25 21:34:39 +0000 | <monochrom> | But yeah most people just code up Stephen Adams's thesis, but ironically it has never been proved to guarantee balance. |
| 2025-01-25 21:35:15 +0000 | <c_wraith> | is that the weight-balanced trees? |
| 2025-01-25 21:35:23 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 2025-01-25 21:35:38 +0000 | <c_wraith> | That's what these are both using, except they just fail to balance if one subtree is empty. |
| 2025-01-25 21:35:45 +0000 | <c_wraith> | That's not a bug in the thesis. |
| 2025-01-25 21:35:46 +0000 | <monochrom> | No, size-balanced. Subtle difference but big impact on what can be proved. |
| 2025-01-25 21:35:48 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-25 21:35:58 +0000 | <monochrom> | Ah OK different bug. |
| 2025-01-25 21:36:08 +0000 | <monochrom> | weight = size+1 |
| 2025-01-25 21:36:12 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-25 21:36:37 +0000 | <c_wraith> | Ah. So it's the same thesis, but the bug isn't in the thesis. |
| 2025-01-25 21:36:50 +0000 | <c_wraith> | or at least this bug isn't |
| 2025-01-25 21:37:43 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-25 21:37:53 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 21:39:38 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-01-25 21:41:47 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-25 21:41:58 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-01-25 21:42:22 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-25 21:48:55 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 21:53:53 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-25 21:57:38 +0000 | alp | (~alp@2001:861:8ca0:4940:eb00:e50a:c19c:d6cb) |
| 2025-01-25 22:02:32 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 22:04:40 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 22:07:17 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 265 seconds) |
| 2025-01-25 22:09:34 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 22:12:54 +0000 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
| 2025-01-25 22:19:08 +0000 | qeez | (~qeez@2a00:1e88:1212:d400:b70f:1e29:cb76:d40d) (Quit: qeez) |
| 2025-01-25 22:19:15 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Quit: leaving) |
| 2025-01-25 22:19:16 +0000 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-25 22:19:40 +0000 | euleritian | (~euleritia@77.23.250.232) |
| 2025-01-25 22:20:28 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 22:25:20 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 22:26:57 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 22:31:11 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-25 22:33:05 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 22:34:41 +0000 | aaronv | (~aaronv@user/aaronv) (Remote host closed the connection) |
| 2025-01-25 22:35:05 +0000 | aaronv | (~aaronv@user/aaronv) aaronv |
| 2025-01-25 22:36:15 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 22:37:37 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 2025-01-25 22:40:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-25 22:48:39 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-01-25 22:49:49 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-25 22:49:53 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Client Quit) |
| 2025-01-25 22:52:02 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 22:52:27 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-25 22:55:01 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-25 22:57:09 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 23:00:06 +0000 | aaronv | (~aaronv@user/aaronv) (Remote host closed the connection) |
| 2025-01-25 23:00:26 +0000 | aaronv | (~aaronv@user/aaronv) aaronv |
| 2025-01-25 23:01:34 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-01-25 23:07:09 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-25 23:07:50 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 23:09:20 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 23:14:27 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 23:14:38 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-25 23:15:41 +0000 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 23:17:41 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 2025-01-25 23:20:01 +0000 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-25 23:26:02 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 23:26:59 +0000 | fp1 | (~Thunderbi@87-94-148-3.rev.dnainternet.fi) fp |
| 2025-01-25 23:27:28 +0000 | JuanDaugherty | ColinRobinson |
| 2025-01-25 23:30:04 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-01-25 23:30:54 +0000 | <fp1> | How do you compose parsers together with megaparsec? I'm presently trying to, within my own parser, get a string out of the stream and then parse that and return the result. But I can't apply a parser directly to a string, like =string "foo" theStringIJustMade=, so I don't really know how to proceed |
| 2025-01-25 23:30:58 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 23:31:44 +0000 | <c_wraith> | you use Functor, Applicative, Alternative, and Monad |
| 2025-01-25 23:33:07 +0000 | <c_wraith> | (do note, though, that if you need a fixed-length string to match the parser, megaparsec doesn't support that nicely) |
| 2025-01-25 23:33:59 +0000 | hiredman | (~hiredman@frontier1.downey.family) (Quit: Lost terminal) |
| 2025-01-25 23:34:54 +0000 | ColinRobinson | JuanDaugherty |
| 2025-01-25 23:35:17 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-01-25 23:40:34 +0000 | JuanDaugherty | Lycurgus |
| 2025-01-25 23:41:02 +0000 | Lycurgus | (~juan@user/JuanDaugherty) (Changing host) |
| 2025-01-25 23:41:02 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-01-25 23:41:50 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 23:42:34 +0000 | <haskellbridge> | <sm> you can run megaparsec recursively, optionally with the current position preserved so your error messages are still good |
| 2025-01-25 23:42:42 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 248 seconds) |
| 2025-01-25 23:42:58 +0000 | <c_wraith> | You can, but you usually don't need to. |
| 2025-01-25 23:43:28 +0000 | <c_wraith> | You should start by figuring out why the compositional interfaces don't work first. Matching a fixed-length string is one case where they don't. |
| 2025-01-25 23:43:30 +0000 | <haskellbridge> | <sm> if you can avoid it, it's better |
| 2025-01-25 23:45:08 +0000 | <haskellbridge> | <sm> what do you mean by matching a fixed length string c_wraith ? |
| 2025-01-25 23:45:21 +0000 | <fp1> | So it seems that Applicative might be what I want, but I can't seem to understand how to use it. I tried =parse ((string "foo") <$ (string "foobar")) "" "text foobar"=, but that's a compile error, seemingly upset by the type of "foo" not being Tokens s0, which doesn't make much sense to me |
| 2025-01-25 23:45:54 +0000 | <c_wraith> | sm: like if you have length-delimited fields in a data structure. you see the number 50, the next 50 bytes have to match a sub-structure. |
| 2025-01-25 23:46:25 +0000 | <haskellbridge> | <sm> fp1: you can use ` (backtick, not equals), to quote literal text here |
| 2025-01-25 23:46:35 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-25 23:46:36 +0000 | <fp1> | kk |
| 2025-01-25 23:48:15 +0000 | <haskellbridge> | <sm> fp1: tell us again what the higher goal is maybe ? |
| 2025-01-25 23:49:20 +0000 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2025-01-25 23:49:26 +0000 | <c_wraith> | fp1: I don't think <$ is the operation you want |
| 2025-01-25 23:49:38 +0000 | <c_wraith> | :t (<$) |
| 2025-01-25 23:49:38 +0000 | <lambdabot> | Functor f => a -> f b -> f a |
| 2025-01-25 23:49:56 +0000 | <c_wraith> | Note that its first argument *isn't* of type `f a`. It's just `a` |
| 2025-01-25 23:50:03 +0000 | <fp1> | So the goal is to parse scheme character literals, which is <characterLiteral> ::= "#\\" ("space" | "newline" | any non-whitespace character) Lookahead<delimiter> |
| 2025-01-25 23:50:49 +0000 | <juri_> | ok, i now have an attention mechanism, written in haskell. |
| 2025-01-25 23:50:56 +0000 | <haskellbridge> | <sm> I would write it out the long way first, in a do block. That's usually easier |
| 2025-01-25 23:51:17 +0000 | <c_wraith> | fp1: consider: parse (do { foo <- string "foo" ; bar <- string "bar" ; pure (foo ++ bar) }) "" "foobar" |
| 2025-01-25 23:51:46 +0000 | <c_wraith> | And then consider what happens if you change the last line of the do block |
| 2025-01-25 23:55:16 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 23:56:55 +0000 | <fp1> | Yes, I've been writing everything in a do block. The trouble I have is I have something like `do { string <- someTill (satisfy (not . isSpace)) (lookAhead delimiter); { parse string to get the character out or error } }`. The trouble I have is, how do I run parsers on `string`? I have the parsers I would run, but not the context to run them |
| 2025-01-25 23:57:27 +0000 | <c_wraith> | you don't need to lookahead |
| 2025-01-25 23:57:33 +0000 | <c_wraith> | You can just match on an alternation |
| 2025-01-25 23:57:45 +0000 | <fp1> | what does that mean |
| 2025-01-25 23:57:46 +0000 | <c_wraith> | like (string "foo" <|> string "bar") |
| 2025-01-25 23:58:13 +0000 | <fp1> | but wouldn't that consume the delimiter? |
| 2025-01-25 23:58:24 +0000 | <c_wraith> | so... store it |
| 2025-01-25 23:58:27 +0000 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 252 seconds) |
| 2025-01-25 23:59:21 +0000 | <fp1> | But that just solves a problem that I don't have with a lookahead |
| 2025-01-25 23:59:55 +0000 | <c_wraith> | But it also solves the problem of not being able to parse the result of it |