Home liberachat/#haskell: Logs Calendar

Logs on 2025-12-31 (liberachat/#haskell)

00:01:28 × aetepe quits (~aetepe@188.119.22.20) (Ping timeout: 246 seconds)
00:10:53 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
00:12:36 aetepe joins (~aetepe@188.119.22.20)
00:15:19 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
00:17:25 × aetepe quits (~aetepe@188.119.22.20) (Ping timeout: 264 seconds)
00:21:21 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
00:26:19 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
00:34:17 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds)
00:39:46 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
00:40:57 <gentauro> 19:03 < sm> gentauro, stack is better than ever - wasn't that a problem with haskell-language-server ?
00:41:16 <gentauro> sm: I've just arrived at home after 39c3 so I have been out of the loop
00:41:33 <gentauro> sm: but you say `stack` is the way (as it always have been)?
00:43:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
00:48:30 <EvanR> cabal is great
00:52:05 <int-e> . o O ( there is no Haskell cabal )
00:57:30 <geekosaur> they're equally good, it depends on what approach you prefer: solver, or pre-solved
00:59:16 jmcantrell_ is now known as jmcantrell
01:12:16 omidmash5 joins (~omidmash@user/omidmash)
01:12:20 <haskellbridge> <sm> gentauro I'm just reassuring you re "it seems that "stack" isn't as good as it was before" - no, it's better than ever.
01:13:40 <haskellbridge> <sm> also you linked to an issue about building HLS with GHC 9.10 using stack - that can certainly be done, but it's not automatic, projects have to provide a suitable stack config sometimes
01:14:14 <haskellbridge> <sm> * always going to work with no config - projects have to provide that
01:14:14 × omidmash quits (~omidmash@user/omidmash) (Ping timeout: 265 seconds)
01:14:14 omidmash5 is now known as omidmash
01:14:23 <haskellbridge> <sm> oops, irc #noedit
01:15:19 mvk joins (~mvk@2607:fea8:5c9d:ee00::ca9c)
01:17:23 <haskellbridge> <sm> hls provides a stack.yaml but it needs updating (it uses ghc 9.8)
01:21:26 housemate joins (~housemate@202.7.247.155)
01:22:20 × mvk quits (~mvk@2607:fea8:5c9d:ee00::ca9c) (Quit: Going elsewhere)
01:24:52 × divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer)
01:25:00 divlamir_ joins (~divlamir@user/divlamir)
01:25:52 divlamir_ is now known as divlamir
01:29:02 apache joins (apache2@anubis.0x90.dk)
01:31:29 AntiRembane joins (~Rembane@user/Rembane)
01:31:49 × Rembane quits (~Rembane@user/Rembane) (Ping timeout: 246 seconds)
01:31:49 × apache2 quits (apache2@anubis.0x90.dk) (Ping timeout: 246 seconds)
01:31:49 × vulpine quits (xfnw@user/meow/xfnw) (Ping timeout: 246 seconds)
01:31:49 × ByronJohnson quits (~bairyn@MAIL.DIGITALKINGDOM.ORG) (Ping timeout: 246 seconds)
01:31:50 × malte quits (~malte@mal.tc) (Ping timeout: 246 seconds)
01:31:56 EvanR_ joins (~EvanR@user/evanr)
01:32:07 tired- joins (~tired@user/tired)
01:32:07 × divlamir quits (~divlamir@user/divlamir) (Ping timeout: 246 seconds)
01:32:07 × EvanR quits (~EvanR@user/evanr) (Ping timeout: 246 seconds)
01:32:07 × markasoftware quits (~quassel@2604:180:f2::217) (Ping timeout: 246 seconds)
01:32:19 vulpine joins (xfnw@user/meow/xfnw)
01:32:24 markasoftware joins (~quassel@2604:180:f2::217)
01:32:49 × jj quits (~apropos@node-1w7jr9pqogh9vahu1mvneock5.ipv6.telus.net) (Ping timeout: 246 seconds)
01:32:50 × pie_ quits (~pie_bnc@user/pie/x-2818909) (Ping timeout: 246 seconds)
01:32:50 × tired quits (~tired@user/tired) (Ping timeout: 246 seconds)
01:33:31 × rainbyte_ quits (~rainbyte@186.22.19.214) (Remote host closed the connection)
01:33:54 rainbyte joins (~rainbyte@186.22.19.214)
01:34:12 × ames quits (~amelia@offtopia/offtopian/amelia) (Quit: Ping timeout (120 seconds))
01:34:13 × peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds)
01:34:36 SheRejoined joins (haveident@libera/staff/she/her)
01:34:54 jj joins (~apropos@d154-20-120-135.bchsia.telus.net)
01:35:04 divlamir joins (~divlamir@user/divlamir)
01:35:28 pie_ joins (~pie_bnc@user/pie/x-2818909)
01:35:30 × She quits (haveident@libera/staff/she/her) (Killed (SheRejoined (GIVE ME BACK MY FACE!)))
01:35:30 SheRejoined is now known as She
01:35:55 × Digit quits (~Digit@user/digit) (Read error: Connection reset by peer)
01:35:58 × ridcully quits (~ridcully@pd951fc06.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
01:36:40 × xelxebar quits (~xelxebar@42.203.199.104.bc.googleusercontent.com) (Ping timeout: 246 seconds)
01:36:41 xelxebar_ joins (~xelxebar@42.203.199.104.bc.googleusercontent.com)
01:36:42 itaipu joins (~itaipu@168.121.98.37)
01:36:51 Digitteknohippie joins (~Digit@user/digit)
01:37:01 × Typosit quits (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 246 seconds)
01:37:04 ridcully joins (~ridcully@pd951fc06.dip0.t-ipconnect.de)
01:38:22 malte joins (~malte@mal.tc)
01:38:35 peterbecich joins (~Thunderbi@71.84.33.135)
01:40:47 × Tuplanolla quits (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Quit: Leaving.)
01:43:08 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
01:51:35 × Square2 quits (~Square@user/square) (Ping timeout: 245 seconds)
02:04:50 monochrm joins (trebla@216.138.220.146)
02:05:04 × itaipu quits (~itaipu@168.121.98.37) (Ping timeout: 244 seconds)
02:06:33 tjbc_ joins (~tjbc@user/fliife)
02:06:39 vetkat1 joins (~vetkat@user/vetkat)
02:06:45 × mulk quits (~mulk@pd95143a6.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
02:06:46 × tomku quits (~tomku@user/tomku) (Ping timeout: 240 seconds)
02:06:46 × thaumavorio quits (~thaumavor@thaumavor.io) (Ping timeout: 240 seconds)
02:06:46 × swistak quits (~swistak@185.21.216.141) (Ping timeout: 240 seconds)
02:06:46 × finsternis quits (~X@23.226.237.192) (Ping timeout: 240 seconds)
02:06:46 × vetkat quits (~vetkat@user/vetkat) (Ping timeout: 240 seconds)
02:06:46 × red-snail quits (~red-snail@static.151.210.203.116.clients.your-server.de) (Ping timeout: 240 seconds)
02:06:46 × sprout quits (~sprout@84-80-106-227.fixed.kpn.net) (Ping timeout: 240 seconds)
02:06:47 vetkat1 is now known as vetkat
02:07:12 finsternis joins (~X@23.226.237.192)
02:07:15 × monochrom quits (trebla@216.138.220.146) (Ping timeout: 240 seconds)
02:07:15 × pointlessslippe1 quits (~pointless@62.106.85.17) (Ping timeout: 240 seconds)
02:07:15 monochrm is now known as monochrom
02:07:16 × haetsal quits (~quassel@221.138.168.192) (Quit: No Ping reply in 180 seconds.)
02:07:24 × tjbc quits (~tjbc@user/fliife) (Read error: Connection reset by peer)
02:07:52 red-snail joins (~red-snail@static.151.210.203.116.clients.your-server.de)
02:08:15 × Inline quits (~User@cgn-195-14-221-74.nc.de) (Ping timeout: 240 seconds)
02:08:19 tomku joins (~tomku@user/tomku)
02:08:20 thaumavorio joins (~thaumavor@thaumavor.io)
02:08:30 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
02:08:45 mulk joins (~mulk@pd95143a6.dip0.t-ipconnect.de)
02:09:06 × enikar quits (~enikar@user/enikar) (*.net *.split)
02:09:06 × elenril quits (~elenril@tutturu.khirnov.net) (*.net *.split)
02:09:12 pointlessslippe1 joins (~pointless@62.106.85.17)
02:09:55 × ystael quits (~ystael@user/ystael) (Ping timeout: 264 seconds)
02:10:05 Inline joins (~User@cgn-195-14-221-74.nc.de)
02:10:07 enikar joins (~enikar@user/enikar)
02:10:07 elenril joins (~elenril@tutturu.khirnov.net)
02:13:41 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
02:15:32 sympt joins (~sympt@user/sympt)
02:19:26 itaipu joins (~itaipu@168.121.98.37)
02:25:43 × jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds)
02:26:53 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
02:27:47 jmcantrell_ joins (~weechat@user/jmcantrell)
02:28:48 Digitteknohippie is now known as Digit
02:31:16 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
02:33:24 × olivial quits (~benjaminl@user/benjaminl) (Ping timeout: 260 seconds)
02:42:25 ryanbooker joins (uid4340@id-4340.hampstead.irccloud.com)
02:42:52 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
02:47:20 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
02:48:37 olivial joins (~benjaminl@user/benjaminl)
03:00:57 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
03:05:13 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
03:08:02 myxos joins (~myxos@174-18-25-201.tcso.qwest.net)
03:08:15 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds)
03:17:03 karenw joins (~karenw@user/karenw)
03:18:16 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
03:19:59 × peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds)
03:22:59 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
03:27:58 × sympt quits (~sympt@user/sympt) (Ping timeout: 246 seconds)
03:33:51 × Pozyomka quits (~pyon@user/pyon) (Quit: WeeChat 4.8.1)
03:47:12 × weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!)
03:47:38 weary-traveler joins (~user@user/user363627)
03:48:13 jmcantrell_ is now known as jmcantrell
03:55:05 lbseale joins (~quassel@user/ep1ctetus)
04:06:37 aman joins (~aman@user/aman)
04:17:10 ames joins (~amelia@offtopia/offtopian/amelia)
04:22:46 peterbecich joins (~Thunderbi@71.84.33.135)
04:24:06 × img quits (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in)
04:25:20 img joins (~img@user/img)
04:29:45 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
04:31:27 weary-traveler joins (~user@user/user363627)
04:33:01 × karenw quits (~karenw@user/karenw) (Quit: Deep into that darkness peering...)
04:44:39 myxokephale joins (~myxos@174-18-25-201.tcso.qwest.net)
04:46:33 emergence1 joins (emergence@vm0.max-p.me)
04:46:36 × myxos quits (~myxos@174-18-25-201.tcso.qwest.net) (Read error: Connection reset by peer)
04:46:51 × raym quits (~ray@user/raym) (Ping timeout: 240 seconds)
04:46:51 × cyphase quits (~cyphase@user/cyphase) (Ping timeout: 240 seconds)
04:46:51 × aman quits (~aman@user/aman) (Ping timeout: 240 seconds)
04:46:59 × emergence quits (emergence@vm0.max-p.me) (Ping timeout: 240 seconds)
04:46:59 × hiredman quits (~hiredman@frontier1.downey.family) (Ping timeout: 240 seconds)
04:46:59 × jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds)
04:46:59 emergence1 is now known as emergence
04:46:59 × tabaqui quits (~tabaqui@167.71.80.236) (Ping timeout: 240 seconds)
04:47:08 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
04:48:09 raym joins (~ray@user/raym)
04:50:11 jmcantrell_ joins (~weechat@user/jmcantrell)
04:50:20 aman joins (~aman@user/aman)
04:53:32 cyphase joins (~cyphase@user/cyphase)
04:53:43 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
05:00:33 hiredman joins (~hiredman@frontier1.downey.family)
05:00:53 tabaqui joins (~tabaqui@167.71.80.236)
05:01:15 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
05:05:57 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
05:12:10 × ryanbooker quits (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
05:17:43 × marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Ping timeout: 252 seconds)
05:19:51 aetepe joins (~aetepe@188.119.22.20)
05:21:31 marinelli joins (~weechat@gateway/tor-sasl/marinelli)
05:28:55 EvanR_ is now known as EvanR
05:42:43 × machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 246 seconds)
05:45:54 caz joins (866183745f@2a03:6000:1812:100::15d4)
05:56:28 × lbseale quits (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
05:57:11 lbseale joins (~quassel@user/ep1ctetus)
06:21:55 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
06:30:12 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
06:30:24 × jmcantrell_ quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.8.1)
06:34:52 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
06:46:20 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
06:50:37 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
06:59:21 × ft quits (~ft@p508dbaa4.dip0.t-ipconnect.de) (Quit: leaving)
07:00:20 mmohammadi9812 joins (~mohammad@46.236.253.38)
07:02:15 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
07:06:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
07:13:59 × annamalai quits (~annamalai@157.33.228.123) (Ping timeout: 260 seconds)
07:18:51 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
07:22:02 × mmohammadi9812 quits (~mohammad@46.236.253.38) (Remote host closed the connection)
07:23:19 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
07:23:55 annamalai joins (~annamalai@157.33.228.123)
07:26:03 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds)
07:28:05 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
07:32:34 × housemate quits (~housemate@202.7.247.155) (Quit: I am over the moon, although it is day time so I am probably on the other side of the world, and upside down which would make me the right way up.)
07:36:06 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
07:36:37 × driib3180 quits (~driib@vmi931078.contaboserver.net) (Ping timeout: 264 seconds)
07:43:08 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
07:47:16 ft joins (~ft@p508dbaa4.dip0.t-ipconnect.de)
07:50:20 × itaipu quits (~itaipu@168.121.98.37) (Ping timeout: 245 seconds)
07:53:55 × marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Ping timeout: 252 seconds)
07:54:24 vanishingideal joins (~vanishing@user/vanishingideal)
07:55:47 marinelli joins (~weechat@gateway/tor-sasl/marinelli)
08:00:30 driib3180 joins (~driib@vmi931078.contaboserver.net)
08:03:15 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
08:05:09 wickedjargon joins (~user@64.114.24.74)
08:07:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
08:28:25 × driib3180 quits (~driib@vmi931078.contaboserver.net) (Quit: Ping timeout (120 seconds))
08:29:02 driib3180 joins (~driib@vmi931078.contaboserver.net)
08:49:45 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
08:53:43 × wickedjargon quits (~user@64.114.24.74) (Ping timeout: 264 seconds)
08:56:07 CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db)
09:04:16 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
09:06:46 housemate joins (~housemate@202.7.247.155)
09:08:52 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
09:16:34 × peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds)
09:20:41 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
09:24:58 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
09:36:36 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
09:38:16 × CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds)
09:40:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
09:44:40 Brumaire joins (~no@94.140.114.73)
09:51:50 mmohammadi9812 joins (~mohammad@104.28.214.168)
09:52:19 × Brumaire quits (~no@94.140.114.73) (Ping timeout: 256 seconds)
09:54:10 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
09:58:34 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
10:05:15 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
10:08:10 Lycurgus joins (~juan@user/Lycurgus)
10:11:35 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
10:13:00 astra is now known as amish
10:13:16 × amish quits (sid289983@id-289983.hampstead.irccloud.com) (Changing host)
10:13:16 amish joins (sid289983@user/amish)
10:13:43 amish is now known as astra
10:23:07 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds)
10:24:04 vanishingideal joins (~vanishing@user/vanishingideal)
10:24:26 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
10:28:35 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
10:37:09 Tuplanolla joins (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi)
10:40:55 Pozyomka joins (~pyon@user/pyon)
10:42:10 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
10:46:51 × Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
10:52:49 d34db33f joins (~d34db33f@user/d34db33f)
10:53:36 × d34db33f quits (~d34db33f@user/d34db33f) (Remote host closed the connection)
10:54:46 Square2 joins (~Square@user/square)
10:57:15 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds)
11:06:12 karenw joins (~karenw@user/karenw)
11:06:18 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
11:09:58 × cyphase quits (~cyphase@user/cyphase) (Ping timeout: 246 seconds)
11:10:40 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
11:11:56 cyphase joins (~cyphase@user/cyphase)
11:21:42 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
11:26:03 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
11:36:02 × karenw quits (~karenw@user/karenw) (Quit: Deep into that darkness peering...)
11:36:30 × infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 244 seconds)
11:37:52 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
11:37:58 × aman quits (~aman@user/aman) (Ping timeout: 246 seconds)
11:41:03 <yin> is it ok to have class constraints in newtypes?
11:41:07 × aetepe quits (~aetepe@188.119.22.20) (Ping timeout: 246 seconds)
11:42:10 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
11:42:12 <yin> newtype A a = A (C a => ...)
11:52:14 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 265 seconds)
11:52:22 aetepe joins (~aetepe@188.119.22.20)
11:52:24 chromoblob joins (~chromoblo@user/chromob1ot1c)
11:54:52 Pixi` joins (~Pixi@user/pixi)
11:55:07 <yin> ah, i see nominal vs representational
11:55:22 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
11:56:35 × aetepe quits (~aetepe@188.119.22.20) (Ping timeout: 240 seconds)
11:57:19 × Pixi quits (~Pixi@user/pixi) (Ping timeout: 240 seconds)
11:59:35 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
12:07:15 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
12:13:54 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
12:25:47 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
12:29:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
12:33:18 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
12:35:26 chromoblob joins (~chromoblo@user/chromob1ot1c)
12:39:43 × mmohammadi9812 quits (~mohammad@104.28.214.168) (Remote host closed the connection)
12:43:48 vanishingideal joins (~vanishing@user/vanishingideal)
12:46:05 × Inline quits (~User@cgn-195-14-221-74.nc.de) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/)
12:56:09 Inline joins (~User@cgn-195-14-221-74.nc.de)
12:57:31 × stefan-__ quits (~m-yh2rcc@42dots.de) (Remote host closed the connection)
13:00:51 stefan-__ joins (~m-yh2rcc@42dots.de)
13:08:15 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
13:13:01 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
13:14:37 aetepe joins (~aetepe@188.119.22.20)
13:26:07 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
13:30:15 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
13:34:08 mmohammadi9812 joins (~mohammad@46.236.253.51)
13:41:52 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
13:43:51 tremon joins (~tremon@83.80.159.219)
13:46:49 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
13:47:11 spew joins (~spew@user/spew)
13:47:18 × housemate quits (~housemate@202.7.247.155) (Quit: I am over the moon, although it is day time so I am probably on the other side of the world, and upside down which would make me the right way up.)
13:47:38 infinity0 joins (~infinity0@pwned.gg)
13:47:48 housemate joins (~housemate@202.7.247.155)
13:48:05 × mmohammadi9812 quits (~mohammad@46.236.253.51) (Remote host closed the connection)
13:56:59 × housemate quits (~housemate@202.7.247.155) (Quit: I am over the moon, although it is day time so I am probably on the other side of the world, and upside down which would make me the right way up.)
13:57:22 housemate joins (~housemate@202.7.247.155)
13:59:05 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
14:02:12 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
14:03:15 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
14:03:29 weary-traveler joins (~user@user/user363627)
14:03:52 × spew quits (~spew@user/spew) (Quit: nyaa~)
14:04:18 spew joins (~spew@user/spew)
14:09:15 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
14:14:53 × housemate quits (~housemate@202.7.247.155) (Quit: I am over the moon, although it is day time so I am probably on the other side of the world, and upside down which would make me the right way up.)
14:15:07 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
14:15:51 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
14:18:58 × infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 246 seconds)
14:19:40 housemate joins (~housemate@202.7.247.155)
14:21:10 infinity0 joins (~infinity0@pwned.gg)
14:21:27 × Inline quits (~User@cgn-195-14-221-74.nc.de) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/)
14:28:01 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
14:32:15 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
14:41:22 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds)
14:43:28 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
14:48:01 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
14:50:18 Sgeo joins (~Sgeo@user/sgeo)
14:52:41 wennefer0 joins (~wennefer0@user/wennefer0)
14:56:58 × wennefer0 quits (~wennefer0@user/wennefer0) (Ping timeout: 244 seconds)
14:59:12 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
15:03:41 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
15:10:15 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
15:14:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
15:28:05 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
15:28:55 aman joins (~aman@user/aman)
15:30:54 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
15:31:14 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
15:31:46 CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db)
15:32:31 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
15:40:38 Inline joins (~User@cgn-195-14-221-74.nc.de)
15:45:14 × spew quits (~spew@user/spew) (Quit: happy new year)
15:45:51 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
15:55:50 pavonia joins (~user@user/siracusa)
15:56:10 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
15:59:01 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds)
16:05:37 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds)
16:05:37 ChaiTRex joins (~ChaiTRex@user/chaitrex)
16:08:04 × poscat quits (~poscat@user/poscat) (Remote host closed the connection)
16:11:00 poscat joins (~poscat@user/poscat)
16:11:16 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
16:16:13 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
16:18:49 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds)
16:23:09 × aman quits (~aman@user/aman) (Ping timeout: 244 seconds)
16:23:57 mmohammadi9812 joins (~mohammad@46.236.253.10)
16:30:55 × CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds)
16:32:10 ChaiTRex joins (~ChaiTRex@user/chaitrex)
16:34:33 × haskellbridge quits (~hackager@96.28.224.214) (Ping timeout: 260 seconds)
16:35:18 haskellbridge joins (~hackager@96.28.224.214)
16:35:18 ChanServ sets mode +v haskellbridge
16:37:40 machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net)
16:51:34 × aetepe quits (~aetepe@188.119.22.20) (Ping timeout: 246 seconds)
16:51:57 Pixi` is now known as Pixi
17:01:05 × housemate quits (~housemate@202.7.247.155) (Quit: I am over the moon, although it is day time so I am probably on the other side of the world, and upside down which would make me the right way up.)
17:01:44 housemate joins (~housemate@202.7.247.155)
17:06:30 <Noinia> Hmm I have some code that compiles into '<<<loop>>>' when optimziations are enabled, but seems to compile fine with -O0. Any suggestions for debugging further where the exact issue is?
17:10:08 <c_wraith> that only sounds possible when a RULE is firing and the replacement it's performing is broken
17:12:17 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
17:16:08 wennefer0 joins (~wennefer0@user/wennefer0)
17:17:07 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
17:17:32 <Noinia> hmm, I don't have any RULES defined in my project
17:18:12 <Noinia> I'm wondering if this is a GHC bug; but I'm also somewhat stuck minimizing my code further
17:18:50 × wennefer0 quits (~wennefer0@user/wennefer0) (Remote host closed the connection)
17:19:05 aetepe joins (~aetepe@188.119.22.20)
17:23:25 × aetepe quits (~aetepe@188.119.22.20) (Ping timeout: 246 seconds)
17:24:37 wootehfoot joins (~wootehfoo@user/wootehfoot)
17:28:36 × mmohammadi9812 quits (~mohammad@46.236.253.10) (Remote host closed the connection)
17:30:24 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
17:30:38 <gentauro> sm: sometimes I wished there was only one "good" tool (like `dune` for OCaml) and everybody used that. It would make things so much easier.
17:30:54 <gentauro> However, I get the point of "competition" to ensure neither tool just lay back.
17:31:31 hellwolf joins (~user@6e47-00f8-af7e-fb42-0f00-4d40-07d0-2001.sta.estpak.ee)
17:34:34 aetepe joins (~aetepe@188.119.22.20)
17:34:58 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
17:36:56 <geekosaur> it's also fairly limiting, though. in corporate development in particular, the stack model is likely better because it enforces preferred/known compatible versions of things
17:38:49 × aetepe quits (~aetepe@188.119.22.20) (Ping timeout: 246 seconds)
17:40:09 <geekosaur> (that said, if creating a "private hackage" were easier, cabal would probably work fairly well in that space as well)
17:40:47 <geekosaur> but I suspect building one tool that supported both models well would produce something too complicated for most people
17:45:07 user363627 joins (~user@user/user363627)
17:45:21 lbseale_ joins (~quassel@user/ep1ctetus)
17:46:43 ft_ joins (~ft@p508dbaa4.dip0.t-ipconnect.de)
17:47:14 Tuplanolla1 joins (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi)
17:47:35 Pozyomka_ joins (~pyon@user/pyon)
17:47:47 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
17:50:39 × Inline quits (~User@cgn-195-14-221-74.nc.de) (Ping timeout: 240 seconds)
17:50:39 × Pozyomka quits (~pyon@user/pyon) (Ping timeout: 240 seconds)
17:50:39 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds)
17:50:39 × Tuplanolla quits (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Ping timeout: 240 seconds)
17:50:39 × ft quits (~ft@p508dbaa4.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
17:50:39 × lbseale quits (~quassel@user/ep1ctetus) (Ping timeout: 240 seconds)
17:50:39 × weary-traveler quits (~user@user/user363627) (Ping timeout: 240 seconds)
17:50:39 × Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 240 seconds)
17:50:39 × cyphase quits (~cyphase@user/cyphase) (Ping timeout: 240 seconds)
17:50:39 × tremon quits (~tremon@83.80.159.219) (Ping timeout: 240 seconds)
17:50:39 ft_ is now known as ft
17:50:52 vanishingideal joins (~vanishing@user/vanishingideal)
17:52:09 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
17:53:48 cyphase joins (~cyphase@user/cyphase)
17:56:17 Square3 joins (~Square@user/square)
17:57:50 × hiredman quits (~hiredman@frontier1.downey.family) (Ping timeout: 246 seconds)
17:58:34 CloneOfNone_ joins (~CloneOfNo@user/CloneOfNone)
17:58:36 Inline joins (~User@cgn-195-14-221-74.nc.de)
17:59:17 × smalltalkman quits (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
17:59:33 ss4 joins (~wootehfoo@user/wootehfoot)
18:00:36 sajith_ joins (~sajith@user/sajith)
18:00:37 × tabaqui quits (~tabaqui@167.71.80.236) (Ping timeout: 246 seconds)
18:00:43 × lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Ping timeout: 246 seconds)
18:00:43 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
18:00:43 × Square2 quits (~Square@user/square) (Ping timeout: 246 seconds)
18:00:43 × tomku quits (~tomku@user/tomku) (Ping timeout: 246 seconds)
18:00:43 × malte quits (~malte@mal.tc) (Ping timeout: 246 seconds)
18:00:44 × Vq quits (~vq@user/vq) (Ping timeout: 246 seconds)
18:00:44 × sajith quits (~sajith@user/sajith) (Ping timeout: 246 seconds)
18:01:05 × infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 246 seconds)
18:01:05 × CloneOfNone quits (~CloneOfNo@user/CloneOfNone) (Ping timeout: 246 seconds)
18:01:07 tomku joins (~tomku@user/tomku)
18:01:13 × distopico quits (~cerdolibr@xvm-111-150.dc2.ghst.net) (Ping timeout: 246 seconds)
18:01:32 Vq joins (~vq@user/vq)
18:02:10 distopico joins (~cerdolibr@xvm-111-150.dc2.ghst.net)
18:02:38 infinity0 joins (~infinity0@pwned.gg)
18:04:42 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
18:08:07 <haskellbridge> <sm> gentauro of course, we'd probably all like to have [had] a simpler haskell tools story
18:08:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
18:10:49 malte joins (~malte@mal.tc)
18:10:53 tabaqui joins (~tabaqui@167.71.80.236)
18:12:21 hiredman joins (~hiredman@frontier1.downey.family)
18:13:15 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
18:14:16 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
18:15:37 __monty__ joins (~toonn@user/toonn)
18:18:01 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
18:20:44 × ss4 quits (~wootehfoo@user/wootehfoot) (Quit: Leaving)
18:30:25 × user363627 quits (~user@user/user363627) (Quit: Konversation terminated!)
18:30:41 user363627 joins (~user@user/user363627)
18:30:56 user363627 is now known as weary-traveler
18:42:17 mmohammadi9812 joins (~mohammad@46.236.253.10)
18:47:30 × housemate quits (~housemate@202.7.247.155) (Quit: I am over the moon, although it is day time so I am probably on the other side of the world, and upside down which would make me the right way up.)
18:47:48 housemate joins (~housemate@202.7.247.155)
19:01:16 chromoblob joins (~chromoblo@user/chromob1ot1c)
19:10:48 Psy-Q parts (~psy-q@user/psy-q) (Exploring beyond the veil.)
19:14:15 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
19:21:19 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
19:21:26 Wygulmage joins (~Wygulmage@user/Wygulmage)
19:22:32 aetepe joins (~aetepe@212.125.9.97)
19:23:46 wootehfoot joins (~wootehfoo@user/wootehfoot)
19:24:45 × oats quits (~oats@user/oats) (Read error: Connection reset by peer)
19:25:00 oats joins (~oats@user/oats)
19:25:27 <monochrom> In principle, two programs for two models is equivalent to one program with two sets of options. The latter cannot be said to be simpler.
19:26:56 <EvanR> do two things and switch between them with options and do it well
19:27:30 <EvanR> is not the unix philosophy as stated but seems to defacto be the philosophy
19:31:57 <monochrom> Maybe it's the Multics philosophy. >:)
19:34:49 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
19:35:09 Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
19:35:24 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds)
19:36:28 Lord_of_Life_ is now known as Lord_of_Life
19:39:45 Everything joins (~Everythin@46.96.10.169)
19:55:29 somemathguy joins (~somemathg@user/somemathguy)
20:07:10 × mmohammadi9812 quits (~mohammad@46.236.253.10) (Remote host closed the connection)
20:07:41 × Wygulmage quits (~Wygulmage@user/Wygulmage) (Ping timeout: 272 seconds)
20:15:16 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
20:20:10 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
20:24:31 × Pozyomka_ quits (~pyon@user/pyon) (Ping timeout: 240 seconds)
20:33:24 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
20:37:16 karenw joins (~karenw@user/karenw)
20:37:35 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
20:49:53 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
20:50:37 × aetepe quits (~aetepe@212.125.9.97) (Ping timeout: 250 seconds)
20:54:15 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
20:54:18 wickedjargon joins (~user@64.114.24.74)
21:06:55 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
21:08:08 wennefer0 joins (~wennefer0@user/wennefer0)
21:11:16 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
21:12:25 × wennefer0 quits (~wennefer0@user/wennefer0) (Ping timeout: 245 seconds)
21:16:15 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
21:22:49 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
21:24:57 <yin> the probem with the "one thing" philosophy is that "thing" is not well-defined
21:33:21 <int-e> that's fine because you can still have a tool for each thing
21:33:33 yotic joins (~yotic@user/yotic)
21:33:39 <int-e> or two, or many
21:53:16 × wickedjargon quits (~user@64.114.24.74) (Ping timeout: 246 seconds)
22:12:01 <EvanR> I think it was either albuquerque or atlanta, a billboard for "divorce lawyer and movers -- do one thing and do it well"
22:13:22 <EvanR> another one locally which should have had that billboard: this place "pool tables and pools"
22:17:16 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
22:18:29 rekahsoft joins (~rekahsoft@70.51.99.245)
22:21:58 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
22:23:45 L29Ah parts (~L29Ah@wikipedia/L29Ah) ()
22:23:48 <geekosaur> now I'm reminded of a TV ad which had a pizza delivery car roll up, then the pizza sign rotated into (IIRC) a real estate agent sign
22:28:33 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
22:32:25 peterbecich joins (~Thunderbi@71.84.33.135)
22:35:44 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
22:40:10 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
22:53:14 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
22:57:35 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
23:10:59 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
23:15:31 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
23:16:30 L29Ah joins (~L29Ah@wikipedia/L29Ah)
23:18:17 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
23:24:58 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
23:25:34 <monochrom> Do a pair of complementary things and do them well: Open a pastry bakery and a gym next to each other. (True story.)
23:32:23 Pozyomka joins (~pyon@user/pyon)
23:40:38 Pixi` joins (~Pixi@user/pixi)
23:43:49 × Pixi quits (~Pixi@user/pixi) (Ping timeout: 264 seconds)
23:44:11 × Everything quits (~Everythin@46.96.10.169) (Quit: leaving)
23:52:38 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
23:55:55 L29Ah parts (~L29Ah@wikipedia/L29Ah) ()
23:57:15 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)

All times are in UTC on 2025-12-31.