| 2025-01-25 00:03:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 00:08:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-25 00:11:57 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 00:16:33 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 265 seconds) |
| 2025-01-25 00:17:57 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-01-25 00:18:29 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 2025-01-25 00:18:51 +0100 | Midjak | (~MarciZ@82.66.147.146) Midjak |
| 2025-01-25 00:18:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 00:21:30 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 00:23:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 00:23:49 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-25 00:24:25 +0100 | <Leary> | hellwolf: https://hackage.haskell.org/package/ghc-bignum-1.3/docs/GHC-Num-Integer.html#v:integerToMutableByt… |
| 2025-01-25 00:25:56 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-25 00:26:52 +0100 | g00gler | (uid125351@id-125351.uxbridge.irccloud.com) |
| 2025-01-25 00:29:53 +0100 | Square | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2025-01-25 00:34:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 00:39:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 00:42:45 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 248 seconds) |
| 2025-01-25 00:49:40 +0100 | <hellwolf> | does anyone know how to use TH to express a list of constraints in its quotation form: [d| instance ($(mapM (pure . TH.conT ''ABITypeable) xs)) => ABITypeable $(tpl) where ... |] |
| 2025-01-25 00:49:57 +0100 | <hellwolf> | I know how to do it without the quotation form, but that's not so read. |
| 2025-01-25 00:50:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 00:54:54 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-01-25 00:55:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-25 00:56:03 +0100 | dmwit | (~dmwit@2600:4040:2646:b300:d62:4f7e:bd88:2572) (Quit: Client closed) |
| 2025-01-25 00:56:14 +0100 | <c_wraith> | There are lots of places you just can't splice into. That might be one of them. |
| 2025-01-25 00:57:41 +0100 | <c_wraith> | though that mapM (pure . blah) is kind of funny. |
| 2025-01-25 00:57:55 +0100 | <c_wraith> | that'd be like... pure (map blah ...) |
| 2025-01-25 01:01:08 +0100 | <hellwolf> | I actually found it |
| 2025-01-25 01:01:57 +0100 | <hellwolf> | just need to use TH.tupleT |
| 2025-01-25 01:02:03 +0100 | <hellwolf> | which kinda makes sense. |
| 2025-01-25 01:02:27 +0100 | <hellwolf> | although the TH.instanceD uses a list, which looked easier. |
| 2025-01-25 01:06:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 01:07:23 +0100 | aspen | (sid449115@id-449115.helmsley.irccloud.com) (Server closed connection) |
| 2025-01-25 01:07:28 +0100 | <hellwolf> | that makes me want to rewrite some of my instances' TH to use quotation form... looks much nicer |
| 2025-01-25 01:07:34 +0100 | aspen | (sid449115@id-449115.helmsley.irccloud.com) aspen |
| 2025-01-25 01:08:29 +0100 | dsrt^ | (~dsrt@108.192.66.114) |
| 2025-01-25 01:10:54 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 01:11:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 01:11:13 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-01-25 01:15:15 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 01:15:21 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-25 01:19:45 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-25 01:22:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 01:24:23 +0100 | bradparker | (sid262931@id-262931.uxbridge.irccloud.com) (Server closed connection) |
| 2025-01-25 01:24:38 +0100 | bradparker | (sid262931@id-262931.uxbridge.irccloud.com) bradparker |
| 2025-01-25 01:28:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 01:31:09 +0100 | <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 01:31:52 +0100 | <hellwolf> | I just found out. Since I have been supporting TupleN up to 64 |
| 2025-01-25 01:31:53 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2025-01-25 01:31:55 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-25 01:31:58 +0100 | <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 01:32:18 +0100 | <hellwolf> | what is the "spec" do you mean? |
| 2025-01-25 01:32:29 +0100 | <c_wraith> | Haskell 2010 |
| 2025-01-25 01:32:35 +0100 | <hellwolf> | interesting |
| 2025-01-25 01:32:59 +0100 | <hellwolf> | people really don't like TH, I guess. |
| 2025-01-25 01:33:13 +0100 | <hellwolf> | but TH is noticeably slow indeed. |
| 2025-01-25 01:33:16 +0100 | <geekosaur> | tbh anything beyond 2 or possibly 3 (term level) is generally a bad idea |
| 2025-01-25 01:34:43 +0100 | <hellwolf> | I am tempted to agree. |
| 2025-01-25 01:35:18 +0100 | <geekosaur> | you almost always want a named record for anything bigger, just to keep things straight |
| 2025-01-25 01:35:40 +0100 | <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 01:36:13 +0100 | <hellwolf> | I don't disagree. I am just pushing envelopes here and see what happens. |
| 2025-01-25 01:37:14 +0100 | <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 01:37:48 +0100 | <hellwolf> | I am supporting TupleN simply for human's sake |
| 2025-01-25 01:40:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 01:45:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 01:50:23 +0100 | gaze__ | (sid387101@id-387101.helmsley.irccloud.com) (Server closed connection) |
| 2025-01-25 01:50:34 +0100 | gaze__ | (sid387101@id-387101.helmsley.irccloud.com) gaze__ |
| 2025-01-25 01:55:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 01:59:38 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 02:00:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 02:03:07 +0100 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2025-01-25 02:03:55 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-25 02:08:33 +0100 | acidjnk | (~acidjnk@p200300d6e7283f4988944b924ab82f58.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-25 02:11:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 02:14:07 +0100 | sprotte24 | (~sprotte24@p200300d16f121000c5109c58f26764fc.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-25 02:15:06 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 02:16:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-25 02:18:53 +0100 | edmundnoble_ | (sid229620@id-229620.helmsley.irccloud.com) (Server closed connection) |
| 2025-01-25 02:19:04 +0100 | edmundnoble_ | (sid229620@id-229620.helmsley.irccloud.com) edmundnoble_ |
| 2025-01-25 02:19:49 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 260 seconds) |
| 2025-01-25 02:24:58 +0100 | otto_s | (~user@p5de2f982.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-01-25 02:26:57 +0100 | otto_s | (~user@p5de2f342.dip0.t-ipconnect.de) |
| 2025-01-25 02:27:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 02:32:25 +0100 | nckx | (nckx@libera/staff/owl/nckx) (Ping timeout: 608 seconds) |
| 2025-01-25 02:32:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-25 02:33:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 02:35:57 +0100 | forell | (~forell@user/forell) (Ping timeout: 244 seconds) |
| 2025-01-25 02:37:18 +0100 | forell | (~forell@user/forell) forell |
| 2025-01-25 02:38:53 +0100 | mustafa | (sid502723@rockylinux/releng/mustafa) (Server closed connection) |
| 2025-01-25 02:39:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-25 02:39:04 +0100 | mustafa | (sid502723@rockylinux/releng/mustafa) mustafa |
| 2025-01-25 02:44:35 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-01-25 02:47:12 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-25 02:49:03 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 02:49:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 02:53:39 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-01-25 02:53:39 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-01-25 02:54:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 03:04:42 +0100 | ft | (~ft@p508db1ba.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-25 03:05:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 03:06:21 +0100 | ft | (~ft@p3e9bcfa2.dip0.t-ipconnect.de) ft |
| 2025-01-25 03:09:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-25 03:14:53 +0100 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) (Server closed connection) |
| 2025-01-25 03:15:04 +0100 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) taktoa[c] |
| 2025-01-25 03:21:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 03:21:01 +0100 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 2025-01-25 03:22:13 +0100 | hsw | (~hsw@112-104-8-145.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
| 2025-01-25 03:22:32 +0100 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) hsw |
| 2025-01-25 03:25:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 03:31:15 +0100 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2025-01-25 03:32:47 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 03:36:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 03:37:20 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-25 03:37:27 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 03:39:32 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 2025-01-25 03:41:34 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-25 03:41:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-25 03:47:31 +0100 | penteract | (~toby@blbn-12-b2-v4wan-167809-cust345.vm18.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2025-01-25 03:51:42 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2025-01-25 03:52:02 +0100 | xff0x | (~xff0x@2405:6580:b080:900:2b3c:b3c3:f979:5337) (Ping timeout: 248 seconds) |
| 2025-01-25 03:52:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 03:58:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-25 03:59:55 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 04:04:15 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 2025-01-25 04:05:06 +0100 | xff0x | (~xff0x@2405:6580:b080:900:2b3c:b3c3:f979:5337) |
| 2025-01-25 04:08:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 04:15:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-25 04:15:56 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-25 04:18:28 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 04:20:54 +0100 | <haskellbridge> | <thirdofmay18081814goya> any good readings on async, maybe how it can be interpreted monadically? |
| 2025-01-25 04:22:58 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 2025-01-25 04:23:50 +0100 | <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 04:24:33 +0100 | <geekosaur> | @where parconc |
| 2025-01-25 04:24:33 +0100 | <lambdabot> | https://www.safaribooksonline.com/library/view/parallel-and-concurrent/9781449335939/ |
| 2025-01-25 04:26:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 04:26:46 +0100 | g00gler | (uid125351@id-125351.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-25 04:26:51 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 04:27:11 +0100 | <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 04:27:48 +0100 | <haskellbridge> | <thirdofmay18081814goya> the real world does so we're in IO somewhere |
| 2025-01-25 04:30:57 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-01-25 04:30:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-25 04:40:40 +0100 | <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 04:41:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 04:42:00 +0100 | terrorjack45 | (~terrorjac@2a01:4f8:c17:a66e::) (Quit: The Lounge - https://thelounge.chat) |
| 2025-01-25 04:42:53 +0100 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) (Server closed connection) |
| 2025-01-25 04:42:59 +0100 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) ggb |
| 2025-01-25 04:43:41 +0100 | terrorjack45 | (~terrorjac@2a01:4f8:c17:a66e::) terrorjack |
| 2025-01-25 04:43:43 +0100 | <haskellbridge> | <thirdofmay18081814goya> hm right |
| 2025-01-25 04:44:17 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-01-25 04:46:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-25 04:55:23 +0100 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) (Server closed connection) |
| 2025-01-25 04:55:30 +0100 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) evanrelf |
| 2025-01-25 04:56:18 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-25 04:57:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 05:00:23 +0100 | probie | (cc0b34050a@user/probie) (Server closed connection) |
| 2025-01-25 05:00:31 +0100 | probie | (cc0b34050a@user/probie) probie |
| 2025-01-25 05:00:56 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 05:02:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 05:02:42 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-01-25 05:03:53 +0100 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) (Server closed connection) |
| 2025-01-25 05:04:02 +0100 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) l3gacyb3ta |
| 2025-01-25 05:05:09 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 2025-01-25 05:13:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 05:15:36 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 05:18:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-25 05:19:51 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-01-25 05:23:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 05:23:23 +0100 | jakzale | (6291399afa@user/jakzale) (Server closed connection) |
| 2025-01-25 05:23:31 +0100 | jakzale | (6291399afa@user/jakzale) jakzale |
| 2025-01-25 05:24:23 +0100 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) (Server closed connection) |
| 2025-01-25 05:24:31 +0100 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) whereiseveryone |
| 2025-01-25 05:27:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-25 05:32:32 +0100 | aforemny | (~aforemny@2001:9e8:6cc1:a100:8787:3cb3:35e4:a6f8) aforemny |
| 2025-01-25 05:33:23 +0100 | aforemny_ | (~aforemny@i59F4C565.versanet.de) (Ping timeout: 244 seconds) |
| 2025-01-25 05:34:28 +0100 | euleritian | (~euleritia@dynamic-176-004-179-180.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-25 05:34:45 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-25 05:35:53 +0100 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Server closed connection) |
| 2025-01-25 05:36:01 +0100 | shreyasminocha | (51fdc93eda@user/shreyasminocha) shreyasminocha |
| 2025-01-25 05:38:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 05:39:02 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 05:40:55 +0100 | manwithluck | (~manwithlu@194.177.28.164) (Ping timeout: 244 seconds) |
| 2025-01-25 05:43:28 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-25 05:46:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 05:56:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 06:00:50 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-25 06:01:38 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds) |
| 2025-01-25 06:01:44 +0100 | tnt2 | tnt1 |
| 2025-01-25 06:02:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-25 06:02:23 +0100 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) (Server closed connection) |
| 2025-01-25 06:02:31 +0100 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) aniketd |
| 2025-01-25 06:04:00 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 06:07:01 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-25 06:07:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 06:08:29 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-01-25 06:08:55 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-01-25 06:08:55 +0100 | tnt2 | tnt1 |
| 2025-01-25 06:09:36 +0100 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-01-25 06:11:12 +0100 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) Spawns_Carpeting |
| 2025-01-25 06:16:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 06:17:23 +0100 | sus | (1b7af6299f@user/zeromomentum) (Server closed connection) |
| 2025-01-25 06:17:31 +0100 | sus | (1b7af6299f@user/zeromomentum) zeromomentum |
| 2025-01-25 06:21:53 +0100 | samhh | (7569f027cf@2a03:6000:1812:100::e4) (Server closed connection) |
| 2025-01-25 06:21:53 +0100 | samhh_ | samhh |
| 2025-01-25 06:22:03 +0100 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) samhh |
| 2025-01-25 06:27:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 06:28:53 +0100 | cpli | (77fc530071@2a03:6000:1812:100::252) (Server closed connection) |
| 2025-01-25 06:29:02 +0100 | cpli | (77fc530071@2a03:6000:1812:100::252) cpli |
| 2025-01-25 06:32:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-25 06:33:15 +0100 | pabs3 | (~pabs3@user/pabs3) (Quit: Don't rest until all the world is paved in moss and greenery.) |
| 2025-01-25 06:33:54 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-01-25 06:37:20 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-25 06:38:21 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 06:42:02 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-25 06:42:55 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-01-25 06:43:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 06:45:53 +0100 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) (Server closed connection) |
| 2025-01-25 06:46:02 +0100 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) ursa-major |
| 2025-01-25 06:48:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-25 06:52:43 +0100 | nitrix | (~nitrix@user/meow/nitrix) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-01-25 06:52:57 +0100 | JuanDaugherty | ColinRobinson |
| 2025-01-25 06:53:52 +0100 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
| 2025-01-25 06:54:53 +0100 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) (Server closed connection) |
| 2025-01-25 06:55:02 +0100 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) fvr |
| 2025-01-25 06:58:06 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 06:58:23 +0100 | bheesham | (3aa22d8375@2a03:6000:1812:100::e40) (Server closed connection) |
| 2025-01-25 06:58:32 +0100 | bheesham | (3aa22d8375@2a03:6000:1812:100::e40) bheesham |
| 2025-01-25 06:59:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 06:59:53 +0100 | duncan | (c6181279e3@user/meow/duncan) (Server closed connection) |
| 2025-01-25 07:00:02 +0100 | duncan | (c6181279e3@user/meow/duncan) duncan |
| 2025-01-25 07:03:00 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-01-25 07:05:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 07:14:29 +0100 | nitrix | (~nitrix@user/meow/nitrix) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-01-25 07:15:50 +0100 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
| 2025-01-25 07:16:00 +0100 | koz | (~koz@121.99.240.58) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-01-25 07:16:16 +0100 | koz | (~koz@121.99.240.58) |
| 2025-01-25 07:16:58 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-25 07:17:19 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-25 07:19:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 07:19:53 +0100 | edwardk | (sid47016@haskell/developer/edwardk) (Server closed connection) |
| 2025-01-25 07:20:05 +0100 | edwardk | (sid47016@haskell/developer/edwardk) edwardk |
| 2025-01-25 07:23:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-25 07:24:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 07:24:53 +0100 | degraafk | (sid71464@id-71464.lymington.irccloud.com) (Server closed connection) |
| 2025-01-25 07:25:05 +0100 | degraafk | (sid71464@id-71464.lymington.irccloud.com) degraafk |
| 2025-01-25 07:29:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 07:32:08 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 07:36:24 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-25 07:38:02 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Quit: tnt1) |
| 2025-01-25 07:40:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 07:44:23 +0100 | SanchayanMaity | (sid478177@id-478177.hampstead.irccloud.com) (Server closed connection) |
| 2025-01-25 07:44:35 +0100 | SanchayanMaity | (sid478177@id-478177.hampstead.irccloud.com) SanchayanMaity |
| 2025-01-25 07:46:31 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 07:48:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-25 07:50:42 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-25 07:53:31 +0100 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) alecs |
| 2025-01-25 07:53:48 +0100 | causal | (~eric@50.35.84.231) causal |
| 2025-01-25 07:55:46 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds) |
| 2025-01-25 07:56:17 +0100 | euleritian | (~euleritia@77.23.250.232) |
| 2025-01-25 07:57:40 +0100 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) (Ping timeout: 252 seconds) |
| 2025-01-25 07:59:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 08:00:23 +0100 | cbarrett | (uid192934@id-192934.helmsley.irccloud.com) (Server closed connection) |
| 2025-01-25 08:00:35 +0100 | cbarrett | (sid192934@id-192934.helmsley.irccloud.com) cbarrett |
| 2025-01-25 08:00:37 +0100 | euleritian | (~euleritia@77.23.250.232) (Ping timeout: 248 seconds) |
| 2025-01-25 08:00:37 +0100 | JamesMowery4395 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye) |
| 2025-01-25 08:00:53 +0100 | JamesMowery4395 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2025-01-25 08:01:11 +0100 | euleritian | (~euleritia@dynamic-176-006-129-160.176.6.pool.telefonica.de) |
| 2025-01-25 08:01:53 +0100 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) (Server closed connection) |
| 2025-01-25 08:02:17 +0100 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) PotatoGim |
| 2025-01-25 08:02:53 +0100 | snek | (sid280155@id-280155.lymington.irccloud.com) (Server closed connection) |
| 2025-01-25 08:03:05 +0100 | snek | (sid280155@id-280155.lymington.irccloud.com) snek |
| 2025-01-25 08:04:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-25 08:07:53 +0100 | welterde | (welterde@thinkbase.srv.welterde.de) (Server closed connection) |
| 2025-01-25 08:08:34 +0100 | welterde | (welterde@thinkbase.srv.welterde.de) welterde |
| 2025-01-25 08:14:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 08:16:44 +0100 | homo | (~homo@user/homo) (Read error: Connection reset by peer) |
| 2025-01-25 08:19:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-25 08:25:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 08:29:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 08:35:55 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 08:40:32 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-01-25 08:40:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 08:49:22 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 08:50:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-25 08:53:55 +0100 | homo | (~homo@user/homo) homo |
| 2025-01-25 08:54:28 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 272 seconds) |
| 2025-01-25 08:58:27 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-25 09:00:04 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-25 09:00:41 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-25 09:01:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 09:05:53 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Server closed connection) |
| 2025-01-25 09:06:05 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) meinside |
| 2025-01-25 09:06:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 09:13:48 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-01-25 09:14:20 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-01-25 09:17:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 09:19:10 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-01-25 09:22:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-25 09:24:21 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 09:26:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 09:27:32 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2025-01-25 09:28:36 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-25 09:29:24 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-01-25 09:30:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-25 09:35:53 +0100 | spew | (~spew@135.233.119.40) (Server closed connection) |
| 2025-01-25 09:36:09 +0100 | spew | (~spew@135.233.119.40) spew |
| 2025-01-25 09:41:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 09:52:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 09:55:00 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 10:03:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 10:06:45 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-01-25 10:08:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 10:13:25 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 10:15:01 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-25 10:18:12 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-01-25 10:19:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 10:24:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-25 10:27:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 10:29:53 +0100 | j1n37 | (~j1n37@user/j1n37) (Server closed connection) |
| 2025-01-25 10:30:10 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-25 10:32:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-25 10:35:13 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-01-25 10:42:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 10:46:27 +0100 | Midjak | (~MarciZ@82.66.147.146) Midjak |
| 2025-01-25 10:47:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 10:49:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 10:54:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 10:58:09 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-01-25 10:59:52 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 265 seconds) |
| 2025-01-25 11:02:09 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 11:02:30 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-01-25 11:03:43 +0100 | monochrom | (trebla@216.138.220.146) |
| 2025-01-25 11:05:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 11:06:30 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-25 11:06:57 +0100 | Square | (~Square@user/square) Square |
| 2025-01-25 11:10:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 11:10:35 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 11:11:55 +0100 | benjamin | (~benjamin@2a03:4b80:a720:7ac0:593e:8100:a549:c86b) |
| 2025-01-25 11:12:38 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-01-25 11:12:56 +0100 | benjamin | (~benjamin@2a03:4b80:a720:7ac0:593e:8100:a549:c86b) (Client Quit) |
| 2025-01-25 11:14:45 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 2025-01-25 11:21:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 11:25:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 11:28:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 11:33:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-25 11:38:53 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Server closed connection) |
| 2025-01-25 11:39:18 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-01-25 11:43:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 11:47:53 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Server closed connection) |
| 2025-01-25 11:48:16 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-25 11:48:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 11:51:13 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 11:55:30 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-25 11:59:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 12:04:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-25 12:05:23 +0100 | CrunchyFlakes | (~CrunchyFl@ip923482e1.dynamic.kabel-deutschland.de) (Server closed connection) |
| 2025-01-25 12:05:48 +0100 | CrunchyFlakes | (~CrunchyFl@ip923482e1.dynamic.kabel-deutschland.de) |
| 2025-01-25 12:09:53 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-25 12:11:29 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 12:15:23 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Server closed connection) |
| 2025-01-25 12:15:34 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2025-01-25 12:15:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 12:19:24 +0100 | acidjnk | (~acidjnk@p200300d6e7283f8210954e931938815f.dip0.t-ipconnect.de) acidjnk |
| 2025-01-25 12:20:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-25 12:23:00 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-01-25 12:23:24 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-25 12:24:31 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-25 12:25:42 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Quit: Leaving) |
| 2025-01-25 12:29:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 12:29:47 +0100 | myname_ | (~ih1d@24.139.109.18) |
| 2025-01-25 12:30:03 +0100 | myname_ | (~ih1d@24.139.109.18) (Client Quit) |
| 2025-01-25 12:31:26 +0100 | ih1d | (~ih1d@24.139.109.18) |
| 2025-01-25 12:32:33 +0100 | euleritian | (~euleritia@dynamic-176-006-129-160.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-25 12:32:51 +0100 | euleritian | (~euleritia@77.23.250.232) |
| 2025-01-25 12:33:01 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2025-01-25 12:35:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-25 12:39:57 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 12:42:55 +0100 | xff0x | (~xff0x@2405:6580:b080:900:2b3c:b3c3:f979:5337) (Ping timeout: 252 seconds) |
| 2025-01-25 12:44:04 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-25 12:44:17 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-01-25 12:47:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 12:48:45 +0100 | xff0x | (~xff0x@2405:6580:b080:900:e092:5da1:8fce:7b28) |
| 2025-01-25 12:52:02 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-25 12:52:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-25 12:53:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 12:57:37 +0100 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) alecs |
| 2025-01-25 12:58:11 +0100 | rynite | (~bwkam@user/rynite) rynite |
| 2025-01-25 12:58:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-25 12:58:44 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-25 13:00:03 +0100 | ih1d | (~ih1d@24.139.109.18) (Quit: leaving) |
| 2025-01-25 13:00:04 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-25 13:01:07 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-25 13:01:38 +0100 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) (Ping timeout: 244 seconds) |
| 2025-01-25 13:02:14 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-25 13:03:13 +0100 | <haskellbridge> | <maerwald> @irc_libera.chat_sinbad:kf8nh.com: don't statically link crypto libs into your program |
| 2025-01-25 13:06:30 +0100 | <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 13:07:35 +0100 | <haskellbridge> | <maerwald> Compare "pkg-config --libs gtk+-3.0" with "pkg-config --libs --static gtk+-3.0" |
| 2025-01-25 13:08:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 13:10:30 +0100 | <haskellbridge> | <loonycyborg> It's because static libs are just plain archive files containing objects |
| 2025-01-25 13:10:47 +0100 | <haskellbridge> | <loonycyborg> while shared lib is real binary that has own dependencies |
| 2025-01-25 13:11:00 +0100 | <haskellbridge> | <loonycyborg> thus they can be resolved recursively |
| 2025-01-25 13:11:14 +0100 | <haskellbridge> | <loonycyborg> that probably varies on some oses though |
| 2025-01-25 13:11:21 +0100 | <haskellbridge> | <maerwald> gpgme depends on libassuan |
| 2025-01-25 13:13:19 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-25 13:13:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-25 13:14:08 +0100 | <haskellbridge> | <maerwald> So maybe: "Extra-Libraries: libgpgme libassuan" |
| 2025-01-25 13:15:34 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-25 13:21:22 +0100 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2025-01-25 13:24:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 13:27:47 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-01-25 13:28:20 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 13:29:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 13:29:29 +0100 | homo | (~homo@user/homo) (Read error: Connection reset by peer) |
| 2025-01-25 13:30:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 13:31:15 +0100 | dsrt^ | (~dsrt@108.192.66.114) (Ping timeout: 246 seconds) |
| 2025-01-25 13:31:59 +0100 | dsrt^ | (~dsrt@108.192.66.114) |
| 2025-01-25 13:33:08 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-01-25 13:35:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-25 13:36:18 +0100 | euleritian | (~euleritia@77.23.250.232) (Ping timeout: 272 seconds) |
| 2025-01-25 13:37:30 +0100 | euleritian | (~euleritia@77.23.250.232) |
| 2025-01-25 13:41:03 +0100 | ruast | (~ruast@user/Ruast336) Ruast336 |
| 2025-01-25 13:41:22 +0100 | ruast | (~ruast@user/Ruast336) (WeeChat 4.4.2) |
| 2025-01-25 13:45:51 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-25 13:45:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 13:48:30 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-25 13:50:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 13:51:53 +0100 | infinity0 | (~infinity0@pwned.gg) (Server closed connection) |
| 2025-01-25 13:52:10 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-01-25 13:55:14 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 13:55:18 +0100 | euleritian | (~euleritia@77.23.250.232) (Ping timeout: 272 seconds) |
| 2025-01-25 13:55:48 +0100 | euleritian | (~euleritia@dynamic-176-006-129-160.176.6.pool.telefonica.de) |
| 2025-01-25 13:57:21 +0100 | acidjnk | (~acidjnk@p200300d6e7283f8210954e931938815f.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-25 13:59:44 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-25 13:59:51 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-25 13:59:51 +0100 | acidjnk | (~acidjnk@p200300d6e7283f82a4444843cc0627c6.dip0.t-ipconnect.de) acidjnk |
| 2025-01-25 14:01:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 14:03:53 +0100 | xdminsy | (~xdminsy@117.147.71.143) (Server closed connection) |
| 2025-01-25 14:04:23 +0100 | xdminsy | (~xdminsy@117.147.71.143) xdminsy |
| 2025-01-25 14:06:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-25 14:08:04 +0100 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-25 14:09:23 +0100 | remmie | (ianremsen@tilde.team) (Server closed connection) |
| 2025-01-25 14:10:34 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds) |
| 2025-01-25 14:10:41 +0100 | remmie | (ianremsen@tilde.team) remsense |
| 2025-01-25 14:12:07 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-01-25 14:13:06 +0100 | ss4 | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-01-25 14:17:05 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 14:17:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 14:21:57 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-01-25 14:23:40 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2025-01-25 14:24:12 +0100 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-01-25 14:24:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-25 14:31:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 14:35:07 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 14:36:01 +0100 | sprotte24 | (~sprotte24@p200300d16f1a11001925fb087a37c132.dip0.t-ipconnect.de) |
| 2025-01-25 14:36:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-25 14:39:17 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-01-25 14:43:13 +0100 | acidjnk | (~acidjnk@p200300d6e7283f82a4444843cc0627c6.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-25 14:47:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 14:49:07 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-25 14:51:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-25 14:53:33 +0100 | rynite | (~bwkam@user/rynite) (Read error: Connection reset by peer) |
| 2025-01-25 14:59:12 +0100 | rynite | (~bwkam@user/rynite) rynite |
| 2025-01-25 15:01:04 +0100 | user363627 | (~user@user/user363627) user363627 |
| 2025-01-25 15:01:55 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 15:02:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 15:03:41 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-25 15:04:36 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 244 seconds) |
| 2025-01-25 15:05:25 +0100 | rynite | (~bwkam@user/rynite) (Quit: WeeChat 4.4.1) |
| 2025-01-25 15:06:06 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 2025-01-25 15:07:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 15:11:11 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 15:11:27 +0100 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-25 15:14:07 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 265 seconds) |
| 2025-01-25 15:15:12 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-01-25 15:18:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 15:19:41 +0100 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-01-25 15:21:57 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-25 15:25:08 +0100 | ss4 | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-01-25 15:25:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-25 15:26:00 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 15:29:01 +0100 | homo | (~homo@user/homo) homo |
| 2025-01-25 15:30:09 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 2025-01-25 15:32:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 15:37:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-25 15:38:36 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-01-25 15:39:44 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-25 15:45:31 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-01-25 15:45:48 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-01-25 15:47:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 15:52:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 15:53:21 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-25 15:56:00 +0100 | prasad | (~Thunderbi@2601:243:c001:3f07::59) (Remote host closed the connection) |
| 2025-01-25 15:56:16 +0100 | prasad | (~Thunderbi@2601:243:c001:3f07::5c) |
| 2025-01-25 15:56:30 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-25 15:59:55 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 16:03:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 16:04:13 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-25 16:04:55 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-25 16:06:43 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Read error: Connection reset by peer) |
| 2025-01-25 16:08:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-25 16:08:59 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-25 16:11:09 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 16:12:22 +0100 | qeez | (~qeez@2a00:1e88:1212:d400:b70f:1e29:cb76:d40d) |
| 2025-01-25 16:15:33 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 2025-01-25 16:19:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 16:20:06 +0100 | euleritian | (~euleritia@dynamic-176-006-129-160.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2025-01-25 16:21:16 +0100 | michalz | (~michalz@185.246.207.217) |
| 2025-01-25 16:24:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 16:27:03 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
| 2025-01-25 16:29:02 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-25 16:32:25 +0100 | euleritian | (~euleritia@dynamic-176-007-178-033.176.7.pool.telefonica.de) |
| 2025-01-25 16:33:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 16:39:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 16:41:46 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-25 16:46:14 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-25 16:48:59 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 16:50:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 16:53:41 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-01-25 16:54:12 +0100 | JuanDaugherty | ColinRobinson |
| 2025-01-25 16:57:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-25 17:00:01 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 17:00:35 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-25 17:02:21 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-01-25 17:02:35 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-25 17:04:24 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 2025-01-25 17:06:19 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-25 17:07:55 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-01-25 17:08:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 17:12:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-25 17:15:00 +0100 | manwithluck | (~manwithlu@194.177.28.164) manwithluck |
| 2025-01-25 17:24:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 17:26:29 +0100 | penteract | (~toby@blbn-12-b2-v4wan-167809-cust345.vm18.cable.virginm.net) |
| 2025-01-25 17:29:17 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 252 seconds) |
| 2025-01-25 17:29:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-25 17:34:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 17:35:56 +0100 | monochrom | (trebla@216.138.220.146) |
| 2025-01-25 17:37:23 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 17:40:58 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-25 17:41:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 17:41:40 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-25 17:52:03 +0100 | acidjnk | (~acidjnk@p200300d6e7283f82a4444843cc0627c6.dip0.t-ipconnect.de) acidjnk |
| 2025-01-25 17:52:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 17:55:44 +0100 | drdo3 | (~drdo@bl9-110-63.dsl.telepac.pt) drdo |
| 2025-01-25 17:56:21 +0100 | drdo | (~drdo@bl9-110-63.dsl.telepac.pt) (Ping timeout: 252 seconds) |
| 2025-01-25 17:56:21 +0100 | drdo3 | drdo |
| 2025-01-25 17:56:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-25 18:07:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 18:12:47 +0100 | hueso | (~root@user/hueso) (Read error: Connection reset by peer) |
| 2025-01-25 18:12:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-25 18:14:30 +0100 | xdminsy | (~xdminsy@117.147.71.143) (Read error: Connection reset by peer) |
| 2025-01-25 18:14:51 +0100 | jespada | (~jespada@2800:a4:235a:a400:d1d7:a630:6156:bec7) jespada |
| 2025-01-25 18:15:30 +0100 | xdminsy | (~xdminsy@117.147.71.143) xdminsy |
| 2025-01-25 18:16:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 18:17:32 +0100 | hueso | (~root@user/hueso) hueso |
| 2025-01-25 18:21:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 18:21:32 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 18:22:50 +0100 | euleritian | (~euleritia@dynamic-176-007-178-033.176.7.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2025-01-25 18:24:15 +0100 | euleritian | (~euleritia@dynamic-176-006-142-177.176.6.pool.telefonica.de) |
| 2025-01-25 18:25:46 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-25 18:26:08 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 18:30:32 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-25 18:32:34 +0100 | nckx | (nckx@libera/staff/owl/nckx) nckx |
| 2025-01-25 18:34:09 +0100 | euleritian | (~euleritia@dynamic-176-006-142-177.176.6.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 2025-01-25 18:34:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 18:38:42 +0100 | <ash3en> | what haskell libs/tools come to mind when you hear: model to model transformation, meta modelling |
| 2025-01-25 18:39:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-25 18:39:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 18:44:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-25 18:46:02 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2025-01-25 18:51:14 +0100 | <homo> | wow, what a surprise https://issues.guix.gnu.org/75745#6 |
| 2025-01-25 18:51:30 +0100 | aaronv | (~aaronv@user/aaronv) aaronv |
| 2025-01-25 18:53:39 +0100 | aaronv_ | (~aaronv@user/aaronv) aaronv |
| 2025-01-25 18:55:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 18:55:48 +0100 | aaronv_ | (~aaronv@user/aaronv) (Read error: Connection reset by peer) |
| 2025-01-25 18:58:46 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-25 19:00:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 19:00:42 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 19:02:22 +0100 | <geekosaur> | unless he's planning to add type level stuff that'll trip over TTG |
| 2025-01-25 19:02:51 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3502-da5c-7078-24ff-4ebd-f385.rev.sfr.net) alexherbo2 |
| 2025-01-25 19:05:06 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 2025-01-25 19:07:04 +0100 | <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 19:10:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 19:12:36 +0100 | penteract | (~toby@blbn-12-b2-v4wan-167809-cust345.vm18.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2025-01-25 19:15:17 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 19:15:33 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 19:15:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 19:18:06 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-25 19:19:51 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-01-25 19:21:06 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection) |
| 2025-01-25 19:21:26 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 19:26:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 19:28:12 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-25 19:30:16 +0100 | euleritian | (~euleritia@dynamic-176-006-142-177.176.6.pool.telefonica.de) |
| 2025-01-25 19:32:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-25 19:34:30 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection) |
| 2025-01-25 19:34:54 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 19:39:33 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 245 seconds) |
| 2025-01-25 19:39:56 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 19:40:42 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-01-25 19:41:28 +0100 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-01-25 19:42:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 19:46:04 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2025-01-25 19:46:05 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-01-25 19:48:04 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 260 seconds) |
| 2025-01-25 19:48:55 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-25 19:49:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 19:49:01 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-01-25 19:50:30 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-25 19:54:30 +0100 | user363627 | (~user@user/user363627) (Ping timeout: 252 seconds) |
| 2025-01-25 20:00:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 20:04:18 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 20:05:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 20:07:10 +0100 | hueso | (~root@user/hueso) (Read error: Connection reset by peer) |
| 2025-01-25 20:07:42 +0100 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) (Ping timeout: 252 seconds) |
| 2025-01-25 20:07:44 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 20:08:37 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-01-25 20:08:48 +0100 | euleritian | (~euleritia@dynamic-176-006-142-177.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-25 20:09:38 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-25 20:10:01 +0100 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) Spawns_Carpeting |
| 2025-01-25 20:11:09 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-25 20:11:42 +0100 | hueso | (~root@user/hueso) hueso |
| 2025-01-25 20:11:47 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-25 20:12:05 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-25 20:13:03 +0100 | acidjnk | (~acidjnk@p200300d6e7283f82a4444843cc0627c6.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-01-25 20:14:05 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds) |
| 2025-01-25 20:14:09 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-25 20:14:16 +0100 | euleritian | (~euleritia@dynamic-176-006-142-177.176.6.pool.telefonica.de) |
| 2025-01-25 20:14:55 +0100 | penteract | (~toby@blbn-12-b2-v4wan-167809-cust345.vm18.cable.virginm.net) |
| 2025-01-25 20:16:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 20:18:10 +0100 | causal | (~eric@50.35.84.231) (Quit: WeeChat 4.4.3) |
| 2025-01-25 20:19:52 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-25 20:21:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-25 20:21:02 +0100 | jespada | (~jespada@2800:a4:235a:a400:d1d7:a630:6156:bec7) (Ping timeout: 265 seconds) |
| 2025-01-25 20:22:58 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-01-25 20:23:42 +0100 | euleritian | (~euleritia@dynamic-176-006-142-177.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-25 20:24:01 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-25 20:25:14 +0100 | JuanDaugherty | ColinRobinson |
| 2025-01-25 20:27:54 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 20:31:24 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
| 2025-01-25 20:32:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 20:32:38 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 265 seconds) |
| 2025-01-25 20:33:11 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-01-25 20:34:09 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-01-25 20:35:59 +0100 | <haskellbridge> | <thirdofmay18081814goya> does anyone know of a repo that implements algebraic effects? |
| 2025-01-25 20:36:04 +0100 | <haskellbridge> | <thirdofmay18081814goya> i.e. that makes use of them |
| 2025-01-25 20:36:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 20:38:54 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-01-25 20:46:53 +0100 | <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 20:47:15 +0100 | <monochrom> | https://packdeps.haskellers.com/reverse |
| 2025-01-25 20:47:30 +0100 | <monochrom> | Oh, also https://hackage.haskell.org/packages/reverse |
| 2025-01-25 20:47:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 20:48:02 +0100 | <c_wraith> | the front page of every package description on hackage has a "Reverse Dependencies" section now |
| 2025-01-25 20:49:09 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2025-01-25 20:49:30 +0100 | <haskellbridge> | <thirdofmay18081814goya> oh neat, thanks! |
| 2025-01-25 20:52:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-25 20:54:45 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-25 20:57:23 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 21:00:04 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-25 21:00:29 +0100 | <geekosaur> | wasn't that shut down in favor of hackage? |
| 2025-01-25 21:00:41 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-25 21:00:44 +0100 | <geekosaur> | huh, no, guess they brought it back |
| 2025-01-25 21:01:07 +0100 | <geekosaur> | last time I visited it it was just a static pacge saying "hackage does this now" |
| 2025-01-25 21:01:57 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-01-25 21:03:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 21:05:04 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 21:08:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-25 21:08:45 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-25 21:09:25 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 2025-01-25 21:13:21 +0100 | hueso | (~root@user/hueso) (Read error: Connection reset by peer) |
| 2025-01-25 21:13:47 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-01-25 21:14:01 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-25 21:17:52 +0100 | hueso | (~root@user/hueso) hueso |
| 2025-01-25 21:19:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 21:20:58 +0100 | __monty__ | (~toonn@user/toonn) (Ping timeout: 265 seconds) |
| 2025-01-25 21:22:17 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection) |
| 2025-01-25 21:23:58 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2025-01-25 21:24:40 +0100 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-01-25 21:26:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-25 21:28:14 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-25 21:28:57 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-25 21:37:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 21:39:05 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-25 21:40:04 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-25 21:42:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-25 21:49:08 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 21:49:15 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 21:53:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 21:53:18 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-25 21:54:30 +0100 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 252 seconds) |
| 2025-01-25 21:55:51 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-25 21:57:51 +0100 | aaronv | (~aaronv@user/aaronv) aaronv |
| 2025-01-25 21:58:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 21:58:53 +0100 | homo | (~homo@user/homo) (Read error: Connection reset by peer) |
| 2025-01-25 22:02:39 +0100 | acidjnk | (~acidjnk@p200300d6e7283f82584cd550442beef5.dip0.t-ipconnect.de) acidjnk |
| 2025-01-25 22:09:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 22:09:18 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-01-25 22:10:56 +0100 | rvalue | (~rvalue@user/rvalue) (Remote host closed the connection) |
| 2025-01-25 22:13:02 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-25 22:13:45 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 252 seconds) |
| 2025-01-25 22:14:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-25 22:15:19 +0100 | Midjak | (~MarciZ@82.66.147.146) Midjak |
| 2025-01-25 22:17:26 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-25 22:23:35 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-01-25 22:24:27 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 22:24:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 22:25:29 +0100 | Axma72592 | Axman6 |
| 2025-01-25 22:28:29 +0100 | <monochrom> | Dependency killed the cat. Resolution brought it back! |
| 2025-01-25 22:28:42 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3502-da5c-7078-24ff-4ebd-f385.rev.sfr.net) (Remote host closed the connection) |
| 2025-01-25 22:28:52 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-25 22:29:25 +0100 | earthy | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Ping timeout: 248 seconds) |
| 2025-01-25 22:30:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-25 22:30:24 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-25 22:30:24 +0100 | <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 22:30:55 +0100 | <geekosaur> | lol |
| 2025-01-25 22:31:20 +0100 | <geekosaur> | good thing I didn't use that one |
| 2025-01-25 22:31:34 +0100 | <c_wraith> | Two libraries have that same bug. |
| 2025-01-25 22:31:50 +0100 | <monochrom> | :( |
| 2025-01-25 22:32:02 +0100 | <c_wraith> | (one of them is closely based on the other) |
| 2025-01-25 22:32:06 +0100 | <c_wraith> | ((too closely)) |
| 2025-01-25 22:33:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 22:34:38 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-01-25 22:34:39 +0100 | <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 22:35:15 +0100 | <c_wraith> | is that the weight-balanced trees? |
| 2025-01-25 22:35:23 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 2025-01-25 22:35:38 +0100 | <c_wraith> | That's what these are both using, except they just fail to balance if one subtree is empty. |
| 2025-01-25 22:35:45 +0100 | <c_wraith> | That's not a bug in the thesis. |
| 2025-01-25 22:35:46 +0100 | <monochrom> | No, size-balanced. Subtle difference but big impact on what can be proved. |
| 2025-01-25 22:35:48 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-25 22:35:58 +0100 | <monochrom> | Ah OK different bug. |
| 2025-01-25 22:36:08 +0100 | <monochrom> | weight = size+1 |
| 2025-01-25 22:36:12 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-25 22:36:37 +0100 | <c_wraith> | Ah. So it's the same thesis, but the bug isn't in the thesis. |
| 2025-01-25 22:36:50 +0100 | <c_wraith> | or at least this bug isn't |
| 2025-01-25 22:37:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-25 22:37:53 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 22:39:38 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-01-25 22:41:47 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-25 22:41:58 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-01-25 22:42:22 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-25 22:48:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 22:53:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-25 22:57:38 +0100 | alp | (~alp@2001:861:8ca0:4940:eb00:e50a:c19c:d6cb) |
| 2025-01-25 23:02:32 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 23:04:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 23:07:17 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 265 seconds) |
| 2025-01-25 23:09:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 23:12:54 +0100 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
| 2025-01-25 23:19:08 +0100 | qeez | (~qeez@2a00:1e88:1212:d400:b70f:1e29:cb76:d40d) (Quit: qeez) |
| 2025-01-25 23:19:15 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Quit: leaving) |
| 2025-01-25 23:19:16 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-25 23:19:40 +0100 | euleritian | (~euleritia@77.23.250.232) |
| 2025-01-25 23:20:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 23:25:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-25 23:26:57 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-25 23:31:11 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-25 23:33:05 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-25 23:34:41 +0100 | aaronv | (~aaronv@user/aaronv) (Remote host closed the connection) |
| 2025-01-25 23:35:05 +0100 | aaronv | (~aaronv@user/aaronv) aaronv |
| 2025-01-25 23:36:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 23:37:37 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 2025-01-25 23:40:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-25 23:48:39 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-01-25 23:49:49 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-25 23:49:53 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Client Quit) |
| 2025-01-25 23:52:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-25 23:52:27 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-25 23:55:01 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-25 23:57:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |