| 2025-03-01 00:01:09 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 248 seconds) |
| 2025-03-01 00:02:18 +0100 | <haskellbridge> | <Liamzee> hope this is not too obnoxious, but do single-library webapp applications exist? |
| 2025-03-01 00:02:48 +0100 | <haskellbridge> | <Liamzee> as in, you define your program in objects / datatypes, then you use different compile functions to render the objects / datatypes to backend, frontend (multiplatform)? |
| 2025-03-01 00:03:59 +0100 | <c_wraith> | there are attempts in that direction, but they're all still pretty awkward to use. |
| 2025-03-01 00:04:10 +0100 | <haskellbridge> | <Liamzee> honestly this might be something haskell is good for |
| 2025-03-01 00:04:16 +0100 | <haskellbridge> | <Liamzee> due to lazy evaluation |
| 2025-03-01 00:04:40 +0100 | <c_wraith> | like https://github.com/obsidiansystems/obelisk is along those lines |
| 2025-03-01 00:04:46 +0100 | <haskellbridge> | <Liamzee> because in a strict language, if you have the server components of objects |
| 2025-03-01 00:04:50 +0100 | <c_wraith> | But I think it's not really maintained anymore |
| 2025-03-01 00:05:07 +0100 | <haskellbridge> | <Liamzee> they have to be fully evaluated, or rendered as tokens |
| 2025-03-01 00:05:28 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-01 00:05:43 +0100 | <haskellbridge> | <Liamzee> whereas in Haskell, due to lazy evaluation and a concept of action, you don't have to evaluate the datatype parts, and this is completely native and idiomatic to haskell (well, not the object aspect) |
| 2025-03-01 00:06:18 +0100 | <haskellbridge> | <Liamzee> whereas you're looking at macros and tokens (which require ADTs to be remotely reasonable) in other languages |
| 2025-03-01 00:06:29 +0100 | <haskellbridge> | <Liamzee> erm, don't have to evaluate the backend server actions |
| 2025-03-01 00:07:08 +0100 | <c_wraith> | It doesn't *really* work that way, thanks to needing to compile eagerly |
| 2025-03-01 00:07:40 +0100 | <c_wraith> | obelisk's trick is to change the libraries grabbed by a particular name depending on what it's targeting |
| 2025-03-01 00:08:33 +0100 | michalz | (~michalz@185.246.207.222) (Remote host closed the connection) |
| 2025-03-01 00:10:06 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-03-01 00:11:49 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) (Ping timeout: 244 seconds) |
| 2025-03-01 00:12:32 +0100 | <haskellbridge> | <Liamzee> i mean it can be done on a function level |
| 2025-03-01 00:13:30 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-03-01 00:16:44 +0100 | <geekosaur> | it's possible to pick a backend at runtime by using something like environment variables, but this turns out to require low level enough hackery that it has to be done in C/C++ even though conceptually it's just populating a struct of function pointers (because populating that struct requires dlopen/dlsym) |
| 2025-03-01 00:16:59 +0100 | fp | (~Thunderbi@87-92-155-24.rev.dnainternet.fi) (Ping timeout: 244 seconds) |
| 2025-03-01 00:19:23 +0100 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-03-01 00:19:52 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: WeeChat 4.5.1) |
| 2025-03-01 00:20:07 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-03-01 00:20:49 +0100 | bilegeek | (~bilegeek@2600:1008:b083:f9b:4ea6:8944:ad90:a41f) (Ping timeout: 260 seconds) |
| 2025-03-01 00:20:54 +0100 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-03-01 00:24:11 +0100 | <haskellbridge> | <Liamzee> tbh i mean it's just free monad interpreter, but have different interpreter functions |
| 2025-03-01 00:26:05 +0100 | bilegeek | (~bilegeek@123.sub-174-228-103.myvzw.com) bilegeek |
| 2025-03-01 00:27:32 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-03-01 00:28:30 +0100 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-03-01 00:29:30 +0100 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-03-01 00:30:05 +0100 | <geekosaur> | well, except ideally you don't want to have to statically compile in every backend |
| 2025-03-01 00:30:07 +0100 | k_hachig_ | (~k_hachig@bras-base-toroon0247w-grc-123-70-29-50-103.dsl.bell.ca) k_hachig |
| 2025-03-01 00:31:19 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 260 seconds) |
| 2025-03-01 00:32:39 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-03-01 00:33:05 +0100 | <haskellbridge> | <Liamzee> but is my hunch correct, that, say, there is value in being able to define your frontend and your backend at the same time? |
| 2025-03-01 00:35:07 +0100 | <geekosaur> | one would think so, but then one must ask why only obelisk did so and it's pretty much dead. I wonder if there's a "lessons from" somewhere |
| 2025-03-01 00:35:27 +0100 | remexre | (~remexre@user/remexre) remexre |
| 2025-03-01 00:35:41 +0100 | <haskellbridge> | <Liamzee> reflex received an update in january |
| 2025-03-01 00:35:56 +0100 | <haskellbridge> | <Liamzee> i'd see reflex's mistakes as being, #1, nix-bound, #2, FRP |
| 2025-03-01 00:36:00 +0100 | <haskellbridge> | <Liamzee> overloaded the novelty budget |
| 2025-03-01 00:36:28 +0100 | <haskellbridge> | <Liamzee> being lens/optics-based makes it dumb enough for commodity programmers, being cabal-based means that you don't require learning nix on top of everything else |
| 2025-03-01 00:37:29 +0100 | <haskellbridge> | <Liamzee> also iirc Obsidian had a business model of providing support for users, which isn't good for uptake |
| 2025-03-01 00:37:42 +0100 | <geekosaur> | not sure I'd call them mistakes considering their website suggests they have a decent number of commercial users |
| 2025-03-01 00:39:28 +0100 | <haskellbridge> | <Liamzee> actually they're doing better than i remembered |
| 2025-03-01 00:40:34 +0100 | <haskellbridge> | <Liamzee> https://hackage.haskell.org/package/reflex |
| 2025-03-01 00:41:03 +0100 | <haskellbridge> | <Liamzee> obsidian does direct work, but they also got screwed by being bound to 8.8 because of the old GHCJS being abandonware |
| 2025-03-01 00:41:13 +0100 | Googulator79 | (~Googulato@2a01-036d-0106-14b2-c443-5a96-b49d-1dd5.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-03-01 00:41:26 +0100 | Googulator79 | (~Googulato@2a01-036d-0106-14b2-c443-5a96-b49d-1dd5.pool6.digikabel.hu) |
| 2025-03-01 00:44:29 +0100 | <haskellbridge> | <Liamzee> the reflex package was also updated last month |
| 2025-03-01 00:44:40 +0100 | Sgeo_ | (~Sgeo@user/sgeo) Sgeo |
| 2025-03-01 00:46:45 +0100 | Sgeo__ | (~Sgeo@user/sgeo) Sgeo |
| 2025-03-01 00:47:44 +0100 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 252 seconds) |
| 2025-03-01 00:49:12 +0100 | Sgeo_ | (~Sgeo@user/sgeo) (Ping timeout: 252 seconds) |
| 2025-03-01 00:50:52 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-01 00:51:19 +0100 | messewix | (~jmc@user/messewix) messewix |
| 2025-03-01 00:51:48 +0100 | <haskellbridge> | <Liamzee> thanks for the discussion! |
| 2025-03-01 00:52:16 +0100 | <c_wraith> | there's still room for something like obelisk when the new JS backend for GHC stabilizes |
| 2025-03-01 00:52:32 +0100 | <c_wraith> | But yeah, being dependent on ghcjs definitely hurt it |
| 2025-03-01 00:53:25 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2025-03-01 00:53:37 +0100 | <c_wraith> | obelisk also needed a better story for server-side services - a way to say "this calculation needs to run on the server. If this is a client, make a remote call" |
| 2025-03-01 00:54:08 +0100 | <c_wraith> | doing that was a major pain point when I tried it out |
| 2025-03-01 00:55:14 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-01 00:55:30 +0100 | <haskellbridge> | <Liamzee> data Object = MkObject {frontend :: FrontEnd, client :: ClientCode, backend :: BackEnd} |
| 2025-03-01 00:55:45 +0100 | yegorc | (~yegorc@user/yegorc) yegorc |
| 2025-03-01 00:57:00 +0100 | <c_wraith> | that doesn't work when you have to compile eagerly |
| 2025-03-01 00:58:00 +0100 | <c_wraith> | Do you want to compile the postgres driver into your frontend? |
| 2025-03-01 00:58:03 +0100 | yegorc | (~yegorc@user/yegorc) () |
| 2025-03-01 00:58:07 +0100 | <c_wraith> | No? |
| 2025-03-01 00:58:21 +0100 | <c_wraith> | Well then, you need to have different dependencies on each target |
| 2025-03-01 00:58:33 +0100 | <haskellbridge> | <Liamzee> libraries |
| 2025-03-01 00:58:45 +0100 | <c_wraith> | so... different dependencies on each target? |
| 2025-03-01 00:58:48 +0100 | <haskellbridge> | <Liamzee> ah, yes, i see what you mean |
| 2025-03-01 00:59:26 +0100 | <haskellbridge> | <Liamzee> no, but if the functions aren't used at all, shouldn't they be excluded from the binary? |
| 2025-03-01 00:59:36 +0100 | <c_wraith> | Only at link time |
| 2025-03-01 00:59:44 +0100 | <c_wraith> | They have to have built before that. |
| 2025-03-01 01:00:18 +0100 | ell | (~ellie@user/ellie) ellie |
| 2025-03-01 01:01:07 +0100 | <haskellbridge> | <Liamzee> you could hack it with CPP, i suppose |
| 2025-03-01 01:01:14 +0100 | <c_wraith> | You can do better than that |
| 2025-03-01 01:01:42 +0100 | <c_wraith> | You can put platform-specific stuff in separate trees and conditionally include those trees depending on platform in cabal |
| 2025-03-01 01:02:05 +0100 | <c_wraith> | But it involves a lot of manual work, and a good platform would have a better abstraction for that. |
| 2025-03-01 01:02:15 +0100 | <haskellbridge> | <Liamzee> but the entire point is so that you're building full stack in one module, one module at a time |
| 2025-03-01 01:02:43 +0100 | <haskellbridge> | <Liamzee> tbh with CPP, you don't actually need Haskell |
| 2025-03-01 01:06:10 +0100 | <haskellbridge> | <Liamzee> https://en.wikipedia.org/wiki/Isomorphic_JavaScript |
| 2025-03-01 01:06:16 +0100 | <haskellbridge> | <Liamzee> also this is basically what i was looking for, oh well |
| 2025-03-01 01:12:33 +0100 | <haskellbridge> | <Liamzee> that also brings miso into play, which advertises itself as isomorphic |
| 2025-03-01 01:14:30 +0100 | Everything | (~Everythin@46.211.105.36) (Quit: leaving) |
| 2025-03-01 01:36:37 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-01 01:40:48 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-03-01 01:40:54 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-01 01:48:26 +0100 | k_hachig_ | (~k_hachig@bras-base-toroon0247w-grc-123-70-29-50-103.dsl.bell.ca) (Ping timeout: 244 seconds) |
| 2025-03-01 01:51:31 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f90d472fd3bae079d4a.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-03-01 01:55:45 +0100 | sprotte24 | (~sprotte24@p200300d16f44db00402a6a5cf9d1162b.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-03-01 02:07:47 +0100 | <haskellbridge> | <Liamzee> but c_wraith, I'm still wondering, if you have a simple datatype of backend, frontend, client |
| 2025-03-01 02:08:00 +0100 | <haskellbridge> | <Liamzee> i mean, you can still opt to go the compiler plugin route |
| 2025-03-01 02:08:01 +0100 | <haskellbridge> | <Liamzee> ugh |
| 2025-03-01 02:14:11 +0100 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Quit: leaving) |
| 2025-03-01 02:15:37 +0100 | alp | (~alp@2001:861:8ca0:4940:cf02:35f:1502:8681) (Ping timeout: 268 seconds) |
| 2025-03-01 02:17:28 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-03-01 02:20:53 +0100 | bilegeek | (~bilegeek@123.sub-174-228-103.myvzw.com) (Ping timeout: 248 seconds) |
| 2025-03-01 02:23:40 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-01 02:28:09 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-01 02:32:06 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-03-01 02:33:48 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2025-03-01 02:34:40 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2025-03-01 02:35:12 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2025-03-01 02:35:32 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2025-03-01 02:38:12 +0100 | nek0 | (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 2025-03-01 02:43:01 +0100 | califax | (~califax@user/califx) califx |
| 2025-03-01 02:47:07 +0100 | bilegeek | (~bilegeek@93.sub-174-228-98.myvzw.com) bilegeek |
| 2025-03-01 02:48:25 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-03-01 02:55:42 +0100 | m5zs7k | (aquares@web10.mydevil.net) (Quit: m5zs7k) |
| 2025-03-01 02:56:07 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 244 seconds) |
| 2025-03-01 02:56:15 +0100 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
| 2025-03-01 03:00:48 +0100 | fmira | (~user@user/fmira) (Ping timeout: 264 seconds) |
| 2025-03-01 03:09:25 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-01 03:09:32 +0100 | bilegeek_ | (~bilegeek@30.sub-174-208-227.myvzw.com) bilegeek |
| 2025-03-01 03:12:21 +0100 | bilegeek | (~bilegeek@93.sub-174-228-98.myvzw.com) (Ping timeout: 268 seconds) |
| 2025-03-01 03:12:27 +0100 | tessier | (~tessier@ip68-8-117-219.sd.sd.cox.net) tessier |
| 2025-03-01 03:13:28 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-01 03:16:16 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-03-01 03:16:42 +0100 | nek0 | (~nek0@user/nek0) nek0 |
| 2025-03-01 03:17:04 +0100 | Guest60 | (~Guest92@2804:351c:dd00:1680:a251:bff:fe45:7a90) |
| 2025-03-01 03:21:17 +0100 | Guest60 | (~Guest92@2804:351c:dd00:1680:a251:bff:fe45:7a90) (Client Quit) |
| 2025-03-01 03:33:47 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-01 03:51:56 +0100 | tavare | (~tavare@150.129.88.189) |
| 2025-03-01 03:51:56 +0100 | tavare | (~tavare@150.129.88.189) (Changing host) |
| 2025-03-01 03:51:56 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-03-01 03:54:38 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-03-01 03:55:29 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-01 03:57:36 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2025-03-01 03:59:47 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-03-01 04:00:09 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-01 04:02:33 +0100 | bilegeek__ | (~bilegeek@227.sub-174-208-227.myvzw.com) bilegeek |
| 2025-03-01 04:05:00 +0100 | bilegeek_ | (~bilegeek@30.sub-174-208-227.myvzw.com) (Ping timeout: 252 seconds) |
| 2025-03-01 04:05:23 +0100 | alp | (~alp@2001:861:8ca0:4940:744f:ab18:67c5:f6a5) |
| 2025-03-01 04:09:32 +0100 | bilegeek_ | (~bilegeek@241.sub-174-209-38.myvzw.com) bilegeek |
| 2025-03-01 04:12:24 +0100 | bilegeek__ | (~bilegeek@227.sub-174-208-227.myvzw.com) (Ping timeout: 260 seconds) |
| 2025-03-01 04:12:39 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-01 04:13:26 +0100 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2025-03-01 04:14:57 +0100 | jrm | (~jrm@user/jrm) jrm |
| 2025-03-01 04:15:08 +0100 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-03-01 04:21:22 +0100 | bilegeek_ | (~bilegeek@241.sub-174-209-38.myvzw.com) (Ping timeout: 244 seconds) |
| 2025-03-01 04:22:39 +0100 | __jmcantrell__ | (~weechat@user/jmcantrell) (Ping timeout: 268 seconds) |
| 2025-03-01 04:28:22 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-03-01 04:28:48 +0100 | madcabbage | (~cabbage@207.148.176.79) |
| 2025-03-01 04:32:21 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-01 04:34:22 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-03-01 04:39:34 +0100 | notdabs | (~Owner@2600:6c40:4300:950:cc75:6335:c59d:cd1) (Read error: Connection reset by peer) |
| 2025-03-01 04:40:03 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 265 seconds) |
| 2025-03-01 04:41:33 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-01 04:45:41 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-01 04:47:59 +0100 | bilegeek__ | (~bilegeek@4.sub-174-209-32.myvzw.com) bilegeek |
| 2025-03-01 04:51:32 +0100 | bilegeek_ | (~bilegeek@75.sub-174-228-101.myvzw.com) bilegeek |
| 2025-03-01 04:53:58 +0100 | lol_ | (~lol@2603:3016:1e01:b960:c10:54c:3021:e6cf) |
| 2025-03-01 04:54:29 +0100 | bilegeek__ | (~bilegeek@4.sub-174-209-32.myvzw.com) (Ping timeout: 252 seconds) |
| 2025-03-01 04:57:09 +0100 | jcarpenter2 | (~lol@2603:3016:1e01:b960:5cab:e8ae:c3b1:72bf) (Ping timeout: 248 seconds) |
| 2025-03-01 04:58:02 +0100 | messewix | (~jmc@user/messewix) (Remote host closed the connection) |
| 2025-03-01 05:00:14 +0100 | alp | (~alp@2001:861:8ca0:4940:744f:ab18:67c5:f6a5) (Ping timeout: 260 seconds) |
| 2025-03-01 05:05:06 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-01 05:08:29 +0100 | lol_ | jcarpenter2 |
| 2025-03-01 05:15:46 +0100 | xacktm | (xacktm@user/xacktm) (Quit: fBNC - https://bnc4free.com) |
| 2025-03-01 05:23:00 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 264 seconds) |
| 2025-03-01 05:26:57 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-01 05:27:17 +0100 | bilegeek_ | (~bilegeek@75.sub-174-228-101.myvzw.com) (Ping timeout: 244 seconds) |
| 2025-03-01 05:30:21 +0100 | aforemny_ | (~aforemny@i577B1335.versanet.de) (Ping timeout: 246 seconds) |
| 2025-03-01 05:30:53 +0100 | aforemny | (~aforemny@i59F4C54D.versanet.de) aforemny |
| 2025-03-01 05:31:44 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-01 05:35:38 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2025-03-01 05:47:40 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-03-01 05:52:56 +0100 | xacktm | (xacktm@user/xacktm) xacktm |
| 2025-03-01 05:54:45 +0100 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-03-01 06:03:41 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2025-03-01 06:04:03 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2025-03-01 06:05:03 +0100 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-03-01 06:06:47 +0100 | __jmcantrell__ | (~weechat@user/jmcantrell) (Quit: WeeChat 4.5.2) |
| 2025-03-01 06:08:19 +0100 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-03-01 06:12:21 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-01 06:17:21 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-03-01 06:39:44 +0100 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2025-03-01 06:42:56 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-03-01 06:47:09 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) (Remote host closed the connection) |
| 2025-03-01 06:48:18 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2025-03-01 06:49:17 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-01 06:53:23 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-01 06:58:44 +0100 | todi1 | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-03-01 06:58:44 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-01 06:58:59 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2025-03-01 07:03:28 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-03-01 07:03:40 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-03-01 07:12:27 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-01 07:13:12 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-03-01 07:13:43 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-01 07:14:15 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2025-03-01 07:23:15 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-03-01 07:24:09 +0100 | califax | (~califax@user/califx) califx |
| 2025-03-01 07:26:13 +0100 | madcabbage | (~cabbage@207.148.176.79) (Ping timeout: 245 seconds) |
| 2025-03-01 07:36:03 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-03-01 07:36:25 +0100 | califax | (~califax@user/califx) califx |
| 2025-03-01 07:36:25 +0100 | synchromesh | (~john@2406:5a00:24cf:bb00:bc6d:a873:1cc2:c331) (Read error: Connection reset by peer) |
| 2025-03-01 07:36:45 +0100 | bilegeek | (~bilegeek@2600:1008:b082:130d:73e0:dbf5:d1af:ba7e) bilegeek |
| 2025-03-01 07:37:22 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-03-01 07:37:48 +0100 | synchromesh | (~john@2406:5a00:24cf:bb00:bc6d:a873:1cc2:c331) synchromesh |
| 2025-03-01 07:38:17 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-03-01 07:44:08 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-01 07:48:11 +0100 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-03-01 07:48:16 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-03-01 07:48:20 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-01 07:52:30 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-01 08:00:27 +0100 | JamesMowery | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye) |
| 2025-03-01 08:00:46 +0100 | JamesMowery | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2025-03-01 08:05:20 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-03-01 08:10:15 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-03-01 08:11:16 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2025-03-01 08:11:37 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-03-01 08:20:31 +0100 | fmira | (~user@user/fmira) fmira |
| 2025-03-01 08:28:26 +0100 | puke | (~puke@user/puke) puke |
| 2025-03-01 08:29:52 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-01 08:31:11 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Remote host closed the connection) |
| 2025-03-01 08:33:36 +0100 | cheater | (~Username@user/cheater) cheater |
| 2025-03-01 08:34:28 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-03-01 08:44:34 +0100 | killy | (~killy@terminal-3-187.retsat1.com.pl) |
| 2025-03-01 08:46:26 +0100 | puke | (~puke@user/puke) (Quit: puke) |
| 2025-03-01 08:47:30 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-03-01 08:50:05 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-01 08:50:53 +0100 | puke | (~puke@user/puke) puke |
| 2025-03-01 09:00:03 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-03-01 09:01:43 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-03-01 09:04:13 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-03-01 09:06:02 +0100 | bilegeek_ | (~bilegeek@2600:1008:b005:a5c1:938f:3f78:9105:bc03) bilegeek |
| 2025-03-01 09:08:27 +0100 | alp | (~alp@2001:861:8ca0:4940:ac95:84b7:4c46:37eb) |
| 2025-03-01 09:08:44 +0100 | bilegeek | (~bilegeek@2600:1008:b082:130d:73e0:dbf5:d1af:ba7e) (Ping timeout: 260 seconds) |
| 2025-03-01 09:15:16 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-01 09:16:03 +0100 | bilegeek__ | (~bilegeek@2600:1008:b091:1244:cb4d:bb7e:a88:2b9f) bilegeek |
| 2025-03-01 09:18:39 +0100 | bilegeek_ | (~bilegeek@2600:1008:b005:a5c1:938f:3f78:9105:bc03) (Ping timeout: 260 seconds) |
| 2025-03-01 09:19:02 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-03-01 09:19:35 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-01 09:20:22 +0100 | img | (~img@user/img) img |
| 2025-03-01 09:20:32 +0100 | bilegeek_ | (~bilegeek@51.sub-174-208-229.myvzw.com) bilegeek |
| 2025-03-01 09:21:06 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2025-03-01 09:22:46 +0100 | bilegeek | (~bilegeek@2600:1008:b01c:e54:1adb:15db:d010:32d5) bilegeek |
| 2025-03-01 09:23:38 +0100 | bilegeek__ | (~bilegeek@2600:1008:b091:1244:cb4d:bb7e:a88:2b9f) (Ping timeout: 272 seconds) |
| 2025-03-01 09:25:06 +0100 | bilegeek_ | (~bilegeek@51.sub-174-208-229.myvzw.com) (Ping timeout: 252 seconds) |
| 2025-03-01 09:28:35 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Quit: yolo) |
| 2025-03-01 09:33:18 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-03-01 09:36:27 +0100 | alp | (~alp@2001:861:8ca0:4940:ac95:84b7:4c46:37eb) (Ping timeout: 252 seconds) |
| 2025-03-01 09:37:21 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2025-03-01 09:39:54 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-03-01 09:39:55 +0100 | __jmcantrell__ | (~weechat@user/jmcantrell) (Quit: WeeChat 4.5.2) |
| 2025-03-01 09:49:25 +0100 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2025-03-01 10:01:59 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-03-01 10:02:00 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-01 10:03:09 +0100 | <[exa]> | morning all! saturday package scan: is there anything like Aeson that would somewhat transparently work with JSON-LD "annotations"? I assume it could be done quite reasonably with custom aeson instances, but ideally I'd like autogenerated instances that have the proper annotations already. |
| 2025-03-01 10:06:10 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-01 10:13:06 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-03-01 10:14:16 +0100 | bilegeek | (~bilegeek@2600:1008:b01c:e54:1adb:15db:d010:32d5) (Quit: Leaving) |
| 2025-03-01 10:23:58 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-03-01 10:25:46 +0100 | dtman34 | (~dtman34@2601:447:d000:1f5e:f0c1:a096:f8a:d3d5) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2025-03-01 10:26:07 +0100 | dtman34 | (~dtman34@c-75-72-179-251.hsd1.mn.comcast.net) dtman34 |
| 2025-03-01 10:27:15 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-03-01 10:28:30 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-03-01 10:31:42 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-03-01 10:39:01 +0100 | sprotte24 | (~sprotte24@p200300d16f4b980025b1dfc12a42f674.dip0.t-ipconnect.de) |
| 2025-03-01 10:47:44 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-01 10:49:54 +0100 | euouae | (~euouae@user/euouae) euouae |
| 2025-03-01 10:50:06 +0100 | <euouae> | Hello if I want to include numbers in my source files is it possible without breaking the emacs IDE or lsp etc? |
| 2025-03-01 10:51:05 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-03-01 10:51:45 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 244 seconds) |
| 2025-03-01 10:52:06 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-01 10:54:02 +0100 | <tomsmeding> | ... what |
| 2025-03-01 10:54:19 +0100 | <tomsmeding> | > 2 |
| 2025-03-01 10:54:20 +0100 | <lambdabot> | 2 |
| 2025-03-01 10:54:23 +0100 | <tomsmeding> | those kinds of numbers? |
| 2025-03-01 10:54:57 +0100 | manwithluck | (~manwithlu@185-183-33-218.hosted-by-worldstream.net) (Ping timeout: 248 seconds) |
| 2025-03-01 10:56:08 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-03-01 10:59:43 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2025-03-01 11:01:38 +0100 | manwithluck | (~manwithlu@2a00:7c80:0:3a6::12) manwithluck |
| 2025-03-01 11:05:05 +0100 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Ping timeout: 248 seconds) |
| 2025-03-01 11:13:24 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f23d472fd3bae079d4a.dip0.t-ipconnect.de) acidjnk |
| 2025-03-01 11:15:05 +0100 | Sgeo__ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-03-01 11:18:03 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-03-01 11:19:11 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-03-01 11:22:13 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-03-01 11:24:04 +0100 | <[exa]> | tomsmeding: might be that LSP nowadays breaks even on this |
| 2025-03-01 11:28:37 +0100 | <tomsmeding> | [exa]: I can tell you that I am successfully using numbers in my haskell code |
| 2025-03-01 11:28:56 +0100 | <tomsmeding> | the neither my editor, nor the LSP, nor HLS breaks on numbers |
| 2025-03-01 11:33:08 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-01 11:35:08 +0100 | <Leary> | I fear they're trying to write HASIC. |
| 2025-03-01 11:35:40 +0100 | CryptLab | (NSA@gateway/vpn/protonvpn/commanderbond007) (Ping timeout: 244 seconds) |
| 2025-03-01 11:35:42 +0100 | <tomsmeding> | it would be hilarious if someone actually made an implementation of HASIC |
| 2025-03-01 11:35:44 +0100 | <sprout> | line numbers I assume |
| 2025-03-01 11:36:13 +0100 | <tomsmeding> | euouae: the tension is killing, enlighten us |
| 2025-03-01 11:37:37 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-03-01 11:38:05 +0100 | <mauke> | 10 main :: IO () |
| 2025-03-01 11:38:09 +0100 | <mauke> | 20 main = do |
| 2025-03-01 11:38:17 +0100 | <mauke> | 30 putStrLn "hello" |
| 2025-03-01 11:38:22 +0100 | <mauke> | 40 goto 20 |
| 2025-03-01 11:38:38 +0100 | <tomsmeding> | what would that even _mean_ |
| 2025-03-01 11:39:03 +0100 | <mauke> | just be glad that I didn't jump into the type signature! |
| 2025-03-01 11:39:35 +0100 | <tomsmeding> | somewhat, but I'm still uncomfortable |
| 2025-03-01 11:40:31 +0100 | <mauke> | oh, I just thought of another way to "include numbers in my source files" |
| 2025-03-01 11:40:37 +0100 | <mauke> | #include "/dev/fd/0" |
| 2025-03-01 11:41:23 +0100 | <tomsmeding> | that's about as reasonable an interpretation as claiming that they're used to macOS and actually meant a spreadsheet |
| 2025-03-01 11:43:22 +0100 | <tomsmeding> | mauke: on second thoughts I'm starting to like your last suggestion |
| 2025-03-01 11:43:42 +0100 | <tomsmeding> | it's as close as you're going to get to "including" a "number", really |
| 2025-03-01 11:46:37 +0100 | <euouae> | tomsmeding: oh sorry, I mean file *names* |
| 2025-03-01 11:46:57 +0100 | <tomsmeding> | we were getting so close! |
| 2025-03-01 11:47:03 +0100 | <euouae> | I'm doing some leetcode challenges but 123.hs is bad I think |
| 2025-03-01 11:47:21 +0100 | <tomsmeding> | works perfectly fine for me |
| 2025-03-01 11:47:26 +0100 | <euouae> | anyway right now I just have all the solutions in one file separated by -- * |
| 2025-03-01 11:47:27 +0100 | <tomsmeding> | it's not a valid file name in a cabal project |
| 2025-03-01 11:47:36 +0100 | <euouae> | oh yeah, I use cabal |
| 2025-03-01 11:47:39 +0100 | <tomsmeding> | but as a single file, HLS is okay with it for me |
| 2025-03-01 11:47:53 +0100 | <tomsmeding> | in a cabal project, a module file must always have the module name as its file name |
| 2025-03-01 11:47:58 +0100 | <tomsmeding> | and module names must start with a capital letter |
| 2025-03-01 11:48:19 +0100 | <euouae> | Perhaps I can do something like E123.hs for exercise 123? |
| 2025-03-01 11:48:22 +0100 | <tomsmeding> | yes |
| 2025-03-01 11:48:35 +0100 | <euouae> | Okay, thank you. I'm actually thinking I'll just keep it all in one flat file |
| 2025-03-01 11:49:14 +0100 | <tomsmeding> | euouae: imagine what would happen if you would try to use such a module qualified |
| 2025-03-01 11:49:20 +0100 | <tomsmeding> | > Data.Maybe.isJust (Just 42) |
| 2025-03-01 11:49:22 +0100 | <lambdabot> | True |
| 2025-03-01 11:49:37 +0100 | <tomsmeding> | would that be `Exercises.12 input`? how would the parser even know what you mean tthere |
| 2025-03-01 11:50:28 +0100 | <euouae> | I get ti |
| 2025-03-01 11:50:40 +0100 | <euouae> | Another stupid question, in my test/ I have Main.hs and Tests.hs |
| 2025-03-01 11:50:55 +0100 | <euouae> | Tests.hs has the hedgehog generated/discovered tests, how can I import that in Main.hs? |
| 2025-03-01 11:51:05 +0100 | <tomsmeding> | `import Tests`? |
| 2025-03-01 11:51:10 +0100 | <euouae> | I get `These modules are needed for compilation but not listed in your .cabal file's other-modules for ‘leetcode-0.1.0.0-inplace-leetcode-test’ :` |
| 2025-03-01 11:51:17 +0100 | <euouae> | naming Tests as the module |
| 2025-03-01 11:51:27 +0100 | <euouae> | It's a warning-Wmissing-home-modules |
| 2025-03-01 11:51:27 +0100 | <tomsmeding> | right, you need `other-modules: Tests` in the test-suite block in your cabal file |
| 2025-03-01 11:51:55 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-03-01 11:51:55 +0100 | <tomsmeding> | you always need to list all modules that you're defining in the cabal file, either in other-modules or in exposed-modules (the latter relevant only for libraries) |
| 2025-03-01 11:52:26 +0100 | <euouae> | nice, thakn you |
| 2025-03-01 11:54:14 +0100 | <Leary> | tomsmeding: https://hackage.haskell.org/package/BASIC-0.1.5.0/docs/Language-BASIC.html |
| 2025-03-01 11:59:29 +0100 | killy | (~killy@terminal-3-187.retsat1.com.pl) (Ping timeout: 248 seconds) |
| 2025-03-01 12:06:26 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2025-03-01 12:12:22 +0100 | talisman` | (~user@2601:644:937c:ed10::ae5) |
| 2025-03-01 12:13:03 +0100 | <euouae> | Does anyone know how I can turn off all the hlint recommendations |
| 2025-03-01 12:13:08 +0100 | <euouae> | holy cow they're annoying on emacs |
| 2025-03-01 12:13:56 +0100 | <euouae> | You're moving the cursor point on a symbol to see its type and boom Clippy pops up "It looks like you're not optimizing your endofunctors here" |
| 2025-03-01 12:14:21 +0100 | <euouae> | I've tried to turn them off selectively I'm thinking that I just don't want them at all |
| 2025-03-01 12:14:33 +0100 | talismanick | (~user@2601:644:937c:ed10::ae5) (Ping timeout: 245 seconds) |
| 2025-03-01 12:17:37 +0100 | <tomsmeding> | euouae: figure out where you put language server configuration in your emacs LSP client |
| 2025-03-01 12:17:56 +0100 | <tomsmeding> | the setting you need to set is haskell.plugin.hlint.globalOn = false |
| 2025-03-01 12:18:32 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-01 12:23:05 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-03-01 12:24:45 +0100 | <tomsmeding> | Leary: I've actually seen that before, it's genius |
| 2025-03-01 12:27:37 +0100 | <euouae> | thank you!! |
| 2025-03-01 12:27:38 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-03-01 12:28:02 +0100 | <tomsmeding> | (I have that set, as well as haskell.plugin.stan.globalOn = false) |
| 2025-03-01 12:28:09 +0100 | <euouae> | what's that? |
| 2025-03-01 12:28:15 +0100 | <tomsmeding> | more annoying messages :3 |
| 2025-03-01 12:28:17 +0100 | <euouae> | I think stan is the otehr one. I've noticed I get lint-like things from 2 difefrent sources |
| 2025-03-01 12:29:02 +0100 | <tomsmeding> | I'm not saying stan or hlint are bad, I personally just don't need or want them in my editor (and I think HLS is a bit over-eager in making them opt-out instead of opt-in) |
| 2025-03-01 12:29:10 +0100 | <euouae> | They should be opt-in |
| 2025-03-01 12:29:27 +0100 | <euouae> | but anyway, the slice of haskell + emacs programmers is so small that maybe it doesn't matter |
| 2025-03-01 12:29:39 +0100 | <euouae> | they're just not interacting well with emacs, that's all |
| 2025-03-01 12:29:49 +0100 | <tomsmeding> | euouae: how does it look in emacs? |
| 2025-03-01 12:30:01 +0100 | <euouae> | It's attention-grabbing and erratic |
| 2025-03-01 12:30:20 +0100 | <euouae> | pop up messages that hide other stuff, etc |
| 2025-03-01 12:30:26 +0100 | <tomsmeding> | I find them annoying in vim too but from what you're saying it's not quite as bad :) |
| 2025-03-01 12:30:31 +0100 | <tomsmeding> | do warnings also pop up? |
| 2025-03-01 12:30:36 +0100 | <tomsmeding> | I'd find that annoying too :p |
| 2025-03-01 12:30:40 +0100 | <euouae> | no, those are in a separate window |
| 2025-03-01 12:30:52 +0100 | <euouae> | I can check whatever I need when I check that window |
| 2025-03-01 12:31:02 +0100 | <euouae> | but I don't want squiggly lines, annoying pop ups, etc |
| 2025-03-01 12:31:06 +0100 | <tomsmeding> | oh wait 'info'-level messages are more in-your-face than warnings? |
| 2025-03-01 12:31:15 +0100 | <euouae> | yeah lol |
| 2025-03-01 12:31:19 +0100 | <tomsmeding> | that sounds like a mistake in the emacs lsp client :p |
| 2025-03-01 12:31:32 +0100 | <tomsmeding> | because this is not just HLS, those levels are in the LSP protocol in general |
| 2025-03-01 12:31:54 +0100 | <euouae> | Emasc UI is not designed for *all* intents and purposes. Certain things are anti patterns in emacs |
| 2025-03-01 12:31:58 +0100 | <euouae> | in particular popup messages |
| 2025-03-01 12:32:20 +0100 | <tomsmeding> | sounds like this is your chance to improve emacs :) |
| 2025-03-01 12:32:22 +0100 | <euouae> | well I can't fix everything, so I'll just ignore this |
| 2025-03-01 12:32:26 +0100 | <euouae> | yeah I knew you were going to say this |
| 2025-03-01 12:32:28 +0100 | <tomsmeding> | :p |
| 2025-03-01 12:32:34 +0100 | <euouae> | I've sent hundreds of useless stupid patches over time |
| 2025-03-01 12:32:45 +0100 | <euouae> | and sometimes, I've even gotten into fights for those stupid patches... I'm kind of checked out |
| 2025-03-01 12:32:58 +0100 | <tomsmeding> | I totally understand :p |
| 2025-03-01 12:36:45 +0100 | <euouae> | sweet! I got it to work. thank you |
| 2025-03-01 12:36:59 +0100 | <tomsmeding> | yay |
| 2025-03-01 12:38:42 +0100 | <euouae> | tomsmeding: it doesn't help I have a generally different temperament from the average programmer. kind of a short fuse, and it's been getting shorter... It's only so many times I can keep it together when I send a doc patch that turns into a feature rewrite into getting lectured on x86 assembly cycle cost |
| 2025-03-01 12:38:56 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-03-01 12:38:57 +0100 | <tomsmeding> | heh |
| 2025-03-01 12:39:28 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-03-01 12:39:55 +0100 | <tomsmeding> | the nice thing about open source is that you can contribute, but also that you can fork, and furthermore that nobody requires you to contribute :p |
| 2025-03-01 12:41:03 +0100 | <euouae> | When I was a wee bit naive I thought it was a good idea to spend a few months studying the source of a somewhat complicated program (cryptography, etc) before sending a message to the dev, asking to join the project |
| 2025-03-01 12:41:50 +0100 | <euouae> | I got a really deflationary message in response. I thought, I know, I'll rewrite it in Rust. A few more weeks, (or months was it?) I realized I made the wrong design choice by going with green threads because the rust USB library does not support them |
| 2025-03-01 12:42:30 +0100 | <euouae> | and then libusb + async was this huge rabbit hole wish list item that I never went down to. gave up ;p |
| 2025-03-01 12:42:38 +0100 | <tomsmeding> | yeah in the haskell playground readme I have a note saying to get in contact before you write lots of code, precisely for this reason |
| 2025-03-01 12:42:58 +0100 | <euouae> | No, you're so right. But sometimes you make mistakes before you learn |
| 2025-03-01 12:43:35 +0100 | <tomsmeding> | re forking: I build my own HLS because I have a particular patch that I want in there but I'm too lazy to properly contribute a configuration setting for it |
| 2025-03-01 12:43:52 +0100 | <tomsmeding> | I asked for that setting (can't find the issue now) but it never materialised, so periodic room heating is what it is |
| 2025-03-01 12:43:52 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-03-01 12:44:46 +0100 | <euouae> | lol |
| 2025-03-01 12:45:46 +0100 | <tomsmeding> | here we go https://github.com/haskell/haskell-language-server/pull/2332#issuecomment-965094062 |
| 2025-03-01 12:46:49 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-03-01 12:47:25 +0100 | <euouae> | looks like your questoin went unanswered heh |
| 2025-03-01 12:47:40 +0100 | <tomsmeding> | I even specifically gave them licence to not answer |
| 2025-03-01 12:47:56 +0100 | <tomsmeding> | I'm not blaming them :p |
| 2025-03-01 12:59:33 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-03-01 13:00:04 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-03-01 13:01:04 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2025-03-01 13:02:07 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-03-01 13:02:30 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-03-01 13:04:12 +0100 | alp | (~alp@2001:861:8ca0:4940:20f3:153b:3579:d302) |
| 2025-03-01 13:04:16 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-01 13:07:50 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f23d472fd3bae079d4a.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-03-01 13:09:06 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-03-01 13:20:04 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-03-01 13:50:20 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-01 13:50:28 +0100 | killy | (~killy@terminal-3-187.retsat1.com.pl) |
| 2025-03-01 13:55:09 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-01 13:55:41 +0100 | fmira | (~user@user/fmira) (Remote host closed the connection) |
| 2025-03-01 13:55:43 +0100 | user_ | (~user@user/fmira) fmira |