| 2026-05-11 00:00:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 00:01:38 +0000 | pyook | (~puke@user/puke) puke |
| 2026-05-11 00:01:39 +0000 | puke | Guest9694 |
| 2026-05-11 00:01:39 +0000 | pyook | puke |
| 2026-05-11 00:03:58 +0000 | Guest9694 | (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-05-11 00:05:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-05-11 00:07:26 +0000 | puke | (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-05-11 00:15:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 00:20:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-11 00:29:31 +0000 | craunts795335385 | (~craunts@152.32.100.66) (Quit: The Lounge - https://thelounge.chat) |
| 2026-05-11 00:31:20 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-11 00:33:12 +0000 | acidjnk | (~acidjnk@p200300d6e700e553606a62deccbd2c0c.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2026-05-11 00:33:19 +0000 | xff0x | (~xff0x@2405:6580:b080:900:f608:e693:b58b:8c86) (Ping timeout: 272 seconds) |
| 2026-05-11 00:36:15 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-05-11 00:51:42 +0000 | gabe | (~qc@modemcable230.111-80-70.mc.videotron.ca) |
| 2026-05-11 00:52:36 +0000 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-05-11 00:53:36 +0000 | gabe | (~qc@modemcable230.111-80-70.mc.videotron.ca) (Client Quit) |
| 2026-05-11 00:53:52 +0000 | galeqc | (~qc@modemcable230.111-80-70.mc.videotron.ca) |
| 2026-05-11 00:54:27 +0000 | galeqc | (~qc@modemcable230.111-80-70.mc.videotron.ca) (Remote host closed the connection) |
| 2026-05-11 01:05:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 01:08:17 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-05-11 01:09:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-11 01:20:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 01:21:42 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:64a3:b410:f705:5a65) |
| 2026-05-11 01:26:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-05-11 01:26:19 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-05-11 01:30:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 01:31:06 +0000 | AlexZenon | (~alzenon@5.139.233.78) (Ping timeout: 265 seconds) |
| 2026-05-11 01:31:31 +0000 | Alex_delenda_est | (~al_test@5.139.233.78) (Ping timeout: 264 seconds) |
| 2026-05-11 01:31:32 +0000 | AlexNoo | (~AlexNoo@5.139.233.78) (Ping timeout: 244 seconds) |
| 2026-05-11 01:35:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-11 01:45:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 01:50:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-11 01:59:33 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 246 seconds) |
| 2026-05-11 02:01:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 02:05:42 +0000 | itaipu | (~itaipu@168.121.98.126) itaipu |
| 2026-05-11 02:06:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-11 02:07:58 +0000 | CloneOfNone_ | (~CloneOfNo@user/CloneOfNone) CloneOfNone |
| 2026-05-11 02:09:35 +0000 | td_ | (~td@i53870913.versanet.de) (Ping timeout: 272 seconds) |
| 2026-05-11 02:09:46 +0000 | CloneOfNone | (~CloneOfNo@user/CloneOfNone) (Ping timeout: 244 seconds) |
| 2026-05-11 02:11:12 +0000 | td_ | (~td@i53870930.versanet.de) |
| 2026-05-11 02:17:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 02:22:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-11 02:28:53 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-11 02:33:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 02:39:31 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 276 seconds) |
| 2026-05-11 02:40:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-11 02:40:37 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:64a3:b410:f705:5a65) (Ping timeout: 272 seconds) |
| 2026-05-11 02:51:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 02:56:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-11 03:07:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 03:10:36 +0000 | rekahsoft | (~rekahsoft@70.51.99.119) (Remote host closed the connection) |
| 2026-05-11 03:12:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-11 03:16:33 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 2026-05-11 03:19:37 +0000 | hsw | (~hsw@112.104.8.95) hsw |
| 2026-05-11 03:25:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 03:30:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-11 03:40:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 03:45:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-11 03:56:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 04:01:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-11 04:12:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 04:16:24 +0000 | synchromesh | (~john@2406:5a00:247e:1500:ce42:f14d:756:e01f) (Read error: Connection reset by peer) |
| 2026-05-11 04:17:10 +0000 | synchromesh | (~john@2406:5a00:247e:1500:ce42:f14d:756:e01f) synchromesh |
| 2026-05-11 04:17:57 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-11 04:19:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-11 04:30:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 04:34:14 +0000 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2026-05-11 04:34:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-11 04:35:33 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-11 04:39:41 +0000 | ryou | (~haze@user/ryou) ryou |
| 2026-05-11 04:40:00 +0000 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2026-05-11 04:42:15 +0000 | fun-safe-math | (~fun-safe-@97-120-35-225.ptld.qwest.net) fun-safe-math |
| 2026-05-11 04:43:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 04:43:38 +0000 | fun-safe-math | (~fun-safe-@97-120-35-225.ptld.qwest.net) (Client Quit) |
| 2026-05-11 04:43:57 +0000 | layline_ | layline-away |
| 2026-05-11 04:45:00 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2026-05-11 04:45:25 +0000 | fun-safe-math | (~fun-safe-@97-120-35-225.ptld.qwest.net) fun-safe-math |
| 2026-05-11 04:48:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-11 04:55:44 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds) |
| 2026-05-11 04:58:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 05:00:50 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-05-11 05:01:06 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-05-11 05:03:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-11 05:04:24 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-11 05:05:33 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 255 seconds) |
| 2026-05-11 05:05:41 +0000 | tnt2 | tnt1 |
| 2026-05-11 05:05:44 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-05-11 05:06:08 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-05-11 05:10:30 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2026-05-11 05:12:45 +0000 | nattkyrro | (~serenity@user/nattkyrro) (Ping timeout: 246 seconds) |
| 2026-05-11 05:13:07 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-05-11 05:14:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 05:14:59 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:a133:53e9:54a5:f262) |
| 2026-05-11 05:16:49 +0000 | FANTOM | (~fantom@212.228.182.72) (Ping timeout: 265 seconds) |
| 2026-05-11 05:19:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-11 05:25:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 05:26:36 +0000 | michalz | (~michalz@185.246.207.205) |
| 2026-05-11 05:27:18 +0000 | FANTOM | (~fantom@212.228.182.72) |
| 2026-05-11 05:27:50 +0000 | misterfish | (~misterfis@84-82-125-212.fixed.kpn.net) misterfish |
| 2026-05-11 05:28:28 +0000 | krei-se | (~krei-se@p5098b7b3.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2026-05-11 05:30:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-11 05:30:45 +0000 | krei-se | (~krei-se@p5098b7b3.dip0.t-ipconnect.de) krei-se |
| 2026-05-11 05:38:36 +0000 | Square2 | (~Square4@user/square) Square |
| 2026-05-11 05:40:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 05:46:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-05-11 05:49:46 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2026-05-11 05:50:05 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-11 05:57:07 +0000 | nek0 | (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 2026-05-11 05:57:19 +0000 | Square | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2026-05-11 05:57:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 06:00:36 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-05-11 06:04:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-11 06:04:37 +0000 | nek0 | (~nek0@user/nek0) nek0 |
| 2026-05-11 06:06:18 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:a133:53e9:54a5:f262) (Ping timeout: 244 seconds) |
| 2026-05-11 06:06:22 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-05-11 06:12:04 +0000 | nek0 | (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 2026-05-11 06:15:23 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-05-11 06:15:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 06:15:58 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-05-11 06:17:14 +0000 | nek0 | (~nek0@user/nek0) nek0 |
| 2026-05-11 06:20:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-05-11 06:21:06 +0000 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 265 seconds) |
| 2026-05-11 06:23:27 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-05-11 06:23:48 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-05-11 06:26:45 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2026-05-11 06:29:13 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-05-11 06:30:24 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-05-11 06:31:32 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-11 06:35:49 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-05-11 06:36:09 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-05-11 06:36:22 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-05-11 06:43:23 +0000 | skum | (~skum@user/skum) skum |
| 2026-05-11 06:47:07 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-05-11 06:47:07 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-05-11 06:47:07 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-05-11 06:47:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 06:47:41 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-05-11 06:47:57 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-05-11 06:52:19 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-05-11 06:52:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-11 06:54:13 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-05-11 06:55:05 +0000 | chenjf | (~chenjf@68.64.178.54) |
| 2026-05-11 06:57:24 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-05-11 06:58:23 +0000 | chenjf | (~chenjf@68.64.178.54) () |
| 2026-05-11 07:03:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 07:04:12 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-05-11 07:07:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-11 07:14:22 +0000 | olivial | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2026-05-11 07:14:38 +0000 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2026-05-11 07:34:57 +0000 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) (Read error: Connection reset by peer) |
| 2026-05-11 07:35:49 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-05-11 07:39:11 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-05-11 07:39:36 +0000 | chele | (~chele@user/chele) chele |
| 2026-05-11 07:42:25 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-05-11 07:46:56 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.7.2) |
| 2026-05-11 07:49:22 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-05-11 07:50:19 +0000 | emmanuelux_ | (~em@2a02-842a-4aa6-a401-5f8e-c216-e5c6-1a86.rev.sfr.net) |
| 2026-05-11 07:50:42 +0000 | emmanuelux | (~em@user/emmanuelux) (Ping timeout: 248 seconds) |
| 2026-05-11 08:06:44 +0000 | emmanuelux_ | (~em@2a02-842a-4aa6-a401-5f8e-c216-e5c6-1a86.rev.sfr.net) (Quit: bye) |
| 2026-05-11 08:07:49 +0000 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-05-11 08:10:00 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-05-11 08:13:18 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-05-11 08:23:12 +0000 | <Axman6> | Anyone know of any packages or example code which stores data in a binary form, but provides an ADT interface to the data? For example, I'm looking at a protocol for some Bluetooth LE data, and I was thinking it'd be nice to store the data in the raw form in memory, but use pattern synonyms to pull out the data on demand. I've seen something similar used in the Cardano world where CBOR data is lazily parsed in Plutus to reduce smart contract gas usage. |
| 2026-05-11 08:24:22 +0000 | <Axman6> | It feels like an applicative parser could provide a lot of what I want but I can't figure out what it would actually look like |
| 2026-05-11 08:25:09 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-05-11 08:25:09 +0000 | synchromesh | (~john@2406:5a00:247e:1500:ce42:f14d:756:e01f) (Read error: Connection reset by peer) |
| 2026-05-11 08:25:54 +0000 | synchromesh | (~john@2406:5a00:247e:1500:ce42:f14d:756:e01f) synchromesh |
| 2026-05-11 08:28:54 +0000 | <davean> | Axman6: The only similar thing I've done was using Storable. |
| 2026-05-11 08:29:58 +0000 | <Axman6> | hmmm, yeah storable would have a lot of overlap |
| 2026-05-11 08:30:29 +0000 | <Axman6> | Also, how are pattern synonyms ten years old, there's no way |
| 2026-05-11 08:32:51 +0000 | <tomsmeding> | Axman6: if pattern synonyms, then how would the expression form of the synonym work? You can't just mutate the buffer |
| 2026-05-11 08:33:24 +0000 | <tomsmeding> | This has strong gibbon smells by the way https://gibbon-compiler.github.io/ |
| 2026-05-11 08:33:25 +0000 | <Axman6> | For my case reading would be sufficient |
| 2026-05-11 08:34:06 +0000 | <Axman6> | ooo, interesting, I haven't heard of Gibbon before |
| 2026-05-11 08:34:15 +0000 | <tomsmeding> | Axman6: parse the whole thing but lazily? |
| 2026-05-11 08:34:55 +0000 | <Axman6> | yeah, that's basically the idea; if you don't match on a field it isn't parsed |
| 2026-05-11 08:35:27 +0000 | <tomsmeding> | Can you read from a ByteArray without yielding an IO requirement? I don't think so |
| 2026-05-11 08:35:47 +0000 | <tomsmeding> | I guess you could unsafePerformIO like bytestring does internally |
| 2026-05-11 08:36:05 +0000 | <tomsmeding> | Or... just use bytestring; clearly I'm not awake yet |
| 2026-05-11 08:36:58 +0000 | <tomsmeding> | Axman6: "parse but lazily" was meant as an implementation strategy of what you describe |
| 2026-05-11 08:37:06 +0000 | <Axman6> | in the case I'm looking at, each field's offset is statically known, so I'm wondering if you could use something like: newtype a @@ (n :: Nat) = Offset a; data FooPacket = FooPacket {field1 :: Int16 @@ 0; field2 :: Word8 @@ 2} or something |
| 2026-05-11 08:37:12 +0000 | <tomsmeding> | Downside is that the parsed form remains in memory after usage |
| 2026-05-11 08:37:13 +0000 | acidjnk | (~acidjnk@p200300d6e700e553f39d170aad59c870.dip0.t-ipconnect.de) acidjnk |
| 2026-05-11 08:38:23 +0000 | <tomsmeding> | You could do that but it would have a very narrow scope of usage, as serialisation formats where every offset is statically known are quite rare; so I'd say this wouldn't exist yet |
| 2026-05-11 08:38:52 +0000 | <tomsmeding> | You can reuse the alignment/sizeOf part of Storable |
| 2026-05-11 08:39:02 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-05-11 08:39:07 +0000 | <Axman6> | Not that rare in embedded systems (the offsets are determined by an ID at the beginning of the message and that determines the layout) |
| 2026-05-11 08:39:19 +0000 | <Axman6> | yeah that's true... |
| 2026-05-11 08:39:27 +0000 | <tomsmeding> | Sure but then they're not statically known because they depend on data from the buffer :p |
| 2026-05-11 08:39:56 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-11 08:39:56 +0000 | <Axman6> | there's some Alternative needed, yes :) |
| 2026-05-11 08:40:13 +0000 | <tomsmeding> | Storable doesn't really capture sum types though |
| 2026-05-11 08:40:41 +0000 | <Axman6> | yeah |
| 2026-05-11 08:41:09 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-05-11 08:41:36 +0000 | <tomsmeding> | Ok now I want to build this because it sounds fun but I have other things to do |
| 2026-05-11 08:42:28 +0000 | <tomsmeding> | Some aeson like interface where you describe the serialised format in the instance definition using helper functions, sounds most practical to me |
| 2026-05-11 08:43:47 +0000 | <Axman6> | I'll have to mull it over a bit, probably just write some code and see where I get to |
| 2026-05-11 08:45:27 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-11 08:48:00 +0000 | <Axman6> | MMy rough idea is something like: data FooPacket = RawFooPacket ShortByteString | PacketA PacketAContent | PacketB PacketBContent | ...; data PacketAContent = PacketAContent { field1 :: Something, fieldB :: Something...}. Then store incoming data using RawFooPAcket which can be pattern matched on using pattern synonyms for each packet type. You can construct the packets using non-raw constrcutors (and you get a nice property you an test that the function toRaw |
| 2026-05-11 08:48:01 +0000 | <Axman6> | :: FooPacket -> FooPacket produces the same structure) |
| 2026-05-11 08:48:02 +0000 | FANTOM | (~fantom@212.228.182.72) (Ping timeout: 265 seconds) |
| 2026-05-11 08:48:04 +0000 | <tomsmeding> | Axman6: I'm having trouble imagining a code structure where writing a function that lazily parses the data structure from a ByteString is not sufficient |
| 2026-05-11 08:48:10 +0000 | <Axman6> | when parsed again* |
| 2026-05-11 08:48:21 +0000 | <tomsmeding> | (can't use something like parsec because that would make the parser strict thought) |
| 2026-05-11 08:48:23 +0000 | <tomsmeding> | *though |
| 2026-05-11 08:49:32 +0000 | <Axman6> | yeah, that's why I was thinking this would need something that is only Applicative |
| 2026-05-11 08:49:52 +0000 | <tomsmeding> | a lazy parser library that's Applicative-only? |
| 2026-05-11 08:50:18 +0000 | <tomsmeding> | that can only parse statically known offsets, so you wouldn't be able to parse the tag at the start using that library |
| 2026-05-11 08:50:20 +0000 | <Axman6> | yeah |
| 2026-05-11 08:50:43 +0000 | <tomsmeding> | and once you have done that, reading static offsets manually is kind of not worth a parser library any more |
| 2026-05-11 08:51:27 +0000 | <Axman6> | in this case, each individual field knows its own length, which feels... useful |
| 2026-05-11 08:51:42 +0000 | <Axman6> | anyway, I need to go get some dinner, and then have a think about this |
| 2026-05-11 08:51:47 +0000 | <tomsmeding> | o you know field lengths but not offsets and you want to avoid manually calculating the offsets, I see |
| 2026-05-11 08:55:37 +0000 | <Axman6> | The offsets should be easy to calcuate at compile in this case, there aren't variable length fields (though you could possibly even support that at compile time with anything that comes after a run time field having an unknown offset, but the variable length field could also provide that information without having to completely parse the field) |
| 2026-05-11 08:58:02 +0000 | <Axman6> | HMMM, this is feeling like it could be useful for higher kinded data... |
| 2026-05-11 08:58:10 +0000 | <Axman6> | maybe I need to start simpler though |
| 2026-05-11 09:03:08 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-05-11 09:07:17 +0000 | <tomsmeding> | Axman6: https://play.haskell.org/saved/i54iIlKq |
| 2026-05-11 09:18:44 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e566b7e5ac47a969659e.dip0.t-ipconnect.de) |
| 2026-05-11 09:21:54 +0000 | acidjnk | (~acidjnk@p200300d6e700e553f39d170aad59c870.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-05-11 09:38:17 +0000 | TwinAdam | (~TwinAdam@user/adamsaunders) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-05-11 09:43:43 +0000 | TwinAdam | (~TwinAdam@user/adamsaunders) adamsaunders |
| 2026-05-11 10:00:23 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-05-11 10:05:02 +0000 | FANTOM | (~fantom@212.228.182.72) |
| 2026-05-11 10:07:15 +0000 | supersecant | (~superseca@2a02:6b6f:e715:4f00:34d4:1987:8d0b:c51d) supersecant |
| 2026-05-11 10:15:10 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds) |
| 2026-05-11 10:24:18 +0000 | craunts795335385 | (~craunts@152.32.100.66) |
| 2026-05-11 10:25:55 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-05-11 10:31:08 +0000 | leppard | (~noOne@92.208.182.236) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2026-05-11 10:32:34 +0000 | leppard | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-11 10:33:33 +0000 | leppard|2 | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-11 10:36:06 +0000 | Inline | (~noOne@92.208.182.236) (Ping timeout: 244 seconds) |
| 2026-05-11 10:48:37 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-05-11 10:48:58 +0000 | dtman34 | (~dtman34@2601:447:d17d:eaf2:8123:c1ff:6dae:d26b) dtman34 |
| 2026-05-11 10:52:19 +0000 | Leary | (~Leary@user/Leary/x-0910699) (Read error: Connection reset by peer) |
| 2026-05-11 10:52:29 +0000 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2026-05-11 11:12:54 +0000 | leppard|2 | Inline |
| 2026-05-11 11:19:41 +0000 | xff0x | (~xff0x@2405:6580:b080:900:e069:d4ac:1a5b:5512) |
| 2026-05-11 11:20:22 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-05-11 11:44:36 +0000 | jawaknight | (~jawaknigh@91-139-86-53.customers.tmcz.cz) |
| 2026-05-11 11:47:40 +0000 | leppard | Guest2439 |
| 2026-05-11 11:47:40 +0000 | Guest2439 | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Killed (uranium.libera.chat (Nickname regained by services))) |
| 2026-05-11 11:47:40 +0000 | Inline | leppard |
| 2026-05-11 11:48:07 +0000 | Guest2439 | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-11 11:48:40 +0000 | comerijn | (~merijn@77.242.116.146) merijn |
| 2026-05-11 11:51:55 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2026-05-11 12:15:17 +0000 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2026-05-11 12:30:30 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2026-05-11 12:33:21 +0000 | synchromesh | (~john@2406:5a00:247e:1500:ce42:f14d:756:e01f) (Read error: Connection reset by peer) |
| 2026-05-11 12:34:36 +0000 | synchromesh | (~john@2406:5a00:247e:1500:ce42:f14d:756:e01f) synchromesh |
| 2026-05-11 12:55:40 +0000 | ft_ | (~ft@p4fc2aefd.dip0.t-ipconnect.de) ft |
| 2026-05-11 13:00:42 +0000 | ft_ | ft |
| 2026-05-11 13:08:42 +0000 | AlexNoo | (~AlexNoo@5.139.233.78) |
| 2026-05-11 13:09:29 +0000 | AlexNoo_ | (~AlexNoo@5.139.233.78) |
| 2026-05-11 13:10:13 +0000 | AlexNoo__ | (~AlexNoo@5.139.233.78) |
| 2026-05-11 13:12:57 +0000 | AlexNoo | (~AlexNoo@5.139.233.78) (Ping timeout: 246 seconds) |
| 2026-05-11 13:13:39 +0000 | AlexNoo_ | (~AlexNoo@5.139.233.78) (Ping timeout: 246 seconds) |
| 2026-05-11 13:14:21 +0000 | AlexNoo__ | (~AlexNoo@5.139.233.78) (Ping timeout: 246 seconds) |
| 2026-05-11 13:21:50 +0000 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 245 seconds) |
| 2026-05-11 13:28:12 +0000 | layline-away | layline_ |
| 2026-05-11 13:42:18 +0000 | jawaknight | (~jawaknigh@91-139-86-53.customers.tmcz.cz) (Remote host closed the connection) |
| 2026-05-11 13:42:53 +0000 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2026-05-11 13:43:08 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-05-11 13:49:33 +0000 | AlexZenon | (~alzenon@5.139.233.78) |
| 2026-05-11 13:50:03 +0000 | jreicher | (~joelr@user/jreicher) (Killed (iron.libera.chat (Nickname regained by services))) |
| 2026-05-11 13:50:21 +0000 | Axma31933 | (~Axman6@user/axman6) Axman6 |
| 2026-05-11 13:50:32 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-05-11 13:54:16 +0000 | AlexNoo | (~AlexNoo@5.139.233.78) |
| 2026-05-11 13:55:01 +0000 | AlexNoo_ | (~AlexNoo@5.139.233.78) |
| 2026-05-11 13:58:27 +0000 | AlexNoo | (~AlexNoo@5.139.233.78) (Ping timeout: 246 seconds) |
| 2026-05-11 13:59:09 +0000 | AlexNoo_ | (~AlexNoo@5.139.233.78) (Ping timeout: 246 seconds) |
| 2026-05-11 13:59:12 +0000 | Axman6 | (~Axman6@user/axman6) (*.net *.split) |
| 2026-05-11 14:01:27 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Ping timeout: 272 seconds) |
| 2026-05-11 14:02:11 +0000 | Alex_delenda_est | (~al_test@5.139.233.78) |
| 2026-05-11 14:04:34 +0000 | rainbyte | (~rainbyte@181.47.219.3) (Read error: Connection reset by peer) |
| 2026-05-11 14:05:22 +0000 | rainbyte | (~rainbyte@181.47.219.3) rainbyte |
| 2026-05-11 14:08:21 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-05-11 14:19:11 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 272 seconds) |
| 2026-05-11 14:19:56 +0000 | layline_ | layline-away |
| 2026-05-11 14:20:11 +0000 | layline-away | (~layline@149.154.26.39) (Quit: ZZZzzz…) |
| 2026-05-11 14:46:22 +0000 | layline_ | (~layline@149.154.26.39) layline |
| 2026-05-11 15:06:04 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:6078:8b90:8106:8f06) |
| 2026-05-11 15:08:53 +0000 | Buliarou1 | (~gypsydang@46.232.210.139) (Remote host closed the connection) |
| 2026-05-11 15:12:59 +0000 | AlexNoo_ | (~AlexNoo@5.139.233.78) |
| 2026-05-11 15:14:54 +0000 | jjhoo | (~jahakala@user/jjhoo) (Read error: Connection reset by peer) |
| 2026-05-11 15:17:12 +0000 | AlexNoo_ | (~AlexNoo@5.139.233.78) (Ping timeout: 246 seconds) |
| 2026-05-11 15:20:47 +0000 | Deltaspace | (~Deltaspac@user/Deltaspace) (Read error: error:0A000139:SSL routines::record layer failure) |
| 2026-05-11 15:20:54 +0000 | gf315 | (~gf3@user/gf3) gf3 |
| 2026-05-11 15:21:16 +0000 | gf31 | (~gf3@user/gf3) (Read error: Connection reset by peer) |
| 2026-05-11 15:21:16 +0000 | gf315 | gf31 |
| 2026-05-11 15:21:27 +0000 | Deltaspace | (~Deltaspac@178.252.83.109) |
| 2026-05-11 15:26:05 +0000 | Deltaspace | (~Deltaspac@178.252.83.109) (Changing host) |
| 2026-05-11 15:26:05 +0000 | Deltaspace | (~Deltaspac@user/Deltaspace) Deltaspace |
| 2026-05-11 15:38:44 +0000 | weary-traveler | (~user@user/user363627) (Ping timeout: 256 seconds) |
| 2026-05-11 15:39:38 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-05-11 15:39:47 +0000 | m_a_r_k | (~m_a_r_k@archlinux/support/mark) (Remote host closed the connection) |
| 2026-05-11 15:40:39 +0000 | m_a_r_k | (~m_a_r_k@archlinux/support/mark) m_a_r_k |
| 2026-05-11 15:51:34 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-05-11 16:00:15 +0000 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2026-05-11 16:06:55 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-05-11 16:19:40 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-05-11 16:26:54 +0000 | tromp | (~textual@2001:1c00:340e:2700:2053:7e42:4ce2:128b) |
| 2026-05-11 16:27:11 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) terrorjack |
| 2026-05-11 16:28:16 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) (Client Quit) |
| 2026-05-11 16:31:27 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) terrorjack |
| 2026-05-11 16:39:34 +0000 | layline_ | layline-away |
| 2026-05-11 16:43:58 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2026-05-11 16:44:07 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-11 16:44:25 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-05-11 16:45:26 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2026-05-11 16:46:49 +0000 | gruszek | (~gruszek@d103-206.icpnet.pl) |
| 2026-05-11 16:47:27 +0000 | gruszek | superrebacz420 |
| 2026-05-11 16:47:34 +0000 | <superrebacz420> | @pl f1 xs = product (map (2 -) (filter even xs)) |
| 2026-05-11 16:47:34 +0000 | <lambdabot> | f1 = product . map ((-) 2) . filter even |
| 2026-05-11 16:49:57 +0000 | superrebacz420 | (~gruszek@d103-206.icpnet.pl) (Client Quit) |
| 2026-05-11 16:51:15 +0000 | <EvanR> | well that was pointless |
| 2026-05-11 16:56:25 +0000 | emaczen | (~user@user/emaczen) emaczen |
| 2026-05-11 16:56:28 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-05-11 16:56:56 +0000 | layline-away | (~layline@149.154.26.39) (Quit: ZZZzzz…) |
| 2026-05-11 17:00:33 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2026-05-11 17:01:50 +0000 | jjhoo | (jahakala@user/jjhoo) jjhoo |
| 2026-05-11 17:01:53 +0000 | AlexNoo_ | (~AlexNoo@5.139.233.78) |
| 2026-05-11 17:01:57 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 255 seconds) |
| 2026-05-11 17:06:03 +0000 | AlexNoo_ | (~AlexNoo@5.139.233.78) (Ping timeout: 246 seconds) |
| 2026-05-11 17:11:24 +0000 | mtmn | (~mtmn@user/mtmn) (Remote host closed the connection) |
| 2026-05-11 17:12:19 +0000 | tromp | (~textual@2001:1c00:340e:2700:2053:7e42:4ce2:128b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-05-11 17:12:26 +0000 | mtmn | (~mtmn@user/mtmn) mtmn |
| 2026-05-11 17:15:04 +0000 | tromp | (~textual@2001:1c00:340e:2700:2053:7e42:4ce2:128b) |
| 2026-05-11 17:29:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 17:32:31 +0000 | tromp | (~textual@2001:1c00:340e:2700:2053:7e42:4ce2:128b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-05-11 17:34:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-11 17:38:53 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-05-11 17:42:12 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Ping timeout: 276 seconds) |
| 2026-05-11 17:43:28 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-05-11 17:45:42 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-11 17:46:18 +0000 | tzh | (~tzh@76.115.131.146) tzh |
| 2026-05-11 17:50:37 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-05-11 18:00:18 +0000 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::49) (Remote host closed the connection) |
| 2026-05-11 18:01:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 18:05:14 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2026-05-11 18:07:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-05-11 18:07:35 +0000 | tromp | (~textual@2001:1c00:340e:2700:2053:7e42:4ce2:128b) |
| 2026-05-11 18:10:23 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-05-11 18:10:31 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-05-11 18:14:56 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-05-11 18:17:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 18:22:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-11 18:23:24 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2026-05-11 18:23:25 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-11 18:28:49 +0000 | JimL | (~quassel@89-162-17-159.fiber.signal.no) JimL |
| 2026-05-11 18:33:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 18:39:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-11 18:48:39 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds) |
| 2026-05-11 18:51:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 18:52:32 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:6078:8b90:8106:8f06) (Ping timeout: 252 seconds) |
| 2026-05-11 18:56:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-11 18:57:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 18:57:58 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-11 19:00:38 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2026-05-11 19:02:44 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:e873:b91f:4661:a8bd) |
| 2026-05-11 19:03:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-11 19:13:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 19:18:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-11 19:22:57 +0000 | tromp | (~textual@2001:1c00:340e:2700:2053:7e42:4ce2:128b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-05-11 19:24:27 +0000 | <[exa]> | I just saw a guy call the Show&Read encoding/decoding combo a "HsON" and I think it's good. |
| 2026-05-11 19:27:44 +0000 | tromp | (~textual@2001:1c00:340e:2700:2053:7e42:4ce2:128b) |
| 2026-05-11 19:28:49 +0000 | <monochrom> | haha |
| 2026-05-11 19:29:24 +0000 | <monochrom> | I might prefer HsAN (A = algebraic) but OK! |
| 2026-05-11 19:29:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 19:31:09 +0000 | <[exa]> | like, it was pronounced like eidghsaahhhhnn, I guess that fits |
| 2026-05-11 19:32:29 +0000 | <yin> | hsλn |
| 2026-05-11 19:34:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-05-11 19:34:23 +0000 | <yin> | we can agree on HSΛN |
| 2026-05-11 19:37:44 +0000 | tromp | (~textual@2001:1c00:340e:2700:2053:7e42:4ce2:128b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-05-11 19:40:44 +0000 | <[exa]> | ok I'm in |
| 2026-05-11 19:41:38 +0000 | <davean> | tomsmeding: you use patterns for reading via Storable, and you can do writing too. It works. |
| 2026-05-11 19:42:01 +0000 | tromp | (~textual@2001:1c00:340e:2700:2053:7e42:4ce2:128b) |
| 2026-05-11 19:44:06 +0000 | <yin> | style it like the NASA worm logo and ship it |
| 2026-05-11 19:44:49 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-11 19:45:12 +0000 | <[exa]> | yin it's lacking the JSON disrespect |
| 2026-05-11 19:45:45 +0000 | <yin> | add "JSON sucks" in helvetica at the bottom |
| 2026-05-11 19:45:47 +0000 | <yin> | ship it |
| 2026-05-11 19:47:06 +0000 | <[exa]> | ah, fixed, thanks. :D |
| 2026-05-11 19:49:48 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 255 seconds) |
| 2026-05-11 19:53:12 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-11 19:55:46 +0000 | dispater | (~dispater@user/brprice) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-05-11 19:55:47 +0000 | orcus | (~orcus@user/brprice) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-05-11 19:57:23 +0000 | dispater | (~dispater@user/brprice) brprice |
| 2026-05-11 19:57:52 +0000 | orcus | (~orcus@user/brprice) brprice |
| 2026-05-11 20:00:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 20:06:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-11 20:06:19 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2026-05-11 20:06:54 +0000 | layline_ | (~layline@149.154.26.39) layline |
| 2026-05-11 20:10:00 +0000 | orcus | (~orcus@user/brprice) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-05-11 20:10:00 +0000 | dispater | (~dispater@user/brprice) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-05-11 20:11:37 +0000 | dispater | (~dispater@user/brprice) brprice |
| 2026-05-11 20:12:07 +0000 | orcus | (~orcus@user/brprice) brprice |
| 2026-05-11 20:14:24 +0000 | orcus | (~orcus@user/brprice) (Client Quit) |
| 2026-05-11 20:14:24 +0000 | dispater | (~dispater@user/brprice) (Client Quit) |
| 2026-05-11 20:16:23 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-11 20:16:34 +0000 | dispater | (~dispater@user/brprice) brprice |
| 2026-05-11 20:17:05 +0000 | orcus | (~orcus@user/brprice) brprice |
| 2026-05-11 20:20:16 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-05-11 20:23:02 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-05-11 20:24:57 +0000 | dispater | (~dispater@user/brprice) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-05-11 20:24:57 +0000 | orcus | (~orcus@user/brprice) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-05-11 20:26:32 +0000 | dispater | (~dispater@user/brprice) brprice |
| 2026-05-11 20:27:02 +0000 | orcus | (~orcus@user/brprice) brprice |
| 2026-05-11 20:28:26 +0000 | gentauro | (~gentauro@user/gentauro) (Quit: leaving) |
| 2026-05-11 20:30:46 +0000 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2026-05-11 20:31:06 +0000 | EvanR | (~EvanR@user/evanr) EvanR |
| 2026-05-11 20:32:24 +0000 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2026-05-11 20:34:16 +0000 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-05-11 20:34:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 20:39:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-11 20:50:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 20:50:45 +0000 | orcus | (~orcus@user/brprice) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-05-11 20:50:45 +0000 | dispater | (~dispater@user/brprice) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-05-11 20:52:21 +0000 | dispater | (~dispater@user/brprice) brprice |
| 2026-05-11 20:52:51 +0000 | orcus | (~orcus@user/brprice) brprice |
| 2026-05-11 20:54:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-11 20:57:19 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-05-11 20:59:10 +0000 | kilolympus | (~kilolympu@vmi1102682.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2026-05-11 20:59:56 +0000 | kilolympus | (~kilolympu@vmi1102682.contaboserver.net) kilolympus |
| 2026-05-11 21:00:51 +0000 | dispater | (~dispater@user/brprice) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-05-11 21:00:51 +0000 | orcus | (~orcus@user/brprice) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-05-11 21:02:25 +0000 | dispater | (~dispater@user/brprice) brprice |
| 2026-05-11 21:02:55 +0000 | orcus | (~orcus@user/brprice) brprice |
| 2026-05-11 21:05:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 21:06:18 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 255 seconds) |
| 2026-05-11 21:06:55 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-05-11 21:13:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-11 21:16:35 +0000 | michalz | (~michalz@185.246.207.205) (Remote host closed the connection) |
| 2026-05-11 21:21:23 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-05-11 21:24:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 21:29:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-11 21:30:43 +0000 | pfc | (~pfc@user/pfc) (Ping timeout: 244 seconds) |
| 2026-05-11 21:40:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 21:45:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-11 21:47:08 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-11 21:50:30 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-05-11 21:50:37 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-05-11 21:50:53 +0000 | califax | (~califax@user/califx) califx |
| 2026-05-11 21:51:08 +0000 | kilolympus | (~kilolympu@vmi1102682.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2026-05-11 21:52:21 +0000 | kilolympus | (~kilolympu@vmi1102682.contaboserver.net) kilolympus |
| 2026-05-11 21:56:26 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-05-11 21:56:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 21:56:34 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-05-11 21:56:48 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer) |
| 2026-05-11 21:57:40 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-05-11 21:59:15 +0000 | CloneOfNone | (~CloneOfNo@user/CloneOfNone) CloneOfNone |
| 2026-05-11 22:00:56 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-05-11 22:01:13 +0000 | CloneOfNone_ | (~CloneOfNo@user/CloneOfNone) (Ping timeout: 248 seconds) |
| 2026-05-11 22:02:02 +0000 | kilolympus | (~kilolympu@vmi1102682.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2026-05-11 22:02:36 +0000 | puke | (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-05-11 22:02:42 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:e873:b91f:4661:a8bd) (Quit: ricardomaps) |
| 2026-05-11 22:03:11 +0000 | kilolympus | (~kilolympu@vmi1102682.contaboserver.net) kilolympus |
| 2026-05-11 22:03:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-05-11 22:05:07 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-11 22:14:32 +0000 | JimL | (~quassel@89-162-17-159.fiber.signal.no) (Ping timeout: 244 seconds) |
| 2026-05-11 22:14:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 22:19:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-11 22:22:33 +0000 | JimL | (~quassel@89-162-17-159.fiber.signal.no) |
| 2026-05-11 22:27:06 +0000 | supersecant | (~superseca@2a02:6b6f:e715:4f00:34d4:1987:8d0b:c51d) (Quit: WeeChat 4.9.0) |
| 2026-05-11 22:30:22 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-11 22:33:26 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-05-11 22:35:18 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-05-11 22:39:03 +0000 | kilolympus0 | (~kilolympu@vmi1102682.contaboserver.net) kilolympus |
| 2026-05-11 22:42:02 +0000 | kilolympus | (~kilolympu@vmi1102682.contaboserver.net) (Ping timeout: 256 seconds) |
| 2026-05-11 22:42:02 +0000 | kilolympus0 | kilolympus |
| 2026-05-11 22:46:14 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-11 22:48:34 +0000 | layline_ | layline-away |
| 2026-05-11 22:48:49 +0000 | layline-away | (~layline@149.154.26.39) (Quit: ZZZzzz…) |
| 2026-05-11 22:51:46 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 276 seconds) |
| 2026-05-11 22:57:01 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2026-05-11 23:01:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 23:06:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-11 23:13:57 +0000 | itaipu | (~itaipu@168.121.98.126) (Ping timeout: 244 seconds) |
| 2026-05-11 23:15:37 +0000 | JimL | (~quassel@89-162-17-159.fiber.signal.no) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2026-05-11 23:15:59 +0000 | JimL | (~quassel@89-162-17-159.fiber.signal.no) |
| 2026-05-11 23:17:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 23:20:37 +0000 | rainbyte | (~rainbyte@181.47.219.3) (Read error: Connection reset by peer) |
| 2026-05-11 23:20:43 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-05-11 23:20:53 +0000 | rainbyte | (~rainbyte@181.47.219.3) rainbyte |
| 2026-05-11 23:22:58 +0000 | pyook | (~puke@user/puke) puke |
| 2026-05-11 23:22:58 +0000 | puke | Guest2085 |
| 2026-05-11 23:22:58 +0000 | pyook | puke |
| 2026-05-11 23:23:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-11 23:23:38 +0000 | Guest2085 | (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-05-11 23:33:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 23:34:33 +0000 | JimL | (~quassel@89-162-17-159.fiber.signal.no) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2026-05-11 23:38:42 +0000 | ricardomaps | (~ricardoma@2804:14d:a040:81ea:5ea2:715c:4c5:2e6) |
| 2026-05-11 23:39:49 +0000 | troojg | (~troojg@user/troojg) (Remote host closed the connection) |
| 2026-05-11 23:40:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-11 23:40:21 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Ping timeout: 276 seconds) |
| 2026-05-11 23:41:30 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-05-11 23:41:39 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-05-11 23:51:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-11 23:54:44 +0000 | layline-away | (~layline@149.154.26.39) layline |
| 2026-05-11 23:55:07 +0000 | layline-away | layline_ |
| 2026-05-11 23:55:37 +0000 | layline_ | layline-away |
| 2026-05-11 23:55:56 +0000 | layline-away | layline_ |
| 2026-05-11 23:56:26 +0000 | layline_ | layline-away |
| 2026-05-11 23:56:40 +0000 | layline-away | layline_ |
| 2026-05-11 23:56:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |