Newest at the top
| 2025-12-28 20:39:27 +0100 | <machinedgod> | (sorry for the wall of text - didn't realize how much I wrote) |
| 2025-12-28 20:39:13 +0100 | <machinedgod> | and snd from linear-base do just that. Is this meant to help bridge the gaps with nonlinear code, or is linear code actually supposed to be like that? Thank you upfront. |
| 2025-12-28 20:39:07 +0100 | <machinedgod> | Hi everyone. Linear types question (mostly theoretical curiosity but practical solution is appreciated too): is it possible to make a linear function that acts just like a record selector on data? The reason I ask is because, my intuition says - I will have to ignore (consume) all the fields except the one I need when I pattern match, therefore it violates linearity. However, linear versions of fst |
| 2025-12-28 20:37:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-28 20:37:42 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-12-28 20:35:20 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2025-12-28 20:33:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-28 20:22:01 +0100 | earthy | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Quit: ein reboot macht gut) |
| 2025-12-28 20:20:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-28 20:18:25 +0100 | bionade24 | (~quassel@server2.oscloud.info) bionade24 |
| 2025-12-28 20:13:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-28 20:12:26 +0100 | sroso | (~sroso@user/SrOso) SrOso |
| 2025-12-28 20:06:58 +0100 | edmerry | edm |
| 2025-12-28 20:05:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-28 20:02:05 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-28 20:01:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-28 19:51:32 +0100 | tromp | (~textual@user/tromp) tromp |
| 2025-12-28 19:49:27 +0100 | Square2 | (~Square@user/square) Square |
| 2025-12-28 19:47:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-28 19:43:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-28 19:32:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-28 19:30:19 +0100 | bionade24 | (~quassel@server2.oscloud.info) (Ping timeout: 264 seconds) |
| 2025-12-28 19:29:23 +0100 | tromp | (~textual@user/tromp) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-28 19:28:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-28 19:25:59 +0100 | somemathguy | (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 2025-12-28 19:22:43 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-28 19:18:42 +0100 | tromp | (~textual@user/tromp) tromp |
| 2025-12-28 19:17:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-28 19:12:32 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-12-28 19:12:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-28 19:11:28 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-12-28 19:10:55 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-12-28 19:03:14 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-28 19:01:19 +0100 | CryptLab | (~NSA@2a0d:5600:6:108::2e) CommanderBond007 |
| 2025-12-28 18:38:16 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-12-28 18:34:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-28 18:34:07 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:7842:6802:4767:2e5b) (Quit: WeeChat 4.1.1) |
| 2025-12-28 18:31:17 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-12-28 18:30:49 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-28 18:30:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-28 18:28:52 +0100 | somemathguy | (~somemathg@user/somemathguy) (Ping timeout: 255 seconds) |
| 2025-12-28 18:22:25 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-28 18:20:54 +0100 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2025-12-28 18:18:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-28 18:11:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-28 18:10:52 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 255 seconds) |
| 2025-12-28 18:06:08 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-12-28 18:03:18 +0100 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2025-12-28 18:02:00 +0100 | glguy | (glguy@libera/staff/glguy) glguy |
| 2025-12-28 18:01:55 +0100 | glguy | (glguy@libera/staff/glguy) (Quit: Quit) |