| 2025-01-29 00:04:15 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-29 00:07:30 +0100 | mulk | (~mulk@pd9514894.dip0.t-ipconnect.de) mulk |
| 2025-01-29 00:09:59 +0100 | Ranhir | (~Ranhir@157.97.53.139) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2025-01-29 00:10:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-29 00:11:58 +0100 | lythieme | (~lythieme@209.214.83.194) |
| 2025-01-29 00:13:37 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-29 00:14:43 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-29 00:17:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-01-29 00:17:43 +0100 | Ranhir | (~Ranhir@157.97.53.139) Ranhir |
| 2025-01-29 00:19:29 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-01-29 00:20:08 +0100 | lythieme | (~lythieme@209.214.83.194) (Quit: Client closed) |
| 2025-01-29 00:24:05 +0100 | <haskellbridge> | <Bowuigi> foldr/build-like theorems are pretty interesting. On Mendler-encoded data it holds for mcata/mbuild by beta reduction (mbuild is just id but fancy) |
| 2025-01-29 00:24:45 +0100 | <haskellbridge> | <Bowuigi> Not sure how a paramorphism can be encoded in the same style tho, probably some messing around with the parameters |
| 2025-01-29 00:26:26 +0100 | <haskellbridge> | <Bowuigi> Histomorphisms can be encoded Mendler-style but not in a total language. Some subset might be able to be encoded tho, haven't checked |
| 2025-01-29 00:26:50 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-29 00:28:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-29 00:28:45 +0100 | <haskellbridge> | <Bowuigi> I'm actually really interested in those because they are essential in my lang. It's the best lambda encoding without recursive types that I've found |
| 2025-01-29 00:29:54 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-01-29 00:29:54 +0100 | ljdarj1 | ljdarj |
| 2025-01-29 00:33:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-01-29 00:33:41 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-01-29 00:44:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-29 00:49:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-29 00:50:08 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f203076ec74f0f78e66.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-01-29 00:50:13 +0100 | <EvanR_> | mendler-encoding ? |
| 2025-01-29 00:55:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-29 00:56:15 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 276 seconds) |
| 2025-01-29 01:00:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-01-29 01:03:47 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-29 01:05:48 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-29 01:08:04 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-29 01:11:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-29 01:14:38 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
| 2025-01-29 01:16:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-01-29 01:16:36 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2025-01-29 01:26:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-29 01:31:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-01-29 01:32:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-29 01:38:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-01-29 01:42:04 +0100 | xff0x | (~xff0x@ai096095.d.east.v6connect.net) (Ping timeout: 272 seconds) |
| 2025-01-29 01:47:26 +0100 | Inst_ | (~Inst_@2600:1006:b039:8e06:348d:59cb:8a80:2e01) |
| 2025-01-29 01:47:54 +0100 | <Inst_> | Is Haskell still relevant in the age of LLM programmers? |
| 2025-01-29 01:48:10 +0100 | <haskellbridge> | <Axman6> No |
| 2025-01-29 01:48:15 +0100 | <haskellbridge> | <Axman6> we're all dead |
| 2025-01-29 01:48:29 +0100 | <Inst_> | To some extent, I suspect its susceptibility to formal verification actually makes it quite suited. |
| 2025-01-29 01:48:39 +0100 | <Inst_> | Actually, I'm dead inside, Axman6. |
| 2025-01-29 01:49:17 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-01-29 01:49:24 +0100 | <haskellbridge> | <Axman6> I sae someone say yesterday that they couldn't convince one of the LLMs that "addOne = (+ 1)" was valid haskell, so there's still hope |
| 2025-01-29 01:49:40 +0100 | <geekosaur> | LLMs don't understand Haskell. Maybe if someone had fed them Wadler, SPJ, ekmett, Conor McBride, etc. instead of random blogs, they'd do a good job with it |
| 2025-01-29 01:50:22 +0100 | <Inst_> | I used to be pro-Simple Haskell, now I'm pro-fancy types because when LLMs end up spitting code and the job of the developer is to validate it, the type system helps |
| 2025-01-29 01:50:36 +0100 | <geekosaur> | (there's more where those 4 came from; sadly nobody's asking me for a bibliography to feed LLMs) |
| 2025-01-29 01:50:56 +0100 | <Inst_> | I'm actually on WeChat with a segment of the Chinese Haskell community |
| 2025-01-29 01:51:17 +0100 | <Inst_> | Let me get you the GitHub links for the game snake, someone complained it wasn't using classy MTL |
| 2025-01-29 01:51:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-29 01:51:33 +0100 | <Inst_> | Produced via both deepseek and 1.o |
| 2025-01-29 01:51:52 +0100 | Inst_ | (~Inst_@2600:1006:b039:8e06:348d:59cb:8a80:2e01) (Client Quit) |
| 2025-01-29 01:52:37 +0100 | Inst__ | (~Inst__@2600:1006:b039:8e06:348d:59cb:8a80:2e01) |
| 2025-01-29 01:52:42 +0100 | <Inst__> | https://gist.github.com/yihuang/7344984aed9a13099146dc55dd4249e3 |
| 2025-01-29 01:52:51 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-29 01:54:46 +0100 | <Inst__> | The MTL one is a screenshot, can't link |
| 2025-01-29 01:55:28 +0100 | <Inst__> | Other complaint is that the code deepseek / 1.o are producing are too imperative |
| 2025-01-29 01:56:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-29 01:57:28 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-29 01:57:29 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-01-29 01:57:45 +0100 | euleritian | (~euleritia@77.23.250.232) |
| 2025-01-29 01:58:46 +0100 | euleritian | (~euleritia@77.23.250.232) (Remote host closed the connection) |
| 2025-01-29 01:59:03 +0100 | euleritian | (~euleritia@77.23.250.232) |
| 2025-01-29 02:00:12 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-29 02:04:04 +0100 | Googulator | (~Googulato@2a01-036d-0106-1666-e945-fd21-b920-9aa7.pool6.digikabel.hu) |
| 2025-01-29 02:07:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-29 02:07:26 +0100 | <Inst__> | :( I thought the code would be fun to tear apart |
| 2025-01-29 02:07:55 +0100 | <Inst__> | It technically works, I mean, I haven't had a machine for a while, but it doesn't provide a concept of a loop, and the code is ugly |
| 2025-01-29 02:15:25 +0100 | sprotte24 | (~sprotte24@p200300d16f3179007dc10aa53878022c.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-29 02:16:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-01-29 02:19:14 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-01-29 02:22:44 +0100 | otto_s | (~user@p4ff270b9.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-01-29 02:24:06 +0100 | otto_s | (~user@p5b044c4b.dip0.t-ipconnect.de) |
| 2025-01-29 02:27:55 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-29 02:28:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-29 02:30:24 +0100 | Inst__ | (~Inst__@2600:1006:b039:8e06:348d:59cb:8a80:2e01) (Quit: Client closed) |
| 2025-01-29 02:32:09 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-01-29 02:32:21 +0100 | Inst_ | (~Inst_@2600:1006:b039:8e06:348d:59cb:8a80:2e01) |
| 2025-01-29 02:33:07 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-29 02:33:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-01-29 02:35:47 +0100 | <Inst_> | Let me babble a bit more: Haskell is still relevant because the readability, maintainability, purity, and comprehensibility of Haskell helps in a future age where most code is generated, because security from strong types is now paramount; you do not want the LLM to have its training data poisoned and accidentally expose your data, or worse, launch |
| 2025-01-29 02:35:48 +0100 | <Inst_> | ze missiles, and only functional programming can provide that level of security |
| 2025-01-29 02:35:48 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 245 seconds) |
| 2025-01-29 02:35:54 +0100 | <Inst_> | Sorry about this |
| 2025-01-29 02:36:26 +0100 | Inst_ | (~Inst_@2600:1006:b039:8e06:348d:59cb:8a80:2e01) (Client Quit) |
| 2025-01-29 02:38:36 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-01-29 02:43:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-29 02:44:32 +0100 | alx741 | (~alx741@186.33.188.229) (Ping timeout: 244 seconds) |
| 2025-01-29 02:47:18 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-29 02:48:33 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-01-29 02:48:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-01-29 02:49:37 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 248 seconds) |
| 2025-01-29 02:51:07 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2025-01-29 02:51:38 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-01-29 02:59:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-29 03:06:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-01-29 03:13:19 +0100 | <haskellbridge> | <Bowuigi> EvanR_ https://www.researchgate.net/publication/269080460_A_hierarchy_of_mendler_style_recursion_combinat… |
| 2025-01-29 03:14:04 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-01-29 03:15:54 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-29 03:17:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-29 03:17:20 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-29 03:17:34 +0100 | <haskellbridge> | <Bowuigi> Inst already left but an LLM would be bad (or at least harder to train) at type level magic because it is logic, not a freeform language. Something with reinforcement learning (or similar) would be better, since the problem is more similar to playing chess |
| 2025-01-29 03:19:02 +0100 | Tikosh | (~quassel@user/Tikosh) Tikosh |
| 2025-01-29 03:20:26 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Ping timeout: 252 seconds) |
| 2025-01-29 03:22:04 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-01-29 03:22:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-29 03:22:59 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-01-29 03:30:42 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-01-29 03:33:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-29 03:35:56 +0100 | AvengingFemme | (~avengingf@syn-074-076-186-205.res.spectrum.com) |
| 2025-01-29 03:37:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-01-29 03:47:44 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-01-29 03:49:11 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-29 03:56:18 +0100 | sarna | (~sarna@d224-221.icpnet.pl) (Ping timeout: 276 seconds) |
| 2025-01-29 03:56:36 +0100 | sarna | (~sarna@d224-221.icpnet.pl) sarna |
| 2025-01-29 04:05:14 +0100 | Square | (~Square@user/square) Square |
| 2025-01-29 04:05:28 +0100 | Square2 | (~Square4@user/square) (Remote host closed the connection) |
| 2025-01-29 04:05:45 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-29 04:08:19 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-29 04:10:09 +0100 | <monochrom> | Haskell will be relevant again after the LLM fad dies. |
| 2025-01-29 04:10:09 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-01-29 04:10:19 +0100 | <monochrom> | or rather, s/fad/bubble/ |
| 2025-01-29 04:10:57 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-29 04:10:57 +0100 | <monochrom> | Not to say that LLM per se will die, but all bubbles and overhypes die. Then LLM will shrink back to what it's really worth, which is still a lot. |
| 2025-01-29 04:11:39 +0100 | forell | (~forell@user/forell) (Ping timeout: 260 seconds) |
| 2025-01-29 04:12:09 +0100 | <monochrom> | For example, see how C became relevant again after the interweb bubble bursted. |
| 2025-01-29 04:13:49 +0100 | <monochrom> | Although, I heard that DeepSeek is both LLM and reinforcement learning. It may yet do something. |
| 2025-01-29 04:29:20 +0100 | forell | (~forell@user/forell) forell |
| 2025-01-29 04:32:04 +0100 | <hololeap> | deepseq `compare` DeepSeek = ... |
| 2025-01-29 04:32:22 +0100 | <monochrom> | :) |
| 2025-01-29 04:32:53 +0100 | <hololeap> | jk |
| 2025-01-29 04:32:59 +0100 | <hololeap> | I'm just in it for the puns |
| 2025-01-29 04:33:22 +0100 | <monochrom> | rnf = reinforcement network form >:) |
| 2025-01-29 04:33:36 +0100 | forell | (~forell@user/forell) (Ping timeout: 246 seconds) |
| 2025-01-29 04:38:09 +0100 | forell | (~forell@user/forell) forell |
| 2025-01-29 04:39:01 +0100 | <hololeap> | understanding natural language is really valuable for a coding AI, but it should at least be trained to never write invalid code, and ideally write code that experienced programmers would like |
| 2025-01-29 04:54:13 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2025-01-29 04:54:29 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-29 04:55:23 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-29 04:55:59 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-29 04:56:55 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-29 04:58:52 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-29 05:02:36 +0100 | Tikosh | (~quassel@user/Tikosh) (Remote host closed the connection) |
| 2025-01-29 05:07:49 +0100 | tavare | (~tavare@user/tavare) (Ping timeout: 248 seconds) |
| 2025-01-29 05:09:21 +0100 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2025-01-29 05:21:04 +0100 | tabaqui1 | (~root@87.200.129.102) (Ping timeout: 260 seconds) |
| 2025-01-29 05:23:01 +0100 | tavare | (~tavare@150.129.88.189) |
| 2025-01-29 05:23:01 +0100 | tavare | (~tavare@150.129.88.189) (Changing host) |
| 2025-01-29 05:23:01 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-01-29 05:25:07 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-29 05:25:19 +0100 | forell | (~forell@user/forell) (Ping timeout: 260 seconds) |
| 2025-01-29 05:30:51 +0100 | lockywolf | (~lockywolf@coconut.lockywolf.net) lockywolf |
| 2025-01-29 05:39:47 +0100 | comonad | (~comonad@p200300d027182d00bcfd40be9d94d2dc.dip0.t-ipconnect.de) |
| 2025-01-29 05:41:02 +0100 | forell | (~forell@user/forell) forell |
| 2025-01-29 05:42:53 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-29 05:47:19 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-01-29 05:50:14 +0100 | euleritian | (~euleritia@77.23.250.232) (Ping timeout: 260 seconds) |
| 2025-01-29 05:51:11 +0100 | euleritian | (~euleritia@dynamic-176-006-140-151.176.6.pool.telefonica.de) |
| 2025-01-29 05:53:07 +0100 | forell | (~forell@user/forell) (Ping timeout: 244 seconds) |
| 2025-01-29 05:58:54 +0100 | AvengingFemme | (~avengingf@syn-074-076-186-205.res.spectrum.com) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-01-29 05:59:12 +0100 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 272 seconds) |
| 2025-01-29 05:59:39 +0100 | Inst_ | (~Inst_@2601:6c1:786:fb0:f1f1:b264:d1dc:e467) |
| 2025-01-29 06:00:20 +0100 | forell | (~forell@user/forell) forell |
| 2025-01-29 06:00:41 +0100 | <Inst_> | monochrom: the practitioners on WeChat, I forget if they're doing Haskell, have already swapped to LLM / reinforcement learning AI for smaller coding tasks, with developer validation to guarantee coherency |
| 2025-01-29 06:03:25 +0100 | <Inst_> | It does seem harder, however, to get the architecture right, especially for a language like Haskell when the software architecture can be rather subjective |
| 2025-01-29 06:06:48 +0100 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
| 2025-01-29 06:09:30 +0100 | <monochrom> | I am not surprised that Haskell is harder to learn, but this is just due to having fewer examples to learn from. Even humans complain that there are not enough learning resources, so nevermind machines. This is just networking effect again (pun intended!). |
| 2025-01-29 06:14:10 +0100 | Inst_ | (~Inst_@2601:6c1:786:fb0:f1f1:b264:d1dc:e467) (Ping timeout: 240 seconds) |
| 2025-01-29 06:15:26 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-01-29 06:18:54 +0100 | michalz | (~michalz@185.246.207.222) |
| 2025-01-29 06:22:16 +0100 | Inst_ | (~Inst_@2601:6c1:786:fb0:f1f1:b264:d1dc:e467) |
| 2025-01-29 06:22:46 +0100 | <Inst_> | In the Haskell case, I think it's because there's so much variation in style |
| 2025-01-29 06:28:56 +0100 | alp_ | (~alp@2001:861:8ca0:4940:7256:930c:e9bd:85d0) (Remote host closed the connection) |
| 2025-01-29 06:29:14 +0100 | alp_ | (~alp@2001:861:8ca0:4940:e12c:836d:ea5e:ec4e) |
| 2025-01-29 06:31:36 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-29 06:34:02 +0100 | Inst_ | (~Inst_@2601:6c1:786:fb0:f1f1:b264:d1dc:e467) (Quit: Client closed) |
| 2025-01-29 06:35:42 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-29 06:37:51 +0100 | forell_ | (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) |
| 2025-01-29 06:38:14 +0100 | forell | (~forell@user/forell) (Ping timeout: 260 seconds) |
| 2025-01-29 06:43:06 +0100 | Inst_ | (~Inst_@2601:6c1:786:fb0:f1f1:b264:d1dc:e467) |
| 2025-01-29 06:46:30 +0100 | Guest62 | (~Guest62@c-73-217-79-154.hsd1.co.comcast.net) |
| 2025-01-29 06:47:41 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-29 06:47:58 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-29 06:47:58 +0100 | tnt2 | tnt1 |
| 2025-01-29 06:51:52 +0100 | alp_ | (~alp@2001:861:8ca0:4940:e12c:836d:ea5e:ec4e) (Remote host closed the connection) |
| 2025-01-29 06:52:09 +0100 | alp_ | (~alp@2001:861:8ca0:4940:3a35:f14:2955:91dd) |
| 2025-01-29 06:52:40 +0100 | Inst_ | (~Inst_@2601:6c1:786:fb0:f1f1:b264:d1dc:e467) (Ping timeout: 240 seconds) |
| 2025-01-29 06:55:04 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2025-01-29 06:56:11 +0100 | alp_ | (~alp@2001:861:8ca0:4940:3a35:f14:2955:91dd) (Remote host closed the connection) |
| 2025-01-29 06:56:29 +0100 | alp_ | (~alp@2001:861:8ca0:4940:f8f:81fa:f83b:c58) |
| 2025-01-29 06:59:58 +0100 | ft | (~ft@p3e9bcd97.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-01-29 07:01:27 +0100 | cheater_ | (~Username@user/cheater) cheater |
| 2025-01-29 07:03:48 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2025-01-29 07:03:51 +0100 | alp_ | (~alp@2001:861:8ca0:4940:f8f:81fa:f83b:c58) (Remote host closed the connection) |
| 2025-01-29 07:03:55 +0100 | cheater_ | cheater |
| 2025-01-29 07:16:12 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-01-29 07:19:20 +0100 | euleritian | (~euleritia@dynamic-176-006-140-151.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-29 07:19:37 +0100 | euleritian | (~euleritia@37.4.249.244) |
| 2025-01-29 07:20:41 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-29 07:25:00 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-29 07:28:44 +0100 | Guest27 | (~Guest29@2405:201:a004:8119:c4f6:c56f:a645:2518) |
| 2025-01-29 07:29:08 +0100 | Guest27 | (~Guest29@2405:201:a004:8119:c4f6:c56f:a645:2518) (Client Quit) |
| 2025-01-29 07:51:21 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-29 07:51:27 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f98a8e4230c2ef41ca4.dip0.t-ipconnect.de) |
| 2025-01-29 07:52:34 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 2025-01-29 07:52:35 +0100 | tnt2 | tnt1 |
| 2025-01-29 08:08:52 +0100 | <dminuoso> | It's also the fact that Haskell is a niche language, which leads to far fewer code examples including natural language descriptions of said examples. |
| 2025-01-29 08:09:41 +0100 | <dminuoso> | Coupled with the fact that those examples that are discussed tend to be rather complicated, say you have discussions relating to advanced typing features or maybe category theory, it is hard to learn from these samples alone. |
| 2025-01-29 08:09:45 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-29 08:11:51 +0100 | CiaoSen | (~Jura@2a05:5800:21f:5000:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-29 08:11:54 +0100 | <dminuoso> | Language models not producing valid code (in the sense of syntax or typing) is a problem that in principle is solveable by multimodality, just not with the current popular architectures. |
| 2025-01-29 08:12:34 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 260 seconds) |
| 2025-01-29 08:13:43 +0100 | <ski> | wonder how they fare at distinguishing say C from C++ |
| 2025-01-29 08:13:53 +0100 | <ski> | (or different C standards) |
| 2025-01-29 08:14:10 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-29 08:15:45 +0100 | <dminuoso> | C++ is a bit of an extreme example, given that not even humans are able to accurately describe some of its semantics - even the ISO committee at times has debates what some of the standard really means. |
| 2025-01-29 08:23:03 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-01-29 08:36:38 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-29 08:37:40 +0100 | myme | (~myme@2a01:799:d5a:d600:a612:2e19:c074:a774) myme |
| 2025-01-29 08:42:16 +0100 | Googulator | (~Googulato@2a01-036d-0106-1666-e945-fd21-b920-9aa7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-01-29 08:42:26 +0100 | Googulator | (~Googulato@2a01-036d-0106-1666-e945-fd21-b920-9aa7.pool6.digikabel.hu) |
| 2025-01-29 08:46:58 +0100 | Googulator | (~Googulato@2a01-036d-0106-1666-e945-fd21-b920-9aa7.pool6.digikabel.hu) (Client Quit) |
| 2025-01-29 08:47:07 +0100 | Googulator | (~Googulato@2a01-036d-0106-1666-e945-fd21-b920-9aa7.pool6.digikabel.hu) |
| 2025-01-29 08:52:21 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2025-01-29 08:53:24 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 260 seconds) |
| 2025-01-29 08:53:34 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-29 08:55:52 +0100 | tnt2 | tnt1 |
| 2025-01-29 08:56:40 +0100 | Guest62 | (~Guest62@c-73-217-79-154.hsd1.co.comcast.net) (Ping timeout: 240 seconds) |
| 2025-01-29 08:58:29 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-29 08:59:12 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2025-01-29 09:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-29 09:00:40 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-29 09:02:53 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-01-29 09:03:24 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-01-29 09:07:59 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-29 09:10:08 +0100 | jumper | (~pcx180e@ip70-189-158-113.lv.lv.cox.net) pcx180e |
| 2025-01-29 09:11:21 +0100 | jumper | (~pcx180e@ip70-189-158-113.lv.lv.cox.net) (Max SendQ exceeded) |
| 2025-01-29 09:11:45 +0100 | jumper | (~pcx180e@ip70-189-158-113.lv.lv.cox.net) pcx180e |
| 2025-01-29 09:15:15 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-29 09:20:59 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f98a8e4230c2ef41ca4.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-01-29 09:33:44 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-01-29 09:34:50 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-29 09:37:38 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f98a8e4230c2ef41ca4.dip0.t-ipconnect.de) acidjnk |
| 2025-01-29 09:38:47 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Quit: Leaving) |
| 2025-01-29 09:39:29 +0100 | jumper | (~pcx180e@ip70-189-158-113.lv.lv.cox.net) (Ping timeout: 260 seconds) |
| 2025-01-29 09:42:58 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2025-01-29 09:44:33 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2025-01-29 09:47:54 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-29 09:52:02 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-29 09:54:14 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 260 seconds) |
| 2025-01-29 09:54:24 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-29 09:56:44 +0100 | tnt2 | tnt1 |
| 2025-01-29 09:58:47 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-29 10:00:49 +0100 | jumper | (~pcx180e@ip70-189-158-113.lv.lv.cox.net) pcx180e |
| 2025-01-29 10:09:46 +0100 | jumper | (~pcx180e@ip70-189-158-113.lv.lv.cox.net) (Quit: WeeChat 4.5.1) |
| 2025-01-29 10:10:28 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-01-29 10:14:24 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-29 10:22:17 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-29 10:25:22 +0100 | jumper | (~pcx180e@ip70-189-158-113.lv.lv.cox.net) pcx180e |
| 2025-01-29 10:36:58 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-29 10:39:09 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-01-29 10:41:09 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-01-29 10:42:16 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-01-29 10:44:12 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-29 10:45:14 +0100 | <haskellbridge> | <maerwald> Isn't C++ parsing ambiguous? |
| 2025-01-29 10:50:04 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-01-29 10:50:22 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-29 10:50:48 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 252 seconds) |
| 2025-01-29 10:51:27 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-29 10:51:35 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3507-08a6-d17b-6187-52e1-3497.rev.sfr.net) alexherbo2 |
| 2025-01-29 10:55:40 +0100 | <tomsmeding> | if yuo don't keep a symbol table while parsing, yes |
| 2025-01-29 10:56:01 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-01-29 10:57:02 +0100 | chele | (~chele@user/chele) chele |
| 2025-01-29 10:57:19 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-29 10:57:26 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds) |
| 2025-01-29 10:58:59 +0100 | <int-e> | https://blog.reverberate.org/2013/08/parsing-c-is-literally-undecidable.html |
| 2025-01-29 10:59:14 +0100 | <int-e> | (different but related question) |
| 2025-01-29 10:59:19 +0100 | monochrom | (trebla@216.138.220.146) |
| 2025-01-29 10:59:47 +0100 | <dminuoso> | My favourite example is that you cannot give any explanation of what `constexpr` in C++ does exactly, if you consider its strange and baffling interactions with template instantiations and `friend` in mind. |
| 2025-01-29 11:00:09 +0100 | <dminuoso> | It's certainly not `constant at compile-time`. |
| 2025-01-29 11:00:21 +0100 | <dminuoso> | It's `mostly constant at compile-time, except when its not` |
| 2025-01-29 11:01:23 +0100 | <dminuoso> | Or perhaps `possible to evaluate at compile-time, but not necessarily constant/pure` |
| 2025-01-29 11:17:23 +0100 | jumper | (~pcx180e@ip70-189-158-113.lv.lv.cox.net) (Quit: WeeChat 4.5.1) |
| 2025-01-29 11:20:07 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-01-29 11:20:08 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-01-29 11:21:02 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-29 11:21:02 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-29 11:22:13 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-01-29 11:24:52 +0100 | notzmv | (~umar@user/notzmv) (Read error: Connection reset by peer) |
| 2025-01-29 11:25:42 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-29 11:29:25 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3507-08a6-d17b-6187-52e1-3497.rev.sfr.net) (Remote host closed the connection) |
| 2025-01-29 11:29:45 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3507-08a6-d17b-6187-52e1-3497.rev.sfr.net) alexherbo2 |
| 2025-01-29 11:30:07 +0100 | <probie> | Difficulty in parsing or ambiguous semantics are a problem for a compiler, or someone trying to comprehend code that does "silly things". It is not a problem for code generation, since one can stick to a known and sane subset |
| 2025-01-29 11:30:19 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-01-29 11:31:13 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3507-08a6-d17b-6187-52e1-3497.rev.sfr.net) (Remote host closed the connection) |
| 2025-01-29 11:32:04 +0100 | <dminuoso> | probie: If a language model was trained with only a subset of the syntax, it could not recognize all valid programs. |
| 2025-01-29 11:32:15 +0100 | <dminuoso> | Or describe them. |
| 2025-01-29 11:32:26 +0100 | <dminuoso> | As it would (rightfully) reject them as invalid programs. |
| 2025-01-29 11:38:13 +0100 | CiaoSen | (~Jura@2a05:5800:21f:5000:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds) |
| 2025-01-29 11:44:16 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-01-29 11:53:02 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-01-29 11:54:23 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-29 11:59:00 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-01-29 12:00:07 +0100 | xff0x | (~xff0x@ai096095.d.east.v6connect.net) |
| 2025-01-29 12:00:09 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-29 12:05:19 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-01-29 12:06:12 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-29 12:06:42 +0100 | <probie> | which is the same as your average c++ developer |
| 2025-01-29 12:07:05 +0100 | <probie> | albeit _much_ faster to "give up" |
| 2025-01-29 12:11:09 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-01-29 12:12:10 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-29 12:12:35 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-01-29 12:14:45 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-29 12:16:18 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-01-29 12:17:44 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-01-29 12:17:48 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-29 12:19:29 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-01-29 12:22:24 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-01-29 12:23:28 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-29 12:25:39 +0100 | CryptLab | (NSA@gateway/vpn/protonvpn/commanderbond007) CommanderBond007 |
| 2025-01-29 12:26:56 +0100 | Googulator | (~Googulato@2a01-036d-0106-1666-e945-fd21-b920-9aa7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-01-29 12:27:08 +0100 | Googulator | (~Googulato@2a01-036d-0106-1666-e945-fd21-b920-9aa7.pool6.digikabel.hu) |
| 2025-01-29 12:27:51 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-01-29 12:29:19 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-29 12:32:44 +0100 | xff0x | (~xff0x@ai096095.d.east.v6connect.net) (Ping timeout: 260 seconds) |
| 2025-01-29 12:34:09 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-01-29 12:35:29 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-29 12:40:19 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-01-29 12:41:19 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-29 12:43:16 +0100 | ridcully | (~ridcully@p57b52ec2.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-29 12:44:01 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-01-29 12:44:21 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-29 12:44:21 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-29 12:51:01 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-29 12:53:21 +0100 | ridcully | (~ridcully@p508ac166.dip0.t-ipconnect.de) ridcully |
| 2025-01-29 12:53:44 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-01-29 12:55:14 +0100 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 244 seconds) |
| 2025-01-29 12:57:31 +0100 | Googulator | (~Googulato@2a01-036d-0106-1666-e945-fd21-b920-9aa7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-01-29 12:57:42 +0100 | Googulator | (~Googulato@2a01-036d-0106-1666-e945-fd21-b920-9aa7.pool6.digikabel.hu) |
| 2025-01-29 12:58:13 +0100 | euleritian | (~euleritia@37.4.249.244) (Ping timeout: 248 seconds) |
| 2025-01-29 12:58:45 +0100 | euleritian | (~euleritia@dynamic-176-006-128-205.176.6.pool.telefonica.de) |
| 2025-01-29 12:58:55 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-01-29 13:00:44 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-01-29 13:01:27 +0100 | AlexNoo_ | (~AlexNoo@178.34.150.8) |
| 2025-01-29 13:01:27 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-01-29 13:03:30 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-29 13:03:48 +0100 | AlexZenon | (~alzenon@178.34.161.66) (Ping timeout: 252 seconds) |
| 2025-01-29 13:04:08 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2025-01-29 13:04:54 +0100 | AlexNoo | (~AlexNoo@178.34.161.66) (Ping timeout: 252 seconds) |
| 2025-01-29 13:07:55 +0100 | AlexZenon | (~alzenon@178.34.150.8) |
| 2025-01-29 13:08:19 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-01-29 13:11:46 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-29 13:12:32 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-29 13:13:04 +0100 | euleritian | (~euleritia@dynamic-176-006-128-205.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-29 13:13:22 +0100 | euleritian | (~euleritia@ip2504f9f4.dynamic.kabel-deutschland.de) |
| 2025-01-29 13:13:59 +0100 | jespada | (~jespada@2800:a4:2212:2000:f4bf:aab4:9dc8:9f86) jespada |
| 2025-01-29 13:17:06 +0100 | xff0x | (~xff0x@2405:6580:b080:900:dc88:7fed:aa57:a617) |
| 2025-01-29 13:17:24 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-29 13:20:33 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Ping timeout: 244 seconds) |
| 2025-01-29 13:20:54 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-01-29 13:23:25 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-29 13:26:57 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-01-29 13:28:00 +0100 | Digit | (~user@user/digit) (Ping timeout: 244 seconds) |
| 2025-01-29 13:28:19 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-01-29 13:30:51 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 246 seconds) |
| 2025-01-29 13:31:39 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-01-29 13:33:57 +0100 | jespada | (~jespada@2800:a4:2212:2000:f4bf:aab4:9dc8:9f86) (Ping timeout: 265 seconds) |
| 2025-01-29 13:37:35 +0100 | jespada | (~jespada@2800:a4:233a:c100:54a7:9cf:559c:5457) jespada |
| 2025-01-29 13:37:43 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-01-29 13:37:49 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Quit: tnt1) |
| 2025-01-29 13:37:53 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-01-29 13:40:19 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-29 13:46:26 +0100 | <dminuoso> | Is there a name for an interval where the beginning and end are the same value? |
| 2025-01-29 13:47:20 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-29 13:47:28 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:e3f2:e424:de6:e191) ubert |
| 2025-01-29 13:49:16 +0100 | <probie> | A point? |
| 2025-01-29 13:52:14 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-29 13:53:01 +0100 | <dminuoso> | Ah the wiki page of interval suggests "degenerate interval" |
| 2025-01-29 13:53:37 +0100 | <dminuoso> | Ohh, I accidentally arrived on the simple.wikipedia.org page first, which is why I did not see this before. |
| 2025-01-29 13:56:24 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-01-29 13:59:25 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-29 14:00:34 +0100 | tabaqui1 | (~root@87.200.129.102) tabaqui |
| 2025-01-29 14:03:04 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2025-01-29 14:03:04 +0100 | ljdarj1 | ljdarj |
| 2025-01-29 14:19:00 +0100 | AlexNoo_ | AlexNoo |
| 2025-01-29 14:19:30 +0100 | euleritian | (~euleritia@ip2504f9f4.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2025-01-29 14:20:03 +0100 | euleritian | (~euleritia@ip2504f9fa.dynamic.kabel-deutschland.de) |
| 2025-01-29 14:20:21 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-29 14:22:15 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2025-01-29 14:24:28 +0100 | euleritian | (~euleritia@ip2504f9fa.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-01-29 14:31:09 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-01-29 14:31:15 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-01-29 14:35:05 +0100 | euleritian | (~euleritia@ip2504f9f2.dynamic.kabel-deutschland.de) |
| 2025-01-29 14:36:04 +0100 | AvengingFemme | (~avengingf@syn-074-076-186-205.res.spectrum.com) |
| 2025-01-29 14:37:14 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-01-29 14:38:58 +0100 | alx741 | (~alx741@186.33.188.229) |
| 2025-01-29 14:40:58 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-29 14:41:38 +0100 | <dminuoso> | Is there some builtin glue for exit(2) in GHC haskell? |
| 2025-01-29 14:42:32 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-29 14:43:16 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2025-01-29 14:45:29 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-01-29 14:45:29 +0100 | <tomsmeding> | don't think so |
| 2025-01-29 14:45:53 +0100 | <tomsmeding> | exitWith and friends throw an exception, which is slower and which you can catch |
| 2025-01-29 14:47:26 +0100 | <dminuoso> | exitWith being an exception will get caught and considerable change the state of the problem I want to diagnose. |
| 2025-01-29 14:47:48 +0100 | <tomsmeding> | FFI it is, I'm fairly sure |
| 2025-01-29 14:48:05 +0100 | <dminuoso> | Alright, Ill do it via FFI then. |
| 2025-01-29 14:48:07 +0100 | <Hecate> | yeah, drop down to FFI directly I'd say |
| 2025-01-29 14:48:09 +0100 | <Hecate> | hi hi dminuoso btw :) |
| 2025-01-29 14:48:14 +0100 | <dminuoso> | o/ |
| 2025-01-29 14:48:16 +0100 | <Hecate> | how are you doing? |
| 2025-01-29 14:48:18 +0100 | <geekosaur> | https://downloads.haskell.org/ghc/latest/docs/libraries/unix-2.8.6.0-e212/System-Posix-Process.htm… |
| 2025-01-29 14:49:18 +0100 | <dminuoso> | Hecate: Doing great, back to doing Haskell things finally. |
| 2025-01-29 14:49:22 +0100 | <dminuoso> | How are you? |
| 2025-01-29 14:49:38 +0100 | <tomsmeding> | ah, right, exit(3) is only helpful over _exit(2) if you're in C and you have C stdio streams |
| 2025-01-29 14:49:43 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-01-29 14:49:45 +0100 | <dminuoso> | geekosaur: Mmm I think Ill just copy the implementation of that, thats all I want. |
| 2025-01-29 14:49:49 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-01-29 14:51:08 +0100 | <dminuoso> | tomsmeding: Right, I mean exit(3) would be fine too I think (though I honestly dont know what kind of atexit and on_exit handlers the RTS has installed) |
| 2025-01-29 14:51:30 +0100 | <dminuoso> | Not that I think the RTS would finger around in my database, but know whos what kind of exception handlers can install these things via RTS |
| 2025-01-29 14:52:04 +0100 | <dminuoso> | Really want this process to ruthlessly stop in a particular spot so I can experiment with the database state. |
| 2025-01-29 14:52:37 +0100 | <Hecate> | dminuoso: glad to hear! personally I'm trying to spare some energy for non-haskell stuff but I feel like the barrier to entry to *anything* is too high 😭 |
| 2025-01-29 14:52:57 +0100 | <Hecate> | I'd like to do some GUI programming some day |
| 2025-01-29 14:54:12 +0100 | <dminuoso> | Oh GUI, long time since I did any of that work. |
| 2025-01-29 14:54:28 +0100 | <dminuoso> | (Though do web interfaces count? Not sure) |
| 2025-01-29 14:54:42 +0100 | <Hecate> | they do, but I'm more interested in desktop toolkits |
| 2025-01-29 14:55:06 +0100 | <dminuoso> | Well I did plenty of react some years ago, guess that counts even for desktop. |
| 2025-01-29 14:55:15 +0100 | <Hecate> | I want to prototype a new way for CLI applications to send cosmetic metadata and control sequences to terminals |
| 2025-01-29 14:55:17 +0100 | <dminuoso> | What drives your GUI interests? |
| 2025-01-29 14:55:22 +0100 | <Hecate> | but that means writing a whole new terminal |
| 2025-01-29 14:55:36 +0100 | <dminuoso> | Terminals are.. complicated. |
| 2025-01-29 14:55:50 +0100 | <Hecate> | only if you emulate VT100 |
| 2025-01-29 14:55:54 +0100 | <Hecate> | well, that's not true |
| 2025-01-29 14:55:57 +0100 | <Hecate> | they're GUIs |
| 2025-01-29 14:56:00 +0100 | <Hecate> | which are complicated |
| 2025-01-29 14:56:02 +0100 | <dminuoso> | If it was only VT100 it was simple. |
| 2025-01-29 14:57:01 +0100 | <Hecate> | true, VT100 + numerous extensions |
| 2025-01-29 14:57:08 +0100 | <Hecate> | but I don't care for backwards compatibility |
| 2025-01-29 14:59:13 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-29 15:01:56 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-29 15:03:58 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-29 15:06:45 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-29 15:06:48 +0100 | <[exa]> | Hecate: write a emulator that renders your terminal into a normal terminal, like tmux or so |
| 2025-01-29 15:07:15 +0100 | <[exa]> | I even think there's something on hackage that already does so |
| 2025-01-29 15:10:39 +0100 | <[exa]> | Hecate: re GUI programming, have a look at imgui, that's truly lovely. I want to make a full haskell port someday |
| 2025-01-29 15:17:36 +0100 | <Hecate> | I see that someone's made bindings to iced! |
| 2025-01-29 15:17:45 +0100 | <Hecate> | https://github.com/ibaryshnikov/iced-hs?tab=readme-ov-file |
| 2025-01-29 15:18:17 +0100 | <Hecate> | < [exa]> Hecate: write a emulator that renders your terminal into a normal terminal, like tmux or so // Hmm, but do I want to deal with the madness of traditional terminals…? |
| 2025-01-29 15:18:20 +0100 | <Hecate> | :D |
| 2025-01-29 15:18:33 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-29 15:18:56 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-29 15:18:57 +0100 | <dminuoso> | Hey you said you wanted to write a terminal. You didn't say anything about staying sane. |
| 2025-01-29 15:19:12 +0100 | <[exa]> | Hecate: there's vty and/or brick on the terminal side that wraps ncurses for you, you don't need to deal with that; on the other side you have "your" protocol which may be sane |
| 2025-01-29 15:19:50 +0100 | <merijn> | [exa]: Those do not wrap ncurses |
| 2025-01-29 15:20:32 +0100 | <merijn> | vty is an alternative to ncurses |
| 2025-01-29 15:20:39 +0100 | <[exa]> | ah ok, even better then |
| 2025-01-29 15:20:41 +0100 | <merijn> | There are also actual ncurses wrappers |
| 2025-01-29 15:21:19 +0100 | <dminuoso> | Does hspec have some kind of `bracket` equivalent? I cant seem to find anything like after__ :: (a -> IO b) -> SpecWith a -> SpecWith b |
| 2025-01-29 15:21:36 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2025-01-29 15:21:39 +0100 | ljdarj1 | ljdarj |
| 2025-01-29 15:21:42 +0100 | <dminuoso> | All I want is to setup/teardown of some test environment |
| 2025-01-29 15:21:56 +0100 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-01-29 15:21:57 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 252 seconds) |
| 2025-01-29 15:23:01 +0100 | <merijn> | dminuoso: In my experience pseudo english DSLs like hspec hate predictability, so I'm not sure if that even exists |
| 2025-01-29 15:26:37 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-01-29 15:26:50 +0100 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 244 seconds) |
| 2025-01-29 15:28:44 +0100 | <tomsmeding> | dminuoso: atexit is very much a C convenience thing, I would be highly surprised if the GHC RTS uses that |
| 2025-01-29 15:30:02 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-29 15:34:04 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-29 16:03:18 +0100 | euleritian | (~euleritia@ip2504f9f2.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2025-01-29 16:03:33 +0100 | euleritian | (~euleritia@dynamic-176-006-148-011.176.6.pool.telefonica.de) |
| 2025-01-29 16:12:45 +0100 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-01-29 16:19:27 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-29 16:23:44 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-01-29 16:25:02 +0100 | <ski> | dminuoso : singleton |
| 2025-01-29 16:25:32 +0100 | <ski> | (arguably, the empty interval is also degenerate) |
| 2025-01-29 16:29:09 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-01-29 16:29:11 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3507-08a6-c463-935b-3b7a-b020.rev.sfr.net) alexherbo2 |
| 2025-01-29 16:31:23 +0100 | Googulator | (~Googulato@2a01-036d-0106-1666-e945-fd21-b920-9aa7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-01-29 16:31:34 +0100 | Googulator | (~Googulato@2a01-036d-0106-1666-e945-fd21-b920-9aa7.pool6.digikabel.hu) |
| 2025-01-29 16:32:59 +0100 | AvengingFemme | (~avengingf@syn-074-076-186-205.res.spectrum.com) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-01-29 16:43:39 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3507-08a6-c463-935b-3b7a-b020.rev.sfr.net) (Remote host closed the connection) |
| 2025-01-29 16:44:50 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3507-08a6-ec9e-982a-3088-f0dc.rev.sfr.net) alexherbo2 |
| 2025-01-29 16:48:11 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 252 seconds) |
| 2025-01-29 16:48:27 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3507-08a6-ec9e-982a-3088-f0dc.rev.sfr.net) (Remote host closed the connection) |
| 2025-01-29 16:51:26 +0100 | Googulator | (~Googulato@2a01-036d-0106-1666-e945-fd21-b920-9aa7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-01-29 16:51:39 +0100 | Googulator | (~Googulato@2a01-036d-0106-1666-e945-fd21-b920-9aa7.pool6.digikabel.hu) |
| 2025-01-29 16:53:14 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
| 2025-01-29 16:53:36 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2025-01-29 17:00:53 +0100 | EvanR_ | EvanR |
| 2025-01-29 17:06:25 +0100 | ystael | (~ystael@user/ystael) (Read error: Connection reset by peer) |
| 2025-01-29 17:06:32 +0100 | ystael_ | (~ystael@user/ystael) ystael |
| 2025-01-29 17:10:31 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-29 17:11:00 +0100 | Digitteknohippie | Digit |
| 2025-01-29 17:15:19 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-01-29 17:17:54 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-01-29 17:18:34 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Quit: leaving) |
| 2025-01-29 17:20:04 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-29 17:21:30 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-29 17:25:17 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Remote host closed the connection) |
| 2025-01-29 17:27:20 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-29 17:31:29 +0100 | Googulator | (~Googulato@2a01-036d-0106-1666-e945-fd21-b920-9aa7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-01-29 17:31:42 +0100 | Googulator | (~Googulato@2a01-036d-0106-1666-e945-fd21-b920-9aa7.pool6.digikabel.hu) |
| 2025-01-29 17:33:11 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Remote host closed the connection) |
| 2025-01-29 17:34:16 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-29 17:34:44 +0100 | alexherbo2 | (~alexherbo@2a02-8440-350b-d904-9c9f-5add-5913-cca5.rev.sfr.net) alexherbo2 |
| 2025-01-29 17:38:39 +0100 | alexherbo2 | (~alexherbo@2a02-8440-350b-d904-9c9f-5add-5913-cca5.rev.sfr.net) (Remote host closed the connection) |
| 2025-01-29 17:39:49 +0100 | alexherbo2 | (~alexherbo@2a02-8440-350b-d904-e984-fc9a-d95c-3341.rev.sfr.net) alexherbo2 |
| 2025-01-29 17:43:30 +0100 | alexherbo2 | (~alexherbo@2a02-8440-350b-d904-e984-fc9a-d95c-3341.rev.sfr.net) (Remote host closed the connection) |
| 2025-01-29 17:44:28 +0100 | Googulator | (~Googulato@2a01-036d-0106-1666-e945-fd21-b920-9aa7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-01-29 17:44:40 +0100 | Googulator | (~Googulato@2a01-036d-0106-1666-e945-fd21-b920-9aa7.pool6.digikabel.hu) |
| 2025-01-29 17:45:30 +0100 | jespada | (~jespada@2800:a4:233a:c100:54a7:9cf:559c:5457) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-01-29 17:48:48 +0100 | AlexNoo_ | (~AlexNoo@178.34.150.8) |
| 2025-01-29 17:49:25 +0100 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) (Remote host closed the connection) |
| 2025-01-29 17:49:25 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Read error: Connection reset by peer) |
| 2025-01-29 17:49:40 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2025-01-29 17:49:50 +0100 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) sam113101 |
| 2025-01-29 17:52:03 +0100 | AlexNoo | (~AlexNoo@178.34.150.8) (Ping timeout: 265 seconds) |
| 2025-01-29 17:54:26 +0100 | AvengingFemme | (~avengingf@syn-074-076-186-205.res.spectrum.com) |
| 2025-01-29 17:55:25 +0100 | AlexNoo_ | AlexNoo |
| 2025-01-29 17:59:35 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-29 18:01:21 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-01-29 18:01:37 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-01-29 18:02:16 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-01-29 18:03:41 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-29 18:04:49 +0100 | byorgey | (~byorgey@user/byorgey) (Quit: leaving) |
| 2025-01-29 18:13:15 +0100 | euleritian | (~euleritia@dynamic-176-006-148-011.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2025-01-29 18:18:05 +0100 | euleritian | (~euleritia@dynamic-176-007-195-185.176.7.pool.telefonica.de) |
| 2025-01-29 18:18:12 +0100 | jespada | (~jespada@2800:a4:233a:c100:54a7:9cf:559c:5457) jespada |
| 2025-01-29 18:29:19 +0100 | sprotte24 | (~sprotte24@p200300d16f066800e58385d4d3a6ab2d.dip0.t-ipconnect.de) |
| 2025-01-29 18:30:07 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-29 18:30:32 +0100 | alexherbo2 | (~alexherbo@2a02-8440-350b-d904-d98a-c792-4861-de09.rev.sfr.net) alexherbo2 |
| 2025-01-29 18:32:23 +0100 | euleritian | (~euleritia@dynamic-176-007-195-185.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-29 18:32:41 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-29 18:34:30 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-01-29 18:39:16 +0100 | Katarushisu8 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2025-01-29 18:39:30 +0100 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Read error: Connection reset by peer) |
| 2025-01-29 18:39:30 +0100 | Katarushisu8 | Katarushisu |
| 2025-01-29 18:48:19 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-29 18:52:29 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-29 18:58:07 +0100 | jespada | (~jespada@2800:a4:233a:c100:54a7:9cf:559c:5457) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-01-29 18:59:33 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:e3f2:e424:de6:e191) (Quit: ubert) |
| 2025-01-29 19:05:31 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2025-01-29 19:06:39 +0100 | euleritian | (~euleritia@dynamic-176-007-195-185.176.7.pool.telefonica.de) |
| 2025-01-29 19:11:38 +0100 | alexherbo2 | (~alexherbo@2a02-8440-350b-d904-d98a-c792-4861-de09.rev.sfr.net) (Remote host closed the connection) |
| 2025-01-29 19:11:57 +0100 | alexherbo2 | (~alexherbo@2a02-8440-350b-d904-d98a-c792-4861-de09.rev.sfr.net) alexherbo2 |
| 2025-01-29 19:12:44 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-29 19:18:39 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2025-01-29 19:20:30 +0100 | mud | (~mud@user/kadoban) (Remote host closed the connection) |
| 2025-01-29 19:22:05 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-01-29 19:28:26 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-29 19:28:49 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-29 19:30:37 +0100 | user_ | (~user@user/fmira) fmira |
| 2025-01-29 19:32:35 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-01-29 19:33:12 +0100 | fmira | (~user@user/fmira) (Ping timeout: 264 seconds) |
| 2025-01-29 19:37:23 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-29 19:37:24 +0100 | zero | (~z@user/zero) (Ping timeout: 260 seconds) |
| 2025-01-29 19:37:48 +0100 | ft | (~ft@p3e9bcd97.dip0.t-ipconnect.de) ft |
| 2025-01-29 19:37:58 +0100 | Square | (~Square@user/square) Square |
| 2025-01-29 19:42:00 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2025-01-29 19:42:04 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-01-29 19:44:23 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-01-29 19:45:25 +0100 | fun-safe-math | (~fun-safe-@2601:1c2:1b7f:801f:fa00:fd40:df55:721e) (Quit: No Ping reply in 180 seconds.) |
| 2025-01-29 19:46:40 +0100 | fun-safe-math | (~fun-safe-@2601:1c2:1b7f:801f:615b:f09:507b:cda6) fun-safe-math |
| 2025-01-29 19:51:24 +0100 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 260 seconds) |
| 2025-01-29 20:04:05 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-01-29 20:04:16 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-29 20:11:40 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-01-29 20:16:25 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-01-29 20:19:40 +0100 | jespada | (~jespada@2800:a4:233a:c100:54a7:9cf:559c:5457) jespada |
| 2025-01-29 20:23:04 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 260 seconds) |
| 2025-01-29 20:27:47 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-29 20:29:29 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-01-29 20:32:14 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-29 20:37:49 +0100 | monochrm | (trebla@216.138.220.146) |
| 2025-01-29 20:39:08 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 245 seconds) |
| 2025-01-29 20:39:09 +0100 | monochrm | monochrom |
| 2025-01-29 20:49:41 +0100 | Midjak | (~MarciZ@82.66.147.146) Midjak |
| 2025-01-29 20:50:08 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-29 21:00:03 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-29 21:00:41 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-29 21:01:28 +0100 | zaquest_ | (~notzaques@5.130.79.72) |
| 2025-01-29 21:04:00 +0100 | zaquest_ | zaquest |
| 2025-01-29 21:04:42 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-29 21:10:23 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-01-29 21:10:39 +0100 | <fr33domlover> | sm: Turning off ipv6 fixed the issue (but I wonder why, what's the point of ipv6 if it doesn't work) |
| 2025-01-29 21:11:03 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-01-29 21:11:44 +0100 | <EvanR> | if turning off ipv6 fixes something then your network is broken |
| 2025-01-29 21:11:45 +0100 | <haskellbridge> | <sm> fr33domlover: good to know! |
| 2025-01-29 21:12:01 +0100 | <haskellbridge> | <sm> or github has a misconfiguration |
| 2025-01-29 21:12:36 +0100 | <EvanR> | doubting ipv6 right is like doubting UTF-8 encoding right now (somehow a thing people do lol) |
| 2025-01-29 21:12:39 +0100 | <EvanR> | right now* |
| 2025-01-29 21:13:42 +0100 | <haskellbridge> | <sm> "fping -6 raw.githubusercontent.com" says no route to host (or with -l, says timed out). Maybe someone can say what exactly is wrong |
| 2025-01-29 21:14:10 +0100 | <fr33domlover> | I was doing `git push` via SSH to some repo (on codeberg.org) and that also failed until I turned off ipv6... some other time I'll check more websites (overall my internet connection was working though) |
| 2025-01-29 21:14:30 +0100 | <c_wraith> | it doesn't always mean the network is broken. Sometimes it means the software is broken. |
| 2025-01-29 21:17:20 +0100 | <haskellbridge> | <sm> oh interesting, there's a ping6 (intentionally kept separate from ping) |
| 2025-01-29 21:17:43 +0100 | <haskellbridge> | <sm> and it too says no route, for me |
| 2025-01-29 21:18:23 +0100 | <haskellbridge> | <sm> maybe _I_ have ipv6 turned off... |
| 2025-01-29 21:19:05 +0100 | <geekosaur> | traceroute |
| 2025-01-29 21:19:13 +0100 | <geekosaur> | (traceroute6 might be separate) |
| 2025-01-29 21:19:28 +0100 | <haskellbridge> | <sm> tis! |
| 2025-01-29 21:19:29 +0100 | <geekosaur> | (I can't check as my ISP only offers IPv6 to business users, wtf) |
| 2025-01-29 21:19:30 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 244 seconds) |
| 2025-01-29 21:19:38 +0100 | <haskellbridge> | <sm> traceroute6: Warning: raw.githubusercontent.com has multiple addresses; using 2606:50c0:8000::154 |
| 2025-01-29 21:19:38 +0100 | <haskellbridge> | connect: No route to host |
| 2025-01-29 21:19:41 +0100 | <geekosaur> | actually I prefer mtr, but |
| 2025-01-29 21:20:37 +0100 | monochrom | (trebla@216.138.220.146) |
| 2025-01-29 21:20:40 +0100 | <haskellbridge> | <sm> have you seen trip (trippy) ? It's also nice |
| 2025-01-29 21:21:53 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-29 21:21:53 +0100 | AvengingFemme | (~avengingf@syn-074-076-186-205.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-01-29 21:24:05 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f984d3514a5c03883b9.dip0.t-ipconnect.de) acidjnk |
| 2025-01-29 21:25:42 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-01-29 21:25:46 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f98a8e4230c2ef41ca4.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-01-29 21:26:29 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-01-29 21:27:41 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-29 21:34:21 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-29 21:35:21 +0100 | alexherbo2 | (~alexherbo@2a02-8440-350b-d904-d98a-c792-4861-de09.rev.sfr.net) (Remote host closed the connection) |
| 2025-01-29 21:36:00 +0100 | alexherbo2 | (~alexherbo@2a02-8440-350b-d904-2048-9e7f-54c9-2d46.rev.sfr.net) alexherbo2 |
| 2025-01-29 21:36:01 +0100 | alexherbo2 | (~alexherbo@2a02-8440-350b-d904-2048-9e7f-54c9-2d46.rev.sfr.net) (Remote host closed the connection) |