Home liberachat/#haskell: Logs Calendar

Logs on 2024-04-13 (liberachat/#haskell)

00:05:18 × raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 268 seconds)
00:07:16 → son0p joins (~ff@167.0.178.102)
00:20:32 → madeleine-sydney joins (~madeleine@c-76-155-235-153.hsd1.co.comcast.net)
00:21:15 madeleine-sydney is now known as sadie-sorceress
00:21:16 sadie-sorceress is now known as madeleine-sydney
00:21:29 × madeleine-sydney quits (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Changing host)
00:21:29 → madeleine-sydney joins (~madeleine@user/madeleine-sydney)
00:26:57 × mei quits (~mei@user/mei) (Remote host closed the connection)
00:29:30 → mei joins (~mei@user/mei)
00:36:27 × Achylles quits (~Achylles@45.182.57.23) (Ping timeout: 255 seconds)
00:47:35 → raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
00:49:07 × sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 260 seconds)
00:52:51 → Achylles joins (~Achylles@45.182.57.23)
00:54:05 × sroso quits (~sroso@user/SrOso) (Quit: Leaving :))
00:54:27 → sroso joins (~sroso@user/SrOso)
00:55:29 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds)
01:01:03 → rosco joins (~rosco@flh2-133-206-129-33.osk.mesh.ad.jp)
01:15:15 × Square quits (~Square@user/square) (Ping timeout: 260 seconds)
01:15:17 × Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
01:28:26 × ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 260 seconds)
01:28:39 × ystael quits (~ystael@user/ystael) (Ping timeout: 255 seconds)
01:33:57 × xff0x quits (~xff0x@2405:6580:b080:900:665a:484:4391:cc83) (Ping timeout: 256 seconds)
01:36:53 → xff0x joins (~xff0x@2405:6580:b080:900:4f2e:e3:846:dd49)
01:44:22 × puke quits (~puke@user/puke) (Quit: puke)
01:49:47 × otto_s quits (~user@p4ff27d41.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
01:51:24 → otto_s joins (~user@p4ff27b6a.dip0.t-ipconnect.de)
01:57:47 → puke joins (~puke@user/puke)
01:58:09 × puke quits (~puke@user/puke) (Max SendQ exceeded)
01:58:11 × aforemny_ quits (~aforemny@i59F516ED.versanet.de) (Ping timeout: 264 seconds)
01:58:15 → aforemny joins (~aforemny@2001:9e8:6cc6:5800:f53e:3be2:aa9a:b452)
01:59:28 → puke joins (~puke@user/puke)
01:59:49 → ec joins (~ec@gateway/tor-sasl/ec)
01:59:56 × raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds)
02:00:45 × puke quits (~puke@user/puke) (Max SendQ exceeded)
02:01:58 → puke joins (~puke@user/puke)
02:12:16 × madeleine-sydney quits (~madeleine@user/madeleine-sydney) (Quit: Konversation terminated!)
02:15:01 → halloy4906 joins (~halloy490@broadband-5-228-80-43.ip.moscow.rt.ru)
02:20:39 × aforemny quits (~aforemny@2001:9e8:6cc6:5800:f53e:3be2:aa9a:b452) (Ping timeout: 268 seconds)
02:23:20 → aforemny joins (~aforemny@i59F516FF.versanet.de)
02:24:51 → ystael joins (~ystael@user/ystael)
02:30:18 × Achylles quits (~Achylles@45.182.57.23) (Ping timeout: 255 seconds)
02:40:11 × ystael quits (~ystael@user/ystael) (Ping timeout: 264 seconds)
02:48:45 × td_ quits (~td@i53870902.versanet.de) (Ping timeout: 256 seconds)
02:50:38 → td_ joins (~td@i53870916.versanet.de)
02:50:59 × halloy4906 quits (~halloy490@broadband-5-228-80-43.ip.moscow.rt.ru) (Remote host closed the connection)
02:58:19 × rosco quits (~rosco@flh2-133-206-129-33.osk.mesh.ad.jp) (Quit: Lost terminal)
03:01:32 × chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection)
03:02:31 → chiselfuse joins (~chiselfus@user/chiselfuse)
03:10:34 × vnogueira_ quits (~vnogueira@user/vnogueira) (Remote host closed the connection)
03:11:04 → vnogueira joins (~vnogueira@user/vnogueira)
03:15:40 × szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
03:26:02 × ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 260 seconds)
03:27:22 → peterbecich joins (~Thunderbi@47.229.123.186)
03:27:45 → ec joins (~ec@gateway/tor-sasl/ec)
03:36:46 × tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
03:36:58 → tri joins (~tri@ool-18bc2e74.dyn.optonline.net)
03:50:23 × peterbecich quits (~Thunderbi@47.229.123.186) (Ping timeout: 264 seconds)
03:51:37 → bilegeek joins (~bilegeek@2600:1008:b005:f9c7:69ef:ef9d:e164:8898)
03:52:30 → madeleine-sydney joins (~madeleine@c-76-155-235-153.hsd1.co.comcast.net)
03:59:57 → aforemny_ joins (~aforemny@i59F516F2.versanet.de)
04:01:11 × aforemny quits (~aforemny@i59F516FF.versanet.de) (Ping timeout: 272 seconds)
04:11:10 × vnogueira quits (~vnogueira@user/vnogueira) (Remote host closed the connection)
04:11:36 → vnogueira joins (~vnogueira@user/vnogueira)
04:14:50 → Guest9 joins (~Guest9@2a04:4e41:a:10ca::6b8c:74ca)
04:17:23 × Guest9 quits (~Guest9@2a04:4e41:a:10ca::6b8c:74ca) (Client Quit)
04:30:45 → danza_ joins (~francesco@151.47.230.147)
04:32:24 → peterbecich joins (~Thunderbi@47.229.123.186)
04:32:44 → causal joins (~eric@50.35.88.207)
04:34:16 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
04:35:23 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
04:43:38 × stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
04:46:08 → stiell_ joins (~stiell@gateway/tor-sasl/stiell)
04:52:00 × peterbecich quits (~Thunderbi@47.229.123.186) (Ping timeout: 252 seconds)
04:56:56 → szkl joins (uid110435@id-110435.uxbridge.irccloud.com)
04:58:05 → danza joins (~francesco@151.47.230.147)
04:58:25 × danza_ quits (~francesco@151.47.230.147) (Read error: Connection reset by peer)
05:02:38 × tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
05:16:51 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
05:34:11 → masaeedu joins (~masaeedu@user/masaeedu)
05:34:17 <masaeedu> hello folks
05:34:26 <danza> o/
05:34:42 <masaeedu> anyone here use haskell-flake with build tools?
05:34:56 <danza> not me
05:35:01 <masaeedu> i'm specifically trying to get c2hs working, but i can't quite work it out
05:45:34 <masaeedu> OK there's some info here: https://gist.github.com/ScottFreeCode/ef9f254e2dd91544bba4a068852fc81f
05:53:44 → danza_ joins (~francesco@151.37.251.106)
05:56:05 × danza quits (~francesco@151.47.230.147) (Ping timeout: 240 seconds)
06:04:52 → euphores joins (~SASL_euph@user/euphores)
06:06:15 → yeitrafferin joins (~user@2a04:4540:7205:9100:c4d1:c353:27f3:f1a5)
06:20:50 × mhatta quits (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection)
06:28:04 → paddymahoney joins (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com)
06:28:13 × paddymahoney quits (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Remote host closed the connection)
06:28:31 → paddymahoney joins (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com)
06:30:08 → mhatta joins (~mhatta@www21123ui.sakura.ne.jp)
06:50:27 → xdminsy joins (~xdminsy@117.147.70.203)
06:53:50 × rvalue quits (~rvalue@user/rvalue) (Ping timeout: 268 seconds)
06:57:22 ← fbytez parts (~uid@user/fbytez) (Leaving)
07:03:10 → rvalue joins (~rvalue@user/rvalue)
07:08:24 × Rodney_ quits (~Rodney@176.254.244.83) (Ping timeout: 252 seconds)
07:26:35 → visilii joins (~visilii@213.24.125.229)
07:27:39 × danza_ quits (~francesco@151.37.251.106) (Ping timeout: 260 seconds)
07:29:50 × visilii_ quits (~visilii@188.254.126.29) (Ping timeout: 252 seconds)
07:42:46 → _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
07:48:05 → ddellacosta joins (~ddellacos@ool-44c73d29.dyn.optonline.net)
07:56:09 × superbil quits (~superbil@1-34-176-171.hinet-ip.hinet.net) (Ping timeout: 244 seconds)
08:05:53 × paddymahoney quits (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Quit: Leaving)
08:11:25 → Wunderbun joins (~robin@93.182.183.210)
08:11:41 → superbil joins (~superbil@1-34-176-171.hinet-ip.hinet.net)
08:14:48 × bilegeek quits (~bilegeek@2600:1008:b005:f9c7:69ef:ef9d:e164:8898) (Quit: Leaving)
08:17:54 → sawilagar joins (~sawilagar@user/sawilagar)
08:23:24 × tzh quits (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz)
08:26:12 × xdminsy quits (~xdminsy@117.147.70.203) (Remote host closed the connection)
08:26:39 → xdminsy joins (~xdminsy@117.147.70.203)
08:42:48 → wootehfoot joins (~wootehfoo@user/wootehfoot)
08:43:16 → Rodney_ joins (~Rodney@176.254.244.83)
08:54:48 → gmg joins (~user@user/gehmehgeh)
09:01:21 × Wunderbun quits (~robin@93.182.183.210) (Quit: Lost terminal)
09:01:40 × xdej quits (~xdej@quatramaran.salle-s.org) (Remote host closed the connection)
09:02:19 → fireking04 joins (~fireking0@103.36.18.86)
09:02:57 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
09:06:20 × manwithluck quits (manwithluc@gateway/vpn/protonvpn/manwithluck) (Ping timeout: 260 seconds)
09:06:39 × mei quits (~mei@user/mei) (Ping timeout: 252 seconds)
09:07:14 → manwithluck joins (manwithluc@gateway/vpn/protonvpn/manwithluck)
09:07:36 → fireking05 joins (~fireking0@103.36.18.87)
09:09:23 × fireking04 quits (~fireking0@103.36.18.86) (Ping timeout: 252 seconds)
09:18:19 → Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
09:22:54 × econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
09:26:24 × machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds)
09:59:42 × driib quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat)
10:06:07 → driib joins (~driib@vmi931078.contaboserver.net)
10:18:27 × fireking05 quits (~fireking0@103.36.18.87) (Read error: Connection reset by peer)
10:18:40 → fireking05 joins (~fireking0@103.36.18.87)
10:24:24 <masaeedu> Why are the links in the haddocks for the last version of so many packages broken?
10:24:51 <masaeedu> E.g. on https://hackage.haskell.org/package/dhall-nix-1.1.26 the link to Dhall.Nix is broken
10:25:00 <masaeedu> But on https://hackage.haskell.org/package/dhall-nix-1.1.25 it's fine
10:26:26 × puke quits (~puke@user/puke) (Quit: puke)
10:27:00 <ncf> looks like the doc builds failed https://hackage.haskell.org/package/dhall-nix-1.1.26/reports/
10:27:29 <ncf> too old GHC, presumably
10:28:46 <int-e> too new actually
10:29:24 <ncf> not just right, in any case
10:30:25 <int-e> (hackage seems to be on some ghc-9.2.x going by the base version.)
10:30:54 <int-e> Err, it says 9.2.4 at the top. I'm blind.
10:31:21 <int-e> When dhall-nix-1.1.25 was uploaded it was still on 8.10.2
10:31:56 → puke joins (~puke@user/puke)
10:32:49 <int-e> We can't blame hnix either; hnix-0.17.0 relaxed the base upper bound (to 5, which honestly is sane in my opinion)
10:33:16 <int-e> But dhall-nix has a < 0.15 upper bound on hnix.
10:35:31 <ncf> can we at least blame hackage
10:35:49 <int-e> Not really.
10:36:28 <int-e> I guess the code that turns module names in .cabal files into links could check whether docs are actually available.
10:36:48 <ncf> i guess if the cabal file specified a list of tested ghc versions it could filter based on that. but it doesn't
10:37:13 <int-e> I don't think hackage supports several compiler versions at once?
10:37:32 <ncf> sounds like something i could blame them for
10:38:05 → Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
10:38:07 × philopsos quits (~caecilius@user/philopsos) (Ping timeout: 246 seconds)
10:38:07 <int-e> I mean, you /can/ find reasons to blame hackage but eh, they're all easy to excuse if you compare effort required to fix it to the harm done.
10:38:47 <int-e> package maintainers can upload their own docs too
10:38:54 <int-e> so you can blame them!
10:39:01 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds)
10:40:03 <ncf> nice, someone to blame
10:40:46 ncf quickly checks that lambdabot docs are up to date
10:41:01 Lord_of_Life_ is now known as Lord_of_Life
10:45:22 × masaeedu quits (~masaeedu@user/masaeedu) (Read error: Connection reset by peer)
10:46:19 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
10:46:28 → euleritian joins (~euleritia@dynamic-176-004-201-094.176.4.pool.telefonica.de)
10:46:48 × euleritian quits (~euleritia@dynamic-176-004-201-094.176.4.pool.telefonica.de) (Read error: Connection reset by peer)
10:47:05 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
10:48:59 → waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
10:51:19 → target_i joins (~target_i@user/target-i/x-6023099)
10:51:25 → masaeedu joins (~masaeedu@user/masaeedu)
10:59:55 × pastly quits (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection)
11:02:20 × fireking05 quits (~fireking0@103.36.18.87) (Quit: Leaving)
11:02:31 → pastly joins (~pastly@gateway/tor-sasl/pastly)
11:03:45 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
11:03:56 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
11:27:59 × jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 252 seconds)
11:29:18 → jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
11:29:30 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds)
11:30:26 → danza_ joins (~francesco@151.35.225.229)
11:31:50 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
11:42:17 × madeleine-sydney quits (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Ping timeout: 252 seconds)
11:45:30 × sroso quits (~sroso@user/SrOso) (Quit: Leaving :))
11:46:47 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds)
12:00:06 × jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
12:03:13 × img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
12:05:36 → img joins (~img@user/img)
12:06:20 × img quits (~img@user/img) (Client Quit)
12:07:19 → img joins (~img@user/img)
12:22:20 → aforemny joins (~aforemny@i59F516E8.versanet.de)
12:23:33 × aforemny_ quits (~aforemny@i59F516F2.versanet.de) (Ping timeout: 252 seconds)
12:32:27 → Franciman joins (~Franciman@mx1.fracta.dev)
12:35:18 → orcus joins (~orcus@81.78.98.223)
12:36:50 → dispater- joins (~dispater@81.78.98.223)
12:37:17 × orcus quits (~orcus@81.78.98.223) (Remote host closed the connection)
12:37:17 × dispater- quits (~dispater@81.78.98.223) (Remote host closed the connection)
12:39:32 → raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
12:39:47 → dispater- joins (~dispater@81.78.98.223)
12:40:58 → jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
12:42:04 × dispater- quits (~dispater@81.78.98.223) (Remote host closed the connection)
12:44:51 <masaeedu> is it correct to assume that Cabal's pkgconfig-depends should be used in preference to extra-libraries whenever possible?
12:45:51 → orcus joins (~orcus@81.78.98.223)
12:46:17 <tomsmeding> yes
12:46:17 × masaeedu quits (~masaeedu@user/masaeedu) (Read error: Connection reset by peer)
12:46:24 <tomsmeding> oh
12:47:22 → dispater- joins (~dispater@81.78.98.223)
12:48:57 × orcus quits (~orcus@81.78.98.223) (Remote host closed the connection)
12:48:57 × dispater- quits (~dispater@81.78.98.223) (Remote host closed the connection)
12:51:38 → masaeedu joins (~masaeedu@user/masaeedu)
12:55:11 → dispater- joins (~dispater@81.78.98.223)
12:56:41 → orcus joins (~orcus@81.78.98.223)
12:57:41 × dispater- quits (~dispater@81.78.98.223) (Remote host closed the connection)
12:57:41 × orcus quits (~orcus@81.78.98.223) (Remote host closed the connection)
12:59:24 → dispater- joins (~dispater@81.78.98.223)
12:59:53 → orcus joins (~orcus@81.78.98.223)
13:00:19 × raym quits (~ray@user/raym) (Ping timeout: 255 seconds)
13:02:18 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
13:05:07 → chexum joins (~quassel@gateway/tor-sasl/chexum)
13:06:46 → raym joins (~ray@user/raym)
13:10:16 × dispater- quits (~dispater@81.78.98.223) (Remote host closed the connection)
13:10:16 × orcus quits (~orcus@81.78.98.223) (Remote host closed the connection)
13:12:35 → dispater- joins (~dispater@81.78.98.223)
13:13:24 × dispater- quits (~dispater@81.78.98.223) (Remote host closed the connection)
13:19:55 → waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
13:19:56 → orcus joins (~orcus@81.78.98.223)
13:20:57 → dispater- joins (~dispater@81.78.98.223)
13:22:10 × dispater- quits (~dispater@81.78.98.223) (Remote host closed the connection)
13:22:10 × orcus quits (~orcus@81.78.98.223) (Remote host closed the connection)
13:28:21 → orcus joins (~orcus@81.78.98.223)
13:30:22 → dispater- joins (~dispater@81.78.98.223)
13:30:30 → Square joins (~Square@user/square)
13:37:20 → mvk joins (~mvk@2607:fea8:5c96:5800::febd)
13:37:35 × mvk quits (~mvk@2607:fea8:5c96:5800::febd) (Client Quit)
13:39:04 × dispater- quits (~dispater@81.78.98.223) (Remote host closed the connection)
13:39:04 × orcus quits (~orcus@81.78.98.223) (Remote host closed the connection)
13:42:27 → igemnace joins (~ian@user/igemnace)
13:43:13 × n8n quits (n8n@user/n8n) (Quit: WeeChat 4.2.2)
13:48:05 × xff0x quits (~xff0x@2405:6580:b080:900:4f2e:e3:846:dd49) (Ping timeout: 240 seconds)
13:50:09 → xff0x joins (~xff0x@2405:6580:b080:900:1540:8996:2d0b:5b54)
13:50:20 → dispater- joins (~dispater@81.78.98.223)
13:51:49 → orcus joins (~orcus@81.78.98.223)
14:09:49 × jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 272 seconds)
14:11:48 → jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
14:18:29 × Square quits (~Square@user/square) (Ping timeout: 252 seconds)
14:24:44 <masaeedu> am i understanding correctly that peekByteOff can read more than one byte?
14:24:59 <masaeedu> (from the Storable class)
14:25:28 <int-e> yes
14:25:49 <masaeedu> specifically, the amount read is given by the implementation of sizeOf
14:25:52 <masaeedu> cool, thanks
14:28:34 <danza_> hmm which extension would you use for a file containing haskell Show representations?
14:33:15 × raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 272 seconds)
14:33:38 → aforemny_ joins (~aforemny@i59F516F8.versanet.de)
14:33:56 × aforemny quits (~aforemny@i59F516E8.versanet.de) (Ping timeout: 260 seconds)
14:33:56 → Square joins (~Square@user/square)
14:35:23 jinsun is now known as Guest7650
14:35:23 → jinsun_ joins (~jinsun@user/jinsun)
14:35:23 × Guest7650 quits (~jinsun@user/jinsun) (Killed (osmium.libera.chat (Nickname regained by services)))
14:35:23 jinsun_ is now known as jinsun
14:36:02 <tomsmeding> danza_: for what purpose?
14:36:17 <danza_> for parsing again with read
14:36:24 <tomsmeding> I'd base the extension on what the contents mean or what they are for, not on whether it's Show data
14:36:31 <tomsmeding> because there's no convention for any extension there
14:36:49 <danza_> makes sense, just asking in case there was any convention i ignored
14:36:53 <tomsmeding> (.hs would be the most accurate in a certain sense, but that's certainly a bad idea)
14:37:13 <danza_> nah many show are not haskell
14:37:23 <danza_> date for instance
14:37:31 <danza_> %t fromGregorian
14:37:48 <danza_> > :t fromGregorian
14:37:49 <lambdabot> <hint>:1:1: error: parse error on input ‘:’
14:37:59 <tomsmeding> :t fromGregorian
14:38:00 <lambdabot> error: Variable not in scope: fromGregorian
14:38:04 <danza_> cheers
14:38:07 <tomsmeding> @let import Data.Time
14:38:08 <lambdabot> /sandbox/tmp/.L.hs:122:1: error:
14:38:08 <lambdabot> Data.Time: Can't be safely imported!
14:38:08 <lambdabot> The package (time-1.9.3) the module resides in isn't trusted.
14:38:11 <tomsmeding> ah
14:38:18 <danza_> does not matter
14:38:25 <tomsmeding> I get `2024-04-13`
14:38:33 <danza_> exactly
14:38:37 tomsmeding hates that, make it valid haskell and make formatters work plz
14:39:30 <ncf> have you considered using a serialisation library instead of Show and Read
14:40:10 <danza_> well it's my zero-effort serialisation system, for commands written real quick
14:40:54 <danza_> sorry got to go, have a nice weekend o/
14:42:21 <int-e> . o O ( .hsdn = Haskell data notation )
14:42:34 × igemnace quits (~ian@user/igemnace) (Read error: Connection reset by peer)
14:42:35 × orcus quits (~orcus@81.78.98.223) (Remote host closed the connection)
14:42:35 × dispater- quits (~dispater@81.78.98.223) (Remote host closed the connection)
14:44:33 × danza_ quits (~francesco@151.35.225.229) (Read error: Connection reset by peer)
14:44:44 → dispater- joins (~dispater@81.78.98.223)
14:45:31 × dispater- quits (~dispater@81.78.98.223) (Remote host closed the connection)
14:47:49 → orcus joins (~orcus@81.78.98.223)
14:51:52 → dispater- joins (~dispater@81.78.98.223)
14:55:53 → m21it joins (~m21it@2800:ac:4050:13b:3f54:8773:6555:f2a2)
15:00:29 → igemnace joins (~ian@user/igemnace)
15:01:12 × dispater- quits (~dispater@81.78.98.223) (Remote host closed the connection)
15:01:12 × orcus quits (~orcus@81.78.98.223) (Remote host closed the connection)
15:01:37 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds)
15:20:46 → dispater- joins (~dispater@81.78.98.223)
15:22:15 → orcus joins (~orcus@81.78.98.223)
15:23:29 × m21it quits (~m21it@2800:ac:4050:13b:3f54:8773:6555:f2a2) (Quit: Client closed)
15:25:11 × ddellacosta quits (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 264 seconds)
15:30:06 × dispater- quits (~dispater@81.78.98.223) (Remote host closed the connection)
15:30:06 × orcus quits (~orcus@81.78.98.223) (Remote host closed the connection)
15:31:56 → dispater- joins (~dispater@81.78.98.223)
15:33:55 → orcus joins (~orcus@81.78.98.223)
15:35:01 × orcus quits (~orcus@81.78.98.223) (Remote host closed the connection)
15:35:01 × dispater- quits (~dispater@81.78.98.223) (Remote host closed the connection)
15:40:15 → dispater- joins (~dispater@81.78.98.223)
15:40:45 → orcus joins (~orcus@81.78.98.223)
15:41:58 × dispater- quits (~dispater@81.78.98.223) (Remote host closed the connection)
15:41:58 × orcus quits (~orcus@81.78.98.223) (Remote host closed the connection)
15:44:17 → orcus joins (~orcus@81.78.98.223)
15:45:13 <duncan> is this a real thing?
15:45:51 → dispater- joins (~dispater@81.78.98.223)
15:47:55 × Square quits (~Square@user/square) (Ping timeout: 256 seconds)
15:52:28 × orcus quits (~orcus@81.78.98.223) (Remote host closed the connection)
15:52:28 × dispater- quits (~dispater@81.78.98.223) (Remote host closed the connection)
15:54:33 tomsmeding has never heard of it
15:54:49 <tomsmeding> and given the above points about Show it's better that it's not a thing
15:55:42 → dispater- joins (~dispater@81.78.98.223)
15:56:12 → orcus joins (~orcus@81.78.98.223)
16:00:36 × orcus quits (~orcus@81.78.98.223) (Remote host closed the connection)
16:00:37 × dispater- quits (~dispater@81.78.98.223) (Remote host closed the connection)
16:02:22 → dispater- joins (~dispater@81.78.98.223)
16:03:44 × califax quits (~califax@user/califx) (Remote host closed the connection)
16:04:53 → orcus joins (~orcus@81.78.98.223)
16:05:16 → califax joins (~califax@user/califx)
16:10:40 × sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 255 seconds)
16:19:44 → n8n joins (n8n@user/n8n)
16:21:27 × rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer)
16:22:11 → rvalue joins (~rvalue@user/rvalue)
16:22:23 × orcus quits (~orcus@81.78.98.223) (Remote host closed the connection)
16:22:23 × dispater- quits (~dispater@81.78.98.223) (Remote host closed the connection)
16:23:09 → machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net)
16:24:02 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
16:24:13 → dispater- joins (~dispater@81.78.98.223)
16:24:42 → orcus joins (~orcus@81.78.98.223)
16:31:32 × orcus quits (~orcus@81.78.98.223) (Remote host closed the connection)
16:31:32 × dispater- quits (~dispater@81.78.98.223) (Remote host closed the connection)
16:32:21 → ddellacosta joins (~ddellacos@ool-44c73d29.dyn.optonline.net)
16:35:55 → pavonia joins (~user@user/siracusa)
16:40:35 → orcus joins (~orcus@81.78.98.223)
16:42:07 → dispater- joins (~dispater@81.78.98.223)
16:42:48 <mauke> you probably don't want to hear how my old IRC bot implemented its storage, then :-)
16:45:55 <mauke> CREATE TABLE xtable (xkey BLOB NOT NULL PRIMARY KEY, xvalue BLOB NOT NULL);
16:46:11 <mauke> and most of the values where strings from 'show'
16:46:22 <mauke> s/where/were/
16:46:34 × orcus quits (~orcus@81.78.98.223) (Remote host closed the connection)
16:46:34 × dispater- quits (~dispater@81.78.98.223) (Remote host closed the connection)
16:47:14 <sprout> this is the way
16:48:30 <mauke> (originally the storage backend wasn't even SQL, just a persistent Data.Map, hence the impedance mismatch)
16:49:45 <mauke> but it meant the bot recorded karma scores as bignums (Integer) and timestamps with picosecond precision :-)
16:49:47 × sam113101 quits (~sam@24.157.253.231) (Quit: WeeChat 4.1.2)
16:52:20 <mauke> also, protip: it really pays off to have a separate "storage server" process that takes care of all the persistence stuff
16:53:17 <mauke> because if you want to add multi-server/multi-network capability to your bot, you can just run multiple instances all talking to the same storage backend
16:53:21 <mauke> without having to deal with threads
16:59:57 → rawles joins (sid630849@user/rawles)
17:01:50 → __monty__ joins (~toonn@user/toonn)
17:02:28 <EvanR> sqlite3 overwhelming
17:03:42 <EvanR> separate out the storage to another process
17:03:48 <EvanR> separate out the GUI to another process
17:04:01 <EvanR> separate out the app logic to another process
17:04:16 <EvanR> separate out the crash reports to another process
17:04:58 → dispater- joins (~dispater@81.78.98.223)
17:06:28 → orcus joins (~orcus@81.78.98.223)
17:06:45 → tri joins (~tri@ool-18bc2e74.dyn.optonline.net)
17:11:35 × tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 272 seconds)
17:12:46 → econo_ joins (uid147250@id-147250.tinside.irccloud.com)
17:13:09 → bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex)
17:13:21 × orcus quits (~orcus@81.78.98.223) (Remote host closed the connection)
17:13:21 × dispater- quits (~dispater@81.78.98.223) (Remote host closed the connection)
17:14:22 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds)
17:16:39 → tzh joins (~tzh@c-73-164-206-160.hsd1.or.comcast.net)
17:17:15 → dispater- joins (~dispater@81.78.98.223)
17:17:44 → orcus joins (~orcus@81.78.98.223)
17:20:20 × caconym quits (~caconym@user/caconym) (Quit: bye)
17:24:46 <mauke> I did use sqlite :-)
17:28:02 × dispater- quits (~dispater@81.78.98.223) (Remote host closed the connection)
17:28:02 × orcus quits (~orcus@81.78.98.223) (Remote host closed the connection)
17:30:31 → orcus joins (~orcus@81.78.98.223)
17:33:06 → dispater- joins (~dispater@81.78.98.223)
17:33:23 × xdminsy quits (~xdminsy@117.147.70.203) (Ping timeout: 260 seconds)
17:37:15 × orcus quits (~orcus@81.78.98.223) (Remote host closed the connection)
17:37:15 × dispater- quits (~dispater@81.78.98.223) (Remote host closed the connection)
17:50:35 × igemnace quits (~ian@user/igemnace) (Quit: WeeChat 4.2.2)
17:53:38 → dispater- joins (~dispater@81.78.98.223)
17:55:09 → orcus joins (~orcus@81.78.98.223)
17:56:36 × orcus quits (~orcus@81.78.98.223) (Remote host closed the connection)
17:56:36 × dispater- quits (~dispater@81.78.98.223) (Remote host closed the connection)
17:57:39 → zetef joins (~quassel@2a02:2f00:5005:3f00:c1ca:7962:6d96:31ff)
17:59:05 → orcus joins (~orcus@81.78.98.223)
18:00:06 → dispater- joins (~dispater@81.78.98.223)
18:00:29 × dispater- quits (~dispater@81.78.98.223) (Remote host closed the connection)
18:00:29 × orcus quits (~orcus@81.78.98.223) (Remote host closed the connection)
18:06:37 → waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
18:07:39 → dispater- joins (~dispater@81.78.98.223)
18:09:09 → orcus joins (~orcus@81.78.98.223)
18:11:01 × zetef quits (~quassel@2a02:2f00:5005:3f00:c1ca:7962:6d96:31ff) (Ping timeout: 246 seconds)
18:13:27 → ph88 joins (~ph88@ip5b403f30.dynamic.kabel-deutschland.de)
18:14:10 × orcus quits (~orcus@81.78.98.223) (Ping timeout: 246 seconds)
18:14:12 × dispater- quits (~dispater@81.78.98.223) (Ping timeout: 260 seconds)
18:14:24 <ph88> does anyone know how to make the `test2` function work? https://bpa.st/ZQXA perhaps i can type annotate it somehow?
18:15:50 <geekosaur> I think you need to use either OverloadedLabels or OverloadedRecordDot
18:17:42 <ph88> i tried putting both of those extensions in both source files same type error appears. I also tried writing `test.fieldB` instead of `fieldB test` same type error
18:18:48 <ph88> oh `test.fieldB` works actually, didn't save file before recompile
18:19:53 <geekosaur> just the extension isn't enough, for OverloadedLabels it would be `test #fieldB`
18:21:03 <ph88> hhmm that doesn't seem quite right somehow https://bpa.st/TATA
18:22:23 <geekosaur> hm, that's with OverloadedLabels? looks like the error I'd expect without that extension
18:23:58 <ph88> yes {-# LANGUAGE OverloadedLabels #-}
18:27:36 <cheater> i ran hasktags -bx . and set vim to use TAGS and all the tags are off by one line. what gives?
18:28:55 <geekosaur> mrf, I keep forgetting ghc doesn't actually give you the implementation for labels, you get half of one if you import `GHC.OverloadedLabels` (the error message will become better in that case)
18:29:10 <geekosaur> I guess you have to use OverloadedRecordDot for that to work
18:31:36 × dtman34 quits (~dtman34@2601:447:d001:ed50:1acf:2b1a:7f58:c229) (Ping timeout: 268 seconds)
18:32:45 <ph88> what is mrf ?
18:33:16 <geekosaur> a vocalization
18:33:21 <ph88> How would the implementation for a label look? Can it be automatically derived?
18:33:35 <geekosaur> (expression of annoyance)
18:33:45 <ph88> :D
18:34:06 <geekosaur> https://downloads.haskell.org/ghc/9.8.1/docs/users_guide/exts/overloaded_labels.html you can't derive IsLabel automatically
18:35:25 → dtman34 joins (~dtman34@2601:447:d001:ed50:5054:ff:fee3:b667)
18:35:30 → raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
18:35:49 <ph88> OverloadedRecordDot it is then :D
18:51:22 → Square joins (~Square@user/square)
19:00:31 <tomsmeding> mauke: that definitely is the way, I love that setup, good hacker spirit
19:01:19 → dispater- joins (~dispater@81.78.98.223)
19:02:19 → orcus joins (~orcus@81.78.98.223)
19:09:12 × orcus quits (~orcus@81.78.98.223) (Remote host closed the connection)
19:09:12 × dispater- quits (~dispater@81.78.98.223) (Remote host closed the connection)
19:17:19 <monochrom> We should also get OverloadedLambda so that λ is sometimes an identifier so you can use it for eigenvalues and some other times it is \ as in (λx -> x+1) = (\x -> x+1).
19:17:50 <monochrom> And of course (λλ. λ+1) should also be allowed! >:)
19:22:50 ncf . o O ( https://acatalepsie.fr/posts/overloading-lambda.html )
19:25:14 <geekosaur> λ𝛌
19:27:30 → philopsos joins (~caecilius@user/philopsos)
19:32:40 → alexherbo2 joins (~alexherbo@2a02-8440-3441-8387-4d4a-30bf-c616-39eb.rev.sfr.net)
19:33:49 <dolio> Sounds great in combination with BlockArguments.
19:34:44 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
19:36:01 <monochrom> haha
19:36:09 × machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds)
19:41:36 × target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving)
19:48:11 × raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds)
19:55:51 → michalz joins (~michalz@185.246.207.218)
19:56:27 × philopsos quits (~caecilius@user/philopsos) (Quit: Lost terminal)
20:02:49 × yeitrafferin quits (~user@2a04:4540:7205:9100:c4d1:c353:27f3:f1a5) (Quit: Leaving)
20:03:27 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
20:08:47 × alexherbo2 quits (~alexherbo@2a02-8440-3441-8387-4d4a-30bf-c616-39eb.rev.sfr.net) (Remote host closed the connection)
20:11:19 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
20:12:15 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
20:12:33 → mima joins (~mmh@aftr-62-216-211-93.dynamic.mnet-online.de)
20:15:12 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
20:26:00 × michalz quits (~michalz@185.246.207.218) (Quit: ZNC 1.8.2 - https://znc.in)
20:40:10 × bitdex_ quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds)
20:43:14 → schola joins (~user@adsl196-214-137-206-196.adsl196-5.iam.net.ma)
20:43:34 → bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex)
20:49:12 × hc quits (~hc@mail.hce.li) (Remote host closed the connection)
20:56:40 → sam113101 joins (~sam@24.157.253.231)
20:59:23 × phma quits (~phma@host-67-44-208-158.hnremote.net) (Read error: Connection reset by peer)
21:00:08 → phma joins (phma@2001:5b0:215a:e298:fd17:443b:b4a0:861c)
21:12:20 → zetef joins (~quassel@2a02:2f00:5005:3f00:c1ca:7962:6d96:31ff)
21:26:24 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
21:29:38 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds)
21:29:38 × chiselfuse quits (~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds)
21:31:50 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
21:32:03 → chiselfuse joins (~chiselfus@user/chiselfuse)
21:32:22 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
21:32:49 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
21:34:03 × ph88 quits (~ph88@ip5b403f30.dynamic.kabel-deutschland.de) (Remote host closed the connection)
22:06:18 → dcoutts joins (~duncan@cpc69400-oxfd27-2-0-cust750.4-3.cable.virginm.net)
22:11:38 × mima quits (~mmh@aftr-62-216-211-93.dynamic.mnet-online.de) (Quit: leaving)
22:18:29 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
22:34:29 × todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
22:36:30 × bitdex_ quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
22:38:36 → bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex)
22:39:28 → todi joins (~todi@p57803331.dip0.t-ipconnect.de)
22:48:09 × gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
22:49:09 → sroso joins (~sroso@user/SrOso)
22:49:36 × sroso quits (~sroso@user/SrOso) (Max SendQ exceeded)
22:50:01 → sroso joins (~sroso@user/SrOso)
22:57:12 → madeleine-sydney joins (~madeleine@c-76-155-235-153.hsd1.co.comcast.net)
23:12:47 <haskellbridge> <m​aralorn> I have a vague question, but maybe someone has ideas about that. Imagine an elm-style application with a state -> view -> update schema. With crucially an update function "state -> update event -> state".
23:13:32 <haskellbridge> <m​aralorn> Now, the state will unfluence the view, the view can influence which update events can happen.
23:13:52 <haskellbridge> <m​aralorn> And actually there are a lot of update events which only make sense in certain system states.
23:14:33 <probie> pre-empting that the answer is going to be GADTs
23:14:38 <haskellbridge> <m​aralorn> So I kinda want my system dependently typed: The update event the system accepts should be dependent on the current system state.
23:15:38 <haskellbridge> <m​aralorn> I’d love the answer to be GADTs, I wouldn’t really know how.
23:20:46 × zetef quits (~quassel@2a02:2f00:5005:3f00:c1ca:7962:6d96:31ff) (Remote host closed the connection)
23:21:58 <haskellbridge> <m​aralorn> Ah, yeah, I think I see a way.
23:22:07 <haskellbridge> <m​aralorn> Will play around with that.
23:28:28 × acidjnk quits (~acidjnk@p200300d6e714dc90b8d1e6ddf67ed27c.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
23:30:49 <EvanR> if you have a problem and go aha I need dependent types, now you have Nat problems
23:31:17 × dcoutts quits (~duncan@cpc69400-oxfd27-2-0-cust750.4-3.cable.virginm.net) (Ping timeout: 240 seconds)
23:31:37 × n8n quits (n8n@user/n8n) (Quit: WeeChat 4.2.2)
23:32:08 <monochrom> :)
23:33:06 × Axman6 quits (~Axman6@user/axman6) (Remote host closed the connection)
23:33:15 <yushyin> lol
23:36:57 <haskellbridge> <m​aralorn> 😄
23:44:25 × hiredman quits (~hiredman@frontier1.downey.family) (Quit: Lost terminal)
23:55:18 → Axman6 joins (~Axman6@user/axman6)
23:57:19 × haocrcmt^ quits (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 255 seconds)
23:57:47 → hiredman joins (~hiredman@frontier1.downey.family)
23:58:26 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds)
23:58:27 → haocrcmt^ joins (~cd@c-98-242-74-66.hsd1.ga.comcast.net)

All times are in UTC on 2024-04-13.