Home liberachat/#haskell: Logs Calendar

Logs on 2024-01-01 (liberachat/#haskell)

00:00:46 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
00:02:54 → notzmv joins (~zmv@user/notzmv)
00:06:31 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
00:08:23 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
00:12:07 × _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection)
00:17:59 × misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 264 seconds)
00:26:16 × rvalue quits (~rvalue@user/rvalue) (Quit: ZNC - https://znc.in)
00:26:30 → rvalue joins (~rvalue@user/rvalue)
00:38:04 → wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com)
00:38:04 × wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
00:38:04 → wroathe joins (~wroathe@user/wroathe)
00:38:26 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 256 seconds)
00:46:34 × regret quits (~regret@176.254.244.83) (Ping timeout: 268 seconds)
00:47:10 → mjs2600 joins (~mjs2600@c-174-169-225-239.hsd1.vt.comcast.net)
00:51:18 → waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
01:01:59 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
01:07:13 × vulpine quits (xfnw@tilde.team) (Ping timeout: 268 seconds)
01:08:46 → happynewyear_ joins (~newyear@176.254.244.83)
01:13:59 → erina joins (~erina@2409:8a31:4a3:c0a1::1000)
01:17:08 × peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Remote host closed the connection)
01:17:23 × sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 264 seconds)
01:17:28 → peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com)
01:18:52 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds)
01:19:59 → Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
01:26:49 × erina quits (~erina@2409:8a31:4a3:c0a1::1000) (Remote host closed the connection)
01:27:09 → erina joins (~erina@178.157.56.217.16clouds.com)
01:29:24 × erina quits (~erina@178.157.56.217.16clouds.com) (Remote host closed the connection)
01:29:42 → erina joins (~erina@178.157.56.217.16clouds.com)
01:33:49 × peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
01:35:08 → L29Ah joins (~L29Ah@wikipedia/L29Ah)
01:37:19 × Moyst_ quits (~moyst@user/moyst) (Ping timeout: 256 seconds)
01:39:30 → vulpine joins (xfnw@tilde.team)
01:39:58 → Pixi` joins (~Pixi@user/pixi)
01:43:34 × Pixi__ quits (~Pixi@user/pixi) (Ping timeout: 276 seconds)
01:45:57 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:450d:70a8:4372:1e73) (Remote host closed the connection)
02:00:13 × zeka_ quits (~zeka@2600:1700:2121:180:a498:f6ae:d429:176) (Remote host closed the connection)
02:01:33 → zeka_ joins (~zeka@2600:1700:2121:180:a498:f6ae:d429:176)
02:04:16 → _myclm joins (~myclm_@2a02:810d:8200:1628::8920)
02:05:06 × zeka_ quits (~zeka@2600:1700:2121:180:a498:f6ae:d429:176) (Remote host closed the connection)
02:06:18 → zeka_ joins (~zeka@2600:1700:2121:180:a498:f6ae:d429:176)
02:07:41 × erina quits (~erina@178.157.56.217.16clouds.com) (Remote host closed the connection)
02:08:05 → erina joins (~erina@2409:8a31:4a3:c0a1::1000)
02:15:17 × chomwitt quits (~chomwitt@2a02:587:7a0f:8900:1ac0:4dff:fedb:a3f1) (Ping timeout: 240 seconds)
02:17:56 → peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com)
02:19:31 × _myclm quits (~myclm_@2a02:810d:8200:1628::8920) (Ping timeout: 246 seconds)
02:19:34 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:c038:f2f2:8c5a:c140)
02:44:11 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 260 seconds)
02:46:43 × zeka_ quits (~zeka@2600:1700:2121:180:a498:f6ae:d429:176) (Remote host closed the connection)
02:47:13 → zeka_ joins (~zeka@2600:1700:2121:180:a498:f6ae:d429:176)
02:55:06 → Feuermagier_ joins (~Feuermagi@user/feuermagier)
02:55:06 × Feuermagier quits (~Feuermagi@user/feuermagier) (Killed (molybdenum.libera.chat (Nickname regained by services)))
02:55:06 Feuermagier_ is now known as Feuermagier
02:56:19 → wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com)
02:56:19 × wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
02:56:19 → wroathe joins (~wroathe@user/wroathe)
03:07:04 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:c038:f2f2:8c5a:c140) (Remote host closed the connection)
03:07:23 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:c038:f2f2:8c5a:c140)
03:22:44 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 252 seconds)
03:23:31 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
03:23:32 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
03:26:07 × td_ quits (~td@i53870924.versanet.de) (Ping timeout: 255 seconds)
03:28:03 → td_ joins (~td@i53870938.versanet.de)
04:00:48 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
04:07:15 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
04:07:51 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
04:12:04 → Axman6 joins (~Axman6@user/axman6)
04:15:42 → aforemny_ joins (~aforemny@2001:9e8:6cee:cc00:fb16:26f0:239b:a8b8)
04:16:36 × aforemny quits (~aforemny@i59F516E4.versanet.de) (Ping timeout: 245 seconds)
04:16:38 × jargon quits (~jargon@211.sub-174-205-225.myvzw.com) (Remote host closed the connection)
04:33:52 × paddymahoney quits (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) (Ping timeout: 276 seconds)
04:40:49 → causal joins (~eric@50.35.85.7)
04:54:35 → arahael joins (~arahael@119-18-1-187.771201.syd.nbn.aussiebb.net)
04:55:05 <arahael> I'm attempting to list all the files in my directory, using glob: globDir [compile "*"] root
04:55:08 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds)
04:55:24 <arahael> However, it results in [[]], so I don't think I'm running that correctly - any suggestions?
04:56:39 <arahael> Oh, d'oh. Rubber-chicken effect. Found the issue, the 'root' had a newline at the end.
05:04:11 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
05:06:50 × johnw quits (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in)
05:15:28 → KaitoDaumoto joins (~asdf@user/kaitodaumoto)
05:26:22 → acidjnk joins (~acidjnk@p200300d6e72b93922011a544610dfbb3.dip0.t-ipconnect.de)
05:33:01 × TonyStone quits (~TonyStone@074-076-057-186.res.spectrum.com) (Remote host closed the connection)
06:23:04 × Square quits (~Square@user/square) (Ping timeout: 276 seconds)
06:31:24 <albet70> is there a function that just print Either value? if it's Left then print the exception, Right then do nothing?
06:37:08 <albet70> do { v <- doSomthing; f v } is there a way to write like do { f v <- doSomething }?
06:51:35 × peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
06:51:47 → paddymahoney joins (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com)
07:04:18 → sroso joins (~sroso@user/SrOso)
07:21:49 → harveypwca joins (~harveypwc@2601:246:c280:7940:585a:99af:3e4c:209b)
07:22:36 <haskellbridge> 05<i​rregularsphere> albet70: pretty sure the either function is `either error id`
07:28:47 <haskellbridge> 05<i​rregularsphere> it returns a Either though so maybe with `fromRight` too?
07:29:46 <haskellbridge> 05<i​rregularsphere> yeah i can't find a shorter one
07:41:57 × Lycurgus quits (~georg@user/Lycurgus) (Quit: leaving)
07:50:13 <EvanR> lol rubber chicken, is that like rubber duck
07:51:14 × EvanR quits (~EvanR@user/evanr) (Quit: Leaving)
07:52:57 → EvanR joins (~EvanR@user/evanr)
07:56:45 × harveypwca quits (~harveypwc@2601:246:c280:7940:585a:99af:3e4c:209b) (Quit: Leaving)
08:05:18 → famubu joins (~julinuser@user/famubu)
08:06:19 <famubu> Hi. Is it possible to have a variable capable of store types as values? Like a variable `x` whose possible values are `Int`, `Bool`, etc? With the use of a extensions, perhaps?
08:07:21 → misterfish joins (~misterfis@84.53.85.146)
08:11:54 → Sgeo joins (~Sgeo@user/sgeo)
08:22:07 → igemnace joins (~ian@user/igemnace)
08:25:03 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 268 seconds)
08:36:08 × igemnace quits (~ian@user/igemnace) (Remote host closed the connection)
08:56:22 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
09:17:03 <famubu> And I've heard that we can sort of fake/simulate dependent types in ghc via some extensions to a certain extent. Does anyone know any resources where we can read upon that?
09:17:28 → igemnace joins (~ian@user/igemnace)
09:20:27 × igemnace quits (~ian@user/igemnace) (Remote host closed the connection)
09:21:57 × not_reserved quits (~not_reser@45.88.220.41) (Quit: Client closed)
09:28:52 <jackdk> the search term you want is `singletons`, I think
09:31:28 → [_] joins (~itchyjunk@user/itchyjunk/x-7353470)
09:35:40 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 268 seconds)
09:44:21 × xff0x quits (~xff0x@2405:6580:b080:900:791e:7086:95e5:b75e) (Ping timeout: 260 seconds)
09:45:14 → famubu_ joins (~famubu@14.139.174.50)
09:45:48 → LispTyro joins (~pepsi@129.159.85.69)
09:45:58 → xff0x joins (~xff0x@178.255.149.135)
09:47:56 → random-jellyfish joins (~tiber@user/random-jellyfish)
09:49:23 × LispTyro quits (~pepsi@129.159.85.69) (Client Quit)
09:53:38 × xff0x quits (~xff0x@178.255.149.135) (Ping timeout: 260 seconds)
09:55:11 → xff0x joins (~xff0x@2405:6580:b080:900:f76a:b63b:2b38:6d46)
09:55:42 × random-jellyfish quits (~tiber@user/random-jellyfish) (Quit: Leaving)
10:06:02 → billchenchina joins (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe)
10:13:31 → _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
10:22:15 → __monty__ joins (~toonn@user/toonn)
10:25:34 → sawilagar joins (~sawilagar@user/sawilagar)
10:25:46 × sroso quits (~sroso@user/SrOso) (Quit: Leaving)
10:31:58 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:c038:f2f2:8c5a:c140) (Read error: Connection reset by peer)
10:32:44 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
10:33:22 → mima joins (~mmh@95.90.245.6)
10:33:49 → notzmv joins (~zmv@user/notzmv)
10:41:04 × tzh quits (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz)
10:45:25 × erina quits (~erina@2409:8a31:4a3:c0a1::1000) (Ping timeout: 256 seconds)
10:46:15 → lisbeths joins (~user@c-174-164-24-226.hsd1.wa.comcast.net)
10:48:38 <lisbeths> Okay so I want to take my entire environment including all loaded libraries and turn it into a lambda expression
10:48:47 → random-jellyfish joins (~developer@user/random-jellyfish)
10:49:16 <lisbeths> Dump the state of the machine into a lambda
10:49:25 <Rembane> That sounds like nix.
10:49:30 <lisbeths> ah
10:49:33 <lisbeths> I will ask
10:49:37 <lisbeths> /join #nix
10:49:57 <lisbeths> what is the nix channel
10:50:18 <Rembane> They seem to be using Matrix: https://nixos.org/community/
10:50:32 <lisbeths> interesting
10:51:18 <nullie> #nixos is moderately active
10:54:11 × tertek quits (~tertek@user/tertek) (Quit: %quit%)
10:55:24 → tertek joins (~tertek@user/tertek)
11:08:36 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:c038:f2f2:8c5a:c140)
11:16:21 × econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
11:16:35 × mima quits (~mmh@95.90.245.6) (Quit: leaving)
11:17:58 <lisbeths> The nix guys told me that dumping the nix system and its libraries into a lambda expression is officially unsupported by nix project
11:36:36 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
11:37:02 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
11:46:31 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
11:51:07 → gentauro joins (~gentauro@user/gentauro)
11:55:18 × jmdaemon quits (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in)
11:55:37 → jmdaemon joins (~jmdaemon@user/jmdaemon)
11:59:44 → erina joins (~erina@2001:da8:d800:e1b5:1830:ab2:6ff8:a9ac)
12:01:18 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
12:01:21 → Sgeo_ joins (~Sgeo@user/sgeo)
12:04:54 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
12:05:13 → fendor joins (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c)
12:05:26 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
12:06:25 × jmdaemon quits (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in)
12:06:44 → jmdaemon joins (~jmdaemon@user/jmdaemon)
12:07:09 × lisbeths quits (~user@c-174-164-24-226.hsd1.wa.comcast.net) (Read error: Connection reset by peer)
12:14:30 → drdo1 joins (~drdo@bl14-14-49.dsl.telepac.pt)
12:14:56 × drdo quits (~drdo@bl14-14-49.dsl.telepac.pt) (Ping timeout: 245 seconds)
12:14:56 drdo1 is now known as drdo
12:18:37 × malte quits (~malte@mal.tc) (Remote host closed the connection)
12:19:51 → malte joins (~malte@mal.tc)
12:31:48 → ht_ joins (~Thunderbi@194.110.115.24)
12:31:58 × _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Ping timeout: 255 seconds)
12:31:58 ht_ is now known as _ht
12:35:11 × phma quits (phma@2001:5b0:211f:2df8:fe50:c9dd:d398:6ba) (Read error: Connection reset by peer)
12:36:15 → phma joins (phma@2001:5b0:210f:2f48:41e0:848:c683:cd1)
12:37:02 → michalz joins (~michalz@185.246.207.222)
12:45:29 × Sgeo_ quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
12:52:49 → AlexNoo_ joins (~AlexNoo@178.34.161.237)
12:53:21 → Tuplanolla joins (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi)
12:56:11 × AlexZenon quits (~alzenon@178.34.163.207) (Ping timeout: 245 seconds)
12:56:24 × AlexNoo quits (~AlexNoo@178.34.163.207) (Ping timeout: 252 seconds)
12:56:26 × pastly quits (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection)
12:56:51 → pastly joins (~pastly@gateway/tor-sasl/pastly)
13:05:30 <albet70> :t error
13:05:31 <lambdabot> [Char] -> a
13:06:00 <albet70> why this a can be return type? a is not defined
13:06:58 → AlexZenon joins (~alzenon@178.34.161.237)
13:07:27 <Rembane> It's any type at all. It doesn't matter in the grand scheme of things since there will be no value of the return type.
13:07:44 <Rembane> It's just there to match whatever type you have around it
13:07:59 <Rembane> :t (error "Look at my type!") :: Int
13:08:00 <lambdabot> Int
13:08:25 <Rembane> My theory is that it is how it is because of programmer ergonomics.
13:09:03 <haskellbridge> 04<z​wro> an error is equivalent to non termination
13:09:48 <albet70> I use 'either error id (v:: Either String ())' in IO's do natation, Couldn't match expected type `IO ()' with actual type `()'
13:09:50 <haskellbridge> 04<z​wro> it "has no type"
13:11:09 <albet70> return $ either error id v?
13:11:39 <haskellbridge> 04<z​wro> :t let x = x in x
13:12:08 <haskellbridge> 04<z​wro> :(
13:13:06 → yin joins (~yin@user/zero)
13:13:31 <yin> :t let x = x in x
13:13:32 <lambdabot> t
13:13:40 <yin> :t error mempty
13:13:41 <lambdabot> a
13:13:53 <haskellbridge> 04<z​wro> there we go
13:15:15 <ncf> (forall a. a) ≃ Void
13:15:37 yin handwaves
13:15:46 <albet70> return $ either error id v is ok in do notation
13:16:05 <albet70> another question , how to do { f v <- ... }?
13:16:51 <yin> albet70: what do you intend that to mean?
13:17:05 <albet70> do { v < ...; f v }
13:17:41 <albet70> do { v <- ...; f v }
13:18:04 <albet70> do { f v where v <- ...; }?
13:18:16 <[Leary]> @undo do{ v <- act; f v }
13:18:16 <lambdabot> act >>= \ v -> f v
13:18:17 <yin> do { x <- f <$> ... }
13:21:00 <yin> albet70: you should start from understanding what's going on at the functional level before learning do notation
13:21:07 <yin> do notation is just sugar
13:26:03 <albet70> I see, thanks
13:26:15 <albet70> f <$> is good
13:32:09 × Hobbyboy quits (Hobbyboy@hobbyboy.co.uk) (Quit: The BNC has broken!)
13:35:36 → Hobbyboy joins (Hobbyboy@hobbyboy.co.uk)
13:38:24 → xdminsy joins (~xdminsy@117.147.71.169)
13:40:58 × remedan quits (~remedan@ip-94-112-0-18.bb.vodafone.cz) (Ping timeout: 246 seconds)
13:42:52 → remedan joins (~remedan@ip-94-112-0-18.bb.vodafone.cz)
13:44:57 × xdej quits (~xdej@quatramaran.salle-s.org) (Remote host closed the connection)
13:50:02 × random-jellyfish quits (~developer@user/random-jellyfish) (Ping timeout: 268 seconds)
13:51:50 <albet70> why there're Data.Either and Control.Monad.Trans.Except both?
13:53:40 <albet70> and Data.Functor Control.Monad?
13:56:55 → random-jellyfish joins (~developer@user/random-jellyfish)
13:58:48 → Lycurgus joins (~georg@li1192-118.members.linode.com)
13:58:48 × Lycurgus quits (~georg@li1192-118.members.linode.com) (Changing host)
13:58:48 → Lycurgus joins (~georg@user/Lycurgus)
14:00:54 <c_wraith> the Data and Control prefixes don't really mean anything
14:01:28 <c_wraith> *especially* in Haskell, where data structures and control flow can be the same thing
14:02:09 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
14:02:28 <c_wraith> Just think of them as the legacy of historical accidents. Meaningless in themselves, but kept around because changing them would be useless churn
14:03:22 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
14:03:56 <Lycurgus> https://en.wikipedia.org/wiki/Control_Data_Institute where i did first code
14:04:59 <albet70> ok
14:08:23 → coot joins (~coot@89-69-206-216.dynamic.chello.pl)
14:10:11 × raym quits (~ray@user/raym) (Ping timeout: 264 seconds)
14:11:58 → raym joins (~ray@user/raym)
14:18:10 AlexNoo_ is now known as AlexNoo
14:26:59 × famubu_ quits (~famubu@14.139.174.50) (Ping timeout: 260 seconds)
14:30:14 <yin> a
14:32:28 → pavonia joins (~user@user/siracusa)
14:33:18 × elkcl quits (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Remote host closed the connection)
14:34:27 × yin quits (~yin@user/zero) (Quit: leaving)
14:50:34 × random-jellyfish quits (~developer@user/random-jellyfish) (Ping timeout: 255 seconds)
14:52:44 ← ncf parts (~n@monade.li) (Fairfarren.)
14:52:55 → ncf joins (~n@monade.li)
15:01:12 → mokee joins (~mokee@37.228.215.150)
15:07:00 → ht_ joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
15:08:28 × _ht quits (~Thunderbi@194.110.115.24) (Ping timeout: 246 seconds)
15:08:28 ht_ is now known as _ht
15:09:19 × mokee quits (~mokee@37.228.215.150) (Quit: off)
15:09:36 → mokee joins (~mokee@37.228.215.150)
15:17:30 × mokee quits (~mokee@37.228.215.150) (Quit: off)
15:17:50 → mokee joins (~mokee@37.228.215.150)
15:18:17 → random-jellyfish joins (~developer@user/random-jellyfish)
15:18:43 × dtman34 quits (~dtman34@2601:447:d000:93c9:e786:29de:e176:d44e) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in)
15:19:06 → dtman34 joins (~dtman34@c-76-156-89-180.hsd1.mn.comcast.net)
15:21:01 × nckxmas quits (~nckx@libera/staff/owl/nckx) (Quit: Updating my Guix System <https://guix.gnu.org>)
15:21:30 → famubu_ joins (~famubu@14.139.174.50)
15:21:38 → nckx joins (~nckx@libera/staff/owl/nckx)
15:22:17 × mokee quits (~mokee@37.228.215.150) (Client Quit)
15:25:40 → mokee joins (~mokee@37.228.215.150)
15:33:56 × mokee quits (~mokee@37.228.215.150) (Quit: off)
15:35:01 → adanwan_ joins (~adanwan@gateway/tor-sasl/adanwan)
15:36:01 → mokee joins (~mokee@37.228.215.150)
15:36:16 × adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
15:37:16 → Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
15:38:06 → stef204 joins (~stef204@user/stef204)
15:38:31 × stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds)
15:42:11 → elkcl joins (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru)
15:43:41 × erina quits (~erina@2001:da8:d800:e1b5:1830:ab2:6ff8:a9ac) (Ping timeout: 245 seconds)
15:46:53 × mokee quits (~mokee@37.228.215.150) (Quit: off)
15:48:23 → mokee joins (~mokee@37.228.215.150)
15:51:36 × mokee quits (~mokee@37.228.215.150) (Client Quit)
15:52:21 → mokee joins (~mokee@37.228.215.150)
15:52:42 → stiell joins (~stiell@gateway/tor-sasl/stiell)
15:53:04 → trev joins (~trev@user/trev)
15:55:34 → Square joins (~Square@user/square)
15:56:00 → xdej joins (~xdej@quatramaran.salle-s.org)
15:57:03 × mokee quits (~mokee@37.228.215.150) (Client Quit)
15:58:25 → mokee joins (~mokee@37.228.215.150)
16:02:00 × mokee quits (~mokee@37.228.215.150) (Client Quit)
16:05:37 → mokee joins (~mokee@37.228.215.150)
16:07:35 × stef204 quits (~stef204@user/stef204) (Quit: WeeChat 4.1.2)
16:30:40 → steew joins (~steew@user/steew)
16:34:50 → jargon joins (~jargon@211.sub-174-205-225.myvzw.com)
16:36:50 → ACuriousMoose1 joins (~ACuriousM@142.166.18.53)
16:37:31 × ACuriousMoose quits (~ACuriousM@142.166.18.53) (Read error: Connection reset by peer)
16:37:31 ACuriousMoose1 is now known as ACuriousMoose
16:44:24 → igemnace joins (~ian@user/igemnace)
16:46:51 → Moyst_ joins (~moyst@user/moyst)
16:49:24 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
17:02:19 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
17:11:11 ChanServ sets mode +o litharge
17:11:11 litharge sets mode -bbbb *!*@64.145.79.171 *!*@2601:40:c580:8530:215e:3848:10c5:78d9 *!*@2601:40:c580:8530:9c03:7900:f37d:8622 *!*@100.11.18.203
17:11:11 litharge sets mode -bo $a:money litharge
17:13:32 × hughjfch1 quits (~hughjfche@vmi556545.contaboserver.net) (Ping timeout: 268 seconds)
17:14:03 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
17:21:08 × billchenchina quits (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Quit: Leaving)
17:39:40 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
17:59:32 → machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
18:03:35 × foul_owl quits (~kerry@157.97.134.166) (Ping timeout: 264 seconds)
18:09:33 → tzh joins (~tzh@c-71-193-181-0.hsd1.or.comcast.net)
18:15:47 → foul_owl joins (~kerry@157.97.134.164)
18:19:27 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
18:30:57 → waldo joins (~waldo@user/waldo)
18:33:41 justIrresolute is now known as justache
18:35:46 → siw5ohs0 joins (~aiw5ohs0@user/aiw5ohs0)
18:36:11 ← siw5ohs0 parts (~aiw5ohs0@user/aiw5ohs0) ()
18:42:22 × famubu_ quits (~famubu@14.139.174.50) (Ping timeout: 260 seconds)
18:43:26 → srazkvt joins (~sarah@2a01:e0a:483:6900:ffc8:6383:8b0f:31af)
18:49:39 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:c038:f2f2:8c5a:c140) (Remote host closed the connection)
18:50:01 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:c038:f2f2:8c5a:c140)
18:54:20 × enikar quits (~enikar@chezlefab.net) (Quit: WeeChat 3.0)
19:10:40 × misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 246 seconds)
19:12:00 → Ashkan joins (~Ashkan@147.161.173.72)
19:14:18 × igemnace quits (~ian@user/igemnace) (Read error: Connection reset by peer)
19:14:44 <Ashkan> Hello all :wave:
19:14:44 <Ashkan> I need some help understanding a `dlopen()` error I'm getting :
19:14:45 <Ashkan> ```
19:14:45 <Ashkan> dlopen(some long local temp path to project executable, 0x0005): Library not loaded: @rpath/libvulkan.1.dylib
19:14:46 <Ashkan> ```
19:14:46 <Ashkan> I don't understand why it can't load the vulkan loader. I have the `- -optl-Wl,-rpath,/usr/local/lib` option set and it works if I remove the `vulkan-utils` package but keep the `vulkan` (I need both though)
19:15:33 <Ashkan> I'm on a mac and lib in question (`libvulkan.1.dylib`) is on the mentioned path (`/usr/local/lib`)
19:26:04 → bratwurst joins (~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8)
19:28:11 × doyougnu- quits (~doyougnu@045-046-170-068.res.spectrum.com) (Ping timeout: 264 seconds)
19:29:19 <cheater> ugh, i wish i could help you, but i don't know much about dynamic linking
19:29:33 <cheater> but here's a thought, try to strace the executable, and see what it does
19:29:40 <cheater> you'll see every file it tries to open
19:30:02 <geekosaur> on a Mac that would be dtruss
19:30:15 <cheater> would it
19:30:53 → igemnace joins (~ian@user/igemnace)
19:41:19 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:c038:f2f2:8c5a:c140) (Remote host closed the connection)
19:42:33 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:c038:f2f2:8c5a:c140)
19:42:37 × waldo quits (~waldo@user/waldo) (Ping timeout: 256 seconds)
19:43:12 → waldo joins (~waldo@user/waldo)
19:51:30 → mqlnv_ joins (~tripod@47.154.25.27)
19:53:26 → doyougnu joins (~doyougnu@045-046-170-068.res.spectrum.com)
19:53:59 × mqlnv quits (~tripod@47.154.25.27) (Ping timeout: 264 seconds)
19:54:19 <cjay> Ashkan: I remember dealing with @rpath and vulkan linking troubles a loong time ago, what I learned (and since forgot) became part of this file here https://github.com/achirkin/vulkan/blob/master/README-macOS.md
19:56:33 <Ashkan> Thank you. I dug some more and now I have another question:
19:56:34 <Ashkan> How do I get stack/GHC/somethingelse? to add a specific LC_RPATH to the final executable ? So far I've tried `- -optl-Wl,-rpath,/usr/local/lib` (from GHC docs) and `extra-lib-dirs: [/usr/local/lib]` in `stack.yaml` file to no avail :-/ this is very confusing to me :D
19:56:39 × bratwurst quits (~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8) (Ping timeout: 256 seconds)
19:57:25 <Ashkan> Using `otool -l $(stack exec which vulkan-exe) | grep -2 LC_RPATH` shows a few hits but none of them is the path I want to add in there.
20:00:05 × doyougnu quits (~doyougnu@045-046-170-068.res.spectrum.com) (Ping timeout: 240 seconds)
20:00:22 <cjay> I think using GLFW or something (which dlopens the vulkan loader for you) is the best option tbh. No need to convince ld to do what you want.
20:05:26 <Ashkan> I'm using SDL2 for that but all it does (GLFW as well) is to call `dlopen()` with the right argument. This is already happening for me. Problem is I need the executable to have the correct tags on mac. This part is missed somehow.
20:06:03 → doyougnu joins (~doyougnu@045-046-170-068.res.spectrum.com)
20:06:29 → target_i joins (~target_i@217.175.14.39)
20:06:39 <Ashkan> If I manually modify the resulting executable to have the correct tags then it runs as it should but `stack build` should do this on for me already. Perhaps I should ask stack people?
20:08:48 × adanwan_ quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
20:09:32 → adanwan joins (~adanwan@gateway/tor-sasl/adanwan)
20:10:10 × adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
20:10:33 → adanwan joins (~adanwan@gateway/tor-sasl/adanwan)
20:10:34 × doyougnu quits (~doyougnu@045-046-170-068.res.spectrum.com) (Ping timeout: 260 seconds)
20:12:14 → _myclm joins (~myclm_@2a02:810d:8200:1628::8920)
20:14:10 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
20:20:37 → bratwurst joins (~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8)
20:21:00 × machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds)
20:30:47 × _myclm quits (~myclm_@2a02:810d:8200:1628::8920) (Ping timeout: 256 seconds)
20:31:54 → Sgeo joins (~Sgeo@user/sgeo)
20:32:34 × bratwurst quits (~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8) (Ping timeout: 246 seconds)
20:33:06 × mokee quits (~mokee@37.228.215.150) (Quit: off)
20:34:31 → TonyStone joins (~TonyStone@074-076-057-186.res.spectrum.com)
20:35:03 × Ashkan quits (~Ashkan@147.161.173.72) (Quit: Client closed)
20:40:56 → bratwurst joins (~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8)
20:41:43 × pastly quits (~pastly@gateway/tor-sasl/pastly) (Ping timeout: 240 seconds)
20:45:08 → Ashkan joins (~Ashkan@47-99-99-95.ftth.glasoperator.nl)
20:46:14 → pastly joins (~pastly@gateway/tor-sasl/pastly)
20:46:33 → doyougnu joins (~doyougnu@045-046-170-068.res.spectrum.com)
20:57:07 × bratwurst quits (~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8) (Ping timeout: 260 seconds)
20:59:08 × pastly quits (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection)
20:59:34 → pastly joins (~pastly@gateway/tor-sasl/pastly)
21:02:55 → meinside joins (uid24933@id-24933.helmsley.irccloud.com)
21:05:09 <trev> anyone have the correct ghc + hls combo to have a working eval plugin and fourmolu plugin?
21:08:59 × ralu1 quits (~ralu@static.211.245.203.116.clients.your-server.de) (Ping timeout: 264 seconds)
21:11:55 → bratwurst joins (~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8)
21:12:28 → ralu1 joins (~ralu@static.211.245.203.116.clients.your-server.de)
21:13:56 × ralu1 quits (~ralu@static.211.245.203.116.clients.your-server.de) (Client Quit)
21:14:49 → ralu1 joins (~ralu@static.211.245.203.116.clients.your-server.de)
21:15:39 × bratwurst quits (~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8) (Client Quit)
21:15:47 × Ashkan quits (~Ashkan@47-99-99-95.ftth.glasoperator.nl) (Quit: Client closed)
21:16:46 <[exa]> trev: not really but what error/problem did you encounter?
21:18:34 <trev> eval wasn't working correction (known bug on GH), then i updated GHC and formatting stopped working so then i downgraded a bit and eval wasn't working at all :P....now i am back to the beginning, using [recommended] on ghcup
21:18:45 <trev> s/correction/correctly
21:20:51 × _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection)
21:21:47 → misterfish joins (~misterfis@84.53.85.146)
21:24:35 × xdminsy quits (~xdminsy@117.147.71.169) (Ping timeout: 264 seconds)
21:26:34 × ralu1 quits (~ralu@static.211.245.203.116.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat)
21:27:29 → ralu1 joins (~ralu@static.211.245.203.116.clients.your-server.de)
21:30:11 <[exa]> trev: no error messages or so?
21:30:41 <trev> nah idk enough about HLS to start digging
21:31:22 <[exa]> I never used it tbh, I expected that if there's errors it would report them
21:31:59 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
21:33:53 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
21:35:37 × [_] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 268 seconds)
21:36:50 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
21:37:58 → [_] joins (~itchyjunk@user/itchyjunk/x-7353470)
21:38:39 × trev quits (~trev@user/trev) (Quit: trev)
21:39:49 → Ashkan joins (~Ashkan@147.161.173.72)
21:41:36 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 245 seconds)
21:42:01 × jargon quits (~jargon@211.sub-174-205-225.myvzw.com) (Read error: Connection reset by peer)
21:43:31 → xdminsy joins (~xdminsy@117.147.71.169)
21:44:47 × Ashkan quits (~Ashkan@147.161.173.72) (Quit: Client closed)
21:55:29 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
21:55:39 → andrewboltachev joins (~andrey@178.141.235.83)
21:57:18 <andrewboltachev> Hello. When developing (small) web app, how can I manage shared in-memory data? Say, if I hit /endpoint1 it'll read the data into memory (likely once), and then use /endpoint2 with params to make a number of queries about the data
21:57:30 × ralu1 quits (~ralu@static.211.245.203.116.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat)
21:58:23 → ralu1 joins (~ralu@static.211.245.203.116.clients.your-server.de)
21:59:00 <Rembane> andrewboltachev: Try TVars from STM, it's quite neat.
21:59:06 × [_] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 245 seconds)
21:59:54 <andrewboltachev> Rembane: I've just learned about them. But how will I make TVar available form different endpoint handlers?
22:00:42 <Rembane> andrewboltachev: What are you using to do the HTTP server stuff?
22:01:59 <causal> hmm. i'm binding to a c lib where you have to call functions from the same thread a context struct was created on (it uses thread locals), is there some way to encode that in types? i've got an opaque `newtype Context = Context (Ptr ())` on the haskell side, and a bunch of `:: Context -> IO foo` foreign imports
22:02:07 <andrewboltachev> Rembane: here I'm using Twain https://github.com/andrewboltachev/matcher/blob/master/app/Main.hs#L37 (and a bit of Network.WAI)
22:02:33 <causal> in rust i'd just mark the context as !Send or something and that'd ensure it can't cross thread boundaries but idk an equivalent in haskell
22:04:19 <andrewboltachev> Rembane: ah, I think I've got the idea. I'll create the TVar on top and got from there (wonder if it'll help to increase performance here, as compared to reading from Redis and parsing with Aeson each time)
22:04:51 <Rembane> andrewboltachev: Exactly!
22:04:52 <EvanR> when you spawn threads you can pass the shared TVar in as an argument
22:04:55 <Rembane> andrewboltachev: Good intuition!
22:05:00 <Rembane> andrewboltachev: Also what EvanR said.
22:05:28 <andrewboltachev> Rembane: thanks!
22:05:28 <EvanR> i.e. f :: TVar SharedStuff -> IO ()
22:05:35 <EvanR> forkIO (f tv)
22:05:50 <[exa]> andrewboltachev: btw if you don't need locks on the thing, plain old IORef might be sufficient
22:06:31 <EvanR> atomicModifyIORef for the win
22:06:40 <[exa]> true.
22:07:09 <andrewboltachev> yes, read-only for now (aka read once, and then access multiple times)
22:07:25 <EvanR> write once?
22:07:32 <EvanR> you might be interested in IVar
22:07:54 <EvanR> readIVar :: IVar a -> a, look no IO!
22:08:54 <geekosaur> causal, use forkOS to create a bound thread, then the only way you can make it cross a thread boundary is to send it explicitly.
22:09:20 <andrewboltachev> uhm, and which way is the best for read speed?
22:09:39 <andrewboltachev> *write (load) once yes
22:10:45 <juri_> ugh. ghc 9.4 has me considering a new processor. ;)
22:11:41 <[exa]> andrewboltachev: all basically the same plusminus a few instructions. MVars/TVars check for emptiness/lock so there might be a tiny overhead but you won't really notice
22:12:31 <[exa]> imo it's kinda more like about how much extra machinery & libraries you pull in
22:13:43 × michalz quits (~michalz@185.246.207.222) (Quit: ZNC 1.8.2 - https://znc.in)
22:15:36 → peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com)
22:16:38 → michalz joins (~michalz@185.246.207.203)
22:17:58 → [_] joins (~itchyjunk@user/itchyjunk/x-7353470)
22:18:51 → waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
22:21:21 × michalz quits (~michalz@185.246.207.203) (Client Quit)
22:21:49 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 276 seconds)
22:24:30 <EvanR> IORef is "fastest" I heard
22:25:32 <EvanR> but FFI mutable array primitives usually don't get considered in this contest, not sure where that stands
22:35:18 → chomwitt joins (~chomwitt@2a02:587:7a0f:8900:1ac0:4dff:fedb:a3f1)
22:35:27 → not_reserved joins (~not_reser@45.85.144.105)
22:35:37 <exarkun> is there a right approach for dealing with SIGINT? I see I'll get an IOException thrown but I don't see a way to identify it as SIGINT.
22:37:18 <exarkun> oh oops, I see it is AsyncException, not IOException, and there's a constructor for it.
22:38:50 × srazkvt quits (~sarah@2a01:e0a:483:6900:ffc8:6383:8b0f:31af) (Quit: Konversation terminated!)
22:40:54 <EvanR> unix package has a way to set up signal handlers
22:42:03 <monochrom> I don't know what "right" means. But I know the idiomatic path-of-least-resistance is AsyncException's UserInterrupt. IIRC it is thrown (only) to the thread that runs main.
22:43:42 <monochrom> To a large extent if you plan to pretend you're writing C-but-with-Haskell-syntax and you install your own SIGINT handler, you just end up reinventing what the GHC RTS already does for you anyway.
22:45:10 <EvanR> that's the right C way, reinvent everything!
22:45:27 <EvanR> at least, reimplement
22:46:54 → jargon joins (~jargon@211.sub-174-205-225.myvzw.com)
22:48:52 × target_i quits (~target_i@217.175.14.39) (Quit: leaving)
22:48:58 × mqlnv_ quits (~tripod@47.154.25.27) (Ping timeout: 256 seconds)
22:49:00 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
22:50:34 → mqlnv joins (~tripod@47.154.25.27)
22:56:26 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:c038:f2f2:8c5a:c140) (Remote host closed the connection)
22:56:55 × sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 276 seconds)
22:59:05 → Ashkan joins (~Ashkan@147.161.173.72)
23:05:01 × fendor quits (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection)
23:11:15 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:c038:f2f2:8c5a:c140)
23:12:39 × meinside quits (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
23:18:14 × Ashkan quits (~Ashkan@147.161.173.72) (Quit: Client closed)
23:18:57 × acidjnk quits (~acidjnk@p200300d6e72b93922011a544610dfbb3.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
23:22:01 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
23:27:49 × tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in)
23:29:30 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
23:32:51 × [_] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 245 seconds)
23:36:33 → araujo joins (~araujo@216.73.163.54)
23:37:27 → LispTyro joins (~pepsi@129.159.85.69)
23:37:39 × chomwitt quits (~chomwitt@2a02:587:7a0f:8900:1ac0:4dff:fedb:a3f1) (Ping timeout: 256 seconds)
23:37:41 × gentauro quits (~gentauro@user/gentauro) (Ping timeout: 252 seconds)
23:43:49 × random-jellyfish quits (~developer@user/random-jellyfish) (Ping timeout: 255 seconds)
23:44:35 × araujo quits (~araujo@216.73.163.54) (Ping timeout: 256 seconds)
23:46:15 → _xor2 joins (~xor@72.49.195.41)
23:47:54 × _xor quits (~xor@72.49.195.41) (Ping timeout: 268 seconds)
23:47:54 _xor2 is now known as _xor
23:49:47 × misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 264 seconds)
23:57:22 → meinside joins (uid24933@id-24933.helmsley.irccloud.com)

All times are in UTC on 2024-01-01.