Logs on 2023-02-06 (liberachat/#haskell)
| 00:02:29 | <int-e> | Inst_: note that class Foo where foo :: Int; foo = 23 does (and should) not declare an instance. Rather, the `foo = 23` is a *default* implementation for `foo` that is picked if you just write `instance Foo` without implementing `foo` for that instance. |
| 00:02:41 | <int-e> | Inst_: that's why I think what you reported is expected behavior. |
| 00:02:55 | × | SenFache quits (~sauvin@user/Sauvin) (Remote host closed the connection) |
| 00:03:31 | → | SenFache joins (~sauvin@user/Sauvin) |
| 00:14:59 | → | TonyStone joins (~TonyStone@cpe-74-76-57-186.nycap.res.rr.com) |
| 00:16:49 | × | freeside quits (~mengwong@103.252.202.170) (Ping timeout: 260 seconds) |
| 00:20:11 | × | oldfashionedcow quits (~Rahul_San@user/oldfashionedcow) (Quit: WeeChat 3.8) |
| 00:21:33 | → | tessier joins (~treed@98.97.142.157) |
| 00:22:17 | → | oldfashionedcow joins (~Rahul_San@user/oldfashionedcow) |
| 00:22:53 | × | oldfashionedcow quits (~Rahul_San@user/oldfashionedcow) (Client Quit) |
| 00:23:50 | → | merijn joins (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 00:25:11 | → | oldfashionedcow joins (~Rahul_San@user/oldfashionedcow) |
| 00:25:50 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) (Remote host closed the connection) |
| 00:28:15 | × | thyriaen quits (~thyriaen@2a01:aea0:dd4:5074:6245:cbff:fe9f:48b1) (Ping timeout: 260 seconds) |
| 00:28:56 | × | oldfashionedcow quits (~Rahul_San@user/oldfashionedcow) (Client Quit) |
| 00:29:57 | × | merijn quits (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 00:29:57 | × | m1dnight quits (~christoph@78-22-0-121.access.telenet.be) (Ping timeout: 268 seconds) |
| 00:31:03 | → | m1dnight joins (~christoph@78-22-0-121.access.telenet.be) |
| 00:32:25 | × | tessier quits (~treed@98.97.142.157) (Ping timeout: 268 seconds) |
| 00:37:11 | → | freeside joins (~mengwong@103.252.202.170) |
| 00:38:52 | → | tessier joins (~treed@98.97.142.157) |
| 00:46:33 | × | xeelad quits (~xeelad@pool-151-202-46-37.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 00:47:02 | → | xeelad joins (~xeelad@pool-151-202-46-37.nycmny.fios.verizon.net) |
| 00:47:38 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 00:51:45 | × | xeelad quits (~xeelad@pool-151-202-46-37.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 01:06:09 | × | Tuplanolla quits (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:10:11 | → | thongpv87 joins (~thongpv87@123.28.243.28) |
| 01:10:33 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:12:15 | → | the_proffesor joins (~theproffe@user/theproffesor) |
| 01:12:36 | × | TonyStone quits (~TonyStone@cpe-74-76-57-186.nycap.res.rr.com) (Quit: Leaving) |
| 01:14:28 | × | theproffesor quits (~theproffe@user/theproffesor) (Ping timeout: 252 seconds) |
| 01:16:39 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:17:21 | × | the_proffesor quits (~theproffe@user/theproffesor) (Ping timeout: 255 seconds) |
| 01:17:33 | → | oldfashionedcow joins (~Rahul_San@user/oldfashionedcow) |
| 01:21:20 | → | theproffesor joins (~theproffe@user/theproffesor) |
| 01:23:39 | × | thongpv87 quits (~thongpv87@123.28.243.28) (Ping timeout: 252 seconds) |
| 01:25:21 | → | the_proffesor joins (~theproffe@2601:282:8800:3f30::96d7) |
| 01:25:21 | × | the_proffesor quits (~theproffe@2601:282:8800:3f30::96d7) (Changing host) |
| 01:25:21 | → | the_proffesor joins (~theproffe@user/theproffesor) |
| 01:25:37 | oldfashionedcow | is now known as afdgfdtnnn |
| 01:25:51 | afdgfdtnnn | is now known as oldfashionedcow |
| 01:26:00 | × | theproffesor quits (~theproffe@user/theproffesor) (Ping timeout: 260 seconds) |
| 01:26:19 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) |
| 01:27:43 | × | xff0x quits (~xff0x@2405:6580:b080:900:a4d4:2a1:9e67:f42c) (Ping timeout: 252 seconds) |
| 01:29:35 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) (Remote host closed the connection) |
| 01:29:50 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 01:30:05 | × | the_proffesor quits (~theproffe@user/theproffesor) (Ping timeout: 260 seconds) |
| 01:43:48 | → | thongpv87 joins (~thongpv87@123.28.243.28) |
| 02:05:27 | → | varoo joins (~varoo@117.203.246.41) |
| 02:06:26 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 265 seconds) |
| 02:09:04 | × | bhall quits (~brunohall@195.147.207.136) (Ping timeout: 248 seconds) |
| 02:10:28 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 02:11:50 | × | freeside quits (~mengwong@103.252.202.170) (Ping timeout: 246 seconds) |
| 02:12:32 | → | king_gs joins (~Thunderbi@2806:103e:29:34e5:7b96:c3d0:9726:e24a) |
| 02:12:33 | → | bhall joins (~brunohall@85.255.236.24) |
| 02:13:01 | → | freeside joins (~mengwong@103.252.202.170) |
| 02:13:17 | → | xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 02:15:47 | × | use-value quits (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 02:16:06 | → | use-value joins (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 02:17:36 | × | freeside quits (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 02:18:36 | <Hammdist> | type X = (a, b, c) ... is it expected that I can't do fst on an instance of x? |
| 02:18:46 | × | bhall quits (~brunohall@85.255.236.24) (Read error: Connection reset by peer) |
| 02:18:47 | → | freeside joins (~mengwong@103.252.202.170) |
| 02:19:00 | → | bhall joins (~brunohall@195.147.207.136) |
| 02:19:25 | <Hammdist> | ah I see how on hoogle I must use fstOf3 |
| 02:21:20 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 02:22:06 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 02:23:25 | × | freeside quits (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 02:25:49 | <monochrom> | fst is for (a,b) only. |
| 02:37:01 | → | pavonia joins (~user@user/siracusa) |
| 02:38:47 | × | tessier quits (~treed@98.97.142.157) (Read error: Connection reset by peer) |
| 02:40:24 | → | freeside joins (~mengwong@103.252.202.170) |
| 02:41:25 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 256 seconds) |
| 02:50:33 | × | freeside quits (~mengwong@103.252.202.170) (Ping timeout: 268 seconds) |
| 02:50:56 | → | freeside joins (~mengwong@103.252.202.170) |
| 02:51:27 | → | thongpv joins (~thongpv87@123.28.243.28) |
| 02:52:47 | × | thongpv87 quits (~thongpv87@123.28.243.28) (Ping timeout: 248 seconds) |
| 02:53:30 | × | SenFache quits (~sauvin@user/Sauvin) (Ping timeout: 260 seconds) |
| 02:55:27 | × | freeside quits (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 02:58:40 | × | jero98772 quits (~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb) (Remote host closed the connection) |
| 02:59:34 | × | EsoAlgo8 quits (~EsoAlgo@129.146.136.145) (Remote host closed the connection) |
| 03:01:04 | → | opticblast joins (~Thunderbi@172.58.80.152) |
| 03:01:23 | → | EsoAlgo8 joins (~EsoAlgo@129.146.136.145) |
| 03:03:07 | → | freeside joins (~mengwong@103.252.202.170) |
| 03:03:18 | × | Guest75 quits (~Guest75@178.141.147.162) (Ping timeout: 260 seconds) |
| 03:04:02 | × | king_gs quits (~Thunderbi@2806:103e:29:34e5:7b96:c3d0:9726:e24a) (Quit: king_gs) |
| 03:04:35 | × | santiagopim quits (~user@90.167.66.131) (Ping timeout: 260 seconds) |
| 03:06:08 | × | td_ quits (~td@i53870931.versanet.de) (Ping timeout: 248 seconds) |
| 03:06:56 | → | ddellacosta joins (~ddellacos@146.70.165.234) |
| 03:08:07 | → | td_ joins (~td@i5387093f.versanet.de) |
| 03:09:04 | × | oldfashionedcow quits (~Rahul_San@user/oldfashionedcow) (Quit: WeeChat 3.8) |
| 03:14:11 | → | Sauvin joins (~sauvin@user/Sauvin) |
| 03:22:12 | × | danza quits (~francesco@151.47.50.166) (Read error: Connection reset by peer) |
| 03:22:28 | × | opticblast quits (~Thunderbi@172.58.80.152) (Remote host closed the connection) |
| 03:22:46 | × | varoo quits (~varoo@117.203.246.41) (Quit: Probably got disconnect dure to unstable internet) |
| 03:22:55 | × | unit73e quits (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) (Remote host closed the connection) |
| 03:26:17 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 03:33:04 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 252 seconds) |
| 03:33:26 | → | _leo___ joins (~emmanuelu@user/emmanuelux) |
| 03:36:23 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Ping timeout: 255 seconds) |
| 03:37:22 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 03:37:22 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 03:37:22 | finn_elija | is now known as FinnElija |
| 03:38:07 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 03:38:54 | → | danza joins (~francesco@151.19.233.34) |
| 03:58:17 | × | Midjak2 quits (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 04:01:59 | <EvanR> | Hammdist, either write your own second accessors for triples, use a descriptive record type, or use lens, (or other options) |
| 04:02:15 | <EvanR> | s/second// |
| 04:03:30 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 04:04:11 | <jackdk> | Asking this sort of question makes me think you're pretty early in your learning journey, so I think "write your own accessor" or "define a record types" are going to be the options with the least additional stuff to learn. |
| 04:04:32 | <jackdk> | but also, "use `case` to do a pattern match" is the solution to a great many Haskell questions |
| 04:06:24 | × | myxokeph quits (~myxokeph@cpe-65-28-251-121.cinci.res.rr.com) (Quit: myxokeph) |
| 04:13:47 | × | thongpv quits (~thongpv87@123.28.243.28) (Ping timeout: 252 seconds) |
| 04:15:12 | <Inst_> | int-e, it's sort of silly, but |
| 04:15:27 | <Inst_> | w/e, it doesn't matter |
| 04:22:42 | → | thongpv joins (~thongpv87@123.28.243.28) |
| 04:26:54 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 04:34:39 | × | foul_owl quits (~kerry@157.97.134.63) (Ping timeout: 260 seconds) |
| 04:37:35 | × | coderpath quits (~coderpath@d66-183-126-83.bchsia.telus.net) (Ping timeout: 255 seconds) |
| 04:38:01 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 04:38:48 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 04:39:05 | × | thongpv quits (~thongpv87@123.28.243.28) (Ping timeout: 252 seconds) |
| 04:45:19 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 252 seconds) |
| 04:47:25 | → | foul_owl joins (~kerry@71.212.143.88) |
| 04:47:40 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 04:53:37 | → | tessier joins (~treed@98.97.142.157) |
| 05:00:26 | → | dextaa9 joins (~DV@user/dextaa) |
| 05:01:05 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 05:02:39 | × | dextaa quits (~DV@user/dextaa) (Ping timeout: 260 seconds) |
| 05:02:39 | dextaa9 | is now known as dextaa |
| 05:20:32 | × | Vajb quits (~Vajb@2001:999:404:9516:d621:6cbe:c71e:5686) (Read error: Connection reset by peer) |
| 05:20:58 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) |
| 05:23:17 | × | bilegeek quits (~bilegeek@2600:1008:b098:686c:1177:15a4:77ec:44a0) (Quit: Leaving) |
| 05:25:18 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 05:25:50 | → | Vajb joins (~Vajb@2001:999:404:9516:d621:6cbe:c71e:5686) |
| 05:26:32 | → | xeelad joins (~xeelad@151.202.46.37) |
| 05:34:30 | <Hammdist> | https://hackage.haskell.org/package/ghc-8.10.2/docs/src/Var.html#Var <-- how do I import this? |
| 05:34:50 | <Hammdist> | (the obvious import GHC.Var doesn't work) |
| 05:36:24 | × | xeelad quits (~xeelad@151.202.46.37) (Quit: Leaving) |
| 05:36:38 | → | xeelad joins (~xeelad@151.202.46.37) |
| 05:36:49 | <Hammdist> | ah I'm on a newer version |
| 05:37:03 | <Hammdist> | it imports as GHC.Types.Var |
| 05:37:37 | <Hammdist> | but I cannot use the constructor GHC.Types.Var.TyVar in my code: NB: the module ‘GHC.Types.Var’ does not export ‘TyVar’ |
| 05:38:56 | <Hammdist> | https://downloads.haskell.org/ghc/latest/docs/libraries/ghc-9.4.4/src/GHC.Types.Var.html it looks exported though |
| 05:48:34 | <Hammdist> | ah stumbled across isTyVar which looks like it's hopefully what I need |
| 05:48:47 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 248 seconds) |
| 06:15:28 | × | mechap quits (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 06:15:31 | × | analoq quits (~yashi@user/dies) (Ping timeout: 252 seconds) |
| 06:16:50 | → | mechap joins (~mechap@user/mechap) |
| 06:17:26 | → | analoq joins (~yashi@user/dies) |
| 06:17:31 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 06:20:27 | → | bgs joins (~bgs@212-85-160-171.dynamic.telemach.net) |
| 06:25:35 | × | shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 255 seconds) |
| 06:29:07 | × | bhall quits (~brunohall@195.147.207.136) (Ping timeout: 252 seconds) |
| 06:32:32 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:39:40 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 06:57:26 | → | merijn joins (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 06:58:12 | → | jonathanx joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 06:59:40 | × | bgs quits (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 07:05:00 | → | kenran joins (~user@user/kenran) |
| 07:08:21 | → | akegalj joins (~akegalj@93-138-139-161.adsl.net.t-com.hr) |
| 07:23:14 | × | danza quits (~francesco@151.19.233.34) (Read error: Connection reset by peer) |
| 07:25:54 | × | kenran quits (~user@user/kenran) (Remote host closed the connection) |
| 07:27:06 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:31:45 | × | merijn quits (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 07:34:08 | → | thongpv joins (~thongpv87@123.28.243.28) |
| 07:38:23 | × | freeside quits (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 07:38:28 | → | danza joins (~francesco@151.57.187.18) |
| 07:40:51 | → | michalz joins (~michalz@185.246.207.203) |
| 07:47:59 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 07:53:18 | → | titibandit1 joins (~titibandi@xdsl-89-0-159-198.nc.de) |
| 07:54:07 | × | titibandit1 quits (~titibandi@xdsl-89-0-159-198.nc.de) (Remote host closed the connection) |
| 07:55:56 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:56:05 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 07:58:35 | × | cyphase quits (~cyphase@user/cyphase) (Ping timeout: 260 seconds) |
| 08:01:04 | × | tessier quits (~treed@98.97.142.157) (Ping timeout: 248 seconds) |
| 08:01:29 | → | mastarija joins (~mastarija@2a05:4f46:e03:6000:8e09:9c71:64ab:3f22) |
| 08:02:02 | <mastarija> | So, when I do this: boot.kernelPackages = pkgs.linuxPackages_latest; my system builds fine |
| 08:02:19 | <mastarija> | However, if I add this line: services.xserver.videoDrivers = [ "amdgpu-pro" ]; |
| 08:02:58 | <mastarija> | It says boot.kernelPackages defined multiple times |
| 08:03:42 | <mastarija> | Removing the boot.kernelPackages line makes it work OK. |
| 08:04:00 | <mastarija> | But then my system doesn't work because stock kernel doesn't support certain hardware that I have. |
| 08:05:41 | <mastarija> | And if instead of xserver config I keep my kernelPackages settings, and do this: |
| 08:05:50 | <mastarija> | boot.initrd.kernelModules = [ "amdgpu-pro" ]; |
| 08:05:58 | <mastarija> | boot.extraModulePackages = with config.boot.kernelPackages; [ amdgpu-pro.kmod ]; |
| 08:06:34 | <mastarija> | I get a build error |
| 08:06:49 | <mastarija> | Ugh. wrong channel again |
| 08:06:51 | <mastarija> | Sorry |
| 08:13:41 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 08:16:02 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 08:26:19 | × | _leo___ quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 08:26:36 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 08:26:38 | → | nschoe joins (~q@141.101.51.197) |
| 08:30:58 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:fbd9:bb70:ff03:7d95) |
| 08:31:22 | → | zeenk joins (~zeenk@2a02:2f04:a214:1e00::7fe) |
| 08:33:40 | → | trev_ joins (~trev@109.252.35.99) |
| 08:33:57 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:35:05 | → | merijn joins (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 08:35:56 | → | piele joins (~piele@tbonesteak.creativeserver.net) |
| 08:37:25 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 08:44:54 | → | cyphase joins (~cyphase@user/cyphase) |
| 08:49:00 | × | ft quits (~ft@p4fc2a257.dip0.t-ipconnect.de) (Quit: leaving) |
| 08:49:21 | × | wrengr quits (~wrengr@201.59.83.34.bc.googleusercontent.com) (Remote host closed the connection) |
| 08:54:48 | → | avicenzi joins (~avicenzi@2a00:ca8:a1f:b004::c32) |
| 08:55:04 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 09:11:20 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 09:12:07 | → | jinsun__ joins (~jinsun@user/jinsun) |
| 09:12:07 | × | jinsun quits (~jinsun@user/jinsun) (Killed (platinum.libera.chat (Nickname regained by services))) |
| 09:12:07 | jinsun__ | is now known as jinsun |
| 09:13:31 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 09:18:00 | → | thyriaen joins (~thyriaen@2a01:aea0:dd4:5074:6245:cbff:fe9f:48b1) |
| 09:23:08 | → | thongpv87 joins (~thongpv87@123.28.243.28) |
| 09:25:19 | × | danza quits (~francesco@151.57.187.18) (Ping timeout: 248 seconds) |
| 09:26:01 | × | thongpv quits (~thongpv87@123.28.243.28) (Ping timeout: 256 seconds) |
| 09:26:51 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 09:31:09 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 09:32:34 | × | sefidel quits (~sefidel@user/sefidel) (Remote host closed the connection) |
| 09:34:44 | → | sefidel joins (~sefidel@user/sefidel) |
| 09:37:13 | → | ccapndave joins (~ccapndave@xcpe-62-167-164-99.cgn.res.adslplus.ch) |
| 09:39:09 | × | merijn quits (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 09:40:22 | → | maroloccio joins (~marolocci@90.166.18.199) |
| 09:41:26 | × | thyriaen quits (~thyriaen@2a01:aea0:dd4:5074:6245:cbff:fe9f:48b1) (Quit: Leaving) |
| 09:44:20 | → | chele joins (~chele@user/chele) |
| 09:46:53 | → | bhall joins (~brunohall@195.147.207.136) |
| 09:47:32 | × | cyphase quits (~cyphase@user/cyphase) (Ping timeout: 265 seconds) |
| 09:49:44 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 09:52:30 | → | cyphase joins (~cyphase@user/cyphase) |
| 09:55:46 | × | paulpaul1076 quits (~textual@95-29-4-222.broadband.corbina.ru) (Read error: Connection reset by peer) |
| 09:59:26 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds) |
| 10:01:44 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 10:08:23 | × | foul_owl quits (~kerry@71.212.143.88) (Ping timeout: 268 seconds) |
| 10:12:24 | × | xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
| 10:16:01 | → | merijn joins (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 10:18:08 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 248 seconds) |
| 10:20:01 | → | mechap joins (~mechap@user/mechap) |
| 10:21:49 | → | foul_owl joins (~kerry@157.97.134.62) |
| 10:23:07 | × | merijn quits (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 10:27:21 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) |
| 10:31:49 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) (Ping timeout: 252 seconds) |
| 10:33:43 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 10:33:47 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 10:34:25 | × | glguy quits (~glguy@libera/staff-emeritus/glguy) (Ping timeout: 252 seconds) |
| 10:35:24 | <kuribas> | Anyone at the FOSDEM yesterday? |
| 10:35:34 | → | glguy joins (~glguy@libera/staff-emeritus/glguy) |
| 10:36:03 | <kuribas> | There was an interesting talk by David Christiansen, where he said haskellers don't like heavyweight methods, but prefer correct by construction. |
| 10:36:32 | <kuribas> | However it does seem to me the dependent type people do like heavy formal methods. |
| 10:38:06 | × | caryhartline quits (~caryhartl@2600:1700:2d0:8d30:4d63:2b4e:3c7:c9ea) (Quit: caryhartline) |
| 10:38:45 | <Hecate> | kuribas: yes but DT people are not the bulk of Haskellers :P |
| 10:39:08 | <kuribas> | haha, indeed |
| 10:41:06 | <kuribas> | I did hear Edwin Brady (creator of idris) make this remark as well, just having dependent types doesn't mean you now have to proof every property or invariant in the program. |
| 10:41:47 | <kuribas> | I am more in the "correct by construction" camp, rather than writing external proofs (or tests) about code. |
| 10:42:25 | <kuribas> | Except when correct by construction turns out more complicated than just writing a unit test or property test suite. |
| 10:42:40 | → | santiagopim joins (~user@90.167.66.131) |
| 10:43:13 | → | mikoto-chan joins (~mikoto-ch@2001:999:780:2e68:ee5b:40a6:f4a:68b1) |
| 10:47:30 | <Hecate> | kuribas: as I say in my talk, the "correct by construction" paradigm has to be accompanied by tests, in Haskell |
| 10:47:34 | <Hecate> | since we don't have proofs |
| 10:48:19 | <kuribas> | Doesn't correct by construction imply you don't need to test? |
| 10:49:01 | <kuribas> | By definition I mean. |
| 10:49:45 | → | merijn joins (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 10:49:45 | <Hecate> | kuribas: you have to prove that the construction itself is correct |
| 10:49:56 | <Hecate> | and we don't have proofs in Haskell |
| 10:49:58 | <Hecate> | so it's tests |
| 10:51:54 | → | patrl joins (~patrl@p200300d1473a221e1ddaaf5b554dbea8.dip0.t-ipconnect.de) |
| 10:53:12 | <kuribas> | I usually don't bother about that, maybe some messing around on the REPL. |
| 10:53:41 | × | patrl quits (~patrl@p200300d1473a221e1ddaaf5b554dbea8.dip0.t-ipconnect.de) (Changing host) |
| 10:53:41 | → | patrl joins (~patrl@user/patrl) |
| 10:53:48 | → | thyriaen joins (~thyriaen@2a01:aea0:dd4:5074:6245:cbff:fe9f:48b1) |
| 10:54:31 | <kuribas> | But I suppose it makes sense when the construction becomes more complicated... |
| 10:55:46 | <kuribas> | I see more need for testing when the invariants are not enforced. |
| 10:58:00 | × | Xeroine quits (~Xeroine@user/xeroine) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 10:58:19 | → | Xeroine joins (~Xeroine@user/xeroine) |
| 10:58:57 | → | xff0x joins (~xff0x@ai081074.d.east.v6connect.net) |
| 11:02:45 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 11:05:21 | <dminuoso> | "correct by construction" is also misleading, since correctness is only up to the properties imbued by its construction. |
| 11:05:50 | <dminuoso> | It can, especially in discussions with others, easily give the impression that one is suggesting complete absence of bugs. |
| 11:06:23 | <dminuoso> | Plus things like `bottom` by itself make `correct by construction` only `mostly correct` |
| 11:06:54 | <Hecate> | thank you for this phrasing dminuoso |
| 11:07:24 | <Hecate> | kuribas: so basically "correct by construction" is only a superficial aspect, you still need to make larger, cross-context invariants hold |
| 11:07:37 | <kuribas> | right |
| 11:07:39 | <Hecate> | hence tests or temporal logic systems like TLA |
| 11:08:52 | <kuribas> | Like my library can prove the SQL query matches the schema you provided. However it doesn't check that the SQL is valid SQL, or that the schema used it the actual one in production. |
| 11:09:21 | <kuribas> | Nor does it actually prove the query does what you expect it to. |
| 11:09:42 | × | mikoto-chan quits (~mikoto-ch@2001:999:780:2e68:ee5b:40a6:f4a:68b1) (Ping timeout: 265 seconds) |
| 11:10:34 | <kuribas> | So the "correct by construction" only applies to the schema, and the given one. |
| 11:10:54 | <kuribas> | Hecate: however note that you would have the exact same problem with proofs! |
| 11:12:37 | <dminuoso> | One of the revelations I had over the past few years, was thinking about value of tests. Some Haskellers easily find themselves spending extraordinary amounts of time on some formal systems proving the absence of certain bugs, without any demonstration that the bugs the system will guard against are likely to occur, or could be reasonably caught with some very basic discipline instead. |
| 11:12:48 | <dminuoso> | Things like effect systems go into that department |
| 11:13:27 | <dminuoso> | And all my attempts at exploring such systems were mostly misguided, "claims of bugfreeness" were mostly excuses to do some wild experiments, while at the same time ignoring the massive ergonomic inconveniences that type level tricks add to your program |
| 11:13:36 | × | thongpv87 quits (~thongpv87@123.28.243.28) (Ping timeout: 248 seconds) |
| 11:15:50 | × | patrl quits (~patrl@user/patrl) (Ping timeout: 255 seconds) |
| 11:16:34 | → | patrl joins (~patrl@user/patrl) |
| 11:19:34 | → | freeside joins (~mengwong@103.252.202.170) |
| 11:20:56 | × | merijn quits (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 11:21:15 | × | kaskal quits (~kaskal@089144220250.atnat0029.highway.webapn.at) (Ping timeout: 248 seconds) |
| 11:22:49 | → | kaskal joins (~kaskal@089144220250.atnat0029.highway.webapn.at) |
| 11:25:44 | → | brandonh joins (~brandonh@93-38-48-28.ip69.fastwebnet.it) |
| 11:29:34 | × | zeenk quits (~zeenk@2a02:2f04:a214:1e00::7fe) (Quit: Konversation terminated!) |
| 11:29:52 | → | __monty__ joins (~toonn@user/toonn) |
| 11:33:21 | <Hecate> | yep |
| 11:33:31 | <Hecate> | don't drink too much of the kool-aid |
| 11:34:47 | <kuribas> | I am in the same camp. Thoses systems are fun and interesting, but if I need a practical program I prefer to keep it simple, and write some tests. |
| 11:35:10 | <kuribas> | Even for mtl, I only use it as some glue that let's me avoid tedious code. |
| 11:35:15 | × | bhall quits (~brunohall@195.147.207.136) (Ping timeout: 252 seconds) |
| 11:35:24 | → | bhall joins (~brunohall@85.255.236.21) |
| 11:36:22 | <Hecate> | can mtl bring you more than that? :p |
| 11:36:39 | <dminuoso> | Well, mtl is a precursor to a full blown effect system. :p |
| 11:36:54 | <dminuoso> | (or it is a tiny effect system in a box) |
| 11:37:32 | <kuribas> | Hecate: I mean, I write my own monad for my library, but use mtl to implement. However I don't expose the mtl classes like many libraries do. |
| 11:37:52 | <Hecate> | aye but effect systems bring more semantic tracking of effects, I have some trouble relating them to proofs of soundness |
| 11:37:56 | <Hecate> | kuribas: ah yes I see what you mean |
| 11:38:01 | <Hecate> | fine :) |
| 11:38:50 | <opqdonut> | well "this component can only make side-effects of this type" is related to soundness, right? |
| 11:39:24 | <opqdonut> | everything in types is about tracking invariants, and invariants are interesting because of soundness |
| 11:39:49 | <opqdonut> | or did you have a specific meaning of soundness in mind? |
| 11:39:52 | <Hecate> | yes sorry in my mind I was still thinking of the invariants that you check through temporal logic & integration tests |
| 11:40:00 | <Hecate> | so, the stuff that you test even with Ruby/Python/C |
| 11:40:28 | <Hecate> | at work we use Effectful for semantic tracking of effects |
| 11:40:36 | <Hecate> | but also a shit-tonne of tests |
| 11:40:37 | <dminuoso> | opqdonut: Code can become quite inconvenient to write, because in order to correctly track effects, you cannot have MonadIO anywhere. |
| 11:40:45 | <opqdonut> | traditional OO testing actually tracks effects pretty closely |
| 11:40:49 | <dminuoso> | So once MonadIO appears, your soundness disappears. |
| 11:40:57 | <opqdonut> | yeah, agreed |
| 11:41:25 | <opqdonut> | I mean stuff like dependency injection and test fixtures kinda prove that the component under test only needs these certain types of effects |
| 11:41:54 | <Hecate> | I love passing arguments to function |
| 11:41:57 | <Hecate> | *functions |
| 11:43:21 | <opqdonut> | right! the most fine-grained effect system is passing callbacks constrained with `Monad m => X -> m Y` |
| 11:45:34 | <Hecate> | context: https://github.com/haskell-effectful/effectful/discussions/137#discussioncomment-4870371 |
| 11:45:35 | <dminuoso> | In part this may also be an architectural problem. If you look at the internal architecture of postfix, components are not limited because an effect system constrains it, but because components can only interact with limited IPC channels (mostly mail files) |
| 11:46:06 | <opqdonut> | yeah |
| 11:46:17 | <Hecate> | opqdonut: In the end, an integrated effect system ought to compile the list of effects as arguments to the functions |
| 11:46:22 | <opqdonut> | another nice low-tech way is to just restrict module dependencies with a linter rule |
| 11:46:36 | <Hecate> | (from what I understand in terms of generating performant code, perhaps I am wrong) |
| 11:47:33 | <Hecate> | of course monads are not a great vessel for this since the excessive polymorphism of your `m` prevents it from being inlined in real-case scenarios |
| 11:47:59 | <Hecate> | and if you force the exposure of all unfoldings, and aggressive inlining, your 700 modules codebase suddenly takes 2 hours to compile |
| 11:48:36 | <Hecate> | (and in my heart I believe we should be able to have higher-level programming languages that are not inherently hostile to lower-end hardware, for development and production) |
| 11:49:02 | <dminuoso> | Symbolic evaluation can also be a vehicle to test whether or not components are constrained, which I guess is a kind of mocking. |
| 11:49:11 | <dminuoso> | Not quite sure how widely that is done |
| 11:49:51 | <dminuoso> | But at least this could be done outside of GHC (perhaps residing inside comments, similar to liquid haskell) |
| 11:50:04 | × | patrl quits (~patrl@user/patrl) (Quit: WeeChat 3.8) |
| 11:50:51 | × | ccapndave quits (~ccapndave@xcpe-62-167-164-99.cgn.res.adslplus.ch) (Quit: Textual IRC Client: www.textualapp.com) |
| 11:52:56 | <Hecate> | one cultural problem that was outlined in David's talk at FOSDEM: We have too much disdain for things we consider "pedestrian" *and* simultaneously don't care much about doings things the right way when we have to make external components that interface with haskell |
| 11:53:27 | <Hecate> | writing tests is hard but also not paper-worthy and this has left a huge, negative mark in our common psyche |
| 11:54:35 | × | maroloccio quits (~marolocci@90.166.18.199) (Quit: WeeChat 3.7.1) |
| 12:03:17 | → | MajorBiscuit joins (~MajorBisc@145.94.153.3) |
| 12:06:42 | → | danza joins (~francesco@151.35.84.26) |
| 12:07:21 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 12:08:26 | <kuribas> | tests did leave me with some kind of trauma, but it was more because those tests where to mask bad software practices, the tests itself where also badly written. |
| 12:09:26 | <kuribas> | I actually do believe TDD has good ideas. |
| 12:09:43 | <kuribas> | The idea is that you should first think about behaviour and make it concrete. |
| 12:09:58 | <kuribas> | But TDD in practice revolves around gaming your implementation instead. |
| 12:10:21 | <kuribas> | It's not about behaviour anymore, but about tedious fixing every small implementation detail. |
| 12:11:20 | → | alex` joins (~user@97.red-83-36-47.dynamicip.rima-tde.net) |
| 12:15:52 | <alex`> | Hi there, I'm looking for an example of how to print out a typewriter effect. That is, given a phrase "The quick brown fox jumped over the lazy dog", print out T (then 1000ms delay), Th (another 100ms delay) up until the end of the character in the sentence. Anybody able to help point me in the right direction, please? |
| 12:16:46 | → | patrl joins (~patrl@user/patrl) |
| 12:17:18 | <Hecate> | kuribas: yes |
| 12:18:27 | <Hecate> | alex`: so, this is going to be fun, but you should watch videos of people typing on typewriters, and note what kind of key clusters are usually grouped, and what kind have a delay |
| 12:19:47 | <alex`> | Hi Hecate, yes, that would be cool but I'm afraid I'm still very much a beginner. |
| 12:20:17 | <alex`> | I think I'm stuck at the IO level. |
| 12:20:25 | <Hecate> | ah! |
| 12:20:29 | <Hecate> | do you have code already? |
| 12:21:23 | <alex`> | I was looking at the setReminder code here: https://www.oreilly.com/library/view/parallel-and-concurrent/9781449335939/ch07.html |
| 12:23:01 | <alex`> | I wanted to send the auxillary function each character in a recursive loop. |
| 12:24:13 | <jadey[m]> | [I can't look at it right now] |
| 12:24:13 | <jadey[m]> | So what you want is sequential IO actions in the form `print >> delay` right |
| 12:24:50 | <alex`> | The code seems to do that with threadM. |
| 12:25:00 | <dminuoso> | alex`: Im just assuming you want something very basic |
| 12:25:00 | <jadey[m]> | alex`: this sounds like a good start, and you combine it with the idea I mentioned to print, delay, print, delay, etc. |
| 12:25:09 | <alex`> | I mean threadDelay |
| 12:25:09 | <dminuoso> | That guide seems overly complicated touching subjects not relevant for your problem |
| 12:25:26 | <dminuoso> | And yes, you just use threadDelay to wait for a while. |
| 12:25:51 | × | talismanick quits (~talismani@2601:200:c181:4c40::1be2) (Ping timeout: 260 seconds) |
| 12:25:56 | <Hecate> | alex`: yes that's how you'd do it. Split your string in clusters of 3 characters, iterate on the list of clusters and the action is "sleep 100ms ; print the cluster" |
| 12:26:01 | <dminuoso> | Use `for_` or `traverse_` to iterate over every character in a string, use `threadDelay` to wait as much as you want, and then use `putChar` to print each character to stdout. |
| 12:26:05 | → | merijn joins (~merijn@145.90.225.11) |
| 12:26:07 | <jadey[m]> | What I would do is start with implementing `printWithDelay :: Char -> Int -> IO ()` |
| 12:26:32 | <gnalzo> | is there a simple sleep function, to be used instead. |
| 12:27:01 | <dminuoso> | Yes, its called threadDelay |
| 12:27:18 | <gnalzo> | Using ThreadIO seems to be over complex to me. |
| 12:27:22 | <dminuoso> | The name has this confusing word `thread` in it, it probably should have just been named `sleep`. |
| 12:27:28 | <dminuoso> | gnalzo: it has nothing to do with threads really. |
| 12:27:45 | <dminuoso> | Its just named this way, because in a multi threaded application, only the current active thread will be slept. |
| 12:27:48 | <gnalzo> | ok, good to know, thanks dminuoso |
| 12:28:07 | <dminuoso> | the only slight gotcha is that the parameter is in microseconds |
| 12:28:25 | → | zeenk joins (~zeenk@2a02:2f04:a214:1e00::7fe) |
| 12:30:08 | <alex`> | Thank you, dminuoso. I will have a go. :) |
| 12:32:42 | <alex`> | And others :) |
| 12:33:56 | <Hecate> | alex`: have fun! |
| 12:35:10 | <alex`> | Good advice, Hecate. I'll try to. :) |
| 12:37:20 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 12:37:37 | × | akegalj quits (~akegalj@93-138-139-161.adsl.net.t-com.hr) (Ping timeout: 268 seconds) |
| 12:38:37 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 12:39:18 | → | kenaryn joins (~aurele@89-88-44-27.abo.bbox.fr) |
| 12:39:58 | × | kenaryn quits (~aurele@89-88-44-27.abo.bbox.fr) (Client Quit) |
| 12:40:17 | → | kenaryn joins (~aurele@89-88-44-27.abo.bbox.fr) |
| 12:42:54 | × | alex` quits (~user@97.red-83-36-47.dynamicip.rima-tde.net) (Ping timeout: 260 seconds) |
| 12:45:02 | × | califax quits (~califax@user/califx) (Ping timeout: 255 seconds) |
| 12:45:22 | → | califax_ joins (~califax@user/califx) |
| 12:46:30 | califax_ | is now known as califax |
| 12:50:37 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 12:51:45 | × | brandonh quits (~brandonh@93-38-48-28.ip69.fastwebnet.it) (Quit: brandonh) |
| 12:52:51 | → | brandonh joins (~brandonh@93-38-48-28.ip69.fastwebnet.it) |
| 12:55:17 | × | bhall quits (~brunohall@85.255.236.21) (Read error: Connection reset by peer) |
| 12:55:32 | → | bhall joins (~brunohall@195.147.207.136) |
| 12:57:08 | × | Alex_test quits (~al_test@178.34.160.79) (Quit: ;-) |
| 12:57:43 | × | AlexZenon quits (~alzenon@178.34.160.79) (Quit: ;-) |
| 12:58:25 | × | AlexNoo quits (~AlexNoo@178.34.160.79) (Quit: Leaving) |
| 12:59:07 | × | Xeroine quits (~Xeroine@user/xeroine) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 12:59:23 | → | jero98772 joins (~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb) |
| 13:01:14 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds) |
| 13:02:01 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 13:02:26 | × | Batzy quits (~quassel@user/batzy) (Quit: No Ping reply in 180 seconds.) |
| 13:03:53 | → | Batzy joins (~quassel@user/batzy) |
| 13:04:03 | → | Xeroine joins (~Xeroine@user/xeroine) |
| 13:07:43 | × | trev_ quits (~trev@109.252.35.99) (Changing host) |
| 13:07:43 | → | trev_ joins (~trev@user/trev) |
| 13:08:02 | trev_ | is now known as trev |
| 13:12:31 | → | AlexNoo joins (~AlexNoo@178.34.160.79) |
| 13:15:28 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 13:15:57 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 13:16:21 | → | AlexZenon joins (~alzenon@178.34.160.79) |
| 13:16:31 | → | __monty__ joins (~toonn@user/toonn) |
| 13:18:27 | → | Alex_test joins (~al_test@178.34.160.79) |
| 13:20:00 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 248 seconds) |
| 13:22:07 | → | alex` joins (~user@97.red-83-36-47.dynamicip.rima-tde.net) |
| 13:25:21 | ← | alex` parts (~user@97.red-83-36-47.dynamicip.rima-tde.net) () |
| 13:28:44 | × | dfip^ quits (~dfip@c-24-30-76-89.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 13:28:52 | × | Katarushisu quits (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 13:29:40 | → | Katarushisu joins (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 13:29:57 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 13:36:33 | → | shriekingnoise joins (~shrieking@186.137.175.87) |
| 13:37:39 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 13:38:39 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 13:45:13 | × | brandonh quits (~brandonh@93-38-48-28.ip69.fastwebnet.it) (Quit: brandonh) |
| 13:49:38 | → | akegalj joins (~akegalj@89-164-120-47.dsl.iskon.hr) |
| 13:53:17 | → | CiaoSen joins (~Jura@p200300c9573284002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 13:57:27 | <jadey[m]> | aww |
| 14:12:34 | → | freeside_ joins (~mengwong@103.252.202.170) |
| 14:12:41 | × | freeside quits (~mengwong@103.252.202.170) (Ping timeout: 255 seconds) |
| 14:15:28 | × | bhall quits (~brunohall@195.147.207.136) (Ping timeout: 252 seconds) |
| 14:16:09 | → | bhall joins (~brunohall@85.255.237.226) |
| 14:19:05 | → | kurbus joins (~kurbus@user/kurbus) |
| 14:19:28 | → | irrgit_ joins (~irrgit@89.47.234.74) |
| 14:22:17 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
| 14:23:58 | × | irrgit_ quits (~irrgit@89.47.234.74) (Read error: Connection reset by peer) |
| 14:30:36 | × | kraftwerk28_ quits (~kraftwerk@178.62.210.83) (Quit: *disconnects*) |
| 14:31:56 | → | kraftwerk28 joins (~kraftwerk@178.62.210.83) |
| 14:32:40 | → | brandonh joins (~brandonh@93-38-48-28.ip69.fastwebnet.it) |
| 14:33:47 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 264 seconds) |
| 14:39:13 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 14:41:18 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 14:42:21 | × | jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Remote host closed the connection) |
| 14:43:04 | → | jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 14:43:40 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:48:52 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 14:53:44 | → | irrgit joins (~irrgit@89.47.234.74) |
| 14:55:07 | × | AlexNoo quits (~AlexNoo@178.34.160.79) (Quit: Leaving) |
| 14:55:42 | × | Alex_test quits (~al_test@178.34.160.79) (Quit: ;-) |
| 14:56:42 | × | AlexZenon quits (~alzenon@178.34.160.79) (Quit: ;-) |
| 14:57:23 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 15:01:13 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 15:01:18 | × | brandonh quits (~brandonh@93-38-48-28.ip69.fastwebnet.it) (Quit: brandonh) |
| 15:01:38 | → | thongpv joins (~thongpv87@123.28.243.28) |
| 15:01:44 | × | ddellacosta quits (~ddellacos@146.70.165.234) (Ping timeout: 260 seconds) |
| 15:14:47 | × | foul_owl quits (~kerry@157.97.134.62) (Read error: Connection reset by peer) |
| 15:18:37 | × | hololeap quits (~quassel@user/hololeap) (Ping timeout: 265 seconds) |
| 15:20:06 | × | kurbus quits (~kurbus@user/kurbus) (Quit: Client closed) |
| 15:20:42 | × | laalyn quits (~laalyn@c-73-241-126-7.hsd1.ca.comcast.net) (Quit: Client closed) |
| 15:20:46 | → | hololeap joins (~quassel@user/hololeap) |
| 15:21:23 | → | jumper149 joins (~jumper149@base.felixspringer.xyz) |
| 15:21:57 | → | kurbus joins (~kurbus@user/kurbus) |
| 15:22:39 | × | danza quits (~francesco@151.35.84.26) (Read error: Connection reset by peer) |
| 15:23:49 | × | bhall quits (~brunohall@85.255.237.226) (Read error: Connection reset by peer) |
| 15:24:03 | → | bhall joins (~brunohall@195.147.207.136) |
| 15:30:21 | × | tabemann quits (~travisb@2600:1700:7990:24e0:2fdf:3485:b82a:4a06) (Quit: Leaving) |
| 15:31:57 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) |
| 15:33:47 | → | foul_owl joins (~kerry@157.97.134.60) |
| 15:36:30 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) (Ping timeout: 260 seconds) |
| 15:37:02 | <azure_vermilion> | I had ghc installed with chocolatey then I downloaded ghcup to get ghc (again)/HLS/cabal etc. but HLS is not working, I click apply Hint in VS Code and it just sits there saying 'applying hint: blah blah' forever, can anyone help? |
| 15:37:42 | → | Midjak2 joins (~Midjak@82.66.147.146) |
| 15:38:36 | → | danza joins (~francesco@151.35.199.157) |
| 15:38:42 | → | AlexNoo joins (~AlexNoo@178.34.160.79) |
| 15:39:06 | → | AlexZenon joins (~alzenon@178.34.160.79) |
| 15:45:16 | <azure_vermilion> | also HLS appears not to find System.Random |
| 15:48:00 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:fbd9:bb70:ff03:7d95) (Quit: WeeChat 2.8) |
| 15:52:41 | → | ratapaca joins (~ratapaca@98.40.240.33) |
| 15:54:27 | → | hounded joins (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) |
| 15:54:30 | → | hounded_woodstoc joins (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) |
| 15:55:17 | × | kurbus quits (~kurbus@user/kurbus) (Quit: Client closed) |
| 15:56:16 | → | oldfashionedcow joins (~Rahul_San@user/oldfashionedcow) |
| 15:58:56 | → | kurbus joins (~kurbus@user/kurbus) |
| 15:59:16 | × | danza quits (~francesco@151.35.199.157) (Ping timeout: 268 seconds) |
| 15:59:35 | × | ratapaca quits (~ratapaca@98.40.240.33) (Quit: Leaving) |
| 16:01:36 | × | thongpv quits (~thongpv87@123.28.243.28) (Ping timeout: 248 seconds) |
| 16:03:12 | <mastarija> | Does anyone know how to use nix to build documentation for a list of haskell modules? |
| 16:03:23 | L29Ah | is now known as L29Ah[x] |
| 16:04:19 | <mastarija> | Right now I can build things individuall, e.g. only for aeson using the haskellPackages.aeson.doc, but I want to have collective docs for all of the modules I use in my project. |
| 16:04:40 | <mastarija> | E.g. [aeson, transformers, ...].doc |
| 16:07:50 | <mastarija> | I'd like to get documentation that can link to another module. |
| 16:08:25 | <mastarija> | When I click in `aeson` docs on something from `transformers` it'll lead me to the transformers documentation page. |
| 16:08:30 | × | kurbus quits (~kurbus@user/kurbus) (Quit: Client closed) |
| 16:08:49 | → | kurbus joins (~kurbus@user/kurbus) |
| 16:13:54 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 16:18:19 | → | troydm joins (~troydm@user/troydm) |
| 16:18:21 | → | mikoto-chan joins (~mikoto-ch@2001:999:780:2e68:ee5b:40a6:f4a:68b1) |
| 16:20:27 | × | CiaoSen quits (~Jura@p200300c9573284002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 16:20:29 | → | beteigeuze joins (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 16:28:40 | → | hellwolf[m] joins (~hellwolfm@2001:470:69fc:105::3:6a4) |
| 16:30:55 | × | Adran quits (~adran@botters/adran) (Quit: Este é o fim.) |
| 16:32:18 | → | Adran joins (~adran@botters/adran) |
| 16:33:06 | <mastarija> | Basically, how can I build collective documentation for multiple projects in my repository using nix? |
| 16:36:49 | <azure_vermilion> | aha, System.Random was only installed for the chocolatey ghc 9.2.1 but now i cabal installed it for 9.2.5 |
| 16:37:23 | <azure_vermilion> | so now HLS typechecks programs correctly but still doesn't Apply Hints |
| 16:37:47 | <jumper149> | mastarija: Not quite sure if that answers your question, but do you know about `shellFor` with `withHoogle = true`? |
| 16:38:14 | <mastarija> | yes |
| 16:38:24 | <mastarija> | But I kind of want to get this as a separate build result |
| 16:38:38 | <mastarija> | So that I can copy this docs folder and host it on my server |
| 16:39:29 | hellwolf[m] | is now known as Miao[m] |
| 16:41:35 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 264 seconds) |
| 16:43:14 | × | freeside_ quits (~mengwong@103.252.202.170) (Ping timeout: 260 seconds) |
| 16:43:59 | × | nschoe quits (~q@141.101.51.197) (Ping timeout: 264 seconds) |
| 16:44:29 | → | freeside joins (~mengwong@103.252.202.170) |
| 16:46:08 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 16:48:25 | × | MajorBiscuit quits (~MajorBisc@145.94.153.3) (Ping timeout: 252 seconds) |
| 16:48:40 | → | _leo___ joins (~emmanuelu@user/emmanuelux) |
| 16:49:13 | × | freeside quits (~mengwong@103.252.202.170) (Ping timeout: 268 seconds) |
| 16:50:13 | → | freeside joins (~mengwong@103.252.202.170) |
| 16:51:43 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Ping timeout: 252 seconds) |
| 16:53:07 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 3.8) |
| 16:53:57 | bah_ | is now known as bah |
| 16:53:58 | → | gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 16:55:01 | × | freeside quits (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 16:55:29 | → | freeside joins (~mengwong@103.252.202.170) |
| 16:59:50 | × | AlexZenon quits (~alzenon@178.34.160.79) (Quit: ;-) |
| 16:59:53 | × | AlexNoo quits (~AlexNoo@178.34.160.79) (Quit: Leaving) |
| 17:01:03 | → | danza joins (~francesco@151.35.199.157) |
| 17:02:23 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Read error: Connection reset by peer) |
| 17:03:30 | → | larrythecow joins (~Rahul_San@user/oldfashionedcow) |
| 17:04:11 | oldfashionedcow | is now known as Guest5553 |
| 17:04:11 | × | Guest5553 quits (~Rahul_San@user/oldfashionedcow) (Killed (osmium.libera.chat (Nickname regained by services))) |
| 17:04:11 | larrythecow | is now known as oldfashionedcow |
| 17:06:34 | × | danza quits (~francesco@151.35.199.157) (Ping timeout: 252 seconds) |
| 17:10:20 | → | ddellacosta joins (~ddellacos@146.70.165.10) |
| 17:16:23 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 3.8) |
| 17:17:20 | × | patrl quits (~patrl@user/patrl) (Quit: WeeChat 3.8) |
| 17:17:36 | → | Tuplanolla joins (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) |
| 17:17:40 | → | patrl joins (~patrl@user/patrl) |
| 17:19:59 | × | ddellacosta quits (~ddellacos@146.70.165.10) (Ping timeout: 260 seconds) |
| 17:20:47 | × | ephemient quits (uid407513@id-407513.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 17:20:50 | → | AlexZenon joins (~alzenon@178.34.160.79) |
| 17:20:54 | → | AlexNoo joins (~AlexNoo@178.34.160.79) |
| 17:21:42 | → | theproffesor joins (~theproffe@user/theproffesor) |
| 17:22:29 | × | mikoto-chan quits (~mikoto-ch@2001:999:780:2e68:ee5b:40a6:f4a:68b1) (Ping timeout: 252 seconds) |
| 17:23:33 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 17:25:12 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 17:26:19 | → | Alex_test joins (~al_test@178.34.160.79) |
| 17:28:53 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 255 seconds) |
| 17:29:25 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 17:29:43 | × | zeenk quits (~zeenk@2a02:2f04:a214:1e00::7fe) (Quit: Konversation terminated!) |
| 17:30:00 | → | `2jt joins (~jtomas@84.78.228.192) |
| 17:31:12 | <mastarija> | How can I use hackage to generate documentation for all of my haskell packages in my project? |
| 17:31:26 | <mastarija> | Something like small "hackage" for my local packages. |
| 17:32:10 | × | Hammdist quits (~Hammdist@67.169.114.135) (Quit: Client closed) |
| 17:32:29 | <[exa]> | mastarija: there was something like a local hoogle |
| 17:32:54 | <mastarija> | Yes, but I want just static files. |
| 17:33:24 | <mastarija> | Index that can be easily browseable. |
| 17:37:10 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) |
| 17:37:21 | → | angelore joins (~u0_a291@5.46.128.163) |
| 17:41:01 | × | angelore quits (~u0_a291@5.46.128.163) (Client Quit) |
| 17:41:50 | × | Cale quits (~cale@cpebc4dfb3052b3-cmbc4dfb3052b0.cpe.net.cable.rogers.com) (Read error: Connection reset by peer) |
| 17:45:31 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 17:49:03 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 17:50:38 | × | kenaryn quits (~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving) |
| 17:51:56 | × | patrl quits (~patrl@user/patrl) (Ping timeout: 246 seconds) |
| 17:52:05 | × | mastarija quits (~mastarija@2a05:4f46:e03:6000:8e09:9c71:64ab:3f22) (Quit: WeeChat 3.7.1) |
| 17:54:52 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:54:54 | → | mikoto-chan joins (~mikoto-ch@2001:999:481:25df:7f9d:3484:b9a2:a47a) |
| 17:56:53 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 17:59:15 | → | Cale joins (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) |
| 18:00:13 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 18:04:51 | → | econo joins (uid147250@user/econo) |
| 18:05:34 | × | kurbus quits (~kurbus@user/kurbus) (Quit: Client closed) |
| 18:05:41 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 268 seconds) |
| 18:08:09 | → | kurbus joins (~kurbus@user/kurbus) |
| 18:10:31 | × | merijn quits (~merijn@145.90.225.11) (Ping timeout: 252 seconds) |
| 18:13:43 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 18:23:29 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 18:24:48 | → | gmg joins (~user@user/gehmehgeh) |
| 18:26:41 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 18:29:09 | → | varoo joins (~varoo@117.203.246.41) |
| 18:30:02 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:32:40 | × | oldfashionedcow quits (~Rahul_San@user/oldfashionedcow) (Quit: WeeChat 3.8) |
| 18:34:50 | → | oldfashionedcow joins (~Rahul_San@user/oldfashionedcow) |
| 18:36:34 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) (Remote host closed the connection) |
| 18:36:57 | → | merijn joins (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 18:37:58 | → | kurbus17 joins (~kurbus@user/kurbus) |
| 18:39:05 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 260 seconds) |
| 18:40:01 | × | kurbus17 quits (~kurbus@user/kurbus) (Client Quit) |
| 18:40:13 | → | kurbus34 joins (~kurbus@user/kurbus) |
| 18:41:01 | kurbus | is now known as Guest632 |
| 18:41:01 | kurbus34 | is now known as kurbus |
| 18:41:35 | → | Guest3786 joins (~Guest37@110.235.233.6) |
| 18:41:53 | × | Guest632 quits (~kurbus@user/kurbus) (Ping timeout: 260 seconds) |
| 18:42:47 | × | Guest3786 quits (~Guest37@110.235.233.6) (Client Quit) |
| 18:42:48 | × | tomku quits (~tomku@user/tomku) (Read error: Connection reset by peer) |
| 18:45:50 | → | zer0bitz_ joins (~zer0bitz@2001:2003:f443:d600:a1e9:a56d:3ad4:e9d3) |
| 18:45:55 | × | zer0bitz_ quits (~zer0bitz@2001:2003:f443:d600:a1e9:a56d:3ad4:e9d3) (Read error: Connection reset by peer) |
| 18:45:57 | → | AlexNoo_ joins (~AlexNoo@178.34.160.79) |
| 18:46:09 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 18:46:10 | × | kurbus quits (~kurbus@user/kurbus) (Quit: Client closed) |
| 18:47:00 | → | kurbus joins (~kurbus@user/kurbus) |
| 18:47:22 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) |
| 18:47:50 | × | AlexNoo quits (~AlexNoo@178.34.160.79) (Read error: Connection reset by peer) |
| 18:47:59 | → | tomku joins (~tomku@user/tomku) |
| 18:49:04 | × | _leo___ quits (~emmanuelu@user/emmanuelux) (Ping timeout: 248 seconds) |
| 18:49:04 | × | zer0bitz quits (~zer0bitz@2001:2003:f443:d600:9164:2543:12c5:e53e) (Ping timeout: 248 seconds) |
| 18:49:36 | AlexNoo_ | is now known as AlexNoo |
| 18:49:46 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 18:51:20 | × | cyphase quits (~cyphase@user/cyphase) (Quit: cyphase.com) |
| 18:51:35 | → | codolio joins (~dolio@130.44.134.54) |
| 18:52:38 | → | cyphase joins (~cyphase@user/cyphase) |
| 18:53:05 | → | tremon joins (~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl) |
| 18:53:05 | × | dolio quits (~dolio@130.44.134.54) (Ping timeout: 260 seconds) |
| 18:53:11 | → | enthropy joins (~enthropy@66.7.90.250) |
| 18:53:52 | → | zer0bitz joins (~zer0bitz@2001:2003:f443:d600:d5e7:46b7:b251:b47a) |
| 18:57:58 | → | VictorHugenay joins (~jh@user/VictorHugenay) |
| 19:01:37 | → | use-value1 joins (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 19:02:51 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 19:03:10 | × | use-value quits (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Ping timeout: 252 seconds) |
| 19:03:10 | use-value1 | is now known as use-value |
| 19:04:19 | × | beteigeuze quits (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Quit: beteigeuze) |
| 19:04:57 | → | beteigeuze joins (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 19:06:07 | <sclv> | `cabal haddock` |
| 19:07:04 | → | wrengr joins (~wrengr@201.59.83.34.bc.googleusercontent.com) |
| 19:07:21 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 268 seconds) |
| 19:07:32 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) (Remote host closed the connection) |
| 19:09:13 | × | beteigeuze quits (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 252 seconds) |
| 19:10:26 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 19:11:02 | × | merijn quits (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds) |
| 19:13:45 | → | ardell joins (~ardell@user/ardell) |
| 19:25:15 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:27:14 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:29:04 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 19:33:08 | → | Guest|65 joins (~Guest|65@188.243.89.179) |
| 19:33:31 | × | Guest|65 quits (~Guest|65@188.243.89.179) (Client Quit) |
| 19:34:53 | × | bhall quits (~brunohall@195.147.207.136) (Ping timeout: 246 seconds) |
| 19:37:52 | → | beteigeuze joins (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) |
| 19:38:15 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:47:06 | → | varoo_ joins (~varoo@117.203.246.41) |
| 19:47:12 | × | varoo quits (~varoo@117.203.246.41) (Ping timeout: 248 seconds) |
| 19:49:56 | × | Xeroine quits (~Xeroine@user/xeroine) (Ping timeout: 246 seconds) |
| 19:50:59 | × | beteigeuze quits (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Ping timeout: 252 seconds) |
| 19:52:09 | → | Xeroine joins (~Xeroine@user/xeroine) |
| 19:57:13 | × | kurbus quits (~kurbus@user/kurbus) (Quit: Client closed) |
| 20:02:21 | × | trev quits (~trev@user/trev) (Remote host closed the connection) |
| 20:03:11 | → | mei joins (~mei@user/mei) |
| 20:05:17 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 20:07:10 | × | `2jt quits (~jtomas@84.78.228.192) (Ping timeout: 260 seconds) |
| 20:08:01 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) |
| 20:11:21 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 20:12:22 | → | kjak joins (~kjak@pool-72-66-75-40.washdc.fios.verizon.net) |
| 20:12:27 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) (Ping timeout: 248 seconds) |
| 20:14:07 | × | varoo_ quits (~varoo@117.203.246.41) (Ping timeout: 252 seconds) |
| 20:14:08 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 20:14:51 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 20:15:12 | → | beteigeuze joins (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) |
| 20:17:44 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 20:19:05 | → | bhall joins (~brunohall@195.147.207.136) |
| 20:19:21 | × | son0p quits (~ff@181.136.122.143) (Remote host closed the connection) |
| 20:21:44 | × | ardell quits (~ardell@user/ardell) (Quit: Konversation terminated!) |
| 20:22:14 | → | son0p joins (~ff@181.136.122.143) |
| 20:25:43 | × | zmt01 quits (~zmt00@user/zmt00) (Quit: Leaving) |
| 20:27:12 | ← | jadey[m] parts (~jade1024m@2001:470:69fc:105::2:d68a) () |
| 20:27:22 | → | zmt00 joins (~zmt00@user/zmt00) |
| 20:30:11 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) |
| 20:35:26 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) (Remote host closed the connection) |
| 20:41:11 | → | thongpv joins (~thongpv87@123.28.243.28) |
| 20:52:01 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:52:50 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 20:56:16 | → | mastarija joins (~mastarija@2a05:4f46:e03:6000:8e09:9c71:64ab:3f22) |
| 21:04:48 | → | `2jt joins (~jtomas@84.78.228.192) |
| 21:07:37 | → | merijn joins (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 21:09:21 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 21:10:10 | × | remedan quits (~remedan@ip-94-112-0-18.bb.vodafone.cz) (Ping timeout: 260 seconds) |
| 21:14:20 | → | remedan joins (~remedan@ip-94-112-0-18.bb.vodafone.cz) |
| 21:26:19 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 252 seconds) |
| 21:26:23 | × | mikoto-chan quits (~mikoto-ch@2001:999:481:25df:7f9d:3484:b9a2:a47a) (Ping timeout: 248 seconds) |
| 21:26:50 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:29:01 | → | aisa joins (~aisa@user/aisa) |
| 21:30:21 | × | thongpv quits (~thongpv87@123.28.243.28) (Ping timeout: 252 seconds) |
| 21:33:29 | <aisa> | I remember having read a paper about an EDSL that lets you describe 2d diagrams using bounding boxes, a couple years ago. the only thing I can find online right now however is the diagrams package, which uses a more general approach using envelopes, I think. has anybody an idea what paper I'm looking for? |
| 21:35:55 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 21:38:48 | → | ft joins (~ft@p4fc2a257.dip0.t-ipconnect.de) |
| 21:40:15 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 21:41:25 | × | avicenzi quits (~avicenzi@2a00:ca8:a1f:b004::c32) (Ping timeout: 265 seconds) |
| 21:41:35 | × | merijn quits (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 21:45:17 | <jackdk> | Closest I know of is http://ozark.hendrix.edu/~yorgey/pub/monoid-pearl.pdf but it's still using envelopes |
| 21:46:18 | <aisa> | yes, this is what I've also found. it's probably it, and I'm just misremembering :-) |
| 21:46:31 | → | ham joins (~ham@user/ham) |
| 21:47:40 | → | Goodbye_Vincent5 joins (cyvahl@198.244.205.143) |
| 21:48:18 | → | witcher_ joins (~witcher@wiredspace.de) |
| 21:48:45 | → | ddellacosta joins (~ddellacos@143.244.47.74) |
| 21:48:46 | → | acro_ joins (~acro@user/acro) |
| 21:48:52 | → | jmd_ joins (~jmdaemon@user/jmdaemon) |
| 21:49:01 | → | hnOsmium0001_ joins (uid453710@user/hnOsmium0001) |
| 21:49:13 | → | Yumemi_ joins (~Yumemi@chamoin.net) |
| 21:50:28 | → | bonz060 joins (~quassel@2001:bc8:47a4:a23::1) |
| 21:50:47 | → | kaol_ joins (~kaol@94-237-42-30.nl-ams1.upcloud.host) |
| 21:50:57 | → | aku_ joins (~aku@163.172.137.34) |
| 21:51:05 | → | sshine_ joins (~simon@exocortex.online) |
| 21:51:18 | → | kronicma1 joins (user63668@neotame.csclub.uwaterloo.ca) |
| 21:51:27 | → | mewra joins (~aranea@wireguard/contributorcat/mira) |
| 21:51:28 | × | enthropy quits (~enthropy@66.7.90.250) (Ping timeout: 260 seconds) |
| 21:51:30 | → | jjhoo_ joins (~jahakala@user/jjhoo) |
| 21:52:24 | → | hexeme_ joins (~hexeme@user/hexeme) |
| 21:53:57 | × | witcher quits (~witcher@wiredspace.de) (Killed (tantalum.libera.chat (Nickname regained by services))) |
| 21:53:57 | witcher_ | is now known as witcher |
| 21:56:28 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (*.net *.split) |
| 21:56:28 | × | tureba quits (tureba@tureba.org) (*.net *.split) |
| 21:56:28 | × | jjhoo quits (jahakala@user/jjhoo) (*.net *.split) |
| 21:56:28 | × | ham2 quits (~ham@user/ham) (*.net *.split) |
| 21:56:28 | × | Clinton[m] quits (~clintonme@2001:470:69fc:105::2:31d4) (*.net *.split) |
| 21:56:28 | × | wildsebastian quits (~wildsebas@2001:470:69fc:105::1:14b1) (*.net *.split) |
| 21:56:28 | × | kronicmage quits (user37946@neotame.csclub.uwaterloo.ca) (*.net *.split) |
| 21:56:28 | × | FurudeRika[m] quits (~chitandae@user/FurudeRika) (*.net *.split) |
| 21:56:28 | × | APic quits (apic@apic.name) (*.net *.split) |
| 21:56:28 | × | aaronv quits (~aaronv@user/aaronv) (*.net *.split) |
| 21:56:28 | × | hnOsmium0001 quits (uid453710@user/hnOsmium0001) (*.net *.split) |
| 21:56:28 | × | eldritchcookie[4 quits (~eldritchc@2001:470:69fc:105::2:d53c) (*.net *.split) |
| 21:56:28 | × | vladan[m] quits (~vladanmat@2001:470:69fc:105::2:24df) (*.net *.split) |
| 21:56:28 | × | Tisoxin quits (~ikosit@user/ikosit) (*.net *.split) |
| 21:56:28 | × | SeanKing[m] quits (~seankingm@2001:470:69fc:105::cf9c) (*.net *.split) |
| 21:56:28 | × | MangoIV[m] quits (~mangoivma@2001:470:69fc:105::2:8417) (*.net *.split) |
| 21:56:28 | × | tiziodcaio quits (~tiziodcai@2001:470:69fc:105::1:2bf8) (*.net *.split) |
| 21:56:28 | × | bonz060_ quits (~quassel@2001:bc8:47a4:a23::1) (*.net *.split) |
| 21:56:28 | × | kaol quits (~kaol@94-237-42-30.nl-ams1.upcloud.host) (*.net *.split) |
| 21:56:28 | × | hexeme quits (~hexeme@user/hexeme) (*.net *.split) |
| 21:56:28 | × | acro quits (~acro@user/acro) (*.net *.split) |
| 21:56:28 | × | Yumemi quits (~Yumemi@chamoin.net) (*.net *.split) |
| 21:56:28 | × | sshine quits (~simon@exocortex.online) (*.net *.split) |
| 21:56:28 | × | mira quits (~aranea@wireguard/contributorcat/mira) (*.net *.split) |
| 21:56:28 | × | Goodbye_Vincent quits (cyvahl@freakshells.net) (*.net *.split) |
| 21:56:28 | × | aku quits (~aku@163.172.137.34) (*.net *.split) |
| 21:56:28 | acro_ | is now known as acro |
| 21:56:29 | Goodbye_Vincent5 | is now known as Goodbye_Vincent |
| 21:56:32 | hnOsmium0001_ | is now known as hnOsmium0001 |
| 22:01:32 | × | michalz quits (~michalz@185.246.207.203) (Remote host closed the connection) |
| 22:02:32 | → | eldritchcookie[4 joins (~eldritchc@2001:470:69fc:105::2:d53c) |
| 22:02:39 | → | APic joins (apic@apic.name) |
| 22:02:57 | → | SeanKing[m] joins (~seankingm@2001:470:69fc:105::cf9c) |
| 22:03:04 | → | aaronv joins (~aaronv@user/aaronv) |
| 22:03:08 | mewra | is now known as mira |
| 22:03:14 | → | vladan[m] joins (~vladanmat@2001:470:69fc:105::2:24df) |
| 22:03:16 | → | tureba joins (~tureba@tureba.org) |
| 22:04:03 | × | akegalj quits (~akegalj@89-164-120-47.dsl.iskon.hr) (Quit: leaving) |
| 22:04:20 | → | MangoIV[m] joins (~mangoivma@2001:470:69fc:105::2:8417) |
| 22:04:51 | → | Clinton[m] joins (~clintonme@2001:470:69fc:105::2:31d4) |
| 22:04:56 | → | Tisoxin joins (~ikosit@user/ikosit) |
| 22:06:09 | → | wildsebastian joins (~wildsebas@2001:470:69fc:105::1:14b1) |
| 22:06:44 | → | tiziodcaio joins (~tiziodcai@2001:470:69fc:105::1:2bf8) |
| 22:06:55 | → | FurudeRika[m] joins (~chitandae@2001:470:69fc:105::1:6039) |
| 22:10:26 | → | ubert joins (~Thunderbi@p200300ecdf13014baa7aa80fc49c1df5.dip0.t-ipconnect.de) |
| 22:11:12 | × | 048AAGWNU quits (~Thunderbi@p200300ecdf13016caa4d3467f4e30a23.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 22:16:50 | <mastarija> | Are there any other utilities like packunused that are up to date? |
| 22:16:54 | <mastarija> | https://hackage.haskell.org/package/packunused |
| 22:16:55 | × | troydm quits (~troydm@user/troydm) (Ping timeout: 252 seconds) |
| 22:17:44 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 22:18:09 | × | Midjak2 quits (~Midjak@82.66.147.146) (Quit: Leaving) |
| 22:18:23 | × | oldsk00l quits (~znc@ec2-18-133-247-9.eu-west-2.compute.amazonaws.com) (Ping timeout: 252 seconds) |
| 22:19:18 | → | Midjak joins (~Midjak@82.66.147.146) |
| 22:19:20 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 246 seconds) |
| 22:24:25 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 22:26:45 | → | mei joins (~mei@user/mei) |
| 22:26:59 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 22:27:10 | <jackdk> | mastarija: https://downloads.haskell.org/ghc/latest/docs/users_guide/using-warnings.html#ghc-flag--Wunused-packages ? |
| 22:27:52 | <mastarija> | Doesn't that require a build? |
| 22:28:34 | <jackdk> | Sure, but that wasn't part of your original question. Still handy for development if you don't use common stanzas for deps |
| 22:28:35 | <mastarija> | And I think it doesn't even report the file in which the dependency is specified. |
| 22:29:04 | → | nehsou^ joins (~nehsou@c-24-30-76-89.hsd1.ga.comcast.net) |
| 22:29:08 | <jackdk> | I don't know of anything better, sorry. I remember hearing about a tool called "weeder", no idea if it's up to date. |
| 22:29:20 | <mastarija> | I think that's for dead code elimination |
| 22:30:03 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 22:30:26 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 22:30:48 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Remote host closed the connection) |
| 22:31:56 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:31:57 | × | mastarija quits (~mastarija@2a05:4f46:e03:6000:8e09:9c71:64ab:3f22) (Quit: WeeChat 3.7.1) |
| 22:39:15 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 22:41:21 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 22:42:50 | × | Midjak quits (~Midjak@82.66.147.146) (Quit: Leaving) |
| 22:44:35 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 22:49:51 | × | Square quits (~a@user/square) (Quit: ZNC 1.6.3+deb1 - http://znc.in) |
| 22:49:59 | × | jumper149 quits (~jumper149@base.felixspringer.xyz) (Quit: WeeChat 3.8) |
| 22:52:31 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 22:55:46 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 22:56:35 | → | codaraxis joins (~codaraxis@user/codaraxis) |
| 23:04:50 | → | Midjak joins (~Midjak@82.66.147.146) |
| 23:06:47 | × | AlexZenon quits (~alzenon@178.34.160.79) (Ping timeout: 252 seconds) |
| 23:06:50 | × | Alex_test quits (~al_test@178.34.160.79) (Ping timeout: 260 seconds) |
| 23:07:04 | × | AlexNoo quits (~AlexNoo@178.34.160.79) (Ping timeout: 260 seconds) |
| 23:13:56 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 23:17:51 | → | slack1256 joins (~slack1256@186.11.59.217) |
| 23:18:55 | × | freeside quits (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 23:20:31 | × | xeelad quits (~xeelad@151.202.46.37) (Remote host closed the connection) |
| 23:21:20 | × | VictorHugenay quits (~jh@user/VictorHugenay) (Quit: Konversation terminated!) |
| 23:21:25 | → | xeelad joins (~xeelad@pool-151-202-46-37.nycmny.fios.verizon.net) |
| 23:22:03 | × | xeelad quits (~xeelad@pool-151-202-46-37.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 23:22:35 | → | xeelad joins (~xeelad@pool-151-202-46-37.nycmny.fios.verizon.net) |
| 23:23:04 | → | freeside joins (~mengwong@103.252.202.170) |
| 23:24:01 | oldfashionedcow | is now known as oldfashionedrat |
| 23:24:35 | × | xeelad quits (~xeelad@pool-151-202-46-37.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 23:24:55 | → | xeelad joins (~xeelad@pool-151-202-46-37.nycmny.fios.verizon.net) |
| 23:25:20 | → | AlexNoo joins (~AlexNoo@178.34.160.79) |
| 23:26:26 | → | AlexZenon joins (~alzenon@178.34.160.79) |
| 23:28:19 | × | tremon quits (~tremon@83-85-213-108.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 23:28:42 | → | Alex_test joins (~al_test@178.34.160.79) |
| 23:32:47 | × | AlexZenon quits (~alzenon@178.34.160.79) (Ping timeout: 248 seconds) |
| 23:33:11 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 252 seconds) |
| 23:33:19 | × | Alex_test quits (~al_test@178.34.160.79) (Ping timeout: 260 seconds) |
| 23:35:27 | → | mechap joins (~mechap@user/mechap) |
| 23:36:59 | → | Alex_test joins (~al_test@178.34.160.79) |
| 23:37:20 | → | AlexZenon joins (~alzenon@178.34.160.79) |
| 23:37:41 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 23:41:51 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 23:47:10 | → | patrl joins (~patrl@user/patrl) |
| 23:50:30 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:57:11 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 268 seconds) |
All times are in UTC on 2023-02-06.