| 2022-08-05 00:00:02 +0000 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 2022-08-05 00:01:45 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-08-05 00:02:55 +0000 | califax | (~califax@user/califx) |
| 2022-08-05 00:03:27 +0000 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 268 seconds) |
| 2022-08-05 00:04:05 +0000 | kraftwerk28 | (~kraftwerk@178.62.210.83) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-08-05 00:04:21 +0000 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-08-05 00:08:04 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-08-05 00:08:51 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 2022-08-05 00:10:02 +0000 | kraftwerk28 | (~kraftwerk@178.62.210.83) |
| 2022-08-05 00:12:51 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-05 00:17:38 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-08-05 00:22:47 +0000 | gurkenglas | (~gurkengla@p57b8a60f.dip0.t-ipconnect.de) |
| 2022-08-05 00:27:47 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-08-05 00:27:47 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-08-05 00:27:47 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-08-05 00:33:08 +0000 | <johnw> | @pl \(s, f) -> runState s (runReadonly f) |
| 2022-08-05 00:33:23 +0000 | usawi_wejewi | (~usawi_wej@public-gprs523387.centertel.pl) |
| 2022-08-05 00:34:56 +0000 | <jackdk> | johnw: uncurry ((. runReadonly) . runState) |
| 2022-08-05 00:35:08 +0000 | <johnw> | yeah, thank you, just finished installing 'pointfree' and got that result |
| 2022-08-05 00:35:13 +0000 | <johnw> | not an improvement |
| 2022-08-05 00:36:12 +0000 | usawi_wejewi | (~usawi_wej@public-gprs523387.centertel.pl) (Remote host closed the connection) |
| 2022-08-05 00:36:39 +0000 | usawi_wejewi | (~usawi_wej@public-gprs523387.centertel.pl) |
| 2022-08-05 00:39:29 +0000 | <EvanR> | it's crazy how much better having a point is, usually xD |
| 2022-08-05 00:39:42 +0000 | texasmynsted | (~texasmyns@99.96.221.112) |
| 2022-08-05 00:39:47 +0000 | usawi_wejewi | (~usawi_wej@public-gprs523387.centertel.pl) (Remote host closed the connection) |
| 2022-08-05 00:40:57 +0000 | <johnw> | yeah, when you linearize the composition it loses some of the clarifying structure |
| 2022-08-05 00:46:00 +0000 | xff0x | (~xff0x@2405:6580:b080:900:f3e0:1e7d:c792:ccbd) (Ping timeout: 268 seconds) |
| 2022-08-05 00:49:04 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-05 00:49:26 +0000 | gurkenglas | (~gurkengla@p57b8a60f.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-08-05 00:50:18 +0000 | <Axman6> | johnw: I'm sure I've seen edwardk using something recently which was a lens that gave access to the context outside the focus... but it might bave been in rust |
| 2022-08-05 00:50:47 +0000 | <Axman6> | s/lens/some sort of optic/ |
| 2022-08-05 00:52:01 +0000 | kimjetwav | (~user@2607:fea8:235e:b600:6fb6:9a67:4eac:187a) |
| 2022-08-05 00:53:27 +0000 | <Axman6> | here it is: https://gist.github.com/ekmett/ce5cc1edce154248fac9ea0f2c3ede9b |
| 2022-08-05 00:57:20 +0000 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 2022-08-05 00:58:02 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-05 00:58:11 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 2022-08-05 00:59:49 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-08-05 01:00:12 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-05 01:01:42 +0000 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 245 seconds) |
| 2022-08-05 01:04:56 +0000 | <c_wraith> | I don't think you can generally assume that everything outside a lens is comparable anyway. Like, the "I don't have a value of type `a'" thing is a real issue. |
| 2022-08-05 01:06:52 +0000 | <c_wraith> | I think you're not really going to do anything better than you get with Contexts |
| 2022-08-05 01:08:00 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-08-05 01:08:06 +0000 | <c_wraith> | Maybe add some helpers that let you pass in some default value from a context where they have a chance of knowing what type they need to be |
| 2022-08-05 01:12:32 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 245 seconds) |
| 2022-08-05 01:14:38 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 2022-08-05 01:16:30 +0000 | <texasmynsted> | I am looking at this -> https://dpaste.com/CQC3SHWGK |
| 2022-08-05 01:16:41 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::d5f2) (Ping timeout: 255 seconds) |
| 2022-08-05 01:17:05 +0000 | <Axman6> | I am now also looking at https://dpaste.com/CQC3SHWGK, I give this URL a B, not bad, but not our usualy paste website |
| 2022-08-05 01:17:13 +0000 | <texasmynsted> | I am trying to test it out but I always seem to get errors with expecting "end of line" |
| 2022-08-05 01:17:30 +0000 | <texasmynsted> | lol Axman6 |
| 2022-08-05 01:18:05 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 01:18:13 +0000 | <Axman6> | usual* |
| 2022-08-05 01:18:23 +0000 | <texasmynsted> | If I try to parse 'Total: A\n' for example |
| 2022-08-05 01:19:02 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-08-05 01:19:22 +0000 | <texasmynsted> | I think it is looking for Data.Char LineSeparator |
| 2022-08-05 01:21:30 +0000 | <texasmynsted> | oh, no that is not right |
| 2022-08-05 01:22:13 +0000 | <Axman6> | I love that we can use OverloadedStrings for parsers |
| 2022-08-05 01:23:11 +0000 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-05 01:23:33 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-08-05 01:25:37 +0000 | <texasmynsted> | I am just not seeing what I am missing |
| 2022-08-05 01:25:39 +0000 | <c_wraith> | takeUntilEOL really doesn't appear to be doing what it says |
| 2022-08-05 01:26:03 +0000 | <texasmynsted> | I would think eol on unix would be \n. |
| 2022-08-05 01:26:28 +0000 | <c_wraith> | it appears to be taking line separators |
| 2022-08-05 01:26:39 +0000 | <c_wraith> | rather than everything but line separators |
| 2022-08-05 01:27:14 +0000 | <texasmynsted> | oh |
| 2022-08-05 01:29:20 +0000 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-05 01:29:39 +0000 | zxx7529 | (~Thunderbi@user/zxx7529) (Client Quit) |
| 2022-08-05 01:30:08 +0000 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-05 01:31:50 +0000 | kimjetwav | (~user@2607:fea8:235e:b600:6fb6:9a67:4eac:187a) (Remote host closed the connection) |
| 2022-08-05 01:32:57 +0000 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2022-08-05 01:33:21 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-08-05 01:38:37 +0000 | Surobaki | (~Surobaki@user/surobaki) |
| 2022-08-05 01:46:23 +0000 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-08-05 01:46:28 +0000 | Guest55 | (~Guest55@c-71-198-235-211.hsd1.ca.comcast.net) (Quit: Client closed) |
| 2022-08-05 01:49:08 +0000 | zaquest | (~notzaques@5.130.79.72) |
| 2022-08-05 01:53:07 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-05 01:56:22 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-08-05 01:56:59 +0000 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-05 02:02:38 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-08-05 02:02:38 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-08-05 02:02:38 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-08-05 02:04:09 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-08-05 02:09:18 +0000 | frost | (~frost@user/frost) |
| 2022-08-05 02:10:03 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-05 02:10:09 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 02:11:50 +0000 | <Clinton[m]> | How do I access the `C` typeclass after pattern matching on `Foo` in `f`. I'm sure there's a way to do this I just forgot:... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/2a02522c435d270db61978a3ec5e208cf173…) |
| 2022-08-05 02:13:15 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-05 02:18:05 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-05 02:21:00 +0000 | <jackdk> | Clinton[m]: I see two options: 1. Add a Proxy to your GADT and use ScopedTypeVariables to bring `a` into scope, so that you can use a type application on `silly` |
| 2022-08-05 02:21:17 +0000 | <jackdk> | Clinton[m]: https://www.irccloud.com/pastebin/D5CfI3xJ/SillyProxy.hs |
| 2022-08-05 02:22:26 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 02:22:37 +0000 | <jackdk> | Clinton[m]: 2. Add a type variable to `Foo` so that you can bring the `a` into scope without `Proxy` (`Foo` is kinda doing the role of `Proxy` in this version, and kinda works like `Dict` from package `constraints`) |
| 2022-08-05 02:23:04 +0000 | <jackdk> | Clinton[m]: https://www.irccloud.com/pastebin/f5DVk1QJ/SillyTyVar.hs |
| 2022-08-05 02:25:38 +0000 | <Clinton[m]> | jackdk: I think I'll need to add a Proxy here, I don't want to change the type of `Foo`. |
| 2022-08-05 02:25:50 +0000 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-08-05 02:26:43 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-05 02:30:02 +0000 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 2022-08-05 02:30:16 +0000 | <jackdk> | Clinton[m]: This also works, by passing a value-level `Dict` from the `constraints` package, which takes the role of both your `C a` constraint and the `Proxy` from my first attempt: https://www.irccloud.com/pastebin/2JZN7jmT/SillyConstaintPackage.hs |
| 2022-08-05 02:34:02 +0000 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 2022-08-05 02:34:17 +0000 | <Clinton[m]> | @jackdk: Oh that's seems better... I'm a bit confused though as why just `C a => Foo` doesn't work? Doesn't GHC store `C a` as a pointer to the typeclass dictionary anyway, and if so, why can't I access it? Why do I need to do `Dict` shenanigans? |
| 2022-08-05 02:34:17 +0000 | <lambdabot> | Unknown command, try @list |
| 2022-08-05 02:34:40 +0000 | <Clinton[m]> | s/:// |
| 2022-08-05 02:37:00 +0000 | <jackdk> | Clinton[m]: the fundamental problem that's blocking me from solving the `Foo :: C a => Foo` version is that I don't know how to capture the `a` type variable when pattern matching, so I can't apply it to the call of `silly`. There could be any number of instances available, but we're trying to pick out the one contained in `Foo`. Type annotations when pattern matching bring any tyvars into scope, hence using Dict as a value-level version of the dict |
| 2022-08-05 02:37:07 +0000 | <jackdk> | Perhaps someone else here knows how to do it without the helper. |
| 2022-08-05 02:37:50 +0000 | td_ | (~td@94.134.91.223) (Ping timeout: 240 seconds) |
| 2022-08-05 02:40:03 +0000 | td_ | (~td@muedsl-82-207-238-171.citykom.de) |
| 2022-08-05 02:40:07 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 02:49:02 +0000 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-08-05 02:50:16 +0000 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-08-05 02:56:10 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 244 seconds) |
| 2022-08-05 03:04:00 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-08-05 03:04:12 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 245 seconds) |
| 2022-08-05 03:04:36 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-05 03:06:02 +0000 | <qrpnxz> | is there a way to get hoogle to display all known instances for some type? |
| 2022-08-05 03:06:55 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection) |
| 2022-08-05 03:09:32 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 268 seconds) |
| 2022-08-05 03:10:18 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2022-08-05 03:14:15 +0000 | Clinton | (~Clinton@ip-2.222.103.123.VOCUS.net.au) |
| 2022-08-05 03:14:41 +0000 | Clinton | (~Clinton@ip-2.222.103.123.VOCUS.net.au) (Client Quit) |
| 2022-08-05 03:21:34 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-08-05 03:21:40 +0000 | <johnw> | c_wraith: not in the general case, no, but in my specific case, yes |
| 2022-08-05 03:23:01 +0000 | <johnw> | Axman6: thanks, that looks very relevant |
| 2022-08-05 03:24:06 +0000 | johnw | (~johnw@2600:1700:cf00:db0:4977:125:61ab:9934) (Quit: ZNC - http://znc.in) |
| 2022-08-05 03:28:56 +0000 | haskl | (~haskl@user/haskl) |
| 2022-08-05 03:32:33 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-05 03:32:34 +0000 | Vajb | (~Vajb@2001:999:70c:2b99:3e15:6929:5bc6:c014) (Read error: Connection reset by peer) |
| 2022-08-05 03:33:28 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-08-05 03:35:38 +0000 | CiaoSen | (~Jura@p200300c95738a5002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-08-05 03:36:13 +0000 | rekahsoft | (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) |
| 2022-08-05 03:42:07 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-05 03:45:46 +0000 | haskl | (~haskl@user/haskl) (Remote host closed the connection) |
| 2022-08-05 03:52:52 +0000 | haskl | (~haskl@user/haskl) |
| 2022-08-05 03:52:57 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 245 seconds) |
| 2022-08-05 03:53:13 +0000 | <instantaphex> | Is it more common to use stack over cabal? |
| 2022-08-05 03:54:04 +0000 | <absentia> | instantaphex: the dev experience for stack is far superior imo |
| 2022-08-05 03:54:13 +0000 | <absentia> | less time messing with dependencies |
| 2022-08-05 03:54:23 +0000 | <absentia> | and isolation between projects |
| 2022-08-05 03:55:00 +0000 | <instantaphex> | absentia: That's what it seems like. Seems more modern. |
| 2022-08-05 03:55:05 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-05 03:55:10 +0000 | <absentia> | chronologically it is |
| 2022-08-05 04:00:48 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-08-05 04:01:24 +0000 | Vajb | (~Vajb@2001:999:70c:2b99:3e15:6929:5bc6:c014) |
| 2022-08-05 04:04:14 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-08-05 04:04:32 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-05 04:04:43 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-08-05 04:06:43 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-05 04:06:50 +0000 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) (Ping timeout: 240 seconds) |
| 2022-08-05 04:09:06 +0000 | edmundnoble | (sid229620@id-229620.helmsley.irccloud.com) (Ping timeout: 264 seconds) |
| 2022-08-05 04:09:06 +0000 | parseval | (sid239098@id-239098.helmsley.irccloud.com) (Ping timeout: 264 seconds) |
| 2022-08-05 04:09:45 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-08-05 04:11:09 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-05 04:11:18 +0000 | tnks | (sid412124@id-412124.helmsley.irccloud.com) (Ping timeout: 240 seconds) |
| 2022-08-05 04:11:50 +0000 | gaze___ | (sid387101@id-387101.helmsley.irccloud.com) (Ping timeout: 260 seconds) |
| 2022-08-05 04:11:57 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 04:12:11 +0000 | scav | (sid309693@user/scav) (Ping timeout: 255 seconds) |
| 2022-08-05 04:13:14 +0000 | gaze___ | (sid387101@id-387101.helmsley.irccloud.com) |
| 2022-08-05 04:13:18 +0000 | sunarch | (sid526836@user/sunarch) (Ping timeout: 264 seconds) |
| 2022-08-05 04:13:19 +0000 | edmundnoble | (sid229620@id-229620.helmsley.irccloud.com) |
| 2022-08-05 04:13:35 +0000 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Ping timeout: 260 seconds) |
| 2022-08-05 04:13:45 +0000 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) |
| 2022-08-05 04:13:50 +0000 | sunarch | (sid526836@user/sunarch) |
| 2022-08-05 04:14:08 +0000 | <jackdk> | I see a lot more complaints about stack these days - cabal gets the lion's share of dev attention and has caught up a lot |
| 2022-08-05 04:14:26 +0000 | bjs | (sid190364@user/bjs) (Ping timeout: 255 seconds) |
| 2022-08-05 04:14:30 +0000 | tnks | (sid412124@id-412124.helmsley.irccloud.com) |
| 2022-08-05 04:15:21 +0000 | meinside | (uid24933@id-24933.helmsley.irccloud.com) |
| 2022-08-05 04:15:43 +0000 | parseval | (sid239098@id-239098.helmsley.irccloud.com) |
| 2022-08-05 04:16:14 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-05 04:16:17 +0000 | scav | (sid309693@user/scav) |
| 2022-08-05 04:17:34 +0000 | bjs | (sid190364@user/bjs) |
| 2022-08-05 04:20:39 +0000 | Surobaki | (~Surobaki@user/surobaki) (Quit: WeeChat 3.5) |
| 2022-08-05 04:23:21 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2022-08-05 04:27:15 +0000 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-05 04:30:02 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 245 seconds) |
| 2022-08-05 04:31:26 +0000 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) (Ping timeout: 240 seconds) |
| 2022-08-05 04:31:31 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-05 04:31:37 +0000 | <dragestil> | Does anyone know what could be the problem if: cabal build / cabal run succeeds, but cabal install complains about file not found for $(embedDir "some/dir") |
| 2022-08-05 04:32:00 +0000 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 2022-08-05 04:32:11 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) (Read error: Connection reset by peer) |
| 2022-08-05 04:32:54 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-05 04:34:19 +0000 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) |
| 2022-08-05 04:37:26 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 240 seconds) |
| 2022-08-05 04:44:16 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 04:47:02 +0000 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) (Ping timeout: 240 seconds) |
| 2022-08-05 04:48:03 +0000 | irfan | (~irfan@user/irfan) |
| 2022-08-05 04:49:26 +0000 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 240 seconds) |
| 2022-08-05 04:50:53 +0000 | bjs | (sid190364@user/bjs) (Ping timeout: 244 seconds) |
| 2022-08-05 04:50:54 +0000 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) |
| 2022-08-05 04:51:02 +0000 | <Clinton[m]> | Perhaps this isn't the right abstraction, but I had a function that was:... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/cf15892ab8aeea660326ac72ba4e397b23f3…) |
| 2022-08-05 04:51:10 +0000 | mbuf | (~Shakthi@122.165.55.71) |
| 2022-08-05 04:51:20 +0000 | carter | (sid14827@id-14827.helmsley.irccloud.com) (Ping timeout: 255 seconds) |
| 2022-08-05 04:54:42 +0000 | carter | (sid14827@id-14827.helmsley.irccloud.com) |
| 2022-08-05 04:55:01 +0000 | bjs | (sid190364@user/bjs) |
| 2022-08-05 04:55:39 +0000 | <maerwald[m]> | dragestil: yes, your cabal file is incorrect |
| 2022-08-05 04:55:57 +0000 | <dragestil> | maerwald[m]: what do you mean |
| 2022-08-05 04:56:01 +0000 | <maerwald[m]> | cabal install does an sdist and installs from there |
| 2022-08-05 04:56:14 +0000 | <maerwald[m]> | It doesn't install from current dir |
| 2022-08-05 04:56:28 +0000 | <maerwald[m]> | So your package would be broken on hackage |
| 2022-08-05 04:57:04 +0000 | <maerwald[m]> | Your sdist is missing files |
| 2022-08-05 04:58:53 +0000 | <maerwald[m]> | https://cabal.readthedocs.io/en/stable/cabal-package.html?highlight=extra-source-files#pkg-field-e… |
| 2022-08-05 05:00:02 +0000 | zxx7529 | (~Thunderbi@user/zxx7529) (Ping timeout: 245 seconds) |
| 2022-08-05 05:01:29 +0000 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-08-05 05:03:50 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-05 05:05:42 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-08-05 05:06:38 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-05 05:07:19 +0000 | <Clinton[m]> | > <@clintonmead:matrix.org> Perhaps this isn't the right abstraction, but I had a function that was:... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/1e3dcb81852b03461381e3ef6e7fed58bfa2…) |
| 2022-08-05 05:07:21 +0000 | <lambdabot> | <hint>:1:1: error: parse error on input ‘<@’ |
| 2022-08-05 05:11:34 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-08-05 05:14:45 +0000 | rekahsoft | (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) (Remote host closed the connection) |
| 2022-08-05 05:17:35 +0000 | rekahsoft | (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) |
| 2022-08-05 05:25:15 +0000 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-05 05:25:27 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 245 seconds) |
| 2022-08-05 05:27:03 +0000 | rekahsoft | (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) (Ping timeout: 268 seconds) |
| 2022-08-05 05:28:51 +0000 | <jackdk> | @unmtl StateT s (Either e) a |
| 2022-08-05 05:28:51 +0000 | <lambdabot> | s -> Either e (a, s) |
| 2022-08-05 05:29:06 +0000 | <jackdk> | @unmtl ExceptT e (State s a) |
| 2022-08-05 05:29:06 +0000 | <lambdabot> | err: `ExceptT e (s -> (a, s))' is not applied to enough arguments. |
| 2022-08-05 05:29:18 +0000 | <jackdk> | @unmtl ExceptT e (State s) a |
| 2022-08-05 05:29:19 +0000 | <lambdabot> | s -> (Either e a, s) |
| 2022-08-05 05:30:39 +0000 | <jackdk> | Clinton[m]: ^-- you can change the behaviour you get by exchanging the `StateT s` and `ExceptT e` layers (`Either e` is isomorphic to `ExceptT e Identity`). When you say "except the error case", I take it to mean you want failure to not throw away the new state? |
| 2022-08-05 05:35:12 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-05 05:35:48 +0000 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-08-05 05:41:14 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-08-05 05:41:32 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-05 05:41:44 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-08-05 05:42:26 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-05 05:45:10 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-08-05 05:45:26 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-05 05:45:33 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-08-05 05:45:56 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) (Client Quit) |
| 2022-08-05 05:46:35 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-05 05:48:11 +0000 | zere3f | (~zere3f@203.110.242.30) |
| 2022-08-05 05:51:20 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-05 05:58:25 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-05 05:59:44 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-08-05 06:00:49 +0000 | ubert | (~Thunderbi@77.119.222.183.wireless.dyn.drei.com) |
| 2022-08-05 06:04:37 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 06:05:29 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-08-05 06:10:02 +0000 | zebrag | (~chris@user/zebrag) (Read error: Connection reset by peer) |
| 2022-08-05 06:10:06 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-08-05 06:30:57 +0000 | zere3f | (~zere3f@203.110.242.30) (Quit: Client closed) |
| 2022-08-05 06:32:19 +0000 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-08-05 06:32:44 +0000 | noteness | (~noteness@user/noteness) |
| 2022-08-05 06:36:47 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-08-05 06:37:31 +0000 | <dragestil> | maerwald[m]: ok thanks |
| 2022-08-05 06:41:28 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-08-05 06:42:19 +0000 | califax | (~califax@user/califx) |
| 2022-08-05 06:43:17 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-05 06:51:07 +0000 | alternateved | (~user@staticline-31-183-149-36.toya.net.pl) |
| 2022-08-05 06:51:14 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:c3f5:7110:c3df:d801) |
| 2022-08-05 06:51:49 +0000 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-05 06:57:47 +0000 | acidjnk | (~acidjnk@p200300d6e7058689d10fd841e7601ec7.dip0.t-ipconnect.de) |
| 2022-08-05 07:01:13 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-08-05 07:06:20 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-08-05 07:06:36 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-05 07:10:27 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-05 07:12:05 +0000 | MajorBiscuit | (~MajorBisc@c-001-005-040.client.tudelft.eduvpn.nl) |
| 2022-08-05 07:12:24 +0000 | mud | (~mud@user/kadoban) |
| 2022-08-05 07:12:30 +0000 | kadobanana | (~mud@user/kadoban) (Ping timeout: 268 seconds) |
| 2022-08-05 07:16:09 +0000 | titibandit | (~titibandi@xdsl-78-35-214-18.nc.de) |
| 2022-08-05 07:25:25 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 07:30:01 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-08-05 07:30:57 +0000 | kuribas | (~user@ptr-17d51eoy8ucr999sx4g.18120a2.ip6.access.telenet.be) |
| 2022-08-05 07:38:19 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-08-05 07:41:50 +0000 | vpan | (~0@212.117.1.172) |
| 2022-08-05 07:45:51 +0000 | __monty__ | (~toonn@user/toonn) |
| 2022-08-05 07:49:10 +0000 | alternateved | (~user@staticline-31-183-149-36.toya.net.pl) (Remote host closed the connection) |
| 2022-08-05 07:49:36 +0000 | alternateved | (~user@staticline-31-183-149-36.toya.net.pl) |
| 2022-08-05 07:55:27 +0000 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-08-05 07:55:32 +0000 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) |
| 2022-08-05 08:03:50 +0000 | vglfr | (~vglfr@194.9.14.33) (Ping timeout: 268 seconds) |
| 2022-08-05 08:15:41 +0000 | fserucas | (~fserucas@83.223.235.72) |
| 2022-08-05 08:17:13 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-08-05 08:20:30 +0000 | titibandit | (~titibandi@xdsl-78-35-214-18.nc.de) (Remote host closed the connection) |
| 2022-08-05 08:22:39 +0000 | sandy_doo | (~sandydoo@146.70.117.210) |
| 2022-08-05 08:25:36 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-08-05 08:26:05 +0000 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-05 08:26:45 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-05 08:28:47 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-05 08:38:13 +0000 | sandy_doo | (~sandydoo@146.70.117.210) (Ping timeout: 268 seconds) |
| 2022-08-05 08:41:34 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 08:46:14 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-05 08:55:19 +0000 | Inst | (~Inst@2601:6c4:4080:3f80:e98b:25b:6a67:9aae) |
| 2022-08-05 08:55:48 +0000 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:ac09:c409:e767:96f6) |
| 2022-08-05 08:59:55 +0000 | titibandit | (~titibandi@2a00:8a60:c000:1:8a13:bf74:b2:8d47) |
| 2022-08-05 09:00:25 +0000 | bu99ed[m] | (~bu99edm4t@2001:470:69fc:105::1:bd9e) (Quit: You have been kicked for being idle) |
| 2022-08-05 09:01:11 +0000 | gdd | (~gdd@129.199.146.230) (Ping timeout: 268 seconds) |
| 2022-08-05 09:03:57 +0000 | gdd | (~gdd@129.199.146.230) |
| 2022-08-05 09:08:19 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-08-05 09:16:41 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 09:17:38 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-05 09:20:52 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-05 09:28:47 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 245 seconds) |
| 2022-08-05 09:30:53 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-08-05 09:31:55 +0000 | sandy_doo | (~sandydoo@146.70.117.210) |
| 2022-08-05 09:33:12 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-05 09:35:42 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 09:37:09 +0000 | alternateved | (~user@staticline-31-183-149-36.toya.net.pl) (Read error: Connection reset by peer) |
| 2022-08-05 09:37:36 +0000 | alternateved | (~user@staticline-31-183-149-36.toya.net.pl) |
| 2022-08-05 09:38:50 +0000 | alternateved | (~user@staticline-31-183-149-36.toya.net.pl) () |
| 2022-08-05 09:39:51 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-05 09:40:28 +0000 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-08-05 09:41:53 +0000 | vglfr | (~vglfr@194.9.14.33) (Ping timeout: 268 seconds) |
| 2022-08-05 09:44:55 +0000 | zmt01 | (~zmt00@user/zmt00) |
| 2022-08-05 09:46:17 +0000 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 245 seconds) |
| 2022-08-05 09:48:20 +0000 | sandy_doo | (~sandydoo@146.70.117.210) (Ping timeout: 255 seconds) |
| 2022-08-05 09:51:02 +0000 | CiaoSen | (~Jura@p200300c95738a5002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-08-05 09:52:38 +0000 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-05 09:54:38 +0000 | zmt00 | (~zmt00@user/zmt00) |
| 2022-08-05 09:55:27 +0000 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 245 seconds) |
| 2022-08-05 09:57:01 +0000 | vglfr | (~vglfr@194.9.14.33) (Ping timeout: 252 seconds) |
| 2022-08-05 09:57:49 +0000 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-05 09:59:37 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2022-08-05 10:02:34 +0000 | gurkenglas | (~gurkengla@p57b8a60f.dip0.t-ipconnect.de) |
| 2022-08-05 10:04:42 +0000 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 268 seconds) |
| 2022-08-05 10:07:16 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-08-05 10:07:21 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-08-05 10:14:37 +0000 | ubert | (~Thunderbi@77.119.222.183.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2022-08-05 10:16:14 +0000 | _xor | (~xor@74.215.182.83) |
| 2022-08-05 10:18:08 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-05 10:19:52 +0000 | sandy_doo | (~sandydoo@146.70.117.210) |
| 2022-08-05 10:23:12 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-08-05 10:25:03 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::d5f2) |
| 2022-08-05 10:28:24 +0000 | Milan | (~Milan@46.245.96.179) |
| 2022-08-05 10:28:36 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds) |
| 2022-08-05 10:28:39 +0000 | Milan | (~Milan@46.245.96.179) (Client Quit) |
| 2022-08-05 10:29:31 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-05 10:39:03 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-08-05 10:39:06 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-05 10:51:39 +0000 | zxx7529 | (~Thunderbi@user/zxx7529) (Ping timeout: 252 seconds) |
| 2022-08-05 10:55:43 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-08-05 10:56:17 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-05 10:57:28 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-08-05 11:02:26 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 11:02:45 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-08-05 11:02:56 +0000 | irfan | (~irfan@user/irfan) (Quit: leaving) |
| 2022-08-05 11:03:41 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2022-08-05 11:06:42 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-05 11:07:32 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 245 seconds) |
| 2022-08-05 11:13:09 +0000 | Pickchea | (~private@user/pickchea) (Ping timeout: 268 seconds) |
| 2022-08-05 11:19:56 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 11:27:11 +0000 | maroloccio | (~marolocci@151.73.156.232) |
| 2022-08-05 11:32:52 +0000 | xff0x | (~xff0x@2405:6580:b080:900:5628:7137:a023:aad6) |
| 2022-08-05 11:41:06 +0000 | kuribas | (~user@ptr-17d51eoy8ucr999sx4g.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2022-08-05 11:48:38 +0000 | acidjnk | (~acidjnk@p200300d6e7058689d10fd841e7601ec7.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-08-05 11:53:41 +0000 | coot | (~coot@213.134.176.158) |
| 2022-08-05 11:54:28 +0000 | tomku | (~tomku@user/tomku) (Ping timeout: 268 seconds) |
| 2022-08-05 12:03:12 +0000 | zmt00 | (~zmt00@user/zmt00) |
| 2022-08-05 12:14:37 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-05 12:19:35 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-08-05 12:20:02 +0000 | sandy_doo | (~sandydoo@146.70.117.210) (Ping timeout: 245 seconds) |
| 2022-08-05 12:20:25 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-05 12:23:08 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-05 12:23:22 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 245 seconds) |
| 2022-08-05 12:23:49 +0000 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-05 12:25:18 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-08-05 12:26:37 +0000 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 252 seconds) |
| 2022-08-05 12:27:56 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-08-05 12:29:59 +0000 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:ac09:c409:e767:96f6) (Read error: Connection reset by peer) |
| 2022-08-05 12:30:14 +0000 | tomku | (~tomku@user/tomku) |
| 2022-08-05 12:31:04 +0000 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-08-05 12:33:01 +0000 | sandy_doo | (~sandydoo@146.70.117.210) |
| 2022-08-05 12:37:08 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 12:39:43 +0000 | dhil | (~dhil@92.237.181.5) |
| 2022-08-05 12:42:20 +0000 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:788d:7b3b:7037:afae) |
| 2022-08-05 12:43:11 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-05 12:45:45 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-08-05 12:55:12 +0000 | tomku | (~tomku@user/tomku) (Quit: Lost terminal) |
| 2022-08-05 13:01:13 +0000 | tomku | (~tomku@user/tomku) |
| 2022-08-05 13:01:19 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-05 13:01:25 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 13:07:59 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-05 13:13:08 +0000 | examors | (~examors@user/examors) |
| 2022-08-05 13:17:58 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-08-05 13:22:39 +0000 | jmd_ | (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 2022-08-05 13:26:05 +0000 | zxx7529 | (~Thunderbi@user/zxx7529) (Quit: zxx7529) |
| 2022-08-05 13:28:01 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-08-05 13:41:49 +0000 | Kaiepi | (~Kaiepi@142.68.249.28) |
| 2022-08-05 13:44:28 +0000 | dcoutts_ | (~duncan@host109-149-1-142.range109-149.btcentralplus.com) |
| 2022-08-05 13:54:42 +0000 | jinsun | (~jinsun@user/jinsun) () |
| 2022-08-05 13:54:42 +0000 | vglfr | (~vglfr@194.9.14.33) (Read error: Connection reset by peer) |
| 2022-08-05 13:56:06 +0000 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-05 14:00:07 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2022-08-05 14:04:14 +0000 | vglfr | (~vglfr@194.9.14.33) (Read error: Connection reset by peer) |
| 2022-08-05 14:05:04 +0000 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-05 14:05:15 +0000 | sandy_doo | (~sandydoo@146.70.117.210) (Ping timeout: 252 seconds) |
| 2022-08-05 14:15:46 +0000 | vpan | (~0@212.117.1.172) (Quit: Leaving.) |
| 2022-08-05 14:16:10 +0000 | texasmynsted_ | (~texasmyns@99.96.221.112) |
| 2022-08-05 14:16:22 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-08-05 14:17:27 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-08-05 14:17:37 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-08-05 14:17:40 +0000 | texasmynsted | (~texasmyns@99.96.221.112) (Ping timeout: 244 seconds) |
| 2022-08-05 14:27:11 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-05 14:28:40 +0000 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.6) |
| 2022-08-05 14:33:31 +0000 | eviltwin_b | (~eviltwin_@xmonad/geekosaur) |
| 2022-08-05 14:35:53 +0000 | pgib | (~textual@173.38.117.85) (Quit: 00 PC LOAD LETTER) |
| 2022-08-05 14:38:48 +0000 | vglfr | (~vglfr@194.9.14.33) (Read error: Connection reset by peer) |
| 2022-08-05 14:39:39 +0000 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-05 14:43:41 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 14:44:07 +0000 | vglfr | (~vglfr@194.9.14.33) (Ping timeout: 252 seconds) |
| 2022-08-05 14:44:27 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:c3f5:7110:c3df:d801) (Quit: WeeChat 2.8) |
| 2022-08-05 14:46:47 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-08-05 14:47:57 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-05 14:52:27 +0000 | zebrag | (~chris@user/zebrag) |
| 2022-08-05 14:54:00 +0000 | kazaf | (~kazaf@5.139.147.165) |
| 2022-08-05 14:54:36 +0000 | kazaf | (~kazaf@5.139.147.165) (Remote host closed the connection) |
| 2022-08-05 14:56:15 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-08-05 14:57:26 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-08-05 14:58:37 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-05 15:00:37 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-08-05 15:02:16 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-08-05 15:02:19 +0000 | texasmynsted_ | (~texasmyns@99.96.221.112) (Quit: ZNC - http://znc.in) |
| 2022-08-05 15:02:40 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-05 15:02:55 +0000 | texasmynsted | (~texasmyns@99.96.221.112) |
| 2022-08-05 15:04:03 +0000 | <texasmynsted> | What is the simplest way to read text from PDF. In hackage I see pdftotext and pdftoolbox. pdftotext looks simple but it was unhappy with my poppler install. |
| 2022-08-05 15:06:11 +0000 | <sm> | some command line tool not written in haskell I expect |
| 2022-08-05 15:07:02 +0000 | <geekosaur[m]> | And welcome to hell |
| 2022-08-05 15:08:11 +0000 | eviltwin_b | (~eviltwin_@xmonad/geekosaur) (Quit: Client closed) |
| 2022-08-05 15:08:30 +0000 | dzdcnfzd | (~dzdcnfzd@pool-108-41-131-31.nycmny.fios.verizon.net) |
| 2022-08-05 15:08:57 +0000 | eviltwin_b | (~eviltwin_@xmonad/geekosaur) |
| 2022-08-05 15:10:19 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-08-05 15:10:48 +0000 | <Inst> | forgive me father, for I have sinned |
| 2022-08-05 15:10:50 +0000 | <Inst> | https://newaverageandpragmatic.blogspot.com/2022/08/monad-tutorial.html |
| 2022-08-05 15:12:13 +0000 | <eviltwin_b> | pdf is a horrible format for anything other than final output. extracting text from it is heuristic at best |
| 2022-08-05 15:12:43 +0000 | <maerwald> | eviltwin_b: so? It's a common use case |
| 2022-08-05 15:13:02 +0000 | <eviltwin_b> | how heuristic depends on how much the output driver that generated it treated it as a dumb printer |
| 2022-08-05 15:13:17 +0000 | Kaiepi | (~Kaiepi@142.68.249.28) (Read error: Connection reset by peer) |
| 2022-08-05 15:13:41 +0000 | Kaiepi | (~Kaiepi@142.68.249.28) |
| 2022-08-05 15:13:48 +0000 | <eviltwin_b> | pdf generators do not care how common a use case it might be. it's horrid and unreliable |
| 2022-08-05 15:14:11 +0000 | <maerwald> | many platforms have this feature of auto-detecting document contents from PDFs so you don't have to copy paste stuff yourself and you usually don't have the original LaTeX (if there ever was any) |
| 2022-08-05 15:14:30 +0000 | <maerwald> | no one cares whether it's reliable |
| 2022-08-05 15:14:49 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-08-05 15:15:02 +0000 | <eviltwin_b> | I guess that explains that, you think it's all LaTeX. try extracting something useful from word-generated pdf |
| 2022-08-05 15:15:46 +0000 | <maerwald> | No I don't think that. |
| 2022-08-05 15:15:59 +0000 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-05 15:16:05 +0000 | <texasmynsted> | heh |
| 2022-08-05 15:16:49 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-05 15:16:55 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 15:17:34 +0000 | <maerwald> | fuzzy algorithms are everywhere, even in your editor |
| 2022-08-05 15:17:49 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2022-08-05 15:18:14 +0000 | <maerwald> | you don't use them to launch a space rocket, obviously |
| 2022-08-05 15:18:41 +0000 | pgib | (~textual@64.100.220.156) |
| 2022-08-05 15:19:21 +0000 | acidjnk | (~acidjnk@p200300d6e7058689e1ff181817dfb7ca.dip0.t-ipconnect.de) |
| 2022-08-05 15:19:52 +0000 | <texasmynsted> | the command line app pdftotext extracts the text and preserves the format, but parsing it is . . . |
| 2022-08-05 15:20:20 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-231.elisa-laajakaista.fi) |
| 2022-08-05 15:21:20 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-05 15:22:12 +0000 | dwt_ | (~dwt_@c-98-198-103-176.hsd1.tx.comcast.net) (Ping timeout: 268 seconds) |
| 2022-08-05 15:23:39 +0000 | Digit | (~user@user/digit) (Read error: Connection reset by peer) |
| 2022-08-05 15:25:02 +0000 | Vajb | (~Vajb@2001:999:70c:2b99:3e15:6929:5bc6:c014) (Read error: Connection reset by peer) |
| 2022-08-05 15:25:17 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-08-05 15:25:33 +0000 | dwt_ | (~dwt_@c-98-198-103-176.hsd1.tx.comcast.net) |
| 2022-08-05 15:26:55 +0000 | <texasmynsted> | I think I will see if vendors will add a yaml block or something to the end of their invoices. |
| 2022-08-05 15:27:45 +0000 | coco | (~coco@212-51-146-199.fiber7.init7.net) |
| 2022-08-05 15:30:27 +0000 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-05 15:30:45 +0000 | <eviltwin_b> | maybe pdf is the better idea after all :) |
| 2022-08-05 15:30:52 +0000 | <texasmynsted> | lol |
| 2022-08-05 15:31:20 +0000 | eviltwin_b | (~eviltwin_@xmonad/geekosaur) (Quit: Client closed) |
| 2022-08-05 15:31:28 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds) |
| 2022-08-05 15:32:59 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-08-05 15:33:38 +0000 | <texasmynsted> | or Eno . . . |
| 2022-08-05 15:40:49 +0000 | euandreh | (~euandreh@179.214.113.107) |
| 2022-08-05 15:41:38 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 15:43:53 +0000 | zxx7529 | (~Thunderbi@user/zxx7529) (Remote host closed the connection) |
| 2022-08-05 15:44:05 +0000 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-05 15:46:45 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-05 15:48:58 +0000 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-08-05 15:51:32 +0000 | mbuf | (~Shakthi@122.165.55.71) (Quit: Leaving) |
| 2022-08-05 15:51:55 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) () |
| 2022-08-05 15:52:05 +0000 | <texasmynsted> | :-) config-value looks interesting |
| 2022-08-05 15:55:26 +0000 | acidjnk | (~acidjnk@p200300d6e7058689e1ff181817dfb7ca.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-08-05 16:01:45 +0000 | titibandit | (~titibandi@2a00:8a60:c000:1:8a13:bf74:b2:8d47) (Ping timeout: 268 seconds) |
| 2022-08-05 16:06:11 +0000 | zxx7529 | (~Thunderbi@user/zxx7529) (Quit: zxx7529) |
| 2022-08-05 16:07:27 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-05 16:11:19 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-08-05 16:11:26 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 240 seconds) |
| 2022-08-05 16:11:28 +0000 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-08-05 16:11:56 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-08-05 16:13:57 +0000 | dcoutts | (~duncan@host109-149-1-142.range109-149.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2022-08-05 16:16:23 +0000 | titibandit | (~titibandi@xdsl-78-35-214-18.nc.de) |
| 2022-08-05 16:20:39 +0000 | pgib | (~textual@64.100.220.156) (Read error: Connection reset by peer) |
| 2022-08-05 16:20:48 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-08-05 16:27:37 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-05 16:28:00 +0000 | Topsi | (~Topsi@dyndsl-091-249-082-163.ewe-ip-backbone.de) |
| 2022-08-05 16:34:19 +0000 | zmt00 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2022-08-05 16:38:13 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-05 16:40:47 +0000 | zmt00 | (~zmt00@user/zmt00) |
| 2022-08-05 16:41:55 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-08-05 16:42:18 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2022-08-05 16:45:52 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-05 16:48:37 +0000 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-08-05 16:50:52 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2022-08-05 16:52:51 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-08-05 16:53:26 +0000 | maroloccio | (~marolocci@151.73.156.232) (Ping timeout: 240 seconds) |
| 2022-08-05 16:55:09 +0000 | titibandit | (~titibandi@xdsl-78-35-214-18.nc.de) (Quit: Leaving.) |
| 2022-08-05 16:55:31 +0000 | maroloccio | (~marolocci@62.98.94.196) |
| 2022-08-05 17:00:24 +0000 | dzdcnfzd | (~dzdcnfzd@pool-108-41-131-31.nycmny.fios.verizon.net) (Quit: Client closed) |
| 2022-08-05 17:01:05 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 17:05:52 +0000 | dhil | (~dhil@92.237.181.5) (Ping timeout: 245 seconds) |
| 2022-08-05 17:06:25 +0000 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2022-08-05 17:10:48 +0000 | coot | (~coot@213.134.176.158) |
| 2022-08-05 17:19:03 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-05 17:22:34 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-08-05 17:23:04 +0000 | zmt00 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2022-08-05 17:32:53 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-05 17:33:00 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 17:34:24 +0000 | zmt00 | (~zmt00@user/zmt00) |
| 2022-08-05 17:37:00 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-08-05 17:41:22 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-08-05 17:43:08 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-08-05 17:47:05 +0000 | Guest|67 | (~Guest|67@mobile-107-77-216-31.mobile.att.net) |
| 2022-08-05 17:48:05 +0000 | <Inst> | the easiest way to explain monads, for me right now, is a type you can fmap, pure, and bind on |
| 2022-08-05 17:48:11 +0000 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-05 17:48:35 +0000 | <monochrom> | :( new ghcup drops TMPDIR :( |
| 2022-08-05 17:48:43 +0000 | Guest|67 | (~Guest|67@mobile-107-77-216-31.mobile.att.net) (Client Quit) |
| 2022-08-05 17:49:07 +0000 | <Rembane> | Inst: And also <*> on! :D |
| 2022-08-05 17:49:11 +0000 | <monochrom> | Although to be fair ~/.ghcup/tmp is much more guaranteed to have space. |
| 2022-08-05 17:50:22 +0000 | zxx7529 | (~Thunderbi@user/zxx7529) (Client Quit) |
| 2022-08-05 17:52:48 +0000 | <monochrom> | But more meta-ly there is a pessimistic cynical principle similar to Peter's Principle and Dilbert's Principle. |
| 2022-08-05 17:53:13 +0000 | <monochrom> | Every tool tends to evolve towards being optimized for newbies. |
| 2022-08-05 17:53:38 +0000 | Rembane | shows counter-exhibit A: Vim |
| 2022-08-05 17:54:29 +0000 | <monochrom> | Um I thought Vim was the result of evolving Vi towards newbies. |
| 2022-08-05 17:54:59 +0000 | <Rembane> | Okay, fair enough, but as long as you don't change the programs it's cool. |
| 2022-08-05 17:55:25 +0000 | <monochrom> | Right? It actually has a windowing system! It actually has a "help" command! It comes close to having a menu system! |
| 2022-08-05 17:56:31 +0000 | <Rembane> | I wonder if there's a counter-program to Vim that takes vi and makes it harder. |
| 2022-08-05 17:58:19 +0000 | <Inst> | Rembane: a general monad has to be a monoid in the category of endofunctors |
| 2022-08-05 17:58:22 +0000 | <monochrom> | For that, you need to switch your mind to a mode that thinks like https://www.smbc-comics.com/comic/thermodynamics-2 , and then you will see that vi evolves to ed for that. :) |
| 2022-08-05 17:58:23 +0000 | <Inst> | consequently it needs fmap |
| 2022-08-05 17:58:30 +0000 | <Inst> | the monoid only means that it has join and unit |
| 2022-08-05 17:58:55 +0000 | kitty3 | (~kitty@096-039-147-043.res.spectrum.com) |
| 2022-08-05 17:59:16 +0000 | yvan-sraka | (~yvan-srak@160.178.163.142) |
| 2022-08-05 18:01:00 +0000 | <monochrom> | Clearly, a monad must also be a lax monoidal functor. |
| 2022-08-05 18:01:05 +0000 | <dolio> | I don't see how any of those things are "for newbies." |
| 2022-08-05 18:01:22 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 244 seconds) |
| 2022-08-05 18:01:44 +0000 | king_gs | (~Thunderbi@187.201.161.219) |
| 2022-08-05 18:02:07 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds) |
| 2022-08-05 18:03:00 +0000 | <monochrom> | OK, hardcoding the path ~/.ghcup/tmp and not bothering with "customizable with TMPDIR" is because a lot of beginners are on platforms with insufficient space at /tmp and telling them about TMPDIR is too much tech support time. |
| 2022-08-05 18:03:13 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-08-05 18:03:26 +0000 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2022-08-05 18:03:47 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-05 18:03:49 +0000 | <Rembane> | Inst: Indeed. |
| 2022-08-05 18:03:59 +0000 | <Inst> | oh goddamnit, i forgot the monad laws expressed in join |
| 2022-08-05 18:04:42 +0000 | <Inst> | join . unit = id = unit . join for a monad (monad anytype) |
| 2022-08-05 18:04:47 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-05 18:05:23 +0000 | <Rembane> | monochrom: But ed isn't vi. It's something else. I'm not very good at expressing this right now. So if I start talking about editor in a couple of weeks you'll know why. This is relevant though: https://xkcd.com/378/ |
| 2022-08-05 18:05:42 +0000 | zmt00 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2022-08-05 18:05:47 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2022-08-05 18:07:01 +0000 | nate4 | (~nate@156.39.10.100) |
| 2022-08-05 18:07:24 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-08-05 18:07:53 +0000 | <Inst> | join . fmap join $ (value :: (monad (monad ( monad type))) === join . join $ (value :: (monad (monad (monad type))) |
| 2022-08-05 18:08:54 +0000 | ghn | (~Thunderbi@2603-6081-4900-4100-a593-ff41-38de-2384.res6.spectrum.com) (Quit: ghn) |
| 2022-08-05 18:09:25 +0000 | byorgey | (~byorgey@155.138.238.211) |
| 2022-08-05 18:09:26 +0000 | <Inst> | join . fmap pure === id === join . pure for (value :: monad type) |
| 2022-08-05 18:09:28 +0000 | byorgey | (~byorgey@155.138.238.211) (Client Quit) |
| 2022-08-05 18:09:54 +0000 | byorgey | (~byorgey@155.138.238.211) |
| 2022-08-05 18:09:55 +0000 | <Inst> | the reason I'm omitting <*> is that we have monads in other languages and they don't necessarily implement applicatives |
| 2022-08-05 18:10:04 +0000 | <Inst> | ap is best understood in terms of bind, anyways, even though you can ap without bind |
| 2022-08-05 18:10:14 +0000 | <Inst> | (if you ignore that ap is a method of monad, not applicative) |
| 2022-08-05 18:11:17 +0000 | <Inst> | monads strictly = pure, fmap, and join |
| 2022-08-05 18:11:20 +0000 | <merijn> | Rembane: ed :D |
| 2022-08-05 18:11:24 +0000 | <Inst> | bind and ap can be derived from it |
| 2022-08-05 18:11:40 +0000 | <Inst> | speaking of ed, Rembane |
| 2022-08-05 18:11:42 +0000 | <Inst> | wanna adopt this? |
| 2022-08-05 18:12:08 +0000 | <Inst> | https://github.com/liamzee/edMonad |
| 2022-08-05 18:12:24 +0000 | titibandit | (~titibandi@xdsl-78-35-214-18.nc.de) |
| 2022-08-05 18:12:49 +0000 | <monochrom> | I wouldn't say "strictly", but I can understand "minimally". |
| 2022-08-05 18:13:39 +0000 | <Rembane> | Inst: No thank you, but thanks anyway. :) |
| 2022-08-05 18:14:02 +0000 | <Inst> | i want to do a wordpress clone called joinable, built around the concept of collaborative and collaboratively monetizable blogging |
| 2022-08-05 18:14:08 +0000 | <Rembane> | merijn: Yeah, but that isn't an interactive editor. Is interactive editor a too high bar in this case? |
| 2022-08-05 18:14:27 +0000 | <Inst> | monochrom: what's the difference between minimally and strictly in this case? |
| 2022-08-05 18:14:55 +0000 | <Inst> | and of course, join is bugged out, apparently it broke stuff in GHC when they tried to make join an alternative to bind in Haskell |
| 2022-08-05 18:15:20 +0000 | zmt00 | (~zmt00@user/zmt00) |
| 2022-08-05 18:15:23 +0000 | <merijn> | Rembane: ed is interactive |
| 2022-08-05 18:15:34 +0000 | <merijn> | Rembane: Unless you have some very weird definition of interactive |
| 2022-08-05 18:15:45 +0000 | yvan-sraka | (~yvan-srak@160.178.163.142) (Remote host closed the connection) |
| 2022-08-05 18:16:26 +0000 | zmt00 | (~zmt00@user/zmt00) (Remote host closed the connection) |
| 2022-08-05 18:17:03 +0000 | <Inst> | ed isn't vi |
| 2022-08-05 18:17:07 +0000 | <Rembane> | merijn: Oh, then I'm mixing up the editors. I might be thinking of ex or perhaps sed. |
| 2022-08-05 18:17:11 +0000 | <Inst> | ed predated vi, regarding rembane and monochrom |
| 2022-08-05 18:17:20 +0000 | <Inst> | ed is a different development line, a basic line editor in unix |
| 2022-08-05 18:17:32 +0000 | <Inst> | also, stuff like opera |
| 2022-08-05 18:17:40 +0000 | <Inst> | and vivaldi, were browsers designed for powerusers explicitly |
| 2022-08-05 18:18:37 +0000 | yvan-sraka | (~yvan-srak@160.178.163.142) |
| 2022-08-05 18:18:46 +0000 | yvan-sraka | (~yvan-srak@160.178.163.142) (Remote host closed the connection) |
| 2022-08-05 18:19:33 +0000 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-08-05 18:20:11 +0000 | <Rembane> | Inst: Yeah, I thought vi was built on ed. |
| 2022-08-05 18:20:38 +0000 | king_gs | (~Thunderbi@187.201.161.219) (Quit: king_gs) |
| 2022-08-05 18:21:48 +0000 | yvan-sraka | (~yvan-srak@160.178.163.142) |
| 2022-08-05 18:23:56 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-08-05 18:24:15 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-05 18:25:15 +0000 | econo | (uid147250@user/econo) |
| 2022-08-05 18:27:25 +0000 | nate4 | (~nate@156.39.10.100) (Ping timeout: 252 seconds) |
| 2022-08-05 18:27:25 +0000 | MajorBiscuit | (~MajorBisc@c-001-005-040.client.tudelft.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-08-05 18:29:54 +0000 | fserucas | (~fserucas@83.223.235.72) (Quit: Leaving) |
| 2022-08-05 18:30:29 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-08-05 18:33:22 +0000 | nate4 | (~nate@156.39.10.100) |
| 2022-08-05 18:33:24 +0000 | zmt00 | (~zmt00@user/zmt00) |
| 2022-08-05 18:37:11 +0000 | yvan-sraka | (~yvan-srak@160.178.163.142) (Remote host closed the connection) |
| 2022-08-05 18:39:50 +0000 | yvan-sraka | (~yvan-srak@160.178.163.142) |
| 2022-08-05 18:42:08 +0000 | kenran | (~kenran@200116b82b68da00d491ee3b0c7ed62b.dip.versatel-1u1.de) |
| 2022-08-05 18:45:06 +0000 | yvan-sraka | (~yvan-srak@160.178.163.142) (Remote host closed the connection) |
| 2022-08-05 18:45:27 +0000 | yvan-sraka | (~yvan-srak@160.178.163.142) |
| 2022-08-05 18:45:29 +0000 | kenran | (~kenran@200116b82b68da00d491ee3b0c7ed62b.dip.versatel-1u1.de) (Client Quit) |
| 2022-08-05 18:48:47 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-08-05 18:50:39 +0000 | yvan-sraka | (~yvan-srak@160.178.163.142) (Remote host closed the connection) |
| 2022-08-05 18:57:29 +0000 | nate4 | (~nate@156.39.10.100) (Ping timeout: 252 seconds) |
| 2022-08-05 18:59:04 +0000 | Kaipei | (~Kaiepi@142.68.249.28) |
| 2022-08-05 19:01:42 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-05 19:02:54 +0000 | Kaiepi | (~Kaiepi@142.68.249.28) (Ping timeout: 268 seconds) |
| 2022-08-05 19:06:03 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-08-05 19:06:03 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-08-05 19:06:03 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-08-05 19:07:39 +0000 | eviltwin_b | (~eviltwin_@xmonad/geekosaur) |
| 2022-08-05 19:10:44 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 19:12:24 +0000 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) |
| 2022-08-05 19:13:32 +0000 | Inst | (~Inst@2601:6c4:4080:3f80:e98b:25b:6a67:9aae) (Ping timeout: 255 seconds) |
| 2022-08-05 19:15:14 +0000 | cods | (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 268 seconds) |
| 2022-08-05 19:15:44 +0000 | cods | (~fred@82-65-232-44.subs.proxad.net) |
| 2022-08-05 19:16:17 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2022-08-05 19:16:42 +0000 | vglfr | (~vglfr@194.9.14.33) (Ping timeout: 245 seconds) |
| 2022-08-05 19:20:44 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-05 19:24:01 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2022-08-05 19:26:05 +0000 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-08-05 19:26:06 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-05 19:27:11 +0000 | cheater | (~Username@user/cheater) |
| 2022-08-05 19:28:02 +0000 | acidjnk | (~acidjnk@p200300d6e7058689f1becd7d80e95982.dip0.t-ipconnect.de) |
| 2022-08-05 19:31:14 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-05 19:32:17 +0000 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) |
| 2022-08-05 19:33:10 +0000 | eviltwin_b | (~eviltwin_@xmonad/geekosaur) (Quit: Client closed) |
| 2022-08-05 19:34:21 +0000 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 268 seconds) |
| 2022-08-05 19:36:17 +0000 | gurkenglas | (~gurkengla@p57b8a60f.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2022-08-05 19:40:34 +0000 | maroloccio | (~marolocci@62.98.94.196) (Quit: WeeChat 3.0) |
| 2022-08-05 19:47:53 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-08-05 19:47:53 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-08-05 19:47:54 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-08-05 19:48:25 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-05 19:48:37 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-05 19:48:39 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-05 19:50:16 +0000 | gurkenglas | (~gurkengla@p57b8a60f.dip0.t-ipconnect.de) |
| 2022-08-05 19:51:53 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2022-08-05 19:52:16 +0000 | coot | (~coot@213.134.176.158) |
| 2022-08-05 19:52:30 +0000 | <texasmynsted> | The 3270 xedit editor was nice |
| 2022-08-05 19:54:24 +0000 | <geekosaur[m]> | vteco! |
| 2022-08-05 19:55:03 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds) |
| 2022-08-05 19:56:46 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-08-05 19:57:08 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-08-05 19:59:38 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-08-05 20:01:34 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-08-05 20:04:39 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds) |
| 2022-08-05 20:04:51 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-05 20:04:57 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-05 20:05:49 +0000 | x77686d | (~x77686d@c-76-18-124-133.hsd1.al.comcast.net) |
| 2022-08-05 20:08:19 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-05 20:08:48 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2022-08-05 20:10:12 +0000 | Milan | (~Milan@46.245.96.179) |
| 2022-08-05 20:10:21 +0000 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-08-05 20:11:08 +0000 | <Milan> | Hi ,would you please give a practical example of cons: usage ? |
| 2022-08-05 20:11:39 +0000 | <Milan> | please a simple one |
| 2022-08-05 20:12:12 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-08-05 20:13:03 +0000 | califax | (~califax@user/califx) |
| 2022-08-05 20:13:49 +0000 | <monochrom> | Rembane: Precisely because ed predates vi in our universe, you need that smbc comic to switch direction for "evolve vi into ed" :) |
| 2022-08-05 20:14:50 +0000 | <Rembane> | monochrom: Got it! :D |
| 2022-08-05 20:16:03 +0000 | <dsal> | Milan: cons? |
| 2022-08-05 20:17:01 +0000 | <Milan> | : |
| 2022-08-05 20:17:11 +0000 | <Milan> | this simple |
| 2022-08-05 20:17:44 +0000 | <Milan> | i saw something like 1:(2:(3: |
| 2022-08-05 20:18:04 +0000 | <Milan> | **symbol |
| 2022-08-05 20:19:51 +0000 | <merijn> | Milan: [1,2,3] and 1:(2:(3:[])) are identical |
| 2022-08-05 20:20:43 +0000 | <Milan> | whats the idea behind those : |
| 2022-08-05 20:21:44 +0000 | <Milan> | do they denote something special? |
| 2022-08-05 20:21:49 +0000 | <merijn> | :t (:) |
| 2022-08-05 20:21:50 +0000 | <lambdabot> | a -> [a] -> [a] |
| 2022-08-05 20:21:59 +0000 | <darkling> | The left-hand operand of the cons operator (the ":") is a thing. The right hand operand of the cons operator is a list of things. The result of the expression is a list where the head is the left, and the rest of the list of the right. |
| 2022-08-05 20:22:15 +0000 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) |
| 2022-08-05 20:22:36 +0000 | <darkling> | So [1, 2, 3] is just a syntactic sugar for the actual data structure, which is 1:(2:(3:[])) |
| 2022-08-05 20:22:48 +0000 | dcoutts | (~duncan@host109-149-1-142.range109-149.btcentralplus.com) |
| 2022-08-05 20:23:42 +0000 | hgolden | (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) (Quit: Konversation terminated!) |
| 2022-08-05 20:23:50 +0000 | <Milan> | would u please explain a bit more |
| 2022-08-05 20:23:58 +0000 | <Milan> | if possible for u? |
| 2022-08-05 20:24:23 +0000 | <darkling> | What are you having trouble with? |
| 2022-08-05 20:25:07 +0000 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) (Remote host closed the connection) |
| 2022-08-05 20:25:13 +0000 | <Milan> | i cant understand the idea behind these ,does it say data is added one by one in a list? |
| 2022-08-05 20:25:52 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 245 seconds) |
| 2022-08-05 20:26:00 +0000 | <darkling> | Yes, that's how you build a list. |
| 2022-08-05 20:26:39 +0000 | <Milan> | does : symbol want to remind ?or it is something else? |
| 2022-08-05 20:26:53 +0000 | <darkling> | The idea is that a list in its lowest form is a linked list. Each individual cons expression is an item in that list. |
| 2022-08-05 20:27:37 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-05 20:27:39 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-08-05 20:28:12 +0000 | <darkling> | The expression "x:xs" is one item in the list: it's a value and (in the linked list interpretation) the pointer to the rest of the list, which is a list in its own right. |
| 2022-08-05 20:28:53 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 20:29:26 +0000 | <Milan> | why understanding this idea is important |
| 2022-08-05 20:29:57 +0000 | <Milan> | is it related to lambda idea? |
| 2022-08-05 20:30:12 +0000 | <darkling> | Nothing to do with that. |
| 2022-08-05 20:30:48 +0000 | <Milan> | thank you very much , |
| 2022-08-05 20:31:22 +0000 | <geekosaur> | once you have constructed a value, it's nice to be able to deconstruct it to get values out of it |
| 2022-08-05 20:31:39 +0000 | <geekosaur> | (x:xs) is a pattern that deconstructs a list into an item and the rest of a list |
| 2022-08-05 20:32:17 +0000 | <geekosaur> | the pattern (Just x) deconstructs a Maybe and retrieves the value within it, provided it was Just (you will want another pattern match for the Nothing case) |
| 2022-08-05 20:32:32 +0000 | <texasmynsted> | can't find it but I seem to recall John Hughes had an outstanding explanation for lists and their composition. |
| 2022-08-05 20:32:53 +0000 | <darkling> | Yeah, the important part of this is that it allows you to understand why you can only get the first item in a list (plus the remainder of the list) -- which is what the x:xs pattern syntax does for you. |
| 2022-08-05 20:33:16 +0000 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) |
| 2022-08-05 20:33:39 +0000 | Lycurgus | (~juan@user/Lycurgus) |
| 2022-08-05 20:35:42 +0000 | <Milan> | does repetition of this x:xs pattern is the real thing we do for deconstructing a big list to get a certain item? |
| 2022-08-05 20:35:54 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-08-05 20:36:19 +0000 | <Rembane> | Milan: Yes, this is why it takes so long time to find a certain item in a list. :) |
| 2022-08-05 20:36:42 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-05 20:37:11 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 20:38:03 +0000 | <Milan> | oh thank you ,i understood why this idea is important that they have assigned a sign for it !!! |
| 2022-08-05 20:39:55 +0000 | <texasmynsted> | The best way to understand is to try using them. Build some lists. Try to reverse, join them, etc. |
| 2022-08-05 20:40:49 +0000 | <Rembane> | \o/ Do all the recursions! \o/ |
| 2022-08-05 20:41:44 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-05 20:42:04 +0000 | Milan | (~Milan@46.245.96.179) (Quit: Client closed) |
| 2022-08-05 20:46:18 +0000 | coco | (~coco@212-51-146-199.fiber7.init7.net) (Quit: WeeChat 3.5) |
| 2022-08-05 20:47:04 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-08-05 20:47:25 +0000 | <dsal> | You can also build the type yourself. It's not *super* special. |
| 2022-08-05 20:47:35 +0000 | califax | (~califax@user/califx) |
| 2022-08-05 20:48:19 +0000 | <dsal> | I'd never tried to get a ghci working without the built-in list stuff. Is that even possible? |
| 2022-08-05 20:48:48 +0000 | <texasmynsted> | Not haskell but this book might be helpful https://www.cs.cmu.edu/~dst/LispBook/book.pdf |
| 2022-08-05 20:49:22 +0000 | <texasmynsted> | Chapter 2 in particular |
| 2022-08-05 20:54:14 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt juan@acm.org) |
| 2022-08-05 20:55:05 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 21:11:02 +0000 | pavonia | (~user@user/siracusa) |
| 2022-08-05 21:15:08 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-08-05 21:19:01 +0000 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-08-05 21:20:12 +0000 | titibandit | (~titibandi@xdsl-78-35-214-18.nc.de) (Remote host closed the connection) |
| 2022-08-05 21:21:02 +0000 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-08-05 21:21:18 +0000 | jmd_ | (~jmdaemon@user/jmdaemon) |
| 2022-08-05 21:21:35 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 2022-08-05 21:26:43 +0000 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-08-05 21:28:31 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-08-05 21:29:01 +0000 | Vajb | (~Vajb@2001:999:70c:2b99:3e15:6929:5bc6:c014) |
| 2022-08-05 21:29:09 +0000 | ski | (~ski@102-198-142-46.pool.kielnet.net) |
| 2022-08-05 21:30:02 +0000 | zebrag | (~chris@user/zebrag) (Ping timeout: 245 seconds) |
| 2022-08-05 21:31:08 +0000 | zebrag | (~chris@user/zebrag) |
| 2022-08-05 21:31:20 +0000 | Kaiepi | (~Kaiepi@142.68.249.28) |
| 2022-08-05 21:31:25 +0000 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-08-05 21:32:31 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-05 21:32:38 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 21:33:44 +0000 | Kaipei | (~Kaiepi@142.68.249.28) (Ping timeout: 244 seconds) |
| 2022-08-05 21:34:38 +0000 | acidjnk | (~acidjnk@p200300d6e7058689f1becd7d80e95982.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-08-05 21:36:17 +0000 | titibandit | (~titibandi@2001-4dd7-2d1f-0-fe92-f8a6-b8fa-17cd.ipv6dyn.netcologne.de) |
| 2022-08-05 21:36:25 +0000 | titibandit | (~titibandi@2001-4dd7-2d1f-0-fe92-f8a6-b8fa-17cd.ipv6dyn.netcologne.de) (Client Quit) |
| 2022-08-05 21:36:26 +0000 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-08-05 21:45:41 +0000 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-05 21:53:33 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-08-05 21:54:21 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (WeeChat 3.5) |
| 2022-08-05 21:56:07 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-05 21:57:31 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 22:01:17 +0000 | <bcmiller_> | :t (->) |
| 2022-08-05 22:01:18 +0000 | <lambdabot> | error: parse error on input ‘->’ |
| 2022-08-05 22:04:41 +0000 | hgolden | (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-08-05 22:05:08 +0000 | <ski> | @kind (->) |
| 2022-08-05 22:05:10 +0000 | <lambdabot> | * -> * -> * |
| 2022-08-05 22:08:03 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.248) |
| 2022-08-05 22:10:21 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-05 22:10:27 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 22:16:07 +0000 | leah_ | (lp0@heathens.club) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-08-05 22:16:49 +0000 | leah_ | (lp0@heathens.club) |
| 2022-08-05 22:20:02 +0000 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 2022-08-05 22:22:09 +0000 | Topsi | (~Topsi@dyndsl-091-249-082-163.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2022-08-05 22:24:07 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-08-05 22:32:32 +0000 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-05 22:32:43 +0000 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) (Ping timeout: 268 seconds) |
| 2022-08-05 22:36:18 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-05 22:36:50 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 22:37:07 +0000 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-08-05 22:37:29 +0000 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-08-05 22:37:31 +0000 | dequbed | (~dequbed@banana-new.kilobyte22.de) (Quit: bye!) |
| 2022-08-05 22:37:49 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-08-05 22:40:52 +0000 | dequbed | (~dequbed@banana-new.kilobyte22.de) |
| 2022-08-05 22:44:31 +0000 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-05 22:49:48 +0000 | jargon | (~jargon@184.101.188.251) |
| 2022-08-05 22:54:33 +0000 | Franciman | (~Franciman@mx1.fracta.dev) (Remote host closed the connection) |
| 2022-08-05 22:54:58 +0000 | noteness | (~noteness@user/noteness) (Write error: Connection reset by peer) |
| 2022-08-05 22:54:58 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-08-05 22:54:58 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Read error: Connection reset by peer) |
| 2022-08-05 22:54:58 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Read error: Connection reset by peer) |
| 2022-08-05 22:55:12 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-05 22:55:20 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-05 22:55:20 +0000 | noteness | (~noteness@user/noteness) |
| 2022-08-05 22:55:29 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-08-05 22:56:35 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-231.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-08-05 23:03:37 +0000 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-08-05 23:04:20 +0000 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-08-05 23:05:15 +0000 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-08-05 23:06:02 +0000 | x77686d | (~x77686d@c-76-18-124-133.hsd1.al.comcast.net) (Quit: Connection closed) |
| 2022-08-05 23:07:14 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-05 23:09:38 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-08-05 23:10:20 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-05 23:14:21 +0000 | <texasmynsted> | if you were going to _quickly_ build a UI for something what would you use? (personal project) |
| 2022-08-05 23:16:35 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-08-05 23:18:02 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 23:20:51 +0000 | <EvanR> | probably a canned browser solution |
| 2022-08-05 23:21:00 +0000 | <EvanR> | electron or something |
| 2022-08-05 23:21:10 +0000 | <EvanR> | assuming being literally based on the web was not an option |
| 2022-08-05 23:22:27 +0000 | <texasmynsted> | web is fine |
| 2022-08-05 23:22:45 +0000 | <texasmynsted> | I just am not sure how much time I want to devote to this. |
| 2022-08-05 23:23:22 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-05 23:23:32 +0000 | <texasmynsted> | I thought about brick, and also making something in yasod, or reasonml |
| 2022-08-05 23:23:59 +0000 | <EvanR> | desktop toolkits give better experiences but only work on 1 platform at a time, or subvert their better experience in the process of attempting cross platformness |
| 2022-08-05 23:24:30 +0000 | <texasmynsted> | right |
| 2022-08-05 23:24:31 +0000 | <EvanR> | and in any case probably aren't "quick", in haskell |
| 2022-08-05 23:25:06 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 23:25:11 +0000 | <texasmynsted> | Looking for quick so, or "best return on time invested". |
| 2022-08-05 23:26:37 +0000 | <texasmynsted> | The _user_ is likely only going to be me |
| 2022-08-05 23:26:56 +0000 | <EvanR> | oh, if it can be textbased that's likely opens up a lot |
| 2022-08-05 23:27:10 +0000 | <texasmynsted> | sure text based is fine. |
| 2022-08-05 23:27:39 +0000 | <texasmynsted> | There was some unix Tui tool that I can't recall the name of |
| 2022-08-05 23:28:58 +0000 | <texasmynsted> | I will likely need to learn something new, but that is fine if the result of automating is a net gain. |
| 2022-08-05 23:30:09 +0000 | zmt00 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2022-08-05 23:30:30 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-05 23:30:46 +0000 | <texasmynsted> | Haskell might not have the quickest solution, but I would feel better about devoting time to a haskell solution. |
| 2022-08-05 23:31:45 +0000 | stefan-_ | (~cri@42dots.de) (Ping timeout: 252 seconds) |
| 2022-08-05 23:31:47 +0000 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-05 23:32:36 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2022-08-05 23:33:37 +0000 | <EvanR> | there's brick, vty, ansi-terminal-game, ... |
| 2022-08-05 23:35:39 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::d5f2) (Ping timeout: 244 seconds) |
| 2022-08-05 23:39:24 +0000 | stefan-_ | (~cri@42dots.de) |
| 2022-08-05 23:43:29 +0000 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 268 seconds) |
| 2022-08-05 23:43:52 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-05 23:45:00 +0000 | <texasmynsted> | okay |
| 2022-08-05 23:45:30 +0000 | zmt00 | (~zmt00@user/zmt00) |
| 2022-08-05 23:46:50 +0000 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2022-08-05 23:56:08 +0000 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 255 seconds) |
| 2022-08-05 23:58:22 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-08-05 23:58:54 +0000 | gurkenglas | (~gurkengla@p57b8a60f.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |