2025-05-07 00:08:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-07 00:10:21 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-05-07 00:11:04 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 276 seconds) |
2025-05-07 00:13:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-05-07 00:16:31 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-05-07 00:20:35 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Read error: Connection reset by peer) |
2025-05-07 00:20:40 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
2025-05-07 00:20:54 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
2025-05-07 00:22:13 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdc3:f42b:30fc:1c61) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-05-07 00:24:17 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdc3:f42b:30fc:1c61) |
2025-05-07 00:24:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-07 00:25:37 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2025-05-07 00:29:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-05-07 00:36:10 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdc3:f42b:30fc:1c61) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-05-07 00:40:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-07 00:42:12 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 264 seconds) |
2025-05-07 00:42:28 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
2025-05-07 00:42:31 +0200 | <hellwolf> | https://x.com/deusaquilus/status/1919866616331800614 shots fired at monad; why do people keep coming up with syntax just to hide things? |
2025-05-07 00:43:22 +0200 | hellwolf | looking at the mirror, but feeling content that it's all {-# LANGUAGE ... #-} to blame. |
2025-05-07 00:43:43 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-05-07 00:43:59 +0200 | <EvanR> | IO as an example monad might not be wise, at some point someone questioned if it was even a monad xD |
2025-05-07 00:45:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-05-07 00:45:43 +0200 | <hellwolf> | does it looks like a monad, and quarks like a monad? |
2025-05-07 00:46:05 +0200 | <hellwolf> | (though monad is supposed to be an ugly fish) |
2025-05-07 00:46:24 +0200 | <hellwolf> | there is a crypto bro project called monad. but don't look it up, it might ruin your day. |
2025-05-07 00:46:45 +0200 | hellwolf | feel self-deprecating about being in the crypto again. |
2025-05-07 00:47:55 +0200 | <monochrom> | What is crypto bro? |
2025-05-07 00:49:40 +0200 | <hellwolf> | crypto project that has a bro vibe. |
2025-05-07 00:50:21 +0200 | drewr | (~drew@user/drewr) (Ping timeout: 252 seconds) |
2025-05-07 00:52:31 +0200 | sayurc | (~sayurc@169.150.203.34) sayurc |
2025-05-07 00:53:47 +0200 | <monochrom> | You know, I agree with that post, and take it to its logical conclusion: Just write SQL itself, it is literally 100% better than any encoding of SQL. |
2025-05-07 00:55:16 +0200 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 276 seconds) |
2025-05-07 00:55:17 +0200 | Lears | (~Leary@user/Leary/x-0910699) Leary |
2025-05-07 00:56:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-07 00:57:04 +0200 | mistivia | (~mistivia@user/mistivia) mistivia |
2025-05-07 00:57:35 +0200 | mistivia_ | (~mistivia@user/mistivia) (Read error: Connection reset by peer) |
2025-05-07 00:57:41 +0200 | <haskellbridge> | <Liamzee> you still need to deserialize the return types |
2025-05-07 00:58:28 +0200 | Leary | (~Leary@user/Leary/x-0910699) (Read error: Connection reset by peer) |
2025-05-07 00:58:52 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
2025-05-07 00:59:23 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-05-07 01:00:36 +0200 | <hellwolf> | So, what do you think of quasiquote template haskell based approach? |
2025-05-07 01:00:40 +0200 | <monochrom> | Just for the sake of being the devil's advocate: Why? |
2025-05-07 01:00:48 +0200 | Square | (~Square@user/square) Square |
2025-05-07 01:01:01 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
2025-05-07 01:01:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-05-07 01:01:14 +0200 | gentauro | (~gentauro@user/gentauro) gentauro |
2025-05-07 01:01:36 +0200 | <hellwolf> | what do you mean? |
2025-05-07 01:01:50 +0200 | <monochrom> | Why do I still need to deserialize the return types. |
2025-05-07 01:02:15 +0200 | <monochrom> | Deserialize to what, and who needs it, and why. |
2025-05-07 01:02:36 +0200 | <haskellbridge> | <Liamzee> to Haskell types, I mean, the result of the query |
2025-05-07 01:03:01 +0200 | sprout | (~sprout@2a02-a448-3a80-0-c61c-b515-5509-58e7.fixed6.kpn.net) (Ping timeout: 268 seconds) |
2025-05-07 01:03:05 +0200 | <monochrom> | Why to Haskell types? Why not get rid of even that Haskell program, for example? |
2025-05-07 01:03:48 +0200 | <haskellbridge> | <Liamzee> too obviously socratic |
2025-05-07 01:04:01 +0200 | <monochrom> | Maybe I should describe one of my use cases. |
2025-05-07 01:04:34 +0200 | sprout | (~sprout@84-80-106-227.fixed.kpn.net) sprout |
2025-05-07 01:04:56 +0200 | <int-e> | You could simply not answer inane "what do you think of" questions that are asked without motivation or other direction or context that would confine the scope of the answer. |
2025-05-07 01:05:34 +0200 | <monochrom> | I have a lot of student marks to process. Various marking platforms give me student marks as CSV. In the past I wrote my own Haskell program with cassava to read, compute, write. But I can see a future where I just use sqlite, in fact even just the sqlite command line. My Haskell program will be obsoleted. |
2025-05-07 01:06:22 +0200 | <monochrom> | Read: My role as a Haskell programmer to maintain that Haskell code is also obsoleted. |
2025-05-07 01:06:44 +0200 | <haskellbridge> | <Liamzee> advantages of such an approach: simplicity. disadvantages of such an approach: how performant is going straight through the database? how safe is using sqlite instead? |
2025-05-07 01:06:45 +0200 | <EvanR> | the grass is always greener |
2025-05-07 01:06:59 +0200 | <haskellbridge> | <Liamzee> If I say "Scanners Live in Vain", would anyone get the reference? |
2025-05-07 01:07:11 +0200 | <EvanR> | I keep all my accounts for self employment in sqlite and then came to same conclusion, why? |
2025-05-07 01:07:15 +0200 | <haskellbridge> | <Liamzee> nope, and that just makes me annoying |
2025-05-07 01:07:16 +0200 | <int-e> | . o O ( meet my haymaker ) |
2025-05-07 01:07:47 +0200 | <EvanR> | some other thing would have been easier since I wouldn't have to maintain it |
2025-05-07 01:10:12 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-05-07 01:10:36 +0200 | shr\ke | (~shrike@user/shrke:31298) (Ping timeout: 252 seconds) |
2025-05-07 01:10:41 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
2025-05-07 01:10:53 +0200 | sprotte24 | (~sprotte24@p200300d16f36aa00202cf2be69d2c7e4.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-05-07 01:11:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-07 01:17:06 +0200 | bdmg_ | (~myJebba@177.138.161.234) |
2025-05-07 01:18:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-05-07 01:20:41 +0200 | shr\ke | (~shrike@user/paxhumana) paxhumana |
2025-05-07 01:20:41 +0200 | shr\ke | (~shrike@user/paxhumana) (Changing host) |
2025-05-07 01:20:41 +0200 | shr\ke | (~shrike@user/shrke:31298) shr\ke |
2025-05-07 01:23:34 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2025-05-07 01:25:10 +0200 | <haskellbridge> | <Liamzee> oh, and to fill out the useless reference, "Scanners Live in Vain" refers to a short story by a US army intelligence guy (who was also a disclosed CIA officer after his death) about a fraternity of space pilots who went grueling and dehumanizing hardship to safely chaperone people across worlds. One day, someone invents a technological workaround that renders their job irrelevant, so they connive to have the guy... |
2025-05-07 01:25:15 +0200 | <haskellbridge> | ... murdered and his project covered up. Of course, it's a pulp science fiction story, so their plot is foiled, but to some extent it seems relevant to modern software development, no? |
2025-05-07 01:25:50 +0200 | <haskellbridge> | <Liamzee> /s/ who went/ who went through/ |
2025-05-07 01:26:23 +0200 | geekosaur | was afk but knew the reference |
2025-05-07 01:26:35 +0200 | <geekosaur> | Vonnegut's first story iirc |
2025-05-07 01:26:53 +0200 | <haskellbridge> | <Liamzee> no, Cordwainer Smith / Paul Linebarger (real name, wrote under pseudonyms due to the nature of his work) |
2025-05-07 01:27:04 +0200 | <geekosaur> | ah, whoops |
2025-05-07 01:27:15 +0200 | <geekosaur> | too many old SF shorts writers |
2025-05-07 01:29:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-07 01:33:43 +0200 | <hellwolf> | question to emacs user again: why haskell-mode does not indent function parameters in new lines? |
2025-05-07 01:34:03 +0200 | <hellwolf> | *in the next line? not sure how to speak english anymore |
2025-05-07 01:34:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-05-07 01:34:32 +0200 | <hellwolf> | https://paste.tomsmeding.com/vDyxr8yb |
2025-05-07 01:34:48 +0200 | <hellwolf> | I don't find this default indentation experience (using <tab>) is very nice. |
2025-05-07 01:37:28 +0200 | <hellwolf> | just tried out https://ormolu-live.tweag.io to see the difference |
2025-05-07 01:38:17 +0200 | <hellwolf> | hmm, not sure I like ormolu one neither, but certainly looks nicer than mine. |
2025-05-07 01:42:10 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-05-07 01:44:02 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
2025-05-07 01:45:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-07 01:50:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-05-07 01:54:45 +0200 | adamCS | (~adamCS@70.19.85.77) (Ping timeout: 244 seconds) |
2025-05-07 01:59:18 +0200 | <haskellbridge> | <sm> cool SF reference, and speaking of which, I just found this fine story on HN: |
2025-05-07 01:59:18 +0200 | <haskellbridge> | https://standardebooks.org/ebooks/e-m-forster/short-fiction/text/the-machine-stops |
2025-05-07 02:01:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-07 02:01:15 +0200 | adamCS | (~adamCS@70.19.85.77) adamCS |
2025-05-07 02:04:31 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-05-07 02:04:41 +0200 | jespada_ | (~jespada@r179-24-30-150.dialup.adsl.anteldata.net.uy) (Ping timeout: 268 seconds) |
2025-05-07 02:06:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-05-07 02:12:37 +0200 | sajenim | (~sajenim@user/sajenim) sajenim |
2025-05-07 02:17:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-07 02:21:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-05-07 02:27:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-05-07 02:28:24 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
2025-05-07 02:29:41 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f5301468c1cc0256076.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-05-07 02:29:59 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
2025-05-07 02:30:13 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-05-07 02:30:55 +0200 | euleritian | (~euleritia@dynamic-176-006-137-036.176.6.pool.telefonica.de) |
2025-05-07 02:31:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-07 02:32:17 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Remote host closed the connection) |
2025-05-07 02:32:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-07 02:34:08 +0200 | Axma83103 | (~Axman6@user/axman6) Axman6 |