| 2026-05-04 00:01:59 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-05-04 00:04:03 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:3f29:469e:aa3a:4065) (Ping timeout: 244 seconds) |
| 2026-05-04 00:07:48 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:f88b:9b4e:2a64:f618) |
| 2026-05-04 00:14:11 +0000 | r1bilski_ | (~r1bilski@user-46-112-240-248.play-internet.pl) |
| 2026-05-04 00:14:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-04 00:16:34 +0000 | r1bilski | (~r1bilski@user/r1bilski) (Ping timeout: 245 seconds) |
| 2026-05-04 00:18:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-04 00:23:04 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:f88b:9b4e:2a64:f618) (Ping timeout: 244 seconds) |
| 2026-05-04 00:31:11 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-04 00:32:21 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-05-04 00:33:27 +0000 | califax | (~califax@user/califx) califx |
| 2026-05-04 00:35:34 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-05-04 00:39:31 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e5845f74d96658198a8e.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2026-05-04 00:39:46 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:9bb9:29e8:a9c9:d704) |
| 2026-05-04 00:40:17 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:9bb9:29e8:a9c9:d704) (Client Quit) |
| 2026-05-04 00:44:56 +0000 | puke | (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-05-04 00:46:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-04 00:53:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-04 00:57:02 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:9bb9:29e8:a9c9:d704) |
| 2026-05-04 00:59:20 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-05-04 01:03:38 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:9bb9:29e8:a9c9:d704) (Quit: ricardomaps) |
| 2026-05-04 01:08:59 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-05-04 01:09:10 +0000 | califax | (~califax@user/califx) califx |
| 2026-05-04 01:10:24 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:9bb9:29e8:a9c9:d704) |
| 2026-05-04 01:23:21 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-05-04 01:29:49 +0000 | ricmaps | (~ricardoma@2804:14d:a040:81ea:d00e:4389:afd3:19e) |
| 2026-05-04 01:33:26 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:9bb9:29e8:a9c9:d704) (Ping timeout: 244 seconds) |
| 2026-05-04 01:47:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-04 01:52:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-04 02:00:37 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-05-04 02:01:52 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-05-04 02:03:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-04 02:08:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-05-04 02:09:00 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 246 seconds) |
| 2026-05-04 02:19:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-04 02:23:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-04 02:24:35 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-05-04 02:35:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-04 02:38:13 +0000 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2026-05-04 02:39:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-04 02:42:12 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-05-04 02:42:40 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-05-04 02:48:23 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-05-04 02:48:38 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-05-04 02:48:59 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-05-04 02:52:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-04 02:59:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-04 03:14:09 +0000 | sp1ff | (~user@2601:1c2:4080:14c0::6eb4) sp1ff |
| 2026-05-04 03:23:16 +0000 | auri | (~auri@fsf/member/auri) () |
| 2026-05-04 03:28:18 +0000 | Axma64223 | (~Axman6@user/axman6) Axman6 |
| 2026-05-04 03:28:52 +0000 | Axman6 | (~Axman6@user/axman6) (Read error: Connection reset by peer) |
| 2026-05-04 03:29:21 +0000 | Axma64223 | Axman6 |
| 2026-05-04 03:30:45 +0000 | ricmaps | (~ricardoma@2804:14d:a040:81ea:d00e:4389:afd3:19e) (Quit: ricmaps) |
| 2026-05-04 03:33:44 +0000 | Axma82764 | (~Axman6@user/axman6) Axman6 |
| 2026-05-04 03:33:49 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2026-05-04 03:35:03 +0000 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 255 seconds) |
| 2026-05-04 03:39:41 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-05-04 03:53:12 +0000 | auri | (~auri@fsf/member/auri) auri |
| 2026-05-04 04:01:00 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2026-05-04 04:04:22 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2026-05-04 04:13:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-04 04:17:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-04 04:28:48 +0000 | layline_ | layline-away |
| 2026-05-04 04:29:03 +0000 | layline-away | (~layline@149.154.26.170) (Quit: ZZZzzz…) |
| 2026-05-04 04:29:46 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-04 04:30:28 +0000 | berberman | (~berberman@user/berberman) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-05-04 04:30:57 +0000 | tzh_ | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: Leaving) |
| 2026-05-04 04:31:09 +0000 | berberman | (~berberman@user/berberman) berberman |
| 2026-05-04 04:34:16 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-05-04 04:47:41 +0000 | craunts795335385 | (~craunts@152.32.100.66) (Quit: The Lounge - https://thelounge.chat) |
| 2026-05-04 04:47:45 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-04 04:48:02 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-04 04:48:50 +0000 | craunts795335385 | (~craunts@152.32.100.66) |
| 2026-05-04 04:51:22 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-04 04:52:21 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-05-04 05:03:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-04 05:09:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-04 05:14:33 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 255 seconds) |
| 2026-05-04 05:14:50 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-04 05:17:39 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-05-04 05:38:28 +0000 | <haskellbridge> | <Liamzee> just curious, how long does it take for Haskellers to get authn and authz up if they're not using Yesod or IHP? |
| 2026-05-04 05:41:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-04 05:44:38 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Quit: tnt1) |
| 2026-05-04 05:45:12 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-04 05:46:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-04 05:50:42 +0000 | <[exa]> | Liamzee: tbh usually like a month or so, mostly spent waiting for the ideal time to finally to write down these 25 annoying lines of code |
| 2026-05-04 05:51:36 +0000 | <[exa]> | tomsmeding: 4rps isn't really noticeable is it |
| 2026-05-04 05:52:29 +0000 | <[exa]> | tomsmeding: btw does the ircbrowse (or this thing) have any sort of search? |
| 2026-05-04 05:54:49 +0000 | foul_owl | (~kerry@94.156.149.94) (Read error: Connection reset by peer) |
| 2026-05-04 05:58:13 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 276 seconds) |
| 2026-05-04 05:58:20 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-04 06:02:37 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-05-04 06:09:32 +0000 | lol_ | (~lol@96.78.87.197) |
| 2026-05-04 06:10:17 +0000 | Xe | (~Xe@perl/impostor/xe) (Ping timeout: 248 seconds) |
| 2026-05-04 06:11:15 +0000 | jcarpenter2 | (~lol@96.78.87.197) (Ping timeout: 255 seconds) |
| 2026-05-04 06:11:16 +0000 | <haskellbridge> | <Liamzee> [exa]: so, if someone had a gun to their head, or was being promised an outrageous amount of money, 1 hour + testing? |
| 2026-05-04 06:12:09 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-05-04 06:12:10 +0000 | Xe | (~Xe@perl/impostor/xe) Xe |
| 2026-05-04 06:12:26 +0000 | foul_owl | (~kerry@94.156.149.90) foul_owl |
| 2026-05-04 06:13:06 +0000 | michalz | (~michalz@185.246.207.203) |
| 2026-05-04 06:15:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-04 06:20:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-04 06:21:22 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-04 06:21:58 +0000 | gf311 | (~gf3@user/gf3) gf3 |
| 2026-05-04 06:23:48 +0000 | gf31 | (~gf3@user/gf3) (Ping timeout: 246 seconds) |
| 2026-05-04 06:23:48 +0000 | gf311 | gf31 |
| 2026-05-04 06:27:58 +0000 | tromp | (~textual@2001:1c00:340e:2700:f49a:e662:9978:273a) |
| 2026-05-04 06:29:09 +0000 | <[exa]> | Liamzee: like, depends on complexity, I wouldn't like to start poking into the perils of oauth in such situation |
| 2026-05-04 06:33:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-04 06:33:13 +0000 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2026-05-04 06:37:21 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-05-04 06:37:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-04 06:43:44 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) CiaoSen |
| 2026-05-04 06:50:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-04 06:52:44 +0000 | chele | (~chele@user/chele) chele |
| 2026-05-04 06:54:56 +0000 | <davean> | Liamzee: https://github.com/Simspace/avaleryar sadly some of the best authz stuff isn't super actively worked on. |
| 2026-05-04 06:57:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-04 07:07:26 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-05-04 07:09:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-04 07:12:48 +0000 | <EvanR> | chad webdev who has created servicable auth from scratch a dozen times says 5 minutes |
| 2026-05-04 07:13:05 +0000 | <EvanR> | 6 of which has become entrenched and unfixable |
| 2026-05-04 07:14:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-04 07:14:22 +0000 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2026-05-04 07:16:27 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 265 seconds) |
| 2026-05-04 07:16:36 +0000 | Axma82764 | Axman6 |
| 2026-05-04 07:16:47 +0000 | <haskellbridge> | <Liamzee> groan, honestly, i should just admit for what i want to do, given my skills and my budget, i should just give up the ghost and not try to use haskell for it |
| 2026-05-04 07:19:54 +0000 | fp1 | (~Thunderbi@wireless-86-50-140-64.open.aalto.fi) fp |
| 2026-05-04 07:20:09 +0000 | <[exa]> | Liamzee: yeah that's the question, what do you want to do actually? (probably not to write a completely isolated standalone authN/Z helper?) |
| 2026-05-04 07:24:40 +0000 | fp1 | (~Thunderbi@wireless-86-50-140-64.open.aalto.fi) (Ping timeout: 276 seconds) |
| 2026-05-04 07:45:43 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-04 08:03:24 +0000 | <tomsmeding> | [exa]: 4rps isn't really noticeable no, but it was noticable with ircbrowse; that's one of the reasons of tirclogv existing |
| 2026-05-04 08:04:39 +0000 | <tomsmeding> | [exa]: re search: original ircbrowse had search if I bothered to set up Sphinx, which together with postgres was just too much overkill for a log viewer |
| 2026-05-04 08:04:46 +0000 | <tomsmeding> | I intend to build simple search in tirclogv |
| 2026-05-04 08:05:21 +0000 | <tomsmeding> | which, now that I think about it, would require POST, hah |
| 2026-05-04 08:05:40 +0000 | <EvanR> | what was overkill, the sql database itself? the API? etc |
| 2026-05-04 08:05:56 +0000 | <tomsmeding> | using a separate-process SQL server when the data is already there, sorted, in log files |
| 2026-05-04 08:06:14 +0000 | <tomsmeding> | the logs were stored on disk twice by ircbrowse, once in the original znc logs, once in postgres |
| 2026-05-04 08:06:27 +0000 | <tomsmeding> | also it did regular full table scans in postgres, making imports occasionally take minutes |
| 2026-05-04 08:06:42 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-05-04 08:08:10 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2026-05-04 08:08:21 +0000 | <tomsmeding> | POST can have a ?query, still no need for request bodies |
| 2026-05-04 08:08:48 +0000 | <tomsmeding> | though using that probably requires JS, which I'm trying to avoid |
| 2026-05-04 08:11:39 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-05-04 08:11:54 +0000 | <haskellbridge> | <Liamzee> [exa]: marketplace website. Although I'd love to write a completely isolated standalone authn/z helper. |
| 2026-05-04 08:12:59 +0000 | <haskellbridge> | <sm> 4rps is noticeable if the app is single threaded and if requests take more than a quarter second, right tomsmeding ? |
| 2026-05-04 08:13:08 +0000 | <tomsmeding> | yes |
| 2026-05-04 08:13:20 +0000 | <EvanR> | I just wrote a bunch of code to load, save, find, delete, and replace rows in a bunch of "tables" in C and |
| 2026-05-04 08:13:23 +0000 | <haskellbridge> | <sm> darcs hub was getting 5rps recently, which was enough to pretty much disable it |
| 2026-05-04 08:13:39 +0000 | <tomsmeding> | normal log requests take less than a quarter second in ircbrowse (it's not _that_ bad), but it does use the database, and it does hold up the database if it's trying to do a bunch of full table scans for an import |
| 2026-05-04 08:13:45 +0000 | <EvanR> | it ended up better than writing the sqlite hook code |
| 2026-05-04 08:14:17 +0000 | <tomsmeding> | EvanR: have you considered using the sqlite3 command line tool manually |
| 2026-05-04 08:14:18 +0000 | <EvanR> | but not "ACID" |
| 2026-05-04 08:14:35 +0000 | <EvanR> | yeah I've used that command manually |
| 2026-05-04 08:14:35 +0000 | <Axman6> | Looks like there's a few auth packages for servant, including oauth2, so hooking into a third party auth service should be possible... |
| 2026-05-04 08:15:00 +0000 | <EvanR> | are you saying writing the C code to run the commands manually is better than all worlds? xd |
| 2026-05-04 08:15:17 +0000 | gehmehgeh | gmg |
| 2026-05-04 08:15:33 +0000 | <tomsmeding> | I'm saying that writing the bash/python code to run the commands manually is worth considering |
| 2026-05-04 08:15:50 +0000 | <tomsmeding> | depending on the complexity of the queries you'd like to execute |
| 2026-05-04 08:16:00 +0000 | <EvanR> | writing the whole app in python yes |
| 2026-05-04 08:16:04 +0000 | <EvanR> | I hate your idea |
| 2026-05-04 08:16:15 +0000 | <tomsmeding> | SQL is a damn powerful language if you happen to have a problem for which it's suitable |
| 2026-05-04 08:16:40 +0000 | <tomsmeding> | the sqlite C interface is annoying and verbose; this is a hacky way to get at the juicy bit with less of the verbose bit |
| 2026-05-04 08:17:00 +0000 | <tomsmeding> | ah this would be part of a larger app? |
| 2026-05-04 08:17:13 +0000 | <tomsmeding> | yeah then this is too hacky lol |
| 2026-05-04 08:17:23 +0000 | <tomsmeding> | I thought this was a one-off conversion script or something |
| 2026-05-04 08:18:01 +0000 | <EvanR> | sqlite bills itself as "good as an application file solution" i.e. put the whole state of what you're doing in a database. It makes sense, if it wasn't for the C interface |
| 2026-05-04 08:18:54 +0000 | <tomsmeding> | it's not so bad if it's actually worth it, i.e. if your application is large enough that writing this glue code is not the bottleneck |
| 2026-05-04 08:19:14 +0000 | <tomsmeding> | sqlite interface in other languages is better but still bothersome if your application is tiny |
| 2026-05-04 08:19:37 +0000 | <tomsmeding> | because it's more work than `writeFile path (show internalState)` |
| 2026-05-04 08:20:03 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2026-05-04 08:20:29 +0000 | <EvanR> | I imagine the "critical mass" comes when you need to do more than reading in all the rows, update row, insert row, delete row |
| 2026-05-04 08:20:34 +0000 | <EvanR> | i.e. do some real sql stuff |
| 2026-05-04 08:20:38 +0000 | <tomsmeding> | yeah |
| 2026-05-04 08:21:15 +0000 | <merijn> | tomsmeding: tbh, I don't think the sqlite C interface is that verbose? |
| 2026-05-04 08:21:34 +0000 | <tomsmeding> | merijn: it's fine, if it carries its weight |
| 2026-05-04 08:21:45 +0000 | <tomsmeding> | if it's cometing with `writeFile path (show internalState)`, then it's damn stupid verbose |
| 2026-05-04 08:21:48 +0000 | <tomsmeding> | *competing |
| 2026-05-04 08:22:12 +0000 | <merijn> | Sure, but at that point why bother with sqlite |
| 2026-05-04 08:22:15 +0000 | <tomsmeding> | yes |
| 2026-05-04 08:22:15 +0000 | <EvanR> | the code for doing what you need to do in C is great, because you can generate the code |
| 2026-05-04 08:22:18 +0000 | <merijn> | also, sqlite-simple is fairly decent |
| 2026-05-04 08:22:58 +0000 | <merijn> | At some point I will bother writing my own modern direct-sqlite/sqlite-simple replacement that I actually like :p |
| 2026-05-04 08:22:58 +0000 | <EvanR> | but when generating code, there's a nagging feeling that you're this close to inventing a 700th programming language |
| 2026-05-04 08:26:08 +0000 | ft | (~ft@p200300cf3f0df100506ef982d749087d.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-05-04 08:28:14 +0000 | <int-e> | It's healthy to stop when you have an EDSL ;) |
| 2026-05-04 08:28:36 +0000 | <int-e> | (Or earlier.) |
| 2026-05-04 08:30:44 +0000 | r1bilski_ | (~r1bilski@user-46-112-240-248.play-internet.pl) (Ping timeout: 245 seconds) |
| 2026-05-04 08:32:41 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) CiaoSen |
| 2026-05-04 08:33:14 +0000 | r1bilski_ | (~r1bilski@46.112.240.248) |
| 2026-05-04 08:34:32 +0000 | <[exa]> | tomsmeding: you can do a pretty good search with postgres textsearch |
| 2026-05-04 08:34:37 +0000 | <[exa]> | it's even fast |
| 2026-05-04 08:35:25 +0000 | <[exa]> | not super smart but does 99% of the trick ( https://www.postgresql.org/docs/current/datatype-textsearch.html ) |
| 2026-05-04 08:37:26 +0000 | r1bilski_ | (~r1bilski@46.112.240.248) (Remote host closed the connection) |
| 2026-05-04 08:37:32 +0000 | <tomsmeding> | [exa]: that would entrench me even more in the postgres stuff I'm desperately trying to get out of |
| 2026-05-04 08:37:43 +0000 | r1bilski_ | (~r1bilski@user-46-112-240-248.play-internet.pl) |
| 2026-05-04 08:38:09 +0000 | <tomsmeding> | the IDs of events are stored only in the postgres DB, and those IDs are dependent on import order, so the postgres db actually contains data that needs to be backuped |
| 2026-05-04 08:38:21 +0000 | <tomsmeding> | (event IDs are exposed when clicking on a timestamp in the log) |
| 2026-05-04 08:38:30 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e584522867820e47cb6d.dip0.t-ipconnect.de) |
| 2026-05-04 08:38:54 +0000 | <tomsmeding> | if the db was just for efficiency and idempotently reconstructible from the logs, it would be more fine |
| 2026-05-04 08:42:16 +0000 | r1bilski_ | (~r1bilski@user-46-112-240-248.play-internet.pl) (Ping timeout: 244 seconds) |
| 2026-05-04 08:42:41 +0000 | finsternis | (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 2026-05-04 08:43:21 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-05-04 08:43:21 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 255 seconds) |
| 2026-05-04 08:45:05 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-05-04 08:50:18 +0000 | tromp | (~textual@2001:1c00:340e:2700:f49a:e662:9978:273a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-05-04 09:11:39 +0000 | <[exa]> | tomsmeding: ay. okay first, the text search in this way should kindof "plug in" into any other solution so I don't think it increases the lock-in |
| 2026-05-04 09:12:21 +0000 | <[exa]> | but the IDs are an issue. Perhaps have fuzzy IDs like pointing to channel-nick-timestamp and prepare the frontend for the fact that this may not be unique? |
| 2026-05-04 09:14:49 +0000 | r1bilski_ | (~r1bilski@user-46-112-240-248.play-internet.pl) |
| 2026-05-04 09:27:54 +0000 | tok | (~user@user/tok) tok |
| 2026-05-04 09:29:03 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e5504280feca8ce46458.dip0.t-ipconnect.de) acidjnk |
| 2026-05-04 09:31:50 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e584522867820e47cb6d.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-05-04 09:53:54 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-05-04 09:58:57 +0000 | op_4 | (~tslil@2a01:4f8:c0c:7952::1) (Remote host closed the connection) |
| 2026-05-04 09:59:39 +0000 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2026-05-04 09:59:55 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-05-04 10:00:11 +0000 | malte | (~malte@mal.tc) malte |
| 2026-05-04 10:03:11 +0000 | r1bilski_ | (~r1bilski@user-46-112-240-248.play-internet.pl) (Ping timeout: 272 seconds) |
| 2026-05-04 10:07:23 +0000 | craunts795335385 | (~craunts@152.32.100.66) (Quit: The Lounge - https://thelounge.chat) |
| 2026-05-04 10:28:04 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) terrorjack |
| 2026-05-04 10:28:47 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-05-04 10:29:22 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) (Client Quit) |
| 2026-05-04 10:32:10 +0000 | Googulator81 | Googulator |
| 2026-05-04 10:32:32 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) terrorjack |
| 2026-05-04 10:33:12 +0000 | nschoe | (~nschoe@2a01:e0a:8e:a190:308e:5361:802b:f3b6) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2026-05-04 10:33:29 +0000 | nschoe | (~nschoe@82-65-202-30.subs.proxad.net) nschoe |
| 2026-05-04 10:35:43 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2026-05-04 10:36:27 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 244 seconds) |
| 2026-05-04 10:38:22 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-05-04 10:40:03 +0000 | chele | (~chele@user/chele) chele |
| 2026-05-04 10:41:46 +0000 | CiaoSen | (~Jura@84.156.191.177) CiaoSen |
| 2026-05-04 10:48:22 +0000 | dtman34 | (~dtman34@2601:447:d183:2302:b0c5:8965:1c3f:d560) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-05-04 10:48:43 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2026-05-04 10:50:49 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-05-04 11:00:46 +0000 | humasect | (~humasect@192.249.132.90) humasect |
| 2026-05-04 11:05:23 +0000 | humasect | (~humasect@192.249.132.90) (Ping timeout: 244 seconds) |
| 2026-05-04 11:13:12 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2026-05-04 11:20:43 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 2026-05-04 11:22:30 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-05-04 11:48:48 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 256 seconds) |
| 2026-05-04 11:49:52 +0000 | mtmn | (~mtmn@user/mtmn) (Remote host closed the connection) |
| 2026-05-04 11:50:52 +0000 | mtmn | (~mtmn@user/mtmn) mtmn |
| 2026-05-04 11:58:31 +0000 | Square | (~Square4@user/square) Square |
| 2026-05-04 12:04:31 +0000 | Digit | (~user@user/digit) (Ping timeout: 264 seconds) |
| 2026-05-04 12:04:56 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-05-04 12:19:59 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-05-04 12:22:53 +0000 | Digitteknohippie | Digit |
| 2026-05-04 12:32:35 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2026-05-04 12:42:16 +0000 | Alex_delenda_est | (~al_test@178.34.162.253) (Quit: ;-) |
| 2026-05-04 12:43:58 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2026-05-04 12:44:26 +0000 | AlexZenon | (~alzenon@178.34.162.253) (Quit: ;-) |
| 2026-05-04 12:44:47 +0000 | AlexNoo | (~AlexNoo@178.34.162.253) (Quit: Leaving) |
| 2026-05-04 12:51:42 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2026-05-04 12:57:59 +0000 | xff0x | (~xff0x@2405:6580:b080:900:8968:b950:943:a781) (Ping timeout: 272 seconds) |
| 2026-05-04 13:01:56 +0000 | xff0x | (~xff0x@2405:6580:b080:900:8968:b950:943:a781) |
| 2026-05-04 13:03:34 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-04 13:11:58 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-05-04 13:17:01 +0000 | AlexNoo | (~AlexNoo@178.34.162.253) |
| 2026-05-04 13:22:19 +0000 | AlexZenon | (~alzenon@178.34.162.253) |
| 2026-05-04 13:26:02 +0000 | Alex_delenda_est | (~al_test@178.34.162.253) |
| 2026-05-04 13:26:51 +0000 | AlexZenon | (~alzenon@178.34.162.253) (Ping timeout: 255 seconds) |
| 2026-05-04 13:30:27 +0000 | Alex_delenda_est | (~al_test@178.34.162.253) (Ping timeout: 255 seconds) |
| 2026-05-04 13:33:42 +0000 | AlexZenon | (~alzenon@178.34.162.253) |
| 2026-05-04 13:34:11 +0000 | CiaoSen | (~Jura@84.156.191.177) (Ping timeout: 244 seconds) |
| 2026-05-04 13:35:14 +0000 | ystael | (~ystael@user/ystael) ystael |
| 2026-05-04 13:37:22 +0000 | Alex_test_ | (~al_test@178.34.162.253) |
| 2026-05-04 13:41:42 +0000 | Alex_test_ | (~al_test@178.34.162.253) (Ping timeout: 255 seconds) |
| 2026-05-04 13:47:54 +0000 | craunts795335385 | (~craunts@152.32.100.66) |
| 2026-05-04 13:50:29 +0000 | Alex_delenda_est | (~al_test@178.34.162.253) |
| 2026-05-04 13:54:08 +0000 | mikko | (~mikko@user/mikko) (Quit: WeeChat 4.7.2) |
| 2026-05-04 13:54:45 +0000 | Alex_delenda_est | (~al_test@178.34.162.253) (Ping timeout: 255 seconds) |
| 2026-05-04 14:03:31 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:eca3:4f40:6428:515c) |
| 2026-05-04 14:03:31 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:eca3:4f40:6428:515c) (Changing host) |
| 2026-05-04 14:03:31 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-05-04 14:10:37 +0000 | layline_ | (~layline@149.154.26.170) layline |
| 2026-05-04 14:18:29 +0000 | khumba | (~khumba@user/khumba) khumba |
| 2026-05-04 14:33:12 +0000 | layline_ | layline-away |
| 2026-05-04 14:37:44 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-05-04 14:38:07 +0000 | layline-away | layline_ |
| 2026-05-04 14:38:19 +0000 | layline_ | layline-away |
| 2026-05-04 14:41:08 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:699a:ff45:9d94:4e87) |
| 2026-05-04 14:46:53 +0000 | layline-away | layline_ |
| 2026-05-04 14:47:27 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 244 seconds) |
| 2026-05-04 14:47:41 +0000 | <janus> | it would be so interesting to see how quickly enterprise users pick up GHC versions |
| 2026-05-04 14:47:54 +0000 | <janus> | i always have to infer it based on anecdotes |
| 2026-05-04 14:48:48 +0000 | <janus> | like, i read that Bodigrim has that RTS issue with parallel tasks in GHC 9.12 , so i infer from that that it is too early |
| 2026-05-04 14:49:17 +0000 | <janus> | then , i see that stackage people pick that up and decide to wait with the next LTS, ok that is then confirmation that they also think the bug is bad enough |
| 2026-05-04 14:49:57 +0000 | <janus> | the GHC status page says that stackage usually 'waits until .2' but that seems like old information by now, since apparently they now wait until all the severe bugs are gone |
| 2026-05-04 14:50:30 +0000 | <janus> | then you have maerwald stating that he'll bump the recommended straight to 9.14 because it is LTS (ghc lts, not stackage) |
| 2026-05-04 14:51:09 +0000 | <haskellbridge> | <alexfmpe> janus: For some time .1 releases were seen as risky, but |
| 2026-05-04 14:51:09 +0000 | <haskellbridge> | 2+ as increasingly stable |
| 2026-05-04 14:51:17 +0000 | <haskellbridge> | <alexfmpe> 9.12.x has been a ride |
| 2026-05-04 14:51:44 +0000 | <haskellbridge> | <alexfmpe> +wild |
| 2026-05-04 14:52:20 +0000 | <janus> | but it's not just 9.12, is it? especially with arm64, it took forever for GHC 9.6 to get real good. or are my standards just getting higher? |
| 2026-05-04 14:53:35 +0000 | <haskellbridge> | <alexfmpe> Ah maybe I wasn't keeping track back then? But arm64 is relatively recent right? The .1 curse is from at least 8.x.y. days I think |
| 2026-05-04 15:01:25 +0000 | nunggu | (~q@user/nunggu) (Ping timeout: 265 seconds) |
| 2026-05-04 15:03:14 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-05-04 15:03:14 +0000 | jmcantrell_ | jmcantrell |
| 2026-05-04 15:31:51 +0000 | layline_ | layline-away |
| 2026-05-04 15:33:06 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:eca3:4f40:6428:515c) |
| 2026-05-04 15:33:06 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:eca3:4f40:6428:515c) (Changing host) |
| 2026-05-04 15:33:06 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-05-04 15:38:51 +0000 | machinedgod | (~machinedg@172.219.48.230) machinedgod |
| 2026-05-04 15:41:27 +0000 | layline-away | (~layline@149.154.26.170) (Quit: ZZZzzz…) |
| 2026-05-04 15:43:10 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-05-04 15:50:44 +0000 | mikko | (~mikko@user/mikko) mikko |
| 2026-05-04 15:57:50 +0000 | Wygulmage | (~Wygulmage@user/Wygulmage) Wygulmage |
| 2026-05-04 15:59:06 +0000 | shachaf | (~shachaf@user/shachaf) (Quit: !) |
| 2026-05-04 16:00:05 +0000 | shachaf | (~shachaf@user/shachaf) shachaf |
| 2026-05-04 16:05:14 +0000 | Alex_delenda_est | (~al_test@178.34.162.253) |
| 2026-05-04 16:06:59 +0000 | <Wygulmage> | I've been banging my head against my monitor trying to use a Natural kinded index into a List of types to create a tagged union (like SOP's `NS` type) So far I have |
| 2026-05-04 16:07:00 +0000 | <Wygulmage> | `data NatTagged (n :: Natural) (a :: Type) where N :: (KnownNat n)=> a -> NatTagged n a` |
| 2026-05-04 16:07:00 +0000 | <Wygulmage> | `type family Nth (n :: Natural) (ts :: [k]) where Nth 0 (t : ts') = t; Nth n (t : ts') = Nth (n - 1) ts'` |
| 2026-05-04 16:07:01 +0000 | <Wygulmage> | `data NS (m :: k -> Type) (ts :: [k]) where MkNS :: (Nth n ts ~ t)=> NatTagged n (m t) -> NS m ts` |
| 2026-05-04 16:08:58 +0000 | <Wygulmage> | But, for example, when I try to write `mkNS :: (KnownNat n, Nth n ts ~ t)=> m t -> NS m ts` , GHC gives me a type error that it can't deduce than `Nth n0 ts ~ t` . Is there a way to make the `Natural` types equivalent, or am I hosed without dependent types or wrapping with Peano numerals? |
| 2026-05-04 16:18:35 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2026-05-04 16:26:32 +0000 | <haskellbridge> | <ijouw> It would likely be easier to read if you use an external tool for sharing styled code. |
| 2026-05-04 16:26:32 +0000 | <haskellbridge> | You have your conditions on 'n' but use 'm'. Also what is the implementation of mkNS? |
| 2026-05-04 16:27:26 +0000 | <haskellbridge> | <jaror> We have play.haskell.org for sharing code. |
| 2026-05-04 16:29:41 +0000 | <int-e> | Wygulmage: Basically GHC is telling you that it cannot infer `n` from `m`, `ts`, and `t`. So you'll never be able to use this function (without TypeApplications at least) |
| 2026-05-04 16:33:13 +0000 | <EvanR> | sometimes you can use helpers to do subtasks of haskell style fake dependent types, in which case the complex problem gets a little simpler |
| 2026-05-04 16:35:23 +0000 | <int-e> | If you do opt into that (AllowAmbiguousTypes + TypeApplications) you can have mkNS :: forall n m t ts. (KnownNat n, Nth n ts ~ t) => m t -> NS m ts; mkNS x = MkNS (N @n x) |
| 2026-05-04 16:35:50 +0000 | <int-e> | But you're not buying any convenience. You'll always be doing mkNS @some_n foo down the road |
| 2026-05-04 16:36:06 +0000 | <int-e> | (At least that's what I think) |
| 2026-05-04 16:37:13 +0000 | <int-e> | @quote dependable |
| 2026-05-04 16:37:13 +0000 | <lambdabot> | int-e says: I want dependable types. |
| 2026-05-04 16:37:21 +0000 | <int-e> | @botsnack |
| 2026-05-04 16:37:21 +0000 | <lambdabot> | :) |
| 2026-05-04 16:39:53 +0000 | <EvanR> | what is the desired API for this tagged union thing |
| 2026-05-04 16:40:08 +0000 | <EvanR> | in case I want to bang my own head |
| 2026-05-04 16:40:26 +0000 | <int-e> | I hope it's a CRT; LCDs aren't very sturdy ;) |
| 2026-05-04 16:41:09 +0000 | <EvanR> | got a SONY trinitron right here! |
| 2026-05-04 16:45:38 +0000 | comonad | (~comonad@p200300d027288000c87b63c79bf92a6b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2026-05-04 16:51:31 +0000 | <Wygulmage> | Thanks, here's the Haskell Playground link: |
| 2026-05-04 16:51:31 +0000 | <Wygulmage> | https://play.haskell.org/saved/cm8bGiKD |
| 2026-05-04 16:52:20 +0000 | <Wygulmage> | int-e: So AllowAmbiguousTypes would let me use it at concrete types? |
| 2026-05-04 16:53:48 +0000 | <Wygulmage> | EvanR: The API is basically the same as sop-core's NS, but without wrapping in `S` constructors equal to the number of preceding types in the type-level list. |
| 2026-05-04 16:54:08 +0000 | <haskellbridge> | <jaror> imo the modern way is to use "RequiredTypeArguments": https://play.haskell.org/saved/7437zSf3 |
| 2026-05-04 16:54:37 +0000 | <EvanR> | I see now |
| 2026-05-04 16:55:38 +0000 | <Wygulmage> | The whole thing is inspired by the recent selective functors podcast -- wanting to make n-ary branches using a n-ary sum wrapped in the selective type and an n-ary tuple of actions. |
| 2026-05-04 16:56:59 +0000 | <Wygulmage> | jaror: I did not know about the RequiredTypeArguments extension. I think my GHC version is too old. |
| 2026-05-04 16:57:11 +0000 | <haskellbridge> | <jaror> Yeah, you do need 9.10 at least |
| 2026-05-04 17:00:14 +0000 | ftzm4 | (~ftzm@85.80.245.206) ftzm |
| 2026-05-04 17:00:26 +0000 | jonrh_ | (sid5185@id-5185.ilkley.irccloud.com) jonrh |
| 2026-05-04 17:00:30 +0000 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2026-05-04 17:00:38 +0000 | Adeon_ | (sid418992@id-418992.lymington.irccloud.com) Adeon |
| 2026-05-04 17:01:10 +0000 | catties | (~catties@user/meow/catties) catties |
| 2026-05-04 17:01:10 +0000 | jakesyl______ | (sid56879@id-56879.hampstead.irccloud.com) |
| 2026-05-04 17:01:14 +0000 | nitrix_ | (~nitrix@user/meow/nitrix) nitrix |
| 2026-05-04 17:01:17 +0000 | T_S______ | (sid501726@2a03:5180:f:5::7:a7de) |
| 2026-05-04 17:01:59 +0000 | jonrh | (sid5185@2a03:5180:f:3::1441) (Ping timeout: 272 seconds) |
| 2026-05-04 17:01:59 +0000 | Catty | (~catties@user/meow/catties) (Ping timeout: 272 seconds) |
| 2026-05-04 17:01:59 +0000 | Hafydd | (~Hafydd@user/hafydd) (Ping timeout: 272 seconds) |
| 2026-05-04 17:01:59 +0000 | mniip | (mniip@libera/staff-emeritus/mniip) (Ping timeout: 272 seconds) |
| 2026-05-04 17:01:59 +0000 | arahael | (~wetfoot@user/arahael) (Ping timeout: 272 seconds) |
| 2026-05-04 17:01:59 +0000 | mesaoptimizer | (~user@user/PapuaHardyNet) (Ping timeout: 272 seconds) |
| 2026-05-04 17:01:59 +0000 | Ranhir | (~Ranhir@157.97.53.139) (Ping timeout: 272 seconds) |
| 2026-05-04 17:01:59 +0000 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Ping timeout: 272 seconds) |
| 2026-05-04 17:01:59 +0000 | davean | (~davean@davean.sciesnet.net) (Ping timeout: 272 seconds) |
| 2026-05-04 17:01:59 +0000 | ftzm | (~ftzm@085080245206.dynamic.telenor.dk) (Read error: Connection reset by peer) |
| 2026-05-04 17:01:59 +0000 | Dykam | (Dykam@dykam.nl) (Read error: Connection reset by peer) |
| 2026-05-04 17:01:59 +0000 | ftzm4 | ftzm |
| 2026-05-04 17:01:59 +0000 | jonrh_ | jonrh |
| 2026-05-04 17:02:03 +0000 | Goodbye_Vincent1 | (cyvahl@freakshells.net) (Read error: Connection reset by peer) |
| 2026-05-04 17:02:03 +0000 | haetsal | (~quassel@221.138.168.192) (Read error: Connection reset by peer) |
| 2026-05-04 17:02:05 +0000 | Fijxu_ | (~Fijxu@user/fijxu) (Read error: Connection reset by peer) |
| 2026-05-04 17:02:06 +0000 | mniip | (mniip@libera/staff-emeritus/mniip) mniip |
| 2026-05-04 17:02:07 +0000 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 2026-05-04 17:02:11 +0000 | xstill_ | (xstill@fimu/xstill) (Read error: Connection reset by peer) |
| 2026-05-04 17:02:12 +0000 | Dykam | (Dykam@37.139.10.7) Dykam |
| 2026-05-04 17:02:13 +0000 | mfc_kbs | (~keibisoft@mail.keibisoft.com) (Read error: Connection reset by peer) |
| 2026-05-04 17:02:18 +0000 | xstill_9 | (xstill@fimu/xstill) xstill |
| 2026-05-04 17:02:22 +0000 | mfc_kbs- | (~keibisoft@2a06:1fc0:0:1::1cd) |
| 2026-05-04 17:02:23 +0000 | Square2 | (~Square@user/square) Square |
| 2026-05-04 17:02:26 +0000 | Hafydd | (~Hafydd@user/hafydd) Hafydd |
| 2026-05-04 17:02:27 +0000 | khumba | (~khumba@user/khumba) (Ping timeout: 272 seconds) |
| 2026-05-04 17:02:27 +0000 | gf31 | (~gf3@user/gf3) (Ping timeout: 272 seconds) |
| 2026-05-04 17:02:27 +0000 | acidsys | (~crameleon@openSUSE/member/crameleon) (Ping timeout: 272 seconds) |
| 2026-05-04 17:02:27 +0000 | nitrix | (~nitrix@user/meow/nitrix) (Ping timeout: 272 seconds) |
| 2026-05-04 17:02:27 +0000 | s4msung | (je0MgNYRJg@user/s4msung) (Ping timeout: 272 seconds) |
| 2026-05-04 17:02:28 +0000 | Adeon | (sid418992@id-418992.lymington.irccloud.com) (Ping timeout: 272 seconds) |
| 2026-05-04 17:02:28 +0000 | T_S_____ | (sid501726@id-501726.uxbridge.irccloud.com) (Ping timeout: 272 seconds) |
| 2026-05-04 17:02:28 +0000 | jakesyl_____ | (sid56879@id-56879.hampstead.irccloud.com) (Ping timeout: 272 seconds) |
| 2026-05-04 17:02:28 +0000 | janus | (janus@user/janus) (Ping timeout: 272 seconds) |
| 2026-05-04 17:02:28 +0000 | tureba | (tureba@tureba.org) (Ping timeout: 272 seconds) |
| 2026-05-04 17:02:28 +0000 | Adeon_ | Adeon |
| 2026-05-04 17:02:32 +0000 | gf312 | (~gf3@user/gf3) gf3 |
| 2026-05-04 17:02:36 +0000 | dostoyevsky2 | (~sck@user/dostoyevsky2) dostoyevsky2 |
| 2026-05-04 17:02:37 +0000 | janus | (janus@user/janus) janus |
| 2026-05-04 17:02:50 +0000 | s4msung | (wUY4lAp8H3@user/s4msung) s4msung |
| 2026-05-04 17:02:57 +0000 | haetsal | (~quassel@221.138.168.192) |
| 2026-05-04 17:03:07 +0000 | tureba | (tureba@tureba.org) tureba |
| 2026-05-04 17:03:27 +0000 | pointlessslippe- | (~pointless@62.106.85.17) |
| 2026-05-04 17:03:36 +0000 | arahael | (~wetfoot@user/arahael) arahael |
| 2026-05-04 17:03:36 +0000 | acidsys | (~crameleon@openSUSE/member/crameleon) crameleon |
| 2026-05-04 17:03:40 +0000 | mesaoptimizer | (~user@user/PapuaHardyNet) PapuaHardyNet |
| 2026-05-04 17:04:19 +0000 | catties | Catty |
| 2026-05-04 17:05:42 +0000 | Square | (~Square4@user/square) (Ping timeout: 246 seconds) |
| 2026-05-04 17:06:06 +0000 | <tomsmeding> | [exa]: the fuzzy IDs is exactly what I have in tirclogv |
| 2026-05-04 17:07:09 +0000 | <tomsmeding> | though the IDs are local within a channel, and then it's just (timestamp, offset of event in day) |
| 2026-05-04 17:09:04 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds) |
| 2026-05-04 17:09:12 +0000 | <janus> | Wygulmage: what is 'selective functors podcast'? |
| 2026-05-04 17:09:37 +0000 | <tomsmeding> | jaror: you can elide the `main` if you add `module M where` |
| 2026-05-04 17:10:04 +0000 | <haskellbridge> | <jaror> I know, I just left it in since Wygulmage's code already had that |
| 2026-05-04 17:10:08 +0000 | <janus> | Wygulmage: i am reminded of Andrey Mokhov but he hasn't been on recently? |
| 2026-05-04 17:10:10 +0000 | <tomsmeding> | ah :) |
| 2026-05-04 17:10:53 +0000 | <haskellbridge> | <jaror> janus: I think the latest unfolder episode: https://www.youtube.com/watch?v=Yt2E1vrgP_E |
| 2026-05-04 17:11:20 +0000 | <janus> | aah right! i didn't consider it a podcast because it doesn't work without video |
| 2026-05-04 17:11:45 +0000 | <janus> | but i did see that people say 'video podcast' now. and i suppose i could get triggered by the lack of RSS/Atom too |
| 2026-05-04 17:11:56 +0000 | <janus> | curmudgeon problems :P |
| 2026-05-04 17:12:00 +0000 | ft | (~ft@p4fc2aefd.dip0.t-ipconnect.de) ft |
| 2026-05-04 17:12:19 +0000 | <haskellbridge> | <jaror> You can get rss feeds of youtube channels :) |
| 2026-05-04 17:13:11 +0000 | <janus> | oh interesting. i just need to hook up yt-dlp then |
| 2026-05-04 17:14:07 +0000 | <haskellbridge> | <jaror> Here's the Well-Typed feed: https://www.youtube.com/feeds/videos.xml?channel_id=UCJ5gh06UMoz-c0R4EhqQMwg |
| 2026-05-04 17:14:26 +0000 | khumba | (~khumba@S01066038e0ca1250.ok.shawcable.net) |
| 2026-05-04 17:14:27 +0000 | khumba | (~khumba@S01066038e0ca1250.ok.shawcable.net) (Client Quit) |
| 2026-05-04 17:14:43 +0000 | Ranhir | (~Ranhir@157.97.53.139) Ranhir |
| 2026-05-04 17:14:43 +0000 | <janus> | application/x-shockwave-flash :D haha |
| 2026-05-04 17:14:58 +0000 | troydm | (~troydm@user/troydm) (Ping timeout: 248 seconds) |
| 2026-05-04 17:15:08 +0000 | <EvanR> | it seems now a days, podcast requires video xD |
| 2026-05-04 17:15:23 +0000 | davean | (~davean@davean.sciesnet.net) davean |
| 2026-05-04 17:15:30 +0000 | <tomsmeding> | shockwave flash? That's a ~~blast~~ flash to the past |
| 2026-05-04 17:15:36 +0000 | <EvanR> | "video podcast" is so strained |
| 2026-05-04 17:16:26 +0000 | <janus> | EvanR: there is lots of old public radio that won't get video soon. like Deutschlandfunk |
| 2026-05-04 17:16:27 +0000 | <Wygulmage> | janus: I am so enraged by all the blogs I want to follow, usually on Github, that don't provide RSS or atom streams. |
| 2026-05-04 17:16:58 +0000 | <Wygulmage> | And sorry, I guess I should call it "Youtube series"? |
| 2026-05-04 17:22:17 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-05-04 17:26:45 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:699a:ff45:9d94:4e87) (Quit: ricardomaps) |
| 2026-05-04 17:37:17 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 272 seconds) |
| 2026-05-04 17:37:24 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-05-04 17:42:12 +0000 | <monochrom> | github is not a blog platform in the first place. |
| 2026-05-04 17:43:09 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 246 seconds) |
| 2026-05-04 17:43:32 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:34c4:8e61:873:b77e) arandombit |
| 2026-05-04 17:43:32 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:34c4:8e61:873:b77e) (Changing host) |
| 2026-05-04 17:43:32 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-05-04 17:46:06 +0000 | <haskellbridge> | <Liamzee> hmmm, this is sad |
| 2026-05-04 17:46:18 +0000 | <haskellbridge> | <Liamzee> i don't think it's possible to use the type system to bind together |
| 2026-05-04 17:46:31 +0000 | <haskellbridge> | <Liamzee> a piece of value data and a function that uses it |
| 2026-05-04 17:47:05 +0000 | <monochrom> | But it's OK! People mistake Excel for relational database too! |
| 2026-05-04 17:47:35 +0000 | <haskellbridge> | <Liamzee> basically, i'd like '["fooFunc", "barFunc"] in the data's type signature, and '["fooData", "barData"] on the function's type signature |
| 2026-05-04 17:47:47 +0000 | <haskellbridge> | <Liamzee> and they cause the typechecker to complain if they're not bound |
| 2026-05-04 17:48:48 +0000 | <haskellbridge> | <Liamzee> i'm thinking about decoupling SQL queries from the functions that use them, but that's decoupling and now they live in a separate module, which is slightly more confusing and unsafe |
| 2026-05-04 17:49:06 +0000 | <haskellbridge> | <Liamzee> the idea is to be able to force it via the type system |
| 2026-05-04 17:49:12 +0000 | <haskellbridge> | <Liamzee> or maybe imports do this already? |
| 2026-05-04 17:49:49 +0000 | <EvanR> | I've bound together value data and a function that uses it before |
| 2026-05-04 17:50:33 +0000 | <EvanR> | or you mean all at the type level |
| 2026-05-04 17:52:19 +0000 | <monochrom> | Does type class not work? The data type, call it D, is an instance of Fooable and an instance of Barable. The two functions have types "Fooable a => a -> ..." and "Barable a => a -> ..." respectively. |
| 2026-05-04 17:52:39 +0000 | <haskellbridge> | <sm> > I am so enraged by all the blogs I want to follow, usually on Github, that don't provide RSS or atom streams |
| 2026-05-04 17:52:43 +0000 | <haskellbridge> | <sm> lol I see myself |
| 2026-05-04 17:53:01 +0000 | <monochrom> | Speaking of which, does KISS not work either? The two functions are "D -> ..." and "D -> ..." respectively. |
| 2026-05-04 17:53:02 +0000 | <haskellbridge> | <sm> or if they do, they're not in the metadata so you have to dig for them |
| 2026-05-04 17:57:07 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-05-04 18:01:38 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-05-04 18:03:40 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:699a:ff45:9d94:4e87) |
| 2026-05-04 18:04:51 +0000 | layline_ | (~layline@149.154.26.170) layline |
| 2026-05-04 18:17:19 +0000 | machinedgod | (~machinedg@172.219.48.230) (Ping timeout: 244 seconds) |
| 2026-05-04 18:19:29 +0000 | <tomsmeding> | I just collected a ranked list of most common space-separated units ("words") in the logs for this channel, and the most common unit that's not alphabetic is -> |
| 2026-05-04 18:19:43 +0000 | <tomsmeding> | second is =, third is :: |
| 2026-05-04 18:20:07 +0000 | <tomsmeding> | oh, and the most common alphabetic unit that's not an english word is f |
| 2026-05-04 18:20:14 +0000 | <tomsmeding> | gee, would this be a haskell channel |
| 2026-05-04 18:20:23 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-05-04 18:20:44 +0000 | <monochrom> | "The f word" literally >:) |
| 2026-05-04 18:22:29 +0000 | <tomsmeding> | and the top three nicks in messages are dminuoso, tomsmeding and merijn :p |
| 2026-05-04 18:23:28 +0000 | <monochrom> | I think a long time ago an old logo had ->, ::, λ, ∀. |
| 2026-05-04 18:24:13 +0000 | <tomsmeding> | clearly they missed = |
| 2026-05-04 18:24:19 +0000 | <int-e> | I suspect \x would be different from \y for this statistic |
| 2026-05-04 18:24:24 +0000 | <tomsmeding> | yes |
| 2026-05-04 18:24:36 +0000 | <int-e> | so lambda is at a disadvantage |
| 2026-05-04 18:24:46 +0000 | <tomsmeding> | most common unit containing \ is (\x including the paren |
| 2026-05-04 18:29:52 +0000 | <janus> | tomsmeding: but how far back are you running the stats for? |
| 2026-05-04 18:30:41 +0000 | <tomsmeding> | janus: this is 2021-05-21 until 2026-04-02 because that's what I have handy here |
| 2026-05-04 18:31:03 +0000 | <janus> | ok because i haven't seen much dminuoso or merijn |
| 2026-05-04 18:31:14 +0000 | <tomsmeding> | which is essentially the entire liberachat history of the channel (minus the last month) |
| 2026-05-04 18:31:30 +0000 | <int-e> | remember dons dcoutts shapr ;) |
| 2026-05-04 18:32:19 +0000 | <int-e> | (Well, mostly pre Libera) |
| 2026-05-04 18:32:19 +0000 | <tomsmeding> | I think their most active time was significantly before 2021 |
| 2026-05-04 18:32:32 +0000 | <janus> | would be interesting to see what dcoutts were like |
| 2026-05-04 18:33:08 +0000 | <janus> | dons i can imagine since he has a blog on donsbot.com |
| 2026-05-04 18:34:13 +0000 | <janus> | what about kmett? wasn't kmett super active at some point? |
| 2026-05-04 18:34:37 +0000 | <tomsmeding> | I think that's also mostly before 2021 |
| 2026-05-04 18:35:27 +0000 | <tomsmeding> | 116 hits in these logs, and that's including actions by himself |
| 2026-05-04 18:36:11 +0000 | <janus> | oh , there are logs from 2018 on https://tunes.org/~nef/logs/haskell/ |
| 2026-05-04 18:37:26 +0000 | <tomsmeding> | see HEADER.html at the bottom, there's more |
| 2026-05-04 18:38:02 +0000 | <janus> | oh awesome!! |
| 2026-05-04 18:39:15 +0000 | <[exa]> | what, am I idling here for like 8+ years already |
| 2026-05-04 18:39:34 +0000 | <[exa]> | calls for a beverage |
| 2026-05-04 18:40:25 +0000 | <tomsmeding> | those ~nef logs are in UTC-7? |
| 2026-05-04 18:41:34 +0000 | [exa] | finds utc-7 is not a stripped-down utf-8, phewww |
| 2026-05-04 18:41:49 +0000 | shapr | (~user@50.230.201.134) shapr |
| 2026-05-04 18:41:53 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-04 18:42:09 +0000 | <shapr> | I think I have a few years of early logs somewhere. |
| 2026-05-04 18:42:14 +0000 | <tomsmeding> | ah, UTC-8 with DST |
| 2026-05-04 18:43:17 +0000 | spew | (~spew@user/spew) spew |
| 2026-05-04 18:43:42 +0000 | <haskellbridge> | <Liamzee> monochrom: bidirectional, it has to complain when the function stops using it. Hmmm! This is actually a great idea, store data in typeclasses only? |
| 2026-05-04 18:43:50 +0000 | <haskellbridge> | <Liamzee> really stupid and completely against the point, but might be fun! |
| 2026-05-04 18:44:26 +0000 | <haskellbridge> | <Liamzee> so, the function now carries a typelevel witness, which automatically points it to the specifically instanced data? |
| 2026-05-04 18:44:31 +0000 | jaror3 | (~jaror@5070ACC7.static.ziggozakelijk.nl) |
| 2026-05-04 18:46:01 +0000 | jaror3 | jaror |
| 2026-05-04 18:47:13 +0000 | <tomsmeding> | which you can see here: https://tunes.org/~nef/logs/haskell/20.11.01 01:57:59 is followed by 01:00:26 |
| 2026-05-04 18:47:46 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-05-04 18:47:53 +0000 | jaror | (~jaror@5070ACC7.static.ziggozakelijk.nl) (Changing host) |
| 2026-05-04 18:47:53 +0000 | jaror | (~jaror@user/jaror) jaror |
| 2026-05-04 18:48:32 +0000 | jaror | (~jaror@user/jaror) (Client Quit) |
| 2026-05-04 18:48:48 +0000 | jaror | (~jaror@user/jaror) jaror |
| 2026-05-04 18:50:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-04 18:51:47 +0000 | comonad | (~comonad@pd9e07bc5.dip0.t-ipconnect.de) |
| 2026-05-04 18:52:24 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 245 seconds) |
| 2026-05-04 18:53:56 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-04 18:54:21 +0000 | <tomsmeding> | ~nef, in the /old directory in haskell.zip, seems to have logs back to december 2001 |
| 2026-05-04 18:55:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-04 18:55:45 +0000 | <tomsmeding> | > names: list (clog kepler hcf shapr xbill dnm pHa smkl dennisb) |
| 2026-05-04 18:56:39 +0000 | <int-e> | (clog is the logging bot) |
| 2026-05-04 18:56:45 +0000 | <int-e> | or was |
| 2026-05-04 18:57:02 +0000 | <shapr> | yup |
| 2026-05-04 18:58:31 +0000 | <tomsmeding> | damn, all the pre-2018 logs together are 1.7 GB |
| 2026-05-04 18:58:44 +0000 | <tomsmeding> | that be a lot of chatting |
| 2026-05-04 19:00:18 +0000 | <tomsmeding> | the day with the most events in that time period is 1.3 MB and has like 30 netsplits or something |
| 2026-05-04 19:00:18 +0000 | <shapr> | We had to split into a many channels due to too much chatting. |
| 2026-05-04 19:05:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-04 19:06:32 +0000 | <EvanR> | that's cool major ubuntu outage so I can't install stuff xD |
| 2026-05-04 19:06:57 +0000 | tomsmeding | was planning to upgrade an old machine from 20.04 to 22.04 right now; plan cancelled |
| 2026-05-04 19:10:43 +0000 | tromp | (~textual@2001:1c00:340e:2700:f49a:e662:9978:273a) |
| 2026-05-04 19:11:04 +0000 | <haskellbridge> | <sm> ack.. are they still being attacked |
| 2026-05-04 19:11:57 +0000 | <tomsmeding> | omg DST rules actually changed over the course of these logs, in 2006 |
| 2026-05-04 19:12:04 +0000 | <tomsmeding> | (in UST Pacific) |
| 2026-05-04 19:12:07 +0000 | <tomsmeding> | s/T// |
| 2026-05-04 19:12:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-04 19:13:12 +0000 | shapr | (~user@50.230.201.134) (Remote host closed the connection) |
| 2026-05-04 19:16:57 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2026-05-04 19:21:42 +0000 | layline_ | layline-away |
| 2026-05-04 19:23:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-04 19:24:44 +0000 | layline-away | (~layline@149.154.26.170) (Quit: ZZZzzz…) |
| 2026-05-04 19:28:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-04 19:29:00 +0000 | emaczen | (~user@user/emaczen) emaczen |
| 2026-05-04 19:36:50 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds) |
| 2026-05-04 19:39:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-04 19:41:09 +0000 | Jake_ | (~textual@c-73-83-108-5.hsd1.wa.comcast.net) |
| 2026-05-04 19:41:25 +0000 | spew | (~spew@user/spew) (Ping timeout: 272 seconds) |
| 2026-05-04 19:42:10 +0000 | layline_ | (~layline@149.154.26.170) layline |
| 2026-05-04 19:44:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-04 19:47:15 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-05-04 19:48:16 +0000 | EvanR | (~EvanR@user/evanr) (Ping timeout: 276 seconds) |
| 2026-05-04 19:55:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-04 19:59:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-04 20:01:31 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2026-05-04 20:04:32 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-04 20:05:29 +0000 | Googulator | (~Googulato@84-236-65-50.pool.digikabel.hu) (Quit: Client closed) |
| 2026-05-04 20:05:45 +0000 | Googulator | (~Googulato@84-236-65-50.pool.digikabel.hu) |
| 2026-05-04 20:10:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-04 20:12:18 +0000 | Wygulmage | (~Wygulmage@user/Wygulmage) (Quit: Client closed) |
| 2026-05-04 20:13:59 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:699a:ff45:9d94:4e87) (Ping timeout: 244 seconds) |
| 2026-05-04 20:16:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-04 20:23:39 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-05-04 20:25:38 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:af38:878b:3ff6:5e4b) |
| 2026-05-04 20:26:42 +0000 | tusko | (~uwu@user/tusko) (Ping timeout: 265 seconds) |
| 2026-05-04 20:26:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-04 20:28:02 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 244 seconds) |
| 2026-05-04 20:28:37 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-05-04 20:32:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-04 20:34:55 +0000 | EvanR | (~EvanR@user/evanr) EvanR |
| 2026-05-04 20:37:49 +0000 | Pixi | (~Pixi@user/pixi) (Quit: Leaving) |
| 2026-05-04 20:38:29 +0000 | Googulator | (~Googulato@84-236-65-50.pool.digikabel.hu) (Quit: Client closed) |
| 2026-05-04 20:38:44 +0000 | Googulator | (~Googulato@84-236-65-50.pool.digikabel.hu) |
| 2026-05-04 20:42:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-04 20:42:46 +0000 | Pixi | (~Pixi@user/pixi) Pixi |
| 2026-05-04 20:44:02 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-04 20:44:05 +0000 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Remote host closed the connection) |
| 2026-05-04 20:46:45 +0000 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2026-05-04 20:49:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-04 20:50:37 +0000 | hadronized | hadronized2 |
| 2026-05-04 20:50:51 +0000 | hadronized2 | hadronized |
| 2026-05-04 20:54:24 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-05-04 20:59:00 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2026-05-04 21:00:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-04 21:00:55 +0000 | nitrix_ | nitrix |
| 2026-05-04 21:00:56 +0000 | tok | (~user@user/tok) (Remote host closed the connection) |
| 2026-05-04 21:03:31 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-05-04 21:03:45 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-05-04 21:05:15 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:75d6:9cce:d680:3fef) |
| 2026-05-04 21:05:15 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:75d6:9cce:d680:3fef) (Changing host) |
| 2026-05-04 21:05:15 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-05-04 21:05:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-05-04 21:06:14 +0000 | jreicher | (~joelr@user/jreicher) (Quit: In transit) |
| 2026-05-04 21:09:19 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-05-04 21:14:21 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-05-04 21:16:02 +0000 | puke | (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-05-04 21:16:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-04 21:17:14 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-05-04 21:21:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-04 21:27:27 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-05-04 21:31:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-04 21:37:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-04 21:38:38 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-04 21:41:47 +0000 | layline_ | layline-away |
| 2026-05-04 21:43:59 +0000 | Square | (~Square4@user/square) Square |
| 2026-05-04 21:47:15 +0000 | Square2 | (~Square@user/square) (Ping timeout: 255 seconds) |
| 2026-05-04 21:48:17 +0000 | <tomsmeding> | there are a couple lines in the tunes.org logs that look like half a line is missing |
| 2026-05-04 21:48:41 +0000 | <tomsmeding> | > --- quit: bfig (Read error: 110 (Connection timed out)13:53:59 <copumpkin> ah, maybe I shouldn't do it that way |
| 2026-05-04 21:48:52 +0000 | tromp | (~textual@2001:1c00:340e:2700:f49a:e662:9978:273a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-05-04 21:53:44 +0000 | <tomsmeding> | > 23:03:05 --- quit: rubendv (Quit: Computer has |
| 2026-05-04 21:54:13 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-05-04 21:55:29 +0000 | <tomsmeding> | all lines that don't parse https://paste.tomsmeding.com/uDtoAafM |
| 2026-05-04 21:55:46 +0000 | <tomsmeding> | oh missed one "Cannot parse:" |
| 2026-05-04 21:57:59 +0000 | <EvanR> | all lines parse that don't parse themselves |
| 2026-05-04 22:01:25 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-05-04 22:03:17 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 272 seconds) |
| 2026-05-04 22:03:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-04 22:06:51 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-05-04 22:06:53 +0000 | <int-e> | . o O ( that's not write ) |
| 2026-05-04 22:08:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-04 22:10:32 +0000 | layline-away | (~layline@149.154.26.170) (Quit: ZZZzzz…) |
| 2026-05-04 22:11:23 +0000 | Pozyomka | (~pyon@user/pyon) (Remote host closed the connection) |
| 2026-05-04 22:11:41 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-05-04 22:11:59 +0000 | Jake_ | (~textual@c-73-83-108-5.hsd1.wa.comcast.net) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-05-04 22:13:51 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-05-04 22:19:12 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-05-04 22:19:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-04 22:23:09 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-05-04 22:23:32 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-05-04 22:25:26 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:af38:878b:3ff6:5e4b) (Quit: ricardomaps) |
| 2026-05-04 22:25:49 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:af38:878b:3ff6:5e4b) |
| 2026-05-04 22:25:52 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:af38:878b:3ff6:5e4b) (Client Quit) |
| 2026-05-04 22:26:40 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-05-04 22:26:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-04 22:27:31 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:75d6:9cce:d680:3fef) |
| 2026-05-04 22:27:31 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:75d6:9cce:d680:3fef) (Changing host) |
| 2026-05-04 22:27:31 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-05-04 22:27:54 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-05-04 22:37:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-04 22:37:51 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-05-04 22:38:14 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-05-04 22:41:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-04 22:50:26 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 248 seconds) |
| 2026-05-04 22:53:03 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-04 22:55:19 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2026-05-04 22:57:52 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-05-04 23:03:44 +0000 | <monochrom> | Lines don't parse. Humans do. |
| 2026-05-04 23:06:54 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:af38:878b:3ff6:5e4b) |
| 2026-05-04 23:08:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-04 23:13:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-04 23:20:50 +0000 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-05-04 23:24:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-04 23:28:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-04 23:29:20 +0000 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 245 seconds) |
| 2026-05-04 23:34:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-04 23:39:29 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-05-04 23:39:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-04 23:41:44 +0000 | layline_ | (~layline@149.154.26.170) layline |
| 2026-05-04 23:50:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-04 23:50:21 +0000 | Jake_ | (~textual@c-174-165-116-179.hsd1.wa.comcast.net) |
| 2026-05-04 23:55:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |