Newest at the top
| 2025-05-05 17:06:56 +0200 | euleritian | (~euleritia@77.23.248.47) |
| 2025-05-05 17:06:38 +0200 | euleritian | (~euleritia@dynamic-176-000-193-088.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-05 17:04:54 +0200 | alecs | (~alecs@nat16.software.imdea.org) (Ping timeout: 240 seconds) |
| 2025-05-05 17:04:54 +0200 | ChanServ | +v haskellbridge |
| 2025-05-05 17:04:54 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
| 2025-05-05 17:02:26 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-05-05 16:59:00 +0200 | fp | (~Thunderbi@wireless-86-50-140-117.open.aalto.fi) fp |
| 2025-05-05 16:57:57 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-05 16:55:24 +0200 | aljazmc | (~aljazmc@user/aljazmc) aljazmc |
| 2025-05-05 16:54:57 +0200 | aljazmc | (~aljazmc@user/aljazmc) (Remote host closed the connection) |
| 2025-05-05 16:54:39 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-05-05 16:52:28 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-05-05 16:51:36 +0200 | amir_ | (uid22336@user/amir) amir |
| 2025-05-05 16:48:12 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f8221d365420023dfe1.dip0.t-ipconnect.de) acidjnk |
| 2025-05-05 16:46:09 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 248 seconds) |
| 2025-05-05 16:44:36 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f8221d365420023dfe1.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-05-05 16:39:03 +0200 | aljazmc | (~aljazmc@user/aljazmc) aljazmc |
| 2025-05-05 16:38:38 +0200 | aljazmc | (~aljazmc@user/aljazmc) (Remote host closed the connection) |
| 2025-05-05 16:29:34 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 245 seconds) |
| 2025-05-05 16:17:03 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-05-05 16:15:30 +0200 | <tomsmeding> | is there a usecase where you want the number of numeric base-10 digits in an Int value, but where the possible '-' doesn't count? |
| 2025-05-05 16:12:55 +0200 | euleritian | (~euleritia@dynamic-176-000-193-088.176.0.pool.telefonica.de) |
| 2025-05-05 16:12:29 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2025-05-05 16:11:53 +0200 | aljazmc | (~aljazmc@user/aljazmc) aljazmc |
| 2025-05-05 16:11:23 +0200 | aljazmc | (~aljazmc@user/aljazmc) (Remote host closed the connection) |
| 2025-05-05 16:11:16 +0200 | Shsl-Junko-POSER | (~Shsl-Junk@50.235.208.178) (Quit: Client closed) |
| 2025-05-05 16:08:23 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2025-05-05 16:07:15 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-05 16:07:14 +0200 | <hellwolf> | length . show . abs :|) |
| 2025-05-05 16:06:33 +0200 | <hellwolf> | what happens to the negatives |
| 2025-05-05 16:05:32 +0200 | Shsl-Junko-POSER | (~Shsl-Junk@50.235.208.178) |
| 2025-05-05 16:04:52 +0200 | tromp | (~textual@2001:1c00:3487:1b00:25b8:e34c:8097:c1c7) |
| 2025-05-05 16:04:15 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-05-05 16:03:10 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-05-05 16:01:13 +0200 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2025-05-05 16:01:02 +0200 | <stefan-__> | Square2: "length . show" should work |
| 2025-05-05 15:57:06 +0200 | <Square2> | There's no function in base that gives me the number of digits of an "Int" value? |
| 2025-05-05 15:46:55 +0200 | aljazmc | (~aljazmc@user/aljazmc) aljazmc |
| 2025-05-05 15:46:24 +0200 | aljazmc | (~aljazmc@user/aljazmc) (Remote host closed the connection) |
| 2025-05-05 15:33:34 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-05-05 15:32:19 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2025-05-05 15:32:04 +0200 | aljazmc | (~aljazmc@user/aljazmc) aljazmc |
| 2025-05-05 15:31:38 +0200 | aljazmc | (~aljazmc@user/aljazmc) (Remote host closed the connection) |
| 2025-05-05 15:29:44 +0200 | Square2 | (~Square4@user/square) Square |
| 2025-05-05 15:29:36 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 268 seconds) |
| 2025-05-05 15:29:24 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-05 15:29:04 +0200 | Square2 | (~Square4@user/square) (Remote host closed the connection) |
| 2025-05-05 15:21:39 +0200 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-05-05 15:14:10 +0200 | weary-traveler | (~user@user/user363627) (Ping timeout: 265 seconds) |
| 2025-05-05 15:14:03 +0200 | aljazmc | (~aljazmc@user/aljazmc) aljazmc |