2025/10/11

2025-10-11 00:02:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-11 00:04:10 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-10-11 00:05:15 +0200ttybitnik(~ttybitnik@user/wolper) (Ping timeout: 244 seconds)
2025-10-11 00:07:56 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-10-11 00:09:36 +0200Zemy(~Zemy@syn-072-176-124-082.res.spectrum.com)
2025-10-11 00:11:22 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-11 00:12:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-11 00:18:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-11 00:24:37 +0200peterbecich(~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 264 seconds)
2025-10-11 00:28:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-11 00:33:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-11 00:34:00 +0200 <haskellbridge> <Kyle Butt> Tri: It would be more normal to connect and then pass the connection to "testGetRow"
2025-10-11 00:34:42 +0200 <haskellbridge> <Kyle Butt> Tri: If you want the connection to be in a helper, you could do something like "conn <- testConnect"
2025-10-11 00:35:43 +0200 <EvanR> Tri, yes there are standard ways to make your code more modular and useful in more places. Stuff takes a conn as an argument for example
2025-10-11 00:37:07 +0200 <EvanR> any database access is relative to a database connection after all
2025-10-11 00:38:08 +0200 <EvanR> worst case scenario you need a top level helper for a test that access then same code your main app uses
2025-10-11 00:39:27 +0200 <haskellbridge> <Kyle Butt> Tri You could use "bracket" to write a "withConnection" helper that keeps the connection open only inside the body function that accepts the connection as an argument. Similar to "with" in python.
2025-10-11 00:39:33 +0200 <EvanR> as a defacto rule, many programming styles that work in imperative languages or side effecting languages don't work in haskell. Because laziness would make that insane
2025-10-11 00:40:09 +0200 <EvanR> yeah bracket pattern is great, i.e. withConnection
2025-10-11 00:44:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-11 00:48:41 +0200Tri(~Tri@69.74.159.34) (Ping timeout: 250 seconds)
2025-10-11 00:48:43 +0200weary-traveler(~user@user/user363627) user363627
2025-10-11 00:48:49 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 255 seconds)
2025-10-11 00:49:08 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-10-11 00:49:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-11 01:00:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-11 01:03:08 +0200LainIwakura(~LainIwaku@user/LainIwakura) LainIwakura
2025-10-11 01:07:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-11 01:10:36 +0200Googulator16(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu)
2025-10-11 01:10:38 +0200Googulator29(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed)
2025-10-11 01:12:20 +0200Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.)
2025-10-11 01:24:34 +0200malte(~malte@mal.tc) (Ping timeout: 260 seconds)
2025-10-11 01:33:47 +0200malte(~malte@mal.tc) malte
2025-10-11 01:33:53 +0200040AAE6OC(~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection)
2025-10-11 01:34:46 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216) {-d0t-}
2025-10-11 01:51:34 +0200ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-10-11 01:54:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-11 01:59:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-11 02:01:54 +0200Inline(~inline@2a02:8071:57a1:1260:249e:867e:200a:1fb1) (Quit: Leaving)
2025-10-11 02:06:56 +0200 <haskellbridge> <dxtr> Is it possible to move the head of a NonEmpty to the end without too much hassle?
2025-10-11 02:10:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-11 02:13:46 +0200 <geekosaur> it's still a list underneath, so not really. maybe you want a Seq?
2025-10-11 02:14:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-11 02:15:37 +0200Googulator16(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed)
2025-10-11 02:15:50 +0200Googulator16(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu)
2025-10-11 02:15:58 +0200acidjnk(~acidjnk@p200300d6e71719813d7e95faed4791ef.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2025-10-11 02:16:09 +0200 <Leary> % (\(x:|xs) -> prependList xs (singleton x)) (0:|[1,2,3])
2025-10-11 02:16:09 +0200 <yahb2> 1 :| [2,3,0]
2025-10-11 02:16:41 +0200 <Leary> O(n), but can't be helped.
2025-10-11 02:17:09 +0200 <geekosaur> that's essentially what I meant by "not really"
2025-10-11 02:17:15 +0200 <Leary> I figured.
2025-10-11 02:25:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-11 02:28:55 +0200Zemy(~Zemy@syn-072-176-124-082.res.spectrum.com) (Remote host closed the connection)
2025-10-11 02:29:26 +0200 <haskellbridge> <iqubic (she/her)> Seq can be empty, but I think there are NonEmpty versions on Hackage
2025-10-11 02:29:44 +0200Zemy(~Zemy@syn-072-176-124-082.res.spectrum.com)
2025-10-11 02:29:57 +0200 <haskellbridge> <iqubic (she/her)> https://hackage.haskell.org/package/nonempty-containers
2025-10-11 02:30:16 +0200 <haskellbridge> <iqubic (she/her)> jle` wrote that!
2025-10-11 02:30:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-11 02:32:25 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-10-11 02:35:26 +0200Googulator16(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed)
2025-10-11 02:35:40 +0200Googulator16(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu)
2025-10-11 02:41:04 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-10-11 02:43:30 +0200califax(~califax@user/califx) califx
2025-10-11 02:43:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-11 02:45:03 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
2025-10-11 02:45:06 +0200ljdarj1ljdarj
2025-10-11 02:48:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-11 02:51:19 +0200otto_s(~user@p5b044f57.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2025-10-11 02:53:20 +0200otto_s(~user@p4ff276b1.dip0.t-ipconnect.de)
2025-10-11 02:59:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-11 03:05:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-11 03:08:35 +0200Zemy_(~Zemy@2600:100c:b034:f314:bcd2:e8ff:fec9:ee2f)
2025-10-11 03:08:41 +0200Zemy(~Zemy@syn-072-176-124-082.res.spectrum.com) (Read error: Connection reset by peer)
2025-10-11 03:09:25 +0200Zemy(~Zemy@syn-072-176-124-082.res.spectrum.com)
2025-10-11 03:09:59 +0200chenjf(~chenjf@vmi2417424.contaboserver.net)
2025-10-11 03:10:35 +0200Googulator32(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu)
2025-10-11 03:10:42 +0200Googulator16(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed)
2025-10-11 03:12:49 +0200Zemy_(~Zemy@2600:100c:b034:f314:bcd2:e8ff:fec9:ee2f) (Ping timeout: 255 seconds)
2025-10-11 03:15:06 +0200califax(~califax@user/califx) (Ping timeout: 272 seconds)
2025-10-11 03:15:40 +0200califax(~califax@user/califx) califx
2025-10-11 03:17:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-11 03:17:31 +0200trickard___(~trickard@cpe-49-98-47-163.wireline.com.au)
2025-10-11 03:17:39 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 256 seconds)
2025-10-11 03:22:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-11 03:22:16 +0200trickard___(~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-11 03:27:07 +0200 <monochrom> Hrm I've forgotten Seq! I have been coding up operations on polynomials (e.g. multiply two polynomials), I have been using list of coefficients. Maybe I can use Seq of coefficients.
2025-10-11 03:27:47 +0200chenjf(~chenjf@vmi2417424.contaboserver.net) (Remote host closed the connection)
2025-10-11 03:28:22 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au)
2025-10-11 03:32:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-11 03:37:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-11 03:38:23 +0200Fijxu(~Fijxu@user/fijxu) (Quit: XD!!)
2025-10-11 03:39:28 +0200poscat(~poscat@user/poscat) poscat
2025-10-11 03:39:33 +0200 <Leary> monochrom: The advantage of `[]` is that it actually gives you formal power series, not just polynomials. Otherwise, `Vector` should be much better than `Seq`.
2025-10-11 03:41:10 +0200poscat0x04(~poscat@user/poscat) (Ping timeout: 256 seconds)
2025-10-11 03:41:48 +0200Fijxu(~Fijxu@user/fijxu) fijxu
2025-10-11 03:48:45 +0200 <monochrom> Yeah. But my application is finite fields, so I really have finite polynomials.
2025-10-11 03:48:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-11 03:49:19 +0200peterbecich(~Thunderbi@syn-172-222-148-214.res.spectrum.com) peterbecich
2025-10-11 03:49:31 +0200 <monochrom> So badly finite-field that I can't use hmatrix or LAPACK when I want Gaussian elimination. I don't have floating point numbers, I have integers mod 5 or something.
2025-10-11 03:53:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-11 03:54:07 +0200Square2(~Square@user/square) (Ping timeout: 240 seconds)
2025-10-11 03:56:34 +0200chenjf(~chenjf@vmi2417424.contaboserver.net)
2025-10-11 03:57:48 +0200chenjf(~chenjf@vmi2417424.contaboserver.net) (Client Quit)
2025-10-11 04:04:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-11 04:07:28 +0200craunts795335(~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat)
2025-10-11 04:09:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-11 04:10:45 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
2025-10-11 04:16:35 +0200peterbecich(~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 256 seconds)
2025-10-11 04:20:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-11 04:24:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-11 04:25:52 +0200FANTOM(~fantom@87.75.184.126) (Ping timeout: 256 seconds)
2025-10-11 04:27:16 +0200FANTOM(~fantom@87.75.184.126)
2025-10-11 04:27:33 +0200a_fantom(~fantom@87.75.184.126)
2025-10-11 04:28:29 +0200otto_s(~user@p4ff276b1.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2025-10-11 04:28:36 +0200otto_s(~user@p4ff276b1.dip0.t-ipconnect.de)
2025-10-11 04:30:17 +0200hololeap_hololeap
2025-10-11 04:30:45 +0200FANTOM(~fantom@87.75.184.126) (Ping timeout: 256 seconds)
2025-10-11 04:31:51 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au) (Ping timeout: 244 seconds)
2025-10-11 04:33:51 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au)
2025-10-11 04:34:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-11 04:35:37 +0200Googulator32(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed)
2025-10-11 04:35:38 +0200Googulator67(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu)
2025-10-11 04:38:55 +0200td_(~td@i5387093C.versanet.de) (Ping timeout: 240 seconds)
2025-10-11 04:39:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-11 04:40:54 +0200td_(~td@i53870926.versanet.de) td_
2025-10-11 04:48:08 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
2025-10-11 04:50:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-11 04:55:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-11 05:04:46 +0200trickard_trickard
2025-10-11 05:05:17 +0200aforemny(~aforemny@i59F4C6B1.versanet.de) aforemny
2025-10-11 05:05:17 +0200synchromesh(~john@2406:5a00:2412:2c00:1881:a25e:91ca:8c94) (Read error: Connection reset by peer)
2025-10-11 05:05:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-11 05:06:26 +0200aforemny_(~aforemny@2001:9e8:6cdc:7400:c4e0:1427:f8a3:145a) (Ping timeout: 265 seconds)
2025-10-11 05:06:54 +0200synchromesh(~john@2406:5a00:2412:2c00:d475:2d01:e02a:8ce4) synchromesh
2025-10-11 05:09:09 +0200trickard(~trickard@cpe-49-98-47-163.wireline.com.au) (Ping timeout: 260 seconds)
2025-10-11 05:09:30 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au)
2025-10-11 05:10:07 +0200Fijxu(~Fijxu@user/fijxu) (Quit: XD!!)
2025-10-11 05:10:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-11 05:10:40 +0200Googulator67(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed)
2025-10-11 05:10:44 +0200Googulator73(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu)
2025-10-11 05:16:39 +0200polykernel(~polykerne@user/polykernel) (Remote host closed the connection)
2025-10-11 05:17:01 +0200polykernel(~polykerne@user/polykernel) polykernel
2025-10-11 05:21:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-11 05:23:21 +0200shapr(~user@130.44.148.32) (Ping timeout: 250 seconds)
2025-10-11 05:24:46 +0200Fijxu(~Fijxu@user/fijxu) fijxu
2025-10-11 05:26:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-11 05:26:45 +0200polykernel_(~polykerne@user/polykernel) polykernel
2025-10-11 05:28:31 +0200polykernel(~polykerne@user/polykernel) (Ping timeout: 240 seconds)
2025-10-11 05:28:32 +0200polykernel_polykernel
2025-10-11 05:32:49 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-11 05:35:32 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au)
2025-10-11 05:37:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-11 05:38:10 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-11 05:44:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-11 05:46:18 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au)
2025-10-11 05:52:27 +0200raym(~ray@user/raym) (Quit: leaving)
2025-10-11 06:03:45 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-10-11 06:07:57 +0200peterbecich(~Thunderbi@syn-172-222-148-214.res.spectrum.com) peterbecich
2025-10-11 06:13:36 +0200xff0x(~xff0x@2405:6580:b080:900:bf36:cbe4:ef57:7a58) (Ping timeout: 252 seconds)
2025-10-11 06:17:42 +0200trickard___(~trickard@cpe-58-98-47-163.wireline.com.au)
2025-10-11 06:18:01 +0200trickard_(~trickard@cpe-49-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
2025-10-11 06:18:12 +0200EvanR(~EvanR@user/evanr) (Ping timeout: 260 seconds)
2025-10-11 06:19:46 +0200EvanR(~EvanR@user/evanr) EvanR
2025-10-11 06:25:40 +0200Googulator53(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu)
2025-10-11 06:25:45 +0200Googulator73(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed)
2025-10-11 06:26:38 +0200xff0x(~xff0x@2405:6580:b080:900:bf36:cbe4:ef57:7a58)
2025-10-11 06:29:41 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-10-11 06:29:55 +0200califax(~califax@user/califx) califx
2025-10-11 06:35:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-11 06:40:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-11 06:41:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-11 06:46:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-11 06:57:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn