| 2023-12-19 00:04:37 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-12-19 00:07:21 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-12-19 00:09:06 +0100 | son0p | (~ff@181.136.122.143) |
| 2023-12-19 00:10:40 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-12-19 00:12:40 +0100 | <edwardk> | heya john |
| 2023-12-19 00:12:48 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-12-19 00:13:56 +0100 | <edwardk> | johnw: did you manage to recruit the entire qredo team yet? |
| 2023-12-19 00:19:01 +0100 | <edwardk> | rembane: composition and identity. er.. our two main weapons are composition, identity, and associativity. er.. amongst our axioms are... |
| 2023-12-19 00:19:04 +0100 | ByronJohnson | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) (Ping timeout: 255 seconds) |
| 2023-12-19 00:19:30 +0100 | <Rembane> | edwardk: Much better than mine! :D |
| 2023-12-19 00:19:44 +0100 | <Rembane> | edwardk: ...and arrows! Arrows! |
| 2023-12-19 00:20:12 +0100 | <edwardk> | objects... and arrows, .... and 2-arrows... and 3-arrows, and ... this skit may take a while. |
| 2023-12-19 00:20:28 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-12-19 00:20:37 +0100 | euleritian | (~euleritia@dynamic-046-114-207-228.46.114.pool.telefonica.de) |
| 2023-12-19 00:20:42 +0100 | <edwardk> | this is why we don't invite the \inf-category theorists any more. |
| 2023-12-19 00:20:51 +0100 | ByronJohnson | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) |
| 2023-12-19 00:20:58 +0100 | euleritian | (~euleritia@dynamic-046-114-207-228.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-12-19 00:21:23 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-12-19 00:23:30 +0100 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2023-12-19 00:31:17 +0100 | acidjnk | (~acidjnk@p200300d6e72b937545e16c5730f5fc30.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2023-12-19 00:32:23 +0100 | aruns | (~aruns@user/aruns) (Ping timeout: 264 seconds) |
| 2023-12-19 00:36:40 +0100 | <johnw> | edwardk: I am tearing off some byte sized chunks |
| 2023-12-19 00:38:25 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-12-19 00:42:28 +0100 | chomwitt | (~chomwitt@2a02:587:7a09:c300:1ac0:4dff:fedb:a3f1) (Ping timeout: 255 seconds) |
| 2023-12-19 00:58:38 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-12-19 01:02:54 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 256 seconds) |
| 2023-12-19 01:03:17 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-12-19 01:03:17 +0100 | mrmr15533 | (~mrmr@user/mrmr) (Ping timeout: 240 seconds) |
| 2023-12-19 01:04:28 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2023-12-19 01:09:13 +0100 | barak | (~barak@2a0d:6fc2:68c1:2600:e14a:d7fd:220f:efcc) |
| 2023-12-19 01:11:17 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-12-19 01:13:04 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 255 seconds) |
| 2023-12-19 01:16:27 +0100 | xdminsy | (~xdminsy@117.147.70.130) (Quit: Konversation terminated!) |
| 2023-12-19 01:16:47 +0100 | xdminsy | (~xdminsy@117.147.70.130) |
| 2023-12-19 01:16:50 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:9fc3:bef1:2212:70b2) (Remote host closed the connection) |
| 2023-12-19 01:21:22 +0100 | jargon | (~jargon@15.sub-174-205-161.myvzw.com) (Read error: Connection reset by peer) |
| 2023-12-19 01:22:47 +0100 | araujo | (~araujo@45.146.54.162) (Ping timeout: 264 seconds) |
| 2023-12-19 01:24:14 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-12-19 01:27:48 +0100 | notzmv | (~zmv@user/notzmv) |
| 2023-12-19 01:32:25 +0100 | barak | (~barak@2a0d:6fc2:68c1:2600:e14a:d7fd:220f:efcc) (Ping timeout: 255 seconds) |
| 2023-12-19 01:38:41 +0100 | jargon | (~jargon@15.sub-174-205-161.myvzw.com) |
| 2023-12-19 02:06:09 +0100 | Square | (~Square@user/square) |
| 2023-12-19 02:09:58 +0100 | eggplant_ | (~Eggplanta@2600:1700:38c5:d800:54de:61e3:a269:e175) |
| 2023-12-19 02:11:56 +0100 | Sciencentistguy4 | (~sciencent@hacksoc/ordinary-member) |
| 2023-12-19 02:13:14 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b8f4:6692:c948:4fa) (Ping timeout: 268 seconds) |
| 2023-12-19 02:13:51 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 268 seconds) |
| 2023-12-19 02:13:52 +0100 | Sciencentistguy4 | Sciencentistguy |
| 2023-12-19 02:14:24 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
| 2023-12-19 02:15:09 +0100 | lisbeths_ | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-12-19 02:17:29 +0100 | <lisbeths_> | Hey please show your support for the #lambdacalculus channel if you like lambda calculus |
| 2023-12-19 02:17:38 +0100 | <lisbeths_> | we are the official home of the knights of the lambda calculus |
| 2023-12-19 02:17:47 +0100 | <lisbeths_> | trying to grow our channel to a stable size |
| 2023-12-19 02:18:14 +0100 | <juri_> | sorry, i only hang with the knights of the eastern calculus. |
| 2023-12-19 02:18:30 +0100 | <lisbeths_> | drats |
| 2023-12-19 02:18:45 +0100 | <lisbeths_> | maybe I could convince you with our fancy lambda bot |
| 2023-12-19 02:21:27 +0100 | asdfhjk1 | (~asdfhjk1@2605:59c8:514c:8110::389) |
| 2023-12-19 02:24:44 +0100 | bratwurst | (~blaadsfa@S0106400fc136fc6e.lb.shawcable.net) (Remote host closed the connection) |
| 2023-12-19 02:25:08 +0100 | bratwurst | (~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8) |
| 2023-12-19 02:33:20 +0100 | mrmr15533 | (~mrmr@user/mrmr) |
| 2023-12-19 02:50:50 +0100 | Igloo | (~ian@matrix.chaos.earth.li) (Quit: BIAB) |
| 2023-12-19 02:53:52 +0100 | Igloo | (~ian@matrix.chaos.earth.li) |
| 2023-12-19 02:55:19 +0100 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) |
| 2023-12-19 02:57:41 +0100 | arahael_ | (~arahael@1.145.4.184) |
| 2023-12-19 02:57:50 +0100 | pavonia | (~user@user/siracusa) |
| 2023-12-19 02:59:13 +0100 | _xor | (~xor@72.49.195.41) (Read error: Connection reset by peer) |
| 2023-12-19 03:01:04 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2023-12-19 03:02:15 +0100 | bratwurst | (~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8) (Remote host closed the connection) |
| 2023-12-19 03:02:37 +0100 | bratwurst | (~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8) |
| 2023-12-19 03:06:24 +0100 | _xor | (~xor@72.49.195.41) |
| 2023-12-19 03:08:19 +0100 | defkev | (~defkev@2a09:bac5:2a23:1b4b::2b8:2f) |
| 2023-12-19 03:16:08 +0100 | bratwurst | (~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8) (Ping timeout: 268 seconds) |
| 2023-12-19 03:22:19 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2023-12-19 03:23:40 +0100 | <probie> | The knights of the lambda calculus? |
| 2023-12-19 03:42:39 +0100 | xff0x | (~xff0x@ai085147.d.east.v6connect.net) (Ping timeout: 256 seconds) |
| 2023-12-19 03:46:37 +0100 | Katarushisu1 | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2023-12-19 03:47:01 +0100 | Katarushisu1 | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2023-12-19 03:51:13 +0100 | Katarushisu19 | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2023-12-19 03:51:28 +0100 | Katarushisu1 | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2023-12-19 03:51:29 +0100 | Katarushisu19 | Katarushisu1 |
| 2023-12-19 04:00:44 +0100 | defkev | (~defkev@2a09:bac5:2a23:1b4b::2b8:2f) (Remote host closed the connection) |
| 2023-12-19 04:01:05 +0100 | defkev | (~defkev@2a09:bac5:2a23:1b4b::2b8:2f) |
| 2023-12-19 04:01:53 +0100 | Inst_ | (~Inst@120.244.192.109) |
| 2023-12-19 04:04:30 +0100 | Inst | (~Inst@120.244.192.109) (Ping timeout: 260 seconds) |
| 2023-12-19 04:05:03 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-12-19 04:05:03 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-12-19 04:11:33 +0100 | rosco | (~rosco@175.136.152.56) |
| 2023-12-19 04:15:27 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-12-19 04:17:26 +0100 | edr | (~edr@user/edr) (Quit: Leaving) |
| 2023-12-19 04:23:40 +0100 | defkev | (~defkev@2a09:bac5:2a23:1b4b::2b8:2f) (Ping timeout: 276 seconds) |
| 2023-12-19 04:25:21 +0100 | defkev | (~defkev@2a09:bac1:1e20:11e0::2b8:5b) |
| 2023-12-19 04:27:08 +0100 | talismanick | (~user@2601:204:ef00:bb0::f34e) |
| 2023-12-19 04:30:05 +0100 | td_ | (~td@i53870935.versanet.de) (Ping timeout: 252 seconds) |
| 2023-12-19 04:31:22 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-12-19 04:31:27 +0100 | eggplant_ | (~Eggplanta@2600:1700:38c5:d800:54de:61e3:a269:e175) (Remote host closed the connection) |
| 2023-12-19 04:31:36 +0100 | td_ | (~td@i5387091E.versanet.de) |
| 2023-12-19 04:31:42 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54de:61e3:a269:e175) |
| 2023-12-19 04:34:04 +0100 | arahael_ | (~arahael@1.145.4.184) (Ping timeout: 276 seconds) |
| 2023-12-19 04:37:06 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2023-12-19 04:43:50 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2023-12-19 04:52:52 +0100 | thegeekinside | (~thegeekin@189.141.65.247) (Ping timeout: 246 seconds) |
| 2023-12-19 04:55:39 +0100 | ddellacosta | (~ddellacos@ool-44c73d16.dyn.optonline.net) (Quit: WeeChat 4.1.1) |
| 2023-12-19 04:55:48 +0100 | ddellacosta | (~ddellacos@ool-44c73d16.dyn.optonline.net) |
| 2023-12-19 04:56:56 +0100 | ddellacosta | (~ddellacos@ool-44c73d16.dyn.optonline.net) (Client Quit) |
| 2023-12-19 04:57:06 +0100 | ddellacosta | (~ddellacos@ool-44c73d16.dyn.optonline.net) |
| 2023-12-19 05:03:31 +0100 | defkev | (~defkev@2a09:bac1:1e20:11e0::2b8:5b) (Remote host closed the connection) |
| 2023-12-19 05:03:53 +0100 | defkev | (~defkev@2a09:bac1:1e20:11e0::2b8:5b) |
| 2023-12-19 05:05:00 +0100 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-12-19 05:12:23 +0100 | defkev | (~defkev@2a09:bac1:1e20:11e0::2b8:5b) (Ping timeout: 268 seconds) |
| 2023-12-19 05:14:09 +0100 | defkev | (~defkev@2a09:bac1:1e00:11e0::1d8:176) |
| 2023-12-19 05:19:03 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-12-19 05:28:44 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2023-12-19 05:31:13 +0100 | aforemny_ | (~aforemny@2001:9e8:6cd5:e600:ef6a:bb8a:a5f5:c14b) |
| 2023-12-19 05:31:36 +0100 | <haskellbridge> | 05<irregularsphere> category what again |
| 2023-12-19 05:31:48 +0100 | aforemny | (~aforemny@2001:9e8:6cef:2b00:2a8:87dd:98aa:917b) (Ping timeout: 268 seconds) |
| 2023-12-19 05:34:05 +0100 | <haskellbridge> | 05<irregularsphere> lmao |
| 2023-12-19 05:35:44 +0100 | <haskellbridge> | 05<irregularsphere> after reading a bit I'd conclude that monads are just wrappers of maps a -> a (a is a category, therefore a type) |
| 2023-12-19 05:35:58 +0100 | <haskellbridge> | 05<irregularsphere> IO got some special treatment |
| 2023-12-19 05:37:26 +0100 | asdfhjk1 | (~asdfhjk1@2605:59c8:514c:8110::389) (Ping timeout: 245 seconds) |
| 2023-12-19 05:40:30 +0100 | thegeekinside | (~thegeekin@189.141.65.247) |
| 2023-12-19 05:48:53 +0100 | asivitz | (uid178348@id-178348.tinside.irccloud.com) |
| 2023-12-19 06:02:37 +0100 | defkev | (~defkev@2a09:bac1:1e00:11e0::1d8:176) (Ping timeout: 256 seconds) |
| 2023-12-19 06:16:37 +0100 | rvalue | (~rvalue@user/rvalue) (Quit: ZNC - https://znc.in) |
| 2023-12-19 06:16:51 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2023-12-19 06:18:01 +0100 | <ski> | irregularsphere : fwiw, the concept "monad" can be thought of as a particular abstract data type (akin to "priority queue", or "graph"), and then individual monads would be particular implementations of this abstract data type. (often people use analogies like "monads are collection types", which aren't entirely misplaced) |
| 2023-12-19 06:19:36 +0100 | <ski> | main practical difference is that, for an implementation of a priority queue, most of the useful operations are in the abstract priority queue interface (available for any priority queue), rather than particular operations specific to the implementation you're using. for monads, it tends to be the other way around. the monadic operations, per se, tell you very little about what a particular monad actually |
| 2023-12-19 06:19:43 +0100 | <ski> | does, or is good for. it's the operations specific to the monad in question, not the generic monad operations (for the most part, with some exceptions), that gives a monad most of its practical utility |
| 2023-12-19 06:21:14 +0100 | <ski> | .. but it should also be said that, due to monads being rather different in some ways that things you've likely encountered before, what tends to help the most with understanding them is not trying to understand the abstract concept to begin with, but rather trying to look at particular monads, seeing how they're actually used, what they allow you to do, what they're good for, that will allow you to form a |
| 2023-12-19 06:21:20 +0100 | <ski> | better understanding of monads in general |
| 2023-12-19 06:21:57 +0100 | <ski> | different monads are *quite* different. probably, only after seeing a whole bunch of different monads, seen how really *different* they can be, can you start to understand the general concept better |
| 2023-12-19 06:23:59 +0100 | thegeekinside | (~thegeekin@189.141.65.247) (Ping timeout: 264 seconds) |
| 2023-12-19 06:24:23 +0100 | <ski> | (but if you must, one way of explaining what monads do would be to say that they capture "dynamic sequencing" (which needs explanation to understand). each monad "sequences" "effects". what "effect" and what "sequence" means, depend on the particular monad. e.g. for list/nondeterminism monad, "sequence" means "loop nesting", while for failure/`Maybe' monad it means "short-circuiting", and for |
| 2023-12-19 06:24:29 +0100 | <ski> | environment/`Reader' monad it means "downward propagation of config") |
| 2023-12-19 06:25:04 +0100 | <ski> | (oh .. also probably avoid most monad tutorials out there) |
| 2023-12-19 06:26:00 +0100 | <dolio> | Yeah, priority queue is probably still too concrete to be a good analogy. |
| 2023-12-19 06:26:31 +0100 | ski | nods |
| 2023-12-19 06:26:33 +0100 | <dolio> | It's more like group. If all you know is that you have a group, you don't really know that much. |
| 2023-12-19 06:30:28 +0100 | <ski> | yea .. only that a lot of programmers don't really have much familiarity with abstract algebra, either. at best, perhaps some with linear algebra, but more about practical mechanics of (coordinate) vectors and matrices, rather than the more abstract view of arbitrary vector spaces (and linear maps between them) |
| 2023-12-19 06:30:56 +0100 | <dolio> | Yeah. |
| 2023-12-19 06:32:27 +0100 | trev | (~trev@user/trev) |
| 2023-12-19 06:34:30 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-12-19 06:34:33 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54de:61e3:a269:e175) (Remote host closed the connection) |
| 2023-12-19 06:34:35 +0100 | <ski> | one way to think about monads is that they encode, and allow you to abbreviate, abstract away, certain particular kinds of boilerplate code (state-passing, short-circuiting with `if' or `case', continuation-passing, ..) |
| 2023-12-19 06:34:37 +0100 | <dolio> | I'm not sure what a common programmer interface of similar generality would be. |
| 2023-12-19 06:34:53 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-12-19 06:35:36 +0100 | <ski> | which is part of the reason why people at first tend to have trouble getting to grips with it, trying to find analogous things in their previous experience, i think |
| 2023-12-19 06:35:52 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-12-19 06:40:14 +0100 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2023-12-19 06:50:04 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-12-19 06:50:21 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2023-12-19 06:50:31 +0100 | euleritian | (~euleritia@dynamic-046-114-205-137.46.114.pool.telefonica.de) |
| 2023-12-19 06:51:31 +0100 | <haskellbridge> | 05<irregularsphere> isn't that basically the category of monads? |
| 2023-12-19 06:51:56 +0100 | idris_67 | (~lukas@2804:14c:5b61:8498:63e6:c416:4ee2:5e02) |
| 2023-12-19 06:52:11 +0100 | <haskellbridge> | 05<irregularsphere> sorry I don't know that much category theory right now, I'm just a math nerd in this state |
| 2023-12-19 06:53:41 +0100 | <haskellbridge> | 05<irregularsphere> that's close to my understanding of monads |
| 2023-12-19 06:55:43 +0100 | <idris_67> | monads is just endofunctors on the category of unreal numbers with 3 differente images, dones't come to my mind the explanition of images rigth now, but if you study the symbols you will get there |
| 2023-12-19 06:56:07 +0100 | <haskellbridge> | 05<irregularsphere> is this proof by intimidation |
| 2023-12-19 06:56:14 +0100 | <haskellbridge> | 05<irregularsphere> xD |
| 2023-12-19 06:56:17 +0100 | <idris_67> | nop |
| 2023-12-19 06:56:22 +0100 | <idris_67> | just math |
| 2023-12-19 06:57:42 +0100 | <haskellbridge> | 05<irregularsphere> also no I don't think it's appropriate to call fields of math "unreal numbers" |
| 2023-12-19 06:58:34 +0100 | <idris_67> | is number theory |
| 2023-12-19 06:58:40 +0100 | <idris_67> | It's |
| 2023-12-19 06:58:53 +0100 | <haskellbridge> | 05<irregularsphere> I've heard that category theory generalizes all of math |
| 2023-12-19 06:59:00 +0100 | <ski> | irregularsphere : are you familiar with any other categories ? |
| 2023-12-19 06:59:16 +0100 | euleritian | (~euleritia@dynamic-046-114-205-137.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-12-19 06:59:29 +0100 | <haskellbridge> | 05<irregularsphere> I'm not at all familiar with math actually |
| 2023-12-19 06:59:32 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-12-19 06:59:39 +0100 | ski | nods |
| 2023-12-19 06:59:43 +0100 | <idris_67> | all of them. but monads is really interesting. |
| 2023-12-19 06:59:56 +0100 | <idris_67> | functor, bi-functor and monads |
| 2023-12-19 07:00:00 +0100 | <ski> | if you're primarily interested in the programming side of it, then i'd suggest ignoring the category theory, for now |
| 2023-12-19 07:00:18 +0100 | <idris_67> | with that you can imaginate the hole thing |
| 2023-12-19 07:00:25 +0100 | <ski> | (except as directly relevant to programming. and even then, don't start with the category theory) |
| 2023-12-19 07:00:35 +0100 | <haskellbridge> | 05<irregularsphere> got up to national-competition level but even that doesn't account for university maths |
| 2023-12-19 07:00:39 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54de:61e3:a269:e175) |
| 2023-12-19 07:01:07 +0100 | <haskellbridge> | 05<irregularsphere> all that for nothing |
| 2023-12-19 07:01:11 +0100 | <ski> | fwiw, stuff like trigonometry, calculus, won't really be much relevant at all |
| 2023-12-19 07:01:52 +0100 | <haskellbridge> | 05<irregularsphere> I know. It's an abstract hell. |
| 2023-12-19 07:02:21 +0100 | <haskellbridge> | 05<irregularsphere> anyways i'll try to pick up the both sides of things |
| 2023-12-19 07:02:25 +0100 | <ski> | (also, i don't think it really helps to throw around math terminology that doesn't even mean anything. at least try to be accurate, if you're going into the math) |
| 2023-12-19 07:03:16 +0100 | <haskellbridge> | 05<irregularsphere> weren't you also talking about practical side |
| 2023-12-19 07:03:19 +0100 | <idris_67> | morphisms. (meme of history channel "give me chills") |
| 2023-12-19 07:03:32 +0100 | <haskellbridge> | 05<irregularsphere> all the things I said were derived from the definition of a monad |
| 2023-12-19 07:03:46 +0100 | <ski> | irregularsphere : *basic* equation solving and function manipulation (replacing equals for equals, expanding and contracting function definitions, matching patterns), and basic logic, will be helpful for functional programming |
| 2023-12-19 07:03:47 +0100 | <haskellbridge> | 05<irregularsphere> well not derived but it's close |
| 2023-12-19 07:04:11 +0100 | <haskellbridge> | 05<irregularsphere> figured |
| 2023-12-19 07:04:13 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2023-12-19 07:04:20 +0100 | <ski> | irregularsphere : yes, i was trying to approach it from the practical side, above |
| 2023-12-19 07:05:15 +0100 | <ski> | (i was more commenting on how i believe saying "category of unreal numbers with 3 differente images" isn't really helpful, imho) |
| 2023-12-19 07:05:16 +0100 | <haskellbridge> | 05<irregularsphere> I saw |
| 2023-12-19 07:05:27 +0100 | euleritian | (~euleritia@dynamic-046-114-205-137.46.114.pool.telefonica.de) |
| 2023-12-19 07:05:50 +0100 | <idris_67> | if you know what they are and what they can be, you i'll know every transformation and how to deal with them |
| 2023-12-19 07:06:20 +0100 | <ski> | from a learning standpoint, you probably should not try to approach monads in Haskell, until you're already familiar with pattern-matching, polymorphism, parameterized data types, higher-order functions, type classes |
| 2023-12-19 07:06:54 +0100 | <haskellbridge> | 05<irregularsphere> actually I'm not only approaching monads |
| 2023-12-19 07:07:31 +0100 | <ski> | (learning how to *use* the `IO' monad, for basic Input/Output stuff using `do'-notation, can be done, before you really understand monads) |
| 2023-12-19 07:07:41 +0100 | <ski> | yes ? |
| 2023-12-19 07:08:12 +0100 | michalz | (~michalz@185.246.204.126) |
| 2023-12-19 07:08:19 +0100 | <haskellbridge> | 05<irregularsphere> I'm a middleschooler (grades 7-9) and I have a significant amount of free time right now |
| 2023-12-19 07:08:19 +0100 | <haskellbridge> | 05<irregularsphere> just trying to read and understand as much as I possibly can |
| 2023-12-19 07:08:52 +0100 | <ski> | (some people would say just `IO', rather than "`IO' monad", since it being a monad is only a small part (although important) of its functionality) |
| 2023-12-19 07:09:10 +0100 | <ski> | how much of basic Haskell would you say you're familiar with ? |
| 2023-12-19 07:09:45 +0100 | <haskellbridge> | 05<irregularsphere> actually few |
| 2023-12-19 07:09:46 +0100 | <haskellbridge> | 05<irregularsphere> I just got into the language |
| 2023-12-19 07:09:46 +0100 | <ski> | (also, what other programming languages do you have any familiarity with ?) |
| 2023-12-19 07:09:51 +0100 | ski | nods |
| 2023-12-19 07:10:23 +0100 | michalz | (~michalz@185.246.204.126) (Client Quit) |
| 2023-12-19 07:10:59 +0100 | <ski> | i'd say, don't bother too much about the monads, for the time being. because it's an exotic concept, not as commonly used in other languages (though it is being used some), it's what people often hear about being special about Haskell. but there's a lot of other interesting things in Haskell as well |
| 2023-12-19 07:11:08 +0100 | <haskellbridge> | 05<irregularsphere> also as I said I'm a math nerd so I favour the theoretical side of things, learning to use specific instances of concepts won't cut it for me |
| 2023-12-19 07:11:20 +0100 | <haskellbridge> | 05<irregularsphere> I'm going for all the exotic concepts |
| 2023-12-19 07:12:06 +0100 | <ski> | yea .. in that case, i'd say that you can try to look into the category theory stuff .. but later. for people not really interested in math, i wouldn't really suggest looking into the category theory stuff much at all |
| 2023-12-19 07:12:20 +0100 | <haskellbridge> | 05<irregularsphere> fair |
| 2023-12-19 07:12:56 +0100 | <ski> | "learning to use specific instances of concepts won't cut it for me" -- even in math, learning tends to go from specific and concrete, to more abstract and general |
| 2023-12-19 07:13:13 +0100 | michalz | (~michalz@185.246.204.121) |
| 2023-12-19 07:13:40 +0100 | <haskellbridge> | 05<irregularsphere> fair |
| 2023-12-19 07:13:47 +0100 | <ski> | if you've already seen enough examples, you can jump more quickly into the abstract stuff. but seeing as how monads aren't really that much like other stuff in programming, chances are you haven't seen enough examples yet, to be able to usefully do that |
| 2023-12-19 07:13:59 +0100 | <haskellbridge> | 05<irregularsphere> yup |
| 2023-12-19 07:14:05 +0100 | <haskellbridge> | 05<irregularsphere> I'll go back to all of this later |
| 2023-12-19 07:14:13 +0100 | <haskellbridge> | 05<irregularsphere> I should pick up abstract algebra |
| 2023-12-19 07:14:22 +0100 | <ski> | it can be fun, for sure |
| 2023-12-19 07:15:03 +0100 | <ski> | (having fun is the other thing i would recommend, when learning Haskell. having fun tends to help a lot with learning) |
| 2023-12-19 07:15:32 +0100 | <haskellbridge> | 05<irregularsphere> "having fun" is highly subjective |
| 2023-12-19 07:15:46 +0100 | <ski> | yes |
| 2023-12-19 07:16:14 +0100 | <ski> | you need to figure out what picques your interest |
| 2023-12-19 07:17:00 +0100 | <haskellbridge> | 05<irregularsphere> ~~hey at least i know what a functor is now~~ |
| 2023-12-19 07:17:19 +0100 | <ski> | what would you say it is, in your words ? |
| 2023-12-19 07:17:50 +0100 | ski | carefully sips cuppa tea |
| 2023-12-19 07:17:57 +0100 | <haskellbridge> | 05<irregularsphere> a map from a category to another |
| 2023-12-19 07:18:15 +0100 | <ski> | sure |
| 2023-12-19 07:18:21 +0100 | <ski> | (but what does that mean, really ?) |
| 2023-12-19 07:18:24 +0100 | <haskellbridge> | 05<irregularsphere> more concretely an arrow in the category of categories |
| 2023-12-19 07:18:31 +0100 | <ski> | yes |
| 2023-12-19 07:18:47 +0100 | <ski> | know any other examples of categories ? |
| 2023-12-19 07:18:58 +0100 | <haskellbridge> | 05<irregularsphere> in this case it maps objects and arrows from one category to another |
| 2023-12-19 07:19:11 +0100 | <haskellbridge> | 05<irregularsphere> category of functors exist |
| 2023-12-19 07:19:25 +0100 | <ski> | kinda like graph homomorphisms (if you've looked any at graph theory) |
| 2023-12-19 07:19:51 +0100 | <ski> | anything more concrete than that example ? |
| 2023-12-19 07:20:43 +0100 | <haskellbridge> | 05<irregularsphere> once you said "kinda like" enough times you'll discover what an isomorphism is |
| 2023-12-19 07:21:00 +0100 | <ski> | meaning "same shape" |
| 2023-12-19 07:21:10 +0100 | <haskellbridge> | 05<irregularsphere> everything is equally concrete |
| 2023-12-19 07:21:18 +0100 | <haskellbridge> | 12<Celestial> I don't know why it alwasw have to be that complicated, I just think of it as `mappable` :P |
| 2023-12-19 07:21:19 +0100 | <haskellbridge> | 12<Celestial> The most abstract notion possible |
| 2023-12-19 07:21:51 +0100 | <haskellbridge> | 05<irregularsphere> mappable sounds like a property of the object being worked on, not the map itself |
| 2023-12-19 07:21:55 +0100 | <ski> | in group theory, two groups, each having a set of elements, and a "multiplication table" for them, are isomorphic, if you can get one table from the other, by renaming the elements, and reordering rows, and reordering columns, in the table |
| 2023-12-19 07:21:58 +0100 | <haskellbridge> | 05<irregularsphere> mappable sounds like a property of the object being worked on, not concerning the map itself |
| 2023-12-19 07:22:27 +0100 | <ski> | Celestial : that's not a bad intuition |
| 2023-12-19 07:22:50 +0100 | <monochrom> | I grant you that the formal definition is pretty abstract. But it is by far not the most abstract notion possible. And abstract does not imply complicated either. The formal definition of functor is pretty straightforward. |
| 2023-12-19 07:23:09 +0100 | <haskellbridge> | 05<irregularsphere> in group theory fair |
| 2023-12-19 07:23:28 +0100 | <haskellbridge> | 05<irregularsphere> wait |
| 2023-12-19 07:23:35 +0100 | <haskellbridge> | 05<irregularsphere> what;s even a multiplication table |
| 2023-12-19 07:23:52 +0100 | <haskellbridge> | 05<irregularsphere> is that a function X² -> X for groups X |
| 2023-12-19 07:23:56 +0100 | <ski> | irregularsphere : well, what would "the object being worked on" be, in that case ? |
| 2023-12-19 07:24:00 +0100 | chomwitt | (~chomwitt@2a02:587:7a09:c300:1ac0:4dff:fedb:a3f1) |
| 2023-12-19 07:24:06 +0100 | <ski> | irregularsphere : yes |
| 2023-12-19 07:25:34 +0100 | <ski> | (often abstract things are pretty simple. that's often part of the problem, when trying to understand them. they're *too* simple, too little to grasp, latch onto, that reminds oneself of things one already knows about. and even if one may be able to grasp it, it may still be a mystery how this is related to more specific and concrete things) |
| 2023-12-19 07:26:10 +0100 | <haskellbridge> | 05<irregularsphere> as an example with Endo (monoid of endomorphisms) and- |
| 2023-12-19 07:26:11 +0100 | <haskellbridge> | 05<irregularsphere> I'll get back to this later |
| 2023-12-19 07:26:32 +0100 | <haskellbridge> | 05<irregularsphere> yeah I've found very little examples I've ever read to even appreciate category theory to be honest |
| 2023-12-19 07:26:43 +0100 | <haskellbridge> | 05<irregularsphere> I'm going to leave this for later |
| 2023-12-19 07:27:35 +0100 | <ski> | trouble with math books about category theory, is that you often need examples to understand their examples. the concrete examples in category theory being abstract concepts of other math fields |
| 2023-12-19 07:28:13 +0100 | <haskellbridge> | 05<irregularsphere> yes because category theory is basically a foundation/unifier for all of mathematics |
| 2023-12-19 07:28:25 +0100 | <haskellbridge> | 05<irregularsphere> all fields get their own set of categories afaik |
| 2023-12-19 07:28:53 +0100 | <ski> | so, they tend to reference a whole bunch of other math fields, where it can feel like you need to know them all, in order to be able to grasp category theory. while it certainly helps to know more about different math fields here, one usually doesn't have to understand all those concrete fields, to understand, at least to some extent, the abstract concept in category theory |
| 2023-12-19 07:29:28 +0100 | <haskellbridge> | 05<irregularsphere> fits with what category theory is supposed to be for |
| 2023-12-19 07:29:38 +0100 | <ski> | the book "Conceptual mathematics: a first introduction to categories", by Lawvere & Schanuel is pretty nice, easy going with what it assumes you know about other math fields, though |
| 2023-12-19 07:30:12 +0100 | <ski> | "all fields get their own set of categories afaik" -- perhaps not all, but a whole lot, anyway |
| 2023-12-19 07:30:39 +0100 | <ski> | "basically a foundation/unifier for all of mathematics" -- it's often more like a common language |
| 2023-12-19 07:31:08 +0100 | <ski> | set theory can be seen as a way to try to unify math fields "from below", by telling how you can implement them, in terms of sets |
| 2023-12-19 07:31:45 +0100 | <ski> | while category theory is more unifying "from above"", focusing on specifications/characterizations, what the essential properties are, rather than on implementations/representations |
| 2023-12-19 07:32:21 +0100 | <ski> | category theory is also more "relational". things are not described, in terms of what they are, but how they relate to "other things of the same kind" |
| 2023-12-19 07:33:00 +0100 | <idris_67> | up^ |
| 2023-12-19 07:37:42 +0100 | <ski> | (and yea, `Endo' (monoid of endomorphisms), and `Iso' (group of isomorphisms) are important in abstract algebra (especially actions, representation theory)) |
| 2023-12-19 07:39:52 +0100 | johnw | (~johnw@69.62.242.138) |
| 2023-12-19 07:44:00 +0100 | idris_67 | (~lukas@2804:14c:5b61:8498:63e6:c416:4ee2:5e02) (Quit: Leaving.) |
| 2023-12-19 07:52:40 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2023-12-19 07:58:56 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:219:ffcc:ddb2:fd7) |
| 2023-12-19 08:02:56 +0100 | igemnace | (~ian@user/igemnace) |
| 2023-12-19 08:04:18 +0100 | acidjnk | (~acidjnk@p200300d6e72b9327e868e6102608b4a6.dip0.t-ipconnect.de) |
| 2023-12-19 08:05:55 +0100 | idris_67 | (~lukas@2804:14c:5b61:8498:63e6:c416:4ee2:5e02) |
| 2023-12-19 08:08:02 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2023-12-19 08:09:55 +0100 | euleritian | (~euleritia@dynamic-046-114-205-137.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-12-19 08:10:12 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-12-19 08:14:07 +0100 | idris_67 | (~lukas@2804:14c:5b61:8498:63e6:c416:4ee2:5e02) (Quit: Leaving.) |
| 2023-12-19 08:14:12 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-12-19 08:16:29 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2023-12-19 08:21:23 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-12-19 08:29:38 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-12-19 08:32:40 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2023-12-19 08:33:49 +0100 | shapr | (~user@2600:1700:c640:3100:2fb2:5291:c8c7:a8e0) (Ping timeout: 260 seconds) |
| 2023-12-19 08:41:22 +0100 | not_reserved | (~not_reser@154.16.157.95) |
| 2023-12-19 08:54:47 +0100 | lisbeths_ | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-12-19 08:55:19 +0100 | Square2 | (~Square4@user/square) |
| 2023-12-19 08:55:44 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2023-12-19 08:57:22 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2023-12-19 08:58:29 +0100 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2023-12-19 09:00:46 +0100 | sympulse | (~sympulse@176.254.244.83) (Ping timeout: 245 seconds) |
| 2023-12-19 09:17:03 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 2023-12-19 09:20:40 +0100 | lisbeths_ | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-12-19 09:23:46 +0100 | ft | (~ft@p4fc2ae2b.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-12-19 09:25:20 +0100 | CiaoSen | (~Jura@2a05:5800:286:3700:ca4b:d6ff:fec1:99da) |
| 2023-12-19 09:28:34 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-12-19 09:31:41 +0100 | steew | (~steew@user/steew) (Remote host closed the connection) |
| 2023-12-19 09:33:32 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 268 seconds) |
| 2023-12-19 09:34:03 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-19 09:36:12 +0100 | sympulse | (~sympulse@176.254.244.83) |
| 2023-12-19 09:38:28 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-12-19 09:38:57 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2023-12-19 09:40:28 +0100 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 2023-12-19 09:42:18 +0100 | nyr | (~nyr@user/nyr) |
| 2023-12-19 09:44:46 +0100 | sympulse | (~sympulse@176.254.244.83) (Ping timeout: 256 seconds) |
| 2023-12-19 09:46:03 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2023-12-19 09:48:04 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-12-19 09:50:21 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 245 seconds) |
| 2023-12-19 09:52:38 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-12-19 09:56:58 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-19 10:01:34 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 246 seconds) |
| 2023-12-19 10:03:03 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-19 10:04:38 +0100 | talismanick | (~user@2601:204:ef00:bb0::f34e) (Ping timeout: 256 seconds) |
| 2023-12-19 10:05:37 +0100 | Inrayzex | (~Inrayzex@176.254.244.83) |
| 2023-12-19 10:07:25 +0100 | talismanick | (~user@2601:204:ef00:bb0::f34e) |
| 2023-12-19 10:07:35 +0100 | nyr | (~nyr@user/nyr) (Quit: WeeChat 4.1.2) |
| 2023-12-19 10:10:16 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-12-19 10:14:23 +0100 | xdminsy | (~xdminsy@117.147.70.130) (Ping timeout: 264 seconds) |
| 2023-12-19 10:15:16 +0100 | <petrichor> | ok, so i've reached the usual point with advent of code where i usually give up on haskell and switch to python |
| 2023-12-19 10:15:22 +0100 | <petrichor> | and i would like to not do that this year |
| 2023-12-19 10:15:30 +0100 | xdminsy | (~xdminsy@117.147.70.130) |
| 2023-12-19 10:16:19 +0100 | <petrichor> | it's where you start having to track your position on a 2d map, and sometimes update the map |
| 2023-12-19 10:17:09 +0100 | <petrichor> | i can conceptualise how to do that in an imperative language fairly easily, but i don't really grok what tools i have in my haskell toolbox to deal with this |
| 2023-12-19 10:18:20 +0100 | <petrichor> | is this where it starts making sense to put my functions in the Reader or State monads? |
| 2023-12-19 10:19:08 +0100 | <probie> | Do you really have to update the map? |
| 2023-12-19 10:20:42 +0100 | <[exa]> | petrichor: `State (Map ...) ()` and done |
| 2023-12-19 10:20:43 +0100 | <Vq> | petrichor: which day is it? |
| 2023-12-19 10:21:05 +0100 | <petrichor> | oh yeah, it's day 10 |
| 2023-12-19 10:22:13 +0100 | <petrichor> | nothing in day 10 that suggests the map needs updating, but sometimes later problems do need (or are easier with) modifying a map in-place |
| 2023-12-19 10:23:37 +0100 | zetef | (~quassel@95.77.17.251) |
| 2023-12-19 10:25:32 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-12-19 10:27:51 +0100 | <Vq> | petrichor: I solved that with an accumulating parameter, but yeah, it could make sense to use a State monad for it. |
| 2023-12-19 10:28:09 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2023-12-19 10:28:41 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-12-19 10:28:47 +0100 | <[exa]> | petrichor: btw if you want to go to C++-level stateful code, it's super nice to combine State + lensy operators |
| 2023-12-19 10:28:50 +0100 | zetef | (~quassel@95.77.17.251) (Remote host closed the connection) |
| 2023-12-19 10:28:57 +0100 | <[exa]> | you can do literally stuff like `player.position.x += 5` etc |
| 2023-12-19 10:29:29 +0100 | barak | (~barak@2a0d:6fc2:68c1:2600:e14a:d7fd:220f:efcc) |
| 2023-12-19 10:29:31 +0100 | zetef | (~quassel@95.77.17.251) |
| 2023-12-19 10:31:19 +0100 | danse-nr3 | (~danse@151.57.200.71) |
| 2023-12-19 10:32:45 +0100 | <petrichor> | Vq: yeah, certainly for earlier days it's more about exercising the pure functional part of my brain |
| 2023-12-19 10:33:10 +0100 | <petrichor> | getting my head around "how do i approach this *type* of problem in a functional way" |
| 2023-12-19 10:35:26 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-12-19 10:35:35 +0100 | barak | (~barak@2a0d:6fc2:68c1:2600:e14a:d7fd:220f:efcc) (Remote host closed the connection) |
| 2023-12-19 10:37:12 +0100 | zetef | (~quassel@95.77.17.251) (Remote host closed the connection) |
| 2023-12-19 10:37:23 +0100 | <Vq> | petrichor: If you feel comfortable with the accumulating parameter pattern, by all means do it with State, I think it can be a good excercise. |
| 2023-12-19 10:37:58 +0100 | zetef | (~quassel@95.77.17.251) |
| 2023-12-19 10:44:29 +0100 | <dminuoso_> | petrichor: Admittedly, mutation is more difficult to pull off in Haskell. As a compromise you can also use Reader with STRef/IORef, which is a good approximation of imperative languages. |
| 2023-12-19 10:45:30 +0100 | <dminuoso_> | State while seeming functional has a bunch of non-obvious issues. |
| 2023-12-19 10:46:13 +0100 | <dminuoso_> | But the lack of a first-class mechanism to access or change nested things is really frustrating. |
| 2023-12-19 10:48:29 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 252 seconds) |
| 2023-12-19 10:49:07 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-12-19 10:51:37 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-12-19 10:53:10 +0100 | <[exa]> | dminuoso_: but imagine all the other frustration that it rids us of. :D |
| 2023-12-19 10:55:23 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-19 10:55:46 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:620d:13c9:8b8c:a23f) |
| 2023-12-19 10:56:42 +0100 | <dminuoso_> | [exa]: Oh, you mean like database interaction, web servers, cross compilation, webasm targeting, realtime computing, first class support for interfaces/protocols? Yes, lots of frustration it rids us of! |
| 2023-12-19 10:56:47 +0100 | <dminuoso_> | :-) |
| 2023-12-19 10:56:54 +0100 | <petrichor> | >_< |
| 2023-12-19 10:57:28 +0100 | <petrichor> | tbf, programming is much easier if you don't need any of those... ;P |
| 2023-12-19 10:57:48 +0100 | <dminuoso_> | The last one makes programming much easier in general. |
| 2023-12-19 10:59:29 +0100 | <sprout> | you don't really need anything for AoC in haskell than vanilla functional programming, only a map is nice since lists has O(n) operations |
| 2023-12-19 10:59:57 +0100 | <sprout> | if you want to make stuff really fast, then it's different |
| 2023-12-19 10:59:59 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 264 seconds) |
| 2023-12-19 11:01:52 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2023-12-19 11:02:23 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-19 11:02:40 +0100 | <petrichor> | dminuoso_: but if your tasks are simple enough that you don't need them, then they're much easier to solve ;) |
| 2023-12-19 11:03:39 +0100 | <dminuoso_> | petrichor: I tend to think differently. Haskell is my primary choice when my problems become too complex, that simple a simple "Open, use, crash, fix" loop style of programmig isnt enough. |
| 2023-12-19 11:03:50 +0100 | <dminuoso_> | When you need higher guarantees about code correctness. |
| 2023-12-19 11:06:34 +0100 | <petrichor> | dminuoso_: oh yeah, i 100% agree |
| 2023-12-19 11:06:36 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 245 seconds) |
| 2023-12-19 11:07:25 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-12-19 11:07:26 +0100 | <petrichor> | the other way of phrasing it is that if your problem is simple enough not to need any of those things you mentioned, it's probably not that interesting anyway |
| 2023-12-19 11:10:20 +0100 | waldo | (~waldo@user/waldo) (Quit: waldo) |
| 2023-12-19 11:11:42 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-19 11:13:29 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54de:61e3:a269:e175) (Remote host closed the connection) |
| 2023-12-19 11:17:04 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 276 seconds) |
| 2023-12-19 11:22:41 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 268 seconds) |
| 2023-12-19 11:23:41 +0100 | anon1123 | (~anon1123@2a02:ab88:282:b00:da3a:ddff:fe3a:947c) (Ping timeout: 245 seconds) |
| 2023-12-19 11:24:21 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-12-19 11:24:23 +0100 | <sprout> | nah, there are lots of interesting toy problems |
| 2023-12-19 11:24:29 +0100 | anon1123 | (~anon1123@catv-176-63-0-119.catv.fixed.vodafone.hu) |
| 2023-12-19 11:28:38 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-19 11:32:55 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 246 seconds) |
| 2023-12-19 11:35:34 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-19 11:36:36 +0100 | xdminsy | (~xdminsy@117.147.70.130) (Ping timeout: 245 seconds) |
| 2023-12-19 11:48:10 +0100 | __monty__ | (~toonn@user/toonn) |
| 2023-12-19 11:48:16 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 245 seconds) |
| 2023-12-19 11:49:42 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54de:61e3:a269:e175) |
| 2023-12-19 11:54:19 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54de:61e3:a269:e175) (Ping timeout: 260 seconds) |
| 2023-12-19 11:57:24 +0100 | talismanick | (~user@2601:204:ef00:bb0::f34e) (Read error: Connection reset by peer) |
| 2023-12-19 11:57:39 +0100 | talismanick | (~user@2601:204:ef00:bb0::f34e) |
| 2023-12-19 11:58:05 +0100 | chele | (~chele@user/chele) |
| 2023-12-19 11:59:06 +0100 | barak | (~barak@2a0d:6fc2:68c1:2600:e14a:d7fd:220f:efcc) |
| 2023-12-19 12:00:42 +0100 | not_reserved | (~not_reser@154.16.157.95) (Quit: Client closed) |
| 2023-12-19 12:04:40 +0100 | CiaoSen | (~Jura@2a05:5800:286:3700:ca4b:d6ff:fec1:99da) (Ping timeout: 255 seconds) |
| 2023-12-19 12:06:45 +0100 | not_reserved | (~not_reser@154.16.157.95) |
| 2023-12-19 12:09:03 +0100 | xff0x | (~xff0x@2405:6580:b080:900:94a4:4776:17d9:b560) |
| 2023-12-19 12:15:41 +0100 | rachelambda | (~rachelamb@cust-95-80-25-71.csbnet.se) |
| 2023-12-19 12:18:53 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2023-12-19 12:18:58 +0100 | alp__ | (~alp@2001:861:e3d6:8f80:9308:1729:af56:70eb) |
| 2023-12-19 12:20:05 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:219:ffcc:ddb2:fd7) (Ping timeout: 240 seconds) |
| 2023-12-19 12:24:33 +0100 | alp__ | (~alp@2001:861:e3d6:8f80:9308:1729:af56:70eb) (Ping timeout: 256 seconds) |
| 2023-12-19 12:25:10 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2023-12-19 12:25:17 +0100 | zetef | (~quassel@95.77.17.251) |
| 2023-12-19 12:25:58 +0100 | euleritian | (~euleritia@dynamic-046-114-202-221.46.114.pool.telefonica.de) |
| 2023-12-19 12:27:55 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 276 seconds) |
| 2023-12-19 12:29:28 +0100 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 4.1.2) |
| 2023-12-19 12:29:39 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:3ed6:2324:fefd:ff58) |
| 2023-12-19 12:33:36 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds) |
| 2023-12-19 12:33:40 +0100 | euleritian | (~euleritia@dynamic-046-114-202-221.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-12-19 12:33:59 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-12-19 12:34:02 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-19 12:35:01 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-12-19 12:36:31 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-12-19 12:38:21 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:3ed6:2324:fefd:ff58) (Ping timeout: 260 seconds) |
| 2023-12-19 12:38:27 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54de:61e3:a269:e175) |
| 2023-12-19 12:39:34 +0100 | barak | (~barak@2a0d:6fc2:68c1:2600:e14a:d7fd:220f:efcc) (Remote host closed the connection) |
| 2023-12-19 12:41:34 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2023-12-19 12:42:11 +0100 | euleritian | (~euleritia@dynamic-046-114-178-206.46.114.pool.telefonica.de) |
| 2023-12-19 12:42:54 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3140-8db4-0481-ed33-aa27-b66e.rev.sfr.net) |
| 2023-12-19 12:43:08 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2023-12-19 12:43:50 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-12-19 12:44:33 +0100 | euleritian | (~euleritia@dynamic-046-114-178-206.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-12-19 12:44:58 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:e7a:15ff:fefc:533c) |
| 2023-12-19 12:46:01 +0100 | euleritian | (~euleritia@dynamic-046-114-178-206.46.114.pool.telefonica.de) |
| 2023-12-19 12:51:09 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:e7a:15ff:fefc:533c) (Remote host closed the connection) |
| 2023-12-19 12:51:26 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:fa7b:a3fc:911d:d8fb) |
| 2023-12-19 12:52:46 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2023-12-19 12:53:22 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-12-19 12:55:33 +0100 | araujo | (~araujo@45.146.54.76) |
| 2023-12-19 12:56:15 +0100 | euleritian | (~euleritia@dynamic-046-114-178-206.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-12-19 12:56:32 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-12-19 12:58:25 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2023-12-19 12:58:58 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-12-19 13:04:18 +0100 | danse-nr3 | (~danse@151.57.200.71) (Read error: Connection reset by peer) |
| 2023-12-19 13:04:35 +0100 | danse-nr3 | (~danse@151.57.168.119) |
| 2023-12-19 13:04:58 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:fa7b:a3fc:911d:d8fb) (Ping timeout: 246 seconds) |
| 2023-12-19 13:08:29 +0100 | xff0x | (~xff0x@2405:6580:b080:900:94a4:4776:17d9:b560) (Ping timeout: 240 seconds) |
| 2023-12-19 13:10:18 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 268 seconds) |
| 2023-12-19 13:10:23 +0100 | danse-nr3 | (~danse@151.57.168.119) (Ping timeout: 255 seconds) |
| 2023-12-19 13:10:25 +0100 | xff0x | (~xff0x@2405:6580:b080:900:94a4:4776:17d9:b560) |
| 2023-12-19 13:10:28 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:3dab:d6e0:7a86:adbd) |
| 2023-12-19 13:10:30 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2023-12-19 13:11:06 +0100 | euleritian | (~euleritia@dynamic-046-114-178-206.46.114.pool.telefonica.de) |
| 2023-12-19 13:11:52 +0100 | euleritian | (~euleritia@dynamic-046-114-178-206.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-12-19 13:12:10 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-12-19 13:13:41 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 268 seconds) |
| 2023-12-19 13:16:49 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 256 seconds) |
| 2023-12-19 13:17:33 +0100 | bryanv | (~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10) |
| 2023-12-19 13:17:54 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-19 13:19:14 +0100 | bryanv_ | (~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10) (Ping timeout: 268 seconds) |
| 2023-12-19 13:22:24 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 256 seconds) |
| 2023-12-19 13:40:31 +0100 | mikess | (~sam@user/mikess) (Ping timeout: 268 seconds) |
| 2023-12-19 13:55:11 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2023-12-19 13:55:15 +0100 | CiaoSen | (~Jura@2a05:5800:286:3700:ca4b:d6ff:fec1:99da) |
| 2023-12-19 13:55:32 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2023-12-19 13:56:09 +0100 | euleritian | (~euleritia@dynamic-176-003-130-045.176.3.pool.telefonica.de) |
| 2023-12-19 13:59:54 +0100 | wib_jonas | (~wib_jonas@business-37-191-60-209.business.broadband.hu) |
| 2023-12-19 14:01:08 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-12-19 14:09:01 +0100 | euleritian | (~euleritia@dynamic-176-003-130-045.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-12-19 14:09:24 +0100 | euleritian | (~euleritia@dynamic-176-003-130-045.176.3.pool.telefonica.de) |
| 2023-12-19 14:11:54 +0100 | euleritian | (~euleritia@dynamic-176-003-130-045.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-12-19 14:12:12 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-12-19 14:12:49 +0100 | igemnace | (~ian@user/igemnace) |
| 2023-12-19 14:19:58 +0100 | sawilagar | (~sawilagar@user/sawilagar) |
| 2023-12-19 14:20:24 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-19 14:29:12 +0100 | <iphy> | (\tus -> traverseAst collectEnums tus >> traverseAst linter tus) -- is there a better way to write this? |
| 2023-12-19 14:33:59 +0100 | jargon | (~jargon@15.sub-174-205-161.myvzw.com) (Ping timeout: 252 seconds) |
| 2023-12-19 14:34:25 +0100 | not_reserved | (~not_reser@154.16.157.95) (Quit: Client closed) |
| 2023-12-19 14:34:41 +0100 | jargon | (~jargon@15.sub-174-205-161.myvzw.com) |
| 2023-12-19 14:42:35 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 264 seconds) |
| 2023-12-19 14:44:46 +0100 | xff0x | (~xff0x@2405:6580:b080:900:94a4:4776:17d9:b560) (Quit: xff0x) |
| 2023-12-19 14:50:53 +0100 | xff0x | (~xff0x@2405:6580:b080:900:e762:3794:c658:ff64) |
| 2023-12-19 14:52:35 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2023-12-19 14:55:51 +0100 | euleritian | (~euleritia@dynamic-176-003-130-045.176.3.pool.telefonica.de) |
| 2023-12-19 15:00:46 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 245 seconds) |
| 2023-12-19 15:03:56 +0100 | <mauke> | @pl (\tus -> traverseAst collectEnums tus >> traverseAst linter tus) |
| 2023-12-19 15:03:57 +0100 | <lambdabot> | ap ((>>) . traverseAst collectEnums) (traverseAst linter) |
| 2023-12-19 15:04:01 +0100 | <mauke> | ew |
| 2023-12-19 15:04:06 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 245 seconds) |
| 2023-12-19 15:04:09 +0100 | thegeekinside | (~thegeekin@189.141.65.247) |
| 2023-12-19 15:08:04 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-19 15:08:42 +0100 | thegeekinside | (~thegeekin@189.141.65.247) (Ping timeout: 268 seconds) |
| 2023-12-19 15:12:04 +0100 | <iphy> | yeah, not better |
| 2023-12-19 15:12:10 +0100 | <iphy> | @type 3 |
| 2023-12-19 15:12:11 +0100 | <lambdabot> | Num p => p |
| 2023-12-19 15:12:32 +0100 | <iphy> | @type (\f g x -> f x >> g x) |
| 2023-12-19 15:12:34 +0100 | <lambdabot> | Monad m => (t -> m a) -> (t -> m b) -> t -> m b |
| 2023-12-19 15:12:38 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-12-19 15:12:48 +0100 | <iphy> | I tried this in hoogle, but nothing exists, and I only do it once so I don't want to write it myself |
| 2023-12-19 15:13:16 +0100 | <iphy> | `m a` can be `m ()`, but then it still doesn't exist |
| 2023-12-19 15:17:11 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-12-19 15:18:02 +0100 | edr | (~edr@user/edr) |
| 2023-12-19 15:18:03 +0100 | euleritian | (~euleritia@dynamic-176-003-130-045.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-12-19 15:18:20 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-12-19 15:24:54 +0100 | not_reserved | (~not_reser@154.16.157.95) |
| 2023-12-19 15:24:56 +0100 | thegeekinside | (~thegeekin@189.141.65.247) |
| 2023-12-19 15:26:40 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 276 seconds) |
| 2023-12-19 15:28:14 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-12-19 15:29:12 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-12-19 15:31:42 +0100 | <ski> | liftA2 (>>) (traverseAst collectEnums) (traverseAst linter) |
| 2023-12-19 15:31:51 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-19 15:31:59 +0100 | <ski> | (>>) <$> traverseAst collectEnums <*> traverseAst linter |
| 2023-12-19 15:32:04 +0100 | <ski> | iphy ^ |
| 2023-12-19 15:32:19 +0100 | <iphy> | oh nice |
| 2023-12-19 15:32:31 +0100 | <iphy> | well, not super nice, but slightly nice |
| 2023-12-19 15:32:45 +0100 | <ski> | .. would it be possible to merge the `traverseAst's ? |
| 2023-12-19 15:33:04 +0100 | wib_jonas | (~wib_jonas@business-37-191-60-209.business.broadband.hu) (Quit: Client closed) |
| 2023-12-19 15:33:04 +0100 | <ski> | traverseAst (\tu -> collectEnums tu >> linter tu) |
| 2023-12-19 15:33:20 +0100 | <ski> | traverseAst (liftA2 (>>) collectEnums linter) |
| 2023-12-19 15:33:32 +0100 | <ski> | traverseAst ((>>) <$> collectEnums <*> linter) |
| 2023-12-19 15:34:22 +0100 | <ski> | iphy : note that this will interleave the `collectEnums tu' and `linter tu' invocations, rather than doing all the former before all the latter |
| 2023-12-19 15:34:47 +0100 | <iphy> | right, they do need to be sequenced |
| 2023-12-19 15:35:02 +0100 | <ski> | i see |
| 2023-12-19 15:35:10 +0100 | shapr | (~user@2600:1700:c640:3100:65bb:6b6f:aa53:d788) |
| 2023-12-19 15:35:14 +0100 | <iphy> | I need to know all the enums before running the enum linter |
| 2023-12-19 15:36:17 +0100 | ski | nods |
| 2023-12-19 15:37:54 +0100 | rosco | (~rosco@175.136.152.56) (Quit: Lost terminal) |
| 2023-12-19 15:39:30 +0100 | <Inst_> | welp, i think my personal crisis is over, sorry aboutall of that |
| 2023-12-19 15:40:47 +0100 | Inst_ | Inst |
| 2023-12-19 15:41:09 +0100 | <ski> | (liftA2 . liftA2) (>>) ($ collectEnums) ($ linter) traverseAst |
| 2023-12-19 15:41:35 +0100 | jargon | (~jargon@15.sub-174-205-161.myvzw.com) (Read error: Connection reset by peer) |
| 2023-12-19 15:42:04 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3140-8db4-0481-ed33-aa27-b66e.rev.sfr.net) (Remote host closed the connection) |
| 2023-12-19 15:42:12 +0100 | <ski> | iphy : ^ .. doesn't look that much better, tbh .. and wouldn't work, if `collectEnum's and `linter' have different types, anyway |
| 2023-12-19 15:42:24 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3140-8db4-0481-ed33-aa27-b66e.rev.sfr.net) |
| 2023-12-19 15:42:34 +0100 | ski | glances over at Inst |
| 2023-12-19 15:43:10 +0100 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 246 seconds) |
| 2023-12-19 15:43:39 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-12-19 15:44:10 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2023-12-19 15:45:04 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-12-19 15:47:27 +0100 | emad | (~emad@156.214.22.91) |
| 2023-12-19 15:48:19 +0100 | <fendor> | Any easy way to shuffle a list? random API is a bit lacking to do something quick and dirty |
| 2023-12-19 15:48:36 +0100 | <exarkun> | There's a `random-shuffle` package |
| 2023-12-19 15:48:38 +0100 | wib_jonas | (~wib_jonas@business-37-191-60-209.business.broadband.hu) |
| 2023-12-19 15:49:25 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2023-12-19 15:49:45 +0100 | emad | (~emad@156.214.22.91) (Client Quit) |
| 2023-12-19 15:50:20 +0100 | euleritian | (~euleritia@dynamic-176-003-130-045.176.3.pool.telefonica.de) |
| 2023-12-19 15:53:05 +0100 | duncan | (~duncan@user/duncan) (Ping timeout: 256 seconds) |
| 2023-12-19 15:53:25 +0100 | <fendor> | perfect, thanks! |
| 2023-12-19 15:57:37 +0100 | CiaoSen | (~Jura@2a05:5800:286:3700:ca4b:d6ff:fec1:99da) (Ping timeout: 256 seconds) |
| 2023-12-19 15:58:09 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3140-8db4-0481-ed33-aa27-b66e.rev.sfr.net) (Remote host closed the connection) |
| 2023-12-19 15:58:29 +0100 | alexherbo2 | (~alexherbo@158.151.22.93.rev.sfr.net) |
| 2023-12-19 15:58:48 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 256 seconds) |
| 2023-12-19 16:11:26 +0100 | alexherbo2 | (~alexherbo@158.151.22.93.rev.sfr.net) (Ping timeout: 250 seconds) |
| 2023-12-19 16:12:26 +0100 | zetef | (~quassel@95.77.17.251) |
| 2023-12-19 16:12:28 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3140-87d3-7cee-7fa9-e3ba-5d39.rev.sfr.net) |
| 2023-12-19 16:12:55 +0100 | euleritian | (~euleritia@dynamic-176-003-130-045.176.3.pool.telefonica.de) (Ping timeout: 256 seconds) |
| 2023-12-19 16:13:59 +0100 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) (Remote host closed the connection) |
| 2023-12-19 16:14:40 +0100 | wib_jonas | (~wib_jonas@business-37-191-60-209.business.broadband.hu) (Quit: Client closed) |
| 2023-12-19 16:14:59 +0100 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) |
| 2023-12-19 16:15:04 +0100 | wib_jonas | (~wib_jonas@business-37-191-60-209.business.broadband.hu) |
| 2023-12-19 16:17:51 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-12-19 16:18:36 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2023-12-19 16:18:52 +0100 | potato44 | (uid421314@id-421314.lymington.irccloud.com) |
| 2023-12-19 16:30:02 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2023-12-19 16:31:53 +0100 | <rovaughn> | irregularsphere: I do recommend at least taking a look through Introducing String Diagrams (Ralf Hinze and Dan Marsden). I developed my intuition of Haskell monads from using the language, and had an abstract understanding of monads etc. from MacLane et al., but the string diagrams made the full definition a lot more intuitive for me. |
| 2023-12-19 16:33:10 +0100 | <rovaughn> | It made the ol' memetic "monads are monoids in the category of endofunctors" almost obvious |
| 2023-12-19 16:34:11 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 264 seconds) |
| 2023-12-19 16:34:39 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3140-87d3-7cee-7fa9-e3ba-5d39.rev.sfr.net) (Remote host closed the connection) |
| 2023-12-19 16:34:56 +0100 | <rovaughn> | irregularsphere: Anyway I recommend that book not just for monads but as a good extra view on a bunch of abstract algebra stuff in general. Like for a lot of people, getting a grasp on adjunctions and being able to use monoidal categories in general more easily was illuminating |
| 2023-12-19 16:34:59 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3140-87d3-7cee-7fa9-e3ba-5d39.rev.sfr.net) |
| 2023-12-19 16:37:03 +0100 | <rovaughn> | I think the monoidal endofunctor view of monads helps get away from focusing on monads just as "containers" or "sequences" though it helps show why they are good for those. And it can lead you to ask what a symmetric monoid equivalent would be and so forth. |
| 2023-12-19 16:37:37 +0100 | not_reserved | (~not_reser@154.16.157.95) (Quit: Client closed) |
| 2023-12-19 16:40:25 +0100 | <rovaughn> | dminuoso_: Very true, the other thing is the type system feedback loop is generally faster than the open/use/crash/fix feedback loop anyway. Though after using proof assistants and Idris more I'm feeling more deprived than I expected at times, I need to see where Haskell's dependent-typing stuff is at lately. |
| 2023-12-19 16:44:47 +0100 | lisbeths_ | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-12-19 16:45:55 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-12-19 16:47:03 +0100 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-12-19 16:50:08 +0100 | danse-nr3 | (~danse@151.57.168.119) |
| 2023-12-19 16:53:59 +0100 | thegeekinside | (~thegeekin@189.141.65.247) (Ping timeout: 264 seconds) |
| 2023-12-19 16:54:19 +0100 | Philonous | (~Philonous@user/philonous) (Remote host closed the connection) |
| 2023-12-19 16:54:44 +0100 | Philonous | (~Philonous@user/philonous) |
| 2023-12-19 16:55:50 +0100 | zetef | (~quassel@95.77.17.251) (Ping timeout: 255 seconds) |
| 2023-12-19 16:57:44 +0100 | euleritian | (~euleritia@dynamic-046-114-174-115.46.114.pool.telefonica.de) |
| 2023-12-19 16:58:38 +0100 | euleritian | (~euleritia@dynamic-046-114-174-115.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-12-19 17:04:05 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3140-87d3-7cee-7fa9-e3ba-5d39.rev.sfr.net) (Remote host closed the connection) |
| 2023-12-19 17:04:20 +0100 | danse-nr3 | (~danse@151.57.168.119) (Read error: Connection reset by peer) |
| 2023-12-19 17:04:33 +0100 | danse-nr3 | (~danse@151.43.221.130) |
| 2023-12-19 17:05:16 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-19 17:06:24 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-12-19 17:08:31 +0100 | alexherbo2 | (~alexherbo@188.149.22.93.rev.sfr.net) |
| 2023-12-19 17:09:18 +0100 | img | (~img@user/img) |
| 2023-12-19 17:10:59 +0100 | euleritian | (~euleritia@dynamic-046-114-174-115.46.114.pool.telefonica.de) |
| 2023-12-19 17:12:58 +0100 | alexherbo2 | (~alexherbo@188.149.22.93.rev.sfr.net) (Ping timeout: 250 seconds) |
| 2023-12-19 17:13:30 +0100 | <Inst> | what would you recommend as the best standalone postgresql lib for Haskell? |
| 2023-12-19 17:13:54 +0100 | rosco | (~rosco@42.153.128.254) |
| 2023-12-19 17:14:43 +0100 | <danse-nr3> | this dev.to/zelenya/series/24889 is a nice overview, pick what suits you |
| 2023-12-19 17:15:23 +0100 | euleritian | (~euleritia@dynamic-046-114-174-115.46.114.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2023-12-19 17:15:52 +0100 | <Inst> | thanks <3 |
| 2023-12-19 17:15:58 +0100 | <danse-nr3> | v |
| 2023-12-19 17:17:13 +0100 | euleritian | (~euleritia@dynamic-046-114-109-032.46.114.pool.telefonica.de) |
| 2023-12-19 17:18:08 +0100 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 256 seconds) |
| 2023-12-19 17:20:25 +0100 | Flow | (~none@gentoo/developer/flow) |
| 2023-12-19 17:20:40 +0100 | thegeekinside | (~thegeekin@189.141.65.247) |
| 2023-12-19 17:27:11 +0100 | notzmv | (~zmv@user/notzmv) |
| 2023-12-19 17:27:21 +0100 | rosco | (~rosco@42.153.128.254) (Quit: Gotta go.) |
| 2023-12-19 17:31:36 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-12-19 17:33:33 +0100 | <Inst> | And by the way, I'm stuck with Servant if I don't want to go with Yesod or IHP, right? |
| 2023-12-19 17:34:36 +0100 | <danse-nr3> | there is also scotty and the other simpler frameworks |
| 2023-12-19 17:35:38 +0100 | euleritian | (~euleritia@dynamic-046-114-109-032.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-12-19 17:35:43 +0100 | <Inst> | does Servant have a Holy Trinity (HTML / JS / CSS) library? |
| 2023-12-19 17:36:54 +0100 | <danse-nr3> | luckily not |
| 2023-12-19 17:37:05 +0100 | <Inst> | why not? |
| 2023-12-19 17:37:06 +0100 | <danse-nr3> | that does not make much sense in 2023 |
| 2023-12-19 17:37:15 +0100 | <Inst> | i mean we have GHCJS |
| 2023-12-19 17:37:19 +0100 | <Inst> | so no real need for JS in the worst case |
| 2023-12-19 17:37:39 +0100 | <danse-nr3> | it just does not make sense to tie solutions for those areas together |
| 2023-12-19 17:46:47 +0100 | idris_67 | (~lukas@179.152.173.192) |
| 2023-12-19 17:49:33 +0100 | idris_67 | (~lukas@179.152.173.192) () |
| 2023-12-19 17:49:58 +0100 | euleritian | (~euleritia@dynamic-046-114-109-032.46.114.pool.telefonica.de) |
| 2023-12-19 17:51:58 +0100 | danse-nr3 | (~danse@151.43.221.130) (Read error: Connection reset by peer) |
| 2023-12-19 17:53:08 +0100 | not_reserved | (~not_reser@154.16.157.95) |
| 2023-12-19 17:53:47 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 256 seconds) |
| 2023-12-19 17:54:04 +0100 | Guest9387 | (~Guest9387@27.131.138.148) |
| 2023-12-19 17:54:21 +0100 | <Guest9387> | Hi, i have lost all my saved money to FTX jews around 20000 dollars. |
| 2023-12-19 17:54:21 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2023-12-19 17:54:22 +0100 | <Guest9387> | Please help me live. Please help me. |
| 2023-12-19 17:54:22 +0100 | <Guest9387> | BTC : bc1q9vfmfwj6av9pxj50r6xyl652mwhqvw5ds86nw2 |
| 2023-12-19 17:54:37 +0100 | Guest9387 | (~Guest9387@27.131.138.148) (Client Quit) |
| 2023-12-19 17:54:41 +0100 | ChanServ | +o geekosaur |
| 2023-12-19 17:54:47 +0100 | geekosaur | -o geekosaur |
| 2023-12-19 17:54:51 +0100 | <geekosaur> | already gone |
| 2023-12-19 17:55:59 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54de:61e3:a269:e175) (Remote host closed the connection) |
| 2023-12-19 17:56:06 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:3dab:d6e0:7a86:adbd) (Ping timeout: 256 seconds) |
| 2023-12-19 17:56:14 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54de:61e3:a269:e175) |
| 2023-12-19 18:02:22 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3240-f362-b4d9-87a3-66d4-13e7.rev.sfr.net) |
| 2023-12-19 18:05:16 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-19 18:05:57 +0100 | not_reserved | (~not_reser@154.16.157.95) (Quit: Client closed) |
| 2023-12-19 18:06:35 +0100 | rosco | (~rosco@42.153.128.254) |
| 2023-12-19 18:07:07 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:620d:13c9:8b8c:a23f) (Remote host closed the connection) |
| 2023-12-19 18:07:07 +0100 | euleritian | (~euleritia@dynamic-046-114-109-032.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-12-19 18:07:23 +0100 | euleritian | (~euleritia@dynamic-046-114-109-032.46.114.pool.telefonica.de) |
| 2023-12-19 18:09:59 +0100 | wib_jonas | (~wib_jonas@business-37-191-60-209.business.broadband.hu) (Quit: Client closed) |
| 2023-12-19 18:10:50 +0100 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 256 seconds) |
| 2023-12-19 18:12:20 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3240-f362-b4d9-87a3-66d4-13e7.rev.sfr.net) (Ping timeout: 250 seconds) |
| 2023-12-19 18:14:11 +0100 | Flow | (~none@gentoo/developer/flow) |
| 2023-12-19 18:17:23 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2023-12-19 18:20:46 +0100 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 245 seconds) |
| 2023-12-19 18:21:08 +0100 | danse-nr3 | (~danse@151.43.158.99) |
| 2023-12-19 18:21:49 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:d76e:b1cb:1732:3e17) |
| 2023-12-19 18:24:35 +0100 | Joao003 | (~Joao003@190.108.99.222) |
| 2023-12-19 18:24:35 +0100 | Joao003_ | (~Joao003@190.108.99.222) |
| 2023-12-19 18:24:37 +0100 | Joao003__ | (~Joao003@190.108.99.222) |
| 2023-12-19 18:25:11 +0100 | rosco | (~rosco@42.153.128.254) (Quit: Gotta go.) |
| 2023-12-19 18:25:12 +0100 | Joao003_ | (~Joao003@190.108.99.222) (Client Quit) |
| 2023-12-19 18:25:16 +0100 | Joao003__ | (~Joao003@190.108.99.222) (Client Quit) |
| 2023-12-19 18:26:23 +0100 | alexherbo2 | (~alexherbo@248.14.23.93.rev.sfr.net) |
| 2023-12-19 18:29:09 +0100 | euleritian | (~euleritia@dynamic-046-114-109-032.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-12-19 18:29:26 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-12-19 18:30:50 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2023-12-19 18:31:48 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54de:61e3:a269:e175) (Remote host closed the connection) |
| 2023-12-19 18:33:34 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-12-19 18:34:40 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-12-19 18:36:32 +0100 | <tomsmeding> | Inst: I've been productive enough with snap, the playground runs on it |
| 2023-12-19 18:36:56 +0100 | <tomsmeding> | it's a bit less "does the whole world for you" than some of the frameworks you mention, but I personally like that |
| 2023-12-19 18:38:02 +0100 | <Inst> | also thanks for being enthusiastic with the request |
| 2023-12-19 18:38:16 +0100 | <Inst> | I'm liamzy |
| 2023-12-19 18:38:38 +0100 | <tomsmeding> | I remembered from an earlier issue :) |
| 2023-12-19 18:39:06 +0100 | <tomsmeding> | I'm not sure I'd like a very large collection of sample programs for the playground, but suggestions for improvements are always welcome |
| 2023-12-19 18:40:06 +0100 | not_reserved | (~not_reser@154.16.157.95) |
| 2023-12-19 18:41:39 +0100 | <Inst> | a small collection, at least, curated by you |
| 2023-12-19 18:42:21 +0100 | aruns | (~aruns@user/aruns) |
| 2023-12-19 18:43:28 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-12-19 18:44:39 +0100 | <danse-nr3> | tomsmeding is already doing a lot for the haskell community, not sure they want more workload |
| 2023-12-19 18:45:07 +0100 | bratwurst | (~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8) |
| 2023-12-19 18:45:59 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54de:61e3:a269:e175) |
| 2023-12-19 18:47:04 +0100 | <tomsmeding> | replacing some template snippets for the playground is not a lot of effort :) |
| 2023-12-19 18:47:53 +0100 | <danse-nr3> | cool then... |
| 2023-12-19 18:48:04 +0100 | <tomsmeding> | but thanks :) |
| 2023-12-19 18:48:34 +0100 | <danse-nr3> | v |
| 2023-12-19 19:02:41 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54de:61e3:a269:e175) (Remote host closed the connection) |
| 2023-12-19 19:10:36 +0100 | qqq | (~qqq@92.43.167.61) |
| 2023-12-19 19:11:36 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54de:61e3:a269:e175) |
| 2023-12-19 19:12:29 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 240 seconds) |
| 2023-12-19 19:13:27 +0100 | bratwurst | (~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8) (Ping timeout: 260 seconds) |
| 2023-12-19 19:15:05 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2023-12-19 19:15:09 +0100 | alexherbo2 | (~alexherbo@248.14.23.93.rev.sfr.net) (Remote host closed the connection) |
| 2023-12-19 19:15:29 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3240-03d6-5800-5c3b-95ce-6fd6.rev.sfr.net) |
| 2023-12-19 19:37:40 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-12-19 19:38:06 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-12-19 19:46:19 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54de:61e3:a269:e175) (Remote host closed the connection) |
| 2023-12-19 19:48:07 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54de:61e3:a269:e175) |
| 2023-12-19 19:49:04 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2023-12-19 19:49:17 +0100 | mikess | (~sam@user/mikess) |
| 2023-12-19 19:50:50 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-19 19:59:11 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 260 seconds) |
| 2023-12-19 20:02:00 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54de:61e3:a269:e175) (Remote host closed the connection) |
| 2023-12-19 20:05:59 +0100 | danse-nr3 | (~danse@151.43.158.99) (Ping timeout: 264 seconds) |
| 2023-12-19 20:08:52 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 255 seconds) |
| 2023-12-19 20:09:27 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2023-12-19 20:13:00 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-19 20:20:12 +0100 | Joao003 | (~Joao003@190.108.99.222) (Read error: Connection reset by peer) |
| 2023-12-19 20:20:28 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-12-19 20:20:36 +0100 | Joao003 | (~Joao003@190.108.99.222) |
| 2023-12-19 20:20:43 +0100 | araujo | (~araujo@45.146.54.76) (Remote host closed the connection) |
| 2023-12-19 20:21:03 +0100 | araujo | (~araujo@45.146.54.76) |
| 2023-12-19 20:21:36 +0100 | shapr | (~user@2600:1700:c640:3100:65bb:6b6f:aa53:d788) (Remote host closed the connection) |
| 2023-12-19 20:21:43 +0100 | aristid | (sid1599@id-1599.uxbridge.irccloud.com) (Read error: Connection reset by peer) |
| 2023-12-19 20:21:44 +0100 | S11001001 | (sid42510@id-42510.ilkley.irccloud.com) (Read error: Connection reset by peer) |
| 2023-12-19 20:21:49 +0100 | shapr | (~user@2600:1700:c640:3100:b78a:b9c3:6d36:29ef) |
| 2023-12-19 20:21:51 +0100 | aristid | (sid1599@id-1599.uxbridge.irccloud.com) |
| 2023-12-19 20:21:52 +0100 | S11001001 | (sid42510@id-42510.ilkley.irccloud.com) |
| 2023-12-19 20:22:01 +0100 | delyan_ | (sid523379@id-523379.hampstead.irccloud.com) (Ping timeout: 245 seconds) |
| 2023-12-19 20:22:07 +0100 | jmct | (sid160793@id-160793.tinside.irccloud.com) (Read error: Connection reset by peer) |
| 2023-12-19 20:22:13 +0100 | dsal | (sid13060@id-13060.lymington.irccloud.com) (Read error: Connection reset by peer) |
| 2023-12-19 20:22:14 +0100 | jmct | (sid160793@id-160793.tinside.irccloud.com) |
| 2023-12-19 20:22:22 +0100 | dsal | (sid13060@id-13060.lymington.irccloud.com) |
| 2023-12-19 20:22:23 +0100 | caasih | (sid13241@id-13241.ilkley.irccloud.com) (Read error: Connection reset by peer) |
| 2023-12-19 20:22:26 +0100 | dmj` | (sid72307@id-72307.hampstead.irccloud.com) (Ping timeout: 245 seconds) |
| 2023-12-19 20:22:26 +0100 | mjs2600_ | (~mjs2600@c-174-169-225-239.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-12-19 20:22:30 +0100 | mosul | (mosul@user/mosul) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2023-12-19 20:22:30 +0100 | JSharp | (sid4580@id-4580.lymington.irccloud.com) (Read error: Connection reset by peer) |
| 2023-12-19 20:22:30 +0100 | remmie | (ianremsen@tilde.team) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2023-12-19 20:22:30 +0100 | nitrix | (~nitrix@user/nitrix) (Remote host closed the connection) |
| 2023-12-19 20:22:32 +0100 | hovsater | (sid499516@id-499516.lymington.irccloud.com) (Read error: Connection reset by peer) |
| 2023-12-19 20:22:32 +0100 | caasih | (sid13241@id-13241.ilkley.irccloud.com) |
| 2023-12-19 20:22:34 +0100 | sa | (sid1055@id-1055.tinside.irccloud.com) (Read error: Connection reset by peer) |
| 2023-12-19 20:22:41 +0100 | hovsater | (sid499516@id-499516.lymington.irccloud.com) |
| 2023-12-19 20:22:42 +0100 | mjs2600 | (~mjs2600@c-174-169-225-239.hsd1.vt.comcast.net) |
| 2023-12-19 20:22:47 +0100 | JSharp | (sid4580@id-4580.lymington.irccloud.com) |
| 2023-12-19 20:22:49 +0100 | nitrix | (~nitrix@user/nitrix) |
| 2023-12-19 20:22:51 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 245 seconds) |
| 2023-12-19 20:22:52 +0100 | carbolymer | (~carbolyme@dropacid.net) (Remote host closed the connection) |
| 2023-12-19 20:22:54 +0100 | delyan_ | (sid523379@id-523379.hampstead.irccloud.com) |
| 2023-12-19 20:22:58 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) (Read error: Connection reset by peer) |
| 2023-12-19 20:22:58 +0100 | sa | (sid1055@id-1055.tinside.irccloud.com) |
| 2023-12-19 20:23:00 +0100 | dmj` | (sid72307@id-72307.hampstead.irccloud.com) |
| 2023-12-19 20:23:18 +0100 | dibblego | (~dibblego@122-199-1-93.ip4.superloop.au) |
| 2023-12-19 20:23:18 +0100 | dibblego | (~dibblego@122-199-1-93.ip4.superloop.au) (Changing host) |
| 2023-12-19 20:23:18 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-12-19 20:24:01 +0100 | carbolymer | (~carbolyme@dropacid.net) |
| 2023-12-19 20:24:06 +0100 | sweater1 | (~sweater@206.81.18.26) (Ping timeout: 245 seconds) |
| 2023-12-19 20:24:31 +0100 | jjhoo | (~jahakala@user/jjhoo) (Ping timeout: 245 seconds) |
| 2023-12-19 20:24:31 +0100 | drlkf | (~drlkf@192.184.163.34.bc.googleusercontent.com) (Ping timeout: 245 seconds) |
| 2023-12-19 20:24:31 +0100 | disconnect3d | (~disconnec@user/disconnect3d) (Ping timeout: 245 seconds) |
| 2023-12-19 20:24:31 +0100 | ario | (~ario@159.65.220.102) (Ping timeout: 245 seconds) |
| 2023-12-19 20:24:55 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-12-19 20:24:58 +0100 | sweater1 | (~sweater@206.81.18.26) |
| 2023-12-19 20:25:13 +0100 | jjhoo | (jahakala@user/jjhoo) |
| 2023-12-19 20:25:19 +0100 | disconnect3d | (~disconnec@user/disconnect3d) |
| 2023-12-19 20:25:31 +0100 | ario | (~ario@159.65.220.102) |
| 2023-12-19 20:25:47 +0100 | drlkf | (~drlkf@192.184.163.34.bc.googleusercontent.com) |
| 2023-12-19 20:25:50 +0100 | kh0d | (~kh0d@178.220.151.79) |
| 2023-12-19 20:25:50 +0100 | sprout_ | (~quassel@2a02-a448-3a80-0-d05a-f4f5-b486-49a2.fixed6.kpn.net) |
| 2023-12-19 20:28:51 +0100 | remmie | (ianremsen@tilde.team) |
| 2023-12-19 20:29:07 +0100 | sprout | (~quassel@2a02-a448-3a80-0-f5da-af75-343e-2df2.fixed6.kpn.net) (Ping timeout: 255 seconds) |
| 2023-12-19 20:34:04 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54de:61e3:a269:e175) |
| 2023-12-19 20:37:42 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-12-19 20:40:17 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2023-12-19 20:42:07 +0100 | ft | (~ft@p4fc2ae2b.dip0.t-ipconnect.de) |
| 2023-12-19 20:42:34 +0100 | kh0d | (~kh0d@178.220.151.79) (Ping timeout: 276 seconds) |
| 2023-12-19 20:42:49 +0100 | mosul | (mosul@user/mosul) |
| 2023-12-19 20:47:46 +0100 | notzmv | (~zmv@user/notzmv) |
| 2023-12-19 20:49:22 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2023-12-19 20:49:42 +0100 | off^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2023-12-19 20:49:43 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-12-19 20:49:52 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2023-12-19 20:50:11 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2023-12-19 20:52:08 +0100 | Flow | (~none@gentoo/developer/flow) |
| 2023-12-19 20:52:30 +0100 | esnos | (~esnos@194.29.137.22) |
| 2023-12-19 20:54:18 +0100 | esnos | (~esnos@194.29.137.22) (Client Quit) |
| 2023-12-19 21:02:39 +0100 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-12-19 21:04:49 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-12-19 21:05:04 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-12-19 21:05:08 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-12-19 21:08:46 +0100 | araujo | (~araujo@45.146.54.76) (Ping timeout: 256 seconds) |
| 2023-12-19 21:22:40 +0100 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 246 seconds) |
| 2023-12-19 21:23:03 +0100 | xdminsy | (~xdminsy@117.147.70.130) |
| 2023-12-19 21:27:51 +0100 | arkoinad | (~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-12-19 21:31:33 +0100 | kh0d | (~kh0d@178.220.151.79) |
| 2023-12-19 21:31:52 +0100 | mjs2600 | (~mjs2600@c-174-169-225-239.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-12-19 21:32:08 +0100 | mjs2600 | (~mjs2600@c-174-169-225-239.hsd1.vt.comcast.net) |
| 2023-12-19 21:34:34 +0100 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 246 seconds) |
| 2023-12-19 21:34:57 +0100 | euleritian | (~euleritia@dynamic-046-114-202-151.46.114.pool.telefonica.de) |
| 2023-12-19 21:35:13 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2023-12-19 21:38:50 +0100 | Flow | (~none@gentoo/developer/flow) |
| 2023-12-19 21:39:22 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2023-12-19 21:42:02 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2023-12-19 21:42:35 +0100 | qqq | (~qqq@92.43.167.61) (Ping timeout: 264 seconds) |
| 2023-12-19 21:45:33 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:d76e:b1cb:1732:3e17) (Ping timeout: 256 seconds) |
| 2023-12-19 21:52:21 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:6596:3e1d:603:ae0a) |
| 2023-12-19 21:52:36 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2023-12-19 22:04:31 +0100 | bratwurst | (~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8) |
| 2023-12-19 22:10:28 +0100 | igemnace | (~ian@user/igemnace) |
| 2023-12-19 22:11:38 +0100 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-12-19 22:13:46 +0100 | infinity0 | (~infinity0@pwned.gg) |
| 2023-12-19 22:17:51 +0100 | bratwurst | (~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8) (Ping timeout: 245 seconds) |
| 2023-12-19 22:18:35 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 264 seconds) |
| 2023-12-19 22:20:55 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) (Ping timeout: 240 seconds) |
| 2023-12-19 22:22:25 +0100 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2023-12-19 22:24:17 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54de:61e3:a269:e175) (Remote host closed the connection) |
| 2023-12-19 22:24:46 +0100 | dom0 | (~u0_a202@31.4.180.52) |
| 2023-12-19 22:26:28 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-19 22:28:06 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2023-12-19 22:28:16 +0100 | todi | (~todi@p4fd1a1df.dip0.t-ipconnect.de) |
| 2023-12-19 22:29:10 +0100 | todi1 | (~todi@p5dca55c4.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-12-19 22:30:03 +0100 | dom0 | (~u0_a202@31.4.180.52) (Quit: WeeChat 4.0.5) |
| 2023-12-19 22:32:05 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 268 seconds) |
| 2023-12-19 22:35:34 +0100 | thegeekinside | (~thegeekin@189.141.65.247) (Ping timeout: 255 seconds) |
| 2023-12-19 22:36:36 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2023-12-19 22:44:11 +0100 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2023-12-19 22:46:52 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-12-19 22:48:06 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-12-19 22:52:40 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-12-19 22:57:08 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54de:61e3:a269:e175) |
| 2023-12-19 22:57:21 +0100 | thegeekinside | (~thegeekin@189.141.65.247) |
| 2023-12-19 23:01:36 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54de:61e3:a269:e175) (Ping timeout: 245 seconds) |
| 2023-12-19 23:01:40 +0100 | Inst | (~Inst@120.244.192.109) (Ping timeout: 276 seconds) |
| 2023-12-19 23:11:07 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2023-12-19 23:12:32 +0100 | kh0d | (~kh0d@178.220.151.79) (Remote host closed the connection) |
| 2023-12-19 23:12:41 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-12-19 23:14:37 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
| 2023-12-19 23:15:39 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 260 seconds) |
| 2023-12-19 23:16:21 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2023-12-19 23:17:10 +0100 | zetef | (~quassel@5.2.182.98) |
| 2023-12-19 23:20:31 +0100 | inedia | (~irc@23.153.248.82) (Ping timeout: 276 seconds) |
| 2023-12-19 23:24:44 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 252 seconds) |
| 2023-12-19 23:24:56 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 245 seconds) |
| 2023-12-19 23:27:06 +0100 | bratwurst | (~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8) |
| 2023-12-19 23:30:35 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-12-19 23:33:58 +0100 | aruns | (~aruns@user/aruns) (Ping timeout: 260 seconds) |
| 2023-12-19 23:35:21 +0100 | jargon | (~jargon@15.sub-174-205-161.myvzw.com) |
| 2023-12-19 23:37:20 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2023-12-19 23:39:27 +0100 | bratwurst | (~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8) (Ping timeout: 260 seconds) |
| 2023-12-19 23:41:51 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2023-12-19 23:42:13 +0100 | bratwurst | (~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8) |
| 2023-12-19 23:43:17 +0100 | alp_ | (~alp@2001:861:e3d6:8f80:6596:3e1d:603:ae0a) (Ping timeout: 240 seconds) |
| 2023-12-19 23:54:06 +0100 | bratwurst | (~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8) (Ping timeout: 245 seconds) |
| 2023-12-19 23:55:09 +0100 | michalz | (~michalz@185.246.204.121) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-12-19 23:55:33 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:54de:61e3:a269:e175) |
| 2023-12-19 23:58:20 +0100 | bratwurst | (~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8) |
| 2023-12-19 23:58:46 +0100 | foul_owl | (~kerry@157.97.134.168) (Ping timeout: 256 seconds) |