| 2022-05-16 00:00:36 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-05-16 00:02:30 +0200 | <maerwald> | fresh student writing variables in Deutsch |
| 2022-05-16 00:03:09 +0200 | xaotuk | (~sasha@net110-38-245-109.mbb.telenor.rs) |
| 2022-05-16 00:04:30 +0200 | juri_ | (~juri@178.63.35.222) (Ping timeout: 260 seconds) |
| 2022-05-16 00:07:20 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-16 00:07:35 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2022-05-16 00:09:54 +0200 | jollygood2 | (www-data@2607:5300:60:8be::1) |
| 2022-05-16 00:10:12 +0200 | flupe | (~baboum@176-172-101-165.abo.bbox.fr) (Ping timeout: 248 seconds) |
| 2022-05-16 00:10:27 +0200 | flupe | (~baboum@radon.sbi.re) |
| 2022-05-16 00:10:54 +0200 | jolandr | (~Guest14@user/jolandr) (Ping timeout: 252 seconds) |
| 2022-05-16 00:12:06 +0200 | dcoutts | (~duncan@host86-187-173-90.range86-187.btcentralplus.com) (Remote host closed the connection) |
| 2022-05-16 00:18:59 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-05-16 00:19:47 +0200 | xaotuk | (~sasha@net110-38-245-109.mbb.telenor.rs) (Ping timeout: 252 seconds) |
| 2022-05-16 00:21:24 +0200 | flupe | (~baboum@radon.sbi.re) (Ping timeout: 248 seconds) |
| 2022-05-16 00:23:14 +0200 | rookiedoo | (~rookiedoo@2601:407:c680:3410:68f3:fd0d:4e98:9595) (Quit: Client closed) |
| 2022-05-16 00:23:46 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-05-16 00:26:46 +0200 | sympt | (~sympt@user/sympt) (Quit: The Lounge - https://thelounge.chat) |
| 2022-05-16 00:27:58 +0200 | dcoutts | (~duncan@host86-187-173-90.range86-187.btcentralplus.com) |
| 2022-05-16 00:29:43 +0200 | sympt | (~sympt@user/sympt) |
| 2022-05-16 00:32:35 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-16 00:33:08 +0200 | acidjnk | (~acidjnk@p200300d0c7068b96c1e16b2c2fcc66e6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-05-16 00:33:22 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-05-16 00:37:26 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 2022-05-16 00:46:49 +0200 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 248 seconds) |
| 2022-05-16 00:47:39 +0200 | chomwitt | (~chomwitt@2a02:587:dc21:9e00:5530:2656:4793:d635) (Ping timeout: 240 seconds) |
| 2022-05-16 00:50:08 +0200 | sieben | (~user@ip68-12-103-253.ok.ok.cox.net) |
| 2022-05-16 01:00:32 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 246 seconds) |
| 2022-05-16 01:01:24 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 248 seconds) |
| 2022-05-16 01:05:11 +0200 | <cdsmith> | I'm getting the warning "The record update foo { bar = exp } with type Foo is ambiguous. This will not be supported by DuplicateRecordFields in future releases of GHC." How should this be disambiguated? I've tried adding every type annotation I can think of without success... |
| 2022-05-16 01:06:24 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2022-05-16 01:07:07 +0200 | <monochrom> | Is Foo a parametrized type? That would happen. |
| 2022-05-16 01:07:41 +0200 | <cdsmith> | Yeah, something like `data Foo f = Foo { ..., bar :: f SomeType }` |
| 2022-05-16 01:07:54 +0200 | <cdsmith> | This is a type-changing record update |
| 2022-05-16 01:08:00 +0200 | <monochrom> | If the type annotation uses a type variable too, you need ScopedTypeVariables and some forall's at an outer scope. |
| 2022-05-16 01:08:28 +0200 | <cdsmith> | No, the type annotations don't use type variables. I know the concrete types at the point where this code occurs. |
| 2022-05-16 01:08:30 +0200 | <maerwald> | and then run into simplified subsumption? :> |
| 2022-05-16 01:08:54 +0200 | <cdsmith> | Specifically, I am converting a `Foo TVar` into a `Foo Identity` |
| 2022-05-16 01:09:01 +0200 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) |
| 2022-05-16 01:09:20 +0200 | <monochrom> | Hrm. Maybe ignore the warning... :) |
| 2022-05-16 01:09:40 +0200 | <cdsmith> | It specifically says it's going to break my code in future GHC versions, though. :) |
| 2022-05-16 01:09:55 +0200 | <monochrom> | Do you also use DuplicateRecordFields? |
| 2022-05-16 01:10:00 +0200 | <cdsmith> | Yes |
| 2022-05-16 01:10:42 +0200 | <cdsmith> | yeah, `bar` is definitely a duplicate field name. There is also another type with a field called `bar`. I am using DuplicateRecordFields and NoFieldSelectors |
| 2022-05-16 01:10:42 +0200 | <monochrom> | I am not sure how it's ambiguous in the first place... |
| 2022-05-16 01:10:45 +0200 | flupe | (~baboum@bes60-h02-176-172-101-165.dsl.sta.abo.bbox.fr) |
| 2022-05-16 01:11:37 +0200 | <monochrom> | or therefore exactly what will be unsupported in the future... |
| 2022-05-16 01:12:53 +0200 | <cdsmith> | Yeah, I'm not sure either. I'd be happy to add any annotation to tell GHC which `bar` field this is. I just am failing to successfully tell it. |
| 2022-05-16 01:14:39 +0200 | <cdsmith> | I guess I'll take your advice and disable the warning. |
| 2022-05-16 01:21:32 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:c07a:8e6d:1ea3:2216) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-05-16 01:27:50 +0200 | sieben | (~user@ip68-12-103-253.ok.ok.cox.net) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2022-05-16 01:29:21 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-05-16 01:33:43 +0200 | melas | (~melas@172.77.31.247) |
| 2022-05-16 01:35:02 +0200 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2022-05-16 01:35:06 +0200 | <jackdk> | Sounds like the GHC issue tracker should be told about this |
| 2022-05-16 01:35:15 +0200 | <melas> | Hello! I'm trying to wrap my head around lambda calculus and haskell. I'm playing with this. A "map2D" function, and I'm trying to write the lambda calculus that would represent it. I don't think I have it right though because it doesn't seem to reduce right. Can you tell me what I'm doing wrong here? Thank you!: |
| 2022-05-16 01:35:27 +0200 | <melas> | (\f1 xs -> map f1 xs) . (\f2 ys -> map f2 ys) |
| 2022-05-16 01:35:34 +0200 | <melas> | (λx.yzx)(λm.ynm) |
| 2022-05-16 01:36:39 +0200 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 2022-05-16 01:37:04 +0200 | <geekosaur> | that will actually be difficult, since (a) there's no simple way to represent a list in untyped LC, therefore (b) there's no simple way to write "map" in untyped LC |
| 2022-05-16 01:38:17 +0200 | <geekosaur> | the useful part of lambda calculus with respect to Haskell is that both do reductions the same way. the less than useful part is trying to actually translate Haskell to untyped or simply typed lambda calculus, unless you stick to the parts of Haskell that are representable in those |
| 2022-05-16 01:39:16 +0200 | <jackdk> | Is anyone aware of any good helper libraries for writing GHC plugins? e.g., libraries of optics for working with syntax trees etc |
| 2022-05-16 01:40:50 +0200 | flupe | (~baboum@bes60-h02-176-172-101-165.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2022-05-16 01:46:31 +0200 | <melas> | Could we do it ignoring what map actually is? i.e. just think of it as anything "x" |
| 2022-05-16 01:46:51 +0200 | <melas> | I'm trying to figure out the reduction, not the inner workings of the functions themselves, if t6hat makes sense |
| 2022-05-16 01:47:05 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-16 01:47:32 +0200 | <geekosaur> | only if you pass map in as a parameter |
| 2022-05-16 01:48:26 +0200 | <geekosaur> | lambda calculus is … not real smart, shall we say |
| 2022-05-16 01:49:28 +0200 | flupe | (~baboum@176-172-101-165.abo.bbox.fr) |
| 2022-05-16 01:49:39 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-05-16 01:50:25 +0200 | sympt | (~sympt@user/sympt) (Read error: Connection reset by peer) |
| 2022-05-16 01:50:57 +0200 | <jackdk> | I think rather than thinking of an LC, manually reducing your lambda expressions as if they were haskell may be good practice. Let me prepare a paste |
| 2022-05-16 01:51:10 +0200 | <geekosaur> | probably |
| 2022-05-16 01:51:37 +0200 | <geekosaur> | anyway your most likely direct problem is it looks to me like you're trying to represent function composition as function application, which doesn't work |
| 2022-05-16 01:51:39 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-05-16 01:51:57 +0200 | sympt | (~sympt@user/sympt) |
| 2022-05-16 01:52:25 +0200 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (Ping timeout: 260 seconds) |
| 2022-05-16 01:53:18 +0200 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) |
| 2022-05-16 01:55:23 +0200 | <jackdk> | @src (.) |
| 2022-05-16 01:55:23 +0200 | <melas> | Ah, I see what you mean. That's probably why I'm not understanding it |
| 2022-05-16 01:55:23 +0200 | <lambdabot> | (f . g) x = f (g x) |
| 2022-05-16 01:55:31 +0200 | <geekosaur> | function composition (the (.) operator) is λf.λg.λx.f(g(x)) |
| 2022-05-16 01:57:35 +0200 | <melas> | So instead of using (.) could we use LC to reduce this?: |
| 2022-05-16 01:57:36 +0200 | <melas> | map2D = (\x -> (\f1 xs -> map f1 xs) ((\f2 ys -> map f2 ys) x)) |
| 2022-05-16 01:58:24 +0200 | <melas> | My end goal here is to make sure I understand how functions are applied in which order |
| 2022-05-16 01:58:50 +0200 | flupe | (~baboum@176-172-101-165.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2022-05-16 01:59:12 +0200 | <geekosaur> | here I think jackdk's approach will be more fruitful |
| 2022-05-16 01:59:32 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 248 seconds) |
| 2022-05-16 01:59:33 +0200 | <melas> | I guess I naively imagined I could use LC on any function |
| 2022-05-16 01:59:55 +0200 | <jackdk> | This is an expansion of your first question. I would try each step by hand, checking whether what you have makes sense (order can vary a little) https://www.irccloud.com/pastebin/D6zq8QVp/map-of-map.hs |
| 2022-05-16 02:00:34 +0200 | <jackdk> | I have to do a bit of work now, but mention my name if you don't understand a step and I'll check back (IRC predates the @name convention) |
| 2022-05-16 02:01:19 +0200 | <melas> | oh dang. lightbulb moment. I get it now |
| 2022-05-16 02:01:26 +0200 | <jackdk> | \o/ |
| 2022-05-16 02:01:28 +0200 | <melas> | THANK YOU so so much. Very useful |
| 2022-05-16 02:02:16 +0200 | <melas> | Now I proceed with my day without frustration, haha. Gotta go clean the house. Thank you all again |
| 2022-05-16 02:02:19 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 240 seconds) |
| 2022-05-16 02:02:42 +0200 | <jackdk> | Farewell and good luck |
| 2022-05-16 02:06:41 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-05-16 02:07:26 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2022-05-16 02:11:31 +0200 | flupe | (~baboum@radon.sbi.re) |
| 2022-05-16 02:14:18 +0200 | joo-_ | (~joo-_@fsf/member/joo--) (Ping timeout: 276 seconds) |
| 2022-05-16 02:14:52 +0200 | <Axman6> | jackdk: maybe we bite the bullet and make the ghc-lens library. would be nice to be able to use TH to make the lenses and copy the dumped splices rather than the orphan Generic instances |
| 2022-05-16 02:15:19 +0200 | joo-_ | (~joo-_@87-49-146-83-mobile.dk.customer.tdc.net) |
| 2022-05-16 02:15:19 +0200 | joo-_ | (~joo-_@87-49-146-83-mobile.dk.customer.tdc.net) (Changing host) |
| 2022-05-16 02:15:19 +0200 | joo-_ | (~joo-_@fsf/member/joo--) |
| 2022-05-16 02:16:10 +0200 | <Axman6> | jackdk: meta project: a plugin which can generate lenses from definitions in another library... which we can use for our plugin |
| 2022-05-16 02:16:21 +0200 | <jackdk> | Axman6: I'm not thrilled at the prospect, because the maintenance is gonna suck |
| 2022-05-16 02:16:59 +0200 | jollygood2 | (www-data@2607:5300:60:8be::1) (Quit: CGI:IRC (Ping timeout)) |
| 2022-05-16 02:17:01 +0200 | <Axman6> | I would hope that the trees that grow work might make things a bit more stable these days |
| 2022-05-16 02:18:22 +0200 | wgl | (~wgl@75-161-32-115.albq.qwest.net) |
| 2022-05-16 02:19:16 +0200 | wgl | (~wgl@75-161-32-115.albq.qwest.net) (Client Quit) |
| 2022-05-16 02:19:57 +0200 | king_gs | (~Thunderbi@187.201.97.18) |
| 2022-05-16 02:30:10 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-05-16 02:33:26 +0200 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 252 seconds) |
| 2022-05-16 02:35:04 +0200 | flupe | (~baboum@radon.sbi.re) (Ping timeout: 248 seconds) |
| 2022-05-16 02:35:37 +0200 | flupe | (~baboum@radon.sbi.re) |
| 2022-05-16 02:37:50 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 252 seconds) |
| 2022-05-16 02:39:50 +0200 | king_gs | (~Thunderbi@187.201.97.18) (Read error: Connection reset by peer) |
| 2022-05-16 02:40:43 +0200 | <dibblego> | I have a similar project in my head |
| 2022-05-16 02:42:09 +0200 | king_gs | (~Thunderbi@187.201.97.18) |
| 2022-05-16 02:46:49 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) |
| 2022-05-16 02:51:27 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2022-05-16 02:58:56 +0200 | <jackdk> | Axman6: TTG has some interesting consequences: you probably want to provide (e.g., for `HsDecl p`): `_TyClD :: Prism (HsDecl p) (HsDecl q) (XTyClD p, TyClDecl p) (XTyClD q, TyClDecl q)` as well as `_TyClD' :: (XTyClD p ~ (), XTyClD q ~ ()) => Prism (HsDecl p) (HsDecl q) (XTyClD p) (XTyClD q)` |
| 2022-05-16 03:00:26 +0200 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-05-16 03:07:32 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2022-05-16 03:10:43 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-05-16 03:11:12 +0200 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) |
| 2022-05-16 03:14:06 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 276 seconds) |
| 2022-05-16 03:16:10 +0200 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.5) |
| 2022-05-16 03:16:12 +0200 | frost | (~frost@user/frost) |
| 2022-05-16 03:16:51 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-05-16 03:18:28 +0200 | king_gs | (~Thunderbi@187.201.97.18) (Ping timeout: 248 seconds) |
| 2022-05-16 03:20:16 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2022-05-16 03:22:00 +0200 | andrey_ | (~andrey@p200300dbcf05e8005ddecd234143f629.dip0.t-ipconnect.de) |
| 2022-05-16 03:24:38 +0200 | andrey | (~andrey@p200300dbcf47c200eee061049814fce3.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-05-16 03:36:23 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-05-16 03:38:44 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 248 seconds) |
| 2022-05-16 03:40:28 +0200 | sympt | (~sympt@user/sympt) (Remote host closed the connection) |
| 2022-05-16 03:40:50 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-05-16 03:41:26 +0200 | sympt | (~sympt@user/sympt) |
| 2022-05-16 03:44:13 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-05-16 03:52:50 +0200 | melas | (~melas@172.77.31.247) (Ping timeout: 240 seconds) |
| 2022-05-16 04:00:10 +0200 | Benzi-Junior | (~BenziJuni@88-149-64-179.du.xdsl.is) (Ping timeout: 240 seconds) |
| 2022-05-16 04:03:57 +0200 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-05-16 04:05:27 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-05-16 04:05:27 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-05-16 04:05:27 +0200 | finn_elija | FinnElija |
| 2022-05-16 04:09:04 +0200 | king_gs | (~Thunderbi@187.201.97.18) |
| 2022-05-16 04:16:47 +0200 | Sgeo_ | (~Sgeo@user/sgeo) |
| 2022-05-16 04:17:24 +0200 | x_kuru | (~xkuru@user/xkuru) |
| 2022-05-16 04:17:46 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-05-16 04:18:04 +0200 | caef^ | (~nehsou@128-092-160-234.biz.spectrum.com) (Read error: Connection reset by peer) |
| 2022-05-16 04:18:25 +0200 | caef^ | (~caef@128-092-160-234.biz.spectrum.com) |
| 2022-05-16 04:18:30 +0200 | kraftwerk28_ | (~kraftwerk@178.62.210.83) (Ping timeout: 240 seconds) |
| 2022-05-16 04:18:49 +0200 | kraftwerk28 | (~kraftwerk@178.62.210.83) |
| 2022-05-16 04:19:50 +0200 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 2022-05-16 04:20:10 +0200 | xkuru | (~xkuru@user/xkuru) (Ping timeout: 240 seconds) |
| 2022-05-16 04:23:04 +0200 | trillp | (~trillp@216.128.134.16) |
| 2022-05-16 04:27:03 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2022-05-16 04:29:34 +0200 | dcoutts | (~duncan@host86-187-173-90.range86-187.btcentralplus.com) (Read error: Connection reset by peer) |
| 2022-05-16 04:29:49 +0200 | dcoutts | (~duncan@host86-187-173-90.range86-187.btcentralplus.com) |
| 2022-05-16 04:34:47 +0200 | gpncarl | (~gpncarl@210.12.195.2) |
| 2022-05-16 04:35:26 +0200 | dust_ | (~dust@122.167.145.136) |
| 2022-05-16 04:35:35 +0200 | dust_ | (~dust@122.167.145.136) (Client Quit) |
| 2022-05-16 04:40:17 +0200 | king_gs | (~Thunderbi@187.201.97.18) (Ping timeout: 256 seconds) |
| 2022-05-16 04:40:41 +0200 | sympt | (~sympt@user/sympt) (Ping timeout: 246 seconds) |
| 2022-05-16 04:42:48 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-05-16 04:43:34 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds) |
| 2022-05-16 04:45:20 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-05-16 04:46:30 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-16 04:46:32 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 252 seconds) |
| 2022-05-16 04:46:37 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-05-16 04:49:53 +0200 | sabry | (~sabry@197.37.135.141) |
| 2022-05-16 04:50:12 +0200 | king_gs | (~Thunderbi@187.201.97.18) |
| 2022-05-16 04:51:33 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-05-16 04:52:44 +0200 | king_gs | (~Thunderbi@187.201.97.18) (Client Quit) |
| 2022-05-16 04:52:56 +0200 | king_gs | (~Thunderbi@187.201.97.18) |
| 2022-05-16 05:07:26 +0200 | dcoutts | (~duncan@host86-187-173-90.range86-187.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2022-05-16 05:10:04 +0200 | sympt | (~sympt@user/sympt) |
| 2022-05-16 05:11:35 +0200 | dcoutts | (~duncan@host86-187-173-90.range86-187.btcentralplus.com) |
| 2022-05-16 05:12:16 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-05-16 05:12:45 +0200 | rekahsoft | (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) |
| 2022-05-16 05:13:11 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-05-16 05:13:26 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-05-16 05:13:37 +0200 | king_gs | (~Thunderbi@187.201.97.18) (Quit: king_gs) |
| 2022-05-16 05:17:21 +0200 | melas | (~melas@172.77.31.247) |
| 2022-05-16 05:18:29 +0200 | sympt | (~sympt@user/sympt) (Remote host closed the connection) |
| 2022-05-16 05:18:50 +0200 | dcoutts | (~duncan@host86-187-173-90.range86-187.btcentralplus.com) (Ping timeout: 246 seconds) |
| 2022-05-16 05:30:08 +0200 | gpncarl_ | (~gpncarl@210.12.195.2) |
| 2022-05-16 05:31:05 +0200 | gpncarl | (~gpncarl@210.12.195.2) (Ping timeout: 252 seconds) |
| 2022-05-16 05:35:24 +0200 | coot | (~coot@213.134.190.95) |
| 2022-05-16 05:50:26 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) |
| 2022-05-16 05:54:44 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Ping timeout: 248 seconds) |
| 2022-05-16 06:05:44 +0200 | <dragestil> | I remember seeing somewhere a command or set of flags to use when cabal build so that the dependency problems in the output are more readable, but I can't find it anywhere |
| 2022-05-16 06:09:06 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2022-05-16 06:11:43 +0200 | stackdroid18 | (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-05-16 06:13:45 +0200 | mixfix41 | (~sdenynine@user/mixfix41) |
| 2022-05-16 06:27:05 +0200 | rekahsoft | (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) (Remote host closed the connection) |
| 2022-05-16 06:27:48 +0200 | rekahsoft | (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) |
| 2022-05-16 06:35:14 +0200 | dcoutts | (~duncan@84.207.203.52) |
| 2022-05-16 06:35:36 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 2022-05-16 06:35:36 +0200 | dcoutts | (~duncan@84.207.203.52) (Read error: Connection reset by peer) |
| 2022-05-16 06:37:16 +0200 | dcoutts | (~duncan@84.207.203.52) |
| 2022-05-16 06:37:36 +0200 | mixfix41 | (~sdenynine@user/mixfix41) (Read error: Connection reset by peer) |
| 2022-05-16 06:37:36 +0200 | dcoutts | (~duncan@84.207.203.52) (Read error: Connection reset by peer) |
| 2022-05-16 06:37:38 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-05-16 06:38:16 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-16 06:38:59 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-05-16 06:40:21 +0200 | <jackdk> | don't know it. meanwhile, pastebin your dependency error? |
| 2022-05-16 06:43:32 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-16 06:46:04 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-05-16 06:46:50 +0200 | rekahsoft | (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) (Ping timeout: 240 seconds) |
| 2022-05-16 06:47:53 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-05-16 06:48:49 +0200 | stackdroid18 | (14094@user/stackdroid) |
| 2022-05-16 06:49:06 +0200 | <dragestil> | jackdk: thanks - i fixed it by relaxing some deps |
| 2022-05-16 06:49:09 +0200 | stackdroid18 | (14094@user/stackdroid) (Client Quit) |
| 2022-05-16 06:50:08 +0200 | dcoutts | (~duncan@185.201.63.254) |
| 2022-05-16 06:51:24 +0200 | akegalj | (~akegalj@89-172-16-42.adsl.net.t-com.hr) |
| 2022-05-16 06:52:10 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-05-16 06:53:02 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-16 06:54:46 +0200 | steven | (~steven@2600:1700:ce00:1ca0:1d43:a789:9670:cc38) |
| 2022-05-16 06:55:12 +0200 | stackdroid18 | (14094@user/stackdroid) |
| 2022-05-16 06:55:25 +0200 | stackdroid18 | (14094@user/stackdroid) (Client Quit) |
| 2022-05-16 06:55:54 +0200 | <steven> | hello, I made a hackage release for the first time just now, and I see that the documentation isn't showing for the new version. Is it expected, or did I do something wrong in the release? Here is the package https://hackage.haskell.org/package/microlens-mtl |
| 2022-05-16 06:58:25 +0200 | stackdroid18 | (14094@user/stackdroid) |
| 2022-05-16 06:58:34 +0200 | stackdroid18 | (14094@user/stackdroid) (Client Quit) |
| 2022-05-16 07:02:52 +0200 | <dsal> | steven: "Docs pending" -- it can sometimes take a while. |
| 2022-05-16 07:04:27 +0200 | dcoutts | (~duncan@185.201.63.254) (Remote host closed the connection) |
| 2022-05-16 07:04:46 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-05-16 07:08:13 +0200 | <steven> | dsal: ah thanks, I didn't see that part. I only saw "documentation unavailable". I also found that there's this script to build it myself https://hackage.haskell.org/upload |
| 2022-05-16 07:08:13 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-05-16 07:08:24 +0200 | <steven> | ok great, I will just wait and see then |
| 2022-05-16 07:09:16 +0200 | sympt | (~sympt@user/sympt) |
| 2022-05-16 07:13:19 +0200 | sympt | (~sympt@user/sympt) (Remote host closed the connection) |
| 2022-05-16 07:14:28 +0200 | sympt | (~sympt@user/sympt) |
| 2022-05-16 07:17:40 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-05-16 07:18:37 +0200 | stackdroid18 | (14094@user/stackdroid) |
| 2022-05-16 07:21:03 +0200 | stackdroid18 | (14094@user/stackdroid) (Client Quit) |
| 2022-05-16 07:21:31 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-16 07:23:34 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-05-16 07:26:35 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-05-16 07:34:42 +0200 | stackdroid18 | (14094@user/stackdroid) |
| 2022-05-16 07:34:47 +0200 | stackdroid18 | (14094@user/stackdroid) (Client Quit) |
| 2022-05-16 07:34:50 +0200 | <jackdk> | dragestil: oh good |
| 2022-05-16 07:34:53 +0200 | <jackdk> | glad to hear it |
| 2022-05-16 07:37:16 +0200 | chomwitt | (~chomwitt@2a02:587:dc15:4f00:52fe:5216:7cb9:4726) |
| 2022-05-16 07:41:40 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) |
| 2022-05-16 07:41:47 +0200 | Sweet | (~user@s19427110.onlinehome-server.info) (*.net *.split) |
| 2022-05-16 07:41:47 +0200 | liskin | (~liskin@xmonad/liskin) (*.net *.split) |
| 2022-05-16 07:41:47 +0200 | remedan | (~remedan@octo.cafe) (*.net *.split) |
| 2022-05-16 07:41:47 +0200 | canta | (~canta@user/canta) (*.net *.split) |
| 2022-05-16 07:41:47 +0200 | eagleflo | (~aku@163.172.137.34) (*.net *.split) |
| 2022-05-16 07:41:47 +0200 | RSBach | (~guygastin@137.184.131.156) (*.net *.split) |
| 2022-05-16 07:41:47 +0200 | cocreature | (~moritz@2a03:b0c0:3:d0::c8:f001) (*.net *.split) |
| 2022-05-16 07:41:47 +0200 | philpax_ | (sid516926@id-516926.lymington.irccloud.com) (*.net *.split) |
| 2022-05-16 07:41:47 +0200 | edwardk | (sid47016@haskell/developer/edwardk) (*.net *.split) |
| 2022-05-16 07:41:47 +0200 | mustafa | (sid502723@rockylinux/releng/mustafa) (*.net *.split) |
| 2022-05-16 07:41:47 +0200 | hubvu_ | (sid495858@id-495858.tinside.irccloud.com) (*.net *.split) |
| 2022-05-16 07:41:47 +0200 | astra | (sid289983@user/amish) (*.net *.split) |
| 2022-05-16 07:41:47 +0200 | ByronJohnson | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) (*.net *.split) |
| 2022-05-16 07:41:47 +0200 | int-e | (~noone@int-e.eu) (*.net *.split) |
| 2022-05-16 07:41:47 +0200 | tolt | (~weechat-h@li219-154.members.linode.com) (*.net *.split) |
| 2022-05-16 07:41:47 +0200 | mesaoptimizer | (uid546676@user/PapuaHardyNet) (*.net *.split) |
| 2022-05-16 07:41:47 +0200 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) (*.net *.split) |
| 2022-05-16 07:41:47 +0200 | edmundnoble | (sid229620@id-229620.helmsley.irccloud.com) (*.net *.split) |
| 2022-05-16 07:41:47 +0200 | aarchi | (sid486183@id-486183.uxbridge.irccloud.com) (*.net *.split) |
| 2022-05-16 07:41:47 +0200 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) (*.net *.split) |
| 2022-05-16 07:41:47 +0200 | dmj` | (sid72307@id-72307.hampstead.irccloud.com) (*.net *.split) |
| 2022-05-16 07:41:47 +0200 | truckasaurus | (sid457088@id-457088.helmsley.irccloud.com) (*.net *.split) |
| 2022-05-16 07:41:47 +0200 | gmc | (sid58314@id-58314.ilkley.irccloud.com) (*.net *.split) |
| 2022-05-16 07:41:47 +0200 | parseval | (sid239098@id-239098.helmsley.irccloud.com) (*.net *.split) |
| 2022-05-16 07:41:47 +0200 | amir | (sid22336@user/amir) (*.net *.split) |
| 2022-05-16 07:41:47 +0200 | bradparker | (sid262931@id-262931.uxbridge.irccloud.com) (*.net *.split) |
| 2022-05-16 07:41:47 +0200 | jjhoo | (~jahakala@user/jjhoo) (*.net *.split) |
| 2022-05-16 07:41:47 +0200 | ouroboros | (~ouroboros@user/ouroboros) (*.net *.split) |
| 2022-05-16 07:41:47 +0200 | jackhill | (~jackhill@kalessin.dragonsnail.net) (*.net *.split) |
| 2022-05-16 07:41:56 +0200 | jackhill | (~jackhill@kalessin.dragonsnail.net) |
| 2022-05-16 07:41:57 +0200 | int-e | (~noone@int-e.eu) |
| 2022-05-16 07:41:58 +0200 | ByronJohnson | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) |
| 2022-05-16 07:41:59 +0200 | Sweet | (~user@s19427110.onlinehome-server.info) |
| 2022-05-16 07:42:02 +0200 | edwardk | (sid47016@haskell/developer/edwardk) |
| 2022-05-16 07:42:02 +0200 | aarchi | (sid486183@id-486183.uxbridge.irccloud.com) |
| 2022-05-16 07:42:03 +0200 | edmundnoble | (sid229620@id-229620.helmsley.irccloud.com) |
| 2022-05-16 07:42:05 +0200 | gmc | (sid58314@id-58314.ilkley.irccloud.com) |
| 2022-05-16 07:42:09 +0200 | canta | (~canta@cvm0.d5k.one) |
| 2022-05-16 07:42:10 +0200 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) |
| 2022-05-16 07:42:11 +0200 | parseval | (sid239098@id-239098.helmsley.irccloud.com) |
| 2022-05-16 07:42:20 +0200 | liskin | (~liskin@ackle.nomi.cz) |
| 2022-05-16 07:42:24 +0200 | hubvu_ | (sid495858@id-495858.tinside.irccloud.com) |
| 2022-05-16 07:42:27 +0200 | tolt | (~weechat-h@li219-154.members.linode.com) |
| 2022-05-16 07:42:29 +0200 | canta | (~canta@cvm0.d5k.one) (Changing host) |
| 2022-05-16 07:42:29 +0200 | canta | (~canta@user/canta) |
| 2022-05-16 07:42:29 +0200 | dmj` | (sid72307@id-72307.hampstead.irccloud.com) |
| 2022-05-16 07:42:33 +0200 | truckasaurus | (sid457088@id-457088.helmsley.irccloud.com) |
| 2022-05-16 07:42:35 +0200 | mustafa | (sid502723@rockylinux/releng/mustafa) |
| 2022-05-16 07:42:36 +0200 | liskin | (~liskin@ackle.nomi.cz) (Signing in (liskin)) |
| 2022-05-16 07:42:36 +0200 | liskin | (~liskin@xmonad/liskin) |
| 2022-05-16 07:42:49 +0200 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) |
| 2022-05-16 07:42:49 +0200 | bradparker | (sid262931@id-262931.uxbridge.irccloud.com) |
| 2022-05-16 07:42:52 +0200 | amir | (sid22336@user/amir) |
| 2022-05-16 07:42:52 +0200 | mesaoptimizer | (sid546676@user/PapuaHardyNet) |
| 2022-05-16 07:42:52 +0200 | philpax_ | (sid516926@id-516926.lymington.irccloud.com) |
| 2022-05-16 07:42:52 +0200 | cocreature | (~moritz@2a03:b0c0:3:d0::c8:f001) |
| 2022-05-16 07:42:56 +0200 | RMSBach | (~guygastin@137.184.131.156) |
| 2022-05-16 07:42:56 +0200 | ouroboros | (~ouroboros@user/ouroboros) |
| 2022-05-16 07:42:58 +0200 | remedan | (~remedan@octo.cafe) |
| 2022-05-16 07:43:06 +0200 | astra | (sid289983@id-289983.hampstead.irccloud.com) |
| 2022-05-16 07:43:43 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-16 07:44:52 +0200 | stackdroid18 | (~stackdroi@user/stackdroid) |
| 2022-05-16 07:44:52 +0200 | stackdroid18 | (~stackdroi@user/stackdroid) (Client Quit) |
| 2022-05-16 07:47:03 +0200 | jjhoo | (~jahakala@user/jjhoo) |
| 2022-05-16 07:47:03 +0200 | eagleflo | (~aku@163.172.137.34) |
| 2022-05-16 07:47:35 +0200 | agumonkey | (~user@88.163.231.79) |
| 2022-05-16 07:48:22 +0200 | CAT_S | (apic@brezn3.muc.ccc.de) (*.net *.split) |
| 2022-05-16 07:48:22 +0200 | hltk | (~hltk@hltk.fi) (*.net *.split) |
| 2022-05-16 07:48:22 +0200 | sshine | (~simon@exocortex.online) (*.net *.split) |
| 2022-05-16 07:48:22 +0200 | meejah | (~meejah@rutas.meejah.ca) (*.net *.split) |
| 2022-05-16 07:48:22 +0200 | Unode | (~Unode@194.94.44.220) (*.net *.split) |
| 2022-05-16 07:48:22 +0200 | darkling | (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) (*.net *.split) |
| 2022-05-16 07:48:22 +0200 | YoungFrog | (~youngfrog@2a02:a03f:c21b:f900:eb96:d26f:93a3:4c34) (*.net *.split) |
| 2022-05-16 07:48:22 +0200 | Franciman | (~Franciman@mx1.fracta.dev) (*.net *.split) |
| 2022-05-16 07:48:22 +0200 | feetwind | (~mike@user/feetwind) (*.net *.split) |
| 2022-05-16 07:48:22 +0200 | yushyin | (klVu03SvEu@mail.karif.server-speed.net) (*.net *.split) |
| 2022-05-16 07:48:22 +0200 | tomjaguarpaw | (~tom@li367-225.members.linode.com) (*.net *.split) |
| 2022-05-16 07:48:22 +0200 | sooch_ | (sid533113@id-533113.hampstead.irccloud.com) (*.net *.split) |
| 2022-05-16 07:48:22 +0200 | rubin55 | (sid175221@id-175221.hampstead.irccloud.com) (*.net *.split) |
| 2022-05-16 07:48:22 +0200 | S11001001 | (sid42510@id-42510.ilkley.irccloud.com) (*.net *.split) |
| 2022-05-16 07:48:22 +0200 | Firedancer | (sid336191@id-336191.hampstead.irccloud.com) (*.net *.split) |
| 2022-05-16 07:48:22 +0200 | carter | (sid14827@id-14827.helmsley.irccloud.com) (*.net *.split) |
| 2022-05-16 07:48:22 +0200 | xnbya | (~xnbya@2a01:4f8:c17:cbdd::1) (*.net *.split) |
| 2022-05-16 07:48:22 +0200 | enemeth79 | (sid309041@id-309041.lymington.irccloud.com) (*.net *.split) |
| 2022-05-16 07:48:22 +0200 | welterde | (~welterde@thinkbase.srv.welterde.de) (*.net *.split) |
| 2022-05-16 07:48:29 +0200 | xnbya | (~xnbya@2a01:4f8:c17:cbdd::1) |
| 2022-05-16 07:48:30 +0200 | meejah | (~meejah@rutas.meejah.ca) |
| 2022-05-16 07:48:31 +0200 | CAT_S | (apic@brezn3.muc.ccc.de) |
| 2022-05-16 07:48:31 +0200 | darkling | (~darkling@savella.carfax.org.uk) |
| 2022-05-16 07:48:33 +0200 | sooch_ | (sid533113@id-533113.hampstead.irccloud.com) |
| 2022-05-16 07:48:34 +0200 | hltk | (~hltk@hltk.fi) |
| 2022-05-16 07:48:38 +0200 | tomjaguarpaw | (~tom@li367-225.members.linode.com) |
| 2022-05-16 07:48:40 +0200 | sshine | (~simon@exocortex.online) |
| 2022-05-16 07:48:42 +0200 | Firedancer | (sid336191@id-336191.hampstead.irccloud.com) |
| 2022-05-16 07:48:47 +0200 | enemeth79 | (sid309041@id-309041.lymington.irccloud.com) |
| 2022-05-16 07:48:49 +0200 | S11001001 | (sid42510@id-42510.ilkley.irccloud.com) |
| 2022-05-16 07:48:50 +0200 | Franciman | (~Franciman@mx1.fracta.dev) |
| 2022-05-16 07:48:55 +0200 | yushyin | (5lIhc4jWEt@mail.karif.server-speed.net) |
| 2022-05-16 07:49:06 +0200 | feetwind | (~mike@2406:d501::79ae:5f3e) |
| 2022-05-16 07:49:08 +0200 | carter | (sid14827@id-14827.helmsley.irccloud.com) |
| 2022-05-16 07:49:13 +0200 | YoungFrog | (~youngfrog@2a02:a03f:c21b:f900:3182:11b3:8829:1e63) |
| 2022-05-16 07:49:16 +0200 | welterde | (welterde@thinkbase.srv.welterde.de) |
| 2022-05-16 07:49:18 +0200 | rubin55 | (sid175221@id-175221.hampstead.irccloud.com) |
| 2022-05-16 07:49:32 +0200 | zmt00 | (~zmt00@user/zmt00) (Quit: Leaving) |
| 2022-05-16 07:49:33 +0200 | Unode | (~Unode@194.94.44.220) |
| 2022-05-16 07:49:37 +0200 | feetwind | Guest3304 |
| 2022-05-16 07:53:15 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-16 07:53:21 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2022-05-16 07:53:24 +0200 | zmt00 | (~zmt00@user/zmt00) (Client Quit) |
| 2022-05-16 07:53:46 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2022-05-16 07:57:33 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) |
| 2022-05-16 08:00:56 +0200 | steven | (~steven@2600:1700:ce00:1ca0:1d43:a789:9670:cc38) (Ping timeout: 248 seconds) |
| 2022-05-16 08:01:50 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-05-16 08:16:13 +0200 | michalz | (~michalz@185.246.204.125) |
| 2022-05-16 08:16:15 +0200 | coot | (~coot@213.134.190.95) |
| 2022-05-16 08:29:01 +0200 | benin | (~benin@183.82.31.170) |
| 2022-05-16 08:37:00 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-05-16 08:39:03 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 260 seconds) |
| 2022-05-16 08:39:52 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-05-16 08:40:02 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:369e:42d1:8f75:3666) |
| 2022-05-16 08:50:23 +0200 | caef^ | (~caef@128-092-160-234.biz.spectrum.com) (Remote host closed the connection) |
| 2022-05-16 08:51:10 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-05-16 08:53:51 +0200 | shriekingnoise | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-05-16 08:55:16 +0200 | xaotuk | (~sasha@net140-34-245-109.mbb.telenor.rs) |
| 2022-05-16 08:56:59 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-05-16 08:57:37 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 2022-05-16 09:00:05 +0200 | acidjnk | (~acidjnk@p200300d0c7068b73d0eeb5d70366dc27.dip0.t-ipconnect.de) |
| 2022-05-16 09:00:57 +0200 | xaotuk | (~sasha@net140-34-245-109.mbb.telenor.rs) (Ping timeout: 260 seconds) |
| 2022-05-16 09:03:13 +0200 | christiansen_ | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 2022-05-16 09:03:36 +0200 | jco | (~jco@90-228-194-139-no542.tbcn.telia.com) |
| 2022-05-16 09:04:06 +0200 | kuribas | (~user@ptr-17d51emxx4y1njcuupn.18120a2.ip6.access.telenet.be) |
| 2022-05-16 09:04:48 +0200 | [_________] | (~oos95GWG@user/oos95GWG) (Quit: [_________]) |
| 2022-05-16 09:05:06 +0200 | melas | (~melas@172.77.31.247) (Ping timeout: 276 seconds) |
| 2022-05-16 09:05:35 +0200 | odnes | (~odnes@5-203-204-202.pat.nym.cosmote.net) |
| 2022-05-16 09:06:40 +0200 | christiansen_ | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Client Quit) |
| 2022-05-16 09:06:41 +0200 | [_________] | (~oos95GWG@user/oos95GWG) |
| 2022-05-16 09:06:52 +0200 | x_kuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-05-16 09:07:22 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 260 seconds) |
| 2022-05-16 09:09:27 +0200 | alp_ | (~alp@user/alp) |
| 2022-05-16 09:12:22 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-16 09:15:40 +0200 | mixfix41 | (~sdenynine@user/mixfix41) |
| 2022-05-16 09:19:29 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-05-16 09:21:54 +0200 | dcoutts | (~duncan@185.201.63.254) |
| 2022-05-16 09:23:37 +0200 | agumonkey | (~user@88.163.231.79) (Ping timeout: 256 seconds) |
| 2022-05-16 09:26:52 +0200 | [_________] | (~oos95GWG@user/oos95GWG) (Quit: [_________]) |
| 2022-05-16 09:27:50 +0200 | dcoutts | (~duncan@185.201.63.254) (Ping timeout: 240 seconds) |
| 2022-05-16 09:28:09 +0200 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-05-16 09:32:33 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) |
| 2022-05-16 09:38:49 +0200 | [_________] | (~oos95GWG@user/oos95GWG) |
| 2022-05-16 09:40:25 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-16 09:42:36 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 272 seconds) |
| 2022-05-16 09:45:46 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 272 seconds) |
| 2022-05-16 09:48:09 +0200 | ubert | (~Thunderbi@p200300ecdf15884bec30bba7413e2c9e.dip0.t-ipconnect.de) |
| 2022-05-16 09:48:52 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-05-16 09:49:03 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 260 seconds) |
| 2022-05-16 09:50:03 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-05-16 09:51:37 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-05-16 09:55:48 +0200 | odnes | (~odnes@5-203-204-202.pat.nym.cosmote.net) (Quit: Leaving) |
| 2022-05-16 09:57:29 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-16 10:02:12 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-05-16 10:02:12 +0200 | jco | (~jco@90-228-194-139-no542.tbcn.telia.com) (Ping timeout: 260 seconds) |
| 2022-05-16 10:03:25 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-05-16 10:04:02 +0200 | jco | (~jco@90-228-194-139-no542.tbcn.telia.com) |
| 2022-05-16 10:05:39 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-05-16 10:10:59 +0200 | akegalj | (~akegalj@89-172-16-42.adsl.net.t-com.hr) (Quit: leaving) |
| 2022-05-16 10:12:59 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds) |
| 2022-05-16 10:13:04 +0200 | chele | (~chele@user/chele) |
| 2022-05-16 10:13:30 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-16 10:16:16 +0200 | juri_ | (~juri@178.63.35.222) |
| 2022-05-16 10:19:19 +0200 | frost | (~frost@user/frost) |
| 2022-05-16 10:20:38 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-05-16 10:23:53 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) |
| 2022-05-16 10:25:57 +0200 | [_________] | (~oos95GWG@user/oos95GWG) (Quit: [_________]) |
| 2022-05-16 10:26:50 +0200 | [_________] | (~oos95GWG@user/oos95GWG) |
| 2022-05-16 10:29:11 +0200 | astra | amish |
| 2022-05-16 10:29:19 +0200 | amish | (sid289983@id-289983.hampstead.irccloud.com) (Changing host) |
| 2022-05-16 10:29:19 +0200 | amish | (sid289983@user/amish) |
| 2022-05-16 10:29:31 +0200 | amish | astra |
| 2022-05-16 10:30:47 +0200 | ccntrq | (~Thunderbi@imx92-1-78-204-187-6.fbx.proxad.net) |
| 2022-05-16 10:32:40 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-16 10:33:08 +0200 | sabry | (~sabry@197.37.135.141) (Ping timeout: 252 seconds) |
| 2022-05-16 10:33:49 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-16 10:34:51 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) |
| 2022-05-16 10:37:02 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-05-16 10:38:35 +0200 | ubert | (~Thunderbi@p200300ecdf15884bec30bba7413e2c9e.dip0.t-ipconnect.de) (Quit: ubert) |
| 2022-05-16 10:48:30 +0200 | MajorBiscuit | (~MajorBisc@145.94.234.141) |
| 2022-05-16 10:48:35 +0200 | MajorBiscuit | (~MajorBisc@145.94.234.141) (Client Quit) |
| 2022-05-16 10:48:52 +0200 | MajorBiscuit | (~MajorBisc@145.94.234.141) |
| 2022-05-16 10:49:16 +0200 | MajorBiscuit | (~MajorBisc@145.94.234.141) (Client Quit) |
| 2022-05-16 10:50:05 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-05-16 10:50:47 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 2022-05-16 10:52:12 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-16 10:55:05 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-05-16 10:57:41 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-05-16 10:58:38 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-16 10:58:43 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-16 10:59:09 +0200 | sabry | (~sabry@197.37.199.95) |
| 2022-05-16 11:00:06 +0200 | vestige[m] | (~vestigema@2001:470:69fc:105::1:f9dd) (Quit: You have been kicked for being idle) |
| 2022-05-16 11:03:32 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-05-16 11:04:43 +0200 | mbuf | (~Shakthi@31.32.33.168) |
| 2022-05-16 11:06:01 +0200 | chomwitt | (~chomwitt@2a02:587:dc15:4f00:52fe:5216:7cb9:4726) (Ping timeout: 248 seconds) |
| 2022-05-16 11:06:37 +0200 | MajorBiscuit | (~MajorBisc@145.94.234.141) |
| 2022-05-16 11:07:37 +0200 | yushyin | (5lIhc4jWEt@mail.karif.server-speed.net) (Quit: WeeChat 3.4.1) |
| 2022-05-16 11:07:46 +0200 | yushyin | (4BFGEnxeeu@mail.karif.server-speed.net) |
| 2022-05-16 11:08:49 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-05-16 11:11:56 +0200 | avpx | (~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-05-16 11:12:48 +0200 | avpx | (~nick@ec2-54-214-223-1.us-west-2.compute.amazonaws.com) |
| 2022-05-16 11:16:23 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-05-16 11:17:30 +0200 | coot | (~coot@213.134.190.95) |
| 2022-05-16 11:18:12 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-16 11:19:52 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) |
| 2022-05-16 11:25:02 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 2022-05-16 11:30:31 +0200 | Flonk | (~Flonk@vps-zap441517-1.zap-srv.com) (Quit: Ping timeout (120 seconds)) |
| 2022-05-16 11:31:27 +0200 | Flonk | (~Flonk@vps-zap441517-1.zap-srv.com) |
| 2022-05-16 11:33:29 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) |
| 2022-05-16 11:36:46 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-05-16 11:44:42 +0200 | Benzi-Junior | (~BenziJuni@88-149-64-179.du.xdsl.is) |
| 2022-05-16 11:56:47 +0200 | califax | (~califax@user/califx) |
| 2022-05-16 11:59:19 +0200 | xaotuk | (~sasha@2a06:5b00:15fe:9b00::2) |
| 2022-05-16 11:59:27 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-16 12:00:29 +0200 | namkeleser | (~namkelese@101.175.93.91) |
| 2022-05-16 12:01:18 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 272 seconds) |
| 2022-05-16 12:04:07 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-05-16 12:04:28 +0200 | acidjnk | (~acidjnk@p200300d0c7068b73d0eeb5d70366dc27.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2022-05-16 12:05:52 +0200 | acidjnk | (~acidjnk@p200300d0c7068b73308b89cacabcfaf5.dip0.t-ipconnect.de) |
| 2022-05-16 12:06:33 +0200 | alp_ | (~alp@user/alp) |
| 2022-05-16 12:15:53 +0200 | raehik | (~raehik@82.21.176.157) |
| 2022-05-16 12:20:49 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-16 12:21:39 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) |
| 2022-05-16 12:21:44 +0200 | xaotuk | (~sasha@2a06:5b00:15fe:9b00::2) (Ping timeout: 248 seconds) |
| 2022-05-16 12:22:10 +0200 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds) |
| 2022-05-16 12:23:28 +0200 | xaotuk | (~sasha@net195-36-245-109.mbb.telenor.rs) |
| 2022-05-16 12:25:59 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-05-16 12:31:17 +0200 | trillp | (~trillp@216.128.134.16) (Ping timeout: 252 seconds) |
| 2022-05-16 12:31:25 +0200 | trillp | (~trillp@216.128.134.16) |
| 2022-05-16 12:36:44 +0200 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2022-05-16 12:40:19 +0200 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-05-16 12:40:54 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-05-16 12:41:16 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-16 12:42:19 +0200 | gawen | (~gawen@user/gawen) |
| 2022-05-16 12:44:14 +0200 | odnes | (~odnes@2a02:587:e901:3110::3ea) |
| 2022-05-16 12:45:27 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2022-05-16 12:46:10 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) |
| 2022-05-16 12:46:15 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-05-16 12:50:26 +0200 | dostoevsky | (~5c42c5384@user/dostoevsky) |
| 2022-05-16 12:52:41 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:c152:42d9:b8cc:c45e) |
| 2022-05-16 12:55:15 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-05-16 12:56:04 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2022-05-16 12:56:31 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2022-05-16 12:57:14 +0200 | sabry | (~sabry@197.37.199.95) (Ping timeout: 252 seconds) |
| 2022-05-16 13:03:15 +0200 | acidjnk | (~acidjnk@p200300d0c7068b73308b89cacabcfaf5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-05-16 13:06:11 +0200 | dhil | (~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) |
| 2022-05-16 13:07:19 +0200 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2022-05-16 13:09:00 +0200 | dostoevsky4 | (~5c42c5384@user/dostoevsky) |
| 2022-05-16 13:10:12 +0200 | dostoevsky | (~5c42c5384@user/dostoevsky) (Read error: Connection reset by peer) |
| 2022-05-16 13:10:12 +0200 | dostoevsky4 | dostoevsky |
| 2022-05-16 13:10:43 +0200 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) |
| 2022-05-16 13:12:55 +0200 | gawen | (~gawen@user/gawen) |
| 2022-05-16 13:19:41 +0200 | Kaipei | (~Kaiepi@156.34.47.253) (Ping timeout: 252 seconds) |
| 2022-05-16 13:21:59 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 2022-05-16 13:22:59 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-16 13:27:23 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-05-16 13:30:26 +0200 | Kaipei | (~Kaiepi@156.34.47.253) |
| 2022-05-16 13:35:20 +0200 | dostoevsky | (~5c42c5384@user/dostoevsky) (Ping timeout: 248 seconds) |
| 2022-05-16 13:38:15 +0200 | Guest3571 | (~Polo@user/polo) |
| 2022-05-16 13:43:33 +0200 | Guest3571 | (~Polo@user/polo) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-05-16 13:43:53 +0200 | ccntrq | (~Thunderbi@imx92-1-78-204-187-6.fbx.proxad.net) (Quit: ccntrq) |
| 2022-05-16 13:43:58 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2022-05-16 13:43:59 +0200 | jco | (~jco@90-228-194-139-no542.tbcn.telia.com) (Ping timeout: 240 seconds) |
| 2022-05-16 13:44:28 +0200 | Guest7339 | (~Polo@user/polo) |
| 2022-05-16 13:54:25 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-05-16 13:55:33 +0200 | Guest4487 | (~Polo@user/polo) |
| 2022-05-16 13:55:45 +0200 | Guest7339 | (~Polo@user/polo) (Ping timeout: 260 seconds) |
| 2022-05-16 13:55:47 +0200 | Guest4487 | (~Polo@user/polo) (Client Quit) |
| 2022-05-16 14:00:16 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-16 14:00:33 +0200 | namkeleser | (~namkelese@101.175.93.91) (Quit: Client closed) |
| 2022-05-16 14:03:04 +0200 | acidjnk | (~acidjnk@p200300d0c7068b73991f579c81967f89.dip0.t-ipconnect.de) |
| 2022-05-16 14:04:26 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 250 seconds) |
| 2022-05-16 14:05:39 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-16 14:07:04 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-05-16 14:08:08 +0200 | Polo | (~Polo@user/polo) |
| 2022-05-16 14:08:09 +0200 | Polo | (~Polo@user/polo) (Client Quit) |
| 2022-05-16 14:08:35 +0200 | gpncarl | (~gpncarl@210.12.195.2) |
| 2022-05-16 14:10:36 +0200 | gpncarl_ | (~gpncarl@210.12.195.2) (Ping timeout: 276 seconds) |
| 2022-05-16 14:10:53 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-16 14:11:03 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2022-05-16 14:11:57 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) |
| 2022-05-16 14:28:47 +0200 | <merijn> | bah, there's no cabal binaries for stupid old linuxes anymore :( |
| 2022-05-16 14:29:38 +0200 | <dminuoso> | Serves you right for using stupid old linuxes. |
| 2022-05-16 14:29:52 +0200 | pretty_d1 | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-05-16 14:29:56 +0200 | pretty_d1 | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 2022-05-16 14:30:15 +0200 | <exarkun> | all the cool kids are using the stupid new linuxes now merijn, what's holding you back |
| 2022-05-16 14:30:20 +0200 | <merijn> | Like I have a choice |
| 2022-05-16 14:30:25 +0200 | <dminuoso> | Is that your super computing thing? |
| 2022-05-16 14:30:34 +0200 | <dminuoso> | Running on Debian 4? |
| 2022-05-16 14:30:44 +0200 | <merijn> | If I had a choice I wouldn't be running any linux :p |
| 2022-05-16 14:30:45 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 260 seconds) |
| 2022-05-16 14:30:51 +0200 | <merijn> | No CentOS 7 or something |
| 2022-05-16 14:31:03 +0200 | <Bulby[m]> | what |
| 2022-05-16 14:31:10 +0200 | <dminuoso> | Oh CentOS is the most frustrating accident at work here. |
| 2022-05-16 14:31:20 +0200 | <dminuoso> | It's a good thing real CentOS doesnt exist anymore. |
| 2022-05-16 14:31:44 +0200 | <merijn> | dminuoso: No, now I have to deal with 'fake even cludgier CentOS' on the new one |
| 2022-05-16 14:33:50 +0200 | Kaipei | (~Kaiepi@156.34.47.253) (Ping timeout: 240 seconds) |
| 2022-05-16 14:34:52 +0200 | <maerwald[m]> | Cabal binaries are statically linked |
| 2022-05-16 14:34:53 +0200 | <maerwald[m]> | merijn: huh? |
| 2022-05-16 14:36:37 +0200 | <merijn> | maerwald[m]: You need a new enough glibc |
| 2022-05-16 14:37:00 +0200 | <merijn> | the current debian 10 binaries want glib 2.12 or newer |
| 2022-05-16 14:37:02 +0200 | <maerwald[m]> | No |
| 2022-05-16 14:37:18 +0200 | <maerwald[m]> | Fully statically linked |
| 2022-05-16 14:37:18 +0200 | <merijn> | maerwald[m]: https://www.haskell.org/cabal/download.html |
| 2022-05-16 14:37:33 +0200 | <merijn> | maerwald[m]: Well, feel free to explain why those error out on my system then |
| 2022-05-16 14:38:16 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-05-16 14:38:48 +0200 | <merijn> | Although the error doesn't seem to match the listed requirement with "cabal: /lib64/libm.so.6: version `GLIBC_2.27' not found (required by cabal) " |
| 2022-05-16 14:39:00 +0200 | <maerwald[m]> | https://downloads.haskell.org/~cabal/cabal-install-3.6.2.0/cabal-install-3.6.2.0-i386-linux-alpine… |
| 2022-05-16 14:39:21 +0200 | <maerwald[m]> | You didn't use ghcup, that's why you're wasting time |
| 2022-05-16 14:39:37 +0200 | <maerwald[m]> | https://downloads.haskell.org/~cabal/cabal-install-3.6.2.0/cabal-install-3.6.2.0-x86_64-linux-alpi… rather |
| 2022-05-16 14:39:47 +0200 | <merijn> | maerwald[m]: I tried that one and when I try and run it says "bash: /home/mverstra/.cabal/bin/cabal: No such file or directory" despite that file very much existing |
| 2022-05-16 14:40:27 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-16 14:40:42 +0200 | <maerwald[m]> | https://downloads.haskell.org/~ghcup/unofficial-bindists/cabal/3.6.2.0/cabal-install-3.6.2.0-x86_6… |
| 2022-05-16 14:40:43 +0200 | sondr3 | (~sondr3@2001:700:200:f112::2a03) |
| 2022-05-16 14:40:56 +0200 | <maerwald[m]> | This one definitely works on CentOS 7 |
| 2022-05-16 14:41:02 +0200 | <maerwald[m]> | I've used it there |
| 2022-05-16 14:42:11 +0200 | sondr3 | (~sondr3@2001:700:200:f112::2a03) (Client Quit) |
| 2022-05-16 14:44:30 +0200 | xaotuk | (~sasha@net195-36-245-109.mbb.telenor.rs) (Ping timeout: 240 seconds) |
| 2022-05-16 14:45:03 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 276 seconds) |
| 2022-05-16 14:45:38 +0200 | geekosaur[m][m] | uploaded an audio file: (24KiB) < https://libera.ems.host/_matrix/media/r0/download/matrix.org/dAXPtpJMydTfrauhmuhvWdmT/Voice%20mess… > |
| 2022-05-16 14:48:51 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-16 14:48:57 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-05-16 14:49:36 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) |
| 2022-05-16 14:52:02 +0200 | Kaipei | (~Kaiepi@156.34.47.253) |
| 2022-05-16 14:54:28 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Ping timeout: 248 seconds) |
| 2022-05-16 14:56:21 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) |
| 2022-05-16 15:00:09 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-16 15:01:47 +0200 | vpan | (~0@212.117.1.172) |
| 2022-05-16 15:02:09 +0200 | ph88 | (~ph88@95.90.247.31) |
| 2022-05-16 15:04:39 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-05-16 15:05:11 +0200 | pavonia | (~user@user/siracusa) (Write error: Connection reset by peer) |
| 2022-05-16 15:05:31 +0200 | pavonia | (~user@user/siracusa) |
| 2022-05-16 15:05:39 +0200 | arjun | (~arjun@user/arjun) |
| 2022-05-16 15:05:55 +0200 | <arjun> | hi |
| 2022-05-16 15:06:21 +0200 | <arjun> | is there a general go-to lib for databases ? (i know overloaded question) |
| 2022-05-16 15:07:00 +0200 | <arjun> | i've been reading haskell-in-depth and the database chapter very nicely covers 3 or 4 implementations |
| 2022-05-16 15:07:18 +0200 | <arjun> | hdbc, pg-simple, hasql and opaleye |
| 2022-05-16 15:07:25 +0200 | <merijn> | postgres-simple/sqlite-simple |
| 2022-05-16 15:09:22 +0200 | <arjun> | merijn, i see |
| 2022-05-16 15:11:38 +0200 | flupe | (~baboum@radon.sbi.re) (Ping timeout: 260 seconds) |
| 2022-05-16 15:13:08 +0200 | <dminuoso> | merijn: Wrong ELF interpreter |
| 2022-05-16 15:13:27 +0200 | xaotuk | (~sasha@net195-36-245-109.mbb.telenor.rs) |
| 2022-05-16 15:13:43 +0200 | <dminuoso> | That's one of those extremely poor diagnostics. If the requested elf interpreter cannot be found, you get these bizarre errors. |
| 2022-05-16 15:13:57 +0200 | <dminuoso> | You can borrow nix's patchelf script to help with that |
| 2022-05-16 15:15:14 +0200 | mncheck | (~mncheck@193.224.205.254) (Remote host closed the connection) |
| 2022-05-16 15:15:19 +0200 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:3366:8412:a2f4:9530) |
| 2022-05-16 15:16:22 +0200 | acidjnk | (~acidjnk@p200300d0c7068b73991f579c81967f89.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2022-05-16 15:18:22 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 260 seconds) |
| 2022-05-16 15:20:36 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2022-05-16 15:27:06 +0200 | <tdammers> | arjun: keep in mind that these cover slightly different parts of the abstraction stack. The "-simple" libraries only provide barebones access to the database server - you can send queries and receive results, and that's it. HDBC abstracts over different DBMSes, but still does nothing to help you write queries. Opaleye and Beam are about that; their main purpose is to present a type-safe EDSL for |
| 2022-05-16 15:27:08 +0200 | <tdammers> | constructing SQL queries, and the "actually connect to a database and issue queries" bit is kind of a necessity, but not the main act. |
| 2022-05-16 15:27:42 +0200 | <tdammers> | There's also persistent, which takes the abstraction yet a step further and "hides" the relational database from you entirely, for better or worse. |
| 2022-05-16 15:28:51 +0200 | rookiedoo | (~rookiedoo@c-68-34-85-238.hsd1.mi.comcast.net) |
| 2022-05-16 15:30:09 +0200 | <arjun> | tdammers, yea, it mentions hdbc as low level, pg-simple as mid level, and opaleye as sort of high level |
| 2022-05-16 15:30:44 +0200 | <arjun> | hasql is weird in the sense it lets us go low level if we want but that gets complicated real quick |
| 2022-05-16 15:31:59 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) |
| 2022-05-16 15:32:01 +0200 | <arjun> | we are spoiled for choice with these options, so i wondered if there is something that is more used in industry/ real-world codebases and yet let us maintain ergonomics |
| 2022-05-16 15:33:12 +0200 | rookiedoo | (~rookiedoo@c-68-34-85-238.hsd1.mi.comcast.net) (Client Quit) |
| 2022-05-16 15:33:45 +0200 | xaotuk | (~sasha@net195-36-245-109.mbb.telenor.rs) (Ping timeout: 260 seconds) |
| 2022-05-16 15:34:14 +0200 | <Axman6> | rel8 is also worth looking at, though I'm not sure if much has happened to its development since its announcement *checks* |
| 2022-05-16 15:34:38 +0200 | <maerwald> | arjun: hasql is complicated? |
| 2022-05-16 15:34:41 +0200 | <maerwald> | why so |
| 2022-05-16 15:34:48 +0200 | <maerwald> | it's also safer than pg-simple |
| 2022-05-16 15:35:28 +0200 | <Axman6> | you don't have to understand much to understand hasql |
| 2022-05-16 15:35:30 +0200 | <arjun> | maerwald, yes, but we want something that there aren't encoders and decoders, we have to write them |
| 2022-05-16 15:36:07 +0200 | <maerwald> | encoders and decoders aren't much different from ToField/FromField |
| 2022-05-16 15:36:19 +0200 | <maerwald> | I'd argue typeclass based API is more awful (that includes aeson) |
| 2022-05-16 15:36:22 +0200 | <Axman6> | if I were writing queries by hand, I'd definitely use hasql. rel8 is built o0n top of hasql and opaleye (uses opaleye to generate the SQL string which is then passed to hasql for its better performing binary wire protocol) |
| 2022-05-16 15:36:41 +0200 | <arjun> | aeson and pg-simple are by the same author right? |
| 2022-05-16 15:36:46 +0200 | <maerwald> | specifying encoders and decoders directly is more flexible |
| 2022-05-16 15:37:23 +0200 | <arjun> | maerwald, Statement -> Sessions -> Running sessions that's the flow right? |
| 2022-05-16 15:38:29 +0200 | <merijn> | tdammers: Probably best not advertise persistent, tbh |
| 2022-05-16 15:38:46 +0200 | <merijn> | persistent is really dangerous, imo |
| 2022-05-16 15:39:06 +0200 | <tdammers> | hmm, agree. dangerous, and also the wrong abstraction IMO. |
| 2022-05-16 15:39:12 +0200 | <arjun> | Axman6, because of the type-safety? |
| 2022-05-16 15:39:20 +0200 | <Axman6> | I had a project that used persistent and I regretted it, and moving off it was pretty painful and fragile. I had big hopes for beam |
| 2022-05-16 15:39:52 +0200 | <Axman6> | mostly because of the heavy reliance of template haskell obscuring everything. this was many years ago so things might have changed, but it burnt me pretty bad |
| 2022-05-16 15:40:05 +0200 | <Axman6> | hasql was significantly easier and much faster for that projct |
| 2022-05-16 15:40:06 +0200 | <maerwald> | arjun: https://github.com/haskellari/postgresql-simple/issues/58 is one major issue |
| 2022-05-16 15:40:08 +0200 | <Axman6> | project* |
| 2022-05-16 15:40:11 +0200 | <maerwald> | and hasql is very modular |
| 2022-05-16 15:40:26 +0200 | juri_ | (~juri@178.63.35.222) (Ping timeout: 272 seconds) |
| 2022-05-16 15:41:14 +0200 | <merijn> | Axman6: It's only gotten worse |
| 2022-05-16 15:41:21 +0200 | ubert | (~Thunderbi@p200300ecdf15884be4afa2206ed87ef0.dip0.t-ipconnect.de) |
| 2022-05-16 15:41:25 +0200 | <Axman6> | maerwald: uh, excuse me? that issue is terrifying, wtf, I am about to go to sleep, how am I supposed to sleep knowing that isasue exists! |
| 2022-05-16 15:41:32 +0200 | <maerwald> | well |
| 2022-05-16 15:41:34 +0200 | <merijn> | Axman6: Because a bunch of stuff in conduit/resourcet changed, but the persistent API wasn't changed to accommodate those changes |
| 2022-05-16 15:41:43 +0200 | <Axman6> | D: |
| 2022-05-16 15:41:46 +0200 | <merijn> | So there's a bunch of subtle resource leak issues you can easily trigger with persistent |
| 2022-05-16 15:41:54 +0200 | <maerwald> | merijn: you mean the MonadBaseControl -> MonadUnliftIO change? |
| 2022-05-16 15:41:54 +0200 | <merijn> | But the APIs don't make that obvious |
| 2022-05-16 15:42:01 +0200 | <arjun> | maerwald just gave us the red pill |
| 2022-05-16 15:42:18 +0200 | <merijn> | maerwald: That's only the case in multi-threaded code and not the main culprit |
| 2022-05-16 15:42:20 +0200 | <arjun> | well, tdammers did : p |
| 2022-05-16 15:42:34 +0200 | <merijn> | maerwald: The main culprit is that conduit was *initially* designed to have early finalization of resources |
| 2022-05-16 15:42:42 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.5) |
| 2022-05-16 15:42:43 +0200 | <merijn> | And all the persistent conduit APIs were designed around that |
| 2022-05-16 15:42:45 +0200 | <maerwald> | yeah and then snoyman decided to not like it |
| 2022-05-16 15:43:02 +0200 | <merijn> | Conduit no longer has early resource finalization, but persistent's APIs weren't updated for that change |
| 2022-05-16 15:43:10 +0200 | <merijn> | So you can easily leak resources that way |
| 2022-05-16 15:43:45 +0200 | <merijn> | I don't think anyone who hasn't read persistents code/contributed to it can safely use it |
| 2022-05-16 15:43:49 +0200 | <maerwald> | https://hackage.haskell.org/package/hasql-streams-streamly |
| 2022-05-16 15:43:51 +0200 | <maerwald> | omg |
| 2022-05-16 15:43:53 +0200 | <maerwald> | nice |
| 2022-05-16 15:43:54 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-05-16 15:43:58 +0200 | <maerwald> | automatic cursor based streaming via streamly |
| 2022-05-16 15:44:04 +0200 | fjmorazan | (~quassel@user/fjmorazan) (Ping timeout: 248 seconds) |
| 2022-05-16 15:44:04 +0200 | <arjun> | w00t |
| 2022-05-16 15:44:09 +0200 | <arjun> | 0.0 |
| 2022-05-16 15:44:12 +0200 | <Axman6> | :o |
| 2022-05-16 15:44:29 +0200 | <Axman6> | I remember years ago making tickets to get streaming in hasql |
| 2022-05-16 15:44:41 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-05-16 15:44:48 +0200 | <maerwald> | https://github.com/andremarianiello/hasql-streams |
| 2022-05-16 15:44:59 +0200 | <maerwald> | someone just made a library for all of them |
| 2022-05-16 15:45:03 +0200 | <maerwald> | conduit, pipes, ... |
| 2022-05-16 15:45:07 +0200 | <Axman6> | hmm, maybe I made that up |
| 2022-05-16 15:45:10 +0200 | <arjun> | there's also a https://hackage.haskell.org/package/hasql-streams-streaming |
| 2022-05-16 15:45:14 +0200 | <arjun> | nice |
| 2022-05-16 15:46:20 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-05-16 15:46:49 +0200 | <arjun> | they're all released on the the same date |
| 2022-05-16 15:47:05 +0200 | <maerwald> | see the github link |
| 2022-05-16 15:47:41 +0200 | <arjun> | yea |
| 2022-05-16 15:48:02 +0200 | <arjun> | i wonder if it's a bot, that'd be dope |
| 2022-05-16 15:48:07 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 260 seconds) |
| 2022-05-16 15:51:51 +0200 | melas | (~melas@172.77.31.247) |
| 2022-05-16 15:53:59 +0200 | xaotuk | (~sasha@net195-36-245-109.mbb.telenor.rs) |
| 2022-05-16 15:54:55 +0200 | <apache2> | I'd like to define a type that contains a tuple and an Int and have it fit with 'Real a', how do I best do this? |
| 2022-05-16 15:55:21 +0200 | <apache2> | err it should be a tuple of whichever type and an Int, and I want it to use the Int for the Real stuff |
| 2022-05-16 15:57:02 +0200 | <apache2> | can I use this? https://hackage.haskell.org/package/base-4.12.0.0/docs/Data-Functor-Const.html#t:Const |
| 2022-05-16 15:57:52 +0200 | bodisiw | (~bodiskw@128.163.238.36) |
| 2022-05-16 16:07:26 +0200 | xaotuk | (~sasha@net195-36-245-109.mbb.telenor.rs) (Ping timeout: 252 seconds) |
| 2022-05-16 16:14:03 +0200 | fjmorazan | (~quassel@user/fjmorazan) |
| 2022-05-16 16:17:08 +0200 | bodisiw | (~bodiskw@128.163.238.36) (Quit: Leaving) |
| 2022-05-16 16:18:37 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) |
| 2022-05-16 16:19:10 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2022-05-16 16:23:29 +0200 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-05-16 16:24:56 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-16 16:25:40 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) |
| 2022-05-16 16:31:00 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Ping timeout: 276 seconds) |
| 2022-05-16 16:32:46 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-05-16 16:36:10 +0200 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2022-05-16 16:38:00 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-05-16 16:43:11 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-16 16:45:17 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-05-16 16:46:59 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) |
| 2022-05-16 16:47:08 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-05-16 16:48:47 +0200 | <geekosaur[m][m]> | You probably can't do it because you need to support `fromInteger` and that means generating a value for the tuple out of thin air |
| 2022-05-16 16:50:21 +0200 | <geekosaur[m][m]> | Which means the values in the tuple must be instances of Monoid or Default or some other class that provides default values |
| 2022-05-16 16:52:20 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 2022-05-16 16:53:10 +0200 | <geekosaur[m][m]> | Er, types of the values |
| 2022-05-16 16:54:53 +0200 | alp_ | (~alp@user/alp) |
| 2022-05-16 16:55:03 +0200 | benin | (~benin@183.82.31.170) (Ping timeout: 276 seconds) |
| 2022-05-16 16:57:08 +0200 | <apache2> | geekosaur[m][m]: hmm I think I managed it by providing a fake frominteger |
| 2022-05-16 16:57:15 +0200 | <apache2> | that just sets the first tuple element |
| 2022-05-16 16:57:22 +0200 | <apache2> | and then I pray it doesn't get called by th elibrary I'm using |
| 2022-05-16 16:57:36 +0200 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-05-16 17:02:36 +0200 | benin | (~benin@183.82.31.170) |
| 2022-05-16 17:07:49 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-05-16 17:09:26 +0200 | slack1256 | (~slack1256@191.126.227.70) |
| 2022-05-16 17:11:12 +0200 | <slack1256> | At work we use `stack` to manage dependencies, but there is a blind spot for installing the haskell-language-server for VSCode. What is the recomended setup now? install everything with `ghcup` and then enable `system-ghc: true` at the stack.yaml? |
| 2022-05-16 17:15:04 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-16 17:16:56 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2022-05-16 17:18:48 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-05-16 17:19:54 +0200 | <maerwald> | slack1256: it can also work without system-ghc:true |
| 2022-05-16 17:20:06 +0200 | slac38847 | (~slack1256@191.126.227.81) |
| 2022-05-16 17:20:08 +0200 | <maerwald> | but then you may run into this https://github.com/haskell/vscode-haskell#ghc-abis-dont-match |
| 2022-05-16 17:20:13 +0200 | <maerwald> | which can be fixed in your stack.yaml |
| 2022-05-16 17:20:27 +0200 | benin | (~benin@183.82.31.170) (Quit: The Lounge - https://thelounge.chat) |
| 2022-05-16 17:22:15 +0200 | slack1256 | (~slack1256@191.126.227.70) (Ping timeout: 260 seconds) |
| 2022-05-16 17:28:48 +0200 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:3366:8412:a2f4:9530) (Remote host closed the connection) |
| 2022-05-16 17:29:29 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-05-16 17:29:44 +0200 | Guest8793 | (~Polo@user/polo) |
| 2022-05-16 17:30:10 +0200 | Guest8793 | Polo |
| 2022-05-16 17:31:00 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 260 seconds) |
| 2022-05-16 17:31:20 +0200 | jespada | (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-05-16 17:31:41 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-05-16 17:31:52 +0200 | Polo | Gambino |
| 2022-05-16 17:32:08 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-05-16 17:33:21 +0200 | slac38847 | slack1256 |
| 2022-05-16 17:34:27 +0200 | Gambino | (~Polo@user/polo) (Textual IRC Client: www.textualapp.com) |
| 2022-05-16 17:35:18 +0200 | dcoutts | (~duncan@47.red-213-97-57.staticip.rima-tde.net) |
| 2022-05-16 17:36:01 +0200 | <slack1256> | Gotcha. It seems the easiest option is `system-ghc: true` and jump onto the ghcup bandwagon. |
| 2022-05-16 17:36:24 +0200 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) (Ping timeout: 248 seconds) |
| 2022-05-16 17:36:30 +0200 | <maerwald> | the reason this broke were missing profiling libs in GHC 9.0.2 bindist |
| 2022-05-16 17:37:00 +0200 | <maerwald> | and stack installs that GHC without profiling libs |
| 2022-05-16 17:37:19 +0200 | <maerwald> | the fixed bindist turned out to have a diverging ABI though |
| 2022-05-16 17:37:34 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2022-05-16 17:40:02 +0200 | <maerwald> | you may get miscompilation or other errors if you don't clear your cache when switching bindists |
| 2022-05-16 17:42:48 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-16 17:43:35 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) |
| 2022-05-16 17:44:31 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Read error: Connection reset by peer) |
| 2022-05-16 17:46:04 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:369e:42d1:8f75:3666) (Quit: WeeChat 2.8) |
| 2022-05-16 17:47:55 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-05-16 17:48:06 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-05-16 17:49:21 +0200 | melas | (~melas@172.77.31.247) (Quit: Leaving) |
| 2022-05-16 17:50:01 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:c152:42d9:b8cc:c45e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-05-16 17:51:33 +0200 | juri_ | (~juri@79.140.121.26) |
| 2022-05-16 17:58:47 +0200 | xff0x | (~xff0x@b133147.ppp.asahi-net.or.jp) |
| 2022-05-16 17:59:22 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-05-16 18:00:52 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-05-16 18:01:40 +0200 | Vajb | (~Vajb@2001:999:400:9bc1:d5dd:7e53:33b:56) |
| 2022-05-16 18:05:01 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt) |
| 2022-05-16 18:05:47 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2022-05-16 18:09:40 +0200 | stackdroid18 | (14094@user/stackdroid) |
| 2022-05-16 18:10:17 +0200 | mmhat | (~mmh@p200300f1c705e371ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-05-16 18:13:12 +0200 | xaotuk | (~sasha@net41-32-245-109.mbb.telenor.rs) |
| 2022-05-16 18:14:45 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2022-05-16 18:15:27 +0200 | stackdroid18 | (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-05-16 18:16:38 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-05-16 18:17:40 +0200 | dcoutts | (~duncan@47.red-213-97-57.staticip.rima-tde.net) (Ping timeout: 248 seconds) |
| 2022-05-16 18:21:12 +0200 | MajorBiscuit | (~MajorBisc@145.94.234.141) (Ping timeout: 248 seconds) |
| 2022-05-16 18:29:51 +0200 | odnes | (~odnes@2a02:587:e901:3110::3ea) (Quit: Leaving) |
| 2022-05-16 18:30:18 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-05-16 18:32:54 +0200 | DNH | (~DNH@2a02:8109:b740:2c4:5cca:7ae0:fc8f:2c52) |
| 2022-05-16 18:34:32 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-05-16 18:34:54 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-05-16 18:36:19 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 240 seconds) |
| 2022-05-16 18:36:27 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-05-16 18:39:16 +0200 | pera | (~pera@user/pera) |
| 2022-05-16 18:40:46 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-16 18:40:46 +0200 | econo | (uid147250@user/econo) |
| 2022-05-16 18:42:10 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-16 18:47:00 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-05-16 18:48:24 +0200 | Vajb | (~Vajb@2001:999:400:9bc1:d5dd:7e53:33b:56) (Read error: Connection reset by peer) |
| 2022-05-16 18:48:29 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) |
| 2022-05-16 18:49:47 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-05-16 18:53:02 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 2022-05-16 18:53:04 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 2022-05-16 18:56:26 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-05-16 18:56:57 +0200 | tusko | (~yeurt@user/tusko) (Byeee) |
| 2022-05-16 18:57:01 +0200 | Guest44 | (~Guest44@fttx-pool-80.208.214.79.bambit.de) |
| 2022-05-16 18:57:25 +0200 | Guest44 | (~Guest44@fttx-pool-80.208.214.79.bambit.de) (Client Quit) |
| 2022-05-16 18:58:13 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-05-16 18:58:24 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-05-16 19:00:02 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Write error: Connection reset by peer) |
| 2022-05-16 19:00:02 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Remote host closed the connection) |
| 2022-05-16 19:00:02 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 2022-05-16 19:00:20 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 2022-05-16 19:00:24 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-05-16 19:00:26 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-05-16 19:01:01 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-16 19:04:06 +0200 | laalyn | (~laalyn@c-73-189-182-49.hsd1.ca.comcast.net) (Quit: Client closed) |
| 2022-05-16 19:07:44 +0200 | Guest4496 | (~Guest44@207.237.194.99) (Quit: Connection closed) |
| 2022-05-16 19:08:07 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) |
| 2022-05-16 19:15:09 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Remote host closed the connection) |
| 2022-05-16 19:15:22 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 2022-05-16 19:17:21 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) |
| 2022-05-16 19:20:50 +0200 | slac68357 | (~slack1256@191.126.227.206) |
| 2022-05-16 19:20:51 +0200 | mbuf | (~Shakthi@31.32.33.168) (Quit: Leaving) |
| 2022-05-16 19:20:54 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-16 19:23:15 +0200 | slack1256 | (~slack1256@191.126.227.81) (Ping timeout: 276 seconds) |
| 2022-05-16 19:24:10 +0200 | kaph | (~kaph@net-2-42-128-205.cust.vodafonedsl.it) (Ping timeout: 240 seconds) |
| 2022-05-16 19:27:48 +0200 | odnes | (~odnes@5-203-141-96.pat.nym.cosmote.net) |
| 2022-05-16 19:33:09 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2022-05-16 19:34:48 +0200 | metadave | (sid28102@id-28102.ilkley.irccloud.com) |
| 2022-05-16 19:34:49 +0200 | arjun | (~arjun@user/arjun) (Quit: Leaving) |
| 2022-05-16 19:39:29 +0200 | slack1256 | (~slack1256@181.42.55.115) |
| 2022-05-16 19:40:55 +0200 | <[exa]> | anyone going to zurihac? |
| 2022-05-16 19:41:30 +0200 | slac68357 | (~slack1256@191.126.227.206) (Ping timeout: 240 seconds) |
| 2022-05-16 19:42:18 +0200 | <geekosaur[m][m]> | Sadly, no |
| 2022-05-16 19:43:08 +0200 | <[exa]> | ;_; |
| 2022-05-16 19:43:59 +0200 | tomgus1 | (~tomgus1@90.218.25.145) (Remote host closed the connection) |
| 2022-05-16 19:44:13 +0200 | <maerwald> | geekosaur[m][m]: you mean no one is going? |
| 2022-05-16 19:44:57 +0200 | <maerwald> | wait, is it next month already? |
| 2022-05-16 19:45:33 +0200 | tomgus1 | (~tomgus1@2a02:c7e:4229:d900:dea6:32ff:fe3d:d1a3) |
| 2022-05-16 19:48:23 +0200 | <geekosaur[m][m]> | I had a vague hope I could meet up with the other xmonad maintainers, but it's not working out |
| 2022-05-16 19:48:29 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-16 19:55:58 +0200 | vpan | (~0@212.117.1.172) (Quit: Leaving.) |
| 2022-05-16 19:56:09 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 248 seconds) |
| 2022-05-16 19:58:12 +0200 | ubert | (~Thunderbi@p200300ecdf15884be4afa2206ed87ef0.dip0.t-ipconnect.de) (Quit: ubert) |
| 2022-05-16 19:58:30 +0200 | ubert | (~Thunderbi@p200300ecdf15884b90b4ffb36f546538.dip0.t-ipconnect.de) |
| 2022-05-16 20:01:04 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-05-16 20:04:10 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-05-16 20:06:07 +0200 | stackdroid18 | (14094@user/stackdroid) |
| 2022-05-16 20:09:10 +0200 | <sm> | ack |
| 2022-05-16 20:09:15 +0200 | namkeleser | (~namkelese@101.175.93.91) |
| 2022-05-16 20:09:36 +0200 | <maerwald> | sm: you coming? |
| 2022-05-16 20:09:44 +0200 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-05-16 20:09:53 +0200 | <sm> | alas no! |
| 2022-05-16 20:10:07 +0200 | noteness | (~noteness@user/noteness) |
| 2022-05-16 20:10:29 +0200 | <[exa]> | ;_; |
| 2022-05-16 20:10:45 +0200 | <sm> | wow cool logo https://zfoh.ch/zurihac2022/ |
| 2022-05-16 20:11:07 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-16 20:11:36 +0200 | <sm> | and page. Now I want to go more, nice work web devs |
| 2022-05-16 20:14:37 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-05-16 20:16:10 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2022-05-16 20:19:20 +0200 | ober_ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) |
| 2022-05-16 20:21:16 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-16 20:27:45 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection) |
| 2022-05-16 20:27:54 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-05-16 20:31:01 +0200 | ober__ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) |
| 2022-05-16 20:31:38 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-16 20:33:40 +0200 | ober_ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) (Ping timeout: 248 seconds) |
| 2022-05-16 20:35:00 +0200 | ober_ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) |
| 2022-05-16 20:35:44 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-05-16 20:36:03 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-16 20:37:16 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2022-05-16 20:37:29 +0200 | ober__ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) (Ping timeout: 252 seconds) |
| 2022-05-16 20:38:30 +0200 | ober__ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) |
| 2022-05-16 20:40:14 +0200 | ober_ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) (Ping timeout: 252 seconds) |
| 2022-05-16 20:42:39 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) |
| 2022-05-16 20:43:30 +0200 | ober_ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) |
| 2022-05-16 20:46:20 +0200 | ober__ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) (Ping timeout: 272 seconds) |
| 2022-05-16 20:46:49 +0200 | xkuru | (~xkuru@user/xkuru) |
| 2022-05-16 20:47:36 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2022-05-16 20:48:44 +0200 | ph88 | (~ph88@95.90.247.31) (Quit: Leaving) |
| 2022-05-16 20:49:08 +0200 | MoC | (~moc@user/moc) |
| 2022-05-16 20:50:31 +0200 | ober__ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) |
| 2022-05-16 20:50:51 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-05-16 20:52:50 +0200 | ober_ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) (Ping timeout: 240 seconds) |
| 2022-05-16 20:54:35 +0200 | Polo | (~Polo@user/polo) |
| 2022-05-16 20:55:35 +0200 | coot | (~coot@213.134.190.95) |
| 2022-05-16 20:55:58 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-16 20:56:21 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) |
| 2022-05-16 20:57:05 +0200 | xaotuk | (~sasha@net41-32-245-109.mbb.telenor.rs) (Read error: Connection reset by peer) |
| 2022-05-16 21:00:59 +0200 | ober_ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) |
| 2022-05-16 21:01:06 +0200 | Polo | (~Polo@user/polo) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-05-16 21:01:29 +0200 | xaotuk | (~sasha@net41-32-245-109.mbb.telenor.rs) |
| 2022-05-16 21:01:38 +0200 | xaotuk | (~sasha@net41-32-245-109.mbb.telenor.rs) (Client Quit) |
| 2022-05-16 21:02:41 +0200 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-05-16 21:03:06 +0200 | noteness | (~noteness@user/noteness) |
| 2022-05-16 21:03:10 +0200 | ober__ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) (Ping timeout: 240 seconds) |
| 2022-05-16 21:03:45 +0200 | ober__ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) |
| 2022-05-16 21:05:40 +0200 | ober_ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) (Ping timeout: 260 seconds) |
| 2022-05-16 21:09:24 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-16 21:11:30 +0200 | ober__ | (~ober@c-24-61-80-158.hsd1.ma.comcast.net) (Ping timeout: 260 seconds) |
| 2022-05-16 21:12:21 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-05-16 21:16:58 +0200 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-05-16 21:19:59 +0200 | trillp | (~trillp@216.128.134.16) (Quit: leaving) |
| 2022-05-16 21:29:45 +0200 | namkeleser | (~namkelese@101.175.93.91) (Quit: Client closed) |
| 2022-05-16 21:37:29 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-05-16 21:42:38 +0200 | kuribas | (~user@ptr-17d51emxx4y1njcuupn.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2022-05-16 21:45:40 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-16 21:46:25 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) |
| 2022-05-16 21:52:04 +0200 | jinsun | (~jinsun@user/jinsun) () |
| 2022-05-16 21:56:37 +0200 | odnes | (~odnes@5-203-141-96.pat.nym.cosmote.net) (Quit: Leaving) |
| 2022-05-16 21:56:39 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 2022-05-16 21:56:56 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-16 22:01:49 +0200 | acidjnk | (~acidjnk@p200300d0c7068b7375914a6728a979fa.dip0.t-ipconnect.de) |
| 2022-05-16 22:06:12 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-05-16 22:07:13 +0200 | pavonia | (~user@user/siracusa) |
| 2022-05-16 22:07:33 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-05-16 22:07:52 +0200 | juri_ | (~juri@79.140.121.26) (Read error: Connection reset by peer) |
| 2022-05-16 22:08:04 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-16 22:08:27 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-16 22:08:47 +0200 | juri_ | (~juri@79.140.121.26) |
| 2022-05-16 22:09:02 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) |
| 2022-05-16 22:11:56 +0200 | lawt | (~lawt@2601:200:8200:6870:dea6:32ff:fea1:adf9) (Ping timeout: 250 seconds) |
| 2022-05-16 22:12:10 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2022-05-16 22:12:49 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-05-16 22:14:40 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-05-16 22:16:27 +0200 | akurilin_ | (uid322841@id-322841.ilkley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-05-16 22:16:31 +0200 | lawt | (~lawt@98.56.182.59) |
| 2022-05-16 22:18:19 +0200 | mmhat | (~mmh@p200300f1c705e371ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-05-16 22:19:04 +0200 | juri_ | (~juri@79.140.121.26) (Read error: Connection reset by peer) |
| 2022-05-16 22:19:59 +0200 | juri_ | (~juri@79.140.121.26) |
| 2022-05-16 22:25:50 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-05-16 22:32:07 +0200 | mmhat | (~mmh@p200300f1c705e328ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-05-16 22:33:13 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-16 22:37:08 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-05-16 22:37:59 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-05-16 22:41:34 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) |
| 2022-05-16 22:45:12 +0200 | ub | (~Thunderbi@p200300ecdf15884bbccac4f60a26f549.dip0.t-ipconnect.de) |
| 2022-05-16 22:46:06 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-05-16 22:50:06 +0200 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2022-05-16 22:50:11 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-05-16 22:50:15 +0200 | son0p | (~ff@181.136.122.143) |
| 2022-05-16 22:51:02 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-05-16 22:52:16 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-05-16 22:52:32 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-16 22:52:34 +0200 | lechner | (lechner@debian/lechner) (Quit: WeeChat 3.5) |
| 2022-05-16 22:52:58 +0200 | lechner | (lechner@debian/lechner) |
| 2022-05-16 22:53:30 +0200 | lechner | (lechner@debian/lechner) (Client Quit) |
| 2022-05-16 22:54:10 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2022-05-16 22:58:37 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 260 seconds) |
| 2022-05-16 22:59:02 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) |
| 2022-05-16 23:03:16 +0200 | lechner | (lechner@debian/lechner) |
| 2022-05-16 23:03:45 +0200 | <tomsmeding> | [summer school ad] for those learning haskell and wanting to progress beyond beginner material, there's this nice summer school in The Netherlands organised by some nice people: https://mail.haskell.org/pipermail/haskell-cafe/2022-May/135299.html |
| 2022-05-16 23:04:56 +0200 | ub | (~Thunderbi@p200300ecdf15884bbccac4f60a26f549.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-05-16 23:05:17 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-05-16 23:05:37 +0200 | ub | (~Thunderbi@p548c8d44.dip0.t-ipconnect.de) |
| 2022-05-16 23:12:15 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-05-16 23:12:31 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-16 23:12:32 +0200 | califax | (~califax@user/califx) |
| 2022-05-16 23:15:16 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) |
| 2022-05-16 23:22:22 +0200 | juri_ | (~juri@79.140.121.26) (Read error: Connection reset by peer) |
| 2022-05-16 23:23:02 +0200 | juri_ | (~juri@79.140.121.26) |
| 2022-05-16 23:23:06 +0200 | <hpc> | don't let the name deceive you, you learn all the seasons there :P |
| 2022-05-16 23:23:29 +0200 | <sm> | trending haskell projects: https://www.libhunt.com/l/haskell/trending |
| 2022-05-16 23:23:33 +0200 | <hpc> | spring framework, AI winter, etc |
| 2022-05-16 23:24:00 +0200 | <tomsmeding> | hpc: you won't learn java or AI there, sorry :p |
| 2022-05-16 23:24:00 +0200 | <sm> | and our "top programming languages by social mentions" rank: https://www.libhunt.com/index#haskell |
| 2022-05-16 23:24:41 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 248 seconds) |
| 2022-05-16 23:25:36 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-05-16 23:26:18 +0200 | yauhsien | (~yauhsien@61-231-42-187.dynamic-ip.hinet.net) |
| 2022-05-16 23:44:33 +0200 | jgeerds | (~jgeerds@d53604b0.access.ecotel.net) (Ping timeout: 276 seconds) |
| 2022-05-16 23:45:38 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-05-16 23:48:34 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2022-05-16 23:48:47 +0200 | <maerwald> | web assembly doesn't seem too popular |
| 2022-05-16 23:50:21 +0200 | MironZ8 | (~MironZ@nat-infra.ehlab.uk) |
| 2022-05-16 23:51:46 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-05-16 23:52:02 +0200 | MironZ | (~MironZ@nat-infra.ehlab.uk) (Ping timeout: 250 seconds) |
| 2022-05-16 23:52:02 +0200 | MironZ8 | MironZ |
| 2022-05-16 23:52:11 +0200 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2022-05-16 23:54:23 +0200 | CiaoSen | (~Jura@p200300c95732ec002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-05-16 23:58:21 +0200 | michalz | (~michalz@185.246.204.125) (Remote host closed the connection) |
| 2022-05-16 23:58:35 +0200 | <sm> | https://www.libhunt.com/l/haskell is better actually, more search options. ShellCheck is current popularity king it seems |
| 2022-05-16 23:59:52 +0200 | gurkenglas | (~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |