2025/11/18

2025-11-18 00:08:07 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds)
2025-11-18 00:08:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-18 00:14:24 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2025-11-18 00:14:39 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-18 00:23:35 +0100auri_(~auri@fsf/member/auri) ()
2025-11-18 00:24:47 +0100auri(~auri@fsf/member/auri) auri
2025-11-18 00:26:16 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-18 00:30:42 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-11-18 00:31:00 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-18 00:34:31 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds)
2025-11-18 00:34:52 +0100Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-11-18 00:42:00 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-18 00:42:00 +0100Zemy_(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2025-11-18 00:42:09 +0100Zemy(~Zemy@2600:100c:b049:cf82:704c:ffff:fe60:9d5c)
2025-11-18 00:42:29 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-11-18 00:43:06 +0100Zemy_(~Zemy@72.178.108.235)
2025-11-18 00:44:56 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc)
2025-11-18 00:46:36 +0100Zemy(~Zemy@2600:100c:b049:cf82:704c:ffff:fe60:9d5c) (Ping timeout: 256 seconds)
2025-11-18 00:47:08 +0100Zemy(~Zemy@2600:100c:b049:cf82:70a5:c4ff:fea8:36a5)
2025-11-18 00:47:08 +0100Zemy_(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2025-11-18 00:47:12 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-18 00:47:20 +0100trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-18 00:47:33 +0100trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-11-18 00:47:43 +0100Zemy_(~Zemy@72.178.108.235)
2025-11-18 00:48:30 +0100Zemy(~Zemy@2600:100c:b049:cf82:70a5:c4ff:fea8:36a5) (Read error: Connection reset by peer)
2025-11-18 00:49:39 +0100Zemy(~Zemy@2600:100c:b049:cf82:9086:16ff:febf:b418)
2025-11-18 00:49:39 +0100Zemy_(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2025-11-18 00:50:13 +0100Zemy_(~Zemy@72.178.108.235)
2025-11-18 00:50:14 +0100Zemy(~Zemy@2600:100c:b049:cf82:9086:16ff:febf:b418) (Read error: Connection reset by peer)
2025-11-18 00:50:51 +0100Zemy(~Zemy@2600:100c:b049:cf82:fcfb:56ff:fea6:3ac1)
2025-11-18 00:50:51 +0100Zemy_(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2025-11-18 00:51:26 +0100Zemy_(~Zemy@72.178.108.235)
2025-11-18 00:53:47 +0100Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
2025-11-18 00:55:06 +0100Zemy(~Zemy@2600:100c:b049:cf82:fcfb:56ff:fea6:3ac1) (Ping timeout: 256 seconds)
2025-11-18 00:56:43 +0100bggd(~bgg@2a01:e0a:819:1510:2461:8c52:600a:b549)
2025-11-18 00:58:09 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-18 01:02:51 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-11-18 01:07:46 +0100turlando_(~turlando@user/turlando) (Ping timeout: 244 seconds)
2025-11-18 01:08:08 +0100trickard_(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-18 01:08:22 +0100trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-11-18 01:12:53 +0100mange(~mange@user/mange) mange
2025-11-18 01:13:53 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-18 01:15:04 +0100trickard_trickard
2025-11-18 01:17:05 +0100jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-11-18 01:18:23 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-11-18 01:23:03 +0100jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 260 seconds)
2025-11-18 01:23:41 +0100 <yin> I'm trying to understant FRP in haskell and the hypothetical Monad instance for Signals. My mind immediately went to call/cc from Scheme. Am I way off base?
2025-11-18 01:25:35 +0100 <EvanR> Signal doesn't sound like the original formulation of FRP. Which library is this from
2025-11-18 01:27:20 +0100 <EvanR> in conal's old blog, he mentioned maybe something about a monad instance for Events then later abandoned it
2025-11-18 01:28:44 +0100 <yin> EvanR: Signal would be Behaviour from Conal's. (>>=) :: Signal a -> (a -> Signal b) -> Signal b
2025-11-18 01:28:58 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-11-18 01:29:16 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-18 01:30:25 +0100 <EvanR> oh
2025-11-18 01:30:44 +0100chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2025-11-18 01:30:47 +0100 <EvanR> then monad can make sense in the same sense as the monad instance for Stream of Stream of a
2025-11-18 01:30:55 +0100 <EvanR> er, stream
2025-11-18 01:30:58 +0100bggd(~bgg@2a01:e0a:819:1510:2461:8c52:600a:b549) (Remote host closed the connection)
2025-11-18 01:31:02 +0100 <EvanR> join :: Stream (Stream a) -> Stream a
2025-11-18 01:31:21 +0100chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2025-11-18 01:32:42 +0100trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-18 01:32:55 +0100trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-11-18 01:33:44 +0100 <EvanR> join :: Signal (Signal a) -> Signal a, assuming Signal = Behavior
2025-11-18 01:34:02 +0100 <EvanR> how useful that is I don't know
2025-11-18 01:34:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-18 01:35:36 +0100petrichor(~jez@user/petrichor) (Ping timeout: 256 seconds)
2025-11-18 01:37:49 +0100turlando(~turlando@user/turlando) turlando
2025-11-18 01:42:30 +0100turlando(~turlando@user/turlando) (Ping timeout: 265 seconds)
2025-11-18 01:43:44 +0100 <yin> my intuition is that bind would offer a way to dynamically change the control flow or dependency graph
2025-11-18 01:43:46 +0100 <yin> https://paste.jrvieira.com/1763426541194
2025-11-18 01:44:00 +0100turlando(~turlando@user/turlando) turlando
2025-11-18 01:44:40 +0100infinity0(~infinity0@pwned.gg) (Ping timeout: 256 seconds)
2025-11-18 01:45:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-18 01:45:09 +0100 <EvanR> Signal f <*> Signal x
2025-11-18 01:45:15 +0100 <EvanR> to make it more clear what's going on
2025-11-18 01:45:15 +0100synchromesh(~john@2406:5a00:2412:2c00:71c7:e357:fc79:c8b6) (Read error: Connection reset by peer)
2025-11-18 01:45:37 +0100 <EvanR> would give you, basically (not actual syntax), Signal (f x)
2025-11-18 01:45:41 +0100synchromesh(~john@2406:5a00:2412:2c00:6993:feea:8b51:a565) synchromesh
2025-11-18 01:45:45 +0100 <yin> right. i had that but (x t) looked weird to me :)
2025-11-18 01:46:36 +0100 <EvanR> the usual way to introduce a way to "dynamically" replace a behavior is to use an event
2025-11-18 01:46:55 +0100 <EvanR> something like Signal a -> Event (Signal a) -> Signal a
2025-11-18 01:47:16 +0100 <EvanR> the signal is replaced with the event payload when/if it happens. Before before any events, the first argument applies
2025-11-18 01:49:19 +0100xff0x(~xff0x@2405:6580:b080:900:fb28:6c11:a653:72c4) (Ping timeout: 260 seconds)
2025-11-18 01:49:59 +0100 <monochrom> If you think call/cc, you're a low-level person. It's not wrong, it just may be very helpful or very distracting depending on your purpose.
2025-11-18 01:51:40 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-11-18 01:52:33 +0100 <jackdk> I got a lot out of (in order): this old "FRP - Events and Behaviours" talk: https://www.youtube.com/watch?v=GXW1jBijhlk, the diagrams in the reactive-banana package, and https://github.com/qfpl/reflex-workshop/ (for hands-on experience). They might help you get your head around the mental models
2025-11-18 01:52:35 +0100 <yin> monochrom: it just had the same smell in my purposeless mind, that's all
2025-11-18 01:53:01 +0100 <monochrom> It's OK. Lately I smelled Yoneda lemma everywhere anyway. :)
2025-11-18 01:54:10 +0100 <yin> jackdk: tyvm
2025-11-18 01:54:35 +0100 <monochrom> (The smell was correct. It really was Yoneda lemma. Know every angle, all of them are helpful.)
2025-11-18 01:57:05 +0100 <EvanR> was this a programming situation or category theory
2025-11-18 01:58:50 +0100 <yin> yes
2025-11-18 01:59:03 +0100 <yin> :)
2025-11-18 01:59:58 +0100acidjnk(~acidjnk@p200300d6e717199494cb24f290a326c5.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2025-11-18 02:00:43 +0100turlando(~turlando@user/turlando) (Ping timeout: 246 seconds)
2025-11-18 02:02:54 +0100turlando(~turlando@user/turlando) turlando
2025-11-18 02:03:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-18 02:04:34 +0100infinity0(~infinity0@pwned.gg) infinity0
2025-11-18 02:07:46 +0100 <monochrom> Suppose σ permutes arrays of length n. I can apply it to the "identity array" [0 .. n-1], i.e., define e := σ [0 .. n-1]. Then I can use e instead of σ to permute other arrays: To permute v, (σ v)[i] = v[e[i]] for each i. In the vector library, you can just write `V.backpermute e v`.
2025-11-18 02:08:11 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-11-18 02:08:13 +0100 <monochrom> Turns out this was foretold by the Yoneda lemma too!
2025-11-18 02:08:50 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds)
2025-11-18 02:10:41 +0100 <monochrom> Model "array of length n with elements of type a" as N->a, N = {0 .. n-1}. Then permutations are a special cases of (N->a) -> (N->a). Then Yoneda embedding says that it's isomorphic to N->N, the forward mapping maps σ to σ id, id = [0 .. n-1].
2025-11-18 02:11:51 +0100 <haskellbridge> <Zemyla> So is there a type that represents a combination?
2025-11-18 02:12:01 +0100 <monochrom> And the backward mapping maps e to \v -> v ∘ e
2025-11-18 02:12:14 +0100 <monochrom> I don't know! Not interested for now.
2025-11-18 02:12:55 +0100 <EvanR> sounds like the theory of group action
2025-11-18 02:13:27 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-11-18 02:14:38 +0100trickard_trickard
2025-11-18 02:15:25 +0100 <monochrom> Moreover, it also hints that σ id is "backwards": It maps new indexes to old indexes. How to see it: Use N for old indexes, N' for new indexes. Then (N->a) -> (N'->a) is isomorphic to N' -> N.
2025-11-18 02:15:27 +0100AlexNoo_(~AlexNoo@178.34.162.20)
2025-11-18 02:16:42 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-11-18 02:16:58 +0100AlexZenon(~alzenon@178.34.151.158) (Ping timeout: 256 seconds)
2025-11-18 02:17:08 +0100 <monochrom> So yeah it's both programming and category theory. I was coding up LU factorization with pivoting, and I recorded the permutation of rows by performing the same permutation on [0 .. n-1] and returning it.
2025-11-18 02:18:46 +0100Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.)
2025-11-18 02:18:53 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-18 02:18:55 +0100AlexNoo(~AlexNoo@178.34.151.158) (Ping timeout: 246 seconds)
2025-11-18 02:21:50 +0100 <monochrom> Combination may be N->2. Each of n elements may be chosen or not-chosen.
2025-11-18 02:23:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-18 02:24:07 +0100 <haskellbridge> <Zemyla> True.
2025-11-18 02:24:50 +0100AlexZenon(~alzenon@178.34.162.20)
2025-11-18 02:27:27 +0100Dhark8Shark8
2025-11-18 02:28:20 +0100Catty(~catties@user/meow/catties) (Remote host closed the connection)
2025-11-18 02:31:18 +0100sindu(~sindu@77.19.134.151.tmi.telenormobil.no) (Ping timeout: 260 seconds)
2025-11-18 02:33:33 +0100catties(~catties@user/meow/catties) catties
2025-11-18 02:34:41 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-18 02:39:22 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-18 02:44:42 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-11-18 02:50:16 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-18 02:52:58 +0100otto_s(~user@p5de2f6bf.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2025-11-18 02:54:27 +0100jangerma1(~jangermad@104-54-32-17.lightspeed.irvnca.sbcglobal.net)
2025-11-18 02:54:38 +0100otto_s(~user@p4ff27097.dip0.t-ipconnect.de)
2025-11-18 02:55:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-11-18 02:57:17 +0100petrichor(~jez@user/petrichor) petrichor
2025-11-18 02:59:53 +0100Square3(~Square@user/square) Square
2025-11-18 03:03:05 +0100Square2(~Square4@user/square) (Ping timeout: 244 seconds)
2025-11-18 03:04:30 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 245 seconds)
2025-11-18 03:05:26 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds)
2025-11-18 03:05:58 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-18 03:06:42 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-11-18 03:06:55 +0100myxos(~myxos@2001:579:8380:f20:5f4f:3365:91ae:208d) myxokephale
2025-11-18 03:07:48 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc)
2025-11-18 03:09:17 +0100myxokephale(~myxos@2001:579:8380:f20:6b9e:1a89:7816:af78) (Ping timeout: 244 seconds)
2025-11-18 03:11:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-18 03:13:43 +0100DetourNe-(DetourNetw@user/DetourNetworkUK) DetourNetworkUK
2025-11-18 03:13:46 +0100cattiesCatty
2025-11-18 03:14:06 +0100DetourNetworkUK(~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer)
2025-11-18 03:16:04 +0100DetourNe-DetourNetworkUK
2025-11-18 03:21:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-18 03:25:16 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds)
2025-11-18 03:28:36 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-11-18 03:29:36 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-11-18 03:34:17 +0100spew(~spew@user/spew) spew
2025-11-18 03:37:36 +0100trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-18 03:37:50 +0100trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-11-18 03:39:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-18 03:45:06 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-18 03:49:45 +0100vardhan(~vardhan@122.172.80.248)
2025-11-18 03:50:55 +0100xff0x_(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-11-18 03:53:12 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds)
2025-11-18 03:55:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-18 03:55:54 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 260 seconds)
2025-11-18 03:58:23 +0100spew(~spew@user/spew) (Quit: WeeChat 4.6.3)
2025-11-18 04:00:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-18 04:05:39 +0100Zemy(~Zemy@2600:100c:b03d:4841:7c2c:68ff:fe38:b3c8)
2025-11-18 04:05:39 +0100Zemy_(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2025-11-18 04:06:15 +0100Zemy_(~Zemy@72.178.108.235)
2025-11-18 04:08:36 +0100trickard_(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-18 04:08:49 +0100trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-11-18 04:10:02 +0100Zemy(~Zemy@2600:100c:b03d:4841:7c2c:68ff:fe38:b3c8) (Ping timeout: 256 seconds)
2025-11-18 04:11:24 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-18 04:16:21 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-18 04:23:31 +0100td__(~td@i53870917.versanet.de) (Ping timeout: 246 seconds)
2025-11-18 04:25:22 +0100td_(~td@i53870912.versanet.de) td_
2025-11-18 04:27:11 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-18 04:28:05 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-11-18 04:29:54 +0100DetourNetworkUK(DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer)
2025-11-18 04:31:11 +0100DetourNetworkUK(DetourNetw@user/DetourNetworkUK) DetourNetworkUK
2025-11-18 04:32:24 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-18 04:38:51 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-11-18 04:42:59 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-18 04:44:39 +0100bitdex_(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-11-18 04:46:28 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds)
2025-11-18 04:48:00 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-18 04:54:21 +0100annamalai(~annamalai@157.33.255.31) annamalai
2025-11-18 04:58:46 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-18 05:05:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-11-18 05:10:40 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds)
2025-11-18 05:11:36 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-11-18 05:13:42 +0100trickard_(~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 244 seconds)
2025-11-18 05:13:59 +0100trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-11-18 05:16:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-18 05:18:08 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 260 seconds)
2025-11-18 05:20:09 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-11-18 05:20:55 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-11-18 05:22:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-18 05:23:29 +0100Googulator(~Googulato@85-238-67-234.pool.digikabel.hu) (Quit: Client closed)
2025-11-18 05:23:44 +0100Googulator(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-18 05:32:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-18 05:37:28 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-18 05:48:23 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-18 05:52:39 +0100synchromesh(~john@2406:5a00:2412:2c00:6993:feea:8b51:a565) (Read error: Connection reset by peer)
2025-11-18 05:53:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-18 05:53:44 +0100Square3(~Square@user/square) (Ping timeout: 256 seconds)
2025-11-18 05:54:22 +0100synchromesh(~john@2406:5a00:2412:2c00:6993:feea:8b51:a565) synchromesh
2025-11-18 06:00:08 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds)
2025-11-18 06:04:10 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-18 06:07:53 +0100gustrb(~gustrb@user/gustrb) (Read error: Connection reset by peer)
2025-11-18 06:09:02 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-18 06:09:06 +0100gustrb(~gustrb@191.243.134.87)
2025-11-18 06:10:41 +0100Googulator23(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-18 06:10:41 +0100Googulator(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-18 06:17:42 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-11-18 06:19:58 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-18 06:24:17 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-11-18 06:35:23 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-18 06:42:37 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-18 06:42:44 +0100mange(~mange@user/mange) (Remote host closed the connection)
2025-11-18 06:49:27 +0100oppili(~oppili@user/nerdypepper) nerdy
2025-11-18 06:53:27 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-18 06:54:11 +0100trickard_(~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 250 seconds)
2025-11-18 06:54:22 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-18 06:54:56 +0100michalz(~michalz@185.246.207.215)
2025-11-18 06:58:04 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-18 07:03:17 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-18 07:09:56 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-18 07:10:34 +0100takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-11-18 07:20:28 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-18 07:21:34 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds)
2025-11-18 07:22:50 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-11-18 07:25:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-18 07:27:38 +0100Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-11-18 07:30:34 +0100Googulator16(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-18 07:30:39 +0100Googulator23(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-18 07:33:19 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds)
2025-11-18 07:35:35 +0100Googulator67(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-18 07:35:40 +0100Googulator16(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-18 07:36:00 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-18 07:41:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-18 07:45:37 +0100Googulator67(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-18 07:45:43 +0100Googulator2(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-18 07:51:55 +0100Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-11-18 07:52:19 +0100trickard_trickard
2025-11-18 07:53:17 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-18 07:53:42 +0100otto_s(~user@p4ff27097.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-11-18 07:57:27 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 250 seconds)
2025-11-18 07:57:58 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-11-18 08:03:16 +0100trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-18 08:03:29 +0100trickard(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-18 08:08:35 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2025-11-18 08:08:39 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-18 08:10:42 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-11-18 08:13:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-11-18 08:15:47 +0100Googulator2(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-18 08:15:53 +0100Googulator71(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-18 08:20:41 +0100elbartol`(~user@user/elbartol) (Remote host closed the connection)
2025-11-18 08:21:15 +0100elbartol(~user@user/elbartol) elbartol
2025-11-18 08:23:20 +0100annamalai(~annamalai@157.33.255.31) (Ping timeout: 256 seconds)
2025-11-18 08:24:27 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-18 08:30:42 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-11-18 08:31:32 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-18 08:34:22 +0100emmanuelux(~emmanuelu@user/emmanuelux) (Remote host closed the connection)
2025-11-18 08:39:55 +0100kadobanana(~mud@user/kadoban) kadoban
2025-11-18 08:42:26 +0100mud(~mud@user/kadoban) (Ping timeout: 244 seconds)
2025-11-18 08:42:30 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-18 08:44:37 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-11-18 08:45:49 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-11-18 08:47:05 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-18 08:47:16 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-11-18 08:51:59 +0100trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-18 08:52:13 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-18 08:54:26 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2025-11-18 08:54:46 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-11-18 08:56:21 +0100lucabtz(~lucabtz@user/lucabtz) lucabtz
2025-11-18 08:57:53 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-18 09:00:07 +0100acidjnk(~acidjnk@p200300d6e717199494cb24f290a326c5.dip0.t-ipconnect.de) acidjnk
2025-11-18 09:01:22 +0100mud(~mud@user/kadoban) kadoban
2025-11-18 09:02:09 +0100kadobanana(~mud@user/kadoban) (Ping timeout: 260 seconds)
2025-11-18 09:03:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-18 09:05:26 +0100trickard_trickard
2025-11-18 09:06:12 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-18 09:10:35 +0100Googulator82(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-18 09:10:56 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-18 09:13:47 +0100Googulator71(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Ping timeout: 250 seconds)
2025-11-18 09:15:36 +0100Googulator82(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-18 09:15:39 +0100Googulator33(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-18 09:18:50 +0100kadobanana(~mud@user/kadoban) kadoban
2025-11-18 09:20:40 +0100Googulator33(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-18 09:20:41 +0100Googulator34(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-18 09:21:35 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 245 seconds)
2025-11-18 09:21:57 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-18 09:22:16 +0100mud(~mud@user/kadoban) (Ping timeout: 256 seconds)
2025-11-18 09:22:29 +0100nek0(~nek0@user/nek0) (Read error: Connection reset by peer)
2025-11-18 09:22:33 +0100nek02(~nek0@user/nek0) nek0
2025-11-18 09:25:41 +0100Googulator96(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-18 09:26:14 +0100Googulator34(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-18 09:27:28 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-11-18 09:30:42 +0100Googulator96(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-18 09:30:44 +0100Googulator21(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-18 09:36:05 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-11-18 09:44:33 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-11-18 09:45:48 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-11-18 09:55:20 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-11-18 09:59:20 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds)
2025-11-18 10:06:19 +0100chele(~chele@user/chele) chele
2025-11-18 10:13:33 +0100trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-18 10:13:47 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-18 10:15:17 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-18 10:15:28 +0100Googulator21(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-18 10:15:35 +0100Googulator25(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-18 10:15:57 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-11-18 10:20:18 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 260 seconds)
2025-11-18 10:20:37 +0100Googulator74(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-18 10:20:44 +0100Googulator25(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-18 10:23:22 +0100ft(~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving)
2025-11-18 10:24:07 +0100mud(~mud@user/kadoban) kadoban
2025-11-18 10:25:40 +0100Googulator62(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-18 10:25:40 +0100Googulator74(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-18 10:27:52 +0100kadobanana(~mud@user/kadoban) (Ping timeout: 246 seconds)
2025-11-18 10:30:43 +0100Googulator79(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu)
2025-11-18 10:30:49 +0100Googulator62(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-18 10:35:29 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2025-11-18 10:36:47 +0100img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-11-18 10:38:07 +0100img(~img@user/img) img
2025-11-18 10:42:26 +0100kuribas(~user@2a02:1808:e7:cecd:ef16:f030:ae55:9416) kuribas
2025-11-18 10:44:29 +0100econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2025-11-18 10:46:57 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-18 10:54:01 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 264 seconds)
2025-11-18 10:56:42 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-18 10:58:09 +0100srazkvt(~sarah@user/srazkvt) srazkvt
2025-11-18 10:58:26 +0100oneeyedalien(~oneeyedal@user/oneeyedalien) oneeyedalien
2025-11-18 11:02:21 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-11-18 11:07:13 +0100myxokephale(~myxos@2001:579:8380:f20:a8ed:41b7:d57f:8d02) myxokephale
2025-11-18 11:09:55 +0100myxos(~myxos@2001:579:8380:f20:5f4f:3365:91ae:208d) (Ping timeout: 245 seconds)
2025-11-18 11:21:37 +0100xff0x_(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds)
2025-11-18 11:22:21 +0100annamalai(~annamalai@157.33.250.15) annamalai
2025-11-18 11:30:54 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-11-18 11:36:49 +0100nek02(~nek0@user/nek0) (Ping timeout: 246 seconds)
2025-11-18 11:40:23 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-18 11:51:18 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-11-18 11:55:03 +0100 <kaol> I'm looking at network library's source and I see lines like "sizeOf ~_ = #const sizeof(struct addrinfo)" in it. What's that #const thing?
2025-11-18 11:59:43 +0100 <Leary> kaol: Looks like a "label": https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/overloaded_labels.html
2025-11-18 12:01:18 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-18 12:02:36 +0100gustrb(~gustrb@191.243.134.87) (Changing host)
2025-11-18 12:02:36 +0100gustrb(~gustrb@user/gustrb) gustrb
2025-11-18 12:03:00 +0100nek0(~nek0@user/nek0) nek0
2025-11-18 12:04:27 +0100 <tomsmeding> is there some way I can obtain a Coercible Int Int64? I'm fine if it's in a Maybe that is Nothing whenever this is not a 64-bit system or something
2025-11-18 12:04:50 +0100 <kaol> I'm not seeing that extension mentioned anywhere in the library.
2025-11-18 12:04:59 +0100 <tomsmeding> kaol: c2hs?
2025-11-18 12:05:11 +0100 <tomsmeding> is this in a .chs file?
2025-11-18 12:05:13 +0100kuribas`(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2025-11-18 12:06:18 +0100 <kaol> tomsmeding: Thanks, that explains what's going on. I suspect you mean .hsc because that's what they are using.
2025-11-18 12:06:37 +0100 <tomsmeding> ah yes, I misremembered
2025-11-18 12:06:42 +0100kuribas(~user@2a02:1808:e7:cecd:ef16:f030:ae55:9416) (Ping timeout: 252 seconds)
2025-11-18 12:06:52 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-11-18 12:07:35 +0100 <kaol> I need to do something similar but my use is limited enough that I think I'll just use capi for what I need.
2025-11-18 12:17:07 +0100xff0x(~xff0x@2405:6580:b080:900:d0b4:2969:7511:437b)
2025-11-18 12:18:35 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-18 12:24:55 +0100 <mauke> for reference, https://github.com/haskell/hsc2hs?tab=readme-ov-file#input-syntax
2025-11-18 12:25:20 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 245 seconds)
2025-11-18 12:26:51 +0100 <mauke> and https://github.com/haskell/hsc2hs/blob/master/data/template-hsc.h
2025-11-18 12:30:23 +0100srazkvt(~sarah@user/srazkvt) (Quit: Konversation terminated!)
2025-11-18 12:30:38 +0100srazkvt(~sarah@user/srazkvt) srazkvt
2025-11-18 12:31:52 +0100srazkvt(~sarah@user/srazkvt) (Client Quit)
2025-11-18 12:32:20 +0100__monty__(~toonn@user/toonn) toonn
2025-11-18 12:35:38 +0100trickard_trickard
2025-11-18 12:37:16 +0100Inline(~inlinE@2001-4dd7-ae97-0-4674-ae6d-2607-c022.ipv6dyn.netcologne.de) (Remote host closed the connection)
2025-11-18 12:37:39 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-18 12:48:03 +0100fp(~Thunderbi@2001:708:20:1406::10c5) fp
2025-11-18 12:56:58 +0100 <Leary> tomsmeding: Only by cheating egregiously: https://gist.github.com/LSLeary/91103a2fbb35d1c908802fa81d82c110
2025-11-18 12:57:57 +0100 <Leary> Worse, since GHC can actually see the declarations for all types involves, it /knows/ the `Coercible` instances are bogus and raises all kinds of warnings ... not sure if that will cause issues in practice.
2025-11-18 12:58:02 +0100 <Leary> involved*
2025-11-18 12:59:53 +0100 <tomsmeding> Leary: right -- I tried something like this too, and got the same warnings
2025-11-18 13:00:14 +0100 <Leary> I mean, it considers the (useful) RHSs of `archWS` as unreachable, so it's free to compile them away. `_test` works in the REPL, but might segfault in actual use.
2025-11-18 13:00:22 +0100 <tomsmeding> beautiful!
2025-11-18 13:00:39 +0100 <tomsmeding> If it compiles, it works.
2025-11-18 13:02:46 +0100Googulator79Googulator
2025-11-18 13:08:23 +0100srazkvt(~sarah@user/srazkvt) srazkvt
2025-11-18 13:09:44 +0100srazkvt(~sarah@user/srazkvt) (Client Quit)
2025-11-18 13:09:59 +0100srazkvt(~sarah@user/srazkvt) srazkvt
2025-11-18 13:17:15 +0100 <Leary> tomsmeding: Looking at the core under optimisation, it does compile just fine on my GHC 9.10. But I don't see why a future GHC could not choose to treat it as: `archWS = case wordSize of { 32 -> case unsafeWord32 of {}; 64 -> case unsafeWord64 of {}; _ -> UNK }`, producing core `archWS = case patError "ArchWS.hs:20:66-88|case"# of {}`.
2025-11-18 13:18:57 +0100 <tomsmeding> yes
2025-11-18 13:19:40 +0100 <tomsmeding> we'd need some kind of guarantee from GHC that conjuring up custom Coercible evidence is okay and respected by GHC, and there is no such guarantee currently, I think
2025-11-18 13:19:53 +0100 <tomsmeding> especially in the context of it being explicitly disallowed to write manual instances for Coercible
2025-11-18 13:33:24 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-11-18 13:34:41 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-11-18 13:34:42 +0100Zemy_(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2025-11-18 13:34:43 +0100Zemy(~Zemy@2600:100c:b0ae:c0b:6c30:fdff:fe2e:3217)
2025-11-18 13:35:16 +0100Zemy_(~Zemy@72.178.108.235)
2025-11-18 13:37:59 +0100 <Leary> tomsmeding: I want to include (lightly edited) logs of this conversation in the gist as a warning to posterity; do you mind?
2025-11-18 13:38:14 +0100 <tomsmeding> sure, they are public anyway :)
2025-11-18 13:39:05 +0100Zemy(~Zemy@2600:100c:b0ae:c0b:6c30:fdff:fe2e:3217) (Ping timeout: 245 seconds)
2025-11-18 13:40:40 +0100 <Leary> There is a certain irony in asking that of the guy who hosts public logs of the whole channel, but it just felt a bit rude to quote a casual conversation somewhere less transient without asking.
2025-11-18 13:42:25 +0100 <tomsmeding> Leary: heh. Thanks for asking though, I appreciate it :)
2025-11-18 13:45:29 +0100SlackCoder(~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder
2025-11-18 13:47:15 +0100omidmash(~omidmash@user/omidmash) omidmash
2025-11-18 13:48:32 +0100 <omidmash> Good day. I need to install Haskell on lots of PCs that I manage using ansible playbooks. These computers are in computer labors, so I need GHC/I to work reliably. The official instruction installs in home folder (which I have set to reset on reboot), and needs user prompts. Is there a way to install Haskell systemwide that is automatable, for
2025-11-18 13:48:32 +0100 <omidmash> instance with ansible?
2025-11-18 13:53:49 +0100 <omidmash> Ah I have just noticed the haskell-ops channel
2025-11-18 13:54:01 +0100 <tomsmeding> omidmash: solves only half of your problem, but the ghcup install script responds to the BOOTSTRAP_HASKELL_NONINTERACTIVE environment variable
2025-11-18 13:54:15 +0100 <kaol> If this is about a linux distribution going with the package provided by them is one option.
2025-11-18 14:05:43 +0100trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-18 14:05:57 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-18 14:09:39 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-18 14:16:50 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-18 14:25:56 +0100Nachtgespenst(~user@user/siracusa) (Quit: Bye!)
2025-11-18 14:26:40 +0100Googulator(~Googulato@2a01-036d-0106-0231-4475-80b4-5cdc-43d6.pool6.digikabel.hu) (Quit: Client closed)
2025-11-18 14:26:54 +0100Square2(~Square4@user/square) Square
2025-11-18 14:30:15 +0100fp(~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds)
2025-11-18 14:35:56 +0100fp(~Thunderbi@2001:708:150:10::7e06) fp
2025-11-18 14:44:47 +0100Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-11-18 14:51:02 +0100spew(~spew@user/spew) spew
2025-11-18 14:54:15 +0100 <haskellbridge> <Morj> Is there no function in base to get the bit length of a positive Integer?
2025-11-18 14:54:30 +0100 <haskellbridge> <Morj> I would google myself but stackoverflow is down with cloudflare
2025-11-18 14:54:47 +0100 <lucabtz> isnt it just log2
2025-11-18 14:54:56 +0100 <lucabtz> with some flooring or ceiling
2025-11-18 14:55:23 +0100 <lucabtz> maybe not efficient though
2025-11-18 14:59:27 +0100 <haskellbridge> <Morj> There's logBase, but that's for Floating. I don't see a log2 function
2025-11-18 14:59:52 +0100bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-11-18 14:59:55 +0100 <haskellbridge> <Morj> That's fine, I already wrote "lb a = flip Data.Function.fix (abs a, 0) $ \go (x, r) -> if x == 0 then r else go (Data.Bits.shiftR x 1, r + 1)"
2025-11-18 15:00:25 +0100 <haskellbridge> <Morj> It's off by one but that's fine
2025-11-18 15:01:15 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 244 seconds)
2025-11-18 15:01:38 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-18 15:02:25 +0100srazkvt(~sarah@user/srazkvt) (Ping timeout: 264 seconds)
2025-11-18 15:07:37 +0100 <lucabtz> Morj by log2 i didnt mean anything specific about haskell, just the natural logarithm in base 2, but you are right it is for floating
2025-11-18 15:08:28 +0100 <lucabtz> that's why i said maybe not good for efficiency
2025-11-18 15:08:46 +0100Lycurgus(~juan@user/Lycurgus) (bye room!)
2025-11-18 15:10:09 +0100trickard_trickard
2025-11-18 15:11:56 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-11-18 15:12:00 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 245 seconds)
2025-11-18 15:13:41 +0100 <haskellbridge> <Morj> It's not only not good for efficiency, but logBase 2 (2^1024) == NaN
2025-11-18 15:13:52 +0100Zemy(~Zemy@2600:100c:b0ae:c0b:84d9:a0ff:fe3d:6f11)
2025-11-18 15:13:55 +0100 <haskellbridge> <Morj> I don't care about efficiency in ghci, more about usefulness
2025-11-18 15:14:19 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds)
2025-11-18 15:16:39 +0100Zemy_(~Zemy@72.178.108.235) (Ping timeout: 244 seconds)
2025-11-18 15:18:26 +0100 <lucabtz> sure sure, i just meant its related to log2, didnt know about the specific haskell functions
2025-11-18 15:20:25 +0100srazkvt(~sarah@user/srazkvt) srazkvt
2025-11-18 15:24:46 +0100rekahsoft(~rekahsoft@70.51.99.245) rekahsoft
2025-11-18 15:27:17 +0100 <Leary> Morj: `GHC.Num.integerLog2`
2025-11-18 15:29:05 +0100 <haskellbridge> <Morj> Thanks, that's exactly what I wanted
2025-11-18 15:30:58 +0100morj(~morj@user/morj) morj
2025-11-18 15:31:24 +0100 <morj> The tagging of my bridged account still doesn't work, but what if I write out @morj:morj.men ?
2025-11-18 15:31:35 +0100 <haskellbridge> <Morj> morj: Hm
2025-11-18 15:31:40 +0100 <morj> Morj hm
2025-11-18 15:31:50 +0100 <haskellbridge> <Morj> Wait what, this one tagged me
2025-11-18 15:32:07 +0100 <haskellbridge> <Morj> What are you all doing wrong?
2025-11-18 15:39:55 +0100pr1sm(~pr1sm@24.91.163.31)
2025-11-18 15:39:58 +0100 <tomsmeding> Morj test
2025-11-18 15:39:59 +0100 <dutchie> Morj: there was no colon on the second one
2025-11-18 15:40:30 +0100Zemy_(~Zemy@syn-192-154-181-091.biz.spectrum.com)
2025-11-18 15:43:04 +0100Zemy(~Zemy@2600:100c:b0ae:c0b:84d9:a0ff:fe3d:6f11) (Ping timeout: 256 seconds)
2025-11-18 15:47:37 +0100 <haskellbridge> <Morj> Um, now I see both (I was just afk)
2025-11-18 15:49:08 +0100 <tomsmeding> Morj: have you considered correlating matrix notification behaviour with the phase of the moon
2025-11-18 15:49:29 +0100 <haskellbridge> <Morj> Yes, it's uncorrelated
2025-11-18 15:49:48 +0100 <tomsmeding> that's a relief
2025-11-18 15:50:10 +0100 <haskellbridge> <Morj> It's not the matrix itself (which also has a million problems), but the bridge misbehaving. But I believe this problem was reported
2025-11-18 15:50:20 +0100 <tomsmeding> oh right, I remember
2025-11-18 15:51:31 +0100 <tomsmeding> https://github.com/hifi/heisenbridge/issues/310
2025-11-18 15:51:35 +0100SlackCoder(~SlackCode@64-94-63-8.ip.weststar.net.ky) (Ping timeout: 245 seconds)
2025-11-18 15:52:26 +0100 <tomsmeding> Morj: so it's possible that it works _because_ you're now also here with your morj irc user
2025-11-18 15:52:37 +0100 <haskellbridge> <Morj> Huh
2025-11-18 15:52:43 +0100morj(~morj@user/morj) (Konversation terminated!)
2025-11-18 15:52:48 +0100 <haskellbridge> <Morj> Try now plz
2025-11-18 15:52:54 +0100 <tomsmeding> Morj test
2025-11-18 15:52:59 +0100 <haskellbridge> <Morj> Yep, no notif
2025-11-18 15:57:02 +0100fp(~Thunderbi@2001:708:150:10::7e06) (Ping timeout: 265 seconds)
2025-11-18 15:57:48 +0100 <lucabtz> how about the colon?
2025-11-18 15:57:53 +0100 <lucabtz> Morj: test
2025-11-18 15:57:59 +0100 <haskellbridge> <Morj> Nope
2025-11-18 15:59:04 +0100ss4(~wootehfoo@user/wootehfoot) wootehfoot
2025-11-18 15:59:11 +0100statusbot(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) statusbot
2025-11-18 16:02:15 +0100Xe_(~Xe@perl/impostor/xe) Xe
2025-11-18 16:02:25 +0100rembo10_(~rembo10@main.remulis.com)
2025-11-18 16:02:55 +0100Inline(~inlinE@2001-4dd7-ae97-0-4674-ae6d-2607-c022.ipv6dyn.netcologne.de) Inline
2025-11-18 16:03:07 +0100jangerma1(~jangermad@104-54-32-17.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection)
2025-11-18 16:03:45 +0100ystael_(~ystael@user/ystael) ystael
2025-11-18 16:07:13 +0100connrs(~connrs@user/connrs) (Ping timeout: 264 seconds)
2025-11-18 16:07:15 +0100fp(~Thunderbi@2001:708:20:1406::10c5) fp
2025-11-18 16:07:27 +0100fgarcia_(~lei@user/fgarcia) fgarcia
2025-11-18 16:08:23 +0100rekahsoft(~rekahsoft@70.51.99.245) (*.net *.split)
2025-11-18 16:08:23 +0100spew(~spew@user/spew) (*.net *.split)
2025-11-18 16:08:23 +0100wootehfoot(~wootehfoo@user/wootehfoot) (*.net *.split)
2025-11-18 16:08:23 +0100xff0x(~xff0x@2405:6580:b080:900:d0b4:2969:7511:437b) (*.net *.split)
2025-11-18 16:08:23 +0100synchromesh(~john@2406:5a00:2412:2c00:6993:feea:8b51:a565) (*.net *.split)
2025-11-18 16:08:23 +0100omidmash(~omidmash@user/omidmash) (*.net *.split)
2025-11-18 16:08:24 +0100Shark8(~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (*.net *.split)
2025-11-18 16:08:24 +0100tt12316(~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (*.net *.split)
2025-11-18 16:08:24 +0100itaipu(~itaipu@168.121.97.28) (*.net *.split)
2025-11-18 16:08:24 +0100xal(~xal@mx1.xal.systems) (*.net *.split)
2025-11-18 16:08:24 +0100enikar(~enikar@user/enikar) (*.net *.split)
2025-11-18 16:08:24 +0100tremon(~tremon@83.80.159.219) (*.net *.split)
2025-11-18 16:08:24 +0100statusbot2(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (*.net *.split)
2025-11-18 16:08:24 +0100EvanR(~EvanR@user/evanr) (*.net *.split)
2025-11-18 16:08:24 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (*.net *.split)
2025-11-18 16:08:24 +0100paddymahoney(~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (*.net *.split)
2025-11-18 16:08:24 +0100traxex(traxex@user/traxex) (*.net *.split)
2025-11-18 16:08:24 +0100ystael(~ystael@user/ystael) (*.net *.split)
2025-11-18 16:08:24 +0100fgarcia(~lei@user/fgarcia) (*.net *.split)
2025-11-18 16:08:24 +0100rembo10(~rembo10@main.remulis.com) (*.net *.split)
2025-11-18 16:08:24 +0100tcard_(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (*.net *.split)
2025-11-18 16:08:24 +0100Xe(~Xe@perl/impostor/xe) (*.net *.split)
2025-11-18 16:08:24 +0100mstksg(~jle`@2603:8001:3b00:11:7b1b:9c2a:d864:1c7b) (*.net *.split)
2025-11-18 16:08:24 +0100sp1ff(~user@2601:1c2:4c00:6820::8bad) (*.net *.split)
2025-11-18 16:08:24 +0100arahael(~wetfoot@user/arahael) (*.net *.split)
2025-11-18 16:08:24 +0100elenril(~elenril@tutturu.khirnov.net) (*.net *.split)
2025-11-18 16:08:27 +0100fgarcia_fgarcia
2025-11-18 16:09:06 +0100connrs(~connrs@user/connrs) connrs
2025-11-18 16:11:01 +0100EvanR(~EvanR@2600:1700:ba69:10:40ed:456a:b2ec:28ad)
2025-11-18 16:11:01 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-11-18 16:11:01 +0100Dhark8(~Shark8@c-174-56-102-109.hsd1.nm.comcast.net)
2025-11-18 16:11:01 +0100spew(~spew@user/spew) spew
2025-11-18 16:11:01 +0100omidmash(~omidmash@user/omidmash) omidmash
2025-11-18 16:11:01 +0100xff0x(~xff0x@2405:6580:b080:900:d0b4:2969:7511:437b)
2025-11-18 16:11:01 +0100synchromesh(~john@2406:5a00:2412:2c00:6993:feea:8b51:a565) synchromesh
2025-11-18 16:11:01 +0100tt12316(~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) tt1231
2025-11-18 16:11:01 +0100xal(~xal@mx1.xal.systems) xal
2025-11-18 16:11:01 +0100enikar(~enikar@user/enikar) enikar
2025-11-18 16:11:01 +0100tcard_(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2025-11-18 16:11:01 +0100mstksg(~jle`@2603:8001:3b00:11:7b1b:9c2a:d864:1c7b) jle`
2025-11-18 16:11:01 +0100sp1ff(~user@2601:1c2:4c00:6820::8bad) sp1ff
2025-11-18 16:11:01 +0100arahael(~wetfoot@user/arahael) arahael
2025-11-18 16:11:01 +0100elenril(~elenril@tutturu.khirnov.net) elenril
2025-11-18 16:12:28 +0100FANTOM(~fantom@212.228.181.156) (Ping timeout: 256 seconds)
2025-11-18 16:12:46 +0100traxex(traxex@user/traxex) traxex
2025-11-18 16:13:19 +0100Tuplanolla(~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) Tuplanolla
2025-11-18 16:13:52 +0100FANTOM(~fantom@212.228.181.156)
2025-11-18 16:15:05 +0100synchromesh(~john@2406:5a00:2412:2c00:6993:feea:8b51:a565) (Read error: Connection reset by peer)
2025-11-18 16:15:30 +0100tremon(~tremon@83.80.159.219) tremon
2025-11-18 16:15:33 +0100merijn(~merijn@77.242.116.146) (Quit: leaving)
2025-11-18 16:16:02 +0100synchromesh(~john@2406:5a00:2412:2c00:6993:feea:8b51:a565) synchromesh
2025-11-18 16:16:15 +0100itaipu(~itaipu@168.121.97.28) itaipu
2025-11-18 16:17:14 +0100paddymahoney(~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com)
2025-11-18 16:17:31 +0100ezzieyguywuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2025-11-18 16:18:13 +0100trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-18 16:18:13 +0100Zemy_(~Zemy@syn-192-154-181-091.biz.spectrum.com) (Read error: Connection reset by peer)
2025-11-18 16:18:20 +0100Zemy(~Zemy@2600:100c:b0ae:c0b:fc8a:aeff:fee2:a9bc)
2025-11-18 16:18:27 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-18 16:18:50 +0100Zemy_(~Zemy@12.50.240.58)
2025-11-18 16:18:59 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-18 16:20:56 +0100Everything(~Everythin@static.208.206.21.65.clients.your-server.de) Everything
2025-11-18 16:23:09 +0100Zemy(~Zemy@2600:100c:b0ae:c0b:fc8a:aeff:fee2:a9bc) (Ping timeout: 260 seconds)
2025-11-18 16:28:23 +0100Zemy(~Zemy@2600:100c:b0ae:c0b:b45d:eaff:fe8f:4bed)
2025-11-18 16:28:23 +0100Zemy_(~Zemy@12.50.240.58) (Read error: Connection reset by peer)
2025-11-18 16:32:24 +0100srazkvt(~sarah@user/srazkvt) (Quit: Konversation terminated!)
2025-11-18 16:33:46 +0100finsternis(~X@23.226.237.192) (Read error: Connection reset by peer)
2025-11-18 16:43:26 +0100AlexNoo_AlexNoo
2025-11-18 16:51:04 +0100SlackCoder(~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder
2025-11-18 16:55:27 +0100fp(~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds)
2025-11-18 17:01:07 +0100Zemy_(~Zemy@72.178.108.235)
2025-11-18 17:04:16 +0100Zemy(~Zemy@2600:100c:b0ae:c0b:b45d:eaff:fe8f:4bed) (Ping timeout: 255 seconds)
2025-11-18 17:05:11 +0100poscat(~poscat@user/poscat) poscat
2025-11-18 17:05:12 +0100Zemy_(~Zemy@72.178.108.235) (Read error: Connection reset by peer)
2025-11-18 17:05:17 +0100Zemy(~Zemy@2600:100c:b0ae:c0b:8f2:a6ff:fe96:9039)
2025-11-18 17:06:27 +0100Zemy_(~Zemy@72.178.108.235)
2025-11-18 17:07:00 +0100poscat0x04(~poscat@user/poscat) (Ping timeout: 252 seconds)