2024-05-23 00:08:29 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc44a9462369589ca925.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
2024-05-23 00:21:55 +0200 | bontaq | (~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 255 seconds) |
2024-05-23 00:29:20 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2024-05-23 00:32:14 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds) |
2024-05-23 00:33:51 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
2024-05-23 00:35:33 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-05-23 00:38:14 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-05-23 00:39:21 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2024-05-23 00:46:47 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds) |
2024-05-23 00:48:55 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2024-05-23 00:53:18 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-23 00:59:40 +0200 | aryah | (~aryah@141-138-39-219.dsl.iskon.hr) (Read error: Connection reset by peer) |
2024-05-23 01:05:17 +0200 | aryah | (~aryah@141-138-39-219.dsl.iskon.hr) |
2024-05-23 01:07:54 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
2024-05-23 01:10:50 +0200 | sayola | (~sayola@2a00:20:6086:7c3a:1c46:6e8b:7bd7:2cc8) |
2024-05-23 01:11:12 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-23 01:11:14 +0200 | sayola | (~sayola@2a00:20:6086:7c3a:1c46:6e8b:7bd7:2cc8) (Client Quit) |
2024-05-23 01:14:03 +0200 | sayola1 | (~sayola@2a00:20:604e:a725:1c46:6e8b:7bd7:2cc8) (Ping timeout: 272 seconds) |
2024-05-23 01:15:29 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
2024-05-23 01:20:57 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 268 seconds) |
2024-05-23 01:25:17 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-05-23 01:26:23 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 264 seconds) |
2024-05-23 01:31:10 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-05-23 01:32:40 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
2024-05-23 01:46:11 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds) |
2024-05-23 01:46:16 +0200 | hippoid | (~hippoid@c-98-213-162-40.hsd1.il.comcast.net) (Quit: WeeChat 4.2.2) |
2024-05-23 01:46:51 +0200 | Nixkernal_ | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 268 seconds) |
2024-05-23 02:01:59 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2024-05-23 02:02:54 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
2024-05-23 02:06:05 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 240 seconds) |
2024-05-23 02:07:47 +0200 | <cheater> | what's the best way to calculate the min of Maybe a and a? |
2024-05-23 02:07:54 +0200 | <cheater> | if Nothing, just use the other argument |
2024-05-23 02:18:03 +0200 | <geekosaur> | :t \ |
2024-05-23 02:18:05 +0200 | <lambdabot> | error: |
2024-05-23 02:18:05 +0200 | <lambdabot> | parse error (possibly incorrect indentation or mismatched brackets) |
2024-05-23 02:18:07 +0200 | <geekosaur> | oops |
2024-05-23 02:18:44 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
2024-05-23 02:18:44 +0200 | <geekosaur> | @pl min x (fromMaybe y x) |
2024-05-23 02:18:44 +0200 | <lambdabot> | min x (fromMaybe y x) |
2024-05-23 02:18:54 +0200 | <geekosaur> | @pl \x y -> min x (fromMaybe y x) |
2024-05-23 02:18:55 +0200 | <lambdabot> | liftM2 (.) min (flip fromMaybe) |
2024-05-23 02:19:02 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-05-23 02:19:23 +0200 | <geekosaur> | no, thats not quite right |
2024-05-23 02:19:25 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2024-05-23 02:19:37 +0200 | <geekosaur> | @pl \x y -> min y (fromMaybe y x) |
2024-05-23 02:19:37 +0200 | <lambdabot> | ap min . flip fromMaybe |
2024-05-23 02:19:53 +0200 | <Leary> | :t maybe <*> min |
2024-05-23 02:19:55 +0200 | <lambdabot> | Ord a => a -> Maybe a -> a |
2024-05-23 02:25:38 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
2024-05-23 02:38:05 +0200 | philopsos | (~caecilius@user/philopsos) |
2024-05-23 02:43:22 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-05-23 02:54:41 +0200 | troydm | (~troydm@user/troydm) (Ping timeout: 268 seconds) |
2024-05-23 02:57:25 +0200 | jamesmartinez | (uid6451@id-6451.helmsley.irccloud.com) |
2024-05-23 03:25:40 +0200 | <dibblego> | does this exist in a library? https://paste.tomsmeding.com/8RG40kNG |
2024-05-23 03:31:27 +0200 | fizbin__ | (~fizbin@user/fizbin) |
2024-05-23 03:34:27 +0200 | shoggouth | (uid607148@user/shoggouth) |
2024-05-23 03:34:44 +0200 | <c_wraith> | dibblego: well, the type matches Data.Functor.Compose.Compose. I didn't check to see if the instances are the same. |
2024-05-23 03:34:51 +0200 | <dibblego> | yeah |
2024-05-23 03:34:57 +0200 | <dibblego> | I also just realised I don't actually want that |
2024-05-23 03:36:00 +0200 | son0p | (~ff@181.32.157.144) (Ping timeout: 268 seconds) |
2024-05-23 03:36:40 +0200 | xff0x | (~xff0x@2405:6580:b080:900:387b:4f8:3156:9ea9) (Ping timeout: 260 seconds) |
2024-05-23 03:37:48 +0200 | <dibblego> | https://paste.tomsmeding.com/TPGEJ1OU |
2024-05-23 03:40:43 +0200 | <Leary> | Basically `Compose (Ap f) g`, barring the absence of `Apply` in base. |
2024-05-23 03:42:30 +0200 | <dibblego> | yeah, thanks |
2024-05-23 03:46:05 +0200 | Midjak | (~MarciZ@82.66.147.146) |
2024-05-23 03:51:36 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 260 seconds) |
2024-05-23 03:58:47 +0200 | otto_s | (~user@p5b044cca.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
2024-05-23 04:00:02 +0200 | fliife | (~fliife@user/fliife) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
2024-05-23 04:00:23 +0200 | otto_s | (~user@p5b044390.dip0.t-ipconnect.de) |
2024-05-23 04:00:25 +0200 | fizbin__ | (~fizbin@user/fizbin) (Ping timeout: 256 seconds) |
2024-05-23 04:00:51 +0200 | fliife | (~fliife@user/fliife) |
2024-05-23 04:04:01 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
2024-05-23 04:04:24 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
2024-05-23 04:10:17 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
2024-05-23 04:19:59 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2024-05-23 04:33:58 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
2024-05-23 04:35:30 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-23 04:38:54 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds) |
2024-05-23 04:40:32 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2024-05-23 04:45:04 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
2024-05-23 04:50:13 +0200 | phma | (phma@2001:5b0:211c:b4f8:5e28:9615:a492:4a1c) (Read error: Connection reset by peer) |
2024-05-23 04:51:09 +0200 | phma | (phma@2001:5b0:215d:8488:607:5b39:4ab0:6f8a) |
2024-05-23 05:02:59 +0200 | td_ | (~td@i53870936.versanet.de) (Ping timeout: 264 seconds) |
2024-05-23 05:04:13 +0200 | td_ | (~td@i53870925.versanet.de) |
2024-05-23 05:14:36 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-05-23 05:15:17 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
2024-05-23 05:15:51 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-23 05:16:17 +0200 | yaroot | (~yaroot@p2987138-ipngn7501souka.saitama.ocn.ne.jp) (Remote host closed the connection) |
2024-05-23 05:16:32 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 260 seconds) |
2024-05-23 05:16:58 +0200 | yaroot | (~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) |
2024-05-23 05:17:02 +0200 | mei | (~mei@user/mei) |
2024-05-23 05:18:52 +0200 | aforemny_ | (~aforemny@2001:9e8:6cef:9700:508f:3b86:8bf2:fa) (Ping timeout: 260 seconds) |
2024-05-23 05:19:14 +0200 | aforemny | (~aforemny@i59F516C7.versanet.de) |
2024-05-23 05:30:59 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
2024-05-23 05:50:23 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 264 seconds) |
2024-05-23 05:59:14 +0200 | michalz | (~michalz@185.246.207.221) |
2024-05-23 06:00:38 +0200 | michalz | (~michalz@185.246.207.221) (Client Quit) |
2024-05-23 06:03:21 +0200 | michalz | (~michalz@185.246.207.205) |
2024-05-23 06:05:38 +0200 | Rodney_ | (~Rodney@176.254.244.83) (Ping timeout: 252 seconds) |
2024-05-23 06:08:34 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
2024-05-23 06:25:11 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 264 seconds) |
2024-05-23 06:25:35 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
2024-05-23 06:27:42 +0200 | phma | (phma@2001:5b0:215d:8488:607:5b39:4ab0:6f8a) (Read error: Connection reset by peer) |
2024-05-23 06:30:15 +0200 | phma | (~phma@host-67-44-208-125.hnremote.net) |
2024-05-23 06:35:44 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:2cbb:c785:5cd5:2dbc) (Quit: Leaving) |
2024-05-23 06:52:11 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
2024-05-23 06:52:32 +0200 | euleritian | (~euleritia@dynamic-176-006-193-035.176.6.pool.telefonica.de) |
2024-05-23 06:54:14 +0200 | <cheater> | Leary: unexpected |
2024-05-23 06:54:16 +0200 | <cheater> | thank you |
2024-05-23 06:54:43 +0200 | euleritian | (~euleritia@dynamic-176-006-193-035.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-23 06:54:54 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
2024-05-23 06:55:00 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-05-23 06:55:02 +0200 | <cheater> | geekosaur: how did it go from that to using ap? |
2024-05-23 07:01:58 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 268 seconds) |
2024-05-23 07:02:17 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 252 seconds) |
2024-05-23 07:02:41 +0200 | euleritian | (~euleritia@dynamic-176-006-193-035.176.6.pool.telefonica.de) |
2024-05-23 07:03:08 +0200 | <Leary> | cheater: FWiW, you probably want the pointy version: `\x -> maybe x (min x)`. I was mostly just following up on geekosaur's @pl usage. Re `ap`, `ap = (<*>) = K` (of SKI combinator fame), which is part of lambdabot's pl algorithm. |
2024-05-23 07:03:33 +0200 | <cheater> | yeah, i know the relation between ap and <*> |
2024-05-23 07:03:48 +0200 | <cheater> | right makes sense |
2024-05-23 07:06:27 +0200 | euleritian | (~euleritia@dynamic-176-006-193-035.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-23 07:06:58 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-05-23 07:08:03 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
2024-05-23 07:13:35 +0200 | zmt00 | (~zmt00@user/zmt00) |
2024-05-23 07:13:47 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 264 seconds) |
2024-05-23 07:14:06 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-05-23 07:18:39 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
2024-05-23 07:20:23 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 264 seconds) |
2024-05-23 07:20:29 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 240 seconds) |
2024-05-23 07:20:45 +0200 | euleritian | (~euleritia@dynamic-176-006-193-035.176.6.pool.telefonica.de) |
2024-05-23 07:20:49 +0200 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
2024-05-23 07:22:00 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-05-23 07:26:27 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 272 seconds) |
2024-05-23 07:26:41 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-05-23 07:29:07 +0200 | mei | (~mei@user/mei) |
2024-05-23 07:30:07 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-05-23 07:44:10 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-23 07:44:45 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
2024-05-23 07:58:42 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 268 seconds) |
2024-05-23 07:59:11 +0200 | acidjnk | (~acidjnk@p200300d6e714dc457034212241da3227.dip0.t-ipconnect.de) |
2024-05-23 08:10:51 +0200 | jamesmartinez | (uid6451@id-6451.helmsley.irccloud.com) (Ping timeout: 260 seconds) |
2024-05-23 08:11:19 +0200 | jmct | (sid160793@id-160793.tinside.irccloud.com) (Ping timeout: 260 seconds) |
2024-05-23 08:11:19 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Ping timeout: 260 seconds) |
2024-05-23 08:11:27 +0200 | jmct | (sid160793@id-160793.tinside.irccloud.com) |
2024-05-23 08:11:47 +0200 | jamesmartinez | (uid6451@id-6451.helmsley.irccloud.com) |
2024-05-23 08:11:51 +0200 | xal | (~xal@mx1.xal.systems) (Quit: No Ping reply in 180 seconds.) |
2024-05-23 08:11:57 +0200 | EvanR_ | (~EvanR@user/evanr) |
2024-05-23 08:12:15 +0200 | EvanR | (~EvanR@user/evanr) (Ping timeout: 260 seconds) |
2024-05-23 08:12:43 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 260 seconds) |
2024-05-23 08:13:00 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) |
2024-05-23 08:13:01 +0200 | cyphase | (~cyphase@user/cyphase) |
2024-05-23 08:13:06 +0200 | xal | (~xal@mx1.xal.systems) |
2024-05-23 08:19:22 +0200 | zetef | (~quassel@141.85.150.107) |
2024-05-23 08:31:53 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
2024-05-23 08:40:38 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-05-23 08:52:02 +0200 | ft | (~ft@p508db8fc.dip0.t-ipconnect.de) (Quit: leaving) |
2024-05-23 09:08:04 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-23 09:12:06 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-05-23 09:13:31 +0200 | <tomsmeding> | Leary: ap = S |
2024-05-23 09:13:53 +0200 | erisco_ | (~erisco@d24-141-66-165.home.cgocable.net) |
2024-05-23 09:14:05 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 240 seconds) |
2024-05-23 09:14:08 +0200 | erisco_ | erisco |
2024-05-23 09:14:28 +0200 | kuribas | (~user@2a02:1808:9:1cd2:374f:3540:a5a6:fe2c) |
2024-05-23 09:14:50 +0200 | <Leary> | Oh dear. My brain must have gone wibbly for a second there. |
2024-05-23 09:16:42 +0200 | zenex | (~zenex@cpc157775-rdng31-2-0-cust836.15-3.cable.virginm.net) |
2024-05-23 09:16:55 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
2024-05-23 09:17:42 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
2024-05-23 09:17:43 +0200 | zenex | (~zenex@cpc157775-rdng31-2-0-cust836.15-3.cable.virginm.net) () |
2024-05-23 09:21:47 +0200 | euleritian | (~euleritia@dynamic-176-006-193-035.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-23 09:22:04 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-23 09:26:41 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2024-05-23 09:31:16 +0200 | ars23 | (~ars23@92.86.154.211) |
2024-05-23 09:31:39 +0200 | ars23 | (~ars23@92.86.154.211) (Changing host) |
2024-05-23 09:31:39 +0200 | ars23 | (~ars23@user/ars23) |
2024-05-23 09:40:05 +0200 | kuribas | (~user@2a02:1808:9:1cd2:374f:3540:a5a6:fe2c) (Ping timeout: 240 seconds) |
2024-05-23 09:45:21 +0200 | ars23 | (~ars23@user/ars23) (Remote host closed the connection) |
2024-05-23 09:49:47 +0200 | zetef | (~quassel@141.85.150.107) (Ping timeout: 264 seconds) |
2024-05-23 09:50:49 +0200 | danse-nr3 | (~danse-nr3@151.44.216.210) |
2024-05-23 09:50:53 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 240 seconds) |
2024-05-23 09:56:24 +0200 | kuribas | (~user@2a02:1808:9:1cd2:5842:771a:c876:f334) |
2024-05-23 09:57:32 +0200 | gmg | (~user@user/gehmehgeh) |
2024-05-23 10:03:24 +0200 | zetef | (~quassel@141.85.150.107) |
2024-05-23 10:04:16 +0200 | cfricke | (~cfricke@user/cfricke) |
2024-05-23 10:04:41 +0200 | ars23 | (~ars23@92.86.154.211) |
2024-05-23 10:04:47 +0200 | ars23 | (~ars23@92.86.154.211) (Changing host) |
2024-05-23 10:04:47 +0200 | ars23 | (~ars23@user/ars23) |
2024-05-23 10:06:44 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-05-23 10:06:49 +0200 | akegalj | (~akegalj@200-239.dsl.iskon.hr) |
2024-05-23 10:11:37 +0200 | AlexNoo_ | AlexNoo |
2024-05-23 10:12:07 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:592d:9a4e:65ca:3557) |
2024-05-23 10:13:35 +0200 | mei | (~mei@user/mei) (Killed (erbium.libera.chat (Nickname regained by services))) |
2024-05-23 10:13:40 +0200 | mei | (~mei@user/mei) |
2024-05-23 10:16:15 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-05-23 10:21:16 +0200 | ars23 | (~ars23@user/ars23) (Ping timeout: 256 seconds) |
2024-05-23 10:21:52 +0200 | Midjak | (~MarciZ@82.66.147.146) |
2024-05-23 10:23:01 +0200 | ars23 | (~ars23@92.86.154.211) |
2024-05-23 10:23:14 +0200 | ars23 | (~ars23@92.86.154.211) (Changing host) |
2024-05-23 10:23:14 +0200 | ars23 | (~ars23@user/ars23) |
2024-05-23 10:25:45 +0200 | johnw_ | (~johnw@69.62.242.138) |
2024-05-23 10:27:35 +0200 | kuribas` | (~user@ip-188-118-57-242.reverse.destiny.be) |
2024-05-23 10:28:01 +0200 | johnw | (~johnw@69.62.242.138) (Ping timeout: 256 seconds) |
2024-05-23 10:29:40 +0200 | kuribas | (~user@2a02:1808:9:1cd2:5842:771a:c876:f334) (Ping timeout: 260 seconds) |
2024-05-23 10:35:12 +0200 | titibandit | (~user@user/titibandit) |
2024-05-23 10:39:02 +0200 | destituion | (~destituio@2a02:2121:607:127a:20f6:97b:b991:e857) (Ping timeout: 268 seconds) |
2024-05-23 10:45:21 +0200 | destituion | (~destituio@85.221.111.174) |
2024-05-23 10:47:35 +0200 | bontaq | (~user@ool-45779c03.dyn.optonline.net) |
2024-05-23 11:00:47 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
2024-05-23 11:03:16 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Ping timeout: 260 seconds) |
2024-05-23 11:05:42 +0200 | johnw | (~johnw@69.62.242.138) |
2024-05-23 11:07:24 +0200 | johnw_ | (~johnw@69.62.242.138) (Ping timeout: 268 seconds) |
2024-05-23 11:08:13 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
2024-05-23 11:10:07 +0200 | johnw_ | (~johnw@69.62.242.138) |
2024-05-23 11:10:53 +0200 | johnw | (~johnw@69.62.242.138) (Ping timeout: 240 seconds) |
2024-05-23 11:11:11 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2024-05-23 11:12:33 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
2024-05-23 11:12:53 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 240 seconds) |
2024-05-23 11:13:31 +0200 | troydm | (~troydm@user/troydm) |
2024-05-23 11:14:25 +0200 | destituion | (~destituio@85.221.111.174) (Ping timeout: 255 seconds) |
2024-05-23 11:14:49 +0200 | destituion | (~destituio@2a02:2121:607:127a:4f91:ebdf:f515:bca9) |
2024-05-23 11:15:50 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
2024-05-23 11:19:40 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2024-05-23 11:20:42 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
2024-05-23 11:22:26 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2024-05-23 11:25:31 +0200 | mal1 | lieven |
2024-05-23 11:25:46 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
2024-05-23 11:29:26 +0200 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
2024-05-23 11:30:53 +0200 | troydm | (~troydm@user/troydm) |
2024-05-23 11:33:19 +0200 | pyooque | (~puke@user/puke) |
2024-05-23 11:33:19 +0200 | puke | Guest7578 |
2024-05-23 11:33:19 +0200 | pyooque | puke |
2024-05-23 11:36:23 +0200 | Guest7578 | (~puke@user/puke) (Ping timeout: 268 seconds) |
2024-05-23 11:38:16 +0200 | __monty__ | (~toonn@user/toonn) |
2024-05-23 11:42:29 +0200 | __monty__ | (~toonn@user/toonn) (Ping timeout: 240 seconds) |
2024-05-23 11:43:41 +0200 | __monty__ | (~toonn@user/toonn) |
2024-05-23 11:50:23 +0200 | ars23 | (~ars23@user/ars23) (Remote host closed the connection) |
2024-05-23 11:54:18 +0200 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
2024-05-23 12:00:06 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
2024-05-23 12:00:41 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2024-05-23 12:04:38 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2024-05-23 12:05:32 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2024-05-23 12:09:28 +0200 | troydm | (~troydm@user/troydm) |
2024-05-23 12:10:18 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds) |
2024-05-23 12:20:47 +0200 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
2024-05-23 12:22:04 +0200 | troydm | (~troydm@user/troydm) |
2024-05-23 12:23:06 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds) |
2024-05-23 12:23:06 +0200 | pja | (~pja@217.155.153.10) (Read error: Connection reset by peer) |
2024-05-23 12:28:49 +0200 | pja | (~pja@2a02:8010:6098:0:e65f:1ff:fe1f:660f) |
2024-05-23 12:30:09 +0200 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
2024-05-23 12:31:22 +0200 | misterfish | (~misterfis@84.53.85.146) |
2024-05-23 12:31:51 +0200 | troydm | (~troydm@user/troydm) |
2024-05-23 12:36:16 +0200 | troydm | (~troydm@user/troydm) (Client Quit) |
2024-05-23 12:37:40 +0200 | troydm | (~troydm@user/troydm) |
2024-05-23 12:39:57 +0200 | fizbin__ | (~fizbin@user/fizbin) |
2024-05-23 12:40:04 +0200 | madeleine-sydney | (~madeleine@c-71-229-185-228.hsd1.co.comcast.net) |
2024-05-23 12:40:30 +0200 | madeleine-sydney | (~madeleine@c-71-229-185-228.hsd1.co.comcast.net) (Client Quit) |
2024-05-23 12:40:31 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 268 seconds) |
2024-05-23 12:41:22 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:c6ce:5584:350d:c683) |
2024-05-23 12:41:52 +0200 | misterfish | (~misterfis@84.53.85.146) |
2024-05-23 12:44:36 +0200 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
2024-05-23 12:45:17 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:c6ce:5584:350d:c683) (Remote host closed the connection) |
2024-05-23 12:45:34 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:9209:c13c:fa13:721c) |
2024-05-23 12:45:52 +0200 | troydm | (~troydm@user/troydm) |
2024-05-23 12:48:16 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
2024-05-23 12:48:34 +0200 | euleritian | (~euleritia@dynamic-176-006-194-232.176.6.pool.telefonica.de) |
2024-05-23 12:51:26 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
2024-05-23 12:52:14 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2024-05-23 12:57:47 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 268 seconds) |
2024-05-23 12:58:01 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-05-23 12:58:15 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2024-05-23 12:59:38 +0200 | danse-nr3 | (~danse-nr3@151.44.216.210) (Ping timeout: 268 seconds) |
2024-05-23 13:02:11 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2024-05-23 13:02:46 +0200 | acidjnk | (~acidjnk@p200300d6e714dc457034212241da3227.dip0.t-ipconnect.de) (Remote host closed the connection) |
2024-05-23 13:03:17 +0200 | acidjnk | (~acidjnk@p200300d6e714dc452882c161da5c5dc1.dip0.t-ipconnect.de) |
2024-05-23 13:04:36 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
2024-05-23 13:06:25 +0200 | fizbin__ | (~fizbin@user/fizbin) (Ping timeout: 268 seconds) |
2024-05-23 13:09:05 +0200 | acidjnk | (~acidjnk@p200300d6e714dc452882c161da5c5dc1.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2024-05-23 13:11:16 +0200 | euleritian | (~euleritia@dynamic-176-006-194-232.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-23 13:11:17 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:9209:c13c:fa13:721c) (Ping timeout: 240 seconds) |
2024-05-23 13:11:33 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-23 13:13:43 +0200 | fizbin__ | (~fizbin@user/fizbin) |
2024-05-23 13:13:55 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a0c9:53ff:d03b:8aee) |
2024-05-23 13:15:36 +0200 | misterfish | (~misterfis@178.229.113.133) |
2024-05-23 13:18:31 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Quit: Leaving) |
2024-05-23 13:21:26 +0200 | CiaoSen | (~Jura@2a05:5800:2bb:7400:e6b9:7aff:fe80:3d03) |
2024-05-23 13:26:41 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Remote host closed the connection) |
2024-05-23 13:27:08 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
2024-05-23 13:32:56 +0200 | fizbin__ | (~fizbin@user/fizbin) (Ping timeout: 268 seconds) |
2024-05-23 13:39:11 +0200 | arahael | (~arahael@119-18-1-21.771201.syd.nbn.aussiebb.net) |
2024-05-23 13:53:03 +0200 | acidjnk | (~acidjnk@p200300d6e714dc452882c161da5c5dc1.dip0.t-ipconnect.de) |
2024-05-23 13:58:28 +0200 | poscat0x04 | (~poscat@user/poscat) (Quit: Bye) |
2024-05-23 13:58:42 +0200 | poscat | (~poscat@user/poscat) |
2024-05-23 14:01:48 +0200 | fizbin__ | (~fizbin@user/fizbin) |
2024-05-23 14:03:46 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:67bc:b5d5:3b2d:c9eb) |
2024-05-23 14:08:04 +0200 | bontaq | (~user@ool-45779c03.dyn.optonline.net) (Remote host closed the connection) |
2024-05-23 14:21:29 +0200 | <kuribas`> | I get "Invalid option `--auth-token'", from optparse-applicative, but it's right there in the option list. |
2024-05-23 14:21:47 +0200 | <kuribas`> | Usage: ltya-ui-hs serve --solar-resource-url SOLAR_RESOURCE_URL --port PORT --static-dir STATIC_DIR [--auth-token AUTH_TOKEN] |
2024-05-23 14:23:24 +0200 | <mauke> | what's the whole command line? |
2024-05-23 14:24:20 +0200 | <kuribas`> | ./ltya-ui-hs serve --solar-resource-url https://geodata-api.3elabs.eu --port 80 --static-dir /usr/local/share/ltya-ui-hs/static --db-file /var/lib/ltya-ui-hs/db.db --auth-token '[secret token]' |
2024-05-23 14:25:42 +0200 | <kuribas`> | oh, it didn't like that I put --db-file before --auth-token |
2024-05-23 14:31:27 +0200 | Square2 | (~Square4@user/square) (Quit: Leaving) |
2024-05-23 14:31:58 +0200 | Square2 | (~Square4@user/square) |
2024-05-23 14:35:51 +0200 | fizbin__ | (~fizbin@user/fizbin) (Ping timeout: 272 seconds) |
2024-05-23 14:55:14 +0200 | zetef | (~quassel@141.85.150.107) (Remote host closed the connection) |
2024-05-23 15:04:12 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
2024-05-23 15:05:08 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-23 15:12:13 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
2024-05-23 15:12:36 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-05-23 15:12:37 +0200 | euleritian | (~euleritia@dynamic-176-006-194-232.176.6.pool.telefonica.de) |
2024-05-23 15:17:53 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2024-05-23 15:18:25 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-05-23 15:20:21 +0200 | platao | (Platao@ip121.ip-149-56-160.net) |
2024-05-23 15:21:48 +0200 | Rodney_ | (~Rodney@176.254.244.83) |
2024-05-23 15:24:10 +0200 | platao | (Platao@ip121.ip-149-56-160.net) () |
2024-05-23 15:26:28 +0200 | zmt00 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
2024-05-23 15:31:15 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-05-23 15:37:10 +0200 | Guest|55 | (~Guest|55@172.56.3.191) |
2024-05-23 15:39:31 +0200 | ystael | (~ystael@user/ystael) |
2024-05-23 15:44:47 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 256 seconds) |
2024-05-23 15:45:12 +0200 | cfricke | (~cfricke@user/cfricke) |
2024-05-23 15:46:44 +0200 | euleritian | (~euleritia@dynamic-176-006-194-232.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-23 15:47:02 +0200 | euleritian | (~euleritia@dynamic-176-006-194-232.176.6.pool.telefonica.de) |
2024-05-23 15:48:05 +0200 | itaipu | (~itaipu@168.121.99.99) (Ping timeout: 252 seconds) |
2024-05-23 15:50:08 +0200 | danse-nr3 | (~danse-nr3@151.44.161.246) |
2024-05-23 15:50:29 +0200 | EvanR_ | EvanR |
2024-05-23 15:51:06 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
2024-05-23 15:52:32 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2024-05-23 15:53:10 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-05-23 15:55:33 +0200 | mei | (~mei@user/mei) |
2024-05-23 16:04:03 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
2024-05-23 16:06:36 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 260 seconds) |
2024-05-23 16:12:35 +0200 | euleritian | (~euleritia@dynamic-176-006-194-232.176.6.pool.telefonica.de) (Ping timeout: 264 seconds) |
2024-05-23 16:13:48 +0200 | euleritian | (~euleritia@dynamic-176-003-015-141.176.3.pool.telefonica.de) |
2024-05-23 16:17:23 +0200 | aryah | (~aryah@141-138-39-219.dsl.iskon.hr) (Ping timeout: 264 seconds) |
2024-05-23 16:17:42 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
2024-05-23 16:19:30 +0200 | gmg | (~user@user/gehmehgeh) |
2024-05-23 16:28:41 +0200 | misterfish | (~misterfis@178.229.113.133) (Ping timeout: 268 seconds) |
2024-05-23 16:34:00 +0200 | itaipu | (~itaipu@168.121.99.99) |
2024-05-23 16:36:15 +0200 | euleritian | (~euleritia@dynamic-176-003-015-141.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-23 16:36:33 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-23 16:36:56 +0200 | CiaoSen | (~Jura@2a05:5800:2bb:7400:e6b9:7aff:fe80:3d03) (Ping timeout: 260 seconds) |
2024-05-23 16:40:19 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2024-05-23 16:43:35 +0200 | kimiamania | (~76637481@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
2024-05-23 16:43:58 +0200 | kimiamania | (~76637481@user/kimiamania) |
2024-05-23 16:52:44 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Ping timeout: 268 seconds) |
2024-05-23 16:53:49 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1) |
2024-05-23 16:55:12 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-05-23 16:55:21 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) |
2024-05-23 16:55:55 +0200 | euleritian | (~euleritia@dynamic-176-003-015-141.176.3.pool.telefonica.de) |
2024-05-23 16:56:32 +0200 | troydm | (~troydm@user/troydm) (Ping timeout: 260 seconds) |
2024-05-23 16:56:40 +0200 | euleritian | (~euleritia@dynamic-176-003-015-141.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-23 16:56:58 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-05-23 16:57:39 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
2024-05-23 16:57:46 +0200 | euleritian | (~euleritia@dynamic-176-003-015-141.176.3.pool.telefonica.de) |
2024-05-23 16:58:33 +0200 | euleritian | (~euleritia@dynamic-176-003-015-141.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-23 16:58:51 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-05-23 17:03:07 +0200 | aryah | (~aryah@141-138-39-219.dsl.iskon.hr) |
2024-05-23 17:07:47 +0200 | danse-nr3 | (~danse-nr3@151.44.161.246) (Ping timeout: 264 seconds) |
2024-05-23 17:08:15 +0200 | danse-nr3 | (~danse-nr3@151.44.160.184) |
2024-05-23 17:10:02 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 252 seconds) |
2024-05-23 17:10:16 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-05-23 17:14:56 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 268 seconds) |
2024-05-23 17:15:28 +0200 | euleritian | (~euleritia@dynamic-176-003-015-141.176.3.pool.telefonica.de) |
2024-05-23 17:15:54 +0200 | euleritian | (~euleritia@dynamic-176-003-015-141.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-23 17:16:12 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-23 17:19:11 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 264 seconds) |
2024-05-23 17:20:13 +0200 | cfricke | (~cfricke@user/cfricke) |
2024-05-23 17:31:57 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:67bc:b5d5:3b2d:c9eb) (Remote host closed the connection) |
2024-05-23 17:32:15 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:67bc:b5d5:3b2d:c9eb) |
2024-05-23 17:32:24 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-05-23 17:33:36 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-23 17:33:56 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
2024-05-23 17:42:29 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
2024-05-23 17:42:35 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
2024-05-23 17:43:03 +0200 | euleritian | (~euleritia@dynamic-176-006-192-045.176.6.pool.telefonica.de) |
2024-05-23 17:43:42 +0200 | euleritian | (~euleritia@dynamic-176-006-192-045.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-23 17:43:59 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-23 17:44:53 +0200 | k_hachig | (~k_hachig@ipagstaticip-b4f1257d-69a8-678e-1ff6-80999a2f9589.sdsl.bell.ca) |
2024-05-23 17:47:14 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-05-23 17:49:38 +0200 | mei | (~mei@user/mei) |
2024-05-23 17:52:22 +0200 | aryah | (~aryah@141-138-39-219.dsl.iskon.hr) (Read error: Connection reset by peer) |
2024-05-23 17:53:51 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-23 17:54:24 +0200 | yin | (~yin@user/zero) |
2024-05-23 17:57:08 +0200 | tram | (~tram@62.74.13.145) |
2024-05-23 17:57:48 +0200 | tram | (~tram@62.74.13.145) (Read error: Connection reset by peer) |
2024-05-23 17:58:13 +0200 | tram | (~tram@62.74.13.145) |
2024-05-23 18:05:07 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
2024-05-23 18:06:30 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds) |
2024-05-23 18:08:42 +0200 | Guest|55 | (~Guest|55@172.56.3.191) (Quit: Connection closed) |
2024-05-23 18:10:57 +0200 | kuribas` | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
2024-05-23 18:11:57 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:67bc:b5d5:3b2d:c9eb) (Remote host closed the connection) |
2024-05-23 18:12:15 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:67bc:b5d5:3b2d:c9eb) |
2024-05-23 18:14:22 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
2024-05-23 18:15:56 +0200 | gmg | (~user@user/gehmehgeh) |
2024-05-23 18:17:56 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:592d:9a4e:65ca:3557) (Remote host closed the connection) |
2024-05-23 18:20:39 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Quit: WeeChat 4.2.2) |
2024-05-23 18:38:02 +0200 | danse-nr3 | (~danse-nr3@151.44.160.184) (Ping timeout: 252 seconds) |
2024-05-23 18:39:37 +0200 | danse-nr3 | (~danse-nr3@151.44.160.184) |
2024-05-23 18:47:22 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2024-05-23 18:48:57 +0200 | gmg | (~user@user/gehmehgeh) |
2024-05-23 18:52:59 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
2024-05-23 18:53:20 +0200 | euleritian | (~euleritia@dynamic-176-006-192-045.176.6.pool.telefonica.de) |
2024-05-23 18:54:15 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-05-23 18:56:34 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:67bc:b5d5:3b2d:c9eb) (Ping timeout: 255 seconds) |
2024-05-23 18:57:18 +0200 | k_hachig | (~k_hachig@ipagstaticip-b4f1257d-69a8-678e-1ff6-80999a2f9589.sdsl.bell.ca) (Ping timeout: 268 seconds) |
2024-05-23 19:00:30 +0200 | ft | (~ft@p508db8fc.dip0.t-ipconnect.de) |
2024-05-23 19:01:37 +0200 | yin | (~yin@user/zero) (Ping timeout: 268 seconds) |
2024-05-23 19:06:25 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) |
2024-05-23 19:09:07 +0200 | k_hachig | (~k_hachig@ipagstaticip-b4f1257d-69a8-678e-1ff6-80999a2f9589.sdsl.bell.ca) |
2024-05-23 19:12:35 +0200 | euleritian | (~euleritia@dynamic-176-006-192-045.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-23 19:12:52 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-23 19:15:35 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
2024-05-23 19:18:00 +0200 | misterfish | (~misterfis@84.53.85.146) |
2024-05-23 19:18:25 +0200 | causal | (~eric@50.35.88.207) |
2024-05-23 19:20:34 +0200 | ft | (~ft@p508db8fc.dip0.t-ipconnect.de) (Quit: Lost terminal) |
2024-05-23 19:20:56 +0200 | ars23 | (~ars23@2a02:2f09:3614:4900:41ca:46a9:44c4:83d5) |
2024-05-23 19:21:08 +0200 | ars23 | (~ars23@2a02:2f09:3614:4900:41ca:46a9:44c4:83d5) (Changing host) |
2024-05-23 19:21:08 +0200 | ars23 | (~ars23@user/ars23) |
2024-05-23 19:22:35 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 268 seconds) |
2024-05-23 19:23:29 +0200 | ft | (~ft@p508db8fc.dip0.t-ipconnect.de) |
2024-05-23 19:25:49 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-05-23 19:28:13 +0200 | mei | (~mei@user/mei) |
2024-05-23 19:30:57 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-23 19:34:02 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:7f90:aebb:5ac3:139e) |
2024-05-23 19:36:03 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:7f90:aebb:5ac3:139e) (Client Quit) |
2024-05-23 19:36:20 +0200 | Square | (~Square@user/square) |
2024-05-23 19:36:51 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Ping timeout: 260 seconds) |
2024-05-23 19:39:46 +0200 | Square | (~Square@user/square) (Remote host closed the connection) |
2024-05-23 19:40:56 +0200 | Square | (~Square@user/square) |
2024-05-23 19:43:42 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) |
2024-05-23 19:43:50 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-05-23 19:43:59 +0200 | euleritian | (~euleritia@dynamic-176-006-192-045.176.6.pool.telefonica.de) |
2024-05-23 19:44:20 +0200 | euleritian | (~euleritia@dynamic-176-006-192-045.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-23 19:44:38 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-23 19:53:39 +0200 | carbolymer | (~carbolyme@dropacid.net) (Remote host closed the connection) |
2024-05-23 19:54:49 +0200 | carbolymer | (~carbolyme@dropacid.net) |
2024-05-23 19:55:23 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2024-05-23 19:56:37 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-05-23 19:57:47 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
2024-05-23 19:59:26 +0200 | k_hachig | (~k_hachig@ipagstaticip-b4f1257d-69a8-678e-1ff6-80999a2f9589.sdsl.bell.ca) (Ping timeout: 252 seconds) |
2024-05-23 20:03:33 +0200 | <lxsameer> | anyone using haskell-mode on Emacs? how do you work with holes using haskell mode? |
2024-05-23 20:03:50 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-05-23 20:03:52 +0200 | yin | (~yin@user/zero) |
2024-05-23 20:04:27 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
2024-05-23 20:10:04 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-05-23 20:10:04 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
2024-05-23 20:13:55 +0200 | k_hachig | (~k_hachig@ipagstaticip-b4f1257d-69a8-678e-1ff6-80999a2f9589.sdsl.bell.ca) |
2024-05-23 20:16:17 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-05-23 20:16:42 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2024-05-23 20:16:57 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
2024-05-23 20:22:00 +0200 | fizbin__ | (~fizbin@user/fizbin) |
2024-05-23 20:22:31 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-05-23 20:22:40 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
2024-05-23 20:24:11 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-05-23 20:24:12 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
2024-05-23 20:24:43 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-23 20:26:13 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-05-23 20:28:44 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-05-23 20:29:13 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
2024-05-23 20:29:48 +0200 | k_hachig | (~k_hachig@ipagstaticip-b4f1257d-69a8-678e-1ff6-80999a2f9589.sdsl.bell.ca) (Ping timeout: 268 seconds) |
2024-05-23 20:29:49 +0200 | gentauro | (~gentauro@user/gentauro) |
2024-05-23 20:30:29 +0200 | fizbin__ | (~fizbin@user/fizbin) (Ping timeout: 240 seconds) |
2024-05-23 20:31:12 +0200 | k_hachig | (~k_hachig@ipagstaticip-b4f1257d-69a8-678e-1ff6-80999a2f9589.sdsl.bell.ca) |
2024-05-23 20:35:03 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-05-23 20:36:32 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Quit: WeeChat 4.2.2) |
2024-05-23 20:36:47 +0200 | <johnw_> | I just type in `_` and use eglot to highlight the error and eldoc to read it |
2024-05-23 20:36:55 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) |
2024-05-23 20:40:54 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 268 seconds) |
2024-05-23 20:41:54 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-05-23 20:42:15 +0200 | fr33domlover | (~fr33domlo@towards.vision) (Quit: The Lounge - https://thelounge.chat) |
2024-05-23 20:46:28 +0200 | <lxsameer> | johnw_: cheers |
2024-05-23 20:46:35 +0200 | <johnw_> | hello! |
2024-05-23 20:46:37 +0200 | johnw_ | johnw |
2024-05-23 20:46:53 +0200 | fr33domlover | (~fr33domlo@towards.vision) |
2024-05-23 20:47:55 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2024-05-23 20:53:02 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
2024-05-23 21:01:51 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2024-05-23 21:03:03 +0200 | yin | (~yin@user/zero) (Remote host closed the connection) |
2024-05-23 21:07:47 +0200 | danse-nr3 | (~danse-nr3@151.44.160.184) (Ping timeout: 264 seconds) |
2024-05-23 21:08:12 +0200 | fr33domlover | (~fr33domlo@towards.vision) (Quit: The Lounge - https://thelounge.chat) |
2024-05-23 21:10:13 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds) |
2024-05-23 21:10:31 +0200 | fr33domlover | (~fr33domlo@towards.vision) |
2024-05-23 21:15:32 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-05-23 21:21:26 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2024-05-23 21:21:57 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-05-23 21:24:05 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-05-23 21:28:15 +0200 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
2024-05-23 21:31:01 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-05-23 21:33:25 +0200 | mei | (~mei@user/mei) |
2024-05-23 21:44:43 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-23 21:52:26 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 268 seconds) |
2024-05-23 21:52:55 +0200 | nyc | (~nyc@syn-067-250-055-000.res.spectrum.com) |
2024-05-23 21:53:02 +0200 | nyc | (~nyc@syn-067-250-055-000.res.spectrum.com) (Changing host) |
2024-05-23 21:53:02 +0200 | nyc | (~nyc@user/nyc) |
2024-05-23 21:53:59 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
2024-05-23 21:55:04 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) |
2024-05-23 22:00:03 +0200 | mulk | (~mulk@p5b112e4a.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
2024-05-23 22:01:00 +0200 | nickiminjaj | (~nickiminj@user/laxhh) |
2024-05-23 22:01:25 +0200 | talisman` | (~user@2601:644:937c:ed10::ae5) |
2024-05-23 22:01:37 +0200 | talisman` | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
2024-05-23 22:01:37 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
2024-05-23 22:02:26 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) |
2024-05-23 22:02:58 +0200 | ars23 | (~ars23@user/ars23) (Quit: Leaving) |
2024-05-23 22:06:06 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-23 22:06:36 +0200 | <stefan-__> | can a cabal test suite depend on an executable? |
2024-05-23 22:07:02 +0200 | califax | (~califax@user/califx) |
2024-05-23 22:09:03 +0200 | mulk | (~mulk@p5b112e4a.dip0.t-ipconnect.de) |
2024-05-23 22:12:17 +0200 | <glguy> | Probably? Try depending on package:exe:exename |
2024-05-23 22:12:47 +0200 | k_hachig | (~k_hachig@ipagstaticip-b4f1257d-69a8-678e-1ff6-80999a2f9589.sdsl.bell.ca) (Ping timeout: 268 seconds) |
2024-05-23 22:12:50 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-23 22:12:51 +0200 | <glguy> | I'm guessing it might use the same logic as when we depend on Alex or Happy executables |
2024-05-23 22:13:08 +0200 | <glguy> | But I haven't seen that before |
2024-05-23 22:15:58 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2024-05-23 22:19:47 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
2024-05-23 22:21:38 +0200 | <stefan-__> | ok, thanks, will give it a try |
2024-05-23 22:22:49 +0200 | k_hachig | (~k_hachig@ipagstaticip-b4f1257d-69a8-678e-1ff6-80999a2f9589.sdsl.bell.ca) |
2024-05-23 22:23:29 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
2024-05-23 22:24:04 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2024-05-23 22:26:02 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
2024-05-23 22:26:42 +0200 | Flow | (~none@gentoo/developer/flow) (Quit: WeeChat 4.2.1) |
2024-05-23 22:29:07 +0200 | k_hachig | (~k_hachig@ipagstaticip-b4f1257d-69a8-678e-1ff6-80999a2f9589.sdsl.bell.ca) (Quit: WeeChat 4.2.2) |
2024-05-23 22:29:54 +0200 | Flow | (~none@gentoo/developer/flow) |
2024-05-23 22:32:08 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2024-05-23 22:38:50 +0200 | pavonia | (~user@user/siracusa) |
2024-05-23 22:39:17 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2024-05-23 22:42:46 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-05-23 22:43:37 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 268 seconds) |
2024-05-23 22:46:12 +0200 | Flow | (~none@gentoo/developer/flow) (Quit: WeeChat 4.2.1) |
2024-05-23 22:46:29 +0200 | Flow | (~none@gentoo/developer/flow) |
2024-05-23 22:47:21 +0200 | tram | (~tram@62.74.13.145) () |
2024-05-23 23:08:43 +0200 | akegalj | (~akegalj@200-239.dsl.iskon.hr) (Quit: leaving) |
2024-05-23 23:12:30 +0200 | Square2 | (~Square4@user/square) |
2024-05-23 23:13:07 +0200 | misterfish | (~misterfis@84.53.85.146) |
2024-05-23 23:15:28 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
2024-05-23 23:15:47 +0200 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
2024-05-23 23:17:38 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Remote host closed the connection) |
2024-05-23 23:18:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-23 23:18:54 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-05-23 23:23:17 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 240 seconds) |
2024-05-23 23:23:43 +0200 | Guest57 | (~Guest57@node-1w7jr9qt54yn9d5gxy84y029x.ipv6.telus.net) |
2024-05-23 23:24:01 +0200 | johnw_ | (~johnw@69.62.242.138) |
2024-05-23 23:25:15 +0200 | Guest57 | (~Guest57@node-1w7jr9qt54yn9d5gxy84y029x.ipv6.telus.net) (Client Quit) |
2024-05-23 23:26:27 +0200 | johnw | (~johnw@69.62.242.138) (Ping timeout: 260 seconds) |
2024-05-23 23:34:38 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-23 23:40:47 +0200 | johnw_ | (~johnw@69.62.242.138) (Ping timeout: 264 seconds) |
2024-05-23 23:41:29 +0200 | Vajb | (~Vajb@85-76-14-24-nat.elisa-mobile.fi) (Ping timeout: 256 seconds) |
2024-05-23 23:41:46 +0200 | johnw | (~johnw@c-174-50-152-190.hsd1.ca.comcast.net) |
2024-05-23 23:44:21 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
2024-05-23 23:44:35 +0200 | Vajb | (~Vajb@n4vou9ek39qavu5bn5s-1.v6.elisa-mobile.fi) |
2024-05-23 23:45:35 +0200 | titibandit | (~user@user/titibandit) (Ping timeout: 264 seconds) |
2024-05-23 23:47:21 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2024-05-23 23:48:39 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
2024-05-23 23:51:12 +0200 | johnw_ | (~johnw@69.62.242.138) |
2024-05-23 23:52:05 +0200 | johnw | (~johnw@c-174-50-152-190.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |