Newest at the top
| 2024-05-13 08:42:38 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2024-05-13 08:36:13 +0200 | <lambdabot> | (2,3,3) |
| 2024-05-13 08:36:12 +0200 | <c_wraith> | > (1,2,3) & partsOf each %~ tail |
| 2024-05-13 08:36:05 +0200 | <c_wraith> | there are some unlawful things in lens with failure modes like that, which sort of just... Make something up if their preconditions are violated. |
| 2024-05-13 08:31:13 +0200 | <c_wraith> | johnw: it's inherently going to be unlawful, because invalid changes to the string will break it. There's nothing in lens that's allowed to fail in that direction. If you accept that and simply proceed with something like your shown definition, that's as good as you'll get without inventing something new. |
| 2024-05-13 08:20:22 +0200 | Square2 | (~Square4@user/square) |
| 2024-05-13 08:14:56 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-05-13 08:12:59 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-05-13 08:07:44 +0200 | cyphase | (~cyphase@user/cyphase) (Remote host closed the connection) |
| 2024-05-13 08:07:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-13 08:07:27 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2024-05-13 08:04:17 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-05-13 08:04:10 +0200 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) |
| 2024-05-13 08:03:47 +0200 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (Ping timeout: 252 seconds) |
| 2024-05-13 08:03:43 +0200 | ames4 | ames |
| 2024-05-13 08:02:55 +0200 | stefan-__ | (~m-yh2rcc@42dots.de) |
| 2024-05-13 08:02:41 +0200 | stefan-__ | (~m-yh2rcc@42dots.de) (Ping timeout: 252 seconds) |
| 2024-05-13 08:02:03 +0200 | ames4 | (~amelia@offtopia/offtopian/amelia) |
| 2024-05-13 08:01:56 +0200 | ames | (~amelia@offtopia/offtopian/amelia) (Quit: Ping timeout (120 seconds)) |
| 2024-05-13 07:51:27 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
| 2024-05-13 07:51:03 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Quit: Konversation terminated!) |
| 2024-05-13 07:50:35 +0200 | philopsos1 | (~caecilius@user/philopsos) (Quit: Lost terminal) |
| 2024-05-13 07:47:09 +0200 | causal | (~eric@50.35.88.207) |
| 2024-05-13 07:44:45 +0200 | <johnw> | probie: I actually want a string, so that I can turn it into a Text and use that someplace. It just fits the pattern if it's a lens or traversal. It's OK, though, there are many ways around this problem. |
| 2024-05-13 07:38:51 +0200 | notzmv | (~daniel@user/notzmv) (Ping timeout: 255 seconds) |
| 2024-05-13 07:34:55 +0200 | euleritian | (~euleritia@dynamic-176-001-008-241.176.1.pool.telefonica.de) |
| 2024-05-13 07:34:52 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-05-13 07:34:16 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-05-13 07:28:03 +0200 | mailman | (~mailman@192.210.255.34) (Ping timeout: 250 seconds) |
| 2024-05-13 07:23:51 +0200 | ft | (~ft@p508db8fc.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-05-13 07:18:57 +0200 | mailman | (~mailman@192.210.255.34) |
| 2024-05-13 07:18:07 +0200 | mailman | (~mailman@192.210.255.34) (Client Quit) |
| 2024-05-13 07:16:14 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc3784e5c6ff7798483a.dip0.t-ipconnect.de) |
| 2024-05-13 07:16:06 +0200 | mailman | (~mailman@192.210.255.34) |
| 2024-05-13 06:55:38 +0200 | <sm> | epic post by maerwald |
| 2024-05-13 06:55:22 +0200 | <lambdabot> | I will never forget. |
| 2024-05-13 06:55:22 +0200 | <sm> | @where+ ultimate-string-guide https://hasufell.github.io/posts/2024-05-07-ultimate-string-guide.html |
| 2024-05-13 06:53:57 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-05-13 06:50:53 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
| 2024-05-13 06:48:28 +0200 | michalz | (~michalz@185.246.207.203) |
| 2024-05-13 06:47:51 +0200 | sadome | (~sadome@user/sadome) (Excess Flood) |
| 2024-05-13 06:47:51 +0200 | sadome | (~sadome@user/sadome) |
| 2024-05-13 06:47:10 +0200 | sadome | (~sadome@user/sadome) (Excess Flood) |
| 2024-05-13 06:47:10 +0200 | sadome | (~sadome@user/sadome) |
| 2024-05-13 06:45:36 +0200 | michalz | (~michalz@185.246.207.197) (Client Quit) |
| 2024-05-13 06:43:35 +0200 | sadome | (~sadome@user/sadome) (Excess Flood) |
| 2024-05-13 06:43:35 +0200 | sadome | (~sadome@user/sadome) |
| 2024-05-13 06:42:39 +0200 | sadome | (~sadome@user/sadome) (Excess Flood) |
| 2024-05-13 06:42:39 +0200 | sadome | (~sadome@user/sadome) |
| 2024-05-13 06:42:39 +0200 | sadome | (~sadome@182.69.182.31) (Changing host) |