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