Home freenode/#haskell: Logs Calendar

Logs on 2021-05-19 (freenode/#haskell)

00:03:53 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds)
00:05:46 pavonia joins (~user@unaffiliated/siracusa)
00:06:08 <a6a45081-2b83> is there a RS monad or using RWS should be enough?
00:07:27 <c_wraith> I'm of the opinion that RWS should never be used. the W portion, which you almost never want anyway, has strictness issues.
00:08:05 <a6a45081-2b83> c_wraith: what would be a better choice?
00:08:17 <a6a45081-2b83> it's true that I don't need W portion
00:08:45 <a6a45081-2b83> should I combine the monads myself?
00:09:51 Stanley00 joins (~stanley00@unaffiliated/stanley00)
00:10:08 bennofs__ joins (~quassel@dynamic-077-013-120-064.77.13.pool.telefonica.de)
00:10:24 <c_wraith> If you want to maximize performance, yes. If you don't care about that, just nest ReaderT and State
00:13:41 × bennofs_ quits (~quassel@x4dbf70df.dyn.telefonica.de) (Ping timeout: 240 seconds)
00:14:03 ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
00:14:06 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 240 seconds)
00:15:51 <hololeap> or just use State and pass the r in explicitly to the function
00:15:52 × pfurla_ quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: gone to sleep. ZZZzzz…)
00:16:14 <hololeap> (ReaterT r (State s) a) vs (r -> State s a)
00:16:23 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection)
00:16:39 falafel joins (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com)
00:16:54 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
00:18:11 × ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
00:18:25 tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
00:19:01 <a6a45081-2b83> I currently have ReaderT r (FooT (BarT m)) a
00:19:11 × tefter quits (~bmaxa@62.240.25.20) (Quit: WeeChat 3.1)
00:19:22 <a6a45081-2b83> I'm thinking of converting this to StateT (ReaderT r (FooT (BarT m))) a, will this work?
00:20:02 <a6a45081-2b83> *StateT s (ReaderT r (FooT (BarT m))) a
00:20:05 hololeap . o O ( foot bart )
00:20:16 <a6a45081-2b83> :))
00:20:47 <a6a45081-2b83> hololeap: have you tried template haskell for your problem?
00:21:24 <hololeap> no, i think it can be solved using generics. i just didn't want to reinvent the wheel if something was already out there.
00:22:05 <hololeap> @unmtl StateT s (ReaderT r m) a
00:22:06 <lambdabot> s -> r -> m (a, s)
00:22:06 wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
00:22:39 cdsmith joins (~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net)
00:23:02 <hololeap> @unmtl ReaderT r m a
00:23:03 <lambdabot> r -> m a
00:23:11 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds)
00:23:36 <hololeap> it just depends on what you need
00:23:48 × Neuromancer quits (~Neuromanc@unaffiliated/neuromancer) (Read error: Connection reset by peer)
00:23:54 <hololeap> i'm pretty sure shuffling ReaderT up and down on the transformer stack never changes the semantics
00:24:11 <hololeap> @unmtl ReaderT r (StateT s m) a
00:24:11 <lambdabot> r -> s -> m (a, s)
00:24:54 <a6a45081-2b83> My last monad in the chain is IO() so it shouldn't matter the ordering
00:25:02 werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
00:26:27 <hololeap> i don't generally use ReaderT unless i have to pass a value way down deep into my program
00:26:44 jai9 joins (~textual@cpe-74-72-114-231.nyc.res.rr.com)
00:29:22 superstar64 joins (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net)
00:29:41 <a6a45081-2b83> doing some db operations so require the reader monad
00:30:22 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
00:30:24 rajivr joins (uid269651@gateway/web/irccloud.com/x-svtwbkuqnerncbos)
00:33:43 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 268 seconds)
00:36:26 <superstar64> neat, ghc warns that any non bottom definition you provide for `cast :: (Int :~: String) -> Int -> String` is unreachable
00:38:23 pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net)
00:39:10 tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
00:39:11 × stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds)
00:39:41 × elliott_ quits (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 260 seconds)
00:40:22 <superstar64> unfortunately, this doesn't seem to work `cast :: (Int ~ String) => Int -> String; cast x = x`
00:42:20 elliott_ joins (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net)
00:43:13 nbloomf joins (~nbloomf@2600:1700:ad14:3020:505f:5646:cd3:804d)
00:44:12 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 268 seconds)
00:44:56 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
00:45:07 × ep1ctetus_ quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer)
00:45:17 <superstar64> oh, scratch my first comment, it only warns when you pattern match on Refl
00:46:17 dcompoze joins (~dcompoze@5E98D6D9.static.tld.pl)
00:48:41 × dcompoze quits (~dcompoze@5E98D6D9.static.tld.pl) (Client Quit)
00:48:52 × argento quits (~argent0@168.227.96.26) (Quit: leaving)
00:49:51 × dmytrish quits (~mitra@2a02:8084:a82:d900:5051:16e0:8e89:e082) (Ping timeout: 260 seconds)
00:50:00 ddellac__ joins (~ddellacos@86.106.143.217)
00:50:30 × falafel quits (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) (Ping timeout: 258 seconds)
00:51:51 × abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Remote host closed the connection)
00:52:44 stree joins (~stree@68.36.8.116)
00:53:36 tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
00:53:54 peterhil` joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi)
00:54:34 × TK__ quits (~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c) (Ping timeout: 245 seconds)
00:54:34 × ddellac__ quits (~ddellacos@86.106.143.217) (Ping timeout: 252 seconds)
00:55:25 <superstar64> what is the heterogeneous equality in Data.Type.Equality? what is it useful for?
00:57:06 <c_wraith> It's useful when you're working with polykinded stuff and you don't want to have a proof that two types have the same kind, then a second proof that they're the same type
00:57:41 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
00:58:09 <superstar64> is it representable in system-f ω like normal equality?
00:58:54 <superstar64> normal leibniz equality*
00:59:08 × hiruji quits (~hiruji@72.74.190.75) (Quit: ZNC 1.8.2 - https://znc.in)
01:00:31 hiruji joins (~hiruji@72.74.190.75)
01:02:03 × deviantfero quits (~deviantfe@190.150.27.58) (Quit: WeeChat 3.1)
01:04:27 × hiruji quits (~hiruji@72.74.190.75) (Client Quit)
01:04:40 × jai9 quits (~textual@cpe-74-72-114-231.nyc.res.rr.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
01:05:33 hiruji joins (~hiruji@72.74.190.75)
01:07:13 × m0rphism quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 240 seconds)
01:08:05 × Guest41717 quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
01:10:53 × Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 240 seconds)
01:11:33 × Andriamanitra quits (~mikko@2a02:7b40:d418:6a61::1) (Ping timeout: 250 seconds)
01:12:05 × whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
01:12:40 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
01:13:12 whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
01:13:26 raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
01:13:58 × Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa)
01:14:00 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
01:14:19 tim is now known as Guest91197
01:16:37 berberman joins (~berberman@unaffiliated/berberman)
01:17:04 × berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 245 seconds)
01:18:25 hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com)
01:19:15 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
01:19:49 <a6a45081-2b83> do I have to use these evalState, runState, etc. in infix nottation inside do blocks?
01:20:33 <Axman6> have to? no
01:20:54 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
01:21:24 <superstar64> oh, i should start doing evalState with infix notation, why didn't i think of that earlier
01:22:00 <a6a45081-2b83> I'm learning state monad today and trying to convert existing code but getting lot of type errors :((
01:22:03 <a6a45081-2b83> this is difficult
01:24:44 royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
01:25:27 tefter joins (bmaxa@gateway/vpn/protonvpn/tefter)
01:26:24 <a6a45081-2b83> stupid question but do I have to look at the first type inequality or the last while fixing compilation errors?
01:27:21 <ski> (`evalState` init) $ do ..
01:27:30 <superstar64> a6a45081-2b83, if you haven't already, try adding type annotation to your variable (local variables too) and enabling scoped type variables if you have too as well
01:27:34 × kjak quits (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (Ping timeout: 252 seconds)
01:28:23 kjak joins (~kjak@pool-108-45-56-21.washdc.fios.verizon.net)
01:28:33 ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
01:28:40 tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
01:29:23 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds)
01:30:53 heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
01:32:28 chris__ joins (~chris@81.96.113.213)
01:32:41 × ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
01:33:16 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds)
01:33:43 × peterhil` quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Quit: Must not waste too much time here...)
01:35:23 drbean_ joins (~drbean@TC210-63-209-80.static.apol.com.tw)
01:35:41 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
01:37:26 <superstar64> is it possible to have an (inefficient) implemention of the `ST` monad without any builtin primitives?
01:38:46 Andriamanitra joins (~mikko@2a02:7b40:d418:6a61::1)
01:39:09 <superstar64> i think you might need to change the type of `STRef`'s methods to be like something `readSTRef :: Threadable s => STRef s a -> ST s a`
01:39:24 <superstar64> though i'm worried that might break ST
01:41:26 × kupi quits (uid212005@gateway/web/irccloud.com/x-yaowynkbxbqddnku) (Quit: Connection closed for inactivity)
01:41:39 <a6a45081-2b83> @hoogle "s -> ReaderT r m a -> StateT (ReaderT r m) a"
01:41:40 <lambdabot> No results found
01:43:34 <nshepperd> there's a pure implementation of ST floating around somewhere
01:44:25 <Axman6> missing an s in that StateT
01:44:50 <nshepperd> basically consisting of State over a heterogenous map
01:44:50 <ski> @hoogle s -> ReaderT r m a -> StateT s (ReaderT r m) a
01:44:51 <lambdabot> No results found
01:44:59 <a6a45081-2b83> @hoogle "s -> ReaderT r m a -> StateT s (ReaderT r m) a"
01:45:00 <lambdabot> No results found
01:45:10 <a6a45081-2b83> :t lift
01:45:11 <ski> (don't put quotes there)
01:45:12 <lambdabot> (MonadTrans t, Monad m) => m a -> t m a
01:45:43 <a6a45081-2b83> :t lift :: ReaderT r m a -> StateT s m2 a
01:45:44 <lambdabot> error:
01:45:44 <lambdabot> • Couldn't match type ‘m3’ with ‘ReaderT r1 m1’
01:45:44 <lambdabot> ‘m3’ is a rigid type variable bound by
01:47:11 <ski> @type lift :: Monad m => ReaderT r m a -> StateT s (ReaderT r m) a
01:47:12 <lambdabot> Monad m => ReaderT r m a -> StateT s (ReaderT r m) a
01:47:27 <a6a45081-2b83> :raised_hands:
01:47:29 <superstar64> nshepperd, can you point me to it?
01:47:31 × xff0x quits (~xff0x@2001:1a81:5398:2600:34a3:dc49:97fe:469a) (Ping timeout: 250 seconds)
01:47:51 <a6a45081-2b83> ski: thanks!
01:48:22 <hiptobecubic> I've been out of the loop for awhile. What is new and exciting?
01:48:39 <superstar64> hiptobecubic linear types
01:48:49 <hiptobecubic> Oh! really?
01:49:11 <hiptobecubic> is there a blog post that plebian losers can casually read?
01:49:31 <hiptobecubic> I mean a good one. I'm sure there are many blog posts.
01:49:33 xff0x joins (~xff0x@2001:1a81:53d3:5400:2612:4e5b:698e:1b71)
01:49:46 heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
01:50:01 <Axman6> haskell-language-server works really well these days
01:50:08 <superstar64>  it's a bit old, but there's this https://youtu.be/t0mhvd3-60Y
01:51:13 <Axman6> the engineering around GHC's releases seems to have improved a lot too, and the Haskell Foundation seems to be doign a good job of focusing the efforts of development in many good ways
01:51:14 <nshepperd> superstar64: https://stackoverflow.com/a/33977350 is one impl
01:51:26 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
01:51:46 <nshepperd> i could have sworn there was a package called pure-st or something but i can't find it
01:52:02 <superstar64> oh, you don't even need to change the type signature of the ST methods
01:52:40 <nshepperd> right
01:52:58 renzhi joins (~renzhi@2607:fa49:6500:bc00::e7b)
01:54:58 <superstar64> "unsafeCoerce is cheating! – Benjamin Hodgson♦ Nov 28 '15 at 22:55"
01:58:29 <Axman6> I wonder if the gosts of deperted proof ideas could make it a little less hacky
01:58:53 <Axman6> ghosts*
01:59:02 <ski> @quote It's.cheating
01:59:02 <lambdabot> orphi says: I still like the quote I saw somewhere: "Haskell isn't programming. It's cheating! You just write what you want and it DOES it!"
01:59:14 <ski> @quote is.like.cheating
01:59:14 <lambdabot> pastah says: the maybe monad is like cheating. everything is so awesomelly easy.
01:59:41 <hiptobecubic> Glad to see SPJ's still doing everything in comic sans
02:00:24 <a6a45081-2b83> what am I doing wrong here?: `foo :: Monad m => ProgressBar s1 -> v -> StateT s m ()`, getting couldn't match `s` with `Maybe Int`; expected = `StateT s m ()`, actual = `StateT (Maybe Int) (ReaderT backend0 m1) ()`
02:01:07 <a6a45081-2b83> AFAIK it should accept s = Maybe Int and Monad m => m = ReaderT backend0 m1 ...
02:01:35 tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
02:02:21 × CrazyPython quits (~crazypyth@206.214.238.6) (Read error: Connection reset by peer)
02:03:13 <ski> evidently your implementation of `foo' doesn't work for all `s' and all `m's (that are instances of `Monad'), which is what your type signature claims it does
02:03:36 <a6a45081-2b83> okay so I have to be strict about the types IOW
02:04:43 <ski> heh, yea
02:05:36 <ski> "works for all types `s'" is very different from "works for some particular type `s'"
02:06:08 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds)
02:06:10 × Guest91197 quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
02:06:37 ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
02:06:51 × urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna)
02:07:12 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: Lost terminal)
02:09:38 Tario joins (~Tario@201.192.165.173)
02:11:06 × ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
02:11:32 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
02:11:33 × jao quits (~jao@pdpc/supporter/professional/jao) (Read error: Connection reset by peer)
02:11:56 tim is now known as Guest64747
02:12:02 ddellac__ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
02:14:51 × ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds)
02:15:13 wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
02:18:27 toast52 joins (97c0a778@151.192.167.120)
02:18:40 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 258 seconds)
02:19:28 wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com)
02:19:31 star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
02:19:32 ozzymcdu_ joins (~ozzymcduf@81-234-151-21-no94.tbcn.telia.com)
02:19:36 maylee joins (~mayleesia@dynamic-078-054-072-224.78.54.pool.telefonica.de)
02:21:35 jao joins (~jao@pdpc/supporter/professional/jao)
02:22:16 FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
02:22:16 finn_elija is now known as Guest30168
02:22:16 FinnElija is now known as finn_elija
02:22:36 Tario joins (~Tario@201.192.165.173)
02:25:23 × filwisher quits (~filwisher@78.141.201.45) (Ping timeout: 246 seconds)
02:25:33 × Guest30168 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds)
02:25:37 <toast52> hello! I need some help static linking C code using cabal
02:26:05 × tjbp quits (~tom@2001:19f0:7400:8d4c:5400:2ff:fe2c:5662) (Ping timeout: 250 seconds)
02:26:14 × nicholasbulka quits (~nicholasb@2601:900:4301:da0:189f:ecee:d0e0:93ba) (Remote host closed the connection)
02:26:57 nicholasbulka joins (~nicholasb@2601:900:4301:da0:189f:ecee:d0e0:93ba)
02:27:01 × miklcct quits (quasselcor@miklcct.com) (Ping timeout: 276 seconds)
02:28:37 × machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 252 seconds)
02:29:12 toast5275 joins (97c0a778@151.192.167.120)
02:29:30 <pavonia> toast52: Whats the issue?
02:30:42 × toast52 quits (97c0a778@151.192.167.120) (Ping timeout: 240 seconds)
02:30:49 <hiptobecubic> Are folks actually writing things in linear haskell?
02:31:01 toast5275 is now known as toast52
02:31:18 <Axman6> I think Facebook are, they published a paper recently
02:31:32 <hololeap> i haven't even touched ghc 9 yet
02:31:54 <hololeap> edwardk is
02:32:22 × geekosaur quits (45870322@069-135-003-034.biz.spectrum.com) (Ping timeout: 240 seconds)
02:32:28 <hiptobecubic> Sure, but he is often writing things that normies do not.
02:32:40 miklcct joins (quasselcor@miklcct.com)
02:32:53 <hololeap> folks = normies -- got it
02:33:16 <hiptobecubic> well there are certainly levels of norminess
02:33:29 tjbp joins (~tom@78.141.197.43)
02:33:48 filwisher joins (~filwisher@78.141.201.45)
02:33:59 <hiptobecubic> If you're lurking in here you are at least one or two levels above normie. But some folks are clearly normier than others.
02:34:54 <hololeap> i would like to play around with linear types just to get a feel for it, then i might see a place where it would fit well in my code. but it's mostly just a novelty to me
02:37:11 <hololeap> aren't linear types essentially how rust handles memory management?
02:37:25 <hiptobecubic> Yes
02:37:37 <toast52> pavonia: I've written a small function in C compiled to a .o file. I think I understand the `foreign import ccall ...` syntax within the haskell source file. But how do I specify linking in the .o file at compile time within my cabal config?
02:39:28 Stanley00 joins (~stanley00@unaffiliated/stanley00)
02:41:04 ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
02:44:11 × Sheilong quits (uid293653@gateway/web/irccloud.com/x-yvifpnpfisssiqhx) ()
02:45:04 × theDon quits (~td@muedsl-82-207-238-185.citykom.de) (Ping timeout: 268 seconds)
02:45:40 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
02:46:30 theDon joins (~td@muedsl-82-207-238-018.citykom.de)
02:48:51 mayleesia joins (~mayleesia@dynamic-078-055-186-201.78.55.pool.telefonica.de)
02:49:24 × xkapastel quits (uid17782@gateway/web/irccloud.com/x-uiyvwgqmgltrwigi) (Quit: Connection closed for inactivity)
02:53:05 × maylee quits (~mayleesia@dynamic-078-054-072-224.78.54.pool.telefonica.de) (Ping timeout: 268 seconds)
02:54:29 × miklcct quits (quasselcor@miklcct.com) (Remote host closed the connection)
02:55:26 × filwisher quits (~filwisher@78.141.201.45) (Ping timeout: 265 seconds)
02:55:34 × tjbp quits (~tom@78.141.197.43) (Ping timeout: 252 seconds)
02:55:50 tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
02:58:54 olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
02:59:27 tjbp joins (~tom@2001:19f0:7400:8d4c:5400:2ff:fe2c:5662)
02:59:31 miklcct joins (quasselcor@miklcct.com)
03:00:07 Alleria joins (~textual@2603-7000-3040-0000-5107-53e7-cd36-0949.res6.spectrum.com)
03:00:16 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds)
03:00:31 Alleria is now known as Guest11324
03:01:04 × stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds)
03:01:29 filwisher joins (~filwisher@78.141.201.45)
03:02:29 × darjeeling_ quits (~darjeelin@115.215.40.88) (Ping timeout: 245 seconds)
03:03:26 <fivebox> toast52, you'll put the C file in your c-sources https://cabal.readthedocs.io/en/3.4/cabal-package.html?highlight=c-sources#pkg-field-c-sources
03:04:14 nbloomf_ joins (~nbloomf@2600:1700:ad14:3020:582b:30d1:5899:a42a)
03:04:40 × Guest11324 quits (~textual@2603-7000-3040-0000-5107-53e7-cd36-0949.res6.spectrum.com) (Ping timeout: 258 seconds)
03:05:35 <toast52> do I need to compile the C sources beforehand then?
03:05:49 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:505f:5646:cd3:804d) (Ping timeout: 258 seconds)
03:07:44 xiinotulp joins (~q@node-ujl.pool-125-24.dynamic.totinternet.net)
03:07:51 <fivebox> no
03:10:46 × plutoniix quits (~q@node-uic.pool-125-24.dynamic.totinternet.net) (Ping timeout: 240 seconds)
03:12:13 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 240 seconds)
03:13:38 stree joins (~stree@68.36.8.116)
03:15:15 × Guest64747 quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
03:15:34 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
03:16:01 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
03:16:16 darjeeling_ joins (~darjeelin@115.215.42.88)
03:16:24 tim is now known as Guest64783
03:18:49 ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
03:18:59 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 268 seconds)
03:20:34 <toast52> Thanks! I'll give it a shot.
03:20:50 × Guest64783 quits (~tim@112-141-128-42.sta.dodo.net.au) (Ping timeout: 268 seconds)
03:21:19 <toast52> How do we represent the signature of a C function with no arguments?
03:21:33 <Axman6> IO ReturnType
03:21:41 <toast52> i.e. something like `long foo()`
03:22:23 <Axman6> IO CLong?
03:23:28 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds)
03:24:06 <toast52> What if its pure? From the ffi examples I see functions like `foreign import ccall "sin" c_sin :: Double -> Double` need not live in IO
03:24:35 <Axman6> that's fine too
03:24:37 <toast52> could I just do `foreign import ccall "foo" c_foo :: CLong` ?
03:24:51 star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
03:24:54 <Axman6> will it ever return a different value?
03:24:57 <fivebox> A pure C function with no arguments?
03:25:01 × nbloomf_ quits (~nbloomf@2600:1700:ad14:3020:582b:30d1:5899:a42a) (Quit: My MacBook has gone to sleep. ZZZzzz…)
03:25:36 <toast52> Yeah it's just performing some computation where the inputs are already known
03:25:38 royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
03:25:57 <fivebox> Then you don't really need C at all, just save the constant in your program?
03:28:01 <fivebox> but yes, you can do: int fortytwo() { return 42; } ;; foreign import ccall fortytwo :: CInt
03:29:30 tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
03:30:11 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
03:31:04 DTZUZU_ joins (~DTZUZO@207.81.119.43)
03:31:34 nbloomf joins (~nbloomf@2600:1700:ad14:3020:582b:30d1:5899:a42a)
03:32:15 <a6a45081-2b83> how to filter in persistent on clause `update_time >= date('now', '-6 days')`
03:33:47 × DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 268 seconds)
03:34:06 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds)
03:34:29 bitmagie joins (~Thunderbi@200116b8065d2700c4403d09f8996d35.dip.versatel-1u1.de)
03:37:04 × renzhi quits (~renzhi@2607:fa49:6500:bc00::e7b) (Ping timeout: 245 seconds)
03:37:51 × pjb quits (~pjb@2a01cb04063ec50040800ddd29414e0b.ipv6.abo.wanadoo.fr) (Ping timeout: 260 seconds)
03:40:54 × jao quits (~jao@pdpc/supporter/professional/jao) (Remote host closed the connection)
03:41:11 tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
03:42:00 × bitmagie quits (~Thunderbi@200116b8065d2700c4403d09f8996d35.dip.versatel-1u1.de) (Quit: bitmagie)
03:42:21 bitmagie joins (~Thunderbi@200116b8065d2700c4403d09f8996d35.dip.versatel-1u1.de)
03:42:56 × bitmagie quits (~Thunderbi@200116b8065d2700c4403d09f8996d35.dip.versatel-1u1.de) (Client Quit)
03:42:56 <toast52> fivebox: Thank you. I got it to work. Turns out I didn't need to create a new foreign-library stanza but could directly add the includes and c-sources clauses to the executable stanza
03:43:49 jao joins (~jao@pdpc/supporter/professional/jao)
03:44:18 Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362)
03:45:41 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
03:47:04 × toast52 quits (97c0a778@151.192.167.120) (Quit: Connection closed)
03:49:24 × xiinotulp quits (~q@node-ujl.pool-125-24.dynamic.totinternet.net) (Quit: Leaving)
03:49:49 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
03:50:10 × nineonin_ quits (~nineonine@50.216.62.2) ()
03:51:03 slack1256 joins (~slack1256@191.125.227.73)
03:53:51 × waleee-cl quits (uid373333@gateway/web/irccloud.com/x-fyslmtebqhpnkrak) (Quit: Connection closed for inactivity)
03:54:42 DTZUZU joins (~DTZUZO@205.ip-149-56-132.net)
03:54:43 × gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
03:54:49 × jao quits (~jao@pdpc/supporter/professional/jao) (Remote host closed the connection)
03:55:08 gentauro joins (~gentauro@unaffiliated/gentauro)
03:55:42 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
03:55:53 tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
03:55:53 × gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
03:56:06 tim is now known as Guest1583
03:56:37 × DTZUZU_ quits (~DTZUZO@207.81.119.43) (Ping timeout: 252 seconds)
03:57:04 conal joins (~conal@64.71.133.70)
03:57:22 × slack1256 quits (~slack1256@191.125.227.73) (Remote host closed the connection)
03:58:04 ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
04:00:08 gentauro joins (~gentauro@unaffiliated/gentauro)
04:00:28 TK__ joins (~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c)
04:00:28 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds)
04:00:49 ddella___ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
04:01:00 wei2912 joins (~wei2912@unaffiliated/wei2912)
04:02:37 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds)
04:02:37 × gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
04:03:16 jao joins (~user@pdpc/supporter/professional/jao)
04:03:18 × puke quits (~vroom@217.138.252.196) (Quit: puke)
04:04:13 Rudd0 joins (~Rudd0@185.189.115.108)
04:05:06 gentauro joins (~gentauro@unaffiliated/gentauro)
04:05:55 × gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
04:08:57 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
04:09:51 Benzi-Junior joins (~BenziJuni@88-149-64-251.du.xdsl.is)
04:09:59 × jacks2 quits (~bc817c21@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout))
04:10:10 gentauro joins (~gentauro@unaffiliated/gentauro)
04:12:41 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds)
04:12:42 × gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
04:14:20 takuan joins (~takuan@178-116-218-225.access.telenet.be)
04:15:08 gentauro joins (~gentauro@unaffiliated/gentauro)
04:16:23 × acertain quits (sid470584@gateway/web/irccloud.com/x-smitzrwlhgbnwuzb) ()
04:16:33 acertain joins (sid470584@gateway/web/irccloud.com/x-ltrkodsrjozibccv)
04:20:11 abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
04:21:40 × gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
04:22:06 gentauro joins (~gentauro@unaffiliated/gentauro)
04:23:31 × superstar64 quits (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) (Quit: Connection closed)
04:23:56 × gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
04:24:47 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
04:25:40 × alx741 quits (~alx741@181.196.68.143) (Quit: alx741)
04:27:06 gentauro joins (~gentauro@unaffiliated/gentauro)
04:28:31 danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
04:28:31 × gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
04:30:35 qwerty2o_ joins (~qwerty2o@188.64.206.164)
04:32:06 gentauro joins (~gentauro@unaffiliated/gentauro)
04:34:45 × Stanley00 quits (~stanley00@unaffiliated/stanley00) ()
04:35:32 × gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
04:36:52 × Kr4kke quits (~Kr4kke@modemcable159.116-21-96.mc.videotron.ca) (Remote host closed the connection)
04:37:06 gentauro joins (~gentauro@unaffiliated/gentauro)
04:39:14 ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
04:39:33 ddel_____ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
04:41:10 × ddellac__ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds)
04:41:16 × ddella___ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 258 seconds)
04:42:02 × gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
04:43:03 gentauro joins (~gentauro@unaffiliated/gentauro)
04:44:36 × gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
04:45:37 ania123 joins (5e89ad7c@94.137.173.124)
04:45:42 star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com)
04:46:59 gonz_ joins (sid304396@gateway/web/irccloud.com/x-mowjdexwtgrltrws)
04:47:11 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 240 seconds)
04:48:01 gentauro joins (~gentauro@unaffiliated/gentauro)
04:48:08 × hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1)
04:49:47 × dolio quits (~dolio@haskell/developer/dolio) (Quit: ZNC 1.8.2 - https://znc.in)
04:51:05 dolio joins (~dolio@haskell/developer/dolio)
04:51:36 tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
04:53:23 × gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
04:53:58 gentauro joins (~gentauro@unaffiliated/gentauro)
04:54:41 × gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
04:55:41 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
04:55:42 × star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Excess Flood)
04:56:56 star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com)
04:58:56 gentauro joins (~gentauro@unaffiliated/gentauro)
04:59:52 × fivebox quits (x@unaffiliated/fivebox) (Remote host closed the connection)
05:00:48 × nicholasbulka quits (~nicholasb@2601:900:4301:da0:189f:ecee:d0e0:93ba) (Remote host closed the connection)
05:01:01 × ania123 quits (5e89ad7c@94.137.173.124) (Quit: Connection closed)
05:01:26 nicholasbulka joins (~nicholasb@2601:900:4301:da0:189f:ecee:d0e0:93ba)
05:02:03 × gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
05:03:02 × Guest1583 quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
05:03:45 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
05:03:49 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds)
05:03:55 gentauro joins (~gentauro@unaffiliated/gentauro)
05:04:09 tim is now known as Guest20821
05:05:59 × nicholasbulka quits (~nicholasb@2601:900:4301:da0:189f:ecee:d0e0:93ba) (Ping timeout: 250 seconds)
05:07:26 × p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 260 seconds)
05:07:27 × gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
05:07:35 × dolio quits (~dolio@haskell/developer/dolio) (Quit: ZNC 1.8.2 - https://znc.in)
05:08:21 × Guest20821 quits (~tim@112-141-128-42.sta.dodo.net.au) (Ping timeout: 265 seconds)
05:08:56 gentauro joins (~gentauro@unaffiliated/gentauro)
05:09:24 dolio joins (~dolio@haskell/developer/dolio)
05:09:27 × qwerty2o_ quits (~qwerty2o@188.64.206.164) (Read error: Connection reset by peer)
05:09:43 p8m joins (p8m@gateway/vpn/protonvpn/p8m)
05:09:43 × gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
05:09:43 DTZUZU_ joins (~DTZUZO@207.81.119.43)
05:11:41 × DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 240 seconds)
05:13:58 gentauro joins (~gentauro@unaffiliated/gentauro)
05:14:58 sord937 joins (~sord937@gateway/tor-sasl/sord937)
05:15:02 × cdsmith quits (~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net) (Read error: Connection reset by peer)
05:16:50 hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com)
05:20:45 × TK__ quits (~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c) (Ping timeout: 258 seconds)
05:21:49 thc202 joins (~thc202@unaffiliated/thc202)
05:22:19 × stree quits (~stree@68.36.8.116) (Ping timeout: 268 seconds)
05:23:00 pthariensflame joins (~pthariens@2600:6c52:727f:4200:1cb4:6ba8:abb1:77ad)
05:24:41 × star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds)
05:25:45 vonfry joins (~user@116.236.75.207)
05:26:26 × hololeap quits (~hololeap@gateway/tor-sasl/hololeap) (Remote host closed the connection)
05:26:26 × andreas303 quits (~andreas@gateway/tor-sasl/andreas303) (Remote host closed the connection)
05:26:31 royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
05:27:22 andreas303 joins (~andreas@gateway/tor-sasl/andreas303)
05:29:24 geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
05:30:27 × pthariensflame quits (~pthariens@2600:6c52:727f:4200:1cb4:6ba8:abb1:77ad) ()
05:30:36 star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com)
05:31:11 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
05:32:21 × andreas303 quits (~andreas@gateway/tor-sasl/andreas303) (Ping timeout: 240 seconds)
05:32:43 alexander joins (~alexander@2a02:587:dc03:1500:b16c:5166:feb8:97d5)
05:33:11 alexander is now known as Guest64301
05:33:41 Pickchea joins (~private@unaffiliated/pickchea)
05:34:45 stree joins (~stree@68.36.8.116)
05:36:10 ddellacosta joins (~ddellacos@86.106.143.217)
05:40:27 × star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Excess Flood)
05:40:41 × ddellacosta quits (~ddellacos@86.106.143.217) (Ping timeout: 260 seconds)
05:40:46 malumore_ joins (~malumore@151.62.117.153)
05:41:56 star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com)
05:42:16 andreas303 joins (~andreas@gateway/tor-sasl/andreas303)
05:42:32 × mjrosenb quits (~mrosenbe@nyc.schrodinger.com) (Ping timeout: 240 seconds)
05:43:05 <a6a45081-2b83> is there a better way to do this lensing => Object (a._Object <> b._Object), i.e. combine results of two lenses
05:44:39 mjrosenb joins (~mrosenbe@nyc.schrodinger.com)
05:44:44 berberman_ joins (~berberman@unaffiliated/berberman)
05:44:59 × berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 245 seconds)
05:45:05 × jao quits (~user@pdpc/supporter/professional/jao) (Ping timeout: 265 seconds)
05:45:07 × parabolize quits (~paraboliz@98.43.173.221) (Quit: leaving)
05:45:46 tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
05:46:11 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
05:49:10 Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
05:51:32 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds)
05:55:08 × wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
05:58:46 × mounty quits (~mounty@236.216.214.218.sta.wbroadband.net.au) (Ping timeout: 260 seconds)
05:59:06 cfricke joins (~cfricke@unaffiliated/cfricke)
06:00:07 Alleria joins (~textual@2603-7000-3040-0000-5107-53e7-cd36-0949.res6.spectrum.com)
06:00:24 × cfricke quits (~cfricke@unaffiliated/cfricke) (Client Quit)
06:00:30 Alleria is now known as Guest13377
06:00:37 cfricke joins (~cfricke@unaffiliated/cfricke)
06:01:37 cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
06:02:51 × malumore_ quits (~malumore@151.62.117.153) (Ping timeout: 260 seconds)
06:04:34 × Guest13377 quits (~textual@2603-7000-3040-0000-5107-53e7-cd36-0949.res6.spectrum.com) (Ping timeout: 245 seconds)
06:08:46 ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
06:09:47 tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
06:13:06 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
06:13:59 hololeap joins (~hololeap@gateway/tor-sasl/hololeap)
06:14:31 × star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds)
06:14:40 × forell quits (~forell@unaffiliated/forell) (Ping timeout: 252 seconds)
06:17:29 × NinjaTrappeur quits (~ninja@unaffiliated/ninjatrappeur) (Ping timeout: 245 seconds)
06:18:21 NinjaTrappeur joins (~ninja@unaffiliated/ninjatrappeur)
06:19:38 forell joins (~forell@unaffiliated/forell)
06:19:59 tlax joins (tlax@kapsi.fi)
06:20:11 gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
06:20:14 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
06:20:41 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:582b:30d1:5899:a42a) (Quit: My MacBook has gone to sleep. ZZZzzz…)
06:21:36 plutoniix joins (~q@ppp-58-8-181-100.revip2.asianet.co.th)
06:22:06 × drbean_ quits (~drbean@TC210-63-209-80.static.apol.com.tw) (Ping timeout: 260 seconds)
06:26:36 TK__ joins (~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c)
06:26:47 michalz joins (~user@185.246.204.61)
06:31:11 <[exa]> a6a45081-2b83: I guess you can easily write an iso or a prism for that.. is it VL lens or optics?
06:32:00 malumore_ joins (~malumore@151.62.117.153)
06:34:11 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
06:34:34 tim is now known as Guest69113
06:43:32 × tefter quits (bmaxa@gateway/vpn/protonvpn/tefter) (Ping timeout: 240 seconds)
06:43:34 × forell quits (~forell@unaffiliated/forell) (Ping timeout: 265 seconds)
06:43:52 Varis joins (~Tadas@unaffiliated/varis)
06:44:03 Neuromancer joins (~Neuromanc@unaffiliated/neuromancer)
06:44:25 drbean_ joins (~drbean@TC210-63-209-86.static.apol.com.tw)
06:47:18 forell joins (~forell@unaffiliated/forell)
06:47:58 ddellacosta joins (~ddellacos@86.106.143.191)
06:49:44 cvampal joins (2f097378@47.9.115.120)
06:50:27 tefter joins (bmaxa@gateway/vpn/protonvpn/tefter)
06:52:45 × ddellacosta quits (~ddellacos@86.106.143.191) (Ping timeout: 265 seconds)
06:54:36 × hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 252 seconds)
06:57:12 × Guest69113 quits (~tim@112-141-128-42.sta.dodo.net.au) (Read error: Connection reset by peer)
06:58:08 × cvampal quits (2f097378@47.9.115.120) (Quit: Connection closed)
06:58:17 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
06:58:40 tim is now known as Guest39762
07:00:13 × Guest39762 quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
07:02:08 Schrostfutz joins (~Schrostfu@p4fc0a70a.dip0.t-ipconnect.de)
07:02:27 chele joins (~chele@ip5b40237d.dynamic.kabel-deutschland.de)
07:06:58 hyiltiz joins (~quassel@unaffiliated/hyiltiz)
07:07:23 × tsaka__ quits (~torstein@178-147-206-209.haap.dm.cosmote.net) (Remote host closed the connection)
07:08:09 jakalx parts (~jakalx@base.jakalx.net) ()
07:09:15 dhouthoo joins (~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be)
07:10:11 × aVikingTrex quits (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 260 seconds)
07:12:57 <a6a45081-2b83> not sure with the terminology, let me check
07:13:19 × dhouthoo quits (~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) (Client Quit)
07:13:59 dhouthoo joins (~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be)
07:14:24 polyrain joins (~polyrain@2001:8003:e406:1a01:ddbe:2c87:1516:4ee8)
07:15:42 mayleesia is now known as maylee
07:18:28 LKoen joins (~LKoen@2a01cb0407597a00bd08a6952222b3db.ipv6.abo.wanadoo.fr)
07:19:30 fabfianda joins (~vov327@2a01:4f8:1c0c:811d:1:46da:4acb:785c)
07:19:30 ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
07:20:56 ptr_frac7al joins (~polyrain@2001:8003:e406:1a01:ddbe:2c87:1516:4ee8)
07:21:01 ddellaco_ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
07:21:46 × ddel_____ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
07:21:51 × polyrain quits (~polyrain@2001:8003:e406:1a01:ddbe:2c87:1516:4ee8) (Quit: Textual IRC Client: www.textualapp.com)
07:23:29 × ptr_frac7al quits (~polyrain@2001:8003:e406:1a01:ddbe:2c87:1516:4ee8) (Quit: [BX] Khaled uses BitchX. CTCP TROUT THIS, BITCH!)
07:23:49 × Sgeo quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer)
07:24:24 jakalx joins (~jakalx@base.jakalx.net)
07:25:13 × ddellaco_ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
07:26:06 ptr_frac7al joins (~ptr_frac7@203.51.112.215)
07:26:38 × Schrostfutz quits (~Schrostfu@p4fc0a70a.dip0.t-ipconnect.de) (Quit: Leaving)
07:27:20 polyrain joins (~polyrain@2001:8003:e406:1a01:ddbe:2c87:1516:4ee8)
07:27:23 royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
07:30:10 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
07:30:37 × ptr_frac7al quits (~ptr_frac7@203.51.112.215) (Client Quit)
07:31:11 × hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:a52c:b530:6c8a:fd41) (Ping timeout: 260 seconds)
07:32:13 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds)
07:33:00 DavidEichmann joins (~david@156.59.147.147.dyn.plus.net)
07:34:20 kritzefitz joins (~kritzefit@212.86.56.80)
07:38:20 guest519 joins (~user@49.5.6.87)
07:38:50 <guest519> is there a simple http server for test like python's http.server?
07:38:57 <guest519> scotty?
07:39:57 <opqdonut> warp/wai
07:40:05 × kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 260 seconds)
07:40:37 kritzefitz joins (~kritzefit@2003:5b:203b:200::10:49)
07:40:40 ptr_frac7al joins (~char_star@2001:8003:e406:1a01:ddbe:2c87:1516:4ee8)
07:40:51 × Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 260 seconds)
07:40:53 <opqdonut> there's a nice minimal example in the docs: https://hackage.haskell.org/package/wai
07:40:53 × a6a45081-2b83 quits (~aditya@122.163.149.247) (Quit: Konversation terminated!)
07:42:00 <opqdonut> warp has some nice functions for writing tests, like testWithApplication
07:42:58 × stree quits (~stree@68.36.8.116) (Ping timeout: 258 seconds)
07:43:09 × ptr_frac7al quits (~char_star@2001:8003:e406:1a01:ddbe:2c87:1516:4ee8) (Client Quit)
07:43:41 hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:989b:41dd:d1e6:c3a3)
07:44:56 × howdoi quits (uid224@gateway/web/irccloud.com/x-gvcdyldsercsrxxi) (Quit: Connection closed for inactivity)
07:45:14 ptr_frac7al joins (~char_star@203.51.112.215)
07:45:29 polyrain parts (~polyrain@2001:8003:e406:1a01:ddbe:2c87:1516:4ee8) ("Textual IRC Client: www.textualapp.com")
07:45:31 polyrain joins (~polyrain@2001:8003:e406:1a01:ddbe:2c87:1516:4ee8)
07:45:51 ptr_frac7al parts (~char_star@203.51.112.215) ()
07:46:00 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 268 seconds)
07:46:27 <guest519> opqdonut: ok, I'll try it
07:54:20 × kloeri quits (~kloeri@freenode/staff/exherbo.kloeri) (Killed (grumble (My fellow staff so-called 'friends' are about to hand over account data to a non-staff member. If you care about your data, drop your NickServ account NOW before that happens.)))
07:54:20 × mniip quits (mniip@freenode/staff/mniip) (Killed (grumble (My fellow staff so-called 'friends' are about to hand over account data to a non-staff member. If you care about your data, drop your NickServ account NOW before that happens.)))
07:54:22 × jess quits (jess@freenode/staff/jess) (Killed (grumble (My fellow staff so-called 'friends' are about to hand over account data to a non-staff member. If you care about your data, drop your NickServ account NOW before that happens.)))
07:54:23 × Sigyn quits (sigyn@freenode/utility-bot/sigyn) (Killed (grumble (My fellow staff so-called 'friends' are about to hand over account data to a non-staff member. If you care about your data, drop your NickServ account NOW before that happens.)))
07:54:35 mniip joins (mniip@freenode/staff/mniip)
07:54:39 × ChanServ quits (ChanServ@services.) (Killed (grumble (My fellow staff so-called 'friends' are about to hand over account data to a non-staff member. If you care about your data, drop your NickServ account NOW before that happens.)))
07:54:42 ChanServ joins (ChanServ@services.)
07:54:42 services. sets mode +o ChanServ
07:54:48 × grumble quits (~Thunderbi@freenode/staff/grumble) (Killed (grumble (My fellow staff so-called 'friends' are about to hand over account data to a non-staff member. I'm leaving freenode forever and I recommend you drop your NickServ account to keep your data safe.)))
07:55:14 christiaanb joins (sid84827@gateway/web/irccloud.com/x-gknioklmfyacbvzm)
07:55:22 stree joins (~stree@68.36.8.116)
07:56:18 kloeri joins (~kloeri@freenode/staff/exherbo.kloeri)
07:57:11 × polyrain quits (~polyrain@2001:8003:e406:1a01:ddbe:2c87:1516:4ee8) (Quit: Textual IRC Client: www.textualapp.com)
07:57:12 pjb joins (~pjb@2a01cb04063ec500a53b26f58b0dc373.ipv6.abo.wanadoo.fr)
07:58:08 puke joins (~vroom@217.138.252.196)
07:58:26 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
07:58:30 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
07:59:17 × tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
07:59:21 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
07:59:25 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:00:01 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:00:02 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:00:16 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:00:19 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:00:39 × xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection)
08:01:11 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:01:13 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:01:15 xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar)
08:01:31 ddellaco_ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
08:01:46 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:01:51 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:01:54 × evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer)
08:02:06 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:02:07 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:02:21 m0rphism joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de)
08:02:41 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:02:45 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Read error: Connection reset by peer)
08:03:02 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:03:02 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:03:36 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:03:37 <guest519> opqdonut: could cabal use socks5 proxy?
08:03:38 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Read error: Connection reset by peer)
08:03:43 <guest519> it's too slowly
08:03:51 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:03:55 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:03:57 <Axman6> uh... so edwardk's post on reddit... looks like things ARE happening :\
08:04:04 wei2912 joins (~wei2912@unaffiliated/wei2912)
08:04:46 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:04:48 evanjs joins (~evanjs@075-129-098-007.res.spectrum.com)
08:04:50 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:05:41 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:05:45 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:06:19 × ddellaco_ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
08:06:19 <guest519> Axman6: like what?
08:06:21 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:06:22 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:06:36 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:06:38 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:06:54 <Axman6> well ChanServ just got killed
08:07:11 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:07:16 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:07:31 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:07:32 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:07:56 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
08:08:06 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:08:10 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Read error: Connection reset by peer)
08:08:24 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:08:26 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:08:58 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:09:03 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:09:09 × hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds)
08:09:17 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:09:20 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:10:13 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:10:15 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:10:34 frozenErebus joins (~frozenEre@94.129.65.28)
08:10:43 <[exa]> wow, is a drama happening?
08:10:48 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:10:53 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:11:04 <PlasmaStar> yes
08:11:08 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:11:10 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:11:11 <[exa]> I read ekmett's post on reddit earlier today but didn't realize it's that urgent
08:11:24 <PlasmaStar> link?
08:11:35 <Axman6> yeah, #freenode is... interesting at the moment
08:11:43 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:11:47 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:12:01 <Axman6> I happened to join the channel about 5 minutes before shit went down
08:12:03 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:12:04 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Read error: Connection reset by peer)
08:12:36 <[exa]> https://www.reddit.com/r/haskell/comments/nfqw0t/thoughts_on_the_state_of_the_freenode_irc_network/
08:12:38 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:12:40 <[exa]> PlasmaStar: ^
08:12:41 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Read error: Connection reset by peer)
08:12:51 <PlasmaStar> ty
08:12:59 × plutoniix quits (~q@ppp-58-8-181-100.revip2.asianet.co.th) (Ping timeout: 265 seconds)
08:13:33 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:13:35 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Read error: Connection reset by peer)
08:13:48 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:13:52 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:14:43 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
08:14:43 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:14:44 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:14:55 hendursaga joins (~weechat@gateway/tor-sasl/hendursaga)
08:15:18 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:15:23 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:15:38 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:15:39 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:16:01 knupfer joins (~Thunderbi@200116b82216c200f69634fffef0b45f.dip.versatel-1u1.de)
08:16:13 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:16:18 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:16:33 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:16:34 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:17:08 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:17:14 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:17:28 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:17:29 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:17:31 plutoniix joins (~q@ppp-58-8-181-100.revip2.asianet.co.th)
08:17:37 × quinn quits (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.1 - https://znc.in)
08:17:40 bitmagie joins (~Thunderbi@200116b806936800d1b957d84640628b.dip.versatel-1u1.de)
08:17:47 acidjnk_new joins (~acidjnk@p200300d0c72b9590b0627b83407696f5.dip0.t-ipconnect.de)
08:18:03 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:18:08 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:18:22 quinn joins (~quinn@c-73-223-224-163.hsd1.ca.comcast.net)
08:18:23 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:18:24 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:18:58 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:19:02 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:19:53 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:19:57 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:20:11 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:20:13 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:20:48 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:20:49 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Read error: Connection reset by peer)
08:21:03 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:21:05 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:21:58 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:21:59 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:22:33 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:22:37 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:22:51 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:22:53 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:23:28 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:23:30 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:23:43 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:23:46 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:24:18 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:24:23 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:24:36 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:24:40 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:25:06 dhil joins (~dhil@195.213.192.85)
08:25:22 <Axman6> Well, Freenode staffers are resigning in protest en masse - thanks for the heads up edwardk
08:25:31 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:25:35 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:26:08 × bitmagie quits (~Thunderbi@200116b806936800d1b957d84640628b.dip.versatel-1u1.de) (Quit: bitmagie)
08:26:10 star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com)
08:26:26 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:26:27 <Taneb> Axman6: I don't think it's happened *yet*
08:26:30 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:26:44 <Axman6> it's literally happening right now in #freenode
08:26:44 <Taneb> And may not happen at all. They were preparing to and one of the resignation letter drafts got leaked
08:26:49 <Taneb> Oh, is it? Damn
08:27:06 <maerwald> let's all panic
08:27:15 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
08:27:21 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:27:25 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:28:16 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:28:20 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:28:32 × quinn quits (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.1 - https://znc.in)
08:28:54 tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
08:29:11 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:29:15 <merijn> Yes!
08:29:15 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:29:19 <merijn> Burn down everything!
08:29:23 × guest519 quits (~user@49.5.6.87) (Read error: Connection reset by peer)
08:29:25 guest519` joins (~user@49.5.6.87)
08:29:25 <merijn> Anarchy in the streets!
08:30:06 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:30:10 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:31:01 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:31:05 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:31:13 <maerwald> https://news.ycombinator.com/item?id=27205926
08:32:00 <maerwald> "We are founding a new network with the same goals and ambitions: libera.chat."
08:32:36 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:32:39 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Read error: Connection reset by peer)
08:32:51 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:32:55 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:33:23 ddellaco_ joins (~ddellacos@86.106.143.35)
08:33:46 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:33:50 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:34:26 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:34:28 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:34:41 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:34:44 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
08:35:21 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
08:35:44 tim is now known as Guest69008
08:36:27 × [n1x]_ quits (~n1x]_@178.238.11.35) (Remote host closed the connection)
08:37:41 × ddellaco_ quits (~ddellacos@86.106.143.35) (Ping timeout: 240 seconds)
08:38:01 <[exa]> anyways, libera.chat wants some kind of password to connect, where do I get it? :D
08:38:56 <yushyin> it's not up (yet?) for the public
08:39:17 <dminuoso> use `irc.libera.chat`
08:39:34 <dminuoso> oh
08:39:37 <[exa]> yeah that gives "closing link, bad password"
08:40:11 × Guest69008 quits (~tim@112-141-128-42.sta.dodo.net.au) (Ping timeout: 240 seconds)
08:41:42 pricly_yellow joins (~pricly_ye@static.90.189.158.212.sinor.ru)
08:45:36 × star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds)
08:45:56 mananamenos joins (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net)
08:46:49 × plutoniix quits (~q@ppp-58-8-181-100.revip2.asianet.co.th) (Ping timeout: 265 seconds)
08:47:44 star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com)
08:49:01 <maerwald> I'm getting like 3 different ssl fingerprints
08:49:59 × yahb quits (xsbot@haskell/bot/yahb) (Remote host closed the connection)
08:51:19 × knupfer quits (~Thunderbi@200116b82216c200f69634fffef0b45f.dip.versatel-1u1.de) (Ping timeout: 250 seconds)
08:51:46 <opqdonut> there are 4 A records
08:51:49 <opqdonut> DNS load balancing
08:52:04 <opqdonut> (and 2 AAAA records)
08:52:15 <dminuoso> Oh fancy, people know about AAAA!
08:52:20 jess joins (jess@freenode/staff/jess)
08:52:32 <dminuoso> That's the second time this year. My hopes for IPv6 adoption are up again
08:52:43 <opqdonut> a surprisingly big amount of stuff just automagically happens over ipv6 these days
08:53:00 <dminuoso> opqdonut: more than half our edge bandwidth is IPv6 :)
08:53:06 <dminuoso> most CDN is served over it
08:53:09 <opqdonut> yeah
08:54:16 × wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
08:54:38 bitmagie joins (~Thunderbi@200116b806936800d1b957d84640628b.dip.versatel-1u1.de)
08:54:42 wei2912 joins (~wei2912@unaffiliated/wei2912)
08:54:46 × star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds)
08:54:53 × guest519` quits (~user@49.5.6.87) (Quit: ERC (IRC client for Emacs 27.1))
08:55:17 × Guest64301 quits (~alexander@2a02:587:dc03:1500:b16c:5166:feb8:97d5) (Quit: Leaving)
08:56:55 × oxide quits (~lambda@unaffiliated/mclaren) (Ping timeout: 252 seconds)
08:57:51 × alp quits (~alp@163.172.83.213) (Quit: ZNC 1.8.1 - https://znc.in)
08:59:22 plutoniix joins (~q@ppp-58-8-181-100.revip2.asianet.co.th)
08:59:53 × frozenErebus quits (~frozenEre@94.129.65.28) (Ping timeout: 260 seconds)
09:00:14 alp joins (~alp@163.172.83.213)
09:01:39 × drbean_ quits (~drbean@TC210-63-209-86.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
09:01:42 star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com)
09:04:16 jusss joins (~user@unaffiliated/jusss)
09:04:42 <jusss> how scotty would handle the exception when user cancle the downloading files?
09:04:52 ddellaco_ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
09:05:53 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
09:06:16 tim is now known as Guest62149
09:06:31 × alp quits (~alp@163.172.83.213) (Quit: ZNC 1.8.1 - https://znc.in)
09:06:33 × Guest62149 quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
09:08:13 × chris__ quits (~chris@81.96.113.213) (Remote host closed the connection)
09:08:19 raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
09:08:44 knupfer joins (~Thunderbi@200116b82216c2000c062797bdd8b7d6.dip.versatel-1u1.de)
09:08:53 alp joins (~alp@163.172.83.213)
09:09:19 × wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
09:09:41 × ddellaco_ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds)
09:12:25 berberman joins (~berberman@unaffiliated/berberman)
09:12:54 × berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 245 seconds)
09:13:18 jiribenes joins (~jiribenes@rosa.jiribenes.com)
09:15:15 × runeks quits (sid21167@gateway/web/irccloud.com/x-uvksicbwepulegbv) (Ping timeout: 260 seconds)
09:15:35 chris__ joins (~chris@81.96.113.213)
09:15:46 × edwardk quits (sid47016@haskell/developer/edwardk) (Ping timeout: 240 seconds)
09:15:52 × caasih quits (sid13241@gateway/web/irccloud.com/x-wswfzorparzehwov) (Ping timeout: 276 seconds)
09:15:56 × aizen_s quits (sid462968@gateway/web/irccloud.com/x-pdobkgbmauvjilnc) (Ping timeout: 260 seconds)
09:16:03 × betawaffle quits (sid2730@gateway/web/irccloud.com/x-qejwbkohjtyrhqjm) (Read error: Connection reset by peer)
09:16:11 × jonrh quits (sid5185@gateway/web/irccloud.com/x-bewsihfspazmregp) (Ping timeout: 260 seconds)
09:16:13 × tapas quits (sid467876@gateway/web/irccloud.com/x-fctmknlibzephzzk) (Read error: Connection reset by peer)
09:16:31 × angerman quits (sid209936@gateway/web/irccloud.com/x-pzvelbtxymwnmpjf) (Ping timeout: 260 seconds)
09:16:31 × darthThorik quits (sid39589@gateway/web/irccloud.com/x-jowxtmnphsrffvaz) (Ping timeout: 276 seconds)
09:16:32 × koankeeper quits (sid216950@gateway/web/irccloud.com/x-utdpmlvofhbekyeu) (Ping timeout: 276 seconds)
09:16:39 × higherorder__ quits (sid185221@gateway/web/irccloud.com/x-vluvleavijnzkvmp) (Ping timeout: 268 seconds)
09:17:04 × knupfer quits (~Thunderbi@200116b82216c2000c062797bdd8b7d6.dip.versatel-1u1.de) (Ping timeout: 245 seconds)
09:17:23 × ibloom quits (sid350277@gateway/web/irccloud.com/x-acyeyftylgmwfwye) (Read error: Connection reset by peer)
09:17:34 × alexknvl quits (sid259568@gateway/web/irccloud.com/x-rlytllyduflkddpd) (Read error: Connection reset by peer)
09:17:35 × moobar quits (sid171730@gateway/web/irccloud.com/x-imzargwlwtmnlprj) (Ping timeout: 260 seconds)
09:17:37 × drupol quits (sid117588@gateway/web/irccloud.com/x-rigpaemjuvtbwaft) (Ping timeout: 252 seconds)
09:17:41 geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
09:17:42 <sshine> dminuoso, my beliefs have gone in the other direction: rather than have universal network addresses, I'd rather see more flexible VPN setups.
09:18:43 fendor joins (~fendor@77.119.128.236.wireless.dyn.drei.com)
09:19:15 × ProofTechnique quits (sid79547@gateway/web/irccloud.com/x-thidiwyvispmjuxw) (Read error: Connection reset by peer)
09:19:23 × amatecha____ quits (sid10006@gateway/web/irccloud.com/x-tgfngzkpuygzowds) (Read error: Connection reset by peer)
09:19:27 ClaudiusMaximus joins (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net)
09:19:27 × ClaudiusMaximus quits (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) (Changing host)
09:19:27 ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus)
09:19:28 × jlpeters quits (sid25606@gateway/web/irccloud.com/x-byhimadpqxfxkcmi) (Read error: Connection reset by peer)
09:19:31 kuribas joins (~user@ptr-25vy0i99e25a1oh0tqt.18120a2.ip6.access.telenet.be)
09:20:25 × pepeiborra quits (sid443799@gateway/web/irccloud.com/x-tvmoulmccblsrfxy) (Ping timeout: 276 seconds)
09:20:39 × star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Ping timeout: 265 seconds)
09:20:43 × wildsebastian quits (sid324688@gateway/web/irccloud.com/x-juycsjrjjlxwmqxd) (Read error: Connection reset by peer)
09:21:41 wei2912 joins (~wei2912@unaffiliated/wei2912)
09:22:08 star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com)
09:24:07 × liszt quits (sid336875@gateway/web/irccloud.com/x-dofckrhdjbdewhsw) (Ping timeout: 260 seconds)
09:28:31 royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
09:31:55 × star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Excess Flood)
09:32:59 × TK__ quits (~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c) (Ping timeout: 258 seconds)
09:33:42 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds)
09:33:47 koankeeper joins (sid216950@gateway/web/irccloud.com/x-hgcmhfpvbngczwgt)
09:34:12 caasih joins (sid13241@gateway/web/irccloud.com/x-enjjzgbjvbchpuum)
09:34:18 wildsebastian joins (sid324688@gateway/web/irccloud.com/x-yoetygkuhzsftsmr)
09:34:48 elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
09:34:56 star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com)
09:35:06 edwardk joins (sid47016@haskell/developer/edwardk)
09:35:24 darthThorik joins (sid39589@gateway/web/irccloud.com/x-xnejxaiknohheons)
09:35:47 higherorder__ joins (sid185221@gateway/web/irccloud.com/x-hjowpkjyimcthnyo)
09:36:08 jlpeters joins (sid25606@gateway/web/irccloud.com/x-aowwtixoslazvnuu)
09:36:23 ibloom joins (sid350277@gateway/web/irccloud.com/x-jthhldmsesokxkvz)
09:36:27 angerman joins (sid209936@gateway/web/irccloud.com/x-tvzlgqnryzmttqrp)
09:36:45 amatecha____ joins (sid10006@gateway/web/irccloud.com/x-aosdzawxnsdcpbcg)
09:36:53 ProofTechnique joins (sid79547@gateway/web/irccloud.com/x-jxirtllqaejvorik)
09:37:59 liszt joins (sid336875@gateway/web/irccloud.com/x-zqxewtoqyhomqjkh)
09:38:22 pepeiborra joins (sid443799@gateway/web/irccloud.com/x-bdwbbflprnbyblgx)
09:38:23 × jusss quits (~user@unaffiliated/jusss) (Read error: Connection reset by peer)
09:38:30 jusss joins (~user@unaffiliated/jusss)
09:38:46 aVikingTrex joins (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea)
09:38:50 aizen_s joins (sid462968@gateway/web/irccloud.com/x-psggadgylxecipbs)
09:39:37 tapas joins (sid467876@gateway/web/irccloud.com/x-wqbatyuvmrgyaano)
09:39:56 alexknvl joins (sid259568@gateway/web/irccloud.com/x-vlautwzzmkgdpwsy)
09:40:16 moobar joins (sid171730@gateway/web/irccloud.com/x-wtugzwowthscnewj)
09:40:17 betawaffle joins (sid2730@gateway/web/irccloud.com/x-tjhadjphqmvqvxvs)
09:40:32 Pickchea joins (~private@unaffiliated/pickchea)
09:40:43 jonrh joins (sid5185@gateway/web/irccloud.com/x-yylqyfovfhzzbrxr)
09:41:21 runeks joins (sid21167@gateway/web/irccloud.com/x-avgmysnaxfdykcxg)
09:42:34 Boomerang joins (~Boomerang@xd520f68c.cust.hiper.dk)
09:43:10 drupol joins (sid117588@gateway/web/irccloud.com/x-sybqmpdbsjqsolwe)
09:43:18 × pricly_yellow quits (~pricly_ye@static.90.189.158.212.sinor.ru) (Read error: Connection reset by peer)
09:45:02 ddellaco_ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
09:45:11 × Chai-T-Rex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection)
09:45:34 Chai-T-Rex joins (~ChaiTRex@gateway/tor-sasl/chaitrex)
09:48:08 <kaol> \query lambdabot
09:48:32 <[exa]> the other slash. :]
09:48:49 <[exa]> jusss: what are you using for sending the files?
09:48:52 × malumore_ quits (~malumore@151.62.117.153) (Ping timeout: 240 seconds)
09:49:32 × ddellaco_ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds)
09:49:49 × lucky quits (~joel@unaffiliated/lucky) (Ping timeout: 250 seconds)
09:53:41 × star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds)
09:54:00 × kapil_ quits (~kapil@o-k.website) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
09:54:42 kapil_ joins (~kapil@2a01:4f9:c010:c9c3::1)
09:55:25 sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-14-70-54-77-33.dsl.bell.ca)
09:57:58 tose joins (55a009dc@ip-85-160-9-220.eurotel.cz)
09:58:17 × Arahael quits (~arahael@203-206-83-196.tpgi.com.au) (Quit: WeeChat 2.7.1)
09:58:18 royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
09:58:31 × Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 260 seconds)
09:58:47 arahael joins (~arahael@203-206-83-196.tpgi.com.au)
10:00:03 × arahael quits (~arahael@203-206-83-196.tpgi.com.au) (Client Quit)
10:00:11 ccapndave joins (~ccapndave@213.55.220.146)
10:00:45 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:00:49 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:00:50 <ccapndave> Hey - what is the syntax to use RecordWildCards to get everything out of a record, whilst also assigning the whole record to something. I tried (startParams @ StartParams {..} ) but GHC doesn't like that
10:01:09 <dminuoso> StartParams{..}
10:01:15 <merijn> That should work
10:01:17 arahael joins (~arahael@203-206-83-196.tpgi.com.au)
10:01:23 <merijn> dminuoso: I don't think the space matters
10:01:25 <dminuoso> The spaces in between are not permissable
10:01:32 <merijn> Oh, wait
10:01:33 <dminuoso> merijn: I think it does because of TypeApplications
10:01:37 <ccapndave> Haha
10:01:40 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:01:41 <ccapndave> That works
10:01:43 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:01:43 <ccapndave> Thanks very much
10:01:46 <merijn> That's not a type application?
10:01:52 <merijn> That's an alias?
10:02:01 <ccapndave> (startParams@StartParams {..}) that works
10:02:02 <dminuoso> the space to the left
10:02:03 <ccapndave> Its an alias
10:02:08 <merijn> ccapndave: oh, yeah
10:02:08 <ccapndave> Cheers!
10:02:15 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:02:16 <merijn> ccapndave: You can't have spaces around @
10:02:18 <dminuoso> i.e. `f @s` vs `f@s`
10:02:20 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:02:20 <ccapndave> Got it
10:02:22 <ccapndave> Ah of course
10:02:35 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:02:36 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:02:37 <ccapndave> Because it thinks its one of the @String "dave" things
10:02:39 <merijn> I move we strike TypeApplications from GHC >.>
10:03:10 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:03:13 × stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds)
10:03:15 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:03:21 <merijn> "but that makes writing extremely hard to infer type polymorphic code more tedious..." 'you say that like it's a bad thing...'
10:03:28 <dminuoso> ccapndave: Right, those are called type applications
10:03:30 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:03:31 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:03:39 <merijn> TypeApplications was a mistake is the hill I will die on
10:03:41 <dminuoso> merijn: https://github.com/int-index/ghc-proposals/blob/visible-forall/proposals/0000-visible-forall.rst
10:03:47 <ccapndave> Its the same as "dave" :: String is it?
10:03:55 <dminuoso> ccapndave: No.
10:03:56 <merijn> ccapndave: Yes, but no
10:04:05 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:04:07 <ccapndave> :)
10:04:10 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:04:19 <dminuoso> ccapndave: Roughly, a polymorphic type (one that has a type variable in its name), can be thought of being parametrized by a type
10:04:25 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:04:26 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:04:32 <dminuoso> So to use such a type, one has to specify an argument for that type, conceptually
10:04:49 <dminuoso> GHC does this automatically, it infers the necessary types, TypeApplications makes this explicit
10:04:59 <dminuoso> i.e. if you write
10:05:00 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:05:05 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:05:20 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:05:20 <dminuoso> `id "foo"` GHC will internally interpret this as `id @String "Foo"`, wher e"
10:05:22 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:05:25 frozenErebus joins (~frozenEre@94.129.65.28)
10:05:26 <dminuoso> "String" is a sort of argument to id
10:05:34 <ccapndave> go it
10:05:35 <ccapndave> Got it
10:05:55 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:06:00 <ccapndave> Or maybe not. How is that any different from `id ("foo" :: String)`
10:06:00 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:06:15 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:06:16 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:06:29 <ccapndave> Is is that the `@String` is associated with the function, and the `:: String` is associated with the parameter?
10:06:33 <dminuoso> right!
10:06:48 <dminuoso> @String is effectively just an argument to the function
10:06:48 <lambdabot> Unknown command, try @list
10:06:50 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:06:54 <ccapndave> So I would use this to specialise a function
10:06:55 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:06:59 <ccapndave> stringId = id @String
10:07:05 <dminuoso> You could do that, yes.
10:07:10 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:07:12 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:07:21 <dminuoso> Its not the primary purpose, but you seem to have gotten the gist of it.
10:07:56 <ccapndave> Yup, I got it
10:07:57 <ccapndave> Thanks very much!
10:08:00 <ccapndave> Off for lunch now
10:08:05 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:08:06 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:08:40 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:08:45 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:08:55 oxide joins (~lambda@unaffiliated/mclaren)
10:09:00 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:09:02 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:09:35 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:09:38 jusss` joins (~user@49.5.6.87)
10:09:40 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:09:50 rkrishnan parts (~rkrishnan@rkrishnan.org) ("ERC (IRC client for Emacs 27.1)")
10:09:55 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:09:56 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Read error: Connection reset by peer)
10:09:58 × ccapndave quits (~ccapndave@213.55.220.146) ()
10:10:30 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:10:33 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:10:34 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
10:10:41 star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com)
10:10:53 royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
10:11:25 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:11:28 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:12:20 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:12:23 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:12:38 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:12:39 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:13:30 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:13:31 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:13:37 × p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 258 seconds)
10:13:41 × notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds)
10:13:49 × jusss quits (~user@unaffiliated/jusss) (Ping timeout: 265 seconds)
10:14:06 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:14:07 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:14:20 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:14:24 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:14:25 mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan)
10:15:15 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:15:19 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:16:10 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:16:14 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:16:56 ddellaco_ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
10:17:05 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:17:09 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:17:20 stree joins (~stree@68.36.8.116)
10:18:00 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:18:04 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:18:11 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
10:18:26 × chris__ quits (~chris@81.96.113.213) (Remote host closed the connection)
10:18:31 royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
10:18:55 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:18:59 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:19:50 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:19:54 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:20:43 × star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Excess Flood)
10:20:45 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:20:48 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:21:20 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:21:25 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:21:40 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:21:42 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:22:01 × ddellaco_ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds)
10:22:15 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:22:19 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:22:20 star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com)
10:22:35 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:22:36 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Read error: Connection reset by peer)
10:22:51 anandprabhu joins (~AnandPrab@94.202.236.255)
10:22:56 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
10:23:10 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:23:13 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:23:29 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds)
10:23:32 benin6 joins (~benin@183.82.177.199)
10:24:20 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:24:24 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:24:46 × benin quits (~benin@183.82.177.199) (Ping timeout: 240 seconds)
10:24:46 benin6 is now known as benin
10:25:15 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:25:18 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:25:39 × frozenErebus quits (~frozenEre@94.129.65.28) (Quit: leaving)
10:25:50 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:25:55 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:26:10 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:26:12 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:26:45 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:26:50 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:27:05 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:27:07 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:27:40 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:27:56 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:28:11 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:28:12 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:28:20 Pickchea joins (~private@unaffiliated/pickchea)
10:28:25 wighawag joins (~wighawag@cpc139592-dund15-2-0-cust88.16-4.cable.virginm.net)
10:28:47 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:28:52 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:29:06 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:29:08 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:29:30 royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
10:29:42 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:29:47 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:30:02 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:30:04 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:30:57 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:30:59 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:31:09 × jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
10:31:24 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer)
10:31:32 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
10:31:56 tim is now known as Guest80193
10:32:07 × LKoen quits (~LKoen@2a01cb0407597a00bd08a6952222b3db.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
10:32:16 chris__ joins (~chris@81.96.113.213)
10:32:53 × Guest80193 quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
10:33:27 jpds joins (~jpds@gateway/tor-sasl/jpds)
10:35:35 × star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Ping timeout: 268 seconds)
10:38:02 __monty__ joins (~toonn@unaffiliated/toonn)
10:39:40 × chris__ quits (~chris@81.96.113.213) (Remote host closed the connection)
10:39:48 × stree quits (~stree@68.36.8.116) (Quit: Caught exception)
10:40:13 stree joins (~stree@68.36.8.116)
10:40:14 Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
10:40:26 chris__ joins (~chris@81.96.113.213)
10:40:33 × chris__ quits (~chris@81.96.113.213) (Remote host closed the connection)
10:42:58 waleee-cl joins (uid373333@gateway/web/irccloud.com/x-mvvtsrqoeqztdvzb)
10:44:35 chris__ joins (~chris@81.96.113.213)
10:44:37 × chris__ quits (~chris@81.96.113.213) (Remote host closed the connection)
10:44:52 × sagax quits (~sagax_nb@213.138.71.146) (Ping timeout: 252 seconds)
10:44:58 <Philonous> What's the memory requirement of a (SmallArray# a)? I'm assuming it's something like k words + n*(1 word + sizeof(a) ), but how do I find out for sure?
10:45:11 chris__ joins (~chris@81.96.113.213)
10:46:22 boxscape joins (4ff0bb95@p4ff0bb95.dip0.t-ipconnect.de)
10:46:56 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds)
10:48:52 ddellaco_ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
10:49:37 star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com)
10:49:54 <opqdonut> Philonous: you probably read https://hackage.haskell.org/package/ghc-prim-0.4.0.0/docs/GHC-Prim.html#g:9 already?
10:50:37 × obfusk_ quits (~quassel@a82-161-150-56.adsl.xs4all.nl) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
10:50:53 <opqdonut> fresher version, same text: https://hackage.haskell.org/package/ghc-prim-0.7.0/docs/GHC-Prim.html#g:13
10:51:06 obfusk joins (~quassel@a82-161-150-56.adsl.xs4all.nl)
10:51:29 killsushi joins (~killsushi@2607:fea8:3d40:767:a826:23b7:521c:2d11)
10:51:57 × lemmih quits (~lemmih@2406:3003:2072:44:defd:a00a:733d:f00a) (Remote host closed the connection)
10:52:18 lemmih joins (~lemmih@2406:3003:2072:44:fb30:fbcc:add6:52b5)
10:53:28 × ddellaco_ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds)
10:54:48 selny joins (~eminsplac@185.40.159.78)
10:55:33 × selny quits (~eminsplac@185.40.159.78) (Client Quit)
10:56:41 × DTZUZU_ quits (~DTZUZO@207.81.119.43) (Ping timeout: 240 seconds)
10:57:19 × wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
10:57:19 × ozzymcdu_ quits (~ozzymcduf@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
10:58:20 wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com)
10:58:22 ozzymcdu_ joins (~ozzymcduf@81-234-151-21-no94.tbcn.telia.com)
10:59:22 × star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Excess Flood)
11:00:53 × chris__ quits (~chris@81.96.113.213) (Remote host closed the connection)
11:01:01 × Boomerang quits (~Boomerang@xd520f68c.cust.hiper.dk) (Quit: Leaving)
11:01:03 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
11:01:09 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
11:01:23 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
11:01:25 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
11:01:58 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
11:02:04 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
11:02:18 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
11:02:20 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
11:02:53 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
11:02:59 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
11:03:13 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
11:03:15 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
11:03:33 × sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-14-70-54-77-33.dsl.bell.ca) (Remote host closed the connection)
11:03:39 sm2n_ joins (~sm2n@bras-base-hmtnon143hw-grc-14-70-54-77-33.dsl.bell.ca)
11:03:48 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
11:03:54 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
11:04:04 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
11:04:08 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
11:04:09 × aVikingTrex quits (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 245 seconds)
11:04:10 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
11:04:22 royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
11:04:43 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
11:04:49 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
11:05:03 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
11:05:05 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
11:05:38 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
11:06:02 tim is now known as Guest28054
11:06:14 star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com)
11:06:59 × Guest28054 quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
11:08:55 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer)
11:09:13 DTZUZU_ joins (~DTZUZO@207.81.119.43)
11:10:13 × xsperry quits (~as@unaffiliated/xsperry) (Ping timeout: 240 seconds)
11:13:07 Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
11:14:45 usr25 joins (~usr25@unaffiliated/usr25)
11:16:06 × star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Excess Flood)
11:17:54 xsperry joins (~as@unaffiliated/xsperry)
11:19:39 star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com)
11:20:26 × zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving)
11:21:44 chris__ joins (~chris@81.96.113.213)
11:24:52 × sm2n_ quits (~sm2n@bras-base-hmtnon143hw-grc-14-70-54-77-33.dsl.bell.ca) (Remote host closed the connection)
11:26:17 × chris__ quits (~chris@81.96.113.213) (Remote host closed the connection)
11:26:41 × wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
11:27:05 sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-14-70-54-77-33.dsl.bell.ca)
11:28:08 × Tene quits (~tene@poipu/supporter/slacker/tene) (Ping timeout: 252 seconds)
11:28:22 ddellaco_ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
11:29:13 × ByronJohnson quits (~bairyn@unaffiliated/bob0) (Ping timeout: 260 seconds)
11:29:16 idhugo joins (~idhugo@80-62-117-193-mobile.dk.customer.tdc.net)
11:29:26 × star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Excess Flood)
11:29:30 <Philonous> opqdonut, I did, it did not answer my question
11:29:37 × idhugo quits (~idhugo@80-62-117-193-mobile.dk.customer.tdc.net) (Remote host closed the connection)
11:29:39 <Philonous> Maybe it's time to dive into GHC sources
11:30:35 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer)
11:30:41 star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com)
11:30:56 <merijn> Philonous: I think mpickering (or maybe it was someone else) recently created a precise space profiling tool for heap stuff
11:31:11 chris__ joins (~chris@81.96.113.213)
11:31:21 <merijn> Philonous: Also, why is it important to know for sure?
11:32:47 × ddellaco_ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds)
11:33:00 × vk3wtf quits (~doc@61.68.250.44) (Quit: WeeChat 3.0.1)
11:33:35 vk3wtf joins (~doc@61.68.250.44)
11:34:33 × Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 240 seconds)
11:34:33 <Philonous> merijn, I'm working on vinyl's ARec, which uses Array to store extensible records, as opposed to the usual heterogenous list. Part of the patch I'm working is replacing Array with SmallArray#, and I'd like to document the exact implications of using any of the options.
11:34:49 LKoen joins (~LKoen@2a01cb0407597a0088365239e6346274.ipv6.abo.wanadoo.fr)
11:34:52 Tene joins (~tene@mail.digitalkingdom.org)
11:34:52 × Tene quits (~tene@mail.digitalkingdom.org) (Changing host)
11:34:52 Tene joins (~tene@poipu/supporter/slacker/tene)
11:34:56 <merijn> Ah...so, Dark Voodoo :p
11:35:05 <merijn> Probably better off asking in #ghc
11:35:28 × chris__ quits (~chris@81.96.113.213) (Ping timeout: 252 seconds)
11:35:45 ByronJohnson joins (~bairyn@unaffiliated/bob0)
11:35:53 <Philonous> Ah, right, that's a good idea, thanks
11:36:32 <Philonous> I'm not sure if it's "dark voodoo" to want to know how much space a data structure uses. ;)
11:36:38 boxscape94 joins (4ff0bb95@p4ff0bb95.dip0.t-ipconnect.de)
11:37:19 <merijn> Philonous: Anything using GHC.Prim and names with # to do GHC specific things is dark voodoo :p
11:37:23 × boxscape quits (4ff0bb95@p4ff0bb95.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
11:37:33 <merijn> Philonous: Using those to implement extensible records doubly so :p
11:38:41 × DTZUZU_ quits (~DTZUZO@207.81.119.43) (Ping timeout: 240 seconds)
11:38:50 <Philonous> Fair enough
11:42:50 invaser joins (~Thunderbi@91.226.34.182)
11:43:17 machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca)
11:43:22 malumore_ joins (~malumore@151.62.117.153)
11:44:03 Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
11:44:10 × xsperry quits (~as@unaffiliated/xsperry) (Remote host closed the connection)
11:47:43 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
11:48:01 royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
11:51:45 jakalx parts (~jakalx@base.jakalx.net) ()
11:51:49 DTZUZU_ joins (~DTZUZO@207.81.119.43)
11:52:51 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
11:55:43 × stree quits (~stree@68.36.8.116) (Quit: Caught exception)
11:56:09 stree joins (~stree@68.36.8.116)
11:56:51 MaxRos joins (~MorrowM@147.161.15.215)
11:57:46 × star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Read error: Connection reset by peer)
11:58:02 star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com)
11:58:50 MaxRos is now known as MorrowM
12:00:05 Alleria joins (~textual@2603-7000-3040-0000-5107-53e7-cd36-0949.res6.spectrum.com)
12:00:28 Alleria is now known as Guest31960
12:00:31 urodna joins (~urodna@unaffiliated/urodna)
12:01:17 boxscape94 is now known as boxscape
12:01:27 × mniip quits (mniip@freenode/staff/mniip) (Quit: Changing host)
12:01:45 zeph joins (~zeph@117.222.68.136)
12:03:23 mniip joins (mniip@b.deneb.mniip.com)
12:04:21 × tomboy64 quits (~tomboy64@gateway/tor-sasl/tomboy64) (Ping timeout: 240 seconds)
12:04:35 × Guest31960 quits (~textual@2603-7000-3040-0000-5107-53e7-cd36-0949.res6.spectrum.com) (Ping timeout: 250 seconds)
12:05:01 ddellaco_ joins (~ddellacos@86.106.143.191)
12:06:08 × jess quits (jess@freenode/staff/jess) (Changing host)
12:06:08 jess joins (jess@unaffiliated/jess)
12:08:00 × star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Excess Flood)
12:08:02 lambdap joins (~lambdap@static.167.190.119.168.clients.your-server.de)
12:08:19 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
12:09:32 × ddellaco_ quits (~ddellacos@86.106.143.191) (Ping timeout: 246 seconds)
12:11:54 royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
12:12:02 tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
12:12:46 star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com)
12:13:58 notzmv joins (~zmv@unaffiliated/zmv)
12:14:23 <mniip> I've resigned from volunteering for freenode for a good reason and I think you should know as well: https://mniip.com/freenode.txt (sorry for the spam (wait that's cliche))
12:14:41 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit)
12:15:00 royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
12:15:08 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 265 seconds)
12:16:47 × mceier quits (~mceier@89-68-132-187.dynamic.chello.pl) (Quit: rip freenode, moving to libera chat)
12:16:55 knupfer joins (~Thunderbi@200116b82216c200f69634fffef0b45f.dip.versatel-1u1.de)
12:18:54 Alleria__ joins (~textual@zrcout.mskcc.org)
12:19:26 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
12:20:42 alx741 joins (~alx741@181.196.68.143)
12:20:56 royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
12:21:43 belphegor666 joins (~satan@2a02:8071:429b:600:6c4a:bff:fede:7c09)
12:22:50 zaquest joins (~notzaques@5.128.210.178)
12:23:26 × nek0 quits (~nek0@mail.nek0.eu) (Quit: The Lounge - https://thelounge.chat)
12:25:30 × jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
12:25:31 × MorrowM quits (~MorrowM@147.161.15.215) (Read error: Connection reset by peer)
12:25:52 jpds joins (~jpds@gateway/tor-sasl/jpds)
12:25:59 × plutoniix quits (~q@ppp-58-8-181-100.revip2.asianet.co.th) (Quit: Leaving)
12:26:28 × star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Ping timeout: 252 seconds)
12:26:36 × zeph quits (~zeph@117.222.68.136) (Quit: leaving)
12:26:41 × ystael quits (~ystael@130.44.151.113) (Ping timeout: 260 seconds)
12:27:17 × ^[ quits (sid43445@ircpuzzles/2015/april-fools/sixth/zgrep) (Quit: I wish to stop using IRCCloud.)
12:28:49 × jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
12:29:10 jpds joins (~jpds@gateway/tor-sasl/jpds)
12:32:28 ystael joins (~ystael@130.44.151.113)
12:32:53 heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
12:34:14 jakalx joins (~jakalx@base.jakalx.net)
12:35:38 nbloomf joins (~nbloomf@2600:1700:ad14:3020:582b:30d1:5899:a42a)
12:36:52 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:582b:30d1:5899:a42a) (Client Quit)
12:37:27 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
12:37:37 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
12:37:44 <maerwald> https://libera.chat/
12:37:57 royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
12:39:08 tomboy64 joins (~tomboy64@gateway/tor-sasl/tomboy64)
12:39:59 <boxscape> % undefined
12:40:11 <boxscape> I guess yahb is in the process of moving onto greener pastures
12:40:12 × ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
12:40:57 <Uniaika> :)
12:41:02 × alp quits (~alp@163.172.83.213) (Quit: ZNC 1.8.1 - https://znc.in)
12:41:07 tlax parts (tlax@kapsi.fi) ()
12:41:12 ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
12:41:27 star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com)
12:41:31 <Philonous> Maybe some context: Since there seems to be rough waters ahead on freenode and the networks ops have migrated to a new network (https://libera.chat), you might want to create an account and join #haskell there
12:42:58 Major_Biscuit joins (~Major_Bis@82-169-100-198.biz.kpn.net)
12:43:45 drbean_ joins (~drbean@TC210-63-209-66.static.apol.com.tw)
12:43:56 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
12:44:11 × Major_Biscuit quits (~Major_Bis@82-169-100-198.biz.kpn.net) (Client Quit)
12:44:20 tim is now known as Guest55731
12:44:39 ddellac__ joins (~ddellacos@86.106.143.243)
12:45:30 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds)
12:45:36 × kloeri quits (~kloeri@freenode/staff/exherbo.kloeri) (Changing host)
12:45:36 kloeri joins (~kloeri@exherbo/developer/kloeri)
12:46:03 Lycurgus joins (~niemand@cpe-45-46-140-49.buffalo.res.rr.com)
12:47:28 alp joins (~alp@163.172.83.213)
12:47:32 geekosaur joins (45870322@069-135-003-034.biz.spectrum.com)
12:48:26 × Guest55731 quits (~tim@112-141-128-42.sta.dodo.net.au) (Ping timeout: 252 seconds)
12:48:46 × ddellac__ quits (~ddellacos@86.106.143.243) (Ping timeout: 240 seconds)
12:50:17 nbloomf joins (~nbloomf@2600:1700:ad14:3020:582b:30d1:5899:a42a)
12:51:02 jamm_ joins (~jamm@unaffiliated/jamm)
12:51:16 × star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Excess Flood)
12:51:49 jamm__ joins (~jamm@unaffiliated/jamm)
12:51:58 star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com)
12:53:17 × sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-14-70-54-77-33.dsl.bell.ca) (Remote host closed the connection)
12:53:36 sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-14-70-54-77-33.dsl.bell.ca)
12:53:52 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
12:54:29 tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
12:55:23 qwerty2o_ joins (~qwerty2o@46.19.85.93)
12:55:26 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:582b:30d1:5899:a42a) (Quit: My MacBook has gone to sleep. ZZZzzz…)
12:55:46 × jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds)
12:56:43 × Wamanuz3 quits (~wamanuz@78-70-34-81-no84.tbcn.telia.com) (Ping timeout: 252 seconds)
12:56:55 Wamanuz3 joins (~wamanuz@78-70-34-81-no84.tbcn.telia.com)
12:58:55 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds)
13:01:34 hendi parts (sid489601@gateway/web/irccloud.com/x-uqohcpzerdjcsbjn) ()
13:01:54 × star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Excess Flood)
13:03:17 × sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-14-70-54-77-33.dsl.bell.ca) (Remote host closed the connection)
13:03:36 sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-14-70-54-77-33.dsl.bell.ca)
13:04:11 × Lycurgus quits (~niemand@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt)
13:04:48 × sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-14-70-54-77-33.dsl.bell.ca) (Remote host closed the connection)
13:05:32 tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
13:05:48 × jess quits (jess@unaffiliated/jess) (Quit: so long and thanks for all the fish)
13:05:57 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Quit: Changing server)
13:06:20 _xft0 joins (~root@185.234.208.208.r.toneticgroup.pl)
13:06:36 p8m joins (p8m@gateway/vpn/protonvpn/p8m)
13:07:33 × mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds)
13:07:39 × Taneb quits (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Ping timeout: 260 seconds)
13:08:31 sillyotter joins (~sillyotte@cpe-74-137-150-154.kya.res.rr.com)
13:09:04 × statusfailed quits (~statusfai@statusfailed.com) (Quit: leaving)
13:09:16 star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com)
13:09:21 statusfailed joins (~statusfai@statusfailed.com)
13:09:36 × sillyotter quits (~sillyotte@cpe-74-137-150-154.kya.res.rr.com) (Client Quit)
13:10:29 × benin quits (~benin@183.82.177.199) (Quit: The Lounge - https://thelounge.chat)
13:10:52 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
13:11:04 × Chobbes_ quits (~Chobbes@pool-98-115-239-235.phlapa.fios.verizon.net) (Quit: WeeChat 2.9)
13:11:20 Chobbes joins (~Chobbes@pool-98-115-239-235.phlapa.fios.verizon.net)
13:11:48 × Chobbes quits (~Chobbes@pool-98-115-239-235.phlapa.fios.verizon.net) (Changing host)
13:11:48 Chobbes joins (~Chobbes@unaffiliated/chobbes)
13:13:02 × oxide quits (~lambda@unaffiliated/mclaren) (Quit: oxide)
13:13:43 Tario joins (~Tario@201.192.165.173)
13:13:47 × pjb quits (~pjb@2a01cb04063ec500a53b26f58b0dc373.ipv6.abo.wanadoo.fr) (Ping timeout: 258 seconds)
13:14:11 × hgolden quits (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) (Quit: Konversation terminated!)
13:14:52 × undvrainbowvita8 quits (~egp_@128-71-13-3.broadband.corbina.ru) (Quit: EXIT)
13:15:34 × Ankhers quits (~Ankhers@unaffiliated/ankhers) (Quit: ZNC 1.8.1 - https://znc.in)
13:15:58 wei2912 joins (~wei2912@unaffiliated/wei2912)
13:15:59 nicholasbulka joins (~nicholasb@2601:900:4301:da0:215a:8def:1097:b339)
13:16:06 Ankhers joins (~Ankhers@unaffiliated/ankhers)
13:16:29 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
13:16:46 undvrainbowvita8 joins (~egp_@128-71-13-3.broadband.corbina.ru)
13:16:47 × knupfer quits (~Thunderbi@200116b82216c200f69634fffef0b45f.dip.versatel-1u1.de) (Quit: knupfer)
13:17:23 __monty__ joins (~toonn@unaffiliated/toonn)
13:18:48 lortabac parts (~lortabac@51.158.65.124) ("WeeChat 2.8")
13:19:10 Taneb joins (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0)
13:20:31 × bermraj quits (~azael@2a01:4f8:211:1349::2) (Quit: ZNC - https://znc.in)
13:20:43 × shadowdaemon quits (~user@unaffiliated/shadowdaemon) (Read error: Connection reset by peer)
13:21:11 oxide joins (~lambda@unaffiliated/mclaren)
13:23:09 ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
13:23:26 muttonmitten joins (~muttonmit@unaffiliated/muttonmitten)
13:23:36 × oxide quits (~lambda@unaffiliated/mclaren) (Client Quit)
13:23:37 × qwerty2o_ quits (~qwerty2o@46.19.85.93) (Read error: Connection reset by peer)
13:24:53 ddellac__ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
13:25:07 × ystael quits (~ystael@130.44.151.113) (Ping timeout: 252 seconds)
13:25:33 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Quit: leaving)
13:26:16 hgolden joins (~hgolden2@cpe-172-114-84-61.socal.res.rr.com)
13:26:35 × blissful quits (~blissful@unaffiliated/azuline) (Quit: owo)
13:26:55 × kilolympus quits (~kilolympu@5.151.5.180) (Quit: Quitting IRC :()
13:27:04 blissful joins (~blissful@unaffiliated/azuline)
13:27:09 × blissful quits (~blissful@unaffiliated/azuline) (Remote host closed the connection)
13:27:13 × anandprabhu quits (~AnandPrab@94.202.236.255) (Quit: Leaving)
13:27:18 kilolympus joins (~kilolympu@5.151.5.177)
13:27:31 anandprabhu joins (~AnandPrab@94.202.236.255)
13:27:41 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
13:27:46 blissful joins (~blissful@unaffiliated/azuline)
13:28:14 × LKoen quits (~LKoen@2a01cb0407597a0088365239e6346274.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
13:28:54 × john2gb0 quits (~john2gb@94-225-47-8.access.telenet.be) (Quit: Ping timeout (120 seconds))
13:30:01 × hgolden quits (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) (Client Quit)
13:32:41 anandprabhu parts (~AnandPrab@94.202.236.255) ("Leaving")
13:33:33 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
13:33:44 parabolize joins (~paraboliz@98.43.173.221)
13:33:55 howdoi joins (uid224@gateway/web/irccloud.com/x-jbadeixogdsintni)
13:33:55 __monty__ joins (~toonn@unaffiliated/toonn)
13:34:16 mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan)
13:36:08 × p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Remote host closed the connection)
13:36:46 p8m joins (p8m@gateway/vpn/protonvpn/p8m)
13:37:09 LKoen joins (~LKoen@2a01cb0407597a00518ac0f4fb1556c3.ipv6.abo.wanadoo.fr)
13:37:38 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection)
13:37:47 mastarija joins (~mastarija@31.217.6.4)
13:37:54 Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
13:39:17 some02 joins (~lax@unaffiliated/laxask)
13:39:36 × _xft0 quits (~root@185.234.208.208.r.toneticgroup.pl) (Quit: leaving)
13:39:58 pwn1337 joins (pwn@c-68-33-135-46.hsd1.de.comcast.net)
13:40:28 × HannaM quits (~quassel@p54849510.dip0.t-ipconnect.de) (Quit: HannaM)
13:40:40 nbloomf joins (~nbloomf@2600:1700:ad14:3020:582b:30d1:5899:a42a)
13:40:47 × star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds)
13:41:31 some02 is now known as sudden
13:42:07 × laxask quits (~lax@unaffiliated/laxask) (Ping timeout: 240 seconds)
13:43:13 × wighawag quits (~wighawag@cpc139592-dund15-2-0-cust88.16-4.cable.virginm.net) (Quit: Leaving)
13:43:22 pwn1337 parts (pwn@c-68-33-135-46.hsd1.de.comcast.net) ()
13:43:37 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:582b:30d1:5899:a42a) (Client Quit)
13:43:39 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
13:43:59 sord937 joins (~sord937@gateway/tor-sasl/sord937)
13:43:59 × cantstanya quits (~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection)
13:44:23 jai9 joins (~textual@cpe-74-72-114-231.nyc.res.rr.com)
13:44:43 john2gb0 joins (~john2gb@94-225-47-8.access.telenet.be)
13:46:26 ircbrowse_tom joins (~ircbrowse@64.225.78.177)
13:46:27 Server sets mode +CLnt
13:47:26 × sudden quits (~lax@unaffiliated/laxask) (Quit: leaving)
13:47:44 laxask joins (~lax@unaffiliated/laxask)
13:49:24 acidjnk_new2 joins (~acidjnk@p200300d0c72b958680cf6a8401116b8a.dip0.t-ipconnect.de)
13:49:59 × acidjnk_new quits (~acidjnk@p200300d0c72b9590b0627b83407696f5.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
13:54:27 ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
13:55:01 deb4ever joins (~deb4ever@37.120.211.190)
13:55:11 × jai9 quits (~textual@cpe-74-72-114-231.nyc.res.rr.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
13:55:56 ubert joins (~Thunderbi@p200300ecdf259d35e6b318fffe838f33.dip0.t-ipconnect.de)
13:56:16 × ddellac__ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds)
13:56:43 <srid> Can Libera Chat be bridged to Matrix? (I don't use IRC clients anymore)
13:57:44 <boxscape> Is it just me or does the Logs link in the topic not work anymore?
13:57:46 <boxscape> want me to log in
13:58:51 <maerwald> srid: I don't see why not, but someone has to do it
13:59:37 <srid> Also, did the discussion switching from IRC -> Matrix already happen?
13:59:53 <srid> Because, in 2021 - I wonder why we would still use IRC instead of migrating to a better protocol. 😀
14:00:05 jai9 joins (~textual@cpe-74-72-114-231.nyc.res.rr.com)
14:00:18 × wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
14:00:43 <maerwald> matrix channels for haskell already exist
14:00:56 × abrar quits (~abrar@static-108-30-103-121.nycmny.fios.verizon.net) (Ping timeout: 268 seconds)
14:01:02 × bitmagie quits (~Thunderbi@200116b806936800d1b957d84640628b.dip.versatel-1u1.de) (Quit: bitmagie)
14:01:11 × puke quits (~vroom@217.138.252.196) (Ping timeout: 240 seconds)
14:01:21 abrar joins (~abrar@static-108-30-103-121.nycmny.fios.verizon.net)
14:01:33 star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com)
14:01:38 <[exa]> srid: I'd argue we don't have a strictly better protocol
14:03:08 <davean> Yah, IRC is sadly still the best for my usage
14:03:11 <davean> which is rather sad
14:03:36 ddellaco_ joins (~ddellacos@86.106.143.35)
14:03:50 ridcully_ is now known as ridcully
14:04:38 × stree quits (~stree@68.36.8.116) (Ping timeout: 268 seconds)
14:05:34 lucky joins (~joel@2607:fea8:335f:e89d:922b:34ff:fe57:a33b)
14:06:03 marinelli joins (~marinelli@gateway/tor-sasl/marinelli)
14:06:15 jao joins (~user@pdpc/supporter/professional/jao)
14:06:41 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds)
14:06:56 brandonhamilton joins (~brandonha@151.82.41.222)
14:07:07 × pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!)
14:07:25 <maerwald> it appears you don't like electron apps and gif/emoji overloaded platforms
14:08:32 pjb joins (~pjb@2a01cb04063ec500440b12cee508cc2a.ipv6.abo.wanadoo.fr)
14:08:39 <davean> I really find message editing confusing
14:08:43 × ddellaco_ quits (~ddellacos@86.106.143.35) (Ping timeout: 265 seconds)
14:08:44 xkapastel joins (uid17782@gateway/web/irccloud.com/x-piazkmhanzpphpby)
14:09:59 × lucky quits (~joel@2607:fea8:335f:e89d:922b:34ff:fe57:a33b) (Ping timeout: 245 seconds)
14:10:35 nbloomf joins (~nbloomf@2600:1700:ad14:3020:582b:30d1:5899:a42a)
14:11:01 × urdh quits (~urdh@unaffiliated/urdh) (Quit: Boom!)
14:11:11 sedeki joins (~textual@unaffiliated/sedeki)
14:11:18 × star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Excess Flood)
14:11:37 jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client")
14:11:48 marinelli parts (~marinelli@gateway/tor-sasl/marinelli) ()
14:12:36 star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com)
14:12:56 hgolden joins (~hgolden2@cpe-172-114-84-61.socal.res.rr.com)
14:14:32 × hgolden quits (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) (Client Quit)
14:14:54 jakalx joins (~jakalx@base.jakalx.net)
14:15:17 HannaM joins (~quassel@p54849510.dip0.t-ipconnect.de)
14:16:45 <[exa]> "it doesn't support telnet for connection"
14:16:53 [exa] dodges
14:17:08 <davean> [exa]: lol, technically telnet would be incorrect for accessing IRC :)
14:17:11 <davean> netcat though ...
14:17:14 stree joins (~stree@68.36.8.116)
14:17:47 <[exa]> ah what a protocolar mistake I made
14:17:48 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
14:18:02 <davean> I mean telnet works. I've never seen anything notice the problem.
14:20:45 <[exa]> also, no one ever complaned that telnet breaks for them on irc, right?
14:21:05 biglama joins (~alex@static-176-165-167-17.ftth.abo.bbox.fr)
14:21:34 puke joins (~vroom@217.138.252.58)
14:22:13 × star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds)
14:23:23 × aib42 quits (~aib@unaffiliated/aib42) (Quit: ZNC - http://znc.in)
14:23:57 d1rges joins (~d1rges@2001-b011-8011-4077-fd30-d0dc-11ee-27dc.dynamic-ip6.hinet.net)
14:24:17 × coddinkn_ quits (~coddinkn@octayn.net) (Remote host closed the connection)
14:24:21 luke joins (~luke@bitnomial/staff/luke)
14:24:54 star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com)
14:25:08 kritzefitz_ joins (~kritzefit@2003:5b:203b:200::10:49)
14:26:53 × d1rges quits (~d1rges@2001-b011-8011-4077-fd30-d0dc-11ee-27dc.dynamic-ip6.hinet.net) (Client Quit)
14:27:02 × usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving)
14:27:30 usr25 joins (~usr25@4.red-83-63-129.staticip.rima-tde.net)
14:28:19 timCF joins (~i.tkachuk@254-149-20-81.sta.estpak.ee)
14:28:48 × jiribenes quits (~jiribenes@rosa.jiribenes.com) (Quit: jiribenes)
14:28:53 × kritzefitz_ quits (~kritzefit@2003:5b:203b:200::10:49) (Client Quit)
14:29:01 × kritzefitz quits (~kritzefit@2003:5b:203b:200::10:49) (Quit: Leaving)
14:29:18 kritzefitz joins (~kritzefit@2003:5b:203b:200::10:49)
14:31:25 × usr25 quits (~usr25@4.red-83-63-129.staticip.rima-tde.net) (Client Quit)
14:32:07 jiribenes joins (~jiribenes@rosa.jiribenes.com)
14:32:37 cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
14:32:53 × malumore_ quits (~malumore@151.62.117.153) (Ping timeout: 240 seconds)
14:32:54 × peutri quits (~peutri@ns317027.ip-94-23-46.eu) (Quit: Changing server)
14:33:15 usr25 joins (~usr25@4.red-83-63-129.staticip.rima-tde.net)
14:33:37 Aquazi joins (uid312403@gateway/web/irccloud.com/x-llrwtwjbkwdbgfbp)
14:34:10 × jai9 quits (~textual@cpe-74-72-114-231.nyc.res.rr.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
14:34:46 × star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Excess Flood)
14:35:52 Sgeo joins (~Sgeo@ool-18b9875e.dyn.optonline.net)
14:36:16 <timCF> Hello guys! Unpopular question there. I'm contributing to figlet-style ascii library. Before it was able to parse figlet font files only in runtime (IO) with possible failure. I did added TH support to actually embed Haskell terms representing fonts directly into sources https://github.com/tkachuk-labs/haskii/blob/9c2e89065d82e102f7cbc53e4f338ce470b556af/Haskii/Figlet/TH.hs#L72-L84 It works relatively ok,
14:36:22 <timCF> but TH for whatever reason is very slow and eats a lot of RAM. I'm thinking rewriting TH fonts embed to source code generation using ghc-source-gen library. But there is one thing which I actually like in TH - it's how easy to lift runtime terms to source code representation of terms using class Lift which is easily derivable basically for free for the most sum and product types. I'm just thinking, is
14:36:28 <timCF> there such easy way to lift runtime representation of FLF fonts to ghc-source-gen AST. I'm looking to something like Lift class in TH.
14:37:47 × kritzefitz quits (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection)
14:38:03 kritzefitz joins (~kritzefit@2003:5b:203b:200::10:49)
14:38:21 ddellac__ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
14:38:22 star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com)
14:38:28 JanBessai joins (~JanB@85-22-27-105.ip.dokom21.de)
14:39:11 × ubert quits (~Thunderbi@p200300ecdf259d35e6b318fffe838f33.dip0.t-ipconnect.de) (Remote host closed the connection)
14:39:28 ubert joins (~Thunderbi@p200300ecdf259d35e6b318fffe838f33.dip0.t-ipconnect.de)
14:39:51 × kritzefitz quits (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection)
14:40:08 kritzefitz joins (~kritzefit@2003:5b:203b:200::10:49)
14:40:08 × ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds)
14:40:18 ddellacosta joins (~ddellacos@86.106.143.191)
14:40:44 mitchellsalad joins (uid40617@gateway/web/irccloud.com/x-wojllcxnqpqyxkiy)
14:41:24 × byorgey quits (~byorgey@155.138.238.211) (Quit: leaving)
14:41:32 byorgey joins (~byorgey@155.138.238.211)
14:41:52 × luke quits (~luke@bitnomial/staff/luke) (Quit: sleep)
14:41:59 <merijn> timCF: oof, way to make your life difficult :p
14:42:52 <timCF> merijn: you mean TH or ghc-source-gen? :)
14:42:56 <merijn> Yes
14:43:01 <timCF> Haha
14:43:32 × byorgey quits (~byorgey@155.138.238.211) (Client Quit)
14:43:32 <merijn> Why do you wanna embed the compile time? That'll probably make your compile times hell too
14:44:07 byorgey joins (~byorgey@155.138.238.211)
14:44:30 × sedeki quits (~textual@unaffiliated/sedeki) (Quit: Textual IRC Client: www.textualapp.com)
14:44:32 × ddellacosta quits (~ddellacos@86.106.143.191) (Ping timeout: 240 seconds)
14:44:41 <timCF> merijn: just easier to use library itself this way, don't need IO at all to render text into ascii art
14:44:55 <timCF> at the moment IO is needed to load fonts
14:45:47 × acidjnk_new2 quits (~acidjnk@p200300d0c72b958680cf6a8401116b8a.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
14:45:58 <merijn> So? You need IO at some point anyway :p
14:47:03 <merijn> I mean, at some point you gotta ask yourself "is the pain I am inflicting on myself worth the gain?" :)
14:47:24 × sphalerite quits (~sphalerit@NixOS/user/lheckemann) (Quit: WeeChat 2.9)
14:47:37 × xensky quits (~xensky@xengarden.xen.prgmr.com) (Quit: i quit)
14:48:05 × star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Excess Flood)
14:48:21 star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com)
14:48:28 × thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 258 seconds)
14:49:20 × jamm__ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection)
14:49:35 <timCF> TH is pretty usable with Lift. But slow. And eats all the RAM for bigger ascii fonts. And I heard about problems with cross-compilation (not sure it's true)
14:49:45 <merijn> Yes
14:49:59 <tapas> bye #haskell! moving over to irc.libera.chat
14:50:04 <merijn> Or rather, there aren't problems plural, just one really, really big one
14:50:19 tapas parts (sid467876@gateway/web/irccloud.com/x-wqbatyuvmrgyaano) ()
14:50:27 <merijn> Like "no one really defined how TH is supposed to work in a cross-compilation context"
14:50:56 <merijn> So there's just no sensical interpretation of what TH means when cross compiling
14:50:56 thc202 joins (~thc202@unaffiliated/thc202)
14:51:26 <merijn> Extremely simple example
14:51:34 <merijn> > finiteBitSize (1 :: Int)
14:51:35 <lambdabot> 64
14:51:51 clam joins (~malc@51.15.134.150)
14:51:58 <maerwald> merijn: just pick the largest number
14:52:00 <merijn> If I have a TH expression using that, should it use the Int size of the *build* machine or the *target*?
14:52:12 clam parts (~malc@51.15.134.150) ()
14:52:20 <timCF> It depends
14:52:21 <merijn> maerwald: That doesn't work, because whatever you pick I can come up with a case that breaks
14:52:26 <merijn> timCF: Correct
14:52:39 × hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:989b:41dd:d1e6:c3a3) (Ping timeout: 260 seconds)
14:52:48 mastarija_ joins (~mastarija@31.217.23.9)
14:52:51 <merijn> timCF: Ideally you wanna distinguish between target and host when cross compiling, but TH wasn't designed with that in mind
14:53:07 <merijn> timCF: So that's not fixable without a pretty significant overhaul/redesign of TH
14:55:02 <merijn> timCF: personally I'd probably load/parse fonts on startup once, then cache them
14:55:21 Jerub joins (~sthorne@37.17.237.231)
14:55:35 <merijn> timCF: Could even consider using compact regions for faster caching/loading
14:55:41 × mastarija quits (~mastarija@31.217.6.4) (Ping timeout: 240 seconds)
14:55:42 mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl)
14:55:42 × mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host)
14:55:42 mouseghost joins (~draco@wikipedia/desperek)
14:56:28 <timCF> merijn: Actually for some tasks I got another very annoying limitation that TH can not generate `import` and `module` expressions which was critical for one project which was using > 500 protoc generated files, every single of them I needed to import manually to TH module haha
14:57:50 <timCF> That's why I started looking into ghc-source-gen. It's prety much ok, and works file. Except now I need to Lift everything manually to code AST
14:58:09 × star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Excess Flood)
14:58:53 <kritzefitz> merijn, do you see a realistic way how TH could be implemented to work with values from the target? To me it seems like you are stuck with values from the build machine or you have to emulate the architecture of the target machine, at which point I wouldn't even call it cross-compiling anymore.
14:59:42 <timCF> It would be very handy to have translator from TH AST to ghc-source-gen AST. Then you can have the best from both worlds - Lift and QQ from TH, and full control on source code and cross-compilation on ghc-source-gen
14:59:52 star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com)
15:00:00 <davean> kritzefitz: well, we already do it by running it on the target, and whats the difference between optimization and emulation?
15:00:05 <davean> both deal with the semantics of the target
15:00:06 × Unode quits (~Unode@unaffiliated/unode) (Quit: Off it goes)
15:00:21 mouseghost is now known as desperek
15:00:49 Jerub parts (~sthorne@37.17.237.231) ()
15:00:54 desperek is now known as mouseghost
15:01:08 <madnight> Will #haskell leave freenode and move to irc.libera.chat?
15:01:31 <Taneb> madnight: remains to be seen
15:02:19 <davean> people vote with their feet, but people are voting.
15:02:40 <Taneb> (I'm in both and intend to be in both for a while)
15:02:50 <geekosaur> I think it'll take time, especially with >1000 people
15:03:08 <timCF> what's a point?
15:03:26 <timCF> I mean what's wrong with freenode?
15:03:27 Unode joins (~Unode@unaffiliated/unode)
15:03:43 <kritzefitz> davean, I'm not sure I understand what you mean. Isn't the point that TH is run during compilation on the build machine, where you possibly don't have the means to execute code the same way it would execute on the target machine?
15:03:57 × Unode quits (~Unode@unaffiliated/unode) (Client Quit)
15:04:29 hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:bd2:c65:4ec0:2a3c)
15:04:37 <Taneb> timCF: staff have resigned en masse. New administration is untrustworthy and of unproven competence.
15:04:44 Unode joins (~Unode@unaffiliated/unode)
15:04:56 <davean> kritzefitz: why do you think its run on the build machine? But my point was actually that optimization is, in a sense, a running of the code.
15:05:28 <davean> kritzefitz: still, https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/compiler/external-interpreter
15:05:48 berberman_ joins (~berberman@unaffiliated/berberman)
15:05:49 × berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 245 seconds)
15:05:59 todda7 joins (~torstein@2a02:587:3729:5274:b6df:d74:d185:4e87)
15:07:35 <edwardk> timcf: frankly, a lot of why #haskell has run as well as it has is that we have had a couple of the server ircops sitting in the channel watching our backs. i'm not so bullish on the state of a future where that isn't the case because they all resigned en masse and left for libera.chat
15:07:55 Qwerky joins (~qwerky@178.197.228.14)
15:08:24 × parabolize quits (~paraboliz@98.43.173.221) (Quit: Changing server)
15:08:24 <edwardk> issues that used to take a few seconds for someone like glguy or mniip to solve will now require someone to get the attention of a server op with whom we will now no longer have any existing relationship with, and then get them to deal with the botspam or whatever we're facing
15:08:38 <davean> kritzefitz: if you don't understand how optimization is running the code under a semantic, I cite supercompilation.
15:08:44 <kritzefitz> davean, I didn't know about the external-interpreter. That's why I assumed, that the TH code would run in the same GHC process and thus on the build machine.
15:08:52 <orion> Does *someone* within the community control #haskell on libera chat?
15:09:02 <edwardk> orion: yes
15:09:02 <merijn> orion: I think so?
15:09:10 <orion> Okay, very good.
15:09:21 <edwardk> its glguy who started the channel there and i'm claiming control of the #haskell namespace as we speak
15:09:22 <davean> kritzefitz: What about TH that looked at header files for syscall numbers?
15:09:32 <merijn> orion: At least one of the resigning freenode operators was an active member here :)
15:09:37 <gonz_> Even if they didn't the official rules state that an organization has control over their associated channels, also prefixed channels.
15:09:39 <mniip> two
15:09:43 × star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Excess Flood)
15:09:48 <davean> kritzefitz: what about header files that tested library options for which was best on the target?
15:09:51 <davean> all things you can do in TH
15:10:05 <gonz_> So the Haskell foundation could step in and take over #haskell regardless of whoever had taken it.
15:10:06 <merijn> kritzefitz: I don't think its a problem, tbh
15:10:07 <edwardk> correction: i just did so
15:10:33 <merijn> kritzefitz: A cross-compiling GHC from x64 to arm32, for example necessarily has to know about details of the target *anyway*
15:10:57 <siraben> who is the owner of #haskell on libera?
15:10:59 <merijn> gonz_: Haskell Foundation is not some universal organisation in control of Haskell
15:10:59 <edwardk> if someone within the haskell foundation other than me wants to step into this mess i'm happy to hand over control. i just claimed it based on existing precedent and practice
15:11:03 <edwardk> siraben: me now
15:11:05 <davean> merijn: I mean that was my point about optimization - a compiler inhernently needs to understand its target.
15:11:09 <arahael> edwardk: i think i have the ##haskell there as well but happy for the #haskell to take it, i have gone to bed though.
15:11:20 <merijn> davean: I was distracted, so I missed your comments :)
15:11:53 <davean> merijn: understandable, its a busy IRC channel I didn't mean to complain you didn't but agree!
15:11:59 <edwardk> arahael: sure. just forward it to #haskell when you get a chance
15:12:13 <srid> btw, here's the Matrix space: https://matrix.to/#/#haskell-space:matrix.org
15:12:30 jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client")
15:12:31 <arahael> edwardk: sure thing, laters though!
15:12:32 <merijn> Annoyingly I will need to figure out how to make irssi connect to both and manage that >.>
15:12:43 <edwardk> arahael: np
15:12:54 <kritzefitz> merijn, yes, but you don't only have to know what the specifics of that of the target architecture are, you also have to be able to execute code in a way that respects those specifics. e.g. if you're building on a 32bit machine for a 64bit target, you have to emulate 64 bit integers, or else code that assumes that integers have 64 bits, just because `finiteBitsSize` says so, will break.
15:13:20 sagax joins (~sagax_nb@213.138.71.146)
15:13:30 <merijn> kritzefitz: Right, you need to be able to designate a host/target context
15:13:36 <merijn> Which is lacking now
15:13:37 <davean> kritzefitz: my point was an optimizer needs to do that *also*
15:14:00 <davean> This is not the sort of understanding a compiler can avoid really.
15:14:03 <davean> Though TH is a mess
15:14:13 <davean> It doesn't get to avoid it, it just gets to fail at it.
15:14:19 ystael joins (~ystael@242.sub-174-242-76.myvzw.com)
15:14:20 <merijn> TH is "Worse is Better" ;)
15:14:34 <maerwald> merijn: I hope so (wrt your HF comment)
15:14:42 <kritzefitz> davean, yes, but optimizers often don't need to deal with every possible case. Some cases can be left unoptimized (or at least not further optimized). With TH you would have to promise to be able to “optimize” every possible Haskell expression to its final result.
15:14:56 × machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 265 seconds)
15:15:01 <maerwald> remains to be seen how it operates long-term
15:15:23 <kritzefitz> merijn, what do you mean by host/target context?
15:15:48 <merijn> maerwald: HF has significant overlap with important community members, so their opinion carries some weight, but I dislike the tendency people of acting like everyone/thing should defer to HF...
15:15:51 wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
15:16:07 <davean> I mean haskell.org is really more the community asset manager anyway
15:16:19 × jb55 quits (~jb55@gateway/tor-sasl/jb55) (Quit: jb55)
15:16:21 <davean> HF exists to push thinggs forward
15:16:28 jakalx joins (~jakalx@base.jakalx.net)
15:16:29 <maerwald> There's a danger of adopting a top-down approach to get "things done"
15:16:31 <merijn> kritzefitz: as in, for cross-compiling TH to ever make sense you need a way to define whether some TH is intended to be seen as "on the target arch" or "on the host arch" when compiling
15:16:32 plutoniix joins (~q@node-ujl.pool-125-24.dynamic.totinternet.net)
15:16:42 <merijn> davean: Agreed
15:16:45 <davean> maerwald: Which is a nice reason to have seperation between h.o and HF!
15:17:46 star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com)
15:17:48 ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
15:18:10 <maerwald> I primarily see HF as a place where the right people are being connected. I know some members see it the same way
15:18:18 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
15:18:41 <davean> I mean thats a lot of the how
15:19:02 × kapil_ quits (~kapil@2a01:4f9:c010:c9c3::1) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
15:20:10 <maerwald> The question is what happens if the board would make a decision that doesn't reflect the community opinion (if that's even possible to figure out)
15:20:35 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.1)
15:20:57 raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
15:21:19 <kritzefitz> merijn, ok, yes. But under the assumption that code in the target context can be arbitrarily complex (just as TH currently allows) I don't see how you can actually execute that code, without fully emulating the target architecture. davean has made some arguments why it is theoretically possible to do so, but it still seems too complex to me to realistically implement in a compiler. But maybe I'm just lacking imagination there.
15:21:22 machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca)
15:21:31 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Client Quit)
15:21:42 × timCF quits (~i.tkachuk@254-149-20-81.sta.estpak.ee) (Ping timeout: 252 seconds)
15:21:52 raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
15:21:54 chris__ joins (~chris@81.96.113.213)
15:21:58 elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
15:22:11 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
15:22:20 <davean> There are some unknowable things - like the result of gettime on the target for example, or calling an unknown syscall
15:22:40 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds)
15:22:40 <davean> Many of said tihngs won't be stable on the target machine either
15:23:19 <davean> kritzefitz: Haskell mostly allows a small bytecode - what we already use in ghci for example.
15:23:33 × ddellac__ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
15:23:43 <davean> So a lot of the surface area of execution is fairly trivial - this is related to "basic blocks" a core concept in compiler code generation
15:24:02 <davean> kritzefitz: you only have to emulate what the compiler knows, not arbitrary things in *general* though there are some holes.
15:24:06 Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
15:24:54 <davean> not all said holes work well definedly/repeatably *ever anywhere* though, this would be undefined behavior. If you're allowed to do said things or not is a design spec
15:25:27 <davean> can you call arbitrary syscalls in TH? currently sure, what it means to do so could be called into question, or it could be disalowed
15:25:40 <davean> Right now it *is* questionable what it means
15:25:44 × Unode quits (~Unode@unaffiliated/unode) (Quit: Off it goes)
15:26:10 Unode joins (~Unode@unaffiliated/unode)
15:26:19 raoulb joins (~weechat@2a02:169:5:a:27e1:9f6b:7a17:d828)
15:26:34 mouseghost is now known as desperek
15:27:18 × raoulb quits (~weechat@2a02:169:5:a:27e1:9f6b:7a17:d828) (Client Quit)
15:27:25 × SoF quits (~SoF@unaffiliated/skillyonfire) (Quit: Zzzz... Xxxx...)
15:27:29 <kritzefitz> davean, I see. As long as you restrict certain things in TH you can relatively easily emulate the things you know about. And it's pretty obvious that some of those things already would have to be restricted anyway, since you obviously can't access e.g. the file system of the target machine.
15:27:33 × star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Excess Flood)
15:27:44 <davean> kritzefitz: oh but currently I do in my TH!
15:27:51 <davean> Seriously, I do
15:28:07 <kritzefitz> But you don't do cross-compilation, do you?
15:28:17 <davean> not often
15:28:21 <davean> but I could
15:28:27 <kritzefitz> With TH?
15:28:30 <davean> sure
15:28:35 <kritzefitz> How do you do that?
15:28:37 <carbolymer> I'm looking at waitQSem implementation and I'm wondering about this part:
15:28:37 <carbolymer> (i,b1,b2) <- takeMVar m
15:28:37 <carbolymer> if i == 0
15:28:37 <carbolymer> then do
15:28:37 <carbolymer> b <- newEmptyMVar
15:28:38 <carbolymer> putMVar m (i, b1, b:b2)
15:28:40 <carbolymer> so there's no transaction around that, so it's possible that between take and put, someone else will modify `m`, right?
15:28:44 <davean> externel interpriter, IO
15:28:54 <kritzefitz> Ah, right. You mentioned that earlier.
15:28:59 <davean> kritzefitz: I mean its dumb and quesitonable
15:29:06 <davean> And we can *just* access files
15:29:08 <maerwald> do we have a syscall sandbox tool like https://github.com/larsuhartmann/sydbox
15:30:04 <davean> kritzefitz: I'd *like* cabal files to have a list of what TH might access (though it might be the open world) or something. Or some spec, over "arbitrary IO"
15:30:23 <davean> we don't
15:30:26 <davean> we have "run IO"
15:30:42 <kritzefitz> davean, At least it doesn't cover all use-cases of cross-compilation. For starters it only works if you have access to a suitable target machine, which doesn't have to be the case with traditional cross-compilation. But it's definitely better than nothing.
15:30:43 <davean> I think you can come up with reasons this can be bad
15:30:53 <davean> kritzefitz: absolutely.
15:31:05 <davean> kritzefitz: cross compilation is of course a spectrum.
15:31:15 <davean> kritzefitz: for example, what does it mean to cross compile libblass?
15:31:21 <davean> er libblas
15:31:32 _ht joins (~quassel@82-169-194-8.biz.kpn.net)
15:31:58 <davean> Part of libblas' compilation is a benchmark suite that finds the optimal version *for the host*
15:32:11 <davean> cross compiling a self-optimizing build? Ok, great, whats that even mean?
15:32:27 <kritzefitz> Heh, right.
15:32:47 SoF joins (~SoF@unaffiliated/skillyonfire)
15:32:56 × SoF quits (~SoF@unaffiliated/skillyonfire) (Client Quit)
15:33:08 raichoo joins (~raichoo@dslb-188-109-063-198.188.109.pools.vodafone-ip.de)
15:33:42 star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com)
15:33:42 SoF joins (~SoF@unaffiliated/skillyonfire)
15:34:08 <kritzefitz> davean: The scope for TH in cabal files sounds like it could be useful in various cases. Yes.
15:34:15 ech joins (~user@gateway/tor-sasl/ech)
15:34:34 <kritzefitz> davean, I still gotta do some other stuff. Thanks for explaining!
15:34:42 <Philonous> carbolymer, I think the idea is that all actions on the QSem will try to take the MVar as the first step. So all other threads that try to work on it at the same time block
15:35:04 × Qwerky quits (~qwerky@178.197.228.14) (Remote host closed the connection)
15:35:08 <davean> kritzefitz: its an interesting discussion with plenty of nuance!
15:35:12 <davean> It was a pleasure
15:35:28 ep1ctetus joins (~epictetus@ip72-194-54-201.sb.sd.cox.net)
15:35:33 <carbolymer> Philonous: makes sense
15:36:24 × Unode quits (~Unode@unaffiliated/unode) (Quit: Off it goes)
15:36:36 <Philonous> carbolymer, Also, QSem doesn't export its constructor, so you can't just write a new function that sneakily fills the MVar while another thread is working on it.
15:36:53 kapil_ joins (~kapil@o-k.website)
15:37:20 × raichoo quits (~raichoo@dslb-188-109-063-198.188.109.pools.vodafone-ip.de) (Client Quit)
15:38:03 Unode joins (~Unode@unaffiliated/unode)
15:39:16 jneira[m] joins (~jneira@107.red-176-87-16.dynamicip.rima-tde.net)
15:39:22 SethTisue joins (sid14912@gateway/web/irccloud.com/x-wxerksagjbsypjgg)
15:40:47 qwerty2o_ joins (~qwerty2o@89-138-23-24.bb.netvision.net.il)
15:41:05 × dolio quits (~dolio@haskell/developer/dolio) (Quit: ZNC 1.8.2 - https://znc.in)
15:41:59 dolio joins (~dolio@haskell/developer/dolio)
15:42:27 magthe joins (~magthe@c83-252-48-230.bredband.tele2.se)
15:42:49 coot joins (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl)
15:43:12 × magthe quits (~magthe@c83-252-48-230.bredband.tele2.se) (Client Quit)
15:43:17 × dolio quits (~dolio@haskell/developer/dolio) (Client Quit)
15:43:34 × star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Excess Flood)
15:44:38 Matthias1 joins (~matthias@li890-22.members.linode.com)
15:44:50 star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com)
15:46:11 × Matthias1 quits (~matthias@li890-22.members.linode.com) (Read error: Connection reset by peer)
15:47:31 × maylee quits (~mayleesia@dynamic-078-055-186-201.78.55.pool.telefonica.de) (Quit: Leaving)
15:48:46 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds)
15:49:00 twopoint718 joins (~cjw@fsf/member/twopoint718)
15:50:36 <sclv> ok to make clear people are voting with their feet to move to https://libera.chat/ i'm going to leave this channel. i already deregistered my nick, and i'll probably be on smaller channels for a while here just as things migrate.
15:50:37 raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
15:50:38 <sclv> bye all!
15:50:44 sclv parts (sid39734@haskell/developer/sclv) ()
15:50:49 z0k joins (~user@101.50.108.132)
15:53:26 × mastarija_ quits (~mastarija@31.217.23.9) (Quit: Leaving)
15:55:06 Ernest joins (3325c464@51.37.196.100)
15:55:06 neiluj joins (~jco@91-167-203-101.subs.proxad.net)
15:55:06 × neiluj quits (~jco@91-167-203-101.subs.proxad.net) (Changing host)
15:55:06 neiluj joins (~jco@unaffiliated/neiluj)
15:55:31 idnar parts (sid12240@gateway/web/irccloud.com/x-pmxdxjhakcbmtigk) ()
15:55:40 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
15:56:16 × chele quits (~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Remote host closed the connection)
15:57:11 × drbean_ quits (~drbean@TC210-63-209-66.static.apol.com.tw) (Ping timeout: 240 seconds)
15:57:14 cdsmith joins (~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net)
15:57:52 ddellacosta joins (~ddellacos@86.106.143.126)
15:58:37 × nitrix quits (~nitrix@haskell/developer/nitrix) (Quit: To Libera.)
16:00:15 × dyniec[m] quits (dyniecmatr@gateway/shell/matrix.org/x-ernejvmcpejjfqut) (Quit: Idle for 30+ days)
16:00:17 × kritzefitz quits (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection)
16:01:11 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
16:02:00 × twopoint718 quits (~cjw@fsf/member/twopoint718) (Quit: Textual IRC Client: www.textualapp.com)
16:02:15 × Ernest quits (3325c464@51.37.196.100) (Quit: Connection closed)
16:02:37 × ddellacosta quits (~ddellacos@86.106.143.126) (Ping timeout: 252 seconds)
16:03:06 × zfnmxt quits (~zfnmxt@unaffiliated/zfnmxt) (Quit: Bye!)
16:04:08 zfnmxt joins (~zfnmxt@unaffiliated/zfnmxt)
16:05:17 heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
16:06:13 × bitmapper quits (uid464869@gateway/web/irccloud.com/x-enlqptadwylonqwy) (Quit: Connection closed for inactivity)
16:07:15 × sqrt2_ quits (~ben@unaffiliated/sqrt2) (Quit: ZNC - http://znc.in)
16:08:11 magthe joins (~magthe@c83-252-48-230.bredband.tele2.se)
16:09:00 dyniec[m] joins (dyniecmatr@gateway/shell/matrix.org/x-yoetevlhzifoohll)
16:09:03 atk parts (~Arch-TK@ircpuzzles/staff/Arch-TK) ("Moving to libera.")
16:12:31 × HannaM quits (~quassel@p54849510.dip0.t-ipconnect.de) (Quit: HannaM)
16:15:19 Ernest joins (3325c464@51.37.196.100)
16:15:21 × Forlorn_ quits (~Forlorn@unaffiliated/forlorn) (Ping timeout: 245 seconds)
16:15:29 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
16:16:41 × magthe quits (~magthe@c83-252-48-230.bredband.tele2.se) (Quit: WeeChat 3.1)
16:17:55 × jneira[m] quits (~jneira@107.red-176-87-16.dynamicip.rima-tde.net) (Remote host closed the connection)
16:18:24 × mikolaj_ quits (~mikolaj@purple.well-typed.com) (Quit: leaving)
16:18:44 × shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:7021:8404:574b:2446) (Ping timeout: 245 seconds)
16:19:43 Forlorn_ joins (~Forlorn@unaffiliated/forlorn)
16:20:36 × DTZUZU_ quits (~DTZUZO@207.81.119.43) (Ping timeout: 260 seconds)
16:20:48 tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
16:21:20 kluk joins (45cb5249@cpe-69-203-82-73.nyc.res.rr.com)
16:22:19 DTZUZU_ joins (~DTZUZO@207.81.119.43)
16:23:03 <cohn> I was just about to ask that question...
16:23:12 × LKoen quits (~LKoen@2a01cb0407597a00518ac0f4fb1556c3.ipv6.abo.wanadoo.fr) (Read error: Connection reset by peer)
16:23:32 × proofofkeags quits (~proofofke@97-118-239-55.hlrn.qwest.net) (Ping timeout: 240 seconds)
16:24:51 shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:e5ff:1867:cd17:a424)
16:25:11 × stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds)
16:26:33 jippiedoe joins (4dab983e@77-171-152-62.fixed.kpn.net)
16:26:37 × ep1ctetus quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Quit: Leaving)
16:27:01 × DTZUZU_ quits (~DTZUZO@207.81.119.43) (Ping timeout: 260 seconds)
16:27:30 × jippiedoe quits (4dab983e@77-171-152-62.fixed.kpn.net) (Client Quit)
16:27:33 kritzefitz joins (~kritzefit@212.86.56.80)
16:28:27 DTZUZU_ joins (~DTZUZO@205.ip-149-56-132.net)
16:28:34 × _bin quits (~bin@2600:1700:10a1:38d0:922b:34ff:fe99:1283) (Quit: ZNC - https://znc.in)
16:29:04 heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
16:30:26 × aforemny quits (~aforemny@static.248.158.34.188.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in)
16:30:38 × brandonhamilton quits (~brandonha@151.82.41.222) (Quit: Textual IRC Client: www.textualapp.com)
16:31:19 aforemny joins (~aforemny@static.248.158.34.188.clients.your-server.de)
16:31:29 × mikolaj quits (~mikon@duch.mimuw.edu.pl) (Quit: leaving)
16:31:41 × star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds)
16:32:28 × ech quits (~user@gateway/tor-sasl/ech) (Quit: Lost terminal)
16:33:07 mikolaj joins (~mikon@duch.mimuw.edu.pl)
16:33:45 ddellacosta joins (~ddellacos@86.106.143.87)
16:34:31 Qwerky joins (~qwerky@178.197.228.14)
16:34:41 × invaser quits (~Thunderbi@91.226.34.182) (Ping timeout: 240 seconds)
16:36:25 fendor_ joins (~fendor@91.141.0.228.wireless.dyn.drei.com)
16:37:05 × chris__ quits (~chris@81.96.113.213) (Remote host closed the connection)
16:37:17 × notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 246 seconds)
16:38:11 stampirl parts (~stampirl@195-154-112-77.rev.poneytelecom.eu) ("WeeChat 2.3")
16:38:33 stree joins (~stree@68.36.8.116)
16:38:48 × ddellacosta quits (~ddellacos@86.106.143.87) (Ping timeout: 268 seconds)
16:39:02 × fendor quits (~fendor@77.119.128.236.wireless.dyn.drei.com) (Ping timeout: 246 seconds)
16:39:14 Heffalump joins (~ganesh@urchin.earth.li)
16:39:23 jamm_ joins (~jamm@unaffiliated/jamm)
16:40:02 LinVon joins (5e9e0e02@94.158.14.2)
16:40:39 Deide joins (~Deide@217.155.19.23)
16:40:47 <LinVon> Hello everyone
16:40:53 × mikolaj quits (~mikon@duch.mimuw.edu.pl) (Quit: leaving)
16:41:15 <LinVon> Did someone know where i can get great haskell tutuorial?
16:41:38 safinaskar joins (~user@109.252.90.136)
16:42:00 julm joins (~julm@revolt129.abo.ilico.org)
16:42:01 chris__ joins (~chris@81.96.113.213)
16:42:21 <enikar> LinVon: there is https://www.seas.upenn.edu/~cis194/fall16/
16:42:57 <LinVon> Thanks!
16:43:29 <enikar> or http://learnyouahaskell.com/chapters (but the first is better imho).
16:43:30 × mpickering quits (sid78412@gateway/web/irccloud.com/x-sprmnvdugdkgqlgh) ()
16:43:44 × jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 245 seconds)
16:43:53 <LinVon> Ok, got it
16:43:58 <enikar> there are many others, though but i was the first I think of.
16:44:12 <enikar> *but it was
16:44:20 × hugo quits (znc@verdigris.lysator.liu.se) (Quit: ZNC 1.7.5 - https://znc.in)
16:44:25 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
16:45:19 <LinVon> Okay, I'll go surf the net looking for additional material.
16:45:33 × LinVon quits (5e9e0e02@94.158.14.2) (Quit: Connection closed)
16:46:13 × chris__ quits (~chris@81.96.113.213) (Ping timeout: 240 seconds)
16:47:03 × ptrcmd quits (~ptrcmd@unaffiliated/petercommand) (Quit: leaving)
16:47:14 ptrcmd joins (~ptrcmd@unaffiliated/petercommand)
16:47:30 × maerwald quits (~maerwald@mail.hasufell.de) (Quit: gone)
16:48:09 × Ernest quits (3325c464@51.37.196.100) (Quit: Connection closed)
16:48:12 × ptrcmd quits (~ptrcmd@unaffiliated/petercommand) (Client Quit)
16:48:19 ptrcmd joins (~ptrcmd@unaffiliated/petercommand)
16:48:23 × Ferdirand quits (~max@2001:4c78:2012:5000::2) (Quit: goodbye freenode, i'm off to Libera.chat)
16:49:09 LKoen joins (~LKoen@2a01cb0407597a0078d2c65eb7791f2b.ipv6.abo.wanadoo.fr)
16:49:18 × ptrcmd quits (~ptrcmd@unaffiliated/petercommand) (Client Quit)
16:49:35 ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
16:49:38 Iceland_jack joins (~user@95.149.219.38)
16:49:53 ptrcmd joins (~ptrcmd@unaffiliated/petercommand)
16:50:08 × mitchellsalad quits (uid40617@gateway/web/irccloud.com/x-wojllcxnqpqyxkiy) (Quit: Connection closed for inactivity)
16:50:33 × usr25 quits (~usr25@4.red-83-63-129.staticip.rima-tde.net) (Quit: Leaving)
16:51:31 × nckx quits (~nckx@tobias.gr) (Quit: Updating my Guix System — https://guix.gnu.org)
16:51:59 × ystael quits (~ystael@242.sub-174-242-76.myvzw.com) (Read error: Connection reset by peer)
16:52:10 × kapil_ quits (~kapil@o-k.website) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
16:52:13 platz joins (~platz@unaffiliated/platz)
16:52:46 platz parts (~platz@unaffiliated/platz) ()
16:52:48 kapil_ joins (~kapil@2a01:4f9:c010:c9c3::1)
16:54:02 <boxscape> @where learnhaskell
16:54:03 <lambdabot> https://wiki.haskell.org/Learning_Haskell
16:54:14 <boxscape> not actually what I wanted but might be an okay link
16:54:35 nckx joins (~nckx@tobias.gr)
16:54:36 <boxscape> https://github.com/bitemyapp/learnhaskell
16:54:49 <boxscape> oh LinVon isn't here anymore, whoopos
16:55:48 ridcully parts (~ridcully@pd951f269.dip0.t-ipconnect.de) ("WeeChat 3.1")
16:56:06 proofofkeags joins (~proofofke@205.209.28.54)
16:56:29 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
16:57:31 sphalerite joins (~sphalerit@NixOS/user/lheckemann)
16:58:33 × julm quits (~julm@revolt129.abo.ilico.org) (Quit: leaving)
16:58:34 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Read error: Connection reset by peer)
16:58:49 × st8less quits (~st8less@inet-167-224-197-181.isp.ozarksgo.net) (Quit: WeeChat 2.9)
16:59:22 killsushi_ joins (~killsushi@2607:fea8:3d40:767:a43a:b464:d0c6:6044)
16:59:27 kayvan joins (~user@52-119-115-185.PUBLIC.monkeybrains.net)
16:59:33 urdh joins (~urdh@unaffiliated/urdh)
17:00:11 dminuoso parts (~dminuoso@unaffiliated/dminuoso) ("WeeChat 2.9")
17:00:13 dminuoso joins (~dminuoso@unaffiliated/dminuoso)
17:00:14 × JanBessai quits (~JanB@85-22-27-105.ip.dokom21.de) (Quit: leaving)
17:00:55 × nckx quits (~nckx@tobias.gr) (Quit: Updating my Guix System — https://guix.gnu.org)
17:01:48 nckx joins (~nckx@tobias.gr)
17:03:01 × killsushi quits (~killsushi@2607:fea8:3d40:767:a826:23b7:521c:2d11) (Ping timeout: 258 seconds)
17:03:33 × ptrcmd quits (~ptrcmd@unaffiliated/petercommand) (Quit: leaving)
17:03:42 ptrcmd joins (~ptrcmd@unaffiliated/petercommand)
17:03:49 cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
17:04:49 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:582b:30d1:5899:a42a) (Quit: My MacBook has gone to sleep. ZZZzzz…)
17:05:33 × spatchkaa quits (~spatchkaa@S010600fc8da47b63.gv.shawcable.net) (Quit: Leaving)
17:05:54 nbloomf joins (~nbloomf@2600:1700:ad14:3020:582b:30d1:5899:a42a)
17:08:12 × ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection)
17:09:31 ukari joins (~ukari@unaffiliated/ukari)
17:12:17 ransom joins (~c4264035@70-59-14-200.hlrn.qwest.net)
17:12:30 superstar64 joins (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net)
17:13:10 × urdh quits (~urdh@unaffiliated/urdh) (Ping timeout: 252 seconds)
17:13:17 <superstar64> is it possible to use `unsafeCoerce` to violate referential transparency?
17:13:23 urdh_ joins (~urdh@unaffiliated/urdh)
17:13:54 urdh_ is now known as urdh
17:14:00 ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
17:14:44 × acowley quits (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) (Quit: ZNC - http://znc.in)
17:15:15 fendor_ is now known as fendor
17:15:32 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
17:16:33 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
17:17:39 × kayvan quits (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 268 seconds)
17:17:51 nuncanada joins (~dude@179.235.160.168)
17:18:40 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds)
17:19:23 chris___ joins (~chris@155.138.161.121)
17:19:30 <lyxia> unsafeCoerce + runST gives you a kind of unsafePerformIO
17:19:34 chris___ parts (~chris@155.138.161.121) ()
17:19:36 <lyxia> I dunno about without runST
17:19:46 o1lo01ol1o joins (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com)
17:20:28 tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
17:20:43 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
17:22:17 <dminuoso> Was there a decision to officially move #haskell to libera yet?
17:22:37 × newsham quits (~ubuntu@ec2-18-218-216-88.us-east-2.compute.amazonaws.com) (Quit: leaving)
17:23:10 desperek is now known as mouseghost
17:23:44 × ubert quits (~Thunderbi@p200300ecdf259d35e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
17:23:46 remexre parts (~nathan@207-153-38-50.fttp.usinternet.com) ("WeeChat 3.0.1")
17:24:10 ubert joins (~Thunderbi@p200300ecdf259d35e6b318fffe838f33.dip0.t-ipconnect.de)
17:24:57 timCF joins (~i.tkachuk@m91-129-99-246.cust.tele2.ee)
17:25:07 × o1lo01ol1o quits (~o1lo01ol1@cpe-74-72-45-166.nyc.res.rr.com) (Ping timeout: 252 seconds)
17:25:31 <cohn> dminuoso: I'm on there now
17:25:41 <dminuoso> lyxia: also, cant you do `accursedUnutterablePerformIO = unsafeCoerce` straight away?
17:26:16 <dminuoso> Or does GHC actually generate a function for IO under the hood?
17:27:36 <lyxia> I'm pretty sure it's a function otherwise you could just use `seq` to run IO
17:28:27 DTZUZU joins (~DTZUZO@207.81.119.43)
17:28:35 <wz1000> dminuoso: its a function State# -> (# a, State# #)
17:28:55 <dminuoso> wz1000: yeah, but thats an unlifted unit..
17:28:58 <dminuoso> so..
17:29:08 <dminuoso> what is even the runtime representation of that?
17:29:17 <dminuoso> I mean, couldnt we just unsafeCoerce anything to State#?
17:29:21 <dminuoso> say
17:29:28 <wz1000> nothing, but it is still a function (i.e a bit of executable code), not just a value
17:29:36 <wz1000> think of it as a c function(void)
17:29:43 × zfnmxt quits (~zfnmxt@unaffiliated/zfnmxt) (Quit: Bye!)
17:30:07 _noblegas joins (uid91066@gateway/web/irccloud.com/x-yclfsmlhxdjxzaas)
17:30:09 <dminuoso> my function, do you mean a function closure?
17:30:21 × z0k quits (~user@101.50.108.132) (Quit: WeeChat 3.0)
17:30:32 <wz1000> yes
17:30:41 × DTZUZU_ quits (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 240 seconds)
17:30:43 quinn joins (~quinn@c-73-223-224-163.hsd1.ca.comcast.net)
17:30:50 <dminuoso> well, how about
17:31:10 <wz1000> foo :: IO Int is roughly equivalent to `int foo(void)` in C
17:31:16 koz_ parts (~koz@121.99.240.58) ("WeeChat 3.1")
17:31:22 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
17:31:49 <dminuoso> x :: Int; x = unsafeCoerce randomInt (unsafeCoerce () :: State# )
17:31:49 <wz1000> and the actual value *after* you force it is still a closure
17:31:52 cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
17:31:56 <dminuoso> Plus some more type annotations, maybe
17:32:08 <dminuoso> maybe add another unsafeCoerce too
17:32:12 <lyxia> you have to give up the notion that State# is an unlifted unit
17:32:19 <dminuoso> mmm
17:32:22 <lyxia> Core just doesn't know what it is so it is forced to thread it around
17:32:29 <dminuoso> oh
17:32:32 <wz1000> I don't know , unsafeCoerce () :: State# is probably illegal
17:32:37 × hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:bd2:c65:4ec0:2a3c) (Ping timeout: 250 seconds)
17:32:39 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Client Quit)
17:32:44 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
17:32:45 × pjb quits (~pjb@2a01cb04063ec500440b12cee508cc2a.ipv6.abo.wanadoo.fr) (Quit: ERC (IRC client for Emacs 27.2))
17:32:56 cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
17:33:03 royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
17:33:03 wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
17:33:08 zfnmxt joins (~zfnmxt@unaffiliated/zfnmxt)
17:33:17 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
17:33:19 × ubert quits (~Thunderbi@p200300ecdf259d35e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
17:33:25 × theDon quits (~td@muedsl-82-207-238-018.citykom.de) (Quit: waking up from the american dream ...)
17:33:44 × lnxw37d4 quits (lnxw37d4ma@gateway/shell/matrix.org/x-wqixhekxsvskzkxd) (Ping timeout: 245 seconds)
17:33:59 ystael joins (~ystael@69.sub-174-242-65.myvzw.com)
17:34:00 <dminuoso> Prelude GHC.Prim Unsafe.Coerce> unsafeCoerce () :: State# RealWorld
17:34:02 <dminuoso> • Couldn't match a lifted type with an unlifted type
17:34:03 lnxw37d4 joins (lnxw37d4ma@gateway/shell/matrix.org/x-qfwcnofzmnqulyyc)
17:34:04 <dminuoso> Ah yes.
17:35:03 × tose quits (55a009dc@ip-85-160-9-220.eurotel.cz) (Ping timeout: 240 seconds)
17:35:31 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Client Quit)
17:35:34 <wz1000> try unsafeCoerce#
17:35:51 cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
17:36:02 <dminuoso> Highly, terribly dangerous coercion from one representation type to another.
17:36:07 <dminuoso> Yes, lets do that!
17:36:31 <dminuoso> f :: Int# -> State# RealWorld; f a = unsafeCoerce# a
17:36:33 <dminuoso> This works
17:36:37 <lyxia> also the equivalence between (() -> a) and a might make sense in a very handwavy sense but you can get very different runtime behavior because you can call (() -> a) many times to recompute stuff, which might sometimes be preferable to a single long-lived a which holds on to a lot of resources
17:36:48 × coot quits (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
17:37:07 <dminuoso> sure, I can see the difference there
17:37:27 <dminuoso> I was merely wondering, whether we couldnt use unsafeCoerce to pierce the newtype of IO and conjure up a State# RealWorld token
17:37:31 kaol parts (~kaol@178.62.241.234) ()
17:37:42 <dminuoso> Because that's all it takes to make an accursedUnutterablePerformIO
17:37:44 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds)
17:37:45 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Client Quit)
17:37:46 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
17:37:52 <lyxia> that sounds like a sound idea
17:38:02 cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
17:38:25 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Client Quit)
17:39:11 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
17:40:00 tomku parts (~tomku@unaffiliated/tomku) ()
17:41:24 × qwerty2o_ quits (~qwerty2o@89-138-23-24.bb.netvision.net.il) (Ping timeout: 252 seconds)
17:42:39 ChaoticSun joins (~chaoticsu@209.64.40.130)
17:43:43 hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:9584:183a:ef58:a92d)
17:44:11 × zfnmxt quits (~zfnmxt@unaffiliated/zfnmxt) (Quit: Bye!)
17:44:28 zfnmxt joins (~zfnmxt@unaffiliated/zfnmxt)
17:44:31 ChaoticSun parts (~chaoticsu@209.64.40.130) ()
17:44:58 cohn parts (~noone@unaffiliated/cohn) ()
17:45:53 × kuribas quits (~user@ptr-25vy0i99e25a1oh0tqt.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
17:46:53 zmagii parts (~zmagii@unaffiliated/zmagii) ("ERC (IRC client for Emacs 28.0.50)")
17:46:54 cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
17:48:08 bitmapper joins (uid464869@gateway/web/irccloud.com/x-xejzonnyjopklvnr)
17:48:39 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
17:48:58 pluto_ joins (~pluto@117.222.68.136)
17:49:19 heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
17:49:20 Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362)
17:50:03 <monochrom> "lets do that!" "sounds like a sound idea" are very encouraging :)
17:50:29 royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
17:51:00 involans joins (~involans@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net)
17:51:10 × mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew)
17:52:15 ddellacosta joins (~ddellacos@86.106.143.139)
17:52:20 tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
17:53:15 × LKoen quits (~LKoen@2a01cb0407597a0078d2c65eb7791f2b.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
17:53:43 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
17:54:40 <lyxia> What could go wrong :)
17:54:43 × boxscape quits (4ff0bb95@p4ff0bb95.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
17:55:08 <cdsmith> enikar: The link you posted earlier, https://www.seas.upenn.edu/~cis194/fall16/, is obsolete and cannot be updated as Joachim has left UPenn. You probably want to recommend https://haskell-via-sokoban.nomeata.de/ instead, which Joachim is keeping up to date.
17:55:15 pluto_ parts (~pluto@117.222.68.136) ()
17:55:44 jrp joins (0550efe4@5.80.239.228)
17:56:14 bitmagie joins (~Thunderbi@200116b806936800d1b957d84640628b.dip.versatel-1u1.de)
17:56:14 <enikar> cdsmith: thank you!
17:56:21 × bitmagie quits (~Thunderbi@200116b806936800d1b957d84640628b.dip.versatel-1u1.de) (Client Quit)
17:56:47 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
17:57:07 × ddellacosta quits (~ddellacos@86.106.143.139) (Ping timeout: 268 seconds)
17:58:00 × jneira quits (4f9b01f9@gateway/web/cgi-irc/kiwiirc.com/ip.79.155.1.249) (Quit: Connection closed)
17:58:05 Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362)
17:58:50 <edwardk> as a general announcement, there's been no official move or anything, but we have set up a mirror of the #haskell channel and namespace over on irc.libera.chat I'm moving a bunch of my personal development efforts over there, (#haskell-lens in particular) and a maybe 130-150 folks from this channel have already moved. It might be worth creating an account, registering with nickserv, etc. just in case there is a larger exodus even if
17:58:50 <edwardk> you don't plan to move today.
17:59:51 <edwardk> i'm personally somewhat nervous about how well this channel will run now that we don't have 2-3 ircops sitting in the channel alongside us when the spambots come, but currently intend to do what i can to help keep the lights on.
18:00:21 <jrp> Grateful for some help with migrating to ghc 9.0.1 (typeapplications, I think) https://paste.tomsmeding.com/jPpmbVEp
18:01:03 <mjrosenb> oohh, 9.0, is there anything that's actually deserving of a major version bump, or did the minors just get too big?
18:01:12 <geekosaur> linear types
18:01:28 <mjrosenb> niiiiiice.
18:01:38 <mjrosenb> guess I'll have to finally learn how to use those.
18:02:13 <jrp> https://downloads.haskell.org/ghc/9.0.1/docs/html/users_guide/9.0.1-notes.html  (2.1.2.1 is what bites, I think)
18:02:48 altern joins (~altern@altern.corbina.com.ua)
18:02:51 johnw joins (~johnw@haskell/developer/johnw)
18:03:47 <altern> johnw, hi!
18:04:31 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
18:04:33 <altern> johnw, is there any chance that you developed gitlib?
18:04:36 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
18:06:47 <lyxia> jrp: fmap f (unAnyContT p) instead of . and $
18:07:13 × ego_ quits (~ego@2604:a880:800:a1::1b:b001) (Ping timeout: 258 seconds)
18:07:30 <jrp> @lyxia
18:07:30 <lambdabot> Unknown command, try @list
18:07:41 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Remote host closed the connection)
18:07:45 <jrp> @lyxia thanks, let me see....
18:07:45 <lambdabot> Unknown command, try @list
18:07:55 <Heffalump> edwardk: you reckon Libera is the natural destination? It's unclear to me why people didn't just head to OFTC (which came out of the last Freenode wars...)
18:07:55 slack1256 joins (~slack1256@191.125.227.73)
18:07:56 ArsenArsen is now known as Arsen
18:08:03 Arsen is now known as ArsenArsen
18:08:03 cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
18:08:23 <geekosaur> becuase the freenode opers left en masse and set up libera
18:09:54 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
18:09:59 <Rembane> What happened to Freenode? Is there a write-up of it?
18:10:21 <mjrosenb> mniip posted a link earlier.
18:10:37 <geekosaur> https://kline.sh/
18:10:38 <edwardk> Heffalump: the fact that we know all the ops and will continue to enjoy the superpower of having folks like mniip and glguy right in the channel with us when the botspam inevitably comes goes a _LONG_ way with me from a personal pain perspective
18:10:40 <slack1256> There is also the discussion on the haskell's reddit.
18:10:45 <styledash> abandon ship!
18:11:05 <Heffalump> edwardk: fair enough, though it's a shame we now have a third network
18:11:18 <styledash> tfw freenode gets thanos snapped
18:11:50 <mjrosenb> irssi handles multiple servers decently well (that isn't to say there aren't headaches)
18:11:56 <edwardk> Heffalump: I always get sad when these things fragment.
18:11:57 pera_ joins (~pera_@94.0.111.239)
18:12:35 styledash parts (~styledash@157.230.173.136) ("The Lounge - https://thelounge.chat")
18:13:04 <edwardk> The real thing is we just don't have the huge pile of relationships at oftc. if this blew up on a longer timescale rather than literally overnight? i'd probably have spent a lot more time shopping around there for my own dev efforts
18:13:24 <geekosaur> yeh :/
18:14:23 tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
18:14:29 <Heffalump> is there any chance of the two joining up?
18:14:44 <jrp> @lyxia    fmap f p = AnyContT $ fmap f (unAnyContT p)  worked (compiled) compiled fine!  Thanks
18:14:44 <lambdabot> Unknown command, try @list
18:15:20 o1lo01ol1o joins (~o1lo01ol1@cpe-74-72-187-2.nyc.res.rr.com)
18:15:27 × ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->)
18:15:29 <edwardk> i'm moving #haskell-lens to go wherever i can talk to glguy though. he's done a monstrous pile of work on it, and continuing to develop that in a place where he might not feel terribly safe, given rasengan seems to want to try to treat the leaked resignation letter as "slander" and lawyer up? seems like i'd be a shitty friend.
18:15:32 <jrp> @lyxia   fmap f p = AnyContT $ fmap f (unAnyContT p)    worked (compiled) fine, thanks!  No I have some more errors...
18:15:33 <lambdabot> Unknown command, try @list
18:15:44 × o1lo01ol1o quits (~o1lo01ol1@cpe-74-72-187-2.nyc.res.rr.com) (Remote host closed the connection)
18:16:05 × nckx quits (~nckx@tobias.gr) (Quit: Updating my Guix System — https://guix.gnu.org)
18:16:17 <jrp> @lyxia "  fmap f p = AnyContT $ fmap f (unAnyContT p)"  worked fine.  Thanks.  Now I have some more errors
18:16:17 <lambdabot> Unknown command, try @list
18:16:39 <lyxia> jrp: (you don't need to add @ before a nick) what errors
18:17:14 <edwardk> Heffalump: i don't actually know what if any bad blood there is between this last round of ircops here at freenode (now libera) and the oftc folks
18:17:23 nckx joins (~nckx@tobias.gr)
18:17:28 × hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1)
18:17:37 <jrp> I'll add them to the paste (more of the same)
18:19:00 <jrp> added to   https://paste.tomsmeding.com/WS04IGSZ
18:19:13 × vgtw quits (~vgtw@gateway/tor-sasl/vgtw) (Quit: ZNC - https://znc.in)
18:19:18 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Remote host closed the connection)
18:19:25 <lyxia> jrp: Well a general approach is if you're using . and $, to not use them and write plain applications with parentheses
18:20:10 <jrp> OK.  Thanks.  I'll see if I can figure it out.
18:20:50 esp32_prog joins (~esp32_pro@193.27.14.138)
18:21:12 × timCF quits (~i.tkachuk@m91-129-99-246.cust.tele2.ee) (Quit: leaving)
18:21:18 UpstreamSalmon joins (uid12077@gateway/web/irccloud.com/x-snywgrwttijwalca)
18:21:37 × esp32_prog quits (~esp32_pro@193.27.14.138) (Remote host closed the connection)
18:22:14 <altern> dminuoso, are you here? would you be able to help with another thing that I encountered while trying to embed gitlib code into a larger program? https://paste.tomsmeding.com/0SJOfuXk
18:25:04 vgtw joins (~vgtw@gateway/tor-sasl/vgtw)
18:25:41 geowiesnot joins (~user@87-89-181-157.abo.bbox.fr)
18:26:16 domenkozar[m] is now known as DomenKoar[m]
18:26:22 ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
18:28:38 × srk quits (~sorki@unaffiliated/srk) (Quit: ZNC 1.8.1 - https://znc.in)
18:28:49 HannaM joins (~quassel@p54849510.dip0.t-ipconnect.de)
18:30:06 × whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
18:30:41 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
18:31:00 coot joins (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl)
18:31:13 whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
18:31:40 <Gurkenglas> Should there be a bot crossposting messages between this channel and that one?
18:33:08 <[exa]> it might be useful but people can as well connect to both channels
18:33:41 <[exa]> s/channels/servers/
18:34:00 <Gurkenglas> they might not notice the happenings.
18:34:25 DTZUZU_ joins (~DTZUZO@205.ip-149-56-132.net)
18:34:56 notzmv joins (~zmv@unaffiliated/zmv)
18:34:59 × Heffalump quits (~ganesh@urchin.earth.li) (Quit: reconfiguring my IRC client after the Freenode chaos)
18:35:33 <[exa]> I guess topic will eventually get updated, etc
18:36:01 <[exa]> like, the whole thing happened (*looks at the clock*) 7 hours ago?
18:36:19 Lycurgus joins (~niemand@cpe-45-46-140-49.buffalo.res.rr.com)
18:36:54 <geekosaur> it's not yet clear that the whole community will move, so far it's been individual ops and users and no official "we're moving" has been declared as such
18:37:09 × DTZUZU quits (~DTZUZO@207.81.119.43) (Ping timeout: 260 seconds)
18:37:19 <geekosaur> personally I'm in favor of moving but I'm only one op
18:37:38 <geekosaur> and not the most active
18:38:10 <[exa]> altern: you might need to supply a MonadMask instance for InputT (if that's your typeclass)
18:38:30 <[exa]> altern: (or add some lifting work I guess, but I'm not familiar with the whole thing)
18:38:56 × Qwerky quits (~qwerky@178.197.228.14) (Remote host closed the connection)
18:39:08 <[exa]> geekosaur: given the speed the people are moving compared to the amount of announcement that's been there, I guess we'll eventually all move
18:39:36 jared-w joins (uid405292@gateway/web/irccloud.com/x-yfrswvtkvkytmctp)
18:39:41 <altern> exa: I think I need to apply some transformers to openRepository call
18:39:47 <[exa]> there's some open issues (afaik, the missing matrix connection likely blocks a lot of people)
18:39:48 × ozzymcdu_ quits (~ozzymcduf@81-234-151-21-no94.tbcn.telia.com) (Quit: Textual IRC Client: www.textualapp.com)
18:40:01 <altern> exa: it does not make sense to implement MonadMask for InputT
18:40:08 <[exa]> altern: what's the type of openRepository?
18:40:41 <altern> exa: https://hackage.haskell.org/package/gitlib-3.1.3/docs/Git-Types.html#t:RepositoryFactory
18:40:52 × jared-w quits (uid405292@gateway/web/irccloud.com/x-yfrswvtkvkytmctp) (Client Quit)
18:41:13 LKoen joins (~LKoen@2a01cb0407597a00507da683e519d440.ipv6.abo.wanadoo.fr)
18:42:15 <altern> exa: btw, I have MS type declared like this: type MS = ReaderT SearchFunc (StateT ProgramState IO)
18:43:05 <[exa]> that's weird, the first argument should be RepositoryOptions so no idea why it's asking for MonadMask
18:43:17 tomferon[m] joins (tomferonmo@gateway/shell/matrix.org/x-btrorkksnzvhjqag)
18:43:48 ArsenArsen is now known as qookie
18:43:55 qookie is now known as ArsenArsen
18:44:43 <[exa]> ah noes sorry, misread the whole thing :D
18:45:03 × hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:9584:183a:ef58:a92d) (Ping timeout: 260 seconds)
18:46:31 × stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds)
18:47:00 qwerty2o_ joins (~qwerty2o@89-138-23-24.bb.netvision.net.il)
18:47:41 <[exa]> altern: what's the type of the function around? (ie. what's the monad in there?) I guess something later in/around the function requires MonadMask
18:48:10 × belphegor666 quits (~satan@2a02:8071:429b:600:6c4a:bff:fede:7c09) (Quit: WeeChat 3.1)
18:48:17 <altern> exa: parseInput :: String -> InputT MS ()
18:49:34 <[exa]> hm weird, no idea. Maybe if you could paste a bit of the code around
18:50:04 <altern> exa: the codebase is large
18:50:23 <altern> exa: I will need to extract a lot into a standalone program
18:50:39 <[exa]> worry not about standalone, just the whole function (if it's not just the code in the error tho)
18:51:10 × rajivr quits (uid269651@gateway/web/irccloud.com/x-svtwbkuqnerncbos) (Quit: Connection closed for inactivity)
18:51:32 <[exa]> also possibly the type/impl of lgFactory
18:51:45 <johnw> altern: hi, yes I did
18:52:20 heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
18:52:37 <altern> johnw, oh wow. great to meet you! I am just using your library for my application and having problems making it work
18:53:02 <johnw> what's the trouble you've been having?
18:53:08 <johnw> and nice to meet you as well!
18:53:13 × danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 250 seconds)
18:53:35 <altern> johnw, https://paste.tomsmeding.com/0SJOfuXk I guess it will be the easy one for you! ;)
18:54:35 Pickchea joins (~private@unaffiliated/pickchea)
18:55:17 <johnw> it looks like you're using openRepository in a monad context that doesn't support exception masking, namely InputT MS
18:55:43 nineonine joins (~nineonine@50.216.62.2)
18:55:44 justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
18:57:07 star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com)
18:57:08 hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:1b0d:bea3:27b0:db7e)
18:57:29 <altern> john, how do I make it support exception masking?
18:57:37 <altern> or is there another way around it?
18:57:56 <altern> for example, I saw you have been using withRepository function in smoke tests
18:59:08 <altern> exa: https://pastebin.com/hyYu42Ji
18:59:19 stree joins (~stree@68.36.8.116)
19:00:54 ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
19:04:02 <edwardk> i've passed along the matrix concern to libera.chat
19:05:11 × superstar64 quits (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) (Quit: Connection closed)
19:05:34 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds)
19:06:27 × coot quits (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
19:07:41 × jrm quits (~jrm@freebsd/developer/jrm) (Quit: ciao)
19:07:50 × pera_ quits (~pera_@94.0.111.239) (Quit: brb)
19:08:15 jrm joins (~jrm@freebsd/developer/jrm)
19:08:27 <johnw> altern: You need something more capable than InpuT MS. The tests run on IO, I believe.
19:09:11 × ystael quits (~ystael@69.sub-174-242-65.myvzw.com) (Ping timeout: 240 seconds)
19:10:11 × Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 240 seconds)
19:10:15 × kapil_ quits (~kapil@2a01:4f9:c010:c9c3::1) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
19:10:52 xsperry joins (~as@unaffiliated/xsperry)
19:10:56 kapil_ joins (~kapil@2a01:4f9:c010:c9c3::1)
19:11:29 <altern> johnw, I am bad with transformers. What would you recommend as a more capable candidate to make it work?
19:12:53 × connrs quits (~connrs@mail.connolley.uk) (Quit: ZNC 1.8.2 - https://znc.in)
19:12:58 <johnw> I really don't know enough about what yo'ure doing to say; what is MS?
19:13:13 <altern> johnw, type MS = ReaderT SearchFunc (StateT ProgramState IO)
19:13:37 <johnw> and where does InpuT come from?
19:13:39 × vchlup_ quits (~vchlup@nat.brnet.cz) (Quit: Leaving)
19:13:59 <johnw> sounds like you just need a MonadMask instance for InputT
19:14:04 <johnw> since the rest of your stack is fine
19:14:08 connrs joins (~connrs@mail.connolley.uk)
19:14:28 <altern> parseInput :: String -> InputT MS ()
19:14:29 <altern> that's the type of the function where the code snippet with openRepository is
19:14:30 boxscape joins (4ff0bb95@p4ff0bb95.dip0.t-ipconnect.de)
19:14:38 Guest87676 joins (~laudiacay@67.176.215.84)
19:14:46 <johnw> what module and library does InputT come from?
19:14:55 × HannaM quits (~quassel@p54849510.dip0.t-ipconnect.de) (Quit: HannaM)
19:15:05 <altern> import System.Console.Haskeline
19:15:31 Schrostfutz joins (~Schrostfu@p4fc0a70a.dip0.t-ipconnect.de)
19:15:37 <[exa]> altern: for the begin `get`, you might like something like `selRep <- gets selectedRepository`, given you've got the ProgramState fields named
19:15:37 <johnw> hmm.. version 0.8.1.2 of haskeline does show that it has a MonadMask instance
19:16:29 Achylles joins (~Achylles@2804:431:d724:bb0f:1729:d8d9:f9e6:f367)
19:16:35 <altern> johnw, let me check which one I use..
19:16:51 <[exa]> hm yeah, 0.7.* seems not to have MonadMask
19:17:10 × boxscape quits (4ff0bb95@p4ff0bb95.dip0.t-ipconnect.de) (Client Quit)
19:17:24 <altern> mine is haskeline-0.7.4.3
19:17:40 invaser joins (~Thunderbi@91.226.34.182)
19:18:20 boxscape joins (4ff0bb95@p4ff0bb95.dip0.t-ipconnect.de)
19:18:35 <[exa]> edwardk: btw thanks for the twitter posts today, I probably wouldn't notice whats happening without these
19:25:51 × jrm quits (~jrm@freebsd/developer/jrm) (Quit: ciao)
19:26:42 × Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving)
19:26:45 nut joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
19:29:11 × invaser quits (~Thunderbi@91.226.34.182) (Quit: invaser)
19:31:57 hugo joins (znc@verdigris.lysator.liu.se)
19:33:17 <altern> exa: johnw: I have installed new haskeline, but it is failing to show in ghc-pkg list as the active one. how do I make it current instead of the old one?
19:34:08 unclechu[m] joins (xmppuncl2@gateway/shell/matrix.org/x-smzkeqbeixllkelh)
19:34:17 <geekosaur> did you use newer cabal and are you outside a project? you'll need to include --lib
19:34:40 <geekosaur> if you're in a project, you'll need to update the bounds on the haskeline dep
19:34:45 jrm joins (~jrm@freebsd/developer/jrm)
19:35:04 <geekosaur> (I strongly recommend using a project, btw, it'll prevent later conflicts)
19:35:22 ChaoticSun joins (~ChaoticSu@024-217-077-163.res.spectrum.com)
19:35:49 <geekosaur> o rstack which will force its own kind of project on you, with the same requirement that you specify an appropriate dependency or update to a resolver that includes it already
19:36:08 unclechu[m] parts (xmppuncl2@gateway/shell/matrix.org/x-smzkeqbeixllkelh) ()
19:36:34 × gawen quits (~gawen@movzbl.root.sx) (Quit: cya)
19:36:57 gawen joins (~gawen@movzbl.root.sx)
19:37:38 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1)
19:37:41 ddellacosta joins (~ddellacos@86.106.143.230)
19:39:08 × wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
19:39:33 <altern> geekosaur, all done as you said - updated bounds, but new-install says 'up to date'
19:39:41 × kjak quits (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (Quit: leaving)
19:39:52 × neiluj quits (~jco@unaffiliated/neiluj) (Quit: Lost terminal)
19:40:01 kjak joins (~kjak@pool-108-45-56-21.washdc.fios.verizon.net)
19:40:14 <altern> geekosaur, now using stack though. it does not find one library I need in the LTS (pretty-tree)
19:40:24 <geekosaur> if you created a project then you'll need to add the rest of your code to it. if you didn't then you need to install with --lib
19:40:33 wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
19:41:06 <altern> geekosaur, all my code is in the project already
19:41:42 × tdammers quits (~tdammers@unaffiliated/tdammers) (Quit: WeeChat 2.3)
19:41:45 × ptrcmd quits (~ptrcmd@unaffiliated/petercommand) (Quit: Reconnecting)
19:41:53 ptrcmd joins (~ptrcmd@unaffiliated/petercommand)
19:41:59 <geekosaur> then it is up to date because you already installed it once. it should then use it when building your project, instead of the older version
19:42:07 × ptrcmd quits (~ptrcmd@unaffiliated/petercommand) (Client Quit)
19:42:16 ptrcmd joins (~ptrcmd@unaffiliated/petercommand)
19:42:20 <geekosaur> wrt stack, you would need to use stack.yaml to point to where to get a version of pretty-tree that is compatible with the rest of your project
19:42:34 × ddellacosta quits (~ddellacos@86.106.143.230) (Ping timeout: 268 seconds)
19:42:40 <geekosaur> but someone else will have to help you with details, as I don't use stack
19:42:53 <Schrostfutz> Hi, I'm writing a parser with attoparsec. My parse function currently returns an empty string as the remaining unparsed input. When I append `endOfInput` to my parser, I only get a partial result instead. Am I misunderstanding the behavior of endOfInput or is something wrong here?
19:42:59 <altern> geekosaur, ❯ cabal new-install haskeline --lib
19:42:59 <altern> Wrote tarball sdist to
19:43:00 <altern> /home/[username]/Projects/[projectname]/dist-newstyle/sdist/[projectname]-3.0.0.tar.gz
19:43:00 <altern> Wrote tarball sdist to
19:43:00 <altern> /home/[username]/Projects/[projectname]/dist-newstyle/sdist/test-[projectname]-3.0.0.tar.gz
19:43:02 <altern> Resolving dependencies...
19:43:04 <altern> Up to date
19:43:17 × gawen quits (~gawen@movzbl.root.sx) (Quit: cya)
19:43:25 × RusAlex quits (~Chel@unaffiliated/rusalex) (Quit: WeeChat 3.0)
19:43:36 gawen joins (~gawen@movzbl.root.sx)
19:43:41 × kjak quits (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (Client Quit)
19:43:48 <geekosaur> right, because it had already been built once so all it had to do was register it so it'll be visible outside of projects
19:44:05 × ptrcmd quits (~ptrcmd@unaffiliated/petercommand) (Client Quit)
19:44:14 ptrcmd joins (~ptrcmd@unaffiliated/petercommand)
19:44:30 ystael joins (~ystael@208.sub-174-196-200.myvzw.com)
19:44:43 kjak joins (~kjak@pool-108-45-56-21.washdc.fios.verizon.net)
19:44:46 <geekosaur> if you're using a project then you don''t need --lib and should be able to update the dependency in your own project's cabal file to include the newer haskeline
19:45:04 × winny quits (~winny@fsf/member/winstonw) (Quit: WeeChat 2.8)
19:45:13 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
19:45:14 <altern> geekosaur, I already did that
19:45:17 <geekosaur> otherwise it'll keep using the old one, in my experience
19:45:30 <monochrom> In face, if you're using a project, then --lib doesn't help you.
19:45:42 <altern> I updated it with haskeline == 0.8.*,
19:45:45 <geekosaur> so are you still having problems with it finding MonadMask?
19:45:51 <altern> yes
19:45:56 <monochrom> Then again, "project" admits like 3 conflicting interpretations.
19:46:00 tdammers joins (~tdammers@77.109.72.213.res.static.edpnet.net)
19:46:00 × tdammers quits (~tdammers@77.109.72.213.res.static.edpnet.net) (Changing host)
19:46:00 tdammers joins (~tdammers@unaffiliated/tdammers)
19:46:19 <altern> because ghc-pkg list shows old version of the library even though I installed the new one
19:46:49 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
19:46:53 × star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Ping timeout: 268 seconds)
19:46:56 × ChaoticSun quits (~ChaoticSu@024-217-077-163.res.spectrum.com) (Quit: Leaving)
19:47:10 winny joins (~winny@fsf/member/winstonw)
19:47:25 × gawen quits (~gawen@movzbl.root.sx) (Client Quit)
19:47:43 ChaoticSun joins (~ChaoticSu@024-217-077-163.res.spectrum.com)
19:47:44 gawen joins (~gawen@movzbl.root.sx)
19:47:45 <monochrom> How did the old version enter into the system? It would stand in the way.
19:48:16 <altern> monochrom, I guess with the old cabal install
19:48:49 × Lycurgus quits (~niemand@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt)
19:51:03 × geekosaur quits (45870322@069-135-003-034.biz.spectrum.com) (Ping timeout: 240 seconds)
19:51:06 RusAlex joins (~Chel@unaffiliated/rusalex)
19:51:33 kenran joins (~kenran@i59F67B7D.versanet.de)
19:51:36 muttonmitten parts (~muttonmit@unaffiliated/muttonmitten) ()
19:51:49 <altern> cabal new-buld fails with the message: Perhaps you haven't installed the profiling libraries for package ‘primitive-0.6.4.0’?
19:52:03 × tdammers quits (~tdammers@unaffiliated/tdammers) (Quit: WeeChat 2.3)
19:52:11 × nuncanada quits (~dude@179.235.160.168) (Quit: Leaving)
19:52:38 knupfer joins (~Thunderbi@200116b8225ee900f69634fffef0b45f.dip.versatel-1u1.de)
19:52:59 tdammers joins (~tdammers@77.109.72.213.res.static.edpnet.net)
19:52:59 × tdammers quits (~tdammers@77.109.72.213.res.static.edpnet.net) (Changing host)
19:52:59 tdammers joins (~tdammers@unaffiliated/tdammers)
19:53:24 × Aquazi quits (uid312403@gateway/web/irccloud.com/x-llrwtwjbkwdbgfbp) (Quit: Connection closed for inactivity)
19:53:34 <edwardk> [exa]: np. i've been growing steadily more nervous about things over the last week or so
19:53:41 × qwerty2o_ quits (~qwerty2o@89-138-23-24.bb.netvision.net.il) (Ping timeout: 240 seconds)
19:54:04 star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com)
19:56:03 <monochrom> I want to comfort you by telling that a long time ago I survived very deliberate, elaborate spambot attacks on efnet #math.
19:56:20 <monochrom> They spammed like crazy, I banned like crazy in kind.
19:56:31 <[exa]> judging from what I saw in the letters I guess this has worked out quite well
19:56:41 × nut quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds)
19:56:54 <oats> damn, it made vice
19:56:55 geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com)
19:56:58 <oats> https://www.vice.com/en/article/m7ev8y/freenode-open-source-korea-crown-prince-takeover
19:57:07 <monochrom> I also got to "negotiate with the terrorist" like crazy for a bit. (Don't worry, their demand was too ridiculous. No deal.)
19:57:09 <geekosaur> sorry, local network dropped
19:57:45 × Achylles quits (~Achylles@2804:431:d724:bb0f:1729:d8d9:f9e6:f367) (Quit: Leaving)
19:57:49 <monochrom> So if something similar happens to this channel, I could just do the same.
19:57:53 <geekosaur> anyway ghc-pkg list won't show you what cabal sees inside the project, use "cabal exec -- ghc-pkg list" for that
19:58:16 <geekosaur> but a global package install from, say, a system package manager might still interfere
19:58:20 <monochrom> Now, I want to unsettle you a bit by saying that a long time ago I was jobless. Today I have a job, I won't be around that much.
19:58:29 <monochrom> Every silver lining has tarnish. >:)
19:59:09 × Raito_Bezarius quits (~Raito@unaffiliated/raito-bezarius/x-8764578) (Ping timeout: 245 seconds)
20:00:03 <monochrom> I have doubts about "cabal exec -- ghc-pkg list".
20:01:10 <monochrom> Indeed, it isn't different from vanilla "ghc-pkg list" at all.
20:01:31 × connrs quits (~connrs@mail.connolley.uk) (Quit: ZNC 1.8.2 - https://znc.in)
20:01:42 <monochrom> I just tried in my recent directory that has a HUnit dependency. Doesn't show up.
20:01:59 × RusAlex quits (~Chel@unaffiliated/rusalex) (Quit: WeeChat 3.0)
20:02:02 × kenran quits (~kenran@i59F67B7D.versanet.de) (Quit: leaving)
20:02:13 × star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds)
20:02:18 <geekosaur> sigh, thought the whole point of cabal exec was it configured things so packages would be visible. so what is it these days?
20:02:29 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
20:02:37 connrs joins (~connrs@mail.connolley.uk)
20:02:55 <monochrom> People dream big and implement procrastination.
20:03:06 Wamanuz joins (~wamanuz@78-70-34-81-no84.tbcn.telia.com)
20:03:29 <monochrom> I mean, it happened to my thesis too. "When it is finished, it will solve this big big problem..."
20:03:31 star_cloud joins (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com)
20:03:47 <monochrom> It is finished, but it only solves a big problem, not a big big problem.
20:04:23 <monochrom> "I didn't have time. Future work."
20:04:33 <johnw> altern: I don't know how, that's not how I select packages...
20:05:14 TK__ joins (~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c)
20:05:16 × finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection)
20:05:40 <monochrom> Wait a second, Korea has a crown prince?! I thought Korea is a republic.
20:05:41 × Wamanuz3 quits (~wamanuz@78-70-34-81-no84.tbcn.telia.com) (Ping timeout: 240 seconds)
20:05:49 <monochrom> Both of them.
20:07:45 × Iceland_jack quits (~user@95.149.219.38) (Remote host closed the connection)
20:08:04 × _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
20:08:19 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
20:08:28 <oats> huh, lee was briefly a student at my school
20:08:31 <oats> (Purdue)
20:08:35 <oats> interdesting
20:08:42 neiluj joins (~jco@91-167-203-101.subs.proxad.net)
20:08:48 × neiluj quits (~jco@91-167-203-101.subs.proxad.net) (Changing host)
20:08:48 neiluj joins (~jco@unaffiliated/neiluj)
20:10:02 Raito_Bezarius joins (~Raito@unaffiliated/raito-bezarius/x-8764578)
20:10:10 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
20:10:46 × neiluj quits (~jco@unaffiliated/neiluj) (Client Quit)
20:11:03 neiluj joins (~jco@91-167-203-101.subs.proxad.net)
20:11:11 Achylles joins (~Achylles@2804:431:d724:bb0f:1729:d8d9:f9e6:f367)
20:11:13 × Guest87676 quits (~laudiacay@67.176.215.84) (Ping timeout: 265 seconds)
20:11:30 × biglama quits (~alex@static-176-165-167-17.ftth.abo.bbox.fr) (Remote host closed the connection)
20:11:44 × neiluj quits (~jco@91-167-203-101.subs.proxad.net) (Client Quit)
20:12:22 royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
20:13:03 × fryguybob quits (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (Quit: leaving)
20:13:18 × star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Excess Flood)
20:13:21 <magbo> Is #haskell switching over to irc.libera.chat? Probably topic-worthy?
20:13:54 <geekosaur> gradually. there are complications, like a decent number of people using a matrix bridge that points here
20:13:57 <[exa]> kindof. It didn't reach the topic yet :]
20:14:30 wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
20:14:54 <[exa]> (I'm idling there already)
20:15:10 <magbo> Very good. If there is something I can do to help, feel free to PM me.
20:17:00 tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
20:17:18 ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
20:17:33 × kritzefitz quits (~kritzefit@212.86.56.80) (Quit: Leaving)
20:20:33 × ircbrowse_tom quits (~ircbrowse@64.225.78.177) (ZNC 1.7.5+deb4 - https://znc.in)
20:20:52 ircbrowse_tom_ joins (~ircbrowse@64.225.78.177)
20:20:52 Server sets mode +CLnt
20:20:53 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
20:21:11 sepples joins (~sepples@138.68.141.76)
20:21:14 × quinn quits (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
20:21:16 × digia quits (~digia@unaffiliated/digia) (Ping timeout: 260 seconds)
20:21:16 × Firedancer quits (sid336191@gateway/web/irccloud.com/x-jmirddsbudznybxt) (Ping timeout: 260 seconds)
20:21:16 × tv quits (~tv@unaffiliated/tv) (Ping timeout: 260 seconds)
20:21:17 × edwtjo quits (~edwtjo@fsf/member/edwtjo) (Ping timeout: 260 seconds)
20:21:17 × oldsk00l_ quits (~znc@ec2-18-130-254-135.eu-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds)
20:21:17 × amosbird quits (~amosbird@13.75.119.182) (Ping timeout: 260 seconds)
20:21:17 × Logio quits (em@kapsi.fi) (Ping timeout: 260 seconds)
20:21:18 × djanatyn quits (~djanatyn@vps-7f49a6b0.vps.ovh.ca) (Ping timeout: 260 seconds)
20:21:18 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 260 seconds)
20:21:18 × ashnur quits (~rak@unaffiliated/ashnur) (Ping timeout: 260 seconds)
20:21:18 × sshine quits (~simon@hubris.eta.solutions) (Ping timeout: 260 seconds)
20:21:19 digia_ is now known as digia
20:21:21 quinn_ joins (~quinn@c-73-223-224-163.hsd1.ca.comcast.net)
20:21:42 × Schrostfutz quits (~Schrostfu@p4fc0a70a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
20:21:43 × ircbrowse_tom quits (~ircbrowse@64.225.78.177) (Ping timeout: 260 seconds)
20:21:44 × Adluc quits (~Adluc@83.167.228.130) (Ping timeout: 260 seconds)
20:21:45 × echoreply quits (~echoreply@unaffiliated/echoreply) (Ping timeout: 260 seconds)
20:21:46 × stux|RC quits (stux2@grid9.quadspeedi.net) (Ping timeout: 260 seconds)
20:21:46 × thecoffemaker quits (~thecoffem@unaffiliated/thecoffemaker) (Ping timeout: 260 seconds)
20:21:47 × L1Cafe quits (~L1Cafe@kydara.com) (Ping timeout: 260 seconds)
20:21:47 × wrunt quits (~ajc@vmx14030.hosting24.com.au) (Ping timeout: 260 seconds)
20:21:47 × anderson quits (~ande@159.65.95.130) (Ping timeout: 260 seconds)
20:21:47 × brettgilio quits (~brettgili@brettgilio.com) (Ping timeout: 260 seconds)
20:21:47 × mhz quits (~msgctl@ometochtli.centzontotochtin.org) (Ping timeout: 260 seconds)
20:21:47 × Squarism quits (~someone@unaffiliated/squarism) (Ping timeout: 260 seconds)
20:21:48 × CelestiaIsTheWay quits (~sepples@sepples.xyz) (Ping timeout: 260 seconds)
20:21:48 × arw quits (~arw@impulse.informatik.uni-erlangen.de) (Ping timeout: 260 seconds)
20:21:48 × Cathy quits (~Cathy@unaffiliated/cathy) (Ping timeout: 260 seconds)
20:21:48 × mmaruseacph2 quits (~mihai@198.199.100.72) (Ping timeout: 260 seconds)
20:21:48 × chrisosaurus quits (chris@segfault.net.nz) (Ping timeout: 260 seconds)
20:21:49 <oats> I'm gonna switch to the libera bridge as soon as I'm able
20:21:51 charukiewicz_ joins (~quassel@irouteince04.i.subnet.rcn.com)
20:21:55 <oats> holy hell what's with all the quits
20:21:56 oldsk00l joins (~znc@ec2-18-130-254-135.eu-west-2.compute.amazonaws.com)
20:22:10 × dorkside quits (~tdbgamer@208.190.197.222) (Ping timeout: 260 seconds)
20:22:11 × charukiewicz quits (~quassel@irouteince04.i.subnet.rcn.com) (Ping timeout: 260 seconds)
20:22:13 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
20:22:26 × sepples quits (~sepples@138.68.141.76) (Client Quit)
20:22:27 L1Cafe joins (~L1Cafe@kydara.com)
20:22:35 × Athas quits (athas@sigkill.dk) (Quit: ZNC - http://znc.sourceforge.net)
20:22:36 amosbird joins (~amosbird@13.75.119.182)
20:22:42 Firedancer joins (sid336191@gateway/web/irccloud.com/x-mrnppfkpefgxvhus)
20:22:43 sshine joins (~simon@hubris.eta.solutions)
20:23:12 Logio joins (em@kapsi.fi)
20:23:13 djanatyn joins (~djanatyn@vps-7f49a6b0.vps.ovh.ca)
20:23:17 Adluc joins (~Adluc@83.167.228.130)
20:23:19 wrunt joins (~ajc@vmx14030.hosting24.com.au)
20:23:56 dorkside joins (~tdbgamer@208.190.197.222)
20:24:01 lambdabot joins (~lambdabot@silicon.int-e.eu)
20:24:01 × lambdabot quits (~lambdabot@silicon.int-e.eu) (Changing host)
20:24:01 lambdabot joins (~lambdabot@haskell/bot/lambdabot)
20:25:14 × notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 265 seconds)
20:25:33 × Achylles quits (~Achylles@2804:431:d724:bb0f:1729:d8d9:f9e6:f367) (Quit: Leaving)
20:26:00 × kapil_ quits (~kapil@2a01:4f9:c010:c9c3::1) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
20:26:39 kapil_ joins (~kapil@2a01:4f9:c010:c9c3::1)
20:26:41 jtcs joins (~jtcs@vmi359854.contaboserver.net)
20:26:52 Cathy joins (~Cathy@unaffiliated/cathy)
20:27:00 datajerk joins (~datajerk@sense.net)
20:27:21 Squarism joins (~someone@178.62.91.8)
20:27:22 × Squarism quits (~someone@178.62.91.8) (Changing host)
20:27:22 Squarism joins (~someone@unaffiliated/squarism)
20:27:36 <[exa]> magbo: no idea, generally the network there needs some help for newbies etc so just staying around and repeating good advice helps :D
20:27:41 greymalkin joins (~greymalki@199.180.249.79)
20:27:42 xerox_ joins (~xerox@unaffiliated/xerox)
20:27:46 thecoffemaker joins (~thecoffem@unaffiliated/thecoffemaker)
20:28:06 arw joins (~arw@impulse.informatik.uni-erlangen.de)
20:28:08 mmaruseacph2 joins (~mihai@198.199.100.72)
20:28:25 chrisosaurus joins (chris@segfault.net.nz)
20:28:31 ashnur joins (~rak@ashnur.com)
20:28:31 × ashnur quits (~rak@ashnur.com) (Changing host)
20:28:31 ashnur joins (~rak@unaffiliated/ashnur)
20:29:10 anderson joins (~ande@159.65.95.130)
20:29:41 × andi- quits (~andi-@NixOS/user/andi-) (Read error: Connection reset by peer)
20:30:29 andi- joins (~andi-@NixOS/user/andi-)
20:31:22 Achylles joins (~Achylles@2804:431:d724:bb0f:1729:d8d9:f9e6:f367)
20:32:58 × geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds)
20:33:26 edwtjo joins (~edwtjo@h-79-136-7-145.A213.priv.bahnhof.se)
20:33:27 × edwtjo quits (~edwtjo@h-79-136-7-145.A213.priv.bahnhof.se) (Changing host)
20:33:27 edwtjo joins (~edwtjo@fsf/member/edwtjo)
20:33:38 tv joins (~tv@unaffiliated/tv)
20:35:13 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Quit: WeeChat 3.1)
20:35:14 echoreply joins (~echoreply@unaffiliated/echoreply)
20:35:36 justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
20:36:01 mhz joins (~msgctl@ometochtli.centzontotochtin.org)
20:36:52 × connrs quits (~connrs@mail.connolley.uk) (Quit: ZNC 1.8.2 - https://znc.in)
20:37:21 kritzefitz joins (~kritzefit@picard.host.weltraumschlangen.de)
20:38:43 <altern> after upgrading aeson, my project is broken now: https://stackoverflow.com/questions/67610554/overlapping-instances-for-aeson any help is appreciated
20:39:00 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
20:40:07 × kritzefitz quits (~kritzefit@picard.host.weltraumschlangen.de) (Quit: ZNC 1.7.2+deb3 - https://znc.in)
20:40:11 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds)
20:40:27 kritzefitz joins (~kritzefit@picard.host.weltraumschlangen.de)
20:41:06 × kritzefitz quits (~kritzefit@picard.host.weltraumschlangen.de) (Client Quit)
20:41:18 kritzefitz joins (~kritzefit@picard.host.weltraumschlangen.de)
20:41:19 gedda joins (~gedda@s176125235103.blix.com)
20:41:39 Cadey parts (~cadey@infoforcefeed/Xe) ("WeeChat 3.1")
20:42:10 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
20:42:32 × Schrostfutz_ quits (~Schrostfu@p4fc0a70a.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
20:42:54 × kritzefitz quits (~kritzefit@picard.host.weltraumschlangen.de) (Client Quit)
20:43:09 kritzefitz joins (~kritzefit@picard.host.weltraumschlangen.de)
20:43:38 kewa joins (~kewa@85.174.200.147)
20:44:03 ahri joins (~ahri@178.209.40.84)
20:44:04 × ystael quits (~ystael@208.sub-174-196-200.myvzw.com) (Read error: Connection reset by peer)
20:45:30 × Achylles quits (~Achylles@2804:431:d724:bb0f:1729:d8d9:f9e6:f367) (Quit: Leaving)
20:46:03 × kritzefitz quits (~kritzefit@picard.host.weltraumschlangen.de) (Client Quit)
20:46:47 kritzefitz joins (~kritzefit@picard.host.weltraumschlangen.de)
20:47:19 × altern quits (~altern@altern.corbina.com.ua) (Ping timeout: 252 seconds)
20:47:23 invaser joins (~Thunderbi@91.226.34.182)
20:48:37 slac69917 joins (~slack1256@191.125.11.76)
20:49:11 × mananamenos quits (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net) (Ping timeout: 240 seconds)
20:49:34 × TK__ quits (~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c) (Ping timeout: 258 seconds)
20:50:38 × andi- quits (~andi-@NixOS/user/andi-) (Remote host closed the connection)
20:50:51 × slack1256 quits (~slack1256@191.125.227.73) (Ping timeout: 265 seconds)
20:51:14 chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
20:51:25 aarvar joins (~foewfoiew@2601:602:a080:fa0:2c7a:a4cb:397f:f3b6)
20:51:29 andi- joins (~andi-@NixOS/user/andi-)
20:51:32 × vgtw quits (~vgtw@gateway/tor-sasl/vgtw) (Remote host closed the connection)
20:51:46 × invaser quits (~Thunderbi@91.226.34.182) (Client Quit)
20:51:56 vgtw joins (~vgtw@gateway/tor-sasl/vgtw)
20:53:10 connrs joins (~connrs@mail.connolley.uk)
20:53:19 × connrs quits (~connrs@mail.connolley.uk) (Client Quit)
20:54:02 ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
20:54:16 invaser joins (~Thunderbi@91.226.34.182)
20:54:21 × chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Quit: I guess we're all leaving & heading over to irc.libera.chat. See you on the other side. https://fuchsnet.ch/freenode-resign-letter.txt https://www.kline.sh/)
20:54:33 × invaser quits (~Thunderbi@91.226.34.182) (Client Quit)
20:54:34 connrs joins (~connrs@mail.connolley.uk)
20:55:10 Achylles joins (~Achylles@2804:431:d724:bb0f:1729:d8d9:f9e6:f367)
20:55:27 × kritzefitz quits (~kritzefit@picard.host.weltraumschlangen.de) (Quit: ZNC 1.7.2+deb3 - https://znc.in)
20:56:22 zva joins (~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de)
20:57:01 × connrs quits (~connrs@mail.connolley.uk) (Client Quit)
20:57:31 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
20:57:39 kritzefitz joins (~kritzefit@picard.host.weltraumschlangen.de)
20:57:49 royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
20:58:53 × knupfer quits (~Thunderbi@200116b8225ee900f69634fffef0b45f.dip.versatel-1u1.de) (Ping timeout: 250 seconds)
20:59:03 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds)
20:59:04 × kritzefitz quits (~kritzefit@picard.host.weltraumschlangen.de) (Client Quit)
20:59:18 kritzefitz joins (~kritzefit@picard.host.weltraumschlangen.de)
20:59:34 × Achylles quits (~Achylles@2804:431:d724:bb0f:1729:d8d9:f9e6:f367) (Remote host closed the connection)
20:59:36 aniketd[m] joins (aniketdmat@gateway/shell/matrix.org/x-mooudwkxkgvsopaf)
21:00:57 Achylles joins (~Achylles@2804:431:d724:bb0f:1729:d8d9:f9e6:f367)
21:02:26 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
21:02:40 × zva quits (~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.0)
21:03:22 × canta quits (~canta@cvm0.d5k.one) (Quit: WeeChat 2.8)
21:03:30 × Achylles quits (~Achylles@2804:431:d724:bb0f:1729:d8d9:f9e6:f367) (Read error: Connection reset by peer)
21:04:32 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:582b:30d1:5899:a42a) (Quit: My MacBook has gone to sleep. ZZZzzz…)
21:05:18 Irenes parts (~irenes@NixOS/user/irenes) ("WeeChat 2.9")
21:06:26 × kewa quits (~kewa@85.174.200.147) (Ping timeout: 260 seconds)
21:06:56 × cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1)
21:07:01 altern joins (~altern@altern.corbina.com.ua)
21:07:40 × stree quits (~stree@68.36.8.116) (Ping timeout: 268 seconds)
21:07:58 × _xor quits (~xor@74.215.46.133) (Quit: WeeChat 3.1)
21:08:27 Achylles joins (~Achylles@2804:431:d724:bb0f:1729:d8d9:f9e6:f367)
21:08:31 TK__ joins (~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c)
21:08:32 canta joins (~canta@cvm0.d5k.one)
21:08:51 sheepduck joins (~sheepduck@2607:fea8:2a60:b700::83a9)
21:10:18 ystael joins (~ystael@208.sub-174-196-200.myvzw.com)
21:10:47 × UpstreamSalmon quits (uid12077@gateway/web/irccloud.com/x-snywgrwttijwalca) (Quit: Connection closed for inactivity)
21:11:26 × sheepduck quits (~sheepduck@2607:fea8:2a60:b700::83a9) (Remote host closed the connection)
21:11:31 × gedda quits (~gedda@s176125235103.blix.com) (Quit: leaving)
21:12:24 aarvar parts (~foewfoiew@2601:602:a080:fa0:2c7a:a4cb:397f:f3b6) ()
21:12:35 sheepduck joins (~sheepduck@2607:fea8:2a60:b700::83a9)
21:15:56 × Achylles quits (~Achylles@2804:431:d724:bb0f:1729:d8d9:f9e6:f367) (Remote host closed the connection)
21:15:57 × mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds)
21:16:38 × jrp quits (0550efe4@5.80.239.228) (Quit: Connection closed)
21:17:13 connrs joins (~connrs@mail.connolley.uk)
21:17:13 gedda joins (~gedda@s176125235103.blix.com)
21:18:22 × connrs quits (~connrs@mail.connolley.uk) (Client Quit)
21:18:36 acidjnk_new2 joins (~acidjnk@p200300d0c72b958680cf6a8401116b8a.dip0.t-ipconnect.de)
21:18:49 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
21:19:16 × dysfigured quits (dysfigured@2600:3c00::f03c:92ff:feb4:be75) (Quit: I hate quit messages.)
21:19:32 connrs joins (~connrs@mail.connolley.uk)
21:19:35 × altern quits (~altern@altern.corbina.com.ua) (Ping timeout: 252 seconds)
21:19:42 aniketd[m] parts (aniketdmat@gateway/shell/matrix.org/x-mooudwkxkgvsopaf) ("User left")
21:19:56 Varis joins (~Tadas@unaffiliated/varis)
21:20:26 stree joins (~stree@68.36.8.116)
21:21:15 × hiruji quits (~hiruji@72.74.190.75) (Quit: ZNC 1.8.2 - https://znc.in)
21:21:53 hiruji joins (~hiruji@72.74.190.75)
21:22:09 × travv0 quits (sid293381@gateway/web/irccloud.com/x-cqosycqhyqubbdmy) ()
21:22:28 Franciman joins (~francesco@host-80-180-196-134.retail.telecomitalia.it)
21:22:33 Franciman parts (~francesco@host-80-180-196-134.retail.telecomitalia.it) ("Leaving")
21:25:12 <jackdk> I'm set up on libera too
21:25:51 × andi- quits (~andi-@NixOS/user/andi-) (Remote host closed the connection)
21:28:05 × connrs quits (~connrs@mail.connolley.uk) (Quit: ZNC 1.8.2 - https://znc.in)
21:30:01 andi- joins (~andi-@NixOS/user/andi-)
21:30:29 × kritzefitz quits (~kritzefit@picard.host.weltraumschlangen.de) (Quit: ZNC 1.7.2+deb3 - https://znc.in)
21:30:40 kritzefitz joins (~kritzefit@picard.host.weltraumschlangen.de)
21:30:47 nut joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
21:31:39 Sheilong joins (uid293653@gateway/web/irccloud.com/x-zkhysnfurvbvfxvv)
21:32:34 ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
21:32:53 gedda parts (~gedda@s176125235103.blix.com) ()
21:32:57 Achylles joins (~Achylles@2804:431:d724:bb0f:1729:d8d9:f9e6:f367)
21:34:29 × kritzefitz quits (~kritzefit@picard.host.weltraumschlangen.de) (Client Quit)
21:34:42 kritzefitz joins (~kritzefit@picard.host.weltraumschlangen.de)
21:35:08 × jao quits (~user@pdpc/supporter/professional/jao) (Remote host closed the connection)
21:36:20 × xff0x quits (~xff0x@2001:1a81:53d3:5400:2612:4e5b:698e:1b71) (Ping timeout: 258 seconds)
21:37:06 xff0x joins (~xff0x@2001:1a81:53d3:5400:e4da:58b3:28e2:200d)
21:37:21 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds)
21:37:33 connrs joins (~connrs@mail.connolley.uk)
21:37:36 × bitmapper quits (uid464869@gateway/web/irccloud.com/x-xejzonnyjopklvnr) ()
21:37:49 royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
21:37:51 × boxscape quits (4ff0bb95@p4ff0bb95.dip0.t-ipconnect.de) (Quit: Connection closed)
21:38:05 boxscape joins (4ff0bb95@p4ff0bb95.dip0.t-ipconnect.de)
21:38:27 mounty joins (~mounty@236.216.214.218.sta.wbroadband.net.au)
21:39:44 × connrs quits (~connrs@mail.connolley.uk) (Client Quit)
21:41:54 connrs joins (~connrs@mail.connolley.uk)
21:42:45 heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
21:43:59 × hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Quit: hendursaga)
21:47:07 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
21:47:55 heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
21:48:12 maerwald[m] parts (maerwaldma@gateway/shell/matrix.org/x-ehirbzhcycttjnhd) ("User left")
21:49:36 × _noblegas quits (uid91066@gateway/web/irccloud.com/x-yclfsmlhxdjxzaas) (Quit: Connection closed for inactivity)
21:51:06 dysfigured joins (~dfg@li490-89.members.linode.com)
21:51:38 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
21:51:51 × Achylles quits (~Achylles@2804:431:d724:bb0f:1729:d8d9:f9e6:f367) (Quit: Leaving)
21:52:20 Achylles joins (~Achylles@2804:431:d724:bb0f:1729:d8d9:f9e6:f367)
21:53:19 tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
21:53:56 hendursaga joins (~weechat@gateway/tor-sasl/hendursaga)
21:54:39 × DavidEichmann quits (~david@156.59.147.147.dyn.plus.net) (Ping timeout: 265 seconds)
21:55:26 × nut quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds)
21:57:10 _xor joins (~xor@74.215.46.133)
21:57:32 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds)
22:00:32 × Achylles quits (~Achylles@2804:431:d724:bb0f:1729:d8d9:f9e6:f367) (Read error: Connection reset by peer)
22:00:34 × ystael quits (~ystael@208.sub-174-196-200.myvzw.com) (Read error: Connection reset by peer)
22:03:17 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
22:03:56 × sheepduck quits (~sheepduck@2607:fea8:2a60:b700::83a9) (Ping timeout: 258 seconds)
22:05:09 × canta quits (~canta@cvm0.d5k.one) (Quit: WeeChat 2.8)
22:06:41 ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
22:07:37 tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
22:08:51 × nicholasbulka quits (~nicholasb@2601:900:4301:da0:215a:8def:1097:b339) (Remote host closed the connection)
22:10:16 × bennofs__ quits (~quassel@dynamic-077-013-120-064.77.13.pool.telefonica.de) (Read error: Connection reset by peer)
22:10:41 bennofs_ joins (~quassel@dynamic-077-013-120-064.77.13.pool.telefonica.de)
22:10:46 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
22:12:03 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds)
22:12:19 Rudd0 joins (~Rudd0@185.189.115.108)
22:12:42 × kiltzman quits (~k1ltzman@195.189.99.96) (Ping timeout: 240 seconds)
22:14:29 kiltzman joins (~k1ltzman@5.206.224.243)
22:16:47 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 246 seconds)
22:17:26 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
22:17:44 pera joins (~pera@unaffiliated/pera)
22:18:03 × pera quits (~pera@unaffiliated/pera) (Client Quit)
22:19:06 × deb4ever quits (~deb4ever@37.120.211.190) (Ping timeout: 240 seconds)
22:19:25 × michalz quits (~user@185.246.204.61) (Remote host closed the connection)
22:19:37 × fendor quits (~fendor@91.141.0.228.wireless.dyn.drei.com) (Remote host closed the connection)
22:21:52 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
22:22:11 × dibblego quits (~dibblego@haskell/developer/dibblego) (Read error: Connection reset by peer)
22:22:38 dibblego joins (~dibblego@122-199-1-30.ip4.superloop.com)
22:22:39 × dibblego quits (~dibblego@122-199-1-30.ip4.superloop.com) (Changing host)
22:22:39 dibblego joins (~dibblego@haskell/developer/dibblego)
22:25:29 notzmv joins (~zmv@unaffiliated/zmv)
22:32:14 blissful is now known as azizzie
22:32:17 azizzie is now known as azuline
22:32:54 × azuline quits (~blissful@unaffiliated/azuline) (Quit: owo)
22:38:47 × LKoen quits (~LKoen@2a01cb0407597a00507da683e519d440.ipv6.abo.wanadoo.fr) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
22:39:31 ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
22:41:07 gedda joins (~gedda@s176125235103.blix.com)
22:41:30 × gedda quits (~gedda@s176125235103.blix.com) (Client Quit)
22:43:46 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
22:44:52 kipras`away is now known as kipras
22:49:10 cow-orker joins (~foobar@pogostick.net)
22:51:26 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
22:53:53 jrp joins (0550efe4@5.80.239.228)
22:55:07 × geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
22:58:03 heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
23:01:44 tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
23:02:22 × absence quits (torgeihe@hildring.pvv.ntnu.no) (Quit: leaving)
23:06:11 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds)
23:07:11 baloo1[m] joins (baloo1matr@gateway/shell/matrix.org/x-rshyikcddcfjonei)
23:09:58 sheepduck joins (~sheepduck@2607:fea8:2a60:b700::83a9)
23:11:50 <spider1> what is libera and why are people moving?
23:12:34 <mniip> spider1, this is my personal take https://mniip.com/freenode.txt but you can also read the story in the news
23:12:36 <dmwit> Libera is an alternate IRC server. People are moving because the person who owns the freenode domain is trying to "fire" all the volunteer staff that have kept freenode running for the past umpteen years.
23:12:46 <dmwit> (Except they were never hired in the first place.)
23:13:15 <spider1> ty for link and info
23:13:26 × Varis quits (~Tadas@unaffiliated/varis) (Ping timeout: 240 seconds)
23:13:55 × kristijonas_ quits (~kristijon@78-56-32-39.static.zebra.lt) (Ping timeout: 265 seconds)
23:14:39 mjlbach parts (atriusmatr@gateway/shell/matrix.org/x-ljwcyrnbymkdcdda) ("User left")
23:14:41 absence joins (torgeihe@hildring.pvv.ntnu.no)
23:16:13 ddellacosta joins (~ddellacos@86.106.143.87)
23:16:15 <spider1> uh
23:16:21 <spider1> does he have nickserv passwords
23:17:00 TomasJakl[m] joins (jaklttchnc@gateway/shell/matrix.org/x-ougkhiizcwcejika)
23:17:14 <dmwit> That was my question, too. ^_^
23:17:32 <spider1> ohh so the volunteer staff are the ones building libera
23:17:49 <spider1> okay now i'm ready to move
23:18:25 <spider1> ty mniip
23:18:26 tim joins (~tim@112-141-128-42.sta.dodo.net.au)
23:18:27 <dmwit> I think he doesn't. I guess in the most pessimistic world, he replaced all the software on the servers the moment he was able. I think that's... assuming too much programming capacity, though, and I don't even know if he's in control of the servers in the right way for that yet.
23:18:49 tim is now known as Guest25961
23:18:53 <spider1> well it said he had access to other nickserv/chanserv data
23:19:03 <dmwit> In any case, the software that was on the servers before this all started would not give him anything more than a salted hash of your password.
23:19:16 <spider1> oh good
23:19:35 geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com)
23:19:58 <mniip> spider1, dmwit the email address too
23:20:07 <mniip> my letter lists all the things actually
23:20:26 × ddellacosta quits (~ddellacos@86.106.143.87) (Ping timeout: 240 seconds)
23:22:45 hexfive joins (~hexfive@50.35.83.177)
23:24:54 × abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: Changing server)
23:25:00 × vk3wtf quits (~doc@61.68.250.44) (Quit: WeeChat 3.0.1)
23:25:15 × jrp quits (0550efe4@5.80.239.228) (Quit: Connection closed)
23:25:19 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection)
23:28:53 × stree quits (~stree@68.36.8.116) (Ping timeout: 268 seconds)
23:29:17 <dmwit> Okay. I don't consider my email address an authentication secret, or even a secret.
23:29:31 <dmwit> I think it would probably be wisest for everybody else to also not consider their email address a secret.
23:31:35 drbean_ joins (~drbean@TC210-63-209-203.static.apol.com.tw)
23:31:42 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
23:31:57 sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-51.dsl.bell.ca)
23:32:28 × hexfive quits (~hexfive@50.35.83.177) (Quit: i must go. my people need me.)
23:33:20 erdii joins (erdiiweris@gateway/shell/matrix.org/x-iyulhbyyrwrhjuhj)
23:37:24 a6a45081-2b83 joins (~aditya@122.163.149.247)
23:37:27 × Benzi-Junior quits (~BenziJuni@88-149-64-251.du.xdsl.is) (Ping timeout: 252 seconds)
23:38:13 <a6a45081-2b83> can someone help explain this type signature? `type Getter s a = forall f. (Contravariant f, Functor f) => (a -> f a) -> s -> f s`
23:38:40 <Axman6> a6a45081-2b83: what problems do you have with it?
23:39:47 <a6a45081-2b83> Lens s a means that we are focusing from s to a? i.e. s is our object and a is accessor function. I understand this much
23:40:46 <johnw> not an accessor function, but the type of the thing "within" s
23:40:57 <int-e> s is a substructure of a
23:41:01 <johnw> note that a needn't actually *be* in s in the sense of structure
23:41:07 <a6a45081-2b83> `(a -> f a) -> s -> f s` from this I guess we have a monadic action `a -> f a` and we are applying to accessed object a?
23:41:11 <johnw> a can be a calculated result, as long as getting and putting have meaning
23:41:16 stree joins (~stree@68.36.8.116)
23:41:21 <int-e> (conceptually, s is within a, not vice versa)
23:41:23 <Axman6> johnw: other way around
23:41:33 <Axman6> a is a substructure of s
23:41:33 zarakshR joins (~Thunderbi@1.39.134.203)
23:41:36 <dmwit> a6a45081-2b83: I recommend the tutorial series "Lenses over Tea".
23:41:39 <johnw> yes, that's what I meant
23:41:41 × ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection)
23:41:50 <int-e> uh
23:41:50 <dmwit> a6a45081-2b83: It has the best intuition-based explanation of the lens types that I have seen in any tutorial.
23:42:01 <int-e> sorry, I'm wrong, carry on
23:42:15 <Axman6> % :i Const
23:42:18 <a6a45081-2b83> so if I have Person {name :: String, age :: Int} then s = Person and a = age, right. And we would have Lens' Person Int?
23:42:20 ukari joins (~ukari@unaffiliated/ukari)
23:42:31 <dibblego> try writing it and see
23:42:32 <dmwit> No, s = Person and a = Int.
23:42:33 <int-e> a6a45081-2b83: you'd have a = Int
23:42:41 <a6a45081-2b83> cool
23:44:05 <a6a45081-2b83> Getter would be Getter Person Int :: (Int -> f Int) -> Person -> f Person. So we could have foo :: Int -> f Int; foo x = cx+1 ?
23:44:12 <a6a45081-2b83> * foox = Const (x+1) ?
23:45:15 <dmwit> sure
23:45:42 × johnw quits (~johnw@haskell/developer/johnw) (Quit: ZNC - http://znc.in)
23:45:57 × kluk quits (45cb5249@cpe-69-203-82-73.nyc.res.rr.com) (Quit: Connection closed)
23:46:00 visser_ joins (~visser_@185.169.233.10)
23:46:22 × plutoniix quits (~q@node-ujl.pool-125-24.dynamic.totinternet.net) (Quit: Leaving)
23:46:43 liskin joins (~liskin@ackle.nomi.cz)
23:47:54 × sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-51.dsl.bell.ca) (Quit: Leaving)
23:48:00 kluk joins (45cb5249@cpe-69-203-82-73.nyc.res.rr.com)
23:48:15 sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-51.dsl.bell.ca)
23:50:11 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
23:52:42 × slac69917 quits (~slack1256@191.125.11.76) (Remote host closed the connection)
23:53:11 × sheepduck quits (~sheepduck@2607:fea8:2a60:b700::83a9) (Ping timeout: 258 seconds)
23:55:55 tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
23:56:20 ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
23:56:39 Varis joins (~Tadas@unaffiliated/varis)
23:57:13 plutoniix joins (~q@node-ujl.pool-125-24.dynamic.totinternet.net)
23:58:06 heebo joins (~user@cpc97956-croy24-2-0-cust20.19-2.cable.virginm.net)
23:59:24 × lieven quits (~mal@unaffiliated/lieven) (Read error: Connection reset by peer)

All times are in UTC on 2021-05-19.