| 2025-05-18 00:02:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 00:02:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 00:05:50 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-18 00:06:37 +0200 | <kaol> | cabal v2 sucks. I want to edit one file and I can't figure how to do an incremental compile. It always worked just fine with v1. I seem to be stuck in a hell of waiting for 150 modules to build every time instead. |
| 2025-05-18 00:08:02 +0200 | <monochrom> | I never experieinced that. |
| 2025-05-18 00:08:20 +0200 | <kaol> | "cabal build > Up to date" no it isn't you idiot program. |
| 2025-05-18 00:12:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-18 00:16:36 +0200 | <kaol> | Okay, I switched from bumping the project version number in cabal to just twiddling with build-depends instead. That avoids doing the full compile at least. Now I just change base's upper bound every time to trigger the check to see that one module that's changed. |
| 2025-05-18 00:16:51 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-05-18 00:17:12 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-18 00:18:12 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-18 00:18:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 00:18:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 00:20:43 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-18 00:24:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 00:25:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 00:25:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-18 00:26:17 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-05-18 00:26:20 +0200 | <hololeap> | I've seen doctests change some obscure thing and cause a bunch of modules to get rebuilt |
| 2025-05-18 00:28:42 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2025-05-18 00:28:51 +0200 | <kaol> | And even that build-dependency trick is not quite clean. It triggers dependency checks for all of my executables and libraries, not just the one I'm editing. Those take time. |
| 2025-05-18 00:29:58 +0200 | <kaol> | And all I'm really doing is just cabal build. This is the kind of usability issues that make me think that cabal developers never use the program themselves. |
| 2025-05-18 00:30:33 +0200 | <EvanR> | you're changing the version numbers on base but don't want it to recompile everything? |
| 2025-05-18 00:30:53 +0200 | <kaol> | I'm only doing it to have it notice a change to one module file. |
| 2025-05-18 00:31:04 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-18 00:31:10 +0200 | <kaol> | The upper bound. I'm not obviously changing ghc in between. |
| 2025-05-18 00:31:21 +0200 | <EvanR> | changing 1 module file shouldn't trigger a full rebuild, unless it's something everything depends on |
| 2025-05-18 00:31:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 00:31:46 +0200 | <kaol> | Changing 1 module file gets completely ignored. That's the problem. |
| 2025-05-18 00:31:55 +0200 | <EvanR> | o_O |
| 2025-05-18 00:31:59 +0200 | <kaol> | I'm manipulating my cabal file just to make cabal build catch that. |
| 2025-05-18 00:32:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 00:32:28 +0200 | <EvanR> | are you sure that file is listed in the cabal other modules |
| 2025-05-18 00:32:30 +0200 | notzmv | (~daniel@user/notzmv) (Ping timeout: 272 seconds) |
| 2025-05-18 00:34:39 +0200 | <Clint> | as opposed to exposed-modules? |
| 2025-05-18 00:34:41 +0200 | <kaol> | It makes no difference whether I have it in other-modules or not. |
| 2025-05-18 00:34:55 +0200 | <kaol> | v1 never cared about that. |
| 2025-05-18 00:35:41 +0200 | <monochrom> | I guess with 150 modules, one is not inclined to list them anywhere. |
| 2025-05-18 00:36:19 +0200 | <kaol> | I just want the behavior that cabal build does if I have a compile error in one module. It works as expected as long as I don't have it compile successfully. |
| 2025-05-18 00:36:38 +0200 | <kaol> | As long as it is in that state I can change any module and it sees the change. |
| 2025-05-18 00:36:53 +0200 | <kaol> | But once it compiles once, it never checks any files for changes again. |
| 2025-05-18 00:36:58 +0200 | <kaol> | Unless I edit my cabal file. |
| 2025-05-18 00:37:19 +0200 | <kaol> | Which triggers all sorts of dependency checks as well which is slow. |
| 2025-05-18 00:38:32 +0200 | <kaol> | If cabal build is not the supposed way to use cabal then what is? |
| 2025-05-18 00:38:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 00:38:45 +0200 | <kaol> | If I can't even build my project anymore after it succeeds once? |
| 2025-05-18 00:39:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 00:40:14 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-05-18 00:46:07 +0200 | <sm> | kaol, that's not working as intended. It'll take some work, but maybe you can minimise it to identify the cause, or share the repo |
| 2025-05-18 00:46:25 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-05-18 00:47:31 +0200 | <sm> | there's also the #hackage channel where cabal developers are |
| 2025-05-18 00:49:09 +0200 | notzmv | (~daniel@user/notzmv) notzmv |
| 2025-05-18 00:49:47 +0200 | <sm> | also mention your cabal --version |
| 2025-05-18 00:50:30 +0200 | Guest11 | (~Guest11@syn-024-165-041-231.res.spectrum.com) |
| 2025-05-18 00:52:13 +0200 | <kaol> | https://gitlab.com/piperka/piperka and cabal-install version 3.10.3.0 |
| 2025-05-18 00:55:55 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-18 00:56:25 +0200 | <sm> | kaol, this project doesn't build easily, I wonder which ghc --version you have |
| 2025-05-18 00:56:46 +0200 | <sm> | 9.6 I guess |
| 2025-05-18 00:58:07 +0200 | <sm> | no good.. I would try to reproduce your issue, but I can't resolve your dependencies |
| 2025-05-18 00:58:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 00:58:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 00:59:08 +0200 | <kaol> | I'm using 9.6.6 currently. |
| 2025-05-18 01:00:49 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-18 01:07:18 +0200 | Guest11 | (~Guest11@syn-024-165-041-231.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2025-05-18 01:08:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 01:09:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 01:10:12 +0200 | <sm> | --allow-newer gets farther, but I failed to make cabal build text-icu on mac. But try simplifying your project until it works. Changing a .hs file should definitely trigger recompilation |
| 2025-05-18 01:11:20 +0200 | Guest11 | (~Guest11@syn-024-165-041-231.res.spectrum.com) |
| 2025-05-18 01:14:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 01:15:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 01:17:18 +0200 | Guest57 | (~Guest11@syn-024-165-041-231.res.spectrum.com) |
| 2025-05-18 01:18:06 +0200 | Guest11 | (~Guest11@syn-024-165-041-231.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2025-05-18 01:21:00 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-05-18 01:21:39 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2025-05-18 01:21:48 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-05-18 01:22:22 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-05-18 01:22:59 +0200 | <kaol> | "cabal install --only-dependencies --force-reinstalls --overwrite-policy=always" works as well to clear whatever's blocking the module file change check. |
| 2025-05-18 01:23:44 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-05-18 01:25:04 +0200 | <kaol> | No wait, that didn't. I still needed to edit my cabal file. |
| 2025-05-18 01:29:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-05-18 01:36:36 +0200 | <Leary> | kaol: Your `hs-source-dirs` are overlapping between components. This can cause problems due to the way GHC searches for modules; try separating them. |
| 2025-05-18 01:38:45 +0200 | <sm> | 🚀 |
| 2025-05-18 01:39:42 +0200 | <Leary> | (I'm not claiming this is the solution, but it's the thing that looks most wrong in the .cabal file) |
| 2025-05-18 01:41:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-18 01:42:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 01:42:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 01:43:26 +0200 | hiredman | (~hiredman@frontier1.downey.family) (Quit: Lost terminal) |
| 2025-05-18 01:44:43 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-18 01:48:29 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-05-18 01:48:29 +0200 | ljdarj1 | ljdarj |
| 2025-05-18 01:50:13 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-05-18 01:50:44 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-18 01:50:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 01:51:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 01:53:51 +0200 | sus0 | (zero@user/zeromomentum) zeromomentum |
| 2025-05-18 01:56:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 01:57:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 02:02:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 02:03:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 02:03:46 +0200 | jespada | (~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 2025-05-18 02:05:36 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f65f1ead88f57001215.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-05-18 02:08:02 +0200 | sprotte24 | (~sprotte24@p200300d16f06fd00c9f6fa4fdf16930b.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-05-18 02:12:17 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-05-18 02:14:52 +0200 | craunts | (~craunts@136.158.8.87) |
| 2025-05-18 02:32:06 +0200 | Guest57 | (~Guest11@syn-024-165-041-231.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2025-05-18 02:32:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 02:33:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 02:34:00 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-05-18 02:35:57 +0200 | Guest11 | (~Guest11@syn-024-165-041-231.res.spectrum.com) |
| 2025-05-18 02:47:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 02:47:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 02:53:27 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
| 2025-05-18 02:55:37 +0200 | Square2 | (~Square@user/square) (Ping timeout: 265 seconds) |
| 2025-05-18 02:59:48 +0200 | <sm> | watch = ["util", "exec", "--", "sh", "-c", """ |
| 2025-05-18 02:59:49 +0200 | <sm> | watchexec --wrap-process=session --no-vcs-ignore --ignore .jj/working_copy/working_copy.lock -c clear --bell "date; echo; jj --no-pager $@" |
| 2025-05-18 02:59:49 +0200 | <sm> | """, ""] |
| 2025-05-18 03:01:49 +0200 | end | (~end@user/end/x-0094621) (Ping timeout: 252 seconds) |
| 2025-05-18 03:02:10 +0200 | bcksl | (~bcksl@user/bcksl) (Ping timeout: 260 seconds) |
| 2025-05-18 03:02:47 +0200 | sus0 | (zero@user/zeromomentum) (Ping timeout: 252 seconds) |
| 2025-05-18 03:05:41 +0200 | <sm> | I forgot a `--watch .jj` in there, more efficient |
| 2025-05-18 03:06:05 +0200 | <sm> | now I can have an updating log, op log etc like in Martin's video |
| 2025-05-18 03:09:59 +0200 | <sm> | and I can keep an eye on what other jj tools (like VJJ) are doing |
| 2025-05-18 03:10:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-05-18 03:11:11 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-18 03:25:17 +0200 | craunts7 | (~craunts@136.158.8.87) |
| 2025-05-18 03:25:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 03:25:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 03:26:11 +0200 | bcksl | (~bcksl@user/bcksl) bcksl |
| 2025-05-18 03:27:06 +0200 | craunts | (~craunts@136.158.8.87) (Ping timeout: 252 seconds) |
| 2025-05-18 03:27:07 +0200 | craunts7 | craunts |
| 2025-05-18 03:27:10 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-05-18 03:27:12 +0200 | xff0x | (~xff0x@om126236151042.32.openmobile.ne.jp) |
| 2025-05-18 03:31:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 03:31:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 03:35:21 +0200 | end | (~end@user/end/x-0094621) end^ |
| 2025-05-18 03:36:21 +0200 | xff0x | (~xff0x@om126236151042.32.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2025-05-18 03:41:40 +0200 | xff0x | (~xff0x@om126236151042.32.openmobile.ne.jp) |
| 2025-05-18 03:44:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 03:45:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 03:46:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-18 03:48:30 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2025-05-18 03:54:54 +0200 | xff0x | (~xff0x@om126236151042.32.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2025-05-18 03:58:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-18 04:01:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 04:01:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 04:05:03 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2025-05-18 04:05:39 +0200 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-05-18 04:05:47 +0200 | joeyadams | (~textual@syn-162-154-010-038.res.spectrum.com) |
| 2025-05-18 04:14:06 +0200 | manwithluck | (~manwithlu@2a09:bac5:5082:2387::38a:10) (Ping timeout: 276 seconds) |
| 2025-05-18 04:14:09 +0200 | td_ | (~td@i53870928.versanet.de) (Ping timeout: 245 seconds) |
| 2025-05-18 04:16:02 +0200 | td_ | (~td@i5387091A.versanet.de) td_ |
| 2025-05-18 04:16:14 +0200 | <ski> | oh .. sorry, for some reason i missed the paste, Leary |
| 2025-05-18 04:19:19 +0200 | <Leary> | No worries. |
| 2025-05-18 04:24:02 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-18 04:25:11 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-05-18 04:29:14 +0200 | <ski> | i was reminded of `IVar's, but it doesn't look like what you're doing is that similar to that (except `Identified', slightly) |
| 2025-05-18 04:31:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 04:31:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 04:40:33 +0200 | xff0x | (~xff0x@om126236151042.32.openmobile.ne.jp) |
| 2025-05-18 04:46:33 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-05-18 04:54:47 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-18 04:55:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 04:56:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 05:00:32 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Read error: Connection reset by peer) |
| 2025-05-18 05:00:32 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-05-18 05:00:32 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-05-18 05:00:32 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-18 05:00:32 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-05-18 05:00:52 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-18 05:00:55 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-05-18 05:00:58 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-05-18 05:01:02 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-05-18 05:01:10 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-05-18 05:01:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-18 05:04:11 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2025-05-18 05:05:24 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 245 seconds) |
| 2025-05-18 05:13:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-18 05:16:21 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-18 05:16:22 +0200 | xff0x | (~xff0x@om126236151042.32.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2025-05-18 05:19:56 +0200 | xff0x | (~xff0x@om126236151042.32.openmobile.ne.jp) |
| 2025-05-18 05:33:31 +0200 | aforemny | (~aforemny@i59F4C598.versanet.de) aforemny |
| 2025-05-18 05:33:35 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-05-18 05:35:14 +0200 | aforemny_ | (~aforemny@2001:9e8:6ce3:4b00:63e7:2449:7739:bbf2) (Ping timeout: 272 seconds) |
| 2025-05-18 05:42:31 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) |
| 2025-05-18 05:43:08 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) (Client Quit) |
| 2025-05-18 05:47:26 +0200 | xff0x | (~xff0x@om126236151042.32.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2025-05-18 05:48:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 05:49:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 05:56:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 05:56:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 06:02:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 06:02:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 06:08:37 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-05-18 06:11:39 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-05-18 06:16:36 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-18 06:17:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-18 06:17:35 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-05-18 06:17:52 +0200 | haskellbridge | (~hackager@syn-096-028-224-255.res.spectrum.com) hackager |
| 2025-05-18 06:17:52 +0200 | ChanServ | +v haskellbridge |
| 2025-05-18 06:21:53 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-18 06:22:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 06:22:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 06:22:44 +0200 | haskellbridge | (~hackager@syn-096-028-224-255.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-05-18 06:23:00 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-18 06:23:42 +0200 | Guest11 | (~Guest11@syn-024-165-041-231.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2025-05-18 06:24:12 +0200 | haskellbridge | (~hackager@syn-096-028-224-255.res.spectrum.com) hackager |
| 2025-05-18 06:24:12 +0200 | ChanServ | +v haskellbridge |
| 2025-05-18 06:25:32 +0200 | <geekosaur> | network back, IP address changed so matrix-side may be a little flaky until the new one propagates |
| 2025-05-18 06:28:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-18 06:30:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 06:30:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 06:36:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 06:36:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 06:42:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 06:42:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 06:45:24 +0200 | Nosrep | (~Nosrep@user/nosrep) (Ping timeout: 245 seconds) |
| 2025-05-18 06:48:59 +0200 | <sm> | hurrah! |
| 2025-05-18 06:50:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 06:50:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 06:52:23 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-05-18 06:55:25 +0200 | Frostillicus | (~Frostilli@71.174.119.69) |
| 2025-05-18 06:56:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 06:56:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 07:00:10 +0200 | Frostillicus | (~Frostilli@71.174.119.69) (Ping timeout: 260 seconds) |
| 2025-05-18 07:01:05 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.2) |
| 2025-05-18 07:07:18 +0200 | joeyadams | (~textual@syn-162-154-010-038.res.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2025-05-18 07:07:43 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
| 2025-05-18 07:14:40 +0200 | <haskellbridge> | <magic_rb> i seem to recall some people hosted these temporary file sharing services and those would work, they all skipped my mind though just now |
| 2025-05-18 07:14:42 +0200 | <haskellbridge> | <sm> matrix ? |
| 2025-05-18 07:14:42 +0200 | <haskellbridge> | <sm> or https://pub.microbin.eu ? |
| 2025-05-18 07:14:42 +0200 | <haskellbridge> | <magic_rb> https://pub.microbin.eu/upload/zebra-eagle this works |
| 2025-05-18 07:14:42 +0200 | <haskellbridge> | <sm> excellent pastebin |
| 2025-05-18 07:14:42 +0200 | <haskellbridge> | <magic_rb> dmjio i was talking about the photo thing right, so that is how it looks now |
| 2025-05-18 07:14:42 +0200 | <haskellbridge> | <magic_rb> you can tag photos, rename them, javascript free |
| 2025-05-18 07:14:44 +0200 | <haskellbridge> | <magic_rb> and its stored in git+git-annex |
| 2025-05-18 07:14:45 +0200 | <haskellbridge> | <magic_rb> https://paste.tomsmeding.com/fxesVbzl like that |
| 2025-05-18 07:14:47 +0200 | <haskellbridge> | <magic_rb> the database is just a cache for the toml files and can be evicted at any point |
| 2025-05-18 07:14:48 +0200 | <haskellbridge> | <sm> test |
| 2025-05-18 07:21:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 07:21:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 07:25:51 +0200 | craunts | (~craunts@136.158.8.87) (Quit: Ping timeout (120 seconds)) |
| 2025-05-18 07:26:06 +0200 | craunts | (~craunts@136.158.8.87) |
| 2025-05-18 07:33:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-18 07:36:44 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-18 07:36:50 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-05-18 07:38:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 07:38:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 07:44:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 07:44:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 07:45:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-18 07:50:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 07:50:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 07:52:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-18 07:57:22 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-05-18 07:57:46 +0200 | euleritian | (~euleritia@77.23.248.100) |
| 2025-05-18 07:57:57 +0200 | euleritian | (~euleritia@77.23.248.100) (Remote host closed the connection) |
| 2025-05-18 08:00:21 +0200 | craunts | (~craunts@136.158.8.87) (Ping timeout: 248 seconds) |
| 2025-05-18 08:01:14 +0200 | euleritian | (~euleritia@77.23.248.100) |
| 2025-05-18 08:01:30 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-05-18 08:02:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 08:02:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 08:03:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-18 08:09:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-18 08:09:55 +0200 | euleritian | (~euleritia@77.23.248.100) (Remote host closed the connection) |
| 2025-05-18 08:10:19 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-18 08:16:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 08:16:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 08:20:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-18 08:25:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 08:25:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 08:26:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-18 08:36:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-18 08:37:56 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-05-18 08:45:01 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-18 08:45:11 +0200 | craunts | (~craunts@136.158.8.87) |
| 2025-05-18 08:45:24 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
| 2025-05-18 08:48:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 08:49:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 08:50:09 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) |
| 2025-05-18 08:51:16 +0200 | craunts | (~craunts@136.158.8.87) (Read error: Connection reset by peer) |
| 2025-05-18 08:51:38 +0200 | craunts | (~craunts@136.158.8.87) |
| 2025-05-18 08:52:06 +0200 | xff0x | (~xff0x@om126236151042.32.openmobile.ne.jp) |
| 2025-05-18 08:56:34 +0200 | craunts | (~craunts@136.158.8.87) (Ping timeout: 252 seconds) |
| 2025-05-18 09:00:00 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-18 09:00:39 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-18 09:05:21 +0200 | xff0x | (~xff0x@om126236151042.32.openmobile.ne.jp) (Ping timeout: 248 seconds) |
| 2025-05-18 09:07:30 +0200 | xff0x | (~xff0x@om126236151042.32.openmobile.ne.jp) |
| 2025-05-18 09:08:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 09:09:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 09:13:43 +0200 | craunts | (~craunts@136.158.8.87) |
| 2025-05-18 09:14:36 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-05-18 09:16:15 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-05-18 09:17:38 +0200 | craunts | (~craunts@136.158.8.87) (Client Quit) |
| 2025-05-18 09:18:52 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-05-18 09:23:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 09:23:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 09:29:50 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-18 09:31:59 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-18 09:32:03 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-18 09:32:36 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-05-18 09:36:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 09:36:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 09:37:15 +0200 | Digit | (~user@user/digit) Digit |
| 2025-05-18 09:41:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-18 09:44:54 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f033d258f2e8b70eea4.dip0.t-ipconnect.de) acidjnk |
| 2025-05-18 09:47:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 09:47:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 09:50:56 +0200 | xff0x | (~xff0x@om126236151042.32.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2025-05-18 09:51:17 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-05-18 09:52:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-18 09:59:23 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-05-18 10:00:25 +0200 | sus0 | (zero@user/zeromomentum) zeromomentum |
| 2025-05-18 10:02:29 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-05-18 10:03:59 +0200 | <haskellbridge> | <sm> what's Haskell's killer domain, for https://news.ycombinator.com/item?id=44018922 ? |
| 2025-05-18 10:05:40 +0200 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2025-05-18 10:05:58 +0200 | <haskellbridge> | <sm> "high-assurance computing and prototyping/research" |
| 2025-05-18 10:06:28 +0200 | <Rembane> | Also parsers and compilers |
| 2025-05-18 10:06:32 +0200 | <haskellbridge> | <hellwolf> ecosystem of PL nerds |
| 2025-05-18 10:06:57 +0200 | <Rembane> | And research in lazily evaluated programming languages |
| 2025-05-18 10:09:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 10:09:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 10:17:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 10:17:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 10:18:17 +0200 | <haskellbridge> | <maerwald> High assurance computing? |
| 2025-05-18 10:18:41 +0200 | <haskellbridge> | <maerwald> GHC and its RTS are underspecified black boxes |
| 2025-05-18 10:19:39 +0200 | <haskellbridge> | <sm> better: "High assurance applications and prototyping/research" |
| 2025-05-18 10:20:33 +0200 | <haskellbridge> | <sm> this is in context of the above article, where each language gets 4-6 words for a general audience |
| 2025-05-18 10:21:37 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-18 10:21:42 +0200 | <haskellbridge> | <sm> * 1-6 |
| 2025-05-18 10:23:53 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-05-18 10:26:51 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-18 10:29:55 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) |
| 2025-05-18 10:32:12 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-05-18 10:42:57 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-18 10:42:58 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-18 10:43:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 10:43:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 10:47:24 +0200 | Digit | (~user@user/digit) Digit |
| 2025-05-18 10:51:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 10:52:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 10:56:50 +0200 | xff0x | (~xff0x@om126236151042.32.openmobile.ne.jp) |
| 2025-05-18 11:02:04 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-18 11:03:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 11:03:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 11:04:31 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-18 11:06:12 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) |
| 2025-05-18 11:08:07 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-05-18 11:15:44 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-05-18 11:17:45 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-18 11:19:54 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-18 11:21:06 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-18 11:23:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-18 11:24:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 11:29:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 11:29:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 11:36:40 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-05-18 11:39:49 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-18 11:40:19 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-05-18 11:44:11 +0200 | <lxsameer> | hey folks, how do you model a data type with one constructor, in such a way that every value of that type is a distinct value, so no two value are equal? the constructor does not take any input. it's literally `data X = X` |
| 2025-05-18 11:45:38 +0200 | <lxsameer> | for example, in an implementation of this type in an imperative lang, they just left it to the memory manager to choose a distinct address for each new value |
| 2025-05-18 11:45:50 +0200 | <lxsameer> | and compare elements of this type based on their address |
| 2025-05-18 11:47:00 +0200 | <tomsmeding> | lxsameer: give it an Int field, don't export the constructor, and expose a smart constructor that increments a global IORef? |
| 2025-05-18 11:47:14 +0200 | <tomsmeding> | obligatory warning: use atomicModifyIORef', and put NOINLINE on functions with unsafePerformIO |
| 2025-05-18 11:47:19 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-05-18 11:47:47 +0200 | <lxsameer> | tomsmeding: thank you |
| 2025-05-18 11:48:42 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-18 11:48:58 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-18 11:49:24 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-05-18 11:50:09 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-05-18 11:50:37 +0200 | <mauke> | instance Eq X where _ == _ = False |
| 2025-05-18 11:53:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 11:54:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 11:55:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-18 12:02:30 +0200 | <lxsameer> | mauke: a value is still equal to itself |
| 2025-05-18 12:04:11 +0200 | <mauke> | equal in what sense? |
| 2025-05-18 12:04:34 +0200 | <lxsameer> | sameness |
| 2025-05-18 12:09:22 +0200 | <mauke> | what does that mean |
| 2025-05-18 12:10:01 +0200 | <lxsameer> | a = X; b = X; c = a; a /= b; a == c |
| 2025-05-18 12:10:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-18 12:13:27 +0200 | <mauke> | oh, you *want* it to be equal |
| 2025-05-18 12:13:43 +0200 | <mauke> | yeah, that's not a thing |
| 2025-05-18 12:15:40 +0200 | turlando | (~turlando@user/turlando) (Quit: No Ping reply in 180 seconds.) |
| 2025-05-18 12:16:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 12:16:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 12:16:56 +0200 | turlando | (~turlando@user/turlando) turlando |
| 2025-05-18 12:20:38 +0200 | notzmv | (~daniel@user/notzmv) (Ping timeout: 265 seconds) |
| 2025-05-18 12:21:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 12:22:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 12:34:37 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-05-18 12:35:01 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-05-18 12:35:23 +0200 | <tomsmeding> | the fact that you need ugliness like unsafePerformIO in my suggestion shows what you're asking for :p |
| 2025-05-18 12:35:39 +0200 | <lxsameer> | ah haskell has a Unique type too |
| 2025-05-18 12:35:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 12:36:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 12:36:13 +0200 | <lxsameer> | essentially it seems like the same thing that tomsmeding suggested |
| 2025-05-18 12:36:28 +0200 | <tomsmeding> | yes, but you still need to write the unsafePerformIO yourself |
| 2025-05-18 12:36:51 +0200 | <tomsmeding> | well here is indeed precisely what I suggested, lol https://hackage.haskell.org/package/ghc-internal-9.1201.0/docs/src/GHC.Internal.Data.Unique.html#U… |
| 2025-05-18 12:37:04 +0200 | <tomsmeding> | except you probably need another unsafePerformIO around newUnique |
| 2025-05-18 12:38:18 +0200 | <tomsmeding> | the comments below newUnique are interesting to read: apparently it was an MVar before, then it became STM, and then it became an IORef |
| 2025-05-18 12:38:55 +0200 | <tomsmeding> | given current state of things in GHC Haskell, I would never even consider using something else than an IORef, but because these things harken from >12 years ago, perhaps the runtime behaved differently |
| 2025-05-18 12:40:12 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 272 seconds) |
| 2025-05-18 12:40:45 +0200 | <Rembane> | So things became less and less safe and faster and faster over time? |
| 2025-05-18 12:40:56 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2025-05-18 12:41:22 +0200 | euleritian | (~euleritia@dynamic-176-006-136-230.176.6.pool.telefonica.de) |
| 2025-05-18 12:44:18 +0200 | <lxsameer> | hmmmm but i think it's better to rethink the approach |
| 2025-05-18 12:44:31 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-05-18 12:46:08 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-18 12:46:37 +0200 | euleritian | (~euleritia@dynamic-176-006-136-230.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-18 12:46:55 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-18 12:48:43 +0200 | <tomsmeding> | Rembane: why less safe? |
| 2025-05-18 12:49:27 +0200 | <tomsmeding> | the move from MVar to STM lost fairness; I would not call that "safety", but it's perhaps close enough. But STM -> IORef doesn't lose anything |
| 2025-05-18 12:49:38 +0200 | <Rembane> | tomsmeding: Maybe I have misunderstood everything but I thought MVar was more safe than STM that was more safe than IORef, but I don't know why. So it might just be something I got wrong. |
| 2025-05-18 12:49:41 +0200 | <tomsmeding> | (in this particular application) |
| 2025-05-18 12:49:47 +0200 | <Rembane> | Got it! |
| 2025-05-18 12:49:53 +0200 | <lxsameer> | tomsmeding: no, I'm trying to port a legacy code (which is in very old scheme) to haskell, what is happening there is not necessarily the right way to implement it in haskell |
| 2025-05-18 12:50:08 +0200 | <lxsameer> | ah sorry, it wasn't for me |
| 2025-05-18 12:50:41 +0200 | <tomsmeding> | Rembane: MVar is a mutable variable with guaranteed FIFO queueing; STM is optimistic concurrency that has various sources of overhead but avoids locking in the happy path of no contention |
| 2025-05-18 12:50:43 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-05-18 12:50:58 +0200 | <tomsmeding> | STM doesn't give any concurrency guarantees, just the observation that in practice it works really well |
| 2025-05-18 12:51:07 +0200 | <tomsmeding> | IORef is just... a mutable thing |
| 2025-05-18 12:51:22 +0200 | <Rembane> | tomsmeding: Maybe that's the point. Hm... because I've learned them in the context of concurrency. |
| 2025-05-18 12:51:24 +0200 | <tomsmeding> | it seems to me that "obviously" atomicModifyIORef' is the fastest |
| 2025-05-18 12:51:37 +0200 | <tomsmeding> | it does just an atomic update, whereas MVar and STM do a whole lot more |
| 2025-05-18 12:51:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-18 12:52:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-18 12:52:20 +0200 | <tomsmeding> | lxsameer: I'm not saying you're doing the wrong thing, just indicating that what you're doing isn't very haskell-like, and the language complains by making you do ugly things. :) |
| 2025-05-18 12:52:54 +0200 | tomsmeding | works almost daily with programs that use this particular ID generation trick, so I'm tainted too |
| 2025-05-18 12:52:55 +0200 | <lxsameer> | tomsmeding: that's a good summary of it |
| 2025-05-18 12:54:14 +0200 | <tomsmeding> | Rembane: I learned them in the context of concurrency too! Specifically, in the context of having to teach concurrency to bachelor students in a course that uses haskell :p |
| 2025-05-18 12:54:26 +0200 | <tomsmeding> | (I knew them decently well before that, but more in detail now) |
| 2025-05-18 12:54:43 +0200 | fp1 | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-05-18 12:55:01 +0200 | <Rembane> | tomsmeding: That's a really good trick to learn something! :D |
| 2025-05-18 12:55:07 +0200 | <tomsmeding> | it is :) |
| 2025-05-18 12:55:14 +0200 | <tomsmeding> | just a bit hard to pull off, sometimes |