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) |