Home liberachat/#haskell: Logs Calendar

Logs on 2024-07-23 (liberachat/#haskell)

00:01:07 → pavonia joins (~user@user/siracusa)
00:01:16 <Unicorn_Princess> indeed i think i did just that yesterday. oh well
00:04:59 × Guest62 quits (~Guest@modemcable143.110-82-70.mc.videotron.ca) (Quit: Client closed)
00:18:30 × tabemann quits (~tabemann@2600:1700:7990:24e0:7233:7c99:3fac:5c8c) (Remote host closed the connection)
00:18:48 → tabemann joins (~tabemann@2600:1700:7990:24e0:857c:42f1:b76d:8309)
00:20:25 → EvanR_ joins (~EvanR@user/evanr)
00:21:00 × EvanR quits (~EvanR@user/evanr) (Ping timeout: 276 seconds)
00:45:42 × oo_miguel quits (~Thunderbi@78.10.207.46) (Ping timeout: 276 seconds)
00:46:54 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
00:53:48 × tomku quits (~tomku@user/tomku) (Ping timeout: 244 seconds)
01:01:41 × flounders quits (~flounders@2607:fb91:f01:d76e:1e66:42c0:b933:4f56) (Ping timeout: 248 seconds)
01:03:40 → flounders joins (~flounders@24.246.176.178)
01:26:51 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
01:41:11 → poscat0x04 joins (~poscat@user/poscat)
01:41:30 × poscat quits (~poscat@user/poscat) (Ping timeout: 252 seconds)
01:46:38 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
01:50:28 × Square2 quits (~Square@user/square) (Ping timeout: 272 seconds)
01:51:07 × tram quits (~tram@94.71.169.62) (Quit: Leaving.)
02:01:24 → rosco joins (~rosco@14.191.221.176)
02:04:13 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
02:04:53 → euleritian joins (~euleritia@dynamic-176-006-130-188.176.6.pool.telefonica.de)
02:05:48 × euleritian quits (~euleritia@dynamic-176-006-130-188.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
02:06:05 → euleritian joins (~euleritia@77.22.252.56)
02:12:48 × xff0x quits (~xff0x@2405:6580:b080:900:4b6d:240e:ce3d:bc81) (Ping timeout: 276 seconds)
02:14:32 × orcus quits (~orcus@mail.brprice.uk) (Quit: ZNC 1.8.2 - https://znc.in)
02:14:51 → orcus joins (~orcus@mail.brprice.uk)
02:16:15 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
02:17:14 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
02:18:00 × td_ quits (~td@i53870938.versanet.de) (Ping timeout: 276 seconds)
02:19:03 → td_ joins (~td@i53870927.versanet.de)
02:24:46 × rosco quits (~rosco@14.191.221.176) (Ping timeout: 252 seconds)
02:37:01 × kupi quits (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
02:38:25 × [exa] quits (~exa@user/exa/x-3587197) (Ping timeout: 265 seconds)
02:49:35 <Lears> Is there any way to satisfy the quantified constraint `C => D` with `Dict C -> Dict D`?
02:49:58 <Lears> Doesn't necessarily need to be safe, so long as it behaves at runtime.
02:51:58 <glguy> Lears: There's unmapDict :: (Dict a -> Dict b) -> a :- b
02:56:54 <Lears> Unfortunately, I don't see how to satisfy it with `C :- D` either.
03:00:41 <glguy> that is it that you're trying to satisfy, then?
03:01:31 Lears fails to parse
03:01:38 <glguy> what is it
03:04:17 <Lears> I want `(Dict c -> Dict d) -> ((c => d) => r) -> r` or `c :- d -> ((c => d) => r) -> r`.
03:05:46 <Lears> Note that `(c => d) => c :- d` is trivial, but not the other direction.
03:05:49 → tomku joins (~tomku@user/tomku)
03:06:07 → xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
03:13:05 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
03:13:10 <glguy> fun :: (Dict (c |- d)) -> ((c => d) => r) -> r
03:13:10 <glguy> fun Dict x = x
03:14:31 <glguy> reifyImpl :: (c => d) => Dict (c |- d)
03:14:31 <glguy> reifyImpl = Dict
03:15:30 <glguy> no, that doesn't answer your question yet :)
03:19:32 → gdown joins (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net)
03:24:25 × xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds)
03:26:23 → xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
03:29:24 × gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in)
03:43:49 → gabiruh joins (~gabiruh@vps19177.publiccloud.com.br)
03:57:52 → aforemny_ joins (~aforemny@i59F516F9.versanet.de)
03:58:45 × aforemny quits (~aforemny@i59F516C3.versanet.de) (Ping timeout: 248 seconds)
04:02:39 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
04:07:05 × ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer)
04:08:53 × Midjak quits (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep)
04:13:01 → ezzieyguywuf joins (~Unknown@user/ezzieyguywuf)
04:20:55 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
04:50:47 → MadeleineSydney joins (~Thunderbi@c-71-229-185-228.hsd1.co.comcast.net)
04:51:45 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir)
05:29:29 → michalz joins (~michalz@185.246.207.197)
05:30:27 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
05:30:49 × hc quits (~hc@2407:d200:d002:43:229:85:195:3) (Ping timeout: 245 seconds)
05:32:35 → hc joins (~hc@2407:d200:d002:43:229:85:195:3)
05:34:32 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
05:36:28 × gdown quits (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection)
05:46:10 → Guest25 joins (~Guest25@2a00:23c8:a613:101:229e:d5ce:78c6:554f)
05:46:55 ← Guest25 parts (~Guest25@2a00:23c8:a613:101:229e:d5ce:78c6:554f) ()
05:48:50 × dev2 quits (~dev@2405:201:c062:8850:44b5:cf88:3e8b:8a9d) (Quit: WeeChat 4.3.2)
05:49:42 × sprout quits (~quassel@2a02:a448:3a80:0:990c:9f27:85e3:92f7) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
05:50:01 → sprout joins (~quassel@2a02-a448-3a80-0-9023-d965-287a-ca2f.fixed6.kpn.net)
06:05:32 × rvalue quits (~rvalue@user/rvalue) (Ping timeout: 255 seconds)
06:05:34 × monochrom quits (trebla@216.138.220.146) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in)
06:06:00 → rvalue joins (~rvalue@user/rvalue)
06:06:08 → monochrom joins (trebla@216.138.220.146)
06:37:41 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
06:39:17 × euleritian quits (~euleritia@77.22.252.56) (Ping timeout: 248 seconds)
06:39:29 → euleritian joins (~euleritia@dynamic-176-006-141-222.176.6.pool.telefonica.de)
06:41:09 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
06:48:46 → lortabac joins (~lortabac@host-87-8-210-48.retail.telecomitalia.it)
06:50:21 → acidjnk joins (~acidjnk@p200300d6e72cfb436d5a267264431f6c.dip0.t-ipconnect.de)
06:55:17 × tv quits (~tv@user/tv) (Ping timeout: 248 seconds)
07:01:54 → oo_miguel joins (~Thunderbi@78.10.207.46)
07:28:19 × Pixi quits (~Pixi@user/pixi) (Ping timeout: 264 seconds)
07:28:32 → danse-nr3 joins (~danse-nr3@user/danse-nr3)
07:29:34 → Pixi joins (~Pixi@user/pixi)
07:41:12 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds)
07:50:13 × m1dnight quits (~christoph@82.146.125.185) (Ping timeout: 248 seconds)
07:53:10 × billchenchina- quits (~billchenc@118.38.173.226) (Quit: Leaving)
07:56:15 → machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net)
07:58:12 → Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
07:59:10 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds)
07:59:36 Lord_of_Life_ is now known as Lord_of_Life
08:09:57 × tomku quits (~tomku@user/tomku) (Ping timeout: 248 seconds)
08:10:10 → tomku joins (~tomku@user/tomku)
08:11:36 × hgolden quits (~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7) (Ping timeout: 276 seconds)
08:13:51 → hgolden joins (~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7)
08:14:02 → m1dnight joins (~christoph@d8D861035.access.telenet.be)
08:15:10 × hgolden quits (~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7) (Remote host closed the connection)
08:15:30 → hgolden joins (~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7)
08:29:40 → tv joins (~tv@user/tv)
08:33:27 × ft quits (~ft@p3e9bc4e7.dip0.t-ipconnect.de) (Quit: leaving)
08:36:08 × tv quits (~tv@user/tv) (Read error: Connection reset by peer)
08:39:28 → [exa] joins (~exa@user/exa/x-3587197)
08:39:43 → gehmehgeh joins (~user@user/gehmehgeh)
08:40:20 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
08:44:09 × danse-nr3 quits (~danse-nr3@user/danse-nr3) (Ping timeout: 245 seconds)
08:46:02 × Batzy quits (~quassel@user/batzy) (Ping timeout: 244 seconds)
08:51:20 → Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
08:52:21 → tv joins (~tv@user/tv)
08:52:24 <[exa]> Lears: anyway I found the "future use" for the extra argument for (Rep a)-- it's used precisely in Rep1 as the type parameter. My problem was that my program didn't carry this over, so in the end it was unable to match that `(Rep f) x` corresponds to the representation of `f a`
08:56:19 → danse-nr3 joins (~danse-nr3@user/danse-nr3)
08:56:46 × danse-nr3 quits (~danse-nr3@user/danse-nr3) (Remote host closed the connection)
08:57:10 → sawilagar joins (~sawilagar@user/sawilagar)
08:57:15 → danse-nr3 joins (~danse-nr3@user/danse-nr3)
08:58:47 gehmehgeh is now known as gmg
09:01:22 → chele joins (~chele@user/chele)
09:12:08 × bairyn quits (~bairyn@50.250.232.19) (Ping timeout: 264 seconds)
09:16:37 → rosco joins (~rosco@14.191.221.176)
09:18:49 → bairyn joins (~bairyn@50.250.232.19)
09:20:01 → __monty__ joins (~toonn@user/toonn)
09:34:35 × euleritian quits (~euleritia@dynamic-176-006-141-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
09:34:53 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
09:39:48 × rosco quits (~rosco@14.191.221.176) (Quit: Lost terminal)
09:43:15 × Katarushisu1 quits (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 276 seconds)
09:47:30 → CiaoSen joins (~Jura@2a05:5800:2b1:c300:e6b9:7aff:fe80:3d03)
09:47:49 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
09:48:06 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
09:55:08 → cfricke joins (~cfricke@user/cfricke)
10:07:57 × xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 276 seconds)
10:13:48 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds)
10:15:03 → euleritian joins (~euleritia@dynamic-176-006-141-222.176.6.pool.telefonica.de)
10:15:48 → Katarushisu1 joins (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net)
10:17:45 × euleritian quits (~euleritia@dynamic-176-006-141-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
10:18:02 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
10:42:24 × cassiopea quits (~cassiopea@user/cassiopea) (Ping timeout: 276 seconds)
10:42:44 × lortabac quits (~lortabac@host-87-8-210-48.retail.telecomitalia.it) (Quit: WeeChat 4.2.2)
10:43:33 × Katarushisu1 quits (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 248 seconds)
10:45:22 → meritamen joins (~user@user/meritamen)
10:46:38 ← meritamen parts (~user@user/meritamen) ()
10:46:49 → Katarushisu1 joins (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net)
10:51:01 × CiaoSen quits (~Jura@2a05:5800:2b1:c300:e6b9:7aff:fe80:3d03) (Ping timeout: 248 seconds)
10:51:49 → tram joins (~tram@94.71.169.62)
10:57:45 → Square2 joins (~Square@user/square)
10:58:47 × danse-nr3 quits (~danse-nr3@user/danse-nr3) (Read error: Connection reset by peer)
10:59:16 → danse-nr3 joins (~danse-nr3@user/danse-nr3)
11:01:49 × danse-nr3 quits (~danse-nr3@user/danse-nr3) (Client Quit)
11:06:29 × m1dnight quits (~christoph@d8D861035.access.telenet.be) (Ping timeout: 248 seconds)
11:08:21 → m1dnight joins (~christoph@78-20-61-242.access.telenet.be)
11:09:11 → lortabac joins (~lortabac@host-87-8-210-48.retail.telecomitalia.it)
11:12:26 × AlexNoo quits (~AlexNoo@94.233.241.102) (Read error: Connection reset by peer)
11:13:05 → xff0x joins (~xff0x@2405:6580:b080:900:29eb:497:a6f9:c34d)
11:13:50 → CiaoSen joins (~Jura@2a05:5800:2b1:c300:e6b9:7aff:fe80:3d03)
11:15:10 → danza joins (~francesco@151.57.152.38)
11:15:33 × AlexZenon quits (~alzenon@94.233.241.102) (Ping timeout: 276 seconds)
11:15:58 × econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
11:16:31 → AlexNoo joins (~AlexNoo@94.233.241.102)
11:18:46 → AlexZenon joins (~alzenon@94.233.241.102)
11:32:27 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds)
11:33:35 → euleritian joins (~euleritia@dynamic-176-006-141-222.176.6.pool.telefonica.de)
11:42:27 × tram quits (~tram@94.71.169.62) (Quit: Leaving.)
11:43:44 × lortabac quits (~lortabac@host-87-8-210-48.retail.telecomitalia.it) (Quit: WeeChat 4.2.2)
12:12:06 × ddellacosta quits (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 276 seconds)
12:16:43 → misterfish joins (~misterfis@87.215.131.102)
12:17:17 × machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds)
12:28:18 × danza quits (~francesco@151.57.152.38) (Quit: Leaving)
12:31:01 × zero quits (~z@user/zero) (Quit: quit)
12:33:32 × euleritian quits (~euleritia@dynamic-176-006-141-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
12:33:49 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
12:35:23 → zero joins (~z@user/zero)
12:37:10 × lain` quits (lain`@user/lain/x-9874679) (Remote host closed the connection)
12:37:25 → lain` joins (lain`@user/lain/x-9874679)
12:39:01 × lain` quits (lain`@user/lain/x-9874679) (Remote host closed the connection)
12:39:15 → lain` joins (lain`@user/lain/x-9874679)
12:43:26 → lortabac joins (~lortabac@host-87-8-210-48.retail.telecomitalia.it)
12:51:20 × misterfish quits (~misterfis@87.215.131.102) (Quit: leaving)
12:51:28 → misterfish joins (~misterfis@87.215.131.102)
12:52:26 × CrunchyFlakes quits (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer)
12:54:39 → CrunchyFlakes joins (~CrunchyFl@146.52.130.128)
12:57:50 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
13:01:34 × aniketd quits (32aa4844cd@2a03:6000:1812:100::dcb) (Remote host closed the connection)
13:01:34 × shreyasminocha quits (51fdc93eda@user/shreyasminocha) (Remote host closed the connection)
13:01:34 × ymherklotz quits (cb2c9cfbdd@2a03:6000:1812:100::29a) (Remote host closed the connection)
13:01:34 × tok quits (da65c7b04b@user/tok) (Remote host closed the connection)
13:01:34 × ursa-major quits (114efe6c39@2a03:6000:1812:100::11f3) (Remote host closed the connection)
13:01:34 × whereiseveryone quits (206ba86c98@2a03:6000:1812:100::2e4) (Remote host closed the connection)
13:01:34 × chaitlatte0 quits (ea29c0bb16@user/chaitlatte0) (Remote host closed the connection)
13:01:35 × jmcantrell quits (644f1bed9a@user/jmcantrell) (Remote host closed the connection)
13:01:35 × b0o quits (0e4a0bf4c9@2a03:6000:1812:100::1bf) (Remote host closed the connection)
13:01:35 × eso quits (a0662dfd5e@2a03:6000:1812:100::1266) (Remote host closed the connection)
13:01:35 × bsima1 quits (9d7e39c8ad@2a03:6000:1812:100::dd) (Remote host closed the connection)
13:01:35 × lane quits (809450f172@2a03:6000:1812:100::1300) (Remote host closed the connection)
13:01:35 × samhh_ quits (7569f027cf@2a03:6000:1812:100::e4) (Remote host closed the connection)
13:01:35 × cpli quits (77fc530071@2a03:6000:1812:100::252) (Remote host closed the connection)
13:01:35 × fvr quits (ef3e56ca8b@2a03:6000:1812:100::3c4) (Remote host closed the connection)
13:01:35 × rselim quits (ce261f06ff@user/milesrout) (Remote host closed the connection)
13:01:35 × jakzale quits (6291399afa@user/jakzale) (Remote host closed the connection)
13:01:35 × ggb quits (a62ffbaf4f@2a03:6000:1812:100::3ac) (Remote host closed the connection)
13:01:35 × kuruczgy quits (55b66dd3ae@2a03:6000:1812:100::127f) (Remote host closed the connection)
13:01:35 × jkoshy quits (99b9359beb@user/jkoshy) (Remote host closed the connection)
13:01:35 × fn_lumi quits (3d621153a5@2a03:6000:1812:100::df7) (Remote host closed the connection)
13:01:35 × elevenkb quits (ab07dcdb5a@2a03:6000:1812:100::13ac) (Remote host closed the connection)
13:01:35 × raghavgururajan quits (ea769b8000@user/raghavgururajan) (Remote host closed the connection)
13:01:35 × akspecs quits (00cc8321af@sourcehut/user/akspecs) (Remote host closed the connection)
13:01:35 × fgaz_ quits (1ff9197ed6@2a03:6000:1812:100::11ea) (Remote host closed the connection)
13:01:35 × arcadewise quits (52968ed80d@2a03:6000:1812:100::3df) (Remote host closed the connection)
13:01:35 × filwisher quits (2e6936c793@2a03:6000:1812:100::170) (Remote host closed the connection)
13:01:35 × lukec quits (9dfd4d094e@2a03:6000:1812:100::10e) (Remote host closed the connection)
13:01:35 × jleightcap quits (7bc4014b62@user/jleightcap) (Remote host closed the connection)
13:01:35 × probie quits (cc0b34050a@user/probie) (Remote host closed the connection)
13:01:35 × evanrelf quits (3addc196af@2a03:6000:1812:100::f0) (Remote host closed the connection)
13:01:35 × titibandit quits (e33ffbab65@user/titibandit) (Remote host closed the connection)
13:01:35 × sus quits (1b7af6299f@user/zeromomentum) (Remote host closed the connection)
13:01:35 × fluffyballoon quits (45ce440a48@2a03:6000:1812:100::e2) (Remote host closed the connection)
13:01:35 × JoelMcCracken quits (5ea8252fbb@2a03:6000:1812:100::10e3) (Remote host closed the connection)
13:01:35 × pmk quits (6afe4476a1@2a03:6000:1812:100::26d) (Remote host closed the connection)
13:01:35 × duncan quits (c6181279e3@user/meow/duncan) (Remote host closed the connection)
13:01:35 × samhh quits (7569f027cf@2a03:6000:1812:100::e4) (Remote host closed the connection)
13:01:35 × henrytill quits (e0180937c3@2a03:6000:1812:100::e8c) (Remote host closed the connection)
13:01:36 × sm2n quits (ae95cb1267@user/sm2n) (Remote host closed the connection)
13:01:36 × Ankhers quits (e99e97ef8e@2a03:6000:1812:100::2a2) (Remote host closed the connection)
13:01:38 × alethkit quits (23bd17ddc6@sourcehut/user/alethkit) (Remote host closed the connection)
13:01:54 → tok joins (da65c7b04b@user/tok)
13:01:54 → jkoshy joins (99b9359beb@user/jkoshy)
13:01:54 → pmk joins (6afe4476a1@2a03:6000:1812:100::26d)
13:01:54 → elevenkb joins (ab07dcdb5a@2a03:6000:1812:100::13ac)
13:01:55 → fn_lumi joins (3d621153a5@2a03:6000:1812:100::df7)
13:01:55 → lane joins (809450f172@2a03:6000:1812:100::1300)
13:01:55 → jmcantrell joins (644f1bed9a@user/jmcantrell)
13:01:55 → fgaz_ joins (1ff9197ed6@2a03:6000:1812:100::11ea)
13:01:55 → evanrelf joins (3addc196af@2a03:6000:1812:100::f0)
13:01:55 → eso joins (a0662dfd5e@2a03:6000:1812:100::1266)
13:01:55 → lukec joins (9dfd4d094e@2a03:6000:1812:100::10e)
13:01:55 → filwisher joins (2e6936c793@2a03:6000:1812:100::170)
13:01:56 → JoelMcCracken joins (5ea8252fbb@2a03:6000:1812:100::10e3)
13:01:56 → bsima1 joins (9d7e39c8ad@2a03:6000:1812:100::dd)
13:01:56 → ggb joins (a62ffbaf4f@2a03:6000:1812:100::3ac)
13:01:57 → titibandit joins (e33ffbab65@user/titibandit)
13:01:59 → probie joins (cc0b34050a@user/probie)
13:01:59 → b0o joins (0e4a0bf4c9@2a03:6000:1812:100::1bf)
13:02:01 → aniketd joins (32aa4844cd@2a03:6000:1812:100::dcb)
13:02:02 → whereiseveryone joins (206ba86c98@2a03:6000:1812:100::2e4)
13:02:02 → fluffyballoon joins (45ce440a48@2a03:6000:1812:100::e2)
13:02:02 → kuruczgy joins (55b66dd3ae@2a03:6000:1812:100::127f)
13:02:03 → henrytill joins (e0180937c3@2a03:6000:1812:100::e8c)
13:02:03 → duncan joins (c6181279e3@user/meow/duncan)
13:02:03 → rselim joins (ce261f06ff@user/milesrout)
13:02:03 → alethkit joins (23bd17ddc6@sourcehut/user/alethkit)
13:02:04 → sm2n joins (ae95cb1267@user/sm2n)
13:02:04 → jakzale joins (6291399afa@user/jakzale)
13:02:04 → raghavgururajan joins (ea769b8000@user/raghavgururajan)
13:02:04 → Ankhers joins (e99e97ef8e@2a03:6000:1812:100::2a2)
13:02:05 → jleightcap joins (7bc4014b62@user/jleightcap)
13:02:05 → ursa-major joins (114efe6c39@2a03:6000:1812:100::11f3)
13:02:06 → cpli joins (77fc530071@2a03:6000:1812:100::252)
13:02:06 → arcadewise joins (52968ed80d@2a03:6000:1812:100::3df)
13:02:06 → shreyasminocha joins (51fdc93eda@user/shreyasminocha)
13:02:06 → sus joins (1b7af6299f@user/zeromomentum)
13:02:06 → ymherklotz joins (cb2c9cfbdd@2a03:6000:1812:100::29a)
13:02:08 → samhh joins (7569f027cf@2a03:6000:1812:100::e4)
13:02:08 → akspecs joins (00cc8321af@sourcehut/user/akspecs)
13:02:08 → fvr joins (ef3e56ca8b@2a03:6000:1812:100::3c4)
13:02:09 → samhh_ joins (7569f027cf@2a03:6000:1812:100::e4)
13:02:09 → chaitlatte0 joins (ea29c0bb16@user/chaitlatte0)
13:13:47 × lain` quits (lain`@user/lain/x-9874679) (Remote host closed the connection)
13:14:23 × AlexZenon quits (~alzenon@94.233.241.102) (Ping timeout: 255 seconds)
13:16:05 → lain` joins (lain`@user/lain/x-9874679)
13:21:34 × lain` quits (lain`@user/lain/x-9874679) (Remote host closed the connection)
13:21:48 → lain` joins (lain`@user/lain/x-9874679)
13:26:21 → AlexZenon joins (~alzenon@94.233.241.102)
13:27:13 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
13:30:34 × misterfish quits (~misterfis@87.215.131.102) (Ping timeout: 252 seconds)
13:32:31 → misterfish joins (~misterfis@178.225.163.150)
13:51:07 → pure_sandals joins (~pure_sand@84.245.120.207)
13:53:26 → danza joins (~francesco@151.57.152.38)
13:54:26 × Katarushisu1 quits (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 255 seconds)
13:59:51 → Midjak joins (~MarciZ@82.66.147.146)
14:01:53 <pure_sandals> or is OOP more like an architectural pattern? In the sense that you think about everything in terms of objects and passing messages between them? Does it help with managing complexity?
14:02:12 <pure_sandals> anyone can point me to a haskell package written in OO style/OO architecture?
14:11:01 ← lain` parts (lain`@user/lain/x-9874679) ()
14:11:38 × lortabac quits (~lortabac@host-87-8-210-48.retail.telecomitalia.it) (Quit: WeeChat 4.2.2)
14:13:09 EvanR_ is now known as EvanR
14:13:49 <EvanR> like I said people in elixir think of everthing as processes with message passing
14:14:04 × misterfish quits (~misterfis@178.225.163.150) (Ping timeout: 260 seconds)
14:14:05 <EvanR> in haskell you can emulate it using threads or async threads
14:14:13 <EvanR> which can be a good way to organize a complex entire app
14:14:42 <EvanR> and then forget to call it OOP
14:15:25 → misterfish joins (~misterfis@87.215.131.102)
14:17:23 → Katarushisu1 joins (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net)
14:18:11 <pure_sandals> fair play, but from I understood, the equivalent of OOP in haskell would be relying heavily on closures and/or records with functional types inside. I don't think threads have anything to do with it...
14:21:07 <pure_sandals> I want to get to the bottom of what OOP actually "brings to the table". And right now I think it's just a way to organize/structure programs - and that in itsself most likely has benefits for managing complexity
14:21:48 <pure_sandals> May the real OOP guru please stand up!
14:22:24 <EvanR> there's not one way to do it
14:22:58 <EvanR> you want hardcore OOP in haskell? https://arxiv.org/abs/cs/0509027
14:28:16 <pure_sandals> bloody heck, that is quite hardcoreish
14:28:17 <pure_sandals> "supports all the conventional OO features plus more advanced ones, including first-class lexically scoped classes, implicitly polymorphic classes, flexible multiple inheritance, safe downcasts and safe co-variant arguments. Haskell indeed can support width and depth, structural and nominal subtyping"
14:28:17 <pure_sandals> who even needs this? how is it useful?
14:28:46 <EvanR> I've never heard of it used for anything
14:28:58 <EvanR> enjoy
14:29:44 <EvanR> could I interest you in some locally sourced functional programming instead
14:30:12 <pure_sandals> haha thanks and yes. i am interested
14:31:06 <pure_sandals> but only if it's enviroment friendly locally sourced fp
14:38:53 × danza quits (~francesco@151.57.152.38) (Quit: offternoon)
14:43:46 <c_wraith> "
14:43:46 <c_wraith> Cotambara cofreely constructs costrength"
14:43:54 <c_wraith> ... that was on purpose, wasn't it?
14:44:52 <EvanR> quadco
14:45:32 <c_wraith> but I don't know how to flip the arrows in nstructs
14:48:39 × Square2 quits (~Square@user/square) (Ping timeout: 252 seconds)
14:50:31 chexum_ is now known as chexum
15:03:37 × hiecaq quits (~hiecaq@user/hiecaq) (Read error: Connection reset by peer)
15:04:02 → hiecaq joins (~hiecaq@user/hiecaq)
15:04:53 × misterfish quits (~misterfis@87.215.131.102) (Ping timeout: 248 seconds)
15:16:19 × hiecaq quits (~hiecaq@user/hiecaq) (Remote host closed the connection)
15:17:19 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 252 seconds)
15:20:03 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
15:34:13 × CiaoSen quits (~Jura@2a05:5800:2b1:c300:e6b9:7aff:fe80:3d03) (Ping timeout: 248 seconds)
15:39:00 × nschoe quits (~nschoe@2a01:e0a:8e:a190:fc9c:5522:10fe:ee01) (Quit: ZNC 1.8.2 - https://znc.in)
15:39:08 → madhavanmiui joins (~madhavanm@152.58.225.180)
15:39:17 → nschoe joins (~nschoe@2a01:e0a:8e:a190:d87a:f2c2:7e95:50b1)
15:40:24 × madhavanmiui quits (~madhavanm@152.58.225.180) (Client Quit)
15:40:28 × cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2)
15:45:22 × pure_sandals quits (~pure_sand@84.245.120.207) (Quit: Client closed)
15:51:32 × Katarushisu1 quits (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 272 seconds)
15:52:09 → Katarushisu1 joins (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net)
15:53:55 × Midjak quits (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep)
15:55:46 × Katarushisu1 quits (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Client Quit)
15:56:07 → Katarushisu1 joins (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net)
16:00:38 → skyesoss1 joins (~Thunderbi@128.135.204.35)
16:01:25 × Katarushisu1 quits (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 248 seconds)
16:01:42 × euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.)
16:07:05 → euphores joins (~SASL_euph@user/euphores)
16:35:28 → Katarushisu1 joins (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net)
16:36:57 → soverysour joins (~soverysou@user/soverysour)
16:47:19 → econo_ joins (uid147250@id-147250.tinside.irccloud.com)
16:48:19 × acidjnk quits (~acidjnk@p200300d6e72cfb436d5a267264431f6c.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
16:54:52 → misterfish joins (~misterfis@84.53.85.146)
16:59:14 → saus joins (~saus@pool-96-255-162-173.washdc.fios.verizon.net)
17:01:53 → pure_sandals joins (~pure_sand@84.245.120.207)
17:03:26 × sawilagar quits (~sawilagar@user/sawilagar) (Quit: Leaving)
17:04:51 × chele quits (~chele@user/chele) (Remote host closed the connection)
17:04:53 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 248 seconds)
17:05:36 → sawilagar joins (~sawilagar@user/sawilagar)
17:07:36 × pure_sandals quits (~pure_sand@84.245.120.207) (Quit: Client closed)
17:10:01 → JuanDaugherty joins (~juan@user/JuanDaugherty)
17:12:03 × saus quits (~saus@pool-96-255-162-173.washdc.fios.verizon.net) (Ping timeout: 256 seconds)
17:23:52 → acidjnk joins (~acidjnk@p200300d6e72cfb436d5a267264431f6c.dip0.t-ipconnect.de)
17:26:56 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
17:46:22 × soverysour quits (~soverysou@user/soverysour) (Remote host closed the connection)
17:54:19 → Square2 joins (~Square@user/square)
18:02:15 → slack1256 joins (~slack1256@2803:c600:5111:80cb:37bc:e58a:82fe:bd1a)
18:03:49 <slack1256> Hey guys, I do mantain some packages on hackage. I wonder how do you guys keep updated on the changes your dependencies have. Right now I go through each dependency changelog.md and try to make sense on what I do use, but takes too much time.
18:07:39 → soverysour joins (~soverysou@user/soverysour)
18:08:06 → simendsjo joins (~user@2001:2044:1413:800:c4c9:16db:19ee:b47c)
18:08:16 <davean> slack1256: how *often* do you do that?
18:09:02 <slack1256> 6 months~
18:09:20 <slack1256> But I do so every 6 months because it bothersome.
18:10:16 <davean> It is by far best to read the changelogs. Even when I'm pulling 100+ packages it doesn't really take me long. Usually I just can go "None of that matters, bump the bound" and move on.
18:10:47 <davean> What part of it takes you the time?
18:15:36 <slack1256> I use cabal constraint to select the modified version, build it and test it myself. I do that per major version I want to support on the library.
18:15:37 <dolio> You could probably do something with `allow-newer` that would tell you if things build and tests pass. But you wouldn't necessarily know if something you aren't testing for would break.
18:23:49 × soverysour quits (~soverysou@user/soverysour) (Ping timeout: 248 seconds)
18:27:25 × mulk quits (~mulk@p5b112b2e.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
18:36:18 <davean> slack1256: right but waht you just described is something CI can do, so what part is taking the time?
18:37:23 <slack1256> yeah, I should bite the bullet and set up the CI on github...
18:37:39 <davean> I mean you can also set it running in a tmux on your system
18:37:58 <davean> I need to understand where you're actually putting the effort to help you
18:38:43 → mulk joins (~mulk@p5b112b2e.dip0.t-ipconnect.de)
18:42:06 <davean> If you're less particular you can run "cabal-bounds" and after tests be done. That ... requires very good tests ... Its so fast to just read the changelogs ...
18:42:40 <davean> You just keep hitting "q" on less as you agree none of the stuff matters, till you get to something that matters.
18:45:59 × JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
18:56:35 → lxsameer joins (~lxsameer@Serene/lxsameer)
18:59:42 → cstml joins (~cstml@user/cstml)
19:05:21 × Axman6 quits (~Axman6@user/axman6) (Remote host closed the connection)
19:05:37 → Axman6 joins (~Axman6@user/axman6)
19:05:57 × cstml quits (~cstml@user/cstml) (Ping timeout: 248 seconds)
19:11:49 → cstml joins (~cstml@user/cstml)
19:15:43 <slack1256> I thought that cabal bounds were more useful to applications instead of libraries. Libraries benefit from having wider dependency bounds.
19:16:00 <davean> Did I say anything about narrowing them?
19:16:20 <davean> I only talked about increasing the upper
19:16:37 <slack1256> cabal- gen-bounds does give you tight bounds, right?
19:16:59 <slack1256> Maybe I have a conceptual misunderstanding
19:17:14 <slack1256> Oh I'm thinking on freeze!
19:17:17 <geekosaur> I think it gives you the solver output. anything else would require actually trying to build with different bounds
19:17:18 <davean> f it has nothing to work with, yes. If you tell it to dump the upper ...
19:17:27 <davean> cabal-bounds update --upper
19:17:35 <davean> Tell it to do the thing you want
19:17:59 <davean> Yah freeze stores the solver output
19:18:02 <davean> which is ENTIRELY different
19:18:26 <davean> slack1256: https://hackage.haskell.org/package/cabal-bounds right in the docs :-p
19:18:36 <davean> litrterly an example
19:19:08 <monochrom> Also:
19:19:12 <slack1256> davean: This is great
19:19:13 <slack1256> Awesome
19:19:17 <monochrom> > "cabal gen-bounds" == "cabal-bounds"
19:19:18 <lambdabot> False
19:19:20 <slack1256> I needed this in my life
19:19:56 <monochrom> P.S. I still whine about how programmers still don't take it in that identifiers are case sensitive.
19:20:12 <davean> monochrom: I was rubbing it in enough already :-p
19:21:09 <davean> You *should* read the changelogs, slack1256. It is very fast. You shouldn't do the building and editing by hand.
19:21:16 <davean> You can skim the changelogs while it builds
19:21:39 <monochrom> Aww no swordfight on sliding chair while it builds.
19:21:58 <slack1256> :thumbs-up:
19:22:37 <davean> slack1256: I recomend piping the delta of the changelogs to less and scrolling.
19:23:23 <davean> monochrom: I mean, depends on how much you've accomplished and how meaningful the build is :)
19:30:02 × lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 272 seconds)
19:38:13 × MadeleineSydney quits (~Thunderbi@c-71-229-185-228.hsd1.co.comcast.net) (Quit: MadeleineSydney)
19:42:54 → machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net)
19:43:15 × misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 260 seconds)
19:43:19 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
20:00:36 → soverysour joins (~soverysou@user/soverysour)
20:03:32 → ft joins (~ft@p3e9bc4e7.dip0.t-ipconnect.de)
20:04:53 → prolic_ joins (~prolic_@181.122.138.24)
20:06:02 <prolic_> Hi folks. I'm trying to revive HsQML and bring Qt5 QML bindings back to Haskell.
20:07:23 <prolic_> I managed to make any necessary changes so the library as well as the sample application will compile, however the app doesn't start and gives me weird error messages.
20:07:41 <prolic_> Anyone interested in helping out?
20:11:09 <prolic_> This is the path to my qml file: /home/sasa/code/hsqml-demo-morris/qml/morris.qml
20:11:10 <prolic_> HsQML: file:///home/sasa/code/hsqml-demo-morris/楦敬⼺┯䘲栯浯⽥慳慳振摯⽥獨浱⵬敤潭洭牯楲⽳⼮浱⽬潭牲獩焮汭%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00: No such file or directory
20:11:10 <prolic_> ist das Fortschritt?
20:12:50 <prolic_> Sorry, didn't meant to post the last bit. But this is the last thing I see in console.
20:13:51 × soverysour quits (~soverysou@user/soverysour) (Remote host closed the connection)
20:16:28 <mauke> > map (chr . read . ("0x" <>)) . words $ "66 69 6C 65 3A 2F 2F 25 32 46 2F 68 6F 6D 65 2F"
20:16:30 <lambdabot> "file://%2F/home/"
20:16:38 <mauke> well, that's messed up
20:17:13 <mauke> > map (chr . read . ("0x" <>)) . words $ "66 69 6C 65 3A 2F 2F 25 32 46 2F 68 6F 6D 65 2F 73 61 73 61 2F 63 6F 64 65 2F 68 73 71 6D 6C 2D 64 65 6D 6F 2D 6D 6F 72 72 69 73 2F 2E 2F 71 6D 6C 2F 6D 6F 72 72 69 73 2E 71 6D 6C"
20:17:14 <lambdabot> "file://%2F/home/sasa/code/hsqml-demo-morris/./qml/morris.qml"
20:18:08 <mauke> prolic_: if you take those chinese characters, encode them as UTF-16LE, then reinterpret the resulting bytes as ASCII, ^this is what you get
20:18:22 <mauke> so something related to character encoding is going very wrong
20:18:51 <prolic_> So I guess the Marshall module is messed up
20:19:20 <prolic_> I had to make some changes there, as a Haskell function has been removed
20:19:43 <mauke> > length "file://%2F/home/sasa/code/hsqml-demo-morris/./qml/morris.qml"
20:19:44 <lambdabot> 60
20:20:52 <mauke> > length "%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00"
20:20:53 <lambdabot> 90
20:20:58 <prolic_> https://github.com/prolic/HsQML/blob/7b62d99bc2d46b1c73bcbd09a6e04c7469ea91d8/src/Graphics/QML/Marshal.hs#L160
20:21:20 <mauke> ok, so we started with 60 ASCII characters
20:22:07 <mauke> we apparently passed the ascii string to a function that expects UTF-16LE, so every pair of ascii characters got reinterpreted as a unicode (chinese) character
20:22:51 <mauke> but the length (60 characters) was preserved, so in addition to the 30 chinese characters, we somehow read 30 NUL bytes, too
20:22:58 <mauke> and URL-encoded them to form %00
20:23:43 <prolic_> I'm too stupid for this C type juggling apparently. If you look at history for that file, you see the difference in what I changed to the original.
20:23:56 <mauke> length txt * 2 is just wrong
20:24:29 → spacenautx joins (~spacenaut@user/spacenautx)
20:25:08 <prolic_> It was using lengthWord16 from Data.Text.Foreign before, but that function is gone
20:25:34 <prolic_> Without the * 2 you mean?
20:25:58 <mauke> no
20:26:09 <mauke> what is this Marshal class? what is it meant to do?
20:26:32 <prolic_> Converts Haskell types back and forth to C++ types for usage with Qt5
20:30:35 <mauke> what is hsqmlWriteString?
20:31:52 <prolic_> One second
20:33:04 × prolic_ quits (~prolic_@181.122.138.24) (Quit: Client closed)
20:35:03 → prolic_ joins (~prolic_@181.122.138.24)
20:36:49 <prolic_> https://paste.tomsmeding.com/EL5KxmUb
20:37:36 <mauke> that kind of looks like generated code
20:39:10 <mauke> but CUShort is suggestive
20:45:41 × simendsjo quits (~user@2001:2044:1413:800:c4c9:16db:19ee:b47c) (Ping timeout: 248 seconds)
20:49:23 <prolic_> I'm testing something real quick
20:50:16 <mauke> prolic_: \txt ptr -> do { let { bs = encodeUtf16LE txt; ucs2Length = BS.length bs `div` 2 }; array <- hsqmlWriteString ucs2Length (HsQMLStringHandle $ castPtr ptr); BS.unsafeUseAsCStringLen bs (\(bsp, bslen) -> copyBytes (castPtr array) bsp bslen);
20:50:27 <mauke> mostly guesswork, but eh
20:51:00 <prolic_> I managed to change the message a little
20:51:42 <prolic_> HsQML: file:///home/sasa/code/hsqml-demo-morris/焀洀氀⼀洀漀爀爀椀猀⸀焀洀氀: No such file or directory
20:52:45 <prolic_> This is the change I made: https://github.com/prolic/HsQML/commit/ffd7602dc9e1d5ae9dc05f0865a66a8ff82a39ae
20:54:27 <mauke> what if you try my code?
20:54:39 <prolic_> Will do, one minute
20:57:45 <prolic_> Not in scope: ‘BS.unsafeUseAsCStringLen’ Perhaps use ‘BS.useAsCStringLen’ (imported from Data.ByteString)
20:58:39 <mauke> https://hackage.haskell.org/package/bytestring-0.11.5.2/docs/Data-ByteString-Unsafe.html
20:58:57 <prolic_> I see
21:00:30 <prolic_> Where is copybytes from?
21:00:38 <prolic_> Not in scope
21:00:59 <mauke> https://hackage.haskell.org/package/base-4.20.0.1/docs/Foreign-Marshal-Utils.html#v:copyBytes
21:02:53 <prolic_> Got it
21:03:25 <prolic_> Compiles...
21:04:15 <mauke> a welcome surprise :-)
21:04:42 <prolic_> If it starts, I gotta have to buy you some flowers
21:05:11 <prolic_> Oh come on, f*** off, it works
21:05:13 mauke fingers crossed
21:05:17 <mauke> haha, nice
21:05:36 <prolic_> Two weeks of work and you made it worth it
21:07:01 <mauke> lol, just type some random unsafe pointer code into IRC
21:07:07 <mauke> works first try :-D
21:07:40 × prolic_ quits (~prolic_@181.122.138.24) (Quit: Client closed)
21:08:19 → prolic_ joins (~prolic_@181.122.138.24)
21:08:34 <prolic_> Sorry, I keep getting logged out haha
21:10:34 <prolic_> mauke - you're the best, thank you so much
21:12:04 <mauke> you're welcome
21:13:43 × prolic_ quits (~prolic_@181.122.138.24) (Quit: Client closed)
21:13:59 → prolic_ joins (~prolic_@181.122.138.24)
21:14:06 × prolic_ quits (~prolic_@181.122.138.24) (Client Quit)
21:16:45 × michalz quits (~michalz@185.246.207.197) (Quit: ZNC 1.9.0 - https://znc.in)
21:17:28 → pavonia joins (~user@user/siracusa)
21:38:10 × cstml quits (~cstml@user/cstml) (Ping timeout: 260 seconds)
21:39:13 → cstml joins (~cstml@user/cstml)
21:44:35 × cstml quits (~cstml@user/cstml) (Ping timeout: 260 seconds)
21:54:09 → ddellacosta joins (~ddellacos@ool-44c73d29.dyn.optonline.net)
21:58:38 × ddellacosta quits (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 255 seconds)
22:01:35 → emmanuelux joins (~emmanuelu@user/emmanuelux)
22:16:21 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
22:17:55 → dysthesis joins (~dysthesis@user/dysthesis)
22:18:14 × spacenautx quits (~spacenaut@user/spacenautx) (Ping timeout: 260 seconds)
22:19:47 → spacenautx joins (~spacenaut@user/spacenautx)
22:27:30 → Guest84 joins (~Guest84@p200300f0673d2b01fd5459966ec3c570.dip0.t-ipconnect.de)
22:27:33 × skyesoss1 quits (~Thunderbi@128.135.204.35) (Ping timeout: 248 seconds)
22:30:45 × sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 248 seconds)
22:39:33 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
22:43:08 → Sgeo joins (~Sgeo@user/sgeo)
22:47:31 → Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
22:47:42 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
22:50:47 × dolio quits (~dolio@130.44.140.168) (Quit: ZNC 1.8.2 - https://znc.in)
22:50:50 × ystael quits (~ystael@user/ystael) (Ping timeout: 255 seconds)
22:52:14 → dolio joins (~dolio@130.44.140.168)
22:52:44 × dolio quits (~dolio@130.44.140.168) (Client Quit)
22:53:45 → dolio joins (~dolio@130.44.140.168)
23:06:08 <dibblego> why does this produce two difference pandoc syntax trees? https://gist.github.com/tonymorris/c2fd03e175e8da5493f1b4dbec29508c
23:13:35 × Guest84 quits (~Guest84@p200300f0673d2b01fd5459966ec3c570.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
23:13:55 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
23:17:14 <ncf> dibblego: try def { readerExtensions = pandocExtensions }
23:17:37 → tedbjurlin joins (tedbjurlin@user/tedbjurlin)
23:17:55 × acidjnk quits (~acidjnk@p200300d6e72cfb436d5a267264431f6c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
23:24:41 <dibblego> ncf: wilco, thanks
23:31:55 × oo_miguel quits (~Thunderbi@78.10.207.46) (Ping timeout: 260 seconds)
23:32:50 × gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
23:33:18 <dibblego> ncf: well that worked, why?
23:33:35 × tedbjurlin quits (tedbjurlin@user/tedbjurlin) (Remote host closed the connection)
23:33:58 <ncf> do you mean why in the philosophical sense or
23:34:23 → tedbjurlin joins (tedbjurlin@user/tedbjurlin)
23:34:48 <dibblego> well, why, but I will find out why myself
23:38:01 <ncf> i mean other than "tables are a pandoc extension" there isn't much more to add
23:38:01 × Typedfern quits (~Typedfern@182.red-83-37-43.dynamicip.rima-tde.net) (Ping timeout: 252 seconds)
23:38:01 → typedfern_ joins (~Typedfern@182.red-83-37-43.dynamicip.rima-tde.net)
23:38:02 × tedbjurlin quits (tedbjurlin@user/tedbjurlin) (Remote host closed the connection)
23:38:02 × cheater quits (~Username@user/cheater) (Ping timeout: 264 seconds)
23:38:43 → cheater joins (~Username@user/cheater)
23:56:31 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
23:57:34 <dibblego> yeah

All times are in UTC on 2024-07-23.