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