Newest at the top
| 2024-05-08 22:52:01 +0200 | <davean> | sm: yes, I can :-p |
| 2024-05-08 22:51:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-08 22:50:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-08 22:50:35 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-05-08 22:48:35 +0200 | foul_owl | (~kerry@185.216.231.179) (Ping timeout: 264 seconds) |
| 2024-05-08 22:46:17 +0200 | ncf | . o O ( double categories ) |
| 2024-05-08 22:46:11 +0200 | <ncf> | composing functions in 2D, now that's an idea |
| 2024-05-08 22:45:27 +0200 | <random-jellyfish> | are covariant vectors the same thing as the vectors from the dual space? |
| 2024-05-08 22:45:07 +0200 | <sm> | I'll just leave this here: https://xkcd.com/2916 . Can you find the haskell connection ? |
| 2024-05-08 22:41:39 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-05-08 22:40:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-08 22:34:42 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-08 22:33:04 +0200 | philopsos | (~caecilius@user/philopsos) |
| 2024-05-08 22:29:51 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-05-08 22:18:09 +0200 | titibandit | (~titibandi@user/titibandit) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2024-05-08 22:18:00 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2024-05-08 22:09:00 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-08 22:02:31 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2024-05-08 22:00:50 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-05-08 21:59:40 +0200 | tolt_ | tolt |
| 2024-05-08 21:59:28 +0200 | onion | (~yin@user/zero) (Quit: Lost terminal) |
| 2024-05-08 21:58:43 +0200 | titibandit | (~titibandi@user/titibandit) () |
| 2024-05-08 21:57:45 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2024-05-08 21:55:38 +0200 | titibandit | (~titibandi@user/titibandit) (Client Quit) |
| 2024-05-08 21:55:12 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2024-05-08 21:54:10 +0200 | titibandit | (~titibandi@user/titibandit) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2024-05-08 21:48:17 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2024-05-08 21:40:40 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-05-08 21:36:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-08 21:34:24 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-08 21:28:42 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2024-05-08 21:28:25 +0200 | chexum_ | (~quassel@gateway/tor-sasl/chexum) |
| 2024-05-08 21:27:06 +0200 | r5c4571lh01987 | (~rscastilh@179.221.142.8) () |
| 2024-05-08 21:21:55 +0200 | r5c4571lh01987 | (~rscastilh@179.221.142.8) |
| 2024-05-08 21:15:13 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-05-08 21:14:36 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-05-08 21:11:00 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:d519:3620:f788:aaa0) |
| 2024-05-08 21:10:42 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:d999:72f4:b788:a2bb) (Quit: Ping timeout (120 seconds)) |
| 2024-05-08 21:09:03 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-08 20:50:51 +0200 | phma | (~phma@host-67-44-208-31.hnremote.net) |
| 2024-05-08 20:43:07 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-08 20:41:31 +0200 | r5c4571lh01987 | (~rscastilh@179.221.142.8) (Client Quit) |
| 2024-05-08 20:39:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-08 20:39:52 +0200 | r5c4571lh01987 | (~rscastilh@179.221.142.8) |
| 2024-05-08 20:39:15 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-05-08 20:31:39 +0200 | Wstfgl0 | (~me-me@kc.randomserver.name) |
| 2024-05-08 20:30:11 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-08 20:28:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-08 20:26:23 +0200 | Me-me- | (~me-me@kc.randomserver.name) (Ping timeout: 264 seconds) |
| 2024-05-08 20:21:35 +0200 | phma | (phma@2001:5b0:211b:8f38:94dd:3277:4b6:fb28) (Read error: Connection reset by peer) |