Home liberachat/#haskell: Logs Calendar

Logs on 2025-03-01 (liberachat/#haskell)

00:00:18 ell joins (~ellie@user/ellie)
00:01:07 <haskellbridge> <Liamzee> you could hack it with CPP, i suppose
00:01:14 <c_wraith> You can do better than that
00:01:42 <c_wraith> You can put platform-specific stuff in separate trees and conditionally include those trees depending on platform in cabal
00:02:05 <c_wraith> But it involves a lot of manual work, and a good platform would have a better abstraction for that.
00:02:15 <haskellbridge> <Liamzee> but the entire point is so that you're building full stack in one module, one module at a time
00:02:43 <haskellbridge> <Liamzee> tbh with CPP, you don't actually need Haskell
00:06:10 <haskellbridge> <Liamzee> https://en.wikipedia.org/wiki/Isomorphic_JavaScript
00:06:16 <haskellbridge> <Liamzee> also this is basically what i was looking for, oh well
00:12:33 <haskellbridge> <Liamzee> that also brings miso into play, which advertises itself as isomorphic
00:14:30 × Everything quits (~Everythin@46.211.105.36) (Quit: leaving)
00:36:37 alfiee joins (~alfiee@user/alfiee)
00:40:48 vanishingideal joins (~vanishing@user/vanishingideal)
00:40:54 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds)
00:48:26 × k_hachig_ quits (~k_hachig@bras-base-toroon0247w-grc-123-70-29-50-103.dsl.bell.ca) (Ping timeout: 244 seconds)
00:51:31 × acidjnk_new quits (~acidjnk@p200300d6e7283f90d472fd3bae079d4a.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
00:55:45 × sprotte24 quits (~sprotte24@p200300d16f44db00402a6a5cf9d1162b.dip0.t-ipconnect.de) (Quit: Leaving)
01:07:47 <haskellbridge> <Liamzee> but c_wraith, I'm still wondering, if you have a simple datatype of backend, frontend, client
01:08:00 <haskellbridge> <Liamzee> i mean, you can still opt to go the compiler plugin route
01:08:01 <haskellbridge> <Liamzee> ugh
01:14:11 × tessier quits (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Quit: leaving)
01:15:37 × alp quits (~alp@2001:861:8ca0:4940:cf02:35f:1502:8681) (Ping timeout: 268 seconds)
01:17:28 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
01:20:53 × bilegeek quits (~bilegeek@123.sub-174-228-103.myvzw.com) (Ping timeout: 248 seconds)
01:23:40 alfiee joins (~alfiee@user/alfiee)
01:28:09 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds)
01:32:06 × califax quits (~califax@user/califx) (Remote host closed the connection)
01:33:48 × stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
01:34:40 stiell joins (~stiell@gateway/tor-sasl/stiell)
01:35:12 × stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
01:35:32 stiell joins (~stiell@gateway/tor-sasl/stiell)
01:38:12 × nek0 quits (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat)
01:43:01 califax joins (~califax@user/califx)
01:47:07 bilegeek joins (~bilegeek@93.sub-174-228-98.myvzw.com)
01:48:25 × Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
01:55:42 × m5zs7k quits (aquares@web10.mydevil.net) (Quit: m5zs7k)
01:56:07 × Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 244 seconds)
01:56:15 m5zs7k joins (aquares@web10.mydevil.net)
02:00:48 × fmira quits (~user@user/fmira) (Ping timeout: 264 seconds)
02:09:25 alfiee joins (~alfiee@user/alfiee)
02:09:32 bilegeek_ joins (~bilegeek@30.sub-174-208-227.myvzw.com)
02:12:21 × bilegeek quits (~bilegeek@93.sub-174-228-98.myvzw.com) (Ping timeout: 268 seconds)
02:12:27 tessier joins (~tessier@ip68-8-117-219.sd.sd.cox.net)
02:13:28 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds)
02:16:16 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
02:16:42 nek0 joins (~nek0@user/nek0)
02:17:04 Guest60 joins (~Guest92@2804:351c:dd00:1680:a251:bff:fe45:7a90)
02:21:17 × Guest60 quits (~Guest92@2804:351c:dd00:1680:a251:bff:fe45:7a90) (Client Quit)
02:33:47 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
02:51:56 tavare joins (~tavare@150.129.88.189)
02:51:56 × tavare quits (~tavare@150.129.88.189) (Changing host)
02:51:56 tavare joins (~tavare@user/tavare)
02:54:38 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
02:55:29 alfiee joins (~alfiee@user/alfiee)
02:57:36 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds)
02:59:47 vanishingideal joins (~vanishing@user/vanishingideal)
03:00:09 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds)
03:02:33 bilegeek__ joins (~bilegeek@227.sub-174-208-227.myvzw.com)
03:05:00 × bilegeek_ quits (~bilegeek@30.sub-174-208-227.myvzw.com) (Ping timeout: 252 seconds)
03:05:23 alp joins (~alp@2001:861:8ca0:4940:744f:ab18:67c5:f6a5)
03:09:32 bilegeek_ joins (~bilegeek@241.sub-174-209-38.myvzw.com)
03:12:24 × bilegeek__ quits (~bilegeek@227.sub-174-208-227.myvzw.com) (Ping timeout: 260 seconds)
03:12:39 weary-traveler joins (~user@user/user363627)
03:13:26 × jrm quits (~jrm@user/jrm) (Quit: ciao)
03:14:57 jrm joins (~jrm@user/jrm)
03:15:08 __jmcantrell__ joins (~weechat@user/jmcantrell)
03:21:22 × bilegeek_ quits (~bilegeek@241.sub-174-209-38.myvzw.com) (Ping timeout: 244 seconds)
03:22:39 × __jmcantrell__ quits (~weechat@user/jmcantrell) (Ping timeout: 268 seconds)
03:28:22 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
03:28:48 madcabbage joins (~cabbage@207.148.176.79)
03:32:21 weary-traveler joins (~user@user/user363627)
03:34:22 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
03:39:34 × notdabs quits (~Owner@2600:6c40:4300:950:cc75:6335:c59d:cd1) (Read error: Connection reset by peer)
03:40:03 × L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 265 seconds)
03:41:33 alfiee joins (~alfiee@user/alfiee)
03:45:41 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds)
03:47:59 bilegeek__ joins (~bilegeek@4.sub-174-209-32.myvzw.com)
03:51:32 bilegeek_ joins (~bilegeek@75.sub-174-228-101.myvzw.com)
03:53:58 lol_ joins (~lol@2603:3016:1e01:b960:c10:54c:3021:e6cf)
03:54:29 × bilegeek__ quits (~bilegeek@4.sub-174-209-32.myvzw.com) (Ping timeout: 252 seconds)
03:57:09 × jcarpenter2 quits (~lol@2603:3016:1e01:b960:5cab:e8ae:c3b1:72bf) (Ping timeout: 248 seconds)
03:58:02 × messewix quits (~jmc@user/messewix) (Remote host closed the connection)
04:00:14 × alp quits (~alp@2001:861:8ca0:4940:744f:ab18:67c5:f6a5) (Ping timeout: 260 seconds)
04:05:06 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
04:08:29 lol_ is now known as jcarpenter2
04:15:46 × xacktm quits (xacktm@user/xacktm) (Quit: fBNC - https://bnc4free.com)
04:23:00 × stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 264 seconds)
04:26:57 alfiee joins (~alfiee@user/alfiee)
04:27:17 × bilegeek_ quits (~bilegeek@75.sub-174-228-101.myvzw.com) (Ping timeout: 244 seconds)
04:30:21 × aforemny_ quits (~aforemny@i577B1335.versanet.de) (Ping timeout: 246 seconds)
04:30:53 aforemny joins (~aforemny@i59F4C54D.versanet.de)
04:31:44 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds)
04:35:38 stiell joins (~stiell@gateway/tor-sasl/stiell)
04:47:40 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
04:52:56 xacktm joins (xacktm@user/xacktm)
04:54:45 __jmcantrell__ joins (~weechat@user/jmcantrell)
05:03:41 × stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
05:04:03 stiell joins (~stiell@gateway/tor-sasl/stiell)
05:05:03 × tavare quits (~tavare@user/tavare) (Remote host closed the connection)
05:06:47 × __jmcantrell__ quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.5.2)
05:08:19 __jmcantrell__ joins (~weechat@user/jmcantrell)
05:12:21 alfiee joins (~alfiee@user/alfiee)
05:17:21 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 268 seconds)
05:39:44 × pabs3 quits (~pabs3@user/pabs3) (Read error: Connection reset by peer)
05:42:56 pabs3 joins (~pabs3@user/pabs3)
05:47:09 × ZLima12 quits (~zlima12@user/meow/ZLima12) (Remote host closed the connection)
05:48:18 ZLima12 joins (~zlima12@user/meow/ZLima12)
05:49:17 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
05:53:23 j1n37 joins (~j1n37@user/j1n37)
05:58:44 × todi1 quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
05:58:44 alfiee joins (~alfiee@user/alfiee)
05:58:59 todi joins (~todi@p57803331.dip0.t-ipconnect.de)
06:03:28 euphores joins (~SASL_euph@user/euphores)
06:03:40 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 272 seconds)
06:12:27 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
06:13:12 × todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
06:13:43 j1n37 joins (~j1n37@user/j1n37)
06:14:15 todi joins (~todi@p57803331.dip0.t-ipconnect.de)
06:23:15 × califax quits (~califax@user/califx) (Remote host closed the connection)
06:24:09 califax joins (~califax@user/califx)
06:26:13 × madcabbage quits (~cabbage@207.148.176.79) (Ping timeout: 245 seconds)
06:36:03 × califax quits (~califax@user/califx) (Remote host closed the connection)
06:36:25 califax joins (~califax@user/califx)
06:36:25 × synchromesh quits (~john@2406:5a00:24cf:bb00:bc6d:a873:1cc2:c331) (Read error: Connection reset by peer)
06:36:45 bilegeek joins (~bilegeek@2600:1008:b082:130d:73e0:dbf5:d1af:ba7e)
06:37:22 JuanDaugherty joins (~juan@user/JuanDaugherty)
06:37:48 synchromesh joins (~john@2406:5a00:24cf:bb00:bc6d:a873:1cc2:c331)
06:38:17 Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
06:44:08 alfiee joins (~alfiee@user/alfiee)
06:48:11 × robobub quits (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
06:48:16 takuan joins (~takuan@d8D86B601.access.telenet.be)
06:48:20 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds)
06:52:30 ljdarj joins (~Thunderbi@user/ljdarj)
07:00:27 × JamesMowery quits (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye)
07:00:46 JamesMowery joins (~JamesMowe@ip68-228-212-232.ph.ph.cox.net)
07:05:20 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
07:10:15 Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
07:11:16 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds)
07:11:37 Lord_of_Life_ is now known as Lord_of_Life
07:20:31 fmira joins (~user@user/fmira)
07:28:26 puke joins (~puke@user/puke)
07:29:52 alfiee joins (~alfiee@user/alfiee)
07:31:11 × JuanDaugherty quits (~juan@user/JuanDaugherty) (Remote host closed the connection)
07:33:36 cheater joins (~Username@user/cheater)
07:34:28 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 265 seconds)
07:44:34 killy joins (~killy@terminal-3-187.retsat1.com.pl)
07:46:26 × puke quits (~puke@user/puke) (Quit: puke)
07:47:30 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
07:50:05 ljdarj joins (~Thunderbi@user/ljdarj)
07:50:53 puke joins (~puke@user/puke)
08:00:03 × caconym quits (~caconym@user/caconym) (Quit: bye)
08:01:43 caconym joins (~caconym@user/caconym)
08:04:13 JuanDaugherty joins (~juan@user/JuanDaugherty)
08:06:02 bilegeek_ joins (~bilegeek@2600:1008:b005:a5c1:938f:3f78:9105:bc03)
08:08:27 alp joins (~alp@2001:861:8ca0:4940:ac95:84b7:4c46:37eb)
08:08:44 × bilegeek quits (~bilegeek@2600:1008:b082:130d:73e0:dbf5:d1af:ba7e) (Ping timeout: 260 seconds)
08:15:16 alfiee joins (~alfiee@user/alfiee)
08:16:03 bilegeek__ joins (~bilegeek@2600:1008:b091:1244:cb4d:bb7e:a88:2b9f)
08:18:39 × bilegeek_ quits (~bilegeek@2600:1008:b005:a5c1:938f:3f78:9105:bc03) (Ping timeout: 260 seconds)
08:19:02 × img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
08:19:35 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds)
08:20:22 img joins (~img@user/img)
08:20:32 bilegeek_ joins (~bilegeek@51.sub-174-208-229.myvzw.com)
08:21:06 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds)
08:22:46 bilegeek joins (~bilegeek@2600:1008:b01c:e54:1adb:15db:d010:32d5)
08:23:38 × bilegeek__ quits (~bilegeek@2600:1008:b091:1244:cb4d:bb7e:a88:2b9f) (Ping timeout: 272 seconds)
08:25:06 × bilegeek_ quits (~bilegeek@51.sub-174-208-229.myvzw.com) (Ping timeout: 252 seconds)
08:28:35 × sabathan quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Quit: yolo)
08:33:18 sabathan joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
08:36:27 × alp quits (~alp@2001:861:8ca0:4940:ac95:84b7:4c46:37eb) (Ping timeout: 252 seconds)
08:37:21 misterfish joins (~misterfis@84.53.85.146)
08:39:54 × JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
08:39:55 × __jmcantrell__ quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.5.2)
08:49:25 × Square quits (~Square@user/square) (Ping timeout: 248 seconds)
09:01:59 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
09:02:00 alfiee joins (~alfiee@user/alfiee)
09:03:09 <[exa]> morning all! saturday package scan: is there anything like Aeson that would somewhat transparently work with JSON-LD "annotations"? I assume it could be done quite reasonably with custom aeson instances, but ideally I'd like autogenerated instances that have the proper annotations already.
09:06:10 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds)
09:13:06 × euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.)
09:14:16 × bilegeek quits (~bilegeek@2600:1008:b01c:e54:1adb:15db:d010:32d5) (Quit: Leaving)
09:23:58 × gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
09:25:46 × dtman34 quits (~dtman34@2601:447:d000:1f5e:f0c1:a096:f8a:d3d5) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in)
09:26:07 dtman34 joins (~dtman34@c-75-72-179-251.hsd1.mn.comcast.net)
09:27:15 euphores joins (~SASL_euph@user/euphores)
09:28:30 gmg joins (~user@user/gehmehgeh)
09:31:42 ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207)
09:39:01 sprotte24 joins (~sprotte24@p200300d16f4b980025b1dfc12a42f674.dip0.t-ipconnect.de)
09:47:44 alfiee joins (~alfiee@user/alfiee)
09:49:54 euouae joins (~euouae@user/euouae)
09:50:06 <euouae> Hello if I want to include numbers in my source files is it possible without breaking the emacs IDE or lsp etc?
09:51:05 lxsameer joins (~lxsameer@Serene/lxsameer)
09:51:45 × misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 244 seconds)
09:52:06 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds)
09:54:02 <tomsmeding> ... what
09:54:19 <tomsmeding> > 2
09:54:20 <lambdabot> 2
09:54:23 <tomsmeding> those kinds of numbers?
09:54:57 × manwithluck quits (~manwithlu@185-183-33-218.hosted-by-worldstream.net) (Ping timeout: 248 seconds)
09:56:08 × ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en)
09:59:43 misterfish joins (~misterfis@84.53.85.146)
10:01:38 manwithluck joins (~manwithlu@2a00:7c80:0:3a6::12)
10:05:05 × sp1ff quits (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Ping timeout: 248 seconds)
10:13:24 acidjnk_new joins (~acidjnk@p200300d6e7283f23d472fd3bae079d4a.dip0.t-ipconnect.de)
10:15:05 × Sgeo__ quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
10:18:03 Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
10:19:11 × gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
10:22:13 gmg joins (~user@user/gehmehgeh)
10:24:04 <[exa]> tomsmeding: might be that LSP nowadays breaks even on this
10:28:37 <tomsmeding> [exa]: I can tell you that I am successfully using numbers in my haskell code
10:28:56 <tomsmeding> the neither my editor, nor the LSP, nor HLS breaks on numbers
10:33:08 alfiee joins (~alfiee@user/alfiee)
10:35:08 <Leary> I fear they're trying to write HASIC.
10:35:40 × CryptLab quits (NSA@gateway/vpn/protonvpn/commanderbond007) (Ping timeout: 244 seconds)
10:35:42 <tomsmeding> it would be hilarious if someone actually made an implementation of HASIC
10:35:44 <sprout> line numbers I assume
10:36:13 <tomsmeding> euouae: the tension is killing, enlighten us
10:37:37 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds)
10:38:05 <mauke> 10 main :: IO ()
10:38:09 <mauke> 20 main = do
10:38:17 <mauke> 30 putStrLn "hello"
10:38:22 <mauke> 40 goto 20
10:38:38 <tomsmeding> what would that even _mean_
10:39:03 <mauke> just be glad that I didn't jump into the type signature!
10:39:35 <tomsmeding> somewhat, but I'm still uncomfortable
10:40:31 <mauke> oh, I just thought of another way to "include numbers in my source files"
10:40:37 <mauke> #include "/dev/fd/0"
10:41:23 <tomsmeding> that's about as reasonable an interpretation as claiming that they're used to macOS and actually meant a spreadsheet
10:43:22 <tomsmeding> mauke: on second thoughts I'm starting to like your last suggestion
10:43:42 <tomsmeding> it's as close as you're going to get to "including" a "number", really
10:46:37 <euouae> tomsmeding: oh sorry, I mean file *names*
10:46:57 <tomsmeding> we were getting so close!
10:47:03 <euouae> I'm doing some leetcode challenges but 123.hs is bad I think
10:47:21 <tomsmeding> works perfectly fine for me
10:47:26 <euouae> anyway right now I just have all the solutions in one file separated by -- *
10:47:27 <tomsmeding> it's not a valid file name in a cabal project
10:47:36 <euouae> oh yeah, I use cabal
10:47:39 <tomsmeding> but as a single file, HLS is okay with it for me
10:47:53 <tomsmeding> in a cabal project, a module file must always have the module name as its file name
10:47:58 <tomsmeding> and module names must start with a capital letter
10:48:19 <euouae> Perhaps I can do something like E123.hs for exercise 123?
10:48:22 <tomsmeding> yes
10:48:35 <euouae> Okay, thank you. I'm actually thinking I'll just keep it all in one flat file
10:49:14 <tomsmeding> euouae: imagine what would happen if you would try to use such a module qualified
10:49:20 <tomsmeding> > Data.Maybe.isJust (Just 42)
10:49:22 <lambdabot> True
10:49:37 <tomsmeding> would that be `Exercises.12 input`? how would the parser even know what you mean tthere
10:50:28 <euouae> I get ti
10:50:40 <euouae> Another stupid question, in my test/ I have Main.hs and Tests.hs
10:50:55 <euouae> Tests.hs has the hedgehog generated/discovered tests, how can I import that in Main.hs?
10:51:05 <tomsmeding> `import Tests`?
10:51:10 <euouae> I get `These modules are needed for compilation but not listed in your .cabal file's other-modules for ‘leetcode-0.1.0.0-inplace-leetcode-test’ :`
10:51:17 <euouae> naming Tests as the module
10:51:27 <euouae> It's a warning-Wmissing-home-modules
10:51:27 <tomsmeding> right, you need `other-modules: Tests` in the test-suite block in your cabal file
10:51:55 __monty__ joins (~toonn@user/toonn)
10:51:55 <tomsmeding> you always need to list all modules that you're defining in the cabal file, either in other-modules or in exposed-modules (the latter relevant only for libraries)
10:52:26 <euouae> nice, thakn you
10:54:14 <Leary> tomsmeding: https://hackage.haskell.org/package/BASIC-0.1.5.0/docs/Language-BASIC.html
10:59:29 × killy quits (~killy@terminal-3-187.retsat1.com.pl) (Ping timeout: 248 seconds)
11:06:26 × lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds)
11:12:22 talisman` joins (~user@2601:644:937c:ed10::ae5)
11:13:03 <euouae> Does anyone know how I can turn off all the hlint recommendations
11:13:08 <euouae> holy cow they're annoying on emacs
11:13:56 <euouae> You're moving the cursor point on a symbol to see its type and boom Clippy pops up "It looks like you're not optimizing your endofunctors here"
11:14:21 <euouae> I've tried to turn them off selectively I'm thinking that I just don't want them at all
11:14:33 × talismanick quits (~user@2601:644:937c:ed10::ae5) (Ping timeout: 245 seconds)
11:17:37 <tomsmeding> euouae: figure out where you put language server configuration in your emacs LSP client
11:17:56 <tomsmeding> the setting you need to set is haskell.plugin.hlint.globalOn = false
11:18:32 alfiee joins (~alfiee@user/alfiee)
11:23:05 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 265 seconds)
11:24:45 <tomsmeding> Leary: I've actually seen that before, it's genius
11:27:37 <euouae> thank you!!
11:27:38 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
11:28:02 <tomsmeding> (I have that set, as well as haskell.plugin.stan.globalOn = false)
11:28:09 <euouae> what's that?
11:28:15 <tomsmeding> more annoying messages :3
11:28:17 <euouae> I think stan is the otehr one. I've noticed I get lint-like things from 2 difefrent sources
11:29:02 <tomsmeding> I'm not saying stan or hlint are bad, I personally just don't need or want them in my editor (and I think HLS is a bit over-eager in making them opt-out instead of opt-in)
11:29:10 <euouae> They should be opt-in
11:29:27 <euouae> but anyway, the slice of haskell + emacs programmers is so small that maybe it doesn't matter
11:29:39 <euouae> they're just not interacting well with emacs, that's all
11:29:49 <tomsmeding> euouae: how does it look in emacs?
11:30:01 <euouae> It's attention-grabbing and erratic
11:30:20 <euouae> pop up messages that hide other stuff, etc
11:30:26 <tomsmeding> I find them annoying in vim too but from what you're saying it's not quite as bad :)
11:30:31 <tomsmeding> do warnings also pop up?
11:30:36 <tomsmeding> I'd find that annoying too :p
11:30:40 <euouae> no, those are in a separate window
11:30:52 <euouae> I can check whatever I need when I check that window
11:31:02 <euouae> but I don't want squiggly lines, annoying pop ups, etc
11:31:06 <tomsmeding> oh wait 'info'-level messages are more in-your-face than warnings?
11:31:15 <euouae> yeah lol
11:31:19 <tomsmeding> that sounds like a mistake in the emacs lsp client :p
11:31:32 <tomsmeding> because this is not just HLS, those levels are in the LSP protocol in general
11:31:54 <euouae> Emasc UI is not designed for *all* intents and purposes. Certain things are anti patterns in emacs
11:31:58 <euouae> in particular popup messages
11:32:20 <tomsmeding> sounds like this is your chance to improve emacs :)
11:32:22 <euouae> well I can't fix everything, so I'll just ignore this
11:32:26 <euouae> yeah I knew you were going to say this
11:32:28 <tomsmeding> :p
11:32:34 <euouae> I've sent hundreds of useless stupid patches over time
11:32:45 <euouae> and sometimes, I've even gotten into fights for those stupid patches... I'm kind of checked out
11:32:58 <tomsmeding> I totally understand :p
11:36:45 <euouae> sweet! I got it to work. thank you
11:36:59 <tomsmeding> yay
11:38:42 <euouae> tomsmeding: it doesn't help I have a generally different temperament from the average programmer. kind of a short fuse, and it's been getting shorter... It's only so many times I can keep it together when I send a doc patch that turns into a feature rewrite into getting lectured on x86 assembly cycle cost
11:38:56 × rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer)
11:38:57 <tomsmeding> heh
11:39:28 rvalue joins (~rvalue@user/rvalue)
11:39:55 <tomsmeding> the nice thing about open source is that you can contribute, but also that you can fork, and furthermore that nobody requires you to contribute :p
11:41:03 <euouae> When I was a wee bit naive I thought it was a good idea to spend a few months studying the source of a somewhat complicated program (cryptography, etc) before sending a message to the dev, asking to join the project
11:41:50 <euouae> I got a really deflationary message in response. I thought, I know, I'll rewrite it in Rust. A few more weeks, (or months was it?) I realized I made the wrong design choice by going with green threads because the rust USB library does not support them
11:42:30 <euouae> and then libusb + async was this huge rabbit hole wish list item that I never went down to. gave up ;p
11:42:38 <tomsmeding> yeah in the haskell playground readme I have a note saying to get in contact before you write lots of code, precisely for this reason
11:42:58 <euouae> No, you're so right. But sometimes you make mistakes before you learn
11:43:35 <tomsmeding> re forking: I build my own HLS because I have a particular patch that I want in there but I'm too lazy to properly contribute a configuration setting for it
11:43:52 <tomsmeding> I asked for that setting (can't find the issue now) but it never materialised, so periodic room heating is what it is
11:43:52 wootehfoot joins (~wootehfoo@user/wootehfoot)
11:44:46 <euouae> lol
11:45:46 <tomsmeding> here we go https://github.com/haskell/haskell-language-server/pull/2332#issuecomment-965094062
11:46:49 L29Ah joins (~L29Ah@wikipedia/L29Ah)
11:47:25 <euouae> looks like your questoin went unanswered heh
11:47:40 <tomsmeding> I even specifically gave them licence to not answer
11:47:56 <tomsmeding> I'm not blaming them :p
11:59:33 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving)
12:00:04 × caconym quits (~caconym@user/caconym) (Quit: bye)
12:01:04 × misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 252 seconds)
12:02:07 caconym joins (~caconym@user/caconym)
12:02:30 wootehfoot joins (~wootehfoo@user/wootehfoot)
12:04:12 alp joins (~alp@2001:861:8ca0:4940:20f3:153b:3579:d302)
12:04:16 alfiee joins (~alfiee@user/alfiee)
12:07:50 × acidjnk_new quits (~acidjnk@p200300d6e7283f23d472fd3bae079d4a.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
12:09:06 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 272 seconds)
12:20:04 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
12:50:20 alfiee joins (~alfiee@user/alfiee)
12:50:28 killy joins (~killy@terminal-3-187.retsat1.com.pl)
12:55:09 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds)
12:55:41 × fmira quits (~user@user/fmira) (Remote host closed the connection)
12:55:43 user_ joins (~user@user/fmira)
13:05:39 misterfish joins (~misterfis@84.53.85.146)
13:13:31 srazkvt joins (~sarah@user/srazkvt)
13:16:48 × GdeVolpi1 quits (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.3)
13:17:01 GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano)
13:18:32 GdeVolpi1 joins (~GdeVolpia@user/GdeVolpiano)
13:21:45 × sprotte24 quits (~sprotte24@p200300d16f4b980025b1dfc12a42f674.dip0.t-ipconnect.de) (Quit: Leaving)
13:24:08 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
13:25:08 × eL_Bart0 quits (eL_Bart0@dietunichtguten.org) (Ping timeout: 244 seconds)
13:25:24 × gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer)
13:26:59 JuanDaugherty joins (~juan@user/JuanDaugherty)
13:31:25 gentauro joins (~gentauro@user/gentauro)
13:36:24 alfiee joins (~alfiee@user/alfiee)
13:40:47 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds)
13:50:51 × killy quits (~killy@terminal-3-187.retsat1.com.pl) (Quit: leaving)
13:53:15 sprotte24 joins (~sprotte24@p200300d16f4b980025b1dfc12a42f674.dip0.t-ipconnect.de)
13:57:23 <Axman6> Anyone know why when I have an executable in my cabal file, when I use "ghc-options: -O2 -threaded -rtsopts -with-rtsopts=-N" I get "unexpected RTS argument: "-N"" and the rts help printed out, including the help telling me I can use -N?
13:58:04 <Axman6> It's particularly frustrating because I can see there's thousands of cabal files on github using exactly this pattern
14:00:34 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
14:00:58 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
14:01:26 eL_Bart0 joins (eL_Bart0@dietunichtguten.org)
14:03:58 <Axman6> URGH, cabal build wasn't rebuilding my binary when the flags changed! FFS
14:05:31 × JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
14:07:41 <mauke> ca-ching
14:11:15 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
14:19:03 weary-traveler joins (~user@user/user363627)
14:19:26 GdeVolpiano is now known as Guest2641
14:19:26 GdeVolpi1 is now known as GdeVolpiano
14:22:08 alfiee joins (~alfiee@user/alfiee)
14:26:37 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds)
14:29:04 × hattckory quits (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 260 seconds)
14:29:18 <int-e> Axman6: Let me go out on a limb and ask... what non-ELF platform is this?
14:34:34 <int-e> (cabal-install relies on GHC for recompilation checks. I learned recently that GHC stores compile flags in a special section in ELF executables to make that work, but not on other platforms)
14:36:31 ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207)
14:44:13 × ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Remote host closed the connection)
14:46:05 ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207)
14:47:20 hattckory joins (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca)
14:48:25 tanky parts (~tanky@user/tanky) (WeeChat 3.8)
14:50:50 × euouae quits (~euouae@user/euouae) ()
14:57:21 × hattckory quits (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 248 seconds)
15:02:39 × ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en)
15:07:55 <Axman6> it is indeed macOS
15:08:13 alfiee joins (~alfiee@user/alfiee)
15:12:28 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds)
15:13:58 × EvanR quits (~EvanR@user/evanr) (Remote host closed the connection)
15:14:16 EvanR joins (~EvanR@user/evanr)
15:18:19 notdabs joins (~Owner@2600:6c40:4300:950:d78:9719:f6a5:bdd)
15:35:30 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
15:45:50 hattckory joins (~hattckory@184.145.138.167)
15:50:44 × hattckory quits (~hattckory@184.145.138.167) (Ping timeout: 260 seconds)
15:53:10 wootehfoot joins (~wootehfoo@user/wootehfoot)
15:54:17 alfiee joins (~alfiee@user/alfiee)
15:58:35 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds)
16:14:31 dunj3_ is now known as dunj3
16:26:35 JuanDaugherty joins (~juan@user/JuanDaugherty)
16:37:42 killy joins (~killy@terminal-3-187.retsat1.com.pl)
16:40:41 alfiee joins (~alfiee@user/alfiee)
16:44:58 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 245 seconds)
16:45:11 acidjnk_new joins (~acidjnk@p200300d6e7283f23fd140dc145444417.dip0.t-ipconnect.de)
16:47:22 k_hachig_ joins (~k_hachig@2607:fea8:351d:ef0:35c6:9be8:bd26:143)
16:48:15 × JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
16:49:47 messewix joins (~jmc@user/messewix)
16:57:48 × weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!)
16:59:11 JuanDaugherty joins (~juan@user/JuanDaugherty)
17:00:04 catface joins (~brett@cpc91312-watf11-2-0-cust1213.15-2.cable.virginm.net)
17:00:09 hattckory joins (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca)
17:01:50 catface is now known as wonderman
17:03:40 × wonderman quits (~brett@cpc91312-watf11-2-0-cust1213.15-2.cable.virginm.net) (Changing host)
17:03:40 wonderman joins (~brett@user/wonderman)
17:05:26 weary-traveler joins (~user@user/user363627)
17:06:49 × JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
17:09:46 wonderman is now known as superbatman
17:10:08 j1n37- joins (~j1n37@user/j1n37)
17:10:09 × j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds)
17:16:39 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection)
17:17:04 ChaiTRex joins (~ChaiTRex@user/chaitrex)
17:17:08 × Digit quits (~user@user/digit) (Ping timeout: 252 seconds)
17:26:24 alfiee joins (~alfiee@user/alfiee)
17:29:29 × k_hachig_ quits (~k_hachig@2607:fea8:351d:ef0:35c6:9be8:bd26:143) (Ping timeout: 260 seconds)
17:30:49 k_hachig_ joins (~k_hachig@2607:fea8:351d:ef0:35c6:9be8:bd26:143)
17:31:28 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 272 seconds)
17:31:42 Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
17:33:34 × acidjnk_new quits (~acidjnk@p200300d6e7283f23fd140dc145444417.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
17:34:02 Buliarou1 joins (~gypsydang@46.232.210.139)
17:35:00 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds)
17:47:18 × Guest2641 quits (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.3)
18:05:05 × hattckory quits (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 248 seconds)
18:10:11 × tv quits (~tv@user/tv) (Remote host closed the connection)
18:12:28 alfiee joins (~alfiee@user/alfiee)
18:14:42 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds)
18:17:09 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds)
18:17:31 Guest1 joins (~Guest90@231.11.11.93.rev.sfr.net)
18:19:26 jespada joins (~jespada@2800:a4:2276:e000:c80c:9883:d280:9e9e)
18:22:45 × talisman` quits (~user@2601:644:937c:ed10::ae5) (Ping timeout: 252 seconds)
18:22:56 ensyde joins (~ensyde@2601:5c6:c200:6dc0::e3ba)
18:26:16 hattckory joins (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca)
18:31:42 × hattckory quits (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 276 seconds)
18:32:45 TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker)
18:32:55 Guest98 joins (~Guest98@90.160.179.9)
18:33:06 cheater_ joins (~Username@user/cheater)
18:34:03 × cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds)
18:34:11 cheater_ is now known as cheater
18:34:35 × Guest98 quits (~Guest98@90.160.179.9) (Client Quit)
18:44:57 hattckory joins (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca)
18:45:21 tv joins (~tv@user/tv)
18:47:06 pavonia joins (~user@user/siracusa)
18:47:17 × srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!)
18:55:28 × jespada quits (~jespada@2800:a4:2276:e000:c80c:9883:d280:9e9e) (Quit: My Mac has gone to sleep. ZZZzzz…)
18:57:53 alfiee joins (~alfiee@user/alfiee)
19:02:15 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 265 seconds)
19:02:40 Guest85 joins (~Guest85@91.229.132.224)
19:05:42 Square joins (~Square@user/square)
19:06:14 madcabbage joins (~cabbage@108.61.194.151)
19:06:59 × messewix quits (~jmc@user/messewix) (Remote host closed the connection)
19:09:40 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
19:11:27 × Guest85 quits (~Guest85@91.229.132.224) (Quit: Client closed)
19:11:52 × gawen quits (~gawen@user/gawen) (Quit: cya)
19:16:23 <Guest1> Good evening everyone (GMT+1) here
19:16:41 <Guest1> I have a strange issue with cabal/ghc
19:17:04 <Guest1> Currently working under macOS, no idea if it’s related
19:17:14 gawen joins (~gawen@user/gawen)
19:21:01 <Guest1> I created an empty project (cabal init), filled two dependencies (duckdb-haskell, yaml), and « cabal build »… then cabal seems stuck with the message « Building     duckdb-haskell-0.1.0.0 (lib) ». No network usage, no CPU… nothing.
19:22:44 <[exa]> Guest1: wow, can you try something like `dtrace` if available to check where it is stuck?
19:22:58 <[exa]> maybe it's `truss`, on linux it's normally `strace`
19:23:26 <haskellbridge> <sm> Guest1, check if it's using up your memory, with top
19:23:58 <haskellbridge> <sm> * memory and swapping,
19:24:23 <haskellbridge> <sm> you could also make it more verbose with -v
19:25:18 <Guest1> using top and the monitor (graphical top for macosx) only shows the cabal process, but no cpu, no memory hogs
19:25:35 <haskellbridge> <sm> (as a mac user, I can say that trace/truss won't be easy)
19:25:52 <Guest1> With -v, it stops on the message. Running: /Users/slac/.ghcup/bin/cabal-3.12.1.0 act-as-setup '--build-type=Simple' -- build '--verbose=2' '--builddir=dist'
19:26:01 <haskellbridge> <sm> maybe it's hung on networking then ?
19:26:26 acidjnk_new joins (~acidjnk@p200300d6e7283f23fd140dc145444417.dip0.t-ipconnect.de)
19:27:34 <Guest1> good idea : I do have a firewall which could block scripts and terminal commands. I usually do get alert messages when some program tries to access the Internet, but maybe it’s silently failing here.
19:29:49 <Guest1> Hmm… not sure, not seeing anything on the FW. I do not know dtrace, how could it help me on this ?
19:32:16 lxsameer joins (~lxsameer@Serene/lxsameer)
19:33:40 <haskellbridge> <sm> do you have little snitch running ? Nothing recently denied ?
19:34:22 <Guest1> No. The issue seems to come from the duckdb package. cabal works fine if I remove that dependency.
19:34:36 <[exa]> Guest1: ah it's `dtruss` on mac, sorry for confusion. Basically you can connect it to a process and see what systemcall it's hung on. See e.g. https://stackoverflow.com/questions/31045575/how-to-trace-system-calls-of-a-program-in-mac-os-x
19:35:16 <[exa]> (wow the thread even shows `ktrace` as alternative, never seen that, cool.)
19:35:26 <haskellbridge> <sm> That's a 10 year old answer unfortunately, it's much harder to do now
19:35:42 <haskellbridge> <sm> Guest, I would run cabal with more verbose output
19:36:23 <haskellbridge> <sm> oh, you did
19:36:57 k_hachig_ is now known as k_hachig
19:37:05 <haskellbridge> <sm> maybe duckdb does something funny in its Setup.hs
19:37:32 <haskellbridge> <sm> it seems to be not a published package
19:37:57 <haskellbridge> <sm> do you mean https://hackage.haskell.org/package/duckdb-haskell ?
19:38:05 <Guest1> sorry, dtruss doesn’t work because of security protection
19:38:13 × gawen quits (~gawen@user/gawen) (Quit: cya)
19:38:14 <Guest1> sm: yes I do
19:39:07 <haskellbridge> <sm> possibly related: https://github.com/sighingnow/duckdb-haskell/issues/1
19:40:03 <Guest1> yes indeed…
19:40:11 <geekosaur> my butt says system protections are slowing it for some reason. (on windows almost certainly true; you need to disable antivirus scanning for some things to run at normal speed)
19:40:58 <geekosaur> I think ghcup instal lon windows warns you of this, although it might not detect wsl2 install. but this is a mac so w/e
19:41:06 <haskellbridge> <sm> I haven't heard of mac SIP causing slowness.. usually it just says no
19:41:27 <Guest1> It’s the issue’s birthday, by the way ;)
19:42:20 <haskellbridge> <sm> that's a lot of cpp files. But compiling those should be fast and shouldn't hang, right
19:42:40 <Guest1> Maybe it’ll only take 10 minutes, I have an M3, which is supposed to be faster :)
19:43:07 <Guest1> Thank you, everyone. Very much.
19:43:22 gawen joins (~gawen@user/gawen)
19:43:57 alfiee joins (~alfiee@user/alfiee)
19:45:13 Digit joins (~user@user/digit)
19:48:46 Sgeo joins (~Sgeo@user/sgeo)
19:48:54 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 272 seconds)
19:55:31 michalz joins (~michalz@185.246.207.222)
19:59:18 × xal quits (~xal@mx1.xal.systems) (Quit: bye)
19:59:52 xal joins (~xal@mx1.xal.systems)
20:00:04 × caconym quits (~caconym@user/caconym) (Quit: bye)
20:01:10 caconym joins (~caconym@user/caconym)
20:02:37 × user_ quits (~user@user/fmira) (Remote host closed the connection)
20:02:55 <haskellbridge> <sm> sustained no cpu activity sounds suspect though.
20:03:04 user_ joins (~user@user/fmira)
20:03:19 × k_hachig quits (~k_hachig@2607:fea8:351d:ef0:35c6:9be8:bd26:143) (Ping timeout: 260 seconds)
20:15:24 × picnoir quits (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.5.1)
20:16:09 × hattckory quits (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 260 seconds)
20:16:43 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
20:16:46 picnoir joins (~picnoir@about/aquilenet/vodoo/NinjaTrappeur)
20:19:41 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
20:29:21 alfiee joins (~alfiee@user/alfiee)
20:30:34 hattckory joins (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca)
20:33:39 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds)
20:35:41 <Guest1> yes, indeed. That’s why I was confused in the first place, as it was my first guess (cpu or network hog)
20:38:23 <haskellbridge> <sm> if stuck, maybe download that package and compare building from the source tree
20:38:27 × hattckory quits (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 276 seconds)
20:38:46 <haskellbridge> <sm> and/or with stack
20:40:10 × Guest1 quits (~Guest90@231.11.11.93.rev.sfr.net) (Ping timeout: 240 seconds)
20:40:51 <haskellbridge> <sm> I tried building here.. what did you do to satisfy " #include <memory>" ?
20:42:28 × lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds)
20:52:26 Digitteknohippie joins (~user@user/digit)
20:53:36 × Digit quits (~user@user/digit) (Ping timeout: 244 seconds)
20:53:53 <mauke> <memory> is a standard C++ header
21:04:18 <haskellbridge> <sm> not here..
21:05:00 × simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 265 seconds)
21:05:46 simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
21:05:55 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
21:07:19 <haskellbridge> <sm> or rather: I just wanted to know what my fellow mac user did to avoid this when building duckdb-haskell https://termbin.com/bkgs
21:07:19 × synchromesh quits (~john@2406:5a00:24cf:bb00:bc6d:a873:1cc2:c331) (Read error: Connection reset by peer)
21:08:24 synchromesh joins (~john@2406:5a00:24cf:bb00:9992:10a:da26:56df)
21:08:39 <sm> but they've moved on
21:08:49 <sm> and I should too. :)
21:10:52 × Pozyomka quits (~pyon@user/pyon) (Read error: Connection reset by peer)
21:10:52 Pozyomka_ joins (~pyon@user/pyon)
21:11:23 × poscat quits (~poscat@user/poscat) (Ping timeout: 244 seconds)
21:12:03 × simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds)
21:12:28 k_hachig_ joins (~k_hachig@2607:fea8:351d:ef0:35c6:9be8:bd26:143)
21:12:55 simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
21:13:32 poscat joins (~poscat@user/poscat)
21:15:25 alfiee joins (~alfiee@user/alfiee)
21:19:49 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds)
21:23:01 × simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds)
21:25:39 hattckory joins (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca)
21:41:32 <kaol> GHC is too easy to use. I propose that every extension has to have a word in their name with a different spelling in British and US English and that we randomize which one to use for each.
21:42:48 tromp joins (~textual@2a02:a210:cba:8500:dc22:4f8f:98d9:547)
21:43:19 <c_wraith> that's still just memorization. better randomize the correct choice for each compilation
21:43:27 JuanDaugherty joins (~juan@user/JuanDaugherty)
21:46:01 <mauke> include some fake british spellings, too
21:46:05 <mauke> like motour or diametre
21:48:59 JuanDaugherty parts (~juan@user/JuanDaugherty) (Exeunt DS Producers)
21:57:51 × takuan quits (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection)
21:58:25 × michalz quits (~michalz@185.246.207.222) (Remote host closed the connection)
22:01:18 <monochrom> I propose that GHC requires you to login to a github account, a google account, a microsoft account, an apple acount, and an amazon acount; and then it sends a verification code by whatsapp.
22:01:29 alfiee joins (~alfiee@user/alfiee)
22:02:04 <monochrom> 6FA (TM)
22:02:23 <enikar> lol
22:05:42 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds)
22:06:03 <kaol> And delete source files on type errors. No wait, that was a real feature.
22:09:16 <monochrom> Then also delete source files on runtime errors.
22:09:48 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds)
22:09:52 <monochrom> <-- was discussing static typing vs dynamic typing yesterday for a class
22:10:16 chamlis joins (~chamlis@user/chamlis)
22:10:42 <monochrom> And why not: delete GHC itself on GHC panics.
22:14:21 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
22:26:58 × sudden quits (~cat@user/sudden) (Ping timeout: 252 seconds)
22:28:58 sudden joins (~cat@user/sudden)
22:30:19 <haskellbridge> <sm> I propose that extensions should be automatically enabled as needed, like cabal build flags
22:31:34 sdegsedfhbseth joins (~Guest4@2a02:3100:7f77:c000:3d6d:3f21:674f:dfef)
22:31:45 × sdegsedfhbseth quits (~Guest4@2a02:3100:7f77:c000:3d6d:3f21:674f:dfef) (Quit: Client closed)
22:31:59 <haskellbridge> <sm> using AI to work around ghc, libs, hls, platform issues
22:38:47 <int-e> how does that work, do you ask the AI to assure you that there are no issues?
22:41:40 <haskellbridge> <sm> Uh, ghc and all the tools call AI for help and try something different instead of just printing an error like caveman tech
22:43:49 machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net)
22:44:24 × superbatman quits (~brett@user/wonderman) (Quit: Leaving)
22:44:37 superbatman joins (~brett@cpc91312-watf11-2-0-cust1213.15-2.cable.virginm.net)
22:44:55 <haskellbridge> <sm> I'm only half joking. I'd pay for a vs code addon that augments haskell tool error messages with more useful advice and up to date links
22:45:28 <haskellbridge> <sm> we're all doing a ton of machine work
22:47:13 alfiee joins (~alfiee@user/alfiee)
22:50:10 × notdabs quits (~Owner@2600:6c40:4300:950:d78:9719:f6a5:bdd) (Remote host closed the connection)
22:50:33 notdabs joins (~Owner@2600:6c40:4300:950:d78:9719:f6a5:bdd)
22:51:29 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds)
22:57:53 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
23:08:07 wonderman joins (~brett@cpc91312-watf11-2-0-cust1213.15-2.cable.virginm.net)
23:08:20 × wonderman quits (~brett@cpc91312-watf11-2-0-cust1213.15-2.cable.virginm.net) (Changing host)
23:08:20 wonderman joins (~brett@user/wonderman)
23:10:18 × killy quits (~killy@terminal-3-187.retsat1.com.pl) (Ping timeout: 272 seconds)
23:17:05 × machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds)
23:22:42 wonderman is now known as superbatman_
23:24:20 superbatman_ is now known as TheHoodedClaw
23:24:32 × hgolden quits (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection)
23:32:08 hgolden joins (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363)
23:32:13 Smiles joins (uid551636@id-551636.lymington.irccloud.com)
23:32:58 alfiee joins (~alfiee@user/alfiee)
23:37:22 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds)
23:38:06 × k_hachig_ quits (~k_hachig@2607:fea8:351d:ef0:35c6:9be8:bd26:143) (Ping timeout: 268 seconds)
23:49:10 vicfred joins (~vicfred@user/vicfred)
23:50:43 yegorc joins (~yegorc@user/yegorc)
23:50:45 × Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 248 seconds)
23:59:04 × misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 268 seconds)

All times are in UTC on 2025-03-01.