| 2021-12-25 00:01:57 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-12-25 00:01:59 +0000 | Alex_test_ | (~al_test@178.34.160.99) |
| 2021-12-25 00:02:00 +0000 | AlexZenon_2 | (~alzenon@178.34.160.99) |
| 2021-12-25 00:02:37 +0000 | dan-so | (~danso@2001:1970:52e7:d000:96b8:6dff:feb3:c009) (Ping timeout: 240 seconds) |
| 2021-12-25 00:03:32 +0000 | farn | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (Ping timeout: 240 seconds) |
| 2021-12-25 00:03:37 +0000 | AlexZenon | (~alzenon@178.34.160.99) (Ping timeout: 256 seconds) |
| 2021-12-25 00:03:37 +0000 | Alex_test | (~al_test@178.34.160.99) (Ping timeout: 256 seconds) |
| 2021-12-25 00:04:02 +0000 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) (Ping timeout: 240 seconds) |
| 2021-12-25 00:04:06 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2021-12-25 00:04:27 +0000 | farn | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) |
| 2021-12-25 00:04:31 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-12-25 00:05:03 +0000 | dan-so | (~danso@2001:1970:52e7:d000:96b8:6dff:feb3:c009) |
| 2021-12-25 00:06:43 +0000 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-12-25 00:08:04 +0000 | max22- | (~maxime@2a01cb0883359800d70950f17875b6a2.ipv6.abo.wanadoo.fr) (Quit: Leaving) |
| 2021-12-25 00:10:08 +0000 | rlj | (~rlj@62.119.244.114) |
| 2021-12-25 00:12:39 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-12-25 00:12:39 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-12-25 00:12:39 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2021-12-25 00:18:25 +0000 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) (Ping timeout: 268 seconds) |
| 2021-12-25 00:19:38 +0000 | dan-so | (~danso@2001:1970:52e7:d000:96b8:6dff:feb3:c009) (Ping timeout: 268 seconds) |
| 2021-12-25 00:22:27 +0000 | zer0bitz | (~zer0bitz@dsl-hkibng32-54f844-160.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-12-25 00:26:18 +0000 | jgeerds | (~jgeerds@55d4ac73.access.ecotel.net) |
| 2021-12-25 00:26:25 +0000 | lechner | (~lechner@debian/lechner) (Ping timeout: 268 seconds) |
| 2021-12-25 00:31:35 +0000 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-12-25 00:32:59 +0000 | KvL | (~KvL@195.216.219.76) (Quit: KvL) |
| 2021-12-25 00:33:19 +0000 | KvL | (~KvL@195.216.219.76) |
| 2021-12-25 00:33:56 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-12-25 00:34:13 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2021-12-25 00:38:35 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2021-12-25 00:39:37 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2021-12-25 00:42:52 +0000 | <[itchyjunk]> | What are the pre-req to understand this thing called "y-combinator" ? |
| 2021-12-25 00:43:08 +0000 | <[itchyjunk]> | something something anynomous function, recursion, higher order function but i don't get it. |
| 2021-12-25 00:43:48 +0000 | <geekosaur> | the usual formulation of the Y combinator requires an understanding of the untyped lambda calculus |
| 2021-12-25 00:44:56 +0000 | <geekosaur> | "\x -> x x" takes a function (we know it's a function because it's applied in the body) and applies it to itself |
| 2021-12-25 00:45:00 +0000 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) |
| 2021-12-25 00:45:59 +0000 | <[itchyjunk]> | woha, applies it to itself, what a crazy concept.. |
| 2021-12-25 00:46:20 +0000 | <[itchyjunk]> | I need to look into this lambda calculus stuff, its been getting in the way a lot more these days. |
| 2021-12-25 00:46:44 +0000 | Everything | (~Everythin@37.115.210.35) (Quit: leaving) |
| 2021-12-25 00:47:33 +0000 | <geekosaur> | quite a bit of Haskell will make more sense with an understanding of lambda calculus, because in many ways Haskell is about as close as you can get to programming directly with lambda calculus |
| 2021-12-25 00:48:14 +0000 | <geekosaur> | mostly because of Haskell's laziness, which means it's evaluated by reduction of terms the same way lambda calculi are |
| 2021-12-25 00:48:21 +0000 | <[itchyjunk]> | What are the prereq for learning lambda calc? |
| 2021-12-25 00:49:34 +0000 | <geekosaur> | not much, actually. the untyped lambda calculus in particular is fairly simple, you jsut need to learn the rules for expanding and reducing terms. and of course the syntax, which may be the hardest part to get used to |
| 2021-12-25 00:49:37 +0000 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) (Ping timeout: 240 seconds) |
| 2021-12-25 00:50:20 +0000 | <geekosaur> | but expanding and reducing terms is actually fairly mechanical |
| 2021-12-25 00:50:20 +0000 | rlj | (~rlj@62.119.244.114) (Quit: Client closed) |
| 2021-12-25 00:50:37 +0000 | <[itchyjunk]> | ah i see |
| 2021-12-25 00:51:14 +0000 | <geekosaur> | other types of lambda calculus add more to that, but they're relatively small steps upward after you have the untyped lambda calculus |
| 2021-12-25 00:52:12 +0000 | <[itchyjunk]> | I've heard of this concept. i was reading a little bit of godel, escher, bach and they talk about formal systems and axioms and how you build theorems out of it |
| 2021-12-25 00:52:36 +0000 | <geekosaur> | it's when you start applyingt those rules to \x -> x x that you start to realize what all the yelling is about :) |
| 2021-12-25 00:52:52 +0000 | lechner | (~lechner@debian/lechner) |
| 2021-12-25 00:53:36 +0000 | <geekosaur> | yeh, I was just trying to remember if GEB presented much of lambda calculus at all. I don't think it did though |
| 2021-12-25 00:54:09 +0000 | <geekosaur> | not directly relevant to demonstrating Gödel's theorem |
| 2021-12-25 00:54:17 +0000 | <[itchyjunk]> | ahh |
| 2021-12-25 00:54:24 +0000 | <geekosaur> | it'd just be another thing to demonstrate encoding of |
| 2021-12-25 00:56:58 +0000 | <geekosaur> | well, no. you could I think demonstrate the Incompleteness Theorem with lambda calculus, but the original was demonstrated on number theory as described by _Principia Mathematica_ so (a subset of) that was what Hofstadter stuck to |
| 2021-12-25 00:57:20 +0000 | <geekosaur> | LC and number theory are fairly different things though |
| 2021-12-25 00:59:08 +0000 | <geekosaur> | (although I am vaguely recalling that there is an approach to set theory based on lambda calculus, which would lead to number theory eventually) |
| 2021-12-25 01:01:32 +0000 | acidjnk | (~acidjnk@p200300d0c7271e974de60a217c79c2cb.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2021-12-25 01:03:37 +0000 | n3rdy1 | (~n3rdy1@2601:281:c780:a510:c82b:6078:8c93:1082) (Ping timeout: 240 seconds) |
| 2021-12-25 01:06:31 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-52.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-12-25 01:06:51 +0000 | kaph_ | (~kaph@net-2-45-51-147.cust.vodafonedsl.it) |
| 2021-12-25 01:09:17 +0000 | kaph | (~kaph@net-2-45-51-147.cust.vodafonedsl.it) (Ping timeout: 240 seconds) |
| 2021-12-25 01:11:25 +0000 | jgeerds | (~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 240 seconds) |
| 2021-12-25 01:14:26 +0000 | x88x88x | (~x88x88x@2001:19f0:5:39a8:5400:3ff:feb6:73cb) |
| 2021-12-25 01:17:28 +0000 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-12-25 01:17:44 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 01:17:45 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 01:19:12 +0000 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) |
| 2021-12-25 01:19:45 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 01:19:46 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 01:21:30 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 01:21:30 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 01:24:10 +0000 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) (Ping timeout: 260 seconds) |
| 2021-12-25 01:24:17 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 01:24:18 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 01:24:43 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 01:24:44 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 01:28:41 +0000 | Techcable | (~Techcable@168.235.93.147) (Quit: ZNC - https://znc.in) |
| 2021-12-25 01:28:59 +0000 | Alleria | (~textual@user/alleria) |
| 2021-12-25 01:29:30 +0000 | KvL | (~KvL@195.216.219.76) (Quit: KvL) |
| 2021-12-25 01:30:35 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 01:30:36 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 01:31:19 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 01:31:19 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 01:31:58 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 01:31:59 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 01:32:49 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 01:32:50 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 01:34:27 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) (Remote host closed the connection) |
| 2021-12-25 01:34:50 +0000 | Techcable | (~Techcable@168.235.93.147) |
| 2021-12-25 01:35:53 +0000 | dan-so | (~danso@2001:1970:52e7:d000:96b8:6dff:feb3:c009) |
| 2021-12-25 01:36:16 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) |
| 2021-12-25 01:38:03 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 01:38:04 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 01:38:33 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 01:38:34 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 01:40:03 +0000 | <otherwise> | > head [3,2,1]:head (tail [3,2,1]):[head (tail (tail [3,2,1]) )] |
| 2021-12-25 01:40:04 +0000 | <lambdabot> | [3,2,1] |
| 2021-12-25 01:40:20 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 01:40:21 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 01:41:05 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 01:41:06 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 01:41:32 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 01:41:32 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 01:42:14 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 01:42:15 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 01:42:37 +0000 | BrokenClutch | (~pioneer@2804:d41:c2a7:d800:e627:b00b:2c62:134) |
| 2021-12-25 01:43:48 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 01:43:48 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 01:43:51 +0000 | <BrokenClutch> | First, merry Christmas. Second, Is common to feel unable to understand reactive-banana? Am I too dumb? |
| 2021-12-25 01:44:14 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 01:44:15 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 01:46:59 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 01:47:00 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 01:47:26 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 01:47:27 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 01:47:52 +0000 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) |
| 2021-12-25 01:48:59 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 01:49:00 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 01:49:29 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 01:49:30 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 01:49:44 +0000 | <dsal> | BrokenClutch: I've had no issues understanding reactive banana. |
| 2021-12-25 01:49:46 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 01:49:46 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 01:49:49 +0000 | dsal | doesn't know what reactive banana is |
| 2021-12-25 01:51:07 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 01:51:18 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 01:51:54 +0000 | <BrokenClutch> | dsal: How? |
| 2021-12-25 01:52:15 +0000 | <dsal> | ? |
| 2021-12-25 01:52:25 +0000 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2021-12-25 01:52:28 +0000 | <BrokenClutch> | dsal: I'm like, crying rn (not really). How to understand it? |
| 2021-12-25 01:52:35 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 01:52:35 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 01:52:54 +0000 | <dsal> | I've never seen it. What is it? Why is it important to you? |
| 2021-12-25 01:53:09 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 01:53:10 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 01:53:22 +0000 | <BrokenClutch> | dsal: FRP |
| 2021-12-25 01:53:46 +0000 | <BrokenClutch> | dsal: Looks cool, I can do text adventures, lots of things |
| 2021-12-25 01:54:10 +0000 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) |
| 2021-12-25 01:54:28 +0000 | <dsal> | Oh. What kind of problem are you having? |
| 2021-12-25 01:55:45 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 01:55:46 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 01:56:03 +0000 | <BrokenClutch> | dsal: I don't get it. Is it possible to define monad/applicative operations that register something as a callback? |
| 2021-12-25 01:56:17 +0000 | <BrokenClutch> | Like, as a side-effect |
| 2021-12-25 01:56:19 +0000 | <[itchyjunk]> | Never heard of "reactive programming" before |
| 2021-12-25 01:56:39 +0000 | <BrokenClutch> | [itchyjunk]: it's cool |
| 2021-12-25 01:57:56 +0000 | <dsal> | BrokenClutch: Well, sure. That's basically what things like modify do. |
| 2021-12-25 01:57:57 +0000 | <dsal> | :t modify |
| 2021-12-25 01:57:58 +0000 | <lambdabot> | MonadState s m => (s -> s) -> m () |
| 2021-12-25 01:58:22 +0000 | <EvanR> | reactive banana probably has it's own way to do such things |
| 2021-12-25 01:58:50 +0000 | <BrokenClutch> | Is it viable to do FRP without those libs? |
| 2021-12-25 01:58:51 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-25 01:59:33 +0000 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) (Ping timeout: 268 seconds) |
| 2021-12-25 01:59:52 +0000 | <EvanR> | maybe there is a reactive banana tutorial or guide laying around? |
| 2021-12-25 02:00:01 +0000 | <EvanR> | crash course |
| 2021-12-25 02:00:52 +0000 | <BrokenClutch> | There is, but I found the lib to be very "not intuitive" |
| 2021-12-25 02:00:56 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 02:00:57 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 02:01:14 +0000 | <dsal> | That's often a good thing. |
| 2021-12-25 02:01:29 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 02:01:30 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 02:01:44 +0000 | <dsal> | Have you got a good intuition for the stuff it's built on yet? |
| 2021-12-25 02:01:46 +0000 | <BrokenClutch> | dsal: At least this makes it a good challenge |
| 2021-12-25 02:01:47 +0000 | <EvanR> | on the bright side, your experience is the first step to being one of those people with any experience at all with FRP |
| 2021-12-25 02:02:25 +0000 | <EvanR> | so one day you can provide some insight on the lib xD |
| 2021-12-25 02:02:38 +0000 | <dsal> | "not intuitive" often means you're having to learn things. If everything fit into what you already know, you'd be limited to only doing things you already know. |
| 2021-12-25 02:02:39 +0000 | <BrokenClutch> | EvanR: Isn't FRP popular? |
| 2021-12-25 02:03:00 +0000 | <BrokenClutch> | dsal: That's why I'm studying haskell, I agree with you |
| 2021-12-25 02:03:03 +0000 | <dsal> | "popular" is a weird metric . Popular with whom, for what? |
| 2021-12-25 02:03:24 +0000 | <EvanR> | it was blogosphere buzzwordy for a few years |
| 2021-12-25 02:03:26 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 02:03:27 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 02:03:50 +0000 | <EvanR> | conal's formulation from earlier never really caught on |
| 2021-12-25 02:03:53 +0000 | <BrokenClutch> | dsal: Don't know |
| 2021-12-25 02:04:02 +0000 | <BrokenClutch> | EvanR: I can see why |
| 2021-12-25 02:04:27 +0000 | <BrokenClutch> | Those stuff that i want to do are more easily done with imperative languages, but they ain't fun |
| 2021-12-25 02:04:32 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 02:04:33 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 02:04:53 +0000 | <EvanR> | there are some beautiful ideas behind FRP out there, maybe it's the thought that counts xD |
| 2021-12-25 02:04:53 +0000 | <dsal> | You being able to do them more easily with imperative languages doesn't mean they're more easily done with imperative languages. |
| 2021-12-25 02:05:49 +0000 | <EvanR> | BrokenClutch, what exactly are you trying to achieve |
| 2021-12-25 02:05:57 +0000 | <BrokenClutch> | EvanR: fun |
| 2021-12-25 02:06:09 +0000 | <EvanR> | "exactly" |
| 2021-12-25 02:06:28 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 02:06:28 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 02:06:29 +0000 | <dsal> | I do something similar with my mqtt broker. The reference implementations were too buggy, so I threw one together real quick. It just… works. Handling concurrent data structure access with lots of weird mutation paths is trivial in Haskell. Reference implementation continues to be incomplete and buggy. Mine continues to just be a boring project that works. |
| 2021-12-25 02:06:35 +0000 | neceve | (~quassel@2.26.93.228) (Ping timeout: 256 seconds) |
| 2021-12-25 02:06:37 +0000 | <BrokenClutch> | I want to make some cute stuff, like some little gaming things |
| 2021-12-25 02:06:59 +0000 | <EvanR> | you're in good company |
| 2021-12-25 02:07:07 +0000 | <EvanR> | check out #haskell-game if you get a chance |
| 2021-12-25 02:07:23 +0000 | <BrokenClutch> | EvanR: I will |
| 2021-12-25 02:08:03 +0000 | <BrokenClutch> | dsal: Didn't understood a word, but i got the spirit |
| 2021-12-25 02:08:20 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: closed) |
| 2021-12-25 02:08:28 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 02:08:30 +0000 | <dsal> | Managing state in haskell is so much easier than managing state in any other language, IME. |
| 2021-12-25 02:08:43 +0000 | <dsal> | parallelism is ~0 effort. Concurrency is composable. |
| 2021-12-25 02:08:55 +0000 | <EvanR> | I'll add YMMV to that xD |
| 2021-12-25 02:09:44 +0000 | <EvanR> | if someone just asks you to manage some state and absolutely nothing else, I can see how it would be easy |
| 2021-12-25 02:10:27 +0000 | <dsal> | Well, sure. I've done pretty high volume concurrency code in java, C++, C, go, and a few other languages. Haskell is the one that's been the easiest. |
| 2021-12-25 02:10:33 +0000 | <BrokenClutch> | I just started to use haskell because lambdas are fun, managing states with haskell isn't easy to me, but it's more readable. |
| 2021-12-25 02:10:39 +0000 | <dsal> | (not counting stuff like javascript and python, but I've done a few of those as well) |
| 2021-12-25 02:11:20 +0000 | <BrokenClutch> | dsal: Did you tried with rust or erlang? |
| 2021-12-25 02:12:24 +0000 | <dsal> | Oh yeah, I've built a company around an erlang core as well. |
| 2021-12-25 02:12:28 +0000 | <dsal> | erlang is also pretty good at this. |
| 2021-12-25 02:12:58 +0000 | <dsal> | I've not used rust. It's not much a fit for most things I do. But I hear there are some pretty sharp edges. |
| 2021-12-25 02:13:08 +0000 | <EvanR> | after enough haskellisms, you might begin to think differently about "managing state" or even what "state" is |
| 2021-12-25 02:13:36 +0000 | <dsal> | If you don't use StateT, your code is stateless. |
| 2021-12-25 02:13:52 +0000 | <EvanR> | sometimes you can accomplish something and not realize what happened to the state you thought you needed |
| 2021-12-25 02:14:00 +0000 | <BrokenClutch> | EvanR: I like it because I can think linearly, without being afraid that something will get crazy |
| 2021-12-25 02:14:15 +0000 | <dsal> | Like which? |
| 2021-12-25 02:14:22 +0000 | <EvanR> | you mean like modifying a bunch of variables with a line by line imperative program? |
| 2021-12-25 02:14:32 +0000 | <EvanR> | that sounds crazy to me, if it gets beyond a single-page algorithm |
| 2021-12-25 02:14:34 +0000 | <dsal> | That's horrifying. |
| 2021-12-25 02:15:02 +0000 | <dsal> | I like looking at a type signature and having some idea what might happen… though a lot of people argue you should do everything in IO for some reason. |
| 2021-12-25 02:15:14 +0000 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-12-25 02:15:16 +0000 | <BrokenClutch> | When i write Scheme i really avoid "set!", most people do this to avoid those crazy stuff |
| 2021-12-25 02:15:41 +0000 | <EvanR> | so you could be construing "state" with mutable variables |
| 2021-12-25 02:15:54 +0000 | <dsal> | When I write a function in Haskell, I know it doesn't do any weird stuff that affects the rest of my program. :) |
| 2021-12-25 02:16:12 +0000 | <dsal> | But I still have State, ST, STM, and whatever else I need. |
| 2021-12-25 02:16:38 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) (Remote host closed the connection) |
| 2021-12-25 02:16:47 +0000 | <dsal> | STM basically doesn't outside of Haskell, at least not with sanity. Various libraries "do" STM in different languages as long as you're really super careful. |
| 2021-12-25 02:17:20 +0000 | <dsal> | STM in haskell doesn't require all that much care. Most dumb things won't compile. You can still write bugs, but the language allows you to build a library that is hard to use incorrectly. |
| 2021-12-25 02:18:04 +0000 | <EvanR> | this library is so hard to use! incorrectly! |
| 2021-12-25 02:18:21 +0000 | <BrokenClutch> | dsal: This helps me a lot. I'm not a smart cookie, haskell helps me to be sure that I'm not doing something strange |
| 2021-12-25 02:18:33 +0000 | <BrokenClutch> | EvanR: using incorrectly is half of the fun |
| 2021-12-25 02:18:33 +0000 | <dsal> | Yes, I use Haskell because I'm dumb. |
| 2021-12-25 02:19:15 +0000 | <dsal> | The major fancy language features that are fancy and unique to go are easy to write as a library in Haskell, but unlike in go, you can also compose them. |
| 2021-12-25 02:19:16 +0000 | <EvanR> | I need haskell because I'm dumb, I can use haskell because I'm smart? xD |
| 2021-12-25 02:19:50 +0000 | <dsal> | go channels have a really narrow composition mechanism. In practice, you do not make channels part of your API, even though doing so *might* make it possible to do some basic composition. |
| 2021-12-25 02:20:02 +0000 | <BrokenClutch> | the source code of reactive-banana isn't too big, should i read it? I'm pretty new with haskell, but I think i can get it. |
| 2021-12-25 02:20:29 +0000 | <dsal> | In STM, you *should* expose STM operations in your API (where it makes sense at least), but they compose easily in all kinds of fancy ways. |
| 2021-12-25 02:20:35 +0000 | <EvanR> | sure read the source |
| 2021-12-25 02:21:30 +0000 | <dsal> | BrokenClutch: If you're not to Haskell, you're not doing yourself any favors by dropping yourself naked in the middle of a small village where you don't speak the language and try to work out how to write a book from what you think people are yelling at you. |
| 2021-12-25 02:21:50 +0000 | <dsal> | er, s/not to/new to/ |
| 2021-12-25 02:22:58 +0000 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2021-12-25 02:23:02 +0000 | <dsal> | It's far easier to learn by knowing the fundamentals and then learning new abstractions as your needs grow in their direction. Starting from weird high level abstractions built on top of layers and layers of foundational bits will always be disorienting. |
| 2021-12-25 02:23:55 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 02:23:56 +0000 | <BrokenClutch> | dsal: Why naked? |
| 2021-12-25 02:23:56 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 02:24:15 +0000 | <EvanR> | this metaphor is NSFW |
| 2021-12-25 02:24:36 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 02:24:36 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 02:27:14 +0000 | <BrokenClutch> | The books can be too boring. I actually like to read those kind of books, but for haskell they are too slow. I would like a book like the math ones I read, more dense and direct |
| 2021-12-25 02:27:43 +0000 | <BrokenClutch> | If i was naked I would write one |
| 2021-12-25 02:27:50 +0000 | Jing | (~hedgehog@2604:a840:3::1061) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-12-25 02:27:55 +0000 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) |
| 2021-12-25 02:28:21 +0000 | <EvanR> | just don't fall into the monad tutorial fallacy |
| 2021-12-25 02:28:44 +0000 | <dsal> | I've never seen a monad tutorial that helped me understand anything. |
| 2021-12-25 02:29:35 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 02:29:36 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 02:29:38 +0000 | <dsal> | The reason monads are hard to explain to people is because they have no context whatsoever to talk about things. If you try to explain what they need to know to understand things, they complain about it being too complicated. If you walk them there without that being the actual goal, it's pretty easy to arrive. |
| 2021-12-25 02:29:40 +0000 | <BrokenClutch> | I've just used LSP on emacs to see what was going on |
| 2021-12-25 02:30:46 +0000 | <BrokenClutch> | I see like a sequence of computations inside a context |
| 2021-12-25 02:32:20 +0000 | <EvanR> | ghci has a debugger that can show you the state of a computation |
| 2021-12-25 02:32:26 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-12-25 02:32:37 +0000 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) (Ping timeout: 240 seconds) |
| 2021-12-25 02:32:47 +0000 | <BrokenClutch> | EvanR: LSP is more intuitive for me. |
| 2021-12-25 02:32:53 +0000 | <EvanR> | LSP is a haskell thing? |
| 2021-12-25 02:33:04 +0000 | <BrokenClutch> | Language Server Protocol |
| 2021-12-25 02:33:07 +0000 | <EvanR> | cool |
| 2021-12-25 02:33:08 +0000 | <BrokenClutch> | I use on emacs |
| 2021-12-25 02:33:28 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-12-25 02:33:29 +0000 | <BrokenClutch> | because I'm very h4ck3r :) :) :) |
| 2021-12-25 02:34:01 +0000 | <EvanR> | I know what that says because I speak leet |
| 2021-12-25 02:34:14 +0000 | retro_ | (~retro@05412d78.skybroadband.com) |
| 2021-12-25 02:35:05 +0000 | <BrokenClutch> | EvanR: h4ck3r br0 |
| 2021-12-25 02:35:46 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2021-12-25 02:36:10 +0000 | <BrokenClutch> | going to play xcom (openxcom), merry christmas |
| 2021-12-25 02:36:17 +0000 | mvk | (~mvk@2607:fea8:5cdd:f000::917a) (Ping timeout: 240 seconds) |
| 2021-12-25 02:37:39 +0000 | <EvanR> | cheers |
| 2021-12-25 02:37:46 +0000 | retroid_ | (~retro@05412d78.skybroadband.com) (Ping timeout: 268 seconds) |
| 2021-12-25 02:37:46 +0000 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) |
| 2021-12-25 02:47:17 +0000 | falafel | (~falafel@2603-8000-d800-688c-502d-7280-71cc-20e7.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2021-12-25 02:48:42 +0000 | <sm> | Merry Christmas 🎄 Holidays 🌴 Friday, all |
| 2021-12-25 02:49:11 +0000 | Morrow | (~quassel@bzq-110-168-31-106.red.bezeqint.net) (Remote host closed the connection) |
| 2021-12-25 02:51:25 +0000 | xff0x | (~xff0x@2001:1a81:5311:2b00:3f8f:ed06:c623:ab7c) (Ping timeout: 240 seconds) |
| 2021-12-25 02:52:30 +0000 | bollu | (uid233390@id-233390.helmsley.irccloud.com) |
| 2021-12-25 02:53:24 +0000 | xff0x | (~xff0x@2001:1a81:534f:cd00:7f66:dac0:537e:5302) |
| 2021-12-25 02:56:53 +0000 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
| 2021-12-25 03:00:07 +0000 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) |
| 2021-12-25 03:02:36 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-12-25 03:02:36 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2021-12-25 03:02:36 +0000 | finn_elija | FinnElija |
| 2021-12-25 03:05:31 +0000 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) (Ping timeout: 268 seconds) |
| 2021-12-25 03:06:13 +0000 | vicfred | (~vicfred@user/vicfred) |
| 2021-12-25 03:07:45 +0000 | <otherwise> | > (head (tail (tail (tail (tail (tail (tail "!sknahT"))))))):(head (tail (tail (tail (tail (tail "!sknahT")))))):(head (tail (tail (tail (tail "!sknahT"))))):(head (tail (tail (tail "!sknahT")))):(head (tail (tail "!sknahT"))):(head (tail "!sknahT")):[(head "!sknahT")] |
| 2021-12-25 03:07:47 +0000 | <lambdabot> | "Thanks!" |
| 2021-12-25 03:11:04 +0000 | vysn | (~vysn@user/vysn) (Ping timeout: 268 seconds) |
| 2021-12-25 03:14:45 +0000 | <dsal> | There's an easier way to write that. :) |
| 2021-12-25 03:15:17 +0000 | euandreh | (~euandreh@2804:14c:33:9fe5:157f:fad:702e:d7a) (Ping timeout: 240 seconds) |
| 2021-12-25 03:15:57 +0000 | td_ | (~td@muedsl-82-207-238-144.citykom.de) (Ping timeout: 240 seconds) |
| 2021-12-25 03:16:20 +0000 | <dsal> | First, |
| 2021-12-25 03:16:22 +0000 | <dsal> | > let cdddddr = head . tail . tail . tail . tail . tail . tail in cdddddr "!sknahT" |
| 2021-12-25 03:16:24 +0000 | <lambdabot> | 'T' |
| 2021-12-25 03:17:02 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) |
| 2021-12-25 03:18:07 +0000 | td_ | (~td@muedsl-82-207-238-172.citykom.de) |
| 2021-12-25 03:21:17 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) (Ping timeout: 240 seconds) |
| 2021-12-25 03:25:40 +0000 | mbuf | (~Shakthi@122.162.66.42) |
| 2021-12-25 03:26:00 +0000 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2021-12-25 03:26:32 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 03:26:33 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 03:30:37 +0000 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2021-12-25 03:30:38 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-12-25 03:30:38 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2021-12-25 03:30:38 +0000 | finn_elija | FinnElija |
| 2021-12-25 03:33:32 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2021-12-25 03:35:05 +0000 | <otherwise> | Prelude> head . tail . tail . (tail "12345") : head . tail . (tail "12345"): head . {tail "12345"): (head "12345":[]) |
| 2021-12-25 03:35:18 +0000 | <otherwise> | thats as close as I could get... |
| 2021-12-25 03:35:49 +0000 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) |
| 2021-12-25 03:37:37 +0000 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 2021-12-25 03:37:48 +0000 | <otherwise> | > restructure <Expr> reverse [3,2,1] |
| 2021-12-25 03:37:50 +0000 | <lambdabot> | error: |
| 2021-12-25 03:37:50 +0000 | <lambdabot> | Precedence parsing error |
| 2021-12-25 03:37:50 +0000 | <lambdabot> | cannot mix ‘<’ [infix 4] and ‘>’ [infix 4] in the same infix expression |
| 2021-12-25 03:39:16 +0000 | BrokenClutch | (~pioneer@2804:d41:c2a7:d800:e627:b00b:2c62:134) () |
| 2021-12-25 03:41:18 +0000 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) (Ping timeout: 268 seconds) |
| 2021-12-25 03:50:58 +0000 | <dsal> | @src reverse |
| 2021-12-25 03:50:58 +0000 | <lambdabot> | reverse = foldl (flip (:)) [] |
| 2021-12-25 03:54:17 +0000 | Brandon_IX | (~brandon@178-79-138-117.ip.linodeusercontent.com) |
| 2021-12-25 04:00:40 +0000 | vicfred | (~vicfred@user/vicfred) |
| 2021-12-25 04:03:49 +0000 | <otherwise> | I'm working through recursion chapter in "learn you a haskell..." and am trying to get used to evaluating the recursive process by hand to get a better intuitive understanding. reverse is what I was trying to explicitly evaluate. :) |
| 2021-12-25 04:04:46 +0000 | <otherwise> | wait... what is @src? that is not the same as :t |
| 2021-12-25 04:05:01 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2021-12-25 04:06:56 +0000 | <otherwise> | How can I do a comparable command to @src in ghci? It is not :doc and it is not :def |
| 2021-12-25 04:08:10 +0000 | dsrt^ | (~dsrt@207.5.54.6) (Remote host closed the connection) |
| 2021-12-25 04:08:12 +0000 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) |
| 2021-12-25 04:10:19 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) |
| 2021-12-25 04:12:46 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-12-25 04:13:06 +0000 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) (Ping timeout: 260 seconds) |
| 2021-12-25 04:19:17 +0000 | <int-e> | otherwise: no, @src is specific to lambdabot, cf. https://github.com/lambdabot/lambdabot/blob/master/lambdabot/State/source for all the things it knows. (So since it's just a text file, you should take its definitions with a grain of salt. Some of them are what the report says, not what base implements; some are older versions of what base uses. Some may even be completely made up.) |
| 2021-12-25 04:19:24 +0000 | <int-e> | :t Mu |
| 2021-12-25 04:19:25 +0000 | <lambdabot> | error: |
| 2021-12-25 04:19:25 +0000 | <lambdabot> | • Data constructor not in scope: Mu |
| 2021-12-25 04:19:25 +0000 | <lambdabot> | • Perhaps you meant one of these: |
| 2021-12-25 04:19:27 +0000 | <int-e> | @src Mu |
| 2021-12-25 04:19:27 +0000 | <lambdabot> | newtype Mu f = In { out :: f (Mu f) } |
| 2021-12-25 04:20:02 +0000 | <int-e> | This one, for example, is a type that lambdabot defined locally for some time. Nobody seems to miss it much :P |
| 2021-12-25 04:21:00 +0000 | <monochrom> | If you don't mind a bit of strong opinion... No, evaluating recursion by hand is not insightful. Your computer has been doing it for its life, has it got smarter? Induction proof is a better way to understand recursion and think up recursive code that works. See my http://www.cs.utoronto.ca/~trebla/CSCC24-2021-Summer/01-haskell-basic.html#synev |
| 2021-12-25 04:21:53 +0000 | <int-e> | otherwise: as for finding source code... :i in ghci tells you which module defines a function, and that maps to a file name; ghc-pkg can tell you which package that resides in; cabal unpack can unpack the source code for most of the packages |
| 2021-12-25 04:21:59 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-12-25 04:21:59 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-12-25 04:21:59 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2021-12-25 04:22:07 +0000 | nitrix | (~nitrix@user/nitrix) (Leaving) |
| 2021-12-25 04:25:41 +0000 | ralu | (~ralu@static.211.245.203.116.clients.your-server.de) (Ping timeout: 268 seconds) |
| 2021-12-25 04:29:22 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-25 04:29:37 +0000 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-12-25 04:31:52 +0000 | euandreh | (~euandreh@2804:14c:33:9fe5:2cf4:5f96:7154:f400) |
| 2021-12-25 04:34:01 +0000 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2021-12-25 04:34:03 +0000 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) |
| 2021-12-25 04:35:02 +0000 | vicfred | (~vicfred@user/vicfred) |
| 2021-12-25 04:38:37 +0000 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2021-12-25 04:40:54 +0000 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2021-12-25 04:41:54 +0000 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) |
| 2021-12-25 04:41:58 +0000 | <otherwise> | momochrom: thanks for the link! :) |
| 2021-12-25 04:42:01 +0000 | Midjak | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Quit: This computer has gone to sleep) |
| 2021-12-25 04:42:29 +0000 | <otherwise> | int-e I see how to run :i |
| 2021-12-25 04:42:52 +0000 | <otherwise> | but I don't see how to run ghc-pkg |
| 2021-12-25 04:43:23 +0000 | <otherwise> | I'm typing it into prelude> in many variations, but to no avail... |
| 2021-12-25 04:43:36 +0000 | <int-e> | otherwise: it's a shell command |
| 2021-12-25 04:44:13 +0000 | <int-e> | try `ghc-pkg find-module Data.Maybe` |
| 2021-12-25 04:45:27 +0000 | <otherwise> | oh I see :) |
| 2021-12-25 04:45:38 +0000 | ralu | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2021-12-25 04:45:57 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 2021-12-25 04:46:20 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4) |
| 2021-12-25 04:46:36 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2021-12-25 04:46:37 +0000 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) (Ping timeout: 240 seconds) |
| 2021-12-25 04:47:59 +0000 | <otherwise> | ls |
| 2021-12-25 04:48:14 +0000 | <otherwise> | wrong browser |
| 2021-12-25 04:51:44 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-12-25 04:52:45 +0000 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) |
| 2021-12-25 05:01:44 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-12-25 05:02:20 +0000 | bollu | (uid233390@id-233390.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-12-25 05:03:17 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-12-25 05:05:12 +0000 | img | (~img@user/img) |
| 2021-12-25 05:07:58 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 05:07:59 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 05:08:29 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: closed) |
| 2021-12-25 05:08:35 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 05:09:26 +0000 | alfonsox | (~quassel@103.92.42.192) |
| 2021-12-25 05:14:39 +0000 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) |
| 2021-12-25 05:19:50 +0000 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) (Ping timeout: 260 seconds) |
| 2021-12-25 05:21:09 +0000 | mvk | (~mvk@2607:fea8:5cdd:f000::917a) |
| 2021-12-25 05:38:27 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 2021-12-25 05:39:19 +0000 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-12-25 05:43:49 +0000 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2021-12-25 05:50:26 +0000 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) |
| 2021-12-25 05:51:21 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-12-25 05:52:40 +0000 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-12-25 05:53:48 +0000 | img | (~img@user/img) |
| 2021-12-25 05:53:49 +0000 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) |
| 2021-12-25 05:54:57 +0000 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) (Ping timeout: 240 seconds) |
| 2021-12-25 05:55:22 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-12-25 05:55:22 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-12-25 05:55:22 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2021-12-25 05:58:17 +0000 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2021-12-25 05:58:34 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) (Remote host closed the connection) |
| 2021-12-25 06:00:03 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2021-12-25 06:18:13 +0000 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) |
| 2021-12-25 06:21:56 +0000 | kadir | (~kadir@88.251.54.120) |
| 2021-12-25 06:23:05 +0000 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) (Ping timeout: 252 seconds) |
| 2021-12-25 06:28:22 +0000 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 2021-12-25 06:35:11 +0000 | <int-e> | > unwords $ map (\x -> printf "%.2f" (191 - x/50)) [9386,9386,9232,9098,9000,8916,8870,8856,8819,8680] -- 7th is bogus (only 48 stars) |
| 2021-12-25 06:35:12 +0000 | <lambdabot> | "3.28 3.28 6.36 9.04 11.00 12.68 13.60 13.88 14.62 17.40" |
| 2021-12-25 06:36:51 +0000 | coot | (~coot@89-64-85-93.dynamic.chello.pl) |
| 2021-12-25 06:38:08 +0000 | vicfred | (~vicfred@user/vicfred) |
| 2021-12-25 06:38:31 +0000 | falafel | (~falafel@2603-8000-d800-688c-502d-7280-71cc-20e7.res6.spectrum.com) |
| 2021-12-25 06:40:37 +0000 | x88x88x | (~x88x88x@2001:19f0:5:39a8:5400:3ff:feb6:73cb) (Ping timeout: 240 seconds) |
| 2021-12-25 06:43:21 +0000 | x88x88x | (~x88x88x@2001:19f0:5:39a8:5400:3ff:feb6:73cb) |
| 2021-12-25 06:48:39 +0000 | fef | (~thedawn@user/thedawn) |
| 2021-12-25 06:52:35 +0000 | ym | (~ym@pool-96-253-29-94.prvdri.fios.verizon.net) |
| 2021-12-25 06:52:51 +0000 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) |
| 2021-12-25 06:57:12 +0000 | jonathanx | (~jonathan@217-210-129-139-no2450.tbcn.telia.com) |
| 2021-12-25 06:58:18 +0000 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) (Ping timeout: 260 seconds) |
| 2021-12-25 06:58:58 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) |
| 2021-12-25 07:00:05 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-25 07:03:17 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) (Ping timeout: 240 seconds) |
| 2021-12-25 07:12:59 +0000 | coolnickname | (uid531864@user/coolnickname) |
| 2021-12-25 07:18:34 +0000 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) |
| 2021-12-25 07:18:46 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-12-25 07:19:09 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 2021-12-25 07:20:03 +0000 | <otherwise> | trying to take a range of adjacent elements from a list, not sure how to select a specific range... |
| 2021-12-25 07:21:31 +0000 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-12-25 07:21:46 +0000 | <otherwise> | I know tail, head, last, `elem` , take, (!!) but none of those will grab, say, the 4th through the 7th indexed elements from a list of length 20. |
| 2021-12-25 07:23:06 +0000 | <int-e> | > take 4 . drop 3 $ [1..20] |
| 2021-12-25 07:23:07 +0000 | <lambdabot> | [4,5,6,7] |
| 2021-12-25 07:24:35 +0000 | <int-e> | > map ([1..20] !!) [3..6] -- make complexity theorists weep |
| 2021-12-25 07:24:37 +0000 | <lambdabot> | [4,5,6,7] |
| 2021-12-25 07:25:21 +0000 | <otherwise> | oooooh, I get that . replaces ( ), but what is $ doing? |
| 2021-12-25 07:25:44 +0000 | ym | (~ym@pool-96-253-29-94.prvdri.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-12-25 07:25:46 +0000 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) |
| 2021-12-25 07:25:50 +0000 | <otherwise> | > take 4 (drop 3 [1..20]) |
| 2021-12-25 07:25:51 +0000 | <lambdabot> | [4,5,6,7] |
| 2021-12-25 07:25:54 +0000 | <int-e> | it's function application (f $ x = f x) but with a low precedence |
| 2021-12-25 07:26:22 +0000 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Ping timeout: 268 seconds) |
| 2021-12-25 07:26:36 +0000 | <dsal> | > (take 4 . drop) [1..20] |
| 2021-12-25 07:26:38 +0000 | <lambdabot> | error: |
| 2021-12-25 07:26:38 +0000 | <lambdabot> | • Couldn't match type ‘[a0] -> [a0]’ with ‘[a]’ |
| 2021-12-25 07:26:38 +0000 | <lambdabot> | Expected type: Int -> [a] |
| 2021-12-25 07:26:46 +0000 | <dsal> | > (take 4 . drop 3) [1..20] |
| 2021-12-25 07:26:47 +0000 | <lambdabot> | [4,5,6,7] |
| 2021-12-25 07:26:59 +0000 | <int-e> | yeah I was typing that :) |
| 2021-12-25 07:27:02 +0000 | <dsal> | saves you from writing ()s sometimes. Don't mistake it for parens, though. :) |
| 2021-12-25 07:30:12 +0000 | bollu | (uid233390@id-233390.helmsley.irccloud.com) |
| 2021-12-25 07:30:44 +0000 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) (Ping timeout: 252 seconds) |
| 2021-12-25 07:31:40 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-12-25 07:33:14 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-12-25 07:34:02 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-12-25 07:35:33 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-12-25 07:35:34 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2021-12-25 07:36:14 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-12-25 07:36:56 +0000 | img | (~img@user/img) |
| 2021-12-25 07:37:07 +0000 | <otherwise> | hmmm... !!! It is snowing! |
| 2021-12-25 07:41:58 +0000 | retroid_ | (~retro@05412d78.skybroadband.com) |
| 2021-12-25 07:44:54 +0000 | fef | (~thedawn@user/thedawn) (Quit: Leaving) |
| 2021-12-25 07:45:19 +0000 | Morrow | (~quassel@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-12-25 07:45:29 +0000 | retro_ | (~retro@05412d78.skybroadband.com) (Ping timeout: 268 seconds) |
| 2021-12-25 07:45:31 +0000 | rlj | (~rlj@62.119.244.114) |
| 2021-12-25 07:54:43 +0000 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) |
| 2021-12-25 07:57:17 +0000 | euandreh | (~euandreh@2804:14c:33:9fe5:2cf4:5f96:7154:f400) (Ping timeout: 240 seconds) |
| 2021-12-25 08:02:19 +0000 | coot | (~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot) |
| 2021-12-25 08:02:43 +0000 | coot | (~coot@89-64-85-93.dynamic.chello.pl) |
| 2021-12-25 08:07:22 +0000 | coot | (~coot@89-64-85-93.dynamic.chello.pl) (Ping timeout: 260 seconds) |
| 2021-12-25 08:07:31 +0000 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) |
| 2021-12-25 08:09:17 +0000 | img | (~img@user/img) (Ping timeout: 240 seconds) |
| 2021-12-25 08:17:10 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) |
| 2021-12-25 08:27:28 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-12-25 08:35:50 +0000 | Akiva | (~Akiva@user/Akiva) (Ping timeout: 260 seconds) |
| 2021-12-25 08:43:11 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) (Remote host closed the connection) |
| 2021-12-25 08:46:39 +0000 | jonathanx | (~jonathan@217-210-129-139-no2450.tbcn.telia.com) (Ping timeout: 256 seconds) |
| 2021-12-25 08:47:01 +0000 | max22- | (~maxime@2a01cb0883359800368bc5f3b1060b26.ipv6.abo.wanadoo.fr) |
| 2021-12-25 08:49:32 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) |
| 2021-12-25 08:57:05 +0000 | acidjnk | (~acidjnk@p200300d0c7271e974de60a217c79c2cb.dip0.t-ipconnect.de) |
| 2021-12-25 09:00:08 +0000 | thedward[m] | (~thedwardm@2001:470:69fc:105::f79) (Quit: You have been kicked for being idle) |
| 2021-12-25 09:07:45 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) (Remote host closed the connection) |
| 2021-12-25 09:15:22 +0000 | dsrt^ | (~dsrt@207.5.54.6) |
| 2021-12-25 09:17:42 +0000 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2021-12-25 09:17:42 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-12-25 09:17:45 +0000 | allbery_b | geekosaur |
| 2021-12-25 09:21:26 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-25 09:35:06 +0000 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-12-25 09:35:20 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-236.elisa-laajakaista.fi) |
| 2021-12-25 09:35:57 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-12-25 09:38:01 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 09:38:02 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 09:38:33 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: closed) |
| 2021-12-25 09:38:43 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 09:38:55 +0000 | jakalx | (~jakalx@base.jakalx.net) (Disconnected: Replaced by new connection) |
| 2021-12-25 09:38:56 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-12-25 09:53:14 +0000 | vysn | (~vysn@user/vysn) |
| 2021-12-25 10:01:37 +0000 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 240 seconds) |
| 2021-12-25 10:06:04 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-12-25 10:08:08 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) |
| 2021-12-25 10:10:54 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-25 10:11:31 +0000 | rlj | (~rlj@62.119.244.114) (Ping timeout: 256 seconds) |
| 2021-12-25 10:12:17 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) (Ping timeout: 240 seconds) |
| 2021-12-25 10:15:37 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-12-25 10:16:34 +0000 | jonathanx | (~jonathan@217-210-129-139-no2450.tbcn.telia.com) |
| 2021-12-25 10:18:58 +0000 | bollu | (uid233390@id-233390.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-12-25 10:23:33 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2021-12-25 10:23:41 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2021-12-25 10:24:58 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2021-12-25 10:26:34 +0000 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-12-25 10:32:42 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 10:32:43 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 10:33:13 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: closed) |
| 2021-12-25 10:33:23 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 10:36:01 +0000 | sim590 | (~simon@modemcable157.243-56-74.mc.videotron.ca) (Ping timeout: 256 seconds) |
| 2021-12-25 10:42:15 +0000 | foul_owl | (~kerry@94.140.8.107) (Ping timeout: 256 seconds) |
| 2021-12-25 10:43:23 +0000 | kaph_ | (~kaph@net-2-45-51-147.cust.vodafonedsl.it) (Ping timeout: 256 seconds) |
| 2021-12-25 10:44:57 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-25 10:47:21 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-12-25 10:57:28 +0000 | foul_owl | (~kerry@212.102.47.57) |
| 2021-12-25 11:00:52 +0000 | coot | (~coot@89-64-85-93.dynamic.chello.pl) |
| 2021-12-25 11:15:57 +0000 | jonathanx | (~jonathan@217-210-129-139-no2450.tbcn.telia.com) (Ping timeout: 240 seconds) |
| 2021-12-25 11:16:20 +0000 | jonathanx | (~jonathan@217-210-129-139-no2450.tbcn.telia.com) |
| 2021-12-25 11:18:32 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2021-12-25 11:18:59 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-12-25 11:20:20 +0000 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) |
| 2021-12-25 11:20:56 +0000 | rito_ | (~rito_gh@45.112.243.69) |
| 2021-12-25 11:32:42 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 11:32:43 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 11:33:12 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: closed) |
| 2021-12-25 11:33:20 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 11:34:46 +0000 | SummerSonw | (~The_viole@203.77.49.232) |
| 2021-12-25 11:38:39 +0000 | otherwise | (~otherwise@2601:602:880:90f0:2164:480c:998d:fc7c) (Remote host closed the connection) |
| 2021-12-25 11:47:50 +0000 | jonathanx | (~jonathan@217-210-129-139-no2450.tbcn.telia.com) (Ping timeout: 268 seconds) |
| 2021-12-25 11:52:38 +0000 | coot | (~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot) |
| 2021-12-25 12:01:17 +0000 | zer0bitz | (~zer0bitz@196.244.192.54) |
| 2021-12-25 12:07:57 +0000 | falafel | (~falafel@2603-8000-d800-688c-502d-7280-71cc-20e7.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2021-12-25 12:08:43 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-12-25 12:10:24 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) |
| 2021-12-25 12:11:02 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2021-12-25 12:11:47 +0000 | acidjnk | (~acidjnk@p200300d0c7271e974de60a217c79c2cb.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2021-12-25 12:14:37 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) (Ping timeout: 240 seconds) |
| 2021-12-25 12:17:20 +0000 | otherwise | (~otherwise@2601:602:880:90f0:99a0:b26e:2b10:8f04) |
| 2021-12-25 12:17:44 +0000 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) |
| 2021-12-25 12:19:20 +0000 | Midjak | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) |
| 2021-12-25 12:21:37 +0000 | otherwise | (~otherwise@2601:602:880:90f0:99a0:b26e:2b10:8f04) (Ping timeout: 240 seconds) |
| 2021-12-25 12:25:10 +0000 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-12-25 12:25:46 +0000 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) |
| 2021-12-25 12:25:51 +0000 | Hanicef | (~hanicef@78-71-43-30-no260.tbcn.telia.com) |
| 2021-12-25 12:27:02 +0000 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 240 seconds) |
| 2021-12-25 12:28:17 +0000 | __monty__ | (~toonn@user/toonn) |
| 2021-12-25 12:29:46 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-12-25 12:30:36 +0000 | Alex_test_ | (~al_test@178.34.160.99) (Quit: ;-) |
| 2021-12-25 12:30:49 +0000 | Alex_test | (~al_test@178.34.160.99) |
| 2021-12-25 12:31:01 +0000 | AlexZenon_2 | (~alzenon@178.34.160.99) (Quit: ;-) |
| 2021-12-25 12:31:16 +0000 | AlexZenon | (~alzenon@178.34.160.99) |
| 2021-12-25 12:35:53 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-12-25 12:47:22 +0000 | Jing | (~hedgehog@2604:a840:3::1061) |
| 2021-12-25 12:51:22 +0000 | neceve | (~quassel@2.26.93.228) |
| 2021-12-25 12:54:02 +0000 | zincy | (~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) |
| 2021-12-25 12:54:26 +0000 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 268 seconds) |
| 2021-12-25 12:58:18 +0000 | otherwise | (~otherwise@2601:602:880:90f0:e950:bc2c:6464:aa5b) |
| 2021-12-25 13:02:17 +0000 | otherwise | (~otherwise@2601:602:880:90f0:e950:bc2c:6464:aa5b) (Ping timeout: 240 seconds) |
| 2021-12-25 13:15:32 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-25 13:21:25 +0000 | zincy | (~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) (Remote host closed the connection) |
| 2021-12-25 13:23:00 +0000 | zincy | (~zincy@host86-151-99-97.range86-151.btcentralplus.com) |
| 2021-12-25 13:28:04 +0000 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-12-25 13:28:50 +0000 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) |
| 2021-12-25 13:29:19 +0000 | jonathanx | (~jonathan@217-210-129-139-no2450.tbcn.telia.com) |
| 2021-12-25 13:30:42 +0000 | syrkis | (~syrkis@82.192.167.70) |
| 2021-12-25 13:34:08 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-12-25 13:34:40 +0000 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2021-12-25 13:38:17 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2021-12-25 13:42:49 +0000 | zincy | (~zincy@host86-151-99-97.range86-151.btcentralplus.com) (Remote host closed the connection) |
| 2021-12-25 13:46:59 +0000 | Hanicef | (~hanicef@78-71-43-30-no260.tbcn.telia.com) (Quit: leaving) |
| 2021-12-25 13:48:54 +0000 | neurocyte0132889 | (~neurocyte@94.16.90.231) |
| 2021-12-25 13:48:54 +0000 | neurocyte0132889 | (~neurocyte@94.16.90.231) (Changing host) |
| 2021-12-25 13:48:54 +0000 | neurocyte0132889 | (~neurocyte@user/neurocyte) |
| 2021-12-25 13:49:17 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-12-25 13:49:43 +0000 | zincy | (~zincy@host86-151-99-97.range86-151.btcentralplus.com) |
| 2021-12-25 13:52:37 +0000 | zincy | (~zincy@host86-151-99-97.range86-151.btcentralplus.com) (Remote host closed the connection) |
| 2021-12-25 13:52:48 +0000 | <alfonsox> | snowing is lot better than implementing bubble sort in haskell. :) |
| 2021-12-25 13:59:11 +0000 | Inoperable | (~PLAYER_1@fancydata.science) (Excess Flood) |
| 2021-12-25 14:05:34 +0000 | Inoperable | (~PLAYER_1@fancydata.science) |
| 2021-12-25 14:05:35 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-12-25 14:05:36 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 2021-12-25 14:05:52 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-12-25 14:15:13 +0000 | rito_ | (~rito_gh@45.112.243.69) (Quit: Leaving) |
| 2021-12-25 14:19:19 +0000 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-12-25 14:19:55 +0000 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) |
| 2021-12-25 14:23:32 +0000 | notzmv | (~zmv@user/notzmv) |
| 2021-12-25 14:24:37 +0000 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2021-12-25 14:25:55 +0000 | max22- | (~maxime@2a01cb0883359800368bc5f3b1060b26.ipv6.abo.wanadoo.fr) (Ping timeout: 250 seconds) |
| 2021-12-25 14:26:58 +0000 | CiaoSen | (~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2021-12-25 14:29:04 +0000 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
| 2021-12-25 14:37:08 +0000 | euandreh | (~euandreh@2804:14c:33:9fe5:5d5c:8c41:79c4:9b80) |
| 2021-12-25 14:37:48 +0000 | max22- | (~maxime@2a01cb0883359800ac192c9334b98292.ipv6.abo.wanadoo.fr) |
| 2021-12-25 14:38:19 +0000 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) |
| 2021-12-25 14:53:36 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-12-25 14:53:36 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2021-12-25 14:53:36 +0000 | finn_elija | FinnElija |
| 2021-12-25 15:02:19 +0000 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-12-25 15:04:34 +0000 | jonathanx | (~jonathan@217-210-129-139-no2450.tbcn.telia.com) (Ping timeout: 260 seconds) |
| 2021-12-25 15:06:48 +0000 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) |
| 2021-12-25 15:07:29 +0000 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) |
| 2021-12-25 15:08:52 +0000 | syrkis | (~syrkis@82.192.167.70) (Quit: Client closed) |
| 2021-12-25 15:09:11 +0000 | ProfSimm | (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) |
| 2021-12-25 15:10:34 +0000 | <ProfSimm> | Is it possible to have something be both a function and a number, until it's used in some context |
| 2021-12-25 15:11:40 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-12-25 15:11:40 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-12-25 15:11:40 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2021-12-25 15:12:27 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) |
| 2021-12-25 15:16:37 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) (Ping timeout: 240 seconds) |
| 2021-12-25 15:22:41 +0000 | <pavonia> | `Num a => a` can also be a function |
| 2021-12-25 15:22:44 +0000 | coolnickname | (uid531864@user/coolnickname) (Quit: Connection closed for inactivity) |
| 2021-12-25 15:23:05 +0000 | <pavonia> | ProfSimm: Could you explain a bit more what you are trying to do? |
| 2021-12-25 15:30:36 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 276 seconds) |
| 2021-12-25 15:32:20 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-12-25 15:34:10 +0000 | timCF | (~timCF@m91-129-100-224.cust.tele2.ee) (Ping timeout: 268 seconds) |
| 2021-12-25 15:35:16 +0000 | slowButPresent | (~slowButPr@user/slowbutpresent) |
| 2021-12-25 15:35:33 +0000 | rembo10 | (~rembo10@2a01:4f9:c010:b5b9::1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-12-25 15:36:43 +0000 | rembo10 | (~rembo10@remulis.com) |
| 2021-12-25 15:41:27 +0000 | dyeplexer | (~dyeplexer@user/dyeplexer) (Ping timeout: 256 seconds) |
| 2021-12-25 15:46:17 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-25 15:49:51 +0000 | ym | (~ym@pool-96-253-29-94.prvdri.fios.verizon.net) |
| 2021-12-25 15:54:52 +0000 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2021-12-25 16:00:37 +0000 | xff0x | (~xff0x@2001:1a81:534f:cd00:7f66:dac0:537e:5302) (Ping timeout: 240 seconds) |
| 2021-12-25 16:01:37 +0000 | xff0x | (~xff0x@port-92-195-117-208.dynamic.as20676.net) |
| 2021-12-25 16:01:55 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2021-12-25 16:03:45 +0000 | ProfSimm | (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) (Remote host closed the connection) |
| 2021-12-25 16:04:04 +0000 | ProfSimm | (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) |
| 2021-12-25 16:08:31 +0000 | ProfSimm | (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) (Ping timeout: 256 seconds) |
| 2021-12-25 16:11:41 +0000 | jonathanx | (~jonathan@c-5eea3423-74736162.cust.telenor.se) |
| 2021-12-25 16:15:19 +0000 | ProfSimm | (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) |
| 2021-12-25 16:20:17 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-12-25 16:31:53 +0000 | amk | (~amk@109.255.169.126) (Ping timeout: 256 seconds) |
| 2021-12-25 16:32:54 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-12-25 16:33:22 +0000 | amk | (~amk@109.255.169.126) |
| 2021-12-25 16:36:49 +0000 | ProfSimm | (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) (Remote host closed the connection) |
| 2021-12-25 16:37:08 +0000 | ProfSimm | (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) |
| 2021-12-25 16:39:18 +0000 | zincy | (~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) |
| 2021-12-25 16:40:02 +0000 | dan-so | (~danso@2001:1970:52e7:d000:96b8:6dff:feb3:c009) (Ping timeout: 240 seconds) |
| 2021-12-25 16:40:26 +0000 | dan-so | (~danso@2001:1970:52e7:d000:96b8:6dff:feb3:c009) |
| 2021-12-25 16:41:23 +0000 | ProfSimm | (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) (Ping timeout: 256 seconds) |
| 2021-12-25 16:43:52 +0000 | acode | (~acode@151.65.31.181) |
| 2021-12-25 16:46:32 +0000 | alfonsox | (~quassel@103.92.42.192) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-12-25 16:46:59 +0000 | BrokenClutch | (~pioneer@2804:d41:c2a7:d800:e627:b00b:2c62:134) |
| 2021-12-25 16:57:14 +0000 | coolnickname | (uid531864@user/coolnickname) |
| 2021-12-25 16:57:59 +0000 | zincy | (~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) (Remote host closed the connection) |
| 2021-12-25 16:59:31 +0000 | dan-so | (~danso@2001:1970:52e7:d000:96b8:6dff:feb3:c009) (Ping timeout: 245 seconds) |
| 2021-12-25 17:01:27 +0000 | dan-so | (~danso@2001:1970:52e7:d000:96b8:6dff:feb3:c009) |
| 2021-12-25 17:03:16 +0000 | mbuf | (~Shakthi@122.162.66.42) (Quit: Leaving) |
| 2021-12-25 17:05:21 +0000 | jonathanx_ | (~jonathan@94.234.52.93) |
| 2021-12-25 17:07:52 +0000 | jonathanx__ | (~jonathan@94.234.54.197) |
| 2021-12-25 17:08:17 +0000 | jonathanx | (~jonathan@c-5eea3423-74736162.cust.telenor.se) (Ping timeout: 240 seconds) |
| 2021-12-25 17:09:25 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2021-12-25 17:09:29 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-12-25 17:09:57 +0000 | CiaoSen | (~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2021-12-25 17:10:02 +0000 | jonathanx_ | (~jonathan@94.234.52.93) (Ping timeout: 240 seconds) |
| 2021-12-25 17:14:04 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) |
| 2021-12-25 17:18:17 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) (Ping timeout: 240 seconds) |
| 2021-12-25 17:20:01 +0000 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2021-12-25 17:21:06 +0000 | zaquest | (~notzaques@5.130.79.72) |
| 2021-12-25 17:21:27 +0000 | coot | (~coot@89-64-85-93.dynamic.chello.pl) |
| 2021-12-25 17:22:11 +0000 | bollu | (uid233390@id-233390.helmsley.irccloud.com) |
| 2021-12-25 17:24:37 +0000 | jonathanx | (~jonathan@c-5eea36c5-74736162.cust.telenor.se) |
| 2021-12-25 17:25:17 +0000 | jonathanx__ | (~jonathan@94.234.54.197) (Ping timeout: 240 seconds) |
| 2021-12-25 17:26:54 +0000 | d34df00d | (~d34df00d@2600:1700:8c60:3a10::48) (Remote host closed the connection) |
| 2021-12-25 17:29:41 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-12-25 17:32:12 +0000 | econo | (uid147250@user/econo) |
| 2021-12-25 17:34:19 +0000 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-12-25 17:35:24 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-12-25 17:37:28 +0000 | sim590 | (~simon@modemcable090.207-203-24.mc.videotron.ca) |
| 2021-12-25 17:38:07 +0000 | xff0x | (~xff0x@port-92-195-117-208.dynamic.as20676.net) (Ping timeout: 268 seconds) |
| 2021-12-25 17:39:53 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2021-12-25 17:44:10 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2021-12-25 17:44:53 +0000 | otherwise | (~otherwise@2601:602:880:90f0:1e0:4b16:58ed:4062) |
| 2021-12-25 17:45:57 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-12-25 17:48:57 +0000 | otherwise | (~otherwise@2601:602:880:90f0:1e0:4b16:58ed:4062) (Ping timeout: 240 seconds) |
| 2021-12-25 17:49:51 +0000 | falafel | (~falafel@2603-8000-d800-688c-502d-7280-71cc-20e7.res6.spectrum.com) |
| 2021-12-25 17:51:47 +0000 | jonathanx | (~jonathan@c-5eea36c5-74736162.cust.telenor.se) (Ping timeout: 256 seconds) |
| 2021-12-25 17:57:52 +0000 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
| 2021-12-25 17:59:41 +0000 | y04nn | (~y04nn@92.223.89.196) |
| 2021-12-25 18:00:44 +0000 | otherwise | (~otherwise@2601:602:880:90f0:7d7a:d907:94bf:c6c8) |
| 2021-12-25 18:04:00 +0000 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2021-12-25 18:07:05 +0000 | SummerSonw | (~The_viole@203.77.49.232) (Ping timeout: 256 seconds) |
| 2021-12-25 18:09:34 +0000 | xff0x | (~xff0x@2001:1a81:534f:cd00:913d:8a40:152a:49ac) |
| 2021-12-25 18:11:41 +0000 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-12-25 18:15:04 +0000 | acode | (~acode@151.65.31.181) (Quit: Client closed) |
| 2021-12-25 18:16:56 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-25 18:19:53 +0000 | <BrokenClutch> | after days of not sleeping well, i think i got reactive-banana |
| 2021-12-25 18:20:09 +0000 | <dsal> | Hopefully it's treatable. |
| 2021-12-25 18:20:19 +0000 | <BrokenClutch> | \o/. I think it's too much for what i want to do. It's not |
| 2021-12-25 18:20:50 +0000 | <BrokenClutch> | I got the idea of reactive-banana. Sorry, don't know how to form phrases |
| 2021-12-25 18:33:37 +0000 | dyeplexer | (~dyeplexer@user/dyeplexer) (Ping timeout: 268 seconds) |
| 2021-12-25 18:35:16 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 18:35:19 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 18:35:46 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: closed) |
| 2021-12-25 18:35:57 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 18:36:14 +0000 | ProfSimm | (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) |
| 2021-12-25 18:36:14 +0000 | ridcully | (~ridcully@pd951fb88.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-12-25 18:36:26 +0000 | ridcully | (~ridcully@pd951fb88.dip0.t-ipconnect.de) |
| 2021-12-25 18:36:32 +0000 | <BrokenClutch> | is it wrong to store callbacks inside a state monad? |
| 2021-12-25 18:38:01 +0000 | <Noinia> | Question: I'm building some web application with haskell frontend and backend. When in "development mode" I essentially want the server to send some piece of JS that tells the client to use JSAddle rather than the "real" js implementation. Does anyone know how to achieve that? I'm sure I'm not the first one who would want s.t. like this. |
| 2021-12-25 18:42:22 +0000 | <BrokenClutch> | Noinia: Let me see if I understood, You want to listen to the server and wait a signal? |
| 2021-12-25 18:45:16 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-12-25 18:45:17 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 18:45:44 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: closed) |
| 2021-12-25 18:45:45 +0000 | <Noinia> | I want something like this: in my browser I go to myServerAddress.com, which would normally serve some piece of js code containing the full client. Rather than the "full client" I want to locally run a jsaddle process (of the client), so that whatever js interactions I do with my page are actually handled by that local jsaddle process. |
| 2021-12-25 18:45:51 +0000 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2021-12-25 18:46:13 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2021-12-25 18:46:33 +0000 | <Noinia> | so presumably instead of the "full js" the server would need to send some piece of js that says something along the lines of "start communicating with this local process" |
| 2021-12-25 18:48:08 +0000 | <BrokenClutch> | Oh. Now I understood. But I don't know how to do it. :( |
| 2021-12-25 18:48:18 +0000 | <Noinia> | I tried copying the jsaddle.js that jsaddle normally serves, but even if I approprately adapt the port it opens some websocket to it seems that does not yet work (because of security reasons it seems). |
| 2021-12-25 18:48:39 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2021-12-25 18:51:11 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-12-25 18:51:25 +0000 | y04nn | (~y04nn@92.223.89.196) (Remote host closed the connection) |
| 2021-12-25 18:52:18 +0000 | shapr | (~user@pool-108-28-144-11.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2021-12-25 18:53:37 +0000 | falafel | (~falafel@2603-8000-d800-688c-502d-7280-71cc-20e7.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2021-12-25 19:03:57 +0000 | otherwise | (~otherwise@2601:602:880:90f0:7d7a:d907:94bf:c6c8) (Ping timeout: 240 seconds) |
| 2021-12-25 19:11:01 +0000 | coot | (~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot) |
| 2021-12-25 19:11:32 +0000 | coot | (~coot@89-64-85-93.dynamic.chello.pl) |
| 2021-12-25 19:12:34 +0000 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-12-25 19:14:57 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-12-25 19:15:49 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) |
| 2021-12-25 19:16:02 +0000 | coot | (~coot@89-64-85-93.dynamic.chello.pl) (Ping timeout: 240 seconds) |
| 2021-12-25 19:20:23 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) (Ping timeout: 250 seconds) |
| 2021-12-25 19:21:33 +0000 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-12-25 19:23:37 +0000 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) |
| 2021-12-25 19:26:07 +0000 | Pickchea | (~private@user/pickchea) |
| 2021-12-25 19:26:36 +0000 | vicfred | (~vicfred@user/vicfred) |
| 2021-12-25 19:28:41 +0000 | yauhsien | (~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2021-12-25 19:29:41 +0000 | ProfSimm | (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) (Remote host closed the connection) |
| 2021-12-25 19:30:01 +0000 | ProfSimm | (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) |
| 2021-12-25 19:30:23 +0000 | benin | (~benin@183.82.27.57) (Ping timeout: 256 seconds) |
| 2021-12-25 19:30:26 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-25 19:31:16 +0000 | justSleigh | justIrresolute |
| 2021-12-25 19:32:40 +0000 | BrokenClutch | (~pioneer@2804:d41:c2a7:d800:e627:b00b:2c62:134) () |
| 2021-12-25 19:32:53 +0000 | benin | (~benin@183.82.27.57) |
| 2021-12-25 19:34:13 +0000 | ProfSimm | (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) (Ping timeout: 256 seconds) |
| 2021-12-25 19:40:21 +0000 | shapr | (~user@pool-108-28-144-11.washdc.fios.verizon.net) |
| 2021-12-25 19:50:23 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) |
| 2021-12-25 19:57:17 +0000 | ProfSimm | (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) |
| 2021-12-25 19:57:59 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-12-25 20:04:57 +0000 | juhp | (~juhp@128.106.188.82) (Ping timeout: 240 seconds) |
| 2021-12-25 20:07:33 +0000 | juhp | (~juhp@128.106.188.82) |
| 2021-12-25 20:17:28 +0000 | zincy | (~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) |
| 2021-12-25 20:22:40 +0000 | shriekingnoise | (~shrieking@186.137.144.80) |
| 2021-12-25 20:23:33 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2021-12-25 20:23:33 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-12-25 20:23:33 +0000 | finn_elija | FinnElija |
| 2021-12-25 20:24:36 +0000 | shapr | (~user@pool-108-28-144-11.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2021-12-25 20:27:26 +0000 | Everything | (~Everythin@37.115.210.35) |
| 2021-12-25 20:27:43 +0000 | zincy | (~zincy@2a00:23c8:970c:4801:bdb9:8c5f:3085:2807) (Remote host closed the connection) |
| 2021-12-25 20:28:13 +0000 | Techcable | (~Techcable@168.235.93.147) (Quit: ZNC - https://znc.in) |
| 2021-12-25 20:30:47 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-12-25 20:30:47 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-12-25 20:30:47 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2021-12-25 20:31:40 +0000 | ProfSimm | (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) (Remote host closed the connection) |
| 2021-12-25 20:31:59 +0000 | ProfSimm | (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) |
| 2021-12-25 20:33:57 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-12-25 20:36:33 +0000 | ProfSimm | (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) (Ping timeout: 256 seconds) |
| 2021-12-25 20:40:55 +0000 | benin | (~benin@183.82.27.57) (Quit: The Lounge - https://thelounge.chat) |
| 2021-12-25 20:43:21 +0000 | acode | (~acode@151.65.31.181) |
| 2021-12-25 20:50:07 +0000 | coot | (~coot@89-64-85-93.dynamic.chello.pl) |
| 2021-12-25 20:50:55 +0000 | pavonia | (~user@user/siracusa) |
| 2021-12-25 21:01:40 +0000 | <monochrom> | Nice, GHC 9.0.2, now supports M1. |
| 2021-12-25 21:01:51 +0000 | bollu | (uid233390@id-233390.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-12-25 21:03:38 +0000 | otherwise | (~otherwise@2601:602:880:90f0:8162:5dfa:7602:6575) |
| 2021-12-25 21:03:49 +0000 | juri_ | (~juri@178.63.35.222) (Ping timeout: 240 seconds) |
| 2021-12-25 21:04:43 +0000 | <sshine> | woot. two days before I hand back my M1 MacBook. |
| 2021-12-25 21:08:31 +0000 | <otherwise> | phwew, for a second I thought you said "back hand". |
| 2021-12-25 21:11:09 +0000 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2021-12-25 21:14:41 +0000 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2021-12-25 21:21:45 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2021-12-25 21:30:03 +0000 | zebrag | (~chris@user/zebrag) |
| 2021-12-25 21:32:43 +0000 | xkuru | (~xkuru@user/xkuru) |
| 2021-12-25 21:34:17 +0000 | vysn | (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 2021-12-25 21:35:15 +0000 | xlei | (~akans@pool-68-129-84-118.nycmny.fios.verizon.net) |
| 2021-12-25 21:37:07 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-12-25 21:37:32 +0000 | xff0x | (~xff0x@2001:1a81:534f:cd00:913d:8a40:152a:49ac) (Ping timeout: 240 seconds) |
| 2021-12-25 21:38:46 +0000 | xff0x | (~xff0x@2001:1a81:534f:cd00:2537:409e:e003:9b4d) |
| 2021-12-25 21:41:17 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2021-12-25 21:42:22 +0000 | xlei | (~akans@pool-68-129-84-118.nycmny.fios.verizon.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-12-25 21:43:03 +0000 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-12-25 21:43:11 +0000 | xlei | (~akans@pool-68-129-84-118.nycmny.fios.verizon.net) |
| 2021-12-25 21:46:00 +0000 | juri_ | (~juri@178.63.35.222) |
| 2021-12-25 21:47:45 +0000 | Pickchea | (~private@user/pickchea) |
| 2021-12-25 21:48:28 +0000 | zer0bitz | (~zer0bitz@196.244.192.54) (Ping timeout: 268 seconds) |
| 2021-12-25 21:48:42 +0000 | coot | (~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot) |
| 2021-12-25 21:49:20 +0000 | kadir | (~kadir@88.251.54.120) (goodnight) |
| 2021-12-25 21:52:52 +0000 | yauhsien | (~yauhsien@61-231-42-148.dynamic-ip.hinet.net) |
| 2021-12-25 21:52:56 +0000 | falafel | (~falafel@cpe-76-168-195-162.socal.res.rr.com) |
| 2021-12-25 21:53:07 +0000 | jgeerds | (~jgeerds@55d4ac73.access.ecotel.net) |
| 2021-12-25 21:54:37 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 240 seconds) |
| 2021-12-25 21:55:41 +0000 | coot | (~coot@89-64-85-93.dynamic.chello.pl) |
| 2021-12-25 21:57:09 +0000 | CiaoSen | (~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2021-12-25 21:58:17 +0000 | yauhsien | (~yauhsien@61-231-42-148.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2021-12-25 22:00:29 +0000 | BrokenClutch | (~pioneer@2804:d41:c2a7:d800:e627:b00b:2c62:134) |
| 2021-12-25 22:01:10 +0000 | coot | (~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot) |
| 2021-12-25 22:01:20 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-12-25 22:02:23 +0000 | coot | (~coot@89-64-85-93.dynamic.chello.pl) |
| 2021-12-25 22:03:27 +0000 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-12-25 22:03:44 +0000 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-12-25 22:08:58 +0000 | coot | (~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot) |
| 2021-12-25 22:10:21 +0000 | coot | (~coot@89-64-85-93.dynamic.chello.pl) |
| 2021-12-25 22:11:18 +0000 | jgeerds | (~jgeerds@55d4ac73.access.ecotel.net) (Remote host closed the connection) |
| 2021-12-25 22:11:43 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 2021-12-25 22:12:13 +0000 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2021-12-25 22:13:26 +0000 | otherwise | (~otherwise@2601:602:880:90f0:8162:5dfa:7602:6575) (Remote host closed the connection) |
| 2021-12-25 22:14:46 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-12-25 22:15:09 +0000 | burnsidesLlama | (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-12-25 22:19:07 +0000 | otherwise | (~otherwise@2601:602:880:90f0:144d:55a8:1e87:818) |
| 2021-12-25 22:26:36 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 276 seconds) |
| 2021-12-25 22:28:12 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-12-25 22:30:41 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-12-25 22:31:10 +0000 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
| 2021-12-25 22:34:05 +0000 | coot | (~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot) |
| 2021-12-25 22:36:49 +0000 | deadmarshal | (~deadmarsh@95.38.229.175) (Ping timeout: 256 seconds) |
| 2021-12-25 22:37:47 +0000 | ym | (~ym@pool-96-253-29-94.prvdri.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-12-25 22:41:45 +0000 | benin | (~benin@183.82.27.57) |
| 2021-12-25 22:47:07 +0000 | <otherwise> | > let multVector n [] = []; multVector n (x:xs) = n*x : multVector n xs in multVector 3 [1,2,3,4] |
| 2021-12-25 22:47:09 +0000 | <lambdabot> | [3,6,9,12] |
| 2021-12-25 22:47:16 +0000 | <otherwise> | BOOYA! |
| 2021-12-25 22:47:46 +0000 | <otherwise> | my first successful recursive function. Feels good |
| 2021-12-25 22:49:21 +0000 | ymherklotz | (~ymherklot@139.59.166.119) |
| 2021-12-25 22:57:05 +0000 | max22- | (~maxime@2a01cb0883359800ac192c9334b98292.ipv6.abo.wanadoo.fr) (Quit: Leaving) |
| 2021-12-25 22:57:32 +0000 | falafel | (~falafel@cpe-76-168-195-162.socal.res.rr.com) (Ping timeout: 268 seconds) |
| 2021-12-25 22:59:07 +0000 | <BrokenClutch> | otherwise: congrats :) |
| 2021-12-25 23:00:45 +0000 | <otherwise> | :) certainly is a little awkward getting the hang of this type of notation at first. So this little triumph is motivating. |
| 2021-12-25 23:01:19 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2021-12-25 23:02:19 +0000 | <lechner> | Hi, Hackage has no documentation for aeson-schema. Can I find it anywhere else? Thanks! |
| 2021-12-25 23:03:37 +0000 | aaron | (~user@93.48.228.52) |
| 2021-12-25 23:04:19 +0000 | juri_ | (~juri@178.63.35.222) (Ping timeout: 268 seconds) |
| 2021-12-25 23:04:32 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-12-25 23:04:50 +0000 | KvL | (~KvL@45.248.78.202) |
| 2021-12-25 23:04:50 +0000 | KvL | (~KvL@45.248.78.202) (Client Quit) |
| 2021-12-25 23:05:29 +0000 | KvL | (~KvL@45.248.78.202) |
| 2021-12-25 23:05:35 +0000 | <aaron> | hi, does anyone know what happened to the learnyouahaskell.com site? |
| 2021-12-25 23:06:46 +0000 | vysn | (~vysn@user/vysn) |
| 2021-12-25 23:08:12 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 276 seconds) |
| 2021-12-25 23:08:22 +0000 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2021-12-25 23:08:39 +0000 | <aaron> | I would like to purchase the book, but noticed that the only edition is from 2011 |
| 2021-12-25 23:09:23 +0000 | <aaron> | so I was hoping to visit the website to see if there have been substantial changes online compared to the printed edition |
| 2021-12-25 23:09:54 +0000 | acidjnk | (~acidjnk@p200300d0c7271e268c494fdd7858bb85.dip0.t-ipconnect.de) |
| 2021-12-25 23:10:45 +0000 | <BrokenClutch> | lechner: I think that the whole lib is outdated, but i'm not sure |
| 2021-12-25 23:11:06 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-12-25 23:12:15 +0000 | <BrokenClutch> | lechner: I was wrong, but I can't find the documentation too |
| 2021-12-25 23:12:28 +0000 | <otherwise> | aaron: Are you wanting to buy the book to support the author or because you prefer to have physical copy? |
| 2021-12-25 23:13:43 +0000 | <aaron> | well, I surely would like to support the author, but to be honest my main reason is having a printed copy from which to study |
| 2021-12-25 23:14:15 +0000 | <BrokenClutch> | lechner: I think I've found it, https://hackage.haskell.org/package/aeson-schema-0.2.0.0/docs/Data-Aeson-Schema.html |
| 2021-12-25 23:14:41 +0000 | <lechner> | BrokenClutch: i think that one is outdated |
| 2021-12-25 23:14:52 +0000 | <geekosaur> | very |
| 2021-12-25 23:14:57 +0000 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) (Ping timeout: 240 seconds) |
| 2021-12-25 23:15:00 +0000 | <BrokenClutch> | lechner: But it's the only one I think |
| 2021-12-25 23:15:14 +0000 | <BrokenClutch> | 0.4 |
| 2021-12-25 23:15:20 +0000 | <geekosaur> | I note the latest version has a build conflict on template-haskell according to its build log |
| 2021-12-25 23:15:30 +0000 | <BrokenClutch> | https://hackage.haskell.org/package/aeson-schema-0.4.0.0/docs/Data-Aeson-Schema.html |
| 2021-12-25 23:15:39 +0000 | <lechner> | thanks! |
| 2021-12-25 23:15:40 +0000 | <BrokenClutch> | that one is the newest |
| 2021-12-25 23:15:43 +0000 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) |
| 2021-12-25 23:15:50 +0000 | <BrokenClutch> | but isn't the newest version |
| 2021-12-25 23:16:23 +0000 | <otherwise> | in my opinion (I'm a beginner going through learn you a haskell right now, by the way), learn you a haskell is not to be used as "the one and only resource for learning haskell" |
| 2021-12-25 23:16:26 +0000 | <BrokenClutch> | but it has the same little number, dunno, me dumb |
| 2021-12-25 23:16:45 +0000 | Lycurgus | (~juan@98.4.112.204) |
| 2021-12-25 23:17:26 +0000 | <otherwise> | point being, the printed version would be very useful even if it is not as updated as the website (I don't have the answer to whether it is), and regardless of whether using the printed or online version, you will probably be supplementing with other resources. |
| 2021-12-25 23:17:55 +0000 | <BrokenClutch> | lenchner: https://hackage.haskell.org/package/aeson-schema-0.4.1.2/docs/Data-Aeson-Schema.html, Now I've verified, that's the most att one |
| 2021-12-25 23:17:55 +0000 | <Lycurgus> | aaron, apparently the author decided that your buying the last available print editions is what e wants |
| 2021-12-25 23:18:04 +0000 | <Lycurgus> | e still owns the domain |
| 2021-12-25 23:18:33 +0000 | <Lycurgus> | the title in question has to some extent jaded the intended audience |
| 2021-12-25 23:18:51 +0000 | <aaron> | ok, thank you very much for your answers |
| 2021-12-25 23:18:55 +0000 | <lechner> | how long has it been down? |
| 2021-12-25 23:19:58 +0000 | Lycurgus | has no idea |
| 2021-12-25 23:20:37 +0000 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 2021-12-25 23:20:46 +0000 | <Lycurgus> | i sense a has moved on from haskell situation |
| 2021-12-25 23:21:25 +0000 | <aaron> | I just noticed this evening |
| 2021-12-25 23:21:48 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2021-12-25 23:21:51 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 276 seconds) |
| 2021-12-25 23:21:55 +0000 | <lechner> | maybe unattended updates broke the site? |
| 2021-12-25 23:22:35 +0000 | <Lycurgus> | don't think so |
| 2021-12-25 23:22:36 +0000 | <geekosaur> | it's a domain failure |
| 2021-12-25 23:22:42 +0000 | <Lycurgus> | the domain's not routing |
| 2021-12-25 23:22:43 +0000 | <aaron> | I was worried that I might purchase the book and then the site gets update with the second edition, ahah |
| 2021-12-25 23:22:45 +0000 | <geekosaur> | nxdomain = domain gone |
| 2021-12-25 23:22:51 +0000 | <acode> | It was up yesterday, I was reading it |
| 2021-12-25 23:23:01 +0000 | <aaron> | ok, awesome news |
| 2021-12-25 23:23:06 +0000 | <Lycurgus> | ah, a fact! |
| 2021-12-25 23:23:07 +0000 | <hpc> | use archive.org |
| 2021-12-25 23:23:19 +0000 | <geekosaur> | hm, so did they just let the domain expire? |
| 2021-12-25 23:23:55 +0000 | <geekosaur> | or is this a DNS configuration issue that might get fixed sometime next week (or next year if the folks responsible take the entire holiday period off) |
| 2021-12-25 23:23:59 +0000 | <hpc> | it expires in august of next year |
| 2021-12-25 23:24:02 +0000 | <Lycurgus> | i.e. as distinct from an after-the |
| 2021-12-25 23:24:09 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-12-25 23:24:25 +0000 | <Lycurgus> | with the new fact |
| 2021-12-25 23:24:44 +0000 | <hpc> | it's a temporary error, hopefully |
| 2021-12-25 23:24:53 +0000 | <hpc> | in my dig it's not nxdomain, it's servfail |
| 2021-12-25 23:24:55 +0000 | <Lycurgus> | the surmise is he just let the name expiry or such lapse and will restore presently |
| 2021-12-25 23:24:59 +0000 | Bartol | (~Bartol@user/Bartol) (Ping timeout: 256 seconds) |
| 2021-12-25 23:25:01 +0000 | <Lycurgus> | 30% confidence |
| 2021-12-25 23:25:24 +0000 | <geekosaur> | nxdomain is what chrome gave me here |
| 2021-12-25 23:25:30 +0000 | <Lycurgus> | 70% moved on from hs |
| 2021-12-25 23:25:34 +0000 | <hpc> | chrome doesn't know how to error correctly |
| 2021-12-25 23:25:36 +0000 | <BrokenClutch> | probably a conspiracy, the schemers are behind this! |
| 2021-12-25 23:25:50 +0000 | <acode> | In the meantime I checked archive.org as suggested above and there seems to be a full copy of the website there |
| 2021-12-25 23:25:54 +0000 | <int-e> | the domain hasn't expired, but the listed nameservers don't know about it |
| 2021-12-25 23:25:59 +0000 | <geekosaur> | interestingly dig also gives servfail |
| 2021-12-25 23:26:20 +0000 | <lechner> | DNS does not resolve via Google's public DNS. it could be an error implementing DNSSEC |
| 2021-12-25 23:26:26 +0000 | <Lycurgus> | right that's how I knew he still owned it and yeah that means it can't be name expiry |
| 2021-12-25 23:26:48 +0000 | <aaron> | awesome, trying to use archive.org as suggested by hpc |
| 2021-12-25 23:26:56 +0000 | <aaron> | in the meanwhile |
| 2021-12-25 23:27:43 +0000 | <Lycurgus> | updates to it are utterly a non issue, should think that was clear by no |
| 2021-12-25 23:27:45 +0000 | <Lycurgus> | w |
| 2021-12-25 23:27:47 +0000 | <BrokenClutch> | I still think it's a conspiracy, a l33t hack3r 4tt4ck |
| 2021-12-25 23:28:35 +0000 | <Lycurgus> | so we now have |
| 2021-12-25 23:29:10 +0000 | <Lycurgus> | 20% hosting ignored and might come back soon |
| 2021-12-25 23:29:26 +0000 | <Lycurgus> | 80% hs fatigue |
| 2021-12-25 23:29:58 +0000 | <int-e> | So... the hosting provider says... "You have requested a site that is currently offline. This generally happens when a site is temporarily disabled for some reason, but has not been permanently removed." |
| 2021-12-25 23:30:01 +0000 | <geekosaur> | servfail is unlikely to be hs fatigue, more likely to be dns misconfiguration |
| 2021-12-25 23:30:30 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2021-12-25 23:30:36 +0000 | <int-e> | (That's after putting 208.94.116.26 learnyouahaskell.com into my /etc/hosts) |
| 2021-12-25 23:30:47 +0000 | <Lycurgus> | it coming back quickly would support dns misconfig |
| 2021-12-25 23:31:25 +0000 | <int-e> | so it seems deliberate, no clue what's going on |
| 2021-12-25 23:31:55 +0000 | <geekosaur> | servfail seems an odd way to do that though |
| 2021-12-25 23:32:10 +0000 | <lechner> | yeah, a link to amazon would be better |
| 2021-12-25 23:32:59 +0000 | <geekosaur> | a link to that "offline" page would be better. or a straight up failure to resolve as opposed to a servfail |
| 2021-12-25 23:33:22 +0000 | <lechner> | maybe the author is busy with a major public holiday |
| 2021-12-25 23:33:32 +0000 | Lycurgus | AWS hosting would be a salient fact but defocusing this stream |
| 2021-12-25 23:33:39 +0000 | Lycurgus | (~juan@98.4.112.204) (Quit: Exeunt) |
| 2021-12-25 23:33:48 +0000 | <int-e> | "deliberate" -- on part of the hosting provider (nearlyfreespeech.net), not the site author... |
| 2021-12-25 23:36:11 +0000 | <int-e> | geekosaur: and yeah, it is weird to just drop the DNS entry like that |
| 2021-12-25 23:36:38 +0000 | <geekosaur> | dropping the entry would not be that weird. servfail-ing it is |
| 2021-12-25 23:37:17 +0000 | <geekosaur> | nxdomain vs. servfail |
| 2021-12-25 23:37:23 +0000 | <otherwise> | uhh, i just refreshed my learn you a haskell page (which was working yesterday) and now it cant be reached... only archive.org as you all say |
| 2021-12-25 23:39:52 +0000 | <otherwise> | aaron, also try your online collection of e-books from your local library. Mine has access to "Get Programming In Haskell" by Will Kurt, which is probably a better resource anyway, albeit less whimsical... |
| 2021-12-25 23:40:19 +0000 | <BrokenClutch> | wait, is pastebin not working too? |
| 2021-12-25 23:40:42 +0000 | <lechner> | alien invasion! |
| 2021-12-25 23:40:54 +0000 | <geekosaur> | which pastebin? |
| 2021-12-25 23:41:05 +0000 | <geekosaur> | paste.tomsmeding.com works here |
| 2021-12-25 23:41:24 +0000 | <int-e> | FWIW: https://int-e.eu/~bf3/tmp/lyah-offline.png ...of course if this is a case of server maintenance gone wrong then this may be a fluke too. |
| 2021-12-25 23:41:37 +0000 | <BrokenClutch> | pastebin.com |
| 2021-12-25 23:42:08 +0000 | <acode> | pastebin.com is working for me |
| 2021-12-25 23:42:17 +0000 | <geekosaur> | consider that a request to not use it :) |
| 2021-12-25 23:42:39 +0000 | <BrokenClutch> | wait, my ISP blocked pastebin. WHY? |
| 2021-12-25 23:42:54 +0000 | geekosaur | has abrowser add-on to force the raw site because ye gods, but that also disables e.g. line numbers |
| 2021-12-25 23:43:30 +0000 | <BrokenClutch> | geekosaur: What's the problem with pastebin.com ? |
| 2021-12-25 23:43:51 +0000 | <geekosaur> | pastebins are often blocked by content-based blockers because they're often used for sharing stolen passwords and the like |
| 2021-12-25 23:44:07 +0000 | <geekosaur> | it's ugly, it's full of ads, its haskell markup is eye-bleeding |
| 2021-12-25 23:44:34 +0000 | <BrokenClutch> | But, but, I wanted to use it :( |
| 2021-12-25 23:44:46 +0000 | <hpc> | use the link in the topic instead |
| 2021-12-25 23:45:03 +0000 | <lechner> | for GP, dpaste.org is nice |
| 2021-12-25 23:46:05 +0000 | <lechner> | never mind: "dpaste is going to be terminated as of January 1, 2022." |
| 2021-12-25 23:47:01 +0000 | Jing | (~hedgehog@2604:a840:3::1061) (Remote host closed the connection) |
| 2021-12-25 23:47:39 +0000 | Jing | (~hedgehog@2604:a840:3::1061) |
| 2021-12-25 23:48:02 +0000 | sprout | (~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) (Ping timeout: 240 seconds) |
| 2021-12-25 23:51:29 +0000 | <sm> | I don't know why anyone would use pastebin . com except for the mnemonic url |
| 2021-12-25 23:53:10 +0000 | <sm> | guess I answered my own question |
| 2021-12-25 23:53:34 +0000 | <aaron> | otherwise thanks very much for your advice on "Get Programming In Haskell" |
| 2021-12-25 23:54:02 +0000 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 240 seconds) |
| 2021-12-25 23:54:06 +0000 | <aaron> | am looking in to it (amazon preview) |
| 2021-12-25 23:55:57 +0000 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 2021-12-25 23:57:21 +0000 | Pickchea | (~private@user/pickchea) (Ping timeout: 268 seconds) |
| 2021-12-25 23:57:21 +0000 | <lechner> | there are many options. fwiw, i like this one: http://dev.stephendiehl.com/hask/ |
| 2021-12-25 23:58:20 +0000 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-12-25 23:58:48 +0000 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit) |
| 2021-12-25 23:58:48 +0000 | <geekosaur> | bpa.st is still around |
| 2021-12-25 23:59:24 +0000 | <geekosaur> | new url but still around (bpaste.net redirects to it) |
