Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1091 1092 1093 1094 1095 1096 1097 1098 1099 1100 1101 .. 5022
— 502,152 events total
2020-11-06 11:13:23 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-06 11:13:37 → shatriff joins (~vitaliish@176.52.219.10)
2020-11-06 11:14:52 → solonarv joins (~solonarv@astrasbourg-653-1-263-62.w92-161.abo.wanadoo.fr)
2020-11-06 11:16:58 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-06 11:16:59 <kuribastard> Cheery: the real question is, why do you want this?
2020-11-06 11:17:10 <kuribastard> Cheery: it sounds like an XY problem
2020-11-06 11:18:22 → jollygood2 joins (~bc8165ab@217.29.117.252)
2020-11-06 11:19:10 <jollygood2> hi. what library do you recommend using for displaying graphs on a webpage?
2020-11-06 11:20:26 × falafel quits (~falafel@2601:247:c400:1390:744c:5d49:cbc1:a27a) (Ping timeout: 264 seconds)
2020-11-06 11:20:53 × Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-11-06 11:21:38 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-06 11:21:56 <tomsmeding> merijn: pijul 1.0 where? also what rebrand?
2020-11-06 11:22:09 <Uniaika> it's anu.dev now, tomsmeding
2020-11-06 11:22:29 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-06 11:22:38 <tomsmeding> oh wow
2020-11-06 11:25:37 → Tops2 joins (~Tobias@dyndsl-095-033-022-214.ewe-ip-backbone.de)
2020-11-06 11:27:28 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-06 11:29:27 × LKoen quits (~LKoen@53.253.88.92.rev.sfr.net) (Read error: Connection reset by peer)
2020-11-06 11:30:34 → LKoen joins (~LKoen@53.253.88.92.rev.sfr.net)
2020-11-06 11:31:34 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-11-06 11:32:58 → jakob_ joins (~textual@p200300f49f162200ecd950d27480ddce.dip0.t-ipconnect.de)
2020-11-06 11:33:21 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-06 11:33:42 → christo joins (~chris@81.96.113.213)
2020-11-06 11:38:13 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-06 11:38:44 × sh9 quits (~sh9@softbank060116136158.bbtec.net) (Quit: WeeChat 2.8)
2020-11-06 11:39:38 × dxld quits (~dxld@80-109-136-248.cable.dynamic.surfer.at) (Quit: Bye)
2020-11-06 11:42:18 → dxld joins (~dxld@2a01:4f8:201:89ff:7479:df6a:7ab8:8305)
2020-11-06 11:43:43 × roconnor quits (~roconnor@host-192.252-162-14.dyn.295.ca) (Ping timeout: 246 seconds)
2020-11-06 11:46:10 × chaosmasttter quits (~chaosmast@p200300c4a70b9f013c660c983e9b467a.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-11-06 11:48:29 → invaser joins (~Thunderbi@31.148.23.125)
2020-11-06 11:50:33 → carlomagno1 joins (~cararell@148.87.23.10)
2020-11-06 11:51:25 × carlomagno quits (~cararell@148.87.23.5) (Ping timeout: 240 seconds)
2020-11-06 11:56:16 × brisbin quits (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) (Ping timeout: 272 seconds)
2020-11-06 11:57:55 → Tops21 joins (~Tobias@dyndsl-095-033-022-214.ewe-ip-backbone.de)
2020-11-06 11:57:57 × akegalj quits (~akegalj@93-136-206-107.adsl.net.t-com.hr) (Quit: leaving)
2020-11-06 11:58:41 × dmiles quits (dmiles@c-73-67-179-188.hsd1.wa.comcast.net) (Read error: Connection reset by peer)
2020-11-06 11:59:33 → Tops22 joins (~Tobias@dyndsl-095-033-022-214.ewe-ip-backbone.de)
2020-11-06 12:00:01 × Leo_Verto1 quits (~Leo_Verto@178.239.168.171) ()
2020-11-06 12:00:18 → dmiles joins (dmiles@c-73-67-179-188.hsd1.wa.comcast.net)
2020-11-06 12:01:44 × Tops2 quits (~Tobias@dyndsl-095-033-022-214.ewe-ip-backbone.de) (Ping timeout: 256 seconds)
2020-11-06 12:03:14 × Tops21 quits (~Tobias@dyndsl-095-033-022-214.ewe-ip-backbone.de) (Ping timeout: 260 seconds)
2020-11-06 12:04:46 → thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-06 12:06:18 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-06 12:07:51 → Entertainment joins (~entertain@104.246.132.210)
2020-11-06 12:08:17 → mdunnio joins (~mdunnio@208.59.170.5)
2020-11-06 12:08:54 × thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-11-06 12:11:40 <Cheery> kuribastard: if you have structures defined with a regex, it's nice to take the actual regex, then form a type from it.
2020-11-06 12:12:05 <Cheery> kuribastard: however, the type will have units because all parts of a regex do not carry information on match.
2020-11-06 12:12:36 <Cheery> Tool to trim all the units away from the type would be convenient.
2020-11-06 12:12:37 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 272 seconds)
2020-11-06 12:12:45 × mdunnio quits (~mdunnio@208.59.170.5) (Ping timeout: 240 seconds)
2020-11-06 12:13:53 × alp quits (~alp@2a01:e0a:58b:4920:2d40:19c5:99d8:c050) (Ping timeout: 272 seconds)
2020-11-06 12:14:50 × LKoen quits (~LKoen@53.253.88.92.rev.sfr.net) (Read error: Connection reset by peer)
2020-11-06 12:15:57 → LKoen joins (~LKoen@53.253.88.92.rev.sfr.net)
2020-11-06 12:16:31 hackage reflex 0.7.2.0 - Higher-order Functional Reactive Programming https://hackage.haskell.org/package/reflex-0.7.2.0 (abrar)
2020-11-06 12:19:41 → CodeAlways joins (uid272474@gateway/web/irccloud.com/x-urtbqxrwhpvhyukz)
2020-11-06 12:20:19 → joaj joins (~joaj@2001:690:2100:1b:a36f:f7ab:d46c:98f0)
2020-11-06 12:20:28 → chaosmasttter joins (~chaosmast@p200300c4a70b9f013c660c983e9b467a.dip0.t-ipconnect.de)
2020-11-06 12:21:40 → drbean joins (~drbean@TC210-63-209-142.static.apol.com.tw)
2020-11-06 12:23:38 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection)
2020-11-06 12:24:00 → texasmynsted joins (~texasmyns@64.44.55.116)
2020-11-06 12:24:14 → cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-11-06 12:26:43 × knupfer quits (~Thunderbi@mue-88-130-61-134.dsl.tropolys.de) (Quit: knupfer)
2020-11-06 12:28:34 × texasmynsted quits (~texasmyns@64.44.55.116) (Ping timeout: 272 seconds)
2020-11-06 12:30:16 <lortabac> Cheery: there is a trick to avoid the problem of overlapping instances
2020-11-06 12:30:19 × LKoen quits (~LKoen@53.253.88.92.rev.sfr.net) (Read error: Connection reset by peer)
2020-11-06 12:30:30 hackage http2-client 0.10.0.0 - A native HTTP2 client library. https://hackage.haskell.org/package/http2-client-0.10.0.0 (LucasDiCioccio)
2020-11-06 12:30:39 <lortabac> it is verbose, but it should work, I have used it on more than one occasion
2020-11-06 12:30:45 → avdb joins (~avdb@ip-83-134-202-202.dsl.scarlet.be)
2020-11-06 12:30:50 → ubert1 joins (~Thunderbi@p200300ecdf1e53aae6b318fffe838f33.dip0.t-ipconnect.de)
2020-11-06 12:30:55 → LKoen joins (~LKoen@53.253.88.92.rev.sfr.net)
2020-11-06 12:31:20 <Cheery> lortabac: what is that trick?
2020-11-06 12:31:31 hackage cachix-api 0.5.0 - Servant HTTP API specification for https://cachix.org https://hackage.haskell.org/package/cachix-api-0.5.0 (domenkozar)
2020-11-06 12:31:32 <lortabac> Cheery: you define an auxiliary data type, where each constructor corresponds to one equation in the Trim type family
2020-11-06 12:31:38 × ubert quits (~Thunderbi@p200300ecdf1e53aae6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-11-06 12:31:38 ubert1 is now known as ubert
2020-11-06 12:32:14 <lortabac> then you define an auxiliary type family that maps from the input of Trim to this auxiliary data type
2020-11-06 12:32:51 <lortabac> and a type class with one instance for each of the constructors
2020-11-06 12:33:44 <merijn> tomsmeding: The new nest seems to be buckling under the load, though xD
2020-11-06 12:33:51 <Cheery> in this case the problem is the ((),a) etc.
2020-11-06 12:33:55 <tomsmeding> r.i.p.
2020-11-06 12:34:27 <tomsmeding> when I checked it an hour ago it was still pretty quick
2020-11-06 12:34:48 <tomsmeding> I guess populatity is a good thing :)
2020-11-06 12:34:49 <Cheery> lortabac: ok, I'm not sure if I figured what you mean, but I'll try this.
2020-11-06 12:35:15 × joaj quits (~joaj@2001:690:2100:1b:a36f:f7ab:d46c:98f0) (Ping timeout: 244 seconds)
2020-11-06 12:35:21 <merijn> Cheery: The solution is to not build ((),a) in the first place if 'a' is what you want
2020-11-06 12:35:24 <kuribastard> Cheery: I don't get why you would need types for this.
2020-11-06 12:35:39 <kuribastard> Cheery: If I need something more typed and complicated, I would use parsec.
2020-11-06 12:37:32 → joaj joins (~joaj@2001:690:2100:110:cceb:227c:edbc:592c)
2020-11-06 12:38:26 <lortabac> Cheery: if you need help you can ping me
2020-11-06 12:38:40 <kuribastard> Cheery: and if the interface provided by the regex library is not convenient, you just create your wrapper on top of it.
2020-11-06 12:39:36 <lortabac> Cheery: TBH I don't know whether this is a good idea or not, I just wanted to say that it's technically possible
2020-11-06 12:40:09 → christo joins (~chris@81.96.113.213)
2020-11-06 12:41:05 <Cheery> lortabac: well it may be easier to see that once done.. I want to try this. Ok. I start.
2020-11-06 12:41:56 <Cheery> Ok, so lets take a simpler version of Trim that produces the problem. I think it's enough to take the pair.
2020-11-06 12:42:30 hackage cachix 0.5.0 - Command line client for Nix binary cache hosting https://cachix.org https://hackage.haskell.org/package/cachix-0.5.0 (domenkozar)
2020-11-06 12:43:43 → alp joins (~alp@2a01:e0a:58b:4920:9450:d534:53a8:2e84)
2020-11-06 12:43:50 → grimgnr joins (~user@94.19.246.43)
2020-11-06 12:45:17 × LKoen quits (~LKoen@53.253.88.92.rev.sfr.net) (Read error: Connection reset by peer)
2020-11-06 12:45:53 → texasmynsted joins (~texasmyns@097-085-244-180.biz.spectrum.com)
←Prev  Next→
Page 1 .. 1091 1092 1093 1094 1095 1096 1097 1098 1099 1100 1101 .. 5022

All times are in UTC.