Newest at the top
| 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 |
| 2024-05-13 06:13:55 +0200 | <johnw> | I want to treat the int like a string, manipulate the string, and then store it back as an int |
| 2024-05-13 06:13:43 +0200 | <johnw> | I think 423 |
| 2024-05-13 06:06:17 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
| 2024-05-13 06:06:03 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-05-13 05:57:27 +0200 | aforemny_ | (~aforemny@i59F516F5.versanet.de) (Ping timeout: 260 seconds) |
| 2024-05-13 05:56:09 +0200 | aforemny | (~aforemny@i59F516F4.versanet.de) |
| 2024-05-13 05:55:09 +0200 | Square | (~Square@user/square) (Ping timeout: 272 seconds) |
| 2024-05-13 05:49:02 +0200 | xigua | (~xigua@user/xigua) |
| 2024-05-13 05:48:47 +0200 | xigua | (~xigua@user/xigua) (Read error: Connection reset by peer) |
| 2024-05-13 05:47:16 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 255 seconds) |