Newest at the top
2024-05-08 23:27:52 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
2024-05-08 23:26:57 +0200 | <d34df00d> | Hi! |
2024-05-08 23:26:09 +0200 | d34df00d | (~d34df00d@2600:1702:4f1b:7c10::43) |
2024-05-08 23:26:03 +0200 | ph88 | (~ph88@2a02:8109:9e26:c800:90c5:90e1:99f9:6ad5) (Remote host closed the connection) |
2024-05-08 23:20:28 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2024-05-08 23:13:57 +0200 | gmg | (~user@user/gehmehgeh) |
2024-05-08 23:11:30 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
2024-05-08 23:11:04 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-08 23:06:38 +0200 | r5c4571lh01987 | (~rscastilh@179.221.142.8) (Client Quit) |
2024-05-08 23:04:29 +0200 | r5c4571lh01987 | (~rscastilh@179.221.142.8) |
2024-05-08 23:02:31 +0200 | foul_owl | (~kerry@185.216.231.182) |
2024-05-08 23:00:54 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 255 seconds) |
2024-05-08 22:59:27 +0200 | <sm> | There's more to it than meets the eye. Details (spoiler!): https://news.ycombinator.com/item?id=40300454 |
2024-05-08 22:57:55 +0200 | <sm> | a work of art |
2024-05-08 22:57:20 +0200 | <sm> | davean: outstanding work!! |
2024-05-08 22:57:08 +0200 | <EvanR> | Either Blue Green ? |
2024-05-08 22:57:02 +0200 | <EvanR> | can I get a type signature for the input and output |
2024-05-08 22:52:03 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
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) |