Logs on 2024-12-12 (liberachat/#haskell)
| 00:00:17 | → | rstromlund joins (~user@user/rstromlund) |
| 00:00:27 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 00:04:33 | × | rstromlund quits (~user@user/rstromlund) (Ping timeout: 245 seconds) |
| 00:07:24 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 00:07:40 | × | semmelschwaerzer quits (~semmelsch@41.66.98.79) (Ping timeout: 240 seconds) |
| 00:09:44 | → | troojg joins (~troojg@user/troojg) |
| 00:10:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:15:51 | → | semmelschwarz joins (~semmelsch@41.66.98.79) |
| 00:16:53 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 00:19:29 | → | housemate joins (~housemate@ppp203-122-213-191.static.internode.on.net) |
| 00:27:45 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:32:15 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 00:35:25 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:36:29 | × | housemate quits (~housemate@ppp203-122-213-191.static.internode.on.net) (Remote host closed the connection) |
| 00:36:38 | → | housemate joins (~housemate@ppp203-122-213-191.static.internode.on.net) |
| 00:36:39 | × | sprotte24 quits (~sprotte24@p200300d16f09010004570c6c4bda6d45.dip0.t-ipconnect.de) (Quit: Leaving) |
| 00:39:46 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 00:40:01 | × | housemate quits (~housemate@ppp203-122-213-191.static.internode.on.net) (Remote host closed the connection) |
| 00:43:14 | × | acidjnk_new quits (~acidjnk@p200300d6e7283f61593e2420019ce75e.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 00:48:07 | × | xff0x quits (~xff0x@2405:6580:b080:900:b4d0:4274:499:d865) (Ping timeout: 264 seconds) |
| 00:50:44 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:55:17 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 01:06:07 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:07:40 | × | semmelschwarz quits (~semmelsch@41.66.98.79) (Ping timeout: 240 seconds) |
| 01:09:35 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 01:13:00 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 01:15:36 | <haskellbridge> | <sm> https://matrix.to/#/#haskell-irc:matrix.org |
| 01:19:23 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:19:49 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 01:23:41 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 01:24:10 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:25:03 | → | slack1256 joins (~slack1256@179.60.70.224) |
| 01:26:18 | × | slack1256 quits (~slack1256@179.60.70.224) (Remote host closed the connection) |
| 01:28:20 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 01:29:09 | → | rstromlund joins (~user@user/rstromlund) |
| 01:29:14 | × | troojg quits (~troojg@user/troojg) (Ping timeout: 260 seconds) |
| 01:32:42 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 01:33:30 | × | rstromlund quits (~user@user/rstromlund) (Ping timeout: 244 seconds) |
| 01:35:33 | → | califax joins (~califax@user/califx) |
| 01:35:54 | × | _________ quits (~nobody@user/noodly) (Ping timeout: 246 seconds) |
| 01:37:01 | → | _________ joins (~nobody@user/noodly) |
| 01:39:33 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:40:07 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 252 seconds) |
| 01:40:24 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:44:10 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 01:47:14 | Catty | is now known as catties |
| 01:54:55 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:59:17 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 02:03:43 | × | dpratt quits (~dpratt@165.225.220.148) (Quit: Client closed) |
| 02:04:34 | → | dpratt joins (~dpratt@165.225.220.148) |
| 02:10:17 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:10:32 | → | homo joins (~homo@37-33-168-21.bb.dnainternet.fi) |
| 02:10:33 | → | remexre joins (~remexre@user/remexre) |
| 02:11:04 | × | homo quits (~homo@37-33-168-21.bb.dnainternet.fi) (Changing host) |
| 02:11:04 | → | homo joins (~homo@user/homo) |
| 02:12:09 | <dpratt> | not at all sure about this, but it seems like this channel is currently less active than I've seen it in the past -- it just makes me wonder if there are other platforms where people are actively having real-time conversations about Haskell? |
| 02:13:58 | → | Guest31 joins (~Guest31@173-255-247-86.ip.linodeusercontent.com) |
| 02:14:50 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 02:14:56 | <geekosaur> | matrix, but it's also been quieter than usual |
| 02:15:40 | <geekosaur> | that said, it is december and a lot of folks are on vacation/break/whatever, aside from aoc chatter (but much of that has moved to #adventofcode) |
| 02:16:56 | <geekosaur> | I'm not aware of a Haskell Discord room, so if people have been moving to one they've been keeping it to themselves |
| 02:18:54 | × | yangby quits (~secret@218.74.32.152) (Ping timeout: 240 seconds) |
| 02:19:48 | × | MyNetAz quits (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 02:20:32 | → | OftenFaded joins (~OftenFade@user/tisktisk) |
| 02:20:55 | → | yangby joins (~secret@125.121.168.11) |
| 02:23:31 | <haskellbridge> | <sm> things are a bit more dispersed, yes. It does vary a lot by time of day as well as season |
| 02:24:05 | <haskellbridge> | <sm> and there are a rather a lot of topic-specific rooms now |
| 02:26:49 | → | MyNetAz joins (~MyNetAz@user/MyNetAz) |
| 02:26:56 | × | dostoyevsky2 quits (~sck@user/dostoyevsky2) (Quit: leaving) |
| 02:27:19 | → | dostoyevsky2 joins (~sck@user/dostoyevsky2) |
| 02:27:54 | <dpratt> | geekosaur ah, ok -- and I didn't realize there was an AoC specific channel, so thanks for that! :) |
| 02:30:10 | → | rstromlund joins (~user@user/rstromlund) |
| 02:31:30 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:34:02 | × | anpad quits (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 02:34:45 | × | rstromlund quits (~user@user/rstromlund) (Ping timeout: 252 seconds) |
| 02:36:01 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 02:36:43 | → | the-zammers joins (~the-zamme@129.133.150.76) |
| 02:37:39 | → | fun-safe-math joins (~fun-safe-@24.21.106.247) |
| 02:40:12 | × | dpratt quits (~dpratt@165.225.220.148) (Quit: Client closed) |
| 02:46:53 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:51:38 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 02:57:20 | → | talismanick joins (~user@2601:644:937c:ed10::ae5) |
| 02:58:22 | × | Guest31 quits (~Guest31@173-255-247-86.ip.linodeusercontent.com) (Quit: Client closed) |
| 03:00:11 | → | troojg joins (~troojg@user/troojg) |
| 03:02:39 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:03:06 | → | anpad joins (~pandeyan@user/anpad) |
| 03:05:20 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 03:06:58 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:11:45 | → | rstromlund joins (~user@user/rstromlund) |
| 03:14:25 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 260 seconds) |
| 03:15:52 | × | OftenFaded quits (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 03:16:31 | × | rstromlund quits (~user@user/rstromlund) (Ping timeout: 272 seconds) |
| 03:17:16 | → | notzmv joins (~umar@user/notzmv) |
| 03:18:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:22:31 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 03:26:18 | × | homo quits (~homo@user/homo) (Quit: homo) |
| 03:27:19 | → | homo joins (~homo@user/homo) |
| 03:31:11 | → | rstromlund joins (~user@user/rstromlund) |
| 03:33:23 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:35:46 | → | alp joins (~alp@2001:861:8ca0:4940:f4ef:24f1:dac2:bfed) |
| 03:36:00 | × | rstromlund quits (~user@user/rstromlund) (Ping timeout: 252 seconds) |
| 03:38:21 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 03:48:47 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:53:45 | × | troojg quits (~troojg@user/troojg) (Remote host closed the connection) |
| 03:54:51 | × | td_ quits (~td@i5387092D.versanet.de) (Ping timeout: 246 seconds) |
| 03:55:29 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 03:56:49 | → | td_ joins (~td@i5387090C.versanet.de) |
| 03:58:10 | × | youthlic quits (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 03:58:36 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 04:00:04 | pabs3 | is now known as Guest2867 |
| 04:00:04 | × | Guest2867 quits (~pabs3@user/pabs3) (Killed (copper.libera.chat (Nickname regained by services))) |
| 04:00:29 | → | pabs3 joins (~pabs3@user/pabs3) |
| 04:05:35 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 04:06:13 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 04:06:49 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:11:42 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 04:12:09 | × | alp quits (~alp@2001:861:8ca0:4940:f4ef:24f1:dac2:bfed) (Remote host closed the connection) |
| 04:12:45 | × | youthlic quits (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 04:13:12 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 04:18:04 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:21:25 | → | bwern joins (~bwern@2405:201:5c16:894:a059:4458:a01:2a23) |
| 04:24:00 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 04:29:20 | → | alp joins (~alp@2001:861:8ca0:4940:762c:2982:98c1:d2e7) |
| 04:32:47 | × | the-zammers quits (~the-zamme@129.133.150.76) (Ping timeout: 244 seconds) |
| 04:34:45 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:35:05 | × | ZLima12 quits (~zlima12@user/meow/ZLima12) () |
| 04:37:50 | → | ZLima12 joins (~zlima12@user/meow/ZLima12) |
| 04:38:55 | → | aforemny_ joins (~aforemny@2001:9e8:6cd1:7b00:688b:324:5065:e57a) |
| 04:38:59 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 04:40:10 | × | aforemny quits (~aforemny@2001:9e8:6cf0:6300:2ab4:61cd:5946:a5ad) (Ping timeout: 260 seconds) |
| 04:42:24 | × | ZLima12 quits (~zlima12@user/meow/ZLima12) (Client Quit) |
| 04:42:54 | → | ZLima12 joins (~zlima12@user/meow/ZLima12) |
| 04:43:41 | × | homo quits (~homo@user/homo) (Quit: homo) |
| 04:50:09 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:51:00 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 276 seconds) |
| 04:52:18 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 04:54:29 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 05:02:36 | <Axman6> | There's also the functional programming slack, which is moderately active (less so than here) |
| 05:04:43 | → | billchenchina joins (~billchenc@113.57.152.160) |
| 05:05:31 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:10:10 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 05:10:54 | × | bwern quits (~bwern@2405:201:5c16:894:a059:4458:a01:2a23) (Ping timeout: 260 seconds) |
| 05:20:54 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:22:45 | → | housemate joins (~housemate@ppp203-122-213-191.static.internode.on.net) |
| 05:25:29 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 05:27:10 | → | gorignak joins (~gorignak@user/gorignak) |
| 05:36:34 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:41:23 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 05:44:09 | → | biberu joins (~biberu@user/biberu) |
| 05:48:36 | → | zenmov joins (~zenmov@user/zenmov) |
| 05:52:08 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:53:13 | → | michalz joins (~michalz@185.246.207.221) |
| 05:54:25 | × | tdammers quits (~tdammers@110-136-178-143.ftth.glasoperator.nl) (Ping timeout: 244 seconds) |
| 05:56:26 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 05:58:45 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 06:01:17 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 06:03:04 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 06:07:29 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:07:44 | → | tdammers joins (~tdammers@110-136-178-143.ftth.glasoperator.nl) |
| 06:10:02 | → | CiaoSen joins (~Jura@2a05:5800:2c2:cc00:ca4b:d6ff:fec1:99da) |
| 06:12:05 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 06:14:05 | × | forell quits (~forell@user/forell) (Ping timeout: 260 seconds) |
| 06:15:31 | → | homo joins (~homo@user/homo) |
| 06:18:53 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:19:04 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:28:29 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 06:34:08 | × | housemate quits (~housemate@ppp203-122-213-191.static.internode.on.net) (Quit: Nothing to see here. I wasn't there. I take IRC seriously. https://files.catbox.moe/4e9k81.pdf) |
| 06:36:12 | × | billchenchina quits (~billchenc@113.57.152.160) (Ping timeout: 246 seconds) |
| 06:39:04 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:40:38 | → | billchenchina joins (~billchenc@103.118.42.229) |
| 06:45:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 06:50:47 | <sm> | @where+ dangerous-functions https://github.com/NorfairKing/haskell-dangerous-functions |
| 06:50:47 | <lambdabot> | It is stored. |
| 06:51:13 | <sm> | @where+ sustainable-haskell https://github.com/NorfairKing/syds-rules-for-sustainable-haskell |
| 06:51:13 | <lambdabot> | It is stored. |
| 06:53:18 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:54:42 | × | tnt1 quits (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 06:57:50 | → | korrykatti joins (~korrykatt@user/korrykatti) |
| 06:58:58 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 06:59:20 | <sm> | @where+ haskell-for-imperative-programmers https://www.youtube.com/playlist?list=PLe7Ei6viL6jGp1Rfu0dil1JH1SHk9bgDV |
| 06:59:20 | <lambdabot> | I will remember. |
| 07:02:54 | → | notzmv joins (~umar@user/notzmv) |
| 07:04:29 | × | rekahsoft quits (~rekahsoft@76.69.85.220) (Read error: Connection reset by peer) |
| 07:05:48 | × | ZLima12 quits (~zlima12@user/meow/ZLima12) () |
| 07:14:34 | × | eL_Bart0 quits (eL_Bart0@dietunichtguten.org) (Ping timeout: 260 seconds) |
| 07:18:39 | × | glguy quits (glguy@libera/staff/glguy) (*.net *.split) |
| 07:18:39 | × | visilii_ quits (~visilii@92.50.200.10) (*.net *.split) |
| 07:18:39 | × | Pent quits (sid313808@id-313808.lymington.irccloud.com) (*.net *.split) |
| 07:18:39 | × | divya quits (divya@140.238.251.170) (*.net *.split) |
| 07:18:39 | × | euphores quits (~SASL_euph@user/euphores) (*.net *.split) |
| 07:18:39 | × | sam113101 quits (~sam@modemcable220.199-203-24.mc.videotron.ca) (*.net *.split) |
| 07:18:39 | × | jrm quits (~jrm@user/jrm) (*.net *.split) |
| 07:18:39 | × | jcarpenter2 quits (~lol@2603:3016:1e01:b9c0:d1c1:f93e:7bae:b7b4) (*.net *.split) |
| 07:18:39 | × | tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (*.net *.split) |
| 07:18:39 | × | zmt01 quits (~zmt00@user/zmt00) (*.net *.split) |
| 07:18:39 | × | cptaffe quits (~cptaffe@user/cptaffe) (*.net *.split) |
| 07:18:39 | × | ell quits (~ellie@user/ellie) (*.net *.split) |
| 07:18:39 | × | mjrosenb quits (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) (*.net *.split) |
| 07:18:39 | × | albet70 quits (~xxx@2400:8905::f03c:92ff:fe60:98d8) (*.net *.split) |
| 07:18:39 | × | ridcully quits (~ridcully@p57b52f42.dip0.t-ipconnect.de) (*.net *.split) |
| 07:18:39 | × | m1dnight quits (~m1dnight@d8D861908.access.telenet.be) (*.net *.split) |
| 07:18:39 | × | hiredman quits (~hiredman@frontier1.downey.family) (*.net *.split) |
| 07:18:39 | × | Natch quits (~natch@c-92-34-7-158.bbcust.telenor.se) (*.net *.split) |
| 07:18:39 | × | hueso quits (~root@user/hueso) (*.net *.split) |
| 07:18:39 | × | nshepperd2 quits (~nshepperd@static.117.72.21.65.clients.your-server.de) (*.net *.split) |
| 07:18:39 | × | eugenrh quits (~eugenrh@user/eugenrh) (*.net *.split) |
| 07:18:39 | × | Spawns_Carpeting quits (~mobile@user/spawns-carpeting/x-6969421) (*.net *.split) |
| 07:18:39 | × | hololeap quits (~quassel@user/hololeap) (*.net *.split) |
| 07:18:39 | × | ACuriousMoose quits (~ACuriousM@156.34.161.188) (*.net *.split) |
| 07:18:39 | × | jjhoo quits (~jahakala@user/jjhoo) (*.net *.split) |
| 07:18:39 | × | byte quits (~byte@149.28.222.189) (*.net *.split) |
| 07:18:39 | × | Adran quits (~adran@botters/adran) (*.net *.split) |
| 07:18:39 | × | lambdap2371 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (*.net *.split) |
| 07:18:39 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (*.net *.split) |
| 07:18:39 | × | opqdonut quits (opqdonut@pseudo.fixme.fi) (*.net *.split) |
| 07:18:39 | × | litharge quits (litharge@libera/bot/litharge) (*.net *.split) |
| 07:18:39 | × | billchenchina quits (~billchenc@103.118.42.229) (*.net *.split) |
| 07:18:39 | × | michalz quits (~michalz@185.246.207.221) (*.net *.split) |
| 07:18:39 | × | pabs3 quits (~pabs3@user/pabs3) (*.net *.split) |
| 07:18:39 | × | fun-safe-math quits (~fun-safe-@24.21.106.247) (*.net *.split) |
| 07:18:39 | × | foul_owl quits (~kerry@157.97.134.165) (*.net *.split) |
| 07:18:39 | × | Sgeo quits (~Sgeo@user/sgeo) (*.net *.split) |
| 07:18:39 | × | poscat quits (~poscat@user/poscat) (*.net *.split) |
| 07:18:39 | × | end quits (~end@user/end/x-0094621) (*.net *.split) |
| 07:18:39 | × | bcksl quits (~bcksl@user/bcksl) (*.net *.split) |
| 07:18:39 | × | bliminse quits (~bliminse@user/bliminse) (*.net *.split) |
| 07:18:39 | × | haskellbridge quits (~hackager@syn-024-093-192-219.res.spectrum.com) (*.net *.split) |
| 07:18:39 | × | rvalue quits (~rvalue@user/rvalue) (*.net *.split) |
| 07:18:39 | × | kmein quits (~weechat@user/kmein) (*.net *.split) |
| 07:18:39 | × | srk quits (~sorki@user/srk) (*.net *.split) |
| 07:18:39 | × | ski quits (~ski@remote11.chalmers.se) (*.net *.split) |
| 07:18:39 | × | raym quits (~ray@user/raym) (*.net *.split) |
| 07:18:39 | × | myxos quits (~myxos@syn-065-028-251-121.res.spectrum.com) (*.net *.split) |
| 07:18:39 | × | j1n37 quits (~j1n37@user/j1n37) (*.net *.split) |
| 07:18:40 | × | paotsaq quits (~paotsaq@127.209.37.188.rev.vodafone.pt) (*.net *.split) |
| 07:18:40 | × | ftzm quits (~ftzm@085081049156.dynamic.telenor.dk) (*.net *.split) |
| 07:18:40 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (*.net *.split) |
| 07:18:40 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (*.net *.split) |
| 07:18:40 | × | kimiamania quits (~65804703@user/kimiamania) (*.net *.split) |
| 07:18:40 | × | thaumavorio quits (~thaumavor@thaumavor.io) (*.net *.split) |
| 07:18:40 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (*.net *.split) |
| 07:18:40 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (*.net *.split) |
| 07:18:40 | × | califax quits (~califax@user/califx) (*.net *.split) |
| 07:18:40 | × | gmg quits (~user@user/gehmehgeh) (*.net *.split) |
| 07:18:40 | × | user_ quits (~user@user/fmira) (*.net *.split) |
| 07:18:40 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (*.net *.split) |
| 07:18:40 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (*.net *.split) |
| 07:18:40 | × | td_ quits (~td@i5387090C.versanet.de) (*.net *.split) |
| 07:18:40 | × | MyNetAz quits (~MyNetAz@user/MyNetAz) (*.net *.split) |
| 07:18:40 | × | remexre quits (~remexre@user/remexre) (*.net *.split) |
| 07:18:40 | × | _________ quits (~nobody@user/noodly) (*.net *.split) |
| 07:18:40 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (*.net *.split) |
| 07:18:40 | × | Digit quits (~user@user/digit) (*.net *.split) |
| 07:18:40 | × | nitrix quits (~nitrix@user/meow/nitrix) (*.net *.split) |
| 07:18:40 | × | AlexNoo quits (~AlexNoo@5.139.233.0) (*.net *.split) |
| 07:18:40 | × | krei-se quits (~krei-se@p5085d4fd.dip0.t-ipconnect.de) (*.net *.split) |
| 07:18:40 | × | CrunchyFlakes quits (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (*.net *.split) |
| 07:18:40 | × | mhatta quits (~mhatta@www21123ui.sakura.ne.jp) (*.net *.split) |
| 07:18:40 | × | zzz quits (~z@user/zero) (*.net *.split) |
| 07:18:40 | × | kronicmage quits (~kronicmag@neotame.csclub.uwaterloo.ca) (*.net *.split) |
| 07:18:40 | × | tv quits (~tv@user/tv) (*.net *.split) |
| 07:18:40 | × | Leary quits (~Leary@user/Leary/x-0910699) (*.net *.split) |
| 07:18:40 | × | Typedfern quits (~Typedfern@247.red-83-37-42.dynamicip.rima-tde.net) (*.net *.split) |
| 07:18:40 | × | gawen quits (~gawen@user/gawen) (*.net *.split) |
| 07:18:40 | × | pierrot quits (~pi@user/pierrot) (*.net *.split) |
| 07:18:40 | × | APic quits (apic@apic.name) (*.net *.split) |
| 07:18:40 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (*.net *.split) |
| 07:18:40 | × | toch quits (~toch@user/toch) (*.net *.split) |
| 07:18:40 | × | Arsen quits (arsen@gentoo/developer/managarm.dev.Arsen) (*.net *.split) |
| 07:18:40 | × | Festive quits (A_D@libera/staff/dragon) (*.net *.split) |
| 07:18:40 | × | loonycyborg quits (loonycybor@wesnoth/developer/loonycyborg) (*.net *.split) |
| 07:18:40 | × | RMSBach quits (~guygastin@137.184.131.156) (*.net *.split) |
| 07:18:40 | × | dminuoso quits (~weechat@user/dminuoso) (*.net *.split) |
| 07:18:40 | × | sand-witch quits (~m-mzmz6l@vmi833741.contaboserver.net) (*.net *.split) |
| 07:18:40 | × | Eoco quits (~ian@128.101.131.218) (*.net *.split) |
| 07:18:40 | × | esph quits (~weechat@user/esph) (*.net *.split) |
| 07:18:40 | × | sshine quits (~simon@gordian.systems) (*.net *.split) |
| 07:18:40 | × | down200 quits (~down200@shell.lug.mtu.edu) (*.net *.split) |
| 07:18:40 | × | catties quits (~catties@user/meow/catties) (*.net *.split) |
| 07:18:40 | × | byorgey quits (~byorgey@user/byorgey) (*.net *.split) |
| 07:18:40 | × | constxd quits (~constxd@user/constxd) (*.net *.split) |
| 07:18:40 | × | mzg quits (~mzg@abusers.hu) (*.net *.split) |
| 07:18:40 | × | Vq quits (~vq@81-226-38-201-no600.tbcn.telia.com) (*.net *.split) |
| 07:18:40 | × | juri_ quits (~juri@implicitcad.org) (*.net *.split) |
| 07:18:40 | × | zenmov quits (~zenmov@user/zenmov) (*.net *.split) |
| 07:18:40 | × | biberu quits (~biberu@user/biberu) (*.net *.split) |
| 07:18:40 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (*.net *.split) |
| 07:18:40 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (*.net *.split) |
| 07:18:40 | × | sus0 quits (zero@user/zeromomentum) (*.net *.split) |
| 07:18:40 | × | philopsos quits (~caecilius@user/philopsos) (*.net *.split) |
| 07:18:40 | × | tessier quits (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (*.net *.split) |
| 07:18:40 | × | Maxdamantus quits (~Maxdamant@user/maxdamantus) (*.net *.split) |
| 07:18:40 | × | malte quits (~malte@mal.tc) (*.net *.split) |
| 07:18:40 | × | krjst quits (~krjst@2604:a880:800:c1::16b:8001) (*.net *.split) |
| 07:18:40 | × | andreas303 quits (andreas303@is.drunk.and.ready-to.party) (*.net *.split) |
| 07:18:40 | × | ThePenguin quits (~ThePengui@cust-95-80-24-166.csbnet.se) (*.net *.split) |
| 07:18:40 | × | pie_ quits (~pie_bnc@user/pie/x-2818909) (*.net *.split) |
| 07:18:40 | × | vgtw quits (~vgtw@user/vgtw) (*.net *.split) |
| 07:18:40 | × | nurupo quits (~nurupo.ga@user/nurupo) (*.net *.split) |
| 07:18:40 | × | NiKaN quits (sid385034@id-385034.helmsley.irccloud.com) (*.net *.split) |
| 07:18:40 | × | Athas quits (athas@sigkill.dk) (*.net *.split) |
| 07:18:40 | × | Angelz quits (Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) (*.net *.split) |
| 07:18:40 | × | mikko quits (~mikko@user/mikko) (*.net *.split) |
| 07:18:40 | × | dfg quits (~dfg@user/dfg) (*.net *.split) |
| 07:18:40 | × | Kamuela quits (sid111576@id-111576.tinside.irccloud.com) (*.net *.split) |
| 07:18:40 | × | glider quits (glider@user/glider) (*.net *.split) |
| 07:18:40 | × | Putonlalla quits (~Putonlall@it-cyan.it.jyu.fi) (*.net *.split) |
| 07:18:40 | × | fr33domlover quits (~fr33domlo@towards.vision) (*.net *.split) |
| 07:18:40 | × | tomku quits (~tomku@user/tomku) (*.net *.split) |
| 07:18:40 | × | bramh quits (~bramh@user/bramh) (*.net *.split) |
| 07:18:40 | × | spew quits (~spew@135.233.119.40) (*.net *.split) |
| 07:18:40 | × | bionade24 quits (~quassel@2a03:4000:33:45b::1) (*.net *.split) |
| 07:18:40 | × | Katarushisu quits (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (*.net *.split) |
| 07:18:40 | × | doyougnu quits (~doyougnu@syn-045-046-170-068.res.spectrum.com) (*.net *.split) |
| 07:18:40 | × | skylord5816 quits (~skylord58@user/skylord5816) (*.net *.split) |
| 07:18:40 | × | polux quits (~polux@51-15-169-172.rev.poneytelecom.eu) (*.net *.split) |
| 07:18:40 | × | myme quits (~myme@40.51-175-185.customer.lyse.net) (*.net *.split) |
| 07:18:40 | × | WzC quits (~Frank@77-162-168-71.fixed.kpn.net) (*.net *.split) |
| 07:18:40 | × | ames quits (~amelia@offtopia/offtopian/amelia) (*.net *.split) |
| 07:18:40 | × | Philonous quits (~Philonous@user/philonous) (*.net *.split) |
| 07:18:40 | × | stefan-__ quits (~m-yh2rcc@42dots.de) (*.net *.split) |
| 07:18:40 | × | tdammers quits (~tdammers@110-136-178-143.ftth.glasoperator.nl) (*.net *.split) |
| 07:18:40 | × | pavonia quits (~user@user/siracusa) (*.net *.split) |
| 07:18:40 | × | smalltalkman quits (uid545680@id-545680.hampstead.irccloud.com) (*.net *.split) |
| 07:18:40 | × | cbarrett quits (uid192934@id-192934.helmsley.irccloud.com) (*.net *.split) |
| 07:18:40 | × | cyphase quits (~cyphase@user/cyphase) (*.net *.split) |
| 07:18:40 | × | hellwolf quits (~user@6af3-8a03-f6ad-0507-0f00-4d40-07d0-2001.sta.estpak.ee) (*.net *.split) |
| 07:18:40 | × | Pozyomka quits (~pyon@user/pyon) (*.net *.split) |
| 07:18:40 | × | mulk quits (~mulk@p5b11254a.dip0.t-ipconnect.de) (*.net *.split) |
| 07:18:40 | × | tt12310978324354 quits (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (*.net *.split) |
| 07:18:40 | × | piele quits (~piele@tbonesteak.creativeserver.net) (*.net *.split) |
| 07:18:41 | × | tmr quits (~tamer@5.2.74.82) (*.net *.split) |
| 07:18:41 | × | emergence quits (emergence@vm0.max-p.me) (*.net *.split) |
| 07:18:41 | × | meejah quits (~meejah@rutas.meejah.ca) (*.net *.split) |
| 07:18:41 | × | Clint quits (~Clint@user/clint) (*.net *.split) |
| 07:18:41 | × | Fijxu quits (~Fijxu@user/fijxu) (*.net *.split) |
| 07:18:41 | × | Buliarous quits (~gypsydang@46.232.210.139) (*.net *.split) |
| 07:18:41 | × | V quits (~v@ircpuzzles/2022/april/winner/V) (*.net *.split) |
| 07:18:41 | × | rncwnd quits (~quassel@2a01:4f8:221:27c6::1) (*.net *.split) |
| 07:18:41 | × | sudden quits (~cat@user/sudden) (*.net *.split) |
| 07:18:41 | × | petrichor quits (~znc-user@user/petrichor) (*.net *.split) |
| 07:18:41 | × | Logio quits (em@kapsi.fi) (*.net *.split) |
| 07:18:41 | × | statusbot quits (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (*.net *.split) |
| 07:18:41 | × | fernando-basso quits (~fernando-@2a01:4f9:c012:63d3::1) (*.net *.split) |
| 07:18:41 | × | n3t quits (~n3t@user/n3t) (*.net *.split) |
| 07:18:41 | × | sympt quits (~sympt@user/sympt) (*.net *.split) |
| 07:18:41 | × | Teacup quits (~teacup@user/teacup) (*.net *.split) |
| 07:18:41 | × | cross quits (~cross@spitfire.i.gajendra.net) (*.net *.split) |
| 07:18:41 | × | igemnace quits (~igemnace@user/igemnace) (*.net *.split) |
| 07:18:41 | × | kaskal quits (~kaskal@84-115-237-124.cable.dynamic.surfer.at) (*.net *.split) |
| 07:18:41 | × | pointlessslippe1 quits (~pointless@62.106.85.17) (*.net *.split) |
| 07:18:41 | × | cjay quits (cjay@nerdbox.nerd2nerd.org) (*.net *.split) |
| 07:18:41 | × | landonf quits (landonf@mac68k.info) (*.net *.split) |
| 07:18:41 | × | rubin55 quits (sid666177@id-666177.lymington.irccloud.com) (*.net *.split) |
| 07:18:41 | × | [exa] quits (~exa@user/exa/x-3587197) (*.net *.split) |
| 07:18:41 | × | nshepperd quits (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (*.net *.split) |
| 07:18:41 | × | PotatoGim quits (sid99505@id-99505.lymington.irccloud.com) (*.net *.split) |
| 07:18:41 | × | tapas quits (sid467876@id-467876.ilkley.irccloud.com) (*.net *.split) |
| 07:18:41 | × | JSharp quits (sid4580@user/JSharp) (*.net *.split) |
| 07:18:41 | × | jonrh quits (sid5185@id-5185.ilkley.irccloud.com) (*.net *.split) |
| 07:18:41 | × | barrucadu quits (~barrucadu@carcosa.barrucadu.co.uk) (*.net *.split) |
| 07:18:41 | × | bollu quits (~bollu@159.65.151.13) (*.net *.split) |
| 07:18:41 | × | davean quits (~davean@davean.sciesnet.net) (*.net *.split) |
| 07:18:41 | × | h2t quits (~h2t@user/h2t) (*.net *.split) |
| 07:18:41 | × | tomjagua1paw quits (~tom@172-104-25-182.ip.linodeusercontent.com) (*.net *.split) |
| 07:18:41 | × | gmc quits (sid58314@id-58314.ilkley.irccloud.com) (*.net *.split) |
| 07:18:41 | × | PHO` quits (~pho@akari.cielonegro.org) (*.net *.split) |
| 07:18:41 | × | darkling quits (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) (*.net *.split) |
| 07:18:41 | × | alp quits (~alp@2001:861:8ca0:4940:762c:2982:98c1:d2e7) (*.net *.split) |
| 07:18:41 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (*.net *.split) |
| 07:18:41 | × | arthurvl quits (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (*.net *.split) |
| 07:18:41 | × | haetsal quits (~quassel@221.138.168.192) (*.net *.split) |
| 07:18:41 | × | ByronJohnson quits (~bairyn@50.250.232.19) (*.net *.split) |
| 07:18:41 | × | caubert quits (~caubert@user/caubert) (*.net *.split) |
| 07:18:41 | × | pounce quits (~pounce@user/cute/pounce) (*.net *.split) |
| 07:18:41 | × | Vajb quits (~Vajb@n84e9ei03jkqt6rm3ev-1.v6.elisa-mobile.fi) (*.net *.split) |
| 07:18:41 | × | comonad quits (~comonad@p200300d0270bcb00d2bd35ff80c069c9.dip0.t-ipconnect.de) (*.net *.split) |
| 07:18:41 | × | ouroboros quits (~ouroboros@user/ouroboros) (*.net *.split) |
| 07:18:41 | × | peutri quits (~peutri@bobo.desast.re) (*.net *.split) |
| 07:18:41 | × | ringo_ quits (~ringo@157.230.117.128) (*.net *.split) |
| 07:18:41 | × | flocks quits (~flocks@134.122.90.60) (*.net *.split) |
| 07:18:41 | × | coldtom quits (~coldtom@coldrick.cc) (*.net *.split) |
| 07:18:41 | × | sm quits (~znc@plaintextaccounting/sm) (*.net *.split) |
| 07:18:41 | × | Fangs quits (sid141280@id-141280.hampstead.irccloud.com) (*.net *.split) |
| 07:18:41 | × | crazazy quits (~crazazy@tilde.town) (*.net *.split) |
| 07:18:41 | × | nisstyre quits (wes@user/nisstyre) (*.net *.split) |
| 07:18:41 | × | edwtjo quits (~edwtjo@fsf/member/edwtjo) (*.net *.split) |
| 07:18:41 | × | saolsen quits (sid26430@id-26430.lymington.irccloud.com) (*.net *.split) |
| 07:18:41 | × | acro quits (~acro@user/acro) (*.net *.split) |
| 07:18:41 | × | teesquare_ quits (~teesquare@user/teesquare) (*.net *.split) |
| 07:18:41 | × | liskin quits (~liskin@xmonad/liskin) (*.net *.split) |
| 07:18:41 | × | bgamari quits (~bgamari@64.223.233.64) (*.net *.split) |
| 07:18:41 | × | beaky quits (~beaky@198.211.118.219) (*.net *.split) |
| 07:18:41 | × | ncf quits (~n@monade.li) (*.net *.split) |
| 07:18:41 | × | talismanick quits (~user@2601:644:937c:ed10::ae5) (*.net *.split) |
| 07:18:41 | × | Batzy quits (~quassel@user/batzy) (*.net *.split) |
| 07:18:41 | × | yaroot quits (~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) (*.net *.split) |
| 07:18:41 | × | tjbc quits (~tjbc@user/fliife) (*.net *.split) |
| 07:18:41 | × | kadobanana quits (~mud@user/kadoban) (*.net *.split) |
| 07:18:41 | × | meinside quits (uid24933@id-24933.helmsley.irccloud.com) (*.net *.split) |
| 07:18:41 | × | aku quits (aku@65.108.245.241) (*.net *.split) |
| 07:18:41 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (*.net *.split) |
| 07:18:41 | × | driib318 quits (~driib@vmi931078.contaboserver.net) (*.net *.split) |
| 07:18:41 | × | cheater quits (~Username@user/cheater) (*.net *.split) |
| 07:18:41 | × | vulpine quits (xfnw@user/meow/xfnw) (*.net *.split) |
| 07:18:41 | × | masterbuilder quits (~quassel@user/masterbuilder) (*.net *.split) |
| 07:18:41 | × | ethantwardy quits (user@user/ethantwardy) (*.net *.split) |
| 07:18:41 | × | _xor quits (~xor@ip-66-42-132-175.dynamic.fuse.net) (*.net *.split) |
| 07:18:41 | × | remedan quits (~remedan@ip-62-245-108-153.bb.vodafone.cz) (*.net *.split) |
| 07:18:41 | × | hammond quits (proscan@gateway04.insomnia247.nl) (*.net *.split) |
| 07:18:41 | × | Sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (*.net *.split) |
| 07:18:41 | × | FragByte quits (~christian@user/fragbyte) (*.net *.split) |
| 07:18:41 | × | dyniec quits (~dyniec@dybiec.info) (*.net *.split) |
| 07:18:41 | × | urdh quits (~urdh@user/urdh) (*.net *.split) |
| 07:18:41 | × | infinity0 quits (~infinity0@pwned.gg) (*.net *.split) |
| 07:18:41 | × | xacktm quits (xacktm@user/xacktm) (*.net *.split) |
| 07:18:41 | × | tired- quits (~tired@user/tired) (*.net *.split) |
| 07:18:41 | × | bastelfreak quits (bastelfrea@libera/staff/VoxPupuli.bastelfreak) (*.net *.split) |
| 07:18:41 | × | astroanax quits (~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7) (*.net *.split) |
| 07:18:41 | × | welterde1 quits (~welterde@thinkbase.srv.welterde.de) (*.net *.split) |
| 07:18:41 | × | int-e quits (~noone@int-e.eu) (*.net *.split) |
| 07:18:41 | × | noctuks quits (d4toxF5wNA@user/noctux) (*.net *.split) |
| 07:18:41 | × | tomsmeding quits (~tomsmedin@2a01:4f8:c0c:5e5e::2) (*.net *.split) |
| 07:18:41 | × | lyxia quits (~lyxia@poisson.chat) (*.net *.split) |
| 07:18:41 | × | stilgart quits (~Christoph@chezlefab.net) (*.net *.split) |
| 07:18:42 | × | lieven quits (~mal@ns2.wyrd.be) (*.net *.split) |
| 07:18:42 | × | mima quits (~mmh@user/mima) (*.net *.split) |
| 07:18:42 | × | drlkf quits (~drlkf@chat-1.drlkf.net) (*.net *.split) |
| 07:18:42 | × | edm quits (sid147314@id-147314.hampstead.irccloud.com) (*.net *.split) |
| 07:18:42 | × | siers quits (~ij@user/ij) (*.net *.split) |
| 07:18:42 | × | SrPx quits (sid108780@id-108780.uxbridge.irccloud.com) (*.net *.split) |
| 07:18:42 | × | hamishmack quits (sid389057@id-389057.hampstead.irccloud.com) (*.net *.split) |
| 07:18:42 | × | DragonMaus quits (~dragonmau@user/dragonmaus) (*.net *.split) |
| 07:18:42 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (*.net *.split) |
| 07:18:42 | × | aforemny_ quits (~aforemny@2001:9e8:6cd1:7b00:688b:324:5065:e57a) (*.net *.split) |
| 07:18:42 | × | anpad quits (~pandeyan@user/anpad) (*.net *.split) |
| 07:18:42 | × | haritz quits (~hrtz@user/haritz) (*.net *.split) |
| 07:18:42 | × | acarrico quits (~acarrico@dhcp-209-99-192-63.greenmountainaccess.net) (*.net *.split) |
| 07:18:42 | × | olivial quits (~benjaminl@user/benjaminl) (*.net *.split) |
| 07:18:42 | × | bw quits (sid2730@user/betawaffle) (*.net *.split) |
| 07:18:42 | × | tnks quits (sid412124@id-412124.helmsley.irccloud.com) (*.net *.split) |
| 07:18:42 | × | buhman quits (sid411355@user/buhman) (*.net *.split) |
| 07:18:42 | × | Boarders_____ quits (sid425905@id-425905.lymington.irccloud.com) (*.net *.split) |
| 07:18:42 | × | ShannonB quits (~ShannonB@user/ShannonB) (*.net *.split) |
| 07:18:42 | × | mauke quits (~mauke@user/mauke) (*.net *.split) |
| 07:18:42 | × | dtman34 quits (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) (*.net *.split) |
| 07:18:42 | × | koz quits (~koz@121.99.240.58) (*.net *.split) |
| 07:18:42 | × | tinjamin4 quits (~tinjamin@banshee.h4x0r.space) (*.net *.split) |
| 07:18:42 | × | bsima quits (~bsima@143.198.118.179) (*.net *.split) |
| 07:18:42 | × | tureba quits (~tureba@tureba.org) (*.net *.split) |
| 07:18:42 | × | Ram-Z_ quits (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) (*.net *.split) |
| 07:18:42 | × | Me-me quits (~me-me@user/me-me) (*.net *.split) |
| 07:18:42 | × | iteratee quits (~kyle@162.218.222.207) (*.net *.split) |
| 07:18:42 | × | unlucy quits (sid572875@user/unlucy) (*.net *.split) |
| 07:18:42 | × | noteness_ quits (~noteness@user/noteness) (*.net *.split) |
| 07:18:42 | × | kqr quits (~kqr@static.143.81.108.65.clients.your-server.de) (*.net *.split) |
| 07:18:42 | × | lambdabot quits (~lambdabot@haskell/bot/lambdabot) (*.net *.split) |
| 07:18:42 | × | Igloo quits (~ian@81.2.99.210) (*.net *.split) |
| 07:18:42 | × | jove quits (~quassel@user/jove) (*.net *.split) |
| 07:18:42 | × | kaol quits (~kaol@94-237-45-144.nl-ams1.upcloud.host) (*.net *.split) |
| 07:18:42 | × | xstill_ quits (xstill@fimu/xstill) (*.net *.split) |
| 07:18:42 | × | sajith quits (~sajith@user/sajith) (*.net *.split) |
| 07:18:42 | × | CalimeroTeknik quits (~calimero@user/calimeroteknik) (*.net *.split) |
| 07:18:42 | × | exarkun quits (~exarkun@user/exarkun) (*.net *.split) |
| 07:18:42 | × | p3n quits (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (*.net *.split) |
| 07:18:42 | × | robobub quits (uid248673@id-248673.uxbridge.irccloud.com) (*.net *.split) |
| 07:18:42 | × | SanchayanMaity quits (sid478177@id-478177.hampstead.irccloud.com) (*.net *.split) |
| 07:18:42 | × | joeyh_ quits (~joeyh@kitenet.net) (*.net *.split) |
| 07:18:42 | × | delyan_ quits (sid523379@id-523379.hampstead.irccloud.com) (*.net *.split) |
| 07:18:42 | × | hovsater quits (sid499516@user/hovsater) (*.net *.split) |
| 07:18:42 | × | degraafk quits (sid71464@id-71464.lymington.irccloud.com) (*.net *.split) |
| 07:18:42 | × | edwardk quits (sid47016@haskell/developer/edwardk) (*.net *.split) |
| 07:18:42 | × | duncan quits (c6181279e3@user/meow/duncan) (*.net *.split) |
| 07:18:42 | × | fvr quits (ef3e56ca8b@2a03:6000:1812:100::3c4) (*.net *.split) |
| 07:18:42 | × | ursa-major quits (114efe6c39@2a03:6000:1812:100::11f3) (*.net *.split) |
| 07:18:42 | × | cpli quits (77fc530071@2a03:6000:1812:100::252) (*.net *.split) |
| 07:18:42 | × | samhh quits (7569f027cf@2a03:6000:1812:100::e4) (*.net *.split) |
| 07:18:42 | × | sus quits (1b7af6299f@user/zeromomentum) (*.net *.split) |
| 07:18:42 | × | aniketd quits (32aa4844cd@2a03:6000:1812:100::dcb) (*.net *.split) |
| 07:18:42 | × | shreyasminocha quits (51fdc93eda@user/shreyasminocha) (*.net *.split) |
| 07:18:42 | × | whereiseveryone quits (206ba86c98@2a03:6000:1812:100::2e4) (*.net *.split) |
| 07:18:42 | × | jakzale quits (6291399afa@user/jakzale) (*.net *.split) |
| 07:18:42 | × | arcadewise quits (52968ed80d@2a03:6000:1812:100::3df) (*.net *.split) |
| 07:18:42 | × | probie quits (cc0b34050a@user/probie) (*.net *.split) |
| 07:18:42 | × | evanrelf quits (3addc196af@2a03:6000:1812:100::f0) (*.net *.split) |
| 07:18:42 | × | ggb quits (a62ffbaf4f@2a03:6000:1812:100::3ac) (*.net *.split) |
| 07:18:42 | × | red-snail quits (~snail@static.151.210.203.116.clients.your-server.de) (*.net *.split) |
| 07:18:42 | × | kritzefitz quits (~kritzefit@debian/kritzefitz) (*.net *.split) |
| 07:18:42 | × | remmie quits (ianremsen@tilde.team) (*.net *.split) |
| 07:18:42 | × | shane quits (~shane@ana.rch.ist) (*.net *.split) |
| 07:18:42 | × | chymera quits (~chymera@ns1000526.ip-51-81-46.us) (*.net *.split) |
| 07:18:42 | × | adamCS quits (~adamCS@71.167.235.212) (*.net *.split) |
| 07:18:42 | × | apache quits (apache2@anubis.0x90.dk) (*.net *.split) |
| 07:18:42 | × | artu quits (~artu@li90-184.members.linode.com) (*.net *.split) |
| 07:18:42 | × | markasoftware quits (~quassel@107.161.26.124) (*.net *.split) |
| 07:18:42 | × | taktoa[c] quits (sid282096@id-282096.tinside.irccloud.com) (*.net *.split) |
| 07:18:42 | × | sweater1 quits (~sweater@206.81.18.26) (*.net *.split) |
| 07:18:42 | × | _0xa_ quits (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) (*.net *.split) |
| 07:18:42 | × | deriamis quits (nobody@2600:3c0a::f03c:95ff:fee8:f335) (*.net *.split) |
| 07:18:42 | × | mustafa quits (sid502723@rockylinux/releng/mustafa) (*.net *.split) |
| 07:18:42 | × | xelxebar quits (~xelxebar@wilsonb.com) (*.net *.split) |
| 07:18:42 | × | tokie quits (~tokie@user/strtok) (*.net *.split) |
| 07:18:42 | × | xnbya2 quits (~xnbya@2a01:4f8:c17:cbdd::1) (*.net *.split) |
| 07:18:42 | × | edmundnoble_ quits (sid229620@id-229620.helmsley.irccloud.com) (*.net *.split) |
| 07:18:42 | × | lally quits (sid388228@id-388228.uxbridge.irccloud.com) (*.net *.split) |
| 07:18:42 | × | Jon quits (jon@dow.land) (*.net *.split) |
| 07:18:42 | × | codedmart quits (codedmart@2600:3c01::f03c:92ff:fefe:8511) (*.net *.split) |
| 07:18:42 | × | gaze__ quits (sid387101@id-387101.helmsley.irccloud.com) (*.net *.split) |
| 07:18:42 | × | bradparker quits (sid262931@id-262931.uxbridge.irccloud.com) (*.net *.split) |
| 07:18:42 | × | aspen quits (sid449115@id-449115.helmsley.irccloud.com) (*.net *.split) |
| 07:18:42 | × | dfordvm quits (~dfordivam@160.16.87.223.v6.sakura.ne.jp) (*.net *.split) |
| 07:18:42 | × | notzmv quits (~umar@user/notzmv) (*.net *.split) |
| 07:18:42 | × | jle` quits (~jle`@2603:8001:3b02:84d4:e41f:4372:1938:6590) (*.net *.split) |
| 07:18:42 | × | gentauro quits (~gentauro@user/gentauro) (*.net *.split) |
| 07:18:42 | × | abrar quits (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) (*.net *.split) |
| 07:18:42 | × | lbseale quits (~quassel@user/ep1ctetus) (*.net *.split) |
| 07:18:42 | × | astra quits (sid289983@id-289983.hampstead.irccloud.com) (*.net *.split) |
| 07:18:42 | × | arkeet quits (~arkeet@moriya.ca) (*.net *.split) |
| 07:18:42 | × | Ekho- quits (~Ekho@user/ekho) (*.net *.split) |
| 07:18:42 | × | Adeon quits (sid418992@id-418992.lymington.irccloud.com) (*.net *.split) |
| 07:18:42 | × | b20n quits (sid115913@id-115913.uxbridge.irccloud.com) (*.net *.split) |
| 07:18:42 | × | dy quits (sid3438@user/dy) (*.net *.split) |
| 07:18:42 | × | jackdk quits (sid373013@cssa/jackdk) (*.net *.split) |
| 07:18:42 | × | monochrom quits (trebla@216.138.220.146) (*.net *.split) |
| 07:18:43 | × | arahael quits (~arahael@user/arahael) (*.net *.split) |
| 07:18:43 | × | chaitlatte0 quits (ea29c0bb16@user/chaitlatte0) (*.net *.split) |
| 07:18:43 | × | JoelMcCracken quits (5ea8252fbb@2a03:6000:1812:100::10e3) (*.net *.split) |
| 07:18:43 | × | akspecs quits (00cc8321af@sourcehut/user/akspecs) (*.net *.split) |
| 07:18:43 | × | lucyy quits (228ee8f0ce@user/lucyy) (*.net *.split) |
| 07:18:43 | × | jmcantrell quits (644f1bed9a@user/jmcantrell) (*.net *.split) |
| 07:18:43 | × | henrytill quits (e0180937c3@2a03:6000:1812:100::e8c) (*.net *.split) |
| 07:18:43 | × | eso quits (a0662dfd5e@2a03:6000:1812:100::1266) (*.net *.split) |
| 07:18:43 | × | ymherklotz quits (cb2c9cfbdd@2a03:6000:1812:100::29a) (*.net *.split) |
| 07:18:43 | × | bwolf quits (c3bc363dd1@2a03:6000:1812:100::180) (*.net *.split) |
| 07:18:43 | × | jkoshy quits (99b9359beb@user/jkoshy) (*.net *.split) |
| 07:18:43 | × | jleightcap quits (7bc4014b62@user/jleightcap) (*.net *.split) |
| 07:18:43 | × | pmk quits (6afe4476a1@2a03:6000:1812:100::26d) (*.net *.split) |
| 07:18:43 | × | lane quits (809450f172@2a03:6000:1812:100::1300) (*.net *.split) |
| 07:18:43 | × | lukec quits (9dfd4d094e@2a03:6000:1812:100::10e) (*.net *.split) |
| 07:18:43 | × | reidrac quits (~reidrac@user/reidrac) (*.net *.split) |
| 07:18:43 | × | lockywolf quits (~lockywolf@coconut.lockywolf.net) (*.net *.split) |
| 07:18:43 | × | GoldsteinQ quits (~goldstein@goldstein.rs) (*.net *.split) |
| 07:18:43 | × | robertm quits (robertm@lattice.rojoma.com) (*.net *.split) |
| 07:18:43 | × | danso quits (~danso@user/danso) (*.net *.split) |
| 07:18:43 | × | tolt quits (~weechat-h@li219-154.members.linode.com) (*.net *.split) |
| 07:18:43 | × | systemfault quits (sid267009@about/typescript/member/systemfault) (*.net *.split) |
| 07:18:43 | × | shachaf quits (~shachaf@user/shachaf) (*.net *.split) |
| 07:18:43 | × | e-snail quits (~pete@user/e-snail) (*.net *.split) |
| 07:18:43 | × | bjs quits (sid190364@user/bjs) (*.net *.split) |
| 07:18:43 | × | caasih quits (sid13241@id-13241.ilkley.irccloud.com) (*.net *.split) |
| 07:18:43 | × | iphy quits (sid67735@user/iphy) (*.net *.split) |
| 07:18:43 | × | totbwf quits (uid402332@id-402332.uxbridge.irccloud.com) (*.net *.split) |
| 07:18:43 | × | energizer quits (~energizer@user/energizer) (*.net *.split) |
| 07:18:43 | × | nicole quits (ilbelkyr@libera/staff/ilbelkyr) (*.net *.split) |
| 07:18:43 | × | carter quits (sid14827@id-14827.helmsley.irccloud.com) (*.net *.split) |
| 07:18:43 | × | lisq quits (~quassel@lis.moe) (*.net *.split) |
| 07:18:43 | × | xnyhps quits (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) (*.net *.split) |
| 07:18:43 | × | it_ quits (~quassel@v2202212189510211193.supersrv.de) (*.net *.split) |
| 07:18:43 | × | stefan-_ quits (~cri@42dots.de) (*.net *.split) |
| 07:18:43 | × | homo quits (~homo@user/homo) (*.net *.split) |
| 07:18:43 | × | barthandelous01 quits (barth@triton.blinkenshell.org) (*.net *.split) |
| 07:18:43 | × | rdcdr quits (~rdcdr@user/rdcdr) (*.net *.split) |
| 07:18:43 | × | rachelambda quits (~rachelamb@cust-95-80-25-71.csbnet.se) (*.net *.split) |
| 07:18:43 | × | wz1000 quits (~zubin@static.11.113.47.78.clients.your-server.de) (*.net *.split) |
| 07:18:43 | × | finsternis quits (~X@23.226.237.192) (*.net *.split) |
| 07:18:43 | × | Miroboru quits (~myrvoll@178-164-114.82.3p.ntebredband.no) (*.net *.split) |
| 07:18:43 | × | samhh_ quits (7569f027cf@2a03:6000:1812:100::e4) (*.net *.split) |
| 07:18:43 | × | b0o quits (0e4a0bf4c9@2a03:6000:1812:100::1bf) (*.net *.split) |
| 07:18:43 | × | sm2n quits (ae95cb1267@user/sm2n) (*.net *.split) |
| 07:18:43 | × | titibandit quits (e33ffbab65@user/titibandit) (*.net *.split) |
| 07:18:43 | × | raghavgururajan quits (ea769b8000@user/raghavgururajan) (*.net *.split) |
| 07:18:43 | × | rselim quits (ce261f06ff@user/milesrout) (*.net *.split) |
| 07:18:43 | × | Ankhers quits (e99e97ef8e@2a03:6000:1812:100::2a2) (*.net *.split) |
| 07:18:43 | × | fn_lumi quits (3d621153a5@2a03:6000:1812:100::df7) (*.net *.split) |
| 07:18:43 | × | fgaz quits (1ff9197ed6@2a03:6000:1812:100::11ea) (*.net *.split) |
| 07:18:43 | × | RussetParrotBear quits (45ce440a48@2a03:6000:1812:100::e2) (*.net *.split) |
| 07:18:43 | × | filwisher quits (2e6936c793@2a03:6000:1812:100::170) (*.net *.split) |
| 07:18:43 | × | bsima1 quits (9d7e39c8ad@2a03:6000:1812:100::dd) (*.net *.split) |
| 07:18:43 | × | smiesner quits (b0cf5acf8c@user/smiesner) (*.net *.split) |
| 07:18:43 | × | hacklschorsch quits (~flo@2a01:4f9:3a:2296::2) (*.net *.split) |
| 07:18:43 | × | Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (*.net *.split) |
| 07:18:43 | × | yushyin quits (aC7s4hKZiM@mail.karif.server-speed.net) (*.net *.split) |
| 07:18:43 | × | s4msung quits (YSkIhMhdIR@user/s4msung) (*.net *.split) |
| 07:18:43 | × | Patternmaster quits (~georg@user/Patternmaster) (*.net *.split) |
| 07:18:43 | × | AWizzArd quits (~code@user/awizzard) (*.net *.split) |
| 07:18:43 | × | TimWolla quits (~timwolla@2a01:4f8:150:6153:beef::6667) (*.net *.split) |
| 07:18:43 | × | swistak quits (~swistak@185.21.216.141) (*.net *.split) |
| 07:18:43 | × | mewra quits (~aranea@wireguard/contributorcat/mira) (*.net *.split) |
| 07:18:43 | × | Rembane quits (~Rembane@user/Rembane) (*.net *.split) |
| 07:18:43 | × | NemesisD quits (sid24071@id-24071.lymington.irccloud.com) (*.net *.split) |
| 07:18:43 | × | Hecate quits (~mariposa@user/hecate) (*.net *.split) |
| 07:18:43 | × | mniip_ quits (mniip@libera/staff/mniip) (*.net *.split) |
| 07:18:43 | × | youthlic quits (~Thunderbi@user/youthlic) (*.net *.split) |
| 07:18:43 | × | Flow quits (~none@gentoo/developer/flow) (*.net *.split) |
| 07:18:43 | × | AlexZenon quits (~alzenon@5.139.233.0) (*.net *.split) |
| 07:18:43 | × | drdo quits (~drdo@bl9-110-63.dsl.telepac.pt) (*.net *.split) |
| 07:18:43 | × | terrorjack4 quits (~terrorjac@2a01:4f8:c17:dc9f::) (*.net *.split) |
| 07:18:43 | × | mrmr155334346318 quits (~mrmr@user/mrmr) (*.net *.split) |
| 07:18:43 | × | Ranhir quits (~Ranhir@157.97.53.139) (*.net *.split) |
| 07:18:43 | × | op_4 quits (~tslil@user/op-4/x-9116473) (*.net *.split) |
| 07:18:43 | × | img quits (~img@user/img) (*.net *.split) |
| 07:18:43 | × | picnoir quits (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (*.net *.split) |
| 07:18:43 | × | typedfern_ quits (~Typedfern@83.37.42.247) (*.net *.split) |
| 07:18:43 | × | dolio quits (~dolio@130.44.140.168) (*.net *.split) |
| 07:18:43 | × | koolazer quits (~koo@user/koolazer) (*.net *.split) |
| 07:18:43 | × | tuxpaint quits (~a@put.gay) (*.net *.split) |
| 07:18:43 | × | Yumemi quits (~Yumemi@chamoin.net) (*.net *.split) |
| 07:18:43 | × | nek0 quits (~nek0@user/nek0) (*.net *.split) |
| 07:18:43 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (*.net *.split) |
| 07:18:43 | × | zlqrvx quits (~zlqrvx@user/zlqrvx) (*.net *.split) |
| 07:18:43 | × | ent quits (entgod@kapsi.fi) (*.net *.split) |
| 07:18:43 | × | inedia quits (~irc@2600:3c00:e000:287::1) (*.net *.split) |
| 07:18:44 | × | sefidel quits (~sefidel@user/sefidel) (*.net *.split) |
| 07:18:44 | × | YuutaW quits (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (*.net *.split) |
| 07:18:44 | × | YoungFrog quits (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (*.net *.split) |
| 07:18:44 | × | xdej quits (~xdej@quatramaran.salle-s.org) (*.net *.split) |
| 07:18:44 | × | carbolymer quits (~carbolyme@dropacid.net) (*.net *.split) |
| 07:18:44 | × | tritlo quits (sid58727@id-58727.hampstead.irccloud.com) (*.net *.split) |
| 07:18:44 | × | snek quits (sid280155@id-280155.lymington.irccloud.com) (*.net *.split) |
| 07:18:44 | × | wryish quits (~wryish@216.246.119.62) (*.net *.split) |
| 07:18:44 | × | migas977 quits (~migas@static.140.65.63.178.clients.your-server.de) (*.net *.split) |
| 07:18:44 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (*.net *.split) |
| 07:18:44 | × | haveo quits (~weechat@pacamara.iuwt.fr) (*.net *.split) |
| 07:18:44 | × | yahb2 quits (~yahb2@user/tomsmeding/bot/yahb2) (*.net *.split) |
| 07:18:44 | × | cayley5 quits (~cayley5@user/phileasfogg) (*.net *.split) |
| 07:18:44 | × | df quits (~ben@justworks.xyz) (*.net *.split) |
| 07:18:44 | × | korrykatti quits (~korrykatt@user/korrykatti) (*.net *.split) |
| 07:18:44 | × | hook54321 quits (sid149355@user/hook54321) (*.net *.split) |
| 07:18:44 | × | manwithluck quits (manwithluc@gateway/vpn/protonvpn/manwithluck) (*.net *.split) |
| 07:18:44 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (*.net *.split) |
| 07:18:44 | × | auri quits (~auri@fsf/member/auri) (*.net *.split) |
| 07:18:44 | × | spenat quits (~spenat@c-92-35-37-17.bbcust.telenor.se) (*.net *.split) |
| 07:18:44 | × | pja quits (~pja@2a02:8010:6098:0:e65f:1ff:fe1f:660f) (*.net *.split) |
| 07:18:44 | × | jbalint quits (~jbalint@2600:6c44:117f:e98a:40bb:52ad:62b8:5122) (*.net *.split) |
| 07:18:44 | × | Xe quits (~Xe@perl/impostor/xe) (*.net *.split) |
| 07:18:44 | × | Dykam quits (Dykam@dykam.nl) (*.net *.split) |
| 07:18:44 | × | tomboy64 quits (~tomboy64@user/tomboy64) (*.net *.split) |
| 07:18:44 | × | rini quits (~rini@user/rini) (*.net *.split) |
| 07:18:44 | × | nadja quits (~dequbed@banana-new.kilobyte22.de) (*.net *.split) |
| 07:18:44 | × | farn__ quits (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (*.net *.split) |
| 07:18:44 | × | hughjfchen quits (~hughjfche@vmi556545.contaboserver.net) (*.net *.split) |
| 07:18:44 | × | jess quits (meow@libera/staff/cat/jess) (*.net *.split) |
| 07:18:44 | × | roosterphant_ quits (~roosterph@185.21.217.76) (*.net *.split) |
| 07:18:44 | × | mrmonday quits (~robert@what.i.hope.is.not.a.tabernaevagant.es) (*.net *.split) |
| 07:18:44 | × | orcus quits (~orcus@mail.brprice.uk) (*.net *.split) |
| 07:18:44 | × | nckx quits (nckx@libera/staff/owl/nckx) (*.net *.split) |
| 07:18:44 | × | mrvdb quits (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (*.net *.split) |
| 07:18:44 | × | Moyst__ quits (~moyst@user/moyst) (*.net *.split) |
| 07:18:44 | × | c_wraith quits (~c_wraith@adjoint.us) (*.net *.split) |
| 07:18:44 | × | ggVGc quits (~ggVGc@a.lowtech.earth) (*.net *.split) |
| 07:18:44 | × | ChanServ quits (ChanServ@services.libera.chat) (*.net *.split) |
| 07:18:44 | × | gorignak quits (~gorignak@user/gorignak) (*.net *.split) |
| 07:18:44 | × | dostoyevsky2 quits (~sck@user/dostoyevsky2) (*.net *.split) |
| 07:18:44 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (*.net *.split) |
| 07:18:44 | × | ft quits (~ft@p508db9c7.dip0.t-ipconnect.de) (*.net *.split) |
| 07:18:44 | × | turlando quits (~turlando@user/turlando) (*.net *.split) |
| 07:18:44 | × | MironZ3 quits (~MironZ@nat-infra.ehlab.uk) (*.net *.split) |
| 07:18:44 | × | zfnmxt quits (~zfnmxt@user/zfnmxt) (*.net *.split) |
| 07:18:44 | × | Pixi quits (~Pixi@user/pixi) (*.net *.split) |
| 07:18:44 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (*.net *.split) |
| 07:18:44 | × | flukiluke quits (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (*.net *.split) |
| 07:18:44 | × | simendsjo quits (34b0550437@2a03:6000:1812:100::1441) (*.net *.split) |
| 07:18:44 | × | Enviosity_ quits (~Enviosity@2.219.56.221) (*.net *.split) |
| 07:18:44 | × | acidsys quits (~crameleon@openSUSE/member/crameleon) (*.net *.split) |
| 07:18:44 | × | sprout quits (~sprout@84-80-106-227.fixed.kpn.net) (*.net *.split) |
| 07:18:44 | × | preflex quits (~preflex@user/mauke/bot/preflex) (*.net *.split) |
| 07:18:44 | × | mceresa quits (~mceresa@user/mceresa) (*.net *.split) |
| 07:18:44 | × | mcfrdy quits (~mcfrdy@user/mcfrdy) (*.net *.split) |
| 07:18:44 | × | dumptruckman quits (~dumptruck@66-175-211-75.ip.linodeusercontent.com) (*.net *.split) |
| 07:18:44 | × | berberman quits (~berberman@user/berberman) (*.net *.split) |
| 07:18:44 | × | xal quits (~xal@mx1.xal.systems) (*.net *.split) |
| 07:18:44 | × | [_________] quits (~oos95GWG@user/oos95GWG) (*.net *.split) |
| 07:18:44 | × | sa quits (sid1055@id-1055.tinside.irccloud.com) (*.net *.split) |
| 07:18:44 | × | Techcable quits (sid534393@user/Techcable) (*.net *.split) |
| 07:18:44 | × | enikar quits (~enikar@user/enikar) (*.net *.split) |
| 07:18:44 | × | absence quits (torgeihe@hildring.pvv.ntnu.no) (*.net *.split) |
| 07:18:44 | × | aristid quits (sid1599@id-1599.uxbridge.irccloud.com) (*.net *.split) |
| 07:18:44 | × | rune_ quits (sid21167@id-21167.ilkley.irccloud.com) (*.net *.split) |
| 07:18:44 | × | fired quits (LA@2600:3c00::f03c:92ff:fee3:aace) (*.net *.split) |
| 07:18:44 | × | ol0ck quits (~quassel@user/ol0ck) (*.net *.split) |
| 07:18:44 | × | Jonno_FTW quits (~come@user/jonno-ftw/x-0835346) (*.net *.split) |
| 07:18:44 | × | TMA quits (tma@twin.jikos.cz) (*.net *.split) |
| 07:18:44 | × | dispater quits (~dispater@mail.brprice.uk) (*.net *.split) |
| 07:18:44 | × | alanz quits (sid110616@id-110616.uxbridge.irccloud.com) (*.net *.split) |
| 07:18:44 | × | meooow_ quits (~meooow@165.232.184.169) (*.net *.split) |
| 07:18:44 | × | dmj` quits (sid72307@id-72307.hampstead.irccloud.com) (*.net *.split) |
| 07:18:44 | × | Aleksejs quits (~Aleksejs@107.170.21.106) (*.net *.split) |
| 07:18:44 | × | SethTisue quits (sid14912@id-14912.ilkley.irccloud.com) (*.net *.split) |
| 07:18:44 | × | nonzen quits (~nonzen@user/nonzen) (*.net *.split) |
| 07:18:44 | × | pikajude quits (~jude@2001:19f0:ac01:373:5400:2ff:fe86:3274) (*.net *.split) |
| 07:18:44 | × | xerox quits (~edi@user/edi) (*.net *.split) |
| 07:18:44 | × | She quits (haveident@libera/staff/she/her) (*.net *.split) |
| 07:18:44 | × | andjjj23 quits (~irc@107.170.228.47) (*.net *.split) |
| 07:18:44 | × | sclv quits (sid39734@haskell/developer/sclv) (*.net *.split) |
| 07:18:44 | × | jmct quits (sid160793@id-160793.tinside.irccloud.com) (*.net *.split) |
| 07:18:44 | × | alinab quits (sid468903@id-468903.helmsley.irccloud.com) (*.net *.split) |
| 07:18:44 | × | geekosaur quits (sid609282@xmonad/geekosaur) (*.net *.split) |
| 07:18:44 | × | bryanv quits (~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10) (*.net *.split) |
| 07:18:44 | × | mmaruseacph2 quits (~mihai@mihai.page) (*.net *.split) |
| 07:18:44 | × | ProofTechnique_ quits (sid79547@id-79547.ilkley.irccloud.com) (*.net *.split) |
| 07:18:44 | × | amir quits (sid22336@user/amir) (*.net *.split) |
| 07:18:44 | × | lexi-lambda quits (sid92601@id-92601.hampstead.irccloud.com) (*.net *.split) |
| 07:18:45 | × | S11001001 quits (sid42510@id-42510.ilkley.irccloud.com) (*.net *.split) |
| 07:18:45 | × | T_S_____ quits (sid501726@id-501726.uxbridge.irccloud.com) (*.net *.split) |
| 07:18:45 | × | haasn quits (sid579015@id-579015.hampstead.irccloud.com) (*.net *.split) |
| 07:18:45 | × | dsal quits (sid13060@id-13060.lymington.irccloud.com) (*.net *.split) |
| 07:18:45 | × | yangby quits (~secret@125.121.168.11) (*.net *.split) |
| 07:18:45 | × | superbil quits (~superbil@114-32-231-70.hinet-ip.hinet.net) (*.net *.split) |
| 07:18:45 | × | duckworld quits (~duckworld@user/duckworld) (*.net *.split) |
| 07:18:45 | × | Axman6 quits (~Axman6@user/axman6) (*.net *.split) |
| 07:18:45 | × | m5zs7k quits (aquares@web10.mydevil.net) (Max SendQ exceeded) |
| 07:24:24 | → | m5zs7k_ joins (aquares@web10.mydevil.net) |
| 07:24:24 | → | ZLima12 joins (~zlima12@user/meow/ZLima12) |
| 07:24:24 | → | eL_Bart0- joins (eL_Bart0@dietunichtguten.org) |
| 07:24:24 | → | todi joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 07:24:24 | → | notzmv joins (~umar@user/notzmv) |
| 07:24:24 | → | homo joins (~homo@user/homo) |
| 07:24:24 | → | tdammers joins (~tdammers@110-136-178-143.ftth.glasoperator.nl) |
| 07:24:24 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 07:24:24 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 07:24:24 | → | michalz joins (~michalz@185.246.207.221) |
| 07:24:24 | → | zenmov joins (~zenmov@user/zenmov) |
| 07:24:24 | → | biberu joins (~biberu@user/biberu) |
| 07:24:24 | → | gorignak joins (~gorignak@user/gorignak) |
| 07:24:24 | → | aforemny_ joins (~aforemny@2001:9e8:6cd1:7b00:688b:324:5065:e57a) |
| 07:24:24 | → | alp joins (~alp@2001:861:8ca0:4940:762c:2982:98c1:d2e7) |
| 07:24:24 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 07:24:24 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 07:24:24 | → | pabs3 joins (~pabs3@user/pabs3) |
| 07:24:24 | → | td_ joins (~td@i5387090C.versanet.de) |
| 07:24:24 | → | anpad joins (~pandeyan@user/anpad) |
| 07:24:24 | → | talismanick joins (~user@2601:644:937c:ed10::ae5) |
| 07:24:24 | → | fun-safe-math joins (~fun-safe-@24.21.106.247) |
| 07:24:24 | → | dostoyevsky2 joins (~sck@user/dostoyevsky2) |
| 07:24:24 | → | MyNetAz joins (~MyNetAz@user/MyNetAz) |
| 07:24:24 | → | yangby joins (~secret@125.121.168.11) |
| 07:24:24 | → | remexre joins (~remexre@user/remexre) |
| 07:24:24 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 07:24:24 | → | _________ joins (~nobody@user/noodly) |
| 07:24:24 | → | califax joins (~califax@user/califx) |
| 07:24:24 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 07:24:24 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 07:24:24 | → | jle` joins (~jle`@2603:8001:3b02:84d4:e41f:4372:1938:6590) |
| 07:24:24 | → | foul_owl joins (~kerry@157.97.134.165) |
| 07:24:24 | → | pavonia joins (~user@user/siracusa) |
| 07:24:24 | → | visilii_ joins (~visilii@92.50.200.10) |
| 07:24:24 | → | Flow joins (~none@gentoo/developer/flow) |
| 07:24:24 | → | gentauro joins (~gentauro@user/gentauro) |
| 07:24:24 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 07:24:24 | → | ft joins (~ft@p508db9c7.dip0.t-ipconnect.de) |
| 07:24:24 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 07:24:24 | → | turlando joins (~turlando@user/turlando) |
| 07:24:24 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 07:24:24 | → | poscat joins (~poscat@user/poscat) |
| 07:24:24 | → | gmg joins (~user@user/gehmehgeh) |
| 07:24:24 | → | Digit joins (~user@user/digit) |
| 07:24:24 | → | end joins (~end@user/end/x-0094621) |
| 07:24:24 | → | smalltalkman joins (uid545680@id-545680.hampstead.irccloud.com) |
| 07:24:24 | → | bcksl joins (~bcksl@user/bcksl) |
| 07:24:24 | → | user_ joins (~user@user/fmira) |
| 07:24:24 | → | hook54321 joins (sid149355@user/hook54321) |
| 07:24:24 | → | Pent joins (sid313808@id-313808.lymington.irccloud.com) |
| 07:24:24 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 07:24:24 | → | Batzy joins (~quassel@user/batzy) |
| 07:24:24 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 07:24:24 | → | divya joins (divya@140.238.251.170) |
| 07:24:24 | → | bliminse joins (~bliminse@user/bliminse) |
| 07:24:24 | → | cbarrett joins (uid192934@id-192934.helmsley.irccloud.com) |
| 07:24:24 | → | sus0 joins (zero@user/zeromomentum) |
| 07:24:24 | → | euphores joins (~SASL_euph@user/euphores) |
| 07:24:24 | → | nitrix joins (~nitrix@user/meow/nitrix) |
| 07:24:24 | → | haskellbridge joins (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 07:24:24 | → | AlexNoo joins (~AlexNoo@5.139.233.0) |
| 07:24:24 | → | AlexZenon joins (~alzenon@5.139.233.0) |
| 07:24:24 | → | rvalue joins (~rvalue@user/rvalue) |
| 07:24:24 | → | kmein joins (~weechat@user/kmein) |
| 07:24:24 | → | cyphase joins (~cyphase@user/cyphase) |
| 07:24:24 | → | hellwolf joins (~user@6af3-8a03-f6ad-0507-0f00-4d40-07d0-2001.sta.estpak.ee) |
| 07:24:24 | → | philopsos joins (~caecilius@user/philopsos) |
| 07:24:24 | → | manwithluck joins (manwithluc@gateway/vpn/protonvpn/manwithluck) |
| 07:24:24 | → | srk joins (~sorki@user/srk) |
| 07:24:24 | → | drdo joins (~drdo@bl9-110-63.dsl.telepac.pt) |
| 07:24:24 | → | terrorjack4 joins (~terrorjac@2a01:4f8:c17:dc9f::) |
| 07:24:24 | → | krei-se joins (~krei-se@p5085d4fd.dip0.t-ipconnect.de) |
| 07:24:24 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 07:24:24 | → | ski joins (~ski@remote11.chalmers.se) |
| 07:24:24 | → | auri joins (~auri@fsf/member/auri) |
| 07:24:24 | → | raym joins (~ray@user/raym) |
| 07:24:24 | → | yaroot joins (~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) |
| 07:24:24 | → | tjbc joins (~tjbc@user/fliife) |
| 07:24:24 | → | myxos joins (~myxos@syn-065-028-251-121.res.spectrum.com) |
| 07:24:24 | → | j1n37 joins (~j1n37@user/j1n37) |
| 07:24:24 | → | spenat joins (~spenat@c-92-35-37-17.bbcust.telenor.se) |
| 07:24:24 | → | pja joins (~pja@2a02:8010:6098:0:e65f:1ff:fe1f:660f) |
| 07:24:24 | → | kadobanana joins (~mud@user/kadoban) |
| 07:24:24 | → | CrunchyFlakes joins (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 07:24:24 | → | meinside joins (uid24933@id-24933.helmsley.irccloud.com) |
| 07:24:24 | → | aku joins (aku@65.108.245.241) |
| 07:24:24 | → | sam113101 joins (~sam@modemcable220.199-203-24.mc.videotron.ca) |
| 07:24:24 | → | Pozyomka joins (~pyon@user/pyon) |
| 07:24:24 | → | jbalint joins (~jbalint@2600:6c44:117f:e98a:40bb:52ad:62b8:5122) |
| 07:24:24 | → | haritz joins (~hrtz@user/haritz) |
| 07:24:24 | → | mrmr155334346318 joins (~mrmr@user/mrmr) |
| 07:24:24 | → | paotsaq joins (~paotsaq@127.209.37.188.rev.vodafone.pt) |
| 07:24:24 | → | mulk joins (~mulk@p5b11254a.dip0.t-ipconnect.de) |
| 07:24:24 | silver.libera.chat | sets mode +v haskellbridge |
| 07:24:24 | → | ftzm joins (~ftzm@085081049156.dynamic.telenor.dk) |
| 07:24:24 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 07:24:24 | → | tt12310978324354 joins (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 07:24:24 | → | mhatta joins (~mhatta@www21123ui.sakura.ne.jp) |
| 07:24:24 | → | tessier joins (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 07:24:24 | → | op_4 joins (~tslil@user/op-4/x-9116473) |
| 07:24:24 | → | zzz joins (~z@user/zero) |
| 07:24:24 | → | Maxdamantus joins (~Maxdamant@user/maxdamantus) |
| 07:24:24 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 07:24:24 | → | piele joins (~piele@tbonesteak.creativeserver.net) |
| 07:24:24 | → | Xe joins (~Xe@perl/impostor/xe) |
| 07:24:24 | → | MironZ3 joins (~MironZ@nat-infra.ehlab.uk) |
| 07:24:24 | → | jrm joins (~jrm@user/jrm) |
| 07:24:24 | → | img joins (~img@user/img) |
| 07:24:24 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 07:24:24 | → | jcarpenter2 joins (~lol@2603:3016:1e01:b9c0:d1c1:f93e:7bae:b7b4) |
| 07:24:24 | → | arthurvl joins (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) |
| 07:24:24 | → | kimiamania joins (~65804703@user/kimiamania) |
| 07:24:24 | → | haetsal joins (~quassel@221.138.168.192) |
| 07:24:24 | → | thaumavorio joins (~thaumavor@thaumavor.io) |
| 07:24:24 | → | glguy joins (glguy@libera/staff/glguy) |
| 07:24:24 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 07:24:24 | → | picnoir joins (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 07:24:24 | → | zfnmxt joins (~zfnmxt@user/zfnmxt) |
| 07:24:24 | → | kronicmage joins (~kronicmag@neotame.csclub.uwaterloo.ca) |
| 07:24:24 | → | tv joins (~tv@user/tv) |
| 07:24:24 | → | malte joins (~malte@mal.tc) |
| 07:24:24 | → | krjst joins (~krjst@2604:a880:800:c1::16b:8001) |
| 07:24:24 | → | driib318 joins (~driib@vmi931078.contaboserver.net) |
| 07:24:24 | → | p3n joins (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 07:24:24 | → | tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 07:24:24 | → | robobub joins (uid248673@id-248673.uxbridge.irccloud.com) |
| 07:24:24 | → | cheater joins (~Username@user/cheater) |
| 07:24:24 | → | Pixi joins (~Pixi@user/pixi) |
| 07:24:24 | → | vulpine joins (xfnw@user/meow/xfnw) |
| 07:24:24 | → | barthandelous01 joins (barth@triton.blinkenshell.org) |
| 07:24:24 | → | Dykam joins (Dykam@dykam.nl) |
| 07:24:24 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 07:24:24 | → | tmr joins (~tamer@5.2.74.82) |
| 07:24:24 | → | rachelambda joins (~rachelamb@cust-95-80-25-71.csbnet.se) |
| 07:24:24 | → | rdcdr joins (~rdcdr@user/rdcdr) |
| 07:24:24 | → | wz1000 joins (~zubin@static.11.113.47.78.clients.your-server.de) |
| 07:24:24 | → | emergence joins (emergence@vm0.max-p.me) |
| 07:24:24 | → | rini joins (~rini@user/rini) |
| 07:24:24 | → | meejah joins (~meejah@rutas.meejah.ca) |
| 07:24:24 | → | Clint joins (~Clint@user/clint) |
| 07:24:24 | → | masterbuilder joins (~quassel@user/masterbuilder) |
| 07:24:24 | → | ethantwardy joins (user@user/ethantwardy) |
| 07:24:24 | → | Fijxu joins (~Fijxu@user/fijxu) |
| 07:24:24 | → | _xor joins (~xor@ip-66-42-132-175.dynamic.fuse.net) |
| 07:24:24 | → | Buliarous joins (~gypsydang@46.232.210.139) |
| 07:24:24 | → | V joins (~v@ircpuzzles/2022/april/winner/V) |
| 07:24:24 | → | zmt01 joins (~zmt00@user/zmt00) |
| 07:24:24 | → | Ekho- joins (~Ekho@user/ekho) |
| 07:24:24 | → | acarrico joins (~acarrico@dhcp-209-99-192-63.greenmountainaccess.net) |
| 07:24:24 | → | olivial joins (~benjaminl@user/benjaminl) |
| 07:24:24 | → | abrar joins (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) |
| 07:24:24 | → | SanchayanMaity joins (sid478177@id-478177.hampstead.irccloud.com) |
| 07:24:24 | → | bw joins (sid2730@user/betawaffle) |
| 07:24:24 | → | lbseale joins (~quassel@user/ep1ctetus) |
| 07:24:24 | → | tnks joins (sid412124@id-412124.helmsley.irccloud.com) |
| 07:24:24 | → | joeyh_ joins (~joeyh@kitenet.net) |
| 07:24:24 | → | astra joins (sid289983@id-289983.hampstead.irccloud.com) |
| 07:24:24 | → | delyan_ joins (sid523379@id-523379.hampstead.irccloud.com) |
| 07:24:24 | → | arkeet joins (~arkeet@moriya.ca) |
| 07:24:24 | → | buhman joins (sid411355@user/buhman) |
| 07:24:24 | → | Boarders_____ joins (sid425905@id-425905.lymington.irccloud.com) |
| 07:24:24 | → | jackdk joins (sid373013@cssa/jackdk) |
| 07:24:24 | → | Adeon joins (sid418992@id-418992.lymington.irccloud.com) |
| 07:24:24 | → | hovsater joins (sid499516@user/hovsater) |
| 07:24:24 | → | b20n joins (sid115913@id-115913.uxbridge.irccloud.com) |
| 07:24:24 | → | degraafk joins (sid71464@id-71464.lymington.irccloud.com) |
| 07:24:24 | → | dy joins (sid3438@user/dy) |
| 07:24:24 | → | edwardk joins (sid47016@haskell/developer/edwardk) |
| 07:24:24 | → | monochrom joins (trebla@216.138.220.146) |
| 07:24:24 | → | ShannonB joins (~ShannonB@user/ShannonB) |
| 07:24:24 | → | mauke joins (~mauke@user/mauke) |
| 07:24:24 | → | dtman34 joins (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) |
| 07:24:24 | → | Leary joins (~Leary@user/Leary/x-0910699) |
| 07:24:24 | → | typedfern_ joins (~Typedfern@83.37.42.247) |
| 07:24:24 | → | Typedfern joins (~Typedfern@247.red-83-37-42.dynamicip.rima-tde.net) |
| 07:24:24 | → | dolio joins (~dolio@130.44.140.168) |
| 07:24:24 | → | ByronJohnson joins (~bairyn@50.250.232.19) |
| 07:24:24 | → | caubert joins (~caubert@user/caubert) |
| 07:24:24 | → | cptaffe joins (~cptaffe@user/cptaffe) |
| 07:24:24 | → | koolazer joins (~koo@user/koolazer) |
| 07:24:24 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 07:24:24 | → | gawen joins (~gawen@user/gawen) |
| 07:24:24 | → | tuxpaint joins (~a@put.gay) |
| 07:24:24 | → | ell joins (~ellie@user/ellie) |
| 07:24:24 | → | mjrosenb joins (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) |
| 07:24:24 | → | flukiluke joins (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 07:24:24 | → | albet70 joins (~xxx@2400:8905::f03c:92ff:fe60:98d8) |
| 07:24:24 | → | Yumemi joins (~Yumemi@chamoin.net) |
| 07:24:24 | → | remedan joins (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 07:24:24 | → | reidrac joins (~reidrac@user/reidrac) |
| 07:24:24 | → | andreas303 joins (andreas303@is.drunk.and.ready-to.party) |
| 07:24:24 | → | arahael joins (~arahael@user/arahael) |
| 07:24:24 | → | hammond joins (proscan@gateway04.insomnia247.nl) |
| 07:24:24 | → | nadja joins (~dequbed@banana-new.kilobyte22.de) |
| 07:24:24 | → | nek0 joins (~nek0@user/nek0) |
| 07:24:24 | → | rncwnd joins (~quassel@2a01:4f8:221:27c6::1) |
| 07:24:24 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 07:24:24 | → | Sciencentistguy joins (~sciencent@hacksoc/ordinary-member) |
| 07:24:24 | → | koz joins (~koz@121.99.240.58) |
| 07:24:24 | → | pounce joins (~pounce@user/cute/pounce) |
| 07:24:24 | → | simendsjo joins (34b0550437@2a03:6000:1812:100::1441) |
| 07:24:24 | → | tokie joins (~tokie@user/strtok) |
| 07:24:24 | → | ridcully joins (~ridcully@p57b52f42.dip0.t-ipconnect.de) |
| 07:24:24 | → | pierrot joins (~pi@user/pierrot) |
| 07:24:24 | → | APic joins (apic@apic.name) |
| 07:24:24 | → | tinjamin4 joins (~tinjamin@banshee.h4x0r.space) |
| 07:24:24 | → | m1dnight joins (~m1dnight@d8D861908.access.telenet.be) |
| 07:24:24 | → | zlqrvx joins (~zlqrvx@user/zlqrvx) |
| 07:24:24 | → | Enviosity_ joins (~Enviosity@2.219.56.221) |
| 07:24:24 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 07:24:24 | → | sudden joins (~cat@user/sudden) |
| 07:24:24 | → | petrichor joins (~znc-user@user/petrichor) |
| 07:24:24 | → | toch joins (~toch@user/toch) |
| 07:24:24 | → | ThePenguin joins (~ThePengui@cust-95-80-24-166.csbnet.se) |
| 07:24:24 | → | hiredman joins (~hiredman@frontier1.downey.family) |
| 07:24:24 | → | pie_ joins (~pie_bnc@user/pie/x-2818909) |
| 07:24:24 | → | Logio joins (em@kapsi.fi) |
| 07:24:24 | → | ent joins (entgod@kapsi.fi) |
| 07:24:24 | → | superbil joins (~superbil@114-32-231-70.hinet-ip.hinet.net) |
| 07:24:24 | → | FragByte joins (~christian@user/fragbyte) |
| 07:24:24 | → | vgtw joins (~vgtw@user/vgtw) |
| 07:24:24 | → | finsternis joins (~X@23.226.237.192) |
| 07:24:24 | → | acidsys joins (~crameleon@openSUSE/member/crameleon) |
| 07:24:24 | → | bsima joins (~bsima@143.198.118.179) |
| 07:24:24 | → | statusbot joins (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 07:24:24 | → | dyniec joins (~dyniec@dybiec.info) |
| 07:24:24 | → | Natch joins (~natch@c-92-34-7-158.bbcust.telenor.se) |
| 07:24:24 | → | sprout joins (~sprout@84-80-106-227.fixed.kpn.net) |
| 07:24:24 | → | hueso joins (~root@user/hueso) |
| 07:24:24 | → | fernando-basso joins (~fernando-@2a01:4f9:c012:63d3::1) |
| 07:24:24 | → | nshepperd2 joins (~nshepperd@static.117.72.21.65.clients.your-server.de) |
| 07:24:24 | → | Arsen joins (arsen@gentoo/developer/managarm.dev.Arsen) |
| 07:24:24 | → | eugenrh joins (~eugenrh@user/eugenrh) |
| 07:24:24 | → | Festive joins (A_D@libera/staff/dragon) |
| 07:24:24 | → | n3t joins (~n3t@user/n3t) |
| 07:24:24 | → | Spawns_Carpeting joins (~mobile@user/spawns-carpeting/x-6969421) |
| 07:24:24 | → | preflex joins (~preflex@user/mauke/bot/preflex) |
| 07:24:24 | → | urdh joins (~urdh@user/urdh) |
| 07:24:24 | → | bramh joins (~bramh@user/bramh) |
| 07:24:24 | → | infinity0 joins (~infinity0@pwned.gg) |
| 07:24:24 | → | inedia joins (~irc@2600:3c00:e000:287::1) |
| 07:24:24 | → | hololeap joins (~quassel@user/hololeap) |
| 07:24:24 | → | Miroboru joins (~myrvoll@178-164-114.82.3p.ntebredband.no) |
| 07:24:24 | → | xacktm joins (xacktm@user/xacktm) |
| 07:24:24 | → | opqdonut joins (opqdonut@pseudo.fixme.fi) |
| 07:24:24 | → | koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 07:24:24 | → | lambdap2371 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 07:24:24 | → | Adran joins (~adran@botters/adran) |
| 07:24:24 | → | byte joins (~byte@149.28.222.189) |
| 07:24:24 | → | jjhoo joins (~jahakala@user/jjhoo) |
| 07:24:24 | → | ACuriousMoose joins (~ACuriousM@156.34.161.188) |
| 07:24:24 | → | NiKaN joins (sid385034@id-385034.helmsley.irccloud.com) |
| 07:24:24 | → | nurupo joins (~nurupo.ga@user/nurupo) |
| 07:24:24 | → | Athas joins (athas@sigkill.dk) |
| 07:24:24 | → | sefidel joins (~sefidel@user/sefidel) |
| 07:24:24 | → | sympt joins (~sympt@user/sympt) |
| 07:24:24 | → | mceresa joins (~mceresa@user/mceresa) |
| 07:24:24 | → | mcfrdy joins (~mcfrdy@user/mcfrdy) |
| 07:24:24 | → | loonycyborg joins (loonycybor@wesnoth/developer/loonycyborg) |
| 07:24:24 | → | Teacup joins (~teacup@user/teacup) |
| 07:24:24 | → | RMSBach joins (~guygastin@137.184.131.156) |
| 07:24:24 | → | cross joins (~cross@spitfire.i.gajendra.net) |
| 07:24:24 | → | tired- joins (~tired@user/tired) |
| 07:24:24 | → | samhh_ joins (7569f027cf@2a03:6000:1812:100::e4) |
| 07:24:24 | → | chaitlatte0 joins (ea29c0bb16@user/chaitlatte0) |
| 07:24:24 | → | eso joins (a0662dfd5e@2a03:6000:1812:100::1266) |
| 07:24:24 | → | henrytill joins (e0180937c3@2a03:6000:1812:100::e8c) |
| 07:24:24 | → | jmcantrell joins (644f1bed9a@user/jmcantrell) |
| 07:24:24 | → | lucyy joins (228ee8f0ce@user/lucyy) |
| 07:24:24 | → | akspecs joins (00cc8321af@sourcehut/user/akspecs) |
| 07:24:24 | → | JoelMcCracken joins (5ea8252fbb@2a03:6000:1812:100::10e3) |
| 07:24:24 | → | jleightcap joins (7bc4014b62@user/jleightcap) |
| 07:24:24 | → | jkoshy joins (99b9359beb@user/jkoshy) |
| 07:24:24 | → | bwolf joins (c3bc363dd1@2a03:6000:1812:100::180) |
| 07:24:24 | → | ymherklotz joins (cb2c9cfbdd@2a03:6000:1812:100::29a) |
| 07:24:24 | → | titibandit joins (e33ffbab65@user/titibandit) |
| 07:24:24 | → | ursa-major joins (114efe6c39@2a03:6000:1812:100::11f3) |
| 07:24:24 | → | fvr joins (ef3e56ca8b@2a03:6000:1812:100::3c4) |
| 07:24:24 | → | sm2n joins (ae95cb1267@user/sm2n) |
| 07:24:24 | → | duncan joins (c6181279e3@user/meow/duncan) |
| 07:24:24 | → | b0o joins (0e4a0bf4c9@2a03:6000:1812:100::1bf) |
| 07:24:24 | → | fn_lumi joins (3d621153a5@2a03:6000:1812:100::df7) |
| 07:24:25 | → | Ankhers joins (e99e97ef8e@2a03:6000:1812:100::2a2) |
| 07:24:25 | → | rselim joins (ce261f06ff@user/milesrout) |
| 07:24:25 | → | sus joins (1b7af6299f@user/zeromomentum) |
| 07:24:25 | → | raghavgururajan joins (ea769b8000@user/raghavgururajan) |
| 07:24:25 | → | samhh joins (7569f027cf@2a03:6000:1812:100::e4) |
| 07:24:25 | → | cpli joins (77fc530071@2a03:6000:1812:100::252) |
| 07:24:25 | → | aniketd joins (32aa4844cd@2a03:6000:1812:100::dcb) |
| 07:24:25 | → | jakzale joins (6291399afa@user/jakzale) |
| 07:24:25 | → | whereiseveryone joins (206ba86c98@2a03:6000:1812:100::2e4) |
| 07:24:25 | → | shreyasminocha joins (51fdc93eda@user/shreyasminocha) |
| 07:24:25 | → | probie joins (cc0b34050a@user/probie) |
| 07:24:25 | → | arcadewise joins (52968ed80d@2a03:6000:1812:100::3df) |
| 07:24:25 | → | lukec joins (9dfd4d094e@2a03:6000:1812:100::10e) |
| 07:24:25 | → | lane joins (809450f172@2a03:6000:1812:100::1300) |
| 07:24:25 | → | pmk joins (6afe4476a1@2a03:6000:1812:100::26d) |
| 07:24:25 | → | bsima1 joins (9d7e39c8ad@2a03:6000:1812:100::dd) |
| 07:24:25 | → | filwisher joins (2e6936c793@2a03:6000:1812:100::170) |
| 07:24:25 | → | RussetParrotBear joins (45ce440a48@2a03:6000:1812:100::e2) |
| 07:24:25 | → | fgaz joins (1ff9197ed6@2a03:6000:1812:100::11ea) |
| 07:24:25 | → | ggb joins (a62ffbaf4f@2a03:6000:1812:100::3ac) |
| 07:24:25 | → | evanrelf joins (3addc196af@2a03:6000:1812:100::f0) |
| 07:24:25 | → | smiesner joins (b0cf5acf8c@user/smiesner) |
| 07:24:25 | → | hacklschorsch joins (~flo@2a01:4f9:3a:2296::2) |
| 07:24:25 | → | YuutaW joins (~YuutaW@2404:f4c0:f9c3:502::100:17b7) |
| 07:24:25 | → | Angelz joins (Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) |
| 07:24:25 | → | glider joins (glider@user/glider) |
| 07:24:25 | → | mikko joins (~mikko@user/mikko) |
| 07:24:25 | → | dfg joins (~dfg@user/dfg) |
| 07:24:25 | → | Kamuela joins (sid111576@id-111576.tinside.irccloud.com) |
| 07:24:25 | → | tureba joins (~tureba@tureba.org) |
| 07:24:25 | → | bastelfreak joins (bastelfrea@libera/staff/VoxPupuli.bastelfreak) |
| 07:24:25 | → | Ram-Z_ joins (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) |
| 07:24:25 | → | dminuoso joins (~weechat@user/dminuoso) |
| 07:24:25 | → | YoungFrog joins (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
| 07:24:25 | → | Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius) |
| 07:24:25 | → | Putonlalla joins (~Putonlall@it-cyan.it.jyu.fi) |
| 07:24:25 | → | xdej joins (~xdej@quatramaran.salle-s.org) |
| 07:24:25 | → | sand-witch joins (~m-mzmz6l@vmi833741.contaboserver.net) |
| 07:24:25 | → | Me-me joins (~me-me@user/me-me) |
| 07:24:25 | → | Axman6 joins (~Axman6@user/axman6) |
| 07:24:25 | → | Eoco joins (~ian@128.101.131.218) |
| 07:24:25 | → | esph joins (~weechat@user/esph) |
| 07:24:25 | → | fr33domlover joins (~fr33domlo@towards.vision) |
| 07:24:25 | → | carbolymer joins (~carbolyme@dropacid.net) |
| 07:24:25 | → | igemnace joins (~igemnace@user/igemnace) |
| 07:24:25 | → | dumptruckman joins (~dumptruck@66-175-211-75.ip.linodeusercontent.com) |
| 07:24:25 | → | lockywolf joins (~lockywolf@coconut.lockywolf.net) |
| 07:24:25 | → | kaskal joins (~kaskal@84-115-237-124.cable.dynamic.surfer.at) |
| 07:24:25 | → | iteratee joins (~kyle@162.218.222.207) |
| 07:24:25 | → | berberman joins (~berberman@user/berberman) |
| 07:24:25 | → | astroanax joins (~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7) |
| 07:24:25 | → | Vajb joins (~Vajb@n84e9ei03jkqt6rm3ev-1.v6.elisa-mobile.fi) |
| 07:24:25 | → | pointlessslippe1 joins (~pointless@62.106.85.17) |
| 07:24:25 | → | xal joins (~xal@mx1.xal.systems) |
| 07:24:25 | → | duckworld joins (~duckworld@user/duckworld) |
| 07:24:25 | → | juri_ joins (~juri@implicitcad.org) |
| 07:24:25 | → | Vq joins (~vq@81-226-38-201-no600.tbcn.telia.com) |
| 07:24:25 | → | mzg joins (~mzg@abusers.hu) |
| 07:24:25 | → | constxd joins (~constxd@user/constxd) |
| 07:24:25 | → | byorgey joins (~byorgey@user/byorgey) |
| 07:24:25 | → | catties joins (~catties@user/meow/catties) |
| 07:24:25 | → | down200 joins (~down200@shell.lug.mtu.edu) |
| 07:24:25 | → | sshine joins (~simon@gordian.systems) |
| 07:24:25 | → | stefan-__ joins (~m-yh2rcc@42dots.de) |
| 07:24:25 | → | Philonous joins (~Philonous@user/philonous) |
| 07:24:25 | → | ames joins (~amelia@offtopia/offtopian/amelia) |
| 07:24:25 | → | WzC joins (~Frank@77-162-168-71.fixed.kpn.net) |
| 07:24:25 | → | myme joins (~myme@40.51-175-185.customer.lyse.net) |
| 07:24:25 | → | polux joins (~polux@51-15-169-172.rev.poneytelecom.eu) |
| 07:24:25 | → | skylord5816 joins (~skylord58@user/skylord5816) |
| 07:24:25 | → | doyougnu joins (~doyougnu@syn-045-046-170-068.res.spectrum.com) |
| 07:24:25 | → | Katarushisu joins (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 07:24:25 | → | bionade24 joins (~quassel@2a03:4000:33:45b::1) |
| 07:24:25 | → | spew joins (~spew@135.233.119.40) |
| 07:24:25 | → | tomku joins (~tomku@user/tomku) |
| 07:24:25 | → | darkling joins (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) |
| 07:24:25 | → | PHO` joins (~pho@akari.cielonegro.org) |
| 07:24:25 | → | gmc joins (sid58314@id-58314.ilkley.irccloud.com) |
| 07:24:25 | → | tomjagua1paw joins (~tom@172-104-25-182.ip.linodeusercontent.com) |
| 07:24:25 | → | h2t joins (~h2t@user/h2t) |
| 07:24:25 | → | davean joins (~davean@davean.sciesnet.net) |
| 07:24:25 | → | bollu joins (~bollu@159.65.151.13) |
| 07:24:25 | → | barrucadu joins (~barrucadu@carcosa.barrucadu.co.uk) |
| 07:24:25 | → | jonrh joins (sid5185@id-5185.ilkley.irccloud.com) |
| 07:24:25 | → | JSharp joins (sid4580@user/JSharp) |
| 07:24:25 | → | tapas joins (sid467876@id-467876.ilkley.irccloud.com) |
| 07:24:25 | → | PotatoGim joins (sid99505@id-99505.lymington.irccloud.com) |
| 07:24:25 | → | nshepperd joins (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 07:24:25 | → | [exa] joins (~exa@user/exa/x-3587197) |
| 07:24:25 | → | rubin55 joins (sid666177@id-666177.lymington.irccloud.com) |
| 07:24:25 | → | landonf joins (landonf@mac68k.info) |
| 07:24:25 | → | cjay joins (cjay@nerdbox.nerd2nerd.org) |
| 07:24:25 | → | [_________] joins (~oos95GWG@user/oos95GWG) |
| 07:24:25 | → | farn__ joins (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) |
| 07:24:25 | → | beaky joins (~beaky@198.211.118.219) |
| 07:24:25 | → | bgamari joins (~bgamari@64.223.233.64) |
| 07:24:25 | → | liskin joins (~liskin@xmonad/liskin) |
| 07:24:25 | → | ncf joins (~n@monade.li) |
| 07:24:25 | → | teesquare_ joins (~teesquare@user/teesquare) |
| 07:24:25 | → | acro joins (~acro@user/acro) |
| 07:24:25 | → | saolsen joins (sid26430@id-26430.lymington.irccloud.com) |
| 07:24:25 | → | edwtjo joins (~edwtjo@fsf/member/edwtjo) |
| 07:24:25 | → | nisstyre joins (wes@user/nisstyre) |
| 07:24:25 | → | crazazy joins (~crazazy@tilde.town) |
| 07:24:25 | → | Fangs joins (sid141280@id-141280.hampstead.irccloud.com) |
| 07:24:25 | → | sm joins (~znc@plaintextaccounting/sm) |
| 07:24:25 | → | coldtom joins (~coldtom@coldrick.cc) |
| 07:24:25 | → | flocks joins (~flocks@134.122.90.60) |
| 07:24:25 | → | ringo_ joins (~ringo@157.230.117.128) |
| 07:24:25 | → | peutri joins (~peutri@bobo.desast.re) |
| 07:24:25 | → | ouroboros joins (~ouroboros@user/ouroboros) |
| 07:24:25 | → | comonad joins (~comonad@p200300d0270bcb00d2bd35ff80c069c9.dip0.t-ipconnect.de) |
| 07:24:25 | → | DragonMaus joins (~dragonmau@user/dragonmaus) |
| 07:24:25 | → | hamishmack joins (sid389057@id-389057.hampstead.irccloud.com) |
| 07:24:25 | → | siers joins (~ij@user/ij) |
| 07:24:25 | → | SrPx joins (sid108780@id-108780.uxbridge.irccloud.com) |
| 07:24:25 | → | edm joins (sid147314@id-147314.hampstead.irccloud.com) |
| 07:24:25 | → | drlkf joins (~drlkf@chat-1.drlkf.net) |
| 07:24:25 | → | mima joins (~mmh@user/mima) |
| 07:24:25 | → | lieven joins (~mal@ns2.wyrd.be) |
| 07:24:25 | → | stilgart joins (~Christoph@chezlefab.net) |
| 07:24:25 | → | lyxia joins (~lyxia@poisson.chat) |
| 07:24:25 | → | tomsmeding joins (~tomsmedin@2a01:4f8:c0c:5e5e::2) |
| 07:24:25 | → | noctuks joins (d4toxF5wNA@user/noctux) |
| 07:24:25 | → | int-e joins (~noone@int-e.eu) |
| 07:24:25 | → | welterde1 joins (~welterde@thinkbase.srv.welterde.de) |
| 07:24:25 | → | exarkun joins (~exarkun@user/exarkun) |
| 07:24:25 | → | CalimeroTeknik joins (~calimero@user/calimeroteknik) |
| 07:24:25 | → | sajith joins (~sajith@user/sajith) |
| 07:24:25 | → | xstill_ joins (xstill@fimu/xstill) |
| 07:24:25 | → | kaol joins (~kaol@94-237-45-144.nl-ams1.upcloud.host) |
| 07:24:25 | → | jove joins (~quassel@user/jove) |
| 07:24:25 | → | Igloo joins (~ian@81.2.99.210) |
| 07:24:25 | → | lambdabot joins (~lambdabot@haskell/bot/lambdabot) |
| 07:24:25 | → | kqr joins (~kqr@static.143.81.108.65.clients.your-server.de) |
| 07:24:25 | → | noteness_ joins (~noteness@user/noteness) |
| 07:24:25 | → | unlucy joins (sid572875@user/unlucy) |
| 07:24:25 | → | sa joins (sid1055@id-1055.tinside.irccloud.com) |
| 07:24:25 | → | Techcable joins (sid534393@user/Techcable) |
| 07:24:25 | → | dfordvm joins (~dfordivam@160.16.87.223.v6.sakura.ne.jp) |
| 07:24:25 | → | aspen joins (sid449115@id-449115.helmsley.irccloud.com) |
| 07:24:25 | silver.libera.chat | sets mode +v lambdabot |
| 07:24:25 | → | bradparker joins (sid262931@id-262931.uxbridge.irccloud.com) |
| 07:24:25 | → | gaze__ joins (sid387101@id-387101.helmsley.irccloud.com) |
| 07:24:25 | → | codedmart joins (codedmart@2600:3c01::f03c:92ff:fefe:8511) |
| 07:24:25 | → | Jon joins (jon@dow.land) |
| 07:24:25 | → | lally joins (sid388228@id-388228.uxbridge.irccloud.com) |
| 07:24:25 | → | edmundnoble_ joins (sid229620@id-229620.helmsley.irccloud.com) |
| 07:24:25 | → | xnbya2 joins (~xnbya@2a01:4f8:c17:cbdd::1) |
| 07:24:25 | → | xelxebar joins (~xelxebar@wilsonb.com) |
| 07:24:25 | → | mustafa joins (sid502723@rockylinux/releng/mustafa) |
| 07:24:25 | → | deriamis joins (nobody@2600:3c0a::f03c:95ff:fee8:f335) |
| 07:24:25 | → | _0xa_ joins (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) |
| 07:24:25 | → | sweater1 joins (~sweater@206.81.18.26) |
| 07:24:25 | → | taktoa[c] joins (sid282096@id-282096.tinside.irccloud.com) |
| 07:24:25 | → | markasoftware joins (~quassel@107.161.26.124) |
| 07:24:25 | → | artu joins (~artu@li90-184.members.linode.com) |
| 07:24:25 | → | apache joins (apache2@anubis.0x90.dk) |
| 07:24:25 | → | adamCS joins (~adamCS@71.167.235.212) |
| 07:24:25 | → | chymera joins (~chymera@ns1000526.ip-51-81-46.us) |
| 07:24:25 | → | shane joins (~shane@ana.rch.ist) |
| 07:24:25 | → | remmie joins (ianremsen@tilde.team) |
| 07:24:25 | → | kritzefitz joins (~kritzefit@debian/kritzefitz) |
| 07:24:25 | → | red-snail joins (~snail@static.151.210.203.116.clients.your-server.de) |
| 07:24:25 | → | litharge joins (litharge@libera/bot/litharge) |
| 07:24:25 | → | stefan-_ joins (~cri@42dots.de) |
| 07:24:25 | → | it_ joins (~quassel@v2202212189510211193.supersrv.de) |
| 07:24:25 | → | xnyhps joins (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) |
| 07:24:25 | → | lisq joins (~quassel@lis.moe) |
| 07:24:25 | → | carter joins (sid14827@id-14827.helmsley.irccloud.com) |
| 07:24:25 | → | nicole joins (ilbelkyr@libera/staff/ilbelkyr) |
| 07:24:25 | → | energizer joins (~energizer@user/energizer) |
| 07:24:25 | → | totbwf joins (uid402332@id-402332.uxbridge.irccloud.com) |
| 07:24:25 | → | iphy joins (sid67735@user/iphy) |
| 07:24:25 | → | caasih joins (sid13241@id-13241.ilkley.irccloud.com) |
| 07:24:25 | → | bjs joins (sid190364@user/bjs) |
| 07:24:25 | → | shachaf joins (~shachaf@user/shachaf) |
| 07:24:25 | → | systemfault joins (sid267009@about/typescript/member/systemfault) |
| 07:24:25 | → | tolt joins (~weechat-h@li219-154.members.linode.com) |
| 07:24:25 | → | danso joins (~danso@user/danso) |
| 07:24:25 | → | robertm joins (robertm@lattice.rojoma.com) |
| 07:24:25 | → | GoldsteinQ joins (~goldstein@goldstein.rs) |
| 07:24:25 | → | e-snail joins (~pete@user/e-snail) |
| 07:24:25 | → | mniip_ joins (mniip@libera/staff/mniip) |
| 07:24:25 | → | Hecate joins (~mariposa@user/hecate) |
| 07:24:25 | → | NemesisD joins (sid24071@id-24071.lymington.irccloud.com) |
| 07:24:25 | → | Rembane joins (~Rembane@user/Rembane) |
| 07:24:25 | → | mewra joins (~aranea@wireguard/contributorcat/mira) |
| 07:24:25 | → | swistak joins (~swistak@185.21.216.141) |
| 07:24:25 | → | TimWolla joins (~timwolla@2a01:4f8:150:6153:beef::6667) |
| 07:24:25 | → | AWizzArd joins (~code@user/awizzard) |
| 07:24:25 | → | Patternmaster joins (~georg@user/Patternmaster) |
| 07:24:25 | → | s4msung joins (YSkIhMhdIR@user/s4msung) |
| 07:24:25 | → | yushyin joins (aC7s4hKZiM@mail.karif.server-speed.net) |
| 07:24:25 | → | df joins (~ben@justworks.xyz) |
| 07:24:25 | → | cayley5 joins (~cayley5@user/phileasfogg) |
| 07:24:25 | → | yahb2 joins (~yahb2@user/tomsmeding/bot/yahb2) |
| 07:24:25 | → | haveo joins (~weechat@pacamara.iuwt.fr) |
| 07:24:25 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 07:24:25 | → | migas977 joins (~migas@static.140.65.63.178.clients.your-server.de) |
| 07:24:25 | → | wryish joins (~wryish@216.246.119.62) |
| 07:24:25 | → | snek joins (sid280155@id-280155.lymington.irccloud.com) |
| 07:24:25 | → | tritlo joins (sid58727@id-58727.hampstead.irccloud.com) |
| 07:24:25 | → | ChanServ joins (ChanServ@services.libera.chat) |
| 07:24:25 | → | roosterphant_ joins (~roosterph@185.21.217.76) |
| 07:24:25 | → | mrmonday joins (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
| 07:24:25 | → | orcus joins (~orcus@mail.brprice.uk) |
| 07:24:25 | → | nckx joins (nckx@libera/staff/owl/nckx) |
| 07:24:25 | → | mrvdb joins (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) |
| 07:24:25 | → | Moyst__ joins (~moyst@user/moyst) |
| 07:24:25 | → | c_wraith joins (~c_wraith@adjoint.us) |
| 07:24:25 | → | ggVGc joins (~ggVGc@a.lowtech.earth) |
| 07:24:25 | → | jess joins (meow@libera/staff/cat/jess) |
| 07:24:25 | → | hughjfchen joins (~hughjfche@vmi556545.contaboserver.net) |
| 07:24:25 | → | enikar joins (~enikar@user/enikar) |
| 07:24:25 | → | absence joins (torgeihe@hildring.pvv.ntnu.no) |
| 07:24:25 | → | aristid joins (sid1599@id-1599.uxbridge.irccloud.com) |
| 07:24:25 | → | rune_ joins (sid21167@id-21167.ilkley.irccloud.com) |
| 07:24:25 | → | fired joins (LA@2600:3c00::f03c:92ff:fee3:aace) |
| 07:24:25 | → | ol0ck joins (~quassel@user/ol0ck) |
| 07:24:25 | → | Jonno_FTW joins (~come@user/jonno-ftw/x-0835346) |
| 07:24:25 | → | TMA joins (tma@twin.jikos.cz) |
| 07:24:25 | → | dispater joins (~dispater@mail.brprice.uk) |
| 07:24:25 | → | alanz joins (sid110616@id-110616.uxbridge.irccloud.com) |
| 07:24:25 | → | dmj` joins (sid72307@id-72307.hampstead.irccloud.com) |
| 07:24:25 | → | meooow_ joins (~meooow@165.232.184.169) |
| 07:24:25 | → | Aleksejs joins (~Aleksejs@107.170.21.106) |
| 07:24:25 | → | SethTisue joins (sid14912@id-14912.ilkley.irccloud.com) |
| 07:24:25 | → | nonzen joins (~nonzen@user/nonzen) |
| 07:24:25 | → | pikajude joins (~jude@2001:19f0:ac01:373:5400:2ff:fe86:3274) |
| 07:24:25 | → | xerox joins (~edi@user/edi) |
| 07:24:25 | → | mmaruseacph2 joins (~mihai@mihai.page) |
| 07:24:25 | → | bryanv joins (~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10) |
| 07:24:25 | → | geekosaur joins (sid609282@xmonad/geekosaur) |
| 07:24:25 | → | alinab joins (sid468903@id-468903.helmsley.irccloud.com) |
| 07:24:25 | silver.libera.chat | sets mode +vo yahb2 ChanServ |
| 07:24:25 | → | jmct joins (sid160793@id-160793.tinside.irccloud.com) |
| 07:24:25 | → | sclv joins (sid39734@haskell/developer/sclv) |
| 07:24:25 | → | andjjj23 joins (~irc@107.170.228.47) |
| 07:24:25 | → | She joins (haveident@libera/staff/she/her) |
| 07:24:25 | → | dsal joins (sid13060@id-13060.lymington.irccloud.com) |
| 07:24:25 | → | haasn joins (sid579015@id-579015.hampstead.irccloud.com) |
| 07:24:25 | → | T_S_____ joins (sid501726@id-501726.uxbridge.irccloud.com) |
| 07:24:25 | → | S11001001 joins (sid42510@id-42510.ilkley.irccloud.com) |
| 07:24:25 | → | lexi-lambda joins (sid92601@id-92601.hampstead.irccloud.com) |
| 07:24:25 | → | amir joins (sid22336@user/amir) |
| 07:24:25 | → | ProofTechnique_ joins (sid79547@id-79547.ilkley.irccloud.com) |
| 07:24:28 | × | MyNetAz quits (~MyNetAz@user/MyNetAz) (Write error: Connection reset by peer) |
| 07:24:28 | × | caconym quits (~caconym@user/caconym) (Max SendQ exceeded) |
| 07:24:28 | × | gvg quits (~dcd@user/gvg) (Max SendQ exceeded) |
| 07:24:48 | → | caconym joins (~caconym@user/caconym) |
| 07:25:39 | → | gvg joins (~dcd@user/gvg) |
| 07:25:49 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:26:49 | × | jakesyl_____ quits (sid56879@id-56879.hampstead.irccloud.com) (Ping timeout: 260 seconds) |
| 07:28:24 | m5zs7k_ | is now known as m5zs7k |
| 07:28:44 | → | jakesyl_____ joins (sid56879@id-56879.hampstead.irccloud.com) |
| 07:30:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 07:31:23 | → | MyNetAz joins (~MyNetAz@user/MyNetAz) |
| 07:40:25 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 07:41:10 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:42:50 | × | ft quits (~ft@p508db9c7.dip0.t-ipconnect.de) (Quit: leaving) |
| 07:46:19 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 07:48:25 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:52:17 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 07:56:33 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:59:38 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:00:00 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 08:00:36 | → | caconym joins (~caconym@user/caconym) |
| 08:01:00 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 08:01:54 | → | kuribas joins (~user@2a02:1808:1:b87e:a4a7:59a7:30fb:290d) |
| 08:04:18 | → | acidjnk joins (~acidjnk@p200300d6e7283f37d9820760ef1b4928.dip0.t-ipconnect.de) |
| 08:06:34 | × | kuribas quits (~user@2a02:1808:1:b87e:a4a7:59a7:30fb:290d) (Remote host closed the connection) |
| 08:06:36 | → | kuribas` joins (~user@2a02:1808:1:b87e:7dd9:97c7:9325:49e4) |
| 08:09:11 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 08:12:10 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:13:24 | → | Guest65 joins (~Guest65@143.92.239.11) |
| 08:16:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 08:21:51 | × | Guest65 quits (~Guest65@143.92.239.11) (Quit: Client closed) |
| 08:24:28 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 08:27:33 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:30:25 | × | yangby quits (~secret@125.121.168.11) (Quit: Go out for a walk and buy a drink.) |
| 08:31:42 | → | ash3en joins (~Thunderbi@146.70.124.222) |
| 08:32:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 08:36:03 | → | ash3en1 joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 08:36:05 | × | kuribas` quits (~user@2a02:1808:1:b87e:7dd9:97c7:9325:49e4) (Ping timeout: 265 seconds) |
| 08:36:05 | × | ash3en quits (~Thunderbi@146.70.124.222) (Ping timeout: 248 seconds) |
| 08:36:05 | ash3en1 | is now known as ash3en |
| 08:36:34 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 08:37:40 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 08:39:41 | × | tnt1 quits (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 08:41:41 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 08:42:55 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:47:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 08:51:35 | → | falafel joins (~falafel@2603:8000:b4f0:62a0:63e5:d847:b650:d9d3) |
| 08:52:04 | → | vpan joins (~vpan@212.117.1.172) |
| 08:52:23 | vpan | is now known as Guest7057 |
| 08:52:34 | Guest7057 | is now known as vpan |
| 08:56:08 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:59:28 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 09:01:58 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 09:05:47 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 09:09:14 | → | Square2 joins (~Square4@user/square) |
| 09:10:46 | × | remexre quits (~remexre@user/remexre) (Ping timeout: 252 seconds) |
| 09:12:19 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 09:13:05 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 09:27:45 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 09:30:25 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:30:49 | × | falafel quits (~falafel@2603:8000:b4f0:62a0:63e5:d847:b650:d9d3) (Remote host closed the connection) |
| 09:31:14 | → | falafel joins (~falafel@2603:8000:b4f0:62a0:af7:9ac2:ca54:3778) |
| 09:33:49 | → | remexre joins (~remexre@user/remexre) |
| 09:34:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 09:35:03 | → | jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 09:36:21 | × | falafel quits (~falafel@2603:8000:b4f0:62a0:af7:9ac2:ca54:3778) (Ping timeout: 276 seconds) |
| 09:39:12 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 09:42:53 | × | jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 09:45:09 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 09:45:17 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:48:01 | → | ash3en1 joins (~Thunderbi@146.70.124.222) |
| 09:48:05 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 248 seconds) |
| 09:48:05 | ash3en1 | is now known as ash3en |
| 09:52:16 | → | jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 09:52:19 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 09:57:14 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:03:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 10:12:20 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 10:14:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:17:56 | → | forell joins (~forell@user/forell) |
| 10:18:58 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 10:26:55 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 244 seconds) |
| 10:29:44 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:30:49 | × | Maxdamantus quits (~Maxdamant@user/maxdamantus) (Ping timeout: 252 seconds) |
| 10:32:55 | → | Maxdamantus joins (~Maxdamant@user/maxdamantus) |
| 10:34:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 10:39:36 | → | ash3en1 joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 10:40:43 | × | ash3en quits (~Thunderbi@146.70.124.222) (Ping timeout: 252 seconds) |
| 10:40:43 | ash3en1 | is now known as ash3en |
| 10:41:35 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 10:45:25 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:49:14 | × | CiaoSen quits (~Jura@2a05:5800:2c2:cc00:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 10:49:46 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 10:50:38 | → | xff0x joins (~xff0x@2405:6580:b080:900:30ee:920a:5b76:45fa) |
| 10:53:36 | → | Unhammer joins (~Unhammer@user/unhammer) |
| 10:54:35 | <Unhammer> | Hi, I'm using postgres-simple and one day saw my app going "libpq: failed (no connection to the server" on every request |
| 10:54:56 | <Unhammer> | and then I noticed from logs that on startup it had said 'SqlError {sqlState = "", sqlExecStatus = FatalError, sqlErrorMsg = "", sqlErrorDetail = "", sqlErrorHint = ""}' |
| 10:55:26 | <Unhammer> | restarting it fixed it, but it seems like the connection was never made on startup, but somehow the app didn't crash |
| 10:56:03 | <Unhammer> | I'm doing `conn <- PG.connectPostgreSQL connstr` before `Warp.run blah` |
| 10:56:19 | <Unhammer> | shouldn't connectPostgreSQL throw an error on SqlError? |
| 10:56:40 | × | zenmov quits (~zenmov@user/zenmov) (Ping timeout: 252 seconds) |
| 10:57:00 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 10:58:10 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:58:23 | → | zenmov joins (~zenmov@user/zenmov) |
| 10:58:40 | <Unhammer> | I mean, it errors out if I give it a fake connstr. But seems like there was some SqlError on that startup (with that very unhelpful sqlErrorMsg) that let it keep going |
| 11:00:15 | ← | Batzy parts (~quassel@user/batzy) (https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 11:00:15 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 11:00:56 | → | j1n37 joins (~j1n37@user/j1n37) |
| 11:01:50 | × | mari-estel quits (~mari-este@user/mari-estel) (Ping timeout: 244 seconds) |
| 11:03:15 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 11:05:31 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 11:06:06 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 11:09:47 | × | AlexZenon quits (~alzenon@5.139.233.0) (Ping timeout: 265 seconds) |
| 11:10:18 | × | AlexNoo quits (~AlexNoo@5.139.233.0) (Ping timeout: 252 seconds) |
| 11:11:11 | → | gmg joins (~user@user/gehmehgeh) |
| 11:11:30 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 11:13:20 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 260 seconds) |
| 11:13:20 | tnt2 | is now known as tnt1 |
| 11:17:18 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:21:28 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 11:22:47 | <Unhammer> | Welp, I put the db connection in an ioref and added a `catch` reconnectAndRetryTheRequestHandlerOnce, hope that fixes it. Have no idea how to reproduce :-/ |
| 11:32:41 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:34:29 | → | AlexZenon joins (~alzenon@5.139.233.0) |
| 11:35:12 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 11:35:43 | → | rvalue joins (~rvalue@user/rvalue) |
| 11:38:06 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 11:39:22 | <haskellbridge> | <magic_rb> If your program encounters "no connection to the server" and keeps going, you have a problem. That should be a fatal error which causes a service restart i think |
| 11:39:33 | <haskellbridge> | <magic_rb> Its not like itll get any better if you encounter that |
| 11:44:16 | <zzz> | what are best resources to learn how to use parsr combinator libraries? |
| 11:46:07 | <geekosaur> | doesn't megaparsec come with a fairly complete tutorial? |
| 11:47:06 | → | SlackCoder joins (~SlackCode@64-94-63-8.ip.weststar.net.ky) |
| 11:50:03 | → | r-sta joins (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) |
| 11:50:23 | <r-sta> | help!! |
| 11:50:24 | <r-sta> | https://paste.tomsmeding.com/yMFHh8dN |
| 11:50:30 | <r-sta> | have least sufficient error |
| 11:50:34 | <r-sta> | so stumped on this! |
| 11:52:30 | <r-sta> | sorry paste had an unavailable import, this version reproduces the error |
| 11:52:31 | <r-sta> | https://paste.tomsmeding.com/z1EBfuiz |
| 11:53:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:54:30 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 11:55:56 | <zzz> | so it does. ty geekosaur |
| 11:57:57 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 11:58:07 | → | CiaoSen joins (~Jura@2a05:5800:2c2:cc00:ca4b:d6ff:fec1:99da) |
| 11:59:14 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:00:10 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 12:01:38 | → | caconym joins (~caconym@user/caconym) |
| 12:03:01 | × | alp quits (~alp@2001:861:8ca0:4940:762c:2982:98c1:d2e7) (Ping timeout: 248 seconds) |
| 12:04:59 | <r-sta> | everything i try just ends up with these mad errors |
| 12:05:00 | <r-sta> | https://paste.tomsmeding.com/HbLvVfbo |
| 12:05:42 | <r-sta> | you give it a constraint, and it demands the constraint at an increased number |
| 12:05:54 | <r-sta> | but it shouldnt always, since sometimes it should match the basecase |
| 12:06:59 | → | sprotte24 joins (~sprotte24@p200300d16f14d100917a50b1fa74278e.dip0.t-ipconnect.de) |
| 12:07:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 12:11:51 | → | Goodbye_Vincent1 joins (cyvahl@freakshells.net) |
| 12:17:00 | → | rvalue- joins (~rvalue@user/rvalue) |
| 12:17:48 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 246 seconds) |
| 12:18:19 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:22:51 | <r-sta> | this works, but it cant map the function that depends on the type |
| 12:22:51 | <r-sta> | https://paste.tomsmeding.com/nLYY8J6d |
| 12:22:58 | <r-sta> | i have to make a class for each function! |
| 12:23:01 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 12:23:11 | <r-sta> | each function to *map* |
| 12:23:22 | <r-sta> | far from polymorphic... |
| 12:23:47 | <r-sta> | i cant get the quantified constraint |
| 12:23:54 | <r-sta> | like, it sequences through a bunch of naturals |
| 12:24:06 | <r-sta> | and in order to recurse, has to pass a function that can depend on any natural |
| 12:24:22 | <r-sta> | i cant pass this function properly! |
| 12:24:43 | <r-sta> | it gets like, restricted to the type at the use site and i cant reinvigorate the recursive call with the polymorphic version from the class |
| 12:24:58 | rvalue- | is now known as rvalue |
| 12:25:06 | <r-sta> | so instead of having to have a class to make the function polymorphic in the Nat |
| 12:25:29 | <r-sta> | now i have to combine the classes together because i cant pass the mapping argument retaining its polymorphicity through the Nat changing recursion |
| 12:25:31 | <r-sta> | !!! |
| 12:25:48 | <r-sta> | and these two classes combining just completely kills the notion of mapping |
| 12:26:19 | <r-sta> | each different mapped function, now not having its own Nat polymorphic class, but being combined with the thing that fails to do the map |
| 12:26:40 | <r-sta> | basically i cant do a higher order mapping function over nats using the quantified constraint for the nat polymorphic class function |
| 12:27:14 | <r-sta> | i have to write a fully recursive definition, without higher order functions, for each different function i want to map |
| 12:27:17 | <r-sta> | this sucks! |
| 12:29:11 | <r-sta> | can anyone explain to me how this could be handled if idk, quantified constraints worked properly or something? |
| 12:29:41 | <r-sta> | i definately feel like it should be able to do this |
| 12:31:56 | × | mari-estel quits (~mari-este@user/mari-estel) () |
| 12:33:41 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:37:08 | → | notzmv joins (~umar@user/notzmv) |
| 12:40:12 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 12:45:06 | × | r-sta quits (~r-sta@sgyl-37-b2-v4wan-168528-cust2421.vm6.cable.virginm.net) (Quit: Client closed) |
| 12:51:42 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:54:15 | → | weary-traveler joins (~user@user/user363627) |
| 12:55:39 | × | AlexZenon quits (~alzenon@5.139.233.0) (Quit: ;-) |
| 12:56:16 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 12:57:22 | × | homo quits (~homo@user/homo) (Quit: homo) |
| 12:58:13 | → | homo joins (~homo@user/homo) |
| 13:00:11 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:01:02 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 13:04:03 | → | lol_ joins (~lol@2603:3016:1e01:b9c0:5004:d446:5b51:cb8b) |
| 13:04:19 | → | swamp_ joins (~zmt00@user/zmt00) |
| 13:04:44 | → | tcard_ joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 13:04:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 13:05:33 | → | ell1 joins (~ellie@user/ellie) |
| 13:06:18 | × | jakesyl_____ quits (sid56879@id-56879.hampstead.irccloud.com) (Ping timeout: 276 seconds) |
| 13:06:18 | × | Pent quits (sid313808@id-313808.lymington.irccloud.com) (Ping timeout: 276 seconds) |
| 13:06:25 | × | sprotte24 quits (~sprotte24@p200300d16f14d100917a50b1fa74278e.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 13:06:39 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
| 13:06:57 | × | albet70 quits (~xxx@2400:8905::f03c:92ff:fe60:98d8) (Ping timeout: 276 seconds) |
| 13:06:57 | → | hiecaq joins (~hiecaq@user/hiecaq) |
| 13:07:01 | × | ell quits (~ellie@user/ellie) (Quit: Ping timeout (120 seconds)) |
| 13:07:01 | ell1 | is now known as ell |
| 13:07:36 | × | jcarpenter2 quits (~lol@2603:3016:1e01:b9c0:d1c1:f93e:7bae:b7b4) (Ping timeout: 276 seconds) |
| 13:07:36 | × | tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Ping timeout: 276 seconds) |
| 13:07:42 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 13:07:47 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 13:08:15 | × | zmt01 quits (~zmt00@user/zmt00) (Ping timeout: 276 seconds) |
| 13:08:40 | → | AlexNoo joins (~AlexNoo@5.139.233.0) |
| 13:10:13 | → | jakesyl_____ joins (sid56879@id-56879.hampstead.irccloud.com) |
| 13:10:26 | → | Pent joins (sid313808@id-313808.lymington.irccloud.com) |
| 13:11:00 | → | AlexZenon joins (~alzenon@5.139.233.0) |
| 13:11:35 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 13:12:43 | → | KicksonButt joins (~quassel@187.21.174.221) |
| 13:13:23 | → | albet70 joins (~xxx@2400:8905::f03c:92ff:fe60:98d8) |
| 13:14:06 | × | CiaoSen quits (~Jura@2a05:5800:2c2:cc00:ca4b:d6ff:fec1:99da) (Ping timeout: 276 seconds) |
| 13:15:41 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 13:19:40 | → | omegatron joins (~some@user/omegatron) |
| 13:20:32 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:22:12 | → | alp joins (~alp@2001:861:8ca0:4940:4155:329b:9129:3e66) |
| 13:24:52 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 13:25:36 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 13:33:40 | × | td_ quits (~td@i5387090C.versanet.de) (Ping timeout: 252 seconds) |
| 13:33:54 | → | acidjnk_new joins (~acidjnk@p200300d6e7283f379cad97adecfeb4b8.dip0.t-ipconnect.de) |
| 13:33:54 | → | td_ joins (~td@i5387090C.versanet.de) |
| 13:35:56 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:37:21 | × | acidjnk quits (~acidjnk@p200300d6e7283f37d9820760ef1b4928.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 13:40:18 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 13:40:27 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 13:44:31 | → | Fischmie- joins (~Fischmiep@user/Fischmiep) |
| 13:45:02 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 252 seconds) |
| 13:46:24 | → | dpratt joins (~dpratt@165.225.220.148) |
| 13:50:43 | → | ystael joins (~ystael@user/ystael) |
| 13:51:19 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:54:56 | × | MyNetAz quits (~MyNetAz@user/MyNetAz) (Ping timeout: 252 seconds) |
| 13:55:08 | × | mari-estel quits (~mari-este@user/mari-estel) () |
| 13:56:21 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 13:57:29 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 14:00:56 | → | weary-traveler joins (~user@user/user363627) |
| 14:01:12 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:01:13 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 14:03:39 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 14:04:13 | ← | hovsater parts (sid499516@user/hovsater) () |
| 14:05:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 14:14:00 | → | MyNetAz joins (~MyNetAz@user/MyNetAz) |
| 14:16:34 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:18:34 | × | dpratt quits (~dpratt@165.225.220.148) (Quit: Client closed) |
| 14:19:30 | × | forell quits (~forell@user/forell) (Ping timeout: 252 seconds) |
| 14:21:05 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 14:25:57 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 248 seconds) |
| 14:26:59 | × | KicksonButt quits (~quassel@187.21.174.221) (Ping timeout: 265 seconds) |
| 14:31:59 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:33:33 | × | youthlic quits (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 14:33:59 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 14:36:46 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 14:41:10 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.4.3) |
| 14:42:40 | → | gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 14:45:45 | → | forell joins (~forell@user/forell) |
| 14:46:10 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 14:47:32 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:48:28 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 14:51:36 | → | EvanR joins (~EvanR@user/evanr) |
| 14:52:08 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 14:53:48 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 14:55:17 | → | jrm2 joins (~jrm@user/jrm) |
| 14:55:34 | × | jrm quits (~jrm@user/jrm) (Read error: Connection reset by peer) |
| 14:57:19 | jrm2 | is now known as jrm |
| 14:59:41 | × | mniip_ quits (mniip@libera/staff/mniip) (Quit: This page is intentionally left blank) |
| 15:00:33 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 248 seconds) |
| 15:02:14 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:07:12 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 15:14:47 | → | mniip joins (mniip@libera/staff/mniip) |
| 15:16:10 | → | OftenFaded joins (~OftenFade@user/tisktisk) |
| 15:17:37 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:19:53 | → | ubert joins (~Thunderbi@2a02:8109:ab8a:5a00:62f4:f7c:cb38:8b6f) |
| 15:21:43 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 15:21:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 15:30:31 | × | vpan quits (~vpan@212.117.1.172) (Quit: Leaving.) |
| 15:32:59 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:33:56 | × | MyNetAz quits (~MyNetAz@user/MyNetAz) (Ping timeout: 252 seconds) |
| 15:39:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 15:43:43 | × | acidjnk_new quits (~acidjnk@p200300d6e7283f379cad97adecfeb4b8.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 15:50:32 | → | A_Dragon joins (A_D@libera/staff/dragon) |
| 15:51:02 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:51:32 | × | sshine quits (~simon@gordian.systems) (Ping timeout: 252 seconds) |
| 15:52:11 | → | weechat2 joins (~weechat@user/dminuoso) |
| 15:53:11 | → | sshine joins (~simon@142.132.168.56) |
| 15:53:44 | × | Arsen quits (arsen@gentoo/developer/managarm.dev.Arsen) (Ping timeout: 252 seconds) |
| 15:53:44 | × | dminuoso quits (~weechat@user/dminuoso) (Ping timeout: 252 seconds) |
| 15:54:00 | weechat2 | is now known as dminuoso |
| 15:54:08 | → | Arsen joins (arsen@gentoo/developer/managarm.dev.Arsen) |
| 15:55:05 | → | loonycyborg_ joins (loonycybor@chantal.wesnoth.org) |
| 15:55:19 | → | acidjnk_new joins (~acidjnk@p200300d6e7283f379cad97adecfeb4b8.dip0.t-ipconnect.de) |
| 15:55:23 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 15:55:34 | × | loonycyborg quits (loonycybor@wesnoth/developer/loonycyborg) (Ping timeout: 252 seconds) |
| 15:57:24 | × | Festive quits (A_D@libera/staff/dragon) (Ping timeout: 608 seconds) |
| 16:03:14 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:05:40 | × | OftenFaded quits (~OftenFade@user/tisktisk) (Ping timeout: 240 seconds) |
| 16:07:40 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 16:10:30 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 16:11:17 | → | OftenFaded joins (~OftenFade@user/tisktisk) |
| 16:13:33 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 16:13:38 | → | sindu joins (~sindu@176.75.224.1) |
| 16:14:08 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 16:15:13 | → | MyNetAz joins (~MyNetAz@user/MyNetAz) |
| 16:18:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:22:41 | × | pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 244 seconds) |
| 16:23:21 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 16:23:28 | × | mrmr155334346318 quits (~mrmr@user/mrmr) (Ping timeout: 265 seconds) |
| 16:26:48 | → | KicksonButt joins (~quassel@187.21.174.221) |
| 16:28:27 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 16:33:59 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:36:11 | → | pabs3 joins (~pabs3@user/pabs3) |
| 16:36:22 | lol_ | is now known as jcarpenter2 |
| 16:38:28 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 16:43:41 | × | hiecaq quits (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 16:45:42 | × | ubert quits (~Thunderbi@2a02:8109:ab8a:5a00:62f4:f7c:cb38:8b6f) (Ping timeout: 265 seconds) |
| 16:46:55 | → | mrmr155334346318 joins (~mrmr@user/mrmr) |
| 16:49:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:53:52 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 16:58:40 | × | haritz quits (~hrtz@user/haritz) (Ping timeout: 260 seconds) |
| 16:59:09 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 16:59:45 | → | haritz joins (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) |
| 16:59:48 | × | haritz quits (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) (Changing host) |
| 16:59:48 | → | haritz joins (~hrtz@user/haritz) |
| 17:01:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:05:29 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 17:08:40 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 17:10:40 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 17:13:42 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 17:19:10 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 17:22:04 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 17:22:33 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:22:41 | × | KicksonButt quits (~quassel@187.21.174.221) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 17:24:55 | × | mrmr155334346318 quits (~mrmr@user/mrmr) (Ping timeout: 260 seconds) |
| 17:25:34 | → | mrmr155334346318 joins (~mrmr@user/mrmr) |
| 17:27:13 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 17:31:02 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 17:31:03 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 17:32:22 | × | mrmr155334346318 quits (~mrmr@user/mrmr) (Ping timeout: 252 seconds) |
| 17:35:45 | → | mrmr155334346318 joins (~mrmr@user/mrmr) |
| 17:36:12 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:37:55 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:42:16 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 17:42:20 | → | califax joins (~califax@user/califx) |
| 17:48:11 | × | user_ quits (~user@user/fmira) (Quit: user_) |
| 17:50:00 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 17:50:03 | → | euphores joins (~SASL_euph@user/euphores) |
| 17:50:22 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 17:53:19 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:54:39 | × | mrmr155334346318 quits (~mrmr@user/mrmr) (Ping timeout: 252 seconds) |
| 17:57:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 17:58:04 | → | KicksonButt joins (~quassel@187.21.174.221) |
| 18:00:33 | × | gentauro quits (~gentauro@user/gentauro) (Ping timeout: 244 seconds) |
| 18:04:32 | → | gentauro joins (~gentauro@user/gentauro) |
| 18:05:17 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:11:58 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 18:13:00 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 18:13:48 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 18:14:12 | <KicksonButt> | Inside a do block, let's say I have the line "x <- readLn". readLn is "readLn :: Read a => IO a". Does x get something of "a" type or of "IO a" type? |
| 18:14:49 | <monochrom> | a |
| 18:14:52 | → | pavonia joins (~user@user/siracusa) |
| 18:15:58 | Lord_of_Life_ | is now known as Lord_of_Life |
| 18:17:28 | × | tv quits (~tv@user/tv) (Ping timeout: 252 seconds) |
| 18:20:18 | → | ft joins (~ft@p508db9c7.dip0.t-ipconnect.de) |
| 18:23:19 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:23:31 | → | __monty__ joins (~toonn@user/toonn) |
| 18:24:32 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:27:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 18:29:44 | × | omegatron quits (~some@user/omegatron) (Quit: Power is a curious thing. It can be contained, hidden, locked away, and yet it always breaks free.) |
| 18:32:54 | × | acidjnk_new quits (~acidjnk@p200300d6e7283f379cad97adecfeb4b8.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 18:34:34 | <tomsmeding> | if you already have f, g and t in use, what type variable does one use for an Applicative? |
| 18:35:29 | <c_wraith> | shake things up and use l |
| 18:35:38 | <tomsmeding> | :p |
| 18:35:51 | <tomsmeding> | for me, 'm' makes the most sense |
| 18:35:58 | <monochrom> | I haven't run into that situation, so I am more serious when I say: try h. |
| 18:36:06 | <c_wraith> | ah, darn. Off by one error. |
| 18:36:29 | <monochrom> | err, s/more/not/ !!! |
| 18:36:48 | <tomsmeding> | yeah 'h' is just confusing here :p |
| 18:37:04 | <c_wraith> | I think I've actually seen h |
| 18:37:10 | <tomsmeding> | it's a map-like function on a data type indexed by some functor f, so it takes a (forall t. f t -> g t) |
| 18:37:24 | <tomsmeding> | using 'h' for the Applicative (i.e. (forall t. f t -> h (g t))) would just be plain confusing |
| 18:37:37 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:37:54 | → | mehlon__ joins (~mehlon__@user/mehlon) |
| 18:38:09 | <tomsmeding> | before FAM, it would be a Monad anyway, so 'm' works fine for me, but given the suggestions it seems it's not as clear-cut as I thought :) |
| 18:38:12 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 18:38:43 | <tomsmeding> | (it's essentially HList) |
| 18:38:48 | <monochrom> | In another context, I actually preemptively use h so that f and g stay available. E.g., rev :: [a] -> [a] is a natural transformation, this means for all h, fmap h . rev = rev . fmap h. Now I can use f and g for something more important. |
| 18:39:13 | <c_wraith> | Like, I've seen people make statements like: Compose f (Compose g h) g === Compose (Compose f g) h a |
| 18:39:30 | <tomsmeding> | c_wraith: oh but that's just continuing the f,g sequence to the next letter |
| 18:39:40 | <tomsmeding> | here, the 'h' would be completely unrelated to f and g |
| 18:39:49 | <c_wraith> | err, pretend one of those 'g's is an a so it's correct. :) |
| 18:39:53 | <tomsmeding> | right |
| 18:40:12 | <tomsmeding> | slistMapA :: Applicative m => (forall t. f t -> m (g t)) -> HList f list -> m (HList g list) |
| 18:40:24 | <monochrom> | I am OK with m too. |
| 18:40:26 | × | mehlon__ quits (~mehlon__@user/mehlon) (Remote host closed the connection) |
| 18:40:45 | <tomsmeding> | (forgot to change the function name, the thing is called SList here) |
| 18:41:25 | <monochrom> | Screw it, go with de Bruijn and be like: (>>=) :: Monad t0 => t0 t1 -> (t1 -> t0 t2) -> t0 t2. |
| 18:41:45 | <tomsmeding> | my ASTs are already De Bruijn |
| 18:41:52 | <monochrom> | :D |
| 18:41:55 | <tomsmeding> | I think that's enough indices in this codebase :p |
| 18:41:57 | <monochrom> | XD |
| 18:42:32 | <monochrom> | At some point one has to include Greek letters too. |
| 18:42:44 | → | tv joins (~tv@user/tv) |
| 18:42:54 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 18:42:55 | <monochrom> | The Lean people do that without hesitation. |
| 18:43:08 | <tomsmeding> | use φ for the Applicative? :p |
| 18:43:13 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:43:34 | <tomsmeding> | Agda people are equally liberal |
| 18:44:47 | × | mari-estel quits (~mari-este@user/mari-estel) () |
| 18:45:11 | <monochrom> | They're like: id :: (α : Type u) -> (a : α) -> α. They don't even worry about "a" and "α" looking too much alike. |
| 18:45:43 | → | rekahsoft joins (~rekahsoft@76.69.85.220) |
| 18:45:51 | <tomsmeding> | do they also do that to 'o'? |
| 18:46:17 | <monochrom> | On the up side, this means that example has not used up "t". |
| 18:46:26 | <tomsmeding> | o ∘ ο |
| 18:46:30 | <monochrom> | I haven't seen them using o. |
| 18:46:40 | <tomsmeding> | (those are three different symbols) |
| 18:47:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 18:49:40 | → | dpratt joins (~dpratt@165.225.220.148) |
| 18:51:20 | <monochrom> | SML actually uses the English letter o for function composition, infix! You write "f o g". In general, SML allows you to declare an alphabetical name infix, then you just go ahead use it infix without extra notation. Another example: Our "a || b" becomes their "a orelse b". |
| 18:51:36 | <monochrom> | "It reads like English, so it's easy to debug." |
| 18:51:48 | <tomsmeding> | does the operator declaration need to precede the usage? |
| 18:52:02 | <monochrom> | I think yes. |
| 18:52:19 | <tomsmeding> | so it doesn't go about re-parsing application chains :p |
| 18:52:39 | <monochrom> | I don't actually know. Didn't read the standard carefully. Just never saw people doing otherwise. |
| 18:52:39 | <tomsmeding> | (like how GHC re-parses operator trees after it has collected all operator declarations) |
| 18:53:07 | <tomsmeding> | that "It reads like English" has to be sarcastic |
| 18:53:14 | <tomsmeding> | look at AppleScript, very readable! |
| 18:53:37 | <monochrom> | Yeah. Have you seen that youtube video promoting COBOL? The quote came from there. |
| 18:53:54 | <tomsmeding> | I have not, and I'm not sure if I want to |
| 18:55:33 | <monochrom> | Then again Haskell people don't normally abuse the validity to declare something 28 years later. |
| 18:57:14 | <monochrom> | (Yesterday at the cinema I was really surprised that the [28-days-later, 28-weeks-later] dare to make the next sequel, 28 Years Later!) |
| 18:57:14 | × | Unhammer quits (~Unhammer@user/unhammer) (Read error: Connection reset by peer) |
| 18:57:38 | <monochrom> | (What's next, 28 Centuries Later?!) |
| 18:57:54 | tomsmeding | is out of the loop |
| 18:58:19 | → | OftenFaded91 joins (~OftenFade@user/tisktisk) |
| 18:58:28 | <monochrom> | Oh it's just more excuses for making moar zombie movies. :) |
| 18:58:34 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:58:34 | <tomsmeding> | ah :p |
| 19:00:15 | × | jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 19:01:12 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 276 seconds) |
| 19:02:04 | <monochrom> | The 28-days-later's premise is this. A person was sick/injured and went into a coma for 28 days. When he woke, it's a zombie world. (It's also just the island nation of Britain, the sea saved the rest of the world.) Then the sequels are just continuations of the human-zombie struggle. |
| 19:02:48 | <tomsmeding> | oh, the Brits again |
| 19:02:51 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 19:04:19 | <monochrom> | On the plus side, that 28-days-coma guy was Cillian Murphy. |
| 19:05:28 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 19:06:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:06:31 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 19:08:38 | × | rekahsoft quits (~rekahsoft@76.69.85.220) (Remote host closed the connection) |
| 19:11:10 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 19:11:56 | → | sprotte24 joins (~sprotte24@p200300d16f14d100e5c9a68ab6a328e8.dip0.t-ipconnect.de) |
| 19:14:25 | <int-e> | where's the symmetric difference in Data.Set when you want it :-/ |
| 19:14:50 | <monochrom> | :) |
| 19:15:28 | <tomsmeding> | @pl \a b -> (a `union` b) `difference` (a `intersect` b) |
| 19:15:28 | <lambdabot> | ap (ap . (difference .) . union) intersect |
| 19:15:33 | <tomsmeding> | surely one can do better than that |
| 19:15:41 | <int-e> | I went with sd s s' = (s `S.difference` s') `S.union` (s' `S.difference` s) |
| 19:16:39 | <int-e> | I'm not using it heavily enough to see a performance, wait for it, difference. |
| 19:17:07 | <tomsmeding> | curry (difference <$> uncurry union <*> uncurry intersection) |
| 19:17:10 | <tomsmeding> | there, much better |
| 19:17:26 | <[exa]> | I think there's no possibility to really skip any elements in either incomming set when computing the symmetric difference, right? in that case you might be much better off doing `toAscList` and running the symmetric difference on the sorted lists. |
| 19:19:05 | × | dpratt quits (~dpratt@165.225.220.148) (Quit: Client closed) |
| 19:19:33 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 19:19:44 | <[exa]> | (the asymmetric S.difference can tree-skip elements of the 2nd parameter when the first parameter is sparse, which substantiates it because that may be much more efficient than doing with just lists) |
| 19:21:40 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:21:42 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 19:22:23 | × | OftenFaded91 quits (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 19:22:46 | → | OftenFaded8 joins (~OftenFade@user/tisktisk) |
| 19:24:45 | <int-e> | [exa]: It's just weird to have one of the 8 reasonable set-combining functions missing from Data.Set. (3 of these are boring: S.empty, pick left set, pick right set; the other 5 are intersection, union, difference (either way), and the symmetric difference) |
| 19:25:29 | <int-e> | but I guess it's easy to implement and not often useful |
| 19:25:34 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 19:25:46 | → | dpratt joins (~dpratt@165.225.220.148) |
| 19:25:57 | <monochrom> | If I may say that the union algorithm (or the intersection algorithm, or the difference algorithm) is "single pass" in some sense, then that algorithm can be easily changed for symmetric difference and remain single-pass. It is still better than going through 3 single-pass operations. |
| 19:25:58 | <dolio> | I've definitely wanted it before. |
| 19:26:02 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 19:26:49 | → | califax joins (~califax@user/califx) |
| 19:27:16 | <monochrom> | I actually had fun inflicting^W teaching that algorithm in a 2nd-year data structure course. >:) |
| 19:27:18 | <[exa]> | monochrom: union is IIRC `"copy" and insert`. I think all of these can somehow avoid the whole pass. |
| 19:27:48 | <monochrom> | No, see the paper https://arxiv.org/abs/1602.02120v3 cited in the doc. |
| 19:28:04 | <monochrom> | It's why the very funny time bound. |
| 19:28:14 | <[exa]> | ahhhhh okaaaaaay |
| 19:29:39 | <monochrom> | The tl;dr is "divide and conquer" but that's easier said than done, so you may still need to briefly see the paper for "but how? in what sense?" |
| 19:30:43 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:31:47 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 19:32:04 | → | acidjnk_new joins (~acidjnk@p200300d6e7283f3760eda8a464161486.dip0.t-ipconnect.de) |
| 19:33:34 | <monochrom> | You know what, alternatively, I have already made slides for it: http://www.cs.utoronto.ca/~trebla/tmp/03-avlunion-l.pdf |
| 19:33:39 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 19:33:40 | ljdarj1 | is now known as ljdarj |
| 19:34:36 | <int-e> | :t M.mergeWithKey |
| 19:34:37 | <lambdabot> | Ord k => (k -> a -> b -> Maybe c) -> (M.Map k a -> M.Map k c) -> (M.Map k b -> M.Map k c) -> M.Map k a -> M.Map k b -> M.Map k c |
| 19:35:01 | <int-e> | (that function can express it if you use `M.Map k ()` instead of `S.Set k`) |
| 19:35:05 | <monochrom> | Yeah basically we need a mergeWithKey for Set. |
| 19:35:52 | <int-e> | (and more, since it can filter keys) |
| 19:37:02 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:37:24 | <monochrom> | My slides includes only union, intersect, subtract. This is, of course, because I leave sym diff for assignment! >:D |
| 19:41:41 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 19:41:48 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 19:45:25 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) |
| 19:50:46 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 19:51:49 | <EvanR> | student is handed the assignment and they object "haskell doesn't have assignments" |
| 19:52:16 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 19:52:26 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:53:36 | <int-e> | EvanR: how eager, they should put it in a thunk and forget about it until asked to hand it in |
| 19:55:02 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 19:55:13 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 19:55:15 | × | dpratt quits (~dpratt@165.225.220.148) (Quit: Client closed) |
| 19:55:23 | A_Dragon | is now known as Festive |
| 19:56:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 19:58:00 | <monochrom> | Haha |
| 19:58:04 | × | pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 265 seconds) |
| 19:59:01 | → | pabs3 joins (~pabs3@user/pabs3) |
| 20:00:01 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 20:00:37 | → | caconym joins (~caconym@user/caconym) |
| 20:01:21 | <EvanR> | been there. When forced to hand it in, I hit rock bottom |
| 20:02:19 | <int-e> | Anyway, this is what I wanted a symmetric difference for: (AoC spoiler) https://paste.tomsmeding.com/2cdLDMEN |
| 20:02:43 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 20:04:51 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 20:07:18 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:07:41 | <iqubic> | @src unfoldr |
| 20:07:41 | <lambdabot> | unfoldr f b = case f b of |
| 20:07:41 | <lambdabot> | Just (a, b') -> a : unfoldr f b' |
| 20:07:41 | <lambdabot> | Nothing -> [] |
| 20:08:02 | <iqubic> | Yep... I literally rewrote unfoldr myself last night |
| 20:13:58 | <EvanR> | for you next task implement unfoldl |
| 20:14:04 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 20:14:24 | <EvanR> | your |
| 20:14:28 | <int-e> | for snoc lists? |
| 20:14:37 | <EvanR> | regular list xD |
| 20:15:27 | <iqubic> | How would unfoldl work? |
| 20:16:16 | <iqubic> | Does Data.Seq have unfoldl and unfoldr? |
| 20:16:17 | <iqubic> | Does Data.Seq have unfoldl and unfoldr? |
| 20:16:19 | <iqubic> | Does Data.Seq have unfoldl and unfoldr? |
| 20:16:21 | <iqubic> | Does Data.Seq have unfoldl and unfoldr? |
| 20:16:24 | <int-e> | unfoldl :: (r -> Maybe (r, a)) -> x -> [a] |
| 20:16:29 | <EvanR> | it would undo foldl! |
| 20:16:31 | → | dpratt joins (~dpratt@165.225.220.148) |
| 20:16:35 | <int-e> | s/x/r/ |
| 20:16:46 | <int-e> | xenaming is too hard. |
| 20:16:57 | <iqubic> | LOL! |
| 20:17:22 | <EvanR> | guessing it won't be very efficient |
| 20:17:55 | <iqubic> | Proably not. |
| 20:18:26 | <int-e> | :t Seq.unfoldl |
| 20:18:27 | <lambdabot> | (b -> Maybe (b, a)) -> b -> Seq.Seq a |
| 20:18:28 | <int-e> | :t Seq.unfoldr |
| 20:18:29 | <lambdabot> | (b -> Maybe (a, b)) -> b -> Seq.Seq a |
| 20:20:06 | <int-e> | > Seq.take 5 (Seq.unfoldr (\() -> Just ((),())) ()) -- this is too much to hope for though |
| 20:20:12 | <lambdabot> | mueval-core: Time limit exceeded |
| 20:21:09 | <EvanR> | semantically, would there be an answer to that even |
| 20:21:23 | <EvanR> | I mean, the showing of the first element at least |
| 20:21:32 | <int-e> | > take 5 (unfoldr (\() -> Just ((),())) ()) |
| 20:21:33 | <lambdabot> | [(),(),(),(),()] |
| 20:21:43 | <EvanR> | oh you did unfoldr |
| 20:22:10 | <EvanR> | Seq underwhelms again |
| 20:22:23 | <int-e> | This proves that Seq is strictly worse than lists. |
| 20:22:30 | <EvanR> | lolololol |
| 20:25:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:27:34 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 20:29:50 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 20:31:08 | → | califax joins (~califax@user/califx) |
| 20:34:52 | × | OftenFaded quits (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 20:35:51 | × | OftenFaded8 quits (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 20:36:11 | → | OftenFaded joins (~OftenFade@user/tisktisk) |
| 20:38:31 | × | OftenFaded quits (~OftenFade@user/tisktisk) (Client Quit) |
| 20:38:49 | → | OftenFaded joins (~OftenFade@user/tisktisk) |
| 20:39:00 | × | Digit quits (~user@user/digit) (Ping timeout: 252 seconds) |
| 20:39:07 | → | __jmcantrell__ joins (~weechat@user/jmcantrell) |
| 20:39:23 | × | OftenFaded quits (~OftenFade@user/tisktisk) (Client Quit) |
| 20:39:51 | → | OftenFaded joins (~OftenFade@user/tisktisk) |
| 20:40:44 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:41:28 | → | weary-traveler joins (~user@user/user363627) |
| 20:41:38 | → | Digit joins (~user@user/digit) |
| 20:42:17 | × | __jmcantrell__ quits (~weechat@user/jmcantrell) (Client Quit) |
| 20:45:51 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 20:54:44 | → | troydm joins (~troydm@user/troydm) |
| 20:56:06 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:57:00 | → | rstromlund joins (~user@user/rstromlund) |
| 20:59:27 | <rstromlund> | glguy, I got my haskell-mode working w/ interactive sessions. I'd guessed there had to be a way for the mode to correlate the hs file w/ a target. It is `haskell-session-change-target`; it can use TAB completion to select the target. That seems to have fixed all my issues. Thanks for looking things over. |
| 20:59:56 | <glguy> | rstromlund: Does that mean you have to manually set it each time or does it remember? |
| 21:00:38 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 21:01:22 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 21:01:28 | × | dpratt quits (~dpratt@165.225.220.148) (Quit: Client closed) |
| 21:03:36 | × | troydm quits (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 21:05:22 | → | __jmcantrell__ joins (~weechat@user/jmcantrell) |
| 21:05:48 | jmcantrell | is now known as Guest7434 |
| 21:05:48 | × | Guest7434 quits (644f1bed9a@user/jmcantrell) (Killed (copper.libera.chat (Nickname regained by services))) |
| 21:05:48 | __jmcantrell__ | is now known as jmcantrell |
| 21:05:58 | → | jmcantrell_ joins (644f1bed9a@user/jmcantrell) |
| 21:09:14 | <Leary> | tomsmeding: Personally, I won't use `t` for anything but `Traversable` or `m` for anything but `Monad`. It's gotta be `h`! In fact I already have this sitting around: `htraverse :: Applicative g => (forall x. c x => f x -> g (h x)) -> HList c f xs -> g (HList c h xs)`. |
| 21:10:26 | <Leary> | Re symmetric difference, the `Set` operation I've wanted several times is actually `differences :: Ord a => Set a -> Set a -> (Set a, Set a)` or even `venn :: Ord a => Set a -> Set a -> (Set a, Set a, Set a)` where `venn a b = (a \ b, a /\ b, b \ a)` but faster. |
| 21:11:13 | <rstromlund> | I haven't restarted emacs, but I don't think it remembers. This only effects multi-executable cabals. If there is 1 target, then it figures it all out. I suppose w/o a target set, that is why it spammed all targets. It just didn't know. So as I progress from day-2-day, I have to update my target. |
| 21:11:17 | <jle`> | tomsmeding: there was that one blog post recently, a list of common one-letter haskell variable names |
| 21:11:20 | <jle`> | and their conventions |
| 21:11:28 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:11:53 | <rstromlund> | When I get some time, I am going to look into if there is an auto-target mechanism or not. |
| 21:12:11 | <tomsmeding> | Leary: yeah 't' is a bad choice for Applicative for sure |
| 21:12:40 | <Leary> | jle`, tomsmeding: Indeed; jackdk's http://jackkelly.name/blog/archives/2024/10/12/a_dictionary_of_single-letter_variable_names/ |
| 21:12:44 | <tomsmeding> | but that f->h transform with a 'g' applicative is certainly daring! |
| 21:13:26 | <Leary> | It's a coin toss for me whethere `g` and `h` should be swapped there. |
| 21:13:27 | <tomsmeding> | Leary: do you really fundamentally see monads and applicative functors as distinct things? |
| 21:13:31 | <tomsmeding> | do you use them for different purposes? |
| 21:13:46 | <jle`> | Leary: thanks! |
| 21:14:11 | <tomsmeding> | jle`: right, I'd seen that one, but I remember reading through it and thinking, at all entries, "yeah that roughly corresponds to how I'd use them" |
| 21:14:18 | <tomsmeding> | so nothing new learned, in my case :p |
| 21:14:31 | <tomsmeding> | except for stuff I never use anyway, I guess |
| 21:14:55 | <jle`> | in that case, you are probably on the cusp of where convention ends :') |
| 21:15:04 | <tomsmeding> | I have never consciously used a type that is Applicative but not Monad for effects |
| 21:15:05 | <monochrom> | Hot take: (<*>) :: Applicative a => a (α -> β) -> a α -> a β. |
| 21:15:47 | <jle`> | i usually use applicatives-but-not-monads for accumulating stuff |
| 21:16:02 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 21:16:13 | <jle`> | i've used q as a *->* before, it seems to be devoid of meaning enough |
| 21:16:14 | <tomsmeding> | like error accumulation, Validation style? |
| 21:16:21 | <jle`> | tomsmeding: like Writer w, Const w |
| 21:16:27 | <tomsmeding> | but those are monads! |
| 21:16:37 | <monochrom> | But mine just converts the real issue to "I have used up a and b for two Applicative instances, I have a 3rd one, should I call it c?" :) |
| 21:16:38 | <tomsmeding> | sure I use <$> <*> all the time too |
| 21:16:42 | <jle`> | ah yeah i would use them but not for their Monad instances |
| 21:17:00 | <jle`> | like for functions that are polymorphic over all Applicatives. like traversals in lens |
| 21:17:01 | <tomsmeding> | monochrom: no that's a category ;) |
| 21:17:08 | <monochrom> | :( XD |
| 21:17:34 | <tomsmeding> | jle`: sure, if I write a function like the above that needs only Applicative, I dutifully give it the more general constraint. But I've never actually _used_ that |
| 21:17:48 | <tomsmeding> | I guess the one time might be that time I tried out optparse-applicative |
| 21:17:50 | <jle`> | it happens a lot with optics |
| 21:18:02 | <Leary> | tomsmeding: I kinda do? It's not really a matter of what the tyvar is ultimately instantiated at (and whether or not it also has `Monad`), they're just separate concepts in the abstract. `Applicative`s for `traverse`-like things and non-ordered things, `Monad`s for sequencing. |
| 21:18:18 | <monochrom> | Compactness Theorem for Identifiers: Every convention runs out of letters in finite time. |
| 21:18:27 | tomsmeding | doesn't use lenses/optics, perhaps that's the problem |
| 21:18:37 | <tomsmeding> | Leary: I guess |
| 21:18:44 | <tomsmeding> | that makes sense |
| 21:18:52 | <jle`> | i mean it's not quite a "problem" :) |
| 21:19:01 | <tomsmeding> | :p |
| 21:19:09 | <jle`> | you have less problems than people who do use optics/lenses for sure |
| 21:19:18 | <tomsmeding> | sounds like a certain regex joke |
| 21:19:23 | <monochrom> | Wait, have you considered the extended convention ff, fg, gf, gg? |
| 21:19:39 | <tomsmeding> | monochrom: can always go Excel style, aa ab |
| 21:19:43 | <jle`> | haha |
| 21:19:46 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 21:19:46 | jmcantrell_ | is now known as jmcantrell |
| 21:19:46 | <monochrom> | Yeah, like that. |
| 21:19:58 | <monochrom> | Excellent |
| 21:20:00 | <jle`> | yeah if i have multiple f/g's and they get transformed then f' and g' make sense |
| 21:20:09 | <tomsmeding> | ooh |
| 21:20:29 | <tomsmeding> | hlistMap :: Applicative f => (forall t. g t -> g' t) -> HList g list -> f (HList g' list) |
| 21:20:35 | <jle`> | bihoist :: (forall x. f x -> f' x) -> (forall x. g x -> g' x) -> q f g a -> q f' g' a |
| 21:20:51 | <tomsmeding> | I still don't like the fact that this makes it look like f and g are related (they aren't at all) |
| 21:21:10 | <tomsmeding> | yeah with that bihoist it makes perfect sense |
| 21:21:27 | <jle`> | ah yeah i guess there's the unfortunate f and g association |
| 21:21:29 | <tomsmeding> | because f and g are related |
| 21:21:46 | <tomsmeding> | (they are similar, and the same kind of thing is done to them) |
| 21:22:34 | <tomsmeding> | monochrom: re your compactness theorem: perhaps we should go java |
| 21:22:49 | <jle`> | yeah i throw in q sometimes for that |
| 21:22:54 | <jle`> | like i just did naturally there |
| 21:23:01 | <jle`> | s/naturally/without thinking |
| 21:23:07 | <tomsmeding> | hlistMap :: Applicative applicative => (forall typ. sourceFunctor typ -> targetFunctor typ) -> HList sourceFunctor list -> applicative (HList targetFunctor list) |
| 21:23:10 | <tomsmeding> | not sure what to make of typ |
| 21:23:39 | <tomsmeding> | jle`: I was assuming that 'q' made some sense in context :) |
| 21:23:40 | <jle`> | hlistMap :: Applicative f => (forall x. q x -> q' x) -> HList q as -> f (HList q' as) |
| 21:23:52 | <tomsmeding> | I... guess? |
| 21:24:31 | <tomsmeding> | it works |
| 21:24:35 | <jle`> | surely there should be some HKD conventions...but i think they are mostly f/g |
| 21:24:42 | <tomsmeding> | which clash here :p |
| 21:24:52 | <jle`> | i'm trying to look in other HKD libraries |
| 21:25:03 | <tomsmeding> | I'm not sure this is really worth >10mins of discussion |
| 21:25:47 | <jle`> | lol this library uses e for the Applicative |
| 21:25:49 | <jle`> | https://hackage.haskell.org/package/barbies-2.1.1.0/docs/Data-Functor-Barbie.html#v:btraverse |
| 21:25:51 | <jle`> | i really do not like that |
| 21:25:59 | <tomsmeding> | https://github.com/eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee/eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee |
| 21:26:12 | <jle`> | i mean i am not morally opposed to it, i just wouldn't have thought of it |
| 21:26:20 | <jle`> | i guess 'e' makes sense in that it comes before 'f' lol |
| 21:26:36 | <tomsmeding> | but it doesn't even come before f in the type, it comes before g! |
| 21:26:51 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:27:05 | <jle`> | btraverse :: Applicative e => (forall a. f a -> e (g a)) -> b f -> e (b g) |
| 21:27:13 | <tomsmeding> | I guess it makes sense that in a library like this you _have_ to choose some distinct letter |
| 21:28:32 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Remote host closed the connection) |
| 21:28:35 | <jle`> | tomsmeding: i meant that it's like "e, f, g": e is the 0th functor mentioned, f is the 1st functor mentioned, g is the 2nd functor mentioned |
| 21:28:41 | <jle`> | forall f g. vs forall e f g. |
| 21:28:44 | <jle`> | has a bit of a rhyme to it |
| 21:28:44 | <tomsmeding> | I know :p |
| 21:28:55 | <jle`> | i'm in board now |
| 21:28:59 | <jle`> | on board |
| 21:29:05 | <tomsmeding> | en board? |
| 21:29:27 | <jle`> | just kidding though, it'd be like using `w` for a *-typed variable before x |
| 21:29:34 | <jle`> | which ... i guess they do in math sometimes? |
| 21:29:44 | <tomsmeding> | xyzwuv ordering? |
| 21:29:53 | <jle`> | i've always used w :: * for monoids although i don't really know why |
| 21:30:10 | <tomsmeding> | because you Write to it? |
| 21:30:23 | <jle`> | ah yeah that makes sense |
| 21:30:37 | <jle`> | i was also thinking m would clash with Monads and w is an upside-down m |
| 21:30:43 | <pja> | Is there a haskell aoc channel this year? |
| 21:30:45 | <jle`> | that's why w is the convention for comonads i guess ... |
| 21:30:46 | <tomsmeding> | w is also Comonad |
| 21:30:49 | <geekosaur> | I've certainly seen xyzw in multiple contexts, usually with some mathematical context (e.g. physics) |
| 21:30:52 | <tomsmeding> | (which I've never ever used) |
| 21:31:12 | <geekosaur> | and fwiw I always just use a with Monoid because what's the point? |
| 21:31:26 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 21:31:41 | <jle`> | foldMap :: Monoid b => (a -> b) -> f a -> b ? feels mrong |
| 21:31:51 | <tomsmeding> | :t foldMap |
| 21:31:52 | <lambdabot> | (Foldable t, Monoid m) => (a -> m) -> t a -> m |
| 21:32:13 | <tomsmeding> | look at them unashamedly using 'm' |
| 21:32:29 | <geekosaur> | ah, but base is semi-famous for using m for both Monoid and Monad |
| 21:32:48 | <geekosaur> | usually m is prefix for Monoid, but see mzero |
| 21:32:55 | <monochrom> | I have to extend that to stuvwxyz because when I present a proof of why Dijkstra's shortest path algorithm is correct, there are too many vertices in consideration. |
| 21:33:05 | <geekosaur> | consistency is not base's strongest suit |
| 21:33:58 | tomsmeding | is just going to use 'Applicative m' and darn it all :) |
| 21:34:11 | <tomsmeding> | certainly not 'e' |
| 21:34:17 | <int-e> | you could use m'and'darn'it'all |
| 21:34:23 | <tomsmeding> | I could |
| 21:34:31 | <geekosaur> | "thingy" |
| 21:34:45 | <int-e> | fuzzyThingy |
| 21:34:55 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) |
| 21:34:57 | <tomsmeding> | notQuiteFuzzyThingy |
| 21:35:06 | <tomsmeding> | would be more accurate |
| 21:35:25 | <int-e> | furlessMonad? |
| 21:35:52 | <tomsmeding> | let's abbreviate that to 'furl' |
| 21:36:01 | <tomsmeding> | good name for an applicative |
| 21:36:03 | <int-e> | . o O ( purr :: Applicative f => a -> f a ) |
| 21:36:58 | × | michalz quits (~michalz@185.246.207.221) (Remote host closed the connection) |
| 21:40:27 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
| 21:42:14 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:44:03 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) (Ping timeout: 244 seconds) |
| 21:44:58 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection) |
| 21:45:53 | × | SlackCoder quits (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
| 21:48:59 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 21:56:42 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 276 seconds) |
| 21:58:17 | → | mange joins (~user@user/mange) |
| 22:00:16 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:01:52 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 22:04:47 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 22:05:11 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Quit: Lost terminal) |
| 22:06:18 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-06-76-69-85-220.dsl.bell.ca) |
| 22:10:47 | → | Square3 joins (~Square4@user/square) |
| 22:11:00 | × | rstromlund quits (~user@user/rstromlund) (Ping timeout: 276 seconds) |
| 22:11:02 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 22:11:35 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 22:12:58 | <hellwolf> | : o = id |
| 22:13:12 | <hellwolf> | :t o . o |
| 22:13:13 | <lambdabot> | error: |
| 22:13:13 | <lambdabot> | • Couldn't match expected type ‘b0 -> c’ with actual type ‘Expr’ |
| 22:13:13 | <lambdabot> | • In the first argument of ‘(.)’, namely ‘o’ |
| 22:13:29 | × | Square2 quits (~Square4@user/square) (Ping timeout: 260 seconds) |
| 22:13:52 | <int-e> | :t id . id |
| 22:13:53 | <lambdabot> | c -> c |
| 22:14:09 | <int-e> | :t o |
| 22:14:24 | <lambdabot> | Expr |
| 22:14:45 | <hellwolf> | :t ^ . ^ |
| 22:14:45 | <lambdabot> | error: parse error on input ‘^’ |
| 22:14:52 | <hellwolf> | :t (^) . (^) |
| 22:14:53 | <lambdabot> | (Integral b1, Integral b2, Num a, Num (b2 -> a)) => a -> b1 -> b2 -> a |
| 22:15:02 | <int-e> | > o + 42 -- that `o` is for things like this |
| 22:15:04 | <lambdabot> | o + 42 |
| 22:15:28 | <hellwolf> | :t _ . _ |
| 22:15:34 | <lambdabot> | error: |
| 22:15:34 | <lambdabot> | • Found hole: _ :: b0 -> c |
| 22:15:34 | <lambdabot> | Where: ‘b0’ is an ambiguous type variable |
| 22:15:37 | <int-e> | (see also https://hackage.haskell.org/package/simple-reflect ) |
| 22:15:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:17:34 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 22:19:07 | <hellwolf> | errr hmmm, what |
| 22:19:51 | <hellwolf> | > sum [1..5] :: Expr |
| 22:19:53 | <lambdabot> | 0 + 1 + 2 + 3 + 4 + 5 |
| 22:20:26 | <hellwolf> | aha, you have bunch of instances for Expr |
| 22:20:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 22:21:14 | <hellwolf> | highly polymorphic, hardly comprehensible. Haskell ™ |
| 22:22:19 | <hellwolf> | > foldr1 f [a,b,c] |
| 22:22:20 | <lambdabot> | f a (f b c) |
| 22:22:26 | <hellwolf> | > foldr1 f [] |
| 22:22:27 | <lambdabot> | error: |
| 22:22:27 | <lambdabot> | • Ambiguous type variable ‘a0’ arising from a use of ‘show_M508612977902... |
| 22:22:27 | <lambdabot> | prevents the constraint ‘(Show a0)’ from being solved. |
| 22:22:38 | <hellwolf> | > foldr1 f ([] :: [Int]) |
| 22:22:39 | <lambdabot> | error: |
| 22:22:39 | <lambdabot> | • No instance for (FromExpr Int) arising from a use of ‘f’ |
| 22:22:39 | <lambdabot> | • In the first argument of ‘foldr1’, namely ‘f’ |
| 22:22:52 | <hellwolf> | > foldr1 f ([] :: [Expr]) |
| 22:22:54 | <lambdabot> | *Exception: Prelude.foldr1: empty list |
| 22:23:09 | <hellwolf> | great. actually, I have never used foldr1. why would you ever use it? |
| 22:25:44 | <glguy> | you'd use it when there isn't a "zero" element for your fold |
| 22:26:24 | <hellwolf> | that's what's on the label. but it doesn't say what's the benefit of using it, a partial function. |
| 22:26:52 | <glguy> | Lots of stuff is partial, that's not the most important part |
| 22:27:12 | <glguy> | The benefit is that sometimes that's exactly what you need; there isn't a value to start the fold with |
| 22:27:54 | × | iteratee quits (~kyle@162.218.222.207) (Read error: Connection reset by peer) |
| 22:27:56 | <Leary> | It's perfectly safe on non-empty data, for which we have `Foldable1` when it's statically known. |
| 22:28:09 | → | iteratee joins (~kyle@162.218.222.207) |
| 22:28:17 | → | AlexNoo_ joins (~AlexNoo@5.139.233.0) |
| 22:28:49 | <Leary> | When non-emptiness is not statically known, the alternative is to `unsnoc` the list and `foldr` on the results, but that may simply be too inefficient. |
| 22:28:59 | × | AlexNoo quits (~AlexNoo@5.139.233.0) (Read error: Connection reset by peer) |
| 22:29:19 | <Leary> | Well, `unsnoc` the `Foldable`, which might not be possible anyway. |
| 22:29:42 | × | anpad quits (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 22:30:34 | → | anpad joins (~pandeyan@user/anpad) |
| 22:30:36 | <hellwolf> | refreshing my memory, what's the combination for Foldable + Monoid, where base case is mempty? |
| 22:30:45 | <hellwolf> | foldMap? |
| 22:30:57 | <hellwolf> | :t foldMap |
| 22:30:58 | <lambdabot> | (Foldable t, Monoid m) => (a -> m) -> t a -> m |
| 22:31:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:31:01 | <hellwolf> | :t foldr1 |
| 22:31:02 | <lambdabot> | Foldable t => (a -> a -> a) -> t a -> a |
| 22:31:41 | <c_wraith> | :t fold |
| 22:31:42 | <lambdabot> | (Foldable t, Monoid m) => t m -> m |
| 22:31:49 | <c_wraith> | Is that the one you were looking for? |
| 22:33:15 | <hellwolf> | sorta. I was learning about foldr1. |
| 22:34:18 | <hellwolf> | and Debug.SimpleReflect |
| 22:34:23 | <hellwolf> | where I found foldr1 |
| 22:34:36 | <hellwolf> | * the usage of |
| 22:35:12 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 22:35:46 | → | rstromlund joins (~user@user/rstromlund) |
| 22:36:19 | <hellwolf> | > [1] @@ [2] |
| 22:36:20 | <lambdabot> | error: |
| 22:36:20 | <lambdabot> | • Couldn't match expected type ‘Expr’ with actual type ‘[a0]’ |
| 22:36:20 | <lambdabot> | • In the first argument of ‘(@@)’, namely ‘[1]’ |
| 22:36:35 | <hellwolf> | > sum [1..2] @@ sum [3..4] |
| 22:36:37 | <lambdabot> | (0 + 1 + 2) @@ (0 + 3 + 4) |
| 22:37:13 | × | cheater quits (~Username@user/cheater) (Remote host closed the connection) |
| 22:39:30 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 22:43:08 | × | KicksonButt quits (~quassel@187.21.174.221) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 22:46:23 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:50:49 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 22:50:57 | × | xff0x quits (~xff0x@2405:6580:b080:900:30ee:920a:5b76:45fa) (Ping timeout: 248 seconds) |
| 22:57:49 | → | __jmcantrell__ joins (~weechat@user/jmcantrell) |
| 22:58:07 | jmcantrell | is now known as Guest7249 |
| 22:58:07 | × | Guest7249 quits (644f1bed9a@user/jmcantrell) (Killed (lead.libera.chat (Nickname regained by services))) |
| 22:58:07 | __jmcantrell__ | is now known as jmcantrell |
| 22:58:16 | → | jmcantrell_ joins (644f1bed9a@user/jmcantrell) |
| 23:00:29 | <jle`> | tomsmeding: you could use something like ƒ maybe |
| 23:00:59 | tomsmeding | looks at jle` |
| 23:01:02 | × | sindu quits (~sindu@176.75.224.1) (Ping timeout: 244 seconds) |
| 23:01:39 | × | turlando quits (~turlando@user/turlando) (Quit: No Ping reply in 180 seconds.) |
| 23:01:46 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:02:06 | → | xff0x joins (~xff0x@2405:6580:b080:900:30ee:920a:5b76:45fa) |
| 23:03:04 | → | turlando joins (~turlando@user/turlando) |
| 23:05:18 | × | rstromlund quits (~user@user/rstromlund) (Ping timeout: 252 seconds) |
| 23:06:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 23:11:32 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 23:11:48 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:15:23 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:15:52 | → | falafel joins (~falafel@2603:8000:b4f0:62a0:8070:b236:970b:b0e8) |
| 23:16:25 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.4.4) |
| 23:16:25 | jmcantrell_ | is now known as jmcantrell |
| 23:16:39 | × | Square3 quits (~Square4@user/square) (Ping timeout: 252 seconds) |
| 23:16:46 | → | __jmcantrell__ joins (~weechat@user/jmcantrell) |
| 23:16:58 | jmcantrell | is now known as Guest9471 |
| 23:16:58 | × | Guest9471 quits (644f1bed9a@user/jmcantrell) (Killed (osmium.libera.chat (Nickname regained by services))) |
| 23:16:58 | __jmcantrell__ | is now known as jmcantrell |
| 23:17:08 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:17:09 | → | jmcantrell_ joins (644f1bed9a@user/jmcantrell) |
| 23:19:39 | → | Square joins (~Square@user/square) |
| 23:22:31 | jle` | looks back |
| 23:22:42 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.4.4) |
| 23:22:43 | jmcantrell_ | is now known as jmcantrell |
| 23:23:01 | × | haskellbridge quits (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 23:23:49 | → | haskellbridge joins (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 23:23:49 | ChanServ | sets mode +v haskellbridge |
| 23:24:01 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 23:24:29 | → | __jmcantrell__ joins (~weechat@user/jmcantrell) |
| 23:24:29 | jmcantrell | is now known as Guest7045 |
| 23:24:29 | × | Guest7045 quits (644f1bed9a@user/jmcantrell) (Killed (osmium.libera.chat (Nickname regained by services))) |
| 23:24:29 | __jmcantrell__ | is now known as jmcantrell |
| 23:24:38 | → | jmcantrell_ joins (644f1bed9a@user/jmcantrell) |
| 23:30:42 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 23:35:10 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:39:47 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 23:50:32 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:52:21 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 23:52:21 | jmcantrell_ | is now known as jmcantrell |
| 23:55:10 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 23:59:06 | × | acidjnk_new quits (~acidjnk@p200300d6e7283f3760eda8a464161486.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
All times are in UTC on 2024-12-12.