Newest at the top
| 2024-09-21 10:38:12 +0200 | gary_borg | (~gary_borg@144.6.194.76) (Killed (ozone (No Spam))) |
| 2024-09-21 10:36:27 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-21 10:35:50 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-21 10:35:02 +0200 | <lambdabot> | "Haskell Antipattern: Existential Typeclass" by Luke Palmer at <https://web.archive.org/web/20220121105027/https://lukepalmer.wordpress.com/2010/01/24/haskell-ant…> |
| 2024-09-21 10:35:02 +0200 | <ski> | @where existential-antipattern |
| 2024-09-21 10:31:36 +0200 | <Inst> | tomsmeding: why are existential types a bad idea? |
| 2024-09-21 10:29:10 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-21 10:27:05 +0200 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 2024-09-21 10:26:45 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-09-21 10:25:28 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2024-09-21 10:25:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-21 10:25:04 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2024-09-21 10:24:45 +0200 | gary_borg | (~gary_borg@144.6.194.76) |
| 2024-09-21 10:24:21 +0200 | gary_borg | (~gary_borg@144.6.194.76) (Quit: Leaving) |
| 2024-09-21 10:21:22 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-21 10:20:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-21 10:19:47 +0200 | <gary_borg> | timtamspelling: oh ok ythank yo for choryfinning |
| 2024-09-21 10:19:33 +0200 | <tomsmeding> | :D |
| 2024-09-21 10:19:29 +0200 | <ski> | (clearly operators are opposition, adversaries) |
| 2024-09-21 10:18:39 +0200 | <tomsmeding> | which is a bot from the irc server that mediates admin rights to the actual people having said access |
| 2024-09-21 10:18:29 +0200 | Inst | (~Inst@user/Inst) |
| 2024-09-21 10:18:26 +0200 | Inst | (~Inst@user/Inst) (Leaving) |
| 2024-09-21 10:18:19 +0200 | <tomsmeding> | that user here is ChanServ |
| 2024-09-21 10:18:15 +0200 | <tomsmeding> | an "op" (not "opp") is an "operator", i.e. a user with admin rights on the channel |
| 2024-09-21 10:18:00 +0200 | <tomsmeding> | gary_borg: ah lol |
| 2024-09-21 10:17:59 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-09-21 10:17:31 +0200 | <Inst> | just in Haskell it's a lot more wonky |
| 2024-09-21 10:17:25 +0200 | <gary_borg> | https://imgur.com/a/7GTqvrr this is what im referring to. |
| 2024-09-21 10:17:23 +0200 | <Inst> | after touching julia, why yes, you can have an entire language made out of typeclasses (since implicitly in Julia every function is a typeclass) |
| 2024-09-21 10:16:28 +0200 | <tomsmeding> | sometimes they are, sure, but when modelling data, they usually bring more harm than good |
| 2024-09-21 10:16:06 +0200 | <tomsmeding> | Inst: existential types are almost never the right answer |
| 2024-09-21 10:15:40 +0200 | <Inst> | tomsmeding: tbh you're right, you could use typeclasses and existential types for that |
| 2024-09-21 10:14:51 +0200 | <tomsmeding> | irc does not have a concept of "opposition", so not sure what you're referring to :) |
| 2024-09-21 10:14:37 +0200 | <gary_borg> | Opp (Opponent or Opposition) "Opp" is a slang abbreviation of the word "opponent" or "enemy." It is commonly used to refer to someone who is viewed as an adversary or someone with whom one has a conflict or disagreement. |
| 2024-09-21 10:14:36 +0200 | <gary_borg> | Opponent or Opposition |
| 2024-09-21 10:14:20 +0200 | <gary_borg> | opposition |
| 2024-09-21 10:13:27 +0200 | <tomsmeding> | what do you mean with "opp"? |
| 2024-09-21 10:13:12 +0200 | <gary_borg> | what did i do wronh |
| 2024-09-21 10:13:09 +0200 | <gary_borg> | why is someone here my opp |
| 2024-09-21 10:13:04 +0200 | <gary_borg> | im confused with this app im new ot irc |
| 2024-09-21 10:12:56 +0200 | <gary_borg> | why is haskelbridge my opp |
| 2024-09-21 10:12:01 +0200 | gary_borg | (~gary_borg@144.6.194.76) |
| 2024-09-21 10:09:30 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-21 10:09:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-21 10:08:19 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-21 10:07:52 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-09-21 10:04:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-21 10:02:44 +0200 | neuroevolutus | (~neuroevol@146.70.211.110) (Quit: Client closed) |
| 2024-09-21 10:02:43 +0200 | <tomsmeding> | (which is also how all of the implicit techniques are implemented; the compiler just knows about them and resolves references to the contained structure automagically) |
| 2024-09-21 10:02:43 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |