| 2024-04-01 00:00:38 +0000 | A_Dragon | A_Meow |
| 2024-04-01 00:00:54 +0000 | A_Meow | A_Dragon |
| 2024-04-01 00:02:24 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-04-01 00:03:35 +0000 | califax | (~califax@user/califx) |
| 2024-04-01 00:04:19 +0000 | glguy | glpup |
| 2024-04-01 00:05:36 +0000 | falafel_ | (~falafel@162.83.249.190) |
| 2024-04-01 00:06:33 +0000 | <c_wraith> | is that even a rebrand? The name was obviously in french all along |
| 2024-04-01 00:09:03 +0000 | sadie_ | (~sadie@c-76-155-235-153.hsd1.co.comcast.net) |
| 2024-04-01 00:18:00 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 255 seconds) |
| 2024-04-01 00:20:59 +0000 | vulpine | (xfnw@tilde.team) (Changing host) |
| 2024-04-01 00:20:59 +0000 | vulpine | (xfnw@user/meow/xfnw) |
| 2024-04-01 00:23:22 +0000 | Catty | (~catties@user/catties) (Changing host) |
| 2024-04-01 00:23:22 +0000 | Catty | (~catties@user/meow/catties) |
| 2024-04-01 00:23:52 +0000 | jero98772 | (~jero98772@2800:484:1d81:2200::4) (Ping timeout: 255 seconds) |
| 2024-04-01 00:26:11 +0000 | rvalue | (~rvalue@user/rvalue) |
| 2024-04-01 00:32:01 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-04-01 00:49:13 +0000 | r5c4571lh01987 | (rscastilho@179.221.142.8) |
| 2024-04-01 00:49:57 +0000 | r5c4571lh01987 | (rscastilho@179.221.142.8) (Remote host closed the connection) |
| 2024-04-01 00:52:05 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2024-04-01 00:54:01 +0000 | falafel_ | (~falafel@162.83.249.190) (Ping timeout: 255 seconds) |
| 2024-04-01 01:10:03 +0000 | She | KittyMcCatFace |
| 2024-04-01 01:11:51 +0000 | <monochrom> | "libera cat" sounds like April 1st :) |
| 2024-04-01 01:34:56 +0000 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-13-184-148-6-204.dsl.bell.ca) |
| 2024-04-01 01:50:23 +0000 | otto_s | (~user@p4ff27abc.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-04-01 01:51:41 +0000 | otto_s | (~user@p4ff2714c.dip0.t-ipconnect.de) |
| 2024-04-01 02:00:04 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 2024-04-01 02:00:18 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-04-01 02:01:24 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-04-01 02:03:05 +0000 | mokee | (~mokee@37.228.214.101) |
| 2024-04-01 02:03:11 +0000 | cjay | mewjay |
| 2024-04-01 02:03:18 +0000 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-04-01 02:03:22 +0000 | mokee | (~mokee@37.228.214.101) (Client Quit) |
| 2024-04-01 02:03:41 +0000 | petrichor | (~znc-user@user/petrichor) |
| 2024-04-01 02:06:55 +0000 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2024-04-01 02:07:11 +0000 | jinsun | (~jinsun@user/jinsun) |
| 2024-04-01 02:09:58 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-04-01 02:11:02 +0000 | tri_ | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-04-01 02:11:49 +0000 | geekosaur | mewosaur |
| 2024-04-01 02:14:14 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2024-04-01 02:19:09 +0000 | tri_ | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-04-01 02:40:13 +0000 | bilegeek | (~bilegeek@2600:1008:b063:3463:2db4:7d44:233e:64aa) |
| 2024-04-01 03:01:30 +0000 | nitrix | (~nitrix@user/nitrix) (Changing host) |
| 2024-04-01 03:01:30 +0000 | nitrix | (~nitrix@user/meow/nitrix) |
| 2024-04-01 03:01:55 +0000 | td_ | (~td@i53870929.versanet.de) (Ping timeout: 260 seconds) |
| 2024-04-01 03:03:50 +0000 | td_ | (~td@i53870937.versanet.de) |
| 2024-04-01 03:16:27 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-04-01 03:16:38 +0000 | igemnace | (~ian@user/igemnace) |
| 2024-04-01 03:19:32 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Client Quit) |
| 2024-04-01 03:28:59 +0000 | sadie_ | (~sadie@c-76-155-235-153.hsd1.co.comcast.net) (Remote host closed the connection) |
| 2024-04-01 03:31:12 +0000 | aforemny | (~aforemny@2001:9e8:6cd9:500:674a:462b:208b:27e8) |
| 2024-04-01 03:32:25 +0000 | aforemny_ | (~aforemny@2001:9e8:6cf4:d100:2036:993f:679a:6cf6) (Ping timeout: 255 seconds) |
| 2024-04-01 03:34:11 +0000 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-04-01 03:37:11 +0000 | JimL | (~quassel@89.162.16.26) |
| 2024-04-01 03:40:38 +0000 | fererrorocher | (fererroroc@gateway/vpn/protonvpn/fererrorocher) (Quit: WeeChat 4.2.1) |
| 2024-04-01 03:49:23 +0000 | mewosaur | geekopurr |
| 2024-04-01 03:57:29 +0000 | xigua | (~xigua@user/xigua) (Read error: Connection reset by peer) |
| 2024-04-01 03:57:42 +0000 | xigua | (~xigua@user/xigua) |
| 2024-04-01 03:58:45 +0000 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-13-184-148-6-204.dsl.bell.ca) (Ping timeout: 252 seconds) |
| 2024-04-01 04:03:01 +0000 | Guest81 | (~Guest81@142.198.15.89) |
| 2024-04-01 04:04:31 +0000 | <Guest81> | hey, I am wondering are there any haskell debuggers out there? quick google search doesn't get me anything relevant except for Debug.Trace |
| 2024-04-01 04:09:35 +0000 | <ski> | there's one built-in to GHCi, <https://downloads.haskell.org/ghc/latest/docs/users_guide/ghci.html#the-ghci-debugger> |
| 2024-04-01 04:09:35 +0000 | <geekopurr> | ghci has a built-in debugger, and if you have a ghc build with DWARF information then you can use gdb to some extent |
| 2024-04-01 04:13:28 +0000 | <Guest81> | got it, any ide/lsp implementations that support interactive debugging? |
| 2024-04-01 04:16:35 +0000 | <geekopurr> | I don't think HLS supports debugging yet, but #haskell-language-server would know more |
| 2024-04-01 04:18:09 +0000 | <geekopurr> | (matrix generally works better than IRC for that, #haskell-language-server:matrix.org) |
| 2024-04-01 04:21:43 +0000 | Guest81 | (~Guest81@142.198.15.89) (Quit: Client closed) |
| 2024-04-01 04:26:55 +0000 | <haskellbridge> | <sm> Guest81 look at ghci-tui too, it's nifty |
| 2024-04-01 04:27:35 +0000 | <haskellbridge> | <sm> there is a debugger extension for vs code and it works but I found it temperamental |
| 2024-04-01 05:08:25 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-04-01 05:08:58 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-04-01 05:11:10 +0000 | zetef | (~quassel@5.2.182.99) |
| 2024-04-01 05:11:50 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-04-01 05:12:14 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-04-01 05:18:08 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-04-01 05:18:32 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-04-01 05:29:15 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2024-04-01 05:49:29 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-04-01 05:52:30 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-01 06:00:04 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-04-01 06:03:15 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-01 06:08:25 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-04-01 06:22:46 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2024-04-01 06:28:39 +0000 | jinsun_ | (~jinsun@user/jinsun) |
| 2024-04-01 06:28:39 +0000 | jinsun | (~jinsun@user/jinsun) (Killed (molybdenum.libera.chat (Nickname regained by services))) |
| 2024-04-01 06:28:39 +0000 | jinsun_ | jinsun |
| 2024-04-01 06:36:54 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-01 06:59:27 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-04-01 06:59:56 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-04-01 07:27:41 +0000 | jle` | (~jle`@2603-8001-3b02-84d4-ffba-5774-382a-24ec.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2024-04-01 07:28:59 +0000 | jle` | (~jle`@2603-8001-3b02-84d4-c3f6-003a-068f-efb1.res6.spectrum.com) |
| 2024-04-01 07:39:45 +0000 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-04-01 07:57:26 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-04-01 07:59:20 +0000 | acidjnk_new | (~acidjnk@p200300d6e714dc028ca983f248aa2682.dip0.t-ipconnect.de) |
| 2024-04-01 08:14:04 +0000 | mei | (~mei@user/mei) (Quit: mei) |
| 2024-04-01 08:14:25 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-04-01 08:15:04 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-04-01 08:15:53 +0000 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-04-01 08:18:36 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-04-01 08:18:42 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-04-01 08:19:18 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-04-01 08:24:15 +0000 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
| 2024-04-01 08:33:09 +0000 | igemnace | (~ian@user/igemnace) |
| 2024-04-01 08:36:03 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-04-01 08:41:13 +0000 | __monty__ | (~toonn@user/toonn) |
| 2024-04-01 08:41:46 +0000 | bilegeek | (~bilegeek@2600:1008:b063:3463:2db4:7d44:233e:64aa) (Quit: Leaving) |
| 2024-04-01 08:46:47 +0000 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-04-01 08:47:41 +0000 | zetef | (~quassel@5.2.182.99) (Ping timeout: 240 seconds) |
| 2024-04-01 08:51:23 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 272 seconds) |
| 2024-04-01 09:08:22 +0000 | zetef | (~quassel@5.2.182.99) |
| 2024-04-01 09:15:27 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-04-01 09:16:16 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-04-01 09:40:27 +0000 | Etabeta1 | (~Etabeta1@user/Etabeta1) (Changing host) |
| 2024-04-01 09:40:27 +0000 | Etabeta1 | (~Etabeta1@user/meow/Etabeta1) |
| 2024-04-01 09:50:57 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-04-01 09:55:18 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2024-04-01 10:02:34 +0000 | kuribas | (~user@ptr-17d51en165pb8grzwxi.18120a2.ip6.access.telenet.be) |
| 2024-04-01 10:02:41 +0000 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) |
| 2024-04-01 10:06:54 +0000 | aforemny | (~aforemny@2001:9e8:6cd9:500:674a:462b:208b:27e8) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-04-01 10:07:09 +0000 | aforemny | (~aforemny@2001:9e8:6cd9:500:d9a4:1707:4c79:474) |
| 2024-04-01 10:07:56 +0000 | duncan | (c6181279e3@user/duncan) (Changing host) |
| 2024-04-01 10:07:56 +0000 | duncan | (c6181279e3@user/meow/duncan) |
| 2024-04-01 10:29:13 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-04-01 10:29:26 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2024-04-01 10:30:35 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2024-04-01 10:43:00 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-04-01 10:46:39 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-01 10:52:37 +0000 | zetef | (~quassel@5.2.182.99) (Remote host closed the connection) |
| 2024-04-01 10:53:40 +0000 | <Inst> | what is the performance difference between . and $? |
| 2024-04-01 10:53:54 +0000 | <Inst> | I see Bodigrim using $ where others might use ., why prefer $ over .? |
| 2024-04-01 10:54:36 +0000 | <int-e> | :t (.) |
| 2024-04-01 10:54:37 +0000 | <lambdabot> | (b -> c) -> (a -> b) -> a -> c |
| 2024-04-01 10:54:41 +0000 | <int-e> | :t ($) |
| 2024-04-01 10:54:41 +0000 | <lambdabot> | (a -> b) -> a -> b |
| 2024-04-01 10:54:48 +0000 | <int-e> | they're not even the same |
| 2024-04-01 10:55:35 +0000 | <int-e> | if you're asking about f $ g $ x vs. f . g $ x there's no performance difference because after inlining . or $ the code will simplify to the same thing |
| 2024-04-01 10:55:40 +0000 | <int-e> | so it becomes a matter of taste |
| 2024-04-01 10:56:14 +0000 | <int-e> | which of course means that some people have very strong opinions about it |
| 2024-04-01 10:57:52 +0000 | <Inst> | I know they're not the same, just wondering because I prefer foo . bar $ baz quux over foo $ bar $ baz quux |
| 2024-04-01 10:58:40 +0000 | <Inst> | semantically, though, it implies different control, no? |
| 2024-04-01 10:58:42 +0000 | <Inst> | in laziness |
| 2024-04-01 10:58:47 +0000 | <int-e> | no |
| 2024-04-01 10:59:12 +0000 | <Inst> | wait, maybe i have operator precedence in laziness messed up? |
| 2024-04-01 10:59:22 +0000 | <Inst> | the last operator to execute should have control |
| 2024-04-01 10:59:27 +0000 | <Inst> | so that's what you mean by no, right? |
| 2024-04-01 11:00:02 +0000 | <Inst> | in both cases, it's foo operating over a thunk |
| 2024-04-01 11:00:12 +0000 | <ncf> | operator precedence has nothing to do with laziness |
| 2024-04-01 11:00:29 +0000 | <int-e> | I'm saying no because ghc will inline . and $ and do the obvious beta reductions and then there'll be no difference between the $ version and the . version |
| 2024-04-01 11:00:58 +0000 | <int-e> | (maybe not with -O0 but that's not worth thinking about) |
| 2024-04-01 11:01:30 +0000 | jinsun_ | (~jinsun@user/jinsun) |
| 2024-04-01 11:01:30 +0000 | jinsun | Guest2216 |
| 2024-04-01 11:01:30 +0000 | jinsun_ | jinsun |
| 2024-04-01 11:01:32 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-04-01 11:04:01 +0000 | <Inst> | but semantically it's supposed to be $ applying (f . g) to x vs $ applying f to (g $ x) |
| 2024-04-01 11:04:55 +0000 | Guest2216 | (~jinsun@user/jinsun) (Ping timeout: 260 seconds) |
| 2024-04-01 11:05:06 +0000 | <Inst> | which is the same, in practice, as you've said |
| 2024-04-01 11:05:14 +0000 | <int-e> | There's no observable difference between those two and f (g x) |
| 2024-04-01 11:05:31 +0000 | <ncf> | that sounds like syntax, not semantics |
| 2024-04-01 11:06:06 +0000 | <Inst> | thanks for the assistance |
| 2024-04-01 11:06:47 +0000 | <Inst> | it's just something that came up since i'm a pipeline / pointless addict, although obviously i don't get the "hard drugs" of pipelining multiparameter functions |
| 2024-04-01 11:07:16 +0000 | <ski> | with `f . g . h' you can break out `f . g' or `g . h' into its own definition (because `(.)' is associative) |
| 2024-04-01 11:08:01 +0000 | Catty | catties |
| 2024-04-01 11:08:43 +0000 | <probie> | int-e: there is an observable difference between all 3. `f $ g $ x` will still work if the value `f` returns isn't a lifted type, and `f (g x)` will still work if the value `g` returns isn't a lifted type |
| 2024-04-01 11:09:30 +0000 | <int-e> | yes, I did omit "if it type checks" |
| 2024-04-01 11:09:44 +0000 | <ncf> | do we have any type-level gurus in here |
| 2024-04-01 11:10:15 +0000 | <ncf> | if i have something like data App (a :: ()) (b :: ()) = forall f. Applicative f => MkApp (Proxy f) can i promote that to the type level so that i can write a type family that takes an App a b and returns a Type → Type |
| 2024-04-01 11:10:44 +0000 | <ncf> | my attempts are running into "Data constructor ‘MkApp’ cannot be used here (it has an unpromotable context ‘Applicative f’)" |
| 2024-04-01 11:11:24 +0000 | <ski> | the `f' there is only, in general, known at run-time |
| 2024-04-01 11:12:10 +0000 | <ncf> | so i cannae have type-level existentials? |
| 2024-04-01 11:12:27 +0000 | <ski> | hm, i guess with kind `App a b', the compile-time type of that kind would have `f' known .. |
| 2024-04-01 11:12:46 +0000 | <ncf> | (for reference i'm trying to define displayed categories and express Traversables as vertical endofunctors: https://paste.tomsmeding.com/O23Bq2ma) |
| 2024-04-01 11:12:55 +0000 | <ski> | .. but i've not seen any use of existentials with `DataKinds' |
| 2024-04-01 11:13:18 +0000 | <ncf> | i did find this absolutely cursed section of the docs but i don't think it helps me much https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/data_kinds.html#promoting-existential-data… |
| 2024-04-01 11:13:32 +0000 | <ncf> | the issue seems to be with the Applicative constraint |
| 2024-04-01 11:15:00 +0000 | <ski> | hm, interesting |
| 2024-04-01 11:15:39 +0000 | <ski> | yea, i guess promoting the constraint would require kind classes |
| 2024-04-01 11:16:22 +0000 | <ski> | maybe you could make an `ApplicativeDict' data type, promote that, and do some `unsafeCoerce#' or something .. |
| 2024-04-01 11:16:37 +0000 | <ski> | .. although, how would that work on the type level ? |
| 2024-04-01 11:24:00 +0000 | cheater_ | (~Username@user/cheater) |
| 2024-04-01 11:27:32 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 2024-04-01 11:27:37 +0000 | cheater_ | cheater |
| 2024-04-01 11:33:04 +0000 | <lyxia> | there are no type-level constraints |
| 2024-04-01 11:35:12 +0000 | <ncf> | hmm |
| 2024-04-01 11:37:15 +0000 | <ncf> | i'm not sure i even really need that |
| 2024-04-01 11:37:18 +0000 | <lyxia> | also the `id` and `o` in your DisplayedCategory are not the methods of Category |
| 2024-04-01 11:38:00 +0000 | <ncf> | ha? |
| 2024-04-01 11:38:28 +0000 | <ncf> | what else could they be? |
| 2024-04-01 11:38:40 +0000 | <lyxia> | free type variables that are going to be foralled |
| 2024-04-01 11:39:07 +0000 | <ncf> | oh |
| 2024-04-01 11:39:08 +0000 | <lyxia> | you've done too much Idris |
| 2024-04-01 11:39:15 +0000 | <ncf> | agda |
| 2024-04-01 11:39:29 +0000 | <ncf> | yeah i don't have a clear mental model of ghc's type level distinction |
| 2024-04-01 11:39:40 +0000 | <ncf> | can i refer to id at the type level at all? |
| 2024-04-01 11:39:44 +0000 | <lyxia> | nope |
| 2024-04-01 11:40:02 +0000 | <ncf> | 🙃 |
| 2024-04-01 11:40:19 +0000 | ncf | closes vim. |
| 2024-04-01 11:41:20 +0000 | <lyxia> | come back in 10 years |
| 2024-04-01 11:41:32 +0000 | <ncf> | that's what they said 10 years ago! |
| 2024-04-01 11:41:35 +0000 | <ncf> | i think |
| 2024-04-01 11:42:00 +0000 | <lyxia> | functional programmers are optimists |
| 2024-04-01 11:43:21 +0000 | <Rembane> | Also incredibly constructive |
| 2024-04-01 11:43:44 +0000 | <Inst> | ehhh, JS comms I'm in are pretty functional |
| 2024-04-01 11:44:03 +0000 | <Inst> | hybrid FP is de rigeur these days, it seems |
| 2024-04-01 11:45:16 +0000 | lvdv | (~lvdv@203.7.118.37) |
| 2024-04-01 11:45:28 +0000 | <Inst> | even if you go to Py Discords, most people are familiar with functools |
| 2024-04-01 11:45:50 +0000 | <kuribas> | FP in Python is still very painful. |
| 2024-04-01 11:46:10 +0000 | <kuribas> | Like trying to do functional update on a dataclass. |
| 2024-04-01 11:47:10 +0000 | <Inst> | and people were crying about jamming OOP support into php for years, iirc |
| 2024-04-01 11:47:27 +0000 | <Inst> | but it eventually happened, I think FP is well-established and respected as a programming technique these days |
| 2024-04-01 11:49:16 +0000 | <kuribas> | hmm, why does Spock set 500 when a param is missing, that should be 400... |
| 2024-04-01 11:53:38 +0000 | ph88 | (~ph88@ip5b403f30.dynamic.kabel-deutschland.de) |
| 2024-04-01 11:54:47 +0000 | mei | (~mei@user/mei) |
| 2024-04-01 12:00:41 +0000 | magus3 | (~Thunderbi@189.6.35.139) |
| 2024-04-01 12:07:04 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-04-01 12:20:18 +0000 | fererrorocher | (fererroroc@gateway/vpn/protonvpn/fererrorocher) |
| 2024-04-01 12:25:31 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-01 12:34:23 +0000 | kuribas | (~user@ptr-17d51en165pb8grzwxi.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2024-04-01 12:38:53 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-04-01 12:41:26 +0000 | lvdv | (~lvdv@203.7.118.37) (Remote host closed the connection) |
| 2024-04-01 12:41:49 +0000 | lvdv | (~lvdv@203.7.118.37) |
| 2024-04-01 12:50:34 +0000 | <lisbeths> | Pls consider showing your support for #lambdacalculus channel ty |
| 2024-04-01 12:56:33 +0000 | <ncf> | pls consider not advertising other channels in here every other week ty |
| 2024-04-01 12:59:08 +0000 | random-jellyfish | (~developer@2a02:2f04:11e:c600:fa5e:b43:6803:82cc) |
| 2024-04-01 12:59:08 +0000 | random-jellyfish | (~developer@2a02:2f04:11e:c600:fa5e:b43:6803:82cc) (Changing host) |
| 2024-04-01 12:59:08 +0000 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-04-01 13:12:33 +0000 | kuribas | (~user@ptr-17d51en165pb8grzwxi.18120a2.ip6.access.telenet.be) |
| 2024-04-01 13:14:06 +0000 | ystael | (~ystael@user/ystael) |
| 2024-04-01 13:19:11 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-01 13:25:38 +0000 | magus3 | (~Thunderbi@189.6.35.139) (Quit: magus3) |
| 2024-04-01 13:31:03 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-04-01 14:03:51 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2024-04-01 14:03:51 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Read error: Connection reset by peer) |
| 2024-04-01 14:03:51 +0000 | vnogueira | (~vnogueira@user/vnogueira) (Remote host closed the connection) |
| 2024-04-01 14:03:51 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-04-01 14:03:51 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-04-01 14:03:53 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Read error: Connection reset by peer) |
| 2024-04-01 14:04:35 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-04-01 14:05:13 +0000 | kuribas | (~user@ptr-17d51en165pb8grzwxi.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2024-04-01 14:05:23 +0000 | vnogueira | (~vnogueira@user/vnogueira) |
| 2024-04-01 14:05:24 +0000 | califax | (~califax@user/califx) |
| 2024-04-01 14:07:06 +0000 | fererrorocher | (fererroroc@gateway/vpn/protonvpn/fererrorocher) (Quit: WeeChat 4.2.1) |
| 2024-04-01 14:08:22 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-04-01 14:08:44 +0000 | byorgey | (~byorgey@155.138.238.211) (Quit: leaving) |
| 2024-04-01 14:16:09 +0000 | vnogueira | (~vnogueira@user/vnogueira) (Remote host closed the connection) |
| 2024-04-01 14:16:09 +0000 | califax | (~califax@user/califx) (Read error: Connection reset by peer) |
| 2024-04-01 14:16:26 +0000 | vnogueira | (~vnogueira@user/vnogueira) |
| 2024-04-01 14:16:35 +0000 | califax | (~califax@user/califx) |
| 2024-04-01 14:18:50 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-04-01 14:18:53 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-04-01 14:19:19 +0000 | rvalue | (~rvalue@user/rvalue) |
| 2024-04-01 14:19:22 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-04-01 14:19:22 +0000 | vnogueira | (~vnogueira@user/vnogueira) (Remote host closed the connection) |
| 2024-04-01 14:19:39 +0000 | califax | (~califax@user/califx) |
| 2024-04-01 14:19:40 +0000 | vnogueira | (~vnogueira@user/vnogueira) |
| 2024-04-01 14:27:03 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-04-01 14:27:25 +0000 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Quit: leaving) |
| 2024-04-01 14:27:39 +0000 | dostoyevsky2 | (~sck@user/dostoyevsky2) |
| 2024-04-01 14:29:47 +0000 | remedan | (~remedan@ip-78-102-118-253.bb.vodafone.cz) (Ping timeout: 260 seconds) |
| 2024-04-01 14:30:12 +0000 | vnogueira | (~vnogueira@user/vnogueira) (Remote host closed the connection) |
| 2024-04-01 14:30:12 +0000 | califax | (~califax@user/califx) (Read error: Connection reset by peer) |
| 2024-04-01 14:30:28 +0000 | califax | (~califax@user/califx) |
| 2024-04-01 14:30:28 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 2024-04-01 14:30:37 +0000 | vnogueira | (~vnogueira@user/vnogueira) |
| 2024-04-01 14:34:31 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-04-01 14:37:31 +0000 | remedan | (~remedan@ip-78-102-118-253.bb.vodafone.cz) |
| 2024-04-01 14:47:22 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2024-04-01 14:47:39 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-04-01 14:52:16 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2024-04-01 14:52:32 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-04-01 14:57:41 +0000 | myme1 | (~myme@2a01:799:d5c:5f00:717f:9bbf:7ce4:8e5) (Ping timeout: 268 seconds) |
| 2024-04-01 14:58:36 +0000 | myme | (~myme@2a01:799:d5c:5f00:6072:e797:6705:d556) |
| 2024-04-01 15:00:13 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2024-04-01 15:01:32 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-04-01 15:05:32 +0000 | fererrorocher | (fererroroc@gateway/vpn/protonvpn/fererrorocher) |
| 2024-04-01 15:07:27 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-04-01 15:08:58 +0000 | mei | (~mei@user/mei) |
| 2024-04-01 15:09:45 +0000 | tri | (~tri@4133220a.cst.lightpath.net) |
| 2024-04-01 15:13:39 +0000 | <tri> | hi, I'm using Reader to inject an environment into function. In that environment, I need to maintain a set of data, which will be seeded initial data when app starts, and when the app runs, I also need to add new item into that data set. So I think i should use a State monad there. So a Reader holding a set, which will be updated, is this the place |
| 2024-04-01 15:13:39 +0000 | <tri> | to use RWST or something similar? I have never used that before so im asking |
| 2024-04-01 15:13:41 +0000 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 240 seconds) |
| 2024-04-01 15:14:52 +0000 | <tri> | in other words, Im doing dependency injection via Reader monad, and one of the dependency is a set and will be modified during the app lifetime |
| 2024-04-01 15:17:09 +0000 | <probie> | Depending on the situation, the solution may be as simple as sticking an IORef in your reader |
| 2024-04-01 15:17:17 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2024-04-01 15:17:33 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-04-01 15:17:47 +0000 | <tri> | i haven't learned about IORef yet so idk what that is |
| 2024-04-01 15:18:27 +0000 | <tri> | probie: so do you think i could work with this using the Reader and state monad? |
| 2024-04-01 15:19:16 +0000 | lvdv | (~lvdv@203.7.118.37) (Ping timeout: 268 seconds) |
| 2024-04-01 15:21:45 +0000 | <ski> | an `IORef a' is a reference (or index, if you prefer) to a mutable cell (kept in state carried around by `IO') holding a value of type `a'. there's `newIORef' to allocate a(n initialized) cell, `readIORef' to access contents, `writeIORef' to change contents |
| 2024-04-01 15:22:43 +0000 | sadie-sorceress | (~sadie-sor@199.96.191.158) |
| 2024-04-01 15:23:02 +0000 | <ski> | if you use `ReaderT MyEnv IO', with `MyEnv' includig `IORef Foo', then you wouldn't need to use `StateT'. or you could use something like `ReaderT MyEnv (StateT MyState M)' |
| 2024-04-01 15:24:04 +0000 | <ski> | hm, i guess if you only need a piece to update, `StateT MyState M' may be enough |
| 2024-04-01 15:24:29 +0000 | <ski> | (`M' may be just `Identity', if you don't need any other effects, in which case you can skip it, and replace `StateT' by `State') |
| 2024-04-01 15:24:50 +0000 | <probie> | If your base monad is IO, you have to live in a world with the possibility of exceptions being thrown, and catching exceptions with StateT can give you surprising results. However, for simple things (and non IO things) reader + state is probably sufficient |
| 2024-04-01 15:27:35 +0000 | vnogueira_ | (~vnogueira@user/vnogueira) |
| 2024-04-01 15:28:28 +0000 | <tri> | hmm, so you guys are slowly migrated toward ReaderT MyEnv State then? |
| 2024-04-01 15:29:35 +0000 | <tri> | probie: wdym by base monad is IO? Could you explain that please? You mean the the monad in ReaderT? |
| 2024-04-01 15:31:02 +0000 | vnogueira | (~vnogueira@user/vnogueira) (Ping timeout: 260 seconds) |
| 2024-04-01 15:32:45 +0000 | <ski> | `ReaderT MyEnv (StateT MyState (ContT MyAnswer IO)) MyResult' is called a "monad transformer stack". the monad transformers here are `ReaderT MyEnv',`StateT MyState',`ContT MyAnswer'. the "base monad" of this stack is `IO' |
| 2024-04-01 15:33:27 +0000 | <ski> | (generally, the order of monad transformers matter. for some particular transformers, the order doesn't matter though) |
| 2024-04-01 15:33:40 +0000 | <ski> | @unmtl ReaderT MyEnv (StateT MyState (ContT MyAnswer IO)) MyResult |
| 2024-04-01 15:33:40 +0000 | <lambdabot> | MyEnv -> MyState -> (MyResult -> MyState -> IO MyAnswer) -> IO MyAnswer |
| 2024-04-01 15:33:42 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-01 15:33:47 +0000 | <ski> | @unmtl ReaderT MyEnv (StateT MyState IO) MyResult |
| 2024-04-01 15:33:48 +0000 | <lambdabot> | MyEnv -> MyState -> IO (MyResult, MyState) |
| 2024-04-01 15:33:57 +0000 | <ski> | @unmtl StateT MyState IO MyResult |
| 2024-04-01 15:33:57 +0000 | <lambdabot> | MyState -> IO (MyResult, MyState) |
| 2024-04-01 15:34:04 +0000 | <ski> | @unmtl ReaderT MyEnv IO MyResult |
| 2024-04-01 15:34:04 +0000 | <lambdabot> | MyEnv -> IO MyResult |
| 2024-04-01 15:36:18 +0000 | Ashkan | (~Ashkan@147.161.173.72) |
| 2024-04-01 15:36:53 +0000 | <ski> | `StateT MyState Identity' is the same as `State MyState' (which would then become the base monad, e.g. in the `ReaderT MyEnv (StateT MyState Identity) MyResult' example, amounting to `ReaderT MyEnv (State MyState) MyResult'), and ditto for `ReaderT',`WriterT',`ContT'. for hysterical raisins, `ExceptT MyException Identity' amounts to `Either MyException' |
| 2024-04-01 15:38:17 +0000 | <ski> | `RWST r w s m' amounts to `ReaderT r (WriterT w (StateT s m))' |
| 2024-04-01 15:39:14 +0000 | <Ashkan> | Hello everyone. What is the proper way of modelling a `data` (struct) whose fields are filled in in various stages and in increments e.g. first you get it initialised `newThinge x y :: IO Thingie` and then `fillRestOfTheFields :: IO Thingie -> IO Thingie`. The two operations can not be merged and it must happen at two different parts of the code. |
| 2024-04-01 15:39:14 +0000 | <Ashkan> | Do I just |
| 2024-04-01 15:39:33 +0000 | <Ashkan> | (Oops, hit the Enter mid sentence) |
| 2024-04-01 15:41:19 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-04-01 15:41:33 +0000 | <probie> | Ashkan: Do you know at each stage what fields are filled? If so, the most boring solution is just to have different types for different stages |
| 2024-04-01 15:41:44 +0000 | <Ashkan> | I know I don't *have to* fill all the fields when creating an instance but not all combinations of missing fields are valid. only two stages: initialised (has fields `x` and `y` filled) and fully constructed (the rest of the fields has values as well) |
| 2024-04-01 15:42:05 +0000 | <ski> | one approach is making two different `data' declarations. another is to merge those into one, parameterizing the differences. a third is to set uninitialized elements to `undefined'/`error "whatever"' |
| 2024-04-01 15:42:42 +0000 | <ski> | perhaps you could factor out the first part, and including that in the second |
| 2024-04-01 15:42:44 +0000 | <Ashkan> | probie Yes I do. But thing is having an extra `data` just to fill the gap doesn't look good :-. but if there is no better way ... |
| 2024-04-01 15:43:22 +0000 | <ski> | (having an instantiation system, like in Mercury, would be ideal, for this kind of thing ..) |
| 2024-04-01 15:43:50 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-01 15:44:23 +0000 | <Ashkan> | To be exact, it is a texture for a game engine. The *texture* goes through various stages until fully constructed and ready to use. The stages are known, the fields needed/added at each stage are known, the initial and final stages and their fields are are well known. |
| 2024-04-01 15:44:58 +0000 | <Ashkan> | Its just that it can not happen all at once. There is a need to carry half-done textures around until they are fully constructed. |
| 2024-04-01 15:45:50 +0000 | <Ashkan> | I was thinking perhaps an indexed monad would help? Although I'm not even sure what that is, exactly ! |
| 2024-04-01 15:46:48 +0000 | <Ashkan> | Can I enforce/encode the fact that a certain subset of fields *must* be present at all stages, using the `!` notation to make them strict? does this make sense? |
| 2024-04-01 15:47:07 +0000 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 2024-04-01 15:49:56 +0000 | <ski> | indexed state monad is for keeping track of a state, whose type can change during the computation |
| 2024-04-01 15:50:26 +0000 | driib | (~driib@vmi931078.contaboserver.net) (Ping timeout: 255 seconds) |
| 2024-04-01 15:50:51 +0000 | <ski> | (there's also indexed continuation monad, for when the answer type can change. basically this means delimited/composable/sub- continuations, aka nqCPS) |
| 2024-04-01 15:51:30 +0000 | <ski> | Ashkan : that would ensure that if thw whole thing is not bottom, then those fields are also not bottom |
| 2024-04-01 15:52:10 +0000 | <Ashkan> | Okay, better than nothing :) |
| 2024-04-01 15:52:52 +0000 | <ski> | (so, you could make sure that your functions are strict in it, to make sure that if any of those fields are not defined, then your whole computation is not defined) |
| 2024-04-01 15:56:02 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-04-01 15:56:57 +0000 | Inst | (~Inst@120.244.192.126) (Quit: Leaving) |
| 2024-04-01 15:59:41 +0000 | Ashkan | (~Ashkan@147.161.173.72) (Quit: Client closed) |
| 2024-04-01 16:07:30 +0000 | Square2 | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-04-01 16:08:38 +0000 | sadie-sorceress | (~sadie-sor@199.96.191.158) (Ping timeout: 250 seconds) |
| 2024-04-01 16:12:43 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-04-01 16:13:22 +0000 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-04-01 16:15:34 +0000 | sadie-sorceress | (~sadie-sor@199.96.187.158) |
| 2024-04-01 16:16:01 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-04-01 16:22:54 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-04-01 16:27:43 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-01 16:29:25 +0000 | <sadie-sorceress> | https://paste.tomsmeding.com/SibArGds |
| 2024-04-01 16:29:26 +0000 | <sadie-sorceress> | i have this recursion scheme(?) i'm using to annotate fold over a structure and annotate the structure with intermediate results. is there a better way to achieve this using the 'stock' tools in recursion-schemes? |
| 2024-04-01 16:29:59 +0000 | sadie-sorceress1 | (~sadie-sor@199.96.187.158) |
| 2024-04-01 16:30:37 +0000 | <sadie-sorceress1> | (my actual use-case is annotating a syntax tree with inferred type constraints) |
| 2024-04-01 16:31:59 +0000 | <chiselfuse> | https://0x0.st/XzpX.txt |
| 2024-04-01 16:32:01 +0000 | <chiselfuse> | what do i do |
| 2024-04-01 16:32:11 +0000 | <chiselfuse> | it doesn't tell me what went wrong |
| 2024-04-01 16:32:19 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-04-01 16:34:03 +0000 | <geekopurr> | as it says, rerun stack with the `--verbose` flag |
| 2024-04-01 16:34:12 +0000 | sadie-sorceress | (~sadie-sor@199.96.187.158) (Ping timeout: 250 seconds) |
| 2024-04-01 16:34:16 +0000 | <geekopurr> | it'll output a lot of stuff from `configure` |
| 2024-04-01 16:34:45 +0000 | <geekopurr> | usually it means you're missing some required system library |
| 2024-04-01 16:34:49 +0000 | <chiselfuse> | is there an ENV i can tell to pass --verbose to stack with? |
| 2024-04-01 16:35:01 +0000 | <chiselfuse> | because it's being run by some build script that's being run by my package manaager |
| 2024-04-01 16:35:50 +0000 | <geekopurr> | huh. I'd report that on their bug tracker, then; they should be ensuring that can't happen |
| 2024-04-01 16:37:51 +0000 | <geekopurr> | (if your package manager is running stack behind your back then it's on the package maintainer to ensure that it works) |
| 2024-04-01 16:38:23 +0000 | <chiselfuse> | i added the flag to the pkgbuild script, i'll check now |
| 2024-04-01 16:40:26 +0000 | <chiselfuse> | 2024-04-01 18:38:47.884757: [error] /home/terry/.stack/programs/x86_64-linux/ghc-tinfo6-9.6.3.temp/ghc-9.6.3-x86_64-unknown-linux/configure: line 6576: FP_PROG_LD_BUILD_ID: command not found |
| 2024-04-01 16:41:31 +0000 | <chiselfuse> | 2024-04-01 18:38:50.068326: [error] configure: error: Failed to determine machine word size. Does your toolchain actually work? |
| 2024-04-01 16:41:34 +0000 | <chiselfuse> | meh |
| 2024-04-01 16:41:47 +0000 | <chiselfuse> | so vague, what _failed_ to tell it my word size? |
| 2024-04-01 16:41:49 +0000 | <geekopurr> | definitely report that as a bug in the package you're installing |
| 2024-04-01 16:42:09 +0000 | <chiselfuse> | yea but i need to fix it first |
| 2024-04-01 16:42:17 +0000 | <geekopurr> | it's trying to compile a program which tests the word size and prints it |
| 2024-04-01 16:42:40 +0000 | <geekopurr> | the details would be in a `config.log` file |
| 2024-04-01 16:42:53 +0000 | <chiselfuse> | where would that be located |
| 2024-04-01 16:43:09 +0000 | <geekopurr> | I don't know where stack puts it when installing a bindist, sorry |
| 2024-04-01 16:44:27 +0000 | <chiselfuse> | https://0x0.st/XzpG.txt |
| 2024-04-01 16:45:25 +0000 | <chiselfuse> | looks like it `ld` is failing there |
| 2024-04-01 16:46:21 +0000 | <chiselfuse> | /usr/bin/ld.gold: pack-relative-relocs: unknown -z option |
| 2024-04-01 16:47:23 +0000 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-04-01 16:54:54 +0000 | todi | (~todi@p57803331.dip0.t-ipconnect.de) |
| 2024-04-01 16:57:43 +0000 | sadie-sorceress1 | (~sadie-sor@199.96.187.158) (Quit: Client closed) |
| 2024-04-01 16:57:54 +0000 | sadie-sorceress | (~sadie-sor@199.96.187.158) |
| 2024-04-01 16:58:48 +0000 | <geekopurr> | you definitely need to report that upstream (pkgbuild? is that gentoo?), you probably can't fix it yourself |
| 2024-04-01 16:59:35 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-04-01 17:00:24 +0000 | <chiselfuse> | why are you discouraging me so much |
| 2024-04-01 17:01:06 +0000 | <chiselfuse> | hmm why the heck is stack building ghc in its own directory |
| 2024-04-01 17:01:15 +0000 | <geekopurr> | because these indicate a mistake made by the provider of the package; they should not be your problem at all |
| 2024-04-01 17:01:16 +0000 | <chiselfuse> | i already have it installed |
| 2024-04-01 17:01:27 +0000 | <geekopurr> | and stack is doing that because that's how it works |
| 2024-04-01 17:01:46 +0000 | <geekopurr> | it maintains its own ghcs and its own package store |
| 2024-04-01 17:02:40 +0000 | <chiselfuse> | geekopurr: from what i'm guessing, invoking stack to build the package i want causes it to try to build ghc and it fails because it's passing `-v` to `gold.ld` which says it's an unrecognized option and quits.. |
| 2024-04-01 17:03:15 +0000 | <geekopurr> | it's saying "unknown -z option"; -z is for special options to ld (and it's not saying which one) |
| 2024-04-01 17:03:30 +0000 | <int-e> | meh https://github.com/commercialhaskell/stack/issues/6525#issuecomment-2002643812 |
| 2024-04-01 17:04:35 +0000 | <geekopurr> | ah, it did say, it just put it out in front. "-Wl,-z,pack-relative-relocs" |
| 2024-04-01 17:04:52 +0000 | <geekopurr> | so your ld.gold doesn't understand that option |
| 2024-04-01 17:05:39 +0000 | <int-e> | chiselfuse: anyway that issue sounds very much like your problem |
| 2024-04-01 17:05:57 +0000 | <int-e> | and people are already negotiating whose bug this is |
| 2024-04-01 17:06:31 +0000 | <geekopurr> | and I'm not so much discouraging you as saying that you were given a broken package and left with a bunch of shattered pieces to pick up |
| 2024-04-01 17:06:49 +0000 | <chiselfuse> | int-e: did you extrapolate what it is, i'm still puzzling around in that thread |
| 2024-04-01 17:09:37 +0000 | <chiselfuse> | https://github.com/commercialhaskell/stack/issues/6525#issuecomment-2004398828 |
| 2024-04-01 17:09:37 +0000 | <chiselfuse> | lmao |
| 2024-04-01 17:11:16 +0000 | <int-e> | chiselfuse: Well the connection is that you're (most likely) using Arch and this ticket explains where the 'pack-relative-relocs' flag comes from (I checked and ghc's configure script does not contain that string. But if it's put into LDFLAGS that will of course be picked up by `configure`.) |
| 2024-04-01 17:11:28 +0000 | sadie-sorceress | (~sadie-sor@199.96.187.158) (Ping timeout: 250 seconds) |
| 2024-04-01 17:12:48 +0000 | <chiselfuse> | int-e: that env isn't set on my system |
| 2024-04-01 17:12:51 +0000 | <int-e> | But it's `configure`'s choice to use gold, so there's some shared responsibility. |
| 2024-04-01 17:13:37 +0000 | <geekopurr> | no, the pkgbuild is setting it |
| 2024-04-01 17:13:53 +0000 | <int-e> | chiselfuse: How do you know? As I read it it's set by `makepkg`. |
| 2024-04-01 17:14:28 +0000 | <int-e> | (I'm not sure whether it's the PKGBUILD or some global config.) |
| 2024-04-01 17:14:36 +0000 | <int-e> | (I don't really care either, tbh) |
| 2024-04-01 17:14:54 +0000 | <chiselfuse> | int-e: https://aur.archlinux.org/cgit/aur.git/tree/PKGBUILD?h=hascard |
| 2024-04-01 17:15:04 +0000 | <chiselfuse> | this is the pkgbuild i'm using |
| 2024-04-01 17:15:22 +0000 | <yushyin> | https://gitlab.archlinux.org/heftig/rfcs/-/blob/pack-relative-relocs/rfcs/0023-pack-relative-reloc… it is this rfc |
| 2024-04-01 17:15:27 +0000 | <chiselfuse> | i don't see them being set. do you mean that it's hardcoded to be set by `makepkg` itself? |
| 2024-04-01 17:15:28 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-04-01 17:15:49 +0000 | <yushyin> | https://gitlab.archlinux.org/archlinux/packaging/packages/pacman/-/merge_requests/6 implemented by this |
| 2024-04-01 17:16:37 +0000 | <int-e> | yushyin: you're faster than me :) |
| 2024-04-01 17:16:47 +0000 | <yushyin> | ;) |
| 2024-04-01 17:17:08 +0000 | <chiselfuse> | LDFLAGS="-Wl,-O1 -Wl,--sort-common -Wl,--as-needed -Wl,-z,relro -Wl,-z,now \ -Wl,-z,pack-relative-relocs" |
| 2024-04-01 17:17:12 +0000 | <chiselfuse> | found this in my conf, which one is the one hurting again? |
| 2024-04-01 17:17:18 +0000 | <chiselfuse> | makepkg.conf |
| 2024-04-01 17:17:33 +0000 | <int-e> | the -z,pack-relative-relocs one is not understood by gold |
| 2024-04-01 17:17:56 +0000 | sadie-sorceress | (~sadie-sor@199.96.191.158) |
| 2024-04-01 17:19:46 +0000 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-04-01 17:20:29 +0000 | <chiselfuse> | i think package maintainers that build PKGBUILDs that use stack or ld.gold should then be instructed to override LDFLAGS |
| 2024-04-01 17:20:37 +0000 | <chiselfuse> | though i wonder if they can at all |
| 2024-04-01 17:25:02 +0000 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 2024-04-01 17:27:01 +0000 | <yushyin> | or force another linker |
| 2024-04-01 17:28:30 +0000 | <chiselfuse> | configure:3918: gcc -V >&5 |
| 2024-04-01 17:28:30 +0000 | <chiselfuse> | gcc: error: unrecognized command-line option '-V' |
| 2024-04-01 17:28:32 +0000 | <chiselfuse> | fixed that now this lol ^ |
| 2024-04-01 17:29:39 +0000 | <yushyin> | funny, stack issue tracker says not a stack bug. pacman issue tracker says not a pacman bug. lovely <3 |
| 2024-04-01 17:32:38 +0000 | <chiselfuse> | and here i am, just wanted to try this https://github.com/Yvee1/hascard thing out |
| 2024-04-01 17:32:43 +0000 | <geekopurr> | chiselfuse, that should be a red herring, it tries several ways to get the compiler version and -V is actually intended for other compilers. it should retry with --version |
| 2024-04-01 17:33:32 +0000 | <geekopurr> | (ghc also supports various commercial C compilers, many of which don't like --version) |
| 2024-04-01 17:36:57 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-01 17:41:17 +0000 | <chiselfuse> | i have to rerun |
| 2024-04-01 17:41:35 +0000 | <chiselfuse> | TIL i learned that makepkg isn't just a shell script runner |
| 2024-04-01 17:43:35 +0000 | <chiselfuse> | https://0x0.st/XzO2.txt |
| 2024-04-01 17:43:40 +0000 | <chiselfuse> | this thing doesn't like anything |
| 2024-04-01 17:44:14 +0000 | Guest|30 | (~Guest|30@172-251-233-141.res.spectrum.com) |
| 2024-04-01 17:48:48 +0000 | <int-e> | Is that related? I.e. does linking against libraries created with pack-relative-relocs require special support? |
| 2024-04-01 17:50:12 +0000 | <Guest|30> | I have installed ghcup on Manjaro Linux. How should I configure my $PATH to run ghc, ghci and cabal (which have been installed in ~/.ghcup/bin)? Is ghcup supposed to add the bin directory to $PATH? Thanks. |
| 2024-04-01 17:53:10 +0000 | <geekopurr> | ghcup should have told you to `source ~/.ghcup/env` in your shell dotfiles |
| 2024-04-01 17:54:15 +0000 | sadie-sorceress | (~sadie-sor@199.96.191.158) (Quit: Client closed) |
| 2024-04-01 17:55:47 +0000 | Guest|30 | (~Guest|30@172-251-233-141.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-04-01 18:12:47 +0000 | stef204 | (~stef204@user/stef204) |
| 2024-04-01 18:17:32 +0000 | Guest|30 | (~Guest|30@172-251-233-141.res.spectrum.com) |
| 2024-04-01 18:18:22 +0000 | <Guest|30> | Thanks, @geekopurr! |
| 2024-04-01 18:20:16 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 255 seconds) |
| 2024-04-01 18:20:39 +0000 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 4.2.1) |
| 2024-04-01 18:20:53 +0000 | destituion | (~destituio@2a02:2121:655:c95b:c9ef:1cc8:963c:45) (Ping timeout: 268 seconds) |
| 2024-04-01 18:21:00 +0000 | destituion | (~destituio@2001:4644:c37:0:6086:64f4:a213:b80d) |
| 2024-04-01 18:22:06 +0000 | <geekopurr> | ghcup doesn't do that for you because no matter how it adds it, it's wrong for someone |
| 2024-04-01 18:22:37 +0000 | <geekopurr> | (in fact, it's always wrong for my kinda horrific dotfiles and I add it to my `PATH` manually) |
| 2024-04-01 18:33:11 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-04-01 18:34:09 +0000 | <chiselfuse> | int-e: good guess but idk. i've given up. RIP "hascord", looked like such a pretty tool in the github page |
| 2024-04-01 18:34:17 +0000 | <chiselfuse> | hascard* |
| 2024-04-01 18:37:35 +0000 | <shapr> | Is that someodd's hypercard clone? |
| 2024-04-01 18:38:11 +0000 | <Guest|30> | @geekopurr: I suspected the problem facing ghcup if it were to update the $PATH. However, I didn't see any mention of the need to update the .bashrc/.zshrc in the documentation. If it's there, maybe it needs to be more prominently displayed. |
| 2024-04-01 18:38:11 +0000 | <lambdabot> | Unknown command, try @list |
| 2024-04-01 18:38:58 +0000 | <Guest|30> | geekopurr: I suspected the problem facing ghcup if it were to update the $PATH. However, I didn't see any mention of the need to update the .bashrc/.zshrc in the documentation. If it's there, maybe it needs to be more prominently displayed. |
| 2024-04-01 18:41:14 +0000 | <geekopurr> | I think the docs expect you to be reading ghcup's output when you install it. it's in the advanced installations (for manual installs) page https://www.haskell.org/ghcup/install/#manual-installation |
| 2024-04-01 18:41:42 +0000 | <Guest|30> | !Note: Guest|30 is hgolden on a different computer. I need to transfer my credentials to identify myself. |
| 2024-04-01 18:42:49 +0000 | <geekopurr> | (maerwald, you may want to be following this) |
| 2024-04-01 18:42:54 +0000 | tri | (~tri@4133220a.cst.lightpath.net) (Ping timeout: 250 seconds) |
| 2024-04-01 18:45:24 +0000 | <Guest|30> | I missed that advice in the noise of the installation. Perhaps it could be separated from the other things to make it clearer to a new user of ghcup. |
| 2024-04-01 18:46:26 +0000 | <geekopurr> | I'd file that on ghcup's issue tracker https://github.com/haskell/ghcup-hs/issues |
| 2024-04-01 18:47:42 +0000 | <Guest|30> | Thanks, geekopurr. I will file it on the issue tracker. |
| 2024-04-01 18:53:04 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
| 2024-04-01 19:01:16 +0000 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 268 seconds) |
| 2024-04-01 19:02:42 +0000 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2024-04-01 19:10:35 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-01 19:12:25 +0000 | <shapr> | Is there some way to generate valid base32 strings directly with QuickCheck? |
| 2024-04-01 19:13:05 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-04-01 19:13:13 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-04-01 19:13:57 +0000 | Guest|30 | (~Guest|30@172-251-233-141.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-04-01 19:14:03 +0000 | mei | (~mei@user/mei) |
| 2024-04-01 19:17:57 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-01 19:20:06 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-04-01 19:20:23 +0000 | <sm> | chiselfuse sorry you met such problems. Just curious, were you trying to install hascard from AUR or purely from source as in https://github.com/Yvee1/hascard#install-from-source |
| 2024-04-01 19:24:52 +0000 | <haskellbridge> | <sm> Guest81 look at ghcitui too, it's nifty |
| 2024-04-01 19:26:25 +0000 | <sm> | ack.. don't edit old comments sm |
| 2024-04-01 19:26:43 +0000 | <sm> | ghcitui is an obscure name, I wanted to spell it right |
| 2024-04-01 19:27:24 +0000 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-04-01 19:28:36 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-04-01 19:29:39 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-04-01 19:40:17 +0000 | sadie-sorceress | (~sadie-sor@199.96.187.158) |
| 2024-04-01 19:40:57 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-04-01 19:41:51 +0000 | bilegeek | (~bilegeek@2600:1008:b00b:df2e:796e:3fed:8f1f:d5c7) |
| 2024-04-01 19:46:43 +0000 | bilegeek | (~bilegeek@2600:1008:b00b:df2e:796e:3fed:8f1f:d5c7) (Client Quit) |
| 2024-04-01 19:59:33 +0000 | anon1123 | (~anon1123@2a02:ab88:282:b00:da3a:ddff:fe3a:947c) (Ping timeout: 268 seconds) |
| 2024-04-01 20:02:00 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-04-01 20:02:45 +0000 | <chiselfuse> | sm: i tried both, after fixing makepkg it also is now stuck at the point where ld.gold doesn't want to link against any *.so files i have as in my last paste i posted |
| 2024-04-01 20:02:48 +0000 | causal | (~eric@50.35.88.207) |
| 2024-04-01 20:04:08 +0000 | <haskellbridge> | <sm> and when you tried building from source, were you using ghcup-installed stack & ghc (not arch's ghc) |
| 2024-04-01 20:07:41 +0000 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-04-01 20:08:08 +0000 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) |
| 2024-04-01 20:08:22 +0000 | <chiselfuse> | sm: i'm not sure how to check i just cloned the thing and ran `stack build`. can you tell me how to check? |
| 2024-04-01 20:08:43 +0000 | <chiselfuse> | i do have ghcup and other tools installed from arch's repos |
| 2024-04-01 20:08:52 +0000 | <chiselfuse> | oh about stack.. |
| 2024-04-01 20:09:26 +0000 | <chiselfuse> | yea i think it stack from arch's repos |
| 2024-04-01 20:09:33 +0000 | <chiselfuse> | not installed with ghcup |
| 2024-04-01 20:12:29 +0000 | <haskellbridge> | <sm> if it's running ghc from ~/.ghcup/..., it's ghcup-installed |
| 2024-04-01 20:13:47 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-04-01 20:16:04 +0000 | <haskellbridge> | <sm> I can't say if it will solve. your issue but the most likely to just work is latest ghcup and stack + ghc (corresponding to hascard's stack.yaml) installed by that |
| 2024-04-01 20:17:17 +0000 | ircbrowse_tom | (~ircbrowse@2a01:4f8:1c1c:9319::1) |
| 2024-04-01 20:17:21 +0000 | Server | +Cnt |
| 2024-04-01 20:17:43 +0000 | <chiselfuse> | i don't think it matters. the linker won't link to stuff compiled here for some reason |
| 2024-04-01 20:19:55 +0000 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-04-01 20:20:24 +0000 | lvdv | (~lvdv@203.7.118.37) |
| 2024-04-01 20:20:28 +0000 | tomsmeding | (~tomsmedin@static.21.109.88.23.clients.your-server.de) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-04-01 20:20:37 +0000 | yahb2 | (~yahb2@static.56.27.47.78.clients.your-server.de) (Remote host closed the connection) |
| 2024-04-01 20:20:37 +0000 | haskellbridge | <sm> wonders if this is a recent change on arch |
| 2024-04-01 20:21:00 +0000 | yahb2 | (~yahb2@static.56.27.47.78.clients.your-server.de) |
| 2024-04-01 20:21:00 +0000 | ChanServ | +v yahb2 |
| 2024-04-01 20:21:21 +0000 | tomsmeding | (~tomsmedin@2a01:4f8:c0c:5e5e::2) |
| 2024-04-01 20:24:13 +0000 | <chiselfuse> | i'd dig down with you but i'm extremely tired rn |
| 2024-04-01 20:24:29 +0000 | <chiselfuse> | why can i not just pull a prebuilt binary from that repo, dear God |
| 2024-04-01 20:25:47 +0000 | <chiselfuse> | oh looks like there is one |
| 2024-04-01 20:25:57 +0000 | <chiselfuse> | heck yea |
| 2024-04-01 20:26:14 +0000 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-04-01 20:26:52 +0000 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) |
| 2024-04-01 20:27:23 +0000 | <chiselfuse> | i'll complain to arch people about stack l8r ig |
| 2024-04-01 20:32:01 +0000 | <haskellbridge> | <sm> 👍🏻 it looked like a deep rabbit hole and people are on it, might need a little more time to clarify |
| 2024-04-01 20:33:54 +0000 | <cheater> | ah, stack. the gift that keeps on giving |
| 2024-04-01 20:36:51 +0000 | sadie-sorceress | (~sadie-sor@199.96.187.158) (Ping timeout: 250 seconds) |
| 2024-04-01 20:39:38 +0000 | Inst | (~Inst@120.244.192.126) |
| 2024-04-01 20:39:43 +0000 | <Inst> | hmmm |
| 2024-04-01 20:40:10 +0000 | <Inst> | am i mistaken when I say I don't see a lot of html templates on hackage, or in fact, I don't see any at all? |
| 2024-04-01 20:40:52 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-04-01 20:40:54 +0000 | <Inst> | just wondering here, is it valid to create html datatypes |
| 2024-04-01 20:41:08 +0000 | <Inst> | typeclassed into toHTML |
| 2024-04-01 20:41:47 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-04-01 20:41:49 +0000 | <Inst> | and use record syntax to manipulate these datatypes, i.e, set them up such that you now have widgets on Blaze or Lucid |
| 2024-04-01 20:42:02 +0000 | <Inst> | that are actualized via toHTML? |
| 2024-04-01 20:45:40 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-04-01 20:46:25 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-04-01 20:49:24 +0000 | <Inst> | bleh |
| 2024-04-01 20:49:25 +0000 | <Inst> | https://haskell-miso.org |
| 2024-04-01 20:53:32 +0000 | glpup | glguy |
| 2024-04-01 20:58:23 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-04-01 20:59:10 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-04-01 21:03:24 +0000 | lvdv | (~lvdv@203.7.118.37) (Ping timeout: 260 seconds) |
| 2024-04-01 21:24:08 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-04-01 21:24:32 +0000 | yushyin | yushyinyaa |
| 2024-04-01 21:26:56 +0000 | anon1123 | (~anon1123@catv-176-63-0-119.catv.fixed.vodafone.hu) |
| 2024-04-01 21:27:27 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-04-01 21:29:14 +0000 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 252 seconds) |
| 2024-04-01 21:31:24 +0000 | <dmj`> | Inst: yea miso copies Elm's rose tree approach (1 list of attrs, 1 list of children), and there is a ToHtml for it |
| 2024-04-01 21:31:47 +0000 | <Inst> | what i'm more looking for is a widget lib |
| 2024-04-01 21:33:00 +0000 | yushyinyaa | yushyin |
| 2024-04-01 21:33:46 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-04-01 21:35:19 +0000 | <Inst> | blaze -> base framework -> widgets and tepmaltes |
| 2024-04-01 21:35:59 +0000 | <dmj`> | Inst: I'm not sure something like that exists w/o going full blown ghcjs or ghc w/ js backend. If you don't want to go client side, it would be possible to build what you're looking for with htmx, I'm considering trying this |
| 2024-04-01 21:36:22 +0000 | mei | (~mei@user/mei) |
| 2024-04-01 21:38:58 +0000 | ph88 | (~ph88@ip5b403f30.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-04-01 21:40:56 +0000 | gorignak | (~gorignak@user/gorignak) |
| 2024-04-01 21:41:56 +0000 | <Inst> | i mean <script/> and <style/> |
| 2024-04-01 21:42:03 +0000 | <Inst> | even though the web devs I've met told me that's smelly |
| 2024-04-01 21:46:19 +0000 | pluto | (~pluto@86.121.29.48) |
| 2024-04-01 21:47:31 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-04-01 21:48:19 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-01 21:48:27 +0000 | <dmj`> | Everything is smelly. Separate CSS and JS would be just easy to produce as <script/> and <style/> in a single page. Could be configurable |
| 2024-04-01 21:53:33 +0000 | <dmj`> | @package hyperbole |
| 2024-04-01 21:53:33 +0000 | <lambdabot> | https://hackage.haskell.org/package/hyperbole |
| 2024-04-01 21:53:42 +0000 | <dmj`> | Inst: ^ might check that out |
| 2024-04-01 21:54:18 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-04-01 21:55:30 +0000 | pluto | (~pluto@86.121.29.48) (Quit: Leaving) |
| 2024-04-01 21:59:38 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-04-01 22:04:10 +0000 | <Inst> | cool, thanks |
| 2024-04-01 22:04:16 +0000 | plexom | (~plexom@194.95.4.234) |
| 2024-04-01 22:05:42 +0000 | plexom | (~plexom@194.95.4.234) () |
| 2024-04-01 22:09:00 +0000 | lvdv | (~lvdv@pa49-179-5-108.pa.nsw.optusnet.com.au) |
| 2024-04-01 22:11:11 +0000 | <Inst> | thanks |
| 2024-04-01 22:13:21 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 255 seconds) |
| 2024-04-01 22:25:36 +0000 | dostoyev1ky2 | (~sck@user/dostoyevsky2) |
| 2024-04-01 22:26:48 +0000 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Quit: leaving) |
| 2024-04-01 22:27:29 +0000 | dostoyev1ky2 | (~sck@user/dostoyevsky2) (Client Quit) |
| 2024-04-01 22:27:49 +0000 | dostoyevsky2 | (~sck@user/dostoyevsky2) |
| 2024-04-01 22:43:11 +0000 | lvdv | (~lvdv@pa49-179-5-108.pa.nsw.optusnet.com.au) (Ping timeout: 264 seconds) |
| 2024-04-01 22:43:33 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-04-01 22:43:53 +0000 | sudden | (~cat@user/sudden) (Ping timeout: 268 seconds) |
| 2024-04-01 22:44:24 +0000 | acidjnk_new | (~acidjnk@p200300d6e714dc028ca983f248aa2682.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2024-04-01 22:45:32 +0000 | mqlnv | (~tripod@47.154.25.27) |
| 2024-04-01 22:51:47 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-04-01 22:53:53 +0000 | sudden | (~cat@user/sudden) |
| 2024-04-01 22:55:12 +0000 | mechap | (~mechap@user/mechap) (Ping timeout: 255 seconds) |
| 2024-04-01 23:03:30 +0000 | phma_ | (~phma@host-67-44-208-169.hnremote.net) |
| 2024-04-01 23:03:56 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-04-01 23:03:59 +0000 | phma | (phma@2001:5b0:215a:b318:a23a:3f03:dc96:3e6d) (Read error: Connection reset by peer) |
| 2024-04-01 23:04:36 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-04-01 23:08:40 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-04-01 23:09:04 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-04-01 23:12:32 +0000 | JamesMowery | (~JamesMowe@ip98-171-80-211.ph.ph.cox.net) (Quit: Goodbye) |
| 2024-04-01 23:14:34 +0000 | JamesMowery | (~JamesMowe@ip98-171-80-211.ph.ph.cox.net) |
| 2024-04-01 23:17:42 +0000 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2024-04-01 23:19:09 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2024-04-01 23:25:23 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-04-01 23:27:21 +0000 | Cajun | (~Cajun@user/cajun) |
| 2024-04-01 23:27:42 +0000 | Cajun | (~Cajun@user/cajun) (Client Quit) |
| 2024-04-01 23:27:57 +0000 | mei | (~mei@user/mei) |
| 2024-04-01 23:32:12 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-04-01 23:34:24 +0000 | caconym5 | (~caconym@user/caconym) |
| 2024-04-01 23:36:15 +0000 | caconym | (~caconym@user/caconym) (Ping timeout: 260 seconds) |
| 2024-04-01 23:36:15 +0000 | caconym5 | caconym |
| 2024-04-01 23:42:35 +0000 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 264 seconds) |
| 2024-04-01 23:47:25 +0000 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2024-04-01 23:47:33 +0000 | destituion | (~destituio@2001:4644:c37:0:6086:64f4:a213:b80d) (Ping timeout: 272 seconds) |
| 2024-04-01 23:55:08 +0000 | KittyMcCatFace | She |
| 2024-04-01 23:58:00 +0000 | talismanick | (~user@2601:644:937c:ed10::ae5) |