Logs on 2025-10-11 (liberachat/#haskell)
| 00:01:54 | × | Inline quits (~inline@2a02:8071:57a1:1260:249e:867e:200a:1fb1) (Quit: Leaving) |
| 00:06:56 | <haskellbridge> | <dxtr> Is it possible to move the head of a NonEmpty to the end without too much hassle? |
| 00:10:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:13:46 | <geekosaur> | it's still a list underneath, so not really. maybe you want a Seq? |
| 00:14:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 00:15:37 | × | Googulator16 quits (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 00:15:50 | → | Googulator16 joins (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 00:15:58 | × | acidjnk quits (~acidjnk@p200300d6e71719813d7e95faed4791ef.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 00:16:09 | <Leary> | % (\(x:|xs) -> prependList xs (singleton x)) (0:|[1,2,3]) |
| 00:16:09 | <yahb2> | 1 :| [2,3,0] |
| 00:16:41 | <Leary> | O(n), but can't be helped. |
| 00:17:09 | <geekosaur> | that's essentially what I meant by "not really" |
| 00:17:15 | <Leary> | I figured. |
| 00:25:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:28:55 | × | Zemy quits (~Zemy@syn-072-176-124-082.res.spectrum.com) (Remote host closed the connection) |
| 00:29:26 | <haskellbridge> | <iqubic (she/her)> Seq can be empty, but I think there are NonEmpty versions on Hackage |
| 00:29:44 | → | Zemy joins (~Zemy@syn-072-176-124-082.res.spectrum.com) |
| 00:29:57 | <haskellbridge> | <iqubic (she/her)> https://hackage.haskell.org/package/nonempty-containers |
| 00:30:16 | <haskellbridge> | <iqubic (she/her)> jle` wrote that! |
| 00:30:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 00:32:25 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 00:35:26 | × | Googulator16 quits (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 00:35:40 | → | Googulator16 joins (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 00:41:04 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 00:43:30 | → | califax joins (~califax@user/califx) |
| 00:43:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:45:03 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 00:45:06 | ljdarj1 | is now known as ljdarj |
| 00:48:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 00:51:19 | × | otto_s quits (~user@p5b044f57.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 00:53:20 | → | otto_s joins (~user@p4ff276b1.dip0.t-ipconnect.de) |
| 00:59:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:05:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 01:08:35 | → | Zemy_ joins (~Zemy@2600:100c:b034:f314:bcd2:e8ff:fec9:ee2f) |
| 01:08:41 | × | Zemy quits (~Zemy@syn-072-176-124-082.res.spectrum.com) (Read error: Connection reset by peer) |
| 01:09:25 | → | Zemy joins (~Zemy@syn-072-176-124-082.res.spectrum.com) |
| 01:09:59 | → | chenjf joins (~chenjf@vmi2417424.contaboserver.net) |
| 01:10:35 | → | Googulator32 joins (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 01:10:42 | × | Googulator16 quits (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 01:12:49 | × | Zemy_ quits (~Zemy@2600:100c:b034:f314:bcd2:e8ff:fec9:ee2f) (Ping timeout: 255 seconds) |
| 01:15:06 | × | califax quits (~califax@user/califx) (Ping timeout: 272 seconds) |
| 01:15:40 | → | califax joins (~califax@user/califx) |
| 01:17:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:17:31 | → | trickard___ joins (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 01:17:39 | × | trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
| 01:22:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 01:22:16 | × | trickard___ quits (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 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. |
| 01:27:47 | × | chenjf quits (~chenjf@vmi2417424.contaboserver.net) (Remote host closed the connection) |
| 01:28:22 | → | trickard_ joins (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 01:32:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:37:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 01:38:23 | × | Fijxu quits (~Fijxu@user/fijxu) (Quit: XD!!) |
| 01:39:28 | → | poscat joins (~poscat@user/poscat) |
| 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`. |
| 01:41:10 | × | poscat0x04 quits (~poscat@user/poscat) (Ping timeout: 256 seconds) |
| 01:41:48 | → | Fijxu joins (~Fijxu@user/fijxu) |
| 01:48:45 | <monochrom> | Yeah. But my application is finite fields, so I really have finite polynomials. |
| 01:48:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:49:19 | → | peterbecich joins (~Thunderbi@syn-172-222-148-214.res.spectrum.com) |
| 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. |
| 01:53:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 01:54:07 | × | Square2 quits (~Square@user/square) (Ping timeout: 240 seconds) |
| 01:56:34 | → | chenjf joins (~chenjf@vmi2417424.contaboserver.net) |
| 01:57:48 | × | chenjf quits (~chenjf@vmi2417424.contaboserver.net) (Client Quit) |
| 02:04:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:07:28 | × | craunts795335 quits (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 02:09:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 02:10:45 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 02:16:35 | × | peterbecich quits (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 256 seconds) |
| 02:20:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:24:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 02:25:52 | × | FANTOM quits (~fantom@87.75.184.126) (Ping timeout: 256 seconds) |
| 02:27:16 | → | FANTOM joins (~fantom@87.75.184.126) |
| 02:27:33 | → | a_fantom joins (~fantom@87.75.184.126) |
| 02:28:29 | × | otto_s quits (~user@p4ff276b1.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 02:28:36 | → | otto_s joins (~user@p4ff276b1.dip0.t-ipconnect.de) |
| 02:30:17 | hololeap_ | is now known as hololeap |
| 02:30:45 | × | FANTOM quits (~fantom@87.75.184.126) (Ping timeout: 256 seconds) |
| 02:31:51 | × | trickard_ quits (~trickard@cpe-49-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 02:33:51 | → | trickard_ joins (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 02:34:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:35:37 | × | Googulator32 quits (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 02:35:38 | → | Googulator67 joins (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 02:38:55 | × | td_ quits (~td@i5387093C.versanet.de) (Ping timeout: 240 seconds) |
| 02:39:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 02:40:54 | → | td_ joins (~td@i53870926.versanet.de) |
| 02:48:08 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 02:50:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:55:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 03:04:46 | trickard_ | is now known as trickard |
| 03:05:17 | → | aforemny joins (~aforemny@i59F4C6B1.versanet.de) |
| 03:05:17 | × | synchromesh quits (~john@2406:5a00:2412:2c00:1881:a25e:91ca:8c94) (Read error: Connection reset by peer) |
| 03:05:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:06:26 | × | aforemny_ quits (~aforemny@2001:9e8:6cdc:7400:c4e0:1427:f8a3:145a) (Ping timeout: 265 seconds) |
| 03:06:54 | → | synchromesh joins (~john@2406:5a00:2412:2c00:d475:2d01:e02a:8ce4) |
| 03:09:09 | × | trickard quits (~trickard@cpe-49-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 03:09:30 | → | trickard_ joins (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 03:10:07 | × | Fijxu quits (~Fijxu@user/fijxu) (Quit: XD!!) |
| 03:10:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 03:10:40 | × | Googulator67 quits (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 03:10:44 | → | Googulator73 joins (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 03:16:39 | × | polykernel quits (~polykerne@user/polykernel) (Remote host closed the connection) |
| 03:17:01 | → | polykernel joins (~polykerne@user/polykernel) |
| 03:21:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:23:21 | × | shapr quits (~user@130.44.148.32) (Ping timeout: 250 seconds) |
| 03:24:46 | → | Fijxu joins (~Fijxu@user/fijxu) |
| 03:26:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 03:26:45 | → | polykernel_ joins (~polykerne@user/polykernel) |
| 03:28:31 | × | polykernel quits (~polykerne@user/polykernel) (Ping timeout: 240 seconds) |
| 03:28:32 | polykernel_ | is now known as polykernel |
| 03:32:49 | × | trickard_ quits (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 03:35:32 | → | trickard_ joins (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 03:37:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:38:10 | × | trickard_ quits (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 03:44:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 03:46:18 | → | trickard_ joins (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 03:52:27 | × | raym quits (~ray@user/raym) (Quit: leaving) |
| 04:03:45 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 04:07:57 | → | peterbecich joins (~Thunderbi@syn-172-222-148-214.res.spectrum.com) |
| 04:13:36 | × | xff0x quits (~xff0x@2405:6580:b080:900:bf36:cbe4:ef57:7a58) (Ping timeout: 252 seconds) |
| 04:17:42 | → | trickard___ joins (~trickard@cpe-58-98-47-163.wireline.com.au) |
| 04:18:01 | × | trickard_ quits (~trickard@cpe-49-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 04:18:12 | × | EvanR quits (~EvanR@user/evanr) (Ping timeout: 260 seconds) |
| 04:19:46 | → | EvanR joins (~EvanR@user/evanr) |
| 04:25:40 | → | Googulator53 joins (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 04:25:45 | × | Googulator73 quits (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 04:26:38 | → | xff0x joins (~xff0x@2405:6580:b080:900:bf36:cbe4:ef57:7a58) |
| 04:29:41 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 04:29:55 | → | califax joins (~califax@user/califx) |
| 04:35:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:40:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 04:41:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:46:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 04:57:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:01:25 | × | vetkat quits (~vetkat@user/vetkat) (Read error: Connection reset by peer) |
| 05:01:48 | → | vetkat joins (~vetkat@user/vetkat) |
| 05:02:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 05:06:25 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 05:12:06 | × | trickard___ quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 05:12:20 | → | trickard_ joins (~trickard@cpe-58-98-47-163.wireline.com.au) |
| 05:12:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:15:44 | → | Googulator86 joins (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 05:15:44 | × | Googulator53 quits (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 05:17:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 05:26:25 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 05:28:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:31:26 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 05:33:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 05:37:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:43:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 05:54:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:59:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 05:59:44 | × | peterbecich quits (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 240 seconds) |
| 06:01:30 | Pixi__ | is now known as Pixi |
| 06:06:54 | → | sdrfan123 joins (~sdrfan123@2607:fb91:370d:6a0a:c891:6e85:e0e1:2042) |
| 06:10:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:15:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 06:25:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:31:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 06:34:13 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 264 seconds) |
| 06:37:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:38:24 | × | sdrfan123 quits (~sdrfan123@2607:fb91:370d:6a0a:c891:6e85:e0e1:2042) (Quit: Client closed) |
| 06:40:44 | trickard_ | is now known as trickard |
| 06:42:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 06:53:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:55:23 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 06:58:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 07:00:02 | × | caconym747879 quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:44 | → | caconym747879 joins (~caconym@user/caconym) |
| 07:00:47 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 07:00:56 | → | poscat joins (~poscat@user/poscat) |
| 07:02:32 | → | tromp joins (~textual@2001:1c00:3487:1b00:409c:634b:fec4:4fe) |
| 07:09:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:10:31 | × | tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 07:12:57 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:13:55 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 07:14:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 07:14:10 | × | synchromesh quits (~john@2406:5a00:2412:2c00:d475:2d01:e02a:8ce4) (Read error: Connection reset by peer) |
| 07:15:35 | → | synchromesh joins (~john@2406:5a00:2412:2c00:d475:2d01:e02a:8ce4) |
| 07:17:58 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 07:24:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:31:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 07:34:52 | → | fgarcia joins (~lei@user/fgarcia) |
| 07:38:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:43:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 07:54:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:59:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 08:09:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:14:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 08:21:50 | × | ell quits (~ellie@user/ellie) (Quit: Leaving) |
| 08:25:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:25:43 | Awoobis | is now known as gAy_Dragon |
| 08:25:52 | gAy_Dragon | is now known as Awoobis |
| 08:28:17 | × | tromp quits (~textual@2001:1c00:3487:1b00:409c:634b:fec4:4fe) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:30:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 08:36:07 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 08:37:10 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Ping timeout: 272 seconds) |
| 08:38:55 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 08:39:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:42:04 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 08:44:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 08:45:10 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:46:18 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 08:49:39 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 250 seconds) |
| 08:55:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:55:55 | → | Guest61 joins (~Guest61@2001:ee0:1c20:a713:30e8:a284:4714:899b) |
| 08:56:29 | <Guest61> | hi |
| 08:58:21 | → | fp joins (~Thunderbi@88-148-151-151.bb.dnainternet.fi) |
| 08:59:09 | × | Guest61 quits (~Guest61@2001:ee0:1c20:a713:30e8:a284:4714:899b) (Client Quit) |
| 09:00:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 09:02:56 | → | Tuplanolla joins (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) |
| 09:03:28 | → | Guest61 joins (~Guest61@2001:ee0:1c20:a713:30e8:a284:4714:899b) |
| 09:03:59 | × | Guest61 quits (~Guest61@2001:ee0:1c20:a713:30e8:a284:4714:899b) (Client Quit) |
| 09:07:10 | → | acidjnk joins (~acidjnk@p200300d6e7171999c518e6c9e9251b6b.dip0.t-ipconnect.de) |
| 09:07:26 | × | fp quits (~Thunderbi@88-148-151-151.bb.dnainternet.fi) (Remote host closed the connection) |
| 09:08:01 | × | trickard quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 09:08:15 | → | trickard_ joins (~trickard@cpe-58-98-47-163.wireline.com.au) |
| 09:10:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:13:00 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 09:17:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 09:20:29 | → | rvalue- joins (~rvalue@about/hackers/rvalue) |
| 09:21:37 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Ping timeout: 264 seconds) |
| 09:27:56 | rvalue- | is now known as rvalue |
| 09:28:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:32:29 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 09:33:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 09:36:52 | → | inline joins (~inline@2a02:8071:57a1:1260:701b:808b:8c6f:3395) |
| 09:40:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:40:36 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 09:40:46 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 09:42:28 | × | trickard_ quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 09:42:42 | → | trickard_ joins (~trickard@cpe-58-98-47-163.wireline.com.au) |
| 09:44:55 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 09:45:18 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 09:45:23 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 09:47:28 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Ping timeout: 272 seconds) |
| 09:48:09 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 250 seconds) |
| 09:49:09 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 09:49:19 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 09:53:16 | × | flukiluke quits (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection) |
| 09:54:10 | → | flukiluke joins (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 09:54:21 | → | tromp joins (~textual@2001:1c00:3487:1b00:409c:634b:fec4:4fe) |
| 09:56:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:01:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 10:11:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:16:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 10:26:34 | × | flukiluke quits (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection) |
| 10:26:54 | → | flukiluke joins (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 10:27:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:32:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 10:37:41 | → | jespada joins (~jespada@2800:a4:235c:ac00:7055:4dec:d47b:1a6e) |
| 10:41:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:44:36 | × | nckx quits (~nckx@libera/staff/owl/nckx) (Ping timeout: 256 seconds) |
| 10:46:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 10:50:42 | <[exa]> | tomsmeding: just curious, how much memory does the paste.tomsmeding.com thingy occupy normally? I wanted to deploy it on a tiny VM so kinda wondering if it's gonna get it OOM'd |
| 10:51:43 | <tomsmeding> | [exa]: uh, it's currently at 1.8M RES |
| 10:51:48 | <tomsmeding> | I can monitor it for a while if you want |
| 10:51:55 | <tomsmeding> | no |
| 10:51:58 | <tomsmeding> | I lie |
| 10:52:02 | <tomsmeding> | 42.8M RES |
| 10:52:11 | <tomsmeding> | the 1.8M is the bash script that launches it. lol |
| 10:52:14 | <[exa]> | sounds okay |
| 10:52:36 | <[exa]> | like, I expect it's gonna spike randomly at some point but occasional OOM kill is m'kay |
| 10:52:37 | <tomsmeding> | it doesn't do very much |
| 10:52:48 | <tomsmeding> | why would it spike? |
| 10:52:57 | <tomsmeding> | if you DOS it then it'll spike I guess, yeah |
| 10:53:13 | <[exa]> | no idea... I got forgejo on the same server and that one spikes :D |
| 10:53:23 | <tomsmeding> | this thing does almost nothing |
| 10:53:31 | <[exa]> | but mainly because of being DoSed by llm folk |
| 10:53:36 | <tomsmeding> | yeah |
| 10:53:43 | <[exa]> | are there any safeguards (ratelimit etc?) |
| 10:53:49 | <tomsmeding> | no |
| 10:54:15 | <tomsmeding> | if you have any sensible ideas for how to add those safeguards, please tell me |
| 10:54:16 | <[exa]> | I might send a PR if I decide |
| 10:54:42 | <tomsmeding> | IP-based is pointless in a world with cgNAT and IPv6 |
| 10:54:53 | <tomsmeding> | and absent accounts there's little else I can do |
| 10:55:04 | <tomsmeding> | but read access is stupid fast, it's just reads from a sqlite db |
| 10:55:13 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 10:55:23 | <[exa]> | yeah the main point is to avoid people from overfilling it with nonsense |
| 10:55:34 | <tomsmeding> | I know |
| 10:55:43 | <tomsmeding> | as I said, please do enlighten me if you have good ideas |
| 10:55:59 | → | gustrb joins (~gustrb@191.243.134.87) |
| 10:56:02 | <[exa]> | if you did traffic scheduling, there's SFQ and TBF algorithms and these pretty much do it |
| 10:56:19 | <tomsmeding> | is that network-level? |
| 10:56:23 | <[exa]> | (man 8 tc-sfq tc-tbf) |
| 10:56:29 | <tomsmeding> | right |
| 10:56:31 | <[exa]> | that's for packets but generally applicable to anything |
| 10:56:43 | <[exa]> | I'd just reimplement on the incoming pastes |
| 10:57:01 | → | nckx joins (~nckx@libera/staff/owl/nckx) |
| 10:57:09 | <tomsmeding> | but how does that prevent someone from spawning 1e9 POSTs from a VPS with >1e9 IPv6 addresses? |
| 10:57:23 | <tomsmeding> | I guess IP-based rate limiting raises the effort floor a little bit |
| 10:57:38 | <[exa]> | you cut the v6 addresses on prefix usually |
| 10:58:32 | <tomsmeding> | if you know something about this and have time to implement it, feel free :p |
| 10:58:44 | <tomsmeding> | I'm more concerned about the playground, honestly |
| 10:59:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 10:59:17 | <tomsmeding> | there's little I can do there with run requests, because I don't want to make, say, a school class behind a NAT ratelimit each other |
| 10:59:34 | <tomsmeding> | but if you hack something for pastes then the same could apply for saves perhaps |
| 11:00:04 | × | caconym747879 quits (~caconym@user/caconym) (Quit: bye) |
| 11:00:32 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 240 seconds) |
| 11:00:38 | <tomsmeding> | [exa]: what do you want to use the thing for? |
| 11:02:07 | → | caconym747879 joins (~caconym@user/caconym) |
| 11:02:13 | <tomsmeding> | [exa]: I may be misunderstanding, but isn't stuff like SFQ for DOS protection on the network level? |
| 11:02:29 | <tomsmeding> | if you saturate the network with paste store POST requests, disk will be full within, like, 10 seconds |
| 11:03:33 | <tomsmeding> | for something like this to be useful as rate limiter on writes, you'd need to set a limit on bandwidth that is RIDICULOUSLY low in the context of normal network traffic management |
| 11:04:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 11:04:11 | <tomsmeding> | and that doesn't sound like a good idea |
| 11:04:43 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 256 seconds) |
| 11:06:34 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 11:06:54 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 11:08:14 | <tomsmeding> | [exa]: I wrote this at some point but then as I said, I took it out because it's not helpful as-is https://github.com/haskell/play-haskell/blob/master/snap-server-utils/src/Snap/Server/Utils/SpamDetect.hs |
| 11:12:41 | → | gmg joins (~user@user/gehmehgeh) |
| 11:15:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:19:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 11:21:49 | → | fp joins (~Thunderbi@37-33-224-33.bb.dnainternet.fi) |
| 11:22:56 | <[exa]> | tomsmeding: yeah SFQ makes a rate limiter which doesn't cut off everyone in case the rate is hit |
| 11:23:36 | <[exa]> | TBF alg is a rate limiter which does the cutoff above certain rate, but there's a "burst" allowed which helps to prevent stuff like "you sent 1 api call, now wait 10 seconds!" |
| 11:23:51 | <tomsmeding> | right |
| 11:23:55 | <[exa]> | anyway in this case you might like tarpitting, that's from e-mail and makes wonders :D |
| 11:24:51 | <tomsmeding> | the thing I linked just now is a strictly per-IP rate limiter that works by accumulating a "spam score" per IP address that decreases exponentially and has a certain limit; if it comes above that limit, the request is rejected |
| 11:24:57 | <[exa]> | you KINDA have a tarpit there already ("but the account is still incremented"), the idea of tarpitting is that the "still incremented" increments more if people ignore the fact they've been ratelimited |
| 11:24:59 | × | fp quits (~Thunderbi@37-33-224-33.bb.dnainternet.fi) (Client Quit) |
| 11:25:07 | <tomsmeding> | that results in a burst allowance, but bursting makes you need to wait longer |
| 11:25:18 | → | fp joins (~Thunderbi@37-33-224-33.bb.dnainternet.fi) |
| 11:25:26 | <tomsmeding> | works nicely but the per-IP nature makes it suck |
| 11:25:42 | <tomsmeding> | ah |
| 11:26:02 | <[exa]> | yap that's essentially TBF; you can hash the source IPs to say 1024 buckets and you have SFQ on top of that, and it's hard to do anything much better |
| 11:26:40 | <[exa]> | re ipv6 problem -- just take the part of the address that people can't fake easily (like a first third or so) |
| 11:26:50 | <tomsmeding> | what about false positives? |
| 11:26:52 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 11:27:10 | <tomsmeding> | I guess for a pastebin that's not so deadly |
| 11:27:31 | <[exa]> | show nice error message, you can't do anything. SFQ is there exactly to limit the impact of the false positives |
| 11:28:00 | <tomsmeding> | SFQ gives you a probability to still get through even if you're rate-limited? |
| 11:28:12 | <[exa]> | (maybe I sholdn't call this SFQ in this context since you essentially don't queue stuff, this is just buckets) |
| 11:28:36 | <[exa]> | yeah with SFQ if there's a ratelimited IP(or bucket), the other buckets are unaffected |
| 11:28:58 | <tomsmeding> | no what I mean with false positives is that with IP-based bucketing, you're going to bucket bucketloads (heh) of people in the same bucket |
| 11:29:13 | <[exa]> | ah yes that's unavoidable |
| 11:29:20 | <tomsmeding> | schools with NAT, ISPs with cgNAT or handing out small IPv6 prefixes |
| 11:29:23 | <[exa]> | but everyone does that (even google) and it's OK |
| 11:29:42 | <tomsmeding> | s/small/long/ |
| 11:30:06 | <[exa]> | the usual solution is to require a bit more auth at that point (captcha?) |
| 11:30:14 | <tomsmeding> | right |
| 11:30:18 | <[exa]> | which humans do without issues but computers go sad |
| 11:30:26 | <tomsmeding> | that's doubtful these days |
| 11:30:33 | <[exa]> | s/computers/cheap scriptkiddies scripts/ |
| 11:30:34 | <tomsmeding> | but might raise the effort level a bit |
| 11:30:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:30:38 | <tomsmeding> | yeah |
| 11:30:49 | <[exa]> | yeah effort level is exactly the metric :) |
| 11:30:56 | <tomsmeding> | also humans go sad but well |
| 11:31:03 | <[exa]> | people spam for money, if the effort overcomes the possible income, spam is over |
| 11:31:15 | <tomsmeding> | people don't spam a pastebin for money |
| 11:31:20 | <tomsmeding> | what money where |
| 11:31:33 | <[exa]> | pastebin is free storage for botnets |
| 11:31:52 | <tomsmeding> | do they need gobs of that, though? |
| 11:32:22 | <[exa]> | like the last time I was fighting this stuff was ~2016 but yes, the more the better |
| 11:32:25 | × | fp quits (~Thunderbi@37-33-224-33.bb.dnainternet.fi) (Ping timeout: 264 seconds) |
| 11:34:48 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 11:35:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 11:35:21 | <tomsmeding> | now I'm thinking if there's a way to generate fun captchas that require you to do a little proof-of-work by running some haskell code or something |
| 11:35:53 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 11:36:06 | Lord_of_Life_ | is now known as Lord_of_Life |
| 11:36:34 | <tomsmeding> | nah that breaks most of the idea of a captcha |
| 11:42:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:43:18 | <Franciman> | is there any news in the haskell development world? |
| 11:43:29 | <Franciman> | looks like lobste.rs et similar are mostly focused on ocaml nowadays |
| 11:43:42 | <Franciman> | is ocaml where the big news are at nowadays? |
| 11:44:03 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 11:47:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 11:50:37 | → | gustrb joins (~gustrb@191.243.134.87) |
| 11:51:16 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 11:54:44 | <[exa]> | Franciman: mostly discourse.haskell.org for me, and ICFP-related conferences and workshops |
| 11:55:03 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 11:55:09 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 256 seconds) |
| 11:55:18 | → | divlamir joins (~divlamir@user/divlamir) |
| 11:55:34 | <[exa]> | also mastodon has tons of haskell people |
| 11:55:59 | × | inline quits (~inline@2a02:8071:57a1:1260:701b:808b:8c6f:3395) (Ping timeout: 250 seconds) |
| 11:56:48 | → | inline joins (~inline@2a02:8071:57a1:1260:71dc:27f0:5cba:6052) |
| 11:58:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:00:46 | <Franciman> | thanks [exa] |
| 12:00:51 | <Franciman> | https://mrcjkb.dev/posts/2025-10-08-haskell-for-renewables.html this was interesting |
| 12:02:36 | <[exa]> | yeah like, haskell is interesting for anything where you don't want to stress about leaving that one stupid null reference exception that is going to leave you without power eventually, sometime. |
| 12:05:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 12:11:58 | → | qqe joins (~qqq@185.54.23.200) |
| 12:13:23 | → | craunts795335 joins (~craunts@136.158.7.194) |
| 12:14:55 | <Franciman> | [exa]: https://icfp2025.dryfta.com/index.php this icfp? |
| 12:15:37 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 12:16:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:19:41 | <[exa]> | that looks like the other ICFP |
| 12:19:57 | <[exa]> | https://icfp25.sigplan.org/ |
| 12:21:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 12:23:22 | → | Square2 joins (~Square@user/square) |
| 12:25:45 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 12:26:22 | × | YoungFrog quits (~youngfrog@2a02:a03f:ca07:f900:2d5d:7f55:c7c2:f488) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 12:26:42 | → | YoungFrog joins (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
| 12:29:30 | → | gustrb joins (~gustrb@191.243.134.87) |
| 12:31:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:33:59 | × | tromp quits (~textual@2001:1c00:3487:1b00:409c:634b:fec4:4fe) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:34:13 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 264 seconds) |
| 12:36:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 12:40:06 | → | srazkvt joins (~sarah@user/srazkvt) |
| 12:42:46 | → | tromp joins (~textual@2001:1c00:3487:1b00:409c:634b:fec4:4fe) |
| 12:43:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:48:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 12:54:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 12:58:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 12:59:11 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 256 seconds) |
| 13:08:32 | × | jespada quits (~jespada@2800:a4:235c:ac00:7055:4dec:d47b:1a6e) (Ping timeout: 256 seconds) |
| 13:08:49 | trickard_ | is now known as trickard |
| 13:10:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:11:56 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 13:15:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 13:15:30 | → | gustrb joins (~gustrb@191.243.134.87) |
| 13:22:59 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 256 seconds) |
| 13:25:28 | → | Zemy_ joins (~Zemy@2600:100c:b005:9bc:5813:39ff:fe3f:a5d9) |
| 13:25:28 | × | Zemy quits (~Zemy@syn-072-176-124-082.res.spectrum.com) (Read error: Connection reset by peer) |
| 13:25:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:26:01 | → | Zemy joins (~Zemy@syn-072-176-124-082.res.spectrum.com) |
| 13:27:17 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 13:27:34 | → | Core6630 joins (~Zemy@2600:100c:b005:9bc:40c6:3aff:fe1e:4bf3) |
| 13:27:49 | × | Zemy_ quits (~Zemy@2600:100c:b005:9bc:5813:39ff:fe3f:a5d9) (Read error: Connection reset by peer) |
| 13:28:32 | <tomsmeding> | similar to https://haskellfoundation.org/ vs https://haskell.foundation/ |
| 13:30:23 | <Franciman> | To support the unmet needs of haskell indian nations university |
| 13:30:38 | × | Zemy quits (~Zemy@syn-072-176-124-082.res.spectrum.com) (Ping timeout: 256 seconds) |
| 13:30:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 13:36:13 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 265 seconds) |
| 13:37:07 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 13:41:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 13:42:01 | → | Zemy joins (~Zemy@12.218.191.128) |
| 13:46:09 | × | Core6630 quits (~Zemy@2600:100c:b005:9bc:40c6:3aff:fe1e:4bf3) (Ping timeout: 260 seconds) |
| 13:48:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 13:53:57 | → | shapr joins (~user@130.44.148.32) |
| 13:54:38 | → | gustrb joins (~gustrb@191.243.134.87) |
| 13:58:27 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 13:58:46 | → | Zemy_ joins (~Zemy@2600:100c:b005:9bc:a808:5ff:fe82:1f3d) |
| 13:59:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:01:13 | × | Zemy quits (~Zemy@12.218.191.128) (Ping timeout: 264 seconds) |
| 14:04:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 14:06:37 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 264 seconds) |
| 14:15:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:20:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 14:21:00 | → | gustrb joins (~gustrb@191.243.134.87) |
| 14:31:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:36:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 14:37:05 | → | Zemy joins (~Zemy@syn-072-176-124-082.res.spectrum.com) |
| 14:39:31 | → | jespada joins (~jespada@2800:a4:235c:ac00:7055:4dec:d47b:1a6e) |
| 14:39:32 | × | Zemy_ quits (~Zemy@2600:100c:b005:9bc:a808:5ff:fe82:1f3d) (Ping timeout: 265 seconds) |
| 14:40:42 | → | jespada_ joins (~jespada@2800:a4:235c:ac00:7055:4dec:d47b:1a6e) |
| 14:43:54 | × | jespada quits (~jespada@2800:a4:235c:ac00:7055:4dec:d47b:1a6e) (Ping timeout: 252 seconds) |
| 14:44:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:49:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 15:00:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:04:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 15:06:05 | × | trickard quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 15:06:12 | → | __monty__ joins (~toonn@user/toonn) |
| 15:06:18 | → | trickard_ joins (~trickard@cpe-58-98-47-163.wireline.com.au) |
| 15:09:28 | × | Square2 quits (~Square@user/square) (Remote host closed the connection) |
| 15:09:51 | → | Square2 joins (~Square@user/square) |
| 15:13:03 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 15:14:31 | × | Square2 quits (~Square@user/square) (Ping timeout: 240 seconds) |
| 15:14:43 | × | Arsen quits (arsen@gentoo/developer/managarm.dev.Arsen) (Quit: Quit.) |
| 15:15:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:18:37 | × | shapr quits (~user@130.44.148.32) (Ping timeout: 264 seconds) |
| 15:22:07 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 240 seconds) |
| 15:22:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 15:30:49 | → | Zemy_ joins (~Zemy@2600:100c:b005:9bc:80c9:dcff:fe83:1f78) |
| 15:33:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:34:13 | × | Zemy quits (~Zemy@syn-072-176-124-082.res.spectrum.com) (Ping timeout: 264 seconds) |
| 15:38:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 15:38:37 | → | Zemy joins (~Zemy@syn-072-176-124-082.res.spectrum.com) |
| 15:41:19 | × | Zemy_ quits (~Zemy@2600:100c:b005:9bc:80c9:dcff:fe83:1f78) (Ping timeout: 244 seconds) |
| 15:42:08 | → | inline_ joins (~inline@2a02:8071:57a1:dc0:9098:57fc:f526:68a5) |
| 15:45:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:45:45 | × | inline quits (~inline@2a02:8071:57a1:1260:71dc:27f0:5cba:6052) (Ping timeout: 265 seconds) |
| 15:48:39 | → | Arsen joins (arsen@gentoo/developer/managarm.dev.Arsen) |
| 15:50:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 15:56:31 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Quit: WeeChat 4.7.1) |
| 15:59:17 | → | gustrb joins (~gustrb@191.243.134.87) |
| 16:01:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:06:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 16:06:43 | × | inline_ quits (~inline@2a02:8071:57a1:dc0:9098:57fc:f526:68a5) (Quit: Leaving) |
| 16:08:45 | → | inline joins (~inline@2a02:8071:57a1:dc0:9098:57fc:f526:68a5) |
| 16:13:34 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 16:15:23 | → | annamalai joins (~annamalai@157.32.200.178) |
| 16:15:45 | × | acidjnk quits (~acidjnk@p200300d6e7171999c518e6c9e9251b6b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 16:16:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:19:26 | <haskellbridge> | <sm> Franciman: There's this: hdb, new haskell debugger coming together: https://www.youtube.com/watch?v=urYtE15ryA0 , https://well-typed.github.io/haskell-debugger |
| 16:20:11 | <haskellbridge> | <sm> oh.. you meant news sites |
| 16:20:57 | <haskellbridge> | <sm> https://joyful.com/Haskell+map#news%20and%20discussion |
| 16:21:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 16:21:58 | <haskellbridge> | <sm> and you said development. Oops, I guess I should not be typing yet |
| 16:23:46 | <[exa]> | sm: despite failing you were still most useful :D |
| 16:24:36 | <haskellbridge> | <sm> 🎉😅 |
| 16:25:19 | → | divlamir_ joins (~divlamir@user/divlamir) |
| 16:28:17 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 256 seconds) |
| 16:28:17 | divlamir_ | is now known as divlamir |
| 16:32:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:37:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 16:41:10 | × | jespada_ quits (~jespada@2800:a4:235c:ac00:7055:4dec:d47b:1a6e) (Ping timeout: 255 seconds) |
| 16:43:15 | → | Everything joins (~Everythin@46.96.48.125) |
| 16:44:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:47:19 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 16:47:44 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 16:47:44 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 16:47:45 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 16:47:45 | × | califax quits (~califax@user/califx) (Read error: Connection reset by peer) |
| 16:48:01 | → | califax joins (~califax@user/califx) |
| 16:48:07 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 16:48:11 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 16:48:28 | → | gmg joins (~user@user/gehmehgeh) |
| 16:51:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 17:02:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:08:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 17:17:24 | × | inline quits (~inline@2a02:8071:57a1:dc0:9098:57fc:f526:68a5) (Quit: Leaving) |
| 17:18:53 | → | gorignak joins (~gorignak@user/gorignak) |
| 17:20:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:22:29 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 17:25:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 17:25:43 | → | acidjnk joins (~acidjnk@p200300d6e7171919c518e6c9e9251b6b.dip0.t-ipconnect.de) |
| 17:29:17 | × | srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 17:35:27 | → | inline joins (~inline@2a02:8071:57a1:dc0:e080:53e9:7f78:fc51) |
| 17:35:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:35:54 | × | synchromesh quits (~john@2406:5a00:2412:2c00:d475:2d01:e02a:8ce4) (Read error: Connection reset by peer) |
| 17:37:23 | → | synchromesh joins (~john@2406:5a00:2412:2c00:d475:2d01:e02a:8ce4) |
| 17:40:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 17:43:13 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Ping timeout: 264 seconds) |
| 17:47:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:50:16 | × | tromp quits (~textual@2001:1c00:3487:1b00:409c:634b:fec4:4fe) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:52:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 18:03:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:06:29 | → | tromp joins (~textual@2001:1c00:3487:1b00:f86b:2618:bf3:3b08) |
| 18:06:37 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 264 seconds) |
| 18:07:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 18:11:27 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 18:17:19 | → | Zemy_ joins (~Zemy@2600:100c:b052:fb61:58e7:cff:fe85:c08a) |
| 18:17:19 | × | Zemy quits (~Zemy@syn-072-176-124-082.res.spectrum.com) (Read error: Connection reset by peer) |
| 18:17:51 | → | Zemy joins (~Zemy@syn-072-176-124-082.res.spectrum.com) |
| 18:17:52 | × | Zemy_ quits (~Zemy@2600:100c:b052:fb61:58e7:cff:fe85:c08a) (Read error: Connection reset by peer) |
| 18:18:37 | → | Zemy_ joins (~Zemy@2600:100c:b052:fb61:b892:62ff:fe9b:2e61) |
| 18:18:37 | × | Zemy quits (~Zemy@syn-072-176-124-082.res.spectrum.com) (Read error: Connection reset by peer) |
| 18:18:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:19:03 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) |
| 18:19:08 | → | Zemy joins (~Zemy@syn-072-176-124-082.res.spectrum.com) |
| 18:23:14 | × | Zemy_ quits (~Zemy@2600:100c:b052:fb61:b892:62ff:fe9b:2e61) (Ping timeout: 260 seconds) |
| 18:23:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 18:24:24 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 18:34:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:35:17 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 18:36:15 | → | peterbecich joins (~Thunderbi@syn-172-222-148-214.res.spectrum.com) |
| 18:38:38 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) (Quit: fp) |
| 18:39:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 18:42:04 | AlexNoo_ | is now known as AlexNoo |
| 18:50:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:53:34 | → | gustrb joins (~gustrb@191.243.134.87) |
| 18:55:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 18:56:22 | × | tromp quits (~textual@2001:1c00:3487:1b00:f86b:2618:bf3:3b08) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:00:02 | × | caconym747879 quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:43 | → | caconym747879 joins (~caconym@user/caconym) |
| 19:01:21 | → | tromp joins (~textual@2001:1c00:3487:1b00:f86b:2618:bf3:3b08) |
| 19:02:50 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 19:08:32 | × | peterbecich quits (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 240 seconds) |
| 19:15:02 | trickard_ | is now known as trickard |
| 19:18:40 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 255 seconds) |
| 19:18:51 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 19:19:29 | → | itaipu joins (~itaipu@168.121.97.28) |
| 19:39:25 | × | qqe quits (~qqq@185.54.23.200) (Remote host closed the connection) |
| 19:39:33 | × | trickard quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 19:39:47 | → | trickard_ joins (~trickard@cpe-58-98-47-163.wireline.com.au) |
| 19:43:09 | trickard_ | is now known as trickard |
| 19:49:13 | × | juri_ quits (~juri@implicitcad.org) (Ping timeout: 264 seconds) |
| 20:01:24 | → | kilolympus joins (~kilolympu@vmi1102682.contaboserver.net) |
| 20:03:47 | → | Reality2dot0 joins (~Reality2d@2a02:3035:66d:f8af:f657:81a9:bc3f:daf6) |
| 20:11:46 | → | Square2 joins (~Square@user/square) |
| 20:14:01 | × | acidjnk quits (~acidjnk@p200300d6e7171919c518e6c9e9251b6b.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 20:17:10 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
| 20:17:27 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 20:18:06 | → | acidjnk joins (~acidjnk@p200300d6e717191975703e7db5c33433.dip0.t-ipconnect.de) |
| 20:19:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:22:40 | × | inline quits (~inline@2a02:8071:57a1:dc0:e080:53e9:7f78:fc51) (Quit: Leaving) |
| 20:24:01 | × | Zemy quits (~Zemy@syn-072-176-124-082.res.spectrum.com) (Ping timeout: 264 seconds) |
| 20:24:19 | × | Reality2dot0 quits (~Reality2d@2a02:3035:66d:f8af:f657:81a9:bc3f:daf6) (Quit: Client closed) |
| 20:25:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 20:37:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:42:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 20:44:41 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 20:52:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:56:29 | × | tromp quits (~textual@2001:1c00:3487:1b00:f86b:2618:bf3:3b08) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:56:35 | → | peterbecich joins (~Thunderbi@syn-172-222-148-214.res.spectrum.com) |
| 20:57:44 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 256 seconds) |
| 20:58:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 21:06:39 | → | Zemy joins (~Zemy@syn-072-176-124-082.res.spectrum.com) |
| 21:07:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:09:51 | → | gmg joins (~user@user/gehmehgeh) |
| 21:11:43 | → | tromp joins (~textual@2001:1c00:3487:1b00:f86b:2618:bf3:3b08) |
| 21:12:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 21:17:21 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:18:26 | → | gustrb joins (~gustrb@191.243.134.87) |
| 21:23:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:25:40 | → | juri_ joins (~juri@212.86.47.182) |
| 21:27:59 | → | jespada joins (~jespada@2800:a4:22b6:d700:dd3d:bd7a:e8dc:d16f) |
| 21:28:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 21:34:49 | × | juri_ quits (~juri@212.86.47.182) (Ping timeout: 264 seconds) |
| 21:35:58 | → | juri_ joins (~juri@implicitcad.org) |
| 21:38:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:43:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 21:44:37 | → | pavonia joins (~user@user/siracusa) |
| 21:45:07 | × | trickard quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 21:45:20 | → | trickard_ joins (~trickard@cpe-58-98-47-163.wireline.com.au) |
| 21:45:24 | × | mzg quits (mzg@abusers.hu) (Server closed connection) |
| 21:45:35 | → | mzg joins (mzg@abusers.hu) |
| 21:49:25 | × | peterbecich quits (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 255 seconds) |
| 21:50:07 | × | trickard_ quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 21:52:36 | × | jespada quits (~jespada@2800:a4:22b6:d700:dd3d:bd7a:e8dc:d16f) (Ping timeout: 265 seconds) |
| 21:54:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:54:51 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 21:55:21 | → | trickard_ joins (~trickard@cpe-58-98-47-163.wireline.com.au) |
| 22:01:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 22:02:29 | × | tromp quits (~textual@2001:1c00:3487:1b00:f86b:2618:bf3:3b08) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:06:32 | → | qqe joins (~qqq@185.54.23.200) |
| 22:12:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:13:50 | → | Inline joins (~Inline@ip-178-202-059-142.um47.pools.vodafone-ip.de) |
| 22:16:13 | × | troydm quits (~troydm@user/troydm) (Read error: Connection reset by peer) |
| 22:17:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 22:21:53 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 256 seconds) |
| 22:33:41 | × | Pozyomka quits (~pyon@user/pyon) (Ping timeout: 265 seconds) |
| 22:34:10 | × | Everything quits (~Everythin@46.96.48.125) (Quit: Lost terminal) |
| 22:35:31 | → | Pozyomka joins (~pyon@user/pyon) |
| 22:40:07 | × | Pozyomka quits (~pyon@user/pyon) (Ping timeout: 260 seconds) |
| 22:44:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:48:18 | → | FragByte_ joins (~christian@user/fragbyte) |
| 22:49:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 22:49:07 | × | FragByte quits (~christian@user/fragbyte) (Ping timeout: 244 seconds) |
| 22:49:07 | FragByte_ | is now known as FragByte |
| 22:51:45 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:59:31 | <jle`> | anyone going to be at haskell symposium this year? :) |
| 22:59:51 | → | Inline_ joins (~Inline@ip-178-202-059-142.um47.pools.vodafone-ip.de) |
| 23:00:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:00:07 | → | pavonia_ joins (~user@user/siracusa) |
| 23:01:27 | × | Inline quits (~Inline@ip-178-202-059-142.um47.pools.vodafone-ip.de) (Killed (lead.libera.chat (Nickname regained by services))) |
| 23:01:27 | Inline_ | is now known as Inline |
| 23:01:40 | → | ggb_ joins (a62ffbaf4f@2a03:6000:1812:100::3ac) |
| 23:01:46 | → | FragByte_ joins (~christian@user/fragbyte) |
| 23:01:50 | → | smalltalkman_ joins (uid545680@id-545680.hampstead.irccloud.com) |
| 23:02:03 | → | lol__ joins (~lol@2603:3016:1e01:b9c0:c58e:523e:77a9:c8b5) |
| 23:02:14 | → | bw_ joins (sid2730@user/betawaffle) |
| 23:02:24 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 23:03:26 | → | mal1 joins (~mal@ns2.wyrd.be) |
| 23:03:28 | → | mzg_ joins (mzg@abusers.hu) |
| 23:03:36 | → | xal_ joins (~xal@mx1.xal.systems) |
| 23:04:00 | → | qqe_ joins (~qqq@185.54.23.200) |
| 23:04:00 | × | pavonia quits (~user@user/siracusa) (Ping timeout: 260 seconds) |
| 23:04:00 | × | bw quits (sid2730@user/betawaffle) (Ping timeout: 260 seconds) |
| 23:04:00 | bw_ | is now known as bw |
| 23:04:00 | × | Buliarous quits (~gypsydang@46.232.210.139) (Ping timeout: 260 seconds) |
| 23:04:01 | × | FragByte quits (~christian@user/fragbyte) (Ping timeout: 260 seconds) |
| 23:04:01 | FragByte_ | is now known as FragByte |
| 23:04:01 | × | mzg quits (mzg@abusers.hu) (Ping timeout: 260 seconds) |
| 23:04:01 | × | tv quits (~tv@user/tv) (Ping timeout: 260 seconds) |
| 23:04:01 | × | ggb quits (a62ffbaf4f@2a03:6000:1812:100::3ac) (Ping timeout: 260 seconds) |
| 23:04:01 | × | smalltalkman quits (uid545680@id-545680.hampstead.irccloud.com) (Ping timeout: 260 seconds) |
| 23:04:01 | ggb_ | is now known as ggb |
| 23:04:02 | smalltalkman_ | is now known as smalltalkman |
| 23:04:02 | × | lieven quits (~mal@ns2.wyrd.be) (Ping timeout: 260 seconds) |
| 23:04:02 | × | jjhoo quits (~jahakala@user/jjhoo) (Ping timeout: 260 seconds) |
| 23:04:02 | × | xal quits (~xal@mx1.xal.systems) (Read error: Connection reset by peer) |
| 23:04:02 | × | qqe quits (~qqq@185.54.23.200) (Ping timeout: 260 seconds) |
| 23:04:02 | × | Ekho quits (~Ekho@user/ekho) (Ping timeout: 260 seconds) |
| 23:04:02 | × | lol_ quits (~lol@2603:3016:1e01:b9c0:a854:c627:19d6:6d74) (Ping timeout: 260 seconds) |
| 23:04:02 | → | Buliarou1 joins (~gypsydang@46.232.210.139) |
| 23:04:04 | pavonia_ | is now known as pavonia |
| 23:04:27 | → | jjhoo joins (~jahakala@user/jjhoo) |
| 23:04:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 23:11:29 | → | Ekho- joins (~Ekho@user/ekho) |
| 23:15:43 | → | tv joins (~tv@user/tv) |
| 23:15:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:17:54 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 23:18:23 | → | weary-traveler joins (~user@user/user363627) |
| 23:20:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 23:27:04 | × | lally quits (sid388228@id-388228.uxbridge.irccloud.com) (Server closed connection) |
| 23:27:15 | → | lally joins (sid388228@id-388228.uxbridge.irccloud.com) |
| 23:28:55 | trickard_ | is now known as trickard |
| 23:31:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:35:01 | × | Inline quits (~Inline@ip-178-202-059-142.um47.pools.vodafone-ip.de) (Quit: Leaving) |
| 23:38:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 23:46:05 | fgarcia | is now known as fgidim |
| 23:49:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:52:13 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 23:54:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 23:59:09 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 23:59:25 | → | arandombit joins (~arandombi@user/arandombit) |
All times are in UTC on 2025-10-11.