IRCBrowse

2021/03/17

2021-03-17 00:00:09 +0100Alleria(~textual@mskresolve-a.mskcc.org)
2021-03-17 00:00:22 +0100molehillish(~molehilli@ip98-167-226-26.ph.ph.cox.net) (Ping timeout: 276 seconds)
2021-03-17 00:00:32 +0100AlleriaGuest80264
2021-03-17 00:00:45 +0100cuz(~user@38.140.58.234) (Ping timeout: 256 seconds)
2021-03-17 00:00:56 +0100hexfive(~hexfive@50.35.83.177)
2021-03-17 00:02:33 +0100LKoen(~LKoen@194.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2021-03-17 00:02:52 +0100rj_(~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds)
2021-03-17 00:04:16 +0100__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2021-03-17 00:04:55 +0100Guest80264(~textual@mskresolve-a.mskcc.org) (Ping timeout: 276 seconds)
2021-03-17 00:05:28 +0100dfeuer(~dfeuer@pool-173-79-253-62.washdc.fios.verizon.net) (Ping timeout: 244 seconds)
2021-03-17 00:08:24 +0100Not_Morgan(~Not_Morga@nat-5-156.uws.ualberta.ca) ()
2021-03-17 00:11:00 +0100Hi-Angel(~constanti@broadband-188-32-15-112.ip.moscow.rt.ru) (Ping timeout: 256 seconds)
2021-03-17 00:12:35 +0100Thra11(~Thra11@5.1.169.217.in-addr.arpa) (Quit: WeeChat 3.1)
2021-03-17 00:12:42 +0100psygate(~psygate@unaffiliated/psygate) (Quit: Leaving)
2021-03-17 00:13:19 +0100RandomArcher(~RandomArc@90.153.151.187) (Quit: Leaving)
2021-03-17 00:14:30 +0100puke(~vroom@217.138.252.181) (Read error: Connection reset by peer)
2021-03-17 00:16:48 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-03-17 00:20:58 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 244 seconds)
2021-03-17 00:21:08 +0100coot(~coot@37.30.58.223.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-03-17 00:21:09 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-03-17 00:21:12 +0100Hi-Angel(~constanti@broadband-188-32-15-112.ip.moscow.rt.ru)
2021-03-17 00:21:15 +0100Tario(~Tario@200.119.186.54)
2021-03-17 00:22:23 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-17 00:22:43 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-17 00:24:27 +0100proteusguy(~proteusgu@cm-58-10-208-13.revip7.asianet.co.th) (Ping timeout: 246 seconds)
2021-03-17 00:27:23 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds)
2021-03-17 00:31:25 +0100xsperry(~as@unaffiliated/xsperry) (Remote host closed the connection)
2021-03-17 00:34:10 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 276 seconds)
2021-03-17 00:34:36 +0100Hi-Angel(~constanti@broadband-188-32-15-112.ip.moscow.rt.ru) (Ping timeout: 246 seconds)
2021-03-17 00:34:48 +0100notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 256 seconds)
2021-03-17 00:36:43 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 245 seconds)
2021-03-17 00:36:56 +0100molehillish(~molehilli@2600:8800:8d06:1800:2195:2964:ee:f10b)
2021-03-17 00:37:01 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Remote host closed the connection)
2021-03-17 00:37:56 +0100geowiesnot_bis(~user@87-89-181-157.abo.bbox.fr)
2021-03-17 00:38:46 +0100proteusguy(~proteusgu@cm-58-10-208-13.revip7.asianet.co.th)
2021-03-17 00:39:17 +0100Sorna(~Sornaensi@077213203030.dynamic.telenor.dk)
2021-03-17 00:40:13 +0100Tario(~Tario@200.119.186.54) (Read error: Connection reset by peer)
2021-03-17 00:40:15 +0100xsperry(~as@unaffiliated/xsperry)
2021-03-17 00:40:34 +0100Tario(~Tario@201.192.165.173)
2021-03-17 00:40:49 +0100 <hololeap> :t atomically
2021-03-17 00:40:51 +0100 <lambdabot> error: Variable not in scope: atomically
2021-03-17 00:40:55 +0100 <hololeap> % :t atomicall
2021-03-17 00:40:55 +0100 <yahb> hololeap: ; <interactive>:1:1: error:; * Variable not in scope: atomicall; * Perhaps you meant one of these: `atomically' (imported from Control.Concurrent.STM), `atomically#' (imported from GHC.Prim)
2021-03-17 00:40:57 +0100 <hololeap> % :t atomically
2021-03-17 00:40:57 +0100 <yahb> hololeap: STM a -> IO a
2021-03-17 00:41:58 +0100 <hololeap> i'm looking into making something like: atomically' :: MonadBaseControl STM m => m a -> IO a
2021-03-17 00:42:03 +0100 <hololeap> how can this be done?
2021-03-17 00:42:58 +0100 <hololeap> or maybe it would be MoandTransControl
2021-03-17 00:43:00 +0100Sornaensis(~Sornaensi@45.56.183.30) (Ping timeout: 246 seconds)
2021-03-17 00:43:38 +0100 <hololeap> i'm looking for a generalized version of UnliftIO that works for base monads other than IO
2021-03-17 00:43:52 +0100 <hololeap> (in this case, STM)
2021-03-17 00:45:20 +0100jw4(~jw4@unaffiliated/jw4) ()
2021-03-17 00:45:55 +0100epicte7us(~epictetus@ip72-194-215-136.sb.sd.cox.net)
2021-03-17 00:46:45 +0100 <hololeap> i was told yesterday that Control.Monad.Trans.Control has this functionality, but i'm not seeing it
2021-03-17 00:46:51 +0100loller_(uid358106@gateway/web/irccloud.com/x-kduhobsfuxvxilil)
2021-03-17 00:47:21 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-17 00:47:30 +0100molehillish(~molehilli@2600:8800:8d06:1800:2195:2964:ee:f10b) (Remote host closed the connection)
2021-03-17 00:48:14 +0100molehillish(~molehilli@2600:8800:8d06:1800:2195:2964:ee:f10b)
2021-03-17 00:48:52 +0100geowiesnot_bis(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 244 seconds)
2021-03-17 00:48:57 +0100ep1ctetus(~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 246 seconds)
2021-03-17 00:49:18 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds)
2021-03-17 00:50:02 +0100molehillish(~molehilli@2600:8800:8d06:1800:2195:2964:ee:f10b) (Remote host closed the connection)
2021-03-17 00:50:14 +0100molehillish(~molehilli@ip98-167-226-26.ph.ph.cox.net)
2021-03-17 00:53:21 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-03-17 00:54:07 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-17 00:54:22 +0100hiroaki(~hiroaki@2a02:8108:8c40:2bb8:3347:96de:66cc:cf9e) (Ping timeout: 265 seconds)
2021-03-17 00:55:57 +0100ep1ctetus_(~epictetus@ip72-194-215-136.sb.sd.cox.net)
2021-03-17 00:58:35 +0100zebrag(~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-17 00:58:45 +0100ep1ctetus_(~epictetus@ip72-194-215-136.sb.sd.cox.net) (Client Quit)
2021-03-17 00:58:57 +0100zebrag(~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr)
2021-03-17 00:59:07 +0100epicte7us(~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 256 seconds)
2021-03-17 00:59:10 +0100 <hololeap> nvm, not even UnliftIO does things quite like that. i see the error in my reasoning
2021-03-17 00:59:18 +0100fiQ2(~fiQ@mirkk.ninja) (Quit: ZNC - https://znc.in)
2021-03-17 01:00:12 +0100Alleria(~textual@mskresolve-a.mskcc.org)
2021-03-17 01:00:27 +0100usr25(~usr25@unaffiliated/usr25) (Quit: Leaving)
2021-03-17 01:00:35 +0100AlleriaGuest2253
2021-03-17 01:00:56 +0100jespada(~jespada@90.254.243.187) (Ping timeout: 265 seconds)
2021-03-17 01:04:04 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 276 seconds)
2021-03-17 01:04:05 +0100jespada(~jespada@90.254.243.187)
2021-03-17 01:04:21 +0100Guest2253(~textual@mskresolve-a.mskcc.org) (Ping timeout: 246 seconds)
2021-03-17 01:05:46 +0100apoc(~apoc@49.12.13.193) (Ping timeout: 265 seconds)
2021-03-17 01:05:52 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-17 01:05:58 +0100jrqc(~rofl@96.78.87.197) (Ping timeout: 265 seconds)
2021-03-17 01:06:12 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-17 01:06:42 +0100hiroaki(~hiroaki@2a02:8108:8c40:2bb8:95b6:d0de:2d1d:5979)
2021-03-17 01:07:29 +0100sm_sm
2021-03-17 01:09:14 +0100jrqc(~rofl@96.78.87.197)
2021-03-17 01:11:45 +0100fen(5ce955fb@gateway/web/cgi-irc/kiwiirc.com/ip.92.233.85.251)
2021-03-17 01:13:06 +0100 <fen> how can i make something where i can bind values into scope to use in the definition of more values? only with simple algebraic expressions (+),(*),(/)(^) and all values as Doubles...
2021-03-17 01:13:46 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-17 01:13:52 +0100 <Gurkenglas> > let x % y = mod x y in 3 % 2 % 1
2021-03-17 01:13:54 +0100 <lambdabot> 0
2021-03-17 01:14:25 +0100jrqc(~rofl@96.78.87.197) (Ping timeout: 256 seconds)
2021-03-17 01:14:33 +0100 <fen> do i need a syntax tree? or a scope of some kind?
2021-03-17 01:15:34 +0100 <Gurkenglas> fen, the above is a term, and can be used anywhere you could use mod 3 (mod 2 1) (or was the default association mod (mod 3 2) 1?)
2021-03-17 01:16:06 +0100 <fen> i have an idea how i could do it with lists and some parametric types, but i was wondering if anyone that knew how it would be approached from a DSL style
2021-03-17 01:16:06 +0100 <Gurkenglas> fen, what are you using to evaluate your haskell code? ghci? ghc? a website?
2021-03-17 01:16:18 +0100 <fen> Gurkenglas: ghci
2021-03-17 01:16:39 +0100 <fen> well ghc if i ever need to optimise it
2021-03-17 01:17:14 +0100jrqc(~rofl@96.78.87.197)
2021-03-17 01:17:14 +0100 <fen> not sure what you meant about mod..
2021-03-17 01:18:02 +0100 <Gurkenglas> fen, I was giving an example - defining the function (%) that can be used as a value of type Double -> Double -> Double
2021-03-17 01:18:17 +0100 <fen> ok, why?
2021-03-17 01:18:40 +0100 <fen> i didnt think it was directed at me at first, i cant see how its relevant
2021-03-17 01:18:41 +0100CoconutCrab(~Cua@unaffiliated/coconutcrab)
2021-03-17 01:19:14 +0100 <fen> oh you have it using Doubles now, so i guess you wanted to extend the simple algebraic opperations set
2021-03-17 01:19:18 +0100 <fen> ok, i understand now
2021-03-17 01:19:19 +0100 <Gurkenglas> ah, i thought you wanted to know how to add simple algebraic expressions like (+),(*),(/),(^) to ghci's scope
2021-03-17 01:19:22 +0100 <MarcelineVQ> directly, merely binding things with let and using them satisfies your need
2021-03-17 01:19:45 +0100 <Gurkenglas> you can write x = 2+2 :: Double into ghci
2021-03-17 01:19:55 +0100 <fen> {x=1,y=2,a1=x+y,a2=y+a1/2,a3=a1 % a2 ...
2021-03-17 01:20:24 +0100 <fen> im binding values at each "new line"
2021-03-17 01:20:47 +0100 <fen> they can only be bound to those declared so far, so it seems like an imperative language
2021-03-17 01:21:25 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds)
2021-03-17 01:21:43 +0100 <fen> MarcelineVQ "let" binds things into haskells scope, i wanted it bound inside a DSL
2021-03-17 01:22:10 +0100 <Gurkenglas> If you really want to carry around a data structure, you can encode each instruction as [(String, Double)] -> [(String, Double)]
2021-03-17 01:22:29 +0100 <fen> and use String lookup for variable names
2021-03-17 01:22:41 +0100 <fen> could do, or just use their Int position in the list
2021-03-17 01:22:53 +0100 <fen> but what if its an a data tree
2021-03-17 01:22:59 +0100 <fen> idk what you call them
2021-03-17 01:23:05 +0100 <fen> like an AST
2021-03-17 01:24:04 +0100 <fen> like how people define simple lambda calculus with Var and Expr etc
2021-03-17 01:24:50 +0100 <fen> i guess the way those are compled makes decleration order agnositc
2021-03-17 01:25:30 +0100 <fen> i basically just want a polynomial where i can refer to the previous terms in the polynomial in the later terms
2021-03-17 01:25:32 +0100 <fen> by name
2021-03-17 01:25:38 +0100 <fen> or by position
2021-03-17 01:25:49 +0100 <fen> and wanted to know how to represent this nicely in haskell
2021-03-17 01:26:08 +0100 <Gurkenglas> does it need to be interpreted by a program you write in haskell, or can it be written directly in haskell?
2021-03-17 01:26:10 +0100 <fen> since indexing with Nats is really a drag
2021-03-17 01:26:44 +0100 <fen> in a haskell program, i want to be able to declare values of this kind of "deep" polynomial
2021-03-17 01:26:57 +0100 <fen> so i just need a representation of it, which i dont want to have to use HLists for
2021-03-17 01:26:58 +0100 <Gurkenglas> May I see the code that turned out a drag?
2021-03-17 01:27:19 +0100sw1nn(~sw1nn@2a00:23c7:622f:2c00:377a:cf20:5183:83de) (Ping timeout: 272 seconds)
2021-03-17 01:27:54 +0100 <Gurkenglas> https://hackage.haskell.org/package/bound-2.0.3/docs/Bound.html may be what you want
2021-03-17 01:28:04 +0100dhil(~dhil@80.208.56.181) (Ping timeout: 256 seconds)
2021-03-17 01:28:06 +0100Deide(~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2021-03-17 01:28:42 +0100 <fen> wow, thats perfect
2021-03-17 01:30:23 +0100 <fen> actually i changed my mind, its overkill
2021-03-17 01:30:59 +0100 <Gurkenglas> ekmett, building the libraries you're gonna need in 9 years. he works at MIRI lately, guess what that means for AI timelines :P
2021-03-17 01:31:09 +0100 <fen> since i can refer to things by position... i guess the lookup over list version is gonna have to do...
2021-03-17 01:33:33 +0100ph88_(~ph88@2a02:8109:9e00:7e5c:85cc:3a34:36cf:1a53)
2021-03-17 01:33:38 +0100NinjaTrappeur(~ninja@unaffiliated/ninjatrappeur) (Ping timeout: 264 seconds)
2021-03-17 01:34:09 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2021-03-17 01:34:17 +0100cole-h_(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 265 seconds)
2021-03-17 01:34:41 +0100 <fen> i guess the "part thats a drag" is basically just having to have values that contain the index values and wanting to use lengthed lists to preven it accessing forwards terms
2021-03-17 01:35:31 +0100 <fen> and the only reason its a drag is because i cant write abstractions over all these parametric lengthed containers
2021-03-17 01:36:51 +0100 <fen> so then my program is a list of lines, on each line a variable indexed by the line number is defined as a sum using predfined opperators and having access to the values defined on previous lines
2021-03-17 01:37:05 +0100 <fen> the whole thing is parametric and so can be tuned
2021-03-17 01:37:40 +0100 <fen> so its like a deep net that can be initialised by, and read off into *polynomials*
2021-03-17 01:38:33 +0100 <Gurkenglas> you just want something that can be interpreted as either an imperative program or a polynomial right
2021-03-17 01:39:01 +0100 <fen> well you kind of compile it to the polynomial form by rewriting the terms
2021-03-17 01:39:16 +0100 <fen> the important thing is the initialisation
2021-03-17 01:39:16 +0100sw1nn(~sw1nn@2a00:23c7:622f:2c00:b196:7c21:3dc:6adc)
2021-03-17 01:39:41 +0100 <fen> since a polynomial fit surface is easy to identify, but normally impossible to use as an initial condition
2021-03-17 01:40:08 +0100 <solidus-river> huh, i'm running into an issue i'm not sure how to fix with the type system and maybe
2021-03-17 01:40:11 +0100 <solidus-river> https://paste.tomsmeding.com/9E5msPRS
2021-03-17 01:41:01 +0100 <Gurkenglas> @let DoubleTerm = Halt | Let Double (Double -> DoubleTerm)
2021-03-17 01:41:01 +0100 <lambdabot> Parse failed: Parse error: |
2021-03-17 01:41:07 +0100 <Gurkenglas> @let data DoubleTerm = Halt | Let Double (Double -> DoubleTerm)
2021-03-17 01:41:09 +0100 <lambdabot> Defined.
2021-03-17 01:41:32 +0100NinjaTrappeur(~ninja@unaffiliated/ninjatrappeur)
2021-03-17 01:41:54 +0100 <monochrom> solidus-river: You need an extra data constructor, e.g., newtype Funny = MkFunny (Maybe Int).
2021-03-17 01:42:41 +0100 <monochrom> I have chosen MkFunny to be the name of the data constructor. You can replace it by a name of your choice.
2021-03-17 01:42:45 +0100 <fen> would anyone like to help me write it?
2021-03-17 01:42:58 +0100dfeuer(~dfeuer@pool-173-79-253-62.washdc.fios.verizon.net)
2021-03-17 01:43:14 +0100 <solidus-river> monochrom: thanks! so whenever you do a newType if your going to be creating it you shoudl add some extra info in the constructor?
2021-03-17 01:43:51 +0100 <monochrom> This is not extra info. This is just needing a constructor, and it needing a name.
2021-03-17 01:44:30 +0100 <Gurkenglas> > let program = Let 1 $ \x -> Let 2 $ \y -> Let (x+y) $ \a1 -> Let (y+a1/2) $ \a2 -> Let (a1 * a2) $ \a3 -> Halt in program -- fen
2021-03-17 01:44:32 +0100 <lambdabot> Let 1.0 <Double -> DoubleTerm>
2021-03-17 01:45:24 +0100 <solidus-river> huh, i'm confused about data vs newtype
2021-03-17 01:46:00 +0100 <monochrom> They share commonalities. And then you can understand "newtype" as "data" but severe restrictions.
2021-03-17 01:46:10 +0100 <solidus-river> what you said worked for newtype but i also had a `newtype SimEvent = Int ByteString` but i had to change it to `data SimEvent = MkEvent Int Bytestring`
2021-03-17 01:46:55 +0100 <Axman6> newtypes can specifically only wrap a single type
2021-03-17 01:47:02 +0100 <monochrom> "newtype" allows one field only. That's why. If you want "I have 2 fields, an Int field and a ByteString field", you're forced back to "data".
2021-03-17 01:47:19 +0100 <Gurkenglas> @let values :: DoubleTerm -> [Double]; values Halt = []; values (Let x f) = x : values (f x)
2021-03-17 01:47:21 +0100 <lambdabot> Defined.
2021-03-17 01:47:25 +0100 <Axman6> they are a type safe alias for another type - it's in the name, it basically gives a new type to an existing type
2021-03-17 01:47:32 +0100 <Gurkenglas> > values $ Let 1 $ \x -> Let 2 $ \y -> Let (x+y) $ \a1 -> Let (y+a1/2) $ \a2 -> Let (a1 * a2) $ \a3 -> Halt
2021-03-17 01:47:34 +0100 <lambdabot> [1.0,2.0,3.0,3.5,10.5]
2021-03-17 01:47:59 +0100 <solidus-river> monochrom: thanks, wasn't sure if i was doingsomething wrong byt changing it
2021-03-17 01:48:39 +0100 <Axman6> newtype Password = Password ByteString -- PAssword is distinct from ByteString in the type system, but at runtime is the same as ByteString, which might be important for performance
2021-03-17 01:50:45 +0100 <fen> Gurkenglas: thats pretty rad, only using one lambda at each stage just to bring it into haskell scope
2021-03-17 01:51:53 +0100 <solidus-river> Axman6 thanks, so if i want a newtype for my other type i need to find some tuple type holder, but that might be just extra work for nothing at this point
2021-03-17 01:52:38 +0100 <fen> Gurkenglas: the problem is that i dont know how to generate such an expression progematically
2021-03-17 01:52:46 +0100 <monochrom> Yes, "newtype P = MkP (Int, BS)" is OK. But more tedious than "data P = MkP Int BS".
2021-03-17 01:52:52 +0100 <Gurkenglas> fen, from what input?
2021-03-17 01:53:30 +0100 <monochrom> Then again you may also consider using (Int, BS) directly and not bother thinking up a type name.
2021-03-17 01:53:38 +0100 <fen> well its a polynomial, so just a product of Double powers which with an overall multiplicative weighting are the parameters
2021-03-17 01:54:02 +0100 <Axman6> solidus-river: well, newtype SimEvent = SimEvent (Int, ByteString) works, but is probably more annoying than data SimEvent = SimEvent Int ByteString (and if you need it, data SimEvent = SimEvent {-# UNPACK #-} !Int {-# UNPACK #-} !ByteString might be even better in terms of performance, if you don't need laziness)
2021-03-17 01:54:20 +0100 <fen> 2 * x**1.1 * y**2
2021-03-17 01:54:42 +0100 <fen> so i guess i need a lengthed list of input variables aswell
2021-03-17 01:54:53 +0100rajivr(uid269651@gateway/web/irccloud.com/x-uascrnncsdwthllt)
2021-03-17 01:55:11 +0100 <fen> note these are just the monomials appearing on each line
2021-03-17 01:55:37 +0100 <Gurkenglas> fen, i dont get it, what example input value would you like me to write a program to map to what output value
2021-03-17 01:55:42 +0100 <solidus-river> Axman what does the UNPACK macro do? also I'm reading that forkIO is pre-emptive on memory allocation, does that mean I should be taking extra care when trying to do multiThreading on different sockets with forkIO? (manual sleeps etc)
2021-03-17 01:55:46 +0100 <fen> the whole thing has a complicated number of parameters, but you can just lookup over the few most recent terms
2021-03-17 01:56:02 +0100 <solidus-river> i'm ending my loops with yield, but i'm worried if i'm waiting for data over a socket for 10 seconds other threads are doing squat
2021-03-17 01:57:41 +0100codygman`(~user@47.186.207.161) (Ping timeout: 265 seconds)
2021-03-17 01:58:01 +0100 <fen> polynomial (Cons x xs) a@(Cons x (Cons y Empty)) -> Cons (monomial x a) $ polynomial xs a
2021-03-17 01:58:35 +0100zebrag(~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-17 01:58:58 +0100zebrag(~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr)
2021-03-17 01:59:07 +0100 <fen> polynomial :: List (n::Nat) ... argh
2021-03-17 01:59:18 +0100 <fen> cant write the contents type for the type of x
2021-03-17 01:59:26 +0100 <fen> because it has variable length
2021-03-17 01:59:38 +0100jespada(~jespada@90.254.243.187) (Ping timeout: 245 seconds)
2021-03-17 01:59:51 +0100 <fen> so the list has to have length parametric entries
2021-03-17 01:59:59 +0100 <fen> very complicated, sry
2021-03-17 02:00:35 +0100 <Axman6> solidus-river: UNPACK changes the above definition from the C equivalent of struct { int * theInt; byteString * theByteString } into struct { int theInt; int byteStringLength; uint8_t * theByteStringData } - it removes a level of indirection by putting the Int ans the firlds of the bytestring directly into the SimEvent constructor (in a way you don't need to care about reconstructing them)
2021-03-17 02:00:36 +0100 <Gurkenglas> so pretend haskell is less statically typed and risk that i will not implement the correct most static type
2021-03-17 02:01:06 +0100 <fen> then i guess you just put (:) []
2021-03-17 02:01:41 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-17 02:01:47 +0100 <Gurkenglas> exference might do that but im trying to guess what you want.
2021-03-17 02:02:00 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-17 02:02:09 +0100jespada(~jespada@90.254.243.187)
2021-03-17 02:02:22 +0100 <solidus-river> Axman6: thats super cool, didn't know it was possible to get that level of perf control
2021-03-17 02:02:33 +0100jacks2(~bc8134e3@217.29.117.252)
2021-03-17 02:02:43 +0100 <fen> Polynomial :: [[Double]] -> [Double] -> Polynomial
2021-03-17 02:02:47 +0100 <Gurkenglas> (Cons x xs) a@(Cons x (Cons y Empty)) binds x twice, are you sure?
2021-03-17 02:02:57 +0100 <fen> no thats a typo
2021-03-17 02:03:09 +0100 <Gurkenglas> rewrite that input-output pair then
2021-03-17 02:03:10 +0100 <Axman6> solidus-river: it's no C or Ada level of control, but it can help with locality
2021-03-17 02:04:31 +0100mceier_(~mceier@89-68-132-187.dynamic.chello.pl)
2021-03-17 02:04:46 +0100 <Axman6> I'm looking forward to Word*# becomming actually 8 bits, that'll be a nice day
2021-03-17 02:05:26 +0100 <solidus-river> Axman6: in what context do you use haskell?
2021-03-17 02:05:47 +0100 <fen> polynomial [(1.1,[1,2]),(2.2,[3,4])] [5,6] = 1.1 * 5**1 * 6**2 + polynomial [(2.2,[3,4])] [5,6]
2021-03-17 02:06:14 +0100 <Axman6> All of them
2021-03-17 02:06:22 +0100 <Axman6> Haskell is Life
2021-03-17 02:06:22 +0100 <fen> oh no! it doesnt use the created value
2021-03-17 02:07:09 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds)
2021-03-17 02:07:12 +0100 <fen> polynomial [(1.1,[1,2]),(2.2,[3,4])] [5,6] = let x =1.1 * 5**1 * 6**2 in x + polynomial [(2.2,[3,4])] [5,6,x]
2021-03-17 02:07:30 +0100 <fen> but that messes up the arguments...
2021-03-17 02:07:46 +0100mceier(~mceier@89-68-132-187.dynamic.chello.pl) (Ping timeout: 276 seconds)
2021-03-17 02:07:54 +0100 <fen> they have to grow from the length of the input argument
2021-03-17 02:08:14 +0100 <fen> polynomial [(1.1,[1,2]),(2.2,[3,4,4.5])] [5,6] = let x =1.1 * 5**1 * 6**2 in x + polynomial [(2.2,[3,4,4.5])] [5,6,x]
2021-03-17 02:08:30 +0100Morrow_(~MorrowM_@147.161.13.246) (Read error: Connection reset by peer)
2021-03-17 02:08:30 +0100MorrowM(~MorrowM_@147.161.13.246) (Read error: Connection reset by peer)
2021-03-17 02:09:00 +0100 <fen> so i thought it would be easier to just buffer at the length of the inputs
2021-03-17 02:09:17 +0100 <fen> polynomial [(1.1,[1,2]),(2.2,[4,4.5])] [5,6] = let x =1.1 * 5**1 * 6**2 in x + polynomial [(2.2,[4,4.5])] [6,x]
2021-03-17 02:10:00 +0100frozenErebus(~frozenEre@37.231.243.22)
2021-03-17 02:10:28 +0100 <spidr> all of them lol
2021-03-17 02:10:30 +0100 <fen> to give a thick enough data pipe to transfer information through the stages to the output
2021-03-17 02:10:36 +0100forgottenone(~forgotten@176.42.16.24) (Quit: Konversation terminated!)
2021-03-17 02:10:53 +0100 <Gurkenglas> fen, why restrict the thickness of the pipe?
2021-03-17 02:11:04 +0100 <fen> to get a regular length for the parameters
2021-03-17 02:11:24 +0100 <Gurkenglas> Why do you want a regular length for the parameters?
2021-03-17 02:11:36 +0100 <fen> well at least to know how many of them there are!
2021-03-17 02:12:11 +0100 <Gurkenglas> you can carry the length around in the type and still increase it by one at each level.
2021-03-17 02:12:26 +0100 <fen> also, fewer is better, since then it represents something more like a layered net, instead of as it is fully connected to all previous as a kind of diagonal net
2021-03-17 02:12:27 +0100 <Axman6> spidr: a more helpful answer; I've used Haskell at... 6 different companies now, for everything from financial trading, web services, geospatial data munging, and now again for financial stuff, (though that's technically DAML, not Haskell)
2021-03-17 02:12:36 +0100 <Axman6> uh, solidus-river, sorry spidr
2021-03-17 02:13:05 +0100 <spidr> what about simple glue stuff
2021-03-17 02:13:09 +0100 <spidr> talking to an API
2021-03-17 02:13:14 +0100 <spidr> a webserver
2021-03-17 02:13:22 +0100 <Axman6> yeah that too
2021-03-17 02:13:25 +0100 <spidr> etc
2021-03-17 02:13:26 +0100 <fen> thinking of the powers to the monomial terms that are over all previous monomial layers
2021-03-17 02:13:38 +0100 <fen> as weights, along with the monomials weight
2021-03-17 02:13:44 +0100 <Axman6> "Oh there's a web service, I better make A client for it in Servant)
2021-03-17 02:13:47 +0100 <spidr> basically is it practical to replace bash/nodejs with
2021-03-17 02:13:49 +0100 <spidr> haskell lol
2021-03-17 02:14:09 +0100 <spidr> also perl to haskell
2021-03-17 02:14:24 +0100 <spidr> a lot of stuff i do for work is glue, making applications talk to each other
2021-03-17 02:14:28 +0100 <spidr> one api talk to another api
2021-03-17 02:14:28 +0100 <Axman6> not only practical, but it's usually easy and producer really high performance servers.
2021-03-17 02:14:33 +0100 <spidr> interesting
2021-03-17 02:14:38 +0100 <fen> i dont really want the blowup in number of parameters growing with the depth
2021-03-17 02:14:53 +0100 <spidr> dang now I really want to learn it
2021-03-17 02:15:08 +0100 <spidr> I've never HAD to read a programming book before haskell
2021-03-17 02:15:09 +0100NinjaTrappeur(~ninja@unaffiliated/ninjatrappeur) (Ping timeout: 244 seconds)
2021-03-17 02:15:24 +0100 <Axman6> I can't remember what I was listening to the toehr day, but they were talking about rewriting PHP services in Haskell, and finding new bugs in their PHP because the PHP was too slow to trigger them, so they had to inject artificial slowdowns to keep everything working happily
2021-03-17 02:15:44 +0100 <spidr> but I'm getting through Christopher Allen and Julie Moronuki's book
2021-03-17 02:15:46 +0100 <fen> i guess i need a datastructure that can support both versions as a kind of lengthed list containing lengthed lists
2021-03-17 02:16:17 +0100 <fen> but it might be difficult to write an evaluation scheme that works for both cases
2021-03-17 02:16:21 +0100 <spidr> https://haskellbook.com/
2021-03-17 02:16:21 +0100 <spidr> this
2021-03-17 02:16:28 +0100 <spidr> or is there a better resource
2021-03-17 02:17:26 +0100mrchampion(~mrchampio@38.18.109.23) (Remote host closed the connection)
2021-03-17 02:17:38 +0100 <Axman6> I haven't read it but I've heard good things about it. Graham Hutton's Programming in Haskell is what we used in university, and it's since been updated, and is still highly recommended
2021-03-17 02:17:59 +0100 <Axman6> god, I can't believe Real World Haskell is 12 years old, far out
2021-03-17 02:19:35 +0100DataComputist(~lumeng@50.43.26.251)
2021-03-17 02:22:36 +0100 <fen> https://pastebin.com/raw/M2TJKL5T
2021-03-17 02:22:51 +0100NinjaTrappeur(~ninja@unaffiliated/ninjatrappeur)
2021-03-17 02:23:01 +0100 <Axman6> ConsLOL
2021-03-17 02:23:41 +0100 <fen> probably could do with some infix sugar
2021-03-17 02:24:09 +0100Stanley00(~stanley00@unaffiliated/stanley00)
2021-03-17 02:24:41 +0100 <fen> oh yeah, i wanted them growing in length
2021-03-17 02:26:45 +0100mrchampion(~mrchampio@38.18.109.23)
2021-03-17 02:26:49 +0100 <fen> https://pastebin.com/raw/hR2Fs3Yq
2021-03-17 02:27:25 +0100 <Gurkenglas> @let polynomial instrs init = snd $ mapAccumL go init instrs where go s (c,es) = let x = c * product (zipWith (**) s es) in (tail s ++ [x], x)
2021-03-17 02:27:28 +0100 <lambdabot> Defined.
2021-03-17 02:27:51 +0100 <fen> :t polynomial
2021-03-17 02:27:53 +0100 <lambdabot> (Traversable t, Floating c) => t (c, [c]) -> [c] -> t c
2021-03-17 02:28:02 +0100conal(~conal@192.145.118.119) (Quit: Computer has gone to sleep.)
2021-03-17 02:28:11 +0100 <fen> nice
2021-03-17 02:28:44 +0100 <fen> so if i can map from this type safe container and apply that, should be done!
2021-03-17 02:29:09 +0100 <Gurkenglas> or rewrite it to work on the type safe container.
2021-03-17 02:30:12 +0100 <Gurkenglas> n8
2021-03-17 02:32:41 +0100manjaroi3(~manjaro-i@183.217.97.244)
2021-03-17 02:32:58 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 245 seconds)
2021-03-17 02:33:27 +0100notzmv(~zmv@unaffiliated/zmv)
2021-03-17 02:34:13 +0100sMuNiX(~sMuNiX@lnsm2-montreal02-142-118-236-120.internet.virginmobile.ca) (Ping timeout: 265 seconds)
2021-03-17 02:34:38 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 245 seconds)
2021-03-17 02:36:55 +0100travisbtabemann
2021-03-17 02:36:56 +0100DTZUZU(~DTZUZO@205.ip-149-56-132.net) (Read error: Connection reset by peer)
2021-03-17 02:37:53 +0100acidjnk_new(~acidjnk@p200300d0c72b9506e0723511d2830c2e.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2021-03-17 02:38:20 +0100theDon(~td@94.134.91.58) (Ping timeout: 256 seconds)
2021-03-17 02:39:00 +0100gitgoood(~gitgood@80-44-12-129.dynamic.dsl.as9105.com)
2021-03-17 02:40:17 +0100apoc(~apoc@49.12.13.193)
2021-03-17 02:41:57 +0100gitgood(~gitgood@80-44-12-39.dynamic.dsl.as9105.com) (Ping timeout: 264 seconds)
2021-03-17 02:42:09 +0100 <fen> seems to work https://pastebin.com/raw/d2MNn6Uj
2021-03-17 02:43:23 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 256 seconds)
2021-03-17 02:43:27 +0100 <fen> wait, is it backwards?
2021-03-17 02:44:06 +0100 <fen> switching your definition to mapAccumR gives [11.313708498984761,5.656854249492381]
2021-03-17 02:44:16 +0100 <fen> which seems more like its using the sqrt
2021-03-17 02:44:31 +0100manjaroi3(~manjaro-i@183.217.97.244) ("leaving")
2021-03-17 02:45:06 +0100manjaroi3(~manjaro-i@183.217.97.244)
2021-03-17 02:45:07 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 244 seconds)
2021-03-17 02:45:35 +0100drbean(~drbean@TC210-63-209-44.static.apol.com.tw)
2021-03-17 02:45:56 +0100 <fen> Gurkenglas: i just read your definition of polynomial, it does tail, does that mean its doing the buffering?
2021-03-17 02:46:09 +0100 <fen> im not sure if the types on my container match up
2021-03-17 02:49:26 +0100 <fen> and it should return the sum...
2021-03-17 02:53:03 +0100manjaroi3InsideBreeze
2021-03-17 02:54:08 +0100z0k(~user@115-186-141-88.nayatel.pk) (Quit: WeeChat 3.0)
2021-03-17 02:54:20 +0100 <fen> this seems ok; https://pastebin.com/raw/mscyUYun
2021-03-17 02:56:53 +0100augnun(~augnun@2804:14c:658b:41bb:b8be:cb43:1724:b623)
2021-03-17 02:58:40 +0100ezrakilty(~ezrakilty@97-113-58-224.tukw.qwest.net)
2021-03-17 02:58:47 +0100ezrakilty(~ezrakilty@97-113-58-224.tukw.qwest.net) (Remote host closed the connection)
2021-03-17 03:02:52 +0100ezrakilt_(~ezrakilty@97-113-58-224.tukw.qwest.net)
2021-03-17 03:10:51 +0100nfd(~nfd9001@2601:602:77f:1820:7826:d79f:3033:c241)
2021-03-17 03:10:53 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-03-17 03:13:35 +0100 <fen> and that works i think for the fully connected version https://pastebin.com/raw/WmFFrRZC
2021-03-17 03:15:15 +0100urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2021-03-17 03:15:50 +0100spoonm(~spoonm@tokyo.spoonm.org)
2021-03-17 03:18:07 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-17 03:19:13 +0100conal(~conal@64.71.133.70)
2021-03-17 03:24:09 +0100Sgeo__(~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-03-17 03:24:36 +0100InsideBreeze(~manjaro-i@183.217.97.244) (Remote host closed the connection)
2021-03-17 03:27:29 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 244 seconds)
2021-03-17 03:27:30 +0100Sgeo_(~Sgeo@ool-18b98aa4.dyn.optonline.net) (Ping timeout: 246 seconds)
2021-03-17 03:28:59 +0100 <fen> and then, how do i "compile" this down to just one polynomial in the original variables?
2021-03-17 03:30:17 +0100Feuermagier(~Feuermagi@2a02:2488:4211:3400:246e:bf09:8453:9d6) (Ping timeout: 260 seconds)
2021-03-17 03:30:54 +0100son0p_(~son0p@181.58.39.182) (Quit: Lost terminal)
2021-03-17 03:36:53 +0100glamas(~glamas@107.182.17.237) (Quit: ZNC 1.7.4 - https://znc.in)
2021-03-17 03:37:32 +0100manjaroi3(~manjaro-i@183.217.97.244)
2021-03-17 03:38:02 +0100glamas(~glamas@107.182.17.237)
2021-03-17 03:38:19 +0100manjaroi3InsideBreeze
2021-03-17 03:41:57 +0100xff0x(~xff0x@2001:1a81:52ee:e100:f577:1f30:738f:e56) (Ping timeout: 260 seconds)
2021-03-17 03:42:02 +0100renzhi(~renzhi@2607:fa49:653f:eb00::296e) (Ping timeout: 264 seconds)
2021-03-17 03:43:35 +0100xff0x(~xff0x@2001:1a81:5326:4900:3e74:f6d7:c8e5:a70d)
2021-03-17 03:46:33 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-17 03:46:37 +0100ezrakilt_(~ezrakilty@97-113-58-224.tukw.qwest.net) (Remote host closed the connection)
2021-03-17 03:49:43 +0100molehillish(~molehilli@ip98-167-226-26.ph.ph.cox.net) (Remote host closed the connection)
2021-03-17 03:50:15 +0100molehillish(~molehilli@2600:8800:8d06:1800:2195:2964:ee:f10b)
2021-03-17 03:52:34 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-03-17 03:54:42 +0100Sheilong(uid293653@gateway/web/irccloud.com/x-rdlxtdjjstsfznpl) ()
2021-03-17 03:55:14 +0100molehillish(~molehilli@2600:8800:8d06:1800:2195:2964:ee:f10b) (Ping timeout: 264 seconds)
2021-03-17 03:55:24 +0100Stanley00(~stanley00@unaffiliated/stanley00) (Remote host closed the connection)
2021-03-17 03:56:12 +0100tomku(~tomku@unaffiliated/tomku) (Ping timeout: 246 seconds)
2021-03-17 03:56:45 +0100augnun(~augnun@2804:14c:658b:41bb:b8be:cb43:1724:b623) (Quit: WeeChat 3.1)
2021-03-17 03:57:03 +0100alx741(~alx741@186.178.109.138) (Quit: alx741)
2021-03-17 03:58:08 +0100 <infinisil> fen: Why is there an (S m) in Poly?
2021-03-17 03:58:25 +0100molehillish(~molehilli@ip98-167-226-26.ph.ph.cox.net)
2021-03-17 03:58:31 +0100 <fen> its not really a "polynomial"
2021-03-17 03:58:49 +0100 <infinisil> Ah I haven't read the backlog
2021-03-17 03:58:55 +0100 <fen> its like a polynomial where it can refer to the previous monmials as if they were input variables
2021-03-17 03:59:22 +0100 <fen> so it should be evaluable to a polynomial in just these input variables...
2021-03-17 03:59:41 +0100 <fen> for differentiation, otherwise this thing has product rule terms
2021-03-17 04:00:00 +0100 <spidr> are you all math majors
2021-03-17 04:00:06 +0100 <infinisil> fen: What do you mean by "compile" it down?
2021-03-17 04:00:14 +0100Alleria(~textual@mskresolve-a.mskcc.org)
2021-03-17 04:00:37 +0100AlleriaGuest8076
2021-03-17 04:01:12 +0100 <fen> well, the previous monomials are thought of as bound variables, so dereferencfing over those and rewriting them in terms of eventually just the inputs, and you have to kind of multiply down the powers, distributing over the product of terms in each monomial
2021-03-17 04:02:37 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-17 04:02:51 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 246 seconds)
2021-03-17 04:02:56 +0100 <infinisil> Got an example of that?
2021-03-17 04:02:59 +0100 <fen> so each monomial basically just expands and you are left with as many terms at the end
2021-03-17 04:04:20 +0100 <fen> f (x,y,z) = "a=" x*y*(z**0) + "b=" 2*x^^0*y*z*a
2021-03-17 04:04:26 +0100drbean(~drbean@TC210-63-209-44.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
2021-03-17 04:04:26 +0100 <fen> can be rewritten;
2021-03-17 04:04:48 +0100 <fen> f (x,y,z) = x*y*(z**0) + "b=" 2*x^^0*y*z*x*y*(z**0)
2021-03-17 04:04:59 +0100 <fen> f (x,y,z) = x*y*(z**0) + 2*x^^0*y*z*x*y*(z**0)
2021-03-17 04:05:05 +0100Guest8076(~textual@mskresolve-a.mskcc.org) (Ping timeout: 265 seconds)
2021-03-17 04:05:18 +0100 <fen> i guess you have to collect terms and combine powers
2021-03-17 04:05:21 +0100 <infinisil> Ah I see
2021-03-17 04:05:26 +0100nfd(~nfd9001@2601:602:77f:1820:7826:d79f:3033:c241) (Ping timeout: 264 seconds)
2021-03-17 04:05:34 +0100 <fen> and if there had been a power on the `a'
2021-03-17 04:05:49 +0100 <fen> f (x,y,z) = "a=" x*y*(z**0) + "b=" 2*x^^0*y*z*(a**0.5)
2021-03-17 04:05:50 +0100FinnElija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-03-17 04:05:50 +0100finn_elijaGuest80609
2021-03-17 04:05:50 +0100FinnElijafinn_elija
2021-03-17 04:06:05 +0100 <fen> f (x,y,z) = x*y*(z**0) + 2*x^^0*y*z*(x*y*(z**0))**0.5
2021-03-17 04:06:16 +0100 <fen> f (x,y,z) = x*y*(z**0) + 2*x**0*y*z*(x*y*(z**0))**0.5
2021-03-17 04:07:00 +0100 <infinisil> So for a start, I suggest renaming your pseudo-polynomial type to something different, and then creating an actual Polynomial type that captures the result you want
2021-03-17 04:07:07 +0100 <fen> where then you have to; distribute the power over the rewritten terms,collect terms and combine powers
2021-03-17 04:07:14 +0100 <infinisil> Then write a function that changes the pseudo-polynomial into a proper one
2021-03-17 04:07:18 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds)
2021-03-17 04:07:44 +0100 <fen> and back again
2021-03-17 04:08:11 +0100tomku(~tomku@unaffiliated/tomku)
2021-03-17 04:08:13 +0100 <fen> and something then can rewrite the pseudo-polynomial into this form
2021-03-17 04:08:55 +0100Guest80609(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds)
2021-03-17 04:09:51 +0100ezrakilty(~ezrakilty@97-113-58-224.tukw.qwest.net)
2021-03-17 04:11:28 +0100tinwood(~tinwood@general.default.akavanagh.uk0.bigv.io) (Remote host closed the connection)
2021-03-17 04:14:25 +0100Alleria__(~textual@mskresolve-a.mskcc.org)
2021-03-17 04:14:38 +0100tinwood(~tinwood@general.default.akavanagh.uk0.bigv.io)
2021-03-17 04:15:45 +0100m0rphism(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 256 seconds)
2021-03-17 04:19:06 +0100Alleria__(~textual@mskresolve-a.mskcc.org) (Ping timeout: 260 seconds)
2021-03-17 04:31:15 +0100 <fen> infinisil: https://pastebin.com/raw/Z6J6yybf
2021-03-17 04:34:43 +0100 <infinisil> fen: Nice, what would the type be of a function that converts from PolyDeep to Polynomial?
2021-03-17 04:36:02 +0100 <fen> the type parameters on PolyDeep are the input and output lengths, so it depends how deep it is, but with no extra monomials it would be Polynomial n -> PolyDeep n n
2021-03-17 04:36:39 +0100 <infinisil> fen: *from* PolyDeep to Polynomial
2021-03-17 04:36:49 +0100 <fen> now, in the other direction, any amount of extra zero monomials (0*(x**0 * y ** 0 ...)) can be used as padding
2021-03-17 04:37:23 +0100 <fen> oh wait, thats in the same direction, to initialise an extension having mapped into the lower terms
2021-03-17 04:37:49 +0100 <fen> generally we should have forall n m. PolyDeep m n -> Polynomial n
2021-03-17 04:37:58 +0100 <fen> if i have the arguments the right way round
2021-03-17 04:38:26 +0100 <fen> which says that we can squash down any `m' depthed PolyDeep into a polynomial the length of its first layer
2021-03-17 04:38:44 +0100 <fen> well, the "layers" are more like a diagonal...
2021-03-17 04:38:47 +0100 <infinisil> Yeah that sounds right
2021-03-17 04:39:11 +0100 <infinisil> So the goal is to implement a function PolyDeep m n -> Polynomial n
2021-03-17 04:39:15 +0100 <fen> were you thinking to try and store the intermediate values in the PolyDeep container?
2021-03-17 04:39:36 +0100 <fen> squashing it down one layer at a time seems feasible
2021-03-17 04:40:01 +0100 <infinisil> Yeah, no need to store intermediate results anywhere, using recursion should work
2021-03-17 04:40:17 +0100 <fen> so you would end up with PolyDeep n n, and then only need PolyDeep n n -> Polynomial n which should be trivial to write
2021-03-17 04:40:39 +0100 <fen> i dont see how you wouldnt need intermediate values...
2021-03-17 04:41:02 +0100 <infinisil> Create a function with such a type, then pattern match on the PolyDeep for a start
2021-03-17 04:41:03 +0100 <fen> i would recurse on a class with parameters m n
2021-03-17 04:41:53 +0100 <fen> yeah the basecase should be easy, but i dont think i can write the recursive case
2021-03-17 04:44:25 +0100 <infinisil> fen: Give it a try. Keep in mind that in the recursive case you can rely on such a `deepToPoly` function having converting an m-PolyDeep into a Polynomial already
2021-03-17 04:45:06 +0100hrnz(~hrnz@unaffiliated/hrnz) ("der channel hier ist nicht mein niveau ciao")
2021-03-17 04:46:45 +0100 <infinisil> (Gotta go sleep now though)
2021-03-17 04:48:47 +0100dfeuer(~dfeuer@pool-173-79-253-62.washdc.fios.verizon.net) (Remote host closed the connection)
2021-03-17 04:52:41 +0100solidus-river(~mike@174.127.249.180) (Remote host closed the connection)
2021-03-17 04:56:11 +0100 <fen> cheers
2021-03-17 05:02:22 +0100ezrakilty(~ezrakilty@97-113-58-224.tukw.qwest.net) (Remote host closed the connection)
2021-03-17 05:02:35 +0100longtran(465f9847@cpe-70-95-152-71.san.res.rr.com)
2021-03-17 05:08:16 +0100fresheyeball(~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9)
2021-03-17 05:08:32 +0100Stanley00(~stanley00@unaffiliated/stanley00)
2021-03-17 05:08:37 +0100fresheyeball(~isaac@c-71-237-105-37.hsd1.co.comcast.net)
2021-03-17 05:08:40 +0100fiddlerwoaroof_fiddlerwoaroof
2021-03-17 05:11:04 +0100molehillish(~molehilli@ip98-167-226-26.ph.ph.cox.net) (Remote host closed the connection)
2021-03-17 05:12:45 +0100ezrakilty(~ezrakilty@97-113-58-224.tukw.qwest.net)
2021-03-17 05:14:20 +0100plutoniix(~q@184.82.210.215)
2021-03-17 05:16:02 +0100kilolympus(~kilolympu@5.151.5.181)
2021-03-17 05:17:26 +0100ezrakilty(~ezrakilty@97-113-58-224.tukw.qwest.net) (Ping timeout: 260 seconds)
2021-03-17 05:21:37 +0100 <koz_> How does one get hold of the State# s needed to call newByteArray#?
2021-03-17 05:21:37 +0100Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-03-17 05:21:48 +0100shad0w_(a0ca25d0@160.202.37.208)
2021-03-17 05:22:12 +0100Tario(~Tario@201.192.165.173)
2021-03-17 05:25:07 +0100cur8or(~cur8or@72canterbury.cybersmart.co.za)
2021-03-17 05:26:19 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 244 seconds)
2021-03-17 05:26:46 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 265 seconds)
2021-03-17 05:27:16 +0100rdivyanshu(uid322626@gateway/web/irccloud.com/x-uojiocmqissodtcu)
2021-03-17 05:28:06 +0100Shiranai(beed0de4@gateway/web/cgi-irc/kiwiirc.com/ip.190.237.13.228)
2021-03-17 05:31:43 +0100 <glguy> koz_, generally there's not a good reason for you to do that, to see how you can look at what the primitive package does
2021-03-17 05:31:50 +0100 <glguy> If you can just use that package you should
2021-03-17 05:31:57 +0100 <koz_> glguy: Noted, and thanks!
2021-03-17 05:32:16 +0100 <koz_> I actually need this because I'm writing something back-ended by ByteArray#.
2021-03-17 05:33:33 +0100cur8or(~cur8or@72canterbury.cybersmart.co.za) (Ping timeout: 244 seconds)
2021-03-17 05:33:52 +0100geowiesnot_bis(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-03-17 05:35:27 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 05:36:14 +0100 <Axman6> you kist write functions that accept a State# s and return (# State# s, a #) IIRC
2021-03-17 05:36:15 +0100 <emmanuel_erc> Hello there.... for normal typeclasses it is generally possible to convert some it to the equivalent function dictionary (e.g. the Eq, or Ord typeclass)
2021-03-17 05:36:27 +0100 <emmanuel_erc> However, what if the typeclass has an associated type or data?
2021-03-17 05:36:46 +0100 <emmanuel_erc> Is it possible to do the conversion as well in that instance?
2021-03-17 05:37:09 +0100 <c_wraith> you convert it into a dictionary and define type/data instances outside of the dictionary.
2021-03-17 05:37:35 +0100 <c_wraith> There's no requirement that type families or data families be tied to a class
2021-03-17 05:37:36 +0100ph88_(~ph88@2a02:8109:9e00:7e5c:85cc:3a34:36cf:1a53) (Ping timeout: 265 seconds)
2021-03-17 05:38:26 +0100ejjfunky(7da36f81@125.163.111.129)
2021-03-17 05:38:41 +0100 <emmanuel_erc> c_wraith: I guess I was overthinking it. I thought GHC did something else sosphicated when compiling typeclass definitions that have associated types/datum
2021-03-17 05:38:48 +0100 <emmanuel_erc> s/datum/data/
2021-03-17 05:39:21 +0100 <c_wraith> nah. it's really that easy
2021-03-17 05:40:02 +0100 <emmanuel_erc> I guess it's better when GHC does it, since it does the bookkeeping for you.
2021-03-17 05:40:15 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-03-17 05:40:19 +0100 <c_wraith> yeah, it makes sure you don't forget stuff
2021-03-17 05:40:40 +0100conal(~conal@64.71.133.70)
2021-03-17 05:41:12 +0100Shiranai(beed0de4@gateway/web/cgi-irc/kiwiirc.com/ip.190.237.13.228) (Quit: Connection closed)
2021-03-17 05:41:54 +0100minoru_shiraeesh(~shiraeesh@46.34.206.65) (Ping timeout: 246 seconds)
2021-03-17 05:45:26 +0100conal(~conal@64.71.133.70) (Ping timeout: 260 seconds)
2021-03-17 05:47:59 +0100monochrom(trebla@216.138.220.146) (Quit: NO CARRIER)
2021-03-17 05:47:59 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 05:48:18 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 05:48:45 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-17 05:48:45 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 05:48:54 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 05:53:35 +0100ejjfunky(7da36f81@125.163.111.129) (Quit: Connection closed)
2021-03-17 05:54:29 +0100astroanax(astroanax@gateway/shell/ircnow/x-soogubkvrbnfsoqt) (Quit: quit)
2021-03-17 05:54:47 +0100longtran(465f9847@cpe-70-95-152-71.san.res.rr.com) (Quit: Connection closed)
2021-03-17 05:57:25 +0100ejjfunky(7da36f81@125.163.111.129)
2021-03-17 05:57:58 +0100monochrom(trebla@216.138.220.146)
2021-03-17 05:59:27 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-17 06:00:12 +0100Alleria(~textual@mskresolve-a.mskcc.org)
2021-03-17 06:00:35 +0100AlleriaGuest19377
2021-03-17 06:02:23 +0100astroanax(astroanax@gateway/shell/ircnow/x-ugavefgpyfztxwoh)
2021-03-17 06:02:57 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-17 06:04:33 +0100Guest19377(~textual@mskresolve-a.mskcc.org) (Ping timeout: 256 seconds)
2021-03-17 06:04:34 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds)
2021-03-17 06:05:27 +0100polyphem(~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Ping timeout: 260 seconds)
2021-03-17 06:07:23 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds)
2021-03-17 06:18:15 +0100Alleria__(~textual@zrcout.mskcc.org)
2021-03-17 06:22:34 +0100Alleria__(~textual@zrcout.mskcc.org) (Ping timeout: 245 seconds)
2021-03-17 06:22:34 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 06:22:58 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-03-17 06:23:00 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 06:25:24 +0100theDon(~td@94.134.91.246)
2021-03-17 06:30:15 +0100Alleria__(~textual@mskresolve-a.mskcc.org)
2021-03-17 06:31:11 +0100theDon(~td@94.134.91.246) (Ping timeout: 256 seconds)
2021-03-17 06:31:59 +0100Wuzzy(~Wuzzy@p57a2ecf2.dip0.t-ipconnect.de) (Remote host closed the connection)
2021-03-17 06:32:14 +0100teardown(~user@gateway/tor-sasl/mrush) (Remote host closed the connection)
2021-03-17 06:32:19 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2021-03-17 06:32:37 +0100theDon(~td@94.134.91.246)
2021-03-17 06:34:15 +0100molehillish(~molehilli@2600:8800:8d06:1800:2195:2964:ee:f10b)
2021-03-17 06:34:54 +0100Alleria__(~textual@mskresolve-a.mskcc.org) (Ping timeout: 260 seconds)
2021-03-17 06:37:45 +0100teardown(~user@gateway/tor-sasl/mrush)
2021-03-17 06:41:50 +0100jonatan(~nate@h77-53-70-163.cust.a3fiber.se) (Quit: leaving)
2021-03-17 06:42:37 +0100Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-03-17 06:43:05 +0100bobweb(ac3810b1@172.56.16.177)
2021-03-17 06:43:08 +0100tanuki(~quassel@173.168.154.189) (Ping timeout: 256 seconds)
2021-03-17 06:43:15 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-17 06:44:50 +0100fresheyeball(~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9)
2021-03-17 06:45:55 +0100forgottenone(~forgotten@176.42.16.24)
2021-03-17 06:46:35 +0100MahmoudMAZOUZ[m](mazouzmaen@gateway/shell/matrix.org/x-stmztyxtngssovxi)
2021-03-17 06:48:27 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2021-03-17 06:50:20 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-03-17 06:52:33 +0100p8m(p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 245 seconds)
2021-03-17 06:52:52 +0100carlomagno(~cararell@148.87.23.5) (Quit: Leaving.)
2021-03-17 06:54:09 +0100 <bobweb> Hi. Learning about monoids from the Haskell Book chapter 15 and I have this problem: https://paste.tomsmeding.com/i4Z3VUm5 Please help if you can. Thank you.
2021-03-17 06:54:14 +0100sh9(~sh9@softbank060116136158.bbtec.net)
2021-03-17 06:55:24 +0100 <koz_> You're using 'Only 1'. However, the literal '1' can have many types.
2021-03-17 06:56:03 +0100 <koz_> At least I think that's what it's complaining about.
2021-03-17 06:56:10 +0100 <koz_> Hard to see without more context.
2021-03-17 06:57:07 +0100 <bobweb> koz: Hi again. Yes, I can make it work with (Sum 1), but the book doesn't mention this in this example so I figured I was missing something.
2021-03-17 06:57:21 +0100toorevitimirp(~tooreviti@117.182.183.55)
2021-03-17 06:57:40 +0100 <koz_> Yeah, I'm not sure either.
2021-03-17 06:58:19 +0100 <bobweb> OK, so it's not just me this time. Thanks again for your help.
2021-03-17 06:58:31 +0100mceier_mceier
2021-03-17 06:58:50 +0100Hi-Angel(~constanti@broadband-188-32-15-112.ip.moscow.rt.ru)
2021-03-17 07:03:03 +0100jacks2(~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout))
2021-03-17 07:04:22 +0100bobweb(ac3810b1@172.56.16.177) (Ping timeout: 240 seconds)
2021-03-17 07:04:26 +0100 <curiousgay> monochrom: tomsmeding: stack doesn't provide GHC with haddock and I can't build any version of haddock with stack
2021-03-17 07:06:00 +0100 <curiousgay> never mind, it does
2021-03-17 07:08:39 +0100cole-h_(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-03-17 07:11:57 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2021-03-17 07:15:02 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-03-17 07:17:06 +0100p8m(p8m@gateway/vpn/protonvpn/p8m)
2021-03-17 07:17:54 +0100cole-h_cole-h
2021-03-17 07:20:43 +0100idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-03-17 07:20:43 +0100MidAutumnHotaru(~MidAutumn@unaffiliated/midautumnhotaru) (Quit: Quit 啾)
2021-03-17 07:21:23 +0100MidAutumnHotaru(~MidAutumn@unaffiliated/midautumnhotaru)
2021-03-17 07:22:20 +0100zebrag(~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-17 07:24:18 +0100xelxebar(~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection)
2021-03-17 07:26:01 +0100Marklkajsdfj(1fd09b60@31-208-155-96.cust.bredband2.com)
2021-03-17 07:26:31 +0100xelxebar(~xelxebar@gateway/tor-sasl/xelxebar)
2021-03-17 07:27:23 +0100hackageaviation-units 0.0.2 - Units of measurements used in aviation. https://hackage.haskell.org/package/aviation-units-0.0.2 (TonyMorris)
2021-03-17 07:29:03 +0100jud(~jud@unaffiliated/jud)
2021-03-17 07:29:07 +0100Marklkajsdfj(1fd09b60@31-208-155-96.cust.bredband2.com) (Client Quit)
2021-03-17 07:29:21 +0100puffnfre-(~puffnfres@45.76.124.5)
2021-03-17 07:29:32 +0100puffnfresh_(~puffnfres@45.76.124.5) (Ping timeout: 265 seconds)
2021-03-17 07:29:58 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds)
2021-03-17 07:30:00 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-17 07:32:48 +0100finn_elija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection)
2021-03-17 07:33:09 +0100finn_elija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-03-17 07:34:13 +0100waleee-cl(uid373333@gateway/web/irccloud.com/x-trkstrvybvcbmzax) (Quit: Connection closed for inactivity)
2021-03-17 07:34:27 +0100puke(~vroom@217.138.252.180)
2021-03-17 07:34:57 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2021-03-17 07:37:30 +0100sord937(~sord937@gateway/tor-sasl/sord937)
2021-03-17 07:38:23 +0100hackageaviation-weight-balance 0.0.2 - Weight and Balance structures used in aviation. https://hackage.haskell.org/package/aviation-weight-balance-0.0.2 (TonyMorris)
2021-03-17 07:38:24 +0100 <hololeap> i've been playing around with a GADT for monad transformer stacks, just out of curiosity: https://dpaste.com/H5A693S5H
2021-03-17 07:39:02 +0100vgtw(~vgtw@gateway/tor-sasl/vgtw) (Remote host closed the connection)
2021-03-17 07:39:22 +0100molehillish(~molehilli@2600:8800:8d06:1800:2195:2964:ee:f10b) (Remote host closed the connection)
2021-03-17 07:39:38 +0100 <hololeap> i'm wondering if there is a way to write liftStack with the current signature, or would i have to pass in some sort of singleton so i can pattern match based on what 'ts' looks like
2021-03-17 07:39:48 +0100vgtw(~vgtw@gateway/tor-sasl/vgtw)
2021-03-17 07:40:45 +0100fen(5ce955fb@gateway/web/cgi-irc/kiwiirc.com/ip.92.233.85.251) (Ping timeout: 264 seconds)
2021-03-17 07:40:53 +0100InsideBreeze(~manjaro-i@183.217.97.244) (Ping timeout: 245 seconds)
2021-03-17 07:43:43 +0100Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck)
2021-03-17 07:43:49 +0100molehillish(~molehilli@2600:8800:8d06:1800:2195:2964:ee:f10b)
2021-03-17 07:43:50 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 07:44:05 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 07:44:22 +0100srk(~sorki@gateway/tor-sasl/sorki) (Remote host closed the connection)
2021-03-17 07:44:22 +0100hexo(~hexo@gateway/tor-sasl/hexo) (Remote host closed the connection)
2021-03-17 07:44:33 +0100andreas31(~andreas@gateway/tor-sasl/andreas303) (Remote host closed the connection)
2021-03-17 07:44:35 +0100srk(~sorki@gateway/tor-sasl/sorki)
2021-03-17 07:44:40 +0100hexo(~hexo@gateway/tor-sasl/hexo)
2021-03-17 07:44:55 +0100 <koz_> Yeah, you'd need to know the shape, because otherwise, what constructor do you need?
2021-03-17 07:45:05 +0100molehillish(~molehilli@2600:8800:8d06:1800:2195:2964:ee:f10b) (Remote host closed the connection)
2021-03-17 07:45:09 +0100andreas31(~andreas@gateway/tor-sasl/andreas303)
2021-03-17 07:45:38 +0100 <hololeap> right
2021-03-17 07:45:52 +0100Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck) (Remote host closed the connection)
2021-03-17 07:46:38 +0100Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck)
2021-03-17 07:47:03 +0100 <hololeap> i vaguely remember there was some way to pattern match based solely on the type, but maybe i'm mistaken
2021-03-17 07:48:07 +0100 <hololeap> it had something to do with pattern matching on SomeException
2021-03-17 07:48:29 +0100 <koz_> In this case, you kinda can't.
2021-03-17 07:48:34 +0100 <hololeap> so i was thinking it might be possible to pattern match on (Proxy @ts)
2021-03-17 07:48:36 +0100 <koz_> You need to know what exact 'shape' ts has.
2021-03-17 07:48:44 +0100 <koz_> So you need a _runtime_ witness to this.
2021-03-17 07:48:44 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 07:49:11 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 07:49:23 +0100hackageaviation-cessna172-weight-balance 0.0.2 - Weight and Balance for the Cessna 172 aircraft in aviation. https://hackage.haskell.org/package/aviation-cessna172-weight-balance-0.0.2 (TonyMorris)
2021-03-17 07:49:49 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com)
2021-03-17 07:50:10 +0100Varis(~Tadas@unaffiliated/varis)
2021-03-17 07:51:05 +0100 <hololeap> alright
2021-03-17 07:51:23 +0100 <koz_> I think there's some package that gives specifically typelevel list singletons.
2021-03-17 07:51:29 +0100 <koz_> (which isn't singletons-the-package)
2021-03-17 07:51:46 +0100 <hololeap> well, if i was more invested in this experiment i might care
2021-03-17 07:51:50 +0100 <hololeap> lol
2021-03-17 07:52:26 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2021-03-17 07:52:40 +0100 <hololeap> i think i've seen that package before. in any case, it wouldn't be too hard to write a one-off singleton
2021-03-17 07:52:52 +0100barnowl_(~barnowl@gateway/tor-sasl/barnowl) (Remote host closed the connection)
2021-03-17 07:53:16 +0100barnowl_(~barnowl@gateway/tor-sasl/barnowl)
2021-03-17 07:53:17 +0100 <hololeap> but this file is most likely going to die in /tmp
2021-03-17 07:53:18 +0100 <koz_> It has a few nice helpers too.
2021-03-17 07:53:22 +0100 <koz_> Oh well.
2021-03-17 07:54:10 +0100InsideBreeze(~manjaro-i@183.217.98.211)
2021-03-17 07:56:55 +0100vicfred(vicfred@gateway/vpn/mullvad/vicfred)
2021-03-17 07:56:59 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2021-03-17 08:00:27 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Remote host closed the connection)
2021-03-17 08:00:27 +0100kam1(~kam1@83.123.167.219) (Remote host closed the connection)
2021-03-17 08:00:43 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net)
2021-03-17 08:00:43 +0100kam1(~kam1@83.123.167.219)
2021-03-17 08:02:24 +0100malumore(~malumore@151.62.112.239)
2021-03-17 08:07:01 +0100cur8or(~cur8or@72canterbury.cybersmart.co.za)
2021-03-17 08:07:14 +0100bitmagie(~Thunderbi@200116b806d4970045cae2470eb56c01.dip.versatel-1u1.de)
2021-03-17 08:07:32 +0100jol(jol@jol.dev) (Quit: ZNC 1.7.5 - https://znc.in)
2021-03-17 08:07:33 +0100SolarAquarion(SolarAquar@gateway/shell/panicbnc/x-xrdswepzyygrznne) (Remote host closed the connection)
2021-03-17 08:07:55 +0100jol(~jol@jol.dev)
2021-03-17 08:08:05 +0100bitmagie(~Thunderbi@200116b806d4970045cae2470eb56c01.dip.versatel-1u1.de) (Client Quit)
2021-03-17 08:09:11 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-17 08:09:45 +0100 <hololeap> koz_: a cursory glance at `cabal list list` and `cabal list singleton` didn't find it. i'm curious so if you find it, let me know
2021-03-17 08:09:58 +0100 <koz_> hololeap: It's not simply named.
2021-03-17 08:10:05 +0100 <koz_> Let me see if I can re-dredge that train of memory.
2021-03-17 08:10:28 +0100Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 276 seconds)
2021-03-17 08:10:41 +0100hololeapimagines koz_'s eyes rolling to the back of their head
2021-03-17 08:11:31 +0100 <koz_> sop-core
2021-03-17 08:12:02 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-03-17 08:12:04 +0100idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 265 seconds)
2021-03-17 08:12:08 +0100 <koz_> (or at least I think)
2021-03-17 08:13:27 +0100 <hololeap> https://hackage.haskell.org/package/sop-core/docs/Data-SOP-Sing.html
2021-03-17 08:13:39 +0100 <koz_> https://hackage.haskell.org/package/sop-core-0.5.0.1/docs/Data-SOP.html#v:sList
2021-03-17 08:13:46 +0100 <hololeap> ha
2021-03-17 08:13:50 +0100michalz(~user@185.246.204.39)
2021-03-17 08:13:57 +0100 <koz_> Also: https://hackage.haskell.org/package/sop-core-0.5.0.1/docs/Data-SOP.html#t:Shape
2021-03-17 08:14:03 +0100_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-03-17 08:14:08 +0100 <hololeap> i haven't seen that one before. and there's no way i would have found that by searching
2021-03-17 08:14:22 +0100 <koz_> hololeap: I only found it by accident, then filed it in a dusty corner of my brain.
2021-03-17 08:14:28 +0100 <koz_> (with a red string leading to it)
2021-03-17 08:14:42 +0100 <hololeap> nice, thanks
2021-03-17 08:14:47 +0100 <hololeap> i will bookmark it
2021-03-17 08:14:58 +0100kam1(~kam1@83.123.167.219) (Read error: Connection reset by peer)
2021-03-17 08:17:23 +0100hackageaviation-cessna172-diagrams 0.0.3 - Diagrams for the Cessna 172 aircraft in aviation. https://hackage.haskell.org/package/aviation-cessna172-diagrams-0.0.3 (TonyMorris)
2021-03-17 08:17:31 +0100Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 2.8)
2021-03-17 08:18:31 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-03-17 08:19:22 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-17 08:20:09 +0100teardown(~user@gateway/tor-sasl/mrush) (Remote host closed the connection)
2021-03-17 08:20:28 +0100teardown(~user@gateway/tor-sasl/mrush)
2021-03-17 08:25:53 +0100kam1(~kam1@83.123.167.219)
2021-03-17 08:29:57 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 265 seconds)
2021-03-17 08:29:59 +0100Sgeo__(~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer)
2021-03-17 08:33:35 +0100LKoen(~LKoen@194.250.88.92.rev.sfr.net)
2021-03-17 08:40:47 +0100timCF(~i.tkachuk@200-149-20-81.sta.estpak.ee)
2021-03-17 08:41:06 +0100timCF(~i.tkachuk@200-149-20-81.sta.estpak.ee) (Client Quit)
2021-03-17 08:41:18 +0100adium(adium@unaffiliated/adium) (Ping timeout: 245 seconds)
2021-03-17 08:41:34 +0100e2(e2@sponsored.by.bnc4you.xyz) (Ping timeout: 256 seconds)
2021-03-17 08:42:25 +0100kam1(~kam1@83.123.167.219) (Read error: Connection reset by peer)
2021-03-17 08:47:43 +0100chele(~chele@ip5b40237d.dynamic.kabel-deutschland.de)
2021-03-17 08:48:19 +0100frozenErebus(~frozenEre@37.231.243.22) (Ping timeout: 256 seconds)
2021-03-17 08:53:23 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-03-17 08:55:09 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
2021-03-17 08:58:19 +0100heatsink(~heatsink@2600:1700:bef1:5e10:f837:3533:97b:1f44) (Remote host closed the connection)
2021-03-17 08:58:41 +0100cfricke(~cfricke@unaffiliated/cfricke)
2021-03-17 09:02:01 +0100evanjs(~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 09:02:53 +0100idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-03-17 09:02:57 +0100 <dminuoso> edwardk: Is there a reason you prefer `traverse` over `each`?
2021-03-17 09:03:26 +0100evanjs(~evanjs@075-129-098-007.res.spectrum.com)
2021-03-17 09:04:54 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-17 09:06:18 +0100Yumasi(~guillaume@2a01:e0a:5cb:4430:a837:43a1:f9fb:9eec)
2021-03-17 09:09:06 +0100Paks(~paks@c-69-136-183-189.hsd1.il.comcast.net) (Ping timeout: 265 seconds)
2021-03-17 09:09:21 +0100Paks(~paks@c-69-136-183-189.hsd1.il.comcast.net)
2021-03-17 09:10:53 +0100vicfred(vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving)
2021-03-17 09:13:17 +0100unlink_(~unlink2@p200300ebcf13b600588c7881abb1ea42.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-03-17 09:15:35 +0100hiroaki(~hiroaki@2a02:8108:8c40:2bb8:95b6:d0de:2d1d:5979) (Ping timeout: 265 seconds)
2021-03-17 09:18:21 +0100wz1000(~wz1000@static.11.113.47.78.clients.your-server.de) (Ping timeout: 256 seconds)
2021-03-17 09:18:49 +0100Major_Biscuit(~Major_Bis@82-169-100-198.biz.kpn.net)
2021-03-17 09:18:51 +0100ph88_(~ph88@2a02:8109:9e00:7e5c:85cc:3a34:36cf:1a53)
2021-03-17 09:18:52 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 09:19:15 +0100asheshambasta(~user@ptr-e1lysauv56fsp3y7v62.18120a2.ip6.access.telenet.be)
2021-03-17 09:19:16 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 09:20:20 +0100raym(~ray@115.187.32.14)
2021-03-17 09:20:37 +0100jrqc(~rofl@96.78.87.197) (Ping timeout: 256 seconds)
2021-03-17 09:21:05 +0100SolarAquarion(SolarAquar@gateway/shell/panicbnc/x-lgjxlcwpqdmnxdiz)
2021-03-17 09:21:13 +0100wz1000(~wz1000@static.11.113.47.78.clients.your-server.de)
2021-03-17 09:23:29 +0100jrqc(~rofl@96.78.87.197)
2021-03-17 09:25:02 +0100 <edwardk> dminuoso: it is in prelude?
2021-03-17 09:25:33 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds)
2021-03-17 09:25:38 +0100 <edwardk> each.each._Just is fairly gratuitous by comparison
2021-03-17 09:25:38 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 09:25:51 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 09:25:52 +0100 <edwardk> given it matches the behavior of traverse.traverse.traverse which can be had without even looking at lens
2021-03-17 09:26:24 +0100 <dminuoso> Fair enough
2021-03-17 09:26:43 +0100hiroaki(~hiroaki@2a02:8108:8c40:2bb8:e36e:9885:3dcc:fcb4)
2021-03-17 09:27:21 +0100 <koz_> traverse truly does do everything.
2021-03-17 09:29:29 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-03-17 09:29:56 +0100frozenErebus(~frozenEre@37.231.243.22)
2021-03-17 09:30:11 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-17 09:32:00 +0100natechan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2021-03-17 09:32:33 +0100wz1000(~wz1000@static.11.113.47.78.clients.your-server.de) (Ping timeout: 246 seconds)
2021-03-17 09:32:33 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 09:32:57 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 09:33:24 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-17 09:33:39 +0100jrqc(~rofl@96.78.87.197) (Ping timeout: 256 seconds)
2021-03-17 09:33:40 +0100wz1000(~wz1000@static.11.113.47.78.clients.your-server.de)
2021-03-17 09:33:54 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan)
2021-03-17 09:34:17 +0100natechan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-03-17 09:37:14 +0100Varis(~Tadas@unaffiliated/varis)
2021-03-17 09:38:14 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds)
2021-03-17 09:39:23 +0100hackagejuandelacosa 0.1.2 - Manage users in MariaDB >= 10.1.1 https://hackage.haskell.org/package/juandelacosa-0.1.2 (ip1981)
2021-03-17 09:39:23 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 09:39:32 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 09:45:31 +0100bitmagie(~Thunderbi@200116b806d4970045cae2470eb56c01.dip.versatel-1u1.de)
2021-03-17 09:46:52 +0100rdivyanshu(uid322626@gateway/web/irccloud.com/x-uojiocmqissodtcu) (Quit: Connection closed for inactivity)
2021-03-17 09:47:11 +0100famubu(~famubu@59.97.57.154)
2021-03-17 09:47:46 +0100malumore(~malumore@151.62.112.239) (Ping timeout: 265 seconds)
2021-03-17 09:51:16 +0100 <curiousgay> gentle introduction: "Class methods may be named either in the manner of data constructors, in parentheses following the class name, or as ordinary variables."
2021-03-17 09:51:24 +0100jrqc(rofl@2603:3016:805:8f20:e1a6:a5b:7383:5872)
2021-03-17 09:51:40 +0100 <curiousgay> while I understand the first part, I don't get the part about variables even after reading Haskell Report
2021-03-17 09:52:21 +0100kritzefitz(~kritzefit@fw-front.credativ.com)
2021-03-17 09:53:38 +0100timCF(~i.tkachuk@200-149-20-81.sta.estpak.ee)
2021-03-17 09:53:40 +0100lokesh84(cbc182d2@203.193.130.210)
2021-03-17 09:55:01 +0100 <famubu> Hi. I was trying to implement a function to get the length of a list while learning haskell. This is what I tried: https://paste.tomsmeding.com/JZ5Oebwb I couldn't figure out what the error meant. Can't we use do comparison for empty list in pattern matching?
2021-03-17 09:56:08 +0100DirefulSalt(~DirefulSa@109.201.152.168) (Remote host closed the connection)
2021-03-17 09:56:11 +0100 <timCF> Hello! Is there any way to apply first/second/bimap to ExceptT expression? When I have `x :: m (Either a b)` it can be done with `bimap f g <$> x`, but with `y :: EitherT a m b` it seems not working..
2021-03-17 09:56:15 +0100wopas32(uid384704@gateway/web/irccloud.com/x-hsnlglyvipewztro)
2021-03-17 09:56:27 +0100DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2021-03-17 09:56:46 +0100 <hololeap> curiousgay: it's talking about exporting class methods, which could be listed explicitly in the class, or elsewhere in the form of `f :: C t => t -> a` (for example)
2021-03-17 09:56:57 +0100Paks(~paks@c-69-136-183-189.hsd1.il.comcast.net) (Ping timeout: 264 seconds)
2021-03-17 09:57:09 +0100ph88_(~ph88@2a02:8109:9e00:7e5c:85cc:3a34:36cf:1a53) (Ping timeout: 265 seconds)
2021-03-17 09:57:15 +0100 <timCF> * I meant `ExceptT` not `EitherT`
2021-03-17 09:57:25 +0100Paks(~paks@c-69-136-183-189.hsd1.il.comcast.net)
2021-03-17 09:57:40 +0100 <hololeap> curiousgay: when you export/import a class method that is explicitly part of the class, it follows the same form as a data constructor
2021-03-17 09:58:14 +0100 <LKoen> famubu: my understanding is that you need to do pattern-matching rather than test for equality; if you want to test for equality you need the whole type [a] to support equality, which requires a to support equality, in which case you should add the requirement "Eq a" to the signature
2021-03-17 09:58:36 +0100 <hololeap> curiousgay: import Control.Monad.Trans.Class (MonadTrans (lift)) -- like this
2021-03-17 09:58:42 +0100heatsink(~heatsink@2600:1700:bef1:5e10:f837:3533:97b:1f44)
2021-03-17 09:59:07 +0100 <curiousgay> hololeap: I said I understand the first part but don't understand the part about variables
2021-03-17 09:59:49 +0100 <merijn> curiousgay: It's just saying that "module Foo (MyClass(foo))" and "module Foo (MyClass, foo)" are equivalent
2021-03-17 09:59:49 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 10:00:08 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 10:00:13 +0100Alleria(~textual@zrcout.mskcc.org)
2021-03-17 10:00:15 +0100 <merijn> timCF: EitherT isn't a bifunctor
2021-03-17 10:00:21 +0100 <merijn> timCF: Neither is ExceptT
2021-03-17 10:00:29 +0100 <curiousgay> merijn: you mean qvar doesn't rename methods?
2021-03-17 10:00:36 +0100AlleriaGuest36438
2021-03-17 10:00:47 +0100 <famubu> LKoen: That must've been it. I changed it to `listLength [] = 0` and then it worked. Thanks!
2021-03-17 10:00:54 +0100 <merijn> curiousgay: I have no clue who/what qvar refers too
2021-03-17 10:01:06 +0100 <hololeap> curiousgay: if you look at Data.Foldable, you'll see mapM_ :: (Foldable t, Monad m) => (a -> m b) -> t a -> m ()
2021-03-17 10:01:11 +0100asheshambasta(~user@ptr-e1lysauv56fsp3y7v62.18120a2.ip6.access.telenet.be) (Ping timeout: 244 seconds)
2021-03-17 10:01:18 +0100 <merijn> famubu: Right, because pattern matching doesn't use Eq nor == :)
2021-03-17 10:01:36 +0100 <hololeap> curiousgay: mapM_ isn't explicitly part of the Foldable class, but it's still a class method. i think that's what it is talking about
2021-03-17 10:01:40 +0100 <timCF> merijn: well, I think I found function close enough to `first`, it's called `withExceptT`
2021-03-17 10:01:46 +0100 <curiousgay> merijn: https://www.haskell.org/onlinereport/haskell2010/haskellch5.html in 5.2 mentions qvar as a single statement
2021-03-17 10:01:47 +0100Sorny(~Sornaensi@79.142.232.102)
2021-03-17 10:02:02 +0100 <famubu> merijn: I see. Still new to Haskell. :-D
2021-03-17 10:03:05 +0100 <merijn> famubu: Common beginner mistake to rely on "== []" over pattern matching :)
2021-03-17 10:03:22 +0100coot(~coot@37.30.58.223.nat.umts.dynamic.t-mobile.pl)
2021-03-17 10:03:22 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 10:03:38 +0100heatsink(~heatsink@2600:1700:bef1:5e10:f837:3533:97b:1f44) (Ping timeout: 264 seconds)
2021-03-17 10:03:43 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 10:04:32 +0100acidjnk_new(~acidjnk@p200300d0c72b9506e0723511d2830c2e.dip0.t-ipconnect.de)
2021-03-17 10:04:50 +0100jrqc(rofl@2603:3016:805:8f20:e1a6:a5b:7383:5872) (Ping timeout: 264 seconds)
2021-03-17 10:04:54 +0100Guest36438(~textual@zrcout.mskcc.org) (Ping timeout: 260 seconds)
2021-03-17 10:04:54 +0100Sorna(~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 260 seconds)
2021-03-17 10:05:10 +0100peutri_peutri
2021-03-17 10:05:38 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-17 10:05:49 +0100unlink_(~unlink2@p200300ebcf13b600588c7881abb1ea42.dip0.t-ipconnect.de)
2021-03-17 10:06:37 +0100 <hololeap> timCF: you can use `liftEither :: MonadError e m => Either e a -> m a` and `ExceptT :: m (Either e a) -> ExceptT e m a`
2021-03-17 10:06:38 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 10:06:43 +0100 <curiousgay> hololeap: it's talking about naming values, field names and class methods as variables
2021-03-17 10:06:48 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 10:06:53 +0100hackagetree-diff 0.2 - Diffing of (expression) trees. https://hackage.haskell.org/package/tree-diff-0.2 (phadej)
2021-03-17 10:07:34 +0100 <hololeap> curiousgay: if i understand correctly, mapM_ is an example of a class method as a variable
2021-03-17 10:07:34 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 10:07:44 +0100 <curiousgay> 5.2 in Haskell report says: "A value, field name, or class method, whether declared in the module body or imported, may be named by giving the name of the value as a qvarid, which must be in scope. Operators should be enclosed in parentheses to turn them into qvarids."
2021-03-17 10:07:54 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 10:08:57 +0100SornySornaensis
2021-03-17 10:09:04 +0100 <dminuoso> curiousgay: I think you misunderstand what "variable" means.
2021-03-17 10:09:14 +0100jrqc(~rofl@96.78.87.197)
2021-03-17 10:09:21 +0100 <dminuoso> In Haskell we use "variable" in a more mathematical sense. That is "variable" is not a mutable reference
2021-03-17 10:09:25 +0100 <merijn> Also, don't mix "lexical definition" and "language semantics"
2021-03-17 10:09:38 +0100 <dminuoso> It's rather a placeholder that refers to some expression/value
2021-03-17 10:09:58 +0100 <hololeap> dminuoso: or function, right?
2021-03-17 10:10:07 +0100 <dminuoso> (It's variable in the sense that if you wrote `let x = 5 in exp` you could vary the value of `x` without altering `exp`
2021-03-17 10:10:16 +0100 <dminuoso> hololeap: functions are values
2021-03-17 10:10:28 +0100 <curiousgay> dminuoso: I understand the mathematical sense of variables, but I'm confused about defining them inside module/import declaration
2021-03-17 10:10:32 +0100 <hololeap> just wanted to clarify
2021-03-17 10:10:41 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 265 seconds)
2021-03-17 10:10:52 +0100idhugo_(~idhugo@80-62-116-180-mobile.dk.customer.tdc.net)
2021-03-17 10:11:29 +0100 <hololeap> curiousgay: it's the easiest case
2021-03-17 10:11:29 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 10:11:33 +0100 <dminuoso> curiousgay: In simple terms, you can import *variables* by writing `import Mod (var1, var2, ...)`
2021-03-17 10:11:54 +0100Alleria__(~textual@zrcout.mskcc.org)
2021-03-17 10:11:57 +0100 <dminuoso> But `MyClass(var)` is just special syntax, however
2021-03-17 10:11:59 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 10:12:05 +0100nitrix(~nitrix@haskell/developer/nitrix) (Quit: Genius is one percent inspiration and ninety-nine percent perspiration)
2021-03-17 10:12:26 +0100 <dminuoso> And it turns out, methods are just variables
2021-03-17 10:12:44 +0100 <curiousgay> dminuoso: that's what the first part in gentle introduction before the word "or" said
2021-03-17 10:12:59 +0100 <curiousgay> ah
2021-03-17 10:13:23 +0100idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 265 seconds)
2021-03-17 10:13:23 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 10:13:26 +0100 <curiousgay> never mind, you didn't write nested brackets
2021-03-17 10:13:34 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 10:16:05 +0100fiQ2(~fiQ@mirkk.ninja)
2021-03-17 10:16:17 +0100ADG1089__(~aditya@106.214.253.186)
2021-03-17 10:16:43 +0100Alleria__(~textual@zrcout.mskcc.org) (Ping timeout: 256 seconds)
2021-03-17 10:16:44 +0100nitrix(~nitrix@haskell/developer/nitrix)
2021-03-17 10:18:53 +0100hackageeventlog2html 0.9.0 - Visualise an eventlog https://hackage.haskell.org/package/eventlog2html-0.9.0 (mpickering)
2021-03-17 10:19:12 +0100bitmagie(~Thunderbi@200116b806d4970045cae2470eb56c01.dip.versatel-1u1.de) (Quit: bitmagie)
2021-03-17 10:20:55 +0100malumore(~malumore@151.62.112.239)
2021-03-17 10:22:06 +0100ADG1089__(~aditya@106.214.253.186) (Remote host closed the connection)
2021-03-17 10:23:05 +0100ADG1089__(~aditya@106.214.253.186)
2021-03-17 10:24:29 +0100 <famubu> Can't we use negative numbers in the `..` notation for lists? `[5,3..0]` gives `[5,3,1]` but `[5,3..-1]` gave error saying a variable named `..-` is not in scope.
2021-03-17 10:24:53 +0100 <hololeap> > [5,3..(-1)]
2021-03-17 10:24:56 +0100 <lambdabot> [5,3,1,-1]
2021-03-17 10:25:23 +0100 <famubu> hololeap: Thanks. :-)
2021-03-17 10:25:36 +0100 <hololeap> it gets confused with `-` being a prefix operator
2021-03-17 10:25:51 +0100howdoi(uid224@gateway/web/irccloud.com/x-cnfnotqfqspqvzjj) (Quit: Connection closed for inactivity)
2021-03-17 10:27:25 +0100e2(e2@sponsored.by.bnc4you.xyz)
2021-03-17 10:29:00 +0100 <hololeap> famubu: when in doubt, put negative Num literals in parenthesis
2021-03-17 10:29:54 +0100 <famubu> hololeap: +1
2021-03-17 10:31:20 +0100ADG1089__(~aditya@106.214.253.186) (Remote host closed the connection)
2021-03-17 10:34:15 +0100 <shad0w_> famubu: you mean (-1) ? : p
2021-03-17 10:35:16 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com) (Quit: WeeChat 3.0)
2021-03-17 10:36:16 +0100 <merijn> Or use a space
2021-03-17 10:36:27 +0100 <merijn> Pretty sure that work, anyway
2021-03-17 10:36:33 +0100 <merijn> > [5,3 .. -1]
2021-03-17 10:36:35 +0100 <lambdabot> [5,3,1,-1]
2021-03-17 10:36:44 +0100 <merijn> I'm right \o/
2021-03-17 10:36:59 +0100 <shad0w_> > putStrLn "good bot"
2021-03-17 10:37:01 +0100 <lambdabot> <IO ()>
2021-03-17 10:37:06 +0100ADG1089__(~aditya@106.214.253.186)
2021-03-17 10:37:08 +0100 <shad0w_> dafuq
2021-03-17 10:37:17 +0100 <hololeap> % putStrLn "good bot"
2021-03-17 10:37:17 +0100 <yahb> hololeap: good bot
2021-03-17 10:37:28 +0100 <merijn> shad0w_: lambdabot doesn't do IO, for obvious security reasons
2021-03-17 10:37:41 +0100 <merijn> shad0w_: It has a special show instance for IO
2021-03-17 10:37:49 +0100 <hololeap> but yahb does for not obvious not security reasons
2021-03-17 10:38:48 +0100 <shad0w_> merijn: what's the worse someone could do if the bot did IO ?
2021-03-17 10:39:14 +0100 <merijn> shad0w_: Take over the server running it and start a botnet?
2021-03-17 10:39:37 +0100 <shad0w_> aren't bots gonna have an uprising anyway ?
2021-03-17 10:40:00 +0100ADG1089__(~aditya@106.214.253.186) (Remote host closed the connection)
2021-03-17 10:40:03 +0100 <hololeap> only if they're programmed to
2021-03-17 10:40:27 +0100 <shad0w_> they could always learn to program and then program themselves
2021-03-17 10:40:27 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 10:40:40 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 10:40:44 +0100 <merijn> hololeap: sure
2021-03-17 10:40:51 +0100 <hololeap> only if they're programmed to learn to program and then program themselves
2021-03-17 10:40:57 +0100 <merijn> hololeap: Because programs only ever do what they are programmed to... >.>
2021-03-17 10:41:26 +0100 <hololeap> SIGAI: program has developed consciousness
2021-03-17 10:41:29 +0100 <shad0w_> what would happen if a train a bot on a udemy course @_@
2021-03-17 10:41:53 +0100m0rphism(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de)
2021-03-17 10:42:03 +0100 <merijn> shad0w_: Almost certainly nothing
2021-03-17 10:42:16 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com)
2021-03-17 10:42:17 +0100 <shad0w_> so. just like humans then. huh.
2021-03-17 10:42:23 +0100st8less(~st8less@inet-167-224-197-181.isp.ozarksgo.net) (Quit: WeeChat 2.9)
2021-03-17 10:43:07 +0100adium(adium@unaffiliated/adium)
2021-03-17 10:43:20 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com) (Client Quit)
2021-03-17 10:43:43 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com)
2021-03-17 10:44:02 +0100fendor(~fendor@77.119.128.169.wireless.dyn.drei.com)
2021-03-17 10:44:24 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com) (Client Quit)
2021-03-17 10:44:49 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com)
2021-03-17 10:45:57 +0100Gurkenglas_(~Gurkengla@unaffiliated/gurkenglas)
2021-03-17 10:46:05 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com) (Client Quit)
2021-03-17 10:46:25 +0100 <hololeap> https://tvtropes.org/pmwiki/pmwiki.php/Main/AiIsACrapShoot
2021-03-17 10:46:28 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com)
2021-03-17 10:46:32 +0100LKoen_(~LKoen@194.250.88.92.rev.sfr.net)
2021-03-17 10:46:41 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com) (Client Quit)
2021-03-17 10:46:44 +0100fendor_(~fendor@77.119.128.169.wireless.dyn.drei.com)
2021-03-17 10:47:04 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com)
2021-03-17 10:47:04 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 10:47:15 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 10:47:19 +0100MidAutumnHotaru1(~MidAutumn@unaffiliated/midautumnhotaru)
2021-03-17 10:48:21 +0100puffnfresh_(~puffnfres@45.76.124.5)
2021-03-17 10:48:34 +0100p8m_(p8m@gateway/vpn/protonvpn/p8m)
2021-03-17 10:48:51 +0100kuribas(~user@ptr-25vy0i879y19n3wd622.18120a2.ip6.access.telenet.be)
2021-03-17 10:50:41 +0100ptrcmd_(~ptrcmd@unaffiliated/petercommand)
2021-03-17 10:50:45 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-03-17 10:51:17 +0100azure2zangi
2021-03-17 10:51:21 +0100timCF(~i.tkachuk@200-149-20-81.sta.estpak.ee) (Quit: leaving)
2021-03-17 10:54:16 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com) (Quit: WeeChat 3.0)
2021-03-17 10:55:25 +0100fendor(~fendor@77.119.128.169.wireless.dyn.drei.com) (*.net *.split)
2021-03-17 10:55:25 +0100adium(adium@unaffiliated/adium) (*.net *.split)
2021-03-17 10:55:25 +0100e2(e2@sponsored.by.bnc4you.xyz) (*.net *.split)
2021-03-17 10:55:25 +0100coot(~coot@37.30.58.223.nat.umts.dynamic.t-mobile.pl) (*.net *.split)
2021-03-17 10:55:25 +0100kritzefitz(~kritzefit@fw-front.credativ.com) (*.net *.split)
2021-03-17 10:55:25 +0100Varis(~Tadas@unaffiliated/varis) (*.net *.split)
2021-03-17 10:55:25 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (*.net *.split)
2021-03-17 10:55:25 +0100LKoen(~LKoen@194.250.88.92.rev.sfr.net) (*.net *.split)
2021-03-17 10:55:25 +0100puffnfre-(~puffnfres@45.76.124.5) (*.net *.split)
2021-03-17 10:55:25 +0100MidAutumnHotaru(~MidAutumn@unaffiliated/midautumnhotaru) (*.net *.split)
2021-03-17 10:55:25 +0100p8m(p8m@gateway/vpn/protonvpn/p8m) (*.net *.split)
2021-03-17 10:55:25 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (*.net *.split)
2021-03-17 10:55:25 +0100toorevitimirp(~tooreviti@117.182.183.55) (*.net *.split)
2021-03-17 10:55:25 +0100glamas(~glamas@107.182.17.237) (*.net *.split)
2021-03-17 10:55:26 +0100apoc(~apoc@49.12.13.193) (*.net *.split)
2021-03-17 10:55:26 +0100notzmv(~zmv@unaffiliated/zmv) (*.net *.split)
2021-03-17 10:55:26 +0100mrchampion(~mrchampio@38.18.109.23) (*.net *.split)
2021-03-17 10:55:26 +0100ptrcmd(~ptrcmd@unaffiliated/petercommand) (*.net *.split)
2021-03-17 10:55:26 +0100MidAutumnHotaru1MidAutumnHotaru
2021-03-17 11:00:08 +0100heatsink(~heatsink@2600:1700:bef1:5e10:f837:3533:97b:1f44)
2021-03-17 11:01:28 +0100Varis(~Tadas@unaffiliated/varis)
2021-03-17 11:01:29 +0100glamas(~glamas@107.182.17.237)
2021-03-17 11:02:12 +0100mrchampion(~mrchampio@38.18.109.23)
2021-03-17 11:02:52 +0100kritzefitz(~kritzefit@fw-front.credativ.com)
2021-03-17 11:03:05 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-03-17 11:03:26 +0100apoc(~apoc@49.12.13.193)
2021-03-17 11:04:42 +0100heatsink(~heatsink@2600:1700:bef1:5e10:f837:3533:97b:1f44) (Ping timeout: 260 seconds)
2021-03-17 11:05:11 +0100kam1(~kam1@83.123.167.219)
2021-03-17 11:05:22 +0100kam1(~kam1@83.123.167.219) (Read error: Connection reset by peer)
2021-03-17 11:06:17 +0100frozenErebus(~frozenEre@37.231.243.22) (Quit: leaving)
2021-03-17 11:08:01 +0100adium(adium@unaffiliated/adium)
2021-03-17 11:08:51 +0100e2(e2@sponsored.by.bnc4you.xyz)
2021-03-17 11:09:09 +0100Guest_58(2578d55c@37.120.213.92)
2021-03-17 11:09:19 +0100Guest_58(2578d55c@37.120.213.92) (Client Quit)
2021-03-17 11:09:22 +0100aarvar(~foewfoiew@2601:602:a080:fa0:1175:1d12:3f7a:f4b9) (Ping timeout: 260 seconds)
2021-03-17 11:10:23 +0100supercoven(~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi)
2021-03-17 11:10:38 +0100thc202(~thc202@unaffiliated/thc202)
2021-03-17 11:10:50 +0100guest316`(~user@49.5.6.87)
2021-03-17 11:10:51 +0100guest316(~user@49.5.6.87) (Read error: Connection reset by peer)
2021-03-17 11:12:56 +0100Alleria(~textual@mskresolve-a.mskcc.org)
2021-03-17 11:13:19 +0100AlleriaGuest1068
2021-03-17 11:14:25 +0100famubu(~famubu@59.97.57.154) (Ping timeout: 276 seconds)
2021-03-17 11:15:45 +0100Rudd0(~Rudd0@185.189.115.103)
2021-03-17 11:15:49 +0100famubu(~famubu@59.97.57.154)
2021-03-17 11:16:45 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-03-17 11:16:48 +0100Franciman(~francesco@host-79-53-62-46.retail.telecomitalia.it)
2021-03-17 11:17:26 +0100Guest1068(~textual@mskresolve-a.mskcc.org) (Ping timeout: 264 seconds)
2021-03-17 11:25:06 +0100__monty__(~toonn@unaffiliated/toonn)
2021-03-17 11:27:26 +0100Alleria(~textual@mskresolve-a.mskcc.org)
2021-03-17 11:27:49 +0100AlleriaGuest91116
2021-03-17 11:27:50 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 11:28:20 +0100jumper149(~jumper149@ip185225.wh.uni-hannover.de)
2021-03-17 11:28:21 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 11:28:53 +0100hackagewai-middleware-validation 0.1.0.0 - WAI Middleware to validate the request and response bodies https://hackage.haskell.org/package/wai-middleware-validation-0.1.0.0 (KenzoYotsuya)
2021-03-17 11:32:10 +0100Guest91116(~textual@mskresolve-a.mskcc.org) (Ping timeout: 260 seconds)
2021-03-17 11:32:58 +0100Stanley00(~stanley00@unaffiliated/stanley00) (Remote host closed the connection)
2021-03-17 11:39:09 +0100Alleria__(~textual@zrcout.mskcc.org)
2021-03-17 11:43:00 +0100dhil(~dhil@80.208.56.181)
2021-03-17 11:43:27 +0100Alleria__(~textual@zrcout.mskcc.org) (Ping timeout: 246 seconds)
2021-03-17 11:45:02 +0100Raito_Bezarius(~Raito@unaffiliated/raito-bezarius/x-8764578) (Ping timeout: 264 seconds)
2021-03-17 11:45:52 +0100molehillish(~molehilli@2600:8800:8d06:1800:2195:2964:ee:f10b)
2021-03-17 11:46:46 +0100 <famubu> shad0w_: :-D
2021-03-17 11:48:01 +0100Stanley00(~stanley00@unaffiliated/stanley00)
2021-03-17 11:48:19 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-03-17 11:48:19 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 11:48:26 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 11:48:40 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2021-03-17 11:49:42 +0100jonathanx(~jonathan@h-176-109.A357.priv.bahnhof.se) (Read error: Connection reset by peer)
2021-03-17 11:50:02 +0100jonathanx(~jonathan@h-176-109.A357.priv.bahnhof.se)
2021-03-17 11:50:12 +0100molehillish(~molehilli@2600:8800:8d06:1800:2195:2964:ee:f10b) (Ping timeout: 244 seconds)
2021-03-17 11:51:10 +0100malumore(~malumore@151.62.112.239) (Remote host closed the connection)
2021-03-17 11:51:38 +0100refusenick(~user@2601:644:8502:d700::b8d1) (Ping timeout: 264 seconds)
2021-03-17 11:53:00 +0100Wizek(uid191769@gateway/web/irccloud.com/x-zjzbzpbnvynaguao)
2021-03-17 11:57:15 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-03-17 11:57:51 +0100Raito_Bezarius(~Raito@unaffiliated/raito-bezarius/x-8764578)
2021-03-17 12:01:52 +0100NieDzejkob_(~quassel@195.149.98.3) (Ping timeout: 276 seconds)
2021-03-17 12:01:52 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 12:02:01 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 12:03:47 +0100 <tomsmeding> hololeap: would you be able to catch and ignore SIGAI or would it be like SIGKILL?
2021-03-17 12:05:55 +0100wopas32(uid384704@gateway/web/irccloud.com/x-hsnlglyvipewztro) (Quit: Connection closed for inactivity)
2021-03-17 12:06:30 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-17 12:07:27 +0100xelxebar(~xelxebar@gateway/tor-sasl/xelxebar) (Ping timeout: 268 seconds)
2021-03-17 12:08:17 +0100acidjnk_new(~acidjnk@p200300d0c72b9506e0723511d2830c2e.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-03-17 12:09:25 +0100xelxebar(~xelxebar@gateway/tor-sasl/xelxebar)
2021-03-17 12:11:06 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 246 seconds)
2021-03-17 12:11:20 +0100Stanley00(~stanley00@unaffiliated/stanley00) (Remote host closed the connection)
2021-03-17 12:11:30 +0100benkolera(uid285671@gateway/web/irccloud.com/x-egzbqtucjdifvolv) (Quit: Connection closed for inactivity)
2021-03-17 12:11:35 +0100minoru_shiraeesh(~shiraeesh@46.34.206.65)
2021-03-17 12:12:15 +0100supercoven_(~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi)
2021-03-17 12:13:33 +0100gitgoood(~gitgood@80-44-12-129.dynamic.dsl.as9105.com) (Read error: Connection reset by peer)
2021-03-17 12:13:56 +0100gitgood(~gitgood@80-44-12-129.dynamic.dsl.as9105.com)
2021-03-17 12:14:20 +0100Stanley00(~stanley00@unaffiliated/stanley00)
2021-03-17 12:15:28 +0100supercoven(~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Ping timeout: 245 seconds)
2021-03-17 12:15:28 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 12:15:37 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 12:16:42 +0100Synthetica(uid199651@gateway/web/irccloud.com/x-ofdesgwrwkzassad)
2021-03-17 12:18:56 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-17 12:20:43 +0100Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-03-17 12:21:33 +0100mrchampion(~mrchampio@38.18.109.23) (Ping timeout: 264 seconds)
2021-03-17 12:22:44 +0100DataComputist(~lumeng@50.43.26.251) (Quit: Leaving...)
2021-03-17 12:22:44 +0100Sorna(~Sornaensi@077213203030.dynamic.telenor.dk)
2021-03-17 12:22:55 +0100Aquazi(uid312403@gateway/web/irccloud.com/x-jjnzgdxflmbqonhf)
2021-03-17 12:23:39 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds)
2021-03-17 12:23:49 +0100NieDzejkob(~quassel@195.149.98.3)
2021-03-17 12:24:07 +0100Stanley00(~stanley00@unaffiliated/stanley00) (Read error: Connection reset by peer)
2021-03-17 12:26:20 +0100Stanley00(~stanley00@unaffiliated/stanley00)
2021-03-17 12:26:23 +0100Sornaensis(~Sornaensi@79.142.232.102) (Ping timeout: 260 seconds)
2021-03-17 12:26:57 +0100malumore(~malumore@151.62.112.239)
2021-03-17 12:27:03 +0100jrqc(~rofl@96.78.87.197) (Ping timeout: 256 seconds)
2021-03-17 12:27:42 +0100famubu(~famubu@59.97.57.154) (Ping timeout: 260 seconds)
2021-03-17 12:28:10 +0100Stanley00(~stanley00@unaffiliated/stanley00) (Read error: Connection reset by peer)
2021-03-17 12:28:18 +0100jonathanx(~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2021-03-17 12:28:25 +0100Stanley00(~stanley00@unaffiliated/stanley00)
2021-03-17 12:28:43 +0100jonathanx(~jonathan@h-176-109.A357.priv.bahnhof.se)
2021-03-17 12:29:31 +0100mrchampion(~mrchampio@38.18.109.23)
2021-03-17 12:30:30 +0100NieDzejkob(~quassel@195.149.98.3) (Ping timeout: 260 seconds)
2021-03-17 12:34:42 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-17 12:37:47 +0100jrqc(~rofl@96.78.87.197)
2021-03-17 12:39:27 +0100Stanley00(~stanley00@unaffiliated/stanley00) (Remote host closed the connection)
2021-03-17 12:39:27 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 12:39:43 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 12:40:02 +0100NieDzejkob(~quassel@195.149.98.3)
2021-03-17 12:41:15 +0100Sorny(~Sornaensi@79.142.232.102)
2021-03-17 12:42:14 +0100peanut_(~peanut@2a02:8388:a101:2600:ca51:748b:ec67:2e7c)
2021-03-17 12:44:03 +0100Sorna(~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 256 seconds)
2021-03-17 12:44:28 +0100jrqc(~rofl@96.78.87.197) (Ping timeout: 260 seconds)
2021-03-17 12:45:56 +0100Stanley00(~stanley00@unaffiliated/stanley00)
2021-03-17 12:46:01 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-03-17 12:48:09 +0100jrqc(~rofl@96.78.87.197)
2021-03-17 12:53:22 +0100shad0w_(a0ca25d0@160.202.37.208) (Ping timeout: 240 seconds)
2021-03-17 12:54:14 +0100Stanley00(~stanley00@unaffiliated/stanley00) (Remote host closed the connection)
2021-03-17 12:54:51 +0100pavonia(~user@unaffiliated/siracusa) (Quit: Bye!)
2021-03-17 12:55:08 +0100esp32_prog(esp32_prog@gateway/vpn/mullvad/esp32prog/x-46565127)
2021-03-17 12:58:09 +0100InsideBreeze(~manjaro-i@183.217.98.211) (Ping timeout: 264 seconds)
2021-03-17 12:58:13 +0100notzmv(~zmv@unaffiliated/zmv)
2021-03-17 13:00:12 +0100Alleria(~textual@mskresolve-a.mskcc.org)
2021-03-17 13:00:35 +0100AlleriaGuest41549
2021-03-17 13:01:18 +0100heatsink(~heatsink@2600:1700:bef1:5e10:f837:3533:97b:1f44)
2021-03-17 13:01:56 +0100LKoen_(~LKoen@194.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2021-03-17 13:04:58 +0100Guest41549(~textual@mskresolve-a.mskcc.org) (Ping timeout: 265 seconds)
2021-03-17 13:04:59 +0100famubu(~famubu@59.97.57.154)
2021-03-17 13:05:38 +0100heatsink(~heatsink@2600:1700:bef1:5e10:f837:3533:97b:1f44) (Ping timeout: 244 seconds)
2021-03-17 13:06:35 +0100geekosaur(82650c7a@130.101.12.122)
2021-03-17 13:10:18 +0100famubu(~famubu@59.97.57.154) (Quit: leaving)
2021-03-17 13:12:53 +0100hackagefilepath-bytestring 1.4.2.1.7 - Library for manipulating RawFilePaths in a cross platform way. https://hackage.haskell.org/package/filepath-bytestring-1.4.2.1.7 (JoeyHess)
2021-03-17 13:13:52 +0100lokesh(uid491047@gateway/web/irccloud.com/x-yzvfvxjjzebcifrk) (Quit: Connection closed for inactivity)
2021-03-17 13:16:16 +0100rond_(594020c5@89-64-32-197.dynamic.chello.pl)
2021-03-17 13:19:28 +0100Stanley00(~stanley00@unaffiliated/stanley00)
2021-03-17 13:19:29 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 13:19:49 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 13:20:46 +0100shad0w_(a0ca251b@160.202.37.27)
2021-03-17 13:22:33 +0100mrchampion(~mrchampio@38.18.109.23) (Ping timeout: 245 seconds)
2021-03-17 13:23:08 +0100dunj3(~dunj3@2001:16b8:3085:a900:c9d7:3fe2:e55d:427a)
2021-03-17 13:24:17 +0100manjaroi3(~manjaro-i@183.217.98.211)
2021-03-17 13:25:18 +0100jonathanx(~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2021-03-17 13:25:42 +0100jonathanx(~jonathan@h-176-109.A357.priv.bahnhof.se)
2021-03-17 13:27:44 +0100geowiesnot_bis(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 256 seconds)
2021-03-17 13:29:57 +0100danso(~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) (Ping timeout: 272 seconds)
2021-03-17 13:30:02 +0100shad0w_(a0ca251b@160.202.37.27) (Ping timeout: 240 seconds)
2021-03-17 13:30:03 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 13:30:24 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 13:34:10 +0100Alleria__(~textual@mskresolve-a.mskcc.org)
2021-03-17 13:34:37 +0100danso(~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009)
2021-03-17 13:37:23 +0100hackagefxpak 0.0.1 - Interface to the FXPak/FXPak Pro USB interface https://hackage.haskell.org/package/fxpak-0.0.1 (wuest)
2021-03-17 13:37:38 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-17 13:38:02 +0100geekosaur(82650c7a@130.101.12.122) (Ping timeout: 240 seconds)
2021-03-17 13:38:05 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-17 13:39:06 +0100plutoniix(~q@184.82.210.215) (Quit: Leaving)
2021-03-17 13:41:53 +0100LKoen(~LKoen@194.250.88.92.rev.sfr.net)
2021-03-17 13:42:50 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2021-03-17 13:43:57 +0100ph88(~ph88@ip5f5af71a.dynamic.kabel-deutschland.de)
2021-03-17 13:44:46 +0100Tario(~Tario@201.192.165.173)
2021-03-17 13:47:59 +0100geekosaur(82650c7a@130.101.12.122)
2021-03-17 13:50:23 +0100mrchampion(~mrchampio@38.18.109.23)
2021-03-17 13:52:53 +0100urodna(~urodna@unaffiliated/urodna)
2021-03-17 13:53:48 +0100zangi(~azure@103.154.230.130) (Ping timeout: 256 seconds)
2021-03-17 13:54:10 +0100zangi(~azure@103.154.230.130)
2021-03-17 13:55:20 +0100LKoen(~LKoen@194.250.88.92.rev.sfr.net) (Remote host closed the connection)
2021-03-17 13:57:00 +0100Sheilong(uid293653@gateway/web/irccloud.com/x-atvxsqflryegxqie)
2021-03-17 13:58:23 +0100hackagerecover-rtti 0.2.1.0 - Recover run-time type information from the GHC heap https://hackage.haskell.org/package/recover-rtti-0.2.1.0 (EdskoDeVries)
2021-03-17 13:58:58 +0100hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2021-03-17 14:00:01 +0100Stanley00(~stanley00@unaffiliated/stanley00) (Remote host closed the connection)
2021-03-17 14:00:36 +0100Stanley00(~stanley00@unaffiliated/stanley00)
2021-03-17 14:01:22 +0100Stanley00(~stanley00@unaffiliated/stanley00) (Remote host closed the connection)
2021-03-17 14:02:06 +0100heatsink(~heatsink@2600:1700:bef1:5e10:f837:3533:97b:1f44)
2021-03-17 14:03:58 +0100 <hyperisco> weird idea… is there a package that lets you declare animations and render them as video?
2021-03-17 14:03:58 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 14:04:29 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 14:04:32 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2021-03-17 14:05:13 +0100 <merijn> hyperisco: Kinda like Conal's early work on FRP? :p
2021-03-17 14:05:29 +0100 <merijn> hyperisco: http://conal.net/fran/
2021-03-17 14:05:30 +0100 <hyperisco> yeah but I need a video
2021-03-17 14:05:43 +0100 <merijn> It has some video examples
2021-03-17 14:05:49 +0100 <merijn> (super hacky ones, but still)
2021-03-17 14:06:19 +0100Xnuk-Xnuk
2021-03-17 14:06:46 +0100geowiesnot_bis(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-03-17 14:07:14 +0100heatsink(~heatsink@2600:1700:bef1:5e10:f837:3533:97b:1f44) (Ping timeout: 264 seconds)
2021-03-17 14:07:24 +0100flrnd(~flrnd@gateway/tor-sasl/flrnd)
2021-03-17 14:09:38 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 245 seconds)
2021-03-17 14:12:15 +0100opqdonut(opqdonut@pseudo.fixme.fi) (Read error: No route to host)
2021-03-17 14:14:03 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-17 14:15:14 +0100flrnd(~flrnd@gateway/tor-sasl/flrnd) (Quit: leaving)
2021-03-17 14:16:35 +0100flrnd(~flrnd@gateway/tor-sasl/flrnd)
2021-03-17 14:16:50 +0100 <dminuoso> Whats the new extension that lexes `-1` as a negative number?
2021-03-17 14:17:05 +0100 <dminuoso> As opposed to `(-1)`
2021-03-17 14:17:49 +0100 <kuribas> :t (-1)
2021-03-17 14:17:49 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 14:17:51 +0100 <lambdabot> Num a => a
2021-03-17 14:18:00 +0100 <kuribas> :t -1
2021-03-17 14:18:02 +0100 <lambdabot> Num a => a
2021-03-17 14:18:05 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 14:18:14 +0100lokesh84(cbc182d2@203.193.130.210) (Quit: Connection closed)
2021-03-17 14:18:40 +0100vchlup_(~vchlup@nat.brnet.cz) (Remote host closed the connection)
2021-03-17 14:18:47 +0100opqdonut(opqdonut@pseudo.fixme.fi)
2021-03-17 14:18:59 +0100lokesh1197(cbc182d2@203.193.130.210)
2021-03-17 14:19:02 +0100vchlup(~vchlup@nat.brnet.cz)
2021-03-17 14:19:11 +0100 <geekosaur> https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/negative_literals.html
2021-03-17 14:19:48 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-17 14:20:06 +0100 <dminuoso> geekosaur: Ah that's the one, LexicalNegation. Cheers!
2021-03-17 14:20:20 +0100 <geekosaur> yeh. l note it's only 9.0
2021-03-17 14:20:23 +0100Hi-Angel(~constanti@broadband-188-32-15-112.ip.moscow.rt.ru) (Ping timeout: 256 seconds)
2021-03-17 14:20:58 +0100 <dminuoso> Indeed, I recall hearing about it on Haskell weekly the other day, and wanted to look up the details
2021-03-17 14:21:52 +0100 <Xnuk> :t 4 - -1
2021-03-17 14:21:54 +0100 <lambdabot> error:
2021-03-17 14:21:54 +0100 <lambdabot> Precedence parsing error
2021-03-17 14:21:54 +0100 <lambdabot> cannot mix ‘-’ [infixl 6] and prefix `-' [infixl 6] in the same infix expression
2021-03-17 14:24:58 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds)
2021-03-17 14:26:58 +0100Lycurgus(~niemand@98.4.116.165)
2021-03-17 14:30:31 +0100alx741(~alx741@186.178.109.138)
2021-03-17 14:30:43 +0100jespada(~jespada@90.254.243.187) (Ping timeout: 265 seconds)
2021-03-17 14:31:52 +0100jespada(~jespada@90.254.243.187)
2021-03-17 14:32:16 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-17 14:32:20 +0100Hi-Angel(~constanti@213.87.145.82)
2021-03-17 14:35:21 +0100LKoen(~LKoen@194.250.88.92.rev.sfr.net)
2021-03-17 14:36:49 +0100Gurkenglas_(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 256 seconds)
2021-03-17 14:36:54 +0100shutdown_-h_now(~arjan@2001:1c06:2d0b:2312:e974:5a8b:298e:b21) (Ping timeout: 258 seconds)
2021-03-17 14:37:23 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds)
2021-03-17 14:37:58 +0100Yumasi(~guillaume@2a01:e0a:5cb:4430:a837:43a1:f9fb:9eec) (Ping timeout: 265 seconds)
2021-03-17 14:37:59 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 14:38:10 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 14:39:01 +0100carlomagno(~cararell@148.87.23.12)
2021-03-17 14:39:35 +0100Yumasi(~guillaume@40.72.95.92.rev.sfr.net)
2021-03-17 14:39:38 +0100esp32_prog(esp32_prog@gateway/vpn/mullvad/esp32prog/x-46565127) (Ping timeout: 245 seconds)
2021-03-17 14:39:44 +0100ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-03-17 14:40:15 +0100ukari(~ukari@unaffiliated/ukari)
2021-03-17 14:40:41 +0100cur8or(~cur8or@72canterbury.cybersmart.co.za) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-17 14:41:29 +0100motherfsck(~motherfsc@unaffiliated/motherfsck)
2021-03-17 14:41:40 +0100cur8or(~cur8or@72canterbury.cybersmart.co.za)
2021-03-17 14:42:47 +0100shutdown_-h_now(~arjan@2001:1c06:2d0b:2312:b425:d58e:c7e9:fd9d)
2021-03-17 14:43:23 +0100tv(~tv@unaffiliated/tv) (Ping timeout: 245 seconds)
2021-03-17 14:44:00 +0100geekosaur(82650c7a@130.101.12.122) (Quit: Connection closed)
2021-03-17 14:45:54 +0100dhouthoo(~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be)
2021-03-17 14:46:09 +0100cur8or(~cur8or@72canterbury.cybersmart.co.za) (Ping timeout: 264 seconds)
2021-03-17 14:47:37 +0100tv(~tv@unaffiliated/tv)
2021-03-17 14:47:55 +0100acidjnk_new(~acidjnk@p200300d0c72b9506e0723511d2830c2e.dip0.t-ipconnect.de)
2021-03-17 14:51:30 +0100cuz(~user@38.140.58.234)
2021-03-17 14:51:30 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 14:51:31 +0100bitmagie(~Thunderbi@200116b806d4970045cae2470eb56c01.dip.versatel-1u1.de)
2021-03-17 14:51:46 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 14:51:57 +0100bitmagie(~Thunderbi@200116b806d4970045cae2470eb56c01.dip.versatel-1u1.de) (Client Quit)
2021-03-17 14:52:07 +0100Hi-Angel(~constanti@213.87.145.82) (Ping timeout: 256 seconds)
2021-03-17 14:53:44 +0100frozen_burnman_(~frozen_bu@80-90-135-76.static.oxid.cz) (Quit: Leaving)
2021-03-17 14:54:13 +0100denisse(~spaceCat@gateway/tor-sasl/alephzer0) (Remote host closed the connection)
2021-03-17 14:54:36 +0100denisse(~spaceCat@gateway/tor-sasl/alephzer0)
2021-03-17 14:55:46 +0100MidAutumnHotaru1(~MidAutumn@unaffiliated/midautumnhotaru)
2021-03-17 14:56:21 +0100 <Lycurgus> tunes.org should be replaced with a more reliable log
2021-03-17 14:58:03 +0100MidAutumnHotaru(~MidAutumn@unaffiliated/midautumnhotaru) (Ping timeout: 260 seconds)
2021-03-17 14:59:59 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-03-17 15:00:29 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-03-17 15:00:50 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-17 15:01:02 +0100lokesh1197(cbc182d2@203.193.130.210) (Ping timeout: 240 seconds)
2021-03-17 15:03:35 +0100heatsink(~heatsink@2600:1700:bef1:5e10:f837:3533:97b:1f44)
2021-03-17 15:05:53 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-03-17 15:06:26 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-17 15:06:38 +0100matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Ping timeout: 264 seconds)
2021-03-17 15:08:05 +0100heatsink(~heatsink@2600:1700:bef1:5e10:f837:3533:97b:1f44) (Ping timeout: 244 seconds)
2021-03-17 15:09:28 +0100matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809)
2021-03-17 15:11:50 +0100rond_(594020c5@89-64-32-197.dynamic.chello.pl) (Quit: Connection closed)
2021-03-17 15:11:51 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 15:12:21 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 15:12:51 +0100zebrag(~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr)
2021-03-17 15:13:32 +0100 <minoru_shiraeesh> tunes.org logs start at 2018
2021-03-17 15:14:10 +0100 <minoru_shiraeesh> are there earlier logs available?
2021-03-17 15:15:53 +0100geowiesnot_bis(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 245 seconds)
2021-03-17 15:21:26 +0100Gurkenglas_(~Gurkengla@unaffiliated/gurkenglas)
2021-03-17 15:23:06 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-03-17 15:27:14 +0100Jd007(~Jd007@162.156.11.151)
2021-03-17 15:29:03 +0100crobbins(~crobbins@2601:2c1:200:ec50:7cb1:bb00:3eca:542b)
2021-03-17 15:29:46 +0100Lycurgus(~niemand@98.4.116.165) (Quit: Exeunt)
2021-03-17 15:31:03 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2021-03-17 15:33:08 +0100ADG1089__(~aditya@106.214.253.186)
2021-03-17 15:40:58 +0100molehillish(~molehilli@2600:8800:8d06:1800:2195:2964:ee:f10b)
2021-03-17 15:41:12 +0100molehillish(~molehilli@2600:8800:8d06:1800:2195:2964:ee:f10b) (Remote host closed the connection)
2021-03-17 15:43:03 +0100bitmagie(~Thunderbi@200116b806d4970045cae2470eb56c01.dip.versatel-1u1.de)
2021-03-17 15:45:38 +0100pincel(~pyon@unaffiliated/pyon) (Ping timeout: 264 seconds)
2021-03-17 15:46:24 +0100_bin(~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net) (Ping timeout: 265 seconds)
2021-03-17 15:47:38 +0100_bin(~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net)
2021-03-17 15:48:12 +0100molehillish(~molehilli@2600:8800:8d06:1800:2195:2964:ee:f10b)
2021-03-17 15:49:16 +0100bitmagie(~Thunderbi@200116b806d4970045cae2470eb56c01.dip.versatel-1u1.de) (Quit: bitmagie)
2021-03-17 15:49:19 +0100nek0(~nek0@mail.nek0.eu) (Quit: The Lounge - https://thelounge.chat)
2021-03-17 15:50:40 +0100esp32_prog(esp32_prog@gateway/vpn/mullvad/esp32prog/x-46565127)
2021-03-17 15:50:58 +0100minoru_shiraeesh(~shiraeesh@46.34.206.65) (Ping timeout: 244 seconds)
2021-03-17 15:52:16 +0100Stanley00(~stanley00@unaffiliated/stanley00)
2021-03-17 15:52:50 +0100Stanley00(~stanley00@unaffiliated/stanley00) (Read error: Connection reset by peer)
2021-03-17 15:53:45 +0100heatsink(~heatsink@2600:1700:bef1:5e10:f837:3533:97b:1f44)
2021-03-17 16:02:08 +0100vicfred(vicfred@gateway/vpn/mullvad/vicfred)
2021-03-17 16:02:33 +0100minoru_shiraeesh(~shiraeesh@46.34.206.65)
2021-03-17 16:02:38 +0100Wuzzy(~Wuzzy@p57a2ecf2.dip0.t-ipconnect.de)
2021-03-17 16:03:06 +0100malumore_(~malumore@151.62.112.239)
2021-03-17 16:03:23 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-03-17 16:04:40 +0100heatsink(~heatsink@2600:1700:bef1:5e10:f837:3533:97b:1f44) (Remote host closed the connection)
2021-03-17 16:05:44 +0100malumore(~malumore@151.62.112.239) (Ping timeout: 265 seconds)
2021-03-17 16:06:25 +0100MidAutumnHotaru1(~MidAutumn@unaffiliated/midautumnhotaru) (Quit: Quit 啾)
2021-03-17 16:06:46 +0100MidAutumnHotaru1(~MidAutumn@unaffiliated/midautumnhotaru)
2021-03-17 16:08:34 +0100bbhoss(sid18216@gateway/web/irccloud.com/x-ogsfddiddvufworx)
2021-03-17 16:09:09 +0100rj_(~x@gateway/tor-sasl/rj)
2021-03-17 16:09:45 +0100 <bbhoss> Is there any place I can test out the bleeding edge of Darwin/ARM support in GHC, or is it just flat out not complete yet?
2021-03-17 16:10:04 +0100heatsink(~heatsink@2600:1700:bef1:5e10:f837:3533:97b:1f44)
2021-03-17 16:10:04 +0100MidAutumnHotaru1(~MidAutumn@unaffiliated/midautumnhotaru) (Client Quit)
2021-03-17 16:10:42 +0100MidAutumnHotaru1(~MidAutumn@unaffiliated/midautumnhotaru)
2021-03-17 16:11:55 +0100 <maerwald> angerman might have a GHC branch?
2021-03-17 16:11:59 +0100 <merijn> bbhoss: Depends how you define complete
2021-03-17 16:13:25 +0100 <bbhoss> well I'm just fooling around with haskell and wanted to try it natively on my m1. so complete would be to the point where someone like me running into an issue and reporting it would be useful
2021-03-17 16:15:08 +0100 <dminuoso> bbhoss: You could ask in #ghc or just poke angerman in here.
2021-03-17 16:15:15 +0100 <dminuoso> They might know more about the current state of it
2021-03-17 16:16:08 +0100 <merijn> bbhoss: Only if you use the LLVM backend and even then probably only in 9.0 (and maybe 8.10.5 if/when that gets released)
2021-03-17 16:16:30 +0100 <merijn> bbhoss: Full proper support is aimed at 9.2, iirc
2021-03-17 16:16:46 +0100jamm_(~jamm@unaffiliated/jamm)
2021-03-17 16:17:20 +0100aarvar(~foewfoiew@2601:602:a080:fa0:99f2:16e7:abb7:2d80)
2021-03-17 16:17:32 +0100 <merijn> bbhoss: I'd say the 9.2 native backend would be the point where it's complete enough to test and report issues at the "not actively trying to help develop this"-level
2021-03-17 16:18:14 +0100ADG1089__(~aditya@106.214.253.186) (Remote host closed the connection)
2021-03-17 16:18:28 +0100Boomerang(~Boomerang@2a05:f6c7:2179:0:c023:32c1:e407:f7a0)
2021-03-17 16:19:19 +0100raym(~ray@115.187.32.14) (Quit: leaving)
2021-03-17 16:19:27 +0100memario(59f6efbe@89.246.239.190)
2021-03-17 16:21:18 +0100heatsink(~heatsink@2600:1700:bef1:5e10:f837:3533:97b:1f44) (Remote host closed the connection)
2021-03-17 16:22:05 +0100ph88(~ph88@ip5f5af71a.dynamic.kabel-deutschland.de) (Quit: Leaving)
2021-03-17 16:23:10 +0100coot(~coot@37.30.58.223.nat.umts.dynamic.t-mobile.pl)
2021-03-17 16:23:16 +0100 <angerman> bbhoss: give it ~2more weeks. I’ve been spending an awful
2021-03-17 16:23:40 +0100 <angerman> amount of time on CI, which made the atm stuff lag behind a bit.
2021-03-17 16:24:27 +0100coot(~coot@37.30.58.223.nat.umts.dynamic.t-mobile.pl) (Client Quit)
2021-03-17 16:24:48 +0100 <angerman> The NCG for 9.2 will likely be rebased again tomorrow. And the cleanup/merge prep will continue. We’ve been stuck in a semi-broken ci for quite a bit :-/
2021-03-17 16:25:02 +0100 <bbhoss> awesome, I'll check back in around then. I'm about to start a new haskell job and am wondering if I should get ARM hardware or not for it. Personally the pain of lack of support is worth it for the extra perf and battery life. It's encouraging to hear from ya
2021-03-17 16:25:44 +0100 <merijn> bbhoss: Current version should already "Just Work" with rosetta on M1
2021-03-17 16:25:49 +0100 <angerman> That being said the work done by everyone should yield a substantially better ci story. So we might also increase velocity on ghc as a whole. Going from snail to turtle pace.
2021-03-17 16:25:57 +0100molehillish(~molehilli@2600:8800:8d06:1800:2195:2964:ee:f10b) (Remote host closed the connection)
2021-03-17 16:26:05 +0100 <merijn> angerman: Hey! Turtles are pretty fast!
2021-03-17 16:26:15 +0100 <bbhoss> nice. yeah I am hoping to limp along with rosetta
2021-03-17 16:26:17 +0100 <angerman> merijn: pssst
2021-03-17 16:26:30 +0100molehillish(~molehilli@2600:8800:8d06:1800:2195:2964:ee:f10b)
2021-03-17 16:26:30 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 16:26:32 +0100psygate(~psygate@unaffiliated/psygate)
2021-03-17 16:26:34 +0100 <merijn> bbhoss: From what I heard rosetta is pretty good
2021-03-17 16:26:44 +0100 <angerman> bbhoss: Rosetta is pretty capable. We use M1s for GHCs x86_64 CI
2021-03-17 16:26:57 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 16:27:19 +0100 <bbhoss> cool, good to hear. my personal experience has been a bit mixed as a regular user. most things are really fast but there's a few laggards like electron apps
2021-03-17 16:27:32 +0100 <angerman> The final numbers are not in to make a good judgement call but it looks pretty close to what we have had on x86_64 minis.
2021-03-17 16:27:53 +0100hackagedistribution-nixpkgs 1.5.0 - Types and functions to manipulate the Nixpkgs distribution https://hackage.haskell.org/package/distribution-nixpkgs-1.5.0 (PeterSimons)
2021-03-17 16:29:08 +0100ezrakilty(~ezrakilty@97-113-58-224.tukw.qwest.net)
2021-03-17 16:30:45 +0100molehillish(~molehilli@2600:8800:8d06:1800:2195:2964:ee:f10b) (Ping timeout: 244 seconds)
2021-03-17 16:30:53 +0100 <shapr> @quote
2021-03-17 16:30:53 +0100 <lambdabot> alsochris says: People can login and look at their own junk
2021-03-17 16:30:58 +0100s00pcan(~chris@075-133-056-178.res.spectrum.com) (Remote host closed the connection)
2021-03-17 16:31:10 +0100 <shapr> GOOD MORNING!
2021-03-17 16:31:50 +0100flrnd(~flrnd@gateway/tor-sasl/flrnd) (Quit: leaving)
2021-03-17 16:32:25 +0100nek0(~nek0@mail.nek0.eu)
2021-03-17 16:32:45 +0100 <merijn> shapr: Good late afternoon ;)
2021-03-17 16:32:52 +0100 <shapr> hi!
2021-03-17 16:33:09 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-17 16:33:19 +0100 <shapr> I've spent a bunch of hours trying to write a slackbot in Haskell. The hard part is the slack api!
2021-03-17 16:33:19 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 16:33:24 +0100molehillish(~molehilli@2600:8800:8d06:1800:2195:2964:ee:f10b)
2021-03-17 16:33:32 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 16:33:48 +0100 <shapr> I want a slackbot that runs weeder on a git repo and saves a historical count of weeds.
2021-03-17 16:37:44 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com)
2021-03-17 16:37:58 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 245 seconds)
2021-03-17 16:38:26 +0100molehillish(~molehilli@2600:8800:8d06:1800:2195:2964:ee:f10b) (Ping timeout: 264 seconds)
2021-03-17 16:40:31 +0100mikeplus64(~mike@unaffiliated/mikeplus64)
2021-03-17 16:42:37 +0100idhugo_(~idhugo@80-62-116-180-mobile.dk.customer.tdc.net) (Ping timeout: 256 seconds)
2021-03-17 16:44:27 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-17 16:45:36 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-17 16:45:39 +0100codygman`(~user@209.251.131.98)
2021-03-17 16:46:48 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 268 seconds)
2021-03-17 16:46:49 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 16:47:08 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 16:48:11 +0100heatsink(~heatsink@2600:1700:bef1:5e10:f837:3533:97b:1f44)
2021-03-17 16:49:58 +0100ep1ctetus(~epictetus@ip72-194-215-136.sb.sd.cox.net)
2021-03-17 16:50:10 +0100jakalx(~jakalx@base.jakalx.net) ()
2021-03-17 16:50:21 +0100bitmagie(~Thunderbi@200116b806d4970045cae2470eb56c01.dip.versatel-1u1.de)
2021-03-17 16:50:24 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 246 seconds)
2021-03-17 16:51:27 +0100memario(59f6efbe@89.246.239.190) (Quit: Connection closed)
2021-03-17 16:53:12 +0100bitmagie(~Thunderbi@200116b806d4970045cae2470eb56c01.dip.versatel-1u1.de) (Client Quit)
2021-03-17 16:53:18 +0100Luminous(~lmn2@120.154.155.173)
2021-03-17 16:55:12 +0100dyeplexer(~lol@unaffiliated/terpin)
2021-03-17 16:55:28 +0100fendor_fendor
2021-03-17 16:57:06 +0100acidjnk_new(~acidjnk@p200300d0c72b9506e0723511d2830c2e.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2021-03-17 16:57:19 +0100LuminousJordandave23
2021-03-17 16:57:27 +0100Kaiepi(~Kaiepi@47.54.252.148)
2021-03-17 16:57:32 +0100azure(~azure@103.154.230.130)
2021-03-17 16:57:55 +0100azureGuest82011
2021-03-17 16:59:09 +0100zangi(~azure@103.154.230.130) (Ping timeout: 246 seconds)
2021-03-17 16:59:54 +0100 <Jordandave23> hi
2021-03-17 17:01:57 +0100ezrakilty(~ezrakilty@97-113-58-224.tukw.qwest.net) (Remote host closed the connection)
2021-03-17 17:02:03 +0100geekosaur(82650c7a@130.101.12.122)
2021-03-17 17:02:12 +0100joncol(~jco@c188-150-101-195.bredband.comhem.se)
2021-03-17 17:02:53 +0100 <Jordandave23> surely you are disappointed with the lack of action - this is woeful
2021-03-17 17:03:29 +0100rprosper-(~adam@186.75.232.35.bc.googleusercontent.com) (Quit: ZNC 1.7.5 - https://znc.in)
2021-03-17 17:03:33 +0100 <Jordandave23> you know you sought this language out for a sense of thrill
2021-03-17 17:03:47 +0100rprospero(~adam@186.75.232.35.bc.googleusercontent.com)
2021-03-17 17:04:37 +0100 <Jordandave23> i got my credits in this subject nearly 20 years ago, its still as good, what is wrong with you people
2021-03-17 17:04:37 +0100 <Jordandave23> pipe up
2021-03-17 17:04:58 +0100 <shapr> Jordandave23: huh?
2021-03-17 17:05:12 +0100ChanServ+o shapr
2021-03-17 17:05:15 +0100 <Jordandave23> shapr: im trying to get some conversation
2021-03-17 17:05:27 +0100 <shapr> Jordandave23: what sort of Haskell have you written lately?
2021-03-17 17:05:30 +0100 <shapr> Got any neat tools?
2021-03-17 17:05:46 +0100 <Jordandave23> def nothing of late. what about you?
2021-03-17 17:05:48 +0100 <shapr> I'm trying (and failing) to build a slackbot, because Slack's APIs are many and confusing.
2021-03-17 17:05:53 +0100 <joncol> Hello, I'm trying to get back into some Haskell, and I'm currently trying to play with monad transformers and `StateT`. I've created the following: http://ix.io/2Td0. On line 28 of this, I try to get to the state, but it leads to the error message on the lines below it. Am I missing something in the instance declaration, i.e. do I need to declare somewhere that DummyM "is" a StateT? I'm not sure how I
2021-03-17 17:05:59 +0100 <joncol> should proceed.
2021-03-17 17:06:06 +0100 <shapr> Jordandave23: I wrote some neat tiny tools lately: https://github.com/shapr/bloohm and https://github.com/shapr/sandwatch
2021-03-17 17:06:21 +0100 <Jordandave23> awesome! im going to check it out
2021-03-17 17:06:31 +0100 <shapr> I started on a duplicate file finder, but haven't had time to go past "hash all the files" yet.
2021-03-17 17:06:40 +0100 <merijn> joncol: You could do "s <- DummyM get"
2021-03-17 17:06:56 +0100coot(~coot@37.30.58.223.nat.umts.dynamic.t-mobile.pl)
2021-03-17 17:06:57 +0100 <sm[m]> go shapr!
2021-03-17 17:06:59 +0100 <shapr> Though I want to extend the duplicate file finder to dig into zip files and use perceptual hashes on image files.
2021-03-17 17:07:38 +0100 <merijn> joncol: "get :: Monad m => StateT s m s", but your do block is DummyM (which is something else)
2021-03-17 17:07:43 +0100 <shapr> sm[m]: what awesome things have you been working on?
2021-03-17 17:07:48 +0100shapr-o shapr
2021-03-17 17:07:50 +0100 <joncol> merijn: Oh, nice...
2021-03-17 17:08:39 +0100 <Jordandave23> very cool project
2021-03-17 17:08:41 +0100 <merijn> joncol: But the DummyM constructor wraps something of type "StateT Dummy IO a", so "DummyM get" ends up as "DummyM Dummy"
2021-03-17 17:08:54 +0100 <merijn> joncol: Which matches the monad used by your do block
2021-03-17 17:08:55 +0100 <sm[m]> shapr: exploring migrating hledger.org from sphinx to mdbook, and my personal site from hakyll to zola (two rust-based static site generators)
2021-03-17 17:09:09 +0100heatsink(~heatsink@2600:1700:bef1:5e10:f837:3533:97b:1f44) (Remote host closed the connection)
2021-03-17 17:09:10 +0100 <shapr> oh neato!
2021-03-17 17:09:23 +0100 <sm[m]> also just hledger code review
2021-03-17 17:09:40 +0100 <sm[m]> (API & performance improvements)
2021-03-17 17:10:02 +0100ejjfunky(7da36f81@125.163.111.129) (Ping timeout: 240 seconds)
2021-03-17 17:10:08 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-03-17 17:10:14 +0100 <shapr> I still haven't sat down and spent time with hledger. I would benefit from that.
2021-03-17 17:10:47 +0100jakalx(~jakalx@base.jakalx.net)
2021-03-17 17:10:52 +0100 <joncol> merijn: Can you explain `DummyM get` a bit more? `DummyM` is a type constructor, right? It looks weird to call that as a function? I'm confused :).
2021-03-17 17:11:01 +0100 <sm[m]> we'd be glad to have you!
2021-03-17 17:11:06 +0100 <sm[m]> also, not working but kibitzing on: cactus which bridges web page comments and matrix chat
2021-03-17 17:11:08 +0100 <Jordandave23> haskell is a bit special
2021-03-17 17:11:22 +0100 <sm[m]> thanks to Man of Letters:
2021-03-17 17:11:28 +0100polyphem(~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889)
2021-03-17 17:11:42 +0100 <Jordandave23> overloading is a very special feature
2021-03-17 17:12:44 +0100FortuneZero(3223b878@50.35.184.120)
2021-03-17 17:12:49 +0100molehillish(~molehilli@ip98-167-226-26.ph.ph.cox.net)
2021-03-17 17:13:21 +0100 <merijn> joncol: It's a type *and* value constructor
2021-03-17 17:13:27 +0100ADG1089__(~aditya@106.214.253.186)
2021-03-17 17:13:37 +0100ADG1089__(~aditya@106.214.253.186) (Client Quit)
2021-03-17 17:13:46 +0100 <merijn> joncol: If you had written "newtype DummyM a = DummyM {runDummyM :: StateT Dummy IO a}" as "newtype DummyM a = MkDummyM {runDummyM :: StateT Dummy IO a}"
2021-03-17 17:13:54 +0100 <merijn> joncol: Then you'd write "MkDummyM get"
2021-03-17 17:13:54 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 17:14:12 +0100heatsink(~heatsink@2600:1700:bef1:5e10:f837:3533:97b:1f44)
2021-03-17 17:14:14 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 17:14:19 +0100 <shapr> Jordandave23: Are you building anything neat in Haskell?
2021-03-17 17:14:36 +0100 <Jordandave23> shapr: no i studied it nearly 15-18 years ago
2021-03-17 17:14:40 +0100 <joncol> merijn: That helps. Thanks.
2021-03-17 17:14:48 +0100 <Jordandave23> i just am amazed people are still using it
2021-03-17 17:14:53 +0100 <shapr> Jordandave23: I've never had a Haskell class, but I do have a Haskell job!
2021-03-17 17:14:58 +0100 <merijn> joncol: So your newtype is defining both a value *and* type constructor :)
2021-03-17 17:15:00 +0100 <Jordandave23> its an intuitive language but suprised
2021-03-17 17:15:09 +0100 <shapr> Yeah, lots of benefits to Haskell in production.
2021-03-17 17:15:26 +0100 <shapr> And so many nifty tools! I'm especially fond of hoogle, where I can search by type signature.
2021-03-17 17:15:44 +0100 <Jordandave23> I tried to go back to restart my IT degree at an online IT uni, but i can't do it. it's fucked
2021-03-17 17:15:53 +0100 <joncol> merijn: OK, looking at the type signatures and your explanations, it makes some sense :).
2021-03-17 17:16:12 +0100 <Jordandave23> they are doing like webiners with java classes etc, and im like, i think youll agree
2021-03-17 17:16:25 +0100 <Jordandave23> youre not studying haskell unless you understand programming
2021-03-17 17:16:39 +0100 <shapr> Well, java has good points too. It's easy to find a job!
2021-03-17 17:16:45 +0100ddellacosta(~ddellacos@86.106.143.44)
2021-03-17 17:16:48 +0100 <Jordandave23> yeah that's no doubt
2021-03-17 17:16:55 +0100ddellacosta(~ddellacos@86.106.143.44) (Remote host closed the connection)
2021-03-17 17:17:10 +0100 <Jordandave23> but i was just not seeing the point of going to study it at a price
2021-03-17 17:17:11 +0100molehillish(~molehilli@ip98-167-226-26.ph.ph.cox.net) (Ping timeout: 256 seconds)
2021-03-17 17:17:17 +0100 <Jordandave23> i already have
2021-03-17 17:17:31 +0100 <shapr> You could self study here on #haskell ?
2021-03-17 17:17:39 +0100jakalx(~jakalx@base.jakalx.net) ("Error from remote client")
2021-03-17 17:17:53 +0100hackagehw-simd-cli 0.0.0.1 - SIMD library https://hackage.haskell.org/package/hw-simd-cli-0.0.0.1 (haskellworks)
2021-03-17 17:18:03 +0100 <Jordandave23> shapr: basically, yeah, i am someone that half completed an IT degree with an interest in programming, some time ago
2021-03-17 17:18:14 +0100 <Jordandave23> just debating whether to go back and try to do the lot
2021-03-17 17:18:17 +0100 <Jordandave23> or,
2021-03-17 17:18:26 +0100 <Jordandave23> just refresh
2021-03-17 17:18:33 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan)
2021-03-17 17:18:47 +0100 <shapr> I dunno, I went back to uni at age 40 and finished my four year degree at age 42? 43?
2021-03-17 17:19:01 +0100 <shapr> I was certainly excited to complete a degree.
2021-03-17 17:19:05 +0100 <geekosaur> depends on how much you let bitrot in the meantime
2021-03-17 17:19:07 +0100 <Jordandave23> who wouldnt be
2021-03-17 17:19:14 +0100 <Jordandave23> so do you think it was the right step
2021-03-17 17:19:34 +0100roconnor(~roconnor@host-45-58-230-226.dyn.295.ca)
2021-03-17 17:19:39 +0100 <shapr> I found it worthwhile, because I'm not good at sticking to a single goal for more than a year.
2021-03-17 17:19:46 +0100 <shapr> so I was able to prove to myself that I can do that
2021-03-17 17:19:50 +0100ajc(~ajc@69.231.232.79) (Ping timeout: 244 seconds)
2021-03-17 17:19:52 +0100 <Jordandave23> well i know what that is
2021-03-17 17:20:36 +0100 <Jordandave23> i found haskell interesting, it was a 2nd year subject i studied in my degree like 15 years ago
2021-03-17 17:20:54 +0100 <shapr> I certainly enjoy writing Haskell.
2021-03-17 17:21:00 +0100 <shapr> I also enjoy writing other programming languages.
2021-03-17 17:21:05 +0100 <Jordandave23> it was interesting because of its ease of use
2021-03-17 17:21:33 +0100hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 246 seconds)
2021-03-17 17:21:38 +0100 <Jordandave23> but im just fascinated, because ive recently decided to go back down that path
2021-03-17 17:21:45 +0100 <Jordandave23> and to find a channel with this many people
2021-03-17 17:21:47 +0100 <shapr> yeah, jump in and write code!
2021-03-17 17:21:54 +0100 <Jordandave23> i didnt think that langauge still had legs
2021-03-17 17:22:01 +0100 <shapr> At this point it has wheels
2021-03-17 17:22:04 +0100 <shapr> maybe even tank treads
2021-03-17 17:22:05 +0100 <cheater> shapr: completing a degree is fine i guess, but radians are just better
2021-03-17 17:22:14 +0100 <jumper149> might even have wings
2021-03-17 17:22:20 +0100 <shapr> jumper149: ha! yes!
2021-03-17 17:22:20 +0100 <Jordandave23> lols cheater that joke is so bad
2021-03-17 17:22:23 +0100 <Taneb> cheater: it's harder to complete a radian, they're a lot bigger
2021-03-17 17:22:48 +0100 <shapr> howdy cheater, how's code?
2021-03-17 17:23:08 +0100 <cheater> less concerned with code and more concerned with health today
2021-03-17 17:23:10 +0100 <Jordandave23> so, i hope you dont mind but i want to ask for anyones opinion
2021-03-17 17:23:14 +0100 <merijn> shapr: https://twitter.com/TechnoEmpress/status/1372121484358004830 ;)
2021-03-17 17:23:34 +0100 <Jordandave23> I recently found an interest in python, and im using it now
2021-03-17 17:23:37 +0100 <bbhoss> @Jordandave23 what's your favorite monad tutorial
2021-03-17 17:23:37 +0100 <lambdabot> Unknown command, try @list
2021-03-17 17:23:55 +0100Deide(~Deide@217.155.19.23)
2021-03-17 17:23:56 +0100 <shapr> jumper149: ah, I'm gonna try blucontrol, that's neato
2021-03-17 17:23:58 +0100 <Jordandave23> but i also wanted to go back and get an online degree
2021-03-17 17:24:10 +0100 <Jordandave23> its shit is what i found, has anyone found this
2021-03-17 17:24:24 +0100 <bbhoss> i feel like I'm up to understanding typeclasses at least conceptually but not sure where to go next. I get the concept of monads but I don't yet feel them in my bones
2021-03-17 17:24:28 +0100 <shapr> merijn: scary, but I can see the truth
2021-03-17 17:24:49 +0100 <cheater> Taneb: that's why i said, a degree is fine
2021-03-17 17:24:52 +0100 <shapr> Jordandave23: I've heard good things about the GATech online master's degree
2021-03-17 17:24:52 +0100 <jumper149> shapr: Try it out! It's simple but solid.
2021-03-17 17:25:04 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-03-17 17:25:19 +0100 <jumper149> It should be easy to put in new functionality if you are comfortable with monad transformers
2021-03-17 17:25:53 +0100 <cheater> Taneb: i will draw this joke out as long as i can... i'm sure you'll do a 180 on it in no time
2021-03-17 17:25:58 +0100 <dsal> bbhoss: "monad tutorial" doesn't seem like a productive concept. It sounds a bit like "what's your favorite function tutorial?" I've not learned much from tutorials in general, though.
2021-03-17 17:26:17 +0100 <cheater> i could read a function tutorial
2021-03-17 17:26:21 +0100 <cheater> we should start doing those
2021-03-17 17:26:28 +0100 <jumper149> Maybe some day I will write a Blucontrol.Gamma.Geolocation for some redshift like functionality
2021-03-17 17:26:37 +0100 <Jordandave23> agreed i dont think that means anything
2021-03-17 17:26:58 +0100 <cheater> advanced ways to use functions in haskell. love to hear some. anyone got any to share?
2021-03-17 17:27:09 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com) (Quit: WeeChat 3.0)
2021-03-17 17:27:19 +0100 <shapr> cheater: I like map
2021-03-17 17:27:20 +0100 <Jordandave23> cheater: why dont you share
2021-03-17 17:27:22 +0100 <cheater> wasn't (-> a) a functor or something like that?
2021-03-17 17:27:27 +0100 <cheater> that had some fun consequences
2021-03-17 17:27:27 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 17:27:30 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com)
2021-03-17 17:27:38 +0100 <cheater> or even an applicative maybe
2021-03-17 17:27:43 +0100 <Jordandave23> yeah mapping is up there
2021-03-17 17:27:50 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 17:27:55 +0100 <shapr> jumper149: does blucontrol support for changing the amount of blue light based on time of day? I don't immediately see that.
2021-03-17 17:28:09 +0100 <shapr> oh wait, is that the rgbMap ?
2021-03-17 17:28:24 +0100 <shapr> oh, I bet it is
2021-03-17 17:28:32 +0100 <shapr> ah, neat https://github.com/jumper149/blucontrol/blob/master/Main.hs#L16
2021-03-17 17:28:32 +0100 <jumper149> shapr: Yeah, what you have to understand is the splitting into three parts
2021-03-17 17:28:38 +0100Sathiana(~kath@185-113-98-38.cust.bredband2.com) (Client Quit)
2021-03-17 17:28:42 +0100 <shapr> jumper149: what does that do?
2021-03-17 17:28:56 +0100 <shapr> I see it's a non-empty list
2021-03-17 17:29:03 +0100 <jumper149> MonadGamma calculates Gamma
2021-03-17 17:29:16 +0100 <jumper149> MonadRecolor applies to the X server
2021-03-17 17:29:34 +0100jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-03-17 17:29:39 +0100 <cheater> what you really want is for your monitor to strobe black and white in the morning. wakes you right up
2021-03-17 17:29:45 +0100 <jumper149> MonadControl can handle errors and also does stuff like setting the interval
2021-03-17 17:29:54 +0100 <jumper149> What you probably want to set up is Monad Gamma
2021-03-17 17:30:11 +0100 <jumper149> And if you want time-dependent config you need to configure GammaLinearT
2021-03-17 17:31:09 +0100notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 264 seconds)
2021-03-17 17:31:12 +0100 <jumper149> shapr: As you can see that rgbMap is the argument to runGammaLinearT
2021-03-17 17:31:24 +0100 <shapr> Does GammaLinearT do slow changes or is it an instant change at that time?
2021-03-17 17:31:42 +0100shaprclones, starts the build, experiments
2021-03-17 17:31:53 +0100 <jumper149> It does a linear interpolation on the times, hence the name
2021-03-17 17:32:12 +0100 <shapr> ah, nice!
2021-03-17 17:32:15 +0100cfricke(~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0.1)
2021-03-17 17:32:37 +0100 <shapr> I've been looking for exactly this kind of thing, thanks!
2021-03-17 17:32:45 +0100 <jumper149> The smoothness depends on how you set up ControlWaitT
2021-03-17 17:33:07 +0100 <jumper149> shapr: I'm happy that someone else finds it useful :)
2021-03-17 17:33:17 +0100shaprlooks at ControlWaitT
2021-03-17 17:33:31 +0100 <jumper149> I wrote this before: https://github.com/jumper149/blugon
2021-03-17 17:33:39 +0100dhruvasagar(~dhruvasag@49.207.63.69)
2021-03-17 17:33:45 +0100 <jumper149> But wasn't satisfied with the configurability of a standard config file
2021-03-17 17:33:52 +0100 <jumper149> So I went the xmonad approach
2021-03-17 17:33:56 +0100wlritchi_wlritchi
2021-03-17 17:34:01 +0100 <dhruvasagar> Hi guys, I need a little help, i've been in the hole for a while
2021-03-17 17:34:45 +0100 <dhruvasagar> Are you guys familiar with https://github.com/tsoding/haskell-json/blob/master/Main.hs ?
2021-03-17 17:34:52 +0100 <jumper149> I never posted it anywhere, because documentation is not that thorough. You kinda have to read the source to understand what's going on.
2021-03-17 17:35:06 +0100 <koz_> dhruvasagar: We can be if needs be. What's your question?
2021-03-17 17:35:08 +0100 <shapr> jumper149: if I ask enough questions, I can contribute some docs :-)
2021-03-17 17:35:32 +0100jakalx(~jakalx@base.jakalx.net)
2021-03-17 17:35:59 +0100 <dhruvasagar> I am trying to implement something simple but I am not able to wrap my head around it. I want to apply the `ws` parser and extract in essense the indentation of a string, and combine that with `stringP` to create a parser for exact matching that indentation
2021-03-17 17:36:03 +0100 <jumper149> I'll be happy to review some PRs :)
2021-03-17 17:36:24 +0100 <dhruvasagar> koz_: I don't know if that description was helpful enough, but I would appreciate help
2021-03-17 17:36:34 +0100 <dhruvasagar> s/helpful/clear/
2021-03-17 17:36:38 +0100bobweb(ac3a1784@172.58.23.132)
2021-03-17 17:37:09 +0100 <koz_> dhruvasagar: ws doesn't tell you how much whitespace got parsed.
2021-03-17 17:37:25 +0100 <dhruvasagar> koz_: I am aware, but it is in the result of applicataion of the parser
2021-03-17 17:38:20 +0100 <koz_> So you need to write a 'countingWS :: Parser (Int, String)' which counts its 'width' after parsing by checking the difference between the loc of the input Input and the loc of the result Input.
2021-03-17 17:38:55 +0100 <koz_> Since a Parser is just Input -> (a, Input).
2021-03-17 17:39:32 +0100 <koz_> (or rather, Input -> Either ParseError (Input, a), but that's still possible there)
2021-03-17 17:39:44 +0100 <dhruvasagar> koz_: I don't necessarily care about the count / length of the indentation
2021-03-17 17:40:00 +0100 <koz_> I'm saying you need this as a component for what you _do_ care about.
2021-03-17 17:40:23 +0100 <dhruvasagar> koz_: eg.) `runParser ws " asd"` tells me the indentation is " ", then my indentation parser would be `stringP " "`
2021-03-17 17:40:30 +0100joncol(~jco@c188-150-101-195.bredband.comhem.se) (Quit: leaving)
2021-03-17 17:40:49 +0100 <koz_> Ah, in that case, the whitespace is the result of the ws parser.
2021-03-17 17:40:59 +0100 <dhruvasagar> koz_: yes indeed
2021-03-17 17:41:01 +0100 <koz_> Since it's Parser String, which means the String it parses is the whitespace.
2021-03-17 17:41:04 +0100shad0w_(a0ca2598@160.202.37.152)
2021-03-17 17:41:05 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 17:41:06 +0100idhugo_(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-03-17 17:41:25 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 17:42:21 +0100 <koz_> So just capture that and now you can use it with stringP just like above.
2021-03-17 17:42:47 +0100conal(~conal@64.71.133.70)
2021-03-17 17:42:58 +0100DataComputist(~lumeng@50.43.26.251)
2021-03-17 17:43:30 +0100 <dhruvasagar> koz_: that's what i've been trying, but I am not able to do the extraction from the either and combining with stringP cleanly
2021-03-17 17:43:42 +0100 <koz_> ws >>= stringP
2021-03-17 17:43:46 +0100 <dhruvasagar> koz_: it sounds simple on paper, but I am not that great with haskell yet
2021-03-17 17:43:49 +0100 <dhruvasagar> oO
2021-03-17 17:43:54 +0100 <dhruvasagar> let me look at the type
2021-03-17 17:44:05 +0100 <koz_> That's assuming that you don't need to capture the result of the ws and use it multiple times.
2021-03-17 17:44:06 +0100FortuneZero(3223b878@50.35.184.120) (Quit: Connection closed)
2021-03-17 17:44:07 +0100 <koz_> Is that your goal?
2021-03-17 17:44:37 +0100 <bobweb> koz_: Hi, again! Do you ever sleep? I now have this problem: https://paste.tomsmeding.com/pjyfMlOA Thank you.
2021-03-17 17:44:47 +0100 <koz_> bobweb: I assure you that I do.
2021-03-17 17:45:06 +0100 <bobweb> koz_: LOL
2021-03-17 17:45:31 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-17 17:45:35 +0100 <koz_> bobweb: If I had to guess, the literals 1 and 2 have type (Num a) => a. Similar to the previous issue you asked about. However, there's so much missing context I dunno.
2021-03-17 17:45:35 +0100 <dhruvasagar> koz_: I will need to use it multiple times, but as long as I have a parser I was going to just combine it with `many` to do that
2021-03-17 17:45:58 +0100 <dhruvasagar> koz_: basically I am creating an indent aware parser similar to the one he created, for yaml
2021-03-17 17:46:01 +0100 <koz_> Then you wanna do something like this.
2021-03-17 17:46:39 +0100 <geekosaur> ExtendedDefaultRules?
2021-03-17 17:47:05 +0100 <koz_> dhruvasagar: https://paste.tomsmeding.com/fqjnhk7w
2021-03-17 17:47:11 +0100 <geekosaur> unless tis iss inside ghci in which case a bigger hammer is needed
2021-03-17 17:48:20 +0100 <dhruvasagar> koz_: I did try something like that but maybe I was too held up in trying to create a parser, let me rethink a little
2021-03-17 17:51:27 +0100tsaka__(~torstein@2a02:587:1b1a:7800:792e:732d:be64:a99d)
2021-03-17 17:51:31 +0100todda7(~torstein@2a02:587:1b10:ea00:db5:2d40:d00d:cce4) (Ping timeout: 272 seconds)
2021-03-17 17:53:35 +0100Sornaensis(~Sornaensi@077213203030.dynamic.telenor.dk)
2021-03-17 17:53:47 +0100 <dhruvasagar> koz_: I was trying something like this earlier - https://gist.github.com/f86ca2afe00419f073eb62666d38a309
2021-03-17 17:54:36 +0100Sorna(~Sornaensi@154.6.18.32)
2021-03-17 17:54:41 +0100 <koz_> dhruvasagar: I'm not even clear on what that's doing to be honest.
2021-03-17 17:54:41 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 17:54:47 +0100 <koz_> You need to _first_ mark out your indent.
2021-03-17 17:54:48 +0100 <dhruvasagar> koz_: but this is obviously wrong because it's not fixed indent string parser that I am creating, it ends up working just like `ws`
2021-03-17 17:55:00 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 17:55:01 +0100Jordandave23(~lmn2@120.154.155.173) (Remote host closed the connection)
2021-03-17 17:55:04 +0100 <koz_> Like, you gotta determine what that is before you start many-ing it or whatever.
2021-03-17 17:56:06 +0100 <dhruvasagar> koz_: right I felt I got that with `indentP`
2021-03-17 17:56:48 +0100 <dhruvasagar> koz_: but let me try the do block approach again
2021-03-17 17:56:54 +0100 <koz_> I would suggest this.
2021-03-17 17:56:57 +0100shad0w_(a0ca2598@160.202.37.152) (Quit: Connection closed)
2021-03-17 17:57:03 +0100 <koz_> Come up with a simple (as in, two lines) input with indentation.
2021-03-17 17:57:06 +0100 <koz_> One correct, one wrong.
2021-03-17 17:57:11 +0100 <koz_> And try and write a parser for that.
2021-03-17 17:57:17 +0100 <koz_> Such that the right one parses, and the wrong one errors.
2021-03-17 17:57:23 +0100 <koz_> _Then_ try to generalize.
2021-03-17 17:57:24 +0100 <shapr> jumper149: do you have blucontrol hooked into your nix setup as a user level service?
2021-03-17 17:57:25 +0100cuz(~user@38.140.58.234) (Ping timeout: 276 seconds)
2021-03-17 17:57:42 +0100 <shapr> aw, Jordandave23 didn't want to re-learn Haskell after all :-(
2021-03-17 17:57:43 +0100Sorny(~Sornaensi@79.142.232.102) (Ping timeout: 260 seconds)
2021-03-17 17:57:49 +0100 <dhruvasagar> koz_: ok, thanks for your help
2021-03-17 17:58:16 +0100 <jumper149> shapr: I simply call it in my .xprofile https://github.com/jumper149/dotfiles/blob/master/.xprofile#L22
2021-03-17 17:58:33 +0100Sornaensis(~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 256 seconds)
2021-03-17 17:58:44 +0100 <koz_> (ok, maybe three lines)
2021-03-17 17:58:55 +0100 <koz_> (but the point is, it should be fairly short and mostly about the indentation)
2021-03-17 17:59:00 +0100 <shapr> jumper149: ah, thanks
2021-03-17 17:59:02 +0100Boomerang(~Boomerang@2a05:f6c7:2179:0:c023:32c1:e407:f7a0) (Ping timeout: 265 seconds)
2021-03-17 17:59:08 +0100 <jumper149> Never had it crash so I never felt the need to write a service. It would be cool to have though
2021-03-17 17:59:55 +0100 <bobweb> koz_: Yes, I resolved the previous issue by not trying to access the elements inside the data constructor: that was the part of the exercise that I was misunderstanding. In the present issue, (<>) is supposed to return the first (Snd x) value (or the right-most value if both are (Fst _). So """Fst 1 <> Snd 2""" should just return """Snd 2""" as
2021-03-17 17:59:55 +0100 <bobweb> there is no manipulation of the data variables (1 and 2, in this case). E.G., """Fst 1""" returns """Fst 1""" and """Snd 2""" returns """Snd 2""", no problem because the (Or a b) type derives Show. So why does """Fst 1 <> Snd 2""" refuse to show """Snd 2"""?
2021-03-17 18:00:38 +0100howdoi(uid224@gateway/web/irccloud.com/x-dtnuksdjtbsicedj)
2021-03-17 18:00:42 +0100 <koz_> bobweb: Again, firstly what geekosaur mentioned. Secondly, since I can't see the code for the tests themselves, it's very difficult for me to say anything.
2021-03-17 18:00:55 +0100 <koz_> The thing you're pasting that it's running doesn't have strings in it.
2021-03-17 18:00:55 +0100 <jumper149> shapr: And I also have this https://github.com/jumper149/dotfiles/blob/master/.xprofile#L22
2021-03-17 18:01:00 +0100 <koz_> (or Strings, same diff)
2021-03-17 18:01:14 +0100 <jumper149> shapr: wrong link: https://github.com/jumper149/dotfiles/blob/nixos/.config/nixpkgs/overlays-custom/main.nix#L47
2021-03-17 18:04:01 +0100specdrake(~anurag@111.223.26.138)
2021-03-17 18:05:23 +0100Ishutin(~ishutin@94-21-131-78.pool.digikabel.hu)
2021-03-17 18:05:46 +0100 <shapr> ah, that's the kind of thing I need
2021-03-17 18:07:12 +0100 <jumper149> shapr: I might as well just make a PR for nixpkgs. :D
2021-03-17 18:07:18 +0100RandomArcher(~RandomArc@90.153.186.31)
2021-03-17 18:07:31 +0100 <jumper149> The derivation is already done anyways
2021-03-17 18:08:13 +0100notzmv(~zmv@unaffiliated/zmv)
2021-03-17 18:08:13 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 18:08:23 +0100Ishutin_(~ishutin@77-234-64-188.pool.digikabel.hu) (Ping timeout: 245 seconds)
2021-03-17 18:08:36 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 18:10:35 +0100jumper149puts it into nixpkgs right now :)
2021-03-17 18:10:37 +0100 <shapr> jumper149: yay!
2021-03-17 18:10:45 +0100specdrake(~anurag@111.223.26.138) (Remote host closed the connection)
2021-03-17 18:11:46 +0100solidus-river(~mike@174.127.249.180)
2021-03-17 18:11:59 +0100kritzefitz(~kritzefit@fw-front.credativ.com) (Remote host closed the connection)
2021-03-17 18:13:01 +0100augnun(~augnun@2804:14c:658b:41bb:57d:9776:9e3e:4447)
2021-03-17 18:13:03 +0100CoconutCrab(~Cua@unaffiliated/coconutcrab) (Ping timeout: 244 seconds)
2021-03-17 18:14:27 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-17 18:14:51 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-17 18:16:12 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-03-17 18:16:23 +0100hackagemusicw 0.3.8 - Sound synthesis library, to be used with GHCJS and Web Audio API https://hackage.haskell.org/package/musicw-0.3.8 (dktr0)
2021-03-17 18:17:55 +0100exarkun(~exarkun@14.79.69.34.bc.googleusercontent.com) (Excess Flood)
2021-03-17 18:18:15 +0100exarkun(~exarkun@14.79.69.34.bc.googleusercontent.com)
2021-03-17 18:18:36 +0100RandomArcher(~RandomArc@90.153.186.31) (Ping timeout: 246 seconds)
2021-03-17 18:18:57 +0100notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 246 seconds)
2021-03-17 18:19:24 +0100rprospero(~adam@186.75.232.35.bc.googleusercontent.com) (Quit: ZNC 1.7.5 - https://znc.in)
2021-03-17 18:19:31 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds)
2021-03-17 18:19:40 +0100rprospero(~adam@186.75.232.35.bc.googleusercontent.com)
2021-03-17 18:20:06 +0100heatsink(~heatsink@2600:1700:bef1:5e10:f837:3533:97b:1f44) (Remote host closed the connection)
2021-03-17 18:20:34 +0100pjb(~t@2a01cb04063ec50044b6cbec1ec8dc3b.ipv6.abo.wanadoo.fr) (Read error: Connection reset by peer)
2021-03-17 18:22:32 +0100conal(~conal@64.71.133.70)
2021-03-17 18:24:07 +0100 <bobweb> Here is an expanded and annotated version of my issue: https://paste.tomsmeding.com/ Basically everything works except that (<>) won't print e.g., Fst 1 <> Snd 2 returns an error instead of returning Snd 2. As (<>) on (Or a b = Fst a | Snd b deriving (Eq, Show))  is not defined to operate on the x in Snd x, it should have no problem printing (by
2021-03-17 18:24:08 +0100 <bobweb> my understanding). Thanks.
2021-03-17 18:25:11 +0100romesrf(~romesrf@44.190.189.46.rev.vodafone.pt)
2021-03-17 18:25:35 +0100romesrf(~romesrf@44.190.189.46.rev.vodafone.pt) (Client Quit)
2021-03-17 18:25:39 +0100 <geekosaur> the error message you showed earlier was about defaulting, which is why I suggested ExtendedDefaultRules to get around it. (also your link above is wrong, it's the URL of the paste site and not of a paste)
2021-03-17 18:25:55 +0100romesrf(~romesrf@44.190.189.46.rev.vodafone.pt)
2021-03-17 18:26:12 +0100hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2021-03-17 18:26:46 +0100 <geekosaur> in the absence of ExtendedDefaultRules, ghc can't see through Semigroup to see that the thing inside it has a type with a Show instance
2021-03-17 18:26:51 +0100 <bobweb> geekosaur: Oops! Sorry. Here: https://paste.tomsmeding.com/t2eAq6e2
2021-03-17 18:27:34 +0100 <geekosaur> interesting, that's in ghci so ExtendedDefaultRules isn't enough
2021-03-17 18:28:28 +0100 <bobweb> The author expects that this should be a simple exercise, I think.
2021-03-17 18:28:28 +0100 <geekosaur> I'm betting it works if you give 2 an explicit type, though
2021-03-17 18:28:40 +0100sam9000(~samrudhku@150.129.88.87)
2021-03-17 18:28:45 +0100 <bobweb> Yes, as long as its a string.
2021-03-17 18:28:50 +0100 <geekosaur> maybe you turn ExtendedDefaultRules off in a .ghci file?
2021-03-17 18:28:58 +0100 <sam9000> exit
2021-03-17 18:29:01 +0100sam9000(~samrudhku@150.129.88.87) (Quit: leaving)
2021-03-17 18:29:21 +0100 <geekosaur> Snd (2 :: Int) -- should also work
2021-03-17 18:29:38 +0100 <geekosaur> or :: Integer if you prefer
2021-03-17 18:29:58 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-03-17 18:30:31 +0100 <geekosaur> conversely strings would stop working if you enabled OverloadedStrings
2021-03-17 18:31:02 +0100 <bobweb> See errors here: https://paste.tomsmeding.com/4djxlyKQ
2021-03-17 18:31:30 +0100romesrf(~romesrf@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.1)
2021-03-17 18:31:33 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-03-17 18:31:42 +0100Major_Biscuit(~Major_Bis@82-169-100-198.biz.kpn.net) (Ping timeout: 265 seconds)
2021-03-17 18:31:56 +0100 <geekosaur> oh, hm, right, so it's actually using some other instance there. or failing to find an instance at all and reporting it poorly
2021-03-17 18:32:51 +0100 <bobweb> I'm in Stack project if that matters...
2021-03-17 18:33:04 +0100 <geekosaur> (it shouldn't even reach Show if it has no Num instance for something with a Semigroup instance, but most things with Num instances have at least two possible Semigroups and neither one is better than the other so ghc refuses to pick one as "the" Semigroup)
2021-03-17 18:33:46 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-17 18:33:47 +0100fuzzypixelz(2ec10464@eth-west-pareq2-46-193-4-100.wb.wifirst.net)
2021-03-17 18:33:49 +0100 <geekosaur> (Sum and Product to be specific)
2021-03-17 18:34:34 +0100conal(~conal@64.71.133.70)
2021-03-17 18:34:45 +0100 <geekosaur> did the earlier exercise have you specify a Monoid or Semigroup instance for any other type than Or?
2021-03-17 18:35:24 +0100motherfsck(~motherfsc@unaffiliated/motherfsck) (Quit: quit)
2021-03-17 18:35:25 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 18:35:27 +0100 <geekosaur> because, as I said, ghc doesn't pick either Sum or Produce by default as "the" Monoid or Semigroup over any Num instance
2021-03-17 18:35:39 +0100 <geekosaur> but the code you showed assumes one has been picked somehow
2021-03-17 18:35:41 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 18:36:12 +0100 <geekosaur> or maybe they provide a different Num instance somewhere
2021-03-17 18:38:30 +0100 <monochrom> There are multiple problems forbidding "Fst 1 <> Snd 2" to work automatically, even after extended defaults and type annotations.
2021-03-17 18:38:48 +0100 <geekosaur> yes
2021-03-17 18:38:56 +0100thc202(~thc202@unaffiliated/thc202) (Ping timeout: 240 seconds)
2021-03-17 18:39:39 +0100thc202(~thc202@unaffiliated/thc202)
2021-03-17 18:39:40 +0100 <monochrom> One issue is you're now looking for a type X such that X is an instance of Num and Semigroup. (Show is too easy.) There is none.
2021-03-17 18:39:48 +0100 <bobweb> Yes, we instance Semigroup for arbitrary types from nullary on up to four-tuple and everything has been fine. However the Associativity test has only been on String data constructor parameters or the parameters where not accessed in the definition of (<>) for a particular exercise.
2021-03-17 18:39:50 +0100 <geekosaur> but with what I see then just showing Fst 1 should have failed too
2021-03-17 18:39:59 +0100 <geekosaur> yet their paste shows it working
2021-03-17 18:40:26 +0100romesrf(~romesrf@44.190.189.46.rev.vodafone.pt)
2021-03-17 18:40:34 +0100 <geekosaur> https://paste.tomsmeding.com/t2eAq6e2 lines 37-38
2021-03-17 18:40:47 +0100 <geekosaur> so something is not making sense here
2021-03-17 18:41:14 +0100 <monochrom> Err there are two. They are "Sum a" and "Product a". But neither is considered by extended defaulting.
2021-03-17 18:41:19 +0100 <geekosaur> yes
2021-03-17 18:41:25 +0100 <geekosaur> which one is that paste using?
2021-03-17 18:41:40 +0100kuribas(~user@ptr-25vy0i879y19n3wd622.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2021-03-17 18:41:50 +0100 <monochrom> I believe that the book is wrong here.
2021-03-17 18:42:28 +0100 <bobweb> I was thinking it possible that the text could be in error.
2021-03-17 18:42:49 +0100 <bobweb> It's a big book.
2021-03-17 18:43:47 +0100 <monochrom> This is why before I post an assignment I work out the complete solution and make sure it compiles. Learned it the hard way.
2021-03-17 18:43:53 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-03-17 18:43:57 +0100ptrcmd_ptrcmd
2021-03-17 18:44:29 +0100 <monochrom> In fact also write some simple but representative test cases and make sure my solution passes my own test cases before I post the assignment.
2021-03-17 18:44:35 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-17 18:45:10 +0100 <bobweb> OK, so I'm going to let this one go. Thanks for your help, koz_: geekosaur: and monochrom:
2021-03-17 18:45:16 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-17 18:45:21 +0100 <monochrom> That's right, I'm impeaching that the book author never solved this exercise. Bite me.
2021-03-17 18:45:36 +0100berberman(~berberman@unaffiliated/berberman) (Ping timeout: 244 seconds)
2021-03-17 18:46:40 +0100 <bobweb> LOL.
2021-03-17 18:46:54 +0100l8star__(~l8star@business-90-187-113-149.pool2.vodafone-ip.de) (Remote host closed the connection)
2021-03-17 18:46:54 +0100 <monochrom> "Fst 1" alone is just like "Left 1" alone and enjoys defaulting to Integer. This one doesn't involve Semigroup.
2021-03-17 18:48:02 +0100geekosaur(82650c7a@130.101.12.122) (Ping timeout: 240 seconds)
2021-03-17 18:48:38 +0100 <monochrom> Hrm, I was wrong. The exercise is solvable as is.
2021-03-17 18:49:54 +0100 <monochrom> The "sticky Snd" behaviour (and I bet also the "last Fst" behaviour in case you don't see any Snd) implies that you should simply have "instance Semigroup (Or a b) where ...".
2021-03-17 18:50:41 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-03-17 18:50:42 +0100 <monochrom> Then even normal defaulting will suffice. You're now just looking for a type X that is an instance of Num and Show. No Semigroup requirement.
2021-03-17 18:51:02 +0100bobweb(ac3a1784@172.58.23.132) (Ping timeout: 240 seconds)
2021-03-17 18:51:28 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-17 18:55:00 +0100Franciman(~francesco@host-79-53-62-46.retail.telecomitalia.it) (Quit: Leaving)
2021-03-17 18:55:00 +0100zaquest(~notzaques@5.128.210.178) (Ping timeout: 246 seconds)
2021-03-17 18:55:50 +0100idhugo_(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 256 seconds)
2021-03-17 18:56:54 +0100cur8or(~cur8or@196.41.98.130)
2021-03-17 18:57:05 +0100cur8or(~cur8or@196.41.98.130) (Client Quit)
2021-03-17 18:57:33 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-03-17 18:58:18 +0100zaquest(~notzaques@5.128.210.178)
2021-03-17 18:58:34 +0100 <solidus-river> hmm, this library is using threadWaitWrite but i don't want it to, do i have to remake these funcs or is there a way to gaurd against that via thread options
2021-03-17 19:01:27 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 256 seconds)
2021-03-17 19:01:33 +0100codygman`(~user@209.251.131.98) (Remote host closed the connection)
2021-03-17 19:01:44 +0100rajivr(uid269651@gateway/web/irccloud.com/x-uascrnncsdwthllt) (Quit: Connection closed for inactivity)
2021-03-17 19:01:53 +0100codygman__(~user@209.251.131.98)
2021-03-17 19:03:14 +0100heatsink(~heatsink@2600:1700:bef1:5e10:f837:3533:97b:1f44)
2021-03-17 19:06:23 +0100hackagerecover-rtti 0.3.0.0 - Recover run-time type information from the GHC heap https://hackage.haskell.org/package/recover-rtti-0.3.0.0 (EdskoDeVries)
2021-03-17 19:06:50 +0100 <solidus-river> actually i can put it in a child thread
2021-03-17 19:08:13 +0100geekosaur(82650c7a@130.101.12.122)
2021-03-17 19:08:55 +0100seveg(~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk)
2021-03-17 19:10:56 +0100Cathy(~Cathy@unaffiliated/cathy) (Ping timeout: 240 seconds)
2021-03-17 19:11:11 +0100DataComputist(~lumeng@50.43.26.251) (Quit: Leaving...)
2021-03-17 19:11:30 +0100 <iphy> in attoparsec, is there a way to say "parse with this parser until N bytes have been consumed"?
2021-03-17 19:11:57 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 264 seconds)
2021-03-17 19:12:10 +0100sh9(~sh9@softbank060116136158.bbtec.net) (Quit: WeeChat 2.8)
2021-03-17 19:12:30 +0100 <iphy> so basically: take n, then run a subparser on the returned ByteString, except I'd like to stay within the same Parser
2021-03-17 19:12:45 +0100 <monochrom> I think no, but are you OK with giving it just N bytes?
2021-03-17 19:13:14 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2021-03-17 19:13:21 +0100fuzzypixelz(2ec10464@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Quit: Connection closed)
2021-03-17 19:13:30 +0100dyeplexer(~lol@unaffiliated/terpin) (Remote host closed the connection)
2021-03-17 19:13:39 +0100 <iphy> I'm parsing a chunked file format where the chunk size is at the start, but I don't know how many of the subparser are within that chunk
2021-03-17 19:14:14 +0100 <geekosaur> seems to me you just plain read the chunk, then invoke the parser on that
2021-03-17 19:14:15 +0100 <iphy> so I know the length of the chunk, and I want to do "parse as many of the subparser within these bounds as you can"
2021-03-17 19:14:23 +0100hackagecabal2nix 2.17.0 - Convert Cabal files into Nix build instructions. https://hackage.haskell.org/package/cabal2nix-2.17.0 (PeterSimons)
2021-03-17 19:14:43 +0100 <iphy> hmm
2021-03-17 19:15:59 +0100peanut_(~peanut@2a02:8388:a101:2600:ca51:748b:ec67:2e7c) (Quit: Leaving)
2021-03-17 19:16:18 +0100DataComputist(~lumeng@50.43.26.251)
2021-03-17 19:18:08 +0100 <iphy> geekosaur: so actually { chunk <- take n ; let res = parse (some parseElement) chunk ; ... do something to res to turn it back into the Parser monad? ?
2021-03-17 19:18:12 +0100 <iphy> }
2021-03-17 19:18:24 +0100Cathy(~Cathy@unaffiliated/cathy)
2021-03-17 19:18:25 +0100 <iphy> so how do I turn Result back into a Parser?
2021-03-17 19:18:46 +0100frozenErebus(~frozenEre@37.231.243.22)
2021-03-17 19:18:48 +0100 <iphy> or do you mean separate steps of parsing the chunked format and then parse each chunk separately outside?
2021-03-17 19:19:05 +0100 <monochrom> I would do the separate steps way.
2021-03-17 19:19:13 +0100 <geekosaur> I was thinking one of the hGet… functions and parse each separately
2021-03-17 19:19:40 +0100 <geekosaur> but separate steps would also work
2021-03-17 19:21:27 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-17 19:21:51 +0100lynx__(~lynx_@117.222.66.23)
2021-03-17 19:21:52 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-17 19:22:36 +0100 <solidus-river> im using a recursive function to do something every N seconds within an IO monad, is there a helper func that would make this cleaner
2021-03-17 19:22:48 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 19:22:51 +0100ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-03-17 19:23:22 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 19:24:35 +0100Rudd0(~Rudd0@185.189.115.103) (Ping timeout: 265 seconds)
2021-03-17 19:24:38 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-17 19:25:23 +0100augnun(~augnun@2804:14c:658b:41bb:57d:9776:9e3e:4447) (Ping timeout: 244 seconds)
2021-03-17 19:26:01 +0100__minoru__shirae(~shiraeesh@109.166.59.216)
2021-03-17 19:26:18 +0100esp32_prog(esp32_prog@gateway/vpn/mullvad/esp32prog/x-46565127) (Ping timeout: 245 seconds)
2021-03-17 19:26:21 +0100minoru_shiraeesh(~shiraeesh@46.34.206.65) (Ping timeout: 264 seconds)
2021-03-17 19:26:57 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds)
2021-03-17 19:29:57 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-03-17 19:32:06 +0100romesrf(~romesrf@44.190.189.46.rev.vodafone.pt) (Ping timeout: 256 seconds)
2021-03-17 19:34:28 +0100 <sm[m]> solidus-river: there's monadic loop helpers like forever
2021-03-17 19:35:10 +0100Yumasi(~guillaume@40.72.95.92.rev.sfr.net) (Ping timeout: 260 seconds)
2021-03-17 19:36:27 +0100notzmv(~zmv@unaffiliated/zmv)
2021-03-17 19:36:27 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 19:36:57 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 19:37:11 +0100romesrf(~romesrf@44.190.189.46.rev.vodafone.pt)
2021-03-17 19:37:17 +0100Sorny(~Sornaensi@154.6.18.32)
2021-03-17 19:37:30 +0100epicte7us(~epictetus@ip72-194-215-136.sb.sd.cox.net)
2021-03-17 19:37:54 +0100urodna_(~urodna@unaffiliated/urodna)
2021-03-17 19:38:46 +0100elfets_(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-03-17 19:38:55 +0100 <iphy> https://downloads.haskell.org/~ghc/8.0.1/docs/html/libraries/binary-0.8.3.0/Data-Binary-Get.html#v… <- so this does not exist for attoparsec?
2021-03-17 19:39:12 +0100 <solidus-river> yeah, i'm ending up using fix a lot to do one off tail recursive loops and i'm wondering if i'm getting used to an anti patturn or if thats just the way things go when doing a lot of iterative IO as a driving force in a thread
2021-03-17 19:39:37 +0100 <solidus-river> i don't know why I added a yeah there :X
2021-03-17 19:40:59 +0100hololeap(~hololeap@unaffiliated/hololeap) (Read error: Connection reset by peer)
2021-03-17 19:41:47 +0100darjeeling_(~darjeelin@122.245.218.190) (Ping timeout: 265 seconds)
2021-03-17 19:42:20 +0100Ishutin_(~ishutin@94-21-131-78.pool.digikabel.hu)
2021-03-17 19:42:44 +0100jumper141(~jumper149@ip185225.wh.uni-hannover.de)
2021-03-17 19:43:06 +0100jumper141(~jumper149@ip185225.wh.uni-hannover.de) (Client Quit)
2021-03-17 19:44:40 +0100notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 276 seconds)
2021-03-17 19:45:14 +0100 <solidus-river> switching from polling to sleeping and then checking if hte condition still holds makes things way cleaner in code
2021-03-17 19:46:23 +0100hololeap(~hololeap@unaffiliated/hololeap)
2021-03-17 19:46:33 +0100zaquest(~notzaques@5.128.210.178) (*.net *.split)
2021-03-17 19:46:33 +0100Ishutin(~ishutin@94-21-131-78.pool.digikabel.hu) (*.net *.split)
2021-03-17 19:46:33 +0100Sorna(~Sornaensi@154.6.18.32) (*.net *.split)
2021-03-17 19:46:33 +0100roconnor(~roconnor@host-45-58-230-226.dyn.295.ca) (*.net *.split)
2021-03-17 19:46:33 +0100ep1ctetus(~epictetus@ip72-194-215-136.sb.sd.cox.net) (*.net *.split)
2021-03-17 19:46:33 +0100Wuzzy(~Wuzzy@p57a2ecf2.dip0.t-ipconnect.de) (*.net *.split)
2021-03-17 19:46:33 +0100Jd007(~Jd007@162.156.11.151) (*.net *.split)
2021-03-17 19:46:33 +0100alx741(~alx741@186.178.109.138) (*.net *.split)
2021-03-17 19:46:33 +0100urodna(~urodna@unaffiliated/urodna) (*.net *.split)
2021-03-17 19:46:33 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (*.net *.split)
2021-03-17 19:46:33 +0100jumper149(~jumper149@ip185225.wh.uni-hannover.de) (*.net *.split)
2021-03-17 19:46:33 +0100glamas(~glamas@107.182.17.237) (*.net *.split)
2021-03-17 19:47:13 +0100DataComputist(~lumeng@50.43.26.251) (Quit: Leaving...)
2021-03-17 19:47:55 +0100 <shapr> ocharles: I think I've broken weeder entirely, I can't get it to report any weeds at all, even with the most minimal of contents in weeder.dhall
2021-03-17 19:48:33 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 264 seconds)
2021-03-17 19:51:35 +0100romesrf(~romesrf@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.1)
2021-03-17 19:52:47 +0100zaquest(~notzaques@5.128.210.178)
2021-03-17 19:52:49 +0100glamas_(~glamas@107.182.17.237)
2021-03-17 19:54:01 +0100darjeeling_(~darjeelin@122.245.217.128)
2021-03-17 19:54:22 +0100alx741(~alx741@186.178.109.138)
2021-03-17 19:54:28 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2021-03-17 19:55:06 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-17 19:55:18 +0100chele(~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2021-03-17 19:55:19 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net)
2021-03-17 19:56:30 +0100notzmv(~zmv@unaffiliated/zmv)
2021-03-17 19:58:15 +0100waleee-cl(uid373333@gateway/web/irccloud.com/x-fvkpewqjehdvcehc)
2021-03-17 19:59:53 +0100Ranhir(~Ranhir@157.97.53.139) (Read error: Connection reset by peer)
2021-03-17 20:00:38 +0100frozenErebus(~frozenEre@37.231.243.22) (Ping timeout: 265 seconds)
2021-03-17 20:00:44 +0100Pickchea(~private@unaffiliated/pickchea)
2021-03-17 20:01:00 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds)
2021-03-17 20:04:05 +0100 <maralorn> I have a an unforced ~5MB Lazy Text from a Lazy IO and I would like to get it’s length without my running out of memory (it leaks until 15GB, then my RAM is full). What can I do?
2021-03-17 20:04:57 +0100pjb(~t@2a01cb04063ec500180c10bfcb2533c4.ipv6.abo.wanadoo.fr)
2021-03-17 20:06:32 +0100jneira(501e6406@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.100.6)
2021-03-17 20:07:07 +0100 <shapr> sounds like you want a lazy list that only looks at the spine
2021-03-17 20:07:22 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-17 20:08:43 +0100 <davean> maralorn: how are you running out of memory with getting the length? I feel something else is going on here.
2021-03-17 20:09:11 +0100 <maralorn> davean: Yeah, the longer I think about this, the less sense it makes.
2021-03-17 20:09:31 +0100 <maralorn> It’s not the lazy IO because the attoparsec parser actually terminates …
2021-03-17 20:10:00 +0100heatsink(~heatsink@2600:1700:bef1:5e10:f837:3533:97b:1f44) (Remote host closed the connection)
2021-03-17 20:10:30 +0100RandomArcher(~RandomArc@90.153.229.170)
2021-03-17 20:10:30 +0100conal(~conal@64.71.133.70) (Read error: Connection reset by peer)
2021-03-17 20:11:02 +0100RandomArcher(~RandomArc@90.153.229.170) (Max SendQ exceeded)
2021-03-17 20:11:36 +0100RandomArcher(~RandomArc@90.153.229.170)
2021-03-17 20:12:01 +0100RandomArcher(~RandomArc@90.153.229.170) (Max SendQ exceeded)
2021-03-17 20:15:22 +0100conal(~conal@64.71.133.70)
2021-03-17 20:17:14 +0100Ranhir(~Ranhir@157.97.53.139)
2021-03-17 20:17:14 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 20:17:33 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 20:18:50 +0100ADG1089__(~aditya@106.214.253.186)
2021-03-17 20:18:56 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 268 seconds)
2021-03-17 20:20:02 +0100 <maralorn> Hm, yeah, so apparently nix-derivation Nix.Derivation.parseDerivation has something evil hidden in the thunk I am trying to force … It’s certainly doing more than just reading the variable out of the derivation file. (Which is weird, cause I don‘t see any reason for it to do anything else.)
2021-03-17 20:20:25 +0100 <maralorn> I can‘t even do a Text.take 0 on the value.
2021-03-17 20:20:29 +0100esp32_prog(esp32_prog@gateway/vpn/mullvad/esp32prog/x-46565127)
2021-03-17 20:20:41 +0100frozenErebus(~frozenEre@37.231.243.22)
2021-03-17 20:21:53 +0100 <tomsmeding> maralorn: run with profiling and +RTS -p and look what's taking lots of time?
2021-03-17 20:24:34 +0100ADG1089__(~aditya@106.214.253.186) (Remote host closed the connection)
2021-03-17 20:25:47 +0100ADG1089__(~aditya@106.214.253.186)
2021-03-17 20:26:04 +0100kupi(uid212005@gateway/web/irccloud.com/x-tdvzqgwujuhompnu)
2021-03-17 20:28:23 +0100lynx__(~lynx_@117.222.66.23) ()
2021-03-17 20:29:09 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan)
2021-03-17 20:30:12 +0100idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-03-17 20:30:28 +0100drakonis(~drakonis@unaffiliated/drakonis) (Quit: ZNC 1.8.2 - https://znc.in)
2021-03-17 20:30:44 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 20:30:49 +0100elfets_(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 276 seconds)
2021-03-17 20:30:54 +0100ADG1089__(~aditya@106.214.253.186) (Remote host closed the connection)
2021-03-17 20:30:58 +0100jumper149(~jumper149@ip185225.wh.uni-hannover.de)
2021-03-17 20:31:08 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 20:32:23 +0100xelxebar(~xelxebar@gateway/tor-sasl/xelxebar) (Quit: ZNC 1.7.2+deb3 - https://znc.in)
2021-03-17 20:32:53 +0100xelxebar(~xelxebar@gateway/tor-sasl/xelxebar)
2021-03-17 20:32:56 +0100elliott__(~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-03-17 20:34:11 +0100drakonis(~drakonis@unaffiliated/drakonis)
2021-03-17 20:36:09 +0100 <__minoru__shirae> I'm reading about "bracket" function from Control.Exception
2021-03-17 20:36:25 +0100 <__minoru__shirae> bracket before after thing
2021-03-17 20:37:21 +0100 <__minoru__shirae> I don't understand the "only one blocking operation in before" part in this text:
2021-03-17 20:37:30 +0100kam1(~kam1@83.123.237.152)
2021-03-17 20:37:30 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 20:37:41 +0100 <__minoru__shirae> <quote>
2021-03-17 20:37:43 +0100 <__minoru__shirae> The IO actions passed in as before and after are performed inside mask .
2021-03-17 20:37:44 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 20:37:53 +0100 <__minoru__shirae> The bracket
2021-03-17 20:37:55 +0100 <__minoru__shirae> function guarantees that if before returns, after will be executed in the future.
2021-03-17 20:38:26 +0100 <__minoru__shirae> It is normal for before to contain a blocking operation; if an exception is raised while before is blocked, then no harm is done.
2021-03-17 20:38:47 +0100 <__minoru__shirae> But before should perform only one blocking operation.
2021-03-17 20:39:08 +0100 <__minoru__shirae> An exception raised by a second blocking operation would not result in after being executed.
2021-03-17 20:39:32 +0100 <__minoru__shirae> If you need to perform two blocking operations, the right way is to nest calls to bracket , as we did with modifyMVar .
2021-03-17 20:39:35 +0100ADG1089__(~aditya@106.214.253.186)
2021-03-17 20:39:37 +0100 <__minoru__shirae> </quote>
2021-03-17 20:40:07 +0100ADG1089__(~aditya@106.214.253.186) (Remote host closed the connection)
2021-03-17 20:40:09 +0100kam1(~kam1@83.123.237.152) (Read error: Connection reset by peer)
2021-03-17 20:40:45 +0100 <monochrom> For example you don't go "bracket (acquire lock #1; acquire lock #2) ...". Split it into two calls to bracket, one per lock.
2021-03-17 20:42:17 +0100 <__minoru__shirae> it says "An exception raised by a second blocking operation would not result in after being executed." - but if the exception is thrown during "before", then "after" shouldn't even run, right?
2021-03-17 20:42:20 +0100kam1(~kam1@83.123.237.152)
2021-03-17 20:42:36 +0100 <__minoru__shirae> because the guarantee is that "after" runs after the "before" returned
2021-03-17 20:43:13 +0100 <__minoru__shirae> maybe the text should say something about a "thing" instead of "before"
2021-03-17 20:44:22 +0100thonkpod_thonkpod
2021-03-17 20:44:22 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 20:44:29 +0100kam1(~kam1@83.123.237.152) (Read error: Connection reset by peer)
2021-03-17 20:44:48 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-17 20:44:50 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 20:45:35 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-17 20:46:09 +0100RandomArcher(~RandomArc@90.153.166.31)
2021-03-17 20:46:34 +0100RandomArcher(~RandomArc@90.153.166.31) (Remote host closed the connection)
2021-03-17 20:46:47 +0100Franciman(~francesco@host-79-53-62-46.retail.telecomitalia.it)
2021-03-17 20:46:58 +0100 <monochrom> Where is that text? I can't find it in Control.Exception's doc.
2021-03-17 20:47:26 +0100 <__minoru__shirae> it's from the "Parallel and Concurrent Programming in Haskell" book by Simon Marlow
2021-03-17 20:47:50 +0100kam1(~kam1@83.123.237.152)
2021-03-17 20:48:02 +0100ADG1089__(~aditya@106.214.253.186)
2021-03-17 20:48:02 +0100ADG1089__(~aditya@106.214.253.186) (Remote host closed the connection)
2021-03-17 20:48:04 +0100kam1(~kam1@83.123.237.152) (Read error: Connection reset by peer)
2021-03-17 20:49:00 +0100kam1(~kam1@83.123.237.152)
2021-03-17 20:49:27 +0100kam1(~kam1@83.123.237.152) (Read error: Connection reset by peer)
2021-03-17 20:50:35 +0100 <__minoru__shirae> I tried adding a second blocking operation both to "before" and a "thing" - it works as one would expect
2021-03-17 20:51:11 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 20:51:21 +0100kam1(~kam1@83.123.237.152)
2021-03-17 20:51:25 +0100 <__minoru__shirae> "after" runs only when the exception is thrown in a "thing", not in "before"
2021-03-17 20:51:25 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 20:51:25 +0100 <geekosaur> te problem comes in the finalizer, how do you know that both things have been allocated?
2021-03-17 20:51:39 +0100heatsink(~heatsink@2600:1700:bef1:5e10:f837:3533:97b:1f44)
2021-03-17 20:51:42 +0100esp32_prog(esp32_prog@gateway/vpn/mullvad/esp32prog/x-46565127) (Ping timeout: 260 seconds)
2021-03-17 20:51:58 +0100kam1(~kam1@83.123.237.152) (Read error: Connection reset by peer)
2021-03-17 20:52:01 +0100 <monochrom> OK, the scenerio is if "before" doesn't return normally, i.e., aborted because of an exception.
2021-03-17 20:52:10 +0100 <geekosaur> so if the finalizer doesn't run if an exception is thrown in before, but after you have allocated some resouce, you have just leaked that resource
2021-03-17 20:52:10 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 20:52:14 +0100 <monochrom> Since "before" doesn't return normally, "after" is not run.
2021-03-17 20:52:24 +0100malumore_malumore
2021-03-17 20:52:31 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 20:52:49 +0100ADG1089__(~aditya@106.214.253.186)
2021-03-17 20:52:50 +0100 <maralorn> __minoru__shirae: I think what you are saying and citing makes sense together. When (acquire lock #2) fails the finalizer will not be run. You are correct about that. And that's why you should write it like monochrom wrote.
2021-03-17 20:53:03 +0100 <monochrom> But if "before" consists of acquiring two locks, perhaps one lock is acquired before the abortion. Now no one is freeing that lock.
2021-03-17 20:53:11 +0100 <maralorn> you shouldn‘t
2021-03-17 20:54:17 +0100 <__minoru__shirae> oh, I see: so the exception in the second blocking operation "hides" the successfull allocation of the first operation in "before"
2021-03-17 20:55:27 +0100 <__minoru__shirae> but I see no problem in delaying a thread as many times as you want before allocation a resource in "before"
2021-03-17 20:55:36 +0100benkolera(uid285671@gateway/web/irccloud.com/x-phaufigullyuswqk)
2021-03-17 20:55:39 +0100 <__minoru__shirae> *allocating
2021-03-17 20:56:03 +0100myShoggoth(~myShoggot@75.164.81.55)
2021-03-17 20:56:14 +0100 <__minoru__shirae> I mean literally calling threadDelay
2021-03-17 20:56:44 +0100ADG1089__(~aditya@106.214.253.186) (Remote host closed the connection)
2021-03-17 20:56:58 +0100 <monochrom> OK, so you're doing "bracket (sleep 5 seconds; open a file but this also takes 5 seconds becuase NFS or something) ..."
2021-03-17 20:57:28 +0100ADG1089__(~aditya@106.214.253.186)
2021-03-17 20:57:33 +0100ADG1089__(~aditya@106.214.253.186) (Remote host closed the connection)
2021-03-17 20:57:38 +0100 <monochrom> Hrm not a good example. Nevermind.
2021-03-17 20:58:08 +0100 <__minoru__shirae> yes, the rule is not about a count of blocking operations per se, but about exceptions in later blocking operations hiding allocations from previous operations
2021-03-17 20:58:13 +0100 <monochrom> But seriously, I consider "bracket (sleep 5 seconds; open file)" trolling the computer. Why would you write code like that.
2021-03-17 20:58:44 +0100 <geekosaur> you do lose the result of the presumed-to-have-failed acquire operation in the result of the interrupted threadDelay
2021-03-17 20:58:53 +0100 <geekosaur> which you may well care about
2021-03-17 21:02:51 +0100 <__minoru__shirae> thanks, I think I get it now. The text is slightly misleading or confusing, maybe the author didn't want to spend too much time discussing subtleties of "bracket" and wanted to move on. The section is pretty short.
2021-03-17 21:03:57 +0100 <geekosaur> "blocking" also has a specific meaning with respect to ghc, which is rather more than just what threadDelay does and indeed has more to do with resource acquisition/possible leakage
2021-03-17 21:05:06 +0100petersen(~petersen@redhat/juhp) (Ping timeout: 244 seconds)
2021-03-17 21:05:23 +0100hackagegoogle-oauth2-jwt 0.3.3 - Get a signed JWT for Google Service Accounts https://hackage.haskell.org/package/google-oauth2-jwt-0.3.3 (MichelBoucey)
2021-03-17 21:05:48 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 268 seconds)
2021-03-17 21:06:42 +0100hiroaki(~hiroaki@2a02:8108:8c40:2bb8:e36e:9885:3dcc:fcb4) (Ping timeout: 260 seconds)
2021-03-17 21:08:30 +0100petersen(~petersen@redhat/juhp)
2021-03-17 21:08:34 +0100ADG1089__(~aditya@106.214.253.186)
2021-03-17 21:09:02 +0100ADG1089__(~aditya@106.214.253.186) (Remote host closed the connection)
2021-03-17 21:09:39 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan)
2021-03-17 21:09:50 +0100ADG1089__(~aditya@106.214.253.186)
2021-03-17 21:11:36 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 21:11:57 +0100conal(~conal@64.71.133.70) (Ping timeout: 264 seconds)
2021-03-17 21:12:06 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 21:12:36 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection)
2021-03-17 21:12:57 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan)
2021-03-17 21:13:01 +0100kam1(~kam1@83.123.237.152)
2021-03-17 21:13:04 +0100PtxDK(~quassel@2a01:7c8:aac3:591:5054:ff:fe3d:cac6) (Quit: No Ping reply in 180 seconds.)
2021-03-17 21:13:27 +0100kam1(~kam1@83.123.237.152) (Read error: Connection reset by peer)
2021-03-17 21:13:34 +0100mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection)
2021-03-17 21:13:44 +0100ADG1089__(~aditya@106.214.253.186) (Remote host closed the connection)
2021-03-17 21:14:02 +0100Tops2(~Tobias@dyndsl-095-033-095-010.ewe-ip-backbone.de)
2021-03-17 21:14:09 +0100PtxDK(~quassel@2a01:7c8:aac3:591:5054:ff:fe3d:cac6)
2021-03-17 21:15:14 +0100ADG1089__(~aditya@106.214.253.186)
2021-03-17 21:15:57 +0100conal(~conal@66.115.157.150)
2021-03-17 21:16:22 +0100ADG1089__(~aditya@106.214.253.186) (Remote host closed the connection)
2021-03-17 21:18:20 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 21:18:42 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 21:19:34 +0100hiroaki(~hiroaki@2a02:8108:8c40:2bb8:7ae2:2c33:b1ea:eeb7)
2021-03-17 21:21:12 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-03-17 21:23:17 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 265 seconds)
2021-03-17 21:25:15 +0100ADG1089__(~aditya@106.214.253.186)
2021-03-17 21:25:15 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 21:25:31 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-17 21:25:47 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 21:27:56 +0100kam1(~kam1@83.123.237.152)
2021-03-17 21:28:02 +0100ADG1089__(~aditya@106.214.253.186) (Remote host closed the connection)
2021-03-17 21:28:21 +0100kam1(~kam1@83.123.237.152) (Read error: Connection reset by peer)
2021-03-17 21:30:15 +0100hexfive(~hexfive@50.35.83.177) (Quit: i must go. my people need me.)
2021-03-17 21:31:52 +0100Wuzzy(~Wuzzy@p57a2ecf2.dip0.t-ipconnect.de)
2021-03-17 21:32:07 +0100jb55(~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection)
2021-03-17 21:32:07 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 21:32:16 +0100jb55(~jb55@gateway/tor-sasl/jb55)
2021-03-17 21:32:23 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 21:32:51 +0100idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 246 seconds)
2021-03-17 21:39:39 +0100kam1(~kam1@83.123.237.152)
2021-03-17 21:40:05 +0100kam1(~kam1@83.123.237.152) (Read error: Connection reset by peer)
2021-03-17 21:40:10 +0100SornySornaensis
2021-03-17 21:42:49 +0100Lycurgus(~niemand@98.4.116.165)
2021-03-17 21:45:42 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 21:45:46 +0100geekosaur(82650c7a@130.101.12.122) (Quit: Connection closed)
2021-03-17 21:45:53 +0100hackageory-kratos 0.0.5.7 - API bindings for Ory Kratos https://hackage.haskell.org/package/ory-kratos-0.0.5.7 (njaremko)
2021-03-17 21:45:58 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 21:50:28 +0100usr25(~usr25@unaffiliated/usr25)
2021-03-17 21:51:53 +0100esp32_prog(esp32_prog@gateway/vpn/mullvad/esp32prog/x-46565127)
2021-03-17 21:54:17 +0100smerdyakov(~dan@5.146.194.90) (Read error: Connection reset by peer)
2021-03-17 21:54:45 +0100smerdyakov(~dan@5.146.194.90)
2021-03-17 21:59:08 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 21:59:34 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 21:59:57 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-03-17 22:01:02 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection)
2021-03-17 22:02:31 +0100malumore(~malumore@151.62.112.239) (Remote host closed the connection)
2021-03-17 22:06:46 +0100Sorna(~Sornaensi@077213203030.dynamic.telenor.dk)
2021-03-17 22:07:28 +0100rj_(~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds)
2021-03-17 22:07:53 +0100jrqc(~rofl@96.78.87.197) (Ping timeout: 256 seconds)
2021-03-17 22:08:05 +0100Sorny(~Sornaensi@85.203.36.112)
2021-03-17 22:09:30 +0100heatsink(~heatsink@2600:1700:bef1:5e10:f837:3533:97b:1f44) (Remote host closed the connection)
2021-03-17 22:10:14 +0100jrqc(~rofl@96.78.87.197)
2021-03-17 22:10:55 +0100Sornaensis(~Sornaensi@154.6.18.32) (Ping timeout: 276 seconds)
2021-03-17 22:11:30 +0100Sorna(~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 260 seconds)
2021-03-17 22:11:37 +0100kam1(~kam1@83.123.237.152)
2021-03-17 22:12:16 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 244 seconds)
2021-03-17 22:12:39 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 22:13:09 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 22:13:34 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net)
2021-03-17 22:14:18 +0100jud(~jud@unaffiliated/jud) (Quit: Leaving)
2021-03-17 22:14:54 +0100_xor(~xor@74.215.46.133) (Quit: brb)
2021-03-17 22:15:10 +0100_xor(~xor@74.215.46.133)
2021-03-17 22:16:02 +0100LKoen(~LKoen@194.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2021-03-17 22:17:21 +0100Lycurgus(~niemand@98.4.116.165) (Quit: Exeunt)
2021-03-17 22:19:13 +0100bitmapper(uid464869@gateway/web/irccloud.com/x-hdpxwxnieogneqtd)
2021-03-17 22:19:38 +0100codygman__(~user@209.251.131.98) (Ping timeout: 260 seconds)
2021-03-17 22:24:03 +0100molehillish(~molehilli@172.58.17.42)
2021-03-17 22:27:11 +0100esp32_prog(esp32_prog@gateway/vpn/mullvad/esp32prog/x-46565127) (Remote host closed the connection)
2021-03-17 22:34:17 +0100_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-03-17 22:37:55 +0100RandomArcher(RandomArch@gateway/vpn/protonvpn/randomarcher)
2021-03-17 22:39:51 +0100Franciman(~francesco@host-79-53-62-46.retail.telecomitalia.it) (Quit: Leaving)
2021-03-17 22:39:52 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 22:40:15 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 22:42:36 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-17 22:43:01 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-17 22:44:36 +0100RandomArcher(RandomArch@gateway/vpn/protonvpn/randomarcher) (Quit: Leaving)
2021-03-17 22:45:10 +0100RandomArcher(isho@gateway/vpn/protonvpn/randomarcher)
2021-03-17 22:45:20 +0100seveg(~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) (Ping timeout: 244 seconds)
2021-03-17 22:46:21 +0100seveg(~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk)
2021-03-17 22:47:45 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds)
2021-03-17 22:49:01 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-17 22:49:22 +0100fendor(~fendor@77.119.128.169.wireless.dyn.drei.com) (Remote host closed the connection)
2021-03-17 22:51:28 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-03-17 22:52:33 +0100RandomArcher(isho@gateway/vpn/protonvpn/randomarcher) (Ping timeout: 245 seconds)
2021-03-17 22:52:43 +0100son0p(~son0p@181.58.39.182)
2021-03-17 22:53:22 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 22:53:50 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 22:54:36 +0100cosimone(~user@2001:b07:ae5:db26:e434:bd94:98f9:541d)
2021-03-17 22:58:49 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-17 22:59:18 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 246 seconds)
2021-03-17 22:59:18 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-17 23:02:07 +0100RandomArcher(isho@gateway/vpn/protonvpn/randomarcher)
2021-03-17 23:02:30 +0100ADG1089__(~aditya@106.214.253.186)
2021-03-17 23:03:58 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2021-03-17 23:05:50 +0100heatsink(~heatsink@2600:1700:bef1:5e10:f837:3533:97b:1f44)
2021-03-17 23:09:06 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-03-17 23:09:12 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-03-17 23:13:44 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-17 23:16:33 +0100Pickchea(~private@unaffiliated/pickchea) (Quit: Leaving)
2021-03-17 23:17:21 +0100justanotheruser(~justanoth@unaffiliated/justanotheruser) (Quit: WeeChat 2.9)
2021-03-17 23:18:43 +0100ADG1089__(~aditya@106.214.253.186) (Remote host closed the connection)
2021-03-17 23:20:36 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 23:20:56 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 23:21:38 +0100supercoven_(~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Ping timeout: 264 seconds)
2021-03-17 23:21:58 +0100RandomArcher(isho@gateway/vpn/protonvpn/randomarcher) (Quit: Konversation terminated!)
2021-03-17 23:23:30 +0100dhouthoo(~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) (Quit: WeeChat 3.0)
2021-03-17 23:23:45 +0100Rudd0(~Rudd0@185.189.115.103)
2021-03-17 23:24:54 +0100kam1(~kam1@83.123.237.152) (Read error: Connection reset by peer)
2021-03-17 23:26:08 +0100Benzi-Junior(~BenziJuni@88-149-67-143.du.xdsl.is) (Ping timeout: 256 seconds)
2021-03-17 23:27:09 +0100justanotheruser(~justanoth@unaffiliated/justanotheruser)
2021-03-17 23:28:07 +0100ADG1089__(~aditya@106.214.253.186)
2021-03-17 23:30:44 +0100kam1(~kam1@83.123.237.152)
2021-03-17 23:31:55 +0100molehillish(~molehilli@172.58.17.42) (Remote host closed the connection)
2021-03-17 23:32:53 +0100fissureman(~quassel@c-73-201-159-163.hsd1.dc.comcast.net) (Ping timeout: 256 seconds)
2021-03-17 23:34:46 +0100liyang(~liyang@90.253.54.54) (Read error: Connection reset by peer)
2021-03-17 23:36:01 +0100heatsink(~heatsink@2600:1700:bef1:5e10:f837:3533:97b:1f44) (Remote host closed the connection)
2021-03-17 23:36:24 +0100heatsink(~heatsink@2600:1700:bef1:5e10:f837:3533:97b:1f44)
2021-03-17 23:38:51 +0100frozenErebus(~frozenEre@37.231.243.22) (Ping timeout: 246 seconds)
2021-03-17 23:40:16 +0100usr25(~usr25@unaffiliated/usr25) (Quit: Leaving)
2021-03-17 23:41:26 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds)
2021-03-17 23:42:12 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 265 seconds)
2021-03-17 23:42:29 +0100Alleria__(~textual@mskresolve-a.mskcc.org) (Ping timeout: 265 seconds)
2021-03-17 23:49:23 +0100hackagepersistent 2.12.0.0 - Type-safe, multi-backend data serialization. https://hackage.haskell.org/package/persistent-2.12.0.0 (parsonsmatt)
2021-03-17 23:51:05 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2021-03-17 23:51:11 +0100hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 265 seconds)
2021-03-17 23:51:30 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-03-17 23:51:39 +0100Tops2(~Tobias@dyndsl-095-033-095-010.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2021-03-17 23:51:59 +0100notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 244 seconds)
2021-03-17 23:52:53 +0100hackagepersistent 2.10.5.4 - Type-safe, multi-backend data serialization. https://hackage.haskell.org/package/persistent-2.10.5.4 (parsonsmatt)
2021-03-17 23:54:14 +0100acidjnk_new(~acidjnk@p200300d0c72b959625b3d356e6f65619.dip0.t-ipconnect.de)
2021-03-17 23:54:23 +0100hackagepersistent 2.11.0.3 - Type-safe, multi-backend data serialization. https://hackage.haskell.org/package/persistent-2.11.0.3 (parsonsmatt)
2021-03-17 23:54:23 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-17 23:55:01 +0100emmanuel_erc(~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-17 23:55:19 +0100Alleria(~textual@2603-7000-3040-0000-99be-88ec-b8de-8f7c.res6.spectrum.com)
2021-03-17 23:55:39 +0100myShoggoth(~myShoggot@75.164.81.55) (Ping timeout: 246 seconds)
2021-03-17 23:55:42 +0100AlleriaGuest14375
2021-03-17 23:56:09 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-17 23:59:31 +0100dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds)