| 2024-10-10 00:08:42 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2024-10-10 00:25:53 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:e3a4:78d2:48d1:1e0) (Ping timeout: 248 seconds) |
| 2024-10-10 00:26:39 +0200 | yaroot | (~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) (Ping timeout: 260 seconds) |
| 2024-10-10 00:26:54 +0200 | yaroot | (~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) yaroot |
| 2024-10-10 00:31:37 +0200 | pierrot | (~pi@user/pierrot) (Quit: ZNC 1.8.2 - http://znc.in) |
| 2024-10-10 00:33:45 +0200 | pierrot | (~pi@user/pierrot) pierrot |
| 2024-10-10 00:46:48 +0200 | pierrot | (~pi@user/pierrot) (Quit: ZNC 1.8.2 - http://znc.in) |
| 2024-10-10 00:52:24 +0200 | pierrot | (~pi@user/pierrot) pierrot |
| 2024-10-10 00:59:39 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-10-10 01:00:15 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-10 01:00:54 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
| 2024-10-10 01:18:34 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-10-10 01:19:09 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-10-10 01:20:54 +0200 | pierrot | (~pi@user/pierrot) (Quit: ZNC 1.8.2 - http://znc.in) |
| 2024-10-10 01:21:58 +0200 | pierrot | (~pi@user/pierrot) pierrot |
| 2024-10-10 01:22:01 +0200 | mantraofpie | (~mantraofp@user/mantraofpie) (Ping timeout: 260 seconds) |
| 2024-10-10 01:22:25 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb59bd2c072e962d353d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-10-10 01:22:25 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2024-10-10 01:26:57 +0200 | philopsos | (~caecilius@user/philopsos) philopsos |
| 2024-10-10 01:38:57 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb59bd2c072e962d353d.dip0.t-ipconnect.de) acidjnk |
| 2024-10-10 01:40:05 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-10-10 01:40:32 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-10-10 01:41:10 +0200 | <Lears> | Oh. I should have figured this out a lot sooner, but it looks like I forgot to /anti/-commute one of cross products (z k x (b1 i + b2 j))---that's what I get for doing it in my head. Distributivity indeed gives us a projection orthogonal to a-b. |
| 2024-10-10 01:43:11 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-10 01:49:06 +0200 | causal | (~eric@50.35.88.207) causal |
| 2024-10-10 02:05:00 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-10-10 02:05:30 +0200 | hendi_ | (~hendi@2001:9e8:4520:3700:5e87:9ff3:15c4:3213) hendi |
| 2024-10-10 02:07:37 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-10-10 02:08:09 +0200 | hendi | (~hendi@2001:9e8:450c:3200:6391:9fa7:7b43:cd48) (Ping timeout: 252 seconds) |
| 2024-10-10 02:12:58 +0200 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2024-10-10 02:17:28 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb59bd2c072e962d353d.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2024-10-10 02:17:46 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb595ce3755987f648f5.dip0.t-ipconnect.de) acidjnk |
| 2024-10-10 02:20:40 +0200 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.91)) |
| 2024-10-10 02:35:08 +0200 | hgolden_ | (~hgolden@204.152.216.122) hgolden |
| 2024-10-10 02:38:18 +0200 | hgolden__ | (~hgolden@146.70.173.37) (Ping timeout: 276 seconds) |
| 2024-10-10 02:40:02 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb595ce3755987f648f5.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-10-10 02:49:12 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2024-10-10 02:55:14 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a344:9aaf:caa3:591c) (Ping timeout: 265 seconds) |
| 2024-10-10 03:02:41 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 255 seconds) |
| 2024-10-10 03:05:45 +0200 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2024-10-10 03:06:04 +0200 | synchromesh | (~john@180.148.124.74) (Quit: WeeChat 4.0.5) |
| 2024-10-10 03:08:54 +0200 | fireking04 | (~user@36-227-119-41.dynamic-ip.hinet.net) |
| 2024-10-10 03:09:09 +0200 | synchromesh | (~john@180.148.124.74) synchromesh |
| 2024-10-10 03:16:23 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-10-10 03:20:29 +0200 | synchromesh | (~john@180.148.124.74) (Read error: Connection reset by peer) |
| 2024-10-10 03:24:05 +0200 | synchromesh | (~john@2406:5a00:2497:300:bda7:a9ff:46c1:4470) synchromesh |
| 2024-10-10 03:43:13 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
| 2024-10-10 03:51:02 +0200 | fireking04 | (~user@36-227-119-41.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2024-10-10 03:51:06 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-10-10 03:57:00 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-10-10 03:57:31 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
| 2024-10-10 04:02:16 +0200 | Pixi | (~Pixi@user/pixi) (Quit: Leaving) |
| 2024-10-10 04:02:49 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
| 2024-10-10 04:11:22 +0200 | td_ | (~td@i5387093E.versanet.de) (Ping timeout: 252 seconds) |
| 2024-10-10 04:11:24 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-10-10 04:13:12 +0200 | td_ | (~td@i53870924.versanet.de) td_ |
| 2024-10-10 04:23:03 +0200 | ethantwardy | (user@user/ethantwardy) (Quit: WeeChat 4.3.2) |
| 2024-10-10 04:23:24 +0200 | Pixi | (~Pixi@user/pixi) Pixi |
| 2024-10-10 04:28:31 +0200 | spew | (~spew@201.141.99.170) (Quit: spew) |
| 2024-10-10 04:32:15 +0200 | finsternis | (~X@23.226.237.192) (Ping timeout: 246 seconds) |
| 2024-10-10 04:32:44 +0200 | finsternis | (~X@23.226.237.192) finsternis |
| 2024-10-10 05:05:01 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-10-10 05:18:01 +0200 | <haskellbridge> | <GunpowderGuy> Is it true that haskell is mainly used by banking instituciones and Crypto currency? |
| 2024-10-10 05:18:42 +0200 | <haskellbridge> | <GunpowderGuy> My college Is organizing a trip to hong Kong to see tecnological instutions that mainly work on those fields |
| 2024-10-10 05:18:52 +0200 | <haskellbridge> | <GunpowderGuy> * Hong |
| 2024-10-10 05:26:04 +0200 | Typedfern | (~Typedfern@124.red-83-37-29.dynamicip.rima-tde.net) (Ping timeout: 260 seconds) |
| 2024-10-10 05:34:00 +0200 | aforemny | (~aforemny@i577BEEF5.versanet.de) aforemny |
| 2024-10-10 05:34:58 +0200 | aforemny_ | (~aforemny@i59F4C6CF.versanet.de) (Ping timeout: 252 seconds) |
| 2024-10-10 05:41:33 +0200 | Typedfern | (~Typedfern@59.red-83-37-27.dynamicip.rima-tde.net) typedfern |
| 2024-10-10 05:47:01 +0200 | <jackdk> | I write "boring" business software for an ecommerce company and it's really good for that. Haskell is my favourite general-purpose programming language. |
| 2024-10-10 05:48:37 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2024-10-10 05:55:25 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-10-10 05:55:53 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2024-10-10 06:02:29 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-10-10 06:04:39 +0200 | hendi_ | (~hendi@2001:9e8:4520:3700:5e87:9ff3:15c4:3213) (Ping timeout: 252 seconds) |
| 2024-10-10 06:05:12 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-10 06:05:48 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-10 06:22:44 +0200 | fireking04 | (~user@36-227-119-41.dynamic-ip.hinet.net) |
| 2024-10-10 06:25:03 +0200 | ghoulpine | (xfnw@user/meow/xfnw) (Quit: Connection reset by purr) |
| 2024-10-10 06:25:06 +0200 | remmie | (ianremsen@tilde.team) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2024-10-10 06:42:02 +0200 | remmie | (ianremsen@tilde.team) remsense |
| 2024-10-10 06:46:46 +0200 | michalz | (~michalz@185.246.207.203) |
| 2024-10-10 06:54:23 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-10-10 07:04:26 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2024-10-10 07:06:19 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-10-10 07:10:41 +0200 | akegalj | (~akegalj@89-172-211-32.adsl.net.t-com.hr) akegalj |
| 2024-10-10 07:11:49 +0200 | floyza | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) gdown |
| 2024-10-10 07:22:02 +0200 | st_aldini | (~Thunderbi@136.48.22.91) (Ping timeout: 252 seconds) |
| 2024-10-10 07:23:00 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:a9:fe28:b6b6:f17b) |
| 2024-10-10 07:28:37 +0200 | st_aldini | (~Thunderbi@136.48.22.91) st_aldini |
| 2024-10-10 07:30:11 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-10-10 07:30:12 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2024-10-10 07:31:03 +0200 | euleritian | (~euleritia@dynamic-176-006-135-046.176.6.pool.telefonica.de) |
| 2024-10-10 07:32:32 +0200 | synchromesh | (~john@2406:5a00:2497:300:bda7:a9ff:46c1:4470) (Read error: Connection reset by peer) |
| 2024-10-10 07:33:45 +0200 | synchromesh | (~john@2406:5a00:2497:300:bda7:a9ff:46c1:4470) synchromesh |
| 2024-10-10 07:34:03 +0200 | meejah | (~meejah@rutas.meejah.ca) (Ping timeout: 276 seconds) |
| 2024-10-10 07:34:34 +0200 | meejah | (~meejah@rutas.meejah.ca) meejah |
| 2024-10-10 07:35:43 +0200 | synchrom1 | (~john@2406:5a00:2497:300:bda7:a9ff:46c1:4470) synchromesh |
| 2024-10-10 07:35:59 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-10-10 07:38:31 +0200 | synchromesh | (~john@2406:5a00:2497:300:bda7:a9ff:46c1:4470) (Ping timeout: 252 seconds) |
| 2024-10-10 07:38:57 +0200 | synchromesh | (~john@2406:5a00:2497:300:bda7:a9ff:46c1:4470) synchromesh |
| 2024-10-10 07:41:05 +0200 | synchrom1 | (~john@2406:5a00:2497:300:bda7:a9ff:46c1:4470) (Ping timeout: 252 seconds) |
| 2024-10-10 07:59:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-10 08:09:08 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2024-10-10 08:13:20 +0200 | euleritian | (~euleritia@dynamic-176-006-135-046.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-10 08:13:37 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-10 08:18:23 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-10-10 08:25:28 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2024-10-10 08:26:34 +0200 | <yin> | hell. haskell is my favourite oop language |
| 2024-10-10 08:26:47 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-10 08:27:32 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-10-10 08:30:40 +0200 | floyza | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2024-10-10 08:34:17 +0200 | ubert | (~Thunderbi@178.165.187.120.wireless.dyn.drei.com) ubert |
| 2024-10-10 08:42:29 +0200 | kuribas | (~user@ptr-17d51emnbpfq1feda6b.18120a2.ip6.access.telenet.be) |
| 2024-10-10 08:46:11 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb8558a5acefa98b724b.dip0.t-ipconnect.de) acidjnk |
| 2024-10-10 08:51:02 +0200 | hendi | (~hendi@2a00:20:40:f0c8:50de:f500:338e:1cc5) hendi |
| 2024-10-10 08:51:23 +0200 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-10-10 08:51:42 +0200 | danza | (~danza@user/danza) danza |
| 2024-10-10 09:00:01 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-10 09:00:40 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-10 09:05:13 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-10 09:08:23 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Read error: Connection reset by peer) |
| 2024-10-10 09:09:10 +0200 | codaraxis | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-10 09:09:23 +0200 | hendi | (~hendi@2a00:20:40:f0c8:50de:f500:338e:1cc5) (Read error: Connection reset by peer) |
| 2024-10-10 09:09:57 +0200 | hendi | (~hendi@2a00:20:40:f0c8:50de:f500:338e:1cc5) hendi |
| 2024-10-10 09:12:10 +0200 | hendi | (~hendi@2a00:20:40:f0c8:50de:f500:338e:1cc5) (Read error: Connection reset by peer) |
| 2024-10-10 09:13:56 +0200 | hendi | (~hendi@2a00:20:40:f0c8:50de:f500:338e:1cc5) hendi |
| 2024-10-10 09:21:05 +0200 | akegalj | (~akegalj@89-172-211-32.adsl.net.t-com.hr) (Quit: leaving) |
| 2024-10-10 09:23:38 +0200 | rosco | (~rosco@175.136.22.30) rosco |
| 2024-10-10 09:26:07 +0200 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2024-10-10 09:26:21 +0200 | danza | (~danza@user/danza) danza |
| 2024-10-10 09:29:04 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-10-10 09:30:40 +0200 | hendi | (~hendi@2a00:20:40:f0c8:50de:f500:338e:1cc5) (Read error: Connection reset by peer) |
| 2024-10-10 09:32:27 +0200 | hendi | (~hendi@2a00:20:40:f0c8:50de:f500:338e:1cc5) hendi |
| 2024-10-10 09:40:33 +0200 | hendi | (~hendi@2a00:20:40:f0c8:50de:f500:338e:1cc5) (Quit: Leaving) |
| 2024-10-10 09:46:52 +0200 | <kqr> | @pl \x -> all [f x, g x, h x] |
| 2024-10-10 09:46:52 +0200 | <lambdabot> | all . liftM2 (:) f (liftM2 (:) g (return . h)) |
| 2024-10-10 09:47:12 +0200 | <kqr> | Okay. Not quite what I hoped for. |
| 2024-10-10 09:47:45 +0200 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2024-10-10 09:48:00 +0200 | danza | (~danza@user/danza) danza |
| 2024-10-10 09:48:37 +0200 | vpan | (~vpan@212.117.1.172) |
| 2024-10-10 09:51:08 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-10-10 09:55:04 +0200 | <kqr> | Wait that's because I've mixed up all and and! |
| 2024-10-10 09:56:12 +0200 | <kqr> | @pl \x -> all ($ x) [f, g, h] |
| 2024-10-10 09:56:12 +0200 | <lambdabot> | flip all [f, g, h] . flip id |
| 2024-10-10 09:56:22 +0200 | <kqr> | okay not better but I'm good with what I have |
| 2024-10-10 10:02:06 +0200 | CiaoSen | (~Jura@2a05:5800:224:6a00:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-10-10 10:02:44 +0200 | ash3en | (~Thunderbi@149.222.134.179) ash3en |
| 2024-10-10 10:08:47 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-10 10:09:26 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-10 10:09:59 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-10 10:10:08 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-10-10 10:10:37 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-10 10:14:54 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-10-10 10:15:19 +0200 | Guest78 | (~Guest78@c-98-232-218-193.hsd1.or.comcast.net) |
| 2024-10-10 10:15:27 +0200 | euleritian | (~euleritia@dynamic-176-006-135-046.176.6.pool.telefonica.de) |
| 2024-10-10 10:17:27 +0200 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2024-10-10 10:17:28 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-10-10 10:17:40 +0200 | danza | (~danza@user/danza) danza |
| 2024-10-10 10:22:05 +0200 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2024-10-10 10:22:20 +0200 | danza | (~danza@user/danza) danza |
| 2024-10-10 10:27:29 +0200 | gmg | (~user@user/gehmehgeh) (Read error: Connection reset by peer) |
| 2024-10-10 10:27:29 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Read error: Connection reset by peer) |
| 2024-10-10 10:27:29 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Read error: Connection reset by peer) |
| 2024-10-10 10:27:29 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Read error: Connection reset by peer) |
| 2024-10-10 10:27:29 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Read error: Connection reset by peer) |
| 2024-10-10 10:27:29 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Read error: Connection reset by peer) |
| 2024-10-10 10:27:53 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) finn_elija |
| 2024-10-10 10:27:54 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-10-10 10:27:54 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-10-10 10:28:09 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2024-10-10 10:28:19 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-10-10 10:28:38 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-10-10 10:35:16 +0200 | drdo | (~drdo@bl9-110-63.dsl.telepac.pt) (Ping timeout: 252 seconds) |
| 2024-10-10 10:35:43 +0200 | Guest78 | (~Guest78@c-98-232-218-193.hsd1.or.comcast.net) (Quit: Client closed) |
| 2024-10-10 10:42:46 +0200 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2024-10-10 10:42:59 +0200 | danza | (~danza@user/danza) danza |
| 2024-10-10 10:45:04 +0200 | chele | (~chele@user/chele) chele |
| 2024-10-10 10:49:23 +0200 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2024-10-10 10:49:38 +0200 | danza | (~danza@user/danza) danza |
| 2024-10-10 10:53:24 +0200 | euleritian | (~euleritia@dynamic-176-006-135-046.176.6.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2024-10-10 10:53:32 +0200 | euleritian | (~euleritia@dynamic-176-006-142-086.176.6.pool.telefonica.de) |
| 2024-10-10 10:56:03 +0200 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2024-10-10 10:56:16 +0200 | danza | (~danza@user/danza) danza |
| 2024-10-10 10:57:09 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-10-10 10:57:43 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2024-10-10 11:00:33 +0200 | euleritian | (~euleritia@dynamic-176-006-142-086.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-10 11:00:45 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-10 11:01:25 +0200 | <probie> | :t getAll . foldMap All |
| 2024-10-10 11:01:26 +0200 | <lambdabot> | Foldable t => t Bool -> Bool |
| 2024-10-10 11:02:26 +0200 | danza | (~danza@user/danza) (Ping timeout: 265 seconds) |
| 2024-10-10 11:02:37 +0200 | <probie> | > map ((getAll . foldMap All) [(> 5), even, (/= 8)]) [1..10] |
| 2024-10-10 11:02:38 +0200 | <lambdabot> | error: |
| 2024-10-10 11:02:39 +0200 | <lambdabot> | • Couldn't match expected type ‘a3 -> b’ with actual type ‘Bool’ |
| 2024-10-10 11:02:39 +0200 | <lambdabot> | • Possible cause: ‘getAll |
| 2024-10-10 11:03:04 +0200 | <probie> | derp |
| 2024-10-10 11:03:53 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-10 11:04:45 +0200 | cfricke | (~cfricke@user/cfricke) cfricke |
| 2024-10-10 11:08:27 +0200 | <probie> | > map (((getAll .) . foldMap (All .)) [(> 5), even, (/= 8)]) [1..10] -- much less convincing |
| 2024-10-10 11:08:28 +0200 | <lambdabot> | [False,False,False,False,False,True,False,False,False,True] |
| 2024-10-10 11:14:19 +0200 | <probie> | % import Data.Functor.Contravariant |
| 2024-10-10 11:14:19 +0200 | <yahb2> | <no output> |
| 2024-10-10 11:14:42 +0200 | <probie> | % map ((getPredicate . foldMap Predicate) [(> 5), even, (/= 8)]) [1..10] |
| 2024-10-10 11:14:42 +0200 | <yahb2> | [False,False,False,False,False,True,False,False,False,True] |
| 2024-10-10 11:14:59 +0200 | <probie> | I was sure I'd seen it somewhere as a newtype |
| 2024-10-10 11:21:48 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Read error: Connection reset by peer) |
| 2024-10-10 11:22:22 +0200 | codaraxis | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-10 11:23:20 +0200 | drdo | (~drdo@bl9-110-63.dsl.telepac.pt) drdo |
| 2024-10-10 11:25:36 +0200 | famubu | (~julinuser@14.139.174.50) (Quit: leaving) |
| 2024-10-10 11:27:07 +0200 | ash3en | (~Thunderbi@149.222.134.179) (Ping timeout: 264 seconds) |
| 2024-10-10 11:27:24 +0200 | fireking` | (~user@36-227-119-41.dynamic-ip.hinet.net) |
| 2024-10-10 11:28:49 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-10 11:31:33 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 248 seconds) |
| 2024-10-10 11:33:55 +0200 | ash3en | (~Thunderbi@149.222.134.179) ash3en |
| 2024-10-10 11:50:23 +0200 | ash3en | (~Thunderbi@149.222.134.179) (Quit: ash3en) |
| 2024-10-10 11:51:49 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2024-10-10 11:53:08 +0200 | jinsun | (~jinsun@user/jinsun) jinsun |
| 2024-10-10 11:54:25 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-10-10 11:56:49 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-10-10 11:58:41 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-10 12:02:47 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3106-e93d-fc68-585c-8ed3-0b0d.rev.sfr.net) alexherbo2 |
| 2024-10-10 12:03:43 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds) |
| 2024-10-10 12:05:41 +0200 | mari-estel | (~mari-este@user/danza) danza |
| 2024-10-10 12:09:42 +0200 | rosco | (~rosco@175.136.22.30) (Quit: Lost terminal) |
| 2024-10-10 12:15:01 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-10-10 12:16:45 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-10-10 12:17:06 +0200 | CiaoSen | (~Jura@2a05:5800:224:6a00:ca4b:d6ff:fec1:99da) (Ping timeout: 272 seconds) |
| 2024-10-10 12:19:00 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:a9:fe28:b6b6:f17b) (Ping timeout: 272 seconds) |
| 2024-10-10 12:20:54 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2024-10-10 12:21:47 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-10 12:29:32 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-10-10 12:29:59 +0200 | td_ | (~td@i53870924.versanet.de) (Quit: waking up from the american dream ...) |
| 2024-10-10 12:33:57 +0200 | td_ | (~td@i53870924.versanet.de) td_ |
| 2024-10-10 12:39:23 +0200 | mari-estel | (~mari-este@user/danza) (Quit: disgusting) |
| 2024-10-10 12:45:39 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-10-10 12:48:17 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-10 13:00:04 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-10 13:00:32 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-10-10 13:01:53 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:472f:e50a:4274:4d00) |
| 2024-10-10 13:03:02 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-10 13:04:21 +0200 | tom_ | (~tom@compara.offerte.fibra.casa) |
| 2024-10-10 13:04:36 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 272 seconds) |
| 2024-10-10 13:05:08 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-10 13:06:19 +0200 | tom_ | (~tom@compara.offerte.fibra.casa) (Client Quit) |
| 2024-10-10 13:06:36 +0200 | tom_ | (~tom@compara.offerte.fibra.casa) |
| 2024-10-10 13:11:39 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-10-10 13:11:47 +0200 | euleritian | (~euleritia@dynamic-176-006-142-086.176.6.pool.telefonica.de) |
| 2024-10-10 13:15:56 +0200 | tom_ | (~tom@compara.offerte.fibra.casa) (Quit: I was getting bored) |
| 2024-10-10 13:17:41 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 252 seconds) |
| 2024-10-10 13:19:27 +0200 | xff0x | (~xff0x@2405:6580:b080:900:3e:c6b:65b9:2866) |
| 2024-10-10 13:20:09 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-10 13:21:44 +0200 | euleritian | (~euleritia@dynamic-176-006-142-086.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-10 13:22:06 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-10 13:23:06 +0200 | synchromesh | (~john@2406:5a00:2497:300:bda7:a9ff:46c1:4470) (Ping timeout: 276 seconds) |
| 2024-10-10 13:24:49 +0200 | <haskellbridge> | <thirdofmay18081814goya> does row insertion ring a bell to anyone wrt algebraic effects? |
| 2024-10-10 13:24:53 +0200 | <haskellbridge> | <thirdofmay18081814goya> am trying to interpret a paper |
| 2024-10-10 13:25:58 +0200 | <Rembane> | Which paper are you trying to interpret? |
| 2024-10-10 13:26:14 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2024-10-10 13:27:23 +0200 | <haskellbridge> | <thirdofmay18081814goya> http://casperbp.net/store/hefty-algebras.pdf |
| 2024-10-10 13:27:29 +0200 | <haskellbridge> | <thirdofmay18081814goya> part on "row insertions" |
| 2024-10-10 13:27:39 +0200 | <haskellbridge> | <thirdofmay18081814goya> section 2.2 |
| 2024-10-10 13:27:57 +0200 | <haskellbridge> | <thirdofmay18081814goya> apparently it's from Datatypes a la carte but I can't find it there |
| 2024-10-10 13:31:56 +0200 | Nixkernal | (~Nixkernal@226.85.194.178.dynamic.cust.swisscom.net) Nixkernal |
| 2024-10-10 13:32:10 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-10 13:32:18 +0200 | euleritian | (~euleritia@dynamic-176-006-142-086.176.6.pool.telefonica.de) |
| 2024-10-10 13:32:39 +0200 | euleritian | (~euleritia@dynamic-176-006-142-086.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-10 13:32:56 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-10 13:33:53 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3106-e93d-fc68-585c-8ed3-0b0d.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-10 13:34:15 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3106-e93d-fc68-585c-8ed3-0b0d.rev.sfr.net) alexherbo2 |
| 2024-10-10 13:35:53 +0200 | tom_ | (~tom@madonna.che.casino) |
| 2024-10-10 13:38:21 +0200 | tom_ | (~tom@madonna.che.casino) (Client Quit) |
| 2024-10-10 13:40:20 +0200 | rosco | (~rosco@175.136.22.30) rosco |
| 2024-10-10 13:42:43 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb8558a5acefa98b724b.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-10-10 13:43:52 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-10-10 13:51:24 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb8558a5acefa98b724b.dip0.t-ipconnect.de) acidjnk |
| 2024-10-10 13:54:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-10 13:55:19 +0200 | Paavo80 | (~Paavo80@dsl-hkibng12-50dd11-169.dhcp.telia.fi) |
| 2024-10-10 13:57:31 +0200 | Paavo80 | (~Paavo80@dsl-hkibng12-50dd11-169.dhcp.telia.fi) (Client Quit) |
| 2024-10-10 14:00:06 +0200 | cfricke | (~cfricke@user/cfricke) cfricke |
| 2024-10-10 14:01:11 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-10 14:13:04 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) Codaraxis |
| 2024-10-10 14:16:21 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 252 seconds) |
| 2024-10-10 14:18:34 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) (Ping timeout: 252 seconds) |
| 2024-10-10 14:20:06 +0200 | identity | (~identity@user/ZharMeny) identity |
| 2024-10-10 14:20:53 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |