Logs: liberachat/#haskell
| 2025-10-11 01:15:40 | → | califax joins (~califax@user/califx) |
| 2025-10-11 01:17:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-11 01:17:31 | → | trickard___ joins (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-11 01:17:39 | × | trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
| 2025-10-11 01:22:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-11 01:22:16 | × | trickard___ quits (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-11 01:27:07 | <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 01:27:47 | × | chenjf quits (~chenjf@vmi2417424.contaboserver.net) (Remote host closed the connection) |
| 2025-10-11 01:28:22 | → | trickard_ joins (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-11 01:32:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-11 01:37:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-11 01:38:23 | × | Fijxu quits (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-10-11 01:39:28 | → | poscat joins (~poscat@user/poscat) |
| 2025-10-11 01:39:33 | <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 01:41:10 | × | poscat0x04 quits (~poscat@user/poscat) (Ping timeout: 256 seconds) |
| 2025-10-11 01:41:48 | → | Fijxu joins (~Fijxu@user/fijxu) |
| 2025-10-11 01:48:45 | <monochrom> | Yeah. But my application is finite fields, so I really have finite polynomials. |
| 2025-10-11 01:48:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-11 01:49:19 | → | peterbecich joins (~Thunderbi@syn-172-222-148-214.res.spectrum.com) |
| 2025-10-11 01:49:31 | <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 01:53:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-11 01:54:07 | × | Square2 quits (~Square@user/square) (Ping timeout: 240 seconds) |
| 2025-10-11 01:56:34 | → | chenjf joins (~chenjf@vmi2417424.contaboserver.net) |
| 2025-10-11 01:57:48 | × | chenjf quits (~chenjf@vmi2417424.contaboserver.net) (Client Quit) |
| 2025-10-11 02:04:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-11 02:07:28 | × | craunts795335 quits (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-11 02:09:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-11 02:10:45 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-10-11 02:16:35 | × | peterbecich quits (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2025-10-11 02:20:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-11 02:24:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-11 02:25:52 | × | FANTOM quits (~fantom@87.75.184.126) (Ping timeout: 256 seconds) |
| 2025-10-11 02:27:16 | → | FANTOM joins (~fantom@87.75.184.126) |
| 2025-10-11 02:27:33 | → | a_fantom joins (~fantom@87.75.184.126) |
| 2025-10-11 02:28:29 | × | otto_s quits (~user@p4ff276b1.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-10-11 02:28:36 | → | otto_s joins (~user@p4ff276b1.dip0.t-ipconnect.de) |
| 2025-10-11 02:30:17 | hololeap_ | is now known as hololeap |
| 2025-10-11 02:30:45 | × | FANTOM quits (~fantom@87.75.184.126) (Ping timeout: 256 seconds) |
| 2025-10-11 02:31:51 | × | trickard_ quits (~trickard@cpe-49-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-10-11 02:33:51 | → | trickard_ joins (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-11 02:34:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-11 02:35:37 | × | Googulator32 quits (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-11 02:35:38 | → | Googulator67 joins (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-11 02:38:55 | × | td_ quits (~td@i5387093C.versanet.de) (Ping timeout: 240 seconds) |
| 2025-10-11 02:39:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-11 02:40:54 | → | td_ joins (~td@i53870926.versanet.de) |
| 2025-10-11 02:48:08 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-10-11 02:50:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-11 02:55:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-11 03:04:46 | trickard_ | is now known as trickard |
| 2025-10-11 03:05:17 | → | aforemny joins (~aforemny@i59F4C6B1.versanet.de) |
| 2025-10-11 03:05:17 | × | synchromesh quits (~john@2406:5a00:2412:2c00:1881:a25e:91ca:8c94) (Read error: Connection reset by peer) |
| 2025-10-11 03:05:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-11 03:06:26 | × | aforemny_ quits (~aforemny@2001:9e8:6cdc:7400:c4e0:1427:f8a3:145a) (Ping timeout: 265 seconds) |
| 2025-10-11 03:06:54 | → | synchromesh joins (~john@2406:5a00:2412:2c00:d475:2d01:e02a:8ce4) |
| 2025-10-11 03:09:09 | × | trickard quits (~trickard@cpe-49-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-10-11 03:09:30 | → | trickard_ joins (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-11 03:10:07 | × | Fijxu quits (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-10-11 03:10:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-11 03:10:40 | × | Googulator67 quits (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-11 03:10:44 | → | Googulator73 joins (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-11 03:16:39 | × | polykernel quits (~polykerne@user/polykernel) (Remote host closed the connection) |
| 2025-10-11 03:17:01 | → | polykernel joins (~polykerne@user/polykernel) |
| 2025-10-11 03:21:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-11 03:23:21 | × | shapr quits (~user@130.44.148.32) (Ping timeout: 250 seconds) |
| 2025-10-11 03:24:46 | → | Fijxu joins (~Fijxu@user/fijxu) |
| 2025-10-11 03:26:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-11 03:26:45 | → | polykernel_ joins (~polykerne@user/polykernel) |
| 2025-10-11 03:28:31 | × | polykernel quits (~polykerne@user/polykernel) (Ping timeout: 240 seconds) |
| 2025-10-11 03:28:32 | polykernel_ | is now known as polykernel |
| 2025-10-11 03:32:49 | × | trickard_ quits (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-11 03:35:32 | → | trickard_ joins (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-11 03:37:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-11 03:38:10 | × | trickard_ quits (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-11 03:44:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-11 03:46:18 | → | trickard_ joins (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-11 03:52:27 | × | raym quits (~ray@user/raym) (Quit: leaving) |
| 2025-10-11 04:03:45 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-10-11 04:07:57 | → | peterbecich joins (~Thunderbi@syn-172-222-148-214.res.spectrum.com) |
| 2025-10-11 04:13:36 | × | xff0x quits (~xff0x@2405:6580:b080:900:bf36:cbe4:ef57:7a58) (Ping timeout: 252 seconds) |
| 2025-10-11 04:17:42 | → | trickard___ joins (~trickard@cpe-58-98-47-163.wireline.com.au) |
| 2025-10-11 04:18:01 | × | trickard_ quits (~trickard@cpe-49-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-10-11 04:18:12 | × | EvanR quits (~EvanR@user/evanr) (Ping timeout: 260 seconds) |
| 2025-10-11 04:19:46 | → | EvanR joins (~EvanR@user/evanr) |
| 2025-10-11 04:25:40 | → | Googulator53 joins (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-11 04:25:45 | × | Googulator73 quits (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-11 04:26:38 | → | xff0x joins (~xff0x@2405:6580:b080:900:bf36:cbe4:ef57:7a58) |
| 2025-10-11 04:29:41 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-10-11 04:29:55 | → | califax joins (~califax@user/califx) |
| 2025-10-11 04:35:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-11 04:40:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-11 04:41:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-11 04:46:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-11 04:57:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-11 05:01:25 | × | vetkat quits (~vetkat@user/vetkat) (Read error: Connection reset by peer) |
| 2025-10-11 05:01:48 | → | vetkat joins (~vetkat@user/vetkat) |
| 2025-10-11 05:02:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-11 05:06:25 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-10-11 05:12:06 | × | trickard___ quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-11 05:12:20 | → | trickard_ joins (~trickard@cpe-58-98-47-163.wireline.com.au) |
All times are in UTC.