Newest at the top
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) |
2024-05-13 06:42:39 +0200 | sadome | (~sadome@182.69.182.31) |
2024-05-13 06:41:30 +0200 | sadome | (~sadome@user/sadome) (Excess Flood) |
2024-05-13 06:41:30 +0200 | sadome | (~sadome@user/sadome) |
2024-05-13 06:41:30 +0200 | sadome | (~sadome@182.69.182.31) (Changing host) |
2024-05-13 06:41:30 +0200 | sadome | (~sadome@182.69.182.31) |
2024-05-13 06:40:56 +0200 | sadome | (~sadome@user/sadome) (Excess Flood) |
2024-05-13 06:40:56 +0200 | sadome | (~sadome@user/sadome) |
2024-05-13 06:40:56 +0200 | sadome | (~sadome@182.69.182.31) (Changing host) |
2024-05-13 06:40:56 +0200 | sadome | (~sadome@182.69.182.31) |
2024-05-13 06:40:45 +0200 | michalz | (~michalz@185.246.207.197) |
2024-05-13 06:39:27 +0200 | <probie> | Do you really need a `String`, or would a sign and a list of digits be preferable? |
2024-05-13 06:35:42 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-13 06:35:00 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-05-13 06:27:29 +0200 | ropwareJB | (~ropwareJB@2601:602:9100:1460:c8dc:a946:242d:d890) (Quit: Client closed) |
2024-05-13 06:19:31 +0200 | phma_ | phma |
2024-05-13 06:15:11 +0200 | <johnw> | this is only valid if you never make modification that cause the number to not be a number anymore |
2024-05-13 06:14:40 +0200 | <johnw> | shown f a = read <$> f (show a) |
2024-05-13 06:14:40 +0200 | <johnw> | I mean, this is highly suspect, but: |
2024-05-13 06:14:24 +0200 | <johnw> | the _Show prism is the precise opposite of what I am looking for |