| 2021-08-10 00:00:51 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-08-10 00:08:01 +0200 | pavonia | (~user@user/siracusa) |
| 2021-08-10 00:12:31 +0200 | Codaraxis | (~Codaraxis@user/codaraxis) |
| 2021-08-10 00:17:06 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-10 00:17:08 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-08-10 00:18:18 +0200 | nvmd | (~nvmd@user/nvmd) (Quit: Later, nerds.) |
| 2021-08-10 00:21:21 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2021-08-10 00:23:40 +0200 | zebrag | (~chris@user/zebrag) |
| 2021-08-10 00:24:42 +0200 | acidjnk | (~acidjnk@p200300d0c72b9517f81283fc8b5e04b5.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2021-08-10 00:25:45 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-10 00:26:39 +0200 | jonatan | (~nate@h77-53-70-163.cust.a3fiber.se) |
| 2021-08-10 00:29:37 +0200 | benin03693 | (~benin@183.82.205.178) (Remote host closed the connection) |
| 2021-08-10 00:33:02 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2021-08-10 00:35:21 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-10 00:41:21 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-10 00:44:31 +0200 | cjb | (~cjb@user/cjb) |
| 2021-08-10 00:45:55 +0200 | kadobanana | (~mud@user/kadoban) |
| 2021-08-10 00:46:22 +0200 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2021-08-10 00:48:51 +0200 | <fresheyeball> | dmj`: no |
| 2021-08-10 00:48:57 +0200 | <fresheyeball> | but the project is |
| 2021-08-10 00:49:49 +0200 | kadobanana | (~mud@user/kadoban) (Read error: Connection reset by peer) |
| 2021-08-10 00:50:06 +0200 | hegstal | (~hegstal@2a02:c7f:7604:8a00:54d9:a686:a64c:8cd9) (Remote host closed the connection) |
| 2021-08-10 00:50:07 +0200 | kadobanana | (~mud@user/kadoban) |
| 2021-08-10 00:50:44 +0200 | Cajun | (~Cajun@user/cajun) (Quit: Client closed) |
| 2021-08-10 00:52:12 +0200 | dajoer | (~david@user/gvx) |
| 2021-08-10 00:56:08 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 2021-08-10 01:02:56 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-08-10 01:06:02 +0200 | cjb | (~cjb@user/cjb) (Quit: rcirc on GNU Emacs 28.0.50) |
| 2021-08-10 01:06:53 +0200 | cjb | (~cjb@user/cjb) |
| 2021-08-10 01:09:21 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 2021-08-10 01:10:12 +0200 | zebrag | (~chris@user/zebrag) |
| 2021-08-10 01:12:27 +0200 | Gurkenglas | (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 276 seconds) |
| 2021-08-10 01:23:00 +0200 | haykam | (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-10 01:23:14 +0200 | haykam | (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-10 01:25:03 +0200 | mousey | (~skymouse@gateway/tor-sasl/mousey) |
| 2021-08-10 01:31:42 +0200 | <slack1256> | Is there a updated ghc roadmap? the ghc wiki has some but other were not met. |
| 2021-08-10 01:32:19 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-10 01:33:52 +0200 | jgeerds | (~jgeerds@55d45555.access.ecotel.net) (Ping timeout: 272 seconds) |
| 2021-08-10 01:36:33 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 248 seconds) |
| 2021-08-10 01:36:49 +0200 | epolanski | (uid312403@id-312403.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-08-10 01:43:37 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving) |
| 2021-08-10 01:43:46 +0200 | mousey | (~skymouse@gateway/tor-sasl/mousey) (Ping timeout: 244 seconds) |
| 2021-08-10 01:50:57 +0200 | haveo_ | (~haveo@sl35.iuwt.fr) (Quit: Reconnecting) |
| 2021-08-10 01:51:03 +0200 | haveo | (~haveo@sl35.iuwt.fr) |
| 2021-08-10 01:55:23 +0200 | <lbseale> | I built a GHC package myself successfully, and I am trying to build it into a shared library. It tells me to compile with -fPIC, even though I already did: https://paste.tomsmeding.com/QscWJtVn |
| 2021-08-10 02:03:12 +0200 | robertm | (robertm@rojoma.com) (Quit: ...) |
| 2021-08-10 02:03:21 +0200 | robertm | (robertm@rojoma.com) |
| 2021-08-10 02:18:44 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-08-10 02:19:33 +0200 | tommd | (~tommd@cpe-76-179-204-251.maine.res.rr.com) |
| 2021-08-10 02:19:57 +0200 | haykam | (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-10 02:20:10 +0200 | haykam | (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-10 02:34:29 +0200 | chomwitt | (~chomwitt@2a02:587:dc02:6400:12c3:7bff:fe6d:d374) (Remote host closed the connection) |
| 2021-08-10 02:42:47 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-10 02:43:47 +0200 | anononon | (~anononon@user-5-173-146-83.play-internet.pl) |
| 2021-08-10 02:43:52 +0200 | Cajun | (~Cajun@user/cajun) |
| 2021-08-10 02:56:13 +0200 | Guest4593 | (~Guest45@2001:8004:2728:3231:22e8:8df9:c65:5ea) |
| 2021-08-10 02:57:44 +0200 | <lechner> | Hi, is it acceptable to replace a . with a $ whenever a chain of functions is being fully applied? Does it matter? |
| 2021-08-10 02:58:00 +0200 | <Axman6> | sure |
| 2021-08-10 02:58:39 +0200 | <lechner> | it only works in a 'do' context, right? |
| 2021-08-10 02:58:44 +0200 | <geekosaur> | thay are not the same thing |
| 2021-08-10 02:58:49 +0200 | <Axman6> | the general pattern people tend to use is f . g . h $ x, I have started using f . g $ h x to remove a symbol, but even f $ g $ h x is pretty common |
| 2021-08-10 02:59:03 +0200 | <geekosaur> | it has nothing to do with do |
| 2021-08-10 02:59:13 +0200 | <Axman6> | @src (.) |
| 2021-08-10 02:59:13 +0200 | <lambdabot> | (f . g) x = f (g x) |
| 2021-08-10 02:59:16 +0200 | <Axman6> | @src ($) |
| 2021-08-10 02:59:16 +0200 | <lambdabot> | f $ x = f x |
| 2021-08-10 02:59:42 +0200 | <Axman6> | they're not always interchangable. I can't see how this would have anything to do with do notation |
| 2021-08-10 03:01:13 +0200 | <Axman6> | :t let ((f .: g) x) y = f x . g y in (.:) -- unrelated, wondering if this even valid |
| 2021-08-10 03:01:15 +0200 | <lambdabot> | (t1 -> b -> c) -> (t2 -> a -> b) -> t1 -> t2 -> a -> c |
| 2021-08-10 03:01:20 +0200 | <Axman6> | :o |
| 2021-08-10 03:01:44 +0200 | <lechner> | for a moment it seemed that 'do' implies full application. maybe my logic was reversed (sufficient vs necessary) |
| 2021-08-10 03:01:49 +0200 | xsperry | (~as@user/xsperry) (Remote host closed the connection) |
| 2021-08-10 03:02:28 +0200 | <dsal> | `do` doesn't have anything to `do` with anything. |
| 2021-08-10 03:02:38 +0200 | <Axman6> | do doesn't |
| 2021-08-10 03:02:53 +0200 | <dsal> | > do do do do "wop" |
| 2021-08-10 03:02:54 +0200 | <lambdabot> | "wop" |
| 2021-08-10 03:03:53 +0200 | lbseale | (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer) |
| 2021-08-10 03:04:31 +0200 | cjb` | (~cjb@user/cjb) |
| 2021-08-10 03:05:16 +0200 | Skyfire | (~pyon@user/pyon) (Quit: WeeChat 3.2) |
| 2021-08-10 03:05:18 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-10 03:05:29 +0200 | cjb | Guest8286 |
| 2021-08-10 03:05:29 +0200 | cjb` | cjb |
| 2021-08-10 03:05:58 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-10 03:05:59 +0200 | <lechner> | well, it can't be replaced in all cases, can it? like map (f . g) xs |
| 2021-08-10 03:06:09 +0200 | Guest8286 | (~cjb@user/cjb) (Ping timeout: 260 seconds) |
| 2021-08-10 03:07:27 +0200 | <Axman6> | no, because they do different things |
| 2021-08-10 03:07:55 +0200 | <Axman6> | you talked about situations where it's fully applied, and that isn't one |
| 2021-08-10 03:09:42 +0200 | <lechner> | is for all f,g: replacement legal === fully applied ? or is one space greater? |
| 2021-08-10 03:10:36 +0200 | <lechner> | in other words, are there cases of full application whe replacement does not work? |
| 2021-08-10 03:10:54 +0200 | <Axman6> | I think you should spend some time looking at the definitions and undestanding what they actually mean - they're not magical, playing around with them will show you what is ok and what isn't. |
| 2021-08-10 03:11:10 +0200 | <Axman6> | also understanding their binding power and fixity would help |
| 2021-08-10 03:11:24 +0200 | xff0x | (~xff0x@2001:1a81:5378:e300:775f:2c72:eed7:a05a) (Ping timeout: 272 seconds) |
| 2021-08-10 03:11:46 +0200 | <lechner> | i wasn't asking about parentheses, though |
| 2021-08-10 03:11:53 +0200 | <dsal> | :t f . g |
| 2021-08-10 03:11:54 +0200 | <lambdabot> | error: |
| 2021-08-10 03:11:54 +0200 | <lambdabot> | ⢠Could not deduce (Show b0) arising from a use of âfâ |
| 2021-08-10 03:11:54 +0200 | <lambdabot> | from the context: (Show a, FromExpr c) |
| 2021-08-10 03:12:04 +0200 | <dsal> | I was hoping magic expr stuff would do something creative. |
| 2021-08-10 03:12:32 +0200 | <Axman6> | it's all relevant to understanding which replacements are ok and which aren't |
| 2021-08-10 03:12:53 +0200 | <lechner> | i asked because i read that $ was controversial. |
| 2021-08-10 03:13:04 +0200 | xff0x | (~xff0x@2001:1a81:53b6:2a00:9ab0:6dc8:ce66:af3c) |
| 2021-08-10 03:13:08 +0200 | <dsal> | $ is a heavy hammer |
| 2021-08-10 03:13:19 +0200 | <dsal> | . ties beautiful knots |
| 2021-08-10 03:13:27 +0200 | <lechner> | i was trying to get a sense of its utility, from a purist's view |
| 2021-08-10 03:13:54 +0200 | <lechner> | also avoid ridicule for poor style |
| 2021-08-10 03:14:02 +0200 | pe200012 | (~pe200012@218.107.49.28) |
| 2021-08-10 03:14:04 +0200 | <lechner> | i use them more than . |
| 2021-08-10 03:14:15 +0200 | dragestil_ | (~quassel@user/dragestil) (Ping timeout: 258 seconds) |
| 2021-08-10 03:14:29 +0200 | fjmorazan | (~quassel@user/fjmorazan) (Quit: fjmorazan) |
| 2021-08-10 03:14:34 +0200 | dragestil_ | (~quassel@user/dragestil) |
| 2021-08-10 03:14:45 +0200 | <lechner> | and i think it's because i spend little time on "pure" programming |
| 2021-08-10 03:14:54 +0200 | <lechner> | i.e. i'm in do |
| 2021-08-10 03:15:05 +0200 | fjmorazan | (~quassel@user/fjmorazan) |
| 2021-08-10 03:15:08 +0200 | <dsal> | $ isn't less pure, it just making composition harder. |
| 2021-08-10 03:15:17 +0200 | <lechner> | or impossible? |
| 2021-08-10 03:15:51 +0200 | <sm> | you'll see $ everywhere, I wouldn't worry too much |
| 2021-08-10 03:15:55 +0200 | <dsal> | Yeah. They look similar in some bits of code, but they do different things. |
| 2021-08-10 03:15:58 +0200 | <dsal> | :t (.) |
| 2021-08-10 03:15:59 +0200 | <lambdabot> | (b -> c) -> (a -> b) -> a -> c |
| 2021-08-10 03:16:00 +0200 | <dsal> | :t ($) |
| 2021-08-10 03:16:01 +0200 | <lambdabot> | (a -> b) -> a -> b |
| 2021-08-10 03:16:10 +0200 | <sm> | use whatever makes code clearest/easiest to work with. That will vary depending on situation |
| 2021-08-10 03:16:18 +0200 | oso | (~oso@2601:58c:c080:a950:f275:2530:b398:680b) (Quit: Client closed) |
| 2021-08-10 03:16:44 +0200 | <sm> | $ is more beginner-friendly, I think |
| 2021-08-10 03:16:58 +0200 | <dsal> | $ isn't the root of all problems |
| 2021-08-10 03:17:02 +0200 | <lechner> | i previously thought of $ only as a replacement for parentheses |
| 2021-08-10 03:17:10 +0200 | <dsal> | It's an actual function and you can use it as such. |
| 2021-08-10 03:17:15 +0200 | <lechner> | beginners probably should not use it |
| 2021-08-10 03:17:23 +0200 | <dsal> | Sometimes you actually need $ |
| 2021-08-10 03:17:36 +0200 | <lechner> | please say |
| 2021-08-10 03:17:49 +0200 | <adamCS> | $ comes in handy when you want to fmap over a structure (list, say) full of functions and apply each to a fixed argument |
| 2021-08-10 03:17:53 +0200 | anononon | (~anononon@user-5-173-146-83.play-internet.pl) (Ping timeout: 248 seconds) |
| 2021-08-10 03:18:09 +0200 | <dsal> | > ($2) <$> [(2+), (3*)] |
| 2021-08-10 03:18:10 +0200 | <lambdabot> | [4,6] |
| 2021-08-10 03:18:22 +0200 | <adamCS> | yeah |
| 2021-08-10 03:18:26 +0200 | tommd | (~tommd@cpe-76-179-204-251.maine.res.rr.com) (Ping timeout: 256 seconds) |
| 2021-08-10 03:18:52 +0200 | <lechner> | i am a fraid to ask: why is the $ needed? |
| 2021-08-10 03:18:57 +0200 | <dsal> | It's not *needed* |
| 2021-08-10 03:19:01 +0200 | <dsal> | But how else would you write that? |
| 2021-08-10 03:19:03 +0200 | natechan | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 2021-08-10 03:19:07 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-10 03:19:08 +0200 | <adamCS> | Just shorthand for (\f -> f 2) but it's pretty |
| 2021-08-10 03:19:09 +0200 | <dsal> | > (\v -> v 2) <$> [(2+), (3*)] |
| 2021-08-10 03:19:10 +0200 | <lambdabot> | [4,6] |
| 2021-08-10 03:19:31 +0200 | <sm> | adding <$> has only muddied the waters :) |
| 2021-08-10 03:19:43 +0200 | <lechner> | i got that! |
| 2021-08-10 03:19:49 +0200 | <adamCS> | I have a love/hate relationship with <$> |
| 2021-08-10 03:19:54 +0200 | <lechner> | dsal: i see. thanks! |
| 2021-08-10 03:19:57 +0200 | natechan | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-10 03:20:03 +0200 | <lechner> | that one too |
| 2021-08-10 03:20:07 +0200 | <lechner> | ? |
| 2021-08-10 03:20:12 +0200 | raoul1 | (~raoul@95.179.203.88) |
| 2021-08-10 03:20:17 +0200 | <dsal> | I use <$> everywhere. I don't think about it much. |
| 2021-08-10 03:20:28 +0200 | <sm> | same |
| 2021-08-10 03:20:31 +0200 | <dsal> | map ($2) [(2+), (3*)] |
| 2021-08-10 03:20:35 +0200 | <dsal> | > map ($2) [(2+), (3*)] |
| 2021-08-10 03:20:37 +0200 | <lambdabot> | [4,6] |
| 2021-08-10 03:20:38 +0200 | <dsal> | There. :) |
| 2021-08-10 03:20:48 +0200 | dragestil_ | (~quassel@user/dragestil) (Quit: No Ping reply in 180 seconds.) |
| 2021-08-10 03:20:51 +0200 | <sm> | ah, well I wouldn't use it there. :) |
| 2021-08-10 03:21:00 +0200 | peterhil_ | (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) |
| 2021-08-10 03:21:05 +0200 | mustafa_ | (sid502723@rockylinux/releng/mustafa) |
| 2021-08-10 03:21:06 +0200 | ehamberg_ | (sid18208@id-18208.stonehaven.irccloud.com) |
| 2021-08-10 03:21:06 +0200 | tritlo_ | (sid58727@user/tritlo) |
| 2021-08-10 03:21:13 +0200 | jrm2 | (~jrm@156.34.187.65) |
| 2021-08-10 03:21:25 +0200 | nshepperd24 | (~nshepperd@li364-218.members.linode.com) |
| 2021-08-10 03:21:41 +0200 | <adamCS> | But it sometimes bites me when I also use $ on the RHS of <$>. Which is my own fault, I guess. |
| 2021-08-10 03:21:44 +0200 | Firedancer_ | (sid336191@id-336191.stonehaven.irccloud.com) |
| 2021-08-10 03:21:51 +0200 | rubin55__ | (sid175221@id-175221.stonehaven.irccloud.com) |
| 2021-08-10 03:21:55 +0200 | <dsal> | :t ($) |
| 2021-08-10 03:21:56 +0200 | <lambdabot> | (a -> b) -> a -> b |
| 2021-08-10 03:21:58 +0200 | <dsal> | :t (<$>) |
| 2021-08-10 03:21:59 +0200 | <lambdabot> | Functor f => (a -> b) -> f a -> f b |
| 2021-08-10 03:22:05 +0200 | <sm> | but maybe after a bit more time I will |
| 2021-08-10 03:22:10 +0200 | <dsal> | :t (<*>) |
| 2021-08-10 03:22:11 +0200 | <lambdabot> | Applicative f => f (a -> b) -> f a -> f b |
| 2021-08-10 03:22:16 +0200 | dragestil_ | (~quassel@user/dragestil) |
| 2021-08-10 03:22:22 +0200 | aria_ | (sid380617@id-380617.tooting.irccloud.com) |
| 2021-08-10 03:22:25 +0200 | <dsal> | lechner: It might be interesting to see how these things relate. |
| 2021-08-10 03:22:36 +0200 | m4lvin_ | (~m4lvin@w4eg.de) |
| 2021-08-10 03:22:59 +0200 | <dsal> | But at least, don't think of $ as a paren too much. |
| 2021-08-10 03:23:17 +0200 | <dsal> | I'm about 50/50 on `(f.g.h) x` vs. `f .g.h $ x` |
| 2021-08-10 03:23:20 +0200 | sm | adds that these things become very clear after a bit more coding |
| 2021-08-10 03:23:29 +0200 | pe200012_ | (~pe200012@218.107.49.28) |
| 2021-08-10 03:23:39 +0200 | bairyn | (~bairyn@mail.digitalkingdom.org) |
| 2021-08-10 03:23:47 +0200 | fjmorazan_ | (~quassel@user/fjmorazan) |
| 2021-08-10 03:23:50 +0200 | <dsal> | There are a lot things that "just do this" and eventually you get it. |
| 2021-08-10 03:24:44 +0200 | <sm> | that's the "rewire your brain" step |
| 2021-08-10 03:25:00 +0200 | nf__ | (~n@monade.li) |
| 2021-08-10 03:25:08 +0200 | peterhil | (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-10 03:25:08 +0200 | raoul | (~raoul@95.179.203.88) (Quit: Ping timeout (120 seconds)) |
| 2021-08-10 03:25:08 +0200 | sus | (thelounge@user/zeromomentum) (Quit: Ping timeout (120 seconds)) |
| 2021-08-10 03:25:08 +0200 | jrm | (~jrm@156.34.187.65) (Quit: ciao) |
| 2021-08-10 03:25:08 +0200 | dwt_ | (~dwt_@c-98-200-58-177.hsd1.tx.comcast.net) (Remote host closed the connection) |
| 2021-08-10 03:25:08 +0200 | maerwald | (~maerwald@mail.hasufell.de) (Quit: gone) |
| 2021-08-10 03:25:08 +0200 | ehamberg | (sid18208@stonehaven.irccloud.com) (Read error: Connection reset by peer) |
| 2021-08-10 03:25:08 +0200 | rubin55_ | (sid175221@stonehaven.irccloud.com) (Read error: Connection reset by peer) |
| 2021-08-10 03:25:08 +0200 | mustafa | (sid502723@rockylinux/releng/mustafa) (Read error: Connection reset by peer) |
| 2021-08-10 03:25:08 +0200 | tritlo | (sid58727@user/tritlo) (Write error: Connection reset by peer) |
| 2021-08-10 03:25:08 +0200 | Firedancer | (sid336191@stonehaven.irccloud.com) (Write error: Connection reset by peer) |
| 2021-08-10 03:25:08 +0200 | nshepperd2 | (~nshepperd@li364-218.members.linode.com) (Quit: Ping timeout (120 seconds)) |
| 2021-08-10 03:25:08 +0200 | m4lvin | (~m4lvin@w4eg.de) (Remote host closed the connection) |
| 2021-08-10 03:25:08 +0200 | matijja | (~matijja@193.77.181.201) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2021-08-10 03:25:08 +0200 | dolio | (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-08-10 03:25:08 +0200 | aria | (sid380617@id-380617.tooting.irccloud.com) (Read error: Connection reset by peer) |
| 2021-08-10 03:25:08 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2021-08-10 03:25:08 +0200 | fjmorazan | (~quassel@user/fjmorazan) (Quit: No Ping reply in 180 seconds.) |
| 2021-08-10 03:25:08 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 272 seconds) |
| 2021-08-10 03:25:09 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Ping timeout: 272 seconds) |
| 2021-08-10 03:25:09 +0200 | jlamothe | (~jlamothe@104.158.48.100) (Ping timeout: 272 seconds) |
| 2021-08-10 03:25:09 +0200 | jolly | (~jolly@208.180.97.158) (Ping timeout: 272 seconds) |
| 2021-08-10 03:25:09 +0200 | pe200012 | (~pe200012@218.107.49.28) (Remote host closed the connection) |
| 2021-08-10 03:25:09 +0200 | nf | (~n@monade.li) (Remote host closed the connection) |
| 2021-08-10 03:25:09 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) (Remote host closed the connection) |
| 2021-08-10 03:25:09 +0200 | ByronJohnson | (~bairyn@mail.digitalkingdom.org) (Ping timeout: 272 seconds) |
| 2021-08-10 03:25:09 +0200 | infinity0 | (~infinity0@occupy.ecodis.net) (Ping timeout: 272 seconds) |
| 2021-08-10 03:25:09 +0200 | earthy | (~arthurvl@2001:984:275b:1:ba27:ebff:fea0:40b0) (Ping timeout: 272 seconds) |
| 2021-08-10 03:25:09 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 272 seconds) |
| 2021-08-10 03:25:09 +0200 | Cale | (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (Ping timeout: 272 seconds) |
| 2021-08-10 03:25:09 +0200 | Vq | (~vq@90-227-195-41-no77.tbcn.telia.com) (Ping timeout: 272 seconds) |
| 2021-08-10 03:25:09 +0200 | nshepperd | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Ping timeout: 272 seconds) |
| 2021-08-10 03:25:09 +0200 | raoul1 | raoul |
| 2021-08-10 03:25:09 +0200 | aria_ | aria |
| 2021-08-10 03:25:09 +0200 | Firedancer_ | Firedancer |
| 2021-08-10 03:25:09 +0200 | ehamberg_ | ehamberg |
| 2021-08-10 03:25:09 +0200 | mustafa_ | mustafa |
| 2021-08-10 03:25:10 +0200 | nshepperd24 | nshepperd2 |
| 2021-08-10 03:25:10 +0200 | jrm2 | jrm |
| 2021-08-10 03:25:10 +0200 | tritlo_ | tritlo |
| 2021-08-10 03:25:11 +0200 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) (Remote host closed the connection) |
| 2021-08-10 03:25:12 +0200 | Vq_ | (~vq@90-227-195-41-no77.tbcn.telia.com) |
| 2021-08-10 03:25:15 +0200 | maerwald_ | (~maerwald@mail.hasufell.de) |
| 2021-08-10 03:25:17 +0200 | nshepper1 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 2021-08-10 03:25:18 +0200 | <sm> | the rewiring doesn't stick unless you run some current through it |
| 2021-08-10 03:25:19 +0200 | Jonno_FTW | (~come@api.carswap.me) |
| 2021-08-10 03:25:20 +0200 | ornxka | (~ornxka@user/ornxka) (Remote host closed the connection) |
| 2021-08-10 03:25:20 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2021-08-10 03:25:25 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-08-10 03:25:27 +0200 | <Cajun> | well is there a good list of coding exercises/problems that are decently involved? |
| 2021-08-10 03:25:33 +0200 | dolio | (~dolio@130.44.130.54) |
| 2021-08-10 03:25:34 +0200 | matijja | (~matijja@193.77.181.201) |
| 2021-08-10 03:25:41 +0200 | sus | (thelounge@user/zeromomentum) |
| 2021-08-10 03:25:45 +0200 | ornxka | (~ornxka@user/ornxka) |
| 2021-08-10 03:25:53 +0200 | infinity0 | (~infinity0@occupy.ecodis.net) |
| 2021-08-10 03:25:53 +0200 | favonia | (~favonia@user/favonia) |
| 2021-08-10 03:25:57 +0200 | <sm> | I say 1 project euler, 2 exercism, 3 advent of code |
| 2021-08-10 03:26:13 +0200 | <dsal> | Cajun: I've really enjoyed all the AoC stuff. |
| 2021-08-10 03:26:15 +0200 | <Axman6> | I always liked dibblego's https://gist.github.com/23Skidoo/5087060 intermediate haskell exercises |
| 2021-08-10 03:26:16 +0200 | <Cajun> | ive found project euler a bit too mathy for me, as much as i like math lol |
| 2021-08-10 03:26:19 +0200 | <dsal> | Last year was easier than I liked, though./ |
| 2021-08-10 03:26:26 +0200 | <Cajun> | ive been looking ad AoC but ive never heard of exercism |
| 2021-08-10 03:26:26 +0200 | <dsal> | I started with Euler stuff and ran into the same problem. |
| 2021-08-10 03:26:36 +0200 | Cale | (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) |
| 2021-08-10 03:26:39 +0200 | <dsal> | exercism isn't too ba. I cna't remember whyI gave up on that. |
| 2021-08-10 03:26:40 +0200 | earthy | (~arthurvl@2001:984:275b:1:ba27:ebff:fea0:40b0) |
| 2021-08-10 03:26:45 +0200 | <Axman6> | really helps you get a grip on some common types we use (there are some words I'm intentionally avoiding using there) |
| 2021-08-10 03:26:57 +0200 | <sm> | Cajun: in the early parts at least, it's easiest for a new haskeller I think, since it is pretty pure |
| 2021-08-10 03:27:17 +0200 | <Axman6> | http://blog.tmorris.net/posts/20-intermediate-haskell-exercises/ is the original link |
| 2021-08-10 03:27:18 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2021-08-10 03:27:27 +0200 | <sm> | (I didn't mean do all of these things) |
| 2021-08-10 03:27:30 +0200 | <monochrom> | Oh so that's where the <avoided words> exercises have gone! :) |
| 2021-08-10 03:28:06 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-08-10 03:28:09 +0200 | <monochrom> | But wait, that URL is the solution. |
| 2021-08-10 03:28:17 +0200 | jlamothe | (~jlamothe@104.158.48.100) |
| 2021-08-10 03:28:23 +0200 | <sm> | doh Axman6 ! |
| 2021-08-10 03:28:32 +0200 | <sm> | now I know everything |
| 2021-08-10 03:28:41 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) |
| 2021-08-10 03:29:25 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.2) |
| 2021-08-10 03:30:19 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-10 03:30:21 +0200 | <sm> | but seriously, what is going on with these.. |
| 2021-08-10 03:30:28 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-08-10 03:30:36 +0200 | <sm> | are they part of https://github.com/tonymorris/fp-course ? |
| 2021-08-10 03:30:44 +0200 | <Axman6> | Related |
| 2021-08-10 03:30:53 +0200 | <Axman6> | I think they predate the course |
| 2021-08-10 03:31:15 +0200 | dwt_ | (~dwt_@c-98-200-58-177.hsd1.tx.comcast.net) |
| 2021-08-10 03:31:46 +0200 | <monochrom> | They were. Not any more. At least not in the form of hiding the real names. |
| 2021-08-10 03:32:01 +0200 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 268 seconds) |
| 2021-08-10 03:32:17 +0200 | <sm> | ah, here are the/some exercises: https://github.com/tonymorris/fp-course#progression |
| 2021-08-10 03:32:52 +0200 | <sm> | navigating the puzzles is itself a puzzle |
| 2021-08-10 03:34:37 +0200 | <monochrom> | The Voldemort classes that must not be named. |
| 2021-08-10 03:34:45 +0200 | sm | retreats in confusion and disarray |
| 2021-08-10 03:35:14 +0200 | <sm> | @where exercises |
| 2021-08-10 03:35:14 +0200 | <lambdabot> | http://www.haskell.org/haskellwiki/H-99:_Ninety-Nine_Haskell_Problems https://github.com/bitemyapp/learnhaskell http://www.reddit.com/r/dailyprogrammer/ http://www.reddit.com/r/programmingchallenges/ |
| 2021-08-10 03:35:31 +0200 | <monochrom> | class Excrutiato f where excrutiato :: (a -> b) -> f a -> f b |
| 2021-08-10 03:40:17 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 2021-08-10 03:40:57 +0200 | fef | (~thedawn@user/thedawn) |
| 2021-08-10 03:44:50 +0200 | fef | (~thedawn@user/thedawn) (Client Quit) |
| 2021-08-10 03:44:58 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2021-08-10 03:46:13 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2) |
| 2021-08-10 03:51:04 +0200 | goepsilongo | (~goepsilon@2603-7000-ab00-62ed-8187-3887-37f5-8cee.res6.spectrum.com) |
| 2021-08-10 03:53:00 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-08-10 03:53:35 +0200 | MQ-17J | (~MQ-17J@8.6.144.209) |
| 2021-08-10 03:54:20 +0200 | phma | (~phma@host-67-44-208-49.hnremote.net) (Read error: Connection reset by peer) |
| 2021-08-10 03:55:20 +0200 | Skyfire | (~pyon@user/pyon) |
| 2021-08-10 03:57:11 +0200 | phma | (~phma@host-67-44-208-154.hnremote.net) |
| 2021-08-10 04:01:44 +0200 | endlesseditions | (~endlessed@205.220.252.162) |
| 2021-08-10 04:05:12 +0200 | endlesseditions | (~endlessed@205.220.252.162) () |
| 2021-08-10 04:15:58 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 258 seconds) |
| 2021-08-10 04:18:50 +0200 | <Cajun> | sm: yeah i absolutely agree, it doesnt require you to deal with too many monads and honestly its great for finding libraries and getting familiar with reading docs (see problem 19, it deals with dates) |
| 2021-08-10 04:19:48 +0200 | td_ | (~td@94.134.91.53) (Ping timeout: 272 seconds) |
| 2021-08-10 04:20:53 +0200 | goepsilongo | (~goepsilon@2603-7000-ab00-62ed-8187-3887-37f5-8cee.res6.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-08-10 04:21:19 +0200 | td_ | (~td@muedsl-82-207-238-245.citykom.de) |
| 2021-08-10 04:25:56 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 258 seconds) |
| 2021-08-10 04:27:06 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-10 04:27:25 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-10 04:27:34 +0200 | Guest4968 | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-10 04:28:35 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-08-10 04:28:36 +0200 | FinnElija | Guest6250 |
| 2021-08-10 04:28:36 +0200 | Guest6250 | (~finn_elij@user/finn-elija/x-0085643) (Killed (sodium.libera.chat (Nickname regained by services))) |
| 2021-08-10 04:28:36 +0200 | finn_elija | FinnElija |
| 2021-08-10 04:28:40 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2021-08-10 04:30:52 +0200 | <slack1256> | TIL: the true power of ViewPatterns is on do block, specially when binding variables. |
| 2021-08-10 04:34:04 +0200 | <Cajun> | so im trying to install HLS 1.3.0 and ghcup comes up with a digest error: https://paste.tomsmeding.com/V2AwTbuF |
| 2021-08-10 04:34:38 +0200 | <Cajun> | im installing it via `ghcup tui` so maybe thats it? lemme also update ghcup but its super strange |
| 2021-08-10 04:37:17 +0200 | <Cajun> | ok apparently it was just because ghcup was out of date but that was a strange issue, shoulda just told this to the rubber duck :P |
| 2021-08-10 04:38:50 +0200 | VoidNoir0 | (~VoidNoir0@72.80.203.52) |
| 2021-08-10 04:42:42 +0200 | euouae | (~euouae@user/euouae) |
| 2021-08-10 04:45:24 +0200 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 2021-08-10 04:45:51 +0200 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-08-10 04:46:42 +0200 | torei | (~torei@c-73-108-191-67.hsd1.ga.comcast.net) |
| 2021-08-10 04:57:20 +0200 | slack1256 | (~slack1256@191.126.53.228) (Remote host closed the connection) |
| 2021-08-10 04:59:35 +0200 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2021-08-10 05:03:26 +0200 | <lechner> | thanks for all the hints! |
| 2021-08-10 05:03:47 +0200 | <lechner> | dsal: AoC is Advent of Code? |
| 2021-08-10 05:04:08 +0200 | <dibblego> | Air Operator Certificate! |
| 2021-08-10 05:04:43 +0200 | <dibblego> | ignore me |
| 2021-08-10 05:05:56 +0200 | pe200012 | (~pe200012@113.105.10.33) |
| 2021-08-10 05:06:09 +0200 | pe200012_ | (~pe200012@218.107.49.28) (Ping timeout: 248 seconds) |
| 2021-08-10 05:09:42 +0200 | <dmj`> | fresheyeball: Iâd double check that the hashes in cabal.config match sources.nix |
| 2021-08-10 05:13:58 +0200 | <dsal> | lechner: yeah. Favorite time of the year. :) |
| 2021-08-10 05:33:37 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-10 05:35:03 +0200 | emliunix | (~emliunix@2a09:bac0:23::815:bca) (Remote host closed the connection) |
| 2021-08-10 05:35:20 +0200 | emliunix | (~emliunix@103.138.75.119) |
| 2021-08-10 05:36:37 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-10 05:38:26 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
| 2021-08-10 05:41:40 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-10 05:42:16 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-10 05:44:07 +0200 | adam1 | (~adam@2001-b011-4007-0808-916d-b2e3-f972-38e2.dynamic-ip6.hinet.net) |
| 2021-08-10 05:46:02 +0200 | alx741 | (~alx741@181.196.68.21) (Quit: alx741) |
| 2021-08-10 05:53:48 +0200 | shredder | (~user@user/shredder) (Quit: quitting) |
| 2021-08-10 05:54:39 +0200 | adam1 | (~adam@2001-b011-4007-0808-916d-b2e3-f972-38e2.dynamic-ip6.hinet.net) (Quit: WeeChat 3.2) |
| 2021-08-10 05:55:12 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-08-10 05:55:45 +0200 | euouae | (~euouae@user/euouae) (Quit: Client closed) |
| 2021-08-10 05:55:58 +0200 | <lechner> | that's funny! |
| 2021-08-10 05:57:40 +0200 | shredder | (~user@user/shredder) |
| 2021-08-10 05:58:24 +0200 | adam1 | (~adam@2001-b011-4007-0808-916d-b2e3-f972-38e2.dynamic-ip6.hinet.net) |
| 2021-08-10 05:59:11 +0200 | euouae | (~euouae@user/euouae) |
| 2021-08-10 05:59:36 +0200 | fjmorazan_ | fjmorazan |
| 2021-08-10 05:59:53 +0200 | adam1 | (~adam@2001-b011-4007-0808-916d-b2e3-f972-38e2.dynamic-ip6.hinet.net) (Client Quit) |
| 2021-08-10 06:00:04 +0200 | adam1 | (~adam@2001-b011-4007-0808-916d-b2e3-f972-38e2.dynamic-ip6.hinet.net) |
| 2021-08-10 06:01:32 +0200 | euouae | (~euouae@user/euouae) (Client Quit) |
| 2021-08-10 06:04:17 +0200 | pe200012 | (~pe200012@113.105.10.33) (Ping timeout: 248 seconds) |
| 2021-08-10 06:04:23 +0200 | pe200012_ | (~pe200012@218.107.49.28) |
| 2021-08-10 06:06:04 +0200 | Guest4593 | (~Guest45@2001:8004:2728:3231:22e8:8df9:c65:5ea) (Ping timeout: 246 seconds) |
| 2021-08-10 06:11:08 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-08-10 06:12:12 +0200 | VoidNoir0 | (~VoidNoir0@72.80.203.52) (Quit: Ping timeout (120 seconds)) |
| 2021-08-10 06:12:47 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-10 06:17:17 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
| 2021-08-10 06:17:36 +0200 | MQ-17J | (~MQ-17J@8.6.144.209) (Ping timeout: 272 seconds) |
| 2021-08-10 06:25:12 +0200 | adam1 | (~adam@2001-b011-4007-0808-916d-b2e3-f972-38e2.dynamic-ip6.hinet.net) (Ping timeout: 272 seconds) |
| 2021-08-10 06:27:45 +0200 | pgib | (~textual@173.38.117.78) (Ping timeout: 248 seconds) |
| 2021-08-10 06:30:23 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-10 06:37:14 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-10 06:42:29 +0200 | Guest7116 | (~Guest71@217.156.31.64) |
| 2021-08-10 06:45:07 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-10 06:51:04 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-10 06:54:07 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-08-10 06:55:42 +0200 | Guest7116 | random-jellyfish |
| 2021-08-10 06:55:47 +0200 | random-jellyfish | (~Guest71@217.156.31.64) (Changing host) |
| 2021-08-10 06:55:47 +0200 | random-jellyfish | (~Guest71@user/random-jellyfish) |
| 2021-08-10 06:57:23 +0200 | Gurkenglas | (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-08-10 06:59:33 +0200 | sm2n | (~sm2n@user/sm2n) (Read error: Connection reset by peer) |
| 2021-08-10 07:04:17 +0200 | adam1 | (~adam@2001-b011-4007-2236-a1a1-867b-8ec5-4452.dynamic-ip6.hinet.net) |
| 2021-08-10 07:08:29 +0200 | myShoggoth | (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 268 seconds) |
| 2021-08-10 07:09:32 +0200 | MorrowM | (~Morrow@176.12.187.199) |
| 2021-08-10 07:11:04 +0200 | pfurla_ | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-08-10 07:11:36 +0200 | sm2n | (~sm2n@user/sm2n) |
| 2021-08-10 07:12:21 +0200 | michalz | (~michalz@185.246.204.61) |
| 2021-08-10 07:13:54 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2021-08-10 07:14:22 +0200 | cjb | (~cjb@user/cjb) (Quit: rcirc on GNU Emacs 28.0.50) |
| 2021-08-10 07:17:59 +0200 | _xor | (~xor@74.215.232.67) (Quit: brb) |
| 2021-08-10 07:19:56 +0200 | <koz> | dibblego: https://twitter.com/PLT_Borat/status/228009057670291456 |
| 2021-08-10 07:20:01 +0200 | <koz> | I have found this gem once again. |
| 2021-08-10 07:20:45 +0200 | <dibblego> | heh |
| 2021-08-10 07:21:36 +0200 | derelict | (~derelict@user/derelict) (Quit: WeeChat 3.2) |
| 2021-08-10 07:22:33 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-08-10 07:25:07 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2021-08-10 07:26:53 +0200 | jneira | (~jneira@212.8.115.226) |
| 2021-08-10 07:31:23 +0200 | _xor | (~xor@74.215.232.67) |
| 2021-08-10 07:31:51 +0200 | etehtsea | (~etehtseam@2001:470:69fc:105::d579) |
| 2021-08-10 07:32:00 +0200 | bin_ | (~bin@user/bin/x-1583188) |
| 2021-08-10 07:32:14 +0200 | _bin | (~bin@user/bin/x-1583188) (Ping timeout: 258 seconds) |
| 2021-08-10 07:33:53 +0200 | pe200012 | (~pe200012@113.105.10.33) |
| 2021-08-10 07:34:25 +0200 | pe200012_ | (~pe200012@218.107.49.28) (Ping timeout: 248 seconds) |
| 2021-08-10 07:37:52 +0200 | etehtsea | (~etehtseam@2001:470:69fc:105::d579) () |
| 2021-08-10 07:39:57 +0200 | pottsy | (~pottsy@2400:4050:b560:3700:38eb:29ba:72bf:9791) |
| 2021-08-10 07:41:53 +0200 | vrilles | (~vrilles@user/aman) |
| 2021-08-10 07:45:47 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-10 07:50:25 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 248 seconds) |
| 2021-08-10 07:54:14 +0200 | MorrowM | (~Morrow@176.12.187.199) (Read error: Connection reset by peer) |
| 2021-08-10 07:54:32 +0200 | MorrowM | (~Morrow@176.12.187.199) |
| 2021-08-10 07:56:39 +0200 | euouae | (~euouae@user/euouae) |
| 2021-08-10 07:57:02 +0200 | <euouae> | Hello I want to ask about ((->) a) |
| 2021-08-10 07:57:07 +0200 | <euouae> | Is this a Yoneda embedding? |
| 2021-08-10 07:57:40 +0200 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 272 seconds) |
| 2021-08-10 07:57:50 +0200 | myShoggoth | (~myShoggot@97-120-70-214.ptld.qwest.net) |
| 2021-08-10 07:57:59 +0200 | <euouae> | Or rather, sorry, is it just the hom functor in the second argument? |
| 2021-08-10 08:01:30 +0200 | <dibblego> | @type id :: e -> e |
| 2021-08-10 08:01:31 +0200 | <lambdabot> | e -> e |
| 2021-08-10 08:01:34 +0200 | <dibblego> | @type id :: (->) e e |
| 2021-08-10 08:01:35 +0200 | <lambdabot> | e -> e |
| 2021-08-10 08:01:40 +0200 | <dibblego> | @type id :: ((->) e) e |
| 2021-08-10 08:01:41 +0200 | <lambdabot> | e -> e |
| 2021-08-10 08:02:22 +0200 | <euouae> | Right but I'm asking about ((->) a) being a functor |
| 2021-08-10 08:02:36 +0200 | <dibblego> | @type fmap |
| 2021-08-10 08:02:37 +0200 | <lambdabot> | Functor f => (a -> b) -> f a -> f b |
| 2021-08-10 08:02:40 +0200 | <dibblego> | @type fmap :: (a -> b) -> [a] -> [b] |
| 2021-08-10 08:02:41 +0200 | <lambdabot> | (a -> b) -> [a] -> [b] |
| 2021-08-10 08:02:47 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-08-10 08:02:50 +0200 | <dibblego> | @type fmap :: (a -> b) -> ((-> e) a) -> ((->) e b) |
| 2021-08-10 08:02:51 +0200 | <lambdabot> | error: parse error on input âeâ |
| 2021-08-10 08:02:57 +0200 | <dibblego> | @type fmap :: (a -> b) -> ((->) e a) -> ((->) e b) |
| 2021-08-10 08:02:58 +0200 | <lambdabot> | (a -> b) -> (e -> a) -> e -> b |
| 2021-08-10 08:04:06 +0200 | <euouae> | Hm.. I can't quite put into words what I'm thinking. I just realized that ((->) a) being a functor had to do with the Yoneda lemma |
| 2021-08-10 08:04:19 +0200 | <euouae> | Or rather, the statement of the Yoneda lemma uses that functor |
| 2021-08-10 08:06:39 +0200 | <Gurkenglas> | euouae, the yoneda embedding takes the b in (a -> b) as its first argument |
| 2021-08-10 08:06:49 +0200 | <Gurkenglas> | it's flip (->), basically. |
| 2021-08-10 08:07:10 +0200 | random-jellyfish | (~Guest71@user/random-jellyfish) (Ping timeout: 246 seconds) |
| 2021-08-10 08:07:15 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-10 08:07:20 +0200 | <euouae> | Gurkenglas: You can have it both ways right? |
| 2021-08-10 08:07:20 +0200 | <dsal> | :t ((->) a) |
| 2021-08-10 08:07:21 +0200 | <lambdabot> | error: parse error on input â->â |
| 2021-08-10 08:07:35 +0200 | <Axman6> | it's be :kind |
| 2021-08-10 08:07:39 +0200 | <Axman6> | it'd* |
| 2021-08-10 08:08:26 +0200 | <dsal> | I was going type would be useful. But yeah, they kind is illustrative. |
| 2021-08-10 08:08:27 +0200 | <euouae> | :kind ((->) *) |
| 2021-08-10 08:08:37 +0200 | <euouae> | Hmm it works in ghci |
| 2021-08-10 08:08:53 +0200 | <dibblego> | @kind ((->) *) |
| 2021-08-10 08:08:54 +0200 | <lambdabot> | * -> * |
| 2021-08-10 08:09:05 +0200 | <dsal> | If you can imagine ((->) a) bring a mapping of a to b, then youb can imagine seeing how a function of b->c can be fmapped |
| 2021-08-10 08:09:24 +0200 | <Gurkenglas> | euouae, if you want to understand the yoneda lemma you need to pay attention to the difference; the difference between the a and the b is that the result is "covariant" in the b and "contravariant" in the a. This means that given some b->b' you can turn each a->b into some a->b', but given some a->a' you get *get* some a->b *from* each a'->b |
| 2021-08-10 08:09:36 +0200 | <dsal> | 'a' was confusing there... I should be asleep |
| 2021-08-10 08:09:53 +0200 | <euouae> | Gurkenglas: But Yoneda lemma has both versions |
| 2021-08-10 08:10:05 +0200 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-08-10 08:10:28 +0200 | <euouae> | I'm not saying they're not different, but in an inessential way. You are right the classical one is flip (->) |
| 2021-08-10 08:10:33 +0200 | Guest45 | (~Guest45@2001:8004:2728:3231:22e8:8df9:c65:5ea) |
| 2021-08-10 08:10:45 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-08-10 08:10:51 +0200 | <euouae> | I was just curious if there's some insight of Haskell types with regards to that functor and the Yoneda lemma |
| 2021-08-10 08:11:22 +0200 | <Gurkenglas> | Ah, I suppose I am just arguing about definitions if you're aware of the situations. |
| 2021-08-10 08:11:40 +0200 | qbt | (~edun@user/edun) |
| 2021-08-10 08:12:02 +0200 | <euouae> | I know a little bit about it from the math side |
| 2021-08-10 08:12:10 +0200 | <euouae> | But I know little about Haskell and its formalizaiton |
| 2021-08-10 08:12:26 +0200 | <Gurkenglas> | Might be good to note that Hask is technically not a category, though that's a statement for party poopers and it's so-called morally correct to pretend |
| 2021-08-10 08:12:48 +0200 | <euouae> | I've heard of that too. Something about System-F or such maybe system-w it was |
| 2021-08-10 08:13:06 +0200 | <euouae> | Yeah it's two steps from being a category, you need some system and then you need to adjoint something to it |
| 2021-08-10 08:13:29 +0200 | Obo | (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-08-10 08:13:31 +0200 | <euouae> | Probably not worthwhile talking about without me getting deeper into it... if ever |
| 2021-08-10 08:13:36 +0200 | Obo | (~roberto@70.pool90-171-81.dynamic.orange.es) (Client Quit) |
| 2021-08-10 08:13:46 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-10 08:14:03 +0200 | <Gurkenglas> | https://hackage.haskell.org/package/kan-extensions-5.2.3/docs/Data-Functor-Yoneda.html reifies (is that the word?) the yoneda lemma |
| 2021-08-10 08:15:32 +0200 | <euouae> | Looks like there's a nice informative blog post linked there, thanks |
| 2021-08-10 08:16:51 +0200 | <Gurkenglas> | Is there a language that goes above and beyond in its type inference, such as by inferring from "a + b + c" that + must be associative and adding that as a theorem that needs to be proven by the compiler? |
| 2021-08-10 08:17:42 +0200 | euouae | (~euouae@user/euouae) (Quit: thank you, off to lunch) |
| 2021-08-10 08:19:22 +0200 | <Gurkenglas> | Or perhaps, given a % b § c it might infer that out of the two ways to add parentheses, each that compiles must come out the same way |
| 2021-08-10 08:20:41 +0200 | <c_wraith> | that seems like a level of inference not supported by standard conventions. a + b * c is usually expected to parse only one way |
| 2021-08-10 08:21:05 +0200 | curiousgay | (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-08-10 08:21:18 +0200 | <Gurkenglas> | then i suppose i am asking for a language above and beyond the standard conventions >:P |
| 2021-08-10 08:21:27 +0200 | <c_wraith> | I suppose you could say that it only applies to pairs of operators that don't have a precedence specified |
| 2021-08-10 08:22:03 +0200 | <c_wraith> | make a partial order out of precedences. |
| 2021-08-10 08:22:06 +0200 | <hsek[m]> | Is there a way to unset a tool with `ghcup`? For times I don't want it to be present in path at all. |
| 2021-08-10 08:22:13 +0200 | <Gurkenglas> | yeah, of course you can add a theorem that the one way to place parantheses compiles, and a command that the other doesn't. |
| 2021-08-10 08:22:26 +0200 | <c_wraith> | hsek[m]: see if "ghcup tui" makes sense to you |
| 2021-08-10 08:22:44 +0200 | <c_wraith> | hsek[m]: unless you mean one specific tool, rather than a whole distribution. I don't think it handles that |
| 2021-08-10 08:23:15 +0200 | <Gurkenglas> | even a language that only goes to the "infer associativity theorem to prove" level would be neat if you know one :) |
| 2021-08-10 08:23:38 +0200 | <hsek[m]> | c_wraith: Yeah there seems to only be a set option, same with the CLI. :( |
| 2021-08-10 08:24:34 +0200 | Akronymus | (~Akronymus@85.31.8.181) |
| 2021-08-10 08:24:52 +0200 | <c_wraith> | Gurkenglas: Haskell is almost there. Just change the default fixity to infix rather than infixl |
| 2021-08-10 08:25:13 +0200 | <c_wraith> | Gurkenglas: well. it won't force you to prove anything, but it'll reject the code! |
| 2021-08-10 08:25:32 +0200 | <Gurkenglas> | force me to prove? it should try on its own, first. |
| 2021-08-10 08:25:59 +0200 | Obo | (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-08-10 08:26:33 +0200 | <Gurkenglas> | (and then if it can't the error should be worded as a difficulty with a "uh help me compile this pls", unless it can disprove the theorem) |
| 2021-08-10 08:26:37 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-10 08:26:47 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-10 08:26:54 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-10 08:26:59 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-10 08:27:27 +0200 | <Gurkenglas> | here's some insane musing i did in an imagined language https://gist.github.com/Gurkenglas/9f02cfeba04b35e178753ae4663349ef a$b % c is sugar for (a $ b) % c |
| 2021-08-10 08:28:24 +0200 | ham | (~ham4@user/ham) (Ping timeout: 256 seconds) |
| 2021-08-10 08:28:39 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2021-08-10 08:29:58 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2021-08-10 08:30:32 +0200 | <Gurkenglas> | or i should say, for any operation %, a%b is sugar for (a % b) |
| 2021-08-10 08:31:13 +0200 | <edwardk> | Gurkenglas: http://comonad.com/haskell/Category.k is from an old toy language of mine |
| 2021-08-10 08:31:18 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2021-08-10 08:31:39 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 258 seconds) |
| 2021-08-10 08:31:52 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 2021-08-10 08:32:14 +0200 | Gurkenglas | starstruck |
| 2021-08-10 08:32:15 +0200 | <edwardk> | the key there was that types were purely for code reuse |
| 2021-08-10 08:32:54 +0200 | <Gurkenglas> | Did your work at miri produce any language innovations? |
| 2021-08-10 08:33:50 +0200 | <edwardk> | when i get some more time, now that i'm at groq, and miri has mostly greenlit me to open up things i think aren't infohazard-ish, i'll see what i can put in the public space. there's still a fair bit of coda i'd like to do. |
| 2021-08-10 08:34:05 +0200 | <edwardk> | and i want to get that stuff and my LF work out there. |
| 2021-08-10 08:34:09 +0200 | pe200012 | (~pe200012@113.105.10.33) (Ping timeout: 248 seconds) |
| 2021-08-10 08:34:24 +0200 | pe200012 | (~pe200012@218.107.49.28) |
| 2021-08-10 08:34:46 +0200 | MorrowM | (~Morrow@176.12.187.199) (Read error: Connection reset by peer) |
| 2021-08-10 08:34:53 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:3fc0:c335:9234:c2e2) |
| 2021-08-10 08:35:05 +0200 | MorrowM | (~Morrow@176.12.187.199) |
| 2021-08-10 08:35:35 +0200 | <edwardk> | to read the code above basically it uses a sort of 'additive' adjective system, where adjectives can add traits to a noun contextually. and in the end ties the knot on the definition based on the fixed point of all the stuff you inherit through this strictly positive process |
| 2021-08-10 08:36:00 +0200 | <edwardk> | but this was from like 12-13 years ago when i was just learning haskell |
| 2021-08-10 08:36:38 +0200 | ham | (~ham4@user/ham) |
| 2021-08-10 08:37:20 +0200 | <Gurkenglas> | Have you benefited from any NLP-based tools yet, such as for alerting you of IRC conversations you may find interesting? |
| 2021-08-10 08:37:21 +0200 | <edwardk> | the other weird feature is 'grey boxing' which lets you define result records/products returned from functions field-by-field |
| 2021-08-10 08:38:10 +0200 | <edwardk> | did my descent into the middle of this one give you that impression? |
| 2021-08-10 08:39:49 +0200 | <edwardk> | my system there is pretty boring. i have rotating list of keywords i swap out every day or so to keep me from getting too annoyed at getting too many false positives too frequently for the same thing |
| 2021-08-10 08:40:05 +0200 | <edwardk> | and if i don't like what it pops up i prune the list pretty aggressively |
| 2021-08-10 08:40:59 +0200 | <Gurkenglas> | It's a simple-enough sounding tool I would want that it seemed like an easy sell, and one I hoped the top researchers had. |
| 2021-08-10 08:41:35 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-08-10 08:41:43 +0200 | <Gurkenglas> | A step further would be telling GPT to summarize IRC logs. |
| 2021-08-10 08:42:05 +0200 | <edwardk> | good language models are stupid expensive to train, and need lots of good source data, while old style NLP is stupidly bad at its job. |
| 2021-08-10 08:42:49 +0200 | <Gurkenglas> | Modern language models are good across many tasks, though! |
| 2021-08-10 08:43:08 +0200 | <Gurkenglas> | Surely all of miri had GPT-3 access handed to them on a silver platter... |
| 2021-08-10 08:44:50 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-08-10 08:45:01 +0200 | <edwardk> | I hate to disillusion you, but I mostly played around with it through early AI Dungeon dragon model access myself. =P |
| 2021-08-10 08:45:59 +0200 | <edwardk> | that said, it did produce some pretty funny fake eliezer dialogues. |
| 2021-08-10 08:46:03 +0200 | <Gurkenglas> | A simple alert implementation would finetune an LM to predict #haskell logs and alert you when it predicts a sufficient probability that you reply. |
| 2021-08-10 08:46:17 +0200 | <edwardk> | yeah that's how i'd do it myself |
| 2021-08-10 08:46:47 +0200 | <edwardk> | of course, then it'd mostly just learn my existing keyword rotation ;) |
| 2021-08-10 08:47:26 +0200 | <edwardk> | and er.. quite how seasonal the rotation of ideas i care about is |
| 2021-08-10 08:47:53 +0200 | <Gurkenglas> | Do you have a log of your keyword rotation? You could insert the alert events into the log, and alert you when it predicts that you replied but weren't alerted by the keyword system. |
| 2021-08-10 08:48:24 +0200 | <edwardk> | if i had any foresight when writing the little perl script that would totally have been a great idea |
| 2021-08-10 08:48:31 +0200 | shriekingnoise | (~shrieking@186.137.144.80) (Quit: Quit) |
| 2021-08-10 08:48:44 +0200 | <Gurkenglas> | May I take this moment to suggest that you log your daily internal monologue if this does not significantly reduce your productivity. |
| 2021-08-10 08:48:51 +0200 | <Gurkenglas> | Like, all the time. Maybe just install a keylogger |
| 2021-08-10 08:49:00 +0200 | <Gurkenglas> | Then 2 years from now, tell GPT-5 to tell you what you missed. |
| 2021-08-10 08:49:22 +0200 | <edwardk> | so many passwords getting fed to gpt-5 ;) |
| 2021-08-10 08:49:45 +0200 | <Gurkenglas> | In 1.9 years, tell your local GPT-3 instance to scrub passwords. |
| 2021-08-10 08:50:33 +0200 | <Gurkenglas> | The password problem has low enough probability of being unsolvable that the potential upside should be worth it! |
| 2021-08-10 08:52:04 +0200 | lortabac_ | (~lortabac@2a01:e0a:541:b8f0:38bf:81bf:24b:2c61) |
| 2021-08-10 08:52:12 +0200 | <Gurkenglas> | Do you still use a trivial development environment? Have you tried copilot? |
| 2021-08-10 08:52:31 +0200 | <Gurkenglas> | Copilot seems most useful when you're working in an unfamiliar language |
| 2021-08-10 08:54:07 +0200 | <edwardk> | i occasionally use TabNine and let it's kinda crappy language model and language server support comingle. i've yet to jump over to Copilot. i find though that the tabnine suggestions want to take up screen space i usually prefer to use to read my code, so i often toggle it off completely. |
| 2021-08-10 08:54:28 +0200 | <Gurkenglas> | (Or in a strong enough type system, I suppose - filtering a thousand completions for the shortest one that compiles must come in handy) |
| 2021-08-10 08:54:42 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2021-08-10 08:54:49 +0200 | shredder | (~user@user/shredder) (Quit: quitting) |
| 2021-08-10 08:54:55 +0200 | <edwardk> | the filtering language model completions thing is _much_ nearer and dearer to my heart as an approximation of the right thing to do |
| 2021-08-10 08:55:39 +0200 | <edwardk> | i'd prefer something using a masked language model myself, and something more suited to haskell identation conventions, etc. |
| 2021-08-10 08:55:58 +0200 | <edwardk> | but i also don't want to spend several million dollars training a model today. |
| 2021-08-10 08:56:09 +0200 | shredder | (~user@user/shredder) |
| 2021-08-10 08:56:22 +0200 | <edwardk> | will wait until i can get groq chips to train language models ;) |
| 2021-08-10 08:56:34 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:3fc0:c335:9234:c2e2) (Ping timeout: 272 seconds) |
| 2021-08-10 08:56:37 +0200 | <Gurkenglas> | Indentation surely cant be a serious problem. Send the .hs through an isomorphism that strips the whitespace before you get completions |
| 2021-08-10 08:56:54 +0200 | <edwardk> | its more that copilot doesn't care enough about such things |
| 2021-08-10 08:57:28 +0200 | <edwardk> | and so taking an off the shelf language model leads to a mess. just doesn't have enough haskell under its belt, and you probably want a masked language model to work around hole driven development |
| 2021-08-10 08:57:38 +0200 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2021-08-10 08:57:39 +0200 | <edwardk> | rather than a token stream model |
| 2021-08-10 08:57:41 +0200 | <Gurkenglas> | You should tell the copilot people, might starstrike them into adding support for isomorphisms and transpilers and such |
| 2021-08-10 08:58:38 +0200 | <edwardk> | right now i'm kind of annoyed that they basically didn't think anything about original code licensing, so i'm not terribly incentivized to help them rip off even longer parroted sections of my codebases. |
| 2021-08-10 08:58:50 +0200 | <edwardk> | even if my licenses were pretty damn permissive, they were there |
| 2021-08-10 08:59:40 +0200 | <Gurkenglas> | eh, some future timelines are bound and try to balance out the expected future compensation |
| 2021-08-10 08:59:53 +0200 | <Gurkenglas> | *bound to try and |
| 2021-08-10 09:00:08 +0200 | <edwardk> | well, here's hoping one of them acausally trades me a lottery ticket |
| 2021-08-10 09:00:44 +0200 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Client Quit) |
| 2021-08-10 09:00:52 +0200 | <Gurkenglas> | Do you expect switching from miri to groq to increase global expected utility? |
| 2021-08-10 09:03:48 +0200 | <edwardk> | That's a tough question. I still very much believe in MIRI and MIRI's mission. I just don't necessarily think that the best way for them to achieve that mission is to dump money into paying me to live in Berkeley and burn cash supporting my work and compute needs at this time, dollar for dollar. |
| 2021-08-10 09:04:01 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 248 seconds) |
| 2021-08-10 09:06:01 +0200 | <edwardk> | I started working with Groq explicitly to get access to a bunch of compute for MIRI of all things. When MIRI had a bit of a realization that they needed to realign their research program, I stepped down and just decided to switch to working for Groq full time, pushing a bit more of a focus on HPC workloads than ML, almost incidentally. Out of all the players in the TPU-ish space, the Groq chip is the closest thing to something suitable |
| 2021-08-10 09:06:01 +0200 | <edwardk> | for "my kind" of workloads rather than traditional ML or HPC. If I don't get directly involved then really none of them will be suitable. If I stay directly involved at least one vendor in this space might be producing a chip I can use. |
| 2021-08-10 09:06:19 +0200 | <Gurkenglas> | I sorta hoped that two MIRI-level people talking all day is much more than double lonely output :( |
| 2021-08-10 09:07:25 +0200 | <edwardk> | I kinda loved working with Nate, and James, and Max, and company. And when there was a lot more Haskell going on I definitely felt like I was offering a pretty good force multiplier to their existing research. |
| 2021-08-10 09:07:45 +0200 | <Gurkenglas> | Are FPGA-type chips not 80/20 on being fit for whatever you'd like to do 5 years from now? |
| 2021-08-10 09:07:57 +0200 | <edwardk> | Not even 1/100. |
| 2021-08-10 09:08:46 +0200 | <edwardk> | FPGAs are pretty cripplingly limited devices. |
| 2021-08-10 09:08:50 +0200 | <Gurkenglas> | Damn. How come? Surely not quantum stuff. What's the elementary operations or underlying properties you need? |
| 2021-08-10 09:09:10 +0200 | <siraben> | edwardk: codepilot on haskell is trash |
| 2021-08-10 09:09:10 +0200 | <siraben> | Doesn't even typecheck |
| 2021-08-10 09:09:11 +0200 | <siraben> | (IME) |
| 2021-08-10 09:09:21 +0200 | <edwardk> | not sure if you've looked at https://groq.com/wp-content/uploads/2020/06/ISCA-TSP.pdf |
| 2021-08-10 09:09:29 +0200 | <siraben> | we have semantic information like static types... why not use it like HLS does? |
| 2021-08-10 09:09:29 +0200 | <siraben> | Ugh. |
| 2021-08-10 09:09:37 +0200 | <Gurkenglas> | have not, didnt know you switched from miri to groq until this coversation |
| 2021-08-10 09:10:19 +0200 | <Gurkenglas> | siraben, given how little everyone seems to understand mlp architectures it'd have to wrap around that blackbox |
| 2021-08-10 09:10:25 +0200 | <edwardk> | i've pushed a couple of different ways to compile functional code for gpu-like architectures over the last few years. one of them rhymes with the SPMD-on-SIMD designs used by the intel SPMD program compiler. the chip is pretty much a SIMD unit on steroids. |
| 2021-08-10 09:10:52 +0200 | <siraben> | Gurkenglas: MLP? |
| 2021-08-10 09:11:02 +0200 | <Gurkenglas> | siraben, uhhhhh NLP |
| 2021-08-10 09:11:30 +0200 | <edwardk> | Gurkenglas: i'm still very much keeping my door open for MIRI. If they need help I'm more than happy to talk. I'm more than willing to fly out and help them run workshops and the like. |
| 2021-08-10 09:11:32 +0200 | <siraben> | Ah, heh |
| 2021-08-10 09:11:41 +0200 | <edwardk> | Gurkenglas: I just don't really feel like I need to take their money to do those things. |
| 2021-08-10 09:12:06 +0200 | <siraben> | Gurkenglas: not to mention the legal issues with codepilot, I would disallow usage of it in any team |
| 2021-08-10 09:12:38 +0200 | <Gurkenglas> | siraben, sounds troubling. Is it just because they didn't bother to ask? |
| 2021-08-10 09:12:40 +0200 | adam1 | (~adam@2001-b011-4007-2236-a1a1-867b-8ec5-4452.dynamic-ip6.hinet.net) (Ping timeout: 258 seconds) |
| 2021-08-10 09:12:53 +0200 | <edwardk> | I don't get paid for the work I do for Topos, or for the Haskell Foundation either, so its more a sign of a gradual evolution of 'hey i'm working for you for cash' to 'hey i really believe in your cause' from my perspective. |
| 2021-08-10 09:12:56 +0200 | <siraben> | What sounds troubling? |
| 2021-08-10 09:13:14 +0200 | <edwardk> | and for now, i think the major thing i can do is carry on in this direction, which i can't really do from within the confines of MIRI |
| 2021-08-10 09:13:19 +0200 | <siraben> | I think it's troubling that codepilot is capable of spitting out GPL3 licensed code verbatim with no citation to be used against thel icense. |
| 2021-08-10 09:13:31 +0200 | <siraben> | GPLv3+* |
| 2021-08-10 09:14:07 +0200 | <Gurkenglas> | siraben, that copilot-type approaches might fizzle out from legal issues. I mean, I guess we don't *really* need to reduce the number of people needed to produce a big ml project without knowing how it works... |
| 2021-08-10 09:14:14 +0200 | <edwardk> | siraben: i would be much more sanguine about that if they hadn't gone through all the @*(#) trouble over the last few years of starting to tag each and every repo with exactly what license it was under, so its pretty damn obvious how to tag the training data. |
| 2021-08-10 09:15:01 +0200 | <siraben> | edwardk: and that they didn't train it on their own private codebases is uh, telling. |
| 2021-08-10 09:15:31 +0200 | <Gurkenglas> | if it's just verbatim copies you're worried about, that seems like they didnt need to do it on the ml layer, just include attribution with the completions when you do find it in the training set |
| 2021-08-10 09:15:33 +0200 | <edwardk> | Gurkenglas: it does admittedly exacerbate that machine learning models seem to be treated entirely as a way to launder human bias so it can all be blamed on an unknowable machine these days |
| 2021-08-10 09:16:24 +0200 | <edwardk> | Gurkenglas: thing is if i take your fancy image and run it through a lossy compression scheme its still your image. this isn't appreciably different than that. |
| 2021-08-10 09:16:31 +0200 | <Gurkenglas> | I doubt they're deliberately switching to ml so the bias is laundered. It'd look like this even if everyone just never thought about bias. |
| 2021-08-10 09:16:33 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-08-10 09:16:54 +0200 | <Gurkenglas> | edwardk, the same could be said about be learning haskell by reading your code |
| 2021-08-10 09:16:58 +0200 | <edwardk> | if they included the attributions of everything that contributed to a weight in a gigantic 4 petabyte acknowledgements file, i'd be okay with it |
| 2021-08-10 09:17:02 +0200 | <Gurkenglas> | s/be/me/ |
| 2021-08-10 09:17:38 +0200 | <Gurkenglas> | you want me gravestone to include an attribution to you? :) ill see what i can do |
| 2021-08-10 09:17:49 +0200 | <edwardk> | =) |
| 2021-08-10 09:18:16 +0200 | <edwardk> | don't get me wrong, intellectual property issues are going to be a huge dumpster fire for the foreseeable future |
| 2021-08-10 09:18:39 +0200 | <edwardk> | copilot is an opening salvo in this war, one that takes a pretty extreme position |
| 2021-08-10 09:19:15 +0200 | <edwardk> | and frankly as someone who writes code it generally won't be me winning or losing the battles that shape this, it'll be the lawyers |
| 2021-08-10 09:19:27 +0200 | <Gurkenglas> | t'was always going to happen when everyone noticed that plagiarism doesn't mean much when humans are just patternmatchers will some compilation checking thrown in |
| 2021-08-10 09:20:08 +0200 | <gehmehgeh> | uhhh, what did I miss? I've just logged in |
| 2021-08-10 09:20:23 +0200 | <siraben> | gehmehgeh: codepilot BS |
| 2021-08-10 09:20:43 +0200 | <siraben> | I mentioned that it performs terribly on Haskell code |
| 2021-08-10 09:20:59 +0200 | <edwardk> | i'm not one for hard lines here. i do tend to believe though that if i copy a bunch of algorithms from someone else's code that i'll include them in the copyright of the files i produce, even if i don't legally have to, e.g. because i transliterated from python to haskell or what have you. you can find that across hundreds of repos of mine. |
| 2021-08-10 09:21:07 +0200 | <Gurkenglas> | gehmehgeh, my languages question summoned Big Edward, I derailed into an interview, be careful not to bore him away! |
| 2021-08-10 09:21:26 +0200 | <Gurkenglas> | not that i'm planning to write a press article ._. |
| 2021-08-10 09:22:00 +0200 | <edwardk> | its not boredom that will eventually drive me away but the fact that i have a long day at work tomorrow as i'm trying to frontload a bunch of stuff before i disappear for icfp |
| 2021-08-10 09:22:23 +0200 | <siraben> | anyone attending PLMW? |
| 2021-08-10 09:22:28 +0200 | <gehmehgeh> | hmm |
| 2021-08-10 09:24:07 +0200 | <Gurkenglas> | siraben, do you think that if we wrote a performant man in the middle for copilot packets that checks a github bloom filter for plagiarism and adds an attribution, that microsoft would use it? |
| 2021-08-10 09:24:26 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b951794521116c489c693.dip0.t-ipconnect.de) |
| 2021-08-10 09:24:52 +0200 | acidjnk_new3 | (~acidjnk@p200300d0c72b9517f04572592712ff76.dip0.t-ipconnect.de) |
| 2021-08-10 09:25:08 +0200 | <edwardk> | I do wish PLMW was a thing when i went to my first ICFP. when i showed up then I had _no_ idea what a conference was for, or even really any sense of the structure of the whole publishing 'game' of academia. I was shockingly naive. |
| 2021-08-10 09:25:59 +0200 | <edwardk> | I mean, I never really did figure it all out. I just started writing down a bunch of code and looked up and it was 10 years later and I had grey hair. |
| 2021-08-10 09:27:32 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-10 09:27:33 +0200 | <dibblego> | ey mate |
| 2021-08-10 09:27:50 +0200 | <Gurkenglas> | ...better: do this performantly enough to do it on the copilot users machine, publish an extension, and let microsoft decide whether to bundle it, so that those who wish to can use copilot ethically. |
| 2021-08-10 09:28:07 +0200 | vysn | (~vysn@user/vysn) |
| 2021-08-10 09:28:16 +0200 | <dibblego> | oh copilot, lawyers v programmers |
| 2021-08-10 09:28:34 +0200 | jespada | (~jespada@90.254.247.46) (Ping timeout: 240 seconds) |
| 2021-08-10 09:28:46 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b951794521116c489c693.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2021-08-10 09:29:20 +0200 | <Gurkenglas> | edwardk, do you think one should just ignore the academia game if one can just do math until one gets noticed anyway |
| 2021-08-10 09:29:25 +0200 | <edwardk> | Gurkenglas: i'd rather have the training data actually curated by licenses you're willing to accept into the codebase, then i can know i'm contamination free from sources i can't use. i rather deliberately don't read a lot of GPL code for instance. |
| 2021-08-10 09:29:44 +0200 | <edwardk> | Gurkenglas: worked for me. hasn't worked for a lot more people than me. |
| 2021-08-10 09:30:04 +0200 | <Gurkenglas> | Whoa. Okay, that does bite the humans-are-plagiarism bullet |
| 2021-08-10 09:30:20 +0200 | <Taneb> | I kind of feel like copilot is solving the wrong problem, or solving a right problem in the wrong place maybe. Writing code is (relatively) easy. Writing code that I trust is correct is a lot harder |
| 2021-08-10 09:30:30 +0200 | <Gurkenglas> | Do you also not read code that you expected to have ignored licenses? |
| 2021-08-10 09:31:03 +0200 | <edwardk> | Gurkenglas: to do legit reverse engineering you often need two teams. one to take the original and write a white paper describing it, and the others to read the white paper and reimplement. almost anything else will get you smashed in court. |
| 2021-08-10 09:31:05 +0200 | lortabac_ | lortabac |
| 2021-08-10 09:31:05 +0200 | jneira_ | (~jneira_@28.red-80-28-169.staticip.rima-tde.net) (Quit: Connection closed) |
| 2021-08-10 09:31:06 +0200 | ham2 | (~ham4@d8d8627d5.access.telenet.be) |
| 2021-08-10 09:31:18 +0200 | <edwardk> | at least if it ever gets tested |
| 2021-08-10 09:31:25 +0200 | jespada | (~jespada@90.254.247.46) |
| 2021-08-10 09:31:58 +0200 | <edwardk> | lots of "Halt and Catch Fire" era stuff hinged on that kind of cleanliness. the world just got sloppy |
| 2021-08-10 09:32:00 +0200 | <Gurkenglas> | ...so what you would want from the mlp people is to turn github into a giant natural language book, and then turn the book into copilot? |
| 2021-08-10 09:32:09 +0200 | <Gurkenglas> | *nlp |
| 2021-08-10 09:32:10 +0200 | ham | (~ham4@user/ham) (Ping timeout: 268 seconds) |
| 2021-08-10 09:32:40 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2021-08-10 09:32:41 +0200 | <edwardk> | it'd be a lot closer to getting through our existing legal system. but i don't make the rules. |
| 2021-08-10 09:33:02 +0200 | <dibblego> | Sun/IBM used to do that for the JVM |
| 2021-08-10 09:34:13 +0200 | <edwardk> | exactly |
| 2021-08-10 09:34:25 +0200 | <Gurkenglas> | So you'd still not see that as ethical, huh. i wonder if there's some blockchain system that could solve the intellectual property problem. |
| 2021-08-10 09:34:55 +0200 | <edwardk> | ooh, now you can burn down the rainforest AND get a bunch of lawyers sucked into an intellectual property fight ;) |
| 2021-08-10 09:35:27 +0200 | <Gurkenglas> | 1. incentivize everyone to tell the blockchain whenever they're running some piece of code on any hardware |
| 2021-08-10 09:35:46 +0200 | <Gurkenglas> | 2. reward people for correctly predicting code that will be run later |
| 2021-08-10 09:35:54 +0200 | <edwardk> | definitely doing humanity's job as an approximate entropy accelerator there. ;) |
| 2021-08-10 09:36:12 +0200 | <Gurkenglas> | now when you invent code you register the prediction what sort of code will see use, then publish it |
| 2021-08-10 09:36:31 +0200 | <Gurkenglas> | blockchain doesnt have to burn rainforest, there's the likes of proof of stake |
| 2021-08-10 09:37:12 +0200 | <edwardk> | i lost enough money on proof of stake over the last year that while i'm still a true believer in it, i acknowledge that the entire sector is driven on sentiment and not fundamentals. |
| 2021-08-10 09:37:32 +0200 | <siraben> | edwardk: sorry to hear |
| 2021-08-10 09:37:56 +0200 | <Gurkenglas> | surely you saw coming that the investment is risky, and didn't update on 3 bits of evidence as though they are 20? |
| 2021-08-10 09:38:01 +0200 | <siraben> | I worked on smart contracts in the past but my opinion of the field has been mixed as of late |
| 2021-08-10 09:38:24 +0200 | <siraben> | we know the technical problems that need to be solved but the public sees dogecoin |
| 2021-08-10 09:38:34 +0200 | <siraben> | so funding goes to the wrong arras |
| 2021-08-10 09:38:36 +0200 | <siraben> | areas |
| 2021-08-10 09:38:38 +0200 | <edwardk> | spent two days consulting with IOHK to improve the performance of plutus core on cardano ~70%, which should be something like what, 30% reduction in the total gas costs for something like $50b worth of market cap? you'd think if that was reliably able to be converted into fundamentals it'd make difference. not a blip. |
| 2021-08-10 09:38:39 +0200 | adam1 | (~adam@2001-b011-4007-2430-d4a7-02f1-3c93-e4d4.dynamic-ip6.hinet.net) |
| 2021-08-10 09:39:00 +0200 | <edwardk> | Gurkenglas: i remain invested |
| 2021-08-10 09:39:22 +0200 | <Gurkenglas> | I'm hopeful that some blockchain design might incentivize the world to become the sort of world that can execute a 51% attack on a blockchain, and therefore might also be able to cooperate on more important issues |
| 2021-08-10 09:39:36 +0200 | <Gurkenglas> | Like the Watchmen plot, except you don't need to burn any capital |
| 2021-08-10 09:39:40 +0200 | <edwardk> | hah |
| 2021-08-10 09:40:02 +0200 | <gehmehgeh> | Gurkenglas: but it's only going to be the obscenely rich owning almost everything, so we'd still be stuck with an oligarchy |
| 2021-08-10 09:40:49 +0200 | dibblego | back to study with a slide rule |
| 2021-08-10 09:41:01 +0200 | <gehmehgeh> | Gurkenglas: That is, people with different interests than the broader public |
| 2021-08-10 09:41:05 +0200 | <gehmehgeh> | but nvm, sorry to bore you ;) |
| 2021-08-10 09:41:07 +0200 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2021-08-10 09:41:26 +0200 | <Gurkenglas> | im interested to discuss, edward has to go anyway he said |
| 2021-08-10 09:41:49 +0200 | <Gurkenglas> | but i suppose we must take it out of #haskell :/ |
| 2021-08-10 09:42:00 +0200 | <Gurkenglas> | --> #haskell-offtopic |
| 2021-08-10 09:42:16 +0200 | <edwardk> | Gurkenglas: i don't hate on blockchain as a technology base. proof of stake, single party advancement chains that use it as a cryptographic historical transaction log (digital asset), etc. all build on that basic technology stack and aren't overtly 'evil', but the whole sector relies too much on some kind of technopriest illuminati and has no ability to handle nuance. its way too far for an efficient market for me to be happy with it |
| 2021-08-10 09:42:48 +0200 | <edwardk> | lets move to #haskell-offtopic, yes |
| 2021-08-10 09:42:58 +0200 | chris | (~chris@81.96.113.213) |
| 2021-08-10 09:43:01 +0200 | chris | Guest9072 |
| 2021-08-10 09:44:29 +0200 | bbhoss | (sid18216@tinside.irccloud.com) (Ping timeout: 258 seconds) |
| 2021-08-10 09:44:42 +0200 | kristjansson_ | (sid126207@tinside.irccloud.com) (Ping timeout: 240 seconds) |
| 2021-08-10 09:44:42 +0200 | xff0x | (~xff0x@2001:1a81:53b6:2a00:9ab0:6dc8:ce66:af3c) (Ping timeout: 272 seconds) |
| 2021-08-10 09:44:56 +0200 | bbhoss | (sid18216@id-18216.tinside.irccloud.com) |
| 2021-08-10 09:44:58 +0200 | jmct_ | (sid160793@tinside.irccloud.com) (Ping timeout: 240 seconds) |
| 2021-08-10 09:45:09 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-10 09:45:40 +0200 | jmct_ | (sid160793@id-160793.tinside.irccloud.com) |
| 2021-08-10 09:46:01 +0200 | xff0x | (~xff0x@2001:1a81:53d2:1c00:3b45:e81a:a20c:e310) |
| 2021-08-10 09:47:10 +0200 | kristjansson_ | (sid126207@id-126207.tinside.irccloud.com) |
| 2021-08-10 09:53:53 +0200 | Obo | (~roberto@70.pool90-171-81.dynamic.orange.es) (Quit: WeeChat 2.8) |
| 2021-08-10 09:58:15 +0200 | Obo | (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-08-10 09:59:26 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2021-08-10 10:00:24 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-10 10:00:29 +0200 | Boomerang | (~Boomerang@xd520f68c.cust.hiper.dk) |
| 2021-08-10 10:04:57 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-08-10 10:05:27 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
| 2021-08-10 10:05:29 +0200 | hendursa1 | (~weechat@user/hendursaga) |
| 2021-08-10 10:05:50 +0200 | nf__ | nf |
| 2021-08-10 10:07:19 +0200 | bairyn | (~bairyn@mail.digitalkingdom.org) (Ping timeout: 268 seconds) |
| 2021-08-10 10:07:46 +0200 | <Cajun> | -+ |
| 2021-08-10 10:08:03 +0200 | <Cajun> | i hate the numpad sometimes :P |
| 2021-08-10 10:08:23 +0200 | <Akronymus> | I can't do without one. |
| 2021-08-10 10:08:33 +0200 | hendursaga | (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 2021-08-10 10:08:50 +0200 | <Cajun> | same, but its annoying when i go to grab the mouse and hit either 0. or -+ then hit enter like i just did lol |
| 2021-08-10 10:10:05 +0200 | <Akronymus> | Or when the pc boots up with numpad disabled so you type in your password that includes numbers but because the numpad is disabled it doesn't put them in so you misstype the PW too often then you need to get a PW reset and its annoying. |
| 2021-08-10 10:11:06 +0200 | <Cajun> | it sometimes takes me 1/2 times to realize the numlock is off and my cursor is going crazy lol |
| 2021-08-10 10:11:19 +0200 | <Cajun> | well text cursor thingy, whatever its called |
| 2021-08-10 10:11:52 +0200 | <MorrowM> | Akronymus: At least with a PIN you don't need numlock, on Windows 10 |
| 2021-08-10 10:12:11 +0200 | <Akronymus> | You don't |
| 2021-08-10 10:12:13 +0200 | <Akronymus> | ? |
| 2021-08-10 10:12:24 +0200 | <Cajun> | pin specifically, not password |
| 2021-08-10 10:12:29 +0200 | <MorrowM> | ^ |
| 2021-08-10 10:12:32 +0200 | <Akronymus> | Huh. |
| 2021-08-10 10:12:38 +0200 | <Akronymus> | Gotta try that out at home. |
| 2021-08-10 10:13:08 +0200 | <Cajun> | pins are numbers only though, so unless you convert it perfectly into leet youre going to need a new pw :P |
| 2021-08-10 10:13:14 +0200 | oldsk00l | (~oldsk00l@ec2-3-127-148-248.eu-central-1.compute.amazonaws.com) (Ping timeout: 258 seconds) |
| 2021-08-10 10:13:54 +0200 | ByronJohnson | (~bairyn@mail.digitalkingdom.org) |
| 2021-08-10 10:13:55 +0200 | oldsk00l | (~znc@ec2-3-127-148-248.eu-central-1.compute.amazonaws.com) |
| 2021-08-10 10:14:25 +0200 | <Akronymus> | I already use a pin at home. |
| 2021-08-10 10:14:34 +0200 | <Akronymus> | Just at work atm. |
| 2021-08-10 10:14:46 +0200 | <Akronymus> | Where I am most definitely doing work. |
| 2021-08-10 10:17:24 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-10 10:17:37 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-08-10 10:20:04 +0200 | ecameron[m] | (~ecameronm@2001:470:69fc:105::35df) (Quit: You have been idle for 30+ days) |
| 2021-08-10 10:23:41 +0200 | Morrow_ | (~Morrow@176.12.187.199) |
| 2021-08-10 10:24:34 +0200 | MorrowM | (~Morrow@176.12.187.199) (Ping timeout: 268 seconds) |
| 2021-08-10 10:27:52 +0200 | eight | (~eight@user/eight) |
| 2021-08-10 10:38:37 +0200 | mousey | (~skymouse@gateway/tor-sasl/mousey) |
| 2021-08-10 10:42:18 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-10 10:43:02 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-10 10:49:39 +0200 | enoq | (~enoq@194-208-179-35.lampert.tv) |
| 2021-08-10 10:52:17 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2021-08-10 10:54:01 +0200 | mousey | (~skymouse@gateway/tor-sasl/mousey) (Ping timeout: 244 seconds) |
| 2021-08-10 10:58:34 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 256 seconds) |
| 2021-08-10 11:08:08 +0200 | juhp | (~juhp@128.106.188.220) (Quit: juhp) |
| 2021-08-10 11:08:23 +0200 | juhp | (~juhp@128.106.188.220) |
| 2021-08-10 11:12:14 +0200 | jgeerds | (~jgeerds@55d45555.access.ecotel.net) |
| 2021-08-10 11:12:33 +0200 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-08-10 11:15:38 +0200 | trcc | (~trcc@2-104-60-169-cable.dk.customer.tdc.net) |
| 2021-08-10 11:24:04 +0200 | adam1 | (~adam@2001-b011-4007-2430-d4a7-02f1-3c93-e4d4.dynamic-ip6.hinet.net) (Ping timeout: 256 seconds) |
| 2021-08-10 11:24:41 +0200 | yoctocell | (~user@h87-96-130-155.cust.a3fiber.se) |
| 2021-08-10 11:33:00 +0200 | hexagoxe- | (~hexagoxel@hexagoxel.de) |
| 2021-08-10 11:33:04 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:38bf:81bf:24b:2c61) (Quit: WeeChat 2.8) |
| 2021-08-10 11:33:43 +0200 | hexagoxe- | hexagoxel |
| 2021-08-10 11:36:01 +0200 | Morrow_ | (~Morrow@176.12.187.199) (Ping timeout: 248 seconds) |
| 2021-08-10 11:36:32 +0200 | Erutuon | (~Erutuon@user/erutuon) (Quit: WeeChat 2.8) |
| 2021-08-10 11:36:45 +0200 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-08-10 11:41:12 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2021-08-10 11:41:40 +0200 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 268 seconds) |
| 2021-08-10 11:42:04 +0200 | Guest45 | (~Guest45@2001:8004:2728:3231:22e8:8df9:c65:5ea) (Ping timeout: 246 seconds) |
| 2021-08-10 12:00:24 +0200 | fm | (~fm@user/fm) (Quit: fm) |
| 2021-08-10 12:00:41 +0200 | viluon | (uid453725@id-453725.brockwell.irccloud.com) |
| 2021-08-10 12:02:01 +0200 | <viluon> | hi, is it possible to change the path which ghcup uses from `~/.ghcup` to something else? |
| 2021-08-10 12:02:16 +0200 | <maerwald[m]> | yes |
| 2021-08-10 12:02:30 +0200 | <maerwald[m]> | GHCUP_INSTALL_BASE_PREFIX env var... default is $HOME |
| 2021-08-10 12:02:37 +0200 | eight | (~eight@user/eight) () |
| 2021-08-10 12:02:48 +0200 | <maerwald[m]> | there's also GHCUP_USE_XDG_DIRS but I don't recommend it |
| 2021-08-10 12:03:32 +0200 | <viluon> | I see, thanks |
| 2021-08-10 12:07:00 +0200 | <maerwald[m]> | viluon: what's the use case? |
| 2021-08-10 12:07:23 +0200 | <viluon> | 20 GB drive mounted as /, 1 TB drive mounted elsewhere |
| 2021-08-10 12:07:50 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-08-10 12:07:54 +0200 | <maerwald[m]> | ah... you also might want to set TMPDIR to something else then, at least for ghcup |
| 2021-08-10 12:08:03 +0200 | <viluon> | what does that default to? |
| 2021-08-10 12:08:06 +0200 | <maerwald[m]> | it unpacks stuff there for installation |
| 2021-08-10 12:08:08 +0200 | <maerwald[m]> | /tmp |
| 2021-08-10 12:08:41 +0200 | <viluon> | thanks |
| 2021-08-10 12:08:49 +0200 | <maerwald[m]> | TMPDIR is specified by posix, so other apps should use it too |
| 2021-08-10 12:09:21 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-10 12:09:25 +0200 | <viluon> | aw, ghcup doesn't clean up after itself in TMPDIR |
| 2021-08-10 12:09:58 +0200 | <maerwald[m]> | it does usually |
| 2021-08-10 12:10:03 +0200 | <maerwald[m]> | unless there is failure |
| 2021-08-10 12:10:35 +0200 | <maerwald[m]> | otherwise it's a bug |
| 2021-08-10 12:11:00 +0200 | <viluon> | ah, there may have been a failure, now that I think of it |
| 2021-08-10 12:11:30 +0200 | <maerwald[m]> | `ghcup --keep=never ...` will always delete |
| 2021-08-10 12:11:40 +0200 | <maerwald[m]> | you can create a bash alias |
| 2021-08-10 12:11:43 +0200 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) |
| 2021-08-10 12:12:10 +0200 | Akronymus | (~Akronymus@85.31.8.181) (Ping timeout: 246 seconds) |
| 2021-08-10 12:13:56 +0200 | Morrow_ | (~Morrow@176.12.187.199) |
| 2021-08-10 12:14:48 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-08-10 12:15:23 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-10 12:16:10 +0200 | chomwitt | (~chomwitt@2a02:587:dc02:6400:12c3:7bff:fe6d:d374) |
| 2021-08-10 12:21:08 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-08-10 12:21:16 +0200 | chomwitt | (~chomwitt@2a02:587:dc02:6400:12c3:7bff:fe6d:d374) (Ping timeout: 258 seconds) |
| 2021-08-10 12:21:19 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-10 12:22:13 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2021-08-10 12:22:25 +0200 | acidjnk_new3 | (~acidjnk@p200300d0c72b9517f04572592712ff76.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2021-08-10 12:22:37 +0200 | MorrowM | (~Morrow@147.161.13.225) |
| 2021-08-10 12:24:09 +0200 | tungki | (~tngk@subs20-114-142-172-49.three.co.id) |
| 2021-08-10 12:24:22 +0200 | spirit_ | (~spirit@182.65.107.252) |
| 2021-08-10 12:24:43 +0200 | Morrow_ | (~Morrow@176.12.187.199) (Read error: Connection reset by peer) |
| 2021-08-10 12:26:50 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-08-10 12:26:55 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-10 12:27:28 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-10 12:27:34 +0200 | Akronymus | (~Akronymus@85.31.8.181) |
| 2021-08-10 12:31:02 +0200 | Morrow_ | (~Morrow@147.161.13.225) |
| 2021-08-10 12:31:31 +0200 | shriekingnoise | (~shrieking@186.137.144.80) |
| 2021-08-10 12:31:37 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-08-10 12:33:11 +0200 | <viluon> | maerwald[m]: would you happen to know how to change the Cabal path as well (it defaults to `~/.cabal`)? |
| 2021-08-10 12:33:55 +0200 | <maerwald[m]> | viluon: CABAL_DIR |
| 2021-08-10 12:34:03 +0200 | <viluon> | thank you! |
| 2021-08-10 12:34:04 +0200 | jesser[m] | (~jessermat@2001:470:69fc:105::d5ae) |
| 2021-08-10 12:34:26 +0200 | MorrowM | (~Morrow@147.161.13.225) (Ping timeout: 272 seconds) |
| 2021-08-10 12:34:26 +0200 | myShoggoth | (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 272 seconds) |
| 2021-08-10 12:35:12 +0200 | jgeerds | (~jgeerds@55d45555.access.ecotel.net) (Remote host closed the connection) |
| 2021-08-10 12:36:22 +0200 | anononon | (~anononon@user-5-173-148-81.play-internet.pl) |
| 2021-08-10 12:37:12 +0200 | shailangsa | (~shailangs@host86-185-58-139.range86-185.btcentralplus.com) (Ping timeout: 245 seconds) |
| 2021-08-10 12:38:14 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-08-10 12:38:36 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-10 12:39:11 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-10 12:41:20 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-08-10 12:47:38 +0200 | tungki | (~tngk@subs20-114-142-172-49.three.co.id) (Ping timeout: 268 seconds) |
| 2021-08-10 12:49:31 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-08-10 12:52:23 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-10 12:52:44 +0200 | Morrow_ | (~Morrow@147.161.13.225) (Ping timeout: 272 seconds) |
| 2021-08-10 12:58:25 +0200 | notzmv | (~zmv@user/notzmv) |
| 2021-08-10 13:00:28 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-10 13:01:04 +0200 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-10 13:04:28 +0200 | nshepper1 | nshepperd |
| 2021-08-10 13:04:50 +0200 | Obo | (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 272 seconds) |
| 2021-08-10 13:04:58 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 2021-08-10 13:06:11 +0200 | <merijn> | Anyone know if there's a way (with ansi-wl-pprint) to detect if a Doc is empty? |
| 2021-08-10 13:07:46 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-08-10 13:10:33 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:295c:2a1b:92fa:2044) |
| 2021-08-10 13:18:25 +0200 | anononon | (~anononon@user-5-173-148-81.play-internet.pl) (Ping timeout: 248 seconds) |
| 2021-08-10 13:19:14 +0200 | spirit_ | (~spirit@182.65.107.252) (Quit: Konversation terminated!) |
| 2021-08-10 13:22:53 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-10 13:25:14 +0200 | tungki | (~tngk@subs20-114-142-172-49.three.co.id) |
| 2021-08-10 13:27:06 +0200 | bontaq | (~user@ool-18e47f8d.dyn.optonline.net) (Remote host closed the connection) |
| 2021-08-10 13:27:23 +0200 | tungki | (~tngk@subs20-114-142-172-49.three.co.id) (Read error: Connection reset by peer) |
| 2021-08-10 13:27:26 +0200 | bontaq | (~user@ool-18e47f8d.dyn.optonline.net) |
| 2021-08-10 13:27:38 +0200 | shailangsa | (~shailangs@host86-185-58-139.range86-185.btcentralplus.com) |
| 2021-08-10 13:27:43 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-08-10 13:29:34 +0200 | tungki | (~tngk@subs31-116-206-15-25.three.co.id) |
| 2021-08-10 13:33:11 +0200 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) |
| 2021-08-10 13:35:45 +0200 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 2021-08-10 13:36:09 +0200 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) |
| 2021-08-10 13:37:52 +0200 | Adam1 | (~Adam1@27-53-105-227.adsl.fetnet.net) |
| 2021-08-10 13:40:24 +0200 | timCF | (~timCF@200-149-20-81.sta.estpak.ee) (Quit: leaving) |
| 2021-08-10 13:41:08 +0200 | amahl | (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-08-10 13:42:48 +0200 | tcard_ | (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) |
| 2021-08-10 13:44:39 +0200 | spoonm | (spoonm@inaba.spoonm.org) |
| 2021-08-10 13:44:49 +0200 | ridcully_ | (~ridcully@p508ac428.dip0.t-ipconnect.de) |
| 2021-08-10 13:45:25 +0200 | forell_ | (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) |
| 2021-08-10 13:45:32 +0200 | terrorjack4 | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
| 2021-08-10 13:46:43 +0200 | mjrosenb_ | (~mrosenbe@nyc.schrodinger.com) |
| 2021-08-10 13:46:54 +0200 | PinealGl1ndOptic | (~PinealGla@37.115.210.35) |
| 2021-08-10 13:46:55 +0200 | hrdl_ | (~hrdl@mail.hrdl.eu) |
| 2021-08-10 13:47:00 +0200 | EvanR_ | (~evan@mail.evanr.info) |
| 2021-08-10 13:47:05 +0200 | mikolaj__ | (~mikon@duch.mimuw.edu.pl) |
| 2021-08-10 13:47:12 +0200 | jackhill_ | (~jackhill@kalessin.dragonsnail.net) |
| 2021-08-10 13:47:23 +0200 | tchakka_ | (~tchakkazu@static-47-180-28-65.lsan.ca.frontiernet.net) |
| 2021-08-10 13:47:25 +0200 | Rembane_ | (~Rembane@li346-36.members.linode.com) |
| 2021-08-10 13:47:26 +0200 | micro | (~micro@user/micro) |
| 2021-08-10 13:47:29 +0200 | justsome1 | (~justsomeg@user/justsomeguy) |
| 2021-08-10 13:47:51 +0200 | Patternm1ster | (~georg@li1192-118.members.linode.com) |
| 2021-08-10 13:48:18 +0200 | falsifia1 | (~falsifian@exoco.falsifian.org) |
| 2021-08-10 13:48:22 +0200 | lep- | (~lep@94.31.86.183) |
| 2021-08-10 13:48:23 +0200 | srk_ | (~sorki@user/srk) |
| 2021-08-10 13:49:12 +0200 | adium_ | (adium@user/adium) |
| 2021-08-10 13:50:20 +0200 | cwraith | (~c_wraith@adjoint.us) |
| 2021-08-10 13:50:31 +0200 | <maerwald[m]> | is there a yaml parser that's able to preserve comments, alignment etc? |
| 2021-08-10 13:50:37 +0200 | terrorjack4 | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Quit: The Lounge - https://thelounge.chat) |
| 2021-08-10 13:51:03 +0200 | <merijn> | ahahaha |
| 2021-08-10 13:51:15 +0200 | <maerwald[m]> | :) |
| 2021-08-10 13:51:18 +0200 | <merijn> | I don't think there's even a parser who can correctly parse all of that in yaml |
| 2021-08-10 13:51:22 +0200 | <merijn> | Let alone preserve it |
| 2021-08-10 13:51:47 +0200 | terrorjack7 | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
| 2021-08-10 13:51:49 +0200 | <merijn> | maerwald[m]: Despair: https://matrix.yaml.io/ |
| 2021-08-10 13:51:52 +0200 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) (*.net *.split) |
| 2021-08-10 13:51:52 +0200 | tungki | (~tngk@subs31-116-206-15-25.three.co.id) (*.net *.split) |
| 2021-08-10 13:51:53 +0200 | phma | (~phma@host-67-44-208-154.hnremote.net) (*.net *.split) |
| 2021-08-10 13:51:53 +0200 | AlexNoo | (~AlexNoo@178.34.162.152) (*.net *.split) |
| 2021-08-10 13:51:53 +0200 | jophish | (~jophish@2001:470:69fc:105::670) (*.net *.split) |
| 2021-08-10 13:51:53 +0200 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) (*.net *.split) |
| 2021-08-10 13:51:53 +0200 | Teohehim[m] | (~teocmatri@2001:470:69fc:105::d327) (*.net *.split) |
| 2021-08-10 13:51:54 +0200 | ru0mad[m] | (~ru0madmat@2001:470:69fc:105::9b2) (*.net *.split) |
| 2021-08-10 13:51:54 +0200 | dualinverter[m] | (~dualinver@2001:470:69fc:105::16a7) (*.net *.split) |
| 2021-08-10 13:51:54 +0200 | Magnus[m] | (~magthetch@2001:470:69fc:105::d1a7) (*.net *.split) |
| 2021-08-10 13:51:54 +0200 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) (*.net *.split) |
| 2021-08-10 13:51:54 +0200 | Deewiant | (~deewiant@2001:470:69fc:105::2fd3) (*.net *.split) |
| 2021-08-10 13:51:54 +0200 | fabfianda[m] | (~fabfianda@2001:470:69fc:105::6db) (*.net *.split) |
| 2021-08-10 13:51:54 +0200 | sa | (sid1055@id-1055.tinside.irccloud.com) (*.net *.split) |
| 2021-08-10 13:51:54 +0200 | blades | (~blades@204.48.29.163) (*.net *.split) |
| 2021-08-10 13:51:54 +0200 | fr33domlover | (~fr33domlo@angeley.es) (*.net *.split) |
| 2021-08-10 13:51:54 +0200 | thaumavorio | (~thaumavor@thaumavor.io) (*.net *.split) |
| 2021-08-10 13:51:54 +0200 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (*.net *.split) |
| 2021-08-10 13:51:54 +0200 | noctux | (~noctux@user/noctux) (*.net *.split) |
| 2021-08-10 13:51:54 +0200 | xsarnik | (xsarnik@lounge.fi.muni.cz) (*.net *.split) |
| 2021-08-10 13:51:55 +0200 | asm | (~alexander@user/asm) (*.net *.split) |
| 2021-08-10 13:51:55 +0200 | danso | (~danso@23-233-111-52.cpe.pppoe.ca) (*.net *.split) |
| 2021-08-10 13:51:55 +0200 | slep | (~slep@cpc150002-brnt4-2-0-cust437.4-2.cable.virginm.net) (*.net *.split) |
| 2021-08-10 13:51:55 +0200 | mht | (~mht@2a03:b0c0:3:e0::1e2:c001) (*.net *.split) |
| 2021-08-10 13:51:55 +0200 | cohn_ | (~noone@23.239.18.252) (*.net *.split) |
| 2021-08-10 13:51:55 +0200 | int-e | (~noone@int-e.eu) (*.net *.split) |
| 2021-08-10 13:51:55 +0200 | skewerr | (spoonm@inaba.spoonm.org) (*.net *.split) |
| 2021-08-10 13:51:55 +0200 | jackhill | (~jackhill@kalessin.dragonsnail.net) (*.net *.split) |
| 2021-08-10 13:51:55 +0200 | MidAutumnHotaru | (~MidAutumn@user/midautumnmoon) (*.net *.split) |
| 2021-08-10 13:51:55 +0200 | jess | (~jess@libera/staff/jess) (*.net *.split) |
| 2021-08-10 13:51:55 +0200 | jakalx | (~jakalx@base.jakalx.net) (*.net *.split) |
| 2021-08-10 13:51:55 +0200 | Nahra | (~user@static.161.95.99.88.clients.your-server.de) (*.net *.split) |
| 2021-08-10 13:51:55 +0200 | amir | (sid22336@user/amir) (*.net *.split) |
| 2021-08-10 13:51:55 +0200 | dmj` | (sid72307@id-72307.stonehaven.irccloud.com) (*.net *.split) |
| 2021-08-10 13:51:55 +0200 | joel135 | (sid136450@id-136450.stonehaven.irccloud.com) (*.net *.split) |
| 2021-08-10 13:51:55 +0200 | SanchayanMaity | (sid478177@id-478177.stonehaven.irccloud.com) (*.net *.split) |
| 2021-08-10 13:51:55 +0200 | Patternmaster | (~georg@li1192-118.members.linode.com) (*.net *.split) |
| 2021-08-10 13:51:55 +0200 | euandreh | (~euandreh@2804:14c:33:9fe5:9814:dfa2:8237:3c5c) (*.net *.split) |
| 2021-08-10 13:51:55 +0200 | hugo | (znc@verdigris.lysator.liu.se) (*.net *.split) |
| 2021-08-10 13:51:55 +0200 | dsal | (sid13060@id-13060.tooting.irccloud.com) (*.net *.split) |
| 2021-08-10 13:51:55 +0200 | johnw | (~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) (*.net *.split) |
| 2021-08-10 13:51:55 +0200 | ephemient | (uid407513@id-407513.tooting.irccloud.com) (*.net *.split) |
| 2021-08-10 13:51:55 +0200 | gmc | (sid58314@id-58314.charlton.irccloud.com) (*.net *.split) |
| 2021-08-10 13:51:55 +0200 | gonz__ | (sid304396@id-304396.tooting.irccloud.com) (*.net *.split) |
| 2021-08-10 13:51:55 +0200 | S11001001 | (sid42510@id-42510.charlton.irccloud.com) (*.net *.split) |
| 2021-08-10 13:51:55 +0200 | iphy | (sid67735@id-67735.tooting.irccloud.com) (*.net *.split) |
| 2021-08-10 13:51:55 +0200 | hrnz | (~ulli@irc.plumbing) (*.net *.split) |
| 2021-08-10 13:51:55 +0200 | dfg | (dfg@user/dfg) (*.net *.split) |
| 2021-08-10 13:51:55 +0200 | xnbya | (~xnbya@2a01:4f8:c17:cbdd::1) (*.net *.split) |
| 2021-08-10 13:51:55 +0200 | nurupo | (~nurupo.ga@user/nurupo) (*.net *.split) |
| 2021-08-10 13:51:55 +0200 | _-- | (~ding@2001:19f0:5:14c2:5400:2ff:fee0:a42c) (*.net *.split) |
| 2021-08-10 13:51:55 +0200 | Adran | (adran@botters/adran) (*.net *.split) |
| 2021-08-10 13:51:55 +0200 | xacktm | (xacktm@user/xacktm) (*.net *.split) |
| 2021-08-10 13:51:55 +0200 | even4void | (even4void@came.here.for-some.fun) (*.net *.split) |
| 2021-08-10 13:51:56 +0200 | haykam | (~haykam@static.100.2.21.65.clients.your-server.de) (*.net *.split) |
| 2021-08-10 13:51:56 +0200 | typedfern__ | (~Typedfern@28.red-83-57-142.dynamicip.rima-tde.net) (*.net *.split) |
| 2021-08-10 13:51:56 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (*.net *.split) |
| 2021-08-10 13:51:56 +0200 | lechner | (~lechner@debian/lechner) (*.net *.split) |
| 2021-08-10 13:51:56 +0200 | berberman_ | (~berberman@user/berberman) (*.net *.split) |
| 2021-08-10 13:51:56 +0200 | Katarushisu | (~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net) (*.net *.split) |
| 2021-08-10 13:51:56 +0200 | leah2 | (~leah@vuxu.org) (*.net *.split) |
| 2021-08-10 13:51:56 +0200 | unclechu | (~unclechu@2001:470:69fc:105::354) (*.net *.split) |
| 2021-08-10 13:51:56 +0200 | ac | (~aloiscoch@2001:470:69fc:105::65) (*.net *.split) |
| 2021-08-10 13:51:56 +0200 | aveltras[m] | (~aveltrasm@2001:470:69fc:105::3ef9) (*.net *.split) |
| 2021-08-10 13:51:56 +0200 | infinisil | (~infinisil@2001:470:69fc:105::ff8) (*.net *.split) |
| 2021-08-10 13:51:57 +0200 | wallymathieu[m] | (~wallymath@2001:470:69fc:105::16ae) (*.net *.split) |
| 2021-08-10 13:51:57 +0200 | vbeatrice[m] | (~vbeatrice@2001:470:69fc:105::3ebf) (*.net *.split) |
| 2021-08-10 13:51:57 +0200 | adziahel[m] | (~adziahelm@2001:470:69fc:105::b4d) (*.net *.split) |
| 2021-08-10 13:51:57 +0200 | bitonic | (~bitonic@2001:470:69fc:105::1812) (*.net *.split) |
| 2021-08-10 13:51:57 +0200 | ringo_ | (~ringo@157.230.117.128) (*.net *.split) |
| 2021-08-10 13:51:57 +0200 | tcard | (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) (*.net *.split) |
| 2021-08-10 13:51:57 +0200 | PinealGlandOptic | (~PinealGla@37.115.210.35) (*.net *.split) |
| 2021-08-10 13:51:57 +0200 | stefan-_ | (~cri@42dots.de) (*.net *.split) |
| 2021-08-10 13:51:57 +0200 | Igfoo | (~ian@matrix.chaos.earth.li) (*.net *.split) |
| 2021-08-10 13:51:57 +0200 | hook54321 | (sid149355@user/hook54321) (*.net *.split) |
| 2021-08-10 13:51:57 +0200 | mrianbloom | (sid350277@id-350277.charlton.irccloud.com) (*.net *.split) |
| 2021-08-10 13:51:57 +0200 | emergence | (~emergence@vm0.max-p.me) (*.net *.split) |
| 2021-08-10 13:51:57 +0200 | opqdonut | (opqdonut@pseudo.fixme.fi) (*.net *.split) |
| 2021-08-10 13:51:57 +0200 | integral | (sid296274@user/integral) (*.net *.split) |
| 2021-08-10 13:51:57 +0200 | feepo | (sid28508@id-28508.brockwell.irccloud.com) (*.net *.split) |
| 2021-08-10 13:51:57 +0200 | edwardk | (sid47016@haskell/developer/edwardk) (*.net *.split) |
| 2021-08-10 13:51:57 +0200 | idnar | (sid12240@debian/mithrandi) (*.net *.split) |
| 2021-08-10 13:51:57 +0200 | enemeth79 | (sid309041@id-309041.tooting.irccloud.com) (*.net *.split) |
| 2021-08-10 13:51:57 +0200 | tnks | (sid412124@id-412124.brockwell.irccloud.com) (*.net *.split) |
| 2021-08-10 13:51:57 +0200 | obviyus | (sid415299@user/obviyus) (*.net *.split) |
| 2021-08-10 13:51:57 +0200 | m1dnight | (~christoph@188.ip-51-91-158.eu) (*.net *.split) |
| 2021-08-10 13:51:58 +0200 | grfn | (sid449115@id-449115.brockwell.irccloud.com) (*.net *.split) |
| 2021-08-10 13:51:58 +0200 | lightandlight | (sid135476@id-135476.brockwell.irccloud.com) (*.net *.split) |
| 2021-08-10 13:51:58 +0200 | img | (~img@user/img) (*.net *.split) |
| 2021-08-10 13:51:58 +0200 | dagit | (~dagit@2001:558:6025:38:6476:a063:d05a:44da) (*.net *.split) |
| 2021-08-10 13:51:58 +0200 | dyniec | (~dyniec@mail.dybiec.info) (*.net *.split) |
| 2021-08-10 13:51:58 +0200 | Ananta-shesha | (~pjetcetal@2.95.210.188) (*.net *.split) |
| 2021-08-10 13:51:58 +0200 | dispater | (~dispater@user/brprice) (*.net *.split) |
| 2021-08-10 13:51:58 +0200 | vemek | (~vemek@2a03:b0c0:2:d0::d98:1) (*.net *.split) |
| 2021-08-10 13:51:58 +0200 | cocreature | (~moritz@2a03:b0c0:3:d0::c8:f001) (*.net *.split) |
| 2021-08-10 13:51:58 +0200 | Xnuk | (~xnuk@vultr.xnu.kr) (*.net *.split) |
| 2021-08-10 13:51:58 +0200 | thonkpod | (~thonkpod@user/thonkpod) (*.net *.split) |
| 2021-08-10 13:51:58 +0200 | amk | (~amk@176.61.106.150) (*.net *.split) |
| 2021-08-10 13:51:58 +0200 | martin02 | (silas@hund.fs.lmu.de) (*.net *.split) |
| 2021-08-10 13:51:58 +0200 | bsima | (~bsima@simatime.com) (*.net *.split) |
| 2021-08-10 13:51:58 +0200 | loonycyborg | (~loonycybo@wesnoth/developer/loonycyborg) (*.net *.split) |
| 2021-08-10 13:51:58 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (*.net *.split) |
| 2021-08-10 13:51:58 +0200 | markpythonicbitc | (~markpytho@2601:647:5a00:35:9c61:394:eb0f:e1ed) (*.net *.split) |
| 2021-08-10 13:51:58 +0200 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) (*.net *.split) |
| 2021-08-10 13:51:58 +0200 | jkachmar | (~jkachmar@2001:470:69fc:105::c72d) (*.net *.split) |
| 2021-08-10 13:51:59 +0200 | afotgkmnzj7asv3r | (~afotgkmnz@2001:470:69fc:105::c24b) (*.net *.split) |
| 2021-08-10 13:51:59 +0200 | Deide | (~deide@user/deide) (*.net *.split) |
| 2021-08-10 13:51:59 +0200 | ixlun | (~ixlun@2001:470:69fc:105::41b3) (*.net *.split) |
| 2021-08-10 13:51:59 +0200 | SimonWeiss[m] | (~weiss-dma@2001:470:69fc:105::bebd) (*.net *.split) |
| 2021-08-10 13:51:59 +0200 | RohitGoswami[m] | (~rgoswamim@2001:470:69fc:105::16cc) (*.net *.split) |
| 2021-08-10 13:52:00 +0200 | energizer | (~energizer@user/energizer) (*.net *.split) |
| 2021-08-10 13:52:00 +0200 | tapas | (sid467876@charlton.irccloud.com) (*.net *.split) |
| 2021-08-10 13:52:00 +0200 | piele | (~piele@tbonesteak.creativeserver.net) (*.net *.split) |
| 2021-08-10 13:52:00 +0200 | cfebs | (~cfebs@user/cfebs) (*.net *.split) |
| 2021-08-10 13:52:00 +0200 | anderson | (~ande@134.209.221.71) (*.net *.split) |
| 2021-08-10 13:52:00 +0200 | ft | (~ft@shell.chaostreff-dortmund.de) (*.net *.split) |
| 2021-08-10 13:52:00 +0200 | forell | (~forell@user/forell) (*.net *.split) |
| 2021-08-10 13:52:00 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (*.net *.split) |
| 2021-08-10 13:52:00 +0200 | pierrot | (~pi@user/pierrot) (*.net *.split) |
| 2021-08-10 13:52:00 +0200 | amirouche | (~amirouche@user/amirouche) (*.net *.split) |
| 2021-08-10 13:52:00 +0200 | oxytocat | (~alloca@user/suppi) (*.net *.split) |
| 2021-08-10 13:52:00 +0200 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (*.net *.split) |
| 2021-08-10 13:52:00 +0200 | dexterfoo | (dexter@2a01:7e00::f03c:91ff:fe86:59ec) (*.net *.split) |
| 2021-08-10 13:52:00 +0200 | catern | (~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) (*.net *.split) |
| 2021-08-10 13:52:00 +0200 | tristanC | (~tristanC@user/tristanc) (*.net *.split) |
| 2021-08-10 13:52:00 +0200 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) (*.net *.split) |
| 2021-08-10 13:52:00 +0200 | Ferdirand | (~somebody@2001:4c78:2012:5000::2) (*.net *.split) |
| 2021-08-10 13:52:00 +0200 | OscarH | (~OscarH@97e48a81.skybroadband.com) (*.net *.split) |
| 2021-08-10 13:52:00 +0200 | vk3wtf | (~doc@220-245-2-190.tpgi.com.au) (*.net *.split) |
| 2021-08-10 13:52:00 +0200 | feetwind | (~mike@user/feetwind) (*.net *.split) |
| 2021-08-10 13:52:00 +0200 | tdammers | (~tdammers@77.109.72.213.res.static.edpnet.net) (*.net *.split) |
| 2021-08-10 13:52:00 +0200 | AWizzArd | (~code@user/awizzard) (*.net *.split) |
| 2021-08-10 13:52:00 +0200 | winny | (~winny@user/winny) (*.net *.split) |
| 2021-08-10 13:52:00 +0200 | tchakka | (~tchakkazu@static-47-180-28-65.lsan.ca.frontiernet.net) (*.net *.split) |
| 2021-08-10 13:52:00 +0200 | drakonis | (drakonis@user/drakonis) (*.net *.split) |
| 2021-08-10 13:52:00 +0200 | relrod | (~relrod@redhat/ansible.staff.relrod) (*.net *.split) |
| 2021-08-10 13:52:01 +0200 | mikolaj_ | (~mikolaj@purple.well-typed.com) (*.net *.split) |
| 2021-08-10 13:52:01 +0200 | toms | (~foobar@pogostick.net) (*.net *.split) |
| 2021-08-10 13:52:01 +0200 | ggvgc | (~ggVGc@a.lowtech.earth) (*.net *.split) |
| 2021-08-10 13:52:01 +0200 | ormaaj | (~ormaaj@user/ormaaj) (*.net *.split) |
| 2021-08-10 13:52:01 +0200 | sm | (~sm@plaintextaccounting/sm) (*.net *.split) |
| 2021-08-10 13:52:01 +0200 | ServerStatsDisco | (~serversta@2001:470:69fc:105::1a) (*.net *.split) |
| 2021-08-10 13:52:01 +0200 | jaror[m] | (~jaror@2001:470:69fc:105::265) (*.net *.split) |
| 2021-08-10 13:52:01 +0200 | zfnmxt | (~zfnmxtzfn@2001:470:69fc:105::2b32) (*.net *.split) |
| 2021-08-10 13:52:01 +0200 | Ollie[m] | (~ollieocha@2001:470:69fc:105::41a5) (*.net *.split) |
| 2021-08-10 13:52:01 +0200 | hsiktas[m] | (~hsiktasma@2001:470:69fc:105::30d4) (*.net *.split) |
| 2021-08-10 13:52:02 +0200 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) (*.net *.split) |
| 2021-08-10 13:52:02 +0200 | reza[m] | (~rezaphone@2001:470:69fc:105::3eda) (*.net *.split) |
| 2021-08-10 13:52:02 +0200 | Ekho | (~Ekho@user/ekho) (*.net *.split) |
| 2021-08-10 13:52:02 +0200 | c_wraith | (~c_wraith@adjoint.us) (*.net *.split) |
| 2021-08-10 13:52:02 +0200 | srk | (~sorki@user/srk) (*.net *.split) |
| 2021-08-10 13:52:02 +0200 | rookie101 | (~rookie@207.154.204.166) (*.net *.split) |
| 2021-08-10 13:52:02 +0200 | adium | (adium@user/adium) (*.net *.split) |
| 2021-08-10 13:52:02 +0200 | liskin | (~liskin@xmonad/liskin) (*.net *.split) |
| 2021-08-10 13:52:02 +0200 | andreas3- | (andreas303@ip227.orange.bnc4free.com) (*.net *.split) |
| 2021-08-10 13:52:02 +0200 | marienz_ | (~marienz@libera/staff/marienz) (*.net *.split) |
| 2021-08-10 13:52:02 +0200 | jassob1 | (~jassob@korrob.vth.sgsnet.se) (*.net *.split) |
| 2021-08-10 13:52:02 +0200 | ridcully | (~ridcully@p508ac428.dip0.t-ipconnect.de) (*.net *.split) |
| 2021-08-10 13:52:02 +0200 | Guest6153 | (~deni@mail.denibertovic.com) (*.net *.split) |
| 2021-08-10 13:52:02 +0200 | sshine_ | (~simon@hubris.eta.solutions) (*.net *.split) |
| 2021-08-10 13:52:02 +0200 | kaol_ | (~kaol@178.62.241.234) (*.net *.split) |
| 2021-08-10 13:52:02 +0200 | lep | (~lep@94.31.86.183) (*.net *.split) |
| 2021-08-10 13:52:02 +0200 | anoe | (~anoe@delanoe.org) (*.net *.split) |
| 2021-08-10 13:52:02 +0200 | micro_ | (~micro@user/micro) (*.net *.split) |
| 2021-08-10 13:52:02 +0200 | Rembane | (~Rembane@li346-36.members.linode.com) (*.net *.split) |
| 2021-08-10 13:52:02 +0200 | ProofTechnique | (sid79547@id-79547.charlton.irccloud.com) (*.net *.split) |
| 2021-08-10 13:52:02 +0200 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) (*.net *.split) |
| 2021-08-10 13:52:02 +0200 | supersven | (uid501114@id-501114.charlton.irccloud.com) (*.net *.split) |
| 2021-08-10 13:52:02 +0200 | teddyc | (theodorc@cassarossa.samfundet.no) (*.net *.split) |
| 2021-08-10 13:52:02 +0200 | mjrosenb | (~mrosenbe@nyc.schrodinger.com) (*.net *.split) |
| 2021-08-10 13:52:02 +0200 | elcaro | (~anonymous@45.32.191.75) (*.net *.split) |
| 2021-08-10 13:52:02 +0200 | EvanR | (~evan@user/evanr) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | cbarrett | (sid192934@id-192934.brockwell.irccloud.com) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | hrdl | (~hrdl@mail.hrdl.eu) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | ziman | (~ziman@user/ziman) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | ski | (~ski@remote12.chalmers.se) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | mikolaj | (~mikon@duch.mimuw.edu.pl) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | DigitalKiwi | (~kiwi@2604:a880:400:d0::12fc:5001) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | Philonous | (~Philonous@user/philonous) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | yorick | (~yorick@user/yorick) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | Unhammer | (~Unhammer@user/unhammer) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | kosmikus | (~kosmikus@nullzig.kosmikus.org) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | Jon | (jon@dow.land) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | aravk | (~aravk@user/aravk) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | nonzen | (~nonzen@user/nonzen) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | lieven | (~mal@ns2.wyrd.be) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | NinjaTrappeur | (~ninja@user/ninjatrappeur) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | rawles | (~o@user/rawles) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | eldritch_ | (~eldritch@134.209.221.71) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | Morrow | (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | falsifian | (~falsifian@exoco.falsifian.org) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | L29Ah | (~L29Ah@user/l29ah) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | PotatoGim | (sid99505@id-99505.tooting.irccloud.com) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | ptrcmd | (~ptrcmd@user/ptrcmd) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | bens | (~bens@www.typius.com) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | sa1 | (sid7690@id-7690.charlton.irccloud.com) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | ozzymcduff | (~mathieu@81-234-151-21-no94.tbcn.telia.com) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | jonrh | (sid5185@id-5185.charlton.irccloud.com) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | caubert | (~caubert@136.244.111.235) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | tomku | (~tomku@user/tomku) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | Arsen | (~arsen@managarm/dev/Arsen) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | connrs | (~connrs@user/connrs) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | terrorjack | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | cjay | (cjay@nerdbox.nerd2nerd.org) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | heath | (~heath@user/heath) (*.net *.split) |
| 2021-08-10 13:52:03 +0200 | zyklotomic | (~ethan@2604:a880:800:10::79f:8001) (*.net *.split) |
| 2021-08-10 13:52:04 +0200 | oats | (~thomas@user/oats) (*.net *.split) |
| 2021-08-10 13:52:04 +0200 | krjst | (~krjst@2604:a880:800:c1::16b:8001) (*.net *.split) |
| 2021-08-10 13:52:04 +0200 | sajith | (~sajith@user/sajith) (*.net *.split) |
| 2021-08-10 13:52:04 +0200 | ellie | (~ellie@user/ellie) (*.net *.split) |
| 2021-08-10 13:52:04 +0200 | bollu | (~bollu@139.59.46.74) (*.net *.split) |
| 2021-08-10 13:52:04 +0200 | joeyh_ | (joeyh@kitenet.net) (*.net *.split) |
| 2021-08-10 13:52:04 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (*.net *.split) |
| 2021-08-10 13:52:04 +0200 | spicyrice | (~ubuntu@2600:1f11:52a:4400:ccbc:2b96:cabe:414b) (*.net *.split) |
| 2021-08-10 13:52:04 +0200 | remexre | (~nathan@user/remexre) (*.net *.split) |
| 2021-08-10 13:52:04 +0200 | alp | (~alp@user/alp) (*.net *.split) |
| 2021-08-10 13:52:04 +0200 | srk_ | srk |
| 2021-08-10 13:52:04 +0200 | terrorjack7 | terrorjack |
| 2021-08-10 13:52:23 +0200 | <merijn> | And this is actually rather good, compared to a year ago |
| 2021-08-10 13:53:07 +0200 | Obo | (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-08-10 13:53:12 +0200 | phma | (phma@2001:5b0:211f:8128:db0d:fde3:6e3b:4745) |
| 2021-08-10 13:53:12 +0200 | tapas | (sid467876@id-467876.charlton.irccloud.com) |
| 2021-08-10 13:53:12 +0200 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) |
| 2021-08-10 13:53:12 +0200 | tungki | (~tngk@subs31-116-206-15-25.three.co.id) |
| 2021-08-10 13:53:12 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-08-10 13:53:12 +0200 | AlexNoo | (~AlexNoo@178.34.162.152) |
| 2021-08-10 13:53:12 +0200 | jophish | (~jophish@2001:470:69fc:105::670) |
| 2021-08-10 13:53:12 +0200 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) |
| 2021-08-10 13:53:12 +0200 | Teohehim[m] | (~teocmatri@2001:470:69fc:105::d327) |
| 2021-08-10 13:53:12 +0200 | ru0mad[m] | (~ru0madmat@2001:470:69fc:105::9b2) |
| 2021-08-10 13:53:12 +0200 | dualinverter[m] | (~dualinver@2001:470:69fc:105::16a7) |
| 2021-08-10 13:53:12 +0200 | Magnus[m] | (~magthetch@2001:470:69fc:105::d1a7) |
| 2021-08-10 13:53:12 +0200 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) |
| 2021-08-10 13:53:12 +0200 | Deewiant | (~deewiant@2001:470:69fc:105::2fd3) |
| 2021-08-10 13:53:12 +0200 | fabfianda[m] | (~fabfianda@2001:470:69fc:105::6db) |
| 2021-08-10 13:53:12 +0200 | sa | (sid1055@id-1055.tinside.irccloud.com) |
| 2021-08-10 13:53:12 +0200 | blades | (~blades@204.48.29.163) |
| 2021-08-10 13:53:12 +0200 | fr33domlover | (~fr33domlo@angeley.es) |
| 2021-08-10 13:53:12 +0200 | thaumavorio | (~thaumavor@thaumavor.io) |
| 2021-08-10 13:53:12 +0200 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) |
| 2021-08-10 13:53:12 +0200 | noctux | (~noctux@user/noctux) |
| 2021-08-10 13:53:12 +0200 | xsarnik | (xsarnik@lounge.fi.muni.cz) |
| 2021-08-10 13:53:12 +0200 | asm | (~alexander@user/asm) |
| 2021-08-10 13:53:12 +0200 | danso | (~danso@23-233-111-52.cpe.pppoe.ca) |
| 2021-08-10 13:53:12 +0200 | slep | (~slep@cpc150002-brnt4-2-0-cust437.4-2.cable.virginm.net) |
| 2021-08-10 13:53:12 +0200 | mht | (~mht@2a03:b0c0:3:e0::1e2:c001) |
| 2021-08-10 13:53:12 +0200 | int-e | (~noone@int-e.eu) |
| 2021-08-10 13:53:12 +0200 | MidAutumnHotaru | (~MidAutumn@user/midautumnmoon) |
| 2021-08-10 13:53:12 +0200 | jess | (~jess@libera/staff/jess) |
| 2021-08-10 13:53:12 +0200 | Nahra | (~user@static.161.95.99.88.clients.your-server.de) |
| 2021-08-10 13:53:12 +0200 | amir | (sid22336@user/amir) |
| 2021-08-10 13:53:12 +0200 | dmj` | (sid72307@id-72307.stonehaven.irccloud.com) |
| 2021-08-10 13:53:12 +0200 | joel135 | (sid136450@id-136450.stonehaven.irccloud.com) |
| 2021-08-10 13:53:12 +0200 | SanchayanMaity | (sid478177@id-478177.stonehaven.irccloud.com) |
| 2021-08-10 13:53:12 +0200 | euandreh | (~euandreh@2804:14c:33:9fe5:9814:dfa2:8237:3c5c) |
| 2021-08-10 13:53:12 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2021-08-10 13:53:12 +0200 | dsal | (sid13060@id-13060.tooting.irccloud.com) |
| 2021-08-10 13:53:12 +0200 | johnw | (~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) |
| 2021-08-10 13:53:12 +0200 | ephemient | (uid407513@id-407513.tooting.irccloud.com) |
| 2021-08-10 13:53:12 +0200 | gmc | (sid58314@id-58314.charlton.irccloud.com) |
| 2021-08-10 13:53:12 +0200 | gonz__ | (sid304396@id-304396.tooting.irccloud.com) |
| 2021-08-10 13:53:12 +0200 | S11001001 | (sid42510@id-42510.charlton.irccloud.com) |
| 2021-08-10 13:53:12 +0200 | iphy | (sid67735@id-67735.tooting.irccloud.com) |
| 2021-08-10 13:53:12 +0200 | hrnz | (~ulli@irc.plumbing) |
| 2021-08-10 13:53:12 +0200 | dfg | (dfg@user/dfg) |
| 2021-08-10 13:53:12 +0200 | xnbya | (~xnbya@2a01:4f8:c17:cbdd::1) |
| 2021-08-10 13:53:12 +0200 | nurupo | (~nurupo.ga@user/nurupo) |
| 2021-08-10 13:53:12 +0200 | _-- | (~ding@2001:19f0:5:14c2:5400:2ff:fee0:a42c) |
| 2021-08-10 13:53:12 +0200 | Adran | (adran@botters/adran) |
| 2021-08-10 13:53:12 +0200 | xacktm | (xacktm@user/xacktm) |
| 2021-08-10 13:53:12 +0200 | even4void | (even4void@came.here.for-some.fun) |
| 2021-08-10 13:53:26 +0200 | dfg | (dfg@user/dfg) (Max SendQ exceeded) |
| 2021-08-10 13:53:40 +0200 | dfg | (dfg@2600:3c00::f03c:92ff:feb4:be75) |
| 2021-08-10 13:53:40 +0200 | dfg | (dfg@2600:3c00::f03c:92ff:feb4:be75) (Changing host) |
| 2021-08-10 13:53:40 +0200 | dfg | (dfg@user/dfg) |
| 2021-08-10 13:54:10 +0200 | fendor | (~fendor@212095005227.public.telering.at) |
| 2021-08-10 13:54:23 +0200 | img | (~img@user/img) |
| 2021-08-10 13:54:29 +0200 | Vq_ | Vq |
| 2021-08-10 13:54:55 +0200 | cohn | (~noone@user/cohn) |
| 2021-08-10 13:55:21 +0200 | octeep[m] | (~octeepmoc@2001:470:69fc:105::695e) (Ping timeout: 252 seconds) |
| 2021-08-10 13:55:22 +0200 | psydroid | (~psydroid@user/psydroid) (Ping timeout: 240 seconds) |
| 2021-08-10 13:55:22 +0200 | boxscape | (~boxscape@user/boxscape) (Ping timeout: 240 seconds) |
| 2021-08-10 13:55:23 +0200 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) (Ping timeout: 240 seconds) |
| 2021-08-10 13:55:25 +0200 | Adam1 | (~Adam1@27-53-105-227.adsl.fetnet.net) (Ping timeout: 246 seconds) |
| 2021-08-10 13:55:32 +0200 | ru0mad[m] | (~ru0madmat@2001:470:69fc:105::9b2) (Ping timeout: 245 seconds) |
| 2021-08-10 13:55:32 +0200 | dualinverter[m] | (~dualinver@2001:470:69fc:105::16a7) (Ping timeout: 245 seconds) |
| 2021-08-10 13:55:32 +0200 | Deewiant | (~deewiant@2001:470:69fc:105::2fd3) (Ping timeout: 245 seconds) |
| 2021-08-10 13:55:41 +0200 | Tisoxin | (~ikosit@user/ikosit) (Ping timeout: 266 seconds) |
| 2021-08-10 13:55:42 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) (Ping timeout: 266 seconds) |
| 2021-08-10 13:55:42 +0200 | dminuoso[m] | (~dminuosom@2001:470:69fc:105::33bb) (Ping timeout: 266 seconds) |
| 2021-08-10 13:55:42 +0200 | andreabedini[m] | (~andreabed@2001:470:69fc:105::c821) (Ping timeout: 266 seconds) |
| 2021-08-10 13:56:08 +0200 | Drew[m]1 | (~drewefenw@2001:470:69fc:105::c8c4) (Ping timeout: 272 seconds) |
| 2021-08-10 13:56:08 +0200 | kadoban | (~kadoban@user/kadoban) (Ping timeout: 272 seconds) |
| 2021-08-10 13:56:10 +0200 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) (Ping timeout: 240 seconds) |
| 2021-08-10 13:56:10 +0200 | lwe[m] | (~dendrumat@2001:470:69fc:105::2f9b) (Ping timeout: 240 seconds) |
| 2021-08-10 13:56:10 +0200 | unrooted | (~unrooted@2001:470:69fc:105::a4a) (Ping timeout: 240 seconds) |
| 2021-08-10 13:56:10 +0200 | oak- | (~oakuniver@2001:470:69fc:105::fcd) (Ping timeout: 240 seconds) |
| 2021-08-10 13:56:10 +0200 | PotatoHatsue | (~berberman@2001:470:69fc:105::b488) (Ping timeout: 240 seconds) |
| 2021-08-10 13:56:19 +0200 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 268 seconds) |
| 2021-08-10 13:56:19 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) (Ping timeout: 268 seconds) |
| 2021-08-10 13:56:22 +0200 | jophish | (~jophish@2001:470:69fc:105::670) (Ping timeout: 245 seconds) |
| 2021-08-10 13:56:22 +0200 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) (Ping timeout: 245 seconds) |
| 2021-08-10 13:56:22 +0200 | Teohehim[m] | (~teocmatri@2001:470:69fc:105::d327) (Ping timeout: 245 seconds) |
| 2021-08-10 13:56:22 +0200 | Magnus[m] | (~magthetch@2001:470:69fc:105::d1a7) (Ping timeout: 245 seconds) |
| 2021-08-10 13:56:22 +0200 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) (Ping timeout: 245 seconds) |
| 2021-08-10 13:56:22 +0200 | fabfianda[m] | (~fabfianda@2001:470:69fc:105::6db) (Ping timeout: 245 seconds) |
| 2021-08-10 13:56:27 +0200 | MatrixTravelerbo | (~voyagert2@2001:470:69fc:105::22) (Ping timeout: 252 seconds) |
| 2021-08-10 13:56:27 +0200 | amesgen[m] | (~amesgenm]@2001:470:69fc:105::82b) (Ping timeout: 252 seconds) |
| 2021-08-10 13:56:27 +0200 | jchia[m] | (~jchiamatr@2001:470:69fc:105::c50b) (Ping timeout: 252 seconds) |
| 2021-08-10 13:56:27 +0200 | the-coot[m] | (~the-cootm@2001:470:69fc:105::95f) (Ping timeout: 252 seconds) |
| 2021-08-10 13:56:27 +0200 | carmysilna | (~brightly-@2001:470:69fc:105::2190) (Ping timeout: 252 seconds) |
| 2021-08-10 13:57:09 +0200 | zyklotomic | (~ethan@2604:a880:800:10::79f:8001) |
| 2021-08-10 13:57:09 +0200 | Morrow | (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-08-10 13:57:09 +0200 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2021-08-10 13:57:09 +0200 | L29Ah | (~L29Ah@user/l29ah) |
| 2021-08-10 13:57:09 +0200 | PotatoGim | (sid99505@id-99505.tooting.irccloud.com) |
| 2021-08-10 13:57:09 +0200 | ptrcmd | (~ptrcmd@user/ptrcmd) |
| 2021-08-10 13:57:09 +0200 | bens | (~bens@www.typius.com) |
| 2021-08-10 13:57:09 +0200 | sa1 | (sid7690@id-7690.charlton.irccloud.com) |
| 2021-08-10 13:57:09 +0200 | ozzymcduff | (~mathieu@81-234-151-21-no94.tbcn.telia.com) |
| 2021-08-10 13:57:09 +0200 | jonrh | (sid5185@id-5185.charlton.irccloud.com) |
| 2021-08-10 13:57:09 +0200 | caubert | (~caubert@136.244.111.235) |
| 2021-08-10 13:57:09 +0200 | tomku | (~tomku@user/tomku) |
| 2021-08-10 13:57:09 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) |
| 2021-08-10 13:57:09 +0200 | Arsen | (~arsen@managarm/dev/Arsen) |
| 2021-08-10 13:57:09 +0200 | connrs | (~connrs@user/connrs) |
| 2021-08-10 13:57:09 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2021-08-10 13:57:09 +0200 | cjay | (cjay@nerdbox.nerd2nerd.org) |
| 2021-08-10 13:57:09 +0200 | heath | (~heath@user/heath) |
| 2021-08-10 13:57:09 +0200 | oats | (~thomas@user/oats) |
| 2021-08-10 13:57:09 +0200 | krjst | (~krjst@2604:a880:800:c1::16b:8001) |
| 2021-08-10 13:57:09 +0200 | sajith | (~sajith@user/sajith) |
| 2021-08-10 13:57:09 +0200 | ellie | (~ellie@user/ellie) |
| 2021-08-10 13:57:09 +0200 | bollu | (~bollu@139.59.46.74) |
| 2021-08-10 13:57:09 +0200 | joeyh_ | (joeyh@kitenet.net) |
| 2021-08-10 13:57:09 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) |
| 2021-08-10 13:57:09 +0200 | spicyrice | (~ubuntu@2600:1f11:52a:4400:ccbc:2b96:cabe:414b) |
| 2021-08-10 13:57:09 +0200 | remexre | (~nathan@user/remexre) |
| 2021-08-10 13:57:09 +0200 | alp | (~alp@user/alp) |
| 2021-08-10 13:57:48 +0200 | haykam | (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-10 13:57:48 +0200 | lechner | (~lechner@debian/lechner) |
| 2021-08-10 13:57:48 +0200 | berberman_ | (~berberman@user/berberman) |
| 2021-08-10 13:57:48 +0200 | Katarushisu | (~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net) |
| 2021-08-10 13:57:48 +0200 | leah2 | (~leah@vuxu.org) |
| 2021-08-10 13:57:48 +0200 | ac | (~aloiscoch@2001:470:69fc:105::65) |
| 2021-08-10 13:57:48 +0200 | aveltras[m] | (~aveltrasm@2001:470:69fc:105::3ef9) |
| 2021-08-10 13:57:48 +0200 | infinisil | (~infinisil@2001:470:69fc:105::ff8) |
| 2021-08-10 13:57:48 +0200 | vbeatrice[m] | (~vbeatrice@2001:470:69fc:105::3ebf) |
| 2021-08-10 13:57:48 +0200 | adziahel[m] | (~adziahelm@2001:470:69fc:105::b4d) |
| 2021-08-10 13:57:48 +0200 | bitonic | (~bitonic@2001:470:69fc:105::1812) |
| 2021-08-10 13:57:48 +0200 | ringo_ | (~ringo@157.230.117.128) |
| 2021-08-10 13:57:48 +0200 | stefan-_ | (~cri@42dots.de) |
| 2021-08-10 13:57:48 +0200 | Igfoo | (~ian@matrix.chaos.earth.li) |
| 2021-08-10 13:57:48 +0200 | hook54321 | (sid149355@user/hook54321) |
| 2021-08-10 13:57:48 +0200 | mrianbloom | (sid350277@id-350277.charlton.irccloud.com) |
| 2021-08-10 13:57:48 +0200 | emergence | (~emergence@vm0.max-p.me) |
| 2021-08-10 13:57:48 +0200 | opqdonut | (opqdonut@pseudo.fixme.fi) |
| 2021-08-10 13:57:48 +0200 | integral | (sid296274@user/integral) |
| 2021-08-10 13:57:48 +0200 | feepo | (sid28508@id-28508.brockwell.irccloud.com) |
| 2021-08-10 13:57:48 +0200 | edwardk | (sid47016@haskell/developer/edwardk) |
| 2021-08-10 13:57:48 +0200 | idnar | (sid12240@debian/mithrandi) |
| 2021-08-10 13:57:48 +0200 | enemeth79 | (sid309041@id-309041.tooting.irccloud.com) |
| 2021-08-10 13:57:48 +0200 | tnks | (sid412124@id-412124.brockwell.irccloud.com) |
| 2021-08-10 13:57:48 +0200 | obviyus | (sid415299@user/obviyus) |
| 2021-08-10 13:57:48 +0200 | m1dnight | (~christoph@188.ip-51-91-158.eu) |
| 2021-08-10 13:57:48 +0200 | grfn | (sid449115@id-449115.brockwell.irccloud.com) |
| 2021-08-10 13:57:48 +0200 | lightandlight | (sid135476@id-135476.brockwell.irccloud.com) |
| 2021-08-10 13:57:48 +0200 | dagit | (~dagit@2001:558:6025:38:6476:a063:d05a:44da) |
| 2021-08-10 13:57:48 +0200 | dyniec | (~dyniec@mail.dybiec.info) |
| 2021-08-10 13:57:48 +0200 | Ananta-shesha | (~pjetcetal@2.95.210.188) |
| 2021-08-10 13:57:48 +0200 | dispater | (~dispater@user/brprice) |
| 2021-08-10 13:57:48 +0200 | vemek | (~vemek@2a03:b0c0:2:d0::d98:1) |
| 2021-08-10 13:57:48 +0200 | cocreature | (~moritz@2a03:b0c0:3:d0::c8:f001) |
| 2021-08-10 13:57:48 +0200 | Xnuk | (~xnuk@vultr.xnu.kr) |
| 2021-08-10 13:57:48 +0200 | loonycyborg | (~loonycybo@wesnoth/developer/loonycyborg) |
| 2021-08-10 13:57:48 +0200 | thonkpod | (~thonkpod@user/thonkpod) |
| 2021-08-10 13:57:48 +0200 | amk | (~amk@176.61.106.150) |
| 2021-08-10 13:57:48 +0200 | martin02 | (silas@hund.fs.lmu.de) |
| 2021-08-10 13:57:48 +0200 | bsima | (~bsima@simatime.com) |
| 2021-08-10 13:57:52 +0200 | ormaaj | (~ormaaj@user/ormaaj) |
| 2021-08-10 13:57:52 +0200 | jaror[m] | (~jaror@2001:470:69fc:105::265) |
| 2021-08-10 13:57:52 +0200 | zfnmxt | (~zfnmxtzfn@2001:470:69fc:105::2b32) |
| 2021-08-10 13:57:52 +0200 | Ollie[m] | (~ollieocha@2001:470:69fc:105::41a5) |
| 2021-08-10 13:57:52 +0200 | hsiktas[m] | (~hsiktasma@2001:470:69fc:105::30d4) |
| 2021-08-10 13:57:52 +0200 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) |
| 2021-08-10 13:57:52 +0200 | reza[m] | (~rezaphone@2001:470:69fc:105::3eda) |
| 2021-08-10 13:57:52 +0200 | Ekho | (~Ekho@user/ekho) |
| 2021-08-10 13:57:52 +0200 | rookie101 | (~rookie@207.154.204.166) |
| 2021-08-10 13:57:52 +0200 | liskin | (~liskin@xmonad/liskin) |
| 2021-08-10 13:57:52 +0200 | andreas3- | (andreas303@ip227.orange.bnc4free.com) |
| 2021-08-10 13:57:52 +0200 | jassob1 | (~jassob@korrob.vth.sgsnet.se) |
| 2021-08-10 13:57:52 +0200 | Guest6153 | (~deni@mail.denibertovic.com) |
| 2021-08-10 13:57:52 +0200 | kaol_ | (~kaol@178.62.241.234) |
| 2021-08-10 13:57:52 +0200 | sshine_ | (~simon@hubris.eta.solutions) |
| 2021-08-10 13:57:52 +0200 | anoe | (~anoe@delanoe.org) |
| 2021-08-10 13:57:52 +0200 | ProofTechnique | (sid79547@id-79547.charlton.irccloud.com) |
| 2021-08-10 13:57:52 +0200 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) |
| 2021-08-10 13:57:52 +0200 | supersven | (uid501114@id-501114.charlton.irccloud.com) |
| 2021-08-10 13:57:52 +0200 | teddyc | (theodorc@cassarossa.samfundet.no) |
| 2021-08-10 13:57:52 +0200 | elcaro | (~anonymous@45.32.191.75) |
| 2021-08-10 13:57:52 +0200 | cbarrett | (sid192934@id-192934.brockwell.irccloud.com) |
| 2021-08-10 13:57:52 +0200 | ziman | (~ziman@user/ziman) |
| 2021-08-10 13:57:52 +0200 | ski | (~ski@remote12.chalmers.se) |
| 2021-08-10 13:57:52 +0200 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) |
| 2021-08-10 13:57:52 +0200 | DigitalKiwi | (~kiwi@2604:a880:400:d0::12fc:5001) |
| 2021-08-10 13:57:52 +0200 | Philonous | (~Philonous@user/philonous) |
| 2021-08-10 13:57:52 +0200 | yorick | (~yorick@user/yorick) |
| 2021-08-10 13:57:52 +0200 | Jon | (jon@dow.land) |
| 2021-08-10 13:57:52 +0200 | Unhammer | (~Unhammer@user/unhammer) |
| 2021-08-10 13:57:52 +0200 | kosmikus | (~kosmikus@nullzig.kosmikus.org) |
| 2021-08-10 13:57:52 +0200 | aravk | (~aravk@user/aravk) |
| 2021-08-10 13:57:52 +0200 | nonzen | (~nonzen@user/nonzen) |
| 2021-08-10 13:57:52 +0200 | lieven | (~mal@ns2.wyrd.be) |
| 2021-08-10 13:57:52 +0200 | NinjaTrappeur | (~ninja@user/ninjatrappeur) |
| 2021-08-10 13:57:52 +0200 | rawles | (~o@user/rawles) |
| 2021-08-10 13:57:52 +0200 | eldritch_ | (~eldritch@134.209.221.71) |
| 2021-08-10 13:57:54 +0200 | ormaaj | (~ormaaj@user/ormaaj) (Max SendQ exceeded) |
| 2021-08-10 13:57:57 +0200 | waleee | (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 2021-08-10 13:57:59 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-08-10 13:57:59 +0200 | markpythonicbitc | (~markpytho@2601:647:5a00:35:9c61:394:eb0f:e1ed) |
| 2021-08-10 13:57:59 +0200 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-08-10 13:57:59 +0200 | jkachmar | (~jkachmar@2001:470:69fc:105::c72d) |
| 2021-08-10 13:57:59 +0200 | Deide | (~deide@user/deide) |
| 2021-08-10 13:57:59 +0200 | ixlun | (~ixlun@2001:470:69fc:105::41b3) |
| 2021-08-10 13:57:59 +0200 | SimonWeiss[m] | (~weiss-dma@2001:470:69fc:105::bebd) |
| 2021-08-10 13:57:59 +0200 | energizer | (~energizer@user/energizer) |
| 2021-08-10 13:57:59 +0200 | piele | (~piele@tbonesteak.creativeserver.net) |
| 2021-08-10 13:57:59 +0200 | cfebs | (~cfebs@user/cfebs) |
| 2021-08-10 13:57:59 +0200 | anderson | (~ande@134.209.221.71) |
| 2021-08-10 13:57:59 +0200 | ft | (~ft@shell.chaostreff-dortmund.de) |
| 2021-08-10 13:57:59 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) |
| 2021-08-10 13:57:59 +0200 | pierrot | (~pi@user/pierrot) |
| 2021-08-10 13:57:59 +0200 | catern | (~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) |
| 2021-08-10 13:57:59 +0200 | amirouche | (~amirouche@user/amirouche) |
| 2021-08-10 13:57:59 +0200 | oxytocat | (~alloca@user/suppi) |
| 2021-08-10 13:57:59 +0200 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
| 2021-08-10 13:57:59 +0200 | dexterfoo | (dexter@2a01:7e00::f03c:91ff:fe86:59ec) |
| 2021-08-10 13:57:59 +0200 | tristanC | (~tristanC@user/tristanc) |
| 2021-08-10 13:57:59 +0200 | Ferdirand | (~somebody@2001:4c78:2012:5000::2) |
| 2021-08-10 13:57:59 +0200 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) |
| 2021-08-10 13:57:59 +0200 | OscarH | (~OscarH@97e48a81.skybroadband.com) |
| 2021-08-10 13:57:59 +0200 | feetwind | (~mike@user/feetwind) |
| 2021-08-10 13:57:59 +0200 | tdammers | (~tdammers@77.109.72.213.res.static.edpnet.net) |
| 2021-08-10 13:57:59 +0200 | drakonis | (drakonis@user/drakonis) |
| 2021-08-10 13:57:59 +0200 | AWizzArd | (~code@user/awizzard) |
| 2021-08-10 13:57:59 +0200 | winny | (~winny@user/winny) |
| 2021-08-10 13:57:59 +0200 | relrod | (~relrod@redhat/ansible.staff.relrod) |
| 2021-08-10 13:57:59 +0200 | mikolaj_ | (~mikolaj@purple.well-typed.com) |
| 2021-08-10 13:57:59 +0200 | toms | (~foobar@pogostick.net) |
| 2021-08-10 13:57:59 +0200 | ggvgc | (~ggVGc@a.lowtech.earth) |
| 2021-08-10 13:58:33 +0200 | maerwald_ | (~maerwald@mail.hasufell.de) (Ping timeout: 268 seconds) |
| 2021-08-10 13:58:40 +0200 | typedfern__ | (~Typedfern@28.red-83-57-142.dynamicip.rima-tde.net) |
| 2021-08-10 13:59:51 +0200 | marienz | (~marienz@libera/staff/marienz) |
| 2021-08-10 14:00:07 +0200 | vk3wtf | (~doc@220-245-2-190.tpgi.com.au) |
| 2021-08-10 14:00:17 +0200 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) (Ping timeout: 252 seconds) |
| 2021-08-10 14:00:34 +0200 | hsek[m] | (~hsekmatri@2001:470:69fc:105::d18f) (Ping timeout: 272 seconds) |
| 2021-08-10 14:00:37 +0200 | thomasjm[m] | (~thomasjmm@2001:470:69fc:105::c6d9) (Ping timeout: 268 seconds) |
| 2021-08-10 14:00:44 +0200 | jaror[m] | (~jaror@2001:470:69fc:105::265) (Ping timeout: 252 seconds) |
| 2021-08-10 14:00:44 +0200 | zfnmxt | (~zfnmxtzfn@2001:470:69fc:105::2b32) (Ping timeout: 252 seconds) |
| 2021-08-10 14:00:44 +0200 | Ollie[m] | (~ollieocha@2001:470:69fc:105::41a5) (Ping timeout: 252 seconds) |
| 2021-08-10 14:00:44 +0200 | hsiktas[m] | (~hsiktasma@2001:470:69fc:105::30d4) (Ping timeout: 252 seconds) |
| 2021-08-10 14:00:44 +0200 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) (Ping timeout: 252 seconds) |
| 2021-08-10 14:00:45 +0200 | reza[m] | (~rezaphone@2001:470:69fc:105::3eda) (Ping timeout: 252 seconds) |
| 2021-08-10 14:00:45 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) (Ping timeout: 276 seconds) |
| 2021-08-10 14:00:45 +0200 | hughjfchen[m] | (~hughjfche@2001:470:69fc:105::c29d) (Ping timeout: 276 seconds) |
| 2021-08-10 14:00:56 +0200 | maerwald | (~maerwald@mail.hasufell.de) |
| 2021-08-10 14:01:02 +0200 | ac | (~aloiscoch@2001:470:69fc:105::65) (Ping timeout: 256 seconds) |
| 2021-08-10 14:01:02 +0200 | aveltras[m] | (~aveltrasm@2001:470:69fc:105::3ef9) (Ping timeout: 256 seconds) |
| 2021-08-10 14:01:02 +0200 | infinisil | (~infinisil@2001:470:69fc:105::ff8) (Ping timeout: 256 seconds) |
| 2021-08-10 14:01:02 +0200 | vbeatrice[m] | (~vbeatrice@2001:470:69fc:105::3ebf) (Ping timeout: 256 seconds) |
| 2021-08-10 14:01:02 +0200 | adziahel[m] | (~adziahelm@2001:470:69fc:105::b4d) (Ping timeout: 256 seconds) |
| 2021-08-10 14:01:02 +0200 | bitonic | (~bitonic@2001:470:69fc:105::1812) (Ping timeout: 256 seconds) |
| 2021-08-10 14:01:07 +0200 | chomwitt | (~chomwitt@2a02:587:dc02:6400:12c3:7bff:fe6d:d374) |
| 2021-08-10 14:01:08 +0200 | jkachmar | (~jkachmar@2001:470:69fc:105::c72d) (Ping timeout: 272 seconds) |
| 2021-08-10 14:01:08 +0200 | Deide | (~deide@user/deide) (Ping timeout: 272 seconds) |
| 2021-08-10 14:01:08 +0200 | ixlun | (~ixlun@2001:470:69fc:105::41b3) (Ping timeout: 272 seconds) |
| 2021-08-10 14:01:08 +0200 | SimonWeiss[m] | (~weiss-dma@2001:470:69fc:105::bebd) (Ping timeout: 272 seconds) |
| 2021-08-10 14:01:12 +0200 | schuelermine[m] | (~schuelerm@user/schuelermine) (Ping timeout: 272 seconds) |
| 2021-08-10 14:01:12 +0200 | kar1 | (~kar1@2001:470:69fc:105::c308) (Ping timeout: 272 seconds) |
| 2021-08-10 14:01:13 +0200 | siraben | (~siraben@user/siraben) (Ping timeout: 272 seconds) |
| 2021-08-10 14:01:13 +0200 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) (Ping timeout: 272 seconds) |
| 2021-08-10 14:01:13 +0200 | CyrusT[m] | (~cyrustcru@2001:470:69fc:105::306e) (Ping timeout: 272 seconds) |
| 2021-08-10 14:01:15 +0200 | alexfmpe[m] | (~alexfmpem@2001:470:69fc:105::38ba) (Ping timeout: 268 seconds) |
| 2021-08-10 14:01:15 +0200 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) (Ping timeout: 268 seconds) |
| 2021-08-10 14:01:24 +0200 | srid[m] | (~sridmatri@2001:470:69fc:105::1c2) (Ping timeout: 276 seconds) |
| 2021-08-10 14:01:24 +0200 | bb010g | (~bb010g@2001:470:69fc:105::9a5) (Ping timeout: 276 seconds) |
| 2021-08-10 14:03:51 +0200 | pe200012_ | (~pe200012@113.105.10.62) |
| 2021-08-10 14:04:43 +0200 | pe200012 | (~pe200012@218.107.49.28) (Ping timeout: 268 seconds) |
| 2021-08-10 14:05:52 +0200 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) |
| 2021-08-10 14:05:56 +0200 | andreabedini[m] | (~andreabed@2001:470:69fc:105::c821) |
| 2021-08-10 14:05:56 +0200 | octeep[m] | (~octeepmoc@2001:470:69fc:105::695e) |
| 2021-08-10 14:05:56 +0200 | dminuoso[m] | (~dminuosom@2001:470:69fc:105::33bb) |
| 2021-08-10 14:08:28 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-10 14:09:25 +0200 | Vajb | (~Vajb@2001:999:252:4e3c:27f9:d93:655e:583) |
| 2021-08-10 14:09:47 +0200 | acidjnk_new3 | (~acidjnk@p200300d0c72b9574c9e1464ccccbbf78.dip0.t-ipconnect.de) |
| 2021-08-10 14:10:00 +0200 | jumper149 | (~jumper149@80.240.31.34) |
| 2021-08-10 14:10:17 +0200 | pe200012_ | (~pe200012@113.105.10.62) (Ping timeout: 268 seconds) |
| 2021-08-10 14:14:42 +0200 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) |
| 2021-08-10 14:15:13 +0200 | PotatoHatsue | (~berberman@2001:470:69fc:105::b488) |
| 2021-08-10 14:15:31 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) |
| 2021-08-10 14:15:34 +0200 | carmysilna | (~brightly-@2001:470:69fc:105::2190) |
| 2021-08-10 14:15:34 +0200 | jchia[m] | (~jchiamatr@2001:470:69fc:105::c50b) |
| 2021-08-10 14:15:36 +0200 | oak- | (~oakuniver@2001:470:69fc:105::fcd) |
| 2021-08-10 14:15:37 +0200 | amesgen[m] | (~amesgenm]@2001:470:69fc:105::82b) |
| 2021-08-10 14:15:37 +0200 | unrooted | (~unrooted@2001:470:69fc:105::a4a) |
| 2021-08-10 14:15:38 +0200 | the-coot[m] | (~the-cootm@2001:470:69fc:105::95f) |
| 2021-08-10 14:15:40 +0200 | Drew[m]1 | (~drewefenw@2001:470:69fc:105::c8c4) |
| 2021-08-10 14:16:39 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-08-10 14:19:04 +0200 | wallymathieu[m] | (~wallymath@2001:470:69fc:105::16ae) |
| 2021-08-10 14:19:50 +0200 | Magnus[m] | (~magthetch@2001:470:69fc:105::d1a7) |
| 2021-08-10 14:19:50 +0200 | Teohehim[m] | (~teocmatri@2001:470:69fc:105::d327) |
| 2021-08-10 14:19:55 +0200 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) |
| 2021-08-10 14:21:30 +0200 | burnside_ | (~burnsides@dhcp168-020.wadham.ox.ac.uk) |
| 2021-08-10 14:21:30 +0200 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 2021-08-10 14:21:55 +0200 | Tisoxin | (~ikosit@user/ikosit) |
| 2021-08-10 14:22:03 +0200 | dualinverter[m] | (~dualinver@2001:470:69fc:105::16a7) |
| 2021-08-10 14:23:23 +0200 | <jumper149> | Hi, I want to use `Data.Lazy.ByteString.readFile` at compile time. Is that possible? Are there any tricks with cabal? |
| 2021-08-10 14:23:59 +0200 | <Taneb> | jumper149: you'll probably need Template Haskell. It's definitely possible with TH |
| 2021-08-10 14:24:02 +0200 | <merijn> | jumper149: With Template Haskell |
| 2021-08-10 14:25:13 +0200 | hsek[m] | (~hsekmatri@2001:470:69fc:105::d18f) |
| 2021-08-10 14:25:16 +0200 | Orbstheorem | (~orbstheor@2001:470:69fc:105::a56) |
| 2021-08-10 14:25:17 +0200 | hughjfchen[m] | (~hughjfche@2001:470:69fc:105::c29d) |
| 2021-08-10 14:25:18 +0200 | thomasjm[m] | (~thomasjmm@2001:470:69fc:105::c6d9) |
| 2021-08-10 14:25:21 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) |
| 2021-08-10 14:25:35 +0200 | <jumper149> | Ty, I think I might try https://hackage.haskell.org/package/file-embed |
| 2021-08-10 14:27:13 +0200 | Morrow_ | (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-08-10 14:28:21 +0200 | <Hecate> | jumper149: yes it's better than lazy IO |
| 2021-08-10 14:28:59 +0200 | pe200012_ | (~pe200012@113.105.10.33) |
| 2021-08-10 14:29:15 +0200 | <viluon> | is it possible to instruct ghcup to decompress `.xz` archives in multithreaded mode (`-T 0` or similar)? |
| 2021-08-10 14:29:57 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2021-08-10 14:37:05 +0200 | fendor | (~fendor@212095005227.public.telering.at) (Read error: Connection reset by peer) |
| 2021-08-10 14:37:25 +0200 | torei | (~torei@c-73-108-191-67.hsd1.ga.comcast.net) (Ping timeout: 268 seconds) |
| 2021-08-10 14:40:02 +0200 | SimonWeiss[m] | (~weiss-dma@2001:470:69fc:105::bebd) |
| 2021-08-10 14:40:04 +0200 | ixlun | (~ixlun@2001:470:69fc:105::41b3) |
| 2021-08-10 14:40:19 +0200 | pe200012_ | (~pe200012@113.105.10.33) (Read error: Connection reset by peer) |
| 2021-08-10 14:40:27 +0200 | pe200012 | (~pe200012@113.105.10.33) |
| 2021-08-10 14:42:44 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-10 14:43:45 +0200 | alexfmpe[m] | (~alexfmpem@2001:470:69fc:105::38ba) |
| 2021-08-10 14:46:21 +0200 | srid[m] | (~sridmatri@2001:470:69fc:105::1c2) |
| 2021-08-10 14:47:17 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-08-10 14:52:30 +0200 | jolly | (~jolly@208.180.97.158) |
| 2021-08-10 14:55:16 +0200 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) |
| 2021-08-10 14:56:49 +0200 | CyrusT[m] | (~cyrustcru@2001:470:69fc:105::306e) |
| 2021-08-10 14:57:08 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b9574c56a490b8c03a837.dip0.t-ipconnect.de) |
| 2021-08-10 14:58:12 +0200 | jneira | (~jneira@212.8.115.226) (Quit: Client closed) |
| 2021-08-10 15:00:32 +0200 | acidjnk_new3 | (~acidjnk@p200300d0c72b9574c9e1464ccccbbf78.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2021-08-10 15:00:53 +0200 | alx741 | (~alx741@181.196.68.21) |
| 2021-08-10 15:01:25 +0200 | markpythonicbitc | (~markpytho@2601:647:5a00:35:9c61:394:eb0f:e1ed) (Quit: My MacBook has gone to sleep. ZZZzzzâŚ) |
| 2021-08-10 15:01:27 +0200 | afotgkmnzj7asv3r | (~afotgkmnz@2001:470:69fc:105::c24b) |
| 2021-08-10 15:01:39 +0200 | unclechu | (~unclechu@2001:470:69fc:105::354) |
| 2021-08-10 15:01:52 +0200 | markpythonicbitc | (~markpytho@2601:647:5a00:35:9c61:394:eb0f:e1ed) |
| 2021-08-10 15:02:59 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-10 15:03:05 +0200 | Guest4576 | (~Guest45@2001:8004:2728:3231:22e8:8df9:c65:5ea) |
| 2021-08-10 15:04:08 +0200 | psydroid | (~psydroid@user/psydroid) |
| 2021-08-10 15:04:21 +0200 | <janus> | viluon: hmm i thought there was an environment variable for that, but maybe i am mistaken? |
| 2021-08-10 15:05:09 +0200 | <viluon> | janus: if there is one, it isn't listed in ghcup's help command |
| 2021-08-10 15:05:42 +0200 | <viluon> | hmm, it looks like `xz` itself supports `XZ_OPT` though |
| 2021-08-10 15:05:44 +0200 | <janus> | viluon: aah no i meant a generic one. if there were, xz would probably inherit it from ghcup if present |
| 2021-08-10 15:06:07 +0200 | <Hecate> | viluon: try XZ_OPT, otherwise you can open a ticket :) |
| 2021-08-10 15:06:33 +0200 | <viluon> | janus & Hecate: thanks! |
| 2021-08-10 15:07:12 +0200 | hgolden | (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) |
| 2021-08-10 15:07:37 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-08-10 15:07:38 +0200 | Deewiant | (~deewiant@2001:470:69fc:105::2fd3) |
| 2021-08-10 15:07:56 +0200 | boxscape | (~boxscape@user/boxscape) |
| 2021-08-10 15:08:28 +0200 | polykernel | (~polykerne@user/polykernel) |
| 2021-08-10 15:08:29 +0200 | juhp | (~juhp@128.106.188.220) (Quit: juhp) |
| 2021-08-10 15:08:45 +0200 | juhp | (~juhp@128.106.188.220) |
| 2021-08-10 15:09:23 +0200 | ru0mad[m] | (~ru0madmat@2001:470:69fc:105::9b2) |
| 2021-08-10 15:09:45 +0200 | RohitGoswami[m] | (~rgoswamim@2001:470:69fc:105::16cc) |
| 2021-08-10 15:09:52 +0200 | lbseale | (~lbseale@user/ep1ctetus) |
| 2021-08-10 15:12:12 +0200 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) |
| 2021-08-10 15:12:13 +0200 | fabfianda[m] | (~fabfianda@2001:470:69fc:105::6db) |
| 2021-08-10 15:12:41 +0200 | kar1 | (~kar1@2001:470:69fc:105::c308) |
| 2021-08-10 15:12:43 +0200 | Guest4576 | (~Guest45@2001:8004:2728:3231:22e8:8df9:c65:5ea) (Quit: Client closed) |
| 2021-08-10 15:12:48 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) |
| 2021-08-10 15:13:07 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-10 15:13:36 +0200 | ServerStatsDisco | (~serversta@2001:470:69fc:105::1a) |
| 2021-08-10 15:17:34 +0200 | doyougnu | (~user@c-73-25-202-122.hsd1.or.comcast.net) |
| 2021-08-10 15:17:55 +0200 | Morrow_ | (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Quit: Leaving) |
| 2021-08-10 15:18:06 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-08-10 15:19:29 +0200 | curiousgay | (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 248 seconds) |
| 2021-08-10 15:19:48 +0200 | adziahel[m] | (~adziahelm@2001:470:69fc:105::b4d) |
| 2021-08-10 15:19:49 +0200 | bb010g | (~bb010g@2001:470:69fc:105::9a5) |
| 2021-08-10 15:20:10 +0200 | chomwitt | (~chomwitt@2a02:587:dc02:6400:12c3:7bff:fe6d:d374) (Ping timeout: 268 seconds) |
| 2021-08-10 15:20:28 +0200 | infinisil | (~infinisil@2001:470:69fc:105::ff8) |
| 2021-08-10 15:21:27 +0200 | kadoban | (~kadoban@user/kadoban) |
| 2021-08-10 15:22:32 +0200 | epolanski | (uid312403@id-312403.brockwell.irccloud.com) |
| 2021-08-10 15:24:17 +0200 | Obo | (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 248 seconds) |
| 2021-08-10 15:24:41 +0200 | lwe[m] | (~dendrumat@2001:470:69fc:105::2f9b) |
| 2021-08-10 15:26:02 +0200 | aveltras[m] | (~aveltrasm@2001:470:69fc:105::3ef9) |
| 2021-08-10 15:26:14 +0200 | MatrixTravelerbo | (~voyagert2@2001:470:69fc:105::22) |
| 2021-08-10 15:27:01 +0200 | vbeatrice[m] | (~vbeatrice@2001:470:69fc:105::3ebf) |
| 2021-08-10 15:27:09 +0200 | burnside_ | (~burnsides@dhcp168-020.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-10 15:27:22 +0200 | tungki | (~tngk@subs31-116-206-15-25.three.co.id) (Read error: Connection reset by peer) |
| 2021-08-10 15:27:41 +0200 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) |
| 2021-08-10 15:28:40 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2021-08-10 15:29:20 +0200 | jophish | (~jophish@2001:470:69fc:105::670) |
| 2021-08-10 15:30:51 +0200 | _73 | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-08-10 15:31:03 +0200 | Ollie[m] | (~ollieocha@2001:470:69fc:105::41a5) |
| 2021-08-10 15:32:17 +0200 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) (Ping timeout: 268 seconds) |
| 2021-08-10 15:32:51 +0200 | zfnmxt | (~zfnmxtzfn@2001:470:69fc:105::2b32) |
| 2021-08-10 15:32:52 +0200 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) |
| 2021-08-10 15:33:24 +0200 | bitonic | (~bitonic@2001:470:69fc:105::1812) |
| 2021-08-10 15:33:29 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-10 15:33:46 +0200 | schuelermine[m] | (~schuelerm@user/schuelermine) |
| 2021-08-10 15:34:40 +0200 | ac | (~aloiscoch@2001:470:69fc:105::65) |
| 2021-08-10 15:35:06 +0200 | ericson2314 | (~ericson23@2001:470:69fc:105::70c) |
| 2021-08-10 15:35:17 +0200 | jaror[m] | (~jaror@2001:470:69fc:105::265) |
| 2021-08-10 15:35:19 +0200 | Deide | (~deide@user/deide) |
| 2021-08-10 15:35:23 +0200 | <_73> | I have a lot of functions that simply associate strings to `Either Error Int`. For example I have `foo "hello" = Right 7; foo "hey" Right 2; foo _ = Left someError`. `foo` though may have up to 60 different strings to pattern match against. If this were you would you just have a bunch of pattern match statements or would you use `Data.Map.fromList` and on a list of pairs like `[("hello", 7) ... ]`. Or would you do something else? |
| 2021-08-10 15:35:28 +0200 | jkachmar | (~jkachmar@2001:470:69fc:105::c72d) |
| 2021-08-10 15:35:37 +0200 | reza[m] | (~rezaphone@2001:470:69fc:105::3eda) |
| 2021-08-10 15:36:46 +0200 | ormaaj | (~ormaaj@user/ormaaj) |
| 2021-08-10 15:36:50 +0200 | siraben | (~siraben@user/siraben) |
| 2021-08-10 15:36:51 +0200 | <merijn> | _73: I would use Data.Map |
| 2021-08-10 15:36:52 +0200 | hsiktas[m] | (~hsiktasma@2001:470:69fc:105::30d4) |
| 2021-08-10 15:37:31 +0200 | <_73> | ok that is what I have been doing. |
| 2021-08-10 15:37:45 +0200 | enoq | (~enoq@194-208-179-35.lampert.tv) (Quit: enoq) |
| 2021-08-10 15:37:55 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2021-08-10 15:39:29 +0200 | hendursa1 | (~weechat@user/hendursaga) (Quit: hendursa1) |
| 2021-08-10 15:40:01 +0200 | hendursaga | (~weechat@user/hendursaga) |
| 2021-08-10 15:40:38 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-10 15:40:56 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-08-10 15:43:54 +0200 | <acowley_> | Does lsp-haskell have a capability to insert a missing type signature? I can't find it. |
| 2021-08-10 15:44:13 +0200 | acowley_ | acowle |
| 2021-08-10 15:44:16 +0200 | acowle | acowley |
| 2021-08-10 15:44:52 +0200 | curiousgay | (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-08-10 15:46:51 +0200 | <Drew[m]1> | Hrm. I've been doing evil Haskell and run into a roadblock that just sort of seems... wrong... |
| 2021-08-10 15:47:52 +0200 | <Drew[m]1> | The idea was: take the basic ideas seen here https://www.reddit.com/r/haskell/comments/p0pclw/haskell_methods/h8c5huc/ and rewrite them with type families to avoid using fundeps and see what happens |
| 2021-08-10 15:48:32 +0200 | <Drew[m]1> | I wrote this: https://paste.tomsmeding.com/nLEWqt3D |
| 2021-08-10 15:48:59 +0200 | <Drew[m]1> | But the compiler rejects the last instance |
| 2021-08-10 15:49:42 +0200 | trcc | (~trcc@2-104-60-169-cable.dk.customer.tdc.net) (Remote host closed the connection) |
| 2021-08-10 15:49:51 +0200 | <merijn> | With what error? |
| 2021-08-10 15:50:14 +0200 | trcc | (~trcc@2-104-60-169-cable.dk.customer.tdc.net) |
| 2021-08-10 15:50:33 +0200 | <Drew[m]1> | Here's the code and error together: https://paste.tomsmeding.com/WEpixOc7 |
| 2021-08-10 15:51:38 +0200 | <Drew[m]1> | So the roadblock is the associated type family can't refer to a type variable from instance context |
| 2021-08-10 15:51:40 +0200 | <merijn> | Drew[m]1: Where's the 'a' supposed to come from? |
| 2021-08-10 15:52:02 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2021-08-10 15:53:46 +0200 | <Drew[m]1> | So my thinking is that if the `Magic obj` meets the constraint then the type of `a` is implied thanks to the functional dependency in `HasField` |
| 2021-08-10 15:54:16 +0200 | <Drew[m]1> | I want to use that information to define the associated type family, but apparently I can't. |
| 2021-08-10 15:55:09 +0200 | trcc | (~trcc@2-104-60-169-cable.dk.customer.tdc.net) (Ping timeout: 276 seconds) |
| 2021-08-10 15:55:12 +0200 | <merijn> | Drew[m]1: Instance constraints are only considered for type-checking, not for resolution |
| 2021-08-10 15:55:21 +0200 | xsperry | (~as@user/xsperry) |
| 2021-08-10 15:55:42 +0200 | <merijn> | So pretty sure you can't "see" the fundeps until its too late |
| 2021-08-10 15:57:08 +0200 | <Athas> | I am using gitrev to embed Git commit information in my Haskell program. Unfortunately since the module with that TH stuff rarely changes, the commit information is often stale, unless I do a clean rebuild. How do I best resolve this? |
| 2021-08-10 15:57:42 +0200 | <Athas> | I can think of two ways: one is to somehow make cabal recompile that (small) module every time. Another is to put the TH stuff in the module that contains the 'main' function, and hope that will always be recompiled. Any others? |
| 2021-08-10 15:57:47 +0200 | <Athas> | I'd rather avoid a custom Setup.hs. |
| 2021-08-10 15:58:16 +0200 | <merijn> | Athas: Think outside the box: Invoke cabal via Makefile which generates a GitRev.hs :p |
| 2021-08-10 15:58:58 +0200 | <Athas> | brilant |
| 2021-08-10 15:59:47 +0200 | <merijn> | Athas: Can even hide GitRev.hs beyond a cabal flag so that it only applies/imports when invoked via make so that a regular cabal build only includes the Paths_pkg version stuff instead |
| 2021-08-10 16:00:03 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-10 16:00:21 +0200 | jespada | (~jespada@90.254.247.46) (Quit: My MacBook has gone to sleep. ZZZzzzâŚ) |
| 2021-08-10 16:00:35 +0200 | <merijn> | Athas: And since cabal's recompilation stuff checks content hashes you probably won't even get recompiles if the regenerated GitRev.hs has the exact same contents |
| 2021-08-10 16:00:52 +0200 | <maerwald[m]> | Athas: you can read a file at compile time via TH and invalidate the cache when it changes. That works with TH |
| 2021-08-10 16:01:00 +0200 | <maerwald[m]> | that can just be a text file |
| 2021-08-10 16:01:02 +0200 | jespada | (~jespada@90.254.247.46) |
| 2021-08-10 16:01:17 +0200 | <Athas> | maerwald: how do I invalidate the cache? |
| 2021-08-10 16:01:47 +0200 | <Athas> | I'm looking at the gitrev code and it does look like it's adding some dependencies to Git files via TH... but it clearly doesn't work well for me. |
| 2021-08-10 16:02:08 +0200 | <maerwald[m]> | it does work, I used it a lot |
| 2021-08-10 16:02:12 +0200 | <merijn> | Athas: It's probably because cabal isn't rebuilding the component unless files have changed |
| 2021-08-10 16:02:27 +0200 | <maerwald[m]> | you also have to add the file to extra-source-files I think |
| 2021-08-10 16:02:27 +0200 | <merijn> | And cabal's recompilation logic isn't aware of GHC's TH dependencies, afaik |
| 2021-08-10 16:02:51 +0200 | <maerwald[m]> | that's why you add it do extra-source-files |
| 2021-08-10 16:04:11 +0200 | Pickchea | (~private@user/pickchea) |
| 2021-08-10 16:04:17 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2021-08-10 16:04:17 +0200 | <Athas> | merijn: ah, it's a separate thing? That might explain why. |
| 2021-08-10 16:04:26 +0200 | <Athas> | maerwald[m]: what is "it" here? |
| 2021-08-10 16:04:49 +0200 | <Athas> | I have this module, which contains the Git stuff, and is rarely recompiled: https://github.com/diku-dk/futhark/blob/master/src/Futhark/Version.hs |
| 2021-08-10 16:04:49 +0200 | __monty__ | (~toonn@user/toonn) |
| 2021-08-10 16:05:07 +0200 | <maerwald[m]> | Athas: the file you read via TH |
| 2021-08-10 16:05:40 +0200 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) |
| 2021-08-10 16:07:41 +0200 | <Athas> | I don't know which file I read via TH. That's hidden inside the guts of gitrev, and seems to be various files in .git.\ |
| 2021-08-10 16:07:59 +0200 | <Athas> | Adding those to extra-source-files would also make compilation fail when .git is not present, right? |
| 2021-08-10 16:08:06 +0200 | <merijn> | Yes |
| 2021-08-10 16:08:22 +0200 | Guest9072 | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-10 16:09:18 +0200 | <_73> | is there an extension that lets you use conditional expressions in the body of case statements? Something like `case length xs of VALUE > 0 -> True; _ -> False` |
| 2021-08-10 16:09:25 +0200 | <maerwald[m]> | Athas: that's why I said: generate your own file. Add it to extra-source-files, read it via TH |
| 2021-08-10 16:09:52 +0200 | <merijn> | _73: Don't need an extension |
| 2021-08-10 16:09:56 +0200 | <maerwald[m]> | don't depend on broken libraries |
| 2021-08-10 16:10:01 +0200 | <Athas> | That requires me to either use a custom Setup.hs or put some layer on top of cabal/stack, right? |
| 2021-08-10 16:10:07 +0200 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) (Ping timeout: 258 seconds) |
| 2021-08-10 16:10:16 +0200 | <merijn> | > case length "foo" of x | x > 2 -> True; _ -> False |
| 2021-08-10 16:10:17 +0200 | <lambdabot> | True |
| 2021-08-10 16:10:40 +0200 | <_73> | oh nice. Thanks |
| 2021-08-10 16:10:42 +0200 | <merijn> | _73: You're allowed to put guards on patterns in case-of |
| 2021-08-10 16:10:50 +0200 | ystael | (~ystael@user/ystael) (Quit: Lost terminal) |
| 2021-08-10 16:11:16 +0200 | <maerwald[m]> | if you write a custom Setup.hs, note that the operation may fail (e.g. when used as sdist) |
| 2021-08-10 16:11:41 +0200 | <merijn> | This is why I suggested hiding it behind a flag and getting make to auto-invoke it :p |
| 2021-08-10 16:12:00 +0200 | chomwitt | (~chomwitt@ppp-2-85-147-24.home.otenet.gr) |
| 2021-08-10 16:12:19 +0200 | <maerwald[m]> | Or you just catch the failure |
| 2021-08-10 16:12:42 +0200 | <merijn> | maerwald[m]: The flag approach can be done without a custom Setup.hs |
| 2021-08-10 16:12:53 +0200 | ystael | (~ystael@user/ystael) |
| 2021-08-10 16:13:02 +0200 | <maerwald[m]> | sure, then you have to use make |
| 2021-08-10 16:13:08 +0200 | <merijn> | Well, no |
| 2021-08-10 16:13:15 +0200 | <merijn> | Could enable the flag in cabal.project.local too |
| 2021-08-10 16:13:16 +0200 | chris | (~chris@81.96.113.213) |
| 2021-08-10 16:13:19 +0200 | chris | Guest1100 |
| 2021-08-10 16:13:20 +0200 | enoq | (~enoq@194-208-179-35.lampert.tv) |
| 2021-08-10 16:13:27 +0200 | <merijn> | Oh, for the external generation you mean |
| 2021-08-10 16:13:29 +0200 | <merijn> | Yeah |
| 2021-08-10 16:13:33 +0200 | jackhill_ | jackhill |
| 2021-08-10 16:13:54 +0200 | <merijn> | Easy choice for me, I already use make for all the surrounding C/C++ :p |
| 2021-08-10 16:14:10 +0200 | <merijn> | And I don't care about the haskell being standalone compilable anyway |
| 2021-08-10 16:15:40 +0200 | <maerwald[m]> | There are some projects that don't use cabal, but ghc directly via makefiles |
| 2021-08-10 16:16:14 +0200 | Guest1100 | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-10 16:16:18 +0200 | <Athas> | I care a lot about my projects being easy for users to compile, so I don't want to add abstraction layers. |
| 2021-08-10 16:16:25 +0200 | chris | (~chris@81.96.113.213) |
| 2021-08-10 16:16:29 +0200 | chris | Guest7700 |
| 2021-08-10 16:19:37 +0200 | res0nat0r8 | (~Fletch@dia.whatbox.ca) |
| 2021-08-10 16:20:20 +0200 | sander | (~sander@user/sander) (Remote host closed the connection) |
| 2021-08-10 16:22:25 +0200 | res0nat0r | (~Fletch@dia.whatbox.ca) (Ping timeout: 248 seconds) |
| 2021-08-10 16:25:09 +0200 | sander | (~sander@user/sander) |
| 2021-08-10 16:25:31 +0200 | <merijn> | Athas: Sure, but in my case I only care about users being able to compile project easily "from a git checkout, using make" since half the code is dependent on the external C++ bits, so compiling just the Haskell isn't particularly sensible :p |
| 2021-08-10 16:26:48 +0200 | Vajb | (~Vajb@2001:999:252:4e3c:27f9:d93:655e:583) (Read error: Connection reset by peer) |
| 2021-08-10 16:27:22 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) |
| 2021-08-10 16:29:09 +0200 | fendor | (~fendor@212095005227.public.telering.at) |
| 2021-08-10 16:31:08 +0200 | zebrag | (~chris@user/zebrag) |
| 2021-08-10 16:33:34 +0200 | slack1256 | (~slack1256@181.203.126.41) |
| 2021-08-10 16:35:02 +0200 | mastarija | (~mastarija@78-3-210-70.adsl.net.t-com.hr) |
| 2021-08-10 16:36:45 +0200 | mastarija | (~mastarija@78-3-210-70.adsl.net.t-com.hr) (Client Quit) |
| 2021-08-10 16:37:02 +0200 | mastarija | (~mastarija@78-3-210-70.adsl.net.t-com.hr) |
| 2021-08-10 16:37:19 +0200 | mastarija | (~mastarija@78-3-210-70.adsl.net.t-com.hr) () |
| 2021-08-10 16:38:55 +0200 | mastarija | (~mastarija@78-3-210-70.adsl.net.t-com.hr) |
| 2021-08-10 16:39:42 +0200 | derelict | (~derelict@user/derelict) |
| 2021-08-10 16:41:19 +0200 | <srid[m]> | What library release automation tool do you all use? (Better if integrates with nix) |
| 2021-08-10 16:41:53 +0200 | <Clint> | what's a library release automation tool? |
| 2021-08-10 16:42:43 +0200 | <srid[m]> | sdist, build docs, upload to hackage, git tag, etc. |
| 2021-08-10 16:42:55 +0200 | <maerwald[m]> | cabal |
| 2021-08-10 16:43:05 +0200 | <srid[m]> | pretty much automate this https://www.srid.ca/haskell-release-process |
| 2021-08-10 16:43:10 +0200 | <Clint> | cabal sdist; cabal upload |
| 2021-08-10 16:43:50 +0200 | <maerwald[m]> | I skip everything that contains the word "nix" and save so much time that there's nothing to automate |
| 2021-08-10 16:43:56 +0200 | <merijn> | srid[m]: You can upload package candidates via "cabal upload" too |
| 2021-08-10 16:47:18 +0200 | xff0x | (~xff0x@2001:1a81:53d2:1c00:3b45:e81a:a20c:e310) (Ping timeout: 258 seconds) |
| 2021-08-10 16:48:03 +0200 | xff0x | (~xff0x@2001:1a81:53d2:1c00:f58c:78ee:80de:d293) |
| 2021-08-10 16:50:22 +0200 | mattil | (~mattilinn@87-92-9-185.bb.dnainternet.fi) |
| 2021-08-10 16:51:19 +0200 | mattil | (~mattilinn@87-92-9-185.bb.dnainternet.fi) (Remote host closed the connection) |
| 2021-08-10 16:51:45 +0200 | mattil | (~mattilinn@87-92-9-185.bb.dnainternet.fi) |
| 2021-08-10 16:52:17 +0200 | fendor | (~fendor@212095005227.public.telering.at) (Ping timeout: 258 seconds) |
| 2021-08-10 16:52:50 +0200 | shapr | (~user@pool-108-28-144-11.washdc.fios.verizon.net) |
| 2021-08-10 16:53:32 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b9574c56a490b8c03a837.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2021-08-10 16:54:17 +0200 | <Drew[m]1> | <merijn> "So pretty sure you can't "see..." <- OK so now I'm appalled ... I wrote my own `HasField`-like class defined using type families instead of functional dependencies... |
| 2021-08-10 16:54:17 +0200 | <Drew[m]1> | And that made writing the last instance trivial. |
| 2021-08-10 16:54:21 +0200 | <Drew[m]1> | So both type families and functional dependencies can solve a problem. Things are easy if you always use functional dependencies to solve the problem, and easy if you always use type families to solve the problem, but if you mix them you get pain and gnashing of teeth? |
| 2021-08-10 16:54:47 +0200 | <Drew[m]1> | The code: https://paste.tomsmeding.com/szkCB4Dj |
| 2021-08-10 16:55:21 +0200 | <shapr> | @quote |
| 2021-08-10 16:55:21 +0200 | <lambdabot> | coedwardk says: <contrapumpkin> like yoda, I speak now <coedwardk> is that word ordering contra-diction? |
| 2021-08-10 16:58:02 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) |
| 2021-08-10 16:58:56 +0200 | doyougnu | (~user@c-73-25-202-122.hsd1.or.comcast.net) (Remote host closed the connection) |
| 2021-08-10 17:00:18 +0200 | yaroot | (~yaroot@6.3.30.125.dy.iij4u.or.jp) (Quit: The Lounge - https://thelounge.chat) |
| 2021-08-10 17:01:08 +0200 | yaroot | (~yaroot@6.3.30.125.dy.iij4u.or.jp) |
| 2021-08-10 17:01:44 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-10 17:03:28 +0200 | <mastarija> | Has anyone used native vim lsp with HLS? |
| 2021-08-10 17:03:33 +0200 | <mastarija> | *nvim |
| 2021-08-10 17:04:24 +0200 | <mastarija> | I've managed to set it up by following the readme, but when ever I push "K" for hower functionality, I get the message "Invalid value for argument cmd: 'man' is not executable" |
| 2021-08-10 17:05:12 +0200 | <maerwald[m]> | yes, but not me |
| 2021-08-10 17:05:30 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 244 seconds) |
| 2021-08-10 17:05:31 +0200 | doyougnu | (~user@c-73-25-202-122.hsd1.or.comcast.net) |
| 2021-08-10 17:05:33 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2021-08-10 17:06:05 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 2021-08-10 17:06:14 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-10 17:09:39 +0200 | mastarija | (~mastarija@78-3-210-70.adsl.net.t-com.hr) (Quit: Leaving) |
| 2021-08-10 17:10:31 +0200 | <merijn> | Sounds like: 1) your system is borked 2) you didn't setup keybinds from whatever docs you're following? |
| 2021-08-10 17:11:14 +0200 | <maerwald[m]> | no man on your system? |
| 2021-08-10 17:11:26 +0200 | Akronymus | (~Akronymus@85.31.8.181) (Quit: Client closed) |
| 2021-08-10 17:15:22 +0200 | rmoe | (~rmoe@c-71-236-207-44.hsd1.wa.comcast.net) (Ping timeout: 240 seconds) |
| 2021-08-10 17:17:03 +0200 | yoctocell | (~user@h87-96-130-155.cust.a3fiber.se) (Read error: Connection reset by peer) |
| 2021-08-10 17:19:37 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:295c:2a1b:92fa:2044) (Quit: WeeChat 2.8) |
| 2021-08-10 17:22:53 +0200 | rmoe | (~rmoe@c-71-236-207-44.hsd1.wa.comcast.net) |
| 2021-08-10 17:23:14 +0200 | justsome1 | (~justsomeg@user/justsomeguy) (Ping timeout: 272 seconds) |
| 2021-08-10 17:23:39 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-08-10 17:24:30 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 272 seconds) |
| 2021-08-10 17:27:24 +0200 | myShoggoth | (~myShoggot@97-120-70-214.ptld.qwest.net) |
| 2021-08-10 17:28:21 +0200 | rostero | (uid236576@id-236576.tooting.irccloud.com) |
| 2021-08-10 17:29:24 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-10 17:29:40 +0200 | favonia | (~favonia@user/favonia) |
| 2021-08-10 17:29:44 +0200 | pgib | (~textual@173.38.117.66) |
| 2021-08-10 17:29:59 +0200 | son0p | (~ff@181.136.122.143) |
| 2021-08-10 17:30:27 +0200 | dajoer | (~david@user/gvx) (Quit: leaving) |
| 2021-08-10 17:31:23 +0200 | rostero | (uid236576@id-236576.tooting.irccloud.com) () |
| 2021-08-10 17:32:51 +0200 | myShoggoth | (~myShoggot@97-120-70-214.ptld.qwest.net) (Remote host closed the connection) |
| 2021-08-10 17:32:58 +0200 | ham2 | ham |
| 2021-08-10 17:32:59 +0200 | ham | (~ham4@d8d8627d5.access.telenet.be) (Changing host) |
| 2021-08-10 17:32:59 +0200 | ham | (~ham4@user/ham) |
| 2021-08-10 17:33:09 +0200 | myShoggoth | (~myShoggot@97-120-70-214.ptld.qwest.net) |
| 2021-08-10 17:33:53 +0200 | chomwitt | (~chomwitt@ppp-2-85-147-24.home.otenet.gr) (Ping timeout: 248 seconds) |
| 2021-08-10 17:36:57 +0200 | hexology- | hexology |
| 2021-08-10 17:37:02 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2021-08-10 17:37:04 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.2) |
| 2021-08-10 17:37:12 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2021-08-10 17:39:09 +0200 | juri_ | (~juri@178.63.35.222) (Ping timeout: 276 seconds) |
| 2021-08-10 17:44:46 +0200 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) |
| 2021-08-10 17:44:52 +0200 | justsome1 | (~justsomeg@user/justsomeguy) |
| 2021-08-10 17:50:11 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-10 17:50:11 +0200 | <gehmehgeh> | hmm, can someone help me clear up the following misunderstanding: why isn't Unboxed.Vector a functor? Or rather: have I misunderstood what "unboxed" means? (could be) |
| 2021-08-10 17:50:22 +0200 | <schuelermine[m]> | some Debian versions have no man afaik, if that's you, try sudo apt install man-db |
| 2021-08-10 17:51:50 +0200 | <glguy> | gehmehgeh: unboxed vectors use a different representation for every element type, that representation has to be known to construct and index those vectors. Functor need to work for *all* element types |
| 2021-08-10 17:52:08 +0200 | <merijn> | gehmehgeh: Functor can't hold *any* possible result value |
| 2021-08-10 17:52:12 +0200 | <glguy> | gehmehgeh: 'map :: (Unbox a, Unbox b) => (a -> b) -> Vector a -> Vector b' |
| 2021-08-10 17:52:21 +0200 | <merijn> | gehmehgeh: unboxed vectors can only hold Unboxable values |
| 2021-08-10 17:52:25 +0200 | <glguy> | but to implement 'fmap' you don't get to rely on those Unbox constraints |
| 2021-08-10 17:52:26 +0200 | <merijn> | So you can't implement fmap |
| 2021-08-10 17:53:04 +0200 | <merijn> | Same reason why you can't make Set a Functor, really |
| 2021-08-10 17:53:55 +0200 | berberman | (~berberman@user/berberman) |
| 2021-08-10 17:55:04 +0200 | berberman_ | (~berberman@user/berberman) (Ping timeout: 256 seconds) |
| 2021-08-10 17:57:49 +0200 | <gehmehgeh> | hmmmm |
| 2021-08-10 17:58:13 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 258 seconds) |
| 2021-08-10 18:00:12 +0200 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-10 18:00:40 +0200 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) |
| 2021-08-10 18:00:58 +0200 | <gehmehgeh> | hmm, so, forgive me if this is obvious, but for the regular ("boxed") Vector type, we've got basically an arrays of pointers to elements of type of the Vector, but an UNboxed.Vector is more like an array in C? |
| 2021-08-10 18:01:07 +0200 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-08-10 18:03:22 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-10 18:04:49 +0200 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) (Ping timeout: 248 seconds) |
| 2021-08-10 18:05:06 +0200 | <gehmehgeh> | ah |
| 2021-08-10 18:07:29 +0200 | rmoe | (~rmoe@c-71-236-207-44.hsd1.wa.comcast.net) (Ping timeout: 248 seconds) |
| 2021-08-10 18:07:34 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2021-08-10 18:07:40 +0200 | jumper149 | (~jumper149@80.240.31.34) (Quit: WeeChat 3.2) |
| 2021-08-10 18:07:43 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-08-10 18:09:10 +0200 | rmoe | (~rmoe@c-71-236-207-44.hsd1.wa.comcast.net) |
| 2021-08-10 18:11:44 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2021-08-10 18:15:22 +0200 | drd | (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 2021-08-10 18:23:37 +0200 | Patternm1ster | (~georg@li1192-118.members.linode.com) (Quit: leaving) |
| 2021-08-10 18:26:25 +0200 | hrdl_ | hrdl |
| 2021-08-10 18:29:11 +0200 | Patternmaster | (~georg@li1192-118.members.linode.com) |
| 2021-08-10 18:32:18 +0200 | zebrag | (~chris@user/zebrag) |
| 2021-08-10 18:35:08 +0200 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) |
| 2021-08-10 18:35:29 +0200 | juri_ | (~juri@178.63.35.222) |
| 2021-08-10 18:36:01 +0200 | econo | (uid147250@user/econo) |
| 2021-08-10 18:39:29 +0200 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) (Ping timeout: 248 seconds) |
| 2021-08-10 18:44:42 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-08-10 18:45:21 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 248 seconds) |
| 2021-08-10 18:45:30 +0200 | chomwitt | (~chomwitt@ppp-2-85-147-24.home.otenet.gr) |
| 2021-08-10 18:47:18 +0200 | Pickchea | (~private@user/pickchea) |
| 2021-08-10 18:49:00 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-08-10 18:49:44 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-10 18:49:52 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-10 18:50:36 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-10 18:54:09 +0200 | simendsjo | (~user@84.211.91.241) |
| 2021-08-10 18:56:23 +0200 | <Cale> | gehmehgeh: Yeah, that's correct. The boxes are pointers to code actually, when the code is entered, it returns the corresponding value on the stack. There's some pointer tagging which uses the low-order bits of the pointer to store the constructor if there are few enough constructors in the type so you don't always have to jump if the element's been evaluated before, but that's basically the deal. |
| 2021-08-10 18:56:30 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-08-10 18:56:54 +0200 | <lechner> | Hi, is this also true for mapM_ with an underscore? "mapM is pretty much obsolete; use traverse instead" (seen on slack) Thanks! |
| 2021-08-10 18:56:59 +0200 | <Cale> | gehmehgeh: The first time an element gets evaluated, you jump into the code and it computes the result, and rewrites the pointer to point at a much shorter piece of code that just returns the value. |
| 2021-08-10 18:57:12 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2021-08-10 18:57:16 +0200 | <Cale> | lechner: I don't even agree with that advice |
| 2021-08-10 18:57:26 +0200 | <lechner> | thank you! |
| 2021-08-10 18:57:31 +0200 | <siraben> | mapM is more intuitive at first |
| 2021-08-10 18:57:40 +0200 | <siraben> | it's like saying map is deprecated use fmap |
| 2021-08-10 18:57:59 +0200 | <maerwald[m]> | I never use map |
| 2021-08-10 18:59:08 +0200 | <Cale> | If I see someone using traverse, it's a signal that Monad isn't a broad enough generalisation and perhaps Applicative is required. If that's not true, it's kind of obnoxious. |
| 2021-08-10 18:59:33 +0200 | xff0x | (~xff0x@2001:1a81:53d2:1c00:f58c:78ee:80de:d293) (Ping timeout: 258 seconds) |
| 2021-08-10 18:59:45 +0200 | <Cale> | It's fine in the case of something like Lens/Traversals where you really want the Applicative abstraction exactly. |
| 2021-08-10 19:00:49 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 2021-08-10 19:01:54 +0200 | y04nn | (~y04nn@91.193.4.154) |
| 2021-08-10 19:02:22 +0200 | <gehmehgeh> | Cale: thanks! |
| 2021-08-10 19:02:32 +0200 | <Athas> | How do I use callCabal2Nix without getting "dumping very large path" errors? That is, how do I prune its understanding of what the source is? |
| 2021-08-10 19:02:39 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-10 19:02:43 +0200 | <Athas> | It's a bit ridiculous I need more than 32GiB RAM to build my program. |
| 2021-08-10 19:03:02 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-10 19:03:06 +0200 | <dminuoso> | Athas: Uh? Can you elaborate a bit on what errors you're getting? |
| 2021-08-10 19:03:17 +0200 | <Cale> | I'm afraid to ask what you're callCabal2Nixing :) |
| 2021-08-10 19:04:13 +0200 | <dminuoso> | Im thinking you have a faulty derivation, something with an incredibly large src |
| 2021-08-10 19:04:32 +0200 | <dminuoso> | So I'd try overriding the derivation |
| 2021-08-10 19:04:37 +0200 | <Cale> | One thing that you can always do is just to run cabal2nix proper, and then you have nix code which you can manipulate by hand. |
| 2021-08-10 19:04:38 +0200 | <Athas> | dminuoso: I have a default.nix with a mostly boring setup that uses 'callCabal2Nix', and when I run 'nix-build', I get the warning (and it takes an enormous amount of memory). |
| 2021-08-10 19:04:51 +0200 | <Athas> | Cale: that is what I used to do, but I don't want to maintain a separate .nix file. |
| 2021-08-10 19:04:52 +0200 | <dminuoso> | What Cale just said. :) |
| 2021-08-10 19:04:53 +0200 | <Cale> | That's still at least a few steps away from being helpful though |
| 2021-08-10 19:05:14 +0200 | <dminuoso> | If you figure out what's wrong, you can then switch back to callCabal2nix and override the generated derivation with override/overrideAttrs |
| 2021-08-10 19:05:20 +0200 | <Cale> | It might be that cabal2nix is generating something pathological in this case somehow? |
| 2021-08-10 19:05:28 +0200 | <Athas> | I am relatively sure my default.nix is not particularly awful: https://github.com/diku-dk/futhark/blob/master/default.nix |
| 2021-08-10 19:05:50 +0200 | justsome1 | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2) |
| 2021-08-10 19:05:56 +0200 | <Athas> | It is almost certainly because I am passing ./. as the source, which contains lots of big stuff (like various cabal and stack directories) and cabal2nix does not prune them. |
| 2021-08-10 19:06:34 +0200 | xff0x | (~xff0x@2001:1a81:53d2:1c00:f58c:78ee:80de:d293) |
| 2021-08-10 19:06:38 +0200 | <dminuoso> | Then you need to cleanSource. |
| 2021-08-10 19:06:48 +0200 | <Athas> | The callCabal2nix derivation looks basically completely undocumented (as is tradition), so I have a hard time figuring out how to do anything with it. |
| 2021-08-10 19:07:01 +0200 | <dminuoso> | Athas: override the src attribute of the derivation and use lib.cleanSource |
| 2021-08-10 19:07:12 +0200 | <dminuoso> | If there's cabal/stack directories, that's the problem |
| 2021-08-10 19:07:13 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 248 seconds) |
| 2021-08-10 19:07:36 +0200 | <Athas> | How do I use lib.cleanSource? My reading of this is that it might be trying to do something in that regard: https://github.com/NixOS/nixpkgs/blob/34f475f5eae13d18b4e4b8a17aa7a772d8619b0b/pkgs/development/ha⌠|
| 2021-08-10 19:08:07 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-08-10 19:08:13 +0200 | <Cale> | I was about to link the very same thing :D |
| 2021-08-10 19:08:27 +0200 | <dminuoso> | Sorry, I meant cleanSourceWith |
| 2021-08-10 19:08:40 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-10 19:09:41 +0200 | <dminuoso> | You override the src attribute with something like: `{ src = lib.cleanSourceWith { filter = p; src = ./.; }; }` where `p` is a suitable predicate that will ignore cabal/stack directories. |
| 2021-08-10 19:10:19 +0200 | <dminuoso> | I wonder whether callCabal2nix wouldn't already do this. |
| 2021-08-10 19:10:56 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-10 19:11:12 +0200 | <Cale> | It's already filtering to only .cabal and package.yaml files. |
| 2021-08-10 19:11:57 +0200 | <dminuoso> | But really, start by looking at what `src` is in the resulting derivation, and then proceed. |
| 2021-08-10 19:12:04 +0200 | <Athas> | dminuoso: I know how to do that when writing derivations by hand (I think), but I have no idea how to slot it into the magic that the callCabal2Nix is doing. |
| 2021-08-10 19:12:05 +0200 | <dminuoso> | That'd be my first suspect |
| 2021-08-10 19:12:20 +0200 | <dminuoso> | Athas: callCabal2nix produces a derivation, that you can override like any other derivation |
| 2021-08-10 19:12:31 +0200 | <dminuoso> | Using override or overrideAttrs |
| 2021-08-10 19:13:03 +0200 | <Athas> | I see. I'll try. |
| 2021-08-10 19:14:07 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-08-10 19:14:55 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-10 19:15:24 +0200 | <Athas> | It looks like it's working. Thanks! I guess I will have to maintain the list of source directories in default.nix manually. It would have been nicer if it was just extracted from the cabal file. |
| 2021-08-10 19:15:58 +0200 | <dminuoso> | Athas: you can also invert the match and just exclude the pathological directories. That could reduce maintenance |
| 2021-08-10 19:16:05 +0200 | <dminuoso> | While not as clean, perhaps |
| 2021-08-10 19:16:18 +0200 | acertain | (sid470584@stonehaven.irccloud.com) (Ping timeout: 240 seconds) |
| 2021-08-10 19:16:25 +0200 | <Athas> | dminuoso: unfortunately, I also have a habit of storing various large development files in the root directory. |
| 2021-08-10 19:16:49 +0200 | <dminuoso> | Im curious why I havent had this type of issue before |
| 2021-08-10 19:17:10 +0200 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 2021-08-10 19:17:30 +0200 | <Athas> | The reason might also be that I have a 'tests' folder that may contain various quite large autogenerated test files. |
| 2021-08-10 19:18:20 +0200 | <dminuoso> | 19:11:13 Cale | It's already filtering to only .cabal and package.yaml files. |
| 2021-08-10 19:18:22 +0200 | <dminuoso> | Mmm |
| 2021-08-10 19:18:49 +0200 | <dminuoso> | Maybe canCleanSource fails? |
| 2021-08-10 19:18:50 +0200 | <Cale> | (and in fact, it's not just any .cabal files, it's only the .cabal file that has the right package name) |
| 2021-08-10 19:19:08 +0200 | oxide | (~lambda@user/oxide) |
| 2021-08-10 19:19:10 +0200 | <dminuoso> | If it fails, no cleanSourceWith is called |
| 2021-08-10 19:19:11 +0200 | <Athas> | Wait, I also spoke too soon. I thought src could be a list, but I guess not. |
| 2021-08-10 19:19:24 +0200 | <dminuoso> | But this is poking at the problem. Look at the generated derivation first. |
| 2021-08-10 19:20:01 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 2021-08-10 19:20:50 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-10 19:21:58 +0200 | <Athas> | The generated derivation contains 'src = ./.', as I would expect. |
| 2021-08-10 19:22:35 +0200 | <dminuoso> | Athas: How does `lib.canCleanSource ./.` evaluate with your used nixpkgs? |
| 2021-08-10 19:22:37 +0200 | SanchayanMaity | (sid478177@id-478177.stonehaven.irccloud.com) (Ping timeout: 245 seconds) |
| 2021-08-10 19:23:33 +0200 | <Athas> | I have no idea how to evaluate that. |
| 2021-08-10 19:24:12 +0200 | <dminuoso> | You can use `nix eval` |
| 2021-08-10 19:24:14 +0200 | acertain | (sid470584@stonehaven.irccloud.com) |
| 2021-08-10 19:24:18 +0200 | astra` | (sid289983@user/amish) (Ping timeout: 240 seconds) |
| 2021-08-10 19:25:08 +0200 | <Athas> | But there is no 'lib' in that environment. I think this has crossed my threshold of Nix experience. |
| 2021-08-10 19:25:19 +0200 | SanchayanMaity | (sid478177@stonehaven.irccloud.com) |
| 2021-08-10 19:25:28 +0200 | xff0x | (~xff0x@2001:1a81:53d2:1c00:f58c:78ee:80de:d293) (Ping timeout: 272 seconds) |
| 2021-08-10 19:25:30 +0200 | jakesyl | (sid56879@id-56879.stonehaven.irccloud.com) (Ping timeout: 240 seconds) |
| 2021-08-10 19:25:46 +0200 | xff0x | (~xff0x@2001:1a81:53d2:1c00:df20:e0ed:5860:3ed0) |
| 2021-08-10 19:26:25 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 2021-08-10 19:27:54 +0200 | pjlsergeant | (sid143467@id-143467.stonehaven.irccloud.com) (Ping timeout: 240 seconds) |
| 2021-08-10 19:28:18 +0200 | rubin55__ | (sid175221@id-175221.stonehaven.irccloud.com) (Ping timeout: 258 seconds) |
| 2021-08-10 19:28:27 +0200 | dmj` | (sid72307@id-72307.stonehaven.irccloud.com) (Ping timeout: 245 seconds) |
| 2021-08-10 19:30:32 +0200 | joel135 | (sid136450@id-136450.stonehaven.irccloud.com) (Ping timeout: 245 seconds) |
| 2021-08-10 19:31:09 +0200 | dmj` | (sid72307@stonehaven.irccloud.com) |
| 2021-08-10 19:31:17 +0200 | rubin55__ | (sid175221@stonehaven.irccloud.com) |
| 2021-08-10 19:32:14 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-10 19:32:23 +0200 | mr-red | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-08-10 19:33:34 +0200 | joel135 | (sid136450@stonehaven.irccloud.com) |
| 2021-08-10 19:34:37 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) |
| 2021-08-10 19:34:38 +0200 | drd | (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 268 seconds) |
| 2021-08-10 19:35:33 +0200 | pjlsergeant | (sid143467@id-143467.stonehaven.irccloud.com) |
| 2021-08-10 19:35:53 +0200 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-08-10 19:36:39 +0200 | fendor | (~fendor@046125250092.public.t-mobile.at) |
| 2021-08-10 19:37:44 +0200 | jakesyl | (sid56879@stonehaven.irccloud.com) |
| 2021-08-10 19:39:51 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2021-08-10 19:41:53 +0200 | astra` | (sid289983@user/amish) |
| 2021-08-10 19:43:12 +0200 | Boomerang | (~Boomerang@xd520f68c.cust.hiper.dk) (Ping timeout: 272 seconds) |
| 2021-08-10 19:47:38 +0200 | mr-red | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 272 seconds) |
| 2021-08-10 19:48:22 +0200 | lechner | (~lechner@debian/lechner) (Quit: WeeChat 3.0) |
| 2021-08-10 19:50:02 +0200 | fendor | (~fendor@046125250092.public.t-mobile.at) (Read error: Connection reset by peer) |
| 2021-08-10 19:50:38 +0200 | euandreh | (~euandreh@2804:14c:33:9fe5:9814:dfa2:8237:3c5c) (Quit: WeeChat 3.2) |
| 2021-08-10 19:51:39 +0200 | lechner | (~lechner@debian/lechner) |
| 2021-08-10 19:52:40 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-10 19:54:32 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-08-10 19:56:51 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-08-10 19:57:26 +0200 | norias | (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-08-10 20:02:11 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-10 20:03:25 +0200 | notzmv | (~zmv@user/notzmv) |
| 2021-08-10 20:07:29 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 2021-08-10 20:09:13 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-08-10 20:10:44 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-10 20:12:19 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-10 20:12:24 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Read error: Connection reset by peer) |
| 2021-08-10 20:15:20 +0200 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.2) |
| 2021-08-10 20:17:11 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-10 20:17:48 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-08-10 20:18:05 +0200 | burnsidesLlama | (~burnsides@client-8-91.eduroam.oxuni.org.uk) |
| 2021-08-10 20:20:20 +0200 | viluon | (uid453725@id-453725.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-08-10 20:21:58 +0200 | y04nn | (~y04nn@91.193.4.154) (Ping timeout: 258 seconds) |
| 2021-08-10 20:22:26 +0200 | <slack1256> | Has someone already written a katip message parser for cli? |
| 2021-08-10 20:24:42 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2021-08-10 20:28:03 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-10 20:33:07 +0200 | Guest7700 | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-10 20:35:08 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2021-08-10 20:35:55 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-10 20:36:47 +0200 | chris | (~chris@81.96.113.213) |
| 2021-08-10 20:36:52 +0200 | chris | Guest9955 |
| 2021-08-10 20:37:39 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-08-10 20:39:15 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 2021-08-10 20:41:15 +0200 | simendsjo | (~user@84.211.91.241) (Ping timeout: 268 seconds) |
| 2021-08-10 20:43:37 +0200 | mikoto-chan | (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) |
| 2021-08-10 20:44:41 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-08-10 20:46:27 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-10 20:49:15 +0200 | qbt | (~edun@user/edun) (Quit: Leaving) |
| 2021-08-10 20:54:52 +0200 | norias | (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Quit: Leaving) |
| 2021-08-10 20:55:49 +0200 | y04nn | (~y04nn@91.193.4.154) |
| 2021-08-10 20:56:33 +0200 | mattil | (~mattilinn@87-92-9-185.bb.dnainternet.fi) (Quit: Leaving) |
| 2021-08-10 20:57:53 +0200 | mikoto-chan | (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) (Quit: mikoto-chan) |
| 2021-08-10 20:57:56 +0200 | jakesyl | (sid56879@stonehaven.irccloud.com) (Ping timeout: 272 seconds) |
| 2021-08-10 20:58:03 +0200 | acertain_ | (sid470584@id-470584.stonehaven.irccloud.com) |
| 2021-08-10 20:58:05 +0200 | dmj`_ | (sid72307@id-72307.stonehaven.irccloud.com) |
| 2021-08-10 20:58:05 +0200 | SanchayanMaity_ | (sid478177@id-478177.stonehaven.irccloud.com) |
| 2021-08-10 20:58:09 +0200 | dmj` | (sid72307@stonehaven.irccloud.com) (Ping timeout: 248 seconds) |
| 2021-08-10 20:58:09 +0200 | dmj`_ | dmj` |
| 2021-08-10 20:58:12 +0200 | rubin55___ | (sid175221@id-175221.stonehaven.irccloud.com) |
| 2021-08-10 20:58:21 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-08-10 20:58:22 +0200 | joel135_ | (sid136450@id-136450.stonehaven.irccloud.com) |
| 2021-08-10 20:58:24 +0200 | jakesyl | (sid56879@id-56879.stonehaven.irccloud.com) |
| 2021-08-10 20:58:30 +0200 | joel135 | (sid136450@stonehaven.irccloud.com) (Ping timeout: 268 seconds) |
| 2021-08-10 20:58:31 +0200 | acertain | (sid470584@stonehaven.irccloud.com) (Ping timeout: 268 seconds) |
| 2021-08-10 20:58:31 +0200 | joel135_ | joel135 |
| 2021-08-10 20:58:31 +0200 | acertain_ | acertain |
| 2021-08-10 20:58:41 +0200 | SanchayanMaity | (sid478177@stonehaven.irccloud.com) (Ping timeout: 248 seconds) |
| 2021-08-10 20:58:41 +0200 | SanchayanMaity_ | SanchayanMaity |
| 2021-08-10 20:59:45 +0200 | rubin55__ | (sid175221@stonehaven.irccloud.com) (Ping timeout: 268 seconds) |
| 2021-08-10 21:02:08 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-10 21:04:05 +0200 | torei | (~torei@134.6.182.130) |
| 2021-08-10 21:07:55 +0200 | falsifia1 | falsifian |
| 2021-08-10 21:09:10 +0200 | Neuromancer | Meowmancer |
| 2021-08-10 21:09:22 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2021-08-10 21:09:35 +0200 | y04nn | (~y04nn@91.193.4.154) (Remote host closed the connection) |
| 2021-08-10 21:09:42 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-10 21:09:47 +0200 | y04nn | (~y04nn@91.193.4.154) |
| 2021-08-10 21:10:16 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-08-10 21:10:16 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-08-10 21:10:36 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-10 21:12:14 +0200 | nvmd | (~nvmd@user/nvmd) |
| 2021-08-10 21:15:48 +0200 | MoC | (~moc@user/moc) |
| 2021-08-10 21:16:30 +0200 | phma | (phma@2001:5b0:211f:8128:db0d:fde3:6e3b:4745) (Read error: Connection reset by peer) |
| 2021-08-10 21:16:41 +0200 | polyphem | (~polyphem@2a02:810d:640:776c:5d1:5727:1484:7756) |
| 2021-08-10 21:17:40 +0200 | Guest9955 | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-10 21:17:52 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-10 21:19:16 +0200 | pavonia | (~user@user/siracusa) |
| 2021-08-10 21:21:02 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 2021-08-10 21:21:15 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-10 21:23:06 +0200 | chris | (~chris@81.96.113.213) |
| 2021-08-10 21:23:08 +0200 | chris | Guest612 |
| 2021-08-10 21:25:27 +0200 | Guest717 | (~Guest71@46.97.169.79) |
| 2021-08-10 21:27:33 +0200 | Guest612 | (~chris@81.96.113.213) (Ping timeout: 258 seconds) |
| 2021-08-10 21:28:34 +0200 | phma | (~phma@host-67-44-208-170.hnremote.net) |
| 2021-08-10 21:29:30 +0200 | jneira_ | (~jneira_@28.red-80-28-169.staticip.rima-tde.net) |
| 2021-08-10 21:30:49 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-10 21:33:53 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 2021-08-10 21:35:06 +0200 | phma | (~phma@host-67-44-208-170.hnremote.net) (Read error: Connection reset by peer) |
| 2021-08-10 21:36:51 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-10 21:39:30 +0200 | wrengr | (~wrengr@56.4.82.34.bc.googleusercontent.com) (Quit: leaving) |
| 2021-08-10 21:39:55 +0200 | wrengr | (~wrengr@56.4.82.34.bc.googleusercontent.com) |
| 2021-08-10 21:40:06 +0200 | Guest85 | (~Guest85@37.120.213.214) |
| 2021-08-10 21:40:39 +0200 | Guest85 | (~Guest85@37.120.213.214) (Client Quit) |
| 2021-08-10 21:41:06 +0200 | n00b | (~n00b@37.120.213.214) |
| 2021-08-10 21:41:33 +0200 | n00b | (~n00b@37.120.213.214) (Client Quit) |
| 2021-08-10 21:42:18 +0200 | t0mmytucker | (~t0mmytuck@37.120.213.214) |
| 2021-08-10 21:42:28 +0200 | <t0mmytucker> | hi |
| 2021-08-10 21:43:22 +0200 | <geekosaur> | hello |
| 2021-08-10 21:44:30 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-10 21:44:33 +0200 | alx741 | (~alx741@181.196.68.21) (Ping timeout: 248 seconds) |
| 2021-08-10 21:46:00 +0200 | curiousgay | (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 268 seconds) |
| 2021-08-10 21:47:18 +0200 | <t0mmytucker> | Can anyone recommend a tutorial or a book for a beginner with no programming experience? I know html, css, js, little bit python (no functions). Ive tried some days with ghc interpreter to build some basic functions. i know the first terminologies and can imagine a little bit how a functional program is working. Im missing some ressources. Thanks |
| 2021-08-10 21:47:19 +0200 | <t0mmytucker> | in advance! |
| 2021-08-10 21:47:20 +0200 | cladur | (~cladur@user-5-173-148-81.play-internet.pl) |
| 2021-08-10 21:48:06 +0200 | phma | (phma@2001:5b0:212a:a0b8:2aef:905b:9871:3b3f) |
| 2021-08-10 21:52:01 +0200 | cladur | (~cladur@user-5-173-148-81.play-internet.pl) (Ping timeout: 248 seconds) |
| 2021-08-10 21:52:01 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2021-08-10 21:53:45 +0200 | <PinealGl1ndOptic> | t0mmytucker: just take a book about ANY PL and do exercises... |
| 2021-08-10 21:54:07 +0200 | <PinealGl1ndOptic> | t0mmytucker: if a PL is too hard to you, switch to another book/PL |
| 2021-08-10 21:56:52 +0200 | phma | (phma@2001:5b0:212a:a0b8:2aef:905b:9871:3b3f) (Read error: Connection reset by peer) |
| 2021-08-10 21:58:09 +0200 | alx741 | (~alx741@181.196.68.193) |
| 2021-08-10 22:00:23 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-10 22:00:52 +0200 | _73 | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2021-08-10 22:01:02 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-10 22:02:17 +0200 | t0mmytucker | (~t0mmytuck@37.120.213.214) (Quit: Client closed) |
| 2021-08-10 22:05:21 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2021-08-10 22:05:28 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-08-10 22:05:44 +0200 | juhp | (~juhp@128.106.188.220) (Ping timeout: 268 seconds) |
| 2021-08-10 22:06:51 +0200 | juhp | (~juhp@128.106.188.220) |
| 2021-08-10 22:08:28 +0200 | burnsidesLlama | (~burnsides@client-8-91.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2021-08-10 22:09:00 +0200 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) |
| 2021-08-10 22:09:25 +0200 | enoq | (~enoq@194-208-179-35.lampert.tv) (Quit: enoq) |
| 2021-08-10 22:10:00 +0200 | emliunix | (~emliunix@103.138.75.119) (Remote host closed the connection) |
| 2021-08-10 22:10:02 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 268 seconds) |
| 2021-08-10 22:10:18 +0200 | MQ-17J | (~MQ-17J@2607:fb90:88ea:7cc1:9d82:e229:44e6:1bb6) |
| 2021-08-10 22:10:20 +0200 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-10 22:10:22 +0200 | emliunix | (~emliunix@2a09:bac0:23::815:bca) |
| 2021-08-10 22:10:39 +0200 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-08-10 22:10:56 +0200 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) |
| 2021-08-10 22:12:50 +0200 | drd | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-08-10 22:13:25 +0200 | <Athas> | Is there a way to pass an arbitrary string to 'cabal configure' that I can then access from within my Haskell code? |
| 2021-08-10 22:13:47 +0200 | <Athas> | I'm looking for basically a parameterised flag, I suppose. |
| 2021-08-10 22:15:10 +0200 | phma | (~phma@2001:0:c38c:c38c:28bb:48fc:bcd3:2f7c) |
| 2021-08-10 22:15:36 +0200 | burnsidesLlama | (~burnsides@dhcp168-020.wadham.ox.ac.uk) (Ping timeout: 268 seconds) |
| 2021-08-10 22:16:41 +0200 | <Cajun> | you can push something to stdin with a pipe like `echo "this will be in stdin" | cabal run` |
| 2021-08-10 22:17:04 +0200 | <Athas> | I need this at compile-time. |
| 2021-08-10 22:17:49 +0200 | <Cajun> | does this help at all? https://stackoverflow.com/questions/31821952/flags-in-cabal-files |
| 2021-08-10 22:18:10 +0200 | <sclv> | Athas: i don't think so, but there may be some almost-as-good solution given a specific use case |
| 2021-08-10 22:18:16 +0200 | <sclv> | if you want to provide the use case |
| 2021-08-10 22:18:20 +0200 | <Athas> | Boolean flags are not enough. |
| 2021-08-10 22:18:32 +0200 | mousey | (~skymouse@gateway/tor-sasl/mousey) |
| 2021-08-10 22:18:51 +0200 | <sclv> | ok but what is the use case |
| 2021-08-10 22:19:17 +0200 | <sclv> | (one hacky workaround would be to pass specific command line args for cpp like so https://gcc.gnu.org/onlinedocs/cpp/Invocation.html and then use the defines in your code) |
| 2021-08-10 22:19:27 +0200 | <Athas> | My use case is that I want to embed Git revision information. I use TH to read .git if it's present, but the Nix Haskell infrastructure removes .git. I suppose I can wrangle it into preserving .git somehow, but I wanted to check if I could just pass an arbitrary string to 'cabal configure' from within my Nix file. |
| 2021-08-10 22:20:11 +0200 | <sclv> | if you're already in nix, the simplest thing is to have it generate a haskell module for you with the appropriate rev info |
| 2021-08-10 22:21:42 +0200 | drd | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-08-10 22:22:18 +0200 | Atum_ | (~IRC@user/atum/x-2392232) |
| 2021-08-10 22:22:34 +0200 | Guest717 | (~Guest71@46.97.169.79) (Ping timeout: 246 seconds) |
| 2021-08-10 22:22:43 +0200 | <Athas> | Maybe. I hope just adding .git to the list of source directories might also work, but who knows if some other layer in this babelesque tower of complexity will filter it out again... |
| 2021-08-10 22:25:13 +0200 | <Athas> | No! It'll work! Great. |
| 2021-08-10 22:26:47 +0200 | phma | (~phma@2001:0:c38c:c38c:28bb:48fc:bcd3:2f7c) (Ping timeout: 245 seconds) |
| 2021-08-10 22:26:52 +0200 | phma_ | (phma@2001:5b0:211f:aa18:2160:1c27:b242:2759) |
| 2021-08-10 22:28:26 +0200 | chris | (~chris@81.96.113.213) |
| 2021-08-10 22:28:29 +0200 | chris | Guest3205 |
| 2021-08-10 22:29:27 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-10 22:31:25 +0200 | skykanin | (~skykanin@115.81-166-221.customer.lyse.net) |
| 2021-08-10 22:31:25 +0200 | <janus> | what was the example of malicious Read usage parsing a simple type but never rejecting it even though the input is giant? (a DoS, i think?) |
| 2021-08-10 22:31:47 +0200 | oxide | (~lambda@user/oxide) (Quit: oxide) |
| 2021-08-10 22:32:02 +0200 | <janus> | i think it was because Read does tokenization for all input? |
| 2021-08-10 22:32:08 +0200 | tommd | (~tommd@cpe-76-179-204-251.maine.res.rr.com) |
| 2021-08-10 22:34:04 +0200 | skykanin | (~skykanin@115.81-166-221.customer.lyse.net) (Client Quit) |
| 2021-08-10 22:34:14 +0200 | skykanin | (~skykanin@115.81-166-221.customer.lyse.net) |
| 2021-08-10 22:35:19 +0200 | Guest3205 | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-10 22:36:38 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2021-08-10 22:36:45 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-10 22:38:44 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-08-10 22:39:18 +0200 | chris | (~chris@81.96.113.213) |
| 2021-08-10 22:39:23 +0200 | chris | Guest9632 |
| 2021-08-10 22:39:23 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2021-08-10 22:43:04 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 272 seconds) |
| 2021-08-10 22:43:43 +0200 | acidjnk_new | (~acidjnk@p200300d0c72b9574c56a490b8c03a837.dip0.t-ipconnect.de) |
| 2021-08-10 22:44:10 +0200 | phma_ | (phma@2001:5b0:211f:aa18:2160:1c27:b242:2759) (Read error: Connection reset by peer) |
| 2021-08-10 22:49:13 +0200 | phma_ | (phma@2001:5b0:211f:5fe8:78b1:ef72:430f:1b2b) |
| 2021-08-10 22:51:41 +0200 | fresheyeball | (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 2021-08-10 22:52:11 +0200 | mousey | (~skymouse@gateway/tor-sasl/mousey) (Ping timeout: 244 seconds) |
| 2021-08-10 22:52:53 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2021-08-10 22:54:42 +0200 | MQ-17J | (~MQ-17J@2607:fb90:88ea:7cc1:9d82:e229:44e6:1bb6) (Read error: Connection reset by peer) |
| 2021-08-10 22:55:09 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-10 22:55:21 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-08-10 22:56:55 +0200 | mnrmnaugh | KeziahMason |
| 2021-08-10 22:59:07 +0200 | KeziahMason | mnrmnaugh |
| 2021-08-10 22:59:13 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2021-08-10 22:59:31 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2021-08-10 23:02:23 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-10 23:06:41 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2021-08-10 23:07:18 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-10 23:11:06 +0200 | tommd | (~tommd@cpe-76-179-204-251.maine.res.rr.com) (Ping timeout: 268 seconds) |
| 2021-08-10 23:11:41 +0200 | <tapas> | https://discourse.haskell.org/t/state-of-the-core-libraries-committee/2868 |
| 2021-08-10 23:12:39 +0200 | ubert | (~Thunderbi@91.141.46.44.wireless.dyn.drei.com) |
| 2021-08-10 23:13:20 +0200 | y04nn | (~y04nn@91.193.4.154) (Remote host closed the connection) |
| 2021-08-10 23:15:48 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 256 seconds) |
| 2021-08-10 23:15:57 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-10 23:17:04 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2021-08-10 23:17:11 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-08-10 23:22:24 +0200 | slac54596 | (~slack1256@191.125.227.82) |
| 2021-08-10 23:22:54 +0200 | dmwit_ | (~dmwit@pool-108-18-198-142.washdc.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2021-08-10 23:23:18 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2021-08-10 23:24:39 +0200 | slack1256 | (~slack1256@181.203.126.41) (Ping timeout: 268 seconds) |
| 2021-08-10 23:27:49 +0200 | torei | (~torei@134.6.182.130) (Quit: Leaving) |
| 2021-08-10 23:31:22 +0200 | deejaytee | (~deejaytee@cpc91196-cmbg18-2-0-cust215.5-4.cable.virginm.net) |
| 2021-08-10 23:32:02 +0200 | doyougnu | (~user@c-73-25-202-122.hsd1.or.comcast.net) (Remote host closed the connection) |
| 2021-08-10 23:32:02 +0200 | slack1256 | (~slack1256@181.203.126.41) |
| 2021-08-10 23:32:42 +0200 | xcmw | (~textual@2603-6011-2200-f103-402c-0cc9-e9a3-e4f0.res6.spectrum.com) |
| 2021-08-10 23:33:46 +0200 | mastarija | (~mastarija@78-3-210-70.adsl.net.t-com.hr) |
| 2021-08-10 23:34:31 +0200 | slac54596 | (~slack1256@191.125.227.82) (Ping timeout: 268 seconds) |
| 2021-08-10 23:34:49 +0200 | mastarija | (~mastarija@78-3-210-70.adsl.net.t-com.hr) (Read error: Connection reset by peer) |
| 2021-08-10 23:35:57 +0200 | oso | (~oso@2601:58c:c080:a950:f275:2530:b398:680b) |
| 2021-08-10 23:36:04 +0200 | bin_ | (~bin@user/bin/x-1583188) (Quit: ZNC - https://znc.in) |
| 2021-08-10 23:36:23 +0200 | _bin | (~bin@user/bin/x-1583188) |
| 2021-08-10 23:37:02 +0200 | biberu | (~biberu@user/biberu) |
| 2021-08-10 23:38:51 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
| 2021-08-10 23:39:34 +0200 | Cajun | (~Cajun@user/cajun) (Quit: Client closed) |
| 2021-08-10 23:39:36 +0200 | polyphem | (~polyphem@2a02:810d:640:776c:5d1:5727:1484:7756) (Remote host closed the connection) |
| 2021-08-10 23:43:49 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-08-10 23:47:30 +0200 | <janus> | davean: oh, did you see what tapas posted? it's related to the CLC |
| 2021-08-10 23:54:27 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-08-10 23:54:27 +0200 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2021-08-10 23:54:30 +0200 | allbery_b | geekosaur |
| 2021-08-10 23:55:03 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-08-10 23:55:51 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |