Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 .. 5022
— 502,152 events total
2020-11-04 13:02:05 ← mietek parts (sid134071@gateway/web/irccloud.com/x-xdfehjuwjfwgiund) ()
2020-11-04 13:02:22 × GUEST94894 quits (~GUEST9489@124.123.107.91) (Read error: Connection reset by peer)
2020-11-04 13:02:25 <fendor> merijn, the server is a playground for students, so it compiles stuff, but if every student has to download this index, it is 300 * 800MB which sums up quiet quickly
2020-11-04 13:02:40 → GUEST94946 joins (~GUEST9494@124.123.107.91)
2020-11-04 13:02:47 <fendor> but we solved it by having a read-only cabal store for every student, so that should be fine now
2020-11-04 13:03:22 <dcoutts> fendor: you could share the package cache, without sharing the store, if that helps
2020-11-04 13:03:31 <dcoutts> the download cache I mean
2020-11-04 13:04:00 <dcoutts> it might be useful for your use case to have two stores, a shared read-only one and a local writable one
2020-11-04 13:04:12 <fendor> dcoutts, yeah, that would solve the problem, too. Currently, we share both now, the store dir and index since students should not be able to download arbitrary packages anyways
2020-11-04 13:04:29 <fendor> or rather, not be able to do it by accident
2020-11-04 13:04:48 × vfaronov quits (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) (Client Quit)
2020-11-04 13:04:59 × mdunnio quits (~mdunnio@208.59.170.5) (Ping timeout: 256 seconds)
2020-11-04 13:05:11 → vfaronov joins (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru)
2020-11-04 13:05:40 <dcoutts> fendor: there's a --offline flag, which I think you can also use in the ~/.cabal/config
2020-11-04 13:05:48 × vfaronov quits (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) (Client Quit)
2020-11-04 13:05:56 <dcoutts> just causes any download attempt to fail, doesn't change the solver
2020-11-04 13:06:13 <fendor> dcoutts, does that work with v2-*? did not seem to work for me when playing around with it
2020-11-04 13:06:47 → Sheilong joins (uid293653@gateway/web/irccloud.com/x-hgnmrpxqnetkvsrt)
2020-11-04 13:08:14 × GUEST94946 quits (~GUEST9494@124.123.107.91) (Remote host closed the connection)
2020-11-04 13:08:33 → GUEST95299 joins (~GUEST9529@124.123.107.91)
2020-11-04 13:08:52 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:fc37:ff3f:9c12:2922) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-04 13:08:58 → jakob_ joins (~textual@p200300f49f16220018bfd377e039c2e3.dip0.t-ipconnect.de)
2020-11-04 13:09:25 <merijn> fendor: I think it should? If not that sounds like a bug?
2020-11-04 13:09:31 × toorevitimirp quits (~tooreviti@117.182.183.132) (Remote host closed the connection)
2020-11-04 13:10:02 → toorevitimirp joins (~tooreviti@117.182.183.132)
2020-11-04 13:11:13 → macrover joins (~macrover@ip70-189-231-35.lv.lv.cox.net)
2020-11-04 13:11:58 <fendor> merijn, hm, maybe it was a bug for cabal 3.0.0.0? I can try again later
2020-11-04 13:13:07 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-11-04 13:15:39 → machinedgod joins (~machinedg@207.253.244.210)
2020-11-04 13:16:56 <tomsmeding> quick question: does this datatype already exist in a commonly-used library? data PairOf f g t = PairOf (f t) (g t)
2020-11-04 13:17:51 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2020-11-04 13:18:25 <dminuoso> tomsmeding: Yes.
2020-11-04 13:18:34 <dminuoso> It's in base somewhere
2020-11-04 13:18:58 → whald joins (~trem@2a02:810a:8100:11a6:69c1:660a:2b51:2055)
2020-11-04 13:18:59 <dminuoso> Err GHC
2020-11-04 13:19:00 <dminuoso> tomsmeding: https://hackage.haskell.org/package/base-4.14.0.0/docs/GHC-Generics.html#t::-43-:
2020-11-04 13:19:01 <tomsmeding> that's what I was hoping with "commonly-used library" :p
2020-11-04 13:19:13 <tomsmeding> oh right
2020-11-04 13:19:20 <dminuoso> Oh and :*:
2020-11-04 13:19:21 <tomsmeding> well :*: then
2020-11-04 13:19:25 × Lycurgus quits (~niemand@98.4.97.110) (Quit: Exeunt)
2020-11-04 13:19:41 <dminuoso> tomsmeding: I do recall we had something outside generics as well
2020-11-04 13:19:44 <tomsmeding> a Generics import will look decidedly strange in this file, but I guess the semantics work :p
2020-11-04 13:19:58 <dminuoso> tomsmeding: http://hackage.haskell.org/package/base-4.14.0.0/docs/Data-Functor-Product.html
2020-11-04 13:19:59 × `slikts quits (~nelabs@wikipedia/reinis) (Ping timeout: 272 seconds)
2020-11-04 13:20:00 <dminuoso> There
2020-11-04 13:20:09 <dminuoso> That's what I wanted :)
2020-11-04 13:20:12 → nbloomf joins (~nbloomf@76.217.43.73)
2020-11-04 13:20:19 <tomsmeding> ah that's neater
2020-11-04 13:20:22 <tomsmeding> thanks!
2020-11-04 13:20:57 tomsmeding notes in my memory that Data.Functor.Sum also exists
2020-11-04 13:21:46 <tomsmeding> `Pair` collides with a constructor I already have in scope lol
2020-11-04 13:22:28 <dminuoso> Qualified imports is a thing.
2020-11-04 13:23:42 → fendor_ joins (~fendor@77.119.128.11.wireless.dyn.drei.com)
2020-11-04 13:24:02 <tomsmeding> which is what I'll do :)
2020-11-04 13:24:09 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2020-11-04 13:24:52 → `slikts joins (~nelabs@wikipedia/reinis)
2020-11-04 13:25:32 × machinedgod quits (~machinedg@207.253.244.210) (Quit: leaving)
2020-11-04 13:26:09 × nbloomf quits (~nbloomf@76.217.43.73) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-04 13:27:02 × xff0x quits (~fox@2001:1a81:53f2:500:c561:3916:a8eb:5c4a) (Ping timeout: 264 seconds)
2020-11-04 13:27:12 <fendor> merijn, https://paste.tomsmeding.com/O4uOK0Xv looks wrong to me? Ignore the permission errors, unless they hide the issue, they are caused by the read-only cabal store, so downloading is forbidden
2020-11-04 13:27:31 → geekosaur joins (82659a09@host154-009.vpn.uakron.edu)
2020-11-04 13:27:53 → xff0x joins (~fox@2001:1a81:53f2:500:153c:e136:7dea:e190)
2020-11-04 13:28:06 → Eason0210 joins (~user@101.85.10.81)
2020-11-04 13:28:34 <merijn> Does it actually go to the network?
2020-11-04 13:29:08 <fendor> afaict yes
2020-11-04 13:29:13 <merijn> hmm
2020-11-04 13:29:17 <merijn> Then I dunno
2020-11-04 13:29:24 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Quit: restart)
2020-11-04 13:30:06 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-04 13:30:30 <Franciman> hi, dost anybody use gi-gtk-declarative?
2020-11-04 13:30:51 <fendor> so, locally, I can reproduce it by invoking `cabal repl --offline -b hpath` where hpath is a package I haven't downloaded yet. https://paste.tomsmeding.com/RFlwkwVP
2020-11-04 13:32:27 × justMaD quits (~justMaD@184.75.221.35) (Remote host closed the connection)
2020-11-04 13:33:12 → knupfer joins (~Thunderbi@i5E86B46C.versanet.de)
2020-11-04 13:35:37 × fendor_ quits (~fendor@77.119.128.11.wireless.dyn.drei.com) (Ping timeout: 264 seconds)
2020-11-04 13:36:04 → LKoen_ joins (~LKoen@53.253.88.92.rev.sfr.net)
2020-11-04 13:36:38 × cheater quits (~user@unaffiliated/cheater) (Ping timeout: 264 seconds)
2020-11-04 13:38:52 × LKoen quits (~LKoen@53.253.88.92.rev.sfr.net) (Ping timeout: 265 seconds)
2020-11-04 13:39:03 × hekkaidekapus_ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-11-04 13:39:29 → machinedgod joins (~machinedg@207.253.244.210)
2020-11-04 13:40:01 <fendor> maybe the message is just wrong, might play around with it later
2020-11-04 13:40:54 → cheater joins (~user@unaffiliated/cheater)
2020-11-04 13:41:31 → hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-11-04 13:42:09 × machinedgod quits (~machinedg@207.253.244.210) (Remote host closed the connection)
2020-11-04 13:42:57 × knupfer quits (~Thunderbi@i5E86B46C.versanet.de) (Quit: knupfer)
2020-11-04 13:43:09 → knupfer joins (~Thunderbi@200116b82c1ba400a869b894ad25104c.dip.versatel-1u1.de)
2020-11-04 13:44:46 → machinedgod joins (~machinedg@207.253.244.210)
2020-11-04 13:45:25 → ddellacosta joins (~dd@86.106.121.168)
2020-11-04 13:45:47 × avdb quits (~avdb@ip-62-235-73-30.dsl.scarlet.be) (Quit: WeeChat 2.9)
2020-11-04 13:50:01 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-04 13:51:42 <tomsmeding> tcpdump/wireshark, or strace | grep "connect"?
2020-11-04 13:54:24 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds)
2020-11-04 13:55:52 × GUEST95299 quits (~GUEST9529@124.123.107.91) (Remote host closed the connection)
2020-11-04 13:58:49 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 256 seconds)
2020-11-04 13:59:29 hekkaidekapus_ is now known as hekkaidekapus
2020-11-04 13:59:29 × carlomagno1 quits (~cararell@148.87.23.13) (Remote host closed the connection)
2020-11-04 14:00:08 → carlomagno joins (~cararell@148.87.23.13)
2020-11-04 14:03:40 → mb_ joins (~mb@91-160-105-150.subs.proxad.net)
2020-11-04 14:03:57 → Gurkenglas_ joins (~Gurkengla@unaffiliated/gurkenglas)
2020-11-04 14:05:47 × mb_ quits (~mb@91-160-105-150.subs.proxad.net) (Client Quit)
←Prev  Next→
Page 1 .. 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 .. 5022

All times are in UTC.