| 2024-07-21 00:09:28 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-07-21 00:09:45 +0200 | CiaoSen | (~Jura@2a05:5800:254:9700:e6b9:7aff:fe80:3d03) (Ping timeout: 252 seconds) |
| 2024-07-21 00:25:36 +0200 | squid32 | (squid64@user/squid64) |
| 2024-07-21 00:28:06 +0200 | squid32 | (squid64@user/squid64) (Client Quit) |
| 2024-07-21 00:28:19 +0200 | squid64 | (squid64@user/squid64) (Ping timeout: 245 seconds) |
| 2024-07-21 00:31:29 +0200 | ystael | (~ystael@user/ystael) |
| 2024-07-21 00:31:51 +0200 | squid64 | (squid64@user/squid64) |
| 2024-07-21 00:33:51 +0200 | squid64 | (squid64@user/squid64) (Remote host closed the connection) |
| 2024-07-21 00:37:30 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 260 seconds) |
| 2024-07-21 00:39:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-21 00:51:07 +0200 | xal | (~xal@mx1.xal.systems) (Quit: bye) |
| 2024-07-21 00:51:48 +0200 | squid64 | (squid64@user/squid64) |
| 2024-07-21 00:54:15 +0200 | xal | (~xal@mx1.xal.systems) |
| 2024-07-21 01:04:21 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 248 seconds) |
| 2024-07-21 01:06:58 +0200 | euleritian | (~euleritia@dynamic-176-006-131-226.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-21 01:07:39 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-21 01:12:05 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-07-21 01:12:21 +0200 | euleritian | (~euleritia@dynamic-176-006-131-226.176.6.pool.telefonica.de) |
| 2024-07-21 01:13:36 +0200 | euleritian | (~euleritia@dynamic-176-006-131-226.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-21 01:13:54 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-21 01:15:25 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2024-07-21 01:15:57 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-21 01:20:21 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-07-21 01:20:47 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.9.1+deb1 - https://znc.in) |
| 2024-07-21 01:21:51 +0200 | ash3en | (~Thunderbi@2a01:c22:888e:9900:1578:4a37:8e5e:967) |
| 2024-07-21 01:23:05 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-07-21 01:24:57 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-07-21 01:26:16 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
| 2024-07-21 01:26:44 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-07-21 01:28:58 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2024-07-21 01:30:44 +0200 | hiredman | (~hiredman@frontier1.downey.family) (Quit: Lost terminal) |
| 2024-07-21 01:32:10 +0200 | cayley56 | (~cayley5@user/phileasfogg) |
| 2024-07-21 01:32:19 +0200 | lambdap23710 | (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2024-07-21 01:32:23 +0200 | Lears | (~Leary@user/Leary/x-0910699) |
| 2024-07-21 01:32:36 +0200 | evanrelf_ | (3addc196af@2a03:6000:1812:100::f0) |
| 2024-07-21 01:32:37 +0200 | tnks_ | (sid412124@id-412124.helmsley.irccloud.com) |
| 2024-07-21 01:32:49 +0200 | titibandit_ | (e33ffbab65@user/titibandit) |
| 2024-07-21 01:32:49 +0200 | jleightcap_ | (7bc4014b62@user/jleightcap) |
| 2024-07-21 01:32:49 +0200 | ggb_ | (a62ffbaf4f@2a03:6000:1812:100::3ac) |
| 2024-07-21 01:32:50 +0200 | henrytill_ | (e0180937c3@2a03:6000:1812:100::e8c) |
| 2024-07-21 01:32:51 +0200 | ursa-major_ | (114efe6c39@2a03:6000:1812:100::11f3) |
| 2024-07-21 01:32:53 +0200 | aristid_ | (sid1599@id-1599.uxbridge.irccloud.com) |
| 2024-07-21 01:32:57 +0200 | edwardk_ | (sid47016@haskell/developer/edwardk) |
| 2024-07-21 01:33:02 +0200 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) (Ping timeout: 258 seconds) |
| 2024-07-21 01:33:02 +0200 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) (Ping timeout: 258 seconds) |
| 2024-07-21 01:33:02 +0200 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) (Ping timeout: 258 seconds) |
| 2024-07-21 01:33:02 +0200 | evanrelf_ | evanrelf |
| 2024-07-21 01:33:02 +0200 | tnks | (sid412124@id-412124.helmsley.irccloud.com) (Ping timeout: 258 seconds) |
| 2024-07-21 01:33:02 +0200 | lambdap2371 | (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 2024-07-21 01:33:03 +0200 | lambdap23710 | lambdap2371 |
| 2024-07-21 01:33:03 +0200 | tnks_ | tnks |
| 2024-07-21 01:33:04 +0200 | swistak- | (~swistak@185.21.216.141) |
| 2024-07-21 01:33:04 +0200 | cayley5 | (~cayley5@user/phileasfogg) (Read error: Connection reset by peer) |
| 2024-07-21 01:33:05 +0200 | cayley56 | cayley5 |
| 2024-07-21 01:33:06 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Remote host closed the connection) |
| 2024-07-21 01:33:07 +0200 | acro | (~acro@user/acro) (Quit: Bye.) |
| 2024-07-21 01:33:07 +0200 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-07-21 01:33:07 +0200 | tritlo_ | (sid58727@id-58727.hampstead.irccloud.com) (Read error: Connection reset by peer) |
| 2024-07-21 01:33:08 +0200 | end | (~end@user/end/x-0094621) (Quit: end) |
| 2024-07-21 01:33:09 +0200 | constxd | (~constxd@user/constxd) (Remote host closed the connection) |
| 2024-07-21 01:33:09 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Ping timeout: 258 seconds) |
| 2024-07-21 01:33:09 +0200 | titibandit | (e33ffbab65@user/titibandit) (Ping timeout: 258 seconds) |
| 2024-07-21 01:33:09 +0200 | titibandit_ | titibandit |
| 2024-07-21 01:33:09 +0200 | catties | (~catties@user/meow/catties) (Quit: n_n) |
| 2024-07-21 01:33:09 +0200 | onliner10 | (~onliner10@user/onliner10) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-07-21 01:33:17 +0200 | jleightcap | (7bc4014b62@user/jleightcap) (Read error: Connection reset by peer) |
| 2024-07-21 01:33:17 +0200 | tritlo_ | (sid58727@id-58727.hampstead.irccloud.com) |
| 2024-07-21 01:33:17 +0200 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) (Read error: Connection reset by peer) |
| 2024-07-21 01:33:23 +0200 | constxd | (~constxd@user/constxd) |
| 2024-07-21 01:33:25 +0200 | onliner10 | (~onliner10@user/onliner10) |
| 2024-07-21 01:33:27 +0200 | jleightcap_ | jleightcap |
| 2024-07-21 01:33:28 +0200 | anpad | (~pandeyan@user/anpad) |
| 2024-07-21 01:33:29 +0200 | catties | (~catties@user/meow/catties) |
| 2024-07-21 01:33:30 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2024-07-21 01:33:32 +0200 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 258 seconds) |
| 2024-07-21 01:33:32 +0200 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2024-07-21 01:33:37 +0200 | ggb_ | ggb |
| 2024-07-21 01:33:41 +0200 | henrytill | (e0180937c3@2a03:6000:1812:100::e8c) (Read error: Connection reset by peer) |
| 2024-07-21 01:33:41 +0200 | henrytill_ | henrytill |
| 2024-07-21 01:33:43 +0200 | swistak | (~swistak@185.21.216.141) (Read error: Connection reset by peer) |
| 2024-07-21 01:33:47 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2024-07-21 01:33:54 +0200 | acro | (~acro@user/acro) |
| 2024-07-21 01:33:55 +0200 | comonad | (~comonad@p200300d02713750039791f6f93d07fb8.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2024-07-21 01:33:55 +0200 | kmein | (~weechat@user/kmein) (Ping timeout: 258 seconds) |
| 2024-07-21 01:33:55 +0200 | feetwind | (~mike@user/feetwind) (Ping timeout: 258 seconds) |
| 2024-07-21 01:33:55 +0200 | Hafydd | (~Hafydd@user/hafydd) (Ping timeout: 258 seconds) |
| 2024-07-21 01:33:55 +0200 | ggVGc | (~ggVGc@a.lowtech.earth) (Ping timeout: 258 seconds) |
| 2024-07-21 01:34:12 +0200 | comonad | (~comonad@p200300d02713750039791f6f93d07fb8.dip0.t-ipconnect.de) |
| 2024-07-21 01:34:13 +0200 | Hafydd | (~Hafydd@user/hafydd) |
| 2024-07-21 01:34:14 +0200 | feetwind | (~mike@user/feetwind) |
| 2024-07-21 01:34:17 +0200 | ggVGc | (~ggVGc@a.lowtech.earth) |
| 2024-07-21 01:34:18 +0200 | aristid | (sid1599@id-1599.uxbridge.irccloud.com) (Ping timeout: 258 seconds) |
| 2024-07-21 01:34:18 +0200 | micro | (~micro@user/micro) (Ping timeout: 258 seconds) |
| 2024-07-21 01:34:18 +0200 | edwardk | (sid47016@haskell/developer/edwardk) (Ping timeout: 258 seconds) |
| 2024-07-21 01:34:18 +0200 | mira | (~aranea@wireguard/contributorcat/mira) (Ping timeout: 258 seconds) |
| 2024-07-21 01:34:18 +0200 | ncf | (~n@monade.li) (Ping timeout: 258 seconds) |
| 2024-07-21 01:34:18 +0200 | aristid_ | aristid |
| 2024-07-21 01:34:18 +0200 | edwardk_ | edwardk |
| 2024-07-21 01:34:19 +0200 | kmein | (~weechat@user/kmein) |
| 2024-07-21 01:34:29 +0200 | micro | (~micro@user/micro) |
| 2024-07-21 01:34:36 +0200 | ncf | (~n@monade.li) |
| 2024-07-21 01:34:41 +0200 | riatre | (~quassel@2001:310:6000:f::5198:1) (Ping timeout: 258 seconds) |
| 2024-07-21 01:34:41 +0200 | Leary | (~Leary@user/Leary/x-0910699) (Ping timeout: 258 seconds) |
| 2024-07-21 01:34:42 +0200 | mira | (~aranea@wireguard/contributorcat/mira) |
| 2024-07-21 01:34:49 +0200 | riatre | (~quassel@2001:310:6000:f::5198:1) |
| 2024-07-21 01:35:23 +0200 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) |
| 2024-07-21 01:35:54 +0200 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) |
| 2024-07-21 01:37:07 +0200 | ursa-major_ | ursa-major |
| 2024-07-21 01:37:40 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Quit: leaving) |
| 2024-07-21 01:37:44 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2024-07-21 01:38:04 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) |
| 2024-07-21 01:40:30 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-07-21 01:41:25 +0200 | euleritian | (~euleritia@dynamic-176-006-131-226.176.6.pool.telefonica.de) |
| 2024-07-21 01:44:52 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-07-21 01:45:42 +0200 | end | (~end@user/end/x-0094621) |
| 2024-07-21 01:52:18 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-07-21 01:54:38 +0200 | <Unicorn_Princess> | trying to make my own super-basic compile-time dimensional analysis/units package. i need so very little from it that the type is just `data Quantity numerator denominator = Qty Float` |
| 2024-07-21 01:55:34 +0200 | <Unicorn_Princess> | (for brevity let's call it just Qty instead of Quantity) |
| 2024-07-21 01:57:33 +0200 | <Unicorn_Princess> | the problem is defining multiplication - my current definition is: qmul :: Qty a b -> Qty b c -> Qty a c -- i.e. a/b * b/c = a/c |
| 2024-07-21 01:58:01 +0200 | <Unicorn_Princess> | but also valid would be a/b * c/a = c/b |
| 2024-07-21 01:58:37 +0200 | <Unicorn_Princess> | but how can i have one function support both these type signatures? |
| 2024-07-21 02:00:34 +0200 | smiesner | (b0cf5acf8c@2a03:6000:1812:100::13b9) |
| 2024-07-21 02:04:40 +0200 | <Lears> | One is the other `flip`ped, so just choose one---it doesn't matter which. |
| 2024-07-21 02:04:50 +0200 | <Lears> | Better, give it a `Category` instance. |
| 2024-07-21 02:06:37 +0200 | <Unicorn_Princess> | flip would work for multiplication, albeit at slight user inconvenience, but not for division. curious about this Category thing tho, lemme look it up |
| 2024-07-21 02:07:09 +0200 | euleritian | (~euleritia@dynamic-176-006-131-226.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-21 02:07:20 +0200 | <Unicorn_Princess> | this thing? https://hackage.haskell.org/package/base-4.20.0.1/docs/Control-Category.html#t:Category |
| 2024-07-21 02:07:25 +0200 | <Lears> | Yes. |
| 2024-07-21 02:07:28 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-21 02:08:06 +0200 | <Unicorn_Princess> | thanks |
| 2024-07-21 02:08:33 +0200 | Square2 | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-07-21 02:11:36 +0200 | <Lears> | Your needs are somewhat unclear, but I'd imagine `invert :: Qty a b -> Qty b a` and `qmul` would cover your bases for division. |
| 2024-07-21 02:16:42 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-21 02:16:53 +0200 | euleritian | (~euleritia@dynamic-176-006-131-226.176.6.pool.telefonica.de) |
| 2024-07-21 02:17:35 +0200 | euleritian | (~euleritia@dynamic-176-006-131-226.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-21 02:17:53 +0200 | sss | (~sss@dynamic-077-006-080-207.77.6.pool.telefonica.de) |
| 2024-07-21 02:17:58 +0200 | <sss> | hi |
| 2024-07-21 02:17:59 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-21 02:19:40 +0200 | ash3en | (~Thunderbi@2a01:c22:888e:9900:1578:4a37:8e5e:967) (Quit: ash3en) |
| 2024-07-21 02:21:01 +0200 | <Unicorn_Princess> | should i learn about arrows first before i go into the category typeclass? |
| 2024-07-21 02:21:54 +0200 | <Unicorn_Princess> | or is it the other way around.. |
| 2024-07-21 02:22:53 +0200 | <Lears> | You should forget Arrow exists. |
| 2024-07-21 02:23:34 +0200 | <Unicorn_Princess> | oh dear |
| 2024-07-21 02:24:19 +0200 | <Unicorn_Princess> | having a hard time finding explanations on how to use Category tho, save for https://wiki.haskell.org/Typeclassopedia#Category |
| 2024-07-21 02:26:12 +0200 | <Lears> | Probably because there's nothing much to it. It just generalises associative composition with identity. |
| 2024-07-21 02:26:32 +0200 | <Lears> | Which you have with multiplication and dimensionless 1. |
| 2024-07-21 02:26:51 +0200 | <sss> | why should one forget about arrows? |
| 2024-07-21 02:27:24 +0200 | <Lears> | Well, not "multiplication" in general, but your restricted /cancelling/ multiplication. |
| 2024-07-21 02:30:22 +0200 | <Lears> | sss: One shouldn't necessarily forget about arrows in general, just the typeclass `Arrow`. It's something of a failed abstraction, but not beyond saving---there are various modern takes on it if you really want to investigate, but I haven't found any of them too compelling. |
| 2024-07-21 02:31:17 +0200 | <ncf> | Arrow is just Strong Category (https://hackage.haskell.org/package/profunctors-5.6.2/docs/Data-Profunctor-Strong.html) |
| 2024-07-21 02:33:15 +0200 | sss | (~sss@dynamic-077-006-080-207.77.6.pool.telefonica.de) (Quit: leaving) |
| 2024-07-21 02:33:55 +0200 | sss | (~sss@dynamic-077-006-080-207.77.6.pool.telefonica.de) |
| 2024-07-21 02:34:19 +0200 | <sss> | Lears: ah I see |
| 2024-07-21 02:36:37 +0200 | squid64 | (squid64@user/squid64) (Quit: Leaving) |
| 2024-07-21 02:37:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-21 02:37:53 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2024-07-21 02:39:16 +0200 | squid64 | (squid64@user/squid64) |
| 2024-07-21 02:42:19 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2024-07-21 02:44:24 +0200 | squid64 | (squid64@user/squid64) (Quit: Leaving) |
| 2024-07-21 02:47:22 +0200 | sss | (~sss@dynamic-077-006-080-207.77.6.pool.telefonica.de) (Quit: leaving) |
| 2024-07-21 02:48:03 +0200 | tomku | (~tomku@user/tomku) |
| 2024-07-21 02:50:09 +0200 | ash3en | (~ash3en@2a01:c22:888e:9900:1578:4a37:8e5e:967) |
| 2024-07-21 02:50:51 +0200 | ash3en | (~ash3en@2a01:c22:888e:9900:1578:4a37:8e5e:967) (Remote host closed the connection) |
| 2024-07-21 03:11:22 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-07-21 03:27:03 +0200 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-07-21 03:38:26 +0200 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2024-07-21 03:44:04 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-21 03:52:26 +0200 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2024-07-21 03:54:26 +0200 | EvanR | (~EvanR@user/evanr) |
| 2024-07-21 04:00:58 +0200 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
| 2024-07-21 04:05:04 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2024-07-21 04:05:34 +0200 | op_4 | (~tslil@user/op-4/x-9116473) |
| 2024-07-21 04:19:09 +0200 | td_ | (~td@i53870918.versanet.de) (Ping timeout: 276 seconds) |
| 2024-07-21 04:20:35 +0200 | td_ | (~td@i53870911.versanet.de) |
| 2024-07-21 04:21:22 +0200 | masui333333 | (~user@2601:646:8002:6ce0:2927:ebdb:a305:ef99) |
| 2024-07-21 04:44:12 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 2024-07-21 04:47:06 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
| 2024-07-21 05:02:26 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2024-07-21 05:06:55 +0200 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2024-07-21 05:07:00 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-07-21 05:09:46 +0200 | masui333333 | (~user@2601:646:8002:6ce0:2927:ebdb:a305:ef99) (Remote host closed the connection) |
| 2024-07-21 05:20:50 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-21 05:29:40 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-07-21 05:33:55 +0200 | phma | (~phma@2001:5b0:210f:55a8:9fbe:3c54:a526:88c8) (Read error: Connection reset by peer) |
| 2024-07-21 05:34:19 +0200 | phma | (~phma@host-67-44-208-49.hnremote.net) |
| 2024-07-21 05:44:39 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-21 05:49:59 +0200 | hiredman | (~hiredman@frontier1.downey.family) |
| 2024-07-21 05:56:01 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) |
| 2024-07-21 05:59:39 +0200 | aforemny_ | (~aforemny@2001:9e8:6cd3:7e00:62f7:f9a2:3af8:50bb) |
| 2024-07-21 06:00:21 +0200 | aforemny | (~aforemny@2001:9e8:6cf3:7d00:7722:6259:6fe2:da4f) (Ping timeout: 248 seconds) |
| 2024-07-21 06:06:02 +0200 | murasaki | (~murasaki@104.234.142.145) |
| 2024-07-21 06:06:46 +0200 | murasaki | (~murasaki@104.234.142.145) (Client Quit) |
| 2024-07-21 06:07:02 +0200 | murasaki | (~murasaki@104.234.142.145) |
| 2024-07-21 06:07:23 +0200 | murasaki | (~murasaki@104.234.142.145) (Client Quit) |
| 2024-07-21 06:07:37 +0200 | murasaki | (~murasaki@104.234.142.145) |
| 2024-07-21 06:17:27 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-07-21 06:24:03 +0200 | aaronv | (~aaronv@user/aaronv) (Remote host closed the connection) |
| 2024-07-21 06:24:22 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2024-07-21 06:30:40 +0200 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-07-21 06:36:18 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 276 seconds) |
| 2024-07-21 06:36:32 +0200 | tomku | (~tomku@user/tomku) |
| 2024-07-21 06:53:45 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 2024-07-21 07:03:01 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-21 07:09:04 +0200 | aaronv | (~aaronv@user/aaronv) (Remote host closed the connection) |
| 2024-07-21 07:09:29 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2024-07-21 07:18:13 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-07-21 07:20:18 +0200 | img | (~img@user/img) |
| 2024-07-21 07:44:00 +0200 | mreh | (~matthew@lfbn-rou-1-646-109.w90-108.abo.wanadoo.fr) |
| 2024-07-21 07:47:40 +0200 | rvalue- | (~rvalue@user/rvalue) |
| 2024-07-21 07:48:05 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2024-07-21 07:52:20 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Remote host closed the connection) |
| 2024-07-21 07:54:45 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-07-21 07:55:26 +0200 | rvalue- | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2024-07-21 08:14:19 +0200 | <jackdk> | Arrow is useful in some FRP contexts and in Opaleye but that's kinda about it. Many places where you might want to use Arrows hamstring you by requiring you to implement `arr`, which means you need to be able to arrow-ise arbitrary pure functions. There's some interesting work using linear functions with symmetric monoidal categories to get another take on "boxes and wires"-style diagrams, but it needs to mature a bit more. |
| 2024-07-21 08:14:29 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-07-21 08:16:20 +0200 | hiecaq | (~hiecaq@user/hiecaq) |
| 2024-07-21 08:18:37 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Remote host closed the connection) |
| 2024-07-21 08:21:28 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-07-21 08:23:01 +0200 | rosco | (~rosco@175.136.155.137) |
| 2024-07-21 08:25:05 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-07-21 08:47:11 +0200 | hiecaq | (~hiecaq@user/hiecaq) |
| 2024-07-21 09:00:02 +0200 | tt123109783 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
| 2024-07-21 09:03:08 +0200 | tt123109783 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 2024-07-21 09:11:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-21 09:24:27 +0200 | tmr | (~tamer@5.2.74.82) (Quit: "") |
| 2024-07-21 09:28:57 +0200 | murasaki | (~murasaki@104.234.142.145) (Remote host closed the connection) |
| 2024-07-21 09:30:04 +0200 | mreh | (~matthew@lfbn-rou-1-646-109.w90-108.abo.wanadoo.fr) (Quit: Lost terminal) |
| 2024-07-21 09:36:06 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-07-21 09:37:45 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-07-21 09:56:32 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-07-21 09:57:09 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-07-21 09:57:09 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 276 seconds) |
| 2024-07-21 09:57:54 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-07-21 10:05:05 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-07-21 10:08:57 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-07-21 10:11:27 +0200 | skyesoss1 | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 252 seconds) |
| 2024-07-21 10:17:29 +0200 | ash3en | (~Thunderbi@2a01:c22:8d6b:b900:2b29:c04c:3cab:7f93) |
| 2024-07-21 10:28:06 +0200 | rosco | (~rosco@175.136.155.137) (Quit: Lost terminal) |
| 2024-07-21 10:34:43 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-07-21 10:38:34 +0200 | amisto | (~amisto@ec2-52-198-209-58.ap-northeast-1.compute.amazonaws.com) |
| 2024-07-21 10:40:05 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 260 seconds) |
| 2024-07-21 10:49:41 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-07-21 10:51:16 +0200 | amisto | (~amisto@ec2-52-198-209-58.ap-northeast-1.compute.amazonaws.com) (Quit: Client closed) |
| 2024-07-21 10:53:30 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-07-21 10:53:45 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-21 10:58:46 +0200 | ash3en | (~Thunderbi@2a01:c22:8d6b:b900:2b29:c04c:3cab:7f93) (Quit: ash3en) |
| 2024-07-21 10:59:01 +0200 | ash3en | (~Thunderbi@2a01:c22:8d6b:b900:2b29:c04c:3cab:7f93) |
| 2024-07-21 11:07:13 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-07-21 11:12:10 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2024-07-21 11:15:02 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-21 11:23:23 +0200 | Square2 | (~Square@user/square) |
| 2024-07-21 11:23:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-21 11:25:52 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-07-21 11:26:21 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-21 11:26:42 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-07-21 11:27:44 +0200 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Ping timeout: 260 seconds) |
| 2024-07-21 11:30:03 +0200 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) |
| 2024-07-21 11:31:24 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2024-07-21 11:35:44 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-07-21 11:37:29 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 245 seconds) |
| 2024-07-21 11:43:10 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-07-21 11:44:36 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-07-21 11:49:54 +0200 | tmr | (~tamer@5.2.74.82) |
| 2024-07-21 11:53:25 +0200 | xff0x | (~xff0x@2405:6580:b080:900:85a4:92a4:ce3d:c612) (Ping timeout: 248 seconds) |
| 2024-07-21 11:54:10 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2024-07-21 11:59:13 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1ad7:bf8c:8156:7b85) |
| 2024-07-21 12:00:14 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-07-21 12:04:25 +0200 | misterfish | (~misterfis@046044172198.static.ipv4.heldenvannu.net) |
| 2024-07-21 12:05:10 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) |