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