| 2022-09-18 00:01:05 +0200 | Guest|64 | (~Guest|64@158.144.107.41) (Client Quit) |
| 2022-09-18 00:02:59 +0200 | ente` | (~daemon@inferno.barfooze.de) (Remote host closed the connection) |
| 2022-09-18 00:03:10 +0200 | michalz | (~michalz@185.246.207.215) |
| 2022-09-18 00:06:06 +0200 | earthy | (~arthurvl@2a02-a469-f5e2-1-ba27-ebff-fea0-40b0.fixed6.kpn.net) (Ping timeout: 264 seconds) |
| 2022-09-18 00:06:44 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-09-18 00:08:11 +0200 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) (Quit: WeeChat 3.6) |
| 2022-09-18 00:09:28 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2022-09-18 00:12:09 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:f859:5754:b4a5:4d11) (Quit: caryhartline) |
| 2022-09-18 00:15:04 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 00:17:27 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30::2c) |
| 2022-09-18 00:19:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-18 00:24:15 +0200 | kuribas | (~user@ptr-17d51emgvn9xyloogcr.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2022-09-18 00:24:56 +0200 | caef^ | (~caef@173-160-76-137-atlanta.hfc.comcastbusiness.net) |
| 2022-09-18 00:25:48 +0200 | tremon | (~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2022-09-18 00:26:01 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 00:29:37 +0200 | stvc | (~stvc@192.241.166.39) (Quit: WeeChat 1.9.1) |
| 2022-09-18 00:30:27 +0200 | drvitek | (~drvitek@2601:85:c300:7940:739a:12be:cd90:548) |
| 2022-09-18 00:30:46 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-18 00:31:09 +0200 | caef^ | (~caef@173-160-76-137-atlanta.hfc.comcastbusiness.net) (Remote host closed the connection) |
| 2022-09-18 00:32:01 +0200 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.249) |
| 2022-09-18 00:33:56 +0200 | zava | (~zava@95.91.223.151) (Quit: WeeChat 3.5) |
| 2022-09-18 00:48:13 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds) |
| 2022-09-18 00:50:07 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-18 00:51:24 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: leaving) |
| 2022-09-18 00:51:50 +0200 | Topsi | (~Topsi@dyndsl-095-033-090-176.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2022-09-18 00:51:58 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2022-09-18 00:56:22 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2022-09-18 01:02:56 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 268 seconds) |
| 2022-09-18 01:05:00 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30::2c) (Quit: caryhartline) |
| 2022-09-18 01:08:58 +0200 | Batzy | (~quassel@user/batzy) |
| 2022-09-18 01:09:21 +0200 | Batzy | (~quassel@user/batzy) (Read error: Connection reset by peer) |
| 2022-09-18 01:11:31 +0200 | checkum | (~checkum@172.58.30.183) |
| 2022-09-18 01:13:13 +0200 | checkum | (~checkum@172.58.30.183) (Read error: Connection reset by peer) |
| 2022-09-18 01:14:10 +0200 | Batzy | (~quassel@user/batzy) |
| 2022-09-18 01:15:26 +0200 | <EvanR> | I'm using megaparsec, and I see the parser-combinators package which has some combinators. But what happened to chainl1 chainr1 from parsec, which could get you out of a nasty left recursion in the BNF |
| 2022-09-18 01:17:14 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-18 01:17:43 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 01:18:06 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-09-18 01:21:45 +0200 | <EvanR> | ok maybe they can't |
| 2022-09-18 01:22:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-18 01:22:26 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-09-18 01:23:31 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-18 01:31:55 +0200 | <monochrom> | I think parser-combinators would have them? |
| 2022-09-18 01:34:08 +0200 | <geekosaur> | the index says not |
| 2022-09-18 01:34:19 +0200 | <monochrom> | Hrm, it goes straight to Control.Monad.Combinators.Expr so you don't even bother using chainl1 and chainr1 yourself. |
| 2022-09-18 01:38:51 +0200 | thyriaen_ | (~thyriaen@80.122.59.30) (Remote host closed the connection) |
| 2022-09-18 01:44:25 +0200 | <EvanR> | Expr it is |
| 2022-09-18 01:45:46 +0200 | <Jeanne-Kamikaze> | Why would cabal-install complain about a missing/bad header that I have listed in 'includes:' while the package builds (cabal build) just fine? |
| 2022-09-18 01:46:02 +0200 | <Jeanne-Kamikaze> | Trying to install a local package. |
| 2022-09-18 01:49:37 +0200 | <Jeanne-Kamikaze> | Looks like a cabal.project file with the 'packages' directive does the trick. Seems like quite a bit has changed in the past decade. |
| 2022-09-18 01:50:59 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 01:51:34 +0200 | <geekosaur> | yes, it has |
| 2022-09-18 01:51:42 +0200 | <EvanR> | asleep for a decade? Hopefully you missed stack then xD |
| 2022-09-18 01:51:59 +0200 | <geekosaur> | also cabal build can work while cabal install doesn'tr if a file is not properly accounted for in the sdist |
| 2022-09-18 01:52:43 +0200 | <geekosaur> | since cabal install starts out by making an sdist in order to perform a clean install, and if the file isn't declared in the right places it might not be written to the sdist tarball |
| 2022-09-18 01:55:52 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-18 02:04:34 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-18 02:06:10 +0200 | checkum | (~checkum@172.58.30.183) |
| 2022-09-18 02:08:53 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-09-18 02:12:28 +0200 | king_gs | (~Thunderbi@187.201.192.184) |
| 2022-09-18 02:14:26 +0200 | cpli | (~cpli@2001:a61:2b40:bb01:32d1:6bff:fe80:46bd) (Ping timeout: 260 seconds) |
| 2022-09-18 02:23:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 02:27:51 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-18 02:28:24 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-18 02:30:35 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-18 02:30:51 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 244 seconds) |
| 2022-09-18 02:30:58 +0200 | califax | (~califax@user/califx) |
| 2022-09-18 02:31:56 +0200 | king_gs | (~Thunderbi@187.201.192.184) (Ping timeout: 260 seconds) |
| 2022-09-18 02:36:11 +0200 | emmanuelux | (~emmanuelu@2a01cb0000f39300c038d63b00f83cab.ipv6.abo.wanadoo.fr) |
| 2022-09-18 02:38:47 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-18 02:39:00 +0200 | califax | (~califax@user/califx) |
| 2022-09-18 02:42:55 +0200 | <Jeanne-Kamikaze> | EvanR, you could say so, though I did come across Stack briefly... |
| 2022-09-18 02:43:25 +0200 | <Jeanne-Kamikaze> | geekosaur, I 'fixed it' by adding that cabal.project to the dependent project and pointing it to the library. Apparently you don't explicitly install things these days? So I read on SO. |
| 2022-09-18 02:43:48 +0200 | <geekosaur> | right |
| 2022-09-18 02:43:55 +0200 | <sclv> | yep, that's basically correct -- the packages are managed in a store for you |
| 2022-09-18 02:44:15 +0200 | <geekosaur> | cabal (or stack) manages installation, and more importantly exposure, of things so they don't conmflict with each other and cause "cabal hell" |
| 2022-09-18 02:44:19 +0200 | <sclv> | much easier than explicitly attempting to maintain a single coherent package set for all your dev needs across projects |
| 2022-09-18 02:44:36 +0200 | <Jeanne-Kamikaze> | At least now I can say I revived 10-year old code from the rot. 20% coding, 80% figuring out the new tooling. |
| 2022-09-18 02:48:03 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-18 02:48:14 +0200 | <Jeanne-Kamikaze> | Apparently you don't use ExceptT or ErrorT anymore and go with IO exceptions? I had some trouble getting my ResourceT (ErrorT IO) to work and read you just throw exceptions inside IO these days. |
| 2022-09-18 02:51:11 +0200 | hammock | (~esc@172-126-222-235.lightspeed.mssnks.sbcglobal.net) |
| 2022-09-18 02:52:00 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-18 02:52:48 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 258 seconds) |
| 2022-09-18 02:55:33 +0200 | <EvanR> | or do you have a custom monad stack that can only do anything with something like unlift IO or base control |
| 2022-09-18 02:57:22 +0200 | <Jeanne-Kamikaze> | StateT s (R.ResourceT IO) -- That's the monad stack now. IO was previously ErrorT String IO |
| 2022-09-18 02:57:40 +0200 | <EvanR> | I know ErrorT is out |
| 2022-09-18 02:57:42 +0200 | <Jeanne-Kamikaze> | ErrorT is deprecated and ExceptT is not MonadUnliftIO. |
| 2022-09-18 02:58:10 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:217b:7ac0:b547:e8d8) |
| 2022-09-18 02:58:27 +0200 | <Jeanne-Kamikaze> | I briefly read something from Snoyman about how you're doing it all wrong and that every IO has an implicit "this can fail" contract. Seemed fair enough, so I went with that. |
| 2022-09-18 02:58:29 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-09-18 02:59:06 +0200 | <EvanR> | IO can fail, therefore it should. What is this, elixir? xD |
| 2022-09-18 02:59:58 +0200 | <Jeanne-Kamikaze> | Yeah but some time ago you had these transformers for error handling. |
| 2022-09-18 03:00:13 +0200 | <EvanR> | what's wrong with ExceptT again |
| 2022-09-18 03:00:35 +0200 | <Jeanne-Kamikaze> | ResourceT requires that the underlying monad be MonadUnliftIO, but only IO, ReaderT and another one implement that apparently. |
| 2022-09-18 03:00:43 +0200 | <Jeanne-Kamikaze> | So ResourceT doesn't stack with ExceptT |
| 2022-09-18 03:01:45 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 03:02:03 +0200 | <Jeanne-Kamikaze> | Or maybe I got all that entirely wrong. |
| 2022-09-18 03:02:16 +0200 | <EvanR> | ReaderT over IO was cool at one point a million years ago |
| 2022-09-18 03:02:33 +0200 | <EvanR> | somewhere in the geologic record of what's cool to do in haskell |
| 2022-09-18 03:03:05 +0200 | <EvanR> | maybe when we reach the singularity it will be cool to just pass stuff around |
| 2022-09-18 03:03:56 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2022-09-18 03:08:27 +0200 | <Jeanne-Kamikaze> | What's the goto book these days for intermediate/advanced topics? |
| 2022-09-18 03:10:22 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-09-18 03:16:30 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-09-18 03:16:39 +0200 | michalz | (~michalz@185.246.207.215) (Ping timeout: 268 seconds) |
| 2022-09-18 03:19:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-18 03:19:57 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 03:24:29 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-09-18 03:27:12 +0200 | king_gs | (~Thunderbi@187.201.192.184) |
| 2022-09-18 03:27:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-18 03:32:36 +0200 | <dsal> | Jeanne-Kamikaze: Depends on the topic. |
| 2022-09-18 03:38:18 +0200 | king_gs | (~Thunderbi@187.201.192.184) (Quit: king_gs) |
| 2022-09-18 03:43:28 +0200 | <Jeanne-Kamikaze> | I guess I'm looking for 'modern' code patterns and ways of doing things. |
| 2022-09-18 03:50:29 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-09-18 03:51:54 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-18 03:56:13 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:217b:7ac0:b547:e8d8) (Quit: caryhartline) |
| 2022-09-18 03:58:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 03:59:16 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 268 seconds) |
| 2022-09-18 04:00:44 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-09-18 04:01:26 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-18 04:02:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-18 04:03:14 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-09-18 04:10:43 +0200 | GuerrillaMonkey | (~Jeanne-Ka@142.147.89.235) |
| 2022-09-18 04:13:11 +0200 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.249) (Ping timeout: 252 seconds) |
| 2022-09-18 04:14:20 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:1c68:c1a5:c34e:becf) |
| 2022-09-18 04:15:59 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds) |
| 2022-09-18 04:17:09 +0200 | <jackdk> | I have written code which is an ExceptT over (eventually) a ResourceT. It's fine to runExceptT and get an `m (Either e a)` that is unliftable - this forces you to be explicit about how to handle errors which is fine |
| 2022-09-18 04:25:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 04:25:54 +0200 | EvanR | (~EvanR@user/evanr) (Read error: Connection reset by peer) |
| 2022-09-18 04:26:08 +0200 | EvanR | (~EvanR@user/evanr) |
| 2022-09-18 04:27:48 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-18 04:28:00 +0200 | td_ | (~td@94.134.91.75) (Ping timeout: 264 seconds) |
| 2022-09-18 04:29:18 +0200 | td_ | (~td@muedsl-82-207-238-056.citykom.de) |
| 2022-09-18 04:30:12 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-18 04:30:40 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 04:32:19 +0200 | GuerrillaMonkey | (~Jeanne-Ka@142.147.89.235) (Quit: Leaving) |
| 2022-09-18 04:32:52 +0200 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.235) |
| 2022-09-18 04:33:32 +0200 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.235) (Remote host closed the connection) |
| 2022-09-18 04:35:23 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-18 04:37:39 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-09-18 04:39:55 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-09-18 04:39:55 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-18 04:39:55 +0200 | finn_elija | FinnElija |
| 2022-09-18 04:42:28 +0200 | xff0x | (~xff0x@2405:6580:b080:900:3a1b:8096:52cf:f3ae) (Ping timeout: 268 seconds) |
| 2022-09-18 04:42:42 +0200 | mzan | (~quassel@mail.asterisell.com) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-09-18 04:43:34 +0200 | mzan | (~quassel@mail.asterisell.com) |
| 2022-09-18 04:48:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-18 04:52:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2022-09-18 04:52:14 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-09-18 04:52:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 04:54:44 +0200 | tdsdp^ | (~tdsdp@173-160-76-137-atlanta.hfc.comcastbusiness.net) |
| 2022-09-18 05:00:55 +0200 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:1c68:c1a5:c34e:becf) (Quit: caryhartline) |
| 2022-09-18 05:03:08 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-09-18 05:03:52 +0200 | xff0x | (~xff0x@2405:6580:b080:900:dd90:9b38:b496:ed23) |
| 2022-09-18 05:04:46 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-18 05:05:48 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 05:09:59 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-18 05:13:02 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-09-18 05:16:19 +0200 | Null_A | (~null_a@2601:645:8700:ac10:81a:658b:2e99:1fa1) |
| 2022-09-18 05:16:27 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-09-18 05:16:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 05:17:38 +0200 | checkum | (~checkum@172.58.30.183) (Read error: Connection reset by peer) |
| 2022-09-18 05:18:15 +0200 | Null_A_ | (~null_a@2601:645:8700:ac10:d500:3538:840b:56c3) (Ping timeout: 244 seconds) |
| 2022-09-18 05:18:45 +0200 | checkum | (~checkum@2607:fb90:641:73ed:f182:ed7f:f8eb:9ed8) |
| 2022-09-18 05:22:28 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-18 05:22:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-18 05:30:05 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 05:33:58 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-09-18 05:34:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-18 05:34:41 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-18 05:42:46 +0200 | jargon | (~jargon@184.101.186.15) (Remote host closed the connection) |
| 2022-09-18 05:46:10 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-18 05:51:23 +0200 | Null_A_ | (~null_a@2601:645:8700:ac10:81a:658b:2e99:1fa1) |
| 2022-09-18 05:51:24 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Read error: Connection reset by peer) |
| 2022-09-18 05:53:48 +0200 | Null_A | (~null_a@2601:645:8700:ac10:81a:658b:2e99:1fa1) (Ping timeout: 264 seconds) |
| 2022-09-18 05:55:15 +0200 | nattiestnate | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Quit: WeeChat 3.6) |
| 2022-09-18 06:00:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 06:04:45 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-18 06:06:49 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 06:07:44 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-09-18 06:13:15 +0200 | mikoto-chan | (~mikoto-ch@2001:999:488:1324:726f:ee28:7143:19ca) |
| 2022-09-18 06:14:46 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-18 06:20:49 +0200 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-09-18 06:22:18 +0200 | Batzy | (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-09-18 06:22:42 +0200 | Batzy | (~quassel@user/batzy) |
| 2022-09-18 06:25:10 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2022-09-18 06:25:46 +0200 | cpli | (~cpli@77.47.62.180) |
| 2022-09-18 06:25:57 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 06:25:57 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-18 06:26:28 +0200 | Null_A_ | (~null_a@2601:645:8700:ac10:81a:658b:2e99:1fa1) (Ping timeout: 244 seconds) |
| 2022-09-18 06:27:36 +0200 | mikoto-chan | (~mikoto-ch@2001:999:488:1324:726f:ee28:7143:19ca) (Ping timeout: 260 seconds) |
| 2022-09-18 06:27:48 +0200 | Batzy | (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-09-18 06:28:12 +0200 | Batzy | (~quassel@user/batzy) |
| 2022-09-18 06:28:33 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: Lost terminal) |
| 2022-09-18 06:28:37 +0200 | Batzy | (~quassel@user/batzy) (Read error: Connection reset by peer) |
| 2022-09-18 06:29:19 +0200 | Batzy | (~quassel@user/batzy) |
| 2022-09-18 06:29:25 +0200 | mikoto-chan | (~mikoto-ch@2001:999:704:1178:c392:271c:1ca1:485a) |
| 2022-09-18 06:29:41 +0200 | Null_A | (~null_a@c-73-93-244-42.hsd1.ca.comcast.net) |
| 2022-09-18 06:30:03 +0200 | bilegeek | (~bilegeek@2600:1008:b051:6d73:935f:97f:885:2432) |
| 2022-09-18 06:30:14 +0200 | bilegeek | (~bilegeek@2600:1008:b051:6d73:935f:97f:885:2432) (Remote host closed the connection) |
| 2022-09-18 06:30:43 +0200 | bilegeek | (~bilegeek@2600:1008:b051:6d73:935f:97f:885:2432) |
| 2022-09-18 06:33:49 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-18 06:34:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 06:36:59 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-18 06:38:37 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-18 06:38:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-18 06:39:07 +0200 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-09-18 06:39:27 +0200 | <sm> | I see stack docs have had a nice facelift: https://haskellstack.org |
| 2022-09-18 06:41:45 +0200 | <maerwald> | sm: mpilgrem is rocking it |
| 2022-09-18 06:43:25 +0200 | <sm> | hooray! I'm grateful to such impactful maintainers.. mpilgrem, yourself, mikolaj come to mind (I'm omitting many others of course) |
| 2022-09-18 06:44:49 +0200 | <sm> | the hls team (it seems more shared than the rest, don't know who does what) |
| 2022-09-18 06:45:27 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 06:46:54 +0200 | <maerwald> | well-typed has been engaged in HLS lately (I think even in official capacity... but don't take my word for it) |
| 2022-09-18 06:50:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-18 06:50:52 +0200 | cpli | (~cpli@77.47.62.180) (Quit: WeeChat 3.6) |
| 2022-09-18 07:05:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 07:10:22 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-18 07:10:24 +0200 | califax | (~califax@user/califx) (Ping timeout: 258 seconds) |
| 2022-09-18 07:18:06 +0200 | califax | (~califax@user/califx) |
| 2022-09-18 07:22:41 +0200 | mikoto-chan | (~mikoto-ch@2001:999:704:1178:c392:271c:1ca1:485a) (Ping timeout: 250 seconds) |
| 2022-09-18 07:24:51 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-09-18 07:24:54 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-09-18 07:25:44 +0200 | mikoto-chan | (~mikoto-ch@2001:999:704:1178:c392:271c:1ca1:485a) |
| 2022-09-18 07:31:02 +0200 | mikoto-chan | (~mikoto-ch@2001:999:704:1178:c392:271c:1ca1:485a) (Ping timeout: 244 seconds) |
| 2022-09-18 07:38:12 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 07:39:14 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-18 07:42:54 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-18 07:43:39 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-09-18 07:43:52 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2022-09-18 07:44:23 +0200 | cpli | (77fc530071@2604:bf00:561:2000::252) |
| 2022-09-18 07:44:40 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-18 07:45:46 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-09-18 07:48:03 +0200 | <mjrosenb> | ok, I'm using a zipper in my state; but the library that I'm providing a state for wants it to be an instance of eq. Is there a reason that zippers don't have an eq based on their contents having an eq? |
| 2022-09-18 07:51:07 +0200 | analoq | (~yashi@user/dies) (Ping timeout: 265 seconds) |
| 2022-09-18 07:52:32 +0200 | analoq | (~yashi@user/dies) |
| 2022-09-18 07:56:54 +0200 | coot | (~coot@213.134.176.158) |
| 2022-09-18 08:11:38 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-18 08:12:06 +0200 | frost | (~frost@user/frost) |
| 2022-09-18 08:12:25 +0200 | <EvanR> | what does it mean for two zippers to be equal |
| 2022-09-18 08:13:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 08:13:28 +0200 | <EvanR> | is 1 :> [2,3] equal to [1,2] <: 3 |
| 2022-09-18 08:13:47 +0200 | <EvanR> | or [1] 2 [3] |
| 2022-09-18 08:15:17 +0200 | dolio | (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-18 08:17:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-18 08:18:26 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-09-18 08:18:51 +0200 | dolio | (~dolio@130.44.130.54) |
| 2022-09-18 08:19:27 +0200 | dolio | (~dolio@130.44.130.54) (Client Quit) |
| 2022-09-18 08:22:24 +0200 | dolio | (~dolio@130.44.130.54) |
| 2022-09-18 08:26:37 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-18 08:30:06 +0200 | <cpli> | EvanR those aren't equivalent in representation, nor in behaviour, no? |
| 2022-09-18 08:31:12 +0200 | <EvanR> | using random unsubstantiated reasoning, the zipper contains the same data but the pointer is not in the same location |
| 2022-09-18 08:31:29 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-18 08:31:33 +0200 | <EvanR> | if so, the ideal == test would return false |
| 2022-09-18 08:31:41 +0200 | <mjrosenb> | I'd say no? |
| 2022-09-18 08:32:12 +0200 | <EvanR> | there might be counter examples where it's not so clear |
| 2022-09-18 08:32:18 +0200 | <mjrosenb> | since I'm only going to be rendering the focus of the zipper, focusing on a different element would be vastly different |
| 2022-09-18 08:32:44 +0200 | <EvanR> | and if you're focusing on something else with the same value? |
| 2022-09-18 08:32:56 +0200 | <cpli> | that's possible? |
| 2022-09-18 08:33:03 +0200 | <cpli> | oh |
| 2022-09-18 08:33:50 +0200 | <mjrosenb> | I also need to know why miso wants this eq instance, since what I implement depends on how it is used. |
| 2022-09-18 08:34:22 +0200 | <cpli> | https://hackage.haskell.org/package/miso |
| 2022-09-18 08:34:56 +0200 | <EvanR> | there are alternative ways to define equality on stuff, but usually, whatever it is, it satisfies the laws of equivalence relations |
| 2022-09-18 08:35:35 +0200 | <EvanR> | and there are many ways to define equality which screws that up and is confusing / bogus as a result |
| 2022-09-18 08:36:09 +0200 | <EvanR> | alternatively if you can only think of one way, could be a good candidate |
| 2022-09-18 08:36:25 +0200 | <cpli> | EvanR: having a default a la equality of indiscernibles ought to make sense, no? |
| 2022-09-18 08:36:50 +0200 | <EvanR> | that's what deriving Eq does right |
| 2022-09-18 08:36:53 +0200 | <mjrosenb> | since you seem to know about zippers, do you know how downward / within are supposed to be used? |
| 2022-09-18 08:37:18 +0200 | <EvanR> | what zipper is this anyway |
| 2022-09-18 08:37:21 +0200 | <cpli> | EvanR true. |
| 2022-09-18 08:37:38 +0200 | <mjrosenb> | zippers zipper |
| 2022-09-18 08:37:40 +0200 | <mjrosenb> | https://hackage.haskell.org/package/zippers-0.3.2/docs/Control-Zipper.html |
| 2022-09-18 08:39:07 +0200 | <EvanR> | ah. kmett |
| 2022-09-18 08:39:12 +0200 | <EvanR> | no idea |
| 2022-09-18 08:39:26 +0200 | <mjrosenb> | should the first argument be traverse? or ix/at? |
| 2022-09-18 08:40:31 +0200 | <mjrosenb> | I guess `within traverse` is what I want. |
| 2022-09-18 08:42:22 +0200 | <mjrosenb> | or do I want iWithin, and itraverse? |
| 2022-09-18 08:43:47 +0200 | <dolio> | Depends if you want to see the indices, presumably. |
| 2022-09-18 08:44:38 +0200 | <mjrosenb> | riiigh, that's the difference between traverse and itraverse. I use either of them so infrequently. I thought the i just meant that an index existed, not that it tracked it. |
| 2022-09-18 08:46:43 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 08:47:39 +0200 | coot | (~coot@213.134.176.158) |
| 2022-09-18 08:48:46 +0200 | <mjrosenb> | Guess I should just get ghci working, and try shit until I get the output that I want |
| 2022-09-18 08:48:58 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-18 08:52:30 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-18 08:53:57 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-09-18 08:55:12 +0200 | <vglfr> | Thinking of NaN as sorta bottom within the "domain" of floats - is it a good intuition? (reading about Ord v PartialOrd) |
| 2022-09-18 08:55:42 +0200 | <c_wraith> | it works decently well as a model |
| 2022-09-18 08:57:10 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-18 08:58:38 +0200 | <vglfr> | Thanks. |
| 2022-09-18 09:00:00 +0200 | kuribas | (~user@ptr-17d51emc87n7kpd3asf.18120a2.ip6.access.telenet.be) |
| 2022-09-18 09:01:57 +0200 | califax | (~califax@user/califx) |
| 2022-09-18 09:10:41 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-18 09:13:35 +0200 | img | (~img@user/img) |
| 2022-09-18 09:17:50 +0200 | img | (~img@user/img) (Client Quit) |
| 2022-09-18 09:18:15 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-09-18 09:20:40 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 09:20:44 +0200 | img | (~img@user/img) |
| 2022-09-18 09:20:48 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-18 09:25:22 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-18 09:38:54 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2022-09-18 09:41:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-18 09:45:01 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 09:49:30 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-18 09:53:29 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 250 seconds) |
| 2022-09-18 09:58:34 +0200 | vglfr | (~vglfr@145.224.94.16) (Read error: Connection reset by peer) |
| 2022-09-18 09:58:47 +0200 | vglfr | (~vglfr@145.224.94.16) |
| 2022-09-18 09:59:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-18 10:04:02 +0200 | vglfr | (~vglfr@145.224.94.16) (Quit: Quit) |
| 2022-09-18 10:04:16 +0200 | vglfr | (~vglfr@145.224.94.16) |
| 2022-09-18 10:05:35 +0200 | vglfr | (~vglfr@145.224.94.16) (Client Quit) |
| 2022-09-18 10:05:48 +0200 | vglfr | (~vglfr@145.224.94.16) |
| 2022-09-18 10:08:17 +0200 | vglfr | (~vglfr@145.224.94.16) (Client Quit) |
| 2022-09-18 10:08:30 +0200 | vglfr | (~vglfr@145.224.94.16) |
| 2022-09-18 10:10:35 +0200 | vglfr | (~vglfr@145.224.94.16) (Client Quit) |
| 2022-09-18 10:10:48 +0200 | vglfr | (~vglfr@145.224.94.16) |
| 2022-09-18 10:12:28 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) |
| 2022-09-18 10:12:59 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-09-18 10:13:41 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-09-18 10:17:41 +0200 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Read error: No route to host) |
| 2022-09-18 10:27:13 +0200 | vglfr | (~vglfr@145.224.94.16) (Ping timeout: 244 seconds) |
| 2022-09-18 10:27:32 +0200 | vglfr | (~vglfr@145.224.94.16) |
| 2022-09-18 10:32:07 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 10:34:33 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-18 10:35:03 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 2022-09-18 10:36:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-18 10:36:55 +0200 | drvitek | (~drvitek@2601:85:c300:7940:739a:12be:cd90:548) (Quit: Konversation terminated!) |
| 2022-09-18 10:37:22 +0200 | drvitek | (~drvitek@2601:85:c300:7940:98f3:57c8:5b37:395b) |
| 2022-09-18 10:37:28 +0200 | img | (~img@user/img) |
| 2022-09-18 10:39:48 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 265 seconds) |
| 2022-09-18 10:40:25 +0200 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-18 10:57:03 +0200 | michalz | (~michalz@185.246.207.203) |
| 2022-09-18 11:02:22 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-09-18 11:02:56 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:6530:c280:4187:23f9) |
| 2022-09-18 11:05:36 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 11:07:35 +0200 | cpli | saGri |
| 2022-09-18 11:07:42 +0200 | saGri | cpli |
| 2022-09-18 11:10:15 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-18 11:10:45 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-09-18 11:15:59 +0200 | tdsdp^ | (~tdsdp@173-160-76-137-atlanta.hfc.comcastbusiness.net) (Remote host closed the connection) |
| 2022-09-18 11:24:55 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-18 11:25:11 +0200 | f-a | (~f-a@151.36.218.231) |
| 2022-09-18 11:25:19 +0200 | mniip | (mniip@libera/staff/mniip) |
| 2022-09-18 11:28:12 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-09-18 11:30:05 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-09-18 11:32:14 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-09-18 11:32:27 +0200 | bilegeek | (~bilegeek@2600:1008:b051:6d73:935f:97f:885:2432) (Quit: Leaving) |
| 2022-09-18 11:38:37 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-09-18 11:38:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 11:39:18 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-18 11:43:10 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-18 11:51:07 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2022-09-18 11:59:05 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 265 seconds) |
| 2022-09-18 12:06:49 +0200 | talismanick | (~talismani@2601:644:9380:4570::a698) (Remote host closed the connection) |
| 2022-09-18 12:11:03 +0200 | luffy | (~chenqisu1@183.217.201.192) |
| 2022-09-18 12:12:25 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2022-09-18 12:14:37 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Read error: Connection reset by peer) |
| 2022-09-18 12:14:57 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-09-18 12:15:28 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 12:17:49 +0200 | raym | (~raym@user/raym) (Quit: gonna try alpine linux) |
| 2022-09-18 12:18:11 +0200 | johnjaye | (~pi@173.209.64.74) (Ping timeout: 268 seconds) |
| 2022-09-18 12:19:37 +0200 | johnjaye | (~pi@173.209.64.74) |
| 2022-09-18 12:20:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-18 12:30:00 +0200 | johnjaye | (~pi@173.209.64.74) (Ping timeout: 265 seconds) |
| 2022-09-18 12:30:45 +0200 | haskl | (~haskl@user/haskl) (Read error: Connection reset by peer) |
| 2022-09-18 12:32:21 +0200 | elkcl_ | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-09-18 12:33:10 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-09-18 12:33:16 +0200 | haskl | (~haskl@user/haskl) |
| 2022-09-18 12:33:55 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-18 12:34:00 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 264 seconds) |
| 2022-09-18 12:34:00 +0200 | elkcl_ | elkcl |
| 2022-09-18 12:37:29 +0200 | ubert | (~Thunderbi@77.119.169.178.wireless.dyn.drei.com) |
| 2022-09-18 12:45:38 +0200 | z__ | (~z@219.70.204.146) |
| 2022-09-18 12:45:52 +0200 | z__ | (~z@219.70.204.146) (Client Quit) |
| 2022-09-18 12:46:36 +0200 | z__ | (~z@219.70.204.146) |
| 2022-09-18 12:46:36 +0200 | z__ | (~z@219.70.204.146) (Client Quit) |
| 2022-09-18 12:47:07 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-09-18 12:47:24 +0200 | weier | (~z@219.70.204.146) |
| 2022-09-18 12:48:00 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-09-18 12:48:19 +0200 | weier | (~z@219.70.204.146) (Client Quit) |
| 2022-09-18 12:48:54 +0200 | weier | (~z@219.70.204.146) |
| 2022-09-18 12:48:55 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 12:49:06 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-09-18 12:53:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-18 12:56:51 +0200 | checkum | (~checkum@2607:fb90:641:73ed:f182:ed7f:f8eb:9ed8) (Quit: -a- IRC for Android 2.1.60) |
| 2022-09-18 12:57:57 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-09-18 13:04:24 +0200 | johnjaye | (~pi@173.209.64.74) |
| 2022-09-18 13:15:24 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-09-18 13:21:57 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 13:24:01 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-09-18 13:26:33 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-18 13:46:33 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 13:49:13 +0200 | f-a | (~f-a@151.36.218.231) (Ping timeout: 250 seconds) |
| 2022-09-18 13:50:27 +0200 | f-a | (~f-a@151.38.246.185) |
| 2022-09-18 13:50:36 +0200 | nunggu | (~q@user/nunggu) (Ping timeout: 258 seconds) |
| 2022-09-18 13:50:47 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-18 13:51:11 +0200 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) |
| 2022-09-18 13:55:47 +0200 | causal | (~user@50.35.83.177) |
| 2022-09-18 13:56:10 +0200 | xacktm | (xacktm@user/xacktm) (Quit: fBNC - https://bnc4free.com) |
| 2022-09-18 13:56:29 +0200 | andreas303 | (andreas303@ip227.orange.bnc4free.com) (Quit: fBNC - https://bnc4free.com) |
| 2022-09-18 13:58:16 +0200 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) |
| 2022-09-18 13:58:23 +0200 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
| 2022-09-18 13:58:58 +0200 | johnw | (~johnw@2600:1700:cf00:db0:f056:f097:9c2d:4e24) |
| 2022-09-18 14:00:16 +0200 | ubert | (~Thunderbi@77.119.169.178.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 2022-09-18 14:05:37 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-09-18 14:09:02 +0200 | andreas303 | (andreas303@ip227.orange.bnc4free.com) |
| 2022-09-18 14:11:28 +0200 | xacktm | (xacktm@user/xacktm) |
| 2022-09-18 14:13:01 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-18 14:22:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 14:24:55 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-09-18 14:26:34 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-09-18 14:27:27 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-18 14:33:26 +0200 | luffy | (~chenqisu1@183.217.201.192) (Quit: Leaving) |
| 2022-09-18 14:40:05 +0200 | kenaryn | (~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving) |
| 2022-09-18 14:40:22 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-09-18 14:41:48 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-09-18 14:44:53 +0200 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) |
| 2022-09-18 14:46:23 +0200 | nunggu | (~q@user/nunggu) |
| 2022-09-18 14:46:33 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 14:51:01 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-18 15:10:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 15:16:32 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-09-18 15:20:37 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-18 15:21:48 +0200 | coot | (~coot@213.134.176.158) |
| 2022-09-18 15:23:02 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 2022-09-18 15:24:08 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2022-09-18 15:26:26 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-18 15:29:19 +0200 | `2jt | (~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) (Ping timeout: 265 seconds) |
| 2022-09-18 15:30:52 +0200 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-09-18 15:31:15 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-09-18 16:00:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 16:01:24 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-18 16:04:20 +0200 | img | (~img@user/img) |
| 2022-09-18 16:05:07 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-18 16:09:16 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 244 seconds) |
| 2022-09-18 16:10:54 +0200 | nunggu | (~q@user/nunggu) (Ping timeout: 258 seconds) |
| 2022-09-18 16:11:16 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2022-09-18 16:20:35 +0200 | raym | (~raym@user/raym) |
| 2022-09-18 16:27:53 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-18 16:30:02 +0200 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-09-18 16:30:14 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-18 16:32:02 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-09-18 16:34:29 +0200 | nunggu | (~q@user/nunggu) |
| 2022-09-18 16:36:53 +0200 | benin0 | (~benin@183.82.204.58) |
| 2022-09-18 16:39:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 16:39:22 +0200 | EashanHatti | (~Thunderbi@c-24-126-44-70.hsd1.wv.comcast.net) |
| 2022-09-18 16:44:55 +0200 | f-a | (~f-a@151.38.246.185) (Read error: Connection reset by peer) |
| 2022-09-18 16:45:45 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-18 16:46:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-18 16:46:42 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-18 16:48:20 +0200 | f-a | (~f-a@151.82.216.212) |
| 2022-09-18 16:49:36 +0200 | toeffel | (~toeffel@user/toeffel) (Quit: quit) |
| 2022-09-18 16:51:11 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-09-18 16:53:48 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 264 seconds) |
| 2022-09-18 17:03:43 +0200 | kenran | (~kenran@200116b82b70c500646899ef171be697.dip.versatel-1u1.de) |
| 2022-09-18 17:03:43 +0200 | kenran | (~kenran@200116b82b70c500646899ef171be697.dip.versatel-1u1.de) (Read error: Connection reset by peer) |
| 2022-09-18 17:04:36 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2022-09-18 17:05:32 +0200 | _xor | (~xor@74.215.182.83) |
| 2022-09-18 17:06:15 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2022-09-18 17:08:53 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
| 2022-09-18 17:09:22 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-18 17:09:44 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 2022-09-18 17:11:46 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2022-09-18 17:13:39 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-09-18 17:14:11 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
| 2022-09-18 17:16:31 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2022-09-18 17:17:58 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-18 17:18:39 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-18 17:19:24 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
| 2022-09-18 17:21:29 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2022-09-18 17:25:06 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
| 2022-09-18 17:26:54 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2022-09-18 17:27:51 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2022-09-18 17:33:10 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-09-18 17:40:18 +0200 | drvitek | (~drvitek@2601:85:c300:7940:98f3:57c8:5b37:395b) (Quit: Konversation terminated!) |
| 2022-09-18 17:47:27 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2022-09-18 17:48:21 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-09-18 17:48:48 +0200 | shapr | (~user@68.54.166.125) |
| 2022-09-18 17:51:45 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-18 17:52:09 +0200 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) (Quit: Leaving.) |
| 2022-09-18 17:52:54 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2022-09-18 17:55:05 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Quit: leaving) |
| 2022-09-18 17:56:54 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-18 17:57:29 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-18 17:57:35 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-09-18 18:01:08 +0200 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-09-18 18:03:14 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 2022-09-18 18:07:37 +0200 | emmanuelux | (~emmanuelu@2a01cb0000f39300c038d63b00f83cab.ipv6.abo.wanadoo.fr) (Quit: au revoir) |
| 2022-09-18 18:09:50 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-09-18 18:23:20 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2022-09-18 18:24:22 +0200 | econo | (uid147250@user/econo) |
| 2022-09-18 18:25:36 +0200 | weier | (~z@219.70.204.146) (Quit: Konversation terminated!) |
| 2022-09-18 18:27:59 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-09-18 18:34:26 +0200 | shapr | (~user@68.54.166.125) (Ping timeout: 244 seconds) |
| 2022-09-18 18:40:33 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Quit: Off to see the wizard.) |
| 2022-09-18 18:44:06 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2022-09-18 18:45:44 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-09-18 18:46:28 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-09-18 18:47:27 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-18 18:48:18 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-18 18:49:27 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-18 18:50:48 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-09-18 18:52:48 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Quit: zxx7529) |
| 2022-09-18 18:54:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-18 18:54:37 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-18 18:56:45 +0200 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-09-18 19:01:40 +0200 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 2022-09-18 19:03:31 +0200 | forell | (~forell@user/forell) |
| 2022-09-18 19:11:46 +0200 | Vajb | (~Vajb@2001:999:251:6c46:af67:6433:cfc0:311b) (Ping timeout: 260 seconds) |
| 2022-09-18 19:12:02 +0200 | Vajb | (~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) |
| 2022-09-18 19:12:45 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-18 19:20:31 +0200 | glguy | (~glguy@libera/staff-emeritus/glguy) (Ping timeout: 260 seconds) |
| 2022-09-18 19:23:53 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-09-18 19:31:31 +0200 | glguy | (~glguy@libera/staff-emeritus/glguy) |
| 2022-09-18 19:31:45 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-09-18 19:36:13 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-18 19:37:19 +0200 | jrm | (~jrm@user/jrm) (Remote host closed the connection) |
| 2022-09-18 19:42:06 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-18 19:43:17 +0200 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 2022-09-18 19:46:36 +0200 | forell | (~forell@user/forell) |
| 2022-09-18 19:47:41 +0200 | tdsdp^ | (~tdsdp@173-160-76-137-atlanta.hfc.comcastbusiness.net) |
| 2022-09-18 19:52:35 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-09-18 19:53:23 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2022-09-18 19:55:55 +0200 | coot | (~coot@213.134.176.158) |
| 2022-09-18 19:56:50 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-18 19:58:03 +0200 | biberu | (~biberu@user/biberu) |
| 2022-09-18 20:00:00 +0200 | toeffel | (~toeffel@user/toeffel) |
| 2022-09-18 20:08:08 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-18 20:08:21 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 2022-09-18 20:11:31 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-18 20:14:52 +0200 | Everything | (~Everythin@37.115.210.35) |
| 2022-09-18 20:17:53 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-09-18 20:18:40 +0200 | emmanuelux | (~emmanuelu@2a01cb0000f39300c038d63b00f83cab.ipv6.abo.wanadoo.fr) |
| 2022-09-18 20:20:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-18 20:20:52 +0200 | emmanuelux | (~emmanuelu@2a01cb0000f39300c038d63b00f83cab.ipv6.abo.wanadoo.fr) (Client Quit) |
| 2022-09-18 20:20:56 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-18 20:21:46 +0200 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) |
| 2022-09-18 20:22:41 +0200 | emmanuelux | (~emmanuelu@2a01cb0000f39300c038d63b00f83cab.ipv6.abo.wanadoo.fr) |
| 2022-09-18 20:22:58 +0200 | emmanuelux | (~emmanuelu@2a01cb0000f39300c038d63b00f83cab.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2022-09-18 20:23:06 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Quit: Off to see the wizard.) |
| 2022-09-18 20:25:58 +0200 | toeffel | (~toeffel@user/toeffel) (Ping timeout: 268 seconds) |
| 2022-09-18 20:26:38 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2022-09-18 20:28:06 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
| 2022-09-18 20:39:05 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-18 20:44:32 +0200 | f-a | (~f-a@151.82.216.212) (Read error: Connection reset by peer) |
| 2022-09-18 20:48:15 +0200 | f-a | (~f-a@151.36.148.23) |
| 2022-09-18 20:49:02 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-09-18 20:49:18 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2022-09-18 20:50:19 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2022-09-18 20:52:40 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 265 seconds) |
| 2022-09-18 20:59:20 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-18 20:59:41 +0200 | bjobjo | (~bjobjo@user/bjobjo) (Ping timeout: 260 seconds) |
| 2022-09-18 21:03:47 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-18 21:04:56 +0200 | bjobjo | (~bjobjo@user/bjobjo) |
| 2022-09-18 21:05:09 +0200 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) (Remote host closed the connection) |
| 2022-09-18 21:11:21 +0200 | sympt | (~sympt@user/sympt) |
| 2022-09-18 21:14:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-18 21:21:36 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2022-09-18 21:22:12 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-09-18 21:23:52 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-09-18 21:26:49 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 250 seconds) |
| 2022-09-18 21:36:32 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2022-09-18 21:39:46 +0200 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) (Quit: Bye) |
| 2022-09-18 21:45:09 +0200 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) |
| 2022-09-18 21:47:13 +0200 | <EvanR> | I thought I had a slick way to execute some abstract C-like statement code with continuation passing style. Then I read about Duff's device |
| 2022-09-18 21:47:50 +0200 | <EvanR> | I don't know what's real anymore |
| 2022-09-18 21:48:18 +0200 | f-a | (~f-a@151.36.148.23) () |
| 2022-09-18 21:48:42 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
| 2022-09-18 21:49:08 +0200 | <Rembane> | EvanR: What put you into programmer limbo? |
| 2022-09-18 21:50:11 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-09-18 21:51:18 +0200 | chexum_ | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 258 seconds) |
| 2022-09-18 21:51:29 +0200 | <geekosaur> | if you're worried about Duff's device you're not worrying about abstraction 🙂 |
| 2022-09-18 21:52:09 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-09-18 21:53:16 +0200 | <EvanR> | like, you can simply jump into a loop, wtf |
| 2022-09-18 21:53:38 +0200 | <EvanR> | wrote a lot of C, not a lot of gotos |
| 2022-09-18 21:53:40 +0200 | Rembane | hands EvanR a sack of GOTOs |
| 2022-09-18 21:53:49 +0200 | <Rembane> | My timing isn't optimal. :D |
| 2022-09-18 21:54:15 +0200 | emmanuelux | (~emmanuelu@2a01cb0000f39300c038d63b00f83cab.ipv6.abo.wanadoo.fr) |
| 2022-09-18 21:54:42 +0200 | <EvanR> | my parser parses duff's device correctly, so ... it has to work |
| 2022-09-18 21:55:23 +0200 | <geekosaur> | switch is dirt simple, so it's actually not difficult for a C compiler to do that |
| 2022-09-18 21:56:32 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-09-18 21:57:06 +0200 | <EvanR> | so I need to write a real compiler to get it to work? ;_; |
| 2022-09-18 21:57:28 +0200 | <geekosaur> | or at least pretend to, instead of trying to get clever with CPS |
| 2022-09-18 21:57:48 +0200 | <EvanR> | nooo |
| 2022-09-18 21:57:58 +0200 | <geekosaur> | of course you could just say "my compiler is about abstraction, not pretending to be just above assembler, so no Duff's device" |
| 2022-09-18 21:59:28 +0200 | kuribas | (~user@ptr-17d51emc87n7kpd3asf.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2022-09-18 21:59:31 +0200 | <geekosaur> | of course, you could also just write whatever you intended originally and then see what it does when handed DD |
| 2022-09-18 22:02:05 +0200 | <dolio> | Do people even hand-unroll their loops anymore? |
| 2022-09-18 22:02:34 +0200 | <EvanR> | I did on last years advent of code |
| 2022-09-18 22:02:54 +0200 | <dolio> | In C? |
| 2022-09-18 22:03:27 +0200 | <EvanR> | correction, asked GCC to unroll the loops for me |
| 2022-09-18 22:03:27 +0200 | <dolio> | I wouldn't even be surprised if unrolling a loop by hand is worse, because it prevents the C compiler from unrolling it better or something. |
| 2022-09-18 22:04:28 +0200 | <EvanR> | even awesome game EXAPunks comes with a assembler macro to repeat some code N times |
| 2022-09-18 22:12:25 +0200 | <EvanR> | the language recognized is actually B, which didn't have initializers, so I guess there's no question what should be happening if you jump into a loop |
| 2022-09-18 22:13:30 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-09-18 22:15:13 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-18 22:15:44 +0200 | hammock | (~esc@172-126-222-235.lightspeed.mssnks.sbcglobal.net) (Quit: WeeChat 3.6) |
| 2022-09-18 22:19:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-18 22:21:36 +0200 | fjMSX | (~hypni2p@2.92.213.55) (Ping timeout: 265 seconds) |
| 2022-09-18 22:23:32 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-09-18 22:24:00 +0200 | pavonia | (~user@user/siracusa) |
| 2022-09-18 22:24:16 +0200 | nunggu | (~q@user/nunggu) (Ping timeout: 258 seconds) |
| 2022-09-18 22:26:22 +0200 | nunggu | (~q@user/nunggu) |
| 2022-09-18 22:26:43 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-09-18 22:27:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-18 22:30:05 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-09-18 22:34:28 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Client Quit) |
| 2022-09-18 22:47:41 +0200 | tdsdp^ | (~tdsdp@173-160-76-137-atlanta.hfc.comcastbusiness.net) (Remote host closed the connection) |
| 2022-09-18 22:49:35 +0200 | nate1 | (~nate@98.45.169.16) |
| 2022-09-18 22:54:38 +0200 | <ski> | EvanR : i once wrote a loop in C, with a `goto' out of it, and a `goto' back inside it (just after the one out). i first conceived of the algorithm in my head, drew a flowchart of it, then translated that to (mostly) more structured constructs in C |
| 2022-09-18 22:56:19 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2022-09-18 22:56:24 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 2022-09-18 22:57:49 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-09-18 23:02:37 +0200 | <ski> | (see <https://paste.debian.net/plainh/f0571cc8>. it's enumerating combinations ("ordered selections"), doing backtracking. it's essentially simulating a "power loop" in the sense of the second chapter of "Advanced Programming Language Design" by Raphael Finkel in 1996 at <https://web.archive.org/web/20150522052725/http://www.nondot.org/sabre/Mirrored/AdvProgLangDesign/>) |
| 2022-09-18 23:03:00 +0200 | <Rembane> | \m/ power loop \m/ |
| 2022-09-18 23:05:06 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 2022-09-18 23:08:05 +0200 | Guest97 | (~Guest97@2601:602:a080:fa0::b9fc) |
| 2022-09-18 23:08:06 +0200 | <ski> | the `goto's simulate recursive calls and returns, using an array to simulate the corresponding stack (of known depth). power loops are definite (known "recursive" depth) |
| 2022-09-18 23:09:45 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2022-09-18 23:10:49 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-18 23:12:34 +0200 | Everything | (~Everythin@37.115.210.35) (Quit: leaving) |
| 2022-09-18 23:13:02 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-09-18 23:16:42 +0200 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 265 seconds) |
| 2022-09-18 23:22:25 +0200 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-18 23:24:47 +0200 | aaronv | (~aaronv@user/aaronv) () |
| 2022-09-18 23:25:03 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2022-09-18 23:25:20 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: leaving) |
| 2022-09-18 23:25:30 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-09-18 23:28:29 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-09-18 23:29:47 +0200 | <EvanR> | oh hell yeah, power loops |
| 2022-09-18 23:31:16 +0200 | <EvanR> | in that code... the for loop has an initialization. If you jump into the loop, does the initialization just not happen |
| 2022-09-18 23:34:07 +0200 | jrm | (~jrm@user/jrm) |
| 2022-09-18 23:35:52 +0200 | jrm | (~jrm@user/jrm) (Client Quit) |
| 2022-09-18 23:44:29 +0200 | jrm | (~jrm@user/jrm) |
| 2022-09-18 23:45:00 +0200 | Guest97 | (~Guest97@2601:602:a080:fa0::b9fc) () |
| 2022-09-18 23:54:46 +0200 | Null_A | (~null_a@c-73-93-244-42.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 2022-09-18 23:58:48 +0200 | Null_A | (~null_a@c-73-93-244-42.hsd1.ca.comcast.net) |