| 2024-06-05 00:00:18 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-06-05 00:09:51 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-06-05 00:14:55 +0000 | vadparaszt | (~Rodney@176.254.244.83) (Ping timeout: 272 seconds) |
| 2024-06-05 00:24:29 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2024-06-05 00:25:29 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-06-05 00:27:49 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-06-05 00:27:50 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 260 seconds) |
| 2024-06-05 00:29:12 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-06-05 00:31:52 +0000 | GlenK_ | (~glenk@syn-050-089-026-031.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-06-05 00:33:02 +0000 | tmr | (~tamer@5.2.74.82) (Changing host) |
| 2024-06-05 00:33:02 +0000 | tmr | (~tamer@user/tamer) |
| 2024-06-05 00:34:37 +0000 | tmr | tamer |
| 2024-06-05 00:35:49 +0000 | <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 00:39:48 +0000 | vadparaszt | (~Rodney@176.254.244.83) |
| 2024-06-05 00:44:21 +0000 | GlenK_ | (~glenk@syn-050-089-026-031.res.spectrum.com) |
| 2024-06-05 00:57:53 +0000 | Inst | (~Inst@user/Inst) |
| 2024-06-05 00:58:02 +0000 | <Inst> | nice, looking at haskell packages on hackage |
| 2024-06-05 00:58:07 +0000 | <Inst> | hackage website still sucks, nothing i can do to fix it |
| 2024-06-05 00:58:18 +0000 | <Inst> | at least not right now, but there's like a ton of recently updated packages |
| 2024-06-05 00:59:20 +0000 | <Inst> | 437 packages updated in the last month |
| 2024-06-05 00:59:58 +0000 | GlenK_ | (~glenk@syn-050-089-026-031.res.spectrum.com) (Quit: Leaving) |
| 2024-06-05 01:03:43 +0000 | pointlessslippe- | (~pointless@212.82.82.3) (Ping timeout: 246 seconds) |
| 2024-06-05 01:04:14 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 260 seconds) |
| 2024-06-05 01:06:08 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-06-05 01:08:55 +0000 | <geekosaur> | well, yes, everyone's updating for ghc 9.10.1 |
| 2024-06-05 01:08:59 +0000 | <geekosaur> | if nothing else |
| 2024-06-05 01:10:13 +0000 | <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 01:11:19 +0000 | <geekosaur> | I'd probably bail, but I already know I have no business being in business |
| 2024-06-05 01:12:18 +0000 | <Inst> | it's just not a no-brainer bail, which is the problem |
| 2024-06-05 01:12:34 +0000 | <Inst> | current management is bullshit artistry, but there's networks built up |
| 2024-06-05 01:12:57 +0000 | yin | (~yin@user/zero) |
| 2024-06-05 01:14:23 +0000 | <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 01:14:44 +0000 | Batzy | (~quassel@user/batzy) |
| 2024-06-05 01:15:44 +0000 | <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 01:15:52 +0000 | <geekosaur> | yeh |
| 2024-06-05 01:17:01 +0000 | <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 01:17:43 +0000 | <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 01:17:46 +0000 | <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 01:18:05 +0000 | <EvanR> | meanwhile I've seen people who know what they're doing do extremely well |
| 2024-06-05 01:18:29 +0000 | <EvanR> | crazy |
| 2024-06-05 01:20:07 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 255 seconds) |
| 2024-06-05 01:20:21 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2024-06-05 01:20:53 +0000 | xff0x | (~xff0x@2405:6580:b080:900:f043:6bfd:fd66:1310) (Ping timeout: 240 seconds) |
| 2024-06-05 01:55:20 +0000 | <Inst> | tbh it's all risk and timing |
| 2024-06-05 01:55:34 +0000 | <Inst> | geekosaur is good at business because he knew not to do it |
| 2024-06-05 01:55:37 +0000 | <Inst> | but w/e, #haskell |
| 2024-06-05 01:59:59 +0000 | vadparaszt | (~Rodney@176.254.244.83) (Ping timeout: 264 seconds) |
| 2024-06-05 02:01:59 +0000 | yin | (~yin@user/zero) (Ping timeout: 260 seconds) |
| 2024-06-05 02:02:55 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 2024-06-05 02:09:34 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-06-05 02:20:31 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-06-05 02:21:14 +0000 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
| 2024-06-05 02:22:24 +0000 | stefan-_ | (~cri@42dots.de) (Ping timeout: 256 seconds) |
| 2024-06-05 02:22:57 +0000 | <haskellbridge> | <zwro> geekosaur: not just a quote, a whole economic theory https://en.m.wikipedia.org/wiki/Greater_fool_theory |
| 2024-06-05 02:23:26 +0000 | stefan-_ | (~cri@42dots.de) |
| 2024-06-05 02:24:06 +0000 | <geekosaur> | not quite the same thing… |
| 2024-06-05 02:25:17 +0000 | <geekosaur> | if I'd actually tried to go into business, it might have fit |
| 2024-06-05 02:25:21 +0000 | <haskellbridge> | <zwro> point being that the greater fool is the necessary risk taker without whom the economy wouldn't move forward |
| 2024-06-05 02:26:07 +0000 | <geekosaur> | as distinguished from knowing how to take advantage of otherwise "wasted" effort |
| 2024-06-05 02:28:42 +0000 | <haskellbridge> | <zwro> hmm... reading the wiki this might not be what i remembered |
| 2024-06-05 02:29:12 +0000 | <Inst> | https://haskell.foundation/podcast/49/ |
| 2024-06-05 02:29:14 +0000 | <Inst> | lovely fellow |
| 2024-06-05 02:29:34 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-05 02:32:48 +0000 | yin | (~yin@user/zero) |
| 2024-06-05 02:33:40 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-06-05 02:37:35 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-05 02:47:41 +0000 | td_ | (~td@i53870908.versanet.de) (Ping timeout: 268 seconds) |
| 2024-06-05 02:47:51 +0000 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 256 seconds) |
| 2024-06-05 02:49:11 +0000 | td_ | (~td@i5387092C.versanet.de) |
| 2024-06-05 03:05:56 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-06-05 03:08:05 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2024-06-05 03:22:15 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-05 03:32:11 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-05 03:49:16 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-06-05 03:54:04 +0000 | aforemny_ | (~aforemny@i59F516CD.versanet.de) |
| 2024-06-05 03:54:17 +0000 | aforemny | (~aforemny@2001:9e8:6cd2:1a00:9deb:d35d:a335:43ec) (Ping timeout: 268 seconds) |
| 2024-06-05 04:12:45 +0000 | Guest46 | (~Guest46@syn-069-206-166-125.res.spectrum.com) |
| 2024-06-05 04:25:54 +0000 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-06-05 04:32:19 +0000 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2024-06-05 04:39:32 +0000 | monochrom | (trebla@216.138.220.146) |
| 2024-06-05 04:53:29 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-06-05 04:53:48 +0000 | michalz | (~michalz@185.246.207.222) |
| 2024-06-05 04:57:07 +0000 | michalz | (~michalz@185.246.207.222) (Client Quit) |
| 2024-06-05 04:59:50 +0000 | michalz | (~michalz@185.246.207.197) |
| 2024-06-05 05:06:58 +0000 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-06-05 05:10:03 +0000 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-06-05 05:11:44 +0000 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) |
| 2024-06-05 05:12:18 +0000 | yin | (~yin@user/zero) (Ping timeout: 268 seconds) |
| 2024-06-05 05:14:03 +0000 | Core3875 | (~rosco@2a02-8440-b133-217e-4702-1867-7c25-f7bc.rev.sfr.net) (Ping timeout: 256 seconds) |
| 2024-06-05 05:18:45 +0000 | yin | (~yin@user/zero) |
| 2024-06-05 05:22:22 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-06-05 05:22:55 +0000 | Rodney_ | (~Rodney@176.254.244.83) |
| 2024-06-05 05:24:34 +0000 | acidjnk | (~acidjnk@p200300d6e714dc088cf41374fbd85107.dip0.t-ipconnect.de) |
| 2024-06-05 05:25:22 +0000 | Rodney_ | (~Rodney@176.254.244.83) (Client Quit) |
| 2024-06-05 05:25:37 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-05 05:30:05 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-06-05 05:32:10 +0000 | Rodney_ | (~Rodney@176.254.244.83) |
| 2024-06-05 05:32:16 +0000 | Rodney_ | (~Rodney@176.254.244.83) (Excess Flood) |
| 2024-06-05 05:32:56 +0000 | vadparaszt | (~Rodney@176.254.244.83) |
| 2024-06-05 05:36:26 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-05 05:41:07 +0000 | Rodney_ | (~Rodney@176.254.244.83) |
| 2024-06-05 05:41:57 +0000 | yin | (~yin@user/zero) (Read error: Connection reset by peer) |
| 2024-06-05 05:44:53 +0000 | vadparaszt | (~Rodney@176.254.244.83) (Ping timeout: 272 seconds) |
| 2024-06-05 05:47:36 +0000 | halloy7862 | (~halloy786@syn-069-206-166-125.res.spectrum.com) |
| 2024-06-05 05:49:45 +0000 | yin | (~yin@user/zero) |
| 2024-06-05 05:49:48 +0000 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-06-05 05:50:00 +0000 | xdminsy | (~xdminsy@117.147.70.212) |
| 2024-06-05 05:52:32 +0000 | halloy7862 | somethingrandom |
| 2024-06-05 05:52:59 +0000 | somethingrandom | (~halloy786@syn-069-206-166-125.res.spectrum.com) (Quit: somethingrandom) |
| 2024-06-05 05:53:48 +0000 | halloy7862 | (~halloy786@syn-069-206-166-125.res.spectrum.com) |
| 2024-06-05 05:53:54 +0000 | halloy7862 | (~halloy786@syn-069-206-166-125.res.spectrum.com) (Client Quit) |
| 2024-06-05 05:54:12 +0000 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) |
| 2024-06-05 05:54:35 +0000 | halloy7862 | (~halloy786@syn-069-206-166-125.res.spectrum.com) |
| 2024-06-05 05:54:51 +0000 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 268 seconds) |
| 2024-06-05 05:57:04 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-05 05:58:51 +0000 | yin | (~yin@user/zero) (Ping timeout: 268 seconds) |
| 2024-06-05 05:59:59 +0000 | kronicmage | (~kronicmag@neotame.csclub.uwaterloo.ca) (Ping timeout: 260 seconds) |
| 2024-06-05 06:00:41 +0000 | kronicmage | (~kronicmag@neotame.csclub.uwaterloo.ca) |
| 2024-06-05 06:05:19 +0000 | rvalue- | (~rvalue@user/rvalue) |
| 2024-06-05 06:06:25 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 272 seconds) |
| 2024-06-05 06:07:06 +0000 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-06-05 06:09:18 +0000 | rvalue- | rvalue |
| 2024-06-05 06:14:45 +0000 | yin | (~yin@user/zero) |
| 2024-06-05 06:21:52 +0000 | yin | (~yin@user/zero) (Read error: Connection reset by peer) |
| 2024-06-05 06:23:11 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-05 06:27:28 +0000 | CiaoSen | (~Jura@2a05:5800:2e4:7800:e6b9:7aff:fe80:3d03) |
| 2024-06-05 06:28:46 +0000 | yin | (~yin@user/zero) |
| 2024-06-05 06:28:54 +0000 | Square | (~Square@user/square) |
| 2024-06-05 06:35:13 +0000 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 256 seconds) |
| 2024-06-05 06:54:59 +0000 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 2024-06-05 06:57:35 +0000 | son0p | (~ff@167.0.161.21) (Ping timeout: 252 seconds) |
| 2024-06-05 07:01:15 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-05 07:04:54 +0000 | pointlessslippe1 | (~pointless@212.82.82.3) |
| 2024-06-05 07:09:15 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-06-05 07:15:13 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2024-06-05 07:16:05 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-06-05 07:21:46 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 260 seconds) |
| 2024-06-05 07:24:26 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-06-05 07:35:58 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2024-06-05 07:39:30 +0000 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-06-05 07:43:39 +0000 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-06-05 07:45:49 +0000 | jle` | (~jle`@2603:8001:3b02:84d4:c84f:b43d:f9d2:fde4) (Remote host closed the connection) |
| 2024-06-05 07:46:14 +0000 | jle` | (~jle`@2603:8001:3b02:84d4:f1a2:838a:8749:d076) |
| 2024-06-05 07:48:20 +0000 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-06-05 07:55:43 +0000 | notzmv | (~daniel@user/notzmv) (Ping timeout: 260 seconds) |
| 2024-06-05 08:06:54 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-06-05 08:08:28 +0000 | robosexual | (~spaceoyst@92.248.214.42) |
| 2024-06-05 08:11:53 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-06-05 08:23:09 +0000 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 268 seconds) |
| 2024-06-05 08:25:00 +0000 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-06-05 08:28:51 +0000 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) |
| 2024-06-05 08:33:49 +0000 | danse-nr3 | (~danse-nr3@151.43.70.48) |
| 2024-06-05 08:38:40 +0000 | danse-nr3 | (~danse-nr3@151.43.70.48) (Ping timeout: 256 seconds) |
| 2024-06-05 08:39:15 +0000 | danse-nr3 | (~danse-nr3@151.43.70.48) |
| 2024-06-05 08:44:11 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-06-05 08:45:23 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 272 seconds) |
| 2024-06-05 08:50:10 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-06-05 08:54:30 +0000 | johnw_ | (~johnw@69.62.242.138) (Read error: Connection reset by peer) |
| 2024-06-05 08:56:04 +0000 | johnw | (~johnw@69.62.242.138) |
| 2024-06-05 08:58:10 +0000 | __monty__ | (~toonn@user/toonn) |
| 2024-06-05 09:01:26 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-06-05 09:02:20 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-05 09:06:20 +0000 | ft | (~ft@p508db8fc.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-06-05 09:07:27 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-06-05 09:08:05 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2024-06-05 09:08:10 +0000 | son0p | (~ff@186.121.13.247) |
| 2024-06-05 09:15:01 +0000 | patrl | (~patrl@user/patrl) (Remote host closed the connection) |
| 2024-06-05 09:15:18 +0000 | rosco | (~rosco@212.252.89.82) |
| 2024-06-05 09:17:15 +0000 | Core9279 | (~rosco@88.239.1.187) |
| 2024-06-05 09:19:49 +0000 | rosco | (~rosco@212.252.89.82) (Ping timeout: 255 seconds) |
| 2024-06-05 09:26:41 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-05 09:33:31 +0000 | CiaoSen | (~Jura@2a05:5800:2e4:7800:e6b9:7aff:fe80:3d03) (Ping timeout: 272 seconds) |
| 2024-06-05 09:34:54 +0000 | patrl | (~patrl@user/patrl) |
| 2024-06-05 09:37:44 +0000 | gehmehgeh | gmg |
| 2024-06-05 09:39:27 +0000 | patrl | (~patrl@user/patrl) (Remote host closed the connection) |
| 2024-06-05 09:40:00 +0000 | patrl | (~patrl@user/patrl) |
| 2024-06-05 09:43:07 +0000 | patrl | (~patrl@user/patrl) (Remote host closed the connection) |
| 2024-06-05 09:45:39 +0000 | patrl | (~patrl@user/patrl) |
| 2024-06-05 09:46:57 +0000 | patrl | (~patrl@user/patrl) (Remote host closed the connection) |
| 2024-06-05 09:46:59 +0000 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:40dc:52b9:2426:7953) |
| 2024-06-05 09:56:07 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-06-05 09:56:49 +0000 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 256 seconds) |
| 2024-06-05 10:02:46 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 260 seconds) |
| 2024-06-05 10:05:07 +0000 | chele | (~chele@user/chele) |
| 2024-06-05 10:06:23 +0000 | notzmv | (~daniel@user/notzmv) |
| 2024-06-05 10:06:40 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-06-05 10:07:45 +0000 | Guest46 | (~Guest46@syn-069-206-166-125.res.spectrum.com) (Quit: Client closed) |
| 2024-06-05 10:09:17 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds) |
| 2024-06-05 10:16:19 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds) |
| 2024-06-05 10:20:07 +0000 | Core9279 | (~rosco@88.239.1.187) (Ping timeout: 255 seconds) |
| 2024-06-05 10:27:48 +0000 | xdminsy | (~xdminsy@117.147.70.212) (Quit: Konversation terminated!) |
| 2024-06-05 10:32:16 +0000 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2024-06-05 10:32:21 +0000 | poscat | (~poscat@user/poscat) (Ping timeout: 268 seconds) |
| 2024-06-05 10:33:00 +0000 | monochrom | (trebla@216.138.220.146) |
| 2024-06-05 10:34:45 +0000 | poscat | (~poscat@user/poscat) |
| 2024-06-05 10:36:10 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-06-05 10:36:41 +0000 | rvalue | (~rvalue@user/rvalue) |
| 2024-06-05 10:39:23 +0000 | Guest51 | (~Guest51@p200300cf3f2d0eeb14a5b5429f771adb.dip0.t-ipconnect.de) |
| 2024-06-05 10:44:55 +0000 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2024-06-05 10:52:53 +0000 | Guest51 | (~Guest51@p200300cf3f2d0eeb14a5b5429f771adb.dip0.t-ipconnect.de) (Quit: Client closed) |
| 2024-06-05 10:54:25 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-06-05 10:56:52 +0000 | califax | (~califax@user/califx) |
| 2024-06-05 10:59:10 +0000 | danse-nr3 | (~danse-nr3@151.43.70.48) (Ping timeout: 268 seconds) |
| 2024-06-05 10:59:27 +0000 | danse-nr3 | (~danse-nr3@151.57.150.29) |
| 2024-06-05 11:01:10 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-06-05 11:05:17 +0000 | danza | (~francesco@151.57.150.29) |
| 2024-06-05 11:09:30 +0000 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-06-05 11:10:20 +0000 | califax | (~califax@user/califx) |
| 2024-06-05 11:12:49 +0000 | xff0x | (~xff0x@2405:6580:b080:900:e70a:1a75:924f:8502) |
| 2024-06-05 11:19:25 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-05 11:21:35 +0000 | danse-nr3 | (~danse-nr3@151.57.150.29) (Ping timeout: 252 seconds) |
| 2024-06-05 11:27:32 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-05 11:27:32 +0000 | danza | (~francesco@151.57.150.29) (Ping timeout: 268 seconds) |
| 2024-06-05 11:28:00 +0000 | Jackneill | (~Jackneill@94-21-250-10.pool.digikabel.hu) |
| 2024-06-05 11:31:58 +0000 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 246 seconds) |
| 2024-06-05 11:33:13 +0000 | destituion | (~destituio@2a02:2121:28c:be84:309e:b5ea:1c6b:9320) (Ping timeout: 272 seconds) |
| 2024-06-05 11:33:34 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2024-06-05 11:33:51 +0000 | destituion | (~destituio@85.221.111.174) |
| 2024-06-05 11:35:29 +0000 | CiaoSen | (~Jura@2a05:5800:2e4:7800:e6b9:7aff:fe80:3d03) |
| 2024-06-05 11:58:59 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-05 12:04:33 +0000 | danse-nr3 | (~danse-nr3@151.57.150.29) |
| 2024-06-05 12:05:51 +0000 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 260 seconds) |
| 2024-06-05 12:21:32 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2024-06-05 12:28:04 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-06-05 12:32:42 +0000 | raym | (~ray@user/raym) (Remote host closed the connection) |
| 2024-06-05 12:36:38 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-06-05 12:40:25 +0000 | joeyadams | (~joeyadams@38.48.105.67) |
| 2024-06-05 12:41:16 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-06-05 12:41:37 +0000 | euleritian | (~euleritia@dynamic-176-006-201-030.176.6.pool.telefonica.de) |
| 2024-06-05 12:57:22 +0000 | euleritian | (~euleritia@dynamic-176-006-201-030.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-05 12:57:39 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-05 13:08:13 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-06-05 13:09:15 +0000 | euleritian | (~euleritia@dynamic-176-006-201-030.176.6.pool.telefonica.de) |
| 2024-06-05 13:26:43 +0000 | xdminsy | (~xdminsy@117.147.70.212) |
| 2024-06-05 14:06:38 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2024-06-05 14:11:08 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-06-05 14:15:25 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 246 seconds) |
| 2024-06-05 14:20:20 +0000 | yin_ | (~yin@user/zero) |
| 2024-06-05 14:26:18 +0000 | <yin_> | Hoogle very annoyingly refreshes the search when Enter is pressed while typing |
| 2024-06-05 14:26:29 +0000 | <yin_> | on slow connections this is awful |
| 2024-06-05 14:26:37 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2024-06-05 14:27:32 +0000 | <yin_> | it actually refreshes the whole page |
| 2024-06-05 14:28:58 +0000 | <yin_> | wht would be the appropriate place to file this issue? |
| 2024-06-05 14:30:34 +0000 | cheater | (~Username@user/cheater) |
| 2024-06-05 14:32:38 +0000 | yin | (~yin@user/zero) (Quit: leaving) |
| 2024-06-05 14:32:45 +0000 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2024-06-05 14:32:45 +0000 | yin_ | yin |
| 2024-06-05 14:33:00 +0000 | yin | yin_ |
| 2024-06-05 14:33:30 +0000 | cheater | (~Username@user/cheater) |
| 2024-06-05 14:34:22 +0000 | <ncf> | https://github.com/ndmitchell/hoogle/issues |
| 2024-06-05 14:35:12 +0000 | <int-e> | I don't see... oh it's a Javascript thing, and the complaint is missing a negation. |
| 2024-06-05 14:37:32 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-06-05 14:48:17 +0000 | azflin7 | (~azflin7@162.251.62.70) |
| 2024-06-05 14:49:56 +0000 | azflin7 | (~azflin7@162.251.62.70) (Client Quit) |
| 2024-06-05 14:50:19 +0000 | azflin7 | (~azflin7@162.251.62.70) |
| 2024-06-05 14:58:50 +0000 | danse-nr3 | (~danse-nr3@151.57.150.29) (Ping timeout: 252 seconds) |
| 2024-06-05 14:59:51 +0000 | danse-nr3 | (~danse-nr3@151.43.46.126) |
| 2024-06-05 15:00:27 +0000 | ars23 | (~ars23@2a02:2f09:3614:4900:b85b:3e39:6779:f10b) |
| 2024-06-05 15:00:39 +0000 | ars23 | (~ars23@2a02:2f09:3614:4900:b85b:3e39:6779:f10b) (Changing host) |
| 2024-06-05 15:00:39 +0000 | ars23 | (~ars23@user/ars23) |
| 2024-06-05 15:03:01 +0000 | azflin7 | (~azflin7@162.251.62.70) (Quit: Client closed) |
| 2024-06-05 15:04:29 +0000 | <yin_> | int-e: wdym the complaint is missing a negation? |
| 2024-06-05 15:05:06 +0000 | azflin7 | (~azflin7@162.251.62.70) |
| 2024-06-05 15:07:05 +0000 | <kaol> | Maybe that Hoogle performs a search as soon as you type anything in the search box. |
| 2024-06-05 15:09:12 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-06-05 15:09:20 +0000 | azflin7 | (~azflin7@162.251.62.70) () |
| 2024-06-05 15:11:04 +0000 | andrei_n | (~andrei_n@2a02:a03f:c091:a800:bfaa:bf95:8936:25fa) |
| 2024-06-05 15:11:04 +0000 | andrei_n | (~andrei_n@2a02:a03f:c091:a800:bfaa:bf95:8936:25fa) (Changing host) |
| 2024-06-05 15:11:04 +0000 | andrei_n | (~andrei_n@user/andrei-n:62396) |
| 2024-06-05 15:11:16 +0000 | <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 15:11:31 +0000 | <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 15:11:43 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 272 seconds) |
| 2024-06-05 15:12:03 +0000 | raym | (~ray@115.187.32.4) |
| 2024-06-05 15:12:18 +0000 | <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 15:12:21 +0000 | <int-e> | I didn't actually test what happens when you press Return with the JS thing running. |
| 2024-06-05 15:13:41 +0000 | dibblego | (~dibblego@116.255.1.119) |
| 2024-06-05 15:13:41 +0000 | dibblego | (~dibblego@116.255.1.119) (Changing host) |
| 2024-06-05 15:13:41 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2024-06-05 15:14:01 +0000 | <kaol> | An event handler catching the default submit event would do that, with preventDefault. |
| 2024-06-05 15:16:29 +0000 | JimL | (~quassel@89.162.16.26) (Ping timeout: 240 seconds) |
| 2024-06-05 15:18:35 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 260 seconds) |
| 2024-06-05 15:22:29 +0000 | andrei_n | (~andrei_n@user/andrei-n:62396) (Ping timeout: 240 seconds) |
| 2024-06-05 15:24:29 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds) |
| 2024-06-05 15:25:10 +0000 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-05 15:27:48 +0000 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-06-05 15:27:55 +0000 | CiaoSen | (~Jura@2a05:5800:2e4:7800:e6b9:7aff:fe80:3d03) (Ping timeout: 255 seconds) |
| 2024-06-05 15:35:38 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-05 15:40:02 +0000 | yin_ | yin |
| 2024-06-05 15:47:44 +0000 | alexherbo2 | (~alexherbo@2a02-8440-311c-ca12-49a8-a1cf-aa4d-455b.rev.sfr.net) |
| 2024-06-05 15:53:44 +0000 | alexherbo2 | (~alexherbo@2a02-8440-311c-ca12-49a8-a1cf-aa4d-455b.rev.sfr.net) (Remote host closed the connection) |
| 2024-06-05 15:57:16 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-05 15:57:51 +0000 | sabino | (~sabino@user/sabino) |
| 2024-06-05 16:09:59 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-06-05 16:15:50 +0000 | robosexual | (~spaceoyst@92.248.214.42) (Quit: Konversation terminated!) |
| 2024-06-05 16:19:16 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-06-05 16:22:14 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-05 16:35:19 +0000 | euleritian | (~euleritia@dynamic-176-006-201-030.176.6.pool.telefonica.de) (Ping timeout: 256 seconds) |
| 2024-06-05 16:38:35 +0000 | migas97 | (~migas@static.140.65.63.178.clients.your-server.de) (Quit: The Lounge - https://thelounge.github.io) |
| 2024-06-05 16:40:53 +0000 | migas97 | (~migas@static.140.65.63.178.clients.your-server.de) |
| 2024-06-05 16:43:33 +0000 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:40dc:52b9:2426:7953) (Remote host closed the connection) |
| 2024-06-05 16:44:31 +0000 | halloy7862 | (~halloy786@syn-069-206-166-125.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-06-05 16:45:21 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-06-05 16:48:04 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-06-05 16:58:17 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-06-05 16:59:08 +0000 | beowuff | (~beowuff@50.125.248.222) |
| 2024-06-05 16:59:58 +0000 | beowuff | (~beowuff@50.125.248.222) (Remote host closed the connection) |
| 2024-06-05 17:00:56 +0000 | beowuff | (~beowuff@50.125.248.222) |
| 2024-06-05 17:03:08 +0000 | beowuff | (~beowuff@50.125.248.222) (Remote host closed the connection) |
| 2024-06-05 17:04:10 +0000 | beowuff | (~beowuff@50.125.248.222) |
| 2024-06-05 17:07:32 +0000 | Square | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2024-06-05 17:10:13 +0000 | Square | (~Square@user/square) |
| 2024-06-05 17:16:33 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-06-05 17:18:28 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-05 17:20:30 +0000 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-06-05 17:20:52 +0000 | califax | (~califax@user/califx) |
| 2024-06-05 17:21:40 +0000 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-06-05 17:23:16 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-06-05 17:24:21 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-05 17:24:59 +0000 | pavonia | (~user@user/siracusa) |
| 2024-06-05 17:27:10 +0000 | beowuff | (~beowuff@50.125.248.222) (Quit: I'm outta here! Need to install BSD on ALL THE THINGS!) |
| 2024-06-05 17:27:24 +0000 | pyooque | (~puke@user/puke) |
| 2024-06-05 17:27:24 +0000 | puke | (~puke@user/puke) (Killed (iridium.libera.chat (Nickname regained by services))) |
| 2024-06-05 17:27:24 +0000 | pyooque | puke |
| 2024-06-05 17:40:35 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-06-05 17:40:47 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-06-05 17:41:23 +0000 | rvalue | (~rvalue@user/rvalue) |
| 2024-06-05 17:48:09 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-06-05 17:52:11 +0000 | destituion | (~destituio@85.221.111.174) (Ping timeout: 264 seconds) |
| 2024-06-05 17:54:58 +0000 | beowuff | (~beowuff@50.125.248.222) |
| 2024-06-05 18:00:33 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-06-05 18:03:12 +0000 | JimL | (~quassel@89.162.16.26) |
| 2024-06-05 18:05:15 +0000 | JimL | (~quassel@89.162.16.26) (Client Quit) |
| 2024-06-05 18:05:34 +0000 | JimL | (~quassel@89.162.16.26) |
| 2024-06-05 18:08:41 +0000 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 256 seconds) |
| 2024-06-05 18:09:27 +0000 | destituion | (~destituio@2a02:2121:28c:be84:e630:c442:c264:e6ae) |
| 2024-06-05 18:10:55 +0000 | ft | (~ft@p508db8fc.dip0.t-ipconnect.de) |
| 2024-06-05 18:11:34 +0000 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-06-05 18:11:51 +0000 | JimL | (~quassel@89.162.16.26) |
| 2024-06-05 18:12:31 +0000 | tolt_ | tolt |
| 2024-06-05 18:13:32 +0000 | JimL | (~quassel@89.162.16.26) (Client Quit) |
| 2024-06-05 18:13:51 +0000 | JimL | (~quassel@89.162.16.26) |
| 2024-06-05 18:15:51 +0000 | JimL | (~quassel@89.162.16.26) (Client Quit) |
| 2024-06-05 18:16:09 +0000 | JimL | (~quassel@89.162.16.26) |
| 2024-06-05 18:18:07 +0000 | JimL | (~quassel@89.162.16.26) (Client Quit) |
| 2024-06-05 18:18:26 +0000 | JimL | (~quassel@89.162.16.26) |
| 2024-06-05 18:20:16 +0000 | JimL | (~quassel@89.162.16.26) (Client Quit) |
| 2024-06-05 18:20:34 +0000 | JimL | (~quassel@89.162.16.26) |
| 2024-06-05 18:22:33 +0000 | JimL | (~quassel@89.162.16.26) (Client Quit) |
| 2024-06-05 18:22:52 +0000 | JimL | (~quassel@89.162.16.26) |
| 2024-06-05 18:34:39 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-06-05 18:35:07 +0000 | rvalue | (~rvalue@user/rvalue) |
| 2024-06-05 18:37:40 +0000 | Square | (~Square@user/square) (Ping timeout: 268 seconds) |
| 2024-06-05 18:40:55 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-05 18:46:54 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-05 18:57:41 +0000 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 240 seconds) |
| 2024-06-05 18:58:42 +0000 | m5zs7k | (aquares@web10.mydevil.net) |
| 2024-06-05 18:59:19 +0000 | danse-nr3 | (~danse-nr3@151.43.46.126) (Ping timeout: 260 seconds) |
| 2024-06-05 19:00:06 +0000 | danse-nr3 | (~danse-nr3@151.44.167.173) |
| 2024-06-05 19:05:00 +0000 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-05 19:06:38 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-05 19:07:38 +0000 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-06-05 19:15:50 +0000 | yin | (~yin@user/zero) (Quit: Reconnecting) |
| 2024-06-05 19:17:30 +0000 | yin | (~yin@user/zero) |
| 2024-06-05 19:20:22 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-05 19:24:50 +0000 | joeyadams | (~joeyadams@38.48.105.67) (Ping timeout: 268 seconds) |
| 2024-06-05 19:38:11 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-05 19:46:19 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-05 19:54:06 +0000 | ars23 | (~ars23@user/ars23) (Quit: Leaving) |
| 2024-06-05 19:54:42 +0000 | <Inst> | is it idiomatic to override built-ins / functions defined elsewhere with let? |
| 2024-06-05 19:57:20 +0000 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) (Quit: mesaoptimizer) |
| 2024-06-05 19:58:41 +0000 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) |
| 2024-06-05 19:59:25 +0000 | <yin> | Inst: it's not idiomatic if you do something like `let head = ... in ...` |
| 2024-06-05 19:59:59 +0000 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-06-05 20:00:13 +0000 | <Leary> | If -Wall warns you about it, it isn't idiomatic. |
| 2024-06-05 20:00:51 +0000 | <yin> | well, -Wall warns you of any overloading/shadowing |
| 2024-06-05 20:01:00 +0000 | <yin> | and overloading can be idiomatic |
| 2024-06-05 20:01:18 +0000 | <tomsmeding> | it warns of shadowing, not overloading (or you mean something else with "overloading" than I do :) ) |
| 2024-06-05 20:01:43 +0000 | <yin> | Inst: but usually you do something like `let head' = ... in ...` (notice the ') |
| 2024-06-05 20:02:19 +0000 | <yin> | tomsmeding: i was under the impression that both words were used in the same context, at least in haskell |
| 2024-06-05 20:02:28 +0000 | <geekosaur> | no |
| 2024-06-05 20:02:39 +0000 | <tomsmeding> | shadowing is defining the same name again, hiding the existing definition |
| 2024-06-05 20:02:55 +0000 | <geekosaur> | "overloading" could refer to typeclass methods, or multiple patterns for a function |
| 2024-06-05 20:02:55 +0000 | <tomsmeding> | overloading is giving multiple definitions to the same name, resulting in them all being in scope in some fashion |
| 2024-06-05 20:03:03 +0000 | <tomsmeding> | the standard way in haskell being using typeclasses |
| 2024-06-05 20:03:22 +0000 | <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 20:03:30 +0000 | <yin> | oh. i've seen it used wrong then i guess! that makes more sense |
| 2024-06-05 20:03:31 +0000 | <tomsmeding> | but indeed, stretching the definition, one could also include geekosaur's example |
| 2024-06-05 20:03:40 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-05 20:03:52 +0000 | <tomsmeding> | shadowing makes a lot of sense with -XLinearTypes |
| 2024-06-05 20:04:10 +0000 | <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 20:04:50 +0000 | <tomsmeding> | similarly with state-passing code, especially if you open up IO to find the State# RealWorld -> (# a, State# RealWorld #) |
| 2024-06-05 20:05:21 +0000 | <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 20:05:34 +0000 | <tomsmeding> | as with many things in GHC, it would be nice to have more granular control over this |
| 2024-06-05 20:06:59 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2024-06-05 20:09:26 +0000 | <yin> | hard to get more granular control in any language as we get in haskell |
| 2024-06-05 20:10:18 +0000 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-06-05 20:11:44 +0000 | <dminuoso> | Dunno, sometimes we have very coarse tools. |
| 2024-06-05 20:12:10 +0000 | <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 20:12:17 +0000 | <tomsmeding> | still, one can dream with -Worphans, -Wshadow, -XRebindableSyntax (why is fromInteger in Num? Let me override that one separately) |
| 2024-06-05 20:13:06 +0000 | <tomsmeding> | also with -XAllowAmbiguousTypes, that would better be a per-function pragma |
| 2024-06-05 20:16:08 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-05 20:21:54 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 256 seconds) |
| 2024-06-05 20:23:12 +0000 | causal | (~eric@50.35.88.207) |
| 2024-06-05 20:33:04 +0000 | ystael | (~ystael@user/ystael) |
| 2024-06-05 20:34:32 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-05 20:36:32 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-06-05 20:38:01 +0000 | ell | (~ellie@user/ellie) (Quit: Ping timeout (120 seconds)) |
| 2024-06-05 20:38:23 +0000 | ell | (~ellie@user/ellie) |
| 2024-06-05 20:44:02 +0000 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Remote host closed the connection) |
| 2024-06-05 20:44:16 +0000 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-06-05 20:44:20 +0000 | danse-nr3 | (~danse-nr3@151.44.167.173) (Remote host closed the connection) |
| 2024-06-05 21:05:46 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-06-05 21:11:37 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-06-05 21:25:34 +0000 | Jackneill | (~Jackneill@94-21-250-10.pool.digikabel.hu) (Ping timeout: 246 seconds) |
| 2024-06-05 21:29:24 +0000 | mrmr1553343 | (~mrmr@user/mrmr) (Ping timeout: 268 seconds) |
| 2024-06-05 21:29:29 +0000 | mrmr15533434 | (~mrmr@user/mrmr) |
| 2024-06-05 21:30:11 +0000 | halloy7862 | (~halloy786@syn-069-206-166-125.res.spectrum.com) |
| 2024-06-05 21:32:57 +0000 | michalz | (~michalz@185.246.207.197) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-06-05 21:36:44 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-06-05 21:39:17 +0000 | talismanick | (~user@2601:644:937c:ed10::ae5) |
| 2024-06-05 21:42:26 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-06-05 21:43:05 +0000 | yin | (~yin@user/zero) (Ping timeout: 252 seconds) |
| 2024-06-05 21:47:51 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-06-05 21:53:59 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-06-05 21:56:12 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-06-05 22:03:35 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-06-05 22:10:53 +0000 | acidjnk | (~acidjnk@p200300d6e714dc088cf41374fbd85107.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-06-05 22:12:53 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-06-05 22:14:21 +0000 | titibandit | (e33ffbab65@user/titibandit) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2024-06-05 22:15:17 +0000 | yin | (~yin@user/zero) |
| 2024-06-05 22:17:51 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-06-05 22:32:45 +0000 | mrmr15533434 | (~mrmr@user/mrmr) (Ping timeout: 256 seconds) |
| 2024-06-05 22:40:34 +0000 | mrmr1553343 | (~mrmr@user/mrmr) |
| 2024-06-05 22:46:51 +0000 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Read error: Connection reset by peer) |
| 2024-06-05 22:47:40 +0000 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-06-05 22:51:31 +0000 | troojg | (~troojg@99.36.5.199) |
| 2024-06-05 22:52:11 +0000 | Guest15 | (~Guest63@129.170.197.82) |
| 2024-06-05 22:53:51 +0000 | <Guest15> | foo :: [(Int, [Int])] -> M.Map Int [Int] |
| 2024-06-05 22:53:51 +0000 | <Guest15> | foo xs = foldr go M.empty xs |
| 2024-06-05 22:53:52 +0000 | <Guest15> | where go (x, ys) map = foldr (M.adjust (x :)) map ys |
| 2024-06-05 22:53:52 +0000 | <Guest15> | I have a function like this, which I’m using to construct a dependency graph. The fold within a fold makes me suspect that there is a cleverer way of doing this/a different abstraction I should be using here - if anyone has thoughts, let me know |
| 2024-06-05 22:55:02 +0000 | <EvanR> | to go from [(k,v)] to Map k v you use M.fromList ? |
| 2024-06-05 22:55:33 +0000 | <EvanR> | ok it's doing something else |
| 2024-06-05 22:56:13 +0000 | <EvanR> | map used as a local variable is punking my brain |
| 2024-06-05 22:57:14 +0000 | <Guest15> | Yes - also, the initial map is actually a set of ints and empty lists, not M.empty - that was a mistake on my part |
| 2024-06-05 22:57:38 +0000 | <c_wraith> | How do you feel about changing [Int] to (Set Int)? |
| 2024-06-05 22:58:49 +0000 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 268 seconds) |
| 2024-06-05 22:59:17 +0000 | <Guest15> | I need to perform a topological sort over the graph eventually, but I can still fold over a set so it should be no issue |
| 2024-06-05 22:59:50 +0000 | <c_wraith> | Well, that function has no guarantee of preserving uniqueness of entries in the lists... |
| 2024-06-05 23:00:04 +0000 | m5zs7k | (aquares@web10.mydevil.net) |
| 2024-06-05 23:00:32 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-06-05 23:06:09 +0000 | <Guest15> | If I passed the function something like M.fromList [(1, [2,3 ]), (5, [2, 3])] I would want M.fromList [(2, [1, 5]), (3, [1, 5])] |
| 2024-06-05 23:06:19 +0000 | <Guest15> | As in, I actually want the all of the mappings between a particular element that appears in various inner lists and a first element of one of the tuples to be concatenated into one list |
| 2024-06-05 23:06:25 +0000 | <Guest15> | Unless I'm misunderstanding what you're saying |
| 2024-06-05 23:06:53 +0000 | <Guest15> | *some first element |
| 2024-06-05 23:09:17 +0000 | yin | (~yin@user/zero) (Ping timeout: 240 seconds) |
| 2024-06-05 23:10:14 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2024-06-05 23:10:59 +0000 | <troojg> | 6D / |
| 2024-06-05 23:11:27 +0000 | <c_wraith> | I'm not even sure what operation that is. |
| 2024-06-05 23:11:32 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-06-05 23:11:46 +0000 | <c_wraith> | In graph terms, what are you doing? reversing the edge lists? |
| 2024-06-05 23:18:35 +0000 | troojg | (~troojg@99.36.5.199) (Ping timeout: 264 seconds) |
| 2024-06-05 23:20:08 +0000 | <Guest15> | I used ints for readability but in practice, there’s an expression with an identifier and a list of identifiers of other expressions that it depends on i.e. (v, deps) :: (VarName, [VarName]) - and I have a list of these tuples. |
| 2024-06-05 23:20:09 +0000 | <Guest15> | So what I want to do is create a dependency graph with edges of the form (node1, node2) such that for some (v, deps), node1 belongs to deps and v == node2 i.e. M.fromList [(1, [2,3 ]), (5, [2, 3])] becomes M.fromList [(2, [1, 5]), (3, [1, 5])] |
| 2024-06-05 23:20:09 +0000 | <Guest15> | Then I want to perform a topological sort on that dependency graph, so I can evaluate the expressions in an order that ensures every expression has fully normalized versions of the expressions it depends on when it gets evaluated |
| 2024-06-05 23:37:30 +0000 | troojg | (~troojg@99.36.5.199) |
| 2024-06-05 23:40:02 +0000 | yin | (~yin@user/zero) |
| 2024-06-05 23:45:44 +0000 | troojg | (~troojg@99.36.5.199) (Ping timeout: 252 seconds) |
| 2024-06-05 23:46:04 +0000 | troojg | (~troojg@99.36.5.199) |
| 2024-06-05 23:50:41 +0000 | troojg | (~troojg@99.36.5.199) (Ping timeout: 252 seconds) |
| 2024-06-05 23:51:16 +0000 | Guest15 | (~Guest63@129.170.197.82) (Quit: Client closed) |