Newest at the top
2025-03-29 18:04:46 +0100 | <dutchie> | and aiui `let Just x = thing` just crashes if it doesn't match |
2025-03-29 18:04:20 +0100 | <dutchie> | I feel like I'm missing something obvious, but what's the way to have a pattern match in an attoparsec do block result in failure? I can't just do `Just x <- thing` because it's the wrong monad... |
2025-03-29 18:03:53 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-19-74-12-85-11.dsl.bell.ca) rekahsoft |
2025-03-29 18:03:27 +0100 | dutchie | (~dutchie@user/dutchie) dutchie |
2025-03-29 18:00:54 +0100 | toby-bro | (~toby-bro@user/toby-bro) (Ping timeout: 260 seconds) |
2025-03-29 17:56:04 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 260 seconds) |
2025-03-29 17:51:47 +0100 | ash3en | (~Thunderbi@89.56.182.235) (Quit: ash3en) |
2025-03-29 17:48:21 +0100 | ljdarj1 | ljdarj |
2025-03-29 17:48:21 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
2025-03-29 17:46:58 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-03-29 17:44:42 +0100 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
2025-03-29 17:43:40 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9865:6ec1:d353:2dc8) |
2025-03-29 17:42:35 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-03-29 17:38:15 +0100 | Digitteknohippie | (~user@user/digit) Digit |
2025-03-29 17:30:42 +0100 | <srk> | almost rolled my own primitive http server /o\ |
2025-03-29 17:30:26 +0100 | <srk> | heh, trying to export prometheus metrics from 32bit pi1 is quite fun. had to patch basement, memory and cborg (fortunately two of them had PRs) because of tons of crypto libs that I don't need |
2025-03-29 17:29:57 +0100 | ash3en | (~Thunderbi@89.56.182.235) (Ping timeout: 244 seconds) |
2025-03-29 17:28:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-29 17:28:01 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
2025-03-29 17:27:34 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
2025-03-29 17:27:20 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Read error: Connection reset by peer) |
2025-03-29 17:27:20 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Read error: Connection reset by peer) |
2025-03-29 17:21:57 +0100 | Digit | (~user@user/digit) Digit |
2025-03-29 17:16:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-03-29 17:15:11 +0100 | <tomsmeding> | ski: if this wasn't in the context of numerical computing, that would've been a good one. :D |
2025-03-29 17:12:29 +0100 | aman | (~aman@user/aman) (Quit: aman) |
2025-03-29 17:11:18 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2025-03-29 17:06:24 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2025-03-29 17:01:59 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2025-03-29 17:00:10 +0100 | anpad | (~pandeyan@user/anpad) (Ping timeout: 272 seconds) |
2025-03-29 16:57:07 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9865:6ec1:d353:2dc8) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-03-29 16:54:43 +0100 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) |
2025-03-29 16:53:06 +0100 | digitteknohippie | (~user@user/digit) (Remote host closed the connection) |
2025-03-29 16:53:05 +0100 | Digit | digitteknohippie |
2025-03-29 16:51:23 +0100 | Digit | (~user@user/digit) Digit |
2025-03-29 16:48:43 +0100 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
2025-03-29 16:41:45 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2025-03-29 16:36:25 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-03-29 16:34:18 +0100 | tabaqui | (~tabaqui@167.71.80.236) (Quit: WeeChat 4.5.2) |
2025-03-29 16:32:11 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-03-29 16:24:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-29 16:22:02 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Remote host closed the connection) |
2025-03-29 16:20:03 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) oneeyedalien |
2025-03-29 16:13:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-03-29 16:12:27 +0100 | beth | (~beth@103.151.209.124) (Client Quit) |
2025-03-29 16:12:13 +0100 | beth | (~beth@103.151.209.124) |
2025-03-29 16:04:15 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-03-29 15:55:00 +0100 | Digit | (~user@user/digit) (Remote host closed the connection) |
2025-03-29 15:43:11 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2025-03-29 15:39:34 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |