IRCBrowse

2021/12/31

2021-12-31 00:00:33 +0000dignissimus(~dignissim@88-104-68-62.dynamic.dsl.as9105.com) (Quit: night)
2021-12-31 00:04:01 +0000alx741(~alx741@157.100.93.160)
2021-12-31 00:16:24 +0000uam(uid360535@id-360535.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2021-12-31 00:17:16 +0000gehmehgeh(~user@user/gehmehgeh) (Remote host closed the connection)
2021-12-31 00:17:59 +0000gehmehgeh(~user@user/gehmehgeh)
2021-12-31 00:21:35 +0000_73(~user@pool-108-49-252-36.bstnma.fios.verizon.net)
2021-12-31 00:23:37 +0000burnsidesLlama(~burnsides@dhcp168-010.wadham.ox.ac.uk) (Remote host closed the connection)
2021-12-31 00:24:05 +0000burnsidesLlama(~burnsides@dhcp168-010.wadham.ox.ac.uk)
2021-12-31 00:24:56 +0000alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-31 00:27:57 +0000Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2021-12-31 00:28:31 +0000burnsidesLlama(~burnsides@dhcp168-010.wadham.ox.ac.uk) (Ping timeout: 256 seconds)
2021-12-31 00:30:18 +0000_73(~user@pool-108-49-252-36.bstnma.fios.verizon.net) (Quit: ERC (IRC client for Emacs 27.2))
2021-12-31 00:31:21 +0000SummerSonw(~The_viole@203.77.49.232) (Ping timeout: 256 seconds)
2021-12-31 00:35:31 +0000Flonk(~Flonk@vps-zap441517-1.zap-srv.com) (Quit: Ping timeout (120 seconds))
2021-12-31 00:35:54 +0000Flonk(~Flonk@vps-zap441517-1.zap-srv.com)
2021-12-31 00:38:17 +0000n3rdy1(~n3rdy1@2600:1700:4570:3480::41) (Ping timeout: 240 seconds)
2021-12-31 00:40:56 +0000DNH(~DNH@2a02:8108:1100:16d8:7457:6675:c5ec:bb4b) (Quit: Textual IRC Client: www.textualapp.com)
2021-12-31 00:42:29 +0000alx741(~alx741@157.100.93.160)
2021-12-31 00:42:34 +0000sprout(~quassel@2a02:a467:ccd6:1:b165:3b1b:f1f6:f4de) (Ping timeout: 268 seconds)
2021-12-31 00:56:11 +0000sprout(~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5)
2021-12-31 00:56:11 +0000alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-31 00:58:44 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-12-31 00:58:44 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-12-31 00:58:44 +0000wroathe(~wroathe@user/wroathe)
2021-12-31 01:00:03 +0000zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2021-12-31 01:00:32 +0000sprout(~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 240 seconds)
2021-12-31 01:05:13 +0000 <iphy> I have the following ADT with lists in the constructors: https://github.com/TokTok/hs-cimple/blob/master/src/Language/Cimple/Ast.hs#L52
2021-12-31 01:05:13 +0000 <iphy> is there a way to define a catamorphism that considers lists a recursive type, so I can define a list element's result in terms of the next element's result?
2021-12-31 01:06:05 +0000 <iphy> I'm thinking about how to compute the live set for each statement, i.e. which variables are alive (= will be referenced in the future) at any point in the program
2021-12-31 01:06:39 +0000jgeerds(~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 250 seconds)
2021-12-31 01:08:05 +0000 <iphy> a catamorphism would work great if CompoundStmt [a] were instead CompoundStmt a (where a is StmtList {hd :: a, tl :: Maybe a})
2021-12-31 01:08:23 +0000zaquest(~notzaques@5.130.79.72)
2021-12-31 01:09:50 +0000 <EvanR> StmtList {hd :: a, tl :: Maybe (StmtList a)} ?
2021-12-31 01:10:10 +0000 <EvanR> StmtList {hd :: a, tl :: Maybe (CompoundStmt a)} ?
2021-12-31 01:10:30 +0000 <iphy> the former
2021-12-31 01:10:51 +0000 <EvanR> give or take ctor names, it seems isomorphic to list
2021-12-31 01:10:53 +0000 <iphy> (but of course StmtList :: NodeF lexeme a)
2021-12-31 01:11:02 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2021-12-31 01:11:31 +0000 <iphy> it is kind of isomorphic, but I can't constrain tl to be only one of the constructors
2021-12-31 01:11:50 +0000 <EvanR> ah
2021-12-31 01:11:55 +0000 <iphy> so the type system won't know that StmtList's tl is always a StmtList
2021-12-31 01:11:58 +0000 <iphy> it's a NodeF
2021-12-31 01:12:04 +0000 <EvanR> seems like a job for a new type
2021-12-31 01:12:16 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-31 01:12:20 +0000 <iphy> ok but if it's a new type, then it's [a] again
2021-12-31 01:12:24 +0000 <iphy> because [] is also a new type
2021-12-31 01:12:29 +0000 <EvanR> like in BNF, a sequence of whatever is a new rule
2021-12-31 01:12:31 +0000sprout(~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5)
2021-12-31 01:12:45 +0000hololeap(~hololeap@user/hololeap)
2021-12-31 01:13:24 +0000 <iphy> so let's consider it a new type then, how do you define the algebra for a catamorphism?
2021-12-31 01:13:27 +0000 <EvanR> yeah I don't see why it can't be a list
2021-12-31 01:13:46 +0000 <iphy> foldFix :: Functor f => (f a -> a) -> Fix f -> a
2021-12-31 01:14:07 +0000alx741(~alx741@157.100.93.160)
2021-12-31 01:14:25 +0000 <EvanR> the visitor function there would need to fold the list
2021-12-31 01:14:33 +0000 <iphy> int a = 0; int b = foo(a); return b;
2021-12-31 01:15:09 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-12-31 01:15:09 +0000wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-12-31 01:15:09 +0000wroathe(~wroathe@user/wroathe)
2021-12-31 01:15:54 +0000 <iphy> https://www.irccloud.com/pastebin/2E6gp3GT/
2021-12-31 01:16:41 +0000 <EvanR> a statement could be a type, you have a list of statements you wanna process
2021-12-31 01:16:42 +0000 <iphy> given a node that represents the statement 'printf("hi %d\n", a);', I want to compute the live set for that statement
2021-12-31 01:16:56 +0000 <iphy> for that, I need to know the live set of the next statement
2021-12-31 01:17:22 +0000 <EvanR> yeah, so foldr
2021-12-31 01:17:51 +0000 <iphy> hm, might work actually
2021-12-31 01:24:12 +0000alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-31 01:32:02 +0000nhatanh02(~satori@123.24.172.30)
2021-12-31 01:32:33 +0000Everything(~Everythin@37.115.210.35) (Ping timeout: 256 seconds)
2021-12-31 01:34:01 +0000 <otherwise> > Data.Map.empty
2021-12-31 01:34:03 +0000 <lambdabot> fromList []
2021-12-31 01:34:03 +0000Everything(~Everythin@178-133-112-180.mobile.vf-ua.net)
2021-12-31 01:34:12 +0000 <otherwise> what does one do with that?
2021-12-31 01:34:23 +0000 <otherwise> > Data.Map.empty : []
2021-12-31 01:34:24 +0000 <lambdabot> [fromList []]
2021-12-31 01:34:33 +0000 <otherwise> thats as much as I could achieve
2021-12-31 01:34:39 +0000 <geekosaur> it's the empty Map, nothing more
2021-12-31 01:35:13 +0000 <geekosaur> you could for example build a Map by folding M.insert across something, with M.empty as the "zero"
2021-12-31 01:35:43 +0000burnsidesLlama(~burnsides@dhcp168-010.wadham.ox.ac.uk)
2021-12-31 01:36:41 +0000 <iphy> fromList [...] is what the "Show" instance for Data.Map does
2021-12-31 01:36:43 +0000 <geekosaur> > foldr M.insert M.empty [1..6]
2021-12-31 01:36:45 +0000 <lambdabot> error:
2021-12-31 01:36:45 +0000 <lambdabot> • Couldn't match expected type ‘M.Map k a -> M.Map k a’
2021-12-31 01:36:45 +0000 <lambdabot> with actual type ‘M.Map k0 a0’
2021-12-31 01:37:02 +0000wroathe_(~wroathe@206-55-188-8.fttp.usinternet.com)
2021-12-31 01:37:13 +0000 <geekosaur> hm, I'm forgetting how to do this
2021-12-31 01:37:16 +0000 <iphy> flip?
2021-12-31 01:37:18 +0000 <iphy> (I don't know)
2021-12-31 01:37:25 +0000 <EvanR> > read "fromList []" :: Data.Map.Map Char
2021-12-31 01:37:27 +0000 <lambdabot> error:
2021-12-31 01:37:27 +0000 <lambdabot> • Expecting one more argument to ‘M.Map Char’
2021-12-31 01:37:27 +0000 <lambdabot> Expected a type, but ‘M.Map Char’ has kind ‘* -> *’
2021-12-31 01:37:28 +0000 <iphy> > foldr (flip M.insert) M.empty [1..6]
2021-12-31 01:37:29 +0000 <lambdabot> error:
2021-12-31 01:37:29 +0000 <lambdabot> • Couldn't match expected type ‘M.Map k a -> M.Map k a’
2021-12-31 01:37:29 +0000 <lambdabot> with actual type ‘M.Map k0 a0’
2021-12-31 01:37:33 +0000 <otherwise> I got it to work based on your initial comment geekosaur
2021-12-31 01:37:34 +0000 <iphy> or not :P
2021-12-31 01:37:35 +0000 <EvanR> > read "fromList []" :: Data.Map.Map Int Char
2021-12-31 01:37:37 +0000 <lambdabot> fromList []
2021-12-31 01:37:37 +0000 <otherwise> thanks!
2021-12-31 01:37:39 +0000 <iphy> oh wait, maps
2021-12-31 01:37:51 +0000 <iphy> need key/values
2021-12-31 01:37:59 +0000 <EvanR> how many haskellers does it take to fold a Map
2021-12-31 01:38:04 +0000 <iphy> :D
2021-12-31 01:38:08 +0000 <geekosaur> right, I'm trying to build a set not a map, duh
2021-12-31 01:38:16 +0000 <otherwise> > Data.Map.insert 1 'a' Data.Map.empty
2021-12-31 01:38:17 +0000 <lambdabot> fromList [(1,'a')]
2021-12-31 01:38:44 +0000 <EvanR> with proper imports, M.insert 1 'a' M.empty
2021-12-31 01:38:46 +0000 <geekosaur> > foldr (uncurry M.insert) M.empty (zip [1..6] "abcdef") -- ?
2021-12-31 01:38:47 +0000 <lambdabot> fromList [(1,'a'),(2,'b'),(3,'c'),(4,'d'),(5,'e'),(6,'f')]
2021-12-31 01:39:29 +0000 <iphy> success
2021-12-31 01:39:45 +0000 <otherwise> EvanR you mean import Data.Map qualified as M ?
2021-12-31 01:39:49 +0000Tuplanolla(~Tuplanoll@91-159-69-90.elisa-laajakaista.fi) (Quit: Leaving.)
2021-12-31 01:39:55 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2021-12-31 01:41:17 +0000 <EvanR> sure
2021-12-31 01:41:33 +0000 <EvanR> > foldMap (uncurry M.singleton) (zipWith (,) [0..4] "abcd") -- for extra confusion
2021-12-31 01:41:35 +0000 <lambdabot> fromList [(0,'a'),(1,'b'),(2,'c'),(3,'d')]
2021-12-31 01:41:46 +0000burnsidesLlama(~burnsides@dhcp168-010.wadham.ox.ac.uk) (Ping timeout: 268 seconds)
2021-12-31 01:42:23 +0000 <EvanR> > foldMap (zipWith M.singleton [0..3] "abcd")
2021-12-31 01:42:25 +0000 <lambdabot> error:
2021-12-31 01:42:25 +0000 <lambdabot> • Couldn't match expected type ‘a -> m’
2021-12-31 01:42:25 +0000 <lambdabot> with actual type ‘[M.Map k0 Char]’
2021-12-31 01:42:27 +0000 <EvanR> damn
2021-12-31 01:42:33 +0000alx741(~alx741@157.100.93.160)
2021-12-31 01:42:45 +0000Everything(~Everythin@178-133-112-180.mobile.vf-ua.net) (Quit: leaving)
2021-12-31 01:43:14 +0000 <c_wraith> you are almost there - fold instead of foldMap
2021-12-31 01:43:18 +0000 <EvanR> > fold (zipWith M.singleton [0..3] "abcd")
2021-12-31 01:43:19 +0000 <lambdabot> fromList [(0,'a'),(1,'b'),(2,'c'),(3,'d')]
2021-12-31 01:43:50 +0000 <c_wraith> too bad all of these folds are non-strict. that's not memory-friendly
2021-12-31 01:45:40 +0000 <c_wraith> wow. and the docs say to use (foldMap' id) if you need a strict version
2021-12-31 01:46:43 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-12-31 01:47:49 +0000gaff(~gaff@49.207.226.49)
2021-12-31 01:49:17 +0000 <jackdk> also note that Map's Monoid instance is probably not what you want (left-biased) and if you do this trick with HashMap you'll get O(n^2) performance
2021-12-31 01:49:34 +0000 <EvanR> > M.lookup 3 (foldr (uncurry M.insert) M.empty (zip [0..999999] ['a'..]))
2021-12-31 01:49:41 +0000 <lambdabot> mueval-core: Time limit exceeded
2021-12-31 01:49:45 +0000 <EvanR> > M.lookup 3 (foldl' (flip $ uncurry M.insert) M.empty (zip [0..999999] ['a'..]))
2021-12-31 01:49:48 +0000 <lambdabot> Just 'd'
2021-12-31 01:50:14 +0000 <EvanR> that was quick but I primed the cache by testing in query window xD
2021-12-31 01:50:15 +0000alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-31 01:57:44 +0000lavaman(~lavaman@98.38.249.169)
2021-12-31 02:01:57 +0000lavaman(~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2021-12-31 02:05:49 +0000jeetelongname(~jeet@88-111-159-26.dynamic.dsl.as9105.com) (Ping timeout: 240 seconds)
2021-12-31 02:07:39 +0000pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4)
2021-12-31 02:08:02 +0000alx741(~alx741@157.100.93.160)
2021-12-31 02:12:48 +0000Kaiepi(~Kaiepi@216.208.243.103)
2021-12-31 02:12:56 +0000burnsidesLlama(~burnsides@dhcp168-010.wadham.ox.ac.uk)
2021-12-31 02:14:17 +0000 <xsperry> > M.lookup 3 (M.fromList (zip [0..999999] ['a'..]))
2021-12-31 02:14:20 +0000 <lambdabot> Just 'd'
2021-12-31 02:17:19 +0000burnsidesLlama(~burnsides@dhcp168-010.wadham.ox.ac.uk) (Ping timeout: 256 seconds)
2021-12-31 02:19:17 +0000kotshie(~kotshie@68.72.208.140) (Ping timeout: 240 seconds)
2021-12-31 02:22:02 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-31 02:26:57 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-12-31 02:27:27 +0000yauhsien(~yauhsien@118-167-42-25.dynamic-ip.hinet.net)
2021-12-31 02:32:37 +0000alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-31 02:33:35 +0000wroathe_(~wroathe@206-55-188-8.fttp.usinternet.com) (Quit: leaving)
2021-12-31 02:33:48 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2021-12-31 02:33:48 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2021-12-31 02:33:48 +0000wroathe(~wroathe@user/wroathe)
2021-12-31 02:34:58 +0000sprout(~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 260 seconds)
2021-12-31 02:38:17 +0000neurocyte0132889(~neurocyte@user/neurocyte) (Ping timeout: 240 seconds)
2021-12-31 02:40:27 +0000gaff(~gaff@49.207.226.49) (Remote host closed the connection)
2021-12-31 02:42:13 +0000gaff(~gaff@49.207.226.49)
2021-12-31 02:43:17 +0000xff0x(~xff0x@2001:1a81:527e:7f00:128f:5c47:b7cd:f118) (Ping timeout: 240 seconds)
2021-12-31 02:45:32 +0000xff0x(~xff0x@2001:1a81:52ba:da00:d72e:55a5:cc3a:4ad6)
2021-12-31 02:46:28 +0000sprout(~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5)
2021-12-31 02:46:57 +0000kaph(~kaph@net-2-38-107-19.cust.vodafonedsl.it) (Read error: Connection reset by peer)
2021-12-31 02:47:09 +0000hololeap(~hololeap@user/hololeap) (Quit: Bye)
2021-12-31 02:48:27 +0000deadmarshal(~deadmarsh@95.38.119.178)
2021-12-31 02:48:47 +0000kaph_(~kaph@net-2-38-107-19.cust.vodafonedsl.it)
2021-12-31 02:50:36 +0000alx741(~alx741@157.100.93.160)
2021-12-31 02:51:17 +0000sprout(~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 252 seconds)
2021-12-31 02:53:01 +0000deadmarshal(~deadmarsh@95.38.119.178) (Ping timeout: 256 seconds)
2021-12-31 02:56:38 +0000epolanski(uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2021-12-31 03:03:24 +0000sprout(~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5)
2021-12-31 03:08:43 +0000sprout(~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 268 seconds)
2021-12-31 03:18:55 +0000alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-31 03:19:24 +0000burnsidesLlama(~burnsides@dhcp168-010.wadham.ox.ac.uk)
2021-12-31 03:21:27 +0000sprout(~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5)
2021-12-31 03:25:37 +0000sprout(~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 240 seconds)
2021-12-31 03:25:37 +0000burnsidesLlama(~burnsides@dhcp168-010.wadham.ox.ac.uk) (Ping timeout: 240 seconds)
2021-12-31 03:30:37 +0000yauhsien(~yauhsien@118-167-42-25.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2021-12-31 03:35:53 +0000alx741(~alx741@157.100.93.160)
2021-12-31 03:42:41 +0000burnsidesLlama(~burnsides@dhcp168-010.wadham.ox.ac.uk)
2021-12-31 03:46:02 +0000raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-12-31 03:46:02 +0000alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-31 03:47:00 +0000finn_elija(~finn_elij@user/finn-elija/x-0085643)
2021-12-31 03:47:00 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2021-12-31 03:47:00 +0000finn_elijaFinnElija
2021-12-31 03:48:12 +0000terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat)
2021-12-31 03:49:25 +0000terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1)
2021-12-31 03:54:17 +0000td_(~td@94.134.91.217) (Ping timeout: 240 seconds)
2021-12-31 03:56:13 +0000td_(~td@muedsl-82-207-238-106.citykom.de)
2021-12-31 04:00:47 +0000yauhsien(~yauhsien@118-167-42-25.dynamic-ip.hinet.net)
2021-12-31 04:04:19 +0000alx741(~alx741@157.100.93.160)
2021-12-31 04:05:02 +0000yauhsien(~yauhsien@118-167-42-25.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2021-12-31 04:08:17 +0000 <xerox> /track
2021-12-31 04:09:02 +0000mbuf(~Shakthi@122.178.216.85)
2021-12-31 04:09:23 +0000rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 252 seconds)
2021-12-31 04:10:00 +0000 <xerox> oops
2021-12-31 04:11:02 +0000alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-31 04:13:34 +0000zmt00(~zmt00@user/zmt00)
2021-12-31 04:13:57 +0000zmt01(~zmt00@user/zmt00) (Ping timeout: 240 seconds)
2021-12-31 04:15:11 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2021-12-31 04:20:31 +0000nehsou^(~nehsou@207.5.54.6)
2021-12-31 04:23:08 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-31 04:28:54 +0000alx741(~alx741@157.100.93.160)
2021-12-31 04:31:34 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2021-12-31 04:31:34 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2021-12-31 04:31:34 +0000wroathe(~wroathe@user/wroathe)
2021-12-31 04:31:53 +0000deadmarshal(~deadmarsh@95.38.119.178)
2021-12-31 04:36:09 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2021-12-31 04:47:37 +0000curiousgay(~curiousga@77-120-141-90.kha.volia.net) (Ping timeout: 240 seconds)
2021-12-31 04:49:50 +0000gehmehgeh_(~user@user/gehmehgeh)
2021-12-31 04:52:06 +0000gehmehgeh(~user@user/gehmehgeh) (Ping timeout: 276 seconds)
2021-12-31 04:53:12 +0000learner-monad(~ehanneken@user/learner-monad) (Quit: WeeChat 3.4)
2021-12-31 04:53:57 +0000machined1od(~machinedg@24.105.81.50) (Ping timeout: 240 seconds)
2021-12-31 04:57:15 +0000nhatanh02(~satori@123.24.172.30) (Ping timeout: 268 seconds)
2021-12-31 04:57:41 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-12-31 05:01:17 +0000Feuermagier_(~Feuermagi@84.17.49.78) (Quit: Leaving)
2021-12-31 05:01:28 +0000Feuermagier(~Feuermagi@user/feuermagier)
2021-12-31 05:03:22 +0000alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-31 05:03:28 +0000slowButPresent(~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-12-31 05:08:16 +0000lavaman(~lavaman@98.38.249.169)
2021-12-31 05:12:17 +0000lavaman(~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2021-12-31 05:14:52 +0000machinedgod(~machinedg@24.105.81.50)
2021-12-31 05:19:56 +0000zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2021-12-31 05:21:28 +0000alx741(~alx741@157.100.93.160)
2021-12-31 05:22:46 +0000burnsidesLlama(~burnsides@dhcp168-010.wadham.ox.ac.uk) (Remote host closed the connection)
2021-12-31 05:23:18 +0000burnsidesLlama(~burnsides@client-8-64.eduroam.oxuni.org.uk)
2021-12-31 05:26:06 +0000alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-31 05:27:17 +0000burnsidesLlama(~burnsides@client-8-64.eduroam.oxuni.org.uk) (Ping timeout: 240 seconds)
2021-12-31 05:34:10 +0000deadmarshal(~deadmarsh@95.38.119.178) (Ping timeout: 260 seconds)
2021-12-31 05:35:48 +0000sprout(~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5)
2021-12-31 05:40:17 +0000sprout(~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 240 seconds)
2021-12-31 05:40:37 +0000theproffesor_theproffesor
2021-12-31 05:41:06 +0000theproffesor(~theproffe@2601:282:847f:8010::5fff) (Changing host)
2021-12-31 05:41:06 +0000theproffesor(~theproffe@user/theproffesor)
2021-12-31 05:42:51 +0000nhatanh02(~satori@123.24.172.30)
2021-12-31 05:44:00 +0000alx741(~alx741@157.100.93.160)
2021-12-31 05:46:07 +0000sirlensalot(~sirlensal@ool-44c5f8c9.dyn.optonline.net) (Quit: sirlensalot)
2021-12-31 05:52:44 +0000sprout(~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5)
2021-12-31 05:52:44 +0000alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-31 05:54:46 +0000lavaman(~lavaman@98.38.249.169)
2021-12-31 05:56:17 +0000ensyde(~ensyde@2600:1702:2e30:1a40:d506:18a6:e0ef:8a3a) (Ping timeout: 240 seconds)
2021-12-31 05:57:02 +0000sprout(~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 240 seconds)
2021-12-31 05:59:27 +0000lavaman(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2021-12-31 06:00:00 +0000deadmarshal(~deadmarsh@95.38.119.178)
2021-12-31 06:00:12 +0000sprout(~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5)
2021-12-31 06:01:17 +0000nhatanh02(~satori@123.24.172.30) (Ping timeout: 240 seconds)
2021-12-31 06:02:09 +0000deadmarshal_(~deadmarsh@95.38.113.195)
2021-12-31 06:04:32 +0000deadmarshal(~deadmarsh@95.38.119.178) (Ping timeout: 240 seconds)
2021-12-31 06:05:26 +0000sprout(~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 252 seconds)
2021-12-31 06:10:23 +0000alx741(~alx741@157.100.93.160)
2021-12-31 06:17:08 +0000sprout(~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5)
2021-12-31 06:20:30 +0000waleee(~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 268 seconds)
2021-12-31 06:21:17 +0000sprout(~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 240 seconds)
2021-12-31 06:21:42 +0000sabhrd33(~shawna@76.14.56.206)
2021-12-31 06:24:48 +0000sprout(~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5)
2021-12-31 06:25:31 +0000alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-31 06:28:40 +0000hexology(~hexology@user/hexology) (Quit: hex on you ...)
2021-12-31 06:30:03 +0000Jing(~hedgehog@2604:a840:3::1067) (Remote host closed the connection)
2021-12-31 06:30:41 +0000Jing(~hedgehog@240e:390:7c53:a7e1:99f1:6d34:38bc:e28a)
2021-12-31 06:38:41 +0000bb010g(~bb010g@2001:470:69fc:105::9a5) (Quit: Client limit exceeded: 20000)
2021-12-31 06:39:02 +0000sprout(~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 260 seconds)
2021-12-31 06:39:04 +0000sabhrd33(~shawna@76.14.56.206) (Remote host closed the connection)
2021-12-31 06:43:50 +0000alx741(~alx741@157.100.93.160)
2021-12-31 06:45:47 +0000sprout(~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5)
2021-12-31 06:45:55 +0000Everything(~Everythin@178-133-112-180.mobile.vf-ua.net)
2021-12-31 06:46:43 +0000python476(~user@88.160.31.174)
2021-12-31 06:47:39 +0000InternetCitizen(~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Ping timeout: 268 seconds)
2021-12-31 06:48:13 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Quit: Leaving)
2021-12-31 06:49:19 +0000deadmarshal_(~deadmarsh@95.38.113.195) (Ping timeout: 256 seconds)
2021-12-31 06:50:03 +0000deadmarshal(~deadmarsh@95.38.119.173)
2021-12-31 06:53:33 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-31 06:56:11 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2021-12-31 06:56:32 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643)
2021-12-31 06:58:38 +0000nattiestnate(~nate@2001:448a:20a0:4134:25e:715f:d637:5263)
2021-12-31 07:02:18 +0000deadmarshal_(~deadmarsh@95.38.228.254)
2021-12-31 07:03:17 +0000deadmarshal(~deadmarsh@95.38.119.173) (Ping timeout: 250 seconds)
2021-12-31 07:03:32 +0000alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-31 07:05:10 +0000dignissimus(~dignissim@88-104-68-62.dynamic.dsl.as9105.com)
2021-12-31 07:08:29 +0000 <dignissimus> Does this look ok? I defined eq3 and eq4 for checking equality between 3 and 4 items https://paste.tomsmeding.com/TO57JATT
2021-12-31 07:08:44 +0000bb010g(~bb010g@2001:470:69fc:105::9a5)
2021-12-31 07:08:55 +0000 <dignissimus> Coukdn't find anything in hoogle and didn't know if there was another way of doing it
2021-12-31 07:10:12 +0000gaff(~gaff@49.207.226.49) (Remote host closed the connection)
2021-12-31 07:12:10 +0000nattiestnate(~nate@2001:448a:20a0:4134:25e:715f:d637:5263) (Quit: WeeChat 3.4)
2021-12-31 07:12:32 +0000Jing(~hedgehog@240e:390:7c53:a7e1:99f1:6d34:38bc:e28a) (Read error: Connection reset by peer)
2021-12-31 07:13:42 +0000Jing(~hedgehog@2604:a840:3::1013)
2021-12-31 07:16:44 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2021-12-31 07:16:44 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2021-12-31 07:16:44 +0000wroathe(~wroathe@user/wroathe)
2021-12-31 07:16:57 +0000 <otherwise> for eq4 you could use if then else
2021-12-31 07:19:28 +0000 <otherwise> > let eq4 a b c d = if a==b && b==c && c==d then True else False in eq4 1 1 1 2
2021-12-31 07:19:29 +0000 <lambdabot> False
2021-12-31 07:21:23 +0000alx741(~alx741@157.100.93.160)
2021-12-31 07:21:58 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 260 seconds)
2021-12-31 07:25:53 +0000CiaoSen(~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2021-12-31 07:27:33 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds)
2021-12-31 07:28:57 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-12-31 07:32:15 +0000nattiestnate(~nate@2001:448a:20a0:4134:25e:715f:d637:5263)
2021-12-31 07:35:04 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-12-31 07:35:18 +0000 <EvanR> > let eq4 a b c d = a==b && b==c && c==d in eq4 1 1 2 1
2021-12-31 07:35:19 +0000 <lambdabot> False
2021-12-31 07:35:29 +0000 <EvanR> > let eq4 a b c d = a==b && b==c && c==d in eq4 1 2 1 undefined
2021-12-31 07:35:30 +0000 <lambdabot> False
2021-12-31 07:36:02 +0000 <EvanR> @check \b -> b == if b then True else False
2021-12-31 07:36:04 +0000 <lambdabot> +++ OK, passed 100 tests.
2021-12-31 07:36:43 +0000alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-31 07:37:50 +0000xff0x(~xff0x@2001:1a81:52ba:da00:d72e:55a5:cc3a:4ad6) (Ping timeout: 252 seconds)
2021-12-31 07:38:43 +0000xff0x(~xff0x@port-92-195-29-230.dynamic.as20676.net)
2021-12-31 07:41:33 +0000nattiestnate(~nate@2001:448a:20a0:4134:25e:715f:d637:5263) (Quit: WeeChat 3.4)
2021-12-31 07:42:05 +0000takuan(~takuan@178-116-218-225.access.telenet.be)
2021-12-31 07:43:31 +0000coolnickname(uid531864@user/coolnickname)
2021-12-31 07:44:58 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-12-31 07:45:35 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2021-12-31 07:46:23 +0000shriekingnoise(~shrieking@186.137.144.80) (Quit: Quit)
2021-12-31 07:50:07 +0000gaff(~gaff@49.207.226.49)
2021-12-31 07:51:04 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-12-31 07:54:50 +0000alx741(~alx741@157.100.93.160)
2021-12-31 08:00:12 +0000econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-12-31 08:00:12 +0000alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-31 08:00:35 +0000tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-12-31 08:02:52 +0000yauhsien(~yauhsien@118-167-42-25.dynamic-ip.hinet.net)
2021-12-31 08:05:37 +0000python476(~user@88.160.31.174) (Ping timeout: 240 seconds)
2021-12-31 08:07:31 +0000yauhsien(~yauhsien@118-167-42-25.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2021-12-31 08:15:28 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-31 08:17:08 +0000alx741(~alx741@157.100.93.160)
2021-12-31 08:20:21 +0000gaff(~gaff@49.207.226.49) (Ping timeout: 245 seconds)
2021-12-31 08:29:36 +0000hololeap(~hololeap@user/hololeap)
2021-12-31 08:29:36 +0000alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-31 08:31:21 +0000gehmehgeh_(~user@user/gehmehgeh) (Remote host closed the connection)
2021-12-31 08:32:10 +0000gehmehgeh_(~user@user/gehmehgeh)
2021-12-31 08:32:16 +0000 <int-e> glguy: neat
2021-12-31 08:36:57 +0000cyphase(~cyphase@user/cyphase) (Ping timeout: 240 seconds)
2021-12-31 08:44:49 +0000KvL(~KvL@user/KvL)
2021-12-31 08:46:37 +0000yaroot(~yaroot@2409:12:ac0:2300:680e:dbff:fe1e:4953) (Ping timeout: 240 seconds)
2021-12-31 08:47:24 +0000Rum(~bourbon@user/rum)
2021-12-31 08:47:39 +0000alx741(~alx741@157.100.93.160)
2021-12-31 08:47:40 +0000yaroot(~yaroot@2409:12:ac0:2300:680e:dbff:fe1e:4953)
2021-12-31 08:53:09 +0000_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-12-31 08:54:08 +0000ksqsf(~user@134.209.106.31)
2021-12-31 08:54:30 +0000alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-31 08:55:13 +0000Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de)
2021-12-31 08:56:37 +0000nschoe(~quassel@2a01:e0a:8e:a190:f672:9b79:e0d8:dc62)
2021-12-31 09:01:52 +0000gaff(~gaff@49.207.226.49)
2021-12-31 09:04:16 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-12-31 09:10:50 +0000alx741(~alx741@157.100.93.160)
2021-12-31 09:12:37 +0000sprout(~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 240 seconds)
2021-12-31 09:13:31 +0000coot(~coot@89-64-85-93.dynamic.chello.pl)
2021-12-31 09:14:41 +0000coot(~coot@89-64-85-93.dynamic.chello.pl) (Client Quit)
2021-12-31 09:14:50 +0000coot(~coot@89-64-85-93.dynamic.chello.pl)
2021-12-31 09:16:38 +0000Rum(~bourbon@user/rum) (Quit: WeeChat 3.4)
2021-12-31 09:16:48 +0000noctuks(RIj3X4Rlia@user/noctux) (Quit: WeeChat 3.3)
2021-12-31 09:16:48 +0000yushyin(C2iSDogdK9@karif.server-speed.net) (Quit: WeeChat 3.3)
2021-12-31 09:17:32 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2021-12-31 09:17:32 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2021-12-31 09:17:32 +0000wroathe(~wroathe@user/wroathe)
2021-12-31 09:17:42 +0000allbery_b(~geekosaur@xmonad/geekosaur)
2021-12-31 09:17:42 +0000geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-12-31 09:17:45 +0000allbery_bgeekosaur
2021-12-31 09:19:06 +0000machinedgod(~machinedg@24.105.81.50) (Ping timeout: 260 seconds)
2021-12-31 09:19:20 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-12-31 09:19:21 +0000alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-31 09:20:54 +0000d0ku(~d0ku@178.43.48.143.ipv4.supernova.orange.pl)
2021-12-31 09:21:29 +0000aman(~aman@user/aman)
2021-12-31 09:22:23 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 250 seconds)
2021-12-31 09:24:53 +0000Vajb(~Vajb@2001:999:230:a44e:bc17:5155:7945:add1) (Ping timeout: 268 seconds)
2021-12-31 09:26:10 +0000sprout(~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5)
2021-12-31 09:26:41 +0000drdo2(~drdo@144.172.69.89)
2021-12-31 09:27:30 +0000KvL(~KvL@user/KvL) (Quit: KvL)
2021-12-31 09:27:36 +0000drdo(~drdo@roach0.drdo.eu) (Read error: Connection reset by peer)
2021-12-31 09:27:36 +0000drdo2drdo
2021-12-31 09:29:01 +0000nhatanh02(~satori@123.24.172.30)
2021-12-31 09:30:46 +0000sprout(~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 260 seconds)
2021-12-31 09:31:08 +0000SummerSonw(~The_viole@203.77.49.232)
2021-12-31 09:31:09 +0000epolanski(uid312403@id-312403.helmsley.irccloud.com)
2021-12-31 09:32:28 +0000coot(~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot)
2021-12-31 09:34:25 +0000gaff(~gaff@49.207.226.49) (Remote host closed the connection)
2021-12-31 09:34:47 +0000Morrow(~quassel@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 256 seconds)
2021-12-31 09:36:06 +0000alx741(~alx741@157.100.93.160)
2021-12-31 09:36:12 +0000hololeap(~hololeap@user/hololeap) (Quit: Bye)
2021-12-31 09:40:55 +0000nschoe(~quassel@2a01:e0a:8e:a190:f672:9b79:e0d8:dc62) (Ping timeout: 268 seconds)
2021-12-31 09:40:58 +0000otherwise(~otherwise@2601:602:880:90f0:9dc:9663:8c4e:291b) ()
2021-12-31 09:43:10 +0000sprout(~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5)
2021-12-31 09:43:54 +0000searemind(~searemind@122.161.52.5)
2021-12-31 09:44:15 +0000cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20)
2021-12-31 09:45:57 +0000searemind(~searemind@122.161.52.5) (Remote host closed the connection)
2021-12-31 09:46:39 +0000searemind(~searemind@122.161.52.5)
2021-12-31 09:47:25 +0000sprout(~quassel@2a02:a467:ccd6:1:b024:d59b:b695:bed5) (Ping timeout: 240 seconds)
2021-12-31 09:48:02 +0000Guest6(~Guest6@host-82-57-134-164.retail.telecomitalia.it)
2021-12-31 09:48:35 +0000searemind(~searemind@122.161.52.5) (Client Quit)
2021-12-31 09:48:48 +0000 <Guest6> > take 5 [1,5..]
2021-12-31 09:48:49 +0000 <lambdabot> [1,5,9,13,17]
2021-12-31 09:48:55 +0000 <Guest6> hiall
2021-12-31 09:49:51 +0000acidjnk(~acidjnk@p200300d0c7271e9411aaafeb7bff4a7a.dip0.t-ipconnect.de)
2021-12-31 09:49:52 +0000acidjnk_new(~acidjnk@p200300d0c7271e9411aaafeb7bff4a7a.dip0.t-ipconnect.de)
2021-12-31 09:49:55 +0000 <Guest6> @pl \l -> zip (map length . group $ l) (compress l)
2021-12-31 09:49:56 +0000 <lambdabot> ap (zip . map length . group) compress
2021-12-31 09:50:20 +0000 <Guest6> @pl \xs -> myReverse xs == xs
2021-12-31 09:50:20 +0000 <lambdabot> (==) =<< myReverse
2021-12-31 09:50:56 +0000 <Guest6> @pl myReverse [] = []
2021-12-31 09:50:56 +0000 <lambdabot> (line 1, column 15):
2021-12-31 09:50:56 +0000 <lambdabot> unexpected " "
2021-12-31 09:50:56 +0000 <lambdabot> expecting operator
2021-12-31 09:50:56 +0000 <Guest6> myReverse [x] = [x]
2021-12-31 09:50:57 +0000 <Guest6> myReverse (x : xs) = myReverse xs ++ [x]
2021-12-31 09:51:37 +0000 <Guest6> @pl myReverse (x : xs) = myReverse xs ++ [x]
2021-12-31 09:51:37 +0000 <lambdabot> myReverse = fix ((`ap` tail) . (. head) . (. return) . flip . ((++) .))
2021-12-31 09:53:12 +0000 <Guest6> @unpl ((.).(.))
2021-12-31 09:53:12 +0000 <lambdabot> (\ x g x0 x1 -> x (g x0 x1))
2021-12-31 09:53:52 +0000Guest6(~Guest6@host-82-57-134-164.retail.telecomitalia.it) (Quit: Client closed)
2021-12-31 09:54:03 +0000Guest6(~Guest6@host-82-57-134-164.retail.telecomitalia.it)
2021-12-31 09:54:12 +0000Guest6(~Guest6@host-82-57-134-164.retail.telecomitalia.it) (Client Quit)
2021-12-31 09:56:35 +0000lavaman(~lavaman@98.38.249.169)
2021-12-31 09:58:01 +0000ridcully(~ridcully@pd951fb88.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2021-12-31 09:59:40 +0000ridcully(~ridcully@p57b52a9a.dip0.t-ipconnect.de)
2021-12-31 10:00:25 +0000alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-31 10:01:16 +0000lavaman(~lavaman@98.38.249.169) (Ping timeout: 268 seconds)
2021-12-31 10:02:46 +0000tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2021-12-31 10:04:50 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-12-31 10:07:27 +0000Guest6(~Guest6@host-82-57-134-164.retail.telecomitalia.it)
2021-12-31 10:07:49 +0000 <Guest6> @pl show' x = if x > 9 then show x else "0" ++ show x
2021-12-31 10:07:50 +0000 <lambdabot> show' = ap (liftM2 if' (> 9) show) (('0' :) . show)
2021-12-31 10:08:17 +0000 <Guest6> @pl show' x = if x > 9 then show x else '0' : show x
2021-12-31 10:08:17 +0000 <lambdabot> show' = ap (liftM2 if' (> 9) show) (('0' :) . show)
2021-12-31 10:08:41 +0000nschoe(~quassel@2a01:e0a:8e:a190:e62a:6035:118c:cf49)
2021-12-31 10:09:39 +0000 <Guest6> @pl humanReadable x = intercalate ":" $ map (if x > 9 then show x else '0' : show x) [div x 3600,div (mod x 3600) 60,mod x 60]
2021-12-31 10:09:40 +0000 <lambdabot> humanReadable = intercalate ":" . ap (map . ap (liftM2 if' (> 9) show) (('0' :) . show)) (ap ((:) . flip div 3600) (ap ((:) . flip div 60 . flip mod 3600) (return . flip mod 60)))
2021-12-31 10:09:54 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2021-12-31 10:10:46 +0000Guest6(~Guest6@host-82-57-134-164.retail.telecomitalia.it) (Client Quit)
2021-12-31 10:18:39 +0000alx741(~alx741@157.100.93.160)
2021-12-31 10:21:18 +0000Tuplanolla(~Tuplanoll@91-159-69-90.elisa-laajakaista.fi)
2021-12-31 10:27:08 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2021-12-31 10:28:03 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds)
2021-12-31 10:28:26 +0000Lord_of_Life_Lord_of_Life
2021-12-31 10:30:26 +0000alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-31 10:32:06 +0000ksqsf(~user@134.209.106.31) (Ping timeout: 268 seconds)
2021-12-31 10:33:19 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2021-12-31 10:33:19 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2021-12-31 10:33:19 +0000wroathe(~wroathe@user/wroathe)
2021-12-31 10:34:02 +0000zer0bitz(~zer0bitz@196.244.192.54)
2021-12-31 10:36:08 +0000Vajb(~Vajb@85-76-162-179-nat.elisa-mobile.fi)
2021-12-31 10:37:16 +0000max22-(~maxime@lfbn-ren-1-1026-62.w92-139.abo.wanadoo.fr)
2021-12-31 10:37:57 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2021-12-31 10:45:03 +0000deadmarshal_(~deadmarsh@95.38.228.254) (Ping timeout: 256 seconds)
2021-12-31 10:45:21 +0000ProfSimm(~ProfSimm@87.227.196.109)
2021-12-31 10:46:38 +0000alx741(~alx741@157.100.93.160)
2021-12-31 10:46:57 +0000searemind(~searemind@122.161.52.5)
2021-12-31 10:48:29 +0000deadmarshal(~deadmarsh@95.38.228.254)
2021-12-31 10:48:54 +0000searemind(~searemind@122.161.52.5) (Client Quit)
2021-12-31 10:49:37 +0000Jing(~hedgehog@2604:a840:3::1013) (Ping timeout: 240 seconds)
2021-12-31 10:50:43 +0000shriekingnoise(~shrieking@186.137.144.80)
2021-12-31 10:51:19 +0000alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-31 10:52:27 +0000searemind(~searemind@122.161.52.5)
2021-12-31 10:52:42 +0000meinside(uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2021-12-31 10:53:32 +0000vglfr(~vglfr@88.155.60.141) (Ping timeout: 240 seconds)
2021-12-31 10:54:08 +0000Jing(~hedgehog@2604:a840:3::1013)
2021-12-31 10:57:48 +0000searemind(~searemind@122.161.52.5) (Quit: searemind)
2021-12-31 10:58:39 +0000jgeerds(~jgeerds@55d4ac73.access.ecotel.net)
2021-12-31 11:01:46 +0000bollu(~bollu@159.65.151.13)
2021-12-31 11:02:30 +0000searemind(~searemind@122.161.52.5)
2021-12-31 11:02:33 +0000yushyin(ank7aaOFiT@2a01:4f8:c17:b4dd::2)
2021-12-31 11:02:35 +0000noctuks(7vrDyCK6LH@user/noctux)
2021-12-31 11:02:43 +0000__monty__(~toonn@user/toonn)
2021-12-31 11:02:51 +0000 <searemind> hi
2021-12-31 11:03:07 +0000 <geekosaur> hi
2021-12-31 11:03:28 +0000 <searemind> yayy this works
2021-12-31 11:03:39 +0000 <searemind> have a great day everyone!
2021-12-31 11:04:05 +0000searemind(~searemind@122.161.52.5) (Client Quit)
2021-12-31 11:04:05 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2021-12-31 11:04:05 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2021-12-31 11:04:05 +0000wroathe(~wroathe@user/wroathe)
2021-12-31 11:04:56 +0000fef(~thedawn@user/thedawn)
2021-12-31 11:08:36 +0000fef(~thedawn@user/thedawn) (Remote host closed the connection)
2021-12-31 11:08:36 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2021-12-31 11:08:51 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2021-12-31 11:09:04 +0000fef(~thedawn@user/thedawn)
2021-12-31 11:09:10 +0000alx741(~alx741@157.100.93.160)
2021-12-31 11:09:27 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-12-31 11:15:41 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-31 11:18:37 +0000Akiva(~Akiva@user/Akiva) (Ping timeout: 240 seconds)
2021-12-31 11:19:37 +0000Erutuon(~Erutuon@user/erutuon) (Ping timeout: 256 seconds)
2021-12-31 11:25:41 +0000jgeerds(~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 250 seconds)
2021-12-31 11:25:50 +0000alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-31 11:26:27 +0000jakalx(~jakalx@base.jakalx.net) ()
2021-12-31 11:28:51 +0000vglfr(~vglfr@88.155.60.141)
2021-12-31 11:32:34 +0000nhatanh02(~satori@123.24.172.30) (Ping timeout: 260 seconds)
2021-12-31 11:33:45 +0000searemind(~searemind@122.161.52.5)
2021-12-31 11:34:52 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2021-12-31 11:34:52 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2021-12-31 11:34:52 +0000wroathe(~wroathe@user/wroathe)
2021-12-31 11:39:27 +0000searemind(~searemind@122.161.52.5) (Remote host closed the connection)
2021-12-31 11:40:01 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2021-12-31 11:41:00 +0000mastarija(~mastarija@2a05:4f46:e0e:5000:3068:c838:9b70:4bc4)
2021-12-31 11:43:45 +0000alx741(~alx741@157.100.93.160)
2021-12-31 11:46:14 +0000jtomas(~jtomas@153.red-83-53-252.dynamicip.rima-tde.net)
2021-12-31 11:47:37 +0000DNH(~DNH@2a02:8108:1100:16d8:4942:7271:af20:a403)
2021-12-31 11:48:51 +0000alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-31 11:49:37 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-12-31 11:51:11 +0000mvk(~mvk@2607:fea8:5cdd:f000::917a) (Ping timeout: 245 seconds)
2021-12-31 11:53:48 +0000 <dignissimus> I think I've been able to write this type theory proof out in haskell https://paste.tomsmeding.com/OnkdykS9 https://i.imgur.com/YU6cJJF.png
2021-12-31 11:55:01 +0000 <dignissimus> When I ran the code I was expecting everything to blow up but haskell's type system is too good to allow me to make terrible mistakes
2021-12-31 11:55:25 +0000 <jtomas> Hi, looking at the beggining of the page: https://www.haskell.org/ghc/, why does 25th december release has a lower version (9.0.2) than the 29th october release (9.2.1)?
2021-12-31 11:55:49 +0000 <geekosaur> because M1 Macs made a mess of things
2021-12-31 11:56:09 +0000 <int-e> it's a maintenance release for the ghc 9.0 major version
2021-12-31 11:56:14 +0000 <geekosaur> we also had an even earlier slew of releases (8.10.5 through 8.10.7) after 9.0.1
2021-12-31 11:57:07 +0000 <geekosaur> basically: 9.0.1 included linear types. 8.10.5-8.10.7 were M1 Mac support via LLVM. 9.2.1 was native asm support for M1 Macs, but that turned out to be broken and a fix is expected mid-January
2021-12-31 11:57:25 +0000 <int-e> because people generally don't switch to the latest ghc immediately; the major releases tend to break libraries and it takes a while for them to catch up.
2021-12-31 11:57:36 +0000 <geekosaur> this has caused lots of messes including with ghc development and maintenance, and I think they're going to try really hard to not repeat this in the future
2021-12-31 11:57:52 +0000 <int-e> even 8.10 isn't dead yet (and I wouldn't be surprised if it was still more popular than 9.0, but don't know)
2021-12-31 11:58:14 +0000 <geekosaur> it is, if only because stack lts releases are still 8.10.7
2021-12-31 11:59:09 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 276 seconds)
2021-12-31 11:59:20 +0000 <geekosaur> 9.0.1 has enough bugs that pretty much the only people using it are the ones who need linear types
2021-12-31 11:59:37 +0000 <geekosaur> also much of the ecosystem hasn't caught up to either 9.x release yet
2021-12-31 12:00:27 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643)
2021-12-31 12:04:40 +0000 <c_wraith> yeah, 9.0.1 had a *lot* of bugs that were fixed in 9.2. I doubt a lot of those fixes were backported.
2021-12-31 12:05:04 +0000 <c_wraith> so neither 9.x branch is especially attractive for real-world use right now
2021-12-31 12:06:44 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-12-31 12:07:13 +0000alx741(~alx741@157.100.93.160)
2021-12-31 12:10:57 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 250 seconds)
2021-12-31 12:16:06 +0000 <jtomas> thanks guys.
2021-12-31 12:16:19 +0000 <jtomas> also 9.2.1 does already have record dot syntax, right?
2021-12-31 12:16:19 +0000alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-31 12:18:29 +0000jakalx(~jakalx@base.jakalx.net)
2021-12-31 12:19:03 +0000 <geekosaur> yes
2021-12-31 12:20:02 +0000 <geekosaur> looks like that was not backported to 9.0.2
2021-12-31 12:21:55 +0000 <jtomas> hmm, i'm trying it in ghci, but the compiler gives an error
2021-12-31 12:22:12 +0000 <jtomas> oh, i need the pragma stuff
2021-12-31 12:22:35 +0000 <jtomas> OverloadedRecordDot
2021-12-31 12:23:56 +0000 <int-e> what a name
2021-12-31 12:24:05 +0000mastarija(~mastarija@2a05:4f46:e0e:5000:3068:c838:9b70:4bc4) (Quit: Leaving)
2021-12-31 12:24:44 +0000 <geekosaur> right, it causes a number of backward compatibility issues so it's off by default
2021-12-31 12:25:02 +0000 <geekosaur> dots already cause enough weird problems even without OverloadedRecordDot
2021-12-31 12:25:16 +0000 <geekosaur> > [LT..GT]
2021-12-31 12:25:17 +0000 <lambdabot> error:
2021-12-31 12:25:18 +0000 <lambdabot> Not in scope: ‘LT..’
2021-12-31 12:25:18 +0000 <lambdabot> No module named ‘LT’ is imported.error:
2021-12-31 12:25:33 +0000 <geekosaur> need at least one space for that to do the right thing
2021-12-31 12:26:10 +0000 <int-e> > [0.. -1] :: [Word8
2021-12-31 12:26:11 +0000 <lambdabot> <hint>:1:19: error: lexical error at character '\GS'
2021-12-31 12:26:14 +0000 <int-e> > [0.. -1] :: [Word8]
2021-12-31 12:26:16 +0000 <lambdabot> [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,2...
2021-12-31 12:27:04 +0000 <int-e> (do we count the required space before the - here as a problem with dots?)
2021-12-31 12:29:09 +0000 <int-e> Oh pattern synonyms add a fun corner case: import Bar (x); data Foo = Foo { foo: Int }; pattern Bar = Foo{ foo = 42 } ... what does Bar.x mean?
2021-12-31 12:29:27 +0000 <int-e> uh, x and foo were suposed to be the same identifier
2021-12-31 12:30:25 +0000 <geekosaur> I thought that was still considered an open issue with OverloadedRecordDot. I know there are several corner cases they punted to see how the ecosystem was affected
2021-12-31 12:31:02 +0000 <int-e> I missed the development, so the above is me playing catch-up :)
2021-12-31 12:33:22 +0000alx741(~alx741@157.100.93.160)
2021-12-31 12:33:48 +0000Rum(~bourbon@user/rum)
2021-12-31 12:36:03 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2021-12-31 12:36:03 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2021-12-31 12:36:03 +0000wroathe(~wroathe@user/wroathe)
2021-12-31 12:38:41 +0000alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-31 12:39:00 +0000 <jtomas> The example in the motivation section (https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0282-record-dot-syntax.rst#1-…) throws an error: "multiple declarations on name". Is this solvable with some other pragma or does the actual implemention in 9.2.1 simply does not support this?
2021-12-31 12:40:37 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2021-12-31 12:41:04 +0000 <geekosaur> I believe OverloadedRecordDot is only part of the solution, solving the problem that it's impossible to have more than one b in scope for `b a` to work. The rest is https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/hasfield.html so you can actually have more than one defined
2021-12-31 12:41:27 +0000xkuru(~xkuru@user/xkuru)
2021-12-31 12:42:01 +0000 <geekosaur> which is itself not enough to solve `b a` because `b` is a function and you can only have one such function in scope
2021-12-31 12:42:43 +0000 <geekosaur> and defining `Has` constraints still leaves declaring a suitable `b` somewhere, usually via Template Haskell
2021-12-31 12:44:53 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-31 12:49:20 +0000 <geekosaur> might also require NoFieldSelectors
2021-12-31 12:49:25 +0000sprout(~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c)
2021-12-31 12:49:48 +0000geekosaurthinks all this stuff is a mess and sometimes wonders how much we'll pay for it
2021-12-31 12:52:49 +0000 <int-e> eh what's the worst that could happen besides breaking all tools in existence (hlint anyone?)
2021-12-31 12:55:02 +0000nhatanh02(~satori@123.24.172.30)
2021-12-31 12:56:44 +0000 <int-e> (usually when mathematicians say they found a proof they mean they discovered it themselves)
2021-12-31 12:56:49 +0000alx741(~alx741@157.100.93.160)
2021-12-31 12:57:05 +0000jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-12-31 12:57:41 +0000jpds(~jpds@gateway/tor-sasl/jpds)
2021-12-31 12:58:13 +0000max22-(~maxime@lfbn-ren-1-1026-62.w92-139.abo.wanadoo.fr) (Ping timeout: 240 seconds)
2021-12-31 13:02:28 +0000alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-31 13:05:54 +0000thevishy(~Nishant@2405:201:f005:c007:bc65:cf77:420d:9a2d)
2021-12-31 13:06:54 +0000tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-12-31 13:08:35 +0000gaff(~gaff@49.207.226.100)
2021-12-31 13:16:13 +0000geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-12-31 13:16:13 +0000allbery_b(~geekosaur@xmonad/geekosaur)
2021-12-31 13:16:18 +0000allbery_bgeekosaur
2021-12-31 13:17:00 +0000azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2021-12-31 13:17:26 +0000azimut(~azimut@gateway/tor-sasl/azimut)
2021-12-31 13:20:14 +0000alx741(~alx741@157.100.93.160)
2021-12-31 13:20:20 +0000burnsidesLlama(~burnsides@dhcp168-010.wadham.ox.ac.uk)
2021-12-31 13:20:44 +0000 <merijn> Entirely unrelated to Haskell, but still: Looks like I'm starting 2022 of right as my thesis has been approved by the entire committee \o/
2021-12-31 13:22:08 +0000acidjnk(~acidjnk@p200300d0c7271e9411aaafeb7bff4a7a.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2021-12-31 13:22:41 +0000acidjnk_new(~acidjnk@p200300d0c7271e9411aaafeb7bff4a7a.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2021-12-31 13:23:01 +0000 <geekosaur> \o/
2021-12-31 13:23:15 +0000DNH(~DNH@2a02:8108:1100:16d8:4942:7271:af20:a403) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-12-31 13:23:34 +0000 <merijn> Now I just have to keep my fingers crossed we can have an actual in person defense, else I'll be so mad it'll get me an aneurysm >.<
2021-12-31 13:24:24 +0000DNH(~DNH@2a02:8108:1100:16d8:4942:7271:af20:a403)
2021-12-31 13:24:25 +0000DNH(~DNH@2a02:8108:1100:16d8:4942:7271:af20:a403) (Client Quit)
2021-12-31 13:24:28 +0000alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-31 13:28:20 +0000MasseR(~MasseR@51.15.143.128)
2021-12-31 13:31:16 +0000tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-12-31 13:32:09 +0000_73(~user@pool-108-49-252-36.bstnma.fios.verizon.net)
2021-12-31 13:38:06 +0000curiousgay(~curiousga@77-120-141-90.kha.volia.net)
2021-12-31 13:41:08 +0000shriekingnoise(~shrieking@186.137.144.80) (Quit: Quit)
2021-12-31 13:42:47 +0000alx741(~alx741@181.199.42.79)
2021-12-31 13:44:08 +0000coot(~coot@89-64-85-93.dynamic.chello.pl)
2021-12-31 13:48:19 +0000alx741(~alx741@181.199.42.79) (Read error: Connection reset by peer)
2021-12-31 13:50:31 +0000takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-12-31 13:52:23 +0000sprout(~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) (Ping timeout: 252 seconds)
2021-12-31 13:53:56 +0000freeside(~mengwong@158.140.136.247)
2021-12-31 13:56:31 +0000InternetCitizen(~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net)
2021-12-31 13:58:33 +0000pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-12-31 13:58:43 +0000nehsou^(~nehsou@207.5.54.6) (Remote host closed the connection)
2021-12-31 14:03:00 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-12-31 14:04:03 +0000sprout(~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c)
2021-12-31 14:04:25 +0000rembo10(~rembo10@remulis.com) (Quit: ZNC 1.8.2 - https://znc.in)
2021-12-31 14:05:05 +0000alx741(~alx741@157.100.93.160)
2021-12-31 14:05:35 +0000rembo10(~rembo10@remulis.com)
2021-12-31 14:08:23 +0000sprout(~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) (Ping timeout: 250 seconds)
2021-12-31 14:09:23 +0000alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-31 14:10:17 +0000deadmarshal(~deadmarsh@95.38.228.254) (Ping timeout: 240 seconds)
2021-12-31 14:12:38 +0000vesuzma(~manuel@114.81.191.92.dynamic.jazztel.es)
2021-12-31 14:12:55 +0000n3rdy1(~n3rdy1@2600:1700:4570:3480::41)
2021-12-31 14:13:11 +0000waleee(~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4)
2021-12-31 14:13:23 +0000DigitalKiwi(~kiwi@192.241.157.119) (Quit: quite.)
2021-12-31 14:14:06 +0000DigitalKiwi(~kiwi@2604:a880:400:d0::12fc:5001)
2021-12-31 14:20:06 +0000sprout(~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c)
2021-12-31 14:24:35 +0000sprout(~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) (Ping timeout: 268 seconds)
2021-12-31 14:25:58 +0000jumper149(~jumper149@static.6.71.203.116.clients.your-server.de)
2021-12-31 14:26:15 +0000alx741(~alx741@157.100.93.160)
2021-12-31 14:28:40 +0000Rum(~bourbon@user/rum) (Quit: WeeChat 3.4)
2021-12-31 14:31:52 +0000zincy_(~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807)
2021-12-31 14:34:16 +0000deadmarshal(~deadmarsh@95.38.228.254)
2021-12-31 14:34:18 +0000phma_(phma@2001:5b0:215a:ce38:5375:14ef:75:984)
2021-12-31 14:35:00 +0000nunggu(~q@gateway/tor-sasl/nunggu) (Quit: nunggu)
2021-12-31 14:35:03 +0000phma(phma@2001:5b0:211f:42c8:a947:49ab:30cf:8035) (Read error: Connection reset by peer)
2021-12-31 14:37:49 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-31 14:38:25 +0000nunggu(~q@gateway/tor-sasl/nunggu)
2021-12-31 14:38:33 +0000machinedgod(~machinedg@24.105.81.50)
2021-12-31 14:40:09 +0000burnsidesLlama(~burnsides@dhcp168-010.wadham.ox.ac.uk) (Remote host closed the connection)
2021-12-31 14:40:41 +0000burnsidesLlama(~burnsides@dhcp168-010.wadham.ox.ac.uk)
2021-12-31 14:42:30 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-12-31 14:42:40 +0000alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-31 14:44:37 +0000burnsidesLlama(~burnsides@dhcp168-010.wadham.ox.ac.uk) (Ping timeout: 240 seconds)
2021-12-31 14:49:09 +0000ProfSimm(~ProfSimm@87.227.196.109) (Remote host closed the connection)
2021-12-31 14:50:16 +0000coot(~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot)
2021-12-31 14:53:22 +0000TonyStone(~TonyStone@2603-7080-8607-c36a-9cdb-69bc-753b-1e50.res6.spectrum.com) (Remote host closed the connection)
2021-12-31 14:53:57 +0000max22-(~maxime@2a01cb0883359800b6fd2f8b2e65f4a2.ipv6.abo.wanadoo.fr)
2021-12-31 14:54:57 +0000kaction(~kaction@pool-71-191-91-40.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2021-12-31 14:55:37 +0000sprout(~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c)
2021-12-31 14:56:04 +0000dyeplexer(~dyeplexer@user/dyeplexer)
2021-12-31 14:59:02 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2021-12-31 14:59:02 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2021-12-31 14:59:02 +0000wroathe(~wroathe@user/wroathe)
2021-12-31 14:59:46 +0000vesuzma(~manuel@114.81.191.92.dynamic.jazztel.es) (Remote host closed the connection)
2021-12-31 15:00:32 +0000n3rdy1(~n3rdy1@2600:1700:4570:3480::41) (Ping timeout: 240 seconds)
2021-12-31 15:00:35 +0000sprout(~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) (Ping timeout: 252 seconds)
2021-12-31 15:00:50 +0000alx741(~alx741@157.100.93.160)
2021-12-31 15:01:41 +0000dyeplexer(~dyeplexer@user/dyeplexer) (Ping timeout: 252 seconds)
2021-12-31 15:02:29 +0000coolnickname(uid531864@user/coolnickname) (Quit: Connection closed for inactivity)
2021-12-31 15:03:09 +0000slowButPresent(~slowButPr@user/slowbutpresent)
2021-12-31 15:03:39 +0000dyeplexer(~dyeplexer@user/dyeplexer)
2021-12-31 15:05:59 +0000alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-31 15:09:06 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-12-31 15:11:37 +0000dignissimus(~dignissim@88-104-68-62.dynamic.dsl.as9105.com) (Quit: quit)
2021-12-31 15:12:00 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-31 15:12:08 +0000doyougnu(~doyougnu@c-73-25-202-122.hsd1.or.comcast.net) (Remote host closed the connection)
2021-12-31 15:12:20 +0000doyougnu(~doyougnu@c-73-25-202-122.hsd1.or.comcast.net)
2021-12-31 15:12:51 +0000coolnickname(uid531864@user/coolnickname)
2021-12-31 15:13:02 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-12-31 15:13:55 +0000n3rdy1(~n3rdy1@2600:1700:4570:3480:1b88:50f:dae0:9293)
2021-12-31 15:14:03 +0000sprout(~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c)
2021-12-31 15:14:31 +0000zincy_(~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) (Remote host closed the connection)
2021-12-31 15:16:41 +0000_73(~user@pool-108-49-252-36.bstnma.fios.verizon.net) (Remote host closed the connection)
2021-12-31 15:16:45 +0000fef(~thedawn@user/thedawn) (Ping timeout: 276 seconds)
2021-12-31 15:18:10 +0000Kaiepi(~Kaiepi@216.208.243.103) (Read error: Connection reset by peer)
2021-12-31 15:18:52 +0000sprout(~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) (Ping timeout: 268 seconds)
2021-12-31 15:19:30 +0000Kaiepi(~Kaiepi@142.167.238.131)
2021-12-31 15:20:37 +0000nschoe(~quassel@2a01:e0a:8e:a190:e62a:6035:118c:cf49) (Ping timeout: 240 seconds)
2021-12-31 15:20:38 +0000sprout(~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c)
2021-12-31 15:23:09 +0000alx741(~alx741@157.100.93.160)
2021-12-31 15:24:13 +0000Kaiepi(~Kaiepi@142.167.238.131) (Ping timeout: 240 seconds)
2021-12-31 15:27:46 +0000alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-31 15:30:34 +0000curiousgay(~curiousga@77-120-141-90.kha.volia.net) (Ping timeout: 260 seconds)
2021-12-31 15:30:50 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2021-12-31 15:31:22 +0000fef(~thedawn@user/thedawn)
2021-12-31 15:32:35 +0000geekosaur(~geekosaur@xmonad/geekosaur) (Quit: Leaving)
2021-12-31 15:33:41 +0000geekosaur(~geekosaur@xmonad/geekosaur)
2021-12-31 15:34:51 +0000 <bollu> merijn sweet :D what's your thesis 'bout
2021-12-31 15:36:58 +0000img(~img@user/img)
2021-12-31 15:41:22 +0000zincy_(~zincy@2a00:23c8:970c:4801:c17f:9983:e5a5:ab71)
2021-12-31 15:42:51 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2021-12-31 15:42:51 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2021-12-31 15:42:51 +0000wroathe(~wroathe@user/wroathe)
2021-12-31 15:44:15 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-12-31 15:44:18 +0000alx741(~alx741@157.100.93.160)
2021-12-31 15:47:05 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2021-12-31 15:53:42 +0000Kaiepi(~Kaiepi@142.167.238.131)
2021-12-31 15:54:52 +0000alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-31 15:55:08 +0000img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2021-12-31 15:56:09 +0000img(~img@user/img)
2021-12-31 15:57:51 +0000AkechiShiro(~licht@user/akechishiro) (Ping timeout: 245 seconds)
2021-12-31 15:58:20 +0000Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 268 seconds)
2021-12-31 15:58:23 +0000img(~img@user/img) (Client Quit)
2021-12-31 15:58:56 +0000szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2021-12-31 15:59:02 +0000AkechiShiro(~licht@user/akechishiro)
2021-12-31 15:59:04 +0000Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2021-12-31 15:59:35 +0000tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-12-31 15:59:45 +0000img(~img@user/img)
2021-12-31 16:00:46 +0000spaceseller(~spacesell@31.147.205.13)
2021-12-31 16:01:50 +0000Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded)
2021-12-31 16:02:37 +0000Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2021-12-31 16:05:06 +0000sirlensalot(~sirlensal@ool-44c5f8c9.dyn.optonline.net)
2021-12-31 16:05:07 +0000DNH(~DNH@2a02:8108:1100:16d8:4942:7271:af20:a403)
2021-12-31 16:05:13 +0000freeside(~mengwong@158.140.136.247) (Remote host closed the connection)
2021-12-31 16:05:14 +0000Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded)
2021-12-31 16:06:06 +0000Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2021-12-31 16:07:04 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2021-12-31 16:07:04 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2021-12-31 16:07:04 +0000wroathe(~wroathe@user/wroathe)
2021-12-31 16:08:18 +0000Jing(~hedgehog@2604:a840:3::1013) (Remote host closed the connection)
2021-12-31 16:09:11 +0000d0ku(~d0ku@178.43.48.143.ipv4.supernova.orange.pl) (Ping timeout: 256 seconds)
2021-12-31 16:12:00 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 276 seconds)
2021-12-31 16:12:36 +0000Jing(~hedgehog@2604:a840:3::1013)
2021-12-31 16:12:45 +0000alx741(~alx741@157.100.93.160)
2021-12-31 16:16:01 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-31 16:16:03 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-12-31 16:17:13 +0000alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-31 16:19:51 +0000tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-12-31 16:20:33 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds)
2021-12-31 16:25:38 +0000deadmarshal(~deadmarsh@95.38.228.254) (Ping timeout: 260 seconds)
2021-12-31 16:25:58 +0000phma_phma
2021-12-31 16:29:00 +0000cyphase(~cyphase@user/cyphase)
2021-12-31 16:32:42 +0000ProfSimm(~ProfSimm@176-12-60-137.pon.spectrumnet.bg)
2021-12-31 16:33:54 +0000alx741(~alx741@157.100.93.160)
2021-12-31 16:35:02 +0000alx741(~alx741@157.100.93.160) (Client Quit)
2021-12-31 16:39:50 +0000ProfSimm(~ProfSimm@176-12-60-137.pon.spectrumnet.bg) (Remote host closed the connection)
2021-12-31 16:40:19 +0000zincy_(~zincy@2a00:23c8:970c:4801:c17f:9983:e5a5:ab71) (Remote host closed the connection)
2021-12-31 16:40:34 +0000Kaiepi(~Kaiepi@142.167.238.131) (Ping timeout: 260 seconds)
2021-12-31 16:45:42 +0000otherwise(~otherwise@2601:602:880:90f0:e049:de3:e0a5:b9a2)
2021-12-31 16:47:29 +0000mbuf(~Shakthi@122.178.216.85) (Quit: Leaving)
2021-12-31 16:48:33 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-31 16:48:41 +0000econo(uid147250@user/econo)
2021-12-31 16:50:29 +0000Kaiepi(~Kaiepi@156.34.47.253)
2021-12-31 16:52:00 +0000deadmarshal(~deadmarsh@95.38.228.254)
2021-12-31 16:52:57 +0000nhatanh02(~satori@123.24.172.30) (Ping timeout: 240 seconds)
2021-12-31 16:57:38 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2021-12-31 17:02:01 +0000Rum(~bourbon@user/rum)
2021-12-31 17:04:26 +0000rk04(~rk04@user/rajk)
2021-12-31 17:05:16 +0000jumper149(~jumper149@static.6.71.203.116.clients.your-server.de) (Quit: WeeChat 3.3)
2021-12-31 17:10:17 +0000sprout(~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) (Ping timeout: 240 seconds)
2021-12-31 17:10:34 +0000DNH(~DNH@2a02:8108:1100:16d8:4942:7271:af20:a403) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-12-31 17:12:35 +0000bitmapper(uid464869@id-464869.lymington.irccloud.com)
2021-12-31 17:15:51 +0000sprout(~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c)
2021-12-31 17:21:09 +0000joo-_(~joo-_@fsf/member/joo--) (Ping timeout: 256 seconds)
2021-12-31 17:22:37 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-12-31 17:27:34 +0000otherwise(~otherwise@2601:602:880:90f0:e049:de3:e0a5:b9a2) (Remote host closed the connection)
2021-12-31 17:30:30 +0000vglfr(~vglfr@88.155.60.141) (Ping timeout: 260 seconds)
2021-12-31 17:31:26 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 268 seconds)
2021-12-31 17:31:37 +0000rk04(~rk04@user/rajk) (Ping timeout: 240 seconds)
2021-12-31 17:32:36 +0000jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 276 seconds)
2021-12-31 17:32:59 +0000Rum(~bourbon@user/rum) (Quit: WeeChat 3.4)
2021-12-31 17:33:14 +0000ncopa3(~ncopa@gbr2-dev1.alpinelinux.org) (Quit: Alpine Linux, the security-oriented, lightweight Linux distribution)
2021-12-31 17:35:12 +0000jpds(~jpds@gateway/tor-sasl/jpds)
2021-12-31 17:35:45 +0000ncopa3(~ncopa@gbr2-dev1.alpinelinux.org)
2021-12-31 17:37:41 +0000rk04(~rk04@user/rajk)
2021-12-31 17:38:36 +0000Sgeo(~Sgeo@user/sgeo)
2021-12-31 17:38:51 +0000spaceseller(~spacesell@31.147.205.13) (Quit: Leaving)
2021-12-31 17:39:15 +0000spaceseller(~spacesell@31.147.205.13)
2021-12-31 17:39:56 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2021-12-31 17:39:56 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2021-12-31 17:39:56 +0000wroathe(~wroathe@user/wroathe)
2021-12-31 17:40:57 +0000spaceseller(~spacesell@31.147.205.13) (Client Quit)
2021-12-31 17:41:57 +0000deadmarshal(~deadmarsh@95.38.228.254) (Ping timeout: 240 seconds)
2021-12-31 17:42:58 +0000deadmarshal(~deadmarsh@95.38.231.93)
2021-12-31 17:45:39 +0000deadmarshal(~deadmarsh@95.38.231.93) (Client Quit)
2021-12-31 17:46:56 +0000kotshie(~kotshie@68.72.208.140)
2021-12-31 17:47:00 +0000deadmarshal(~deadmarsh@95.38.231.93)
2021-12-31 17:47:01 +0000sprout(~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c) (Ping timeout: 250 seconds)
2021-12-31 17:50:05 +0000shriekingnoise(~shrieking@186.137.144.80)
2021-12-31 17:56:30 +0000vglfr(~vglfr@88.155.60.141)
2021-12-31 17:57:11 +0000hueso(~root@user/hueso) (Ping timeout: 250 seconds)
2021-12-31 17:58:30 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-31 17:58:56 +0000python476(~user@88.160.31.174)
2021-12-31 18:00:07 +0000CiaoSen(~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2021-12-31 18:00:15 +0000Akiva(~Akiva@user/Akiva)
2021-12-31 18:00:50 +0000euandreh(~euandreh@2804:14c:33:9fe5:203e:45d6:8d1a:1058) (Ping timeout: 260 seconds)
2021-12-31 18:01:54 +0000burnsidesLlama(~burnsides@dhcp168-010.wadham.ox.ac.uk)
2021-12-31 18:01:59 +0000hueso(~root@user/hueso)
2021-12-31 18:02:10 +0000nhatanh02(~satori@123.24.172.30)
2021-12-31 18:02:40 +0000euandreh(~euandreh@2804:14c:33:9fe5:d365:2d3d:255:f608)
2021-12-31 18:05:34 +0000otherwise(~otherwise@2601:602:880:90f0:3dd5:180e:6592:f2a)
2021-12-31 18:09:37 +0000otherwise(~otherwise@2601:602:880:90f0:3dd5:180e:6592:f2a) (Ping timeout: 240 seconds)
2021-12-31 18:09:53 +0000SummerSonw(~The_viole@203.77.49.232) (Ping timeout: 256 seconds)
2021-12-31 18:10:40 +0000rk04(~rk04@user/rajk) (Quit: rk04)
2021-12-31 18:11:12 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-12-31 18:11:22 +0000tfeb(~tfb@88.98.95.237)
2021-12-31 18:12:29 +0000coolnickname(uid531864@user/coolnickname) (Quit: Connection closed for inactivity)
2021-12-31 18:15:34 +0000otherwise(~otherwise@2601:602:880:90f0:714a:54cb:ba:a18a)
2021-12-31 18:15:50 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2021-12-31 18:16:17 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2021-12-31 18:20:05 +0000TonyStone(~TonyStone@2603-7080-8607-c36a-9cdb-69bc-753b-1e50.res6.spectrum.com)
2021-12-31 18:21:47 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-12-31 18:22:08 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-12-31 18:23:02 +0000dyeplexer(~dyeplexer@user/dyeplexer) (Ping timeout: 240 seconds)
2021-12-31 18:24:52 +0000tfeb(~tfb@88.98.95.237) (Quit: died)
2021-12-31 18:26:51 +0000otherwise(~otherwise@2601:602:880:90f0:714a:54cb:ba:a18a) (Remote host closed the connection)
2021-12-31 18:27:03 +0000otherwise(~otherwise@2601:602:880:90f0:714a:54cb:ba:a18a)
2021-12-31 18:28:30 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2021-12-31 18:28:30 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2021-12-31 18:28:30 +0000wroathe(~wroathe@user/wroathe)
2021-12-31 18:31:52 +0000tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-12-31 18:33:04 +0000tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-12-31 18:33:26 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 252 seconds)
2021-12-31 18:34:16 +0000thevishy(~Nishant@2405:201:f005:c007:bc65:cf77:420d:9a2d) (Quit: Leaving)
2021-12-31 18:35:22 +0000mrmr(~mrmr@user/mrmr)
2021-12-31 18:39:00 +0000fef(~thedawn@user/thedawn) (Quit: Leaving)
2021-12-31 18:49:35 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-31 18:52:24 +0000 <johnw> merijn: congrats, merijn!!
2021-12-31 18:54:05 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-12-31 18:58:58 +0000Midjak(~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Quit: This computer has gone to sleep)
2021-12-31 19:01:28 +0000Jing(~hedgehog@2604:a840:3::1013) (Ping timeout: 268 seconds)
2021-12-31 19:01:35 +0000lavaman(~lavaman@98.38.249.169)
2021-12-31 19:02:35 +0000Jing(~hedgehog@2604:a840:3::1013)
2021-12-31 19:02:46 +0000sprout(~quassel@2a02:a467:ccd6:1:9ce9:17f7:15aa:852c)
2021-12-31 19:03:43 +0000Jonno_FTW(~come@user/jonno-ftw/x-0835346) (Ping timeout: 256 seconds)
2021-12-31 19:05:23 +0000Jonno_FTW(~come@api.carswap.me)
2021-12-31 19:07:32 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2021-12-31 19:07:32 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2021-12-31 19:07:32 +0000wroathe(~wroathe@user/wroathe)
2021-12-31 19:16:23 +0000mastarija(~mastarija@2a05:4f46:e0e:5000:bc70:8f18:1f10:57e1)
2021-12-31 19:19:09 +0000gehmehgeh_gehmehgeh
2021-12-31 19:21:49 +0000n3rdy1(~n3rdy1@2600:1700:4570:3480:1b88:50f:dae0:9293) (Ping timeout: 268 seconds)
2021-12-31 19:32:46 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 260 seconds)
2021-12-31 19:34:16 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2021-12-31 19:34:16 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2021-12-31 19:34:16 +0000wroathe(~wroathe@user/wroathe)
2021-12-31 19:37:19 +0000gaff(~gaff@49.207.226.100) (Remote host closed the connection)
2021-12-31 19:44:39 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 250 seconds)
2021-12-31 19:46:53 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-31 19:53:33 +0000nhatanh02(~satori@123.24.172.30) (Ping timeout: 250 seconds)
2021-12-31 19:56:14 +0000tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-12-31 19:58:24 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2021-12-31 19:58:24 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2021-12-31 19:58:24 +0000wroathe(~wroathe@user/wroathe)
2021-12-31 19:59:15 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 256 seconds)
2021-12-31 20:02:12 +0000max22-(~maxime@2a01cb0883359800b6fd2f8b2e65f4a2.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
2021-12-31 20:02:29 +0000max22-(~maxime@2a01cb08833598009f552a1a4c024a76.ipv6.abo.wanadoo.fr)
2021-12-31 20:04:23 +0000lavaman(~lavaman@98.38.249.169) (Ping timeout: 268 seconds)
2021-12-31 20:05:29 +0000juhp(~juhp@128.106.188.82) (Ping timeout: 256 seconds)
2021-12-31 20:06:09 +0000max22-(~maxime@2a01cb08833598009f552a1a4c024a76.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
2021-12-31 20:06:22 +0000max22-(~maxime@2a01cb0883359800172ac8059268b28d.ipv6.abo.wanadoo.fr)
2021-12-31 20:06:46 +0000juhp(~juhp@128.106.188.82)
2021-12-31 20:10:35 +0000epolanski(uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2021-12-31 20:12:23 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 268 seconds)
2021-12-31 20:21:21 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-12-31 20:22:42 +0000notzmv(~zmv@user/notzmv) (Ping timeout: 260 seconds)
2021-12-31 20:23:40 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2021-12-31 20:23:40 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2021-12-31 20:23:40 +0000wroathe(~wroathe@user/wroathe)
2021-12-31 20:27:23 +0000whatsupdoc(uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2021-12-31 20:28:57 +0000aman(~aman@user/aman) (Quit: aman)
2021-12-31 20:30:23 +0000max22-(~maxime@2a01cb0883359800172ac8059268b28d.ipv6.abo.wanadoo.fr) (Ping timeout: 250 seconds)
2021-12-31 20:30:29 +0000jtomas(~jtomas@153.red-83-53-252.dynamicip.rima-tde.net) (Remote host closed the connection)
2021-12-31 20:30:47 +0000jtomas(~jtomas@153.red-83-53-252.dynamicip.rima-tde.net)
2021-12-31 20:32:07 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2021-12-31 20:41:57 +0000retro_(~retro@05412d78.skybroadband.com)
2021-12-31 20:43:48 +0000Erutuon(~Erutuon@user/erutuon)
2021-12-31 20:45:41 +0000retroid_(~retro@05412d78.skybroadband.com) (Ping timeout: 268 seconds)
2021-12-31 20:47:46 +0000coot(~coot@89-64-85-93.dynamic.chello.pl)
2021-12-31 20:50:29 +0000antanananananas(~textual@78-63-84-180.static.zebra.lt)
2021-12-31 20:57:22 +0000 <otherwise> Why when I load Main.hs in GHCi, and I type :browse I do not see the functions that I've defined in the module that Main.hs is importing?
2021-12-31 20:57:49 +0000 <otherwise> However when I load the module directly in GHCi, :browse shows the functions
2021-12-31 20:58:27 +0000 <geekosaur> :browse shows only the current module, which for Main.hs will be module Main
2021-12-31 20:58:40 +0000 <geekosaur> if you import it in ghci then you can use :browse on it
2021-12-31 20:59:07 +0000 <geekosaur> https://downloads.haskell.org/ghc/latest/docs/html/users_guide/ghci.html#ghci-cmd-:browse
2021-12-31 21:00:42 +0000 <geekosaur> :browse limits itslef to a single module just to make things more manageable
2021-12-31 21:04:17 +0000 <otherwise> I see. I was able to :browse folder/fileName while having Main loaded, and this worked. Thanks!
2021-12-31 21:06:24 +0000acidjnk_new(~acidjnk@p200300d0c7271e281077e1a745617169.dip0.t-ipconnect.de)
2021-12-31 21:06:25 +0000acidjnk(~acidjnk@p200300d0c7271e281077e1a745617169.dip0.t-ipconnect.de)
2021-12-31 21:07:45 +0000perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4)
2021-12-31 21:08:51 +0000perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2021-12-31 21:16:28 +0000cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Quit: ERC (IRC client for Emacs 27.1))
2021-12-31 21:17:57 +0000jespada(~jespada@87.74.33.157) (Ping timeout: 240 seconds)
2021-12-31 21:19:45 +0000jespada(~jespada@87.74.33.157)
2021-12-31 21:26:37 +0000Techcable(~Techcable@168.235.93.147) (Ping timeout: 240 seconds)
2021-12-31 21:30:46 +0000zincy_(~zincy@host86-151-99-97.range86-151.btcentralplus.com)
2021-12-31 21:38:21 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2021-12-31 21:41:34 +0000________________(~textual@node-1w7jr9qkwjp05lc932j6d6xa7.ipv6.telus.net)
2021-12-31 21:47:21 +0000 <________________> is it possible to combine data type as follows,
2021-12-31 21:47:54 +0000 <________________> ```
2021-12-31 21:47:55 +0000 <________________> data F = A | B
2021-12-31 21:47:55 +0000 <________________> data G = C | D
2021-12-31 21:47:55 +0000 <________________> data H = F | H
2021-12-31 21:47:55 +0000 <________________> ```
2021-12-31 21:47:57 +0000euandreh(~euandreh@2804:14c:33:9fe5:d365:2d3d:255:f608) (Ping timeout: 250 seconds)
2021-12-31 21:48:34 +0000 <geekosaur> that doesn't mean what you think/hope
2021-12-31 21:48:36 +0000 <________________> i meant `data H = F | G`
2021-12-31 21:49:06 +0000 <geekosaur> on the left of the = is a type constructor; on the right are data constructors, which live in a different namespace
2021-12-31 21:49:38 +0000 <geekosaur> meaning the F and G in `data H` there are not the same as the earlier `data F`/`data G`
2021-12-31 21:50:01 +0000 <EvanR> type F = Either A B -- is possible
2021-12-31 21:50:06 +0000 <EvanR> type G = Either C D
2021-12-31 21:50:15 +0000 <________________> so i'd have to wrap them in another data constructor?
2021-12-31 21:50:18 +0000 <________________> i see
2021-12-31 21:50:24 +0000 <________________> that makes sense, ty!
2021-12-31 21:50:35 +0000 <EvanR> that makes type synonyms and not new types
2021-12-31 21:50:47 +0000 <geekosaur> data H = SomeF F | SomeG G
2021-12-31 21:51:19 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2021-12-31 21:51:19 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2021-12-31 21:51:19 +0000wroathe(~wroathe@user/wroathe)
2021-12-31 21:51:20 +0000 <EvanR> we don't have anonymous sums
2021-12-31 21:51:22 +0000tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-12-31 21:51:51 +0000mvk(~mvk@2607:fea8:5cdd:f000::917a)
2021-12-31 21:51:57 +0000 <EvanR> though I now realize you didn't ask for any
2021-12-31 21:52:02 +0000 <geekosaur> I think 9.2 does?
2021-12-31 21:52:18 +0000 <EvanR> orly
2021-12-31 21:54:15 +0000 <geekosaur> https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/primitives.html?highlight=anon…
2021-12-31 21:54:29 +0000 <geekosaur> unboxed and anonymous
2021-12-31 21:54:44 +0000 <geekosaur> *lifted* anonymous sums still aren't a thing
2021-12-31 21:56:53 +0000johnw(~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) (Quit: ZNC - http://znc.in)
2021-12-31 21:57:54 +0000tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-12-31 22:00:36 +0000Techcable(~Techcable@168.235.93.147)
2021-12-31 22:01:51 +0000Techcable(~Techcable@168.235.93.147) (Remote host closed the connection)
2021-12-31 22:02:28 +0000zincy_(~zincy@host86-151-99-97.range86-151.btcentralplus.com) (Remote host closed the connection)
2021-12-31 22:02:57 +0000Techcable(~Techcable@168.235.93.147)
2021-12-31 22:03:21 +0000kaph_(~kaph@net-2-38-107-19.cust.vodafonedsl.it) (Ping timeout: 256 seconds)
2021-12-31 22:04:46 +0000 <EvanR> is it still possible to define (<*>) in terms of (>>=) using ap
2021-12-31 22:04:51 +0000Techcable(~Techcable@168.235.93.147) (Client Quit)
2021-12-31 22:05:46 +0000 <EvanR> Ok I did it but now there's a Monad constraint on my Applicative instance
2021-12-31 22:05:57 +0000Techcable(~Techcable@168.235.93.147)
2021-12-31 22:07:45 +0000 <EvanR> oof nvm
2021-12-31 22:07:56 +0000 <geekosaur> yes, that's generally used to backform an Applicative instance from a pre-AMP Monad
2021-12-31 22:08:18 +0000tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-12-31 22:08:50 +0000Techcable(~Techcable@168.235.93.147) (Client Quit)
2021-12-31 22:09:05 +0000Techcable(~Techcable@168.235.93.147)
2021-12-31 22:10:52 +0000 <hpc> EvanR: didn't feel like writing it yourself? :D
2021-12-31 22:10:57 +0000Erutuon(~Erutuon@user/erutuon) (Ping timeout: 240 seconds)
2021-12-31 22:11:27 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 276 seconds)
2021-12-31 22:11:35 +0000 <EvanR> I spent like 2 hours writing FreeT myself
2021-12-31 22:11:41 +0000 <EvanR> and ragequit
2021-12-31 22:11:58 +0000 <EvanR> my consolation prize was having to write Applicative instances xD
2021-12-31 22:13:21 +0000tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-12-31 22:17:29 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-31 22:19:53 +0000Jing(~hedgehog@2604:a840:3::1013) (Remote host closed the connection)
2021-12-31 22:22:24 +0000Everything(~Everythin@178-133-112-180.mobile.vf-ua.net) ()
2021-12-31 22:23:41 +0000Jing(~hedgehog@2604:a840:3::1013)
2021-12-31 22:24:36 +0000euouae(~euouae@user/euouae)
2021-12-31 22:24:53 +0000 <euouae> Hello I am reading the monad laws on https://en.wikibooks.org/wiki/Haskell/Category_theory#The_monad_laws_and_their_importance and comparing them to their categorical definiton https://en.wikipedia.org/wiki/Monad_(category_theory)#Formal_definition
2021-12-31 22:26:01 +0000zer0bitz(~zer0bitz@196.244.192.54) (Ping timeout: 256 seconds)
2021-12-31 22:26:11 +0000 <euouae> In the wikibook link, there are 4 axioms to be obeyed, a total of 6 equations but in the categorical definition there's only 4 equations I can see (which would be the 1. and 2. from the wikibook)
2021-12-31 22:26:27 +0000max22-(~maxime@2a01cb0883359800912ec9454e10c944.ipv6.abo.wanadoo.fr)
2021-12-31 22:26:37 +0000 <euouae> so where does unit o f = M(f) o unit come from, for example?
2021-12-31 22:27:34 +0000kupi(uid212005@id-212005.hampstead.irccloud.com)
2021-12-31 22:30:22 +0000euandreh(~euandreh@2804:14c:33:9fe5:d903:d876:1354:7b4c)
2021-12-31 22:31:07 +0000 <geekosaur> a CT monad is more general than a Haskell Monad, which is more correctly the CT monad as specialized to the notional category Hask of Haskell types
2021-12-31 22:31:37 +0000 <geekosaur> so some of the additional laws come from the definition of Hask
2021-12-31 22:31:45 +0000justsomeguy(~justsomeg@user/justsomeguy)
2021-12-31 22:31:57 +0000 <EvanR> those 4 laws are screaming to be rendered as commutative diagrams instead
2021-12-31 22:32:03 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-12-31 22:32:48 +0000notzmv(~zmv@user/notzmv)
2021-12-31 22:33:02 +0000deadmarshal(~deadmarsh@95.38.231.93) (Ping timeout: 240 seconds)
2021-12-31 22:34:40 +0000 <euouae> geekosaur thank you, that makes sense; the `functor` definition also has haskell laws that in CT are not stated as commutative diagrams, so that makes sense.
2021-12-31 22:34:54 +0000 <EvanR> see note 2 at the bottom
2021-12-31 22:35:02 +0000 <euouae> the laws in the wikibook are also a bit tricky because they use polymorphism
2021-12-31 22:35:10 +0000 <euouae> (It's tricky to compare them to the CT definition)
2021-12-31 22:35:31 +0000 <EvanR> CT has even more polymorphism, it's just implicit
2021-12-31 22:35:34 +0000 <euouae> EvanR ah yeah, thank you
2021-12-31 22:36:00 +0000 <geekosaur> partof that is you can go across categories with both, iirc. but Functor and Monad in Haskell are restricted to Hask, and some of the extra laws express that restriction
2021-12-31 22:36:20 +0000 <geekosaur> there are more general ones in Control.Category
2021-12-31 22:36:53 +0000 <geekosaur> (but I am no CT expert so I may be wrong about some or all of that)
2021-12-31 22:37:24 +0000 <geekosaur> I just know actual CT is much more flexible than what Haskell normally does with them
2021-12-31 22:39:03 +0000Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
2021-12-31 22:40:13 +0000 <EvanR> is haskell still broken on Arch Linux or what do I tell people who want to try haskell and are on arch
2021-12-31 22:40:34 +0000 <EvanR> does ghcup just work regardless
2021-12-31 22:40:54 +0000 <glguy> Is GHC 9.0.2 missing from ghcup because it's not ready or just because it takes a little time to get things updated?
2021-12-31 22:41:18 +0000otherwise(~otherwise@2601:602:880:90f0:714a:54cb:ba:a18a) (Remote host closed the connection)
2021-12-31 22:41:27 +0000 <geekosaur> I haven't seen maerwald around since it was released… which, recall, was on Christmas
2021-12-31 22:41:48 +0000 <geekosaur> expect it'll show up after the holidays
2021-12-31 22:41:49 +0000 <glguy> I saw him chatting yesterday
2021-12-31 22:41:54 +0000 <glguy> OK, cool
2021-12-31 22:42:12 +0000kaph(~kaph@net-2-38-107-19.cust.vodafonedsl.it)
2021-12-31 22:42:19 +0000bitmapper(uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2021-12-31 22:43:37 +0000jtomas(~jtomas@153.red-83-53-252.dynamicip.rima-tde.net) (Ping timeout: 240 seconds)
2021-12-31 22:45:51 +0000gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2021-12-31 22:49:20 +0000tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-12-31 22:52:06 +0000merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-12-31 22:56:25 +0000allbery_b(~geekosaur@xmonad/geekosaur)
2021-12-31 22:56:25 +0000geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-12-31 22:56:30 +0000allbery_bgeekosaur
2021-12-31 22:57:34 +0000Codaraxis__(~Codaraxis@user/codaraxis) (Quit: Leaving)
2021-12-31 22:58:01 +0000euouae(~euouae@user/euouae) (Quit: time to upgrade)
2021-12-31 23:04:02 +0000juri_(~juri@178.63.35.222) (Ping timeout: 240 seconds)
2021-12-31 23:07:37 +0000coot(~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot)
2021-12-31 23:08:26 +0000kotshie_(~kotshie@68.72.208.140)
2021-12-31 23:08:37 +0000res0nat0r0(~Fletch@dia.whatbox.ca)
2021-12-31 23:08:50 +0000iteratee_(~kyle@162.218.222.107)
2021-12-31 23:08:51 +0000wroathe_(~wroathe@206-55-188-8.fttp.usinternet.com)
2021-12-31 23:08:55 +0000drdo8(~drdo@144.172.69.89)
2021-12-31 23:08:56 +0000mcglk_(~mcglk@131.191.49.120)
2021-12-31 23:09:56 +0000jrm2(~jrm@156.34.249.199)
2021-12-31 23:10:11 +0000zero(~z@user/zero)
2021-12-31 23:10:15 +0000Digitteknohippie(~user@user/digit)
2021-12-31 23:10:25 +0000hexeme(~hexeme@user/hexeme)
2021-12-31 23:10:40 +0000hgolden_(~hgolden2@cpe-172-114-81-123.socal.res.rr.com)
2021-12-31 23:11:12 +0000psudosphere(~quassel@31.220.5.250)
2021-12-31 23:11:17 +0000turlando_(~turlando@93-42-250-112.ip89.fastwebnet.it)
2021-12-31 23:11:48 +0000ianon(~igloo@c-68-83-22-43.hsd1.nj.comcast.net)
2021-12-31 23:11:50 +0000ianon(~igloo@c-68-83-22-43.hsd1.nj.comcast.net) (Client Quit)
2021-12-31 23:12:01 +0000eco_(~ubuntu@ec2-54-201-230-197.us-west-2.compute.amazonaws.com)
2021-12-31 23:12:05 +0000werneta_(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-12-31 23:12:10 +0000opqdonut_(opqdonut@pseudo.fixme.fi)
2021-12-31 23:12:11 +0000qwedfg(~qwedfg@user/qwedfg)
2021-12-31 23:12:12 +0000bliminse_(~bliminse@host86-186-17-7.range86-186.btcentralplus.com)
2021-12-31 23:12:31 +0000Maxdaman1us(~Maxdamant@user/maxdamantus)
2021-12-31 23:12:42 +0000exarkun_(~exarkun@user/exarkun)
2021-12-31 23:12:42 +0000ezzieygu1wuf(~Unknown@user/ezzieyguywuf)
2021-12-31 23:12:43 +0000xdej_(~xdej@quatramaran.salle-s.org)
2021-12-31 23:12:48 +0000Hawker_(~pi@user/hawker)
2021-12-31 23:12:53 +0000WzC(~Frank@77-162-168-71.fixed.kpn.net)
2021-12-31 23:12:55 +0000xff0x_(~xff0x@2001:1a81:52ba:da00:768d:77e:35d:d86a)
2021-12-31 23:13:00 +0000w1gz_(~do@159.89.11.133)
2021-12-31 23:13:25 +0000mstksg(~jle`@cpe-23-240-75-236.socal.res.rr.com)
2021-12-31 23:14:16 +0000lechner_(~lechner@debian/lechner)
2021-12-31 23:14:47 +0000fjmorazan_(~quassel@user/fjmorazan)
2021-12-31 23:15:33 +0000infinity0_(~infinity0@occupy.ecodis.net)
2021-12-31 23:15:37 +0000infinity0(~infinity0@occupy.ecodis.net) (Killed (calcium.libera.chat (Nickname regained by services)))
2021-12-31 23:15:37 +0000infinity0_infinity0
2021-12-31 23:16:01 +0000otherwise(~otherwise@2601:602:880:90f0:45d:4609:aef0:450a)
2021-12-31 23:16:04 +0000dka_(~code-is-a@ns3059207.ip-193-70-33.eu)
2021-12-31 23:16:10 +0000cyphase_eviltwin(~cyphase@user/cyphase)
2021-12-31 23:17:28 +0000wroathe(~wroathe@user/wroathe) (*.net *.split)
2021-12-31 23:17:28 +0000perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (*.net *.split)
2021-12-31 23:17:28 +0000juhp(~juhp@128.106.188.82) (*.net *.split)
2021-12-31 23:17:28 +0000antanananananas(~textual@78-63-84-180.static.zebra.lt) (*.net *.split)
2021-12-31 23:17:28 +0000tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (*.net *.split)
2021-12-31 23:17:28 +0000Akiva(~Akiva@user/Akiva) (*.net *.split)
2021-12-31 23:17:28 +0000python476(~user@88.160.31.174) (*.net *.split)
2021-12-31 23:17:28 +0000vglfr(~vglfr@88.155.60.141) (*.net *.split)
2021-12-31 23:17:28 +0000kotshie(~kotshie@68.72.208.140) (*.net *.split)
2021-12-31 23:17:28 +0000cyphase(~cyphase@user/cyphase) (*.net *.split)
2021-12-31 23:17:28 +0000slowButPresent(~slowButPr@user/slowbutpresent) (*.net *.split)
2021-12-31 23:17:28 +0000Tuplanolla(~Tuplanoll@91-159-69-90.elisa-laajakaista.fi) (*.net *.split)
2021-12-31 23:17:28 +0000drdo(~drdo@144.172.69.89) (*.net *.split)
2021-12-31 23:17:28 +0000xff0x(~xff0x@port-92-195-29-230.dynamic.as20676.net) (*.net *.split)
2021-12-31 23:17:28 +0000zmt00(~zmt00@user/zmt00) (*.net *.split)
2021-12-31 23:17:28 +0000cheater(~Username@user/cheater) (*.net *.split)
2021-12-31 23:17:28 +0000ezzieyguywuf(~Unknown@user/ezzieyguywuf) (*.net *.split)
2021-12-31 23:17:28 +0000werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (*.net *.split)
2021-12-31 23:17:28 +0000tomku(~tomku@user/tomku) (*.net *.split)
2021-12-31 23:17:28 +0000kmein(~weechat@user/kmein) (*.net *.split)
2021-12-31 23:17:28 +0000foul_owl(~kerry@94.140.8.106) (*.net *.split)
2021-12-31 23:17:28 +0000hyiltiz(~quassel@31.220.5.250) (*.net *.split)
2021-12-31 23:17:28 +0000x88x88x(~x88x88x@149.28.53.172) (*.net *.split)
2021-12-31 23:17:28 +0000fjmorazan(~quassel@user/fjmorazan) (*.net *.split)
2021-12-31 23:17:28 +0000AlexZenon(~alzenon@94.233.241.181) (*.net *.split)
2021-12-31 23:17:28 +0000qwedfg_(~qwedfg@user/qwedfg) (*.net *.split)
2021-12-31 23:17:28 +0000jle`(~jle`@cpe-23-240-75-236.socal.res.rr.com) (*.net *.split)
2021-12-31 23:17:28 +0000bliminse(~bliminse@host86-186-17-7.range86-186.btcentralplus.com) (*.net *.split)
2021-12-31 23:17:28 +0000obfusk(~quassel@a82-161-150-56.adsl.xs4all.nl) (*.net *.split)
2021-12-31 23:17:28 +0000turlando(~turlando@user/turlando) (*.net *.split)
2021-12-31 23:17:28 +0000xlei(~akans@pool-68-129-84-118.nycmny.fios.verizon.net) (*.net *.split)
2021-12-31 23:17:28 +0000sim590(~simon@modemcable090.207-203-24.mc.videotron.ca) (*.net *.split)
2021-12-31 23:17:28 +0000Digit(~user@user/digit) (*.net *.split)
2021-12-31 23:17:28 +0000Inoperable(~PLAYER_1@fancydata.science) (*.net *.split)
2021-12-31 23:17:28 +0000lechner(~lechner@debian/lechner) (*.net *.split)
2021-12-31 23:17:28 +0000L29Ah(~L29Ah@wikipedia/L29Ah) (*.net *.split)
2021-12-31 23:17:28 +0000dka(~code-is-a@ns3059207.ip-193-70-33.eu) (*.net *.split)
2021-12-31 23:17:28 +0000lambdabot(~lambdabot@haskell/bot/lambdabot) (*.net *.split)
2021-12-31 23:17:28 +0000dextaa(~DV@user/dextaa) (*.net *.split)
2021-12-31 23:17:28 +0000mcglk(~mcglk@131.191.49.120) (*.net *.split)
2021-12-31 23:17:28 +0000Maxdamantus(~Maxdamant@user/maxdamantus) (*.net *.split)
2021-12-31 23:17:28 +0000lambdap(~lambdap@static.167.190.119.168.clients.your-server.de) (*.net *.split)
2021-12-31 23:17:28 +0000finsternis(~X@23.226.237.192) (*.net *.split)
2021-12-31 23:17:28 +0000iteratee(~kyle@162.218.222.107) (*.net *.split)
2021-12-31 23:17:28 +0000Noinia(~Frank@77-162-168-71.fixed.kpn.net) (*.net *.split)
2021-12-31 23:17:28 +0000adamCS(~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (*.net *.split)
2021-12-31 23:17:28 +0000dtman34(~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) (*.net *.split)
2021-12-31 23:17:28 +0000hgolden(~hgolden2@cpe-172-114-81-123.socal.res.rr.com) (*.net *.split)
2021-12-31 23:17:28 +0000zzz(~z@user/zero) (*.net *.split)
2021-12-31 23:17:28 +0000acowley(~acowley@c-68-83-22-43.hsd1.nj.comcast.net) (*.net *.split)
2021-12-31 23:17:28 +0000rookie101(~rookie@165.232.121.13) (*.net *.split)
2021-12-31 23:17:28 +0000w1gz(~do@159.89.11.133) (*.net *.split)
2021-12-31 23:17:28 +0000Hawker(~pi@user/hawker) (*.net *.split)
2021-12-31 23:17:28 +0000int-e(~noone@int-e.eu) (*.net *.split)
2021-12-31 23:17:28 +0000Taneb(~Taneb@runciman.hacksoc.org) (*.net *.split)
2021-12-31 23:17:28 +0000exarkun(~exarkun@user/exarkun) (*.net *.split)
2021-12-31 23:17:28 +0000jrm(~jrm@156.34.249.199) (*.net *.split)
2021-12-31 23:17:28 +0000maerwald(~maerwald@mail.hasufell.de) (*.net *.split)
2021-12-31 23:17:28 +0000wz1000(~zubin@static.11.113.47.78.clients.your-server.de) (*.net *.split)
2021-12-31 23:17:29 +0000opqdonut(~opqdonut@91.105.251.154) (*.net *.split)
2021-12-31 23:17:29 +0000Typedfern(~Typedfern@75.red-88-22-25.staticip.rima-tde.net) (*.net *.split)
2021-12-31 23:17:29 +0000res0nat0r(~Fletch@dia.whatbox.ca) (*.net *.split)
2021-12-31 23:17:29 +0000xdej(~xdej@quatramaran.salle-s.org) (*.net *.split)
2021-12-31 23:17:29 +0000eco(~ubuntu@ec2-54-201-230-197.us-west-2.compute.amazonaws.com) (*.net *.split)
2021-12-31 23:17:29 +0000ldlework(~hexeme@user/hexeme) (*.net *.split)
2021-12-31 23:17:29 +0000joeyh(~joeyh@kitenet.net) (*.net *.split)
2021-12-31 23:17:29 +0000Clint(~Clint@user/clint) (*.net *.split)
2021-12-31 23:17:29 +0000canta(~canta@user/canta) (*.net *.split)
2021-12-31 23:17:29 +0000drewolson(~drewolson@user/drewolson) (*.net *.split)
2021-12-31 23:17:29 +0000PigDude(~PigDude@159.203.16.199) (*.net *.split)
2021-12-31 23:17:29 +0000hrdl(~hrdl@mail.hrdl.eu) (*.net *.split)
2021-12-31 23:17:29 +0000niko(~niko@libera/staff/niko) (*.net *.split)
2021-12-31 23:17:29 +0000nisstyre(~wes@user/nisstyre) (*.net *.split)
2021-12-31 23:17:29 +0000jrm2jrm
2021-12-31 23:17:34 +0000drdo8drdo
2021-12-31 23:17:39 +0000adamCS(~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com)
2021-12-31 23:18:41 +0000In0perable(~PLAYER_1@fancydata.science)
2021-12-31 23:20:17 +0000otherwise(~otherwise@2601:602:880:90f0:45d:4609:aef0:450a) (Ping timeout: 240 seconds)
2021-12-31 23:20:25 +0000AlexZenon(~alzenon@94.233.241.181)
2021-12-31 23:20:25 +0000finsternis(~X@23.226.237.192)
2021-12-31 23:20:25 +0000tomku(~tomku@user/tomku)
2021-12-31 23:20:25 +0000perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2021-12-31 23:20:25 +0000tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-12-31 23:20:25 +0000python476(~user@88.160.31.174)
2021-12-31 23:20:25 +0000vglfr(~vglfr@88.155.60.141)
2021-12-31 23:20:25 +0000slowButPresent(~slowButPr@user/slowbutpresent)
2021-12-31 23:20:25 +0000zmt00(~zmt00@user/zmt00)
2021-12-31 23:20:25 +0000cheater(~Username@user/cheater)
2021-12-31 23:20:25 +0000kmein(~weechat@user/kmein)
2021-12-31 23:20:25 +0000foul_owl(~kerry@94.140.8.106)
2021-12-31 23:20:25 +0000x88x88x(~x88x88x@149.28.53.172)
2021-12-31 23:20:25 +0000obfusk(~quassel@a82-161-150-56.adsl.xs4all.nl)
2021-12-31 23:20:25 +0000xlei(~akans@pool-68-129-84-118.nycmny.fios.verizon.net)
2021-12-31 23:20:25 +0000sim590(~simon@modemcable090.207-203-24.mc.videotron.ca)
2021-12-31 23:20:25 +0000lambdabot(~lambdabot@haskell/bot/lambdabot)
2021-12-31 23:20:25 +0000dextaa(~DV@user/dextaa)
2021-12-31 23:20:25 +0000lambdap(~lambdap@static.167.190.119.168.clients.your-server.de)
2021-12-31 23:20:25 +0000dtman34(~dtman34@c-73-62-246-247.hsd1.mn.comcast.net)
2021-12-31 23:20:25 +0000acowley(~acowley@c-68-83-22-43.hsd1.nj.comcast.net)
2021-12-31 23:20:25 +0000int-e(~noone@int-e.eu)
2021-12-31 23:20:25 +0000Taneb(~Taneb@runciman.hacksoc.org)
2021-12-31 23:20:25 +0000maerwald(~maerwald@mail.hasufell.de)
2021-12-31 23:20:25 +0000wz1000(~zubin@static.11.113.47.78.clients.your-server.de)
2021-12-31 23:20:25 +0000Typedfern(~Typedfern@75.red-88-22-25.staticip.rima-tde.net)
2021-12-31 23:20:25 +0000joeyh(~joeyh@kitenet.net)
2021-12-31 23:20:25 +0000Clint(~Clint@user/clint)
2021-12-31 23:20:25 +0000canta(~canta@user/canta)
2021-12-31 23:20:25 +0000drewolson(~drewolson@user/drewolson)
2021-12-31 23:20:25 +0000PigDude(~PigDude@159.203.16.199)
2021-12-31 23:20:25 +0000hrdl(~hrdl@mail.hrdl.eu)
2021-12-31 23:20:25 +0000niko(~niko@libera/staff/niko)
2021-12-31 23:20:25 +0000nisstyre(~wes@user/nisstyre)
2021-12-31 23:20:27 +0000finsternis(~X@23.226.237.192) (Max SendQ exceeded)
2021-12-31 23:20:44 +0000finsternis(~X@23.226.237.192)
2021-12-31 23:21:50 +0000ProfSimm(~ProfSimm@87.227.196.109)
2021-12-31 23:24:09 +0000rookie101(~rookie@165.232.121.13)
2021-12-31 23:24:52 +0000Tuplanolla(~Tuplanoll@91-159-69-90.elisa-laajakaista.fi)
2021-12-31 23:24:58 +0000Akiva(~Akiva@user/Akiva)
2021-12-31 23:25:02 +0000bollu_(uid233390@id-233390.helmsley.irccloud.com)
2021-12-31 23:25:59 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-12-31 23:26:06 +0000lavaman(~lavaman@98.38.249.169)
2021-12-31 23:26:12 +0000azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 276 seconds)
2021-12-31 23:31:35 +0000tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-12-31 23:31:36 +0000_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-12-31 23:35:16 +0000 <ProfSimm> What would be the functional expression of a relational database I wonder
2021-12-31 23:35:31 +0000 <ProfSimm> Also happy new year, and yes this is what I most care about right now
2021-12-31 23:40:18 +0000 <EvanR> http://blog.ezyang.com/2010/06/databases-are-categories/
2021-12-31 23:41:12 +0000zincy_(~zincy@host86-151-99-97.range86-151.btcentralplus.com)
2021-12-31 23:41:44 +0000 <hpc> no https :(
2021-12-31 23:42:31 +0000 <hpc> oh, relational algebra might also be good to read up on
2021-12-31 23:42:49 +0000otherwise(~otherwise@c-71-231-39-206.hsd1.wa.comcast.net)
2021-12-31 23:43:20 +0000 <hpc> then a query is a function (table -> table)
2021-12-31 23:43:24 +0000 <hpc> plus or minus joins
2021-12-31 23:43:33 +0000zincy_(~zincy@host86-151-99-97.range86-151.btcentralplus.com) (Remote host closed the connection)
2021-12-31 23:43:33 +0000 <EvanR> very relational https://free.cofree.io/2019/07/31/beautiful-bridges/
2021-12-31 23:43:48 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-12-31 23:43:51 +0000zincy_(~zincy@2a00:23c8:970c:4801:b868:7e50:825e:321f)
2021-12-31 23:44:12 +0000tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-12-31 23:44:36 +0000neurocyte0132889(~neurocyte@IP-045136168007.dynamic.medianet-world.de)
2021-12-31 23:44:36 +0000neurocyte0132889(~neurocyte@IP-045136168007.dynamic.medianet-world.de) (Changing host)
2021-12-31 23:44:36 +0000neurocyte0132889(~neurocyte@user/neurocyte)
2021-12-31 23:44:44 +0000acidjnk(~acidjnk@p200300d0c7271e281077e1a745617169.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2021-12-31 23:44:44 +0000acidjnk_new(~acidjnk@p200300d0c7271e281077e1a745617169.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2021-12-31 23:47:01 +0000Jing(~hedgehog@2604:a840:3::1013) (Remote host closed the connection)
2021-12-31 23:47:55 +0000Jing(~hedgehog@2604:a840:3::1013)
2021-12-31 23:48:23 +0000otherwise(~otherwise@c-71-231-39-206.hsd1.wa.comcast.net) ()
2021-12-31 23:48:48 +0000 <EvanR> >In fact, a database upgrade (schema and data), or in fact an arbitrary transition from one format to another, is merely a natural transformation!
2021-12-31 23:57:24 +0000 <ProfSimm> I dislike the separation of type and value. Can't we somehow combine both in one expression. So we could pass type parameters same as we pass normal parameters
2021-12-31 23:57:41 +0000 <geekosaur> that's coming soon
2021-12-31 23:57:52 +0000 <ProfSimm> Is it?
2021-12-31 23:58:05 +0000 <geekosaur> foo :: forall t -> Bar -> ...
2021-12-31 23:58:24 +0000 <ProfSimm> I mean, why even need the :: operator
2021-12-31 23:58:26 +0000 <geekosaur> there will be some limits because Haskell is still not a dependently typed language
2021-12-31 23:58:31 +0000 <ProfSimm> I wanna somehow remove the barrier
2021-12-31 23:58:39 +0000 <geekosaur> if that's what you are looking for, try Idris
2021-12-31 23:59:42 +0000 <geekosaur> you cannot "simply" remove the barrier, dependent Haskell is still somewhere in the far-ish future
2021-12-31 23:59:52 +0000 <geekosaur> Idris is as close as you can get currently