Logs on 2024-02-03 (liberachat/#haskell)
| 00:01:16 | → | shapr joins (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 00:02:01 | → | beka joins (~beka@2607:f598:bd4a:0:960c:ccc3:2df3:1c3f) |
| 00:03:00 | <beka> | does anyone know how to convince Megaparsec's whitespace parsing Text.Megaparsec.Char.Lexer.space to accept whitespace at the beginning of a string? |
| 00:08:02 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 00:10:19 | <haskellbridge> | 06<sm> `space` accepts zero or more white space characters, could you clarify ? |
| 00:12:29 | × | jargon quits (~jargon@105.sub-174-205-230.myvzw.com) (Read error: Connection reset by peer) |
| 00:15:11 | × | shapr quits (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Ping timeout: 252 seconds) |
| 00:16:57 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 256 seconds) |
| 00:18:33 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 00:18:40 | → | rvalue joins (~rvalue@user/rvalue) |
| 00:24:55 | → | peterbecich joins (~Thunderbi@47.229.123.186) |
| 00:34:45 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 00:34:54 | × | tri quits (~tri@24.188.46.116) (Remote host closed the connection) |
| 00:35:47 | → | [_] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 00:37:27 | → | beka_ joins (~beka@170.39.168.234) |
| 00:37:45 | × | beka quits (~beka@2607:f598:bd4a:0:960c:ccc3:2df3:1c3f) (Read error: Connection reset by peer) |
| 00:39:48 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 268 seconds) |
| 00:40:50 | → | Qubet joins (~Qubet@45.155.42.224) |
| 00:42:08 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 252 seconds) |
| 00:43:52 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 00:51:22 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 00:51:31 | × | peterbecich quits (~Thunderbi@47.229.123.186) (Ping timeout: 268 seconds) |
| 00:53:45 | → | mei joins (~mei@user/mei) |
| 00:55:49 | × | mobivme quits (~mobivme@130.105.162.162) (Ping timeout: 255 seconds) |
| 00:57:20 | × | driib quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 01:00:47 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 01:02:58 | × | mud quits (~mud@user/kadoban) (Quit: quit) |
| 01:04:11 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 01:05:42 | → | califax joins (~califax@user/califx) |
| 01:07:19 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 260 seconds) |
| 01:09:09 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 01:15:46 | → | driib joins (~driib@vmi931078.contaboserver.net) |
| 01:21:37 | → | ark_ joins (~ark_@2401:4900:1cb9:68a2:61ed:95c1:842f:6226) |
| 01:27:21 | → | rosco joins (~rosco@175.136.156.77) |
| 01:28:57 | × | driib quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 01:30:15 | → | driib joins (~driib@vmi931078.contaboserver.net) |
| 01:30:25 | × | driib quits (~driib@vmi931078.contaboserver.net) (Client Quit) |
| 01:32:43 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 255 seconds) |
| 01:33:27 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 01:34:02 | → | driib joins (~driib@vmi931078.contaboserver.net) |
| 01:37:51 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 01:39:41 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 01:40:38 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 01:53:08 | × | tabemann quits (~tabemann@2600:1700:7990:24e0:f3c9:7285:9b5:ded8) (Remote host closed the connection) |
| 01:53:25 | → | tabemann joins (~tabemann@2600:1700:7990:24e0:fe92:5597:dc34:acbb) |
| 01:58:26 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 268 seconds) |
| 01:59:45 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 02:00:23 | × | Lycurgus quits (~georg@user/Lycurgus) (Quit: leaving) |
| 02:05:30 | → | Feuermagier_ joins (~Feuermagi@user/feuermagier) |
| 02:05:30 | Feuermagier | is now known as Guest2006 |
| 02:05:30 | × | Guest2006 quits (~Feuermagi@user/feuermagier) (Killed (molybdenum.libera.chat (Nickname regained by services))) |
| 02:05:30 | Feuermagier_ | is now known as Feuermagier |
| 02:08:51 | → | newsham joins (~newsham@2603-800c-2c01-6825-0457-4a1a-39c4-b53d.res6.spectrum.com) |
| 02:08:58 | × | ddellacosta quits (~ddellacos@ool-44c73d16.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 02:17:51 | × | machinedgod quits (~machinedg@173.183.246.216) (Ping timeout: 268 seconds) |
| 02:19:31 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 276 seconds) |
| 02:21:03 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 02:26:15 | → | JordiGH joins (~jordi@user/jordigh) |
| 02:26:20 | <JordiGH> | Any of you still use darcs? |
| 02:26:30 | <Qubet> | pardon me? |
| 02:27:44 | <JordiGH> | So, you do? |
| 02:28:09 | <Qubet> | i dont know what the fuck that is |
| 02:28:17 | × | otto_s quits (~user@p5de2f232.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 02:28:22 | <JordiGH> | Don't break my heart. |
| 02:28:35 | <yushyin> | a VCS |
| 02:29:05 | × | irrgit quits (~irrgit@176.113.74.138) (Read error: Connection reset by peer) |
| 02:29:48 | <geekosaur> | https://darcs.net |
| 02:30:06 | <geekosaur> | it's still actively developed, although I haven't used it in a while |
| 02:30:08 | <JordiGH> | I wonder if pijul has done releases. |
| 02:30:08 | → | otto_s joins (~user@p4ff2717e.dip0.t-ipconnect.de) |
| 02:30:16 | <JordiGH> | geekosaur: It is? No release since 2022. |
| 02:30:44 | <geekosaur> | no release but it gets commits |
| 02:31:07 | <geekosaur> | and I've corresponded with several developers |
| 02:46:20 | <haskellbridge> | 06<sm> I'd say there'll be a release before too long, someone was asking about it |
| 02:47:35 | × | boukenshaou quits (~Boukensha@223.178.80.31) (Remote host closed the connection) |
| 02:49:54 | × | Pixi` quits (~Pixi@user/pixi) (Quit: Leaving) |
| 02:50:05 | × | euleritian quits (~euleritia@77.22.252.56) (Ping timeout: 256 seconds) |
| 02:50:38 | → | euleritian joins (~euleritia@dynamic-176-006-184-140.176.6.pool.telefonica.de) |
| 02:51:51 | × | bilegeek quits (~bilegeek@2600:1008:b014:2394:f1:4073:7d5:b5fa) (Quit: Leaving) |
| 02:51:56 | × | tessier quits (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 252 seconds) |
| 02:53:38 | → | tessier joins (~treed@ip72-220-57-194.sd.sd.cox.net) |
| 02:59:07 | × | tessier quits (~treed@ip72-220-57-194.sd.sd.cox.net) (Ping timeout: 255 seconds) |
| 03:00:12 | → | tessier joins (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 03:00:39 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 03:01:39 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 259 seconds) |
| 03:01:49 | × | euleritian quits (~euleritia@dynamic-176-006-184-140.176.6.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 03:02:13 | → | euleritian joins (~euleritia@dynamic-176-006-184-140.176.6.pool.telefonica.de) |
| 03:04:34 | × | Achylles quits (~Achylles_@45.182.57.38) (Ping timeout: 260 seconds) |
| 03:05:01 | × | Achylles_ quits (~Achylles_@45.182.57.38) (Ping timeout: 276 seconds) |
| 03:06:14 | × | beka_ quits (~beka@170.39.168.234) (Ping timeout: 252 seconds) |
| 03:10:55 | <Qubet> | i think im coming down with carpel tunnel |
| 03:15:04 | × | newsham quits (~newsham@2603-800c-2c01-6825-0457-4a1a-39c4-b53d.res6.spectrum.com) (Quit: Client closed) |
| 03:15:21 | × | ark_ quits (~ark_@2401:4900:1cb9:68a2:61ed:95c1:842f:6226) (Quit: Client closed) |
| 03:18:25 | × | euleritian quits (~euleritia@dynamic-176-006-184-140.176.6.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 03:18:46 | → | euleritian joins (~euleritia@dynamic-176-006-184-140.176.6.pool.telefonica.de) |
| 03:19:02 | → | Pixi joins (~Pixi@user/pixi) |
| 03:20:31 | → | beka_ joins (~beka@207.53.253.162) |
| 03:21:45 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2c99:d08b:e47b:79d3) (Remote host closed the connection) |
| 03:22:04 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2c99:d08b:e47b:79d3) |
| 03:24:29 | → | Katarushisu18 joins (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 03:27:14 | × | Katarushisu1 quits (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 268 seconds) |
| 03:27:14 | Katarushisu18 | is now known as Katarushisu1 |
| 03:29:47 | → | tri joins (~tri@ool-18bc2e74.dyn.optonline.net) |
| 03:37:04 | → | bilegeek joins (~bilegeek@2600:1008:b014:2394:f1:4073:7d5:b5fa) |
| 03:38:23 | × | JordiGH quits (~jordi@user/jordigh) (Ping timeout: 264 seconds) |
| 03:38:37 | × | rosco quits (~rosco@175.136.156.77) (Quit: Lost terminal) |
| 03:42:50 | × | td_ quits (~td@i53870917.versanet.de) (Ping timeout: 260 seconds) |
| 03:42:57 | × | tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Quit: Leaving...) |
| 03:44:29 | → | td_ joins (~td@i53870905.versanet.de) |
| 03:47:59 | × | xff0x quits (~xff0x@ai099196.d.east.v6connect.net) (Ping timeout: 264 seconds) |
| 03:48:23 | → | xff0x joins (~xff0x@178.255.149.135) |
| 03:57:01 | × | euleritian quits (~euleritia@dynamic-176-006-184-140.176.6.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 03:57:28 | → | euleritian joins (~euleritia@dynamic-046-114-226-061.46.114.pool.telefonica.de) |
| 03:59:38 | → | JordiGH joins (~jordi@user/jordigh) |
| 04:02:58 | × | xff0x quits (~xff0x@178.255.149.135) (Ping timeout: 264 seconds) |
| 04:04:36 | → | xff0x joins (~xff0x@2405:6580:b080:900:75cb:e38c:de45:4f2e) |
| 04:05:59 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 264 seconds) |
| 04:08:13 | × | euleritian quits (~euleritia@dynamic-046-114-226-061.46.114.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 04:08:16 | → | rosco joins (~rosco@175.136.156.77) |
| 04:08:40 | → | euleritian joins (~euleritia@dynamic-046-114-226-061.46.114.pool.telefonica.de) |
| 04:10:21 | → | sroso joins (~sroso@user/SrOso) |
| 04:10:56 | × | sroso quits (~sroso@user/SrOso) (Max SendQ exceeded) |
| 04:16:36 | → | sroso joins (~sroso@user/SrOso) |
| 04:20:49 | × | rosco quits (~rosco@175.136.156.77) (Quit: Lost terminal) |
| 04:27:39 | → | mobivme joins (~mobivme@130.105.162.162) |
| 04:29:58 | × | euleritian quits (~euleritia@dynamic-046-114-226-061.46.114.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 04:30:48 | → | euleritian joins (~euleritia@46.114.226.61) |
| 04:40:04 | × | causal quits (~eric@50.35.85.7) (Quit: WeeChat 4.1.1) |
| 04:44:25 | Qubet | is now known as realbean |
| 04:46:48 | → | qqq joins (~qqq@92.43.167.61) |
| 04:48:14 | × | phma quits (phma@2001:5b0:2143:a7b8:a117:6ef2:c93d:4ded) (Read error: Connection reset by peer) |
| 04:48:14 | → | aforemny joins (~aforemny@2001:9e8:6cf8:3600:3a73:5278:af3b:a076) |
| 04:49:10 | × | aforemny_ quits (~aforemny@2001:9e8:6cd4:7000:1147:a02d:ce1e:1838) (Ping timeout: 246 seconds) |
| 04:49:32 | → | phma joins (~phma@67.44.208.169) |
| 04:52:03 | × | qqq quits (~qqq@92.43.167.61) (Remote host closed the connection) |
| 04:55:14 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 04:55:59 | × | xff0x quits (~xff0x@2405:6580:b080:900:75cb:e38c:de45:4f2e) (Ping timeout: 260 seconds) |
| 04:57:53 | → | xff0x joins (~xff0x@ai099196.d.east.v6connect.net) |
| 05:01:04 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 05:09:04 | → | jargon joins (~jargon@105.sub-174-205-230.myvzw.com) |
| 05:10:38 | → | rosco joins (~rosco@175.136.156.77) |
| 05:11:07 | × | JordiGH quits (~jordi@user/jordigh) (Ping timeout: 276 seconds) |
| 05:17:53 | → | qqq joins (~qqq@92.43.167.61) |
| 05:19:38 | → | trev joins (~trev@user/trev) |
| 05:23:33 | × | johnw quits (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 05:24:05 | × | euleritian quits (~euleritia@46.114.226.61) (Ping timeout: 268 seconds) |
| 05:32:04 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 05:45:59 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 05:48:01 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 05:48:02 | → | emmanuelux_ joins (~emmanuelu@user/emmanuelux) |
| 05:50:57 | → | actioninja8 joins (~actioninj@user/actioninja) |
| 05:53:04 | × | actioninja quits (~actioninj@user/actioninja) (Ping timeout: 268 seconds) |
| 05:53:05 | actioninja8 | is now known as actioninja |
| 05:53:20 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 05:59:53 | → | euleritian joins (~euleritia@176.7.6.38) |
| 06:20:34 | × | monochrom quits (trebla@216.138.220.146) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 06:24:55 | → | monochrom joins (trebla@216.138.220.146) |
| 06:26:08 | × | euleritian quits (~euleritia@176.7.6.38) (Read error: Connection reset by peer) |
| 06:26:25 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 06:29:53 | → | harveypwca joins (~harveypwc@2601:246:c201:d680:59a0:7761:1557:ead5) |
| 06:41:02 | → | johnw joins (~johnw@69.62.242.138) |
| 06:42:12 | × | potato44 quits (uid421314@id-421314.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 06:47:19 | × | foul_owl quits (~kerry@185.216.231.180) (Ping timeout: 276 seconds) |
| 06:49:55 | → | takuan joins (~takuan@178.116.218.225) |
| 06:51:07 | → | Lycurgus joins (~georg@user/Lycurgus) |
| 07:00:51 | → | foul_owl joins (~kerry@174-21-148-34.tukw.qwest.net) |
| 07:09:11 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 07:09:44 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 07:27:30 | → | boukenshaou joins (~Boukensha@223.178.80.31) |
| 07:27:38 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 07:28:19 | × | bilegeek quits (~bilegeek@2600:1008:b014:2394:f1:4073:7d5:b5fa) (Quit: Leaving) |
| 07:30:02 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 07:35:33 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
| 07:59:01 | × | realbean quits (~Qubet@45.155.42.224) (Quit: Leaving) |
| 08:02:05 | × | sroso quits (~sroso@user/SrOso) (Read error: Connection reset by peer) |
| 08:07:44 | → | Square joins (~Square@user/square) |
| 08:08:30 | → | sroso joins (~sroso@user/SrOso) |
| 08:15:49 | → | Tuplanolla joins (~Tuplanoll@91-159-68-95.elisa-laajakaista.fi) |
| 08:26:59 | × | rosco quits (~rosco@175.136.156.77) (Ping timeout: 264 seconds) |
| 08:27:36 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2c99:d08b:e47b:79d3) (Remote host closed the connection) |
| 08:28:10 | → | potato44 joins (uid421314@id-421314.lymington.irccloud.com) |
| 08:28:12 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2c99:d08b:e47b:79d3) |
| 08:30:31 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 08:33:16 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2c99:d08b:e47b:79d3) (Ping timeout: 276 seconds) |
| 08:37:49 | × | beka_ quits (~beka@207.53.253.162) (Ping timeout: 276 seconds) |
| 08:43:50 | → | mmhat joins (~mmh@p200300f1c73bf42fee086bfffe095315.dip0.t-ipconnect.de) |
| 08:43:50 | × | mmhat quits (~mmh@p200300f1c73bf42fee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 08:45:31 | → | acidjnk_new joins (~acidjnk@p5dd87f44.dip0.t-ipconnect.de) |
| 08:49:17 | → | CiaoSen joins (~Jura@2a05:5800:2b8:6300:e6b9:7aff:fe80:3d03) |
| 08:52:53 | → | rosco joins (~rosco@175.136.156.77) |
| 08:52:54 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:55:35 | → | danza joins (~danza@151.57.143.44) |
| 08:55:36 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 08:59:19 | → | fendor joins (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 08:59:52 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 09:03:00 | × | CiaoSen quits (~Jura@2a05:5800:2b8:6300:e6b9:7aff:fe80:3d03) (Ping timeout: 268 seconds) |
| 09:04:47 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 09:06:34 | → | euleritian joins (~euleritia@dynamic-176-007-018-240.176.7.pool.telefonica.de) |
| 09:07:23 | × | euleritian quits (~euleritia@dynamic-176-007-018-240.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 09:07:27 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2c99:d08b:e47b:79d3) |
| 09:07:42 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 09:16:16 | × | tzh quits (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 09:39:03 | → | lisbeths joins (uid135845@2a03:5180:f:2::2:12a5) |
| 10:12:10 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 10:12:14 | → | gmg joins (~user@user/gehmehgeh) |
| 10:20:08 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 10:21:00 | → | gmg joins (~user@user/gehmehgeh) |
| 10:24:20 | → | Achylles joins (~Achylles_@45.182.57.55) |
| 10:24:26 | → | Achylles_ joins (~Achylles_@45.182.57.55) |
| 10:25:20 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 10:27:15 | × | foul_owl quits (~kerry@174-21-148-34.tukw.qwest.net) (Ping timeout: 256 seconds) |
| 10:34:47 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 10:35:55 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 10:39:41 | → | foul_owl joins (~kerry@185.216.231.179) |
| 10:47:59 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 10:47:59 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 10:48:26 | → | califax joins (~califax@user/califx) |
| 10:48:36 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 11:09:51 | × | jargon quits (~jargon@105.sub-174-205-230.myvzw.com) (Remote host closed the connection) |
| 11:13:14 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 11:28:27 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 11:29:23 | → | rscastilho2024 joins (~rscastilh@189.61.140.215) |
| 11:44:19 | × | Square quits (~Square@user/square) (Ping timeout: 260 seconds) |
| 11:46:00 | × | sroso quits (~sroso@user/SrOso) (Quit: Leaving :)) |
| 11:46:01 | → | Joao003 joins (~Joao003@190.108.108.40) |
| 11:50:36 | × | rscastilho2024 quits (~rscastilh@189.61.140.215) (Remote host closed the connection) |
| 11:52:54 | × | lisbeths quits (uid135845@2a03:5180:f:2::2:12a5) (Quit: Connection closed for inactivity) |
| 11:53:26 | → | ph88 joins (~ph88@ip5b403f30.dynamic.kabel-deutschland.de) |
| 11:56:36 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 12:01:13 | × | danza quits (~danza@151.57.143.44) (Ping timeout: 268 seconds) |
| 12:08:08 | × | rosco quits (~rosco@175.136.156.77) (Read error: Connection reset by peer) |
| 12:08:19 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 12:08:58 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 12:10:41 | → | rosco joins (rosco@gateway/vpn/airvpn/rosco) |
| 12:11:11 | × | rosco quits (rosco@gateway/vpn/airvpn/rosco) (Client Quit) |
| 12:12:47 | → | rosco joins (~rosco@175.136.156.77) |
| 12:13:26 | × | rosco quits (~rosco@175.136.156.77) (Client Quit) |
| 12:13:30 | × | iteratee quits (~kyle@162.218.222.207) (Read error: Connection reset by peer) |
| 12:13:47 | → | iteratee joins (~kyle@162.218.222.207) |
| 12:14:16 | → | danza joins (~danza@151.43.165.238) |
| 12:29:43 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 12:31:51 | → | img joins (~img@user/img) |
| 12:33:30 | → | rosco joins (rosco@gateway/vpn/airvpn/rosco) |
| 12:34:05 | × | danza quits (~danza@151.43.165.238) (Read error: Connection reset by peer) |
| 12:36:47 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 12:37:16 | → | stevan joins (~stevan@user/stevan) |
| 12:38:49 | × | rosco quits (rosco@gateway/vpn/airvpn/rosco) (Ping timeout: 264 seconds) |
| 12:39:36 | → | rosco joins (~rosco@175.136.156.77) |
| 12:39:51 | × | [_] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 12:42:51 | × | anpad quits (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 12:44:53 | → | anpad joins (~pandeyan@user/anpad) |
| 12:57:07 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Ping timeout: 260 seconds) |
| 12:57:32 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 12:58:47 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 13:02:16 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 13:03:02 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 255 seconds) |
| 13:06:35 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 13:14:08 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 13:15:11 | × | pastly quits (~pastly@gateway/tor-sasl/pastly) (Ping timeout: 255 seconds) |
| 13:18:03 | × | boukenshaou quits (~Boukensha@223.178.80.31) (Remote host closed the connection) |
| 13:18:57 | → | pastly joins (~pastly@gateway/tor-sasl/pastly) |
| 13:19:34 | × | haasn` quits (~nand@haasn.dev) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 13:26:49 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 13:34:55 | × | rosco quits (~rosco@175.136.156.77) (Quit: Lost terminal) |
| 13:52:32 | → | JordiGH joins (~jordi@user/jordigh) |
| 13:55:15 | → | pallas joins (~pallas@223.166.243.201) |
| 13:56:02 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 13:56:19 | <haskellbridge> | 02<{NOPINGNICK}> Hello! I'm not sure matrix -> irc messaging works. Anyways. Is there some sort of `GHC.Generics` based port/equivalent of `Data.Data` based functions like `Data.Generics.Schemes.everywhere` (from SYB). I like to use it, very handy in some cases, but writing orphan `Data` instances by hand for the external lib types which do not expose constructors is kinda not the |
| 13:56:19 | <haskellbridge> | best. Seems like external lib … |
| 13:56:19 | <haskellbridge> | 02<{NOPINGNICK}> types much more often provide `Generic` instance instead of `Data` instance nowadays.. |
| 13:57:09 | → | euleritian joins (~euleritia@77.22.252.56) |
| 13:58:57 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 13:59:04 | → | mreh joins (~matthew@86.160.168.81) |
| 14:00:39 | <mreh> | How could I tell open GL to delete buffers and array objects when they're GCed? Searching around someone suggest weak pointers. |
| 14:01:10 | × | pallas quits (~pallas@223.166.243.201) (Quit: Connection closed) |
| 14:01:33 | → | rosco joins (~rosco@175.136.156.77) |
| 14:01:42 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 14:02:56 | × | emmanuelux_ quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 14:03:12 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 14:03:45 | → | emmanuelux_ joins (~emmanuelu@user/emmanuelux) |
| 14:11:52 | → | pallas joins (~pallas@154.3.39.96) |
| 14:15:22 | <mreh> | It's actually OpenGL objects `Data.ObjectName`s that are GC'ed, but I'm wondering if there is a good way to finalize them when they're not longer needed. |
| 14:21:02 | → | alexherbo2 joins (~alexherbo@2a02-8440-3241-16a5-9d84-e756-08ef-4645.rev.sfr.net) |
| 14:21:26 | → | sprout_ joins (~quassel@2a02-a448-3a80-0-345a-4cb5-664-8455.fixed6.kpn.net) |
| 14:23:26 | → | Guest27 joins (~Guest27@223-178-190-90.dyn.estpak.ee) |
| 14:24:40 | → | drownbes joins (~drownbes@223-178-190-90.dyn.estpak.ee) |
| 14:24:51 | × | sprout quits (~quassel@2a02:a448:3a80:0:885c:b783:ab5:eac3) (Ping timeout: 260 seconds) |
| 14:25:01 | × | Guest27 quits (~Guest27@223-178-190-90.dyn.estpak.ee) (Client Quit) |
| 14:28:08 | × | drownbes quits (~drownbes@223-178-190-90.dyn.estpak.ee) (Quit: leaving) |
| 14:30:20 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 14:35:25 | × | athan quits (~athan@173.42.95.241) (Quit: Konversation terminated!) |
| 14:40:38 | × | mei quits (~mei@user/mei) (Quit: mei) |
| 14:44:50 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 14:51:02 | → | systemhalted joins (~systemhal@130.51.137.77) |
| 14:55:44 | → | machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 14:56:30 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 14:56:46 | × | systemhalted quits (~systemhal@130.51.137.77) (Ping timeout: 276 seconds) |
| 15:00:02 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 15:02:05 | × | stevan quits (~stevan@user/stevan) (Ping timeout: 240 seconds) |
| 15:03:45 | → | Silver_X joins (~Silver_X@182.178.240.190) |
| 15:05:14 | → | chomwitt joins (~chomwitt@2a02:587:7a0b:b500:1ac0:4dff:fedb:a3f1) |
| 15:09:55 | × | son0p quits (~ff@152.203.124.215) (Ping timeout: 268 seconds) |
| 15:14:49 | × | pallas quits (~pallas@154.3.39.96) (Quit: Connection closed) |
| 15:17:51 | × | fendor quits (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
| 15:20:58 | → | pallas joins (~pallas@154.3.39.96) |
| 15:21:37 | × | JordiGH quits (~jordi@user/jordigh) (Ping timeout: 246 seconds) |
| 15:29:50 | × | rosco quits (~rosco@175.136.156.77) (Ping timeout: 260 seconds) |
| 15:31:36 | → | rosco joins (rosco@gateway/vpn/airvpn/rosco) |
| 15:36:27 | × | Joao003 quits (~Joao003@190.108.108.40) (Quit: Bye!) |
| 15:46:20 | × | mobivme quits (~mobivme@130.105.162.162) (Ping timeout: 252 seconds) |
| 15:51:37 | → | Square joins (~Square@user/square) |
| 15:52:33 | × | pallas quits (~pallas@154.3.39.96) (Quit: Connection closed) |
| 15:54:19 | → | athan joins (~athan@173-042-095-241.biz.spectrum.com) |
| 15:58:21 | × | glowcoil quits (sid3405@id-3405.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 15:59:23 | × | Silver_X quits (~Silver_X@182.178.240.190) (Ping timeout: 264 seconds) |
| 16:03:58 | → | Silver_X joins (~Silver_X@182.178.240.190) |
| 16:05:32 | × | andscape quits (~andscape@2a02:2121:304:cc78:71fe:5788:2033:9f91) (Remote host closed the connection) |
| 16:11:35 | × | pastly quits (~pastly@gateway/tor-sasl/pastly) (Ping timeout: 255 seconds) |
| 16:12:48 | → | pastly joins (~pastly@gateway/tor-sasl/pastly) |
| 16:21:24 | → | phma_ joins (phma@2001:5b0:2144:5868:576a:67f8:cd4a:9dc0) |
| 16:22:45 | × | phma quits (~phma@67.44.208.169) (Read error: Connection reset by peer) |
| 16:27:40 | × | trev quits (~trev@user/trev) (Quit: trev) |
| 16:28:14 | × | euleritian quits (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 16:28:57 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 16:30:13 | × | pastly quits (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection) |
| 16:30:14 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 16:30:24 | × | rosco quits (rosco@gateway/vpn/airvpn/rosco) (Ping timeout: 268 seconds) |
| 16:30:49 | → | pastly joins (~pastly@gateway/tor-sasl/pastly) |
| 16:31:08 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 16:36:59 | × | chomwitt quits (~chomwitt@2a02:587:7a0b:b500:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
| 16:40:29 | → | trev joins (~trev@109-252-35-136.nat.spd-mgts.ru) |
| 16:46:33 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 16:49:16 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 16:49:42 | × | trev quits (~trev@109-252-35-136.nat.spd-mgts.ru) (Quit: trev) |
| 16:55:14 | → | trev joins (~trev@109-252-35-136.nat.spd-mgts.ru) |
| 17:06:39 | → | JordiGH joins (~jordi@user/jordigh) |
| 17:13:29 | → | infinity0_ joins (~infinity0@pwned.gg) |
| 17:13:31 | × | infinity0 quits (~infinity0@pwned.gg) (Killed (mercury.libera.chat (Nickname regained by services))) |
| 17:13:31 | infinity0_ | is now known as infinity0 |
| 17:16:01 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2c99:d08b:e47b:79d3) (Remote host closed the connection) |
| 17:16:38 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:6056:3fbc:d316:a2c5) |
| 17:17:46 | → | Joao003 joins (~Joao003@190.108.108.40) |
| 17:18:52 | × | Joao003 quits (~Joao003@190.108.108.40) (Client Quit) |
| 17:19:07 | → | Joao003 joins (~Joao003@190.108.108.40) |
| 17:20:26 | × | pastly quits (~pastly@gateway/tor-sasl/pastly) (Ping timeout: 255 seconds) |
| 17:20:59 | × | machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 17:21:44 | → | pastly joins (~pastly@gateway/tor-sasl/pastly) |
| 17:23:12 | → | machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 17:27:00 | Joao003 | is now known as Joao[3] |
| 17:27:58 | × | Joao[3] quits (~Joao003@190.108.108.40) (Quit: Bye!) |
| 17:28:14 | → | Joao[3] joins (~Joao003@190.108.108.40) |
| 17:32:48 | → | tzh joins (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 17:35:01 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 17:49:16 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 17:49:50 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 17:55:39 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 17:56:12 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 17:56:33 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 17:58:11 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 264 seconds) |
| 18:01:21 | → | michalz joins (~michalz@185.246.207.222) |
| 18:08:24 | → | rvalue joins (~rvalue@user/rvalue) |
| 18:14:02 | → | target_i joins (~target_i@217.175.14.39) |
| 18:14:02 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 18:14:43 | → | euleritian joins (~euleritia@77.22.252.56) |
| 18:15:10 | × | michalz quits (~michalz@185.246.207.222) (Quit: ZNC 1.8.2 - https://znc.in) |
| 18:17:55 | → | michalz joins (~michalz@185.246.207.201) |
| 18:20:03 | → | peterbecich joins (~Thunderbi@47.229.123.186) |
| 18:24:41 | × | Achylles_ quits (~Achylles_@45.182.57.55) (Quit: Leaving) |
| 18:24:42 | × | Achylles quits (~Achylles_@45.182.57.55) (Quit: Leaving) |
| 18:26:08 | × | euleritian quits (~euleritia@77.22.252.56) (Ping timeout: 256 seconds) |
| 18:26:41 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 18:31:23 | phma_ | is now known as phma |
| 18:32:11 | × | peterbecich quits (~Thunderbi@47.229.123.186) (Ping timeout: 268 seconds) |
| 18:44:18 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 18:44:42 | → | califax joins (~califax@user/califx) |
| 18:45:21 | × | phma quits (phma@2001:5b0:2144:5868:576a:67f8:cd4a:9dc0) (Read error: Connection reset by peer) |
| 18:45:48 | → | phma joins (~phma@host-67-44-208-155.hnremote.net) |
| 18:47:34 | → | mobivme joins (~mobivme@130.105.162.60) |
| 18:48:47 | → | causal joins (~eric@50.35.85.7) |
| 18:51:20 | → | mobi joins (~mobi@130.105.162.60) |
| 18:52:12 | × | alexherbo2 quits (~alexherbo@2a02-8440-3241-16a5-9d84-e756-08ef-4645.rev.sfr.net) (Remote host closed the connection) |
| 18:56:05 | → | mei joins (~mei@user/mei) |
| 18:57:57 | × | mei quits (~mei@user/mei) (Client Quit) |
| 19:00:11 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 19:01:38 | → | mei joins (~mei@user/mei) |
| 19:07:07 | × | harveypwca quits (~harveypwc@2601:246:c201:d680:59a0:7761:1557:ead5) (Quit: Leaving) |
| 19:14:31 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 19:16:22 | → | beka_ joins (~beka@2607:f598:bd4a:200:ae38:b9e5:be68:3fea) |
| 19:37:16 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 19:54:25 | × | beka_ quits (~beka@2607:f598:bd4a:200:ae38:b9e5:be68:3fea) (Ping timeout: 264 seconds) |
| 20:01:05 | → | euphores joins (~SASL_euph@user/euphores) |
| 20:07:03 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 20:13:09 | ← | hammond parts (proscan@user/hammond2) () |
| 20:15:43 | × | mobi quits (~mobi@130.105.162.60) (Read error: Connection reset by peer) |
| 20:28:30 | × | mobivme quits (~mobivme@130.105.162.60) (Ping timeout: 260 seconds) |
| 20:42:25 | × | Square quits (~Square@user/square) (Ping timeout: 264 seconds) |
| 20:49:15 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 20:50:09 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 21:15:33 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 21:17:18 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 21:29:06 | × | takuan quits (~takuan@178.116.218.225) (Remote host closed the connection) |
| 21:33:43 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 21:36:57 | × | target_i quits (~target_i@217.175.14.39) (Quit: leaving) |
| 21:38:39 | × | Lycurgus quits (~georg@user/Lycurgus) (Quit: leaving) |
| 21:40:02 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 21:58:47 | → | karvon joins (~normie@225-9-174-206.gci.net) |
| 21:58:49 | × | karvon quits (~normie@225-9-174-206.gci.net) (Remote host closed the connection) |
| 22:04:23 | <EvanR> | mreh, that is what finalizers for weak pointers would let you do |
| 22:04:47 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 22:27:49 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 22:29:23 | → | califax joins (~califax@user/califx) |
| 22:36:05 | → | Achylles joins (~Achylles_@45.182.57.55) |
| 22:36:36 | × | oo_miguel quits (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Quit: oo_miguel) |
| 22:40:29 | × | machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 22:42:41 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 252 seconds) |
| 22:54:21 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 22:55:20 | × | michalz quits (~michalz@185.246.207.201) (Quit: ZNC 1.8.2 - https://znc.in) |
| 22:55:27 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 23:20:44 | → | beka_ joins (~beka@207.53.253.162) |
| 23:26:49 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 23:27:42 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 23:29:25 | × | mreh quits (~matthew@86.160.168.81) (Ping timeout: 268 seconds) |
| 23:31:16 | × | Silver_X quits (~Silver_X@182.178.240.190) (Ping timeout: 268 seconds) |
| 23:37:55 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:6056:3fbc:d316:a2c5) (Remote host closed the connection) |
| 23:38:30 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:6056:3fbc:d316:a2c5) |
| 23:41:08 | × | sudden quits (~cat@user/sudden) (Ping timeout: 268 seconds) |
| 23:42:59 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:6056:3fbc:d316:a2c5) (Ping timeout: 260 seconds) |
| 23:47:57 | × | acidjnk_new quits (~acidjnk@p5dd87f44.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 23:49:54 | → | sudden joins (~cat@user/sudden) |
| 23:52:58 | → | czy` joins (~user@114.226.59.181) |
| 23:53:06 | × | czy quits (~user@114.226.59.181) (Ping timeout: 256 seconds) |
All times are in UTC on 2024-02-03.