Newest at the top
| 2025-05-05 03:05:51 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-05 02:58:49 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-05 02:57:25 +0200 | sm | (znc@plaintextaccounting/sm) (Ping timeout: 248 seconds) |
| 2025-05-05 02:55:19 +0200 | sm_ | (~znc@plaintextaccounting/sm) sm |
| 2025-05-05 02:39:57 +0200 | Tikosh | (~Tikosh@user/Tikosh) () |
| 2025-05-05 02:39:48 +0200 | <Tikosh> | alright! thanks |
| 2025-05-05 02:39:10 +0200 | <geekosaur> | there's a slight chance you'll do better asking in #xmonad, fwiw |
| 2025-05-05 02:37:01 +0200 | <Tikosh> | I have taffybar and am attempting to put a battery widget on my taffybar with no luck. does anyone know any documentation or know how to make a battery widget for taffybar? |
| 2025-05-05 02:36:58 +0200 | tolgo | (~Thunderbi@199.115.144.130) (Ping timeout: 252 seconds) |
| 2025-05-05 02:36:01 +0200 | Tikosh | (~Tikosh@user/Tikosh) Tikosh |
| 2025-05-05 02:35:31 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-05 02:33:59 +0200 | <monochrom> | haha |
| 2025-05-05 02:32:17 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-05 02:29:49 +0200 | haskellbridge | shapr stretches a monad to check its tensor strength |
| 2025-05-05 02:26:42 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-05-05 02:18:21 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2025-05-05 02:17:16 +0200 | finsternis | (~X@23.226.237.192) finsternis |
| 2025-05-05 02:17:01 +0200 | sm_ | (~znc@plaintextaccounting/sm) (Ping timeout: 276 seconds) |
| 2025-05-05 02:16:29 +0200 | sm | (znc@plaintextaccounting/sm) sm |
| 2025-05-05 02:14:58 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-05 02:12:41 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-05-05 02:10:24 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 2025-05-05 02:08:34 +0200 | sm | (znc@plaintextaccounting/sm) (Ping timeout: 260 seconds) |
| 2025-05-05 02:07:02 +0200 | sm_ | (~znc@plaintextaccounting/sm) sm |
| 2025-05-05 02:00:21 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2025-05-05 01:56:54 +0200 | ljdarj1 | ljdarj |
| 2025-05-05 01:56:54 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-05-05 01:55:21 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-05 01:46:02 +0200 | ljdarj1 | ljdarj |
| 2025-05-05 01:46:02 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-05-05 01:43:19 +0200 | <monochrom> | onoes, is that the much fabled monad with tensor strength? |
| 2025-05-05 01:41:41 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2025-05-05 01:41:38 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-05 01:40:49 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-05 01:40:26 +0200 | tolgo | (~Thunderbi@199.115.144.130) |
| 2025-05-05 01:39:49 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
| 2025-05-05 01:37:35 +0200 | Axma14181 | (~Axman6@user/axman6) Axman6 |
| 2025-05-05 01:37:25 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-05-05 01:34:04 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-05 01:28:11 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f52d4f1201e65d300bb.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-05-05 01:25:10 +0200 | Square | (~Square@user/square) Square |
| 2025-05-05 01:21:50 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2025-05-05 01:21:16 +0200 | sprotte24 | (~sprotte24@p200300d16f243100f18c0be91bdc6e3d.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-05-05 01:20:30 +0200 | sajenim | (~sajenim@user/sajenim) sajenim |
| 2025-05-05 01:15:06 +0200 | Googulator33 | (~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-05-05 01:01:24 +0200 | <hellwolf> | good night. |
| 2025-05-05 01:01:21 +0200 | <hellwolf> | YulApply :: forall eff a b. YulO2 a b => YulCat eff (YulCat eff a b ⊗ a) b |
| 2025-05-05 01:01:21 +0200 | <hellwolf> | to complete, apply is: |
| 2025-05-05 01:00:37 +0200 | <hellwolf> | YulCurry (YulSwitch [(True, ..), (False, ..)]) :: YulCat eff (a ⊗ BOOL) c |
| 2025-05-05 00:59:48 +0200 | <hellwolf> | and curry is general categorical operation |