Newest at the top
| 2024-04-25 02:55:08 +0200 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-04-25 02:54:22 +0200 | pastly | (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection) |
| 2024-04-25 02:53:21 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-04-25 02:51:14 +0200 | zzz | yin |
| 2024-04-25 02:50:26 +0200 | zwrv | zzz |
| 2024-04-25 02:49:28 +0200 | attebregge | (~adam@user/attebregge) |
| 2024-04-25 02:43:37 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-04-25 02:41:43 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-25 02:31:04 +0200 | kilolympus | (~kilolympu@31.205.200.246) |
| 2024-04-25 02:21:15 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a709:5227:95bf:dd51) (Ping timeout: 268 seconds) |
| 2024-04-25 02:04:19 +0200 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-04-25 01:58:00 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2024-04-25 01:55:40 +0200 | pastly | (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection) |
| 2024-04-25 01:51:24 +0200 | trev | (~trev@user/trev) |
| 2024-04-25 01:51:08 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-04-25 01:49:48 +0200 | trev | (~trev@user/trev) (Ping timeout: 268 seconds) |
| 2024-04-25 01:40:11 +0200 | philopsos | (~caecilius@user/philopsos) |
| 2024-04-25 01:24:00 +0200 | mima | (~mmh@aftr-62-216-211-51.dynamic.mnet-online.de) (Ping timeout: 255 seconds) |
| 2024-04-25 01:19:57 +0200 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 255 seconds) |
| 2024-04-25 01:14:28 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-04-25 01:14:17 +0200 | zwrv | (~yin@user/zero) |
| 2024-04-25 01:13:30 +0200 | chiselfu1e | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-04-25 01:13:29 +0200 | ph88 | (~ph88@91.64.63.48) (Remote host closed the connection) |
| 2024-04-25 01:07:25 +0200 | zwrv | (~yin@user/zero) (Ping timeout: 246 seconds) |
| 2024-04-25 01:04:28 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-04-25 00:58:10 +0200 | sroso | (~sroso@user/SrOso) |
| 2024-04-25 00:58:02 +0200 | waldo | (~waldo@user/waldo) |
| 2024-04-25 00:57:48 +0200 | waldo | (~waldo@user/waldo) (Quit: waldo) |
| 2024-04-25 00:56:38 +0200 | phma | (phma@2001:5b0:2172:c758:72f8:9d6a:4a7b:7a0f) (Read error: Connection reset by peer) |
| 2024-04-25 00:56:10 +0200 | phma_ | (~phma@2001:5b0:210f:7f28:c0a7:813e:87a3:391e) |
| 2024-04-25 00:52:22 +0200 | sroso | (~sroso@user/SrOso) (Max SendQ exceeded) |
| 2024-04-25 00:51:55 +0200 | sroso | (~sroso@user/SrOso) |
| 2024-04-25 00:51:10 +0200 | waldo | (~waldo@user/waldo) |
| 2024-04-25 00:46:46 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 246 seconds) |
| 2024-04-25 00:46:31 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-04-25 00:45:45 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-04-25 00:45:40 +0200 | waldo | (~waldo@user/waldo) (Ping timeout: 268 seconds) |
| 2024-04-25 00:39:13 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 256 seconds) |
| 2024-04-25 00:37:53 +0200 | Pixi | (~Pixi@user/pixi) |
| 2024-04-25 00:37:06 +0200 | Pixi__ | (~Pixi@user/pixi) (Quit: Leaving) |
| 2024-04-25 00:37:02 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-04-25 00:31:56 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-04-25 00:29:35 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2024-04-25 00:27:29 +0200 | <haskellbridge> | <irregularsphere> well then I guess it being specifically a closed subcategory is not good! imagine `Eq (x -> y)` |
| 2024-04-25 00:25:49 +0200 | <haskellbridge> | <irregularsphere> so my code snippet only works on closed subcategories |
| 2024-04-25 00:25:30 +0200 | <haskellbridge> | <irregularsphere> ah |
| 2024-04-25 00:24:38 +0200 | <ncf> | https://ncatlab.org/nlab/show/closed+functor |
| 2024-04-25 00:24:32 +0200 | <haskellbridge> | <irregularsphere> I realized `<*>`'s type signature is `f (x -> y) -> f x- > f y`, since `f` is assumed to work on values of `a` then `f (x -> y)` does not make much sense either |
| 2024-04-25 00:23:23 +0200 | cyphase | (~cyphase@user/cyphase) (Quit: cyphase.com) |
| 2024-04-25 00:23:04 +0200 | <haskellbridge> | <irregularsphere> and yes haskell's Applicative is that (I don't know what a lax closed functor is specifically) but after constraining you don't see `a (x -> y)` that much |