| 2024-06-05 00:00:11 +0200 | <yin> | i guess you could optimize in cases where pattern matching is exhaustive |
| 2024-06-05 00:02:25 +0200 | GlenK | (~glenk@syn-050-089-026-031.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-06-05 00:03:47 +0200 | GlenK | (~glenk@syn-050-089-026-031.res.spectrum.com) |
| 2024-06-05 00:05:08 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-47-67-70-101-170.dsl.bell.ca) (Ping timeout: 256 seconds) |
| 2024-06-05 00:07:46 +0200 | <Rembane> | yin: Since I'm curious and confused I wonder: how would exhaustive pattern matching help optimize this? |
| 2024-06-05 00:08:10 +0200 | <yin> | wait |
| 2024-06-05 00:09:31 +0200 | <yin> | https://paste.tomsmeding.com/bwoGmazQ |
| 2024-06-05 00:10:55 +0200 | <yin> | exhaustiveDrop could be rewritten as exhaustiveTail, no? |
| 2024-06-05 00:14:14 +0200 | <Rembane> | yin: At a glance, yes. |
| 2024-06-05 00:14:43 +0200 | <yin> | nonExhaustiveDrop is the same, of course |
| 2024-06-05 00:15:31 +0200 | <Rembane> | Yup, an alias for drop 1. |
| 2024-06-05 00:15:56 +0200 | <yin> | yes, redundant |
| 2024-06-05 00:17:14 +0200 | <yin> | well, i guess this whole exercise is redundant |
| 2024-06-05 00:17:17 +0200 | <yin> | but still |
| 2024-06-05 00:17:20 +0200 | <yin> | this is what i meant |
| 2024-06-05 00:17:56 +0200 | <Rembane> | I think it's very clarifying code. So it was good. |
| 2024-06-05 00:18:04 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-06-05 00:19:53 +0200 | <yin> | a better example would be if the match returned something other than [] i guess |
| 2024-06-05 00:20:29 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds) |
| 2024-06-05 00:23:26 +0200 | <yin> | so the optimization would be `~(_:xs) = xs` in the second case |
| 2024-06-05 00:24:03 +0200 | <yin> | making it irrefutable? |
| 2024-06-05 00:25:06 +0200 | <yin> | unfortunately i can't read compiled code |
| 2024-06-05 00:27:12 +0200 | <Rembane> | Can you compile it to core or some other IR? |
| 2024-06-05 00:28:37 +0200 | <geekosaur> | click the "playground" link and add either a `main` or a `module` |
| 2024-06-05 00:28:39 +0200 | acidjnk | (~acidjnk@p200300d6e714dc62f5676ef887ec870d.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2024-06-05 00:29:28 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-06-05 00:33:08 +0200 | <yin> | like this? https://paste.tomsmeding.com/Dcav2oJo |
| 2024-06-05 00:33:54 +0200 | <yin> | irrefutableDrop should be just irrefutable but whatever |
| 2024-06-05 00:34:26 +0200 | <Rembane> | yin: I tried playing around with the optimization levels too and I have a hard time to read -O2 but it looks cool. :D |
| 2024-06-05 00:34:51 +0200 | GlenK | (~glenk@syn-050-089-026-031.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-06-05 00:34:52 +0200 | GlenK_ | (~glenk@syn-050-089-026-031.res.spectrum.com) |
| 2024-06-05 00:35:21 +0200 | <geekosaur> | I think it inlines Prelude.drop, which isn't irrefutable because you might pass a negative number |
| 2024-06-05 00:35:52 +0200 | <yin> | geekosaur: oh that's a good point |
| 2024-06-05 00:38:20 +0200 | <yin> | the curse of Int |
| 2024-06-05 00:39:15 +0200 | yin | https://www.youtube.com/watch?v=jFk1qpr1ytk |
| 2024-06-05 00:44:05 +0200 | <EvanR> | tell ghc I pinky promise not to pass a negative Int |
| 2024-06-05 00:44:44 +0200 | <EvanR> | (which by murphy's law, at least, would ensure a negative int suddenly gets through when it didn't before) |
| 2024-06-05 00:46:49 +0200 | gdl_ | (~gdl__@151.49.35.217) (Remote host closed the connection) |
| 2024-06-05 00:47:47 +0200 | <Rembane> | Pinky promise is to run the argument through abs first, right? |
| 2024-06-05 00:48:14 +0200 | <yin> | EvanR: `default (Word)` |
| 2024-06-05 00:48:35 +0200 | joeyadams | (~joeyadams@38.48.105.67) (Quit: Leaving) |
| 2024-06-05 00:51:53 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-05 00:58:58 +0200 | <geekosaur> | won't work because it insists on an `Int`1 |
| 2024-06-05 01:05:00 +0200 | <yin> | drop n xs returns the suffix of xs after the first n elements, or [] if n >= length xs. |
| 2024-06-05 01:05:30 +0200 | <yin> | ok |
| 2024-06-05 01:05:40 +0200 | <yin> | but i can just use genericDrop |
| 2024-06-05 01:06:58 +0200 | <yin> | drop ignores negative numbers |
| 2024-06-05 01:08:34 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-06-05 01:11:11 +0200 | yin | (~yin@user/zero) (Ping timeout: 252 seconds) |
| 2024-06-05 01:24:18 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-06-05 01:29:18 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Quit: oo_miguel) |
| 2024-06-05 01:36:13 +0200 | pieguy128 | (~pieguy128@bas1-quebec14-67-70-102-44.dsl.bell.ca) |
| 2024-06-05 01:39:50 +0200 | pieguy128_ | (~pieguy128@bras-base-mtrlpq5031w-grc-47-67-70-101-105.dsl.bell.ca) |
| 2024-06-05 01:40:53 +0200 | pieguy128 | (~pieguy128@bas1-quebec14-67-70-102-44.dsl.bell.ca) (Ping timeout: 240 seconds) |
| 2024-06-05 02:00:18 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-06-05 02:09:51 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-06-05 02:14:55 +0200 | vadparaszt | (~Rodney@176.254.244.83) (Ping timeout: 272 seconds) |
| 2024-06-05 02:24:29 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2024-06-05 02:25:29 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-06-05 02:27:49 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-06-05 02:27:50 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 260 seconds) |
| 2024-06-05 02:29:12 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-06-05 02:31:52 +0200 | GlenK_ | (~glenk@syn-050-089-026-031.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-06-05 02:33:02 +0200 | tmr | (~tamer@5.2.74.82) (Changing host) |
| 2024-06-05 02:33:02 +0200 | tmr | (~tamer@user/tamer) |
| 2024-06-05 02:34:37 +0200 | tmr | tamer |
| 2024-06-05 02:35:49 +0200 | <Axman6> | There's a video somewhere where SPJ talks about the optimisations GHC applies, like case-of-case, case-of-known-case etc - anyone know what it's called? I thought it was 'into the core' but I'm not sure that's the one I want |
| 2024-06-05 02:39:48 +0200 | vadparaszt | (~Rodney@176.254.244.83) |
| 2024-06-05 02:44:21 +0200 | GlenK_ | (~glenk@syn-050-089-026-031.res.spectrum.com) |
| 2024-06-05 02:57:53 +0200 | Inst | (~Inst@user/Inst) |
| 2024-06-05 02:58:02 +0200 | <Inst> | nice, looking at haskell packages on hackage |
| 2024-06-05 02:58:07 +0200 | <Inst> | hackage website still sucks, nothing i can do to fix it |
| 2024-06-05 02:58:18 +0200 | <Inst> | at least not right now, but there's like a ton of recently updated packages |
| 2024-06-05 02:59:20 +0200 | <Inst> | 437 packages updated in the last month |
| 2024-06-05 02:59:58 +0200 | GlenK_ | (~glenk@syn-050-089-026-031.res.spectrum.com) (Quit: Leaving) |
| 2024-06-05 03:03:43 +0200 | pointlessslippe- | (~pointless@212.82.82.3) (Ping timeout: 246 seconds) |
| 2024-06-05 03:04:14 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 260 seconds) |
| 2024-06-05 03:06:08 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-06-05 03:08:55 +0200 | <geekosaur> | well, yes, everyone's updating for ghc 9.10.1 |
| 2024-06-05 03:08:59 +0200 | <geekosaur> | if nothing else |
| 2024-06-05 03:10:13 +0200 | <Inst> | sorry, droped out, family business turns out to be scamtastic and i need to figure out whether to ditch it or fix it |
| 2024-06-05 03:11:19 +0200 | <geekosaur> | I'd probably bail, but I already know I have no business being in business |
| 2024-06-05 03:12:18 +0200 | <Inst> | it's just not a no-brainer bail, which is the problem |
| 2024-06-05 03:12:34 +0200 | <Inst> | current management is bullshit artistry, but there's networks built up |
| 2024-06-05 03:12:57 +0200 | yin | (~yin@user/zero) |
| 2024-06-05 03:14:23 +0200 | <geekosaur> | (I considered going into business in the late 80s. couple weeks of research into what it would involve and I realized I was already in over my head and I hadn't even done anything beyond a little freelance consulting) |
| 2024-06-05 03:14:44 +0200 | Batzy | (~quassel@user/batzy) |
| 2024-06-05 03:15:44 +0200 | <Inst> | best age to do so is in 40s, but generally high fail rate means that your 40s isn't necessarily the best age to do it |
| 2024-06-05 03:15:52 +0200 | <geekosaur> | yeh |
| 2024-06-05 03:17:01 +0200 | <geekosaur> | the effort wasn't wasted though, as the job I took afterward involved working with a lot of small business customers and it left me prepared to "translate" between business and tech realms |
| 2024-06-05 03:17:43 +0200 | <EvanR> | the number of businesses that go under almost immediately is pretty high, I can only imagine it's mostly people who have money to blow and don't mind not know wtf they're doing |
| 2024-06-05 03:17:46 +0200 | <geekosaur> | (somewhere there is a quote that, if that kind of thing didn't happen, we'd still be swinging from the trees…) |
| 2024-06-05 03:18:05 +0200 | <EvanR> | meanwhile I've seen people who know what they're doing do extremely well |
| 2024-06-05 03:18:29 +0200 | <EvanR> | crazy |
| 2024-06-05 03:20:07 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 255 seconds) |
| 2024-06-05 03:20:21 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2024-06-05 03:20:53 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f043:6bfd:fd66:1310) (Ping timeout: 240 seconds) |
| 2024-06-05 03:55:20 +0200 | <Inst> | tbh it's all risk and timing |
| 2024-06-05 03:55:34 +0200 | <Inst> | geekosaur is good at business because he knew not to do it |
| 2024-06-05 03:55:37 +0200 | <Inst> | but w/e, #haskell |
| 2024-06-05 03:59:59 +0200 | vadparaszt | (~Rodney@176.254.244.83) (Ping timeout: 264 seconds) |
| 2024-06-05 04:01:59 +0200 | yin | (~yin@user/zero) (Ping timeout: 260 seconds) |
| 2024-06-05 04:02:55 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 2024-06-05 04:09:34 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-06-05 04:20:31 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-06-05 04:21:14 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
| 2024-06-05 04:22:24 +0200 | stefan-_ | (~cri@42dots.de) (Ping timeout: 256 seconds) |
| 2024-06-05 04:22:57 +0200 | <haskellbridge> | <zwro> geekosaur: not just a quote, a whole economic theory https://en.m.wikipedia.org/wiki/Greater_fool_theory |
| 2024-06-05 04:23:26 +0200 | stefan-_ | (~cri@42dots.de) |
| 2024-06-05 04:24:06 +0200 | <geekosaur> | not quite the same thing… |
| 2024-06-05 04:25:17 +0200 | <geekosaur> | if I'd actually tried to go into business, it might have fit |
| 2024-06-05 04:25:21 +0200 | <haskellbridge> | <zwro> point being that the greater fool is the necessary risk taker without whom the economy wouldn't move forward |
| 2024-06-05 04:26:07 +0200 | <geekosaur> | as distinguished from knowing how to take advantage of otherwise "wasted" effort |
| 2024-06-05 04:28:42 +0200 | <haskellbridge> | <zwro> hmm... reading the wiki this might not be what i remembered |
| 2024-06-05 04:29:12 +0200 | <Inst> | https://haskell.foundation/podcast/49/ |
| 2024-06-05 04:29:14 +0200 | <Inst> | lovely fellow |
| 2024-06-05 04:29:34 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-05 04:32:48 +0200 | yin | (~yin@user/zero) |
| 2024-06-05 04:33:40 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-06-05 04:37:35 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-05 04:47:41 +0200 | td_ | (~td@i53870908.versanet.de) (Ping timeout: 268 seconds) |
| 2024-06-05 04:47:51 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 256 seconds) |
| 2024-06-05 04:49:11 +0200 | td_ | (~td@i5387092C.versanet.de) |
| 2024-06-05 05:05:56 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-06-05 05:08:05 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2024-06-05 05:22:15 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-05 05:32:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-05 05:49:16 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-06-05 05:54:04 +0200 | aforemny_ | (~aforemny@i59F516CD.versanet.de) |
| 2024-06-05 05:54:17 +0200 | aforemny | (~aforemny@2001:9e8:6cd2:1a00:9deb:d35d:a335:43ec) (Ping timeout: 268 seconds) |
| 2024-06-05 06:12:45 +0200 | Guest46 | (~Guest46@syn-069-206-166-125.res.spectrum.com) |
| 2024-06-05 06:25:54 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-06-05 06:32:19 +0200 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2024-06-05 06:39:32 +0200 | monochrom | (trebla@216.138.220.146) |
| 2024-06-05 06:53:29 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-06-05 06:53:48 +0200 | michalz | (~michalz@185.246.207.222) |
| 2024-06-05 06:57:07 +0200 | michalz | (~michalz@185.246.207.222) (Client Quit) |
| 2024-06-05 06:59:50 +0200 | michalz | (~michalz@185.246.207.197) |
| 2024-06-05 07:06:58 +0200 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-06-05 07:10:03 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-06-05 07:11:44 +0200 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) |
| 2024-06-05 07:12:18 +0200 | yin | (~yin@user/zero) (Ping timeout: 268 seconds) |
| 2024-06-05 07:14:03 +0200 | Core3875 | (~rosco@2a02-8440-b133-217e-4702-1867-7c25-f7bc.rev.sfr.net) (Ping timeout: 256 seconds) |
| 2024-06-05 07:18:45 +0200 | yin | (~yin@user/zero) |
| 2024-06-05 07:22:22 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-06-05 07:22:55 +0200 | Rodney_ | (~Rodney@176.254.244.83) |
| 2024-06-05 07:24:34 +0200 | acidjnk | (~acidjnk@p200300d6e714dc088cf41374fbd85107.dip0.t-ipconnect.de) |
| 2024-06-05 07:25:22 +0200 | Rodney_ | (~Rodney@176.254.244.83) (Client Quit) |
| 2024-06-05 07:25:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-05 07:30:05 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-06-05 07:32:10 +0200 | Rodney_ | (~Rodney@176.254.244.83) |
| 2024-06-05 07:32:16 +0200 | Rodney_ | (~Rodney@176.254.244.83) (Excess Flood) |
| 2024-06-05 07:32:56 +0200 | vadparaszt | (~Rodney@176.254.244.83) |
| 2024-06-05 07:36:26 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-05 07:41:07 +0200 | Rodney_ | (~Rodney@176.254.244.83) |
| 2024-06-05 07:41:57 +0200 | yin | (~yin@user/zero) (Read error: Connection reset by peer) |
| 2024-06-05 07:44:53 +0200 | vadparaszt | (~Rodney@176.254.244.83) (Ping timeout: 272 seconds) |
| 2024-06-05 07:47:36 +0200 | halloy7862 | (~halloy786@syn-069-206-166-125.res.spectrum.com) |
| 2024-06-05 07:49:45 +0200 | yin | (~yin@user/zero) |
| 2024-06-05 07:49:48 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-06-05 07:50:00 +0200 | xdminsy | (~xdminsy@117.147.70.212) |
| 2024-06-05 07:52:32 +0200 | halloy7862 | somethingrandom |
| 2024-06-05 07:52:59 +0200 | somethingrandom | (~halloy786@syn-069-206-166-125.res.spectrum.com) (Quit: somethingrandom) |
| 2024-06-05 07:53:48 +0200 | halloy7862 | (~halloy786@syn-069-206-166-125.res.spectrum.com) |
| 2024-06-05 07:53:54 +0200 | halloy7862 | (~halloy786@syn-069-206-166-125.res.spectrum.com) (Client Quit) |
| 2024-06-05 07:54:12 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) |
| 2024-06-05 07:54:35 +0200 | halloy7862 | (~halloy786@syn-069-206-166-125.res.spectrum.com) |
| 2024-06-05 07:54:51 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 268 seconds) |
| 2024-06-05 07:57:04 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-05 07:58:51 +0200 | yin | (~yin@user/zero) (Ping timeout: 268 seconds) |
| 2024-06-05 07:59:59 +0200 | kronicmage | (~kronicmag@neotame.csclub.uwaterloo.ca) (Ping timeout: 260 seconds) |
| 2024-06-05 08:00:41 +0200 | kronicmage | (~kronicmag@neotame.csclub.uwaterloo.ca) |
| 2024-06-05 08:05:19 +0200 | rvalue- | (~rvalue@user/rvalue) |
| 2024-06-05 08:06:25 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 272 seconds) |
| 2024-06-05 08:07:06 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-06-05 08:09:18 +0200 | rvalue- | rvalue |
| 2024-06-05 08:14:45 +0200 | yin | (~yin@user/zero) |
| 2024-06-05 08:21:52 +0200 | yin | (~yin@user/zero) (Read error: Connection reset by peer) |
| 2024-06-05 08:23:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-05 08:27:28 +0200 | CiaoSen | (~Jura@2a05:5800:2e4:7800:e6b9:7aff:fe80:3d03) |
| 2024-06-05 08:28:46 +0200 | yin | (~yin@user/zero) |
| 2024-06-05 08:28:54 +0200 | Square | (~Square@user/square) |
| 2024-06-05 08:35:13 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 256 seconds) |
| 2024-06-05 08:54:59 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 2024-06-05 08:57:35 +0200 | son0p | (~ff@167.0.161.21) (Ping timeout: 252 seconds) |
| 2024-06-05 09:01:15 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-05 09:04:54 +0200 | pointlessslippe1 | (~pointless@212.82.82.3) |
| 2024-06-05 09:09:15 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-06-05 09:15:13 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2024-06-05 09:16:05 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-06-05 09:21:46 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 260 seconds) |
| 2024-06-05 09:24:26 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-06-05 09:35:58 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-06-05 09:39:30 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-06-05 09:43:39 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-06-05 09:45:49 +0200 | jle` | (~jle`@2603:8001:3b02:84d4:c84f:b43d:f9d2:fde4) (Remote host closed the connection) |
| 2024-06-05 09:46:14 +0200 | jle` | (~jle`@2603:8001:3b02:84d4:f1a2:838a:8749:d076) |
| 2024-06-05 09:48:20 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-06-05 09:55:43 +0200 | notzmv | (~daniel@user/notzmv) (Ping timeout: 260 seconds) |
| 2024-06-05 10:06:54 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-06-05 10:08:28 +0200 | robosexual | (~spaceoyst@92.248.214.42) |
| 2024-06-05 10:11:53 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-06-05 10:23:09 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 268 seconds) |
| 2024-06-05 10:25:00 +0200 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-06-05 10:28:51 +0200 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) |
| 2024-06-05 10:33:49 +0200 | danse-nr3 | (~danse-nr3@151.43.70.48) |
| 2024-06-05 10:38:40 +0200 | danse-nr3 | (~danse-nr3@151.43.70.48) (Ping timeout: 256 seconds) |
| 2024-06-05 10:39:15 +0200 | danse-nr3 | (~danse-nr3@151.43.70.48) |
| 2024-06-05 10:44:11 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-06-05 10:45:23 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 272 seconds) |
| 2024-06-05 10:50:10 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-06-05 10:54:30 +0200 | johnw_ | (~johnw@69.62.242.138) (Read error: Connection reset by peer) |
| 2024-06-05 10:56:04 +0200 | johnw | (~johnw@69.62.242.138) |
| 2024-06-05 10:58:10 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-06-05 11:01:26 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-06-05 11:02:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-05 11:06:20 +0200 | ft | (~ft@p508db8fc.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-06-05 11:07:27 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-06-05 11:08:05 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2024-06-05 11:08:10 +0200 | son0p | (~ff@186.121.13.247) |
| 2024-06-05 11:15:01 +0200 | patrl | (~patrl@user/patrl) (Remote host closed the connection) |
| 2024-06-05 11:15:18 +0200 | rosco | (~rosco@212.252.89.82) |
| 2024-06-05 11:17:15 +0200 | Core9279 | (~rosco@88.239.1.187) |
| 2024-06-05 11:19:49 +0200 | rosco | (~rosco@212.252.89.82) (Ping timeout: 255 seconds) |
| 2024-06-05 11:26:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-05 11:33:31 +0200 | CiaoSen | (~Jura@2a05:5800:2e4:7800:e6b9:7aff:fe80:3d03) (Ping timeout: 272 seconds) |
| 2024-06-05 11:34:54 +0200 | patrl | (~patrl@user/patrl) |
| 2024-06-05 11:37:44 +0200 | gehmehgeh | gmg |
| 2024-06-05 11:39:27 +0200 | patrl | (~patrl@user/patrl) (Remote host closed the connection) |
| 2024-06-05 11:40:00 +0200 | patrl | (~patrl@user/patrl) |
| 2024-06-05 11:43:07 +0200 | patrl | (~patrl@user/patrl) (Remote host closed the connection) |
| 2024-06-05 11:45:39 +0200 | patrl | (~patrl@user/patrl) |
| 2024-06-05 11:46:57 +0200 | patrl | (~patrl@user/patrl) (Remote host closed the connection) |
| 2024-06-05 11:46:59 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:40dc:52b9:2426:7953) |
| 2024-06-05 11:56:07 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-06-05 11:56:49 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 256 seconds) |
| 2024-06-05 12:02:46 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 260 seconds) |
| 2024-06-05 12:05:07 +0200 | chele | (~chele@user/chele) |
| 2024-06-05 12:06:23 +0200 | notzmv | (~daniel@user/notzmv) |
| 2024-06-05 12:06:40 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-06-05 12:07:45 +0200 | Guest46 | (~Guest46@syn-069-206-166-125.res.spectrum.com) (Quit: Client closed) |
| 2024-06-05 12:09:17 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds) |
| 2024-06-05 12:16:19 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds) |
| 2024-06-05 12:20:07 +0200 | Core9279 | (~rosco@88.239.1.187) (Ping timeout: 255 seconds) |
| 2024-06-05 12:27:48 +0200 | xdminsy | (~xdminsy@117.147.70.212) (Quit: Konversation terminated!) |
| 2024-06-05 12:32:16 +0200 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2024-06-05 12:32:21 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 268 seconds) |
| 2024-06-05 12:33:00 +0200 | monochrom | (trebla@216.138.220.146) |
| 2024-06-05 12:34:45 +0200 | poscat | (~poscat@user/poscat) |
| 2024-06-05 12:36:10 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-06-05 12:36:41 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-06-05 12:39:23 +0200 | Guest51 | (~Guest51@p200300cf3f2d0eeb14a5b5429f771adb.dip0.t-ipconnect.de) |
| 2024-06-05 12:44:55 +0200 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2024-06-05 12:52:53 +0200 | Guest51 | (~Guest51@p200300cf3f2d0eeb14a5b5429f771adb.dip0.t-ipconnect.de) (Quit: Client closed) |
| 2024-06-05 12:54:25 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-06-05 12:56:52 +0200 | califax | (~califax@user/califx) |
| 2024-06-05 12:59:10 +0200 | danse-nr3 | (~danse-nr3@151.43.70.48) (Ping timeout: 268 seconds) |
| 2024-06-05 12:59:27 +0200 | danse-nr3 | (~danse-nr3@151.57.150.29) |
| 2024-06-05 13:01:10 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-06-05 13:05:17 +0200 | danza | (~francesco@151.57.150.29) |
| 2024-06-05 13:09:30 +0200 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-06-05 13:10:20 +0200 | califax | (~califax@user/califx) |
| 2024-06-05 13:12:49 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e70a:1a75:924f:8502) |
| 2024-06-05 13:19:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-05 13:21:35 +0200 | danse-nr3 | (~danse-nr3@151.57.150.29) (Ping timeout: 252 seconds) |
| 2024-06-05 13:27:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-05 13:27:32 +0200 | danza | (~francesco@151.57.150.29) (Ping timeout: 268 seconds) |
| 2024-06-05 13:28:00 +0200 | Jackneill | (~Jackneill@94-21-250-10.pool.digikabel.hu) |
| 2024-06-05 13:31:58 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 246 seconds) |
| 2024-06-05 13:33:13 +0200 | destituion | (~destituio@2a02:2121:28c:be84:309e:b5ea:1c6b:9320) (Ping timeout: 272 seconds) |
| 2024-06-05 13:33:34 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-06-05 13:33:51 +0200 | destituion | (~destituio@85.221.111.174) |
| 2024-06-05 13:35:29 +0200 | CiaoSen | (~Jura@2a05:5800:2e4:7800:e6b9:7aff:fe80:3d03) |
| 2024-06-05 13:58:59 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-05 14:04:33 +0200 | danse-nr3 | (~danse-nr3@151.57.150.29) |
| 2024-06-05 14:05:51 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 260 seconds) |
| 2024-06-05 14:21:32 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-06-05 14:28:04 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-06-05 14:32:42 +0200 | raym | (~ray@user/raym) (Remote host closed the connection) |
| 2024-06-05 14:36:38 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-06-05 14:40:25 +0200 | joeyadams | (~joeyadams@38.48.105.67) |
| 2024-06-05 14:41:16 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-06-05 14:41:37 +0200 | euleritian | (~euleritia@dynamic-176-006-201-030.176.6.pool.telefonica.de) |
| 2024-06-05 14:57:22 +0200 | euleritian | (~euleritia@dynamic-176-006-201-030.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-05 14:57:39 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-05 15:08:13 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-06-05 15:09:15 +0200 | euleritian | (~euleritia@dynamic-176-006-201-030.176.6.pool.telefonica.de) |
| 2024-06-05 15:26:43 +0200 | xdminsy | (~xdminsy@117.147.70.212) |
| 2024-06-05 16:06:38 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2024-06-05 16:11:08 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-06-05 16:15:25 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 246 seconds) |
| 2024-06-05 16:20:20 +0200 | yin_ | (~yin@user/zero) |
| 2024-06-05 16:26:18 +0200 | <yin_> | Hoogle very annoyingly refreshes the search when Enter is pressed while typing |
| 2024-06-05 16:26:29 +0200 | <yin_> | on slow connections this is awful |
| 2024-06-05 16:26:37 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2024-06-05 16:27:32 +0200 | <yin_> | it actually refreshes the whole page |
| 2024-06-05 16:28:58 +0200 | <yin_> | wht would be the appropriate place to file this issue? |
| 2024-06-05 16:30:34 +0200 | cheater | (~Username@user/cheater) |
| 2024-06-05 16:32:38 +0200 | yin | (~yin@user/zero) (Quit: leaving) |
| 2024-06-05 16:32:45 +0200 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2024-06-05 16:32:45 +0200 | yin_ | yin |
| 2024-06-05 16:33:00 +0200 | yin | yin_ |
| 2024-06-05 16:33:30 +0200 | cheater | (~Username@user/cheater) |
| 2024-06-05 16:34:22 +0200 | <ncf> | https://github.com/ndmitchell/hoogle/issues |
| 2024-06-05 16:35:12 +0200 | <int-e> | I don't see... oh it's a Javascript thing, and the complaint is missing a negation. |
| 2024-06-05 16:37:32 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-06-05 16:48:17 +0200 | azflin7 | (~azflin7@162.251.62.70) |
| 2024-06-05 16:49:56 +0200 | azflin7 | (~azflin7@162.251.62.70) (Client Quit) |
| 2024-06-05 16:50:19 +0200 | azflin7 | (~azflin7@162.251.62.70) |
| 2024-06-05 16:58:50 +0200 | danse-nr3 | (~danse-nr3@151.57.150.29) (Ping timeout: 252 seconds) |
| 2024-06-05 16:59:51 +0200 | danse-nr3 | (~danse-nr3@151.43.46.126) |
| 2024-06-05 17:00:27 +0200 | ars23 | (~ars23@2a02:2f09:3614:4900:b85b:3e39:6779:f10b) |
| 2024-06-05 17:00:39 +0200 | ars23 | (~ars23@2a02:2f09:3614:4900:b85b:3e39:6779:f10b) (Changing host) |
| 2024-06-05 17:00:39 +0200 | ars23 | (~ars23@user/ars23) |
| 2024-06-05 17:03:01 +0200 | azflin7 | (~azflin7@162.251.62.70) (Quit: Client closed) |
| 2024-06-05 17:04:29 +0200 | <yin_> | int-e: wdym the complaint is missing a negation? |
| 2024-06-05 17:05:06 +0200 | azflin7 | (~azflin7@162.251.62.70) |
| 2024-06-05 17:07:05 +0200 | <kaol> | Maybe that Hoogle performs a search as soon as you type anything in the search box. |
| 2024-06-05 17:09:12 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-06-05 17:09:20 +0200 | azflin7 | (~azflin7@162.251.62.70) () |
| 2024-06-05 17:11:04 +0200 | andrei_n | (~andrei_n@2a02:a03f:c091:a800:bfaa:bf95:8936:25fa) |
| 2024-06-05 17:11:04 +0200 | andrei_n | (~andrei_n@2a02:a03f:c091:a800:bfaa:bf95:8936:25fa) (Changing host) |
| 2024-06-05 17:11:04 +0200 | andrei_n | (~andrei_n@user/andrei-n:62396) |
| 2024-06-05 17:11:16 +0200 | <yin_> | what i mean is that there's no reason for a full page refresh when pressing enter on an input form |
| 2024-06-05 17:11:31 +0200 | <int-e> | Ah. So you like the incremental search but dislike the fact that the there's a form with a submit action (to make things work without javascript) |
| 2024-06-05 17:11:43 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 272 seconds) |
| 2024-06-05 17:12:03 +0200 | raym | (~ray@115.187.32.4) |
| 2024-06-05 17:12:18 +0200 | <yin_> | i don't mind the incremental search but you either create that experience or the "no javascript" experience. both don't work together |
| 2024-06-05 17:12:21 +0200 | <int-e> | I didn't actually test what happens when you press Return with the JS thing running. |
| 2024-06-05 17:13:41 +0200 | dibblego | (~dibblego@116.255.1.119) |
| 2024-06-05 17:13:41 +0200 | dibblego | (~dibblego@116.255.1.119) (Changing host) |
| 2024-06-05 17:13:41 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2024-06-05 17:14:01 +0200 | <kaol> | An event handler catching the default submit event would do that, with preventDefault. |
| 2024-06-05 17:16:29 +0200 | JimL | (~quassel@89.162.16.26) (Ping timeout: 240 seconds) |
| 2024-06-05 17:18:35 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 260 seconds) |
| 2024-06-05 17:22:29 +0200 | andrei_n | (~andrei_n@user/andrei-n:62396) (Ping timeout: 240 seconds) |
| 2024-06-05 17:24:29 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds) |
| 2024-06-05 17:25:10 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-05 17:27:48 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-06-05 17:27:55 +0200 | CiaoSen | (~Jura@2a05:5800:2e4:7800:e6b9:7aff:fe80:3d03) (Ping timeout: 255 seconds) |
| 2024-06-05 17:35:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-05 17:40:02 +0200 | yin_ | yin |
| 2024-06-05 17:47:44 +0200 | alexherbo2 | (~alexherbo@2a02-8440-311c-ca12-49a8-a1cf-aa4d-455b.rev.sfr.net) |
| 2024-06-05 17:53:44 +0200 | alexherbo2 | (~alexherbo@2a02-8440-311c-ca12-49a8-a1cf-aa4d-455b.rev.sfr.net) (Remote host closed the connection) |
| 2024-06-05 17:57:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-05 17:57:51 +0200 | sabino | (~sabino@user/sabino) |
| 2024-06-05 18:09:59 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-06-05 18:15:50 +0200 | robosexual | (~spaceoyst@92.248.214.42) (Quit: Konversation terminated!) |
| 2024-06-05 18:19:16 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-06-05 18:22:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-05 18:35:19 +0200 | euleritian | (~euleritia@dynamic-176-006-201-030.176.6.pool.telefonica.de) (Ping timeout: 256 seconds) |
| 2024-06-05 18:38:35 +0200 | migas97 | (~migas@static.140.65.63.178.clients.your-server.de) (Quit: The Lounge - https://thelounge.github.io) |
| 2024-06-05 18:40:53 +0200 | migas97 | (~migas@static.140.65.63.178.clients.your-server.de) |
| 2024-06-05 18:43:33 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:40dc:52b9:2426:7953) (Remote host closed the connection) |
| 2024-06-05 18:44:31 +0200 | halloy7862 | (~halloy786@syn-069-206-166-125.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-06-05 18:45:21 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-06-05 18:48:04 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-06-05 18:58:17 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-06-05 18:59:08 +0200 | beowuff | (~beowuff@50.125.248.222) |
| 2024-06-05 18:59:58 +0200 | beowuff | (~beowuff@50.125.248.222) (Remote host closed the connection) |
| 2024-06-05 19:00:56 +0200 | beowuff | (~beowuff@50.125.248.222) |
| 2024-06-05 19:03:08 +0200 | beowuff | (~beowuff@50.125.248.222) (Remote host closed the connection) |
| 2024-06-05 19:04:10 +0200 | beowuff | (~beowuff@50.125.248.222) |
| 2024-06-05 19:07:32 +0200 | Square | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2024-06-05 19:10:13 +0200 | Square | (~Square@user/square) |
| 2024-06-05 19:16:33 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-06-05 19:18:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-05 19:20:30 +0200 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-06-05 19:20:52 +0200 | califax | (~califax@user/califx) |
| 2024-06-05 19:21:40 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-06-05 19:23:16 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-06-05 19:24:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-05 19:24:59 +0200 | pavonia | (~user@user/siracusa) |
| 2024-06-05 19:27:10 +0200 | beowuff | (~beowuff@50.125.248.222) (Quit: I'm outta here! Need to install BSD on ALL THE THINGS!) |
| 2024-06-05 19:27:24 +0200 | pyooque | (~puke@user/puke) |
| 2024-06-05 19:27:24 +0200 | puke | (~puke@user/puke) (Killed (iridium.libera.chat (Nickname regained by services))) |
| 2024-06-05 19:27:24 +0200 | pyooque | puke |
| 2024-06-05 19:40:35 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-06-05 19:40:47 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-06-05 19:41:23 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-06-05 19:48:09 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-06-05 19:52:11 +0200 | destituion | (~destituio@85.221.111.174) (Ping timeout: 264 seconds) |
| 2024-06-05 19:54:58 +0200 | beowuff | (~beowuff@50.125.248.222) |
| 2024-06-05 20:00:33 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-05 20:03:12 +0200 | JimL | (~quassel@89.162.16.26) |
| 2024-06-05 20:05:15 +0200 | JimL | (~quassel@89.162.16.26) (Client Quit) |
| 2024-06-05 20:05:34 +0200 | JimL | (~quassel@89.162.16.26) |
| 2024-06-05 20:08:41 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 256 seconds) |
| 2024-06-05 20:09:27 +0200 | destituion | (~destituio@2a02:2121:28c:be84:e630:c442:c264:e6ae) |
| 2024-06-05 20:10:55 +0200 | ft | (~ft@p508db8fc.dip0.t-ipconnect.de) |
| 2024-06-05 20:11:34 +0200 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-06-05 20:11:51 +0200 | JimL | (~quassel@89.162.16.26) |
| 2024-06-05 20:12:31 +0200 | tolt_ | tolt |
| 2024-06-05 20:13:32 +0200 | JimL | (~quassel@89.162.16.26) (Client Quit) |
| 2024-06-05 20:13:51 +0200 | JimL | (~quassel@89.162.16.26) |
| 2024-06-05 20:15:51 +0200 | JimL | (~quassel@89.162.16.26) (Client Quit) |
| 2024-06-05 20:16:09 +0200 | JimL | (~quassel@89.162.16.26) |
| 2024-06-05 20:18:07 +0200 | JimL | (~quassel@89.162.16.26) (Client Quit) |
| 2024-06-05 20:18:26 +0200 | JimL | (~quassel@89.162.16.26) |
| 2024-06-05 20:20:16 +0200 | JimL | (~quassel@89.162.16.26) (Client Quit) |
| 2024-06-05 20:20:34 +0200 | JimL | (~quassel@89.162.16.26) |
| 2024-06-05 20:22:33 +0200 | JimL | (~quassel@89.162.16.26) (Client Quit) |
| 2024-06-05 20:22:52 +0200 | JimL | (~quassel@89.162.16.26) |
| 2024-06-05 20:34:39 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-06-05 20:35:07 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-06-05 20:37:40 +0200 | Square | (~Square@user/square) (Ping timeout: 268 seconds) |
| 2024-06-05 20:40:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-05 20:46:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-05 20:57:41 +0200 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 240 seconds) |
| 2024-06-05 20:58:42 +0200 | m5zs7k | (aquares@web10.mydevil.net) |
| 2024-06-05 20:59:19 +0200 | danse-nr3 | (~danse-nr3@151.43.46.126) (Ping timeout: 260 seconds) |
| 2024-06-05 21:00:06 +0200 | danse-nr3 | (~danse-nr3@151.44.167.173) |
| 2024-06-05 21:05:00 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-05 21:06:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-05 21:07:38 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-06-05 21:15:50 +0200 | yin | (~yin@user/zero) (Quit: Reconnecting) |
| 2024-06-05 21:17:30 +0200 | yin | (~yin@user/zero) |
| 2024-06-05 21:20:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-05 21:24:50 +0200 | joeyadams | (~joeyadams@38.48.105.67) (Ping timeout: 268 seconds) |
| 2024-06-05 21:38:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-05 21:46:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-05 21:54:06 +0200 | ars23 | (~ars23@user/ars23) (Quit: Leaving) |
| 2024-06-05 21:54:42 +0200 | <Inst> | is it idiomatic to override built-ins / functions defined elsewhere with let? |
| 2024-06-05 21:57:20 +0200 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) (Quit: mesaoptimizer) |
| 2024-06-05 21:58:41 +0200 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) |
| 2024-06-05 21:59:25 +0200 | <yin> | Inst: it's not idiomatic if you do something like `let head = ... in ...` |
| 2024-06-05 21:59:59 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-06-05 22:00:13 +0200 | <Leary> | If -Wall warns you about it, it isn't idiomatic. |
| 2024-06-05 22:00:51 +0200 | <yin> | well, -Wall warns you of any overloading/shadowing |
| 2024-06-05 22:01:00 +0200 | <yin> | and overloading can be idiomatic |
| 2024-06-05 22:01:18 +0200 | <tomsmeding> | it warns of shadowing, not overloading (or you mean something else with "overloading" than I do :) ) |
| 2024-06-05 22:01:43 +0200 | <yin> | Inst: but usually you do something like `let head' = ... in ...` (notice the ') |
| 2024-06-05 22:02:19 +0200 | <yin> | tomsmeding: i was under the impression that both words were used in the same context, at least in haskell |
| 2024-06-05 22:02:28 +0200 | <geekosaur> | no |
| 2024-06-05 22:02:39 +0200 | <tomsmeding> | shadowing is defining the same name again, hiding the existing definition |
| 2024-06-05 22:02:55 +0200 | <geekosaur> | "overloading" could refer to typeclass methods, or multiple patterns for a function |
| 2024-06-05 22:02:55 +0200 | <tomsmeding> | overloading is giving multiple definitions to the same name, resulting in them all being in scope in some fashion |
| 2024-06-05 22:03:03 +0200 | <tomsmeding> | the standard way in haskell being using typeclasses |
| 2024-06-05 22:03:22 +0200 | <probie> | I've done it before with `where` in combination with -XRebindableSyntax, but I can't think of any other case where I don't try to avoid shadowing entirely |
| 2024-06-05 22:03:30 +0200 | <yin> | oh. i've seen it used wrong then i guess! that makes more sense |
| 2024-06-05 22:03:31 +0200 | <tomsmeding> | but indeed, stretching the definition, one could also include geekosaur's example |
| 2024-06-05 22:03:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-05 22:03:52 +0200 | <tomsmeding> | shadowing makes a lot of sense with -XLinearTypes |
| 2024-06-05 22:04:10 +0200 | <tomsmeding> | if you have to pass the same resource around through lots of functions, it makes no sense to keep the previous versions in scope |
| 2024-06-05 22:04:50 +0200 | <tomsmeding> | similarly with state-passing code, especially if you open up IO to find the State# RealWorld -> (# a, State# RealWorld #) |
| 2024-06-05 22:05:21 +0200 | <tomsmeding> | but I personally don't want to turn off -Wshadow globally in a file just to get slightly nicer -XLinearTypes or state-passing code, so I just don't shadow |
| 2024-06-05 22:05:34 +0200 | <tomsmeding> | as with many things in GHC, it would be nice to have more granular control over this |
| 2024-06-05 22:06:59 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2024-06-05 22:09:26 +0200 | <yin> | hard to get more granular control in any language as we get in haskell |
| 2024-06-05 22:10:18 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-06-05 22:11:44 +0200 | <dminuoso> | Dunno, sometimes we have very coarse tools. |
| 2024-06-05 22:12:10 +0200 | <dminuoso> | Like being able to selectively suppress some particular warning on a region or a binding is something that we dont seem to get. |
| 2024-06-05 22:12:17 +0200 | <tomsmeding> | still, one can dream with -Worphans, -Wshadow, -XRebindableSyntax (why is fromInteger in Num? Let me override that one separately) |
| 2024-06-05 22:13:06 +0200 | <tomsmeding> | also with -XAllowAmbiguousTypes, that would better be a per-function pragma |
| 2024-06-05 22:16:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-05 22:21:54 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 256 seconds) |
| 2024-06-05 22:23:12 +0200 | causal | (~eric@50.35.88.207) |
| 2024-06-05 22:33:04 +0200 | ystael | (~ystael@user/ystael) |
| 2024-06-05 22:34:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-05 22:36:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-05 22:38:01 +0200 | ell | (~ellie@user/ellie) (Quit: Ping timeout (120 seconds)) |
| 2024-06-05 22:38:23 +0200 | ell | (~ellie@user/ellie) |
| 2024-06-05 22:44:02 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Remote host closed the connection) |
| 2024-06-05 22:44:16 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-06-05 22:44:20 +0200 | danse-nr3 | (~danse-nr3@151.44.167.173) (Remote host closed the connection) |
| 2024-06-05 23:05:46 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-06-05 23:11:37 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-06-05 23:25:34 +0200 | Jackneill | (~Jackneill@94-21-250-10.pool.digikabel.hu) (Ping timeout: 246 seconds) |
| 2024-06-05 23:29:24 +0200 | mrmr1553343 | (~mrmr@user/mrmr) (Ping timeout: 268 seconds) |
| 2024-06-05 23:29:29 +0200 | mrmr15533434 | (~mrmr@user/mrmr) |
| 2024-06-05 23:30:11 +0200 | halloy7862 | (~halloy786@syn-069-206-166-125.res.spectrum.com) |
| 2024-06-05 23:32:57 +0200 | michalz | (~michalz@185.246.207.197) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-06-05 23:36:44 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-06-05 23:39:17 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) |
| 2024-06-05 23:42:26 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-05 23:43:05 +0200 | yin | (~yin@user/zero) (Ping timeout: 252 seconds) |
| 2024-06-05 23:47:51 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-06-05 23:53:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-06-05 23:56:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |