2025/04/01

2025-04-01 00:01:54 +0200dhil(~dhil@2a0c:b381:52e:3600:1143:d61d:a64d:dc67) (Ping timeout: 246 seconds)
2025-04-01 00:02:30 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-04-01 00:02:37 +0200weary-traveler(~user@user/user363627) user363627
2025-04-01 00:02:52 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-04-01 00:06:11 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 268 seconds)
2025-04-01 00:06:11 +0200ljdarj1ljdarj
2025-04-01 00:08:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-01 00:13:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-01 00:20:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-01 00:20:54 +0200manny69(~manny@2601:445:700:69b0:edc8:140b:9839:8c7d) (Ping timeout: 240 seconds)
2025-04-01 00:23:15 +0200tromp(~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-01 00:25:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-01 00:26:13 +0200remexre(~remexre@user/remexre) (Ping timeout: 245 seconds)
2025-04-01 00:27:10 +0200Eoco(~ian@128.101.131.218) (Ping timeout: 244 seconds)
2025-04-01 00:27:17 +0200jespada(~jespada@2800:a4:2231:f700:8971:aafc:a22d:7172) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-04-01 00:34:00 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2025-04-01 00:34:47 +0200Eoco(~ian@128.101.131.218) Eoco
2025-04-01 00:36:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-01 00:36:46 +0200remexre(~remexre@user/remexre) remexre
2025-04-01 00:38:48 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-01 00:40:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-01 00:52:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-01 00:54:14 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-04-01 00:57:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-01 01:02:00 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-04-01 01:07:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-01 01:09:29 +0200toby-bro(~toby-bro@user/toby-bro) (Ping timeout: 260 seconds)
2025-04-01 01:12:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-01 01:21:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-01 01:25:02 +0200cptaffe(~cptaffe@user/cptaffe) (Ping timeout: 265 seconds)
2025-04-01 01:27:50 +0200ft(~ft@p508db463.dip0.t-ipconnect.de) (Quit: Lost terminal)
2025-04-01 01:28:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-04-01 01:30:56 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds)
2025-04-01 01:37:45 +0200xff0x(~xff0x@2405:6580:b080:900:1654:70d2:c294:d90) (Quit: xff0x)
2025-04-01 01:38:31 +0200sprotte24(~sprotte24@p200300d16f24f500b1cefbd2da3b16f9.dip0.t-ipconnect.de) (Quit: Leaving)
2025-04-01 01:38:59 +0200sprotte24(~sprotte24@p200300d16f24f500b1cefbd2da3b16f9.dip0.t-ipconnect.de)
2025-04-01 01:39:24 +0200sprotte24(~sprotte24@p200300d16f24f500b1cefbd2da3b16f9.dip0.t-ipconnect.de) (Client Quit)
2025-04-01 01:39:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-01 01:40:30 +0200Pixi`(~Pixi@user/pixi) Pixi
2025-04-01 01:40:39 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-04-01 01:42:18 +0200ft(~ft@p508db463.dip0.t-ipconnect.de) ft
2025-04-01 01:42:26 +0200forell(~forell@user/forell) (Ping timeout: 265 seconds)
2025-04-01 01:43:38 +0200Pixi(~Pixi@user/pixi) (Ping timeout: 244 seconds)
2025-04-01 01:43:53 +0200acidjnk_new(~acidjnk@p200300d6e71c4f027cb63b5a22c835f3.dip0.t-ipconnect.de) acidjnk
2025-04-01 01:44:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-01 01:47:03 +0200acidjnk(~acidjnk@p200300d6e71c4f0205a1013c182d2742.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2025-04-01 01:49:09 +0200acidjnk_new(~acidjnk@p200300d6e71c4f027cb63b5a22c835f3.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-04-01 01:52:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-01 01:57:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-01 01:57:54 +0200xff0x(~xff0x@ai066236.d.east.v6connect.net)
2025-04-01 02:00:23 +0200abrar(~abrar@static-96-245-187-163.phlapa.fios.verizon.net) (Quit: WeeChat 4.4.3)
2025-04-01 02:00:55 +0200unter-oe(~unter-oe@user/unter-oe) unter-oe
2025-04-01 02:02:14 +0200xff0x_(~xff0x@ai066236.d.east.v6connect.net)
2025-04-01 02:02:14 +0200xff0x(~xff0x@ai066236.d.east.v6connect.net) (Ping timeout: 252 seconds)
2025-04-01 02:02:29 +0200unter-oe(~unter-oe@user/unter-oe) (Remote host closed the connection)
2025-04-01 02:02:43 +0200unter-oe(~unter-oe@user/unter-oe) unter-oe
2025-04-01 02:07:19 +0200ryanbooker(uid4340@id-4340.hampstead.irccloud.com) ryanbooker
2025-04-01 02:08:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-01 02:09:53 +0200zungi(~tory@user/andrewchawk) andrewchawk
2025-04-01 02:10:42 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-01 02:10:50 +0200SheShePT
2025-04-01 02:12:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-01 02:13:37 +0200thorongil(~thorongil@user/thorongil) thorongil
2025-04-01 02:15:58 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-04-01 02:19:19 +0200unter-oe(~unter-oe@user/unter-oe) (Ping timeout: 260 seconds)
2025-04-01 02:23:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-01 02:26:38 +0200 <roconnor> Happy Birthday Haskell
2025-04-01 02:26:42 +0200Axma91836(~Axman6@user/axman6) Axman6
2025-04-01 02:28:37 +0200Axman6(~Axman6@user/axman6) (Ping timeout: 250 seconds)
2025-04-01 02:28:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-04-01 02:32:11 +0200cattiesCatGPT
2025-04-01 02:34:03 +0200abrar(~abrar@static-96-245-187-163.phlapa.fios.verizon.net)
2025-04-01 02:34:54 +0200 <EvanR> haskell was an april fools joke?
2025-04-01 02:39:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-01 02:40:04 +0200 <Axma91836> b/nick Axman6
2025-04-01 02:40:07 +0200Axma91836Axman6
2025-04-01 02:41:38 +0200xff0x_(~xff0x@ai066236.d.east.v6connect.net) (Quit: xff0x_)
2025-04-01 02:41:59 +0200 <haskellbridge> <lowtex> Hey, I'm using NixOS & Cabal & GHC 9.12.1. I want to utilize "hmatrix-gls" (0.19.0.1). But "cabal new-build all --preference="Cabal >= 3.14.1.1" --keep-going --enable-debug-info=3" inside of "nix develop --impure --expr 'with import <nixpkgs> {}; mkShell rec { buildInputs = [pkg-config zlib blas lapack gsl]; LD_LIBRARY_PATH = lib.makeLibraryPath buildInputs;}'" leads to "<no location info>: error: …/libgsl.so:...
2025-04-01 02:42:04 +0200 <haskellbridge> ... undefined symbol: cblas_ctrmv". Any idea? Thx in advance!
2025-04-01 02:43:02 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-04-01 02:43:44 +0200 <geekosaur> might be better off asking in a nix room, but that sounds like the version of blas you're getting isn't supported by the gsl version you're getting
2025-04-01 02:44:03 +0200 <geekosaur> and probably unrelated to Haskell
2025-04-01 02:44:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-04-01 02:45:00 +0200xff0x(~xff0x@2405:6580:b080:900:9d42:97ad:e5ba:bd56)
2025-04-01 02:47:03 +0200thuna`(~thuna`@user/thuna/x-1480069) thuna`
2025-04-01 02:48:23 +0200 <roconnor> EvanR: yep
2025-04-01 02:48:47 +0200otto_s(~user@p5b044ec8.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-04-01 02:50:15 +0200xff0x(~xff0x@2405:6580:b080:900:9d42:97ad:e5ba:bd56) (Ping timeout: 246 seconds)
2025-04-01 02:50:24 +0200otto_s(~user@p4ff2724c.dip0.t-ipconnect.de)
2025-04-01 02:51:56 +0200 <haskellbridge> <lowtex> Among other things, I've tried to (1) utilize "openblas" instead and to (2) link dynamically "shared: True↵executable-dynamic: True"
2025-04-01 02:51:58 +0200 <haskellbridge> @irc_libera.chat_geekosaur:kf8nh.com Thanks for your suggestion, I'll reach out there. But I don't have experience with those tools themselves, so I don't have the basis to attempt to pair some versions haphazardly by myself.
2025-04-01 02:51:59 +0200 <lambdabot> Unknown command, try @list
2025-04-01 02:53:09 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-04-01 02:53:42 +0200malte(~malte@mal.tc) (Remote host closed the connection)
2025-04-01 02:54:02 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-04-01 02:54:56 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 244 seconds)
2025-04-01 02:55:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-01 02:59:30 +0200malte(~malte@mal.tc) malte
2025-04-01 03:01:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-01 03:03:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-01 03:08:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-01 03:10:29 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:1b03:b08c:d961:6530) hgolden
2025-04-01 03:11:08 +0200notdabs(~Owner@2600:1700:69cf:9000:6cf0:d644:3911:cb5b) (Quit: Leaving)
2025-04-01 03:13:53 +0200hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds)
2025-04-01 03:18:12 +0200CatGPTcatties
2025-04-01 03:19:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-01 03:20:39 +0200hughjfchen(~hughjfche@vmi2417424.contaboserver.net) (Quit: WeeChat 4.4.3)
2025-04-01 03:21:49 +0200hughjfchen(~hughjfche@vmi2417424.contaboserver.net) hughjfchen
2025-04-01 03:23:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-04-01 03:24:03 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-04-01 03:27:23 +0200hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca)
2025-04-01 03:27:39 +0200 <monochrom> I think it goes more meta. There was an April Fool's joke that claimed that Haskell was an April Fool's joke. #ModalLogic
2025-04-01 03:27:40 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-01 03:31:15 +0200 <EvanR> April Fools is a monad
2025-04-01 03:31:41 +0200 <monochrom> hehe
2025-04-01 03:31:51 +0200 <EvanR> multiple burrito layers of joke
2025-04-01 03:32:33 +0200hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds)
2025-04-01 03:34:43 +0200thuna`(~thuna`@user/thuna/x-1480069) (Ping timeout: 244 seconds)
2025-04-01 03:34:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-01 03:35:14 +0200glguygLLMguy
2025-04-01 03:36:20 +0200hattckory(~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca)
2025-04-01 03:39:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-01 03:39:28 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-04-01 03:46:52 +0200thorongil(~thorongil@user/thorongil) (Quit: leaving)
2025-04-01 03:50:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-01 03:55:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-01 04:06:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-01 04:11:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-01 04:13:35 +0200manny68(~manny@2601:445:700:69b0:eea0:8f59:8e82:6460)
2025-04-01 04:16:59 +0200ryanbooker(uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2025-04-01 04:18:38 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds)
2025-04-01 04:22:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-01 04:22:28 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2025-04-01 04:26:39 +0200otto_s(~user@p4ff2724c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-04-01 04:27:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-01 04:28:02 +0200otto_s(~user@p5b044af5.dip0.t-ipconnect.de)
2025-04-01 04:37:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-01 04:42:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-01 04:53:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-01 04:55:40 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-04-01 04:56:58 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-04-01 04:58:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-01 05:01:36 +0200troydm(~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset)
2025-04-01 05:03:37 +0200Garbanzo(~Garbanzo@2602:304:6eac:dc10::2e)
2025-04-01 05:09:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-01 05:14:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-04-01 05:16:32 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-04-01 05:19:05 +0200a_fantom(~fantom@2.219.56.221) (Ping timeout: 244 seconds)
2025-04-01 05:19:35 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-04-01 05:25:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-01 05:29:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-01 05:38:02 +0200michalz(~michalz@185.246.207.221)
2025-04-01 05:41:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-01 05:41:32 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-01 05:45:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-01 05:56:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-01 06:05:33 +0200zungi(~tory@user/andrewchawk) (Remote host closed the connection)
2025-04-01 06:05:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-01 06:05:58 +0200zungi(~tory@user/andrewchawk) andrewchawk
2025-04-01 06:10:19 +0200tavare(~tavare@150.129.88.189)
2025-04-01 06:10:19 +0200tavare(~tavare@150.129.88.189) (Changing host)
2025-04-01 06:10:19 +0200tavare(~tavare@user/tavare) tavare
2025-04-01 06:11:11 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-04-01 06:13:27 +0200tavare(~tavare@user/tavare) (Remote host closed the connection)
2025-04-01 06:13:50 +0200tavare(~tavare@150.129.88.189) tavare
2025-04-01 06:13:50 +0200tavare(~tavare@150.129.88.189) (Changing host)
2025-04-01 06:13:50 +0200tavare(~tavare@user/tavare) tavare
2025-04-01 06:13:54 +0200werneta(~werneta@syn-071-083-160-242.res.spectrum.com) werneta
2025-04-01 06:17:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-01 06:21:19 +0200takuan(~takuan@d8D86B601.access.telenet.be)
2025-04-01 06:22:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-01 06:24:12 +0200arahael(~arahael@user/arahael) arahael
2025-04-01 06:24:54 +0200manny68(~manny@2601:445:700:69b0:eea0:8f59:8e82:6460) (Quit: Client closed)
2025-04-01 06:32:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-01 06:37:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-01 06:45:10 +0200Flow(~none@gentoo/developer/flow) (Ping timeout: 268 seconds)
2025-04-01 06:48:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-01 06:51:06 +0200tessier(~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Remote host closed the connection)
2025-04-01 06:53:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-01 06:54:00 +0200Guest52(~Guest52@45.176.88.162)
2025-04-01 06:56:20 +0200Googulator18(~Googulato@178-164-243-34.pool.digikabel.hu)
2025-04-01 06:57:00 +0200Flow(~none@gentoo/developer/flow) flow
2025-04-01 06:58:09 +0200DiegoDD(~diego1234@93.68.153.20)
2025-04-01 06:59:18 +0200Googulator(~Googulato@2a01-036d-0106-01d5-ac5d-24c1-ad5e-7f2b.pool6.digikabel.hu) (Ping timeout: 240 seconds)
2025-04-01 06:59:22 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-04-01 06:59:47 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-04-01 07:03:02 +0200DiegoDD(~diego1234@93.68.153.20) ()
2025-04-01 07:04:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-01 07:09:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-01 07:09:20 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-04-01 07:10:49 +0200tessier(~tessier@ip68-8-117-219.sd.sd.cox.net) tessier
2025-04-01 07:15:40 +0200tavare(~tavare@user/tavare) (Remote host closed the connection)
2025-04-01 07:19:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-01 07:20:22 +0200gAy_DragonAI_Dragon
2025-04-01 07:24:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-01 07:28:45 +0200acidjnk_new(~acidjnk@p200300d6e71c4f02f52af534a157a189.dip0.t-ipconnect.de) acidjnk
2025-04-01 07:29:27 +0200internatetional(~nate@2400:9800:f3:3e9a:1832:1a71:b57a:106c) internatetional
2025-04-01 07:31:07 +0200tessier(~tessier@ip68-8-117-219.sd.sd.cox.net) (Ping timeout: 252 seconds)
2025-04-01 07:33:08 +0200tessier(~tessier@ip68-8-117-219.sd.sd.cox.net) tessier
2025-04-01 07:34:16 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-01 07:35:22 +0200fantom(~fantom@2.219.56.221)
2025-04-01 07:35:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-01 07:40:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-01 07:51:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-01 07:52:30 +0200Guest52(~Guest52@45.176.88.162) (Ping timeout: 240 seconds)
2025-04-01 07:56:17 +0200tabaqui(~tabaqui@167.71.80.236) tabaqui
2025-04-01 07:58:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-04-01 08:00:12 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-04-01 08:02:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-01 08:02:57 +0200acarrico(~acarrico@pppoe-209-99-221-107.greenmountainaccess.net) (Ping timeout: 276 seconds)
2025-04-01 08:05:26 +0200acidjnk_new(~acidjnk@p200300d6e71c4f02f52af534a157a189.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2025-04-01 08:07:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-01 08:12:24 +0200fp(~Thunderbi@wireless-86-50-141-186.open.aalto.fi) fp
2025-04-01 08:17:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-01 08:18:01 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2025-04-01 08:18:33 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-04-01 08:21:47 +0200Garbanzo(~Garbanzo@2602:304:6eac:dc10::2e) (Remote host closed the connection)
2025-04-01 08:22:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-01 08:27:54 +0200ash3en(~Thunderbi@149.222.150.125) ash3en
2025-04-01 08:28:09 +0200rit(~rit@2409:40e0:101e:42e7:7902:df58:e4a3:373b)
2025-04-01 08:32:48 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-04-01 08:33:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-01 08:36:02 +0200sroso(~sroso@user/SrOso) (Ping timeout: 252 seconds)
2025-04-01 08:38:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-01 08:42:00 +0200jjhoo(~jahakala@user/jjhoo) (Ping timeout: 252 seconds)
2025-04-01 08:47:48 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-04-01 08:48:11 +0200chele(~chele@user/chele) chele
2025-04-01 08:49:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-01 08:54:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-01 08:54:04 +0200tromp(~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545)
2025-04-01 08:56:52 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-04-01 09:00:01 +0200caconym(~caconym@user/caconym) (Quit: bye)
2025-04-01 09:01:31 +0200caconym(~caconym@user/caconym) caconym
2025-04-01 09:03:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-01 09:06:09 +0200acarrico(~acarrico@pppoe-209-99-221-107.greenmountainaccess.net)
2025-04-01 09:08:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-04-01 09:16:17 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 265 seconds)
2025-04-01 09:16:38 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-04-01 09:16:39 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds)
2025-04-01 09:18:01 +0200Lord_of_Life_Lord_of_Life
2025-04-01 09:19:20 +0200jjhoo(~jahakala@user/jjhoo) jjhoo
2025-04-01 09:22:18 +0200ft(~ft@p508db463.dip0.t-ipconnect.de) (Quit: leaving)
2025-04-01 09:22:30 +0200rit(~rit@2409:40e0:101e:42e7:7902:df58:e4a3:373b) (Ping timeout: 240 seconds)
2025-04-01 09:25:52 +0200internatetional(~nate@2400:9800:f3:3e9a:1832:1a71:b57a:106c) (Ping timeout: 272 seconds)
2025-04-01 09:35:17 +0200internatetional(~nate@2400:9800:f2:615e:1832:218b:fe6e:8b1a) internatetional
2025-04-01 09:38:09 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-04-01 09:39:54 +0200fp(~Thunderbi@wireless-86-50-141-186.open.aalto.fi) (Ping timeout: 260 seconds)
2025-04-01 09:41:44 +0200j1n37-(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-04-01 09:44:42 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-01 09:45:58 +0200acidjnk_new(~acidjnk@p200300d6e71c4f8289e7d3d4c6144767.dip0.t-ipconnect.de) acidjnk
2025-04-01 09:46:46 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2025-04-01 09:49:32 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-04-01 09:55:19 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-04-01 09:55:36 +0200zmt00(~zmt00@user/zmt00) (Ping timeout: 252 seconds)
2025-04-01 09:58:39 +0200Square(~Square4@user/square) Square
2025-04-01 09:59:07 +0200aforemny(~aforemny@2001:9e8:6cf8:6c00:d3fe:9b53:2e36:ee7b) aforemny
2025-04-01 09:59:28 +0200 <hellwolf> I just made a categorical rewrite of base, called catbase, where you can write program such as "main :: forall k. k Void (IO ())" which produces a IO effect in the category k. This allows you to write a runtime completely in rust and optimizes the f out of the generated giant morphism, including using AVX/NEON instructions for all tight loops.
2025-04-01 09:59:28 +0200 <hellwolf> The best part is, it is the April fool's day.
2025-04-01 10:04:16 +0200merijn(~merijn@77.242.116.146) merijn
2025-04-01 10:06:24 +0200ash3en(~Thunderbi@149.222.150.125) (Ping timeout: 272 seconds)
2025-04-01 10:15:35 +0200unter-oe(~unter-oe@176.192.243.31) unter-oe
2025-04-01 10:15:35 +0200unter-oe(~unter-oe@176.192.243.31) (Changing host)
2025-04-01 10:15:35 +0200unter-oe(~unter-oe@user/unter-oe) unter-oe
2025-04-01 10:16:19 +0200ash3en(~Thunderbi@149.222.150.125) ash3en
2025-04-01 10:16:33 +0200unter-oe(~unter-oe@user/unter-oe) (Remote host closed the connection)
2025-04-01 10:18:08 +0200pavonia(~user@user/siracusa) siracusa
2025-04-01 10:19:33 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 245 seconds)
2025-04-01 10:23:03 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) lisbeths
2025-04-01 10:27:36 +0200merijn(~merijn@77.242.116.146) merijn
2025-04-01 10:28:09 +0200unter-oe(~unter-oe@176.192.243.31)
2025-04-01 10:28:09 +0200unter-oe(~unter-oe@176.192.243.31) (Changing host)
2025-04-01 10:28:09 +0200unter-oe(~unter-oe@user/unter-oe) unter-oe
2025-04-01 10:33:44 +0200ash3en(~Thunderbi@149.222.150.125) (Ping timeout: 252 seconds)
2025-04-01 10:39:29 +0200unter-oe(~unter-oe@user/unter-oe) (Remote host closed the connection)
2025-04-01 10:39:43 +0200unter-oe(~unter-oe@user/unter-oe) unter-oe
2025-04-01 10:39:47 +0200unter-oe(~unter-oe@user/unter-oe) (Remote host closed the connection)
2025-04-01 10:43:55 +0200 <tomsmeding> hellwolf: I feel like https://github.com/compiling-to-categories/concat unironically tries to do that, apart from the Rust
2025-04-01 10:46:53 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2025-04-01 10:47:52 +0200ash3en(~Thunderbi@149.222.150.125) ash3en
2025-04-01 10:52:25 +0200ash3en(~Thunderbi@149.222.150.125) (Ping timeout: 252 seconds)
2025-04-01 10:53:36 +0200califax(~califax@user/califx) (Ping timeout: 264 seconds)
2025-04-01 10:54:00 +0200lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-04-01 10:54:13 +0200califax(~califax@user/califx) califx
2025-04-01 10:56:50 +0200fp(~Thunderbi@wireless-86-50-141-186.open.aalto.fi) fp
2025-04-01 11:07:49 +0200internatetional(~nate@2400:9800:f2:615e:1832:218b:fe6e:8b1a) (Ping timeout: 260 seconds)
2025-04-01 11:18:58 +0200dhil(~dhil@2a0c:b381:52e:3600:a9d5:fde7:3316:82e2) dhil
2025-04-01 11:22:33 +0200ash3en(~Thunderbi@149.222.150.125) ash3en
2025-04-01 11:24:24 +0200 <hellwolf> :) Make april fool the day of radical innovation
2025-04-01 11:27:04 +0200ash3en(~Thunderbi@149.222.150.125) (Ping timeout: 260 seconds)
2025-04-01 11:35:19 +0200internatetional(~nate@2400:9800:170:c23:1:0:419:21ae) internatetional
2025-04-01 11:57:42 +0200jathan(~jathan@69.61.93.38) (Ping timeout: 252 seconds)
2025-04-01 12:00:51 +0200m5zs7k(aquares@web10.mydevil.net) (Ping timeout: 276 seconds)
2025-04-01 12:02:49 +0200fp(~Thunderbi@wireless-86-50-141-186.open.aalto.fi) (Ping timeout: 260 seconds)
2025-04-01 12:02:59 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-04-01 12:04:05 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 248 seconds)
2025-04-01 12:15:01 +0200unter-oe(~unter-oe@176.192.243.31)
2025-04-01 12:15:01 +0200unter-oe(~unter-oe@176.192.243.31) (Changing host)
2025-04-01 12:15:01 +0200unter-oe(~unter-oe@user/unter-oe) unter-oe
2025-04-01 12:20:26 +0200m5zs7k(aquares@web10.mydevil.net) m5zs7k
2025-04-01 12:21:04 +0200unter-oe(~unter-oe@user/unter-oe) (Remote host closed the connection)
2025-04-01 12:22:55 +0200unter-oe(~unter-oe@176.192.243.31) unter-oe
2025-04-01 12:22:55 +0200unter-oe(~unter-oe@176.192.243.31) (Changing host)
2025-04-01 12:22:55 +0200unter-oe(~unter-oe@user/unter-oe) unter-oe
2025-04-01 12:23:09 +0200forell(~forell@user/forell) forell
2025-04-01 12:23:39 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2025-04-01 12:23:50 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 272 seconds)
2025-04-01 12:24:11 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-04-01 12:26:22 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds)
2025-04-01 12:26:32 +0200fp(~Thunderbi@2001:708:150:10::1d80) fp
2025-04-01 12:27:12 +0200unter-oe(~unter-oe@user/unter-oe) (Remote host closed the connection)
2025-04-01 12:27:33 +0200unter-oe(~unter-oe@176.192.243.31)
2025-04-01 12:27:33 +0200unter-oe(~unter-oe@176.192.243.31) (Changing host)
2025-04-01 12:27:33 +0200unter-oe(~unter-oe@user/unter-oe) unter-oe
2025-04-01 12:29:10 +0200unter-oe(~unter-oe@user/unter-oe) (Remote host closed the connection)
2025-04-01 12:30:46 +0200merijn(~merijn@77.242.116.146) merijn
2025-04-01 12:31:24 +0200unter-oe(~unter-oe@user/unter-oe) unter-oe
2025-04-01 12:35:09 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2025-04-01 12:42:17 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-04-01 12:48:00 +0200merijn(~merijn@77.242.116.146) merijn
2025-04-01 12:50:46 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2025-04-01 12:51:06 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-04-01 12:52:05 +0200acidjnk_new(~acidjnk@p200300d6e71c4f8289e7d3d4c6144767.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-04-01 12:53:50 +0200unter-oe(~unter-oe@user/unter-oe) (Remote host closed the connection)
2025-04-01 12:53:56 +0200jathan(~jathan@69.61.93.38) jathan
2025-04-01 12:54:09 +0200acidjnk_new(~acidjnk@p200300d6e71c4f8289e7d3d4c6144767.dip0.t-ipconnect.de)
2025-04-01 12:54:50 +0200ash3en(~Thunderbi@149.222.150.125) ash3en
2025-04-01 12:58:48 +0200internatetional(~nate@2400:9800:170:c23:1:0:419:21ae) (Quit: CoreIRC for Android - www.coreirc.com)
2025-04-01 12:59:06 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 265 seconds)
2025-04-01 13:00:05 +0200caconym(~caconym@user/caconym) (Quit: bye)
2025-04-01 13:02:20 +0200caconym(~caconym@user/caconym) caconym
2025-04-01 13:05:01 +0200merijn(~merijn@77.242.116.146) merijn
2025-04-01 13:06:01 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-04-01 13:08:58 +0200 <kqr> If I have a function returning a Maybe of something, and I want to return a Nothing, I can return `mempty` but I can also return `empty`. I have a rough intuition that `mempty` is more appropriate for things that are supposed to be aggregated together, whereas `empty` is more appropriate for things that are supposed to be used a choices. But how would I know which to use?
2025-04-01 13:09:16 +0200 <kqr> I could, of course, also return a plain `Nothing` but in this case I want the function to be generic over both Maybe values and lists.
2025-04-01 13:15:08 +0200tromp(~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-01 13:16:03 +0200 <merijn> kqr: If the type is fixed to be Maybe there is not distinction
2025-04-01 13:16:18 +0200 <merijn> otoh, if the type is fixed to be Maybe, why not just write Nothing for readability
2025-04-01 13:16:53 +0200 <kqr> This is in a module-private function that is called by two other exported functions, one of which specialise it to Maybe a, and the other to [a]
2025-04-01 13:17:33 +0200 <kqr> I guess another way to phrase the question would be "When a result is interpreted either as a Maybe a or [a], is Monoid or Alternative the most intuitive generalisation?"
2025-04-01 13:18:19 +0200 <kqr> Notably, this function only uses pure and empty, it never uses operators <|> or <>
2025-04-01 13:18:34 +0200 <Leary> kqr: `mempty` would impose an unwanted `Semigroup` constraint. Also, I suspect you really want `guard`.
2025-04-01 13:18:53 +0200xff0x(~xff0x@2405:6580:b080:900:974d:9d72:56de:9211)
2025-04-01 13:19:29 +0200 <merijn> Leary: You mean Monoid
2025-04-01 13:19:40 +0200 <merijn> Semigroups (pretty notably) do not have mempty
2025-04-01 13:19:48 +0200 <merijn> In fact, it's like, their main distinguishing feature :p
2025-04-01 13:20:24 +0200 <Leary> Well, generalising, yeah. I was thinking about `instance Semigroup a => Monoid (Maybe a)`.
2025-04-01 13:21:03 +0200toby-bro(~toby-bro@user/toby-bro) toby-bro
2025-04-01 13:24:37 +0200 <Leary> > let test = [guard False $> 'a', guard True $> 'a'] in (test :: [String], test :: [Maybe Char])
2025-04-01 13:24:39 +0200 <lambdabot> (["","a"],[Nothing,Just 'a'])
2025-04-01 13:29:36 +0200 <kqr> I guess that is a vote in favour of Alternative?
2025-04-01 13:31:12 +0200 <Leary> Indeed.
2025-04-01 13:35:41 +0200tromp(~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545)
2025-04-01 13:41:09 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 248 seconds)
2025-04-01 13:44:21 +0200merijn(~merijn@77.242.116.146) merijn
2025-04-01 13:45:58 +0200__monty__(~toonn@user/toonn) toonn
2025-04-01 13:46:13 +0200tromp(~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-01 13:46:48 +0200fp(~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 272 seconds)
2025-04-01 13:57:28 +0200tremon(~tremon@83.80.159.219) tremon
2025-04-01 14:00:51 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2025-04-01 14:14:49 +0200 <hellwolf> This one I did not know. Why It is a "redundant bang pattern" using in line 4: https://paste.tomsmeding.com/1KVgpGax ?
2025-04-01 14:15:22 +0200jespada(~jespada@2800:a4:2256:6500:9933:8787:b375:7c3e) jespada
2025-04-01 14:15:54 +0200 <hellwolf> > Bang patterns do not have any effect with constructor patterns:
2025-04-01 14:15:56 +0200 <lambdabot> <hint>:1:64: error:
2025-04-01 14:15:56 +0200 <lambdabot> parse error (possibly incorrect indentation or mismatched brackets)
2025-04-01 14:16:02 +0200 <hellwolf> just read the doc.
2025-04-01 14:16:41 +0200 <hellwolf> good to know. thanks hlint.
2025-04-01 14:16:47 +0200 <hellwolf> makes sense.
2025-04-01 14:17:00 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-04-01 14:20:15 +0200srk(~sorki@user/srk) (Ping timeout: 244 seconds)
2025-04-01 14:21:30 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 246 seconds)
2025-04-01 14:25:24 +0200Googulator18(~Googulato@178-164-243-34.pool.digikabel.hu) (Quit: Client closed)
2025-04-01 14:25:42 +0200Googulator18(~Googulato@2a01-036d-0106-211a-ac5d-24c1-ad5e-7f2b.pool6.digikabel.hu)
2025-04-01 14:33:27 +0200merijn(~merijn@77.242.116.146) merijn
2025-04-01 14:33:31 +0200srk(~sorki@user/srk) srk
2025-04-01 14:34:15 +0200 <tomsmeding> (in order to know that it is indeed that constructor, the runtime will have to evaluate it down to a constructor anyway. That's why it's strict.)
2025-04-01 14:34:44 +0200 <tomsmeding> (This reasoning doesn't quite hold up for single-constructor data types, but for uniformity and "principle of least surprise" it makes much more sense to extend this principle to single-constructor data types too.)
2025-04-01 14:36:52 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-04-01 14:41:43 +0200jespada(~jespada@2800:a4:2256:6500:9933:8787:b375:7c3e) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-04-01 14:46:24 +0200zungi(~tory@user/andrewchawk) (Ping timeout: 264 seconds)
2025-04-01 14:50:55 +0200zungi(~tory@user/andrewchawk) andrewchawk
2025-04-01 14:51:27 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-04-01 14:59:21 +0200 <hellwolf> is there optimization regarding single-constructor data type?
2025-04-01 15:05:11 +0200Googulator18(~Googulato@2a01-036d-0106-211a-ac5d-24c1-ad5e-7f2b.pool6.digikabel.hu) (Quit: Client closed)
2025-04-01 15:05:28 +0200Googulator18(~Googulato@2a01-036d-0106-211a-ac5d-24c1-ad5e-7f2b.pool6.digikabel.hu)
2025-04-01 15:06:51 +0200comerijn(~merijn@77.242.116.146) merijn
2025-04-01 15:10:05 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 265 seconds)
2025-04-01 15:13:38 +0200fp(~Thunderbi@2001:708:150:10::1d80) fp
2025-04-01 15:14:59 +0200tromp(~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545)
2025-04-01 15:22:22 +0200Digitteknohippie(~user@user/digit) Digit
2025-04-01 15:23:04 +0200Digit(~user@user/digit) (Ping timeout: 272 seconds)
2025-04-01 15:23:43 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds)
2025-04-01 15:33:01 +0200notdabs(~Owner@2600:1700:69cf:9000:553a:e935:8c4f:3651)
2025-04-01 15:37:11 +0200Otong(~Otong@user/Otong) Otong
2025-04-01 15:37:40 +0200Otong(~Otong@user/Otong) (Remote host closed the connection)
2025-04-01 15:38:19 +0200Otong(~Otong@user/Otong) Otong
2025-04-01 15:38:28 +0200Otong(~Otong@user/Otong) (Remote host closed the connection)
2025-04-01 15:43:17 +0200acidjnk_new(~acidjnk@p200300d6e71c4f8289e7d3d4c6144767.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-04-01 15:47:52 +0200fantom(~fantom@2.219.56.221) (Ping timeout: 244 seconds)
2025-04-01 15:48:24 +0200rit(~rit@2409:40e0:101e:42e7:101c:ea47:4905:baf6)
2025-04-01 15:48:24 +0200rit(~rit@2409:40e0:101e:42e7:101c:ea47:4905:baf6) (Remote host closed the connection)
2025-04-01 15:48:32 +0200rit(~rit@2409:40e0:101e:42e7:101c:ea47:4905:baf6)
2025-04-01 15:49:11 +0200DigitteknohippieDigit
2025-04-01 15:54:16 +0200fantom(~fantom@2.219.56.221)
2025-04-01 15:55:44 +0200 <EvanR> hellwolf, bang patterns are syntax sugar for seq
2025-04-01 15:58:33 +0200 <EvanR> semantically at least
2025-04-01 16:01:24 +0200Leary(~Leary@user/Leary/x-0910699) (Ping timeout: 268 seconds)
2025-04-01 16:02:57 +0200comerijn(~merijn@77.242.116.146) (Ping timeout: 248 seconds)
2025-04-01 16:03:40 +0200 <EvanR> a special case I found is let !x = e in body ==> let x = e in x `seq` body
2025-04-01 16:04:23 +0200 <EvanR> so if x is a constructor pattern, the seq wouldn't have any effect
2025-04-01 16:05:39 +0200 <tomsmeding> yes it would, a let is lazy
2025-04-01 16:05:49 +0200 <tomsmeding> the bang-on-constructor-that-has-no-effect is in a pattern match
2025-04-01 16:05:56 +0200ash3en(~Thunderbi@149.222.150.125) (Ping timeout: 252 seconds)
2025-04-01 16:06:18 +0200 <hellwolf> `let !(x1, x2) in _` is different than `let (!x1, !x2) in _`; it doesn't make intuitive sense, or does it to you?
2025-04-01 16:07:51 +0200 <tomsmeding> it does; ! evaluates to WHNF
2025-04-01 16:08:13 +0200merijn(~merijn@77.242.116.146) merijn
2025-04-01 16:08:16 +0200 <tomsmeding> the WHNF of a type is _just_ the outermost constructor, plus any strict fields of that constructor
2025-04-01 16:08:36 +0200 <tomsmeding> the 2 fields of (,) are lazy, so evaluating a value of type (Int, Int) to WHNF just evaluates the outer (,) constructor, not the contained Ints
2025-04-01 16:09:00 +0200 <tomsmeding> `(!x1, !x2)` evaluates the two fields explicitly, and thus also implicitly the constructor from which the two fields are projected
2025-04-01 16:09:43 +0200Googulator18(~Googulato@2a01-036d-0106-211a-ac5d-24c1-ad5e-7f2b.pool6.digikabel.hu) (Quit: Client closed)
2025-04-01 16:10:00 +0200Googulator18(~Googulato@2a01-036d-0106-211a-ac5d-24c1-ad5e-7f2b.pool6.digikabel.hu)
2025-04-01 16:10:04 +0200 <hellwolf> if (!x1, !x2), should it not imply that the constructor has been also strictly evaluated?
2025-04-01 16:10:17 +0200 <tomsmeding> yes
2025-04-01 16:10:28 +0200 <tomsmeding> that's what I meant with "implicitly the constructor ..."
2025-04-01 16:10:33 +0200 <hellwolf> but it's not. let me shend you an example.
2025-04-01 16:10:53 +0200 <hellwolf> (i don't know why)
2025-04-01 16:10:57 +0200 <hellwolf> btw re WHNF. need a sister thread for coming up with an enterprise naming for WHNF (reference: if you haven't seen the thread for having a "approachable name" of monad on X)
2025-04-01 16:11:38 +0200 <tomsmeding> lax-face standard shape
2025-04-01 16:13:17 +0200mari-estel(~mari-este@user/mari-estel) mari-estel
2025-04-01 16:17:11 +0200weary-traveler(~user@user/user363627) user363627
2025-04-01 16:17:27 +0200 <hellwolf> I can't seem to recreate the scenario in a smaller example. to bad.
2025-04-01 16:20:37 +0200acidjnk_new(~acidjnk@p200300d6e71c4f8289e7d3d4c6144767.dip0.t-ipconnect.de) acidjnk
2025-04-01 16:22:53 +0200 <hellwolf> oh, i got it. need 9.10.
2025-04-01 16:24:11 +0200 <hellwolf> here you go: (x, y) = xy
2025-04-01 16:24:21 +0200 <hellwolf> oops, code gone
2025-04-01 16:24:48 +0200 <hellwolf> :( playground C-z fail.
2025-04-01 16:24:57 +0200 <hellwolf> (I accidentally clicked Basic Template button.
2025-04-01 16:28:04 +0200 <tomsmeding> :o
2025-04-01 16:28:24 +0200 <hellwolf> https://play.haskell.org/saved/h4hw8OFx
2025-04-01 16:28:29 +0200 <hellwolf> anyways, retyped.
2025-04-01 16:28:47 +0200 <tomsmeding> oh this is linear haskell specific
2025-04-01 16:29:32 +0200 <tomsmeding> I suspect this is more about specifically the multiplicity inference rules in LinearHaskell than about strictness
2025-04-01 16:29:35 +0200Leary(~Leary@user/Leary/x-0910699) Leary
2025-04-01 16:30:39 +0200Digitteknohippie(~user@user/digit) Digit
2025-04-01 16:33:28 +0200Digit(~user@user/digit) (Ping timeout: 268 seconds)
2025-04-01 16:39:28 +0200 <tomsmeding> hellwolf: that C-z not working is a bug and I'll fix it, but how did you manage to type all that code before the button disappeared?
2025-04-01 16:39:56 +0200 <tomsmeding> or does it not disappear for you?
2025-04-01 16:40:38 +0200 <hellwolf> I typed then I wanted to share.
2025-04-01 16:40:43 +0200 <hellwolf> but I clicked the wrong button :/
2025-04-01 16:41:22 +0200 <tomsmeding> the button is supposed to disappear after about 4 seconds after you interact with the page
2025-04-01 16:41:31 +0200 <tomsmeding> the fact that it was stil there for you means that that didn't work
2025-04-01 16:41:34 +0200 <hellwolf> it shows up all the time for me
2025-04-01 16:41:51 +0200 <hellwolf> I think it responds to input event.
2025-04-01 16:42:07 +0200 <tomsmeding> what browser are you using?
2025-04-01 16:42:21 +0200 <hellwolf> firefox
2025-04-01 16:42:49 +0200 <tomsmeding> me too
2025-04-01 16:43:43 +0200 <tomsmeding> I'm attaching an event handler to the mousemove and keydown events, globally on the page
2025-04-01 16:43:54 +0200 <tomsmeding> it would be very weird if those don't fire for you
2025-04-01 16:44:05 +0200 <tomsmeding> any errors in the javascript console?
2025-04-01 16:45:34 +0200gLLMguyglguy
2025-04-01 16:45:55 +0200 <hellwolf> no, I can't reproduce anymore
2025-04-01 16:46:00 +0200 <hellwolf> with a new tab
2025-04-01 16:46:08 +0200 <tomsmeding> the button disappears now for you?
2025-04-01 16:46:15 +0200 <hellwolf> in the new tab. yes.
2025-04-01 16:46:19 +0200 <tomsmeding> O.o
2025-04-01 16:47:18 +0200rit(~rit@2409:40e0:101e:42e7:101c:ea47:4905:baf6) (Ping timeout: 240 seconds)
2025-04-01 16:47:22 +0200longlongdouble(~longlongd@2405:201:5c16:894:2d75:fd2d:c031:9b09)
2025-04-01 16:47:27 +0200longlongdouble(~longlongd@2405:201:5c16:894:2d75:fd2d:c031:9b09) (Client Quit)
2025-04-01 16:50:38 +0200 <EvanR> tomsmeding, well that translation I gave is in the docs let !x = e in body ==> let x = e in x `seq` body. You're saying let !K = e in body is somehow different from let K = e in K `seq` body?
2025-04-01 16:50:52 +0200 <EvanR> or maybe it was only talking about variable bindings
2025-04-01 16:51:04 +0200 <EvanR> lol what does `x' quantify over
2025-04-01 16:51:08 +0200 <tomsmeding> EvanR: no, I was complaining about your claim that the seq doesn't have any effect if x is a constructor pattern
2025-04-01 16:51:22 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-04-01 16:51:25 +0200 <tomsmeding> it does _here_, but not in a pattern match, because pattern matches are strict and let is lazy
2025-04-01 16:51:45 +0200 <EvanR> let K = ... is a pattern match or a let
2025-04-01 16:51:50 +0200 <EvanR> or both
2025-04-01 16:52:01 +0200 <tomsmeding> a let
2025-04-01 16:52:09 +0200 <tomsmeding> okay "pattern match" is indeed ambiguous wording
2025-04-01 16:52:21 +0200 <EvanR> I have no idea what you're saying xD
2025-04-01 16:52:50 +0200 <tomsmeding> `case x of K -> _` is strict in x
2025-04-01 16:52:56 +0200DigitteknohippieDigit
2025-04-01 16:53:02 +0200 <tomsmeding> the function `foo K = _` is strict in its argument
2025-04-01 16:53:25 +0200 <tomsmeding> `let K = expr in _` is _not_ strict in `expr`
2025-04-01 16:53:54 +0200 <tomsmeding> I used "pattern match" to refer to the first two, but that's ambiguous, I concede
2025-04-01 16:54:12 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 264 seconds)
2025-04-01 16:54:15 +0200 <tomsmeding> `let !K = expr in _` is, however, strict in `expr`
2025-04-01 16:54:20 +0200gehmehgeh(~user@user/gehmehgeh) gehmehgeh
2025-04-01 16:54:48 +0200mari-estel(~mari-este@user/mari-estel) (Remote host closed the connection)
2025-04-01 16:56:21 +0200 <EvanR> alright I think my substitution failed
2025-04-01 16:56:57 +0200 <tomsmeding> hellwolf: https://github.com/haskell/play-haskell/commit/5630aaa0da9fb7ffaecf43fc526a8ff5024b5d84 the undo problem should be fixed now, in case you manage to be super fast anyway or if the button remains for whatever reason
2025-04-01 16:57:04 +0200 <EvanR> let !K = e in body isn't an instance of the rule let !x = e in body, when you translate them you get different behaving results
2025-04-01 16:57:28 +0200 <EvanR> x is supposed to range over variables, not any pattern xD
2025-04-01 16:57:33 +0200 <EvanR> metavariable
2025-04-01 16:57:46 +0200 <hellwolf> tomsmeding: great!
2025-04-01 16:58:22 +0200 <tomsmeding> I don't know why ace.js thought it was a good idea to explicitly clear undo history when setting the contents of an edit session to a new srting
2025-04-01 17:01:04 +0200ubert(~Thunderbi@2a02:8109:ab8a:5a00:74f1:1caf:2629:a3c8) ubert
2025-04-01 17:01:25 +0200 <hellwolf> frontend is voodoo to me... sounds like you can use some monad