2021/12/17

2021-12-17 00:02:16 +0100chomwitt(~chomwitt@2a02:587:dc19:a500:12c3:7bff:fe6d:d374) (Remote host closed the connection)
2021-12-17 00:02:26 +0100 <geekosaur> yeh. or "why is this file missing?"
2021-12-17 00:02:56 +0100michalz(~michalz@185.246.204.104) (Remote host closed the connection)
2021-12-17 00:07:32 +0100sprout(~quassel@2a02:a467:ccd6:1:7c88:97e7:7c77:1c93) (Ping timeout: 240 seconds)
2021-12-17 00:08:10 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 00:08:27 +0100nighmi(~felix@55d4f4c1.access.ecotel.net)
2021-12-17 00:08:28 +0100 <Axman6> Sgeo_: implementing instance Monad Const is an interesting exercise
2021-12-17 00:10:35 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-12-17 00:13:16 +0100lavaman(~lavaman@98.38.249.169)
2021-12-17 00:15:16 +0100danso(~danso@23-233-111-52.cpe.pppoe.ca) (Quit: WeeChat 3.3)
2021-12-17 00:15:27 +0100smleaves stack.yaml alone, uses a custom hie.yaml to make hls use a different one, and adds local convenience aliases like
2021-12-17 00:15:27 +0100smalias stack810="stack --stack-yaml stack*8*10*.yaml"
2021-12-17 00:15:27 +0100smalias stack90="stack --stack-yaml stack*9*0*.yaml"
2021-12-17 00:15:39 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 256 seconds)
2021-12-17 00:16:10 +0100Vajb(~Vajb@2001:999:62:f3d1:4390:fbed:1f9b:9d03)
2021-12-17 00:20:09 +0100nighmi(~felix@55d4f4c1.access.ecotel.net) (Quit: WeeChat 3.3)
2021-12-17 00:21:18 +0100mason0(~bc8147f2@cerf.good1.com)
2021-12-17 00:25:40 +0100mmhat(~mmh@55d46fe9.access.ecotel.net) (Quit: WeeChat 3.3)
2021-12-17 00:26:17 +0100alx741(~alx741@157.100.93.160)
2021-12-17 00:28:15 +0100max22-(~maxime@2a01cb0883359800e979b10b27a72e14.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
2021-12-17 00:29:31 +0100 <janus> sm: what's the rationale for the wildcard if you only support one minor release per major version?
2021-12-17 00:29:32 +0100Vajb(~Vajb@2001:999:62:f3d1:4390:fbed:1f9b:9d03) (Read error: Connection reset by peer)
2021-12-17 00:29:59 +0100 <sm> janus: just to adapt to the filename conventions in different projects
2021-12-17 00:30:17 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2021-12-17 00:30:23 +0100burnsidesLlama(~burnsides@dhcp168-016.wadham.ox.ac.uk) (Remote host closed the connection)
2021-12-17 00:33:42 +0100TranquilEcho(~grom@user/tranquilecho)
2021-12-17 00:34:22 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 00:34:50 +0100son0p(~ff@2800:484:1d81:b700:d40b:900:b387:320) (Ping timeout: 260 seconds)
2021-12-17 00:37:36 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-17 00:39:31 +0100kranius(~kranius@222.186.245.213.rev.sfr.net) (Ping timeout: 245 seconds)
2021-12-17 00:39:55 +0100sprout(~quassel@2a02:a467:ccd6:1:7c88:97e7:7c77:1c93)
2021-12-17 00:42:32 +0100jgeerds(~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 240 seconds)
2021-12-17 00:43:57 +0100bontaq(~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-12-17 00:46:17 +0100sprout(~quassel@2a02:a467:ccd6:1:7c88:97e7:7c77:1c93) (Ping timeout: 240 seconds)
2021-12-17 00:47:01 +0100Jing(~hedgehog@2604:a840:3::103e) (Remote host closed the connection)
2021-12-17 00:47:41 +0100Jing(~hedgehog@2604:a840:3::103e)
2021-12-17 00:47:49 +0100machinedgod(~machinedg@24.105.81.50)
2021-12-17 00:52:17 +0100 <hololeap> mapFunction :: (Bounded k, Enum k, Ord k) => Map k v -> Maybe (k -> v)
2021-12-17 00:52:41 +0100alx741(~alx741@157.100.93.160)
2021-12-17 00:52:44 +0100justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.3)
2021-12-17 00:53:02 +0100 <Axman6> returns Nothing if any k isn't present?
2021-12-17 00:53:31 +0100 <hololeap> this is supposed to create a function from k to v, only if all the keys ([minBound..maxBound]) are present, but I can't think of how to implement it
2021-12-17 00:53:40 +0100 <Axman6> this feels like such a scala thing to do, IIRC Maps are PartialFunctions
2021-12-17 00:55:07 +0100 <Axman6> hololeap: it feels like using memo-trie could help a lot
2021-12-17 00:55:53 +0100Akiva(~Akiva@user/Akiva) (Ping timeout: 256 seconds)
2021-12-17 00:55:55 +0100 <hololeap> the idea is that you're searching a problem space and building up this map as you go, and once you have it completed, you can get a complete function from it
2021-12-17 00:56:14 +0100 <Axman6> also if Data.Map exposes its constructors, you could build an expression that does a binary search from the map's structure after validating all elements
2021-12-17 00:56:25 +0100 <monochrom> Use "keys" to get the keys present, compare with [minBound..maxBound].
2021-12-17 00:57:32 +0100 <Axman6> also, justified containers might be relevant
2021-12-17 00:57:52 +0100 <hololeap> ok, yeah I was trying to do something fancy using Map.lookup and the Maybe monad
2021-12-17 01:01:06 +0100iqubic(~user@2601:602:9502:c70:c1df:76dd:a2c3:7b85) (Remote host closed the connection)
2021-12-17 01:01:30 +0100 <Axman6> mapFunction Tip = Nothing; mapFunction (Bin k a l r) = .... and this is where I get stuck :P
2021-12-17 01:02:06 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 01:05:09 +0100 <hololeap> (a -> b -> m c) -> a -> m (b -> c) -- this might not be possible in general
2021-12-17 01:05:16 +0100bens_bens
2021-12-17 01:05:21 +0100 <Axman6> mapFunction Tip = Nothing; mapFunction (Bin k a l r) = Just (\k' -> case compare k' k of EQ -> a; LT -> (case mapFunction l of Just f -> f k'; Nothing -> error "Not total!";) GT -> (case mapFunction r of Just f -> f k'; Nothing -> error "Not total!"))
2021-12-17 01:05:36 +0100 <Axman6> yeah I think it's not
2021-12-17 01:05:46 +0100 <monochrom> Ugh, I'm a moron. (\m -> size m == fromEnum maxBound - fromEnum minBound) is your O(1)-time completion test.
2021-12-17 01:06:24 +0100 <Axman6> https://hackage.haskell.org/package/justified-containers-0.3.0.0/docs/Data-Map-Justified.html might help though
2021-12-17 01:06:29 +0100 <hololeap> oh, good idea
2021-12-17 01:06:55 +0100 <Axman6> since you can produce Key for every Bounded value
2021-12-17 01:07:28 +0100 <hololeap> Axman6: thanks, I'll check it out
2021-12-17 01:08:11 +0100 <geekosaur> missing +1 there, monochrom?
2021-12-17 01:11:04 +0100dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.3)
2021-12-17 01:12:09 +0100sprout(~quassel@2a02:a467:ccd6:1:7c88:97e7:7c77:1c93)
2021-12-17 01:12:17 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-12-17 01:18:32 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-12-17 01:18:32 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-12-17 01:18:32 +0100wroathe(~wroathe@user/wroathe)
2021-12-17 01:20:13 +0100alx741(~alx741@157.100.93.160)
2021-12-17 01:21:04 +0100jeetelongname(~jeet@88-111-159-26.dynamic.dsl.as9105.com)
2021-12-17 01:28:02 +0100wrengr(~wrengr@34.133.83.34.bc.googleusercontent.com) (Ping timeout: 252 seconds)
2021-12-17 01:29:53 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net) (Quit: Leaving)
2021-12-17 01:30:34 +0100 <monochrom> Oh oops haha dammit.
2021-12-17 01:35:45 +0100 <geekosaur> amn fenceposts get you every time :)
2021-12-17 01:35:52 +0100 <geekosaur> *damn
2021-12-17 01:36:32 +0100madjestic(~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 240 seconds)
2021-12-17 01:39:42 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 01:43:44 +0100 <Axman6> hololeap: you could also something using general comgining stuff in Data.Map.Internal: https://hackage.haskell.org/package/containers-0.6.5.1/docs/Data-Map-Internal.html#g:13 I feel like if you can zip with (map (,()) [minBound..maxBound]) you should be able to build up something
2021-12-17 01:43:47 +0100nitrix(~nitrix@user/nitrix)
2021-12-17 01:48:17 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 240 seconds)
2021-12-17 01:49:45 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2021-12-17 01:50:18 +0100Tuplanolla(~Tuplanoll@91-159-68-169.elisa-laajakaista.fi) (Quit: Leaving.)
2021-12-17 01:57:46 +0100alx741(~alx741@157.100.93.160)
2021-12-17 02:01:02 +0100ubert(~Thunderbi@p200300ecdf1abb0334f3944fefcb567c.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2021-12-17 02:01:10 +0100pfurla(~pfurla@177.25.182.217) (Quit: Textual IRC Client: www.textualapp.com)
2021-12-17 02:02:27 +0100pfurla(~pfurla@2804:18:5827:38:45d9:640:f63d:c384)
2021-12-17 02:02:48 +0100Guest45(~Guest45@2603-6081-6d06-229a-fc3b-4ec9-559f-6c1d.res6.spectrum.com)
2021-12-17 02:06:36 +0100acidjnk(~acidjnk@p200300d0c7271e22d5fcf408496a0722.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-12-17 02:07:19 +0100 <mason0> can one use opencv in haskell? bindings on hackage have not been updated since 2018, and status says: All reported builds failed as of 2018-01-02 [all 1 reports]
2021-12-17 02:07:27 +0100 <mason0> https://hackage.haskell.org/package/opencv
2021-12-17 02:08:59 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 02:10:01 +0100Guest45(~Guest45@2603-6081-6d06-229a-fc3b-4ec9-559f-6c1d.res6.spectrum.com) (Ping timeout: 256 seconds)
2021-12-17 02:11:29 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-12-17 02:12:02 +0100 <sm> mason0: a large package untouched since 2018 usually means you'll have to do some fixup work. You could try installing it with cabal. It's likely to have fewest problems with the mainstream GHC version of 2018 (GHC 8.6 probably)
2021-12-17 02:12:57 +0100shapr(~user@12.5.211.156) (Ping timeout: 240 seconds)
2021-12-17 02:13:11 +0100 <sm> it also has a stack.yaml in the git repo, so "stack install" inside that repo has a pretty good chance of working
2021-12-17 02:13:16 +0100 <Axman6> Builds that depend on C libraries almost alwasyy fail because hackage won't have them installed
2021-12-17 02:13:27 +0100 <Axman6> always*
2021-12-17 02:13:41 +0100 <sm> and you'll certainly need to install the C libs first, which the docs might cover
2021-12-17 02:15:05 +0100shapr(~user@12.5.211.156)
2021-12-17 02:17:37 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-12-17 02:18:08 +0100jeetelongnameintguage
2021-12-17 02:19:57 +0100intguageintgauge
2021-12-17 02:21:36 +0100TranquilEcho(~grom@user/tranquilecho) (Quit: WeeChat 2.8)
2021-12-17 02:21:57 +0100emf(~emf@2620:10d:c091:480::1:7a0e) (Ping timeout: 240 seconds)
2021-12-17 02:22:38 +0100emf(~emf@2620:10d:c091:480::1:7a0e)
2021-12-17 02:23:11 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3)
2021-12-17 02:25:32 +0100 <mason0> I am getting errors, but it is unrelated to haskell source. " The pkg-config package 'opencv' version >=3.0.0 is required but it could not be found.". should I install it manually? does it ship with opencv?
2021-12-17 02:25:50 +0100 <mason0> https://paste.tomsmeding.com/ES1acnLq
2021-12-17 02:26:04 +0100 <Axman6> Did you install opencv?
2021-12-17 02:26:05 +0100 <mason0> I have pkg-config version 0.28, that I installed god knows when
2021-12-17 02:26:17 +0100 <Axman6> no haskell tools install C libraries for you
2021-12-17 02:26:45 +0100 <mason0> yes I have it installed, and it works fine in C++ (Visual Studio)
2021-12-17 02:27:13 +0100 <geekosaur> uh
2021-12-17 02:27:21 +0100alx741(~alx741@157.100.93.160)
2021-12-17 02:27:29 +0100 <Axman6> is this on windows?
2021-12-17 02:27:34 +0100 <mason0> yes
2021-12-17 02:27:54 +0100emf(~emf@2620:10d:c091:480::1:7a0e) (Read error: Connection reset by peer)
2021-12-17 02:27:55 +0100 <geekosaur> those libraries won't be usable by ghc
2021-12-17 02:27:57 +0100 <Axman6> then I have no idea
2021-12-17 02:28:22 +0100 <mason0> geekosaur, I need opencv compiled with ghc?
2021-12-17 02:28:23 +0100 <geekosaur> you will need to install the mingw opencv libraries
2021-12-17 02:28:27 +0100 <mason0> s/ghc/gcc
2021-12-17 02:28:45 +0100emf(~emf@2620:10d:c091:480::1:7a0e)
2021-12-17 02:28:57 +0100 <mason0> that's surprising. doesn't opencv ship with .dll libraries, which should be usable from any compiler?
2021-12-17 02:29:04 +0100 <Axman6> Windows is a second class citizen when it comes to software development
2021-12-17 02:29:04 +0100 <mason0> I'll check
2021-12-17 02:29:08 +0100Guest45(~Guest45@2603-6081-6d06-229a-fc3b-4ec9-559f-6c1d.res6.spectrum.com)
2021-12-17 02:29:28 +0100Guest45(~Guest45@2603-6081-6d06-229a-fc3b-4ec9-559f-6c1d.res6.spectrum.com) (Client Quit)
2021-12-17 02:29:30 +0100 <mason0> Axman6, well, I have no issues at all with running opencv in C++, or python
2021-12-17 02:29:35 +0100 <geekosaur> hm, looks like there might not be a package and you'll have to build it for mingw
2021-12-17 02:29:50 +0100 <geekosaur> right, but those will be native windows libraries, not mingw
2021-12-17 02:30:05 +0100 <geekosaur> as yet ghc on windows requires mingw and does not build fully natively
2021-12-17 02:30:56 +0100 <geekosaur> https://www.google.com/search?q=mingw+opencv+install&oq=mingw+opencv&aqs=chrome.1.69i57j0i22i30l9.… both text and youtube videos on how to install opencv for mingw
2021-12-17 02:31:22 +0100 <geekosaur> you can skip the part about installing mingw since the ghc install will already have installed mingw
2021-12-17 02:32:41 +0100earendel(uid498179@user/earendel)
2021-12-17 02:32:41 +0100earendel(uid498179@user/earendel) (Client Quit)
2021-12-17 02:33:49 +0100earendel(uid498179@user/earendel)
2021-12-17 02:34:55 +0100earendel(uid498179@user/earendel) (Client Quit)
2021-12-17 02:35:55 +0100 <mason0> I'll give it a try, but I'm not hoping for much. I had very bad experience compiling open source projects in windows with mingw. it seems like everything has to match exactly for it to work. but fingers crossed still
2021-12-17 02:37:08 +0100mikoto-chan(~mikoto-ch@esm-84-240-99-143.netplaza.fi)
2021-12-17 02:37:37 +0100deadmarshal(~deadmarsh@95.38.228.81) (Ping timeout: 240 seconds)
2021-12-17 02:37:51 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 02:41:50 +0100abrantesasf(~abrantesa@187.36.170.211)
2021-12-17 02:45:10 +0100 <mason0> question: OpenCV-4.5.2\opencv\build\x64\vc15\bin has a bunch of dll files, opencv_world452.dll, opencv_videoio_msmf452_64.dll, etc. so why would ghc need version of opencv compiled with mingw, when library is dynamically linked?
2021-12-17 02:46:19 +0100 <geekosaur> because they're linked against the vc15 runtime instead of the mingw runtime. things like memory allocation will fail very badly if some things are using the vc++ allocator and others the mingw one
2021-12-17 02:47:09 +0100 <geekosaur> (worse if something allocates via one and frees via the other; the app will crash)
2021-12-17 02:47:25 +0100intgaugejeetelongname
2021-12-17 02:47:51 +0100jeetelongname(~jeet@88-111-159-26.dynamic.dsl.as9105.com) (Quit: bye gamers)
2021-12-17 02:48:44 +0100 <mason0> hmmm
2021-12-17 02:48:47 +0100 <mason0> " You can use the same dll with different compilers with varying degrees of success. You'll need either a .def file or to use calls such as LoadLibrary/GetProcAddress to do so. The self-hosting version of mingw32 provides better support of Visual C++ binary compatibility. You can use certain libraries built with Visual C++ with this version of mingw32 without having to rebuild them using mingw and vice versa."
2021-12-17 02:49:27 +0100 <geekosaur> "certain libraries"
2021-12-17 02:49:34 +0100 <sm> moving development into WSL (and using the thing that bridges VS in there) could be another option
2021-12-17 02:49:41 +0100 <geekosaur> I guess you can try it, but if it breaks you get to keep all the pieces
2021-12-17 02:51:38 +0100 <yushyin> you also need to somehow tinker with pkgconf so it can find the lib paths
2021-12-17 02:53:14 +0100 <geekosaur> that's perhaps the easiest part, you find the lib and include paths, then look at existing *.pc files to see how to specify them to pkg-config
2021-12-17 02:54:26 +0100alx741(~alx741@157.100.93.160)
2021-12-17 02:59:01 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-12-17 03:05:19 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 03:07:23 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-12-17 03:07:24 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2021-12-17 03:07:56 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2021-12-17 03:08:09 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-17 03:21:44 +0100alx741(~alx741@157.100.93.160)
2021-12-17 03:32:26 +0100TonyStone(~TonyStone@2603-7080-8607-c36a-9cdb-69bc-753b-1e50.res6.spectrum.com) (Remote host closed the connection)
2021-12-17 03:37:01 +0100TonyStone(~TonyStone@cpe-74-76-51-197.nycap.res.rr.com)
2021-12-17 03:37:01 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 03:38:34 +0100dtman34(~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) (Quit: ZNC 1.7.2+deb3 - https://znc.in)
2021-12-17 03:39:29 +0100dtman34(~dtman34@c-73-62-246-247.hsd1.mn.comcast.net)
2021-12-17 03:42:17 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-12-17 03:49:11 +0100shapr(~user@12.5.211.156) (Remote host closed the connection)
2021-12-17 03:50:02 +0100carter(sid14827@id-14827.helmsley.irccloud.com) (Ping timeout: 240 seconds)
2021-12-17 03:50:25 +0100pepeiborra(sid443799@ilkley.irccloud.com) (Ping timeout: 256 seconds)
2021-12-17 03:50:36 +0100shapr(~user@12.5.211.156)
2021-12-17 03:53:34 +0100carter(sid14827@id-14827.helmsley.irccloud.com)
2021-12-17 03:53:37 +0100pepeiborra(sid443799@id-443799.ilkley.irccloud.com)
2021-12-17 03:55:10 +0100alx741(~alx741@157.100.93.160)
2021-12-17 03:56:11 +0100Firedancer(sid336191@id-336191.hampstead.irccloud.com) (Ping timeout: 245 seconds)
2021-12-17 03:56:11 +0100degraafk(sid71464@id-71464.lymington.irccloud.com) (Ping timeout: 245 seconds)
2021-12-17 03:56:11 +0100glowcoil(sid3405@id-3405.tinside.irccloud.com) (Ping timeout: 245 seconds)
2021-12-17 03:56:36 +0100SanchayanMaity(sid478177@id-478177.hampstead.irccloud.com) (Ping timeout: 245 seconds)
2021-12-17 03:57:53 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-12-17 03:58:13 +0100glowcoil(sid3405@id-3405.tinside.irccloud.com)
2021-12-17 03:58:26 +0100SanchayanMaity(sid478177@id-478177.hampstead.irccloud.com)
2021-12-17 03:59:22 +0100degraafk(sid71464@id-71464.lymington.irccloud.com)
2021-12-17 03:59:23 +0100Firedancer(sid336191@id-336191.hampstead.irccloud.com)
2021-12-17 04:00:03 +0100xff0x(~xff0x@port-92-195-102-89.dynamic.as20676.net) (Ping timeout: 256 seconds)
2021-12-17 04:01:11 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 04:02:00 +0100xff0x(~xff0x@2001:1a81:5353:e600:ef54:b4c:2c82:74c7)
2021-12-17 04:05:52 +0100earendel(uid498179@user/earendel)
2021-12-17 04:06:24 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2021-12-17 04:06:24 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2021-12-17 04:06:24 +0100finn_elijaFinnElija
2021-12-17 04:06:57 +0100shapr(~user@12.5.211.156) (Ping timeout: 240 seconds)
2021-12-17 04:08:05 +0100shapr(~user@12.5.211.156)
2021-12-17 04:09:36 +0100abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2021-12-17 04:12:37 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2021-12-17 04:16:28 +0100bollu(uid233390@id-233390.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2021-12-17 04:19:38 +0100kupi(uid212005@id-212005.hampstead.irccloud.com)
2021-12-17 04:19:45 +0100alx741(~alx741@157.100.93.160)
2021-12-17 04:21:02 +0100jespada(~jespada@87.74.33.157) (Ping timeout: 240 seconds)
2021-12-17 04:22:40 +0100jespada(~jespada@87.74.33.157)
2021-12-17 04:23:17 +0100td_(~td@muedsl-82-207-238-051.citykom.de) (Ping timeout: 240 seconds)
2021-12-17 04:25:14 +0100td_(~td@94.134.91.242)
2021-12-17 04:27:37 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-12-17 04:27:37 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-12-17 04:27:37 +0100wroathe(~wroathe@user/wroathe)
2021-12-17 04:28:15 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 04:28:24 +0100lavaman(~lavaman@98.38.249.169)
2021-12-17 04:32:55 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2021-12-17 04:36:57 +0100Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2021-12-17 04:38:00 +0100lavaman(~lavaman@98.38.249.169)
2021-12-17 04:38:32 +0100Erutuon(~Erutuon@user/erutuon)
2021-12-17 04:38:47 +0100tom_(~tom@host86-151-99-97.range86-151.btcentralplus.com)
2021-12-17 04:40:49 +0100abrantesasf(~abrantesa@187.36.170.211) (Remote host closed the connection)
2021-12-17 04:43:14 +0100johnw(~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in)
2021-12-17 04:45:02 +0100zincy(~tom@2a00:23c8:970c:4801:f5c6:93c3:2f5e:e0) (Ping timeout: 268 seconds)
2021-12-17 04:46:10 +0100alx741(~alx741@157.100.93.160)
2021-12-17 04:54:47 +0100 <Axman6> How di you figure out what roles type variables should have? I have newtype HandlerRef f m b a = HandlerRef (MutVar (PrimState m) (Maybe (f a -> b -> m ()))) and want to be able to coerce MutVar (PrimState m) (Maybe (f a -> b -> m ())) into Handler f m b a
2021-12-17 04:54:47 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 04:54:52 +0100 <Axman6> do*
2021-12-17 04:57:11 +0100 <Axman6> Actually, I think I don't really care, just doing Handler <$> newMutVar Nothing is enough for me
2021-12-17 05:02:05 +0100juhp(~juhp@128.106.188.82)
2021-12-17 05:03:37 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds)
2021-12-17 05:05:02 +0100qrpnxz(~qrpnxz@user/qrpnxz) (Ping timeout: 260 seconds)
2021-12-17 05:11:26 +0100alx741(~alx741@157.100.93.160)
2021-12-17 05:12:18 +0100 <glguy> Axman6: you decide if invariants of behavior would break if someone coerced that thing
2021-12-17 05:12:39 +0100 <glguy> Like a Set or Map relies on the Ord instance chosen. If someone coerced it they'd likely end up with an invalid value
2021-12-17 05:12:40 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2021-12-17 05:12:45 +0100 <Axman6> it's not even exposed
2021-12-17 05:14:17 +0100featurebug(~featurebu@49.205.122.91) (Ping timeout: 256 seconds)
2021-12-17 05:18:47 +0100jinsun__(~quassel@user/jinsun)
2021-12-17 05:18:57 +0100jinsun(~quassel@user/jinsun) (Ping timeout: 240 seconds)
2021-12-17 05:19:27 +0100qrpnxz(~qrpnxz@user/qrpnxz)
2021-12-17 05:23:49 +0100cheater(~Username@user/cheater) (Ping timeout: 240 seconds)
2021-12-17 05:30:02 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2021-12-17 05:30:34 +0100deadmarshal(~deadmarsh@95.38.229.88)
2021-12-17 05:32:25 +0100zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2021-12-17 05:32:54 +0100sprout(~quassel@2a02:a467:ccd6:1:7c88:97e7:7c77:1c93) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2021-12-17 05:35:15 +0100deadmarshal(~deadmarsh@95.38.229.88) (Ping timeout: 256 seconds)
2021-12-17 05:37:01 +0100juhp(~juhp@128.106.188.82) (Ping timeout: 240 seconds)
2021-12-17 05:38:37 +0100jkaye(~jkaye@2601:281:8300:7530:d672:a7f5:a798:3393) (Ping timeout: 240 seconds)
2021-12-17 05:38:37 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 05:38:51 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-17 05:39:35 +0100puke(~puke@user/puke) (Quit: puke)
2021-12-17 05:41:10 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2021-12-17 05:42:03 +0100shapr(~user@12.5.211.156) (Ping timeout: 256 seconds)
2021-12-17 05:44:12 +0100juhp(~juhp@128.106.188.82)
2021-12-17 05:48:38 +0100abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: Reconnecting)
2021-12-17 05:48:38 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-12-17 05:48:53 +0100abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2021-12-17 05:48:53 +0100lavaman(~lavaman@98.38.249.169)
2021-12-17 05:49:00 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-12-17 05:50:37 +0100juhp(~juhp@128.106.188.82) (Ping timeout: 240 seconds)
2021-12-17 05:51:30 +0100featurebug(~featurebu@49.205.122.91)
2021-12-17 05:52:41 +0100 <albet70> in python, def f(): n=-1, def inner(x): n++, doSomething return inner, f2 = f(), map(f2, [0,1,2]) this f2 do different behavior on different elements, how haskell can do this?
2021-12-17 05:52:49 +0100 <EvanR> it's interesting to keep copying my AoC file to the next day, delete things that are likely useless, and see what the import list converges to xD
2021-12-17 05:52:56 +0100 <Sgeo_> In van Laarhoven representation, options are (Functor f) => (a -> f b) -> s -> f t, right? Does the (a -> f b) type have a name?
2021-12-17 05:53:03 +0100 <Sgeo_> *optics not options
2021-12-17 05:53:13 +0100 <EvanR> speaking of convergence
2021-12-17 05:53:41 +0100 <albet70> inner will apply on [0,1,2] by map, but inner change itself after every call
2021-12-17 05:54:11 +0100sprout(~quassel@2a02:a467:ccd6:1:21ba:a382:6b6:54c4)
2021-12-17 05:54:17 +0100 <EvanR> if the function ends up being stateful, then you can't do it in haskell
2021-12-17 05:54:39 +0100 <EvanR> if the function keeps a state but ends up being pure after all, you can potentially do it in haskell
2021-12-17 05:55:08 +0100 <EvanR> usually you just pass in the state that it needs
2021-12-17 05:55:37 +0100 <lyxia> Sgeo_: Star in the profunctors library
2021-12-17 05:56:56 +0100alx741(~alx741@157.100.93.160)
2021-12-17 05:57:53 +0100 <Sgeo_> So how badly am I abusing terminology to say something like "An optic takes a star as an argument and returns a star"?
2021-12-17 05:59:12 +0100 <dsal> NoStarIsType
2021-12-17 05:59:39 +0100 <lyxia> Nobody will understand that
2021-12-17 05:59:59 +0100 <Sgeo_> Is there a word I can use correctly in that context?
2021-12-17 06:00:06 +0100 <lyxia> function is good
2021-12-17 06:01:25 +0100justsomeguy(~justsomeg@user/justsomeguy)
2021-12-17 06:12:37 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-12-17 06:15:41 +0100jakalx(~jakalx@base.jakalx.net) ()
2021-12-17 06:19:31 +0100lavaman(~lavaman@98.38.249.169)
2021-12-17 06:21:03 +0100jakalx(~jakalx@base.jakalx.net)
2021-12-17 06:23:37 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2021-12-17 06:25:49 +0100zzz(~z@user/zero)
2021-12-17 06:27:32 +0100zero(~z@user/zero) (Ping timeout: 240 seconds)
2021-12-17 06:27:32 +0100zzzzero
2021-12-17 06:29:14 +0100kupi(uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2021-12-17 06:29:14 +0100zzz(~z@user/zero)
2021-12-17 06:29:55 +0100juhp(~juhp@128.106.188.82)
2021-12-17 06:31:25 +0100 <jackdk> isn't it `type Optic p f s t a b = forall p f. (p a (f b)) -> p s (f t)`?
2021-12-17 06:31:37 +0100 <zzz> Graphs: fgl vs containers ?
2021-12-17 06:31:55 +0100zero(~z@user/zero) (Ping timeout: 256 seconds)
2021-12-17 06:31:55 +0100zzzzero
2021-12-17 06:33:45 +0100 <zero> which should i choose for performance?
2021-12-17 06:34:12 +0100 <zero> (sorry, i'm zzz)
2021-12-17 06:35:32 +0100 <zero> iirc fgl is more elegant, right?
2021-12-17 06:35:59 +0100abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving)
2021-12-17 06:38:21 +0100deadmarshal(~deadmarsh@95.38.229.88)
2021-12-17 06:48:43 +0100 <EvanR> I typed `main' in ghci to get my AoC answer, waited about 12 seconds, cancelled it. Compiled -O2, answer was instant xD
2021-12-17 06:48:55 +0100 <EvanR> big diff
2021-12-17 06:54:21 +0100lavaman(~lavaman@98.38.249.169)
2021-12-17 06:57:44 +0100 <EvanR> an infinity percent increase in performance
2021-12-17 06:57:44 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 06:59:07 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2021-12-17 07:01:47 +0100cheater(~Username@user/cheater)
2021-12-17 07:03:17 +0100 <Axman6> @hoogle Kliesli
2021-12-17 07:03:17 +0100 <lambdabot> No results found
2021-12-17 07:03:22 +0100 <Axman6> @hoogle Kleisli
2021-12-17 07:03:22 +0100 <lambdabot> Control.Arrow newtype Kleisli m a b
2021-12-17 07:03:22 +0100 <lambdabot> Control.Arrow Kleisli :: (a -> m b) -> Kleisli m a b
2021-12-17 07:03:22 +0100 <lambdabot> BasePrelude newtype Kleisli (m :: Type -> Type) a b
2021-12-17 07:03:43 +0100 <Axman6> @hoogle Star
2021-12-17 07:03:44 +0100 <lambdabot> Language.Haskell.Exts Star :: Token
2021-12-17 07:03:44 +0100 <lambdabot> Language.Haskell.Exts.Lexer Star :: Token
2021-12-17 07:03:44 +0100 <lambdabot> Data.Profunctor newtype Star f d c
2021-12-17 07:03:56 +0100 <Axman6> Is there a difference between those two?
2021-12-17 07:04:58 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2021-12-17 07:14:14 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2021-12-17 07:15:40 +0100alx741(~alx741@157.100.93.160)
2021-12-17 07:19:17 +0100benin(~benin@183.82.204.250) (Ping timeout: 240 seconds)
2021-12-17 07:25:19 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 07:28:44 +0100 <int-e> > unwords $ map (\x -> printf "%.2f" (197-x/34)) [6591,6574,6517,6440,6368,6368,6367,6342,6268,6225]
2021-12-17 07:28:46 +0100 <lambdabot> "3.15 3.65 5.32 7.59 9.71 9.71 9.74 10.47 12.65 13.91"
2021-12-17 07:36:21 +0100benin(~benin@183.82.27.121)
2021-12-17 07:37:08 +0100 <EvanR> who needs santabot when you have that oneliner
2021-12-17 07:37:32 +0100 <Axman6> what's it calculating again?
2021-12-17 07:39:00 +0100 <EvanR> 197 is the size of the leaderboard (+1? -1?), 34 is number of stars
2021-12-17 07:40:00 +0100 <EvanR> so it's 197 - average points per star
2021-12-17 07:40:32 +0100 <Axman6> I've never done AoC so don't know what most of that means...
2021-12-17 07:40:44 +0100 <EvanR> yeah...
2021-12-17 07:41:20 +0100 <Axman6> what are points and stars measuring?
2021-12-17 07:41:36 +0100 <dsal> Hey, 3.15. That's pi
2021-12-17 07:41:44 +0100Axman6glares
2021-12-17 07:42:00 +0100 <Axman6> > foldMap (\x -> printf "%.2f " (197-x/34)) [6591,6574,6517,6440,6368,6368,6367,6342,6268,6225]
2021-12-17 07:42:01 +0100 <lambdabot> error:
2021-12-17 07:42:01 +0100 <lambdabot> • Ambiguous type variable ‘a0’ arising from a use of ‘show_M880356195839...
2021-12-17 07:42:01 +0100 <lambdabot> prevents the constraint ‘(Show a0)’ from being solved.
2021-12-17 07:42:16 +0100 <Axman6> > foldMap (\x -> printf "%.2f " (197-x/34) :: String) [6591,6574,6517,6440,6368,6368,6367,6342,6268,6225]
2021-12-17 07:42:18 +0100 <lambdabot> "3.15 3.65 5.32 7.59 9.71 9.71 9.74 10.47 12.65 13.91 "
2021-12-17 07:42:25 +0100 <xerox> cute
2021-12-17 07:42:33 +0100 <EvanR> each day of december has a puzzle with two parts, solving a part awards a star
2021-12-17 07:43:12 +0100alx741(~alx741@157.100.93.160)
2021-12-17 07:43:13 +0100 <EvanR> you get N points for solving it the fastest
2021-12-17 07:43:25 +0100 <EvanR> N-1 for solving it second fastest, etc
2021-12-17 07:43:56 +0100pfurla_(~pfurla@177.25.180.238)
2021-12-17 07:44:10 +0100Sofia1000(~Sofia1000@122-59-18-247-adsl.sparkbb.co.nz)
2021-12-17 07:44:21 +0100 <EvanR> so there are points, and stars, they are independent, I dunno what int-e is doing xD
2021-12-17 07:44:47 +0100pfurla(~pfurla@2804:18:5827:38:45d9:640:f63d:c384) (Ping timeout: 252 seconds)
2021-12-17 07:45:28 +0100sleblanc(~sleblanc@user/sleblanc)
2021-12-17 07:46:00 +0100 <Axman6> haha, loving going from "I can explain this" to "I don't what this is doing". I feel like going the other way is a little more common
2021-12-17 07:48:40 +0100michalz(~michalz@185.246.204.104)
2021-12-17 07:48:54 +0100mason0(~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Session timeout))
2021-12-17 07:52:01 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 07:54:59 +0100Akiva(~Akiva@user/Akiva)
2021-12-17 07:58:00 +0100phma(phma@2001:5b0:210d:8c38:983f:1c01:826:33cd) (Read error: Connection reset by peer)
2021-12-17 07:59:26 +0100bliminse(~bliminse@host86-186-4-210.range86-186.btcentralplus.com) (Quit: leaving)
2021-12-17 07:59:31 +0100phma(~phma@host-67-44-208-223.hnremote.net)
2021-12-17 07:59:56 +0100 <int-e> Axman6: x/34 is the average score per star; the score and ranks are related by score + rank = N+1. N is currently 196.
2021-12-17 08:00:16 +0100xkuru(~xkuru@user/xkuru) (Read error: Connection reset by peer)
2021-12-17 08:00:20 +0100 <int-e> (but only for people who have all 34 stars)
2021-12-17 08:01:39 +0100chele(~chele@user/chele)
2021-12-17 08:03:19 +0100featurebug(~featurebu@49.205.122.91) (Read error: Connection reset by peer)
2021-12-17 08:04:18 +0100featurebug(~featurebu@49.205.122.91)
2021-12-17 08:05:39 +0100 <glguy> int-e: you might have to update your calculations. I kicked off 7 people from the list of people who haven't done a start in 2019-2021; we're down to 190
2021-12-17 08:07:22 +0100 <int-e> > map (subtract (6*34)) [6591,6574,6517,6440,6368,6368,6367,6342,6268,6225]
2021-12-17 08:07:23 +0100 <lambdabot> [6387,6370,6313,6236,6164,6164,6163,6138,6064,6021]
2021-12-17 08:07:54 +0100 <int-e> > unwords $ map (\x -> printf "%.2f" (191-x/34)) [6387,6370,6313,6236,6164,6164,6163,6138,6064,6021]
2021-12-17 08:07:56 +0100 <lambdabot> "3.15 3.65 5.32 7.59 9.71 9.71 9.74 10.47 12.65 13.91"
2021-12-17 08:08:41 +0100bliminse(~bliminse@host86-186-4-210.range86-186.btcentralplus.com)
2021-12-17 08:09:18 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-17 08:09:19 +0100 <int-e> glguy: I did check the total when I copied those numbers.
2021-12-17 08:09:36 +0100alx741(~alx741@157.100.93.160)
2021-12-17 08:10:24 +0100earendel(uid498179@user/earendel) (Quit: Connection closed for inactivity)
2021-12-17 08:11:23 +0100 <g> I removed people based on seeing your numbers indicating it was nearly full
2021-12-17 08:12:13 +0100 <int-e> yeah, but as explained, or at least pointed out, before that doesn't affect the average rank of people who have all stars
2021-12-17 08:14:58 +0100dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be)
2021-12-17 08:15:54 +0100nek0(~nek0@nek0.eu) (Quit: The Lounge - https://thelounge.chat)
2021-12-17 08:18:56 +0100 <Sofia1000> I'm thinking a bit about bidirectional parsing/using optics and isomorphisms to make parser-printer pairs. Does anyone know of what the "state of the art" is regarding libraries and/or literature in this field?
2021-12-17 08:20:43 +0100 <Sofia1000> "bidirectional" is probably a bad word here as it also applies to parsers that work from both ends?
2021-12-17 08:22:59 +0100deadmarshal(~deadmarsh@95.38.229.88) (Ping timeout: 256 seconds)
2021-12-17 08:24:02 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 08:25:08 +0100deadmarshal(~deadmarsh@95.38.229.88)
2021-12-17 08:25:10 +0100nek0(~nek0@nek0.eu)
2021-12-17 08:29:39 +0100 <int-e> Sofia1000: "reversible" and "invertible" are maybe less misleading
2021-12-17 08:31:07 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-12-17 08:31:12 +0100cfricke(~cfricke@user/cfricke)
2021-12-17 08:32:37 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:986f:7ac8:d5bc:582b)
2021-12-17 08:33:17 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:dc75:5436:188a:4913) (Ping timeout: 240 seconds)
2021-12-17 08:34:59 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:178:131c:7a0c:e758)
2021-12-17 08:36:29 +0100coot(~coot@89-64-85-93.dynamic.chello.pl)
2021-12-17 08:37:02 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2021-12-17 08:42:24 +0100alx741(~alx741@157.100.93.160)
2021-12-17 08:43:23 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-12-17 08:52:09 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 09:00:37 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-17 09:02:39 +0100featurebug(~featurebu@49.205.122.91) (Ping timeout: 256 seconds)
2021-12-17 09:06:48 +0100jinsun__jinsun
2021-12-17 09:09:55 +0100alx741(~alx741@157.100.93.160)
2021-12-17 09:11:11 +0100yuri_(~yuri@176.59.54.239)
2021-12-17 09:14:14 +0100vpan(~0@212.117.1.172)
2021-12-17 09:16:05 +0100deadmarshal(~deadmarsh@95.38.229.88) (Ping timeout: 252 seconds)
2021-12-17 09:16:54 +0100 <hololeap> is there any semantic/logical difference to where you place ReaderT on a transformer stack?
2021-12-17 09:20:21 +0100deadmarshal(~deadmarsh@95.38.229.88)
2021-12-17 09:21:13 +0100featurebug(~featurebu@49.205.122.91)
2021-12-17 09:24:45 +0100deadmarshal(~deadmarsh@95.38.229.88) (Ping timeout: 256 seconds)
2021-12-17 09:28:18 +0100haskell_Noob(~haskell_N@2601:602:880:90f0:f1b3:862d:7429:edae)
2021-12-17 09:28:19 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 09:31:42 +0100 <haskell_Noob> Have you used the book "Haskell School of music"?
2021-12-17 09:31:54 +0100 <haskell_Noob> Wondering if it is okay for learning haskell
2021-12-17 09:34:51 +0100deadmarshal(~deadmarsh@95.38.229.88)
2021-12-17 09:37:13 +0100cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.3)
2021-12-17 09:40:39 +0100cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20)
2021-12-17 09:43:55 +0100lavaman(~lavaman@98.38.249.169)
2021-12-17 09:44:57 +0100alx741(~alx741@157.100.93.160)
2021-12-17 09:48:27 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 268 seconds)
2021-12-17 09:51:36 +0100acidjnk(~acidjnk@p200300d0c7271e224d40663a2cd60864.dip0.t-ipconnect.de)
2021-12-17 09:52:00 +0100machinedgod(~machinedg@24.105.81.50)
2021-12-17 09:52:06 +0100gehmehgeh(~user@user/gehmehgeh)
2021-12-17 09:54:33 +0100kranius(~kranius@222.186.245.213.rev.sfr.net)
2021-12-17 09:54:53 +0100jakalx(~jakalx@base.jakalx.net) ()
2021-12-17 09:55:20 +0100econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-12-17 09:55:41 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 09:55:58 +0100jakalx(~jakalx@base.jakalx.net)
2021-12-17 09:56:05 +0100Sgeo_(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2021-12-17 09:56:26 +0100mcgroin(~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-12-17 09:59:37 +0100deadmarshal(~deadmarsh@95.38.229.88) (Ping timeout: 240 seconds)
2021-12-17 09:59:51 +0100deadmarshal(~deadmarsh@95.38.228.121)
2021-12-17 10:00:09 +0100ocramz[m](~ocramzmat@2001:470:69fc:105::1:35b0) (Quit: You have been kicked for being idle)
2021-12-17 10:00:17 +0100max22-(~maxime@2a01cb0883359800761b1c69d9198b7f.ipv6.abo.wanadoo.fr)
2021-12-17 10:04:25 +0100kranius(~kranius@222.186.245.213.rev.sfr.net) (Ping timeout: 256 seconds)
2021-12-17 10:06:12 +0100zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2021-12-17 10:07:26 +0100adamse(sid72084@user/adamse)
2021-12-17 10:07:46 +0100haskell_Noob(~haskell_N@2601:602:880:90f0:f1b3:862d:7429:edae) (Quit: Client closed)
2021-12-17 10:07:56 +0100zaquest(~notzaques@5.130.79.72)
2021-12-17 10:13:24 +0100alx741(~alx741@181.199.42.79)
2021-12-17 10:16:17 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-12-17 10:17:43 +0100allbery_b(~geekosaur@xmonad/geekosaur)
2021-12-17 10:17:43 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-12-17 10:17:46 +0100allbery_bgeekosaur
2021-12-17 10:18:04 +0100thevishy(~Nishant@2405:201:f005:c007:4c69:b93c:3bc3:9ff2)
2021-12-17 10:18:18 +0100bollu(uid233390@id-233390.helmsley.irccloud.com)
2021-12-17 10:19:57 +0100yuri_(~yuri@176.59.54.239) (Remote host closed the connection)
2021-12-17 10:21:47 +0100Guest6696(~Guest66@82.158.147.37.dyn.user.ono.com)
2021-12-17 10:21:56 +0100Guest6696(~Guest66@82.158.147.37.dyn.user.ono.com) ()
2021-12-17 10:23:07 +0100alx741(~alx741@181.199.42.79) (Read error: Connection reset by peer)
2021-12-17 10:23:47 +0100puke(~puke@user/puke)
2021-12-17 10:24:59 +0100jgeerds(~jgeerds@55d4ac73.access.ecotel.net)
2021-12-17 10:27:38 +0100coot(~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot)
2021-12-17 10:30:46 +0100Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de)
2021-12-17 10:31:54 +0100cfricke(~cfricke@user/cfricke)
2021-12-17 10:34:02 +0100deadmarshal(~deadmarsh@95.38.228.121) (Ping timeout: 240 seconds)
2021-12-17 10:34:50 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:178:131c:7a0c:e758) (Remote host closed the connection)
2021-12-17 10:36:09 +0100Akiva(~Akiva@user/Akiva) (Ping timeout: 256 seconds)
2021-12-17 10:39:34 +0100alx741(~alx741@157.100.93.160)
2021-12-17 10:41:19 +0100 <dminuoso> Wow, that's certainly an intriguing book.
2021-12-17 10:41:33 +0100 <dminuoso> First I've heard about it, after a mediocre skim it looks fairly well written.
2021-12-17 10:41:44 +0100 <dminuoso> But I cant attest to the pedagogic quality of it just yet.
2021-12-17 10:42:19 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2021-12-17 10:43:09 +0100 <dminuoso> But I guess, Paul Hudak knew his stuff.
2021-12-17 10:45:35 +0100son0p(~ff@2800:484:1d81:b700:d40b:900:b387:320)
2021-12-17 10:47:13 +0100zava(~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de)
2021-12-17 10:48:59 +0100ubert(~Thunderbi@2a02:8109:9880:303c:7f37:d4df:3b9c:eeaa)
2021-12-17 10:50:17 +0100mvk(~mvk@2607:fea8:5cdd:f000::745c) (Ping timeout: 240 seconds)
2021-12-17 10:51:16 +0100kranius(~kranius@222.186.245.213.rev.sfr.net)
2021-12-17 10:51:43 +0100coot(~coot@89-64-85-93.dynamic.chello.pl)
2021-12-17 10:51:43 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 10:53:00 +0100shriekingnoise(~shrieking@186.137.144.80) (Quit: Quit)
2021-12-17 10:53:03 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3)
2021-12-17 10:54:08 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2021-12-17 10:54:23 +0100mcgroin(~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection)
2021-12-17 10:55:54 +0100madjestic(~madjestic@88-159-247-120.fixed.kpn.net)
2021-12-17 10:55:59 +0100kranius(~kranius@222.186.245.213.rev.sfr.net) (Ping timeout: 256 seconds)
2021-12-17 10:57:50 +0100kuribas(~user@ptr-25vy0i9b9kj79kkp4jg.18120a2.ip6.access.telenet.be)
2021-12-17 10:58:40 +0100 <kuribas> ugh, idris is spoiling haskell for me.
2021-12-17 10:58:53 +0100coot(~coot@89-64-85-93.dynamic.chello.pl) (Remote host closed the connection)
2021-12-17 10:59:02 +0100 <kuribas> For example, in my database library, I am generating the types for the rows and tables from the information schema.
2021-12-17 10:59:16 +0100coot(~coot@2a02:a310:e03f:8500:933a:39ca:ef4e:37cb)
2021-12-17 10:59:18 +0100 <kuribas> In idris, I can just write a function which takes the information schema and generates a constraint.
2021-12-17 10:59:43 +0100 <hololeap> % traverse Just []
2021-12-17 10:59:43 +0100 <yahb> hololeap: Just []
2021-12-17 11:00:58 +0100 <c_wraith> from this single data point, I infer traverse == id
2021-12-17 11:02:15 +0100CiaoSen(~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2021-12-17 11:02:53 +0100cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection)
2021-12-17 11:03:18 +0100cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20)
2021-12-17 11:03:19 +0100deadmarshal(~deadmarsh@95.38.228.121)
2021-12-17 11:04:13 +0100 <hololeap> % traverse (const Nothing) []
2021-12-17 11:04:13 +0100 <yahb> hololeap: Just []
2021-12-17 11:04:39 +0100 <hololeap> hm why didn't I expect it to function like that
2021-12-17 11:04:45 +0100 <c_wraith> Oh no, my inference has failed!
2021-12-17 11:05:18 +0100 <c_wraith> hololeap: because you didn't think about what the function is applied to - you just know it says "const Nothing"
2021-12-17 11:05:41 +0100 <hololeap> I halfway expected both to be Nothing :)
2021-12-17 11:06:04 +0100 <hololeap> but that would only make sense for Alternatives
2021-12-17 11:06:09 +0100 <c_wraith> nah. Traversable requires them to be both be Just [], actually
2021-12-17 11:06:19 +0100 <c_wraith> otherwise the reduction to Functor wouldn't work
2021-12-17 11:07:45 +0100 <c_wraith> the base case has to be traverse _ [] = pure []
2021-12-17 11:08:39 +0100coot(~coot@2a02:a310:e03f:8500:933a:39ca:ef4e:37cb) (Remote host closed the connection)
2021-12-17 11:09:54 +0100coot(~coot@2a02:a310:e03f:8500:933a:39ca:ef4e:37cb)
2021-12-17 11:10:03 +0100alx741(~alx741@157.100.93.160)
2021-12-17 11:16:39 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2021-12-17 11:17:17 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
2021-12-17 11:17:17 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 11:19:29 +0100Lord_of_Life_Lord_of_Life
2021-12-17 11:21:56 +0100 <kuribas> hololeap: if you have nothing, then nothing can go wrong :)
2021-12-17 11:22:41 +0100mmhat(~mmh@55d47b0f.access.ecotel.net)
2021-12-17 11:23:21 +0100 <kuribas> hololeap: traverse means, apply the effect for all elements. In the case of maybe you can think of Nothing as "abort".
2021-12-17 11:23:35 +0100 <kuribas> If there are no elements, there is nothing to abort.
2021-12-17 11:31:22 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-12-17 11:32:57 +0100Erutuon(~Erutuon@user/erutuon) (Ping timeout: 240 seconds)
2021-12-17 11:35:16 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:178:131c:7a0c:e758)
2021-12-17 11:35:32 +0100alx741(~alx741@157.100.93.160)
2021-12-17 11:39:48 +0100SummerSonw(~The_viole@203.77.49.232)
2021-12-17 11:40:51 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2021-12-17 11:42:51 +0100deadmarshal(~deadmarsh@95.38.228.121) (Ping timeout: 245 seconds)
2021-12-17 11:44:10 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 11:45:32 +0100Erutuon(~Erutuon@user/erutuon)
2021-12-17 11:46:53 +0100kranius(~kranius@222.186.245.213.rev.sfr.net)
2021-12-17 11:48:04 +0100burnsidesLlama(~burnsides@dhcp168-016.wadham.ox.ac.uk)
2021-12-17 11:50:05 +0100deadmarshal(~deadmarsh@95.38.228.121)
2021-12-17 11:51:46 +0100kranius(~kranius@222.186.245.213.rev.sfr.net) (Ping timeout: 268 seconds)
2021-12-17 11:54:48 +0100burnsidesLlama(~burnsides@dhcp168-016.wadham.ox.ac.uk) (Remote host closed the connection)
2021-12-17 11:55:04 +0100Erutuon(~Erutuon@user/erutuon) (Quit: WeeChat 2.8)
2021-12-17 11:57:39 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 276 seconds)
2021-12-17 11:59:59 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2021-12-17 12:02:10 +0100alx741(~alx741@157.100.93.160)
2021-12-17 12:02:27 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-17 12:05:38 +0100__monty__(~toonn@user/toonn)
2021-12-17 12:11:48 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 12:13:02 +0100adamse(sid72084@user/adamse) ()
2021-12-17 12:13:17 +0100CiaoSen(~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2021-12-17 12:17:37 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:178:131c:7a0c:e758) (Ping timeout: 240 seconds)
2021-12-17 12:21:21 +0100SummerSonw(~The_viole@203.77.49.232) (Quit: Leaving)
2021-12-17 12:21:59 +0100pfurla_(~pfurla@177.25.180.238) (Quit: gone to sleep. ZZZzzz…)
2021-12-17 12:23:40 +0100pfurla(~pfurla@2804:18:5807:4d59:a1e7:4024:a3de:5934)
2021-12-17 12:26:24 +0100kranius_(~kranius@222.186.245.213.rev.sfr.net)
2021-12-17 12:26:28 +0100pfurla(~pfurla@2804:18:5807:4d59:a1e7:4024:a3de:5934) (Client Quit)
2021-12-17 12:26:42 +0100MoC(~moc@user/moc)
2021-12-17 12:27:42 +0100burnsidesLlama(~burnsides@dhcp168-016.wadham.ox.ac.uk)
2021-12-17 12:28:06 +0100alx741(~alx741@157.100.93.160)
2021-12-17 12:29:23 +0100deadmarshal(~deadmarsh@95.38.228.121) (Ping timeout: 268 seconds)
2021-12-17 12:31:11 +0100kranius_(~kranius@222.186.245.213.rev.sfr.net) (Ping timeout: 256 seconds)
2021-12-17 12:35:06 +0100jippiedoe(~david@2a02-a44c-e14e-1-f428-d80d-a3b7-b894.fixed6.kpn.net)
2021-12-17 12:39:30 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Quit: Leaving)
2021-12-17 12:39:53 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2021-12-17 12:45:17 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 240 seconds)
2021-12-17 12:48:23 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.3)
2021-12-17 12:49:08 +0100perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2021-12-17 12:49:56 +0100 <jackdk> Sofia1000: I had a crack at combining parser/printers by generalising applicative/divisible into a monoidal class at http://jackkelly.name/blog/archives/2020/08/19/abstracting_over_applicative_alternative_divisible_… - there are links to some papers at teh bottom of the post
2021-12-17 12:50:08 +0100bontaq(~user@ool-45779fe5.dyn.optonline.net)
2021-12-17 12:50:22 +0100 <jackdk> I know NorfairKing was playing in this space recently, by looking at the invariant typeclass
2021-12-17 12:51:38 +0100 <jackdk> when next I get time, I intend to look at using profunctors from a to a instead , and using the stuff in product-profunctors to do applicative-ish things. This looks more promising than trying to keep parser/printer on the same type variable
2021-12-17 12:51:39 +0100burnsidesLlama(~burnsides@dhcp168-016.wadham.ox.ac.uk) (Remote host closed the connection)
2021-12-17 12:51:49 +0100 <jackdk> dunno how close this is to the actual state of the art, however.
2021-12-17 12:52:43 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 12:54:48 +0100pfurla(~pfurla@2804:14d:5c81:4104:9919:8af:7ea1:90e8)
2021-12-17 13:00:00 +0100pfurla_(~pfurla@2804:14d:5c81:4104:458c:8ad1:f96b:dd37)
2021-12-17 13:03:14 +0100pfurla(~pfurla@2804:14d:5c81:4104:9919:8af:7ea1:90e8) (Ping timeout: 252 seconds)
2021-12-17 13:03:46 +0100burnsidesLlama(~burnsides@dhcp168-016.wadham.ox.ac.uk)
2021-12-17 13:03:49 +0100jollygood2(~bc8147f2@cerf.good1.com)
2021-12-17 13:03:51 +0100MoC(~moc@user/moc) (Quit: Konversation terminated!)
2021-12-17 13:07:38 +0100acidjnk(~acidjnk@p200300d0c7271e224d40663a2cd60864.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2021-12-17 13:09:17 +0100xff0x(~xff0x@2001:1a81:5353:e600:ef54:b4c:2c82:74c7) (Ping timeout: 252 seconds)
2021-12-17 13:10:06 +0100xff0x(~xff0x@2001:1a81:5353:e600:4ca1:6d3c:51c2:5c97)
2021-12-17 13:10:39 +0100alx741(~alx741@157.100.93.160)
2021-12-17 13:15:43 +0100Everything(~Everythin@37.115.210.35)
2021-12-17 13:19:22 +0100vpan(~0@212.117.1.172) (Quit: Leaving.)
2021-12-17 13:20:07 +0100featurebug108(~featurebu@49.205.122.91)
2021-12-17 13:20:07 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 13:20:29 +0100doyougnu(~doyougnu@c-73-25-202-122.hsd1.or.comcast.net) (Ping timeout: 256 seconds)
2021-12-17 13:21:03 +0100featurebug(~featurebu@49.205.122.91) (Ping timeout: 256 seconds)
2021-12-17 13:21:51 +0100jakalx(~jakalx@base.jakalx.net) ()
2021-12-17 13:26:48 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-12-17 13:27:27 +0100featurebug(~featurebu@49.205.122.91)
2021-12-17 13:28:37 +0100featurebug108(~featurebu@49.205.122.91) (Ping timeout: 240 seconds)
2021-12-17 13:32:21 +0100jakalx(~jakalx@base.jakalx.net)
2021-12-17 13:32:47 +0100jollygood2(~bc8147f2@cerf.good1.com) (Quit: CGI:IRC)
2021-12-17 13:33:04 +0100jollygood2(~bc8147f2@cerf.good1.com)
2021-12-17 13:37:30 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-12-17 13:38:12 +0100alx741(~alx741@157.100.93.160)
2021-12-17 13:38:39 +0100deadmarshal(~deadmarsh@95.38.228.121)
2021-12-17 13:38:39 +0100phma(~phma@host-67-44-208-223.hnremote.net) (Read error: Connection reset by peer)
2021-12-17 13:39:17 +0100featurebug(~featurebu@49.205.122.91) (Ping timeout: 240 seconds)
2021-12-17 13:39:35 +0100phma(phma@2001:5b0:210b:d6b8:694b:ba82:ab88:1eae)
2021-12-17 13:41:14 +0100jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2021-12-17 13:42:11 +0100jakalx(~jakalx@base.jakalx.net)
2021-12-17 13:43:23 +0100deadmarshal(~deadmarsh@95.38.228.121) (Ping timeout: 268 seconds)
2021-12-17 13:43:37 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-12-17 13:45:25 +0100madjestic(~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 240 seconds)
2021-12-17 13:45:35 +0100lavaman(~lavaman@98.38.249.169)
2021-12-17 13:47:29 +0100deadmarshal(~deadmarsh@95.38.228.121)
2021-12-17 13:47:29 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 13:49:59 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-12-17 13:51:25 +0100jgeerds(~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 240 seconds)
2021-12-17 13:53:46 +0100max22-(~maxime@2a01cb0883359800761b1c69d9198b7f.ipv6.abo.wanadoo.fr) (Ping timeout: 260 seconds)
2021-12-17 13:55:34 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2021-12-17 13:57:31 +0100 <dminuoso> Is there a quick way to turn a Word64 into [Word8] or ByteString?
2021-12-17 13:58:14 +0100 <hpc> unsafeCoerce
2021-12-17 13:58:17 +0100 <dminuoso> Heh.
2021-12-17 13:58:20 +0100Everything(~Everythin@37.115.210.35) ()
2021-12-17 13:58:38 +0100 <dminuoso> Guess cant get faster than essentially a nop.
2021-12-17 13:59:40 +0100jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2021-12-17 13:59:47 +0100 <hpc> something with its Bits instance is probably best?
2021-12-17 14:00:38 +0100 <hpc> do shifting and truncating to split it into octets
2021-12-17 14:00:47 +0100 <dminuoso> yeah that's what Im doing right now.
2021-12-17 14:01:02 +0100 <dminuoso> Just a bit of manual unsafeShiftR
2021-12-17 14:01:11 +0100 <dminuoso> plus fromIntegral
2021-12-17 14:01:51 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-12-17 14:02:26 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-17 14:05:08 +0100waleee(~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4)
2021-12-17 14:05:35 +0100Vq(~vq@90-227-195-41-no77.tbcn.telia.com) (Ping timeout: 250 seconds)
2021-12-17 14:05:44 +0100alx741(~alx741@157.100.93.160)
2021-12-17 14:07:32 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-12-17 14:07:55 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-17 14:12:45 +0100jakalx(~jakalx@base.jakalx.net)
2021-12-17 14:12:57 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-12-17 14:13:12 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-17 14:14:37 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 14:14:53 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:178:131c:7a0c:e758)
2021-12-17 14:15:27 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 276 seconds)
2021-12-17 14:16:39 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2021-12-17 14:18:57 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:178:131c:7a0c:e758) (Ping timeout: 240 seconds)
2021-12-17 14:22:32 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-12-17 14:23:57 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-17 14:24:42 +0100 <kuribas> If you want to support any kind, you need to use a kind-variable, right?
2021-12-17 14:24:43 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 268 seconds)
2021-12-17 14:26:00 +0100featurebug(~featurebu@49.205.122.91)
2021-12-17 14:27:47 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2021-12-17 14:28:02 +0100pfurla_(~pfurla@2804:14d:5c81:4104:458c:8ad1:f96b:dd37) (Quit: Textual IRC Client: www.textualapp.com)
2021-12-17 14:28:12 +0100 <kuribas> Or does ghc infer a kind variable for phantom types?
2021-12-17 14:29:30 +0100pfurla(~pfurla@2804:14d:5c81:4104:2d64:c4c8:c5aa:ebd7)
2021-12-17 14:30:53 +0100 <kuribas> hmm, it seems, so. Proxy doesn't have a kind signature.
2021-12-17 14:31:00 +0100 <kuribas> @k Proxy
2021-12-17 14:31:00 +0100 <lambdabot> Maybe you meant: karma karma+ karma- karma-all keal kind v @ ? .
2021-12-17 14:31:05 +0100 <kuribas> @kind Proxy
2021-12-17 14:31:06 +0100 <lambdabot> k -> *
2021-12-17 14:31:20 +0100 <kuribas> lambdabot: I didn't
2021-12-17 14:31:39 +0100 <int-e> kuribas: be kind
2021-12-17 14:32:04 +0100kranius_(~kranius@222.186.245.213.rev.sfr.net)
2021-12-17 14:32:05 +0100 <kuribas> int-e: what kind?
2021-12-17 14:32:21 +0100alx741(~alx741@157.100.93.160)
2021-12-17 14:32:26 +0100 <int-e> the good kind, of course
2021-12-17 14:34:25 +0100neverfindme(~hayden@158.123.160.43)
2021-12-17 14:36:37 +0100kranius_(~kranius@222.186.245.213.rev.sfr.net) (Ping timeout: 240 seconds)
2021-12-17 14:39:30 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-12-17 14:39:59 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-17 14:40:54 +0100 <dminuoso> kuribas: No, just having PolyKinds enabled is enough.
2021-12-17 14:41:09 +0100 <dminuoso> % :set -XPolyKinds
2021-12-17 14:41:09 +0100 <yahb> dminuoso:
2021-12-17 14:41:18 +0100 <dminuoso> % data MyTagged s a = MyTagged a
2021-12-17 14:41:18 +0100 <yahb> dminuoso:
2021-12-17 14:41:20 +0100 <dminuoso> % :k MyTagged
2021-12-17 14:41:20 +0100 <yahb> dminuoso: k -> * -> *
2021-12-17 14:41:22 +0100 <kuribas> dminuoso: right, thanks!
2021-12-17 14:41:37 +0100waleee(~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 240 seconds)
2021-12-17 14:41:37 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 14:41:53 +0100 <dminuoso> kuribas: Keep in mind that, perhaps surprisingly, this will also demand PolyKinds in usage sites.
2021-12-17 14:42:15 +0100 <kuribas> Does Proxy require PolyKinds?
2021-12-17 14:42:17 +0100 <dminuoso> In my case I just wanted to use symbols, but really didnt feel like plugging PolyKinds in everywhere, so I made my own version of Tagged instead. :)
2021-12-17 14:42:27 +0100namkeleser(~namkelese@101.179.128.103)
2021-12-17 14:43:47 +0100waleee(~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4)
2021-12-17 14:43:48 +0100 <dminuoso> kuribas: If you want to use non-* types, yes.
2021-12-17 14:43:55 +0100 <dminuoso> % :set -XNoPolyKinds
2021-12-17 14:43:55 +0100 <yahb> dminuoso:
2021-12-17 14:43:58 +0100 <dminuoso> % import Data.Proxy
2021-12-17 14:43:58 +0100 <yahb> dminuoso:
2021-12-17 14:44:02 +0100 <dminuoso> % :set -XDataKinds
2021-12-17 14:44:02 +0100 <yahb> dminuoso:
2021-12-17 14:44:02 +0100pavonia(~user@user/siracusa)
2021-12-17 14:44:07 +0100 <dminuoso> % Proxy :: Proxy ""
2021-12-17 14:44:07 +0100 <yahb> dminuoso: Proxy
2021-12-17 14:44:09 +0100 <dminuoso> Uh.
2021-12-17 14:44:17 +0100 <dminuoso> No idea what wrath of extensions allowed this.
2021-12-17 14:44:30 +0100 <dminuoso> perhaps PolyKinds is implied by something else?
2021-12-17 14:44:42 +0100 <kuribas> doesn't non-* types imply PolyKinds?
2021-12-17 14:44:46 +0100 <dminuoso> No
2021-12-17 14:44:50 +0100 <dminuoso> % :set -XNoTypeInType
2021-12-17 14:44:50 +0100 <yahb> dminuoso:
2021-12-17 14:44:51 +0100 <kuribas> ah right
2021-12-17 14:44:53 +0100 <dminuoso> % Proxy :: Proxy ""
2021-12-17 14:44:53 +0100 <yahb> dminuoso: Proxy
2021-12-17 14:45:15 +0100 <dminuoso> Although, perhaps this behavior changed in more recent GHC versions
2021-12-17 14:45:39 +0100 <dminuoso> It would be really nice, because its super odd and frustrating to demand PolyKinds just to use kind polymorphic things with non-* types
2021-12-17 14:46:30 +0100 <dminuoso> kuribas: So in my GHC version the above errors, but if I made some type like `data Foo (s :: Symbol) a = ...` you only need DataKinds to make use of this.
2021-12-17 14:46:39 +0100jinsun__(~quassel@user/jinsun)
2021-12-17 14:47:39 +0100 <kuribas> right
2021-12-17 14:48:37 +0100jinsun(~quassel@user/jinsun) (Ping timeout: 240 seconds)
2021-12-17 14:48:37 +0100azimut_(~azimut@gateway/tor-sasl/azimut)
2021-12-17 14:49:40 +0100 <kuribas> is there a library with Const and Identity as type families instead of functors?
2021-12-17 14:49:46 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-12-17 14:50:54 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-17 14:51:35 +0100dsrt^(~dsrt@wsip-98-188-240-142.mc.at.cox.net) (Remote host closed the connection)
2021-12-17 14:52:53 +0100 <lortabac> kuribas: until we get unsaturated type families, it wouldn't be very useful
2021-12-17 14:53:02 +0100 <kuribas> why not?
2021-12-17 14:53:09 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 276 seconds)
2021-12-17 14:53:37 +0100 <kuribas> I cannot use "type family Identity :: k -> k where Identity a = a"?
2021-12-17 14:54:05 +0100namkeleser(~namkelese@101.179.128.103) (Quit: Client closed)
2021-12-17 14:54:13 +0100 <lortabac> you can define it, but can you do anything useful with it?
2021-12-17 14:54:45 +0100 <kuribas> If I have a record, data MyRecord f = {foo :: f Int, bar :: f String}
2021-12-17 14:54:54 +0100 <kuribas> Then MyRecord Identity is just the fields.
2021-12-17 14:55:05 +0100 <lortabac> what would the kind of 'f' be?
2021-12-17 14:55:37 +0100jgeerds(~jgeerds@55d4ac73.access.ecotel.net)
2021-12-17 14:55:57 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-12-17 14:56:04 +0100 <geekosaur> kuribas, but you can't write `MyRecord Identity` currently because all uses of type families have to be saturated and that isn't
2021-12-17 14:56:17 +0100 <geekosaur> you can't defer it to the use site like you can with type aliases
2021-12-17 14:56:20 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-17 14:56:44 +0100 <kuribas> oh, like a Rank n type family?
2021-12-17 14:57:08 +0100 <kuribas> lortabac: (k -> k) ?
2021-12-17 14:57:38 +0100 <lortabac> hence my comment about unsaturated type families
2021-12-17 14:58:08 +0100 <kuribas> So I should give up this experiment, and use idris instead?
2021-12-17 14:58:15 +0100 <lortabac> the best thing you can do at the moment is using some defunctionalization framework, such as singletons or first-class-families
2021-12-17 14:58:32 +0100 <lortabac> or wait until UnsaturatedTypeFamilies is implemented
2021-12-17 14:59:53 +0100alx741(~alx741@157.100.93.160)
2021-12-17 14:59:57 +0100jippiedoe(~david@2a02-a44c-e14e-1-f428-d80d-a3b7-b894.fixed6.kpn.net) (Ping timeout: 240 seconds)
2021-12-17 15:00:23 +0100 <kuribas> I'd like to stay clear of singletons...
2021-12-17 15:00:27 +0100 <lortabac> https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0242-unsaturated-type-familie…
2021-12-17 15:00:44 +0100 <lortabac> apparently the proposal has been accepted, so there is hope
2021-12-17 15:01:25 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-12-17 15:01:36 +0100 <kuribas> Otherwise I'll stick with functors...
2021-12-17 15:01:38 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-17 15:02:58 +0100 <kuribas> That means more unwrapping, but I suppose that's ok...
2021-12-17 15:05:17 +0100fef(~thedawn@user/thedawn)
2021-12-17 15:05:58 +0100xsperry(~xs@user/xsperry) (Remote host closed the connection)
2021-12-17 15:07:15 +0100xsperry(~xs@user/xsperry)
2021-12-17 15:07:40 +0100acidjnk(~acidjnk@p200300d0c7271e224d40663a2cd60864.dip0.t-ipconnect.de)
2021-12-17 15:07:54 +0100zer0bitz(~zer0bitz@dsl-hkibng32-54fbfb-173.dhcp.inet.fi)
2021-12-17 15:09:04 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 15:12:11 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-12-17 15:12:20 +0100neverfindme(~hayden@158.123.160.43) (Quit: Leaving)
2021-12-17 15:12:26 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-17 15:20:40 +0100shriekingnoise(~shrieking@186.137.144.80)
2021-12-17 15:22:19 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-12-17 15:23:12 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-17 15:23:57 +0100featurebug(~featurebu@49.205.122.91) (Ping timeout: 240 seconds)
2021-12-17 15:26:35 +0100 <kuribas> Does it work with GADTs?
2021-12-17 15:26:48 +0100 <kuribas> like "MyRecord Expr" where Expr is a GADT?
2021-12-17 15:27:39 +0100alx741(~alx741@157.100.93.160)
2021-12-17 15:28:49 +0100doyougnu(~doyougnu@c-73-25-202-122.hsd1.or.comcast.net)
2021-12-17 15:32:50 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-12-17 15:32:56 +0100neverfindme(~hayden@158.123.160.43)
2021-12-17 15:33:54 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-17 15:34:57 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-12-17 15:34:57 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-12-17 15:34:57 +0100wroathe(~wroathe@user/wroathe)
2021-12-17 15:36:11 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 15:36:44 +0100jkaye(~jkaye@2601:281:8300:7530:e699:4743:67a2:216e)
2021-12-17 15:38:57 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-12-17 15:39:12 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-17 15:39:57 +0100namkeleser(~namkelese@101.179.128.103)
2021-12-17 15:43:23 +0100max22-(~maxime@2a01cb0883359800039072edde530579.ipv6.abo.wanadoo.fr)
2021-12-17 15:43:29 +0100zincy(~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807)
2021-12-17 15:44:25 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-12-17 15:44:38 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-17 15:47:15 +0100jinsun(~quassel@user/jinsun)
2021-12-17 15:47:37 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 240 seconds)
2021-12-17 15:48:48 +0100jinsun___(~quassel@user/jinsun)
2021-12-17 15:49:32 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-12-17 15:49:56 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-17 15:50:09 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-12-17 15:50:13 +0100waleee(~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 240 seconds)
2021-12-17 15:50:37 +0100jinsun__(~quassel@user/jinsun) (Ping timeout: 240 seconds)
2021-12-17 15:51:14 +0100waleee(~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4)
2021-12-17 15:51:14 +0100coolnickname(uid531864@user/coolnickname)
2021-12-17 15:51:17 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2021-12-17 15:51:37 +0100jinsun(~quassel@user/jinsun) (Ping timeout: 240 seconds)
2021-12-17 15:53:56 +0100shapr(~user@12.5.211.156)
2021-12-17 15:54:30 +0100alx741(~alx741@157.100.93.160)
2021-12-17 15:55:11 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-12-17 15:55:24 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-17 15:55:57 +0100waleee(~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 240 seconds)
2021-12-17 15:56:56 +0100namkeleser(~namkelese@101.179.128.103) (Quit: Client closed)
2021-12-17 16:00:17 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-12-17 16:00:56 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-17 16:01:26 +0100deadmarshal(~deadmarsh@95.38.228.121) (Ping timeout: 252 seconds)
2021-12-17 16:03:47 +0100zincy(~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) (Remote host closed the connection)
2021-12-17 16:03:48 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 16:04:03 +0100zincy(~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807)
2021-12-17 16:05:32 +0100dyeplexer(~dyeplexer@user/dyeplexer)
2021-12-17 16:06:02 +0100zincy(~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) (Remote host closed the connection)
2021-12-17 16:07:02 +0100monochrom(trebla@216.138.220.146) (Ping timeout: 240 seconds)
2021-12-17 16:07:14 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-12-17 16:07:19 +0100deadmarshal(~deadmarsh@95.38.228.121)
2021-12-17 16:07:47 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-12-17 16:07:47 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-12-17 16:07:47 +0100wroathe(~wroathe@user/wroathe)
2021-12-17 16:11:24 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-12-17 16:11:53 +0100waleee(~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4)
2021-12-17 16:11:54 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-17 16:12:22 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 260 seconds)
2021-12-17 16:16:02 +0100neverfindme(~hayden@158.123.160.43) (Ping timeout: 240 seconds)
2021-12-17 16:16:36 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:178:131c:7a0c:e758)
2021-12-17 16:19:44 +0100zincy(~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807)
2021-12-17 16:20:37 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:178:131c:7a0c:e758) (Ping timeout: 240 seconds)
2021-12-17 16:20:40 +0100alx741(~alx741@157.100.93.160)
2021-12-17 16:21:03 +0100neverfindme(~hayden@158.123.160.43)
2021-12-17 16:21:20 +0100neverfindme(~hayden@158.123.160.43) (Client Quit)
2021-12-17 16:23:04 +0100zincy(~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) (Remote host closed the connection)
2021-12-17 16:23:18 +0100 <hugo> Hi! Does anyone have any examples of how to actually use gitlib? https://hackage.haskell.org/package/gitlib-3.1.3
2021-12-17 16:24:22 +0100zincy(~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807)
2021-12-17 16:31:42 +0100acidjnk(~acidjnk@p200300d0c7271e224d40663a2cd60864.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2021-12-17 16:34:49 +0100 <kuribas> yes, GADTs seem to work fine.
2021-12-17 16:35:46 +0100Sgeo(~Sgeo@user/sgeo)
2021-12-17 16:37:12 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 16:37:14 +0100epolanski(uid312403@id-312403.helmsley.irccloud.com)
2021-12-17 16:38:24 +0100 <merijn> ugh...this Stream instance has some of the most terrible code I ever wrote >.>
2021-12-17 16:38:38 +0100 <merijn> Nasty mess of edge conditions
2021-12-17 16:39:36 +0100jippiedoe(~david@2a02-a44c-e14e-1-db90-2601-def3-2cf9.fixed6.kpn.net)
2021-12-17 16:40:11 +0100jonathanx(~jonathan@c-5eea345c-74736162.cust.telenor.se)
2021-12-17 16:46:37 +0100waleee(~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 240 seconds)
2021-12-17 16:47:24 +0100coot(~coot@2a02:a310:e03f:8500:933a:39ca:ef4e:37cb) (Quit: coot)
2021-12-17 16:47:59 +0100waleee(~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4)
2021-12-17 16:48:50 +0100zincy(~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) (Remote host closed the connection)
2021-12-17 16:49:14 +0100jippiedoe(~david@2a02-a44c-e14e-1-db90-2601-def3-2cf9.fixed6.kpn.net) (Quit: Leaving)
2021-12-17 16:50:44 +0100zincy(~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807)
2021-12-17 16:55:15 +0100alx741(~alx741@157.100.93.160)
2021-12-17 16:58:34 +0100shailangsa(~shailangs@host86-186-127-128.range86-186.btcentralplus.com) (Ping timeout: 260 seconds)
2021-12-17 16:58:57 +0100jtomas(~jtomas@153.red-83-53-252.dynamicip.rima-tde.net)
2021-12-17 16:59:37 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 16:59:56 +0100kuribas(~user@ptr-25vy0i9b9kj79kkp4jg.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2021-12-17 17:01:58 +0100madjestic(~madjestic@88-159-247-120.fixed.kpn.net)
2021-12-17 17:02:57 +0100featurebug(~featurebu@49.205.122.91)
2021-12-17 17:03:25 +0100sleblanc(~sleblanc@user/sleblanc) (Ping timeout: 240 seconds)
2021-12-17 17:08:55 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3)
2021-12-17 17:09:21 +0100zincy(~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) (Remote host closed the connection)
2021-12-17 17:09:46 +0100zincy(~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807)
2021-12-17 17:11:16 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2021-12-17 17:12:23 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:178:131c:7a0c:e758)
2021-12-17 17:14:04 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:986f:7ac8:d5bc:582b) (Quit: WeeChat 2.8)
2021-12-17 17:16:12 +0100alx741(~alx741@157.100.93.160)
2021-12-17 17:16:17 +0100xff0x(~xff0x@2001:1a81:5353:e600:4ca1:6d3c:51c2:5c97) (Ping timeout: 240 seconds)
2021-12-17 17:20:17 +0100dcoutts_(~duncan@71.78.6.51.dyn.plus.net) (Ping timeout: 240 seconds)
2021-12-17 17:21:16 +0100gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2021-12-17 17:21:16 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 17:21:31 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-12-17 17:22:07 +0100ProfSimm(~ProfSimm@87.227.196.109)
2021-12-17 17:23:55 +0100MoC(~moc@user/moc)
2021-12-17 17:24:45 +0100Vq(~vq@90-227-195-41-no77.tbcn.telia.com)
2021-12-17 17:25:46 +0100slowButPresent(~slowButPr@user/slowbutpresent)
2021-12-17 17:27:06 +0100xff0x(~xff0x@2001:1a81:5353:e600:1532:bc61:a470:451)
2021-12-17 17:27:31 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2021-12-17 17:28:13 +0100waleee(~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 240 seconds)
2021-12-17 17:28:37 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-12-17 17:29:30 +0100waleee(~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4)
2021-12-17 17:33:55 +0100monochrom(trebla@216.138.220.146)
2021-12-17 17:39:51 +0100alx741(~alx741@157.100.93.160)
2021-12-17 17:40:37 +0100jgeerds(~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 240 seconds)
2021-12-17 17:40:37 +0100madjestic(~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 240 seconds)
2021-12-17 17:40:56 +0100shailangsa(~shailangs@host86-186-127-224.range86-186.btcentralplus.com)
2021-12-17 17:42:16 +0100ubert(~Thunderbi@2a02:8109:9880:303c:7f37:d4df:3b9c:eeaa) (Remote host closed the connection)
2021-12-17 17:43:46 +0100MoC(~moc@user/moc) (Quit: Konversation terminated!)
2021-12-17 17:44:04 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 17:44:57 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 240 seconds)
2021-12-17 17:46:06 +0100pfurla(~pfurla@2804:14d:5c81:4104:2d64:c4c8:c5aa:ebd7) (Quit: gone to sleep. ZZZzzz…)
2021-12-17 17:47:19 +0100lavaman(~lavaman@98.38.249.169)
2021-12-17 17:47:35 +0100bollu(uid233390@id-233390.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2021-12-17 17:50:08 +0100cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.3)
2021-12-17 17:51:46 +0100Akiva(~Akiva@user/Akiva)
2021-12-17 17:51:55 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2021-12-17 17:52:04 +0100dcoutts_(~duncan@71.78.6.51.dyn.plus.net)
2021-12-17 17:55:17 +0100zincy(~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) (Remote host closed the connection)
2021-12-17 17:55:50 +0100madjestic(~madjestic@88-159-247-120.fixed.kpn.net)
2021-12-17 17:56:13 +0100dcoutts_(~duncan@71.78.6.51.dyn.plus.net) (Ping timeout: 240 seconds)
2021-12-17 17:58:20 +0100chele(~chele@user/chele) (Remote host closed the connection)
2021-12-17 17:58:27 +0100xkuru(~xkuru@user/xkuru)
2021-12-17 17:59:57 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-17 18:02:24 +0100alx741(~alx741@157.100.93.160)
2021-12-17 18:04:13 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-12-17 18:06:17 +0100zincy(~zincy@host86-151-99-97.range86-151.btcentralplus.com)
2021-12-17 18:06:34 +0100econo(uid147250@user/econo)
2021-12-17 18:07:07 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 18:07:31 +0100dcoutts_(~duncan@71.78.6.51.dyn.plus.net)
2021-12-17 18:07:32 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:178:131c:7a0c:e758) (Remote host closed the connection)
2021-12-17 18:09:01 +0100madjestic(~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 240 seconds)
2021-12-17 18:10:06 +0100johnw(~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net)
2021-12-17 18:11:57 +0100jonathanx(~jonathan@c-5eea345c-74736162.cust.telenor.se) (Ping timeout: 240 seconds)
2021-12-17 18:13:37 +0100sprout(~quassel@2a02:a467:ccd6:1:21ba:a382:6b6:54c4) (Ping timeout: 240 seconds)
2021-12-17 18:15:47 +0100sprout(~quassel@2a02:a467:ccd6:1:21ba:a382:6b6:54c4)
2021-12-17 18:16:50 +0100zincy(~zincy@host86-151-99-97.range86-151.btcentralplus.com) (Remote host closed the connection)
2021-12-17 18:17:17 +0100dcoutts_(~duncan@71.78.6.51.dyn.plus.net) (Ping timeout: 240 seconds)
2021-12-17 18:19:52 +0100hughjfchen(~hughjfche@vmi556545.contaboserver.net)
2021-12-17 18:22:36 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:178:131c:7a0c:e758)
2021-12-17 18:22:53 +0100sander(~sander@user/sander) (Quit: So long! :))
2021-12-17 18:24:16 +0100deadmarshal(~deadmarsh@95.38.228.121) (Quit: ZNC 1.8.2 - https://znc.in)
2021-12-17 18:24:41 +0100deadmarshal(~deadmarsh@95.38.228.121)
2021-12-17 18:25:08 +0100alx741(~alx741@157.100.93.160)
2021-12-17 18:30:30 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3)
2021-12-17 18:31:37 +0100neverfindme(~hayden@158.123.160.43)
2021-12-17 18:31:59 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds)
2021-12-17 18:33:37 +0100deadmarshal(~deadmarsh@95.38.228.121) (Ping timeout: 240 seconds)
2021-12-17 18:33:44 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-12-17 18:33:59 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 18:34:23 +0100zincy(~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807)
2021-12-17 18:34:55 +0100neverfindme(~hayden@158.123.160.43) (Client Quit)
2021-12-17 18:38:41 +0100zincy(~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) (Ping timeout: 245 seconds)
2021-12-17 18:43:05 +0100justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 268 seconds)
2021-12-17 18:45:42 +0100benin(~benin@183.82.27.121) (Quit: The Lounge - https://thelounge.chat)
2021-12-17 18:46:22 +0100Midjak(~Midjak@may53-1-78-226-116-92.fbx.proxad.net)
2021-12-17 18:47:40 +0100coot(~coot@89-64-85-93.dynamic.chello.pl)
2021-12-17 18:51:26 +0100jinsun___jinsun
2021-12-17 18:51:47 +0100alx741(~alx741@157.100.93.160)
2021-12-17 18:57:03 +0100ph88(~ph88@ip5f5af068.dynamic.kabel-deutschland.de) (Quit: Leaving)
2021-12-17 18:57:17 +0100shapr(~user@12.5.211.156) (Ping timeout: 268 seconds)
2021-12-17 18:59:40 +0100_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-12-17 19:05:07 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-12-17 19:05:55 +0100max22-(~maxime@2a01cb0883359800039072edde530579.ipv6.abo.wanadoo.fr) (Ping timeout: 268 seconds)
2021-12-17 19:06:11 +0100dcoutts_(~duncan@71.78.6.51.dyn.plus.net)
2021-12-17 19:11:49 +0100sander(~sander@user/sander)
2021-12-17 19:12:21 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 19:12:49 +0100kmein(~weechat@user/kmein) (Quit: ciao kakao)
2021-12-17 19:13:25 +0100kmein(~weechat@user/kmein)
2021-12-17 19:21:42 +0100zincy(~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807)
2021-12-17 19:24:37 +0100jassob(~jassob@h-98-128-166-172.NA.cust.bahnhof.se) (Ping timeout: 240 seconds)
2021-12-17 19:26:47 +0100jassob(~jassob@h-155-4-71-72.A785.priv.bahnhof.se)
2021-12-17 19:26:49 +0100jakalx(~jakalx@base.jakalx.net) ()
2021-12-17 19:29:05 +0100alx741(~alx741@157.100.93.160)
2021-12-17 19:29:14 +0100notzmv(~zmv@user/notzmv)
2021-12-17 19:33:15 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 19:36:15 +0100dyeplexer(~dyeplexer@user/dyeplexer) (Remote host closed the connection)
2021-12-17 19:38:51 +0100max22-(~maxime@2a01cb088335980001a330c3448f5bb4.ipv6.abo.wanadoo.fr)
2021-12-17 19:42:29 +0100jakalx(~jakalx@base.jakalx.net)
2021-12-17 19:48:42 +0100coot(~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot)
2021-12-17 19:51:38 +0100alx741(~alx741@157.100.93.160)
2021-12-17 19:58:24 +0100jollygood2(~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Session timeout))
2021-12-17 19:59:18 +0100zebrag(~chris@user/zebrag)
2021-12-17 20:00:26 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-17 20:01:30 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 20:06:55 +0100ubert(~Thunderbi@p200300ecdf0a5db5805dbf0fab6de770.dip0.t-ipconnect.de)
2021-12-17 20:09:11 +0100madjestic(~madjestic@88-159-247-120.fixed.kpn.net)
2021-12-17 20:10:38 +0100fef(~thedawn@user/thedawn) (Quit: Leaving)
2021-12-17 20:11:25 +0100xsperry(~xs@user/xsperry) ()
2021-12-17 20:13:56 +0100zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2021-12-17 20:14:57 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-12-17 20:18:00 +0100alx741(~alx741@157.100.93.160)
2021-12-17 20:18:04 +0100burnsidesLlama(~burnsides@dhcp168-016.wadham.ox.ac.uk) (Remote host closed the connection)
2021-12-17 20:22:13 +0100max22-(~maxime@2a01cb088335980001a330c3448f5bb4.ipv6.abo.wanadoo.fr) (Ping timeout: 240 seconds)
2021-12-17 20:25:03 +0100xsperry(~xs@user/xsperry)
2021-12-17 20:27:50 +0100sander(~sander@user/sander) (Quit: So long! :))
2021-12-17 20:28:25 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-12-17 20:28:30 +0100abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2021-12-17 20:29:12 +0100sander(~sander@user/sander)
2021-12-17 20:32:23 +0100deadmarshal(~deadmarsh@95.38.228.121)
2021-12-17 20:34:17 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-12-17 20:35:08 +0100pfurla(~pfurla@172.58.27.44)
2021-12-17 20:37:09 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 20:39:29 +0100neurocyte0132889(~neurocyte@45.131.37.166)
2021-12-17 20:39:29 +0100neurocyte0132889(~neurocyte@45.131.37.166) (Changing host)
2021-12-17 20:39:29 +0100neurocyte0132889(~neurocyte@user/neurocyte)
2021-12-17 20:39:52 +0100 <dminuoso> hugo: The repository does
2021-12-17 20:40:16 +0100 <dminuoso> Or mmm. Hold on, let me look again
2021-12-17 20:40:23 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-12-17 20:40:27 +0100 <dminuoso> hugo: https://github.com/nomeata/gipeda
2021-12-17 20:40:31 +0100 <dminuoso> This can be used as a reference.
2021-12-17 20:41:06 +0100 <dminuoso> hugo: But really, the implementation follows the git internals closely. I think the folks over at #git have good books and resources for learning it
2021-12-17 20:41:21 +0100 <dminuoso> So once you understand how git works internally, gitlib is relatively straight forward
2021-12-17 20:43:17 +0100Neuromancer(~Neuromanc@user/neuromancer) (Ping timeout: 240 seconds)
2021-12-17 20:44:16 +0100mtjm(~mutantmel@2604:a880:2:d0::208b:d001) (Remote host closed the connection)
2021-12-17 20:49:17 +0100burnsidesLlama(~burnsides@dhcp168-016.wadham.ox.ac.uk)
2021-12-17 20:50:15 +0100featurebug(~featurebu@49.205.122.91) (Quit: Leaving)
2021-12-17 20:52:01 +0100slowButPresent(~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-12-17 20:52:36 +0100cyphase(~cyphase@user/cyphase) (Ping timeout: 268 seconds)
2021-12-17 20:52:45 +0100machinedgod(~machinedg@173.231.123.211)
2021-12-17 20:54:54 +0100abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: rebooting)
2021-12-17 20:55:34 +0100alx741(~alx741@157.100.93.160)
2021-12-17 20:55:40 +0100_xor(~xor@dsl-50-5-233-169.fuse.net) (Ping timeout: 268 seconds)
2021-12-17 20:56:05 +0100burnsidesLlama(~burnsides@dhcp168-016.wadham.ox.ac.uk) (Ping timeout: 256 seconds)
2021-12-17 20:57:37 +0100coot(~coot@89-64-85-93.dynamic.chello.pl)
2021-12-17 20:59:25 +0100zincy(~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) (Remote host closed the connection)
2021-12-17 20:59:45 +0100coot(~coot@89-64-85-93.dynamic.chello.pl) (Client Quit)
2021-12-17 20:59:59 +0100mtjm(~mutantmel@2604:a880:2:d0::208b:d001)
2021-12-17 21:01:01 +0100abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2021-12-17 21:01:09 +0100mtjm(~mutantmel@2604:a880:2:d0::208b:d001) (Remote host closed the connection)
2021-12-17 21:01:11 +0100coot(~coot@2a02:a310:e03f:8500:933a:39ca:ef4e:37cb)
2021-12-17 21:01:18 +0100burnsidesLlama(~burnsides@dhcp168-016.wadham.ox.ac.uk)
2021-12-17 21:04:15 +0100jijimofo(~cmo@S010610561191f5d6.lb.shawcable.net)
2021-12-17 21:05:09 +0100juhp(~juhp@128.106.188.82) (Ping timeout: 256 seconds)
2021-12-17 21:06:06 +0100cyphase(~cyphase@user/cyphase)
2021-12-17 21:06:42 +0100juhp(~juhp@128.106.188.82)
2021-12-17 21:12:08 +0100vicfred(~vicfred@user/vicfred)
2021-12-17 21:16:09 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 21:23:40 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-12-17 21:24:31 +0100shapr(~user@12.5.211.156)
2021-12-17 21:26:55 +0100 <tomsmeding> I have a GADT 'data Type a where TInt :: Type Int ; TUnit :: Type () ; ...', and a type class 'class Infer a where inferType :: Type a' with instances for Int, (), etc. Having 'Infer a' allows me to get a 'Type a', but having a 'Type a' I cannot simply get an 'Infer a'; I have to write a function that recurses over the Type and constructs the dictionary that way. Is there a better way to construct
2021-12-17 21:26:55 +0100 <tomsmeding> this GADT/typeclass pair?
2021-12-17 21:27:22 +0100 <tomsmeding> or is the answer "use singletons"
2021-12-17 21:32:40 +0100alx741(~alx741@157.100.93.160)
2021-12-17 21:34:11 +0100doyougnu(~doyougnu@c-73-25-202-122.hsd1.or.comcast.net) (Ping timeout: 252 seconds)
2021-12-17 21:34:32 +0100sprout(~quassel@2a02:a467:ccd6:1:21ba:a382:6b6:54c4) (Ping timeout: 268 seconds)
2021-12-17 21:35:18 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-12-17 21:37:09 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2021-12-17 21:37:27 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 21:43:20 +0100lavaman(~lavaman@98.38.249.169)
2021-12-17 21:47:37 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2021-12-17 21:48:02 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net)
2021-12-17 21:49:01 +0100sprout(~quassel@2a02:a467:ccd6:1:21ba:a382:6b6:54c4)
2021-12-17 21:50:23 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-12-17 21:51:44 +0100 <awpr> a) I think this should be one of the classes where https://hackage.haskell.org/package/base-4.16.0.0/docs/GHC-Exts.html#v:magicDict works; b) put the instance (redundantly) in the GADT constructor(s); c) if performance isn't critical here, seems like just re-deriving the dictionary with GADT matches isn't too terrible
2021-12-17 21:52:51 +0100Erutuon(~Erutuon@user/erutuon)
2021-12-17 21:53:15 +0100evocatus(~evocatus@62.182.78.42)
2021-12-17 21:55:11 +0100alx741(~alx741@157.100.93.160)
2021-12-17 21:55:17 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2021-12-17 21:55:39 +0100 <tomsmeding> re (c): yeah it isn't terrible, was just wondering if there is a better way, since the info that I'm constructing is literally the value that I'm traversing
2021-12-17 21:55:49 +0100 <tomsmeding> (a) sounds interesting, also scary :p
2021-12-17 21:56:17 +0100pfurla(~pfurla@172.58.27.44) (Ping timeout: 240 seconds)
2021-12-17 21:56:18 +0100 <awpr> yeah, it's a bit sketchy. but it is how `someNatVal` works, at least
2021-12-17 21:58:26 +0100 <tomsmeding> didn't that become withDict in ghc HEAD
2021-12-17 21:58:33 +0100 <tomsmeding> with a more informative type signature
2021-12-17 22:00:14 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2021-12-17 22:00:22 +0100Tuplanolla(~Tuplanoll@91-159-68-169.elisa-laajakaista.fi)
2021-12-17 22:00:32 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2021-12-17 22:01:08 +0100 <tomsmeding> ok magicDict's Note in compiler/GHC/Types/Id/Make.hs is a bit too scary for me :)
2021-12-17 22:01:27 +0100 <tomsmeding> but thanks awpr I'd read about magicDict at some point, funny to see it turn up again
2021-12-17 22:01:28 +0100coot(~coot@2a02:a310:e03f:8500:933a:39ca:ef4e:37cb) (Quit: coot)
2021-12-17 22:02:18 +0100_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-12-17 22:02:21 +0100gustik(~gustik@2a01:c844:242f:ba20:72e:7030:46bf:1353)
2021-12-17 22:02:24 +0100 <awpr> yeah it does look like that's replaced it
2021-12-17 22:10:57 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 22:16:12 +0100acidjnk(~acidjnk@p200300d0c7271e65d42c28944a29f404.dip0.t-ipconnect.de)
2021-12-17 22:26:17 +0100rond_(~rond_@100.42.200.146.dyn.plus.net)
2021-12-17 22:26:17 +0100shapr(~user@12.5.211.156) (Ping timeout: 240 seconds)
2021-12-17 22:27:28 +0100_xor(~xor@dsl-50-5-233-169.fuse.net)
2021-12-17 22:28:52 +0100alx741(~alx741@157.100.93.160)
2021-12-17 22:30:22 +0100ProfSimm(~ProfSimm@87.227.196.109) (Remote host closed the connection)
2021-12-17 22:35:49 +0100madjestic(~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 256 seconds)
2021-12-17 22:36:17 +0100sourcemage(~sourcemag@c-24-14-124-168.hsd1.il.comcast.net)
2021-12-17 22:38:14 +0100briandaed(~root@185.234.208.208.r.toneticgroup.pl)
2021-12-17 22:40:30 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 22:41:11 +0100sprout(~quassel@2a02:a467:ccd6:1:21ba:a382:6b6:54c4) (Ping timeout: 245 seconds)
2021-12-17 22:44:37 +0100emf(~emf@2620:10d:c091:480::1:7a0e) (Ping timeout: 240 seconds)
2021-12-17 22:46:44 +0100briandaed(~root@185.234.208.208.r.toneticgroup.pl) (Quit: Lost terminal)
2021-12-17 22:56:02 +0100waleee(~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 260 seconds)
2021-12-17 22:56:51 +0100waleee(~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4)
2021-12-17 22:57:43 +0100vicfred(~vicfred@user/vicfred) (Quit: Leaving)
2021-12-17 22:58:27 +0100alx741(~alx741@157.100.93.160)
2021-12-17 22:59:53 +0100sprout(~quassel@2a02:a467:ccd6:1:21ba:a382:6b6:54c4)
2021-12-17 23:00:17 +0100madjestic(~madjestic@88-159-247-120.fixed.kpn.net)
2021-12-17 23:00:51 +0100jgeerds(~jgeerds@55d4ac73.access.ecotel.net)
2021-12-17 23:05:51 +0100falafel(~falafel@2603-8000-d800-688c-c489-b1e0-39de-1e29.res6.spectrum.com)
2021-12-17 23:05:51 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 23:07:33 +0100deadmarshal(~deadmarsh@95.38.228.121) (Ping timeout: 256 seconds)
2021-12-17 23:07:37 +0100sprout(~quassel@2a02:a467:ccd6:1:21ba:a382:6b6:54c4) (Ping timeout: 240 seconds)
2021-12-17 23:08:41 +0100pfurla(~pfurla@172.58.27.44)
2021-12-17 23:12:18 +0100mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Read error: Connection reset by peer)
2021-12-17 23:12:31 +0100mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2021-12-17 23:13:37 +0100madjestic(~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 240 seconds)
2021-12-17 23:17:03 +0100lavaman(~lavaman@98.38.249.169)
2021-12-17 23:17:37 +0100falafel(~falafel@2603-8000-d800-688c-c489-b1e0-39de-1e29.res6.spectrum.com) (Ping timeout: 240 seconds)
2021-12-17 23:19:17 +0100jijimofo(~cmo@S010610561191f5d6.lb.shawcable.net) (Ping timeout: 240 seconds)
2021-12-17 23:22:17 +0100ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Ping timeout: 256 seconds)
2021-12-17 23:22:34 +0100alx741(~alx741@157.100.93.160)
2021-12-17 23:24:26 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2021-12-17 23:28:03 +0100slack1256(~slack1256@191.125.99.206)
2021-12-17 23:28:08 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.3)
2021-12-17 23:29:14 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-12-17 23:31:13 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-17 23:33:41 +0100Pickchea(~private@user/pickchea)
2021-12-17 23:35:06 +0100dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.3)
2021-12-17 23:35:06 +0100alx741(~alx741@157.100.93.160) (Read error: Connection reset by peer)
2021-12-17 23:38:50 +0100rond_(~rond_@100.42.200.146.dyn.plus.net) (Quit: Client closed)
2021-12-17 23:40:14 +0100jijimofo(~cmo@S010610561191f5d6.lb.shawcable.net)
2021-12-17 23:44:03 +0100emf(~emf@2603-6080-9403-11bf-0000-0000-0000-000a.res6.spectrum.com)
2021-12-17 23:46:32 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-12-17 23:46:33 +0100benin(~benin@183.82.27.121)
2021-12-17 23:46:52 +0100doyougnu(~doyougnu@c-73-25-202-122.hsd1.or.comcast.net)
2021-12-17 23:47:42 +0100emf(~emf@2603-6080-9403-11bf-0000-0000-0000-000a.res6.spectrum.com) (Client Quit)
2021-12-17 23:49:53 +0100gehmehgeh(~user@user/gehmehgeh)
2021-12-17 23:51:53 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2021-12-17 23:52:37 +0100falafel(~falafel@2603-8000-d800-688c-c489-b1e0-39de-1e29.res6.spectrum.com)
2021-12-17 23:53:04 +0100alx741(~alx741@157.100.93.160)
2021-12-17 23:54:17 +0100xff0x(~xff0x@2001:1a81:5353:e600:1532:bc61:a470:451) (Ping timeout: 240 seconds)
2021-12-17 23:55:07 +0100madjestic(~madjestic@88-159-247-120.fixed.kpn.net)
2021-12-17 23:55:21 +0100xff0x(~xff0x@port-92-193-238-190.dynamic.as20676.net)
2021-12-17 23:55:55 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2021-12-17 23:56:37 +0100falafel(~falafel@2603-8000-d800-688c-c489-b1e0-39de-1e29.res6.spectrum.com) (Ping timeout: 240 seconds)
2021-12-17 23:57:21 +0100zer0bitz(~zer0bitz@dsl-hkibng32-54fbfb-173.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-12-17 23:57:51 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 276 seconds)