| 2023-07-31 00:00:34 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-31 00:05:23 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 264 seconds) |
| 2023-07-31 00:05:28 +0200 | slayd | (~slayd@2601:1c2:97f:89a0::3e28) |
| 2023-07-31 00:07:42 +0200 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2023-07-31 00:07:42 +0200 | Feuermagier | Guest6862 |
| 2023-07-31 00:07:42 +0200 | Guest6862 | (~Feuermagi@user/feuermagier) (Killed (lithium.libera.chat (Nickname regained by services))) |
| 2023-07-31 00:07:42 +0200 | Feuermagier_ | Feuermagier |
| 2023-07-31 00:09:34 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-07-31 00:12:06 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2023-07-31 00:17:11 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f92353e374853bf96f6.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2023-07-31 00:17:14 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 246 seconds) |
| 2023-07-31 00:18:03 +0200 | mechap | (~mechap@user/mechap) (Quit: WeeChat 4.0.2) |
| 2023-07-31 00:18:18 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2023-07-31 00:22:24 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a1a1:20a1:ef18:fdf5) (Remote host closed the connection) |
| 2023-07-31 00:29:23 +0200 | falafel | (~falafel@216.68.6.51.dyn.plus.net) |
| 2023-07-31 00:32:31 +0200 | MajorBiscuit | (~MajorBisc@62-110-179.netrun.cytanet.com.cy) (Quit: WeeChat 3.6) |
| 2023-07-31 00:34:07 +0200 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) |
| 2023-07-31 00:35:17 +0200 | slayd | (~slayd@2601:1c2:97f:89a0::3e28) (Remote host closed the connection) |
| 2023-07-31 00:38:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-31 00:38:35 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2023-07-31 00:40:48 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-31 00:42:26 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-07-31 00:43:21 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-07-31 00:43:49 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-31 00:43:49 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-31 00:43:49 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-31 00:47:17 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-07-31 00:47:20 +0200 | <shapr> | here's another blog post! https://shapr.github.io/posts/2023-07-30-goldilocks-property-tests.html |
| 2023-07-31 00:47:28 +0200 | <shapr> | and it's short! |
| 2023-07-31 00:49:14 +0200 | xff0x | (~xff0x@2405:6580:b080:900:35b2:3ab1:b22a:e38) (Ping timeout: 246 seconds) |
| 2023-07-31 00:49:38 +0200 | xff0x | (~xff0x@178.255.149.135) |
| 2023-07-31 00:54:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-31 00:56:26 +0200 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2023-07-31 00:56:26 +0200 | Feuermagier | Guest9970 |
| 2023-07-31 00:56:26 +0200 | Guest9970 | (~Feuermagi@user/feuermagier) (Killed (cadmium.libera.chat (Nickname regained by services))) |
| 2023-07-31 00:56:27 +0200 | Feuermagier_ | Feuermagier |
| 2023-07-31 00:56:37 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 245 seconds) |
| 2023-07-31 00:57:31 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2023-07-31 01:02:16 +0200 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) (Ping timeout: 252 seconds) |
| 2023-07-31 01:03:17 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-07-31 01:03:40 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-31 01:03:40 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-31 01:03:40 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-31 01:04:53 +0200 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 244 seconds) |
| 2023-07-31 01:05:07 +0200 | <dsal> | shapr: It's so weird that people complain about bugs that were found that they weren't looking for. |
| 2023-07-31 01:05:32 +0200 | <dsal> | Sometimes it's the "old" bugs, or sometimes it's a property testing hitting an area it hadn't hit before, but revealing a bug. |
| 2023-07-31 01:06:04 +0200 | <dsal> | Of course, sometimes it's just poorly written tests, which some folks tend to argue is a distinct experience in property tests. |
| 2023-07-31 01:06:11 +0200 | <jackdk> | The best bit is when property tests turn up bugs of the "how did that _ever_ work?" variety. |
| 2023-07-31 01:06:51 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f767:6bf8:2493:e83f) |
| 2023-07-31 01:07:59 +0200 | <int-e> | dsal: but wouldn't you agree that the information whether the bug is in new code or in old code is helpful for debugging |
| 2023-07-31 01:08:30 +0200 | <int-e> | (that's not black and white of course; new code can use old code in novel ways) |
| 2023-07-31 01:08:57 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-31 01:09:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-31 01:09:34 +0200 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) |
| 2023-07-31 01:10:13 +0200 | <dsal> | int-e: sure, just responding to that blog post plus my experience with people being upset about bugs unrelated to what they changed. |
| 2023-07-31 01:10:39 +0200 | <dsal> | They’re either bugs or poorly written tests. |
| 2023-07-31 01:15:22 +0200 | ddellacosta | (~ddellacos@143.244.47.84) (Ping timeout: 245 seconds) |
| 2023-07-31 01:20:28 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-07-31 01:21:07 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-07-31 01:21:14 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Quit: segfaultfizzbuzz) |
| 2023-07-31 01:21:28 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-07-31 01:21:36 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-07-31 01:21:36 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-07-31 01:21:36 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-31 01:22:29 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-07-31 01:23:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-31 01:24:00 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 244 seconds) |
| 2023-07-31 01:24:00 +0200 | mauke_ | mauke |
| 2023-07-31 01:26:36 +0200 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) (Ping timeout: 250 seconds) |
| 2023-07-31 01:32:07 +0200 | tom__ | (~tom@host81-151-255-71.range81-151.btcentralplus.com) |
| 2023-07-31 01:32:22 +0200 | tom_ | (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) (Remote host closed the connection) |
| 2023-07-31 01:35:53 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-092-099.46.114.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2023-07-31 01:41:30 +0200 | mvk | (~mvk@2607:fea8:5c9a:a600::1c6d) |
| 2023-07-31 01:41:43 +0200 | <shapr> | dsal: deadlines make people cranky |
| 2023-07-31 01:42:06 +0200 | <shapr> | I agree, I'm happy when property tests find "old" bugs |
| 2023-07-31 01:42:26 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-07-31 01:42:49 +0200 | Lycurgus | slips em with glee |
| 2023-07-31 01:45:34 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-07-31 01:46:35 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-07-31 01:47:31 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-07-31 01:47:42 +0200 | <dolio> | People set up a lot of arbitrary rules around tests that make that sort of thing inconvenient. |
| 2023-07-31 01:47:49 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-07-31 01:48:31 +0200 | <dolio> | Like, "your code can't be merged until a bug you had nothing to do with is fixed, because it was triggered when reviewing your patch." |
| 2023-07-31 01:48:53 +0200 | <Lycurgus> | part of a vast make work sector |
| 2023-07-31 01:49:59 +0200 | <shapr> | dolio: yeah, that's bad |
| 2023-07-31 01:50:14 +0200 | <shapr> | I'm fine with "report the bug that had nothing to do with your change, then continue" |
| 2023-07-31 01:50:15 +0200 | <Lycurgus> | the conditions that would make building quality in from the jump, which you might especially expect in the hs culture, being socially inhibited |
| 2023-07-31 01:50:17 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-07-31 01:58:31 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-07-31 01:59:25 +0200 | <arahael> | dolio: I'm fine with that as long as you can put that into a separate ticket which then gets triaged. |
| 2023-07-31 02:03:23 +0200 | <dolio> | It's not a problem as long as people behave reasonably in that sort of exceptional situation. |
| 2023-07-31 02:03:55 +0200 | <arahael> | It sort of depends on the software lifecycle it's at too. |
| 2023-07-31 02:04:08 +0200 | <arahael> | Sometimes, you just do not want to trigger new bugs. |
| 2023-07-31 02:04:35 +0200 | <arahael> | So that bug, since it's now triggered, could very well block the new feature. |
| 2023-07-31 02:05:18 +0200 | <dolio> | The problem is that lots of people like to senselessly apply rules instead of behaving reasonably. :) |
| 2023-07-31 02:05:27 +0200 | <arahael> | That's indeed an issue. |
| 2023-07-31 02:05:58 +0200 | <geekosaur> | a nd even more so they like to hide behind those rules instead of having to think |
| 2023-07-31 02:06:26 +0200 | <monochrom> | Programmers just want to be computers. I know because I was one of them. |
| 2023-07-31 02:06:54 +0200 | <monochrom> | It is also why they don't understand either denotational semantics or recursion. >:) |
| 2023-07-31 02:07:15 +0200 | <hpc> | computers have it easy - they just do the same thing over and over and it doesn't even have to be correct :P |
| 2023-07-31 02:07:38 +0200 | <monochrom> | Programmers are computers with a stack size of about 7. |
| 2023-07-31 02:07:48 +0200 | <geekosaur> | that high? |
| 2023-07-31 02:08:05 +0200 | <dolio> | Yeah, 7 is way too much. |
| 2023-07-31 02:08:08 +0200 | <monochrom> | Let's be "chariable" >:) |
| 2023-07-31 02:08:09 +0200 | <int-e> | maybe it's closer to 2pi. |
| 2023-07-31 02:08:22 +0200 | <int-e> | monochrom: how many wheels? |
| 2023-07-31 02:08:38 +0200 | <arahael> | Honestly, I'm generally trying ot reduce "decision making". Every decision is fatigue. |
| 2023-07-31 02:08:47 +0200 | <int-e> | (it does derive from "chariot", doesn't it) |
| 2023-07-31 02:08:57 +0200 | <monochrom> | charitable |
| 2023-07-31 02:09:07 +0200 | <int-e> | :-P |
| 2023-07-31 02:09:40 +0200 | <monochrom> | perhaps the stack is a ring buffer. a wheel of 7 spaces. |
| 2023-07-31 02:10:05 +0200 | qrst | (~qrst@user/qrst) (Remote host closed the connection) |
| 2023-07-31 02:11:08 +0200 | qrst | (~qrst@user/qrst) |
| 2023-07-31 02:17:33 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 258 seconds) |
| 2023-07-31 02:19:37 +0200 | <arahael> | Perhaps the better metaphor is magnetic core memory. Very limited. Very expensive. |
| 2023-07-31 02:22:17 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-31 02:22:17 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-31 02:22:17 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-31 02:22:59 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-07-31 02:25:47 +0200 | flounders | (~flounders@24.246.133.1) (Ping timeout: 245 seconds) |
| 2023-07-31 02:27:37 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) |
| 2023-07-31 02:30:24 +0200 | mvk | (~mvk@2607:fea8:5c9a:a600::1c6d) (Quit: Going elsewhere) |
| 2023-07-31 02:32:07 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 258 seconds) |
| 2023-07-31 02:33:14 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 244 seconds) |
| 2023-07-31 02:35:01 +0200 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-07-31 02:36:30 +0200 | dolio | (~dolio@130.44.134.54) |
| 2023-07-31 02:36:51 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 244 seconds) |
| 2023-07-31 02:37:14 +0200 | Square | (~Square@user/square) (Ping timeout: 250 seconds) |
| 2023-07-31 02:39:06 +0200 | dolio | (~dolio@130.44.134.54) (Client Quit) |
| 2023-07-31 02:40:38 +0200 | dolio | (~dolio@130.44.134.54) |
| 2023-07-31 02:49:57 +0200 | falafel | (~falafel@216.68.6.51.dyn.plus.net) (Ping timeout: 245 seconds) |
| 2023-07-31 02:51:19 +0200 | ursa-major | (~ursa-majo@37.19.210.10) |
| 2023-07-31 02:51:26 +0200 | son0p | (~ff@181.136.122.143) |
| 2023-07-31 02:53:20 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-07-31 02:59:08 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-07-31 03:00:41 +0200 | yangby | (~secret@115.220.173.23) (Quit: Go out for a walk and buy a drink.) |
| 2023-07-31 03:01:02 +0200 | yangby | (~secret@115.220.173.23) |
| 2023-07-31 03:03:39 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-31 03:08:21 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-07-31 03:11:09 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-07-31 03:12:23 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 246 seconds) |
| 2023-07-31 03:12:36 +0200 | razetime | (~quassel@117.193.5.28) |
| 2023-07-31 03:17:18 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-07-31 03:19:40 +0200 | hammond | (proscan@user/hammond2) (Ping timeout: 246 seconds) |
| 2023-07-31 03:19:58 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-07-31 03:19:58 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-07-31 03:19:58 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-31 03:20:29 +0200 | hololeap | (~quassel@user/hololeap) (Quit: Bye) |
| 2023-07-31 03:22:22 +0200 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-07-31 03:22:30 +0200 | hololeap | (~quassel@user/hololeap) |
| 2023-07-31 03:32:52 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f767:6bf8:2493:e83f) (Ping timeout: 245 seconds) |
| 2023-07-31 03:34:52 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2023-07-31 03:52:54 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-07-31 03:52:55 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-07-31 03:52:55 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-31 03:53:50 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a1a1:20a1:ef18:fdf5) |
| 2023-07-31 03:55:25 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a1a1:20a1:ef18:fdf5) (Remote host closed the connection) |
| 2023-07-31 03:55:40 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a1a1:20a1:ef18:fdf5) |
| 2023-07-31 04:01:56 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2023-07-31 04:06:25 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-31 04:07:34 +0200 | micro | (~micro@user/micro) (Ping timeout: 258 seconds) |
| 2023-07-31 04:07:49 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c3b) (Ping timeout: 260 seconds) |
| 2023-07-31 04:08:44 +0200 | gdown | (~gavin@h69-11-148-35.kndrid.broadband.dynamic.tds.net) |
| 2023-07-31 04:14:11 +0200 | td_ | (~td@i5387093B.versanet.de) (Ping timeout: 245 seconds) |
| 2023-07-31 04:16:00 +0200 | micro | (~micro@user/micro) |
| 2023-07-31 04:16:13 +0200 | td_ | (~td@i53870914.versanet.de) |
| 2023-07-31 04:17:17 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-07-31 04:17:17 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-07-31 04:17:18 +0200 | finn_elija | FinnElija |
| 2023-07-31 04:17:29 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-31 04:20:47 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-07-31 04:21:06 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-31 04:25:23 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2023-07-31 04:26:29 +0200 | hammond | (proscan@gateway02.insomnia247.nl) |
| 2023-07-31 04:30:10 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-31 04:36:18 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2023-07-31 04:36:54 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-07-31 04:37:46 +0200 | aeroplane | (~user@user/aeroplane) |
| 2023-07-31 04:38:29 +0200 | Guest|44 | (~Guest|44@197.210.77.153) |
| 2023-07-31 04:39:13 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-07-31 04:42:58 +0200 | Guest|44 | (~Guest|44@197.210.77.153) (Client Quit) |
| 2023-07-31 04:48:12 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 258 seconds) |
| 2023-07-31 04:53:08 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-31 04:53:08 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-31 04:53:08 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-31 04:53:16 +0200 | mima | (~mmh@ppp-212-114-180-231.dynamic.mnet-online.de) (Ping timeout: 252 seconds) |
| 2023-07-31 04:59:12 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 260 seconds) |
| 2023-07-31 04:59:53 +0200 | Sciencentistguy8 | (~sciencent@hacksoc/ordinary-member) |
| 2023-07-31 05:01:41 +0200 | aeroplane | (~user@user/aeroplane) (Ping timeout: 245 seconds) |
| 2023-07-31 05:02:02 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 245 seconds) |
| 2023-07-31 05:02:02 +0200 | Sciencentistguy8 | Sciencentistguy |
| 2023-07-31 05:03:35 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2023-07-31 05:05:28 +0200 | aforemny_ | (~aforemny@i59F516D5.versanet.de) |
| 2023-07-31 05:06:09 +0200 | aforemny | (~aforemny@2001:9e8:6cf0:9000:d6be:c81a:96c5:47a4) (Ping timeout: 260 seconds) |
| 2023-07-31 05:07:25 +0200 | reach__ | (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) |
| 2023-07-31 05:08:28 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds) |
| 2023-07-31 05:10:22 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-31 05:10:22 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-31 05:10:22 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-31 05:13:11 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Read error: Connection reset by peer) |
| 2023-07-31 05:13:45 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-07-31 05:18:01 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-07-31 05:18:52 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2023-07-31 05:24:01 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a1a1:20a1:ef18:fdf5) (Remote host closed the connection) |
| 2023-07-31 05:26:38 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-07-31 05:27:35 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 264 seconds) |
| 2023-07-31 05:29:56 +0200 | kimiamania60 | (~681cf57f@user/kimiamania) (Ping timeout: 244 seconds) |
| 2023-07-31 05:30:35 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a1a1:20a1:ef18:fdf5) |
| 2023-07-31 05:31:45 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-31 05:31:45 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-31 05:31:45 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-31 05:34:13 +0200 | reach__ | (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) (Remote host closed the connection) |
| 2023-07-31 05:34:37 +0200 | reach__ | (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) |
| 2023-07-31 05:41:58 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-07-31 05:47:25 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-31 05:48:46 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-07-31 05:49:37 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-07-31 05:50:12 +0200 | kimiamania60 | (~681cf57f@user/kimiamania) |
| 2023-07-31 05:53:50 +0200 | tornato | (uid197568@id-197568.tinside.irccloud.com) |
| 2023-07-31 05:54:42 +0200 | tornato | (uid197568@id-197568.tinside.irccloud.com) () |
| 2023-07-31 05:55:57 +0200 | tornato | (uid197568@id-197568.tinside.irccloud.com) |
| 2023-07-31 05:56:53 +0200 | dibblego | (~dibblego@116.255.1.151) |
| 2023-07-31 05:56:54 +0200 | dibblego | (~dibblego@116.255.1.151) (Changing host) |
| 2023-07-31 05:56:54 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-31 06:00:25 +0200 | actioninja63 | (~actioninj@user/actioninja) (Quit: see ya mane) |
| 2023-07-31 06:00:50 +0200 | actioninja630 | (~actioninj@user/actioninja) |
| 2023-07-31 06:06:10 +0200 | talismanick | (~user@76.133.152.122) |
| 2023-07-31 06:06:48 +0200 | <talismanick> | For calling out to Git (e.g. to clone a repo), is doing so via Shelly the most idiomatic way? |
| 2023-07-31 06:07:08 +0200 | <talismanick> | And, on another note, where might I find examples of Shelly being used in a monad transformer stack? |
| 2023-07-31 06:08:28 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-07-31 06:10:26 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-07-31 06:15:24 +0200 | razetime | (~quassel@117.193.5.28) (Ping timeout: 252 seconds) |
| 2023-07-31 06:19:04 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-31 06:19:04 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-31 06:19:04 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-31 06:19:53 +0200 | <Inst__> | probie: |
| 2023-07-31 06:19:55 +0200 | <Inst__> | https://paste.tomsmeding.com/fd8D121B |
| 2023-07-31 06:20:47 +0200 | <Inst__> | all of a sudden, i got enthusiastic about an idea I have for a blog project, but not sure if anyone else wants to participate |
| 2023-07-31 06:20:53 +0200 | <Inst__> | "Haskell Tutorials In Anger" |
| 2023-07-31 06:21:13 +0200 | <Inst__> | i.e, cross between Haskell Phrasebook and "Big Book of Small Python Projects" |
| 2023-07-31 06:21:37 +0200 | <Inst__> | tutorials based on an assumption of no pre-existing haskell knowledge, latched onto microprojects |
| 2023-07-31 06:21:52 +0200 | <Inst__> | the code there is the haskell code for my Haskell Tutorial in Anger |
| 2023-07-31 06:25:37 +0200 | Inst__ | Inst |
| 2023-07-31 06:27:57 +0200 | Inst[m] | (~instrmatr@2001:470:69fc:105::1:903e) |
| 2023-07-31 06:37:04 +0200 | trev | (~trev@user/trev) |
| 2023-07-31 06:58:57 +0200 | <jackdk> | talismanick: we just use `process`, though maybe I'd use typed-process if I was starting it from scratch today |
| 2023-07-31 07:01:52 +0200 | razetime | (~quassel@117.193.5.28) |
| 2023-07-31 07:02:16 +0200 | <talismanick> | jackdk: nice, this seems more like what I want |
| 2023-07-31 07:04:06 +0200 | <probie> | Inst: Very low hanging fruit for readability - have shorter lines |
| 2023-07-31 07:06:04 +0200 | <probie> | `updateBoard` is 160 characters long, which is a lot more than the recommended 80-100 |
| 2023-07-31 07:08:33 +0200 | <Inst> | "column 113" |
| 2023-07-31 07:08:40 +0200 | <Inst> | after some basic editing, jeez |
| 2023-07-31 07:13:23 +0200 | shapr | (~user@2600:1700:c640:3100:5109:9a4a:7d59:40bc) (Ping timeout: 246 seconds) |
| 2023-07-31 07:14:58 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-07-31 07:15:12 +0200 | gdown | (~gavin@h69-11-148-35.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2023-07-31 07:15:55 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-31 07:16:20 +0200 | <probie> | To avoid repeating yourself, I think `evaluateState` in `eventHandler` could do with something like `where endGameWith = eventHandler a b currentModel . EndGame` so you end up with `PlayerWin -> endGameWith Win; ComputerWin -> endGameWith Lose` etc. |
| 2023-07-31 07:20:12 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2023-07-31 07:21:18 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-07-31 07:21:53 +0200 | gdown | (~gavin@h69-11-148-35.kndrid.broadband.dynamic.tds.net) |
| 2023-07-31 07:28:17 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 245 seconds) |
| 2023-07-31 07:29:50 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-07-31 07:31:32 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-31 07:32:10 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-07-31 07:33:41 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 246 seconds) |
| 2023-07-31 07:36:36 +0200 | phma_ | (phma@2001:5b0:2143:de28:6b31:2661:4c47:1eea) |
| 2023-07-31 07:38:17 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-07-31 07:38:30 +0200 | phma | (~phma@host-67-44-208-166.hnremote.net) (Read error: Connection reset by peer) |
| 2023-07-31 07:42:25 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-31 07:44:00 +0200 | phma_ | phma |
| 2023-07-31 07:51:50 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds) |
| 2023-07-31 07:52:26 +0200 | reach__ | (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2023-07-31 07:53:49 +0200 | mmhat | (~mmh@p200300f1c73d19feee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-07-31 07:54:58 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-31 07:54:58 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-31 07:54:59 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-31 07:57:31 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2023-07-31 07:58:31 +0200 | <Inst> | hmmm, yeah, probably should clean up the freaking type model, this isn't intended to be extensible, and a lot of duplication can be removed |
| 2023-07-31 07:59:17 +0200 | <Inst> | was just a quick hack to see how fast i can put something together; i'm a bit disappointed with monomer because it hasn't been updated to 9.6 yet |
| 2023-07-31 07:59:49 +0200 | <Inst> | i honestly should try to build a console widget so it can be used to generate a trivial app that doesn't slave haskell to command line |
| 2023-07-31 08:00:11 +0200 | gdown | (~gavin@h69-11-148-35.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2023-07-31 08:02:46 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-31 08:07:00 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 250 seconds) |
| 2023-07-31 08:07:52 +0200 | mncheck | (~mncheck@193.224.205.254) |
| 2023-07-31 08:18:35 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f36112eefabde49cc58.dip0.t-ipconnect.de) |
| 2023-07-31 08:18:56 +0200 | CiaoSen | (~Jura@2a05:5800:294:9300:664b:f0ff:fe37:9ef) |
| 2023-07-31 08:24:03 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 244 seconds) |
| 2023-07-31 08:35:26 +0200 | razetime | (~quassel@117.193.5.28) (Ping timeout: 245 seconds) |
| 2023-07-31 08:35:27 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-07-31 08:35:57 +0200 | razetime | (~quassel@117.254.36.145) |
| 2023-07-31 08:43:25 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-07-31 08:44:15 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Remote host closed the connection) |
| 2023-07-31 08:45:43 +0200 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) |
| 2023-07-31 08:46:45 +0200 | aeroplane | (~user@user/aeroplane) |
| 2023-07-31 08:46:58 +0200 | briandaed | (~briandaed@185.234.210.211) |
| 2023-07-31 08:48:03 +0200 | flounders | (~flounders@24.246.133.1) |
| 2023-07-31 08:48:05 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-07-31 08:54:04 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-07-31 08:55:51 +0200 | razetime | (~quassel@117.254.36.145) (Ping timeout: 245 seconds) |
| 2023-07-31 08:56:22 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Remote host closed the connection) |
| 2023-07-31 08:56:31 +0200 | mei | (~mei@user/mei) |
| 2023-07-31 08:56:37 +0200 | razetime | (~quassel@117.254.36.160) |
| 2023-07-31 08:56:47 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-07-31 09:07:38 +0200 | shriekingnoise_ | (~shrieking@186.137.175.87) (Ping timeout: 246 seconds) |
| 2023-07-31 09:08:53 +0200 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) (Ping timeout: 246 seconds) |
| 2023-07-31 09:09:06 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-07-31 09:10:36 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-092-121.46.114.pool.telefonica.de) |
| 2023-07-31 09:15:04 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2023-07-31 09:18:50 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-092-121.46.114.pool.telefonica.de) (Ping timeout: 258 seconds) |
| 2023-07-31 09:20:37 +0200 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) |
| 2023-07-31 09:21:50 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-31 09:22:41 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-07-31 09:24:21 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-07-31 09:26:57 +0200 | mima | (~mmh@ppp-212-114-180-27.dynamic.mnet-online.de) |
| 2023-07-31 09:29:11 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2023-07-31 09:33:32 +0200 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-07-31 09:33:54 +0200 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-07-31 09:34:32 +0200 | aeroplane | (~user@user/aeroplane) (Ping timeout: 250 seconds) |
| 2023-07-31 09:34:51 +0200 | lortabac | (~lortabac@2a01:e0a:50d:8d40:f4cc:e84e:3beb:ac1) |
| 2023-07-31 09:34:57 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-31 09:35:16 +0200 | anpad | (~pandeyan@user/anpad) |
| 2023-07-31 09:38:20 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-31 09:38:35 +0200 | mango | (~finn@2001:861:5863:3d50:80c:5abe:b586:d29e) |
| 2023-07-31 09:38:57 +0200 | MajorBiscuit | (~MajorBisc@c-001-022-027.client.tudelft.eduvpn.nl) |
| 2023-07-31 09:41:31 +0200 | phma | (phma@2001:5b0:2143:de28:6b31:2661:4c47:1eea) (Read error: Connection reset by peer) |
| 2023-07-31 09:42:23 +0200 | phma | (phma@2001:5b0:211c:3428:8f93:af30:9b05:d7b) |
| 2023-07-31 09:44:51 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-07-31 09:45:38 +0200 | mango | (~finn@2001:861:5863:3d50:80c:5abe:b586:d29e) (Ping timeout: 246 seconds) |
| 2023-07-31 09:45:48 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2023-07-31 09:47:28 +0200 | mango | (~finn@2001:861:5863:3d50:5e5c:1466:68fe:a5a1) |
| 2023-07-31 09:48:02 +0200 | <mango> | in a typeclass definition, can i put a constraint on the type to be of *->* ? |
| 2023-07-31 09:49:18 +0200 | <jackdk> | mango: https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/kind_signatures.html#extension-Kind… |
| 2023-07-31 09:49:23 +0200 | <jackdk> | should do what you want |
| 2023-07-31 09:51:21 +0200 | <mango> | great |
| 2023-07-31 09:51:47 +0200 | aeroplane | (~user@user/aeroplane) |
| 2023-07-31 09:55:47 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2023-07-31 10:04:50 +0200 | <retropikzel> | How would I parse list of Ints by hand with Aeson? |
| 2023-07-31 10:05:02 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-31 10:06:12 +0200 | thelounge793 | (~thelounge@95.179.128.119) |
| 2023-07-31 10:06:16 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-07-31 10:08:35 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-07-31 10:10:56 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds) |
| 2023-07-31 10:12:14 +0200 | razetime | (~quassel@117.254.36.160) (Ping timeout: 246 seconds) |
| 2023-07-31 10:12:38 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-31 10:13:04 +0200 | mango | (~finn@2001:861:5863:3d50:5e5c:1466:68fe:a5a1) (Ping timeout: 244 seconds) |
| 2023-07-31 10:14:23 +0200 | razetime | (~quassel@117.193.1.30) |
| 2023-07-31 10:15:52 +0200 | chele | (~chele@user/chele) |
| 2023-07-31 10:17:09 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-31 10:17:43 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2023-07-31 10:19:47 +0200 | kimiamania60 | (~681cf57f@user/kimiamania) (Ping timeout: 244 seconds) |
| 2023-07-31 10:21:37 +0200 | thyriaen | (~thyriaen@2a01:aea0:dd4:6a18:6245:cbff:fe9f:48b1) |
| 2023-07-31 10:22:38 +0200 | razetime | (~quassel@117.193.1.30) (Ping timeout: 250 seconds) |
| 2023-07-31 10:28:50 +0200 | danse-nr3 | (~francesco@151.43.255.156) |
| 2023-07-31 10:32:18 +0200 | <ncf> | by hand, or with aeson? |
| 2023-07-31 10:35:55 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-31 10:36:13 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-07-31 10:41:09 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-07-31 10:43:47 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2023-07-31 10:43:48 +0200 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Quit: Reconnecting) |
| 2023-07-31 10:43:59 +0200 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2023-07-31 10:47:46 +0200 | tornato | (uid197568@id-197568.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-31 10:48:36 +0200 | CiaoSen | (~Jura@2a05:5800:294:9300:664b:f0ff:fe37:9ef) (Ping timeout: 260 seconds) |
| 2023-07-31 10:55:57 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-31 11:00:46 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-07-31 11:01:40 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-07-31 11:05:04 +0200 | jinsl | (~jinsl@123.120.177.226) (Ping timeout: 252 seconds) |
| 2023-07-31 11:05:40 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 2023-07-31 11:06:05 +0200 | jinsl | (~jinsl@2408:8207:2550:b730:211:32ff:fec8:6aea) |
| 2023-07-31 11:06:19 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-07-31 11:07:02 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a1a1:20a1:ef18:fdf5) (Remote host closed the connection) |
| 2023-07-31 11:07:03 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-31 11:11:57 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-07-31 11:14:52 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 2023-07-31 11:16:37 +0200 | Inst | (~Inst@2601:6c4:4081:2fc0:b8e3:e527:5654:3c93) (Ping timeout: 245 seconds) |
| 2023-07-31 11:16:55 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-31 11:17:09 +0200 | kimiamania60 | (~681cf57f@user/kimiamania) |
| 2023-07-31 11:20:02 +0200 | <retropikzel> | ncf, by writing out the parseJSON by hand |
| 2023-07-31 11:21:01 +0200 | <retropikzel> | I dont know how to say it better, instead of letting Aeson automatically do it I want to do it myself. Because I have list of list of lists ([[[]]]) and it can not handle it automatically |
| 2023-07-31 11:22:08 +0200 | <ncf> | decode "[[[1,2,3]]]" :: Maybe [[[Int]]] |
| 2023-07-31 11:22:09 +0200 | <ncf> | Just [[[1,2,3]]] |
| 2023-07-31 11:22:10 +0200 | <ncf> | works fine |
| 2023-07-31 11:22:11 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 2023-07-31 11:22:57 +0200 | <retropikzel> | But lets pretend it did not, how would I write the parser? |
| 2023-07-31 11:23:33 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-31 11:27:52 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 245 seconds) |
| 2023-07-31 11:27:56 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-07-31 11:29:16 +0200 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2023-07-31 11:30:03 +0200 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-07-31 11:31:10 +0200 | <retropikzel> | Because it is not working for me, here is gist of it https://pastebin.com/eK5Lmd2q |
| 2023-07-31 11:32:24 +0200 | ubert | (~Thunderbi@77.119.169.121.wireless.dyn.drei.com) |
| 2023-07-31 11:32:58 +0200 | <lortabac> | retropikzel: you should derive FromJSON/ToJSON through newtype |
| 2023-07-31 11:33:06 +0200 | <lortabac> | *via newtype |
| 2023-07-31 11:34:17 +0200 | <Hecate> | deriving via is 💘 |
| 2023-07-31 11:34:49 +0200 | <lortabac> | when the method declaration is missing, GHC picks the default instance, which in this case is not the one you are expecting |
| 2023-07-31 11:35:15 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-07-31 11:36:20 +0200 | <retropikzel> | lortabac: Thank you! It worked |
| 2023-07-31 11:38:33 +0200 | Guest39 | (~Guest39@2a10:3781:34a0:1:10e5:312e:842f:520e) |
| 2023-07-31 11:39:34 +0200 | migas | (~migas@astra4961.startdedicated.net) (Remote host closed the connection) |
| 2023-07-31 11:39:50 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-31 11:39:53 +0200 | migas | (~migas@astra4961.startdedicated.net) |
| 2023-07-31 11:40:28 +0200 | ft | (~ft@p508db86a.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-07-31 11:41:18 +0200 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) |
| 2023-07-31 11:42:20 +0200 | merijn | (~merijn@185.143.104.11) |
| 2023-07-31 11:42:58 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 258 seconds) |
| 2023-07-31 11:45:08 +0200 | danse-nr3 | (~francesco@151.43.255.156) (Remote host closed the connection) |
| 2023-07-31 11:45:22 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2023-07-31 11:45:32 +0200 | danse-nr3 | (~francesco@151.43.255.156) |
| 2023-07-31 11:45:39 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-07-31 11:46:49 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-31 11:47:20 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-07-31 11:47:36 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2023-07-31 11:48:25 +0200 | cassiope1 | (~cassiopea@user/cassiopea) (Ping timeout: 240 seconds) |
| 2023-07-31 11:48:53 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-31 11:48:53 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-31 11:48:53 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-31 11:50:27 +0200 | <probie> | If you want to do it by hand, probably something like `withArray "outer" (mapM (withArray "mid" (mapM (withArray "inner" (mapM (withScientific "num" (\n -> if isInteger n then pure (round n) else fail "not an integer")))))))` (with `isInteger` from `Data.Scientific`) |
| 2023-07-31 11:51:08 +0200 | <probie> | although that'll give you a `Vector (Vector (Vector Int))` instead of a `[[[Int]]]` |
| 2023-07-31 11:53:34 +0200 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-07-31 11:54:18 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-31 11:54:20 +0200 | <probie> | Or for the sane definition if you didn't want to use deriving via `parseJSON v = fmap Layers (parseJSON v)` |
| 2023-07-31 11:55:15 +0200 | <retropikzel> | probie: Thanks, it good to know that too |
| 2023-07-31 11:59:06 +0200 | Guest39 | (~Guest39@2a10:3781:34a0:1:10e5:312e:842f:520e) (Quit: Client closed) |
| 2023-07-31 11:59:42 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-07-31 12:04:53 +0200 | <kuribas> | Has haskell poisoned our mind into thinking you always need type safety? That sometimes having runtime checks is good enough? |
| 2023-07-31 12:06:48 +0200 | <kuribas> | Isn't the sweet spot type safe when it is easy, but otherwise allowing for partial functions? |
| 2023-07-31 12:07:16 +0200 | <kuribas> | And making sure you have good runtime errors, and modular and clean code? |
| 2023-07-31 12:07:32 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a1a1:20a1:ef18:fdf5) |
| 2023-07-31 12:08:53 +0200 | <merijn> | kuribas: hold on, lemme prescribe a healthy dose of unsafeCoerce and "messing around with GHC.Prim as antidote to that kinda thing |
| 2023-07-31 12:09:07 +0200 | talismanick | (~user@76.133.152.122) (Ping timeout: 260 seconds) |
| 2023-07-31 12:12:22 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-31 12:13:15 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:a1a1:20a1:ef18:fdf5) (Ping timeout: 258 seconds) |
| 2023-07-31 12:14:19 +0200 | flounders | (~flounders@24.246.133.1) (Ping timeout: 260 seconds) |
| 2023-07-31 12:17:29 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-07-31 12:19:14 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-07-31 12:19:39 +0200 | xff0x | (~xff0x@2405:6580:b080:900:cbc5:2cd2:546f:88f9) |
| 2023-07-31 12:19:56 +0200 | mei | (~mei@user/mei) |
| 2023-07-31 12:20:05 +0200 | <lisbeths> | Is it true that λa.λb.ab is equivalent to λx.x |
| 2023-07-31 12:20:30 +0200 | kimiamania60 | (~681cf57f@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 2023-07-31 12:21:16 +0200 | kimiamania60 | (~681cf57f@user/kimiamania) |
| 2023-07-31 12:21:18 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2023-07-31 12:21:46 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-07-31 12:21:51 +0200 | <ncf> | one is the η-expanded form of the other. they may or may not be equivalent depending on whether types are involved |
| 2023-07-31 12:22:01 +0200 | <ncf> | and how you define equivalence |
| 2023-07-31 12:22:34 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) |
| 2023-07-31 12:23:13 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-31 12:24:05 +0200 | <lisbeths> | lets say its anonymously typed with combinators |
| 2023-07-31 12:24:10 +0200 | <danse-nr3> | they look like different formulae to me regardless of types. One takes two arguments, the other takes one |
| 2023-07-31 12:25:47 +0200 | <ncf> | if x is a function then it's η-equivalent to λb. x b |
| 2023-07-31 12:28:21 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-07-31 12:29:16 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-31 12:31:57 +0200 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) (Remote host closed the connection) |
| 2023-07-31 12:33:14 +0200 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) |
| 2023-07-31 12:34:47 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-07-31 12:38:11 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-07-31 12:42:35 +0200 | MajorBiscuit | (~MajorBisc@c-001-022-027.client.tudelft.eduvpn.nl) (Ping timeout: 264 seconds) |
| 2023-07-31 12:45:18 +0200 | <aeroplane> | Hello everyone, I am trying to profile a haskell program (`ghc -prof -fprof-auto -rtsopts haskell.hs`), but it errored out with bunch of lines beginning with `/usr/bin/ld.gold: error: cannot find -lHS...` |
| 2023-07-31 12:45:49 +0200 | <aeroplane> | I am following this guide: https://downloads.haskell.org/ghc/latest/docs/users_guide/profiling.html |
| 2023-07-31 12:46:23 +0200 | <probie> | lisbeths: In the untyped λ-calculus I would call them equivalent |
| 2023-07-31 12:46:55 +0200 | <lisbeths> | is it even equivalent to abc.abc |
| 2023-07-31 12:47:08 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-31 12:47:41 +0200 | tremon | (~tremon@83.80.159.219) |
| 2023-07-31 12:48:01 +0200 | mmhat | (~mmh@p200300f1c73d19feee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.0.2) |
| 2023-07-31 12:48:22 +0200 | <lisbeths> | λa.λb.λc.a b c |
| 2023-07-31 12:52:31 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-07-31 12:52:39 +0200 | <probie> | In the untyped lambda calculus λa.Ma is equivalent to M, where M is some arbitrary expression not involving a |
| 2023-07-31 12:53:31 +0200 | MajorBiscuit | (~MajorBisc@62-110-179.netrun.cytanet.com.cy) |
| 2023-07-31 12:53:45 +0200 | <probie> | From that, we know that `λc.a b c` is equivalent to `b c`, giving us `λa.λb.a b`, applying the rule again to `λb. a b` we get just `a`, giving us `λa.a` |
| 2023-07-31 12:53:49 +0200 | kimiamania60 | (~681cf57f@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 2023-07-31 12:54:05 +0200 | <probie> | s/equivalent to `b c`/equivalent to `a b`/ |
| 2023-07-31 12:54:09 +0200 | kimiamania60 | (~681cf57f@user/kimiamania) |
| 2023-07-31 12:57:02 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-07-31 12:57:20 +0200 | <probie> | In most typed λ-calculi it's treated as a reduction, not an equivalence (so λa.Ma => M, but not M => λa.Ma) |
| 2023-07-31 12:58:12 +0200 | <danse-nr3> | yeah but \x . x is not equal to Mx, it is just equal to x. Also, M is not arbitrary, M was to the right of . |
| 2023-07-31 12:58:18 +0200 | <danse-nr3> | aeroplane, could you paste the full haskell.hs and error into a pastebin and post the links here? Does that compile without profiling options? |
| 2023-07-31 13:00:14 +0200 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) (Ping timeout: 246 seconds) |
| 2023-07-31 13:00:56 +0200 | <lisbeths> | I mean are they functionally equivalent |
| 2023-07-31 13:01:20 +0200 | <merijn> | lisbeths: oooh, now that's a can of worms you're opening ;) |
| 2023-07-31 13:02:29 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-07-31 13:02:44 +0200 | <aeroplane> | danse-nr3: yes, haskell.hs - [ https://paste.rs/TW1aQ ] and error - [ http://ix.io/4BWL/text ] |
| 2023-07-31 13:03:37 +0200 | <lisbeths> | I am coding with nothing but the iota combinator and apply |
| 2023-07-31 13:03:38 +0200 | <merijn> | aeroplane: are you, by any chance, an arch user? |
| 2023-07-31 13:04:36 +0200 | <aeroplane> | merijn: no, I am using Ubuntu |
| 2023-07-31 13:04:49 +0200 | <merijn> | hmm |
| 2023-07-31 13:05:08 +0200 | <merijn> | actually, wait |
| 2023-07-31 13:05:17 +0200 | <merijn> | You are compiling via manually calling ghc? |
| 2023-07-31 13:05:27 +0200 | <aeroplane> | yes from command line |
| 2023-07-31 13:05:40 +0200 | <aeroplane> | $ ghc -prof -fprof-auto -rtsopts haskell.hs |
| 2023-07-31 13:05:42 +0200 | <merijn> | Any (hidden) files with names starting with .ghc.environment in that dir? |
| 2023-07-31 13:05:44 +0200 | <probie> | lisbeths: Are they functionally equivalent? Consider `λf.(λx.f(xx))(λx.f(xx))` and `λf.(λx.f(λv.xxv))(λx.f(λv.xxx))`. Both are η-equivalent expressions, but if using applicative order reduction, the first will diverge, and the second may not |
| 2023-07-31 13:05:48 +0200 | <aeroplane> | wait |
| 2023-07-31 13:06:07 +0200 | <merijn> | because that's a whole lotta dependendencies your source file should not be using... |
| 2023-07-31 13:06:16 +0200 | <probie> | s/λv.xxx/λv.xxv/ |
| 2023-07-31 13:06:22 +0200 | <aeroplane> | merijn: no nothing like that |
| 2023-07-31 13:07:00 +0200 | <merijn> | aeroplane: ah, wait, I now see the default package environment at the top. Lemme guess, you've ran "cabal install --lib" a bunch of times in the past? |
| 2023-07-31 13:07:29 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2023-07-31 13:08:02 +0200 | <aeroplane> | merijn: I donot remember how I installed Haskell :-| |
| 2023-07-31 13:08:04 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:9d2:9ce:d805:54e2) (Quit: The Lounge - https://thelounge.chat) |
| 2023-07-31 13:09:04 +0200 | <merijn> | aeroplane: That's not about the Haskell install and more whether you've tried to install packages that way in the past |
| 2023-07-31 13:09:24 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) |
| 2023-07-31 13:09:44 +0200 | <aeroplane> | yes i;ve installed like that |
| 2023-07-31 13:10:05 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:4671:33b1:6b71:1aab) |
| 2023-07-31 13:10:25 +0200 | <aeroplane> | this exist in my bash history `cabal install --lib http-conduit` |
| 2023-07-31 13:10:27 +0200 | <merijn> | aeroplane: 1) for future reference, don't do that ;) and 2) you can try opening /home/asus/.ghc/x86_64-linux-9.2.4/environments/default and removing all the contents (or pasting into a backup file for later), I think that resets the environment |
| 2023-07-31 13:10:38 +0200 | <lisbeths> | I am a novice at lambda calculus |
| 2023-07-31 13:11:03 +0200 | <aeroplane> | ok letme try that |
| 2023-07-31 13:11:25 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-31 13:11:38 +0200 | <merijn> | aeroplane: essentially, the "install --lib" has dumped a bunch of stuff in your global environment, which GHC is implicitly trying to use, but you never installed the profiling versions of that, so now it has a meltdown about missing stuff |
| 2023-07-31 13:12:28 +0200 | <merijn> | aeroplane: normally you'd build with cabal, which derives it's own "environment" for GHC so it only sees relevant packages and will automatically install any profiling versions for you (if needed) |
| 2023-07-31 13:13:00 +0200 | <merijn> | So it's the combination of a whole bunch of packages implicitly in the global environment PLUS explicit ghc invocation that doesn't know how to install/get their profiling versions that is causing it to tilt |
| 2023-07-31 13:13:32 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) (Ping timeout: 246 seconds) |
| 2023-07-31 13:13:57 +0200 | <merijn> | going through cabal build would avoid that, because it 1) skips that global environment and 2) automatically installs the missing profiling versions for you :) |
| 2023-07-31 13:15:38 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-07-31 13:18:02 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-31 13:22:37 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-07-31 13:25:53 +0200 | <aeroplane> | merijn: Thanks alot. Everything is working as expected. Resetting default file did it. And as you said, I should use `cabal build`. |
| 2023-07-31 13:25:58 +0200 | thyriaen | (~thyriaen@2a01:aea0:dd4:6a18:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 2023-07-31 13:27:05 +0200 | <danse-nr3> | interesting that cabal affects plain ghc calls, had not expected that |
| 2023-07-31 13:27:27 +0200 | <merijn> | danse-nr3: Only if you run "install --lib", which is why it tells you not to do that :p |
| 2023-07-31 13:27:45 +0200 | <merijn> | danse-nr3: But can't stop people from desperately wanting global mutable environments, it seems :) |
| 2023-07-31 13:28:04 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-31 13:28:14 +0200 | <merijn> | danse-nr3: The more interesting thing is that you can actually name those environments and have multiple if you want (which is what cabal normally does transparently behind the scenes) |
| 2023-07-31 13:29:22 +0200 | <danse-nr3> | strange. Who wants something like that could use a package in my opinion |
| 2023-07-31 13:29:25 +0200 | <merijn> | danse-nr3: cabal can also produce the .ghc.environment files so that when you run, i.e. "ghci" in a folder with a cabal project, it will automatically load the relevant dependencies too |
| 2023-07-31 13:29:45 +0200 | <merijn> | danse-nr3: That was the original design, people complained, so --lib was added with a "don't use" warning |
| 2023-07-31 13:30:49 +0200 | <danse-nr3> | meh |
| 2023-07-31 13:32:21 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-07-31 13:33:46 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-07-31 13:34:38 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-31 13:38:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-31 13:38:58 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-07-31 13:40:40 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 250 seconds) |
| 2023-07-31 13:41:32 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Remote host closed the connection) |
| 2023-07-31 13:41:54 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-07-31 13:42:35 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-31 13:50:59 +0200 | danse-nr3 | (~francesco@151.43.255.156) (Ping timeout: 246 seconds) |
| 2023-07-31 13:51:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-31 13:53:26 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-07-31 13:53:56 +0200 | <sm> | an obvious UX improvement would be louder clearer warnings when someone does that |
| 2023-07-31 13:57:29 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-31 13:57:30 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-31 13:57:30 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-31 13:57:31 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 258 seconds) |
| 2023-07-31 13:58:04 +0200 | billchenchina | (~billchenc@103.152.35.21) |
| 2023-07-31 13:59:52 +0200 | <merijn> | sm: Feel free to suggest what that UX would look like ;) |
| 2023-07-31 14:00:04 +0200 | <merijn> | Require a "--yes-really" with --lib? :p |
| 2023-07-31 14:00:16 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-31 14:01:11 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2023-07-31 14:01:25 +0200 | <sm> | an very clear explanatory message after you run it , and possibly a warning and interactive prompt before it runs |
| 2023-07-31 14:02:33 +0200 | <sm> | possibly also informational output about the ghc environment being used for every command, by default |
| 2023-07-31 14:03:26 +0200 | Square | (~Square@user/square) |
| 2023-07-31 14:04:06 +0200 | <sm> | and of course clearer explanations/self diagnosis of likely causes when anything fails |
| 2023-07-31 14:05:28 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 252 seconds) |
| 2023-07-31 14:05:59 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 264 seconds) |
| 2023-07-31 14:09:36 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) |
| 2023-07-31 14:09:42 +0200 | MajorBiscuit | (~MajorBisc@62-110-179.netrun.cytanet.com.cy) (Ping timeout: 244 seconds) |
| 2023-07-31 14:09:54 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-07-31 14:10:26 +0200 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2023-07-31 14:10:26 +0200 | td_ | (~td@i53870914.versanet.de) (Ping timeout: 260 seconds) |
| 2023-07-31 14:12:09 +0200 | td_ | (~td@i53870905.versanet.de) |
| 2023-07-31 14:12:54 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-31 14:19:31 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2023-07-31 14:20:23 +0200 | td_ | (~td@i53870905.versanet.de) (Ping timeout: 246 seconds) |
| 2023-07-31 14:20:48 +0200 | danse-nr3 | (~francesco@151.57.27.101) |
| 2023-07-31 14:22:26 +0200 | td_ | (~td@i53870905.versanet.de) |
| 2023-07-31 14:26:46 +0200 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2023-07-31 14:27:48 +0200 | td_ | (~td@i53870905.versanet.de) (Ping timeout: 258 seconds) |
| 2023-07-31 14:29:40 +0200 | td_ | (~td@i53870916.versanet.de) |
| 2023-07-31 14:30:22 +0200 | puke | (~puke@user/puke) (Read error: Connection reset by peer) |
| 2023-07-31 14:30:36 +0200 | pavonia | (~user@user/siracusa) |
| 2023-07-31 14:30:40 +0200 | puke | (~puke@user/puke) |
| 2023-07-31 14:31:03 +0200 | puke | (~puke@user/puke) (Max SendQ exceeded) |
| 2023-07-31 14:31:41 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-31 14:32:20 +0200 | puke | (~puke@user/puke) |
| 2023-07-31 14:36:34 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-07-31 14:39:20 +0200 | kimiamania60 | (~681cf57f@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 2023-07-31 14:40:19 +0200 | kimiamania60 | (~681cf57f@user/kimiamania) |
| 2023-07-31 14:44:21 +0200 | td_ | (~td@i53870916.versanet.de) (Quit: waking up from the american dream ...) |
| 2023-07-31 14:44:42 +0200 | mima | (~mmh@ppp-212-114-180-27.dynamic.mnet-online.de) (Ping timeout: 252 seconds) |
| 2023-07-31 14:48:40 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-31 14:48:45 +0200 | td_ | (~td@i53870916.versanet.de) |
| 2023-07-31 14:49:26 +0200 | raym | (~ray@user/raym) (Remote host closed the connection) |
| 2023-07-31 14:51:56 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-07-31 14:52:37 +0200 | ddellacosta | (~ddellacos@146.70.171.100) |
| 2023-07-31 14:53:31 +0200 | <fendor> | I found some .cabal files that have a field `x-uses-tf: true`. What does that mean? |
| 2023-07-31 14:53:34 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-07-31 14:54:07 +0200 | reach__ | (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) |
| 2023-07-31 14:57:01 +0200 | <Hecate> | fendor: it's an extra field that has meaning only for an external tool |
| 2023-07-31 14:57:08 +0200 | <Hecate> | but I don't know such a tool |
| 2023-07-31 14:57:35 +0200 | <fendor> | very curious! |
| 2023-07-31 14:57:41 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-07-31 14:57:54 +0200 | <Hecate> | unusual but hey, it's made for it :) |
| 2023-07-31 14:58:28 +0200 | reach__ | (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) (Remote host closed the connection) |
| 2023-07-31 14:58:50 +0200 | reach__ | (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) |
| 2023-07-31 15:01:57 +0200 | sm | (~sm@plaintextaccounting/sm) (Remote host closed the connection) |
| 2023-07-31 15:01:58 +0200 | cstml[m] | (~cstmmatri@2001:470:69fc:105::2:f76f) (Remote host closed the connection) |
| 2023-07-31 15:01:58 +0200 | Inst[m] | (~instrmatr@2001:470:69fc:105::1:903e) (Remote host closed the connection) |
| 2023-07-31 15:01:58 +0200 | xosdy[m] | (~xosdymozi@2001:470:69fc:105::2:63f7) (Remote host closed the connection) |
| 2023-07-31 15:01:59 +0200 | bgamari[m] | (~bgamari@2001:470:69fc:105::c7b9) (Write error: Connection reset by peer) |
| 2023-07-31 15:01:59 +0200 | MangoIV[m] | (~mangoivma@2001:470:69fc:105::2:8417) (Read error: Connection reset by peer) |
| 2023-07-31 15:01:59 +0200 | supersven[m] | (~supersven@2001:470:69fc:105::31b6) (Remote host closed the connection) |
| 2023-07-31 15:01:59 +0200 | aaronv | (~aaronv@user/aaronv) (Remote host closed the connection) |
| 2023-07-31 15:01:59 +0200 | stites[m] | (~stitesbee@2001:470:69fc:105::3:7bdc) (Remote host closed the connection) |
| 2023-07-31 15:01:59 +0200 | Nate[m] | (~m52957mat@2001:470:69fc:105::1:591a) (Remote host closed the connection) |
| 2023-07-31 15:01:59 +0200 | Clinton[m] | (~clintonme@2001:470:69fc:105::2:31d4) (Remote host closed the connection) |
| 2023-07-31 15:01:59 +0200 | jaror[m] | (~jaror@2001:470:69fc:105::265) (Remote host closed the connection) |
| 2023-07-31 15:01:59 +0200 | RandomInt[m] | (~randomint@2001:470:69fc:105::3:852e) (Remote host closed the connection) |
| 2023-07-31 15:01:59 +0200 | Drew[m]1 | (~drewefenw@2001:470:69fc:105::c8c4) (Remote host closed the connection) |
| 2023-07-31 15:02:00 +0200 | kadenwolff[m] | (~kadenwolf@2001:470:69fc:105::1:d97f) (Read error: Connection reset by peer) |
| 2023-07-31 15:02:00 +0200 | oak- | (~oak-@2001:470:69fc:105::fcd) (Read error: Connection reset by peer) |
| 2023-07-31 15:02:00 +0200 | somerandomnick[m | (~somerando@2001:470:69fc:105::3:4f2e) (Read error: Connection reset by peer) |
| 2023-07-31 15:02:00 +0200 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) (Remote host closed the connection) |
| 2023-07-31 15:02:00 +0200 | JanusTroelsen[m] | (~janustmat@2001:470:69fc:105::3:7e89) (Read error: Connection reset by peer) |
| 2023-07-31 15:02:00 +0200 | deb776[m] | (~deb776ted@2001:470:69fc:105::3:84c5) (Read error: Connection reset by peer) |
| 2023-07-31 15:02:00 +0200 | boxscape[m] | (~jabruenma@2001:470:69fc:105::3:88e7) (Read error: Connection reset by peer) |
| 2023-07-31 15:02:00 +0200 | aniketd[m] | (~aniketdma@2001:470:69fc:105::dede) (Read error: Connection reset by peer) |
| 2023-07-31 15:02:00 +0200 | ners[m] | (~nersnixos@2001:470:69fc:105::3:648b) (Read error: Connection reset by peer) |
| 2023-07-31 15:02:00 +0200 | romes[m] | (~romesmatr@2001:470:69fc:105::2:1660) (Remote host closed the connection) |
| 2023-07-31 15:02:00 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) (Remote host closed the connection) |
| 2023-07-31 15:02:00 +0200 | joyfulmantis[m] | (~joyfulman@2001:470:69fc:105::3:400a) (Remote host closed the connection) |
| 2023-07-31 15:02:00 +0200 | akadude[m] | (~akadudema@2001:470:69fc:105::2:5bf7) (Remote host closed the connection) |
| 2023-07-31 15:02:00 +0200 | ozkutuk[m] | (~ozkutuk@2001:470:69fc:105::2:9af8) (Remote host closed the connection) |
| 2023-07-31 15:02:00 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) (Write error: Broken pipe) |
| 2023-07-31 15:02:00 +0200 | jmcantrell | (~jmcantrel@user/jmcantrell) (Read error: Connection reset by peer) |
| 2023-07-31 15:02:00 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) (Read error: Connection reset by peer) |
| 2023-07-31 15:02:00 +0200 | FurudeRika[m] | (~chitandae@2001:470:69fc:105::1:6039) (Remote host closed the connection) |
| 2023-07-31 15:02:00 +0200 | zebrag[m] | (~inkbottle@2001:470:69fc:105::2ff5) (Remote host closed the connection) |
| 2023-07-31 15:02:00 +0200 | ocharles[m] | (~ocharlesm@2001:470:69fc:105::3:5899) (Read error: Connection reset by peer) |
| 2023-07-31 15:02:01 +0200 | elvishjerricco | (~elvishjer@2001:470:69fc:105::6172) (Remote host closed the connection) |
| 2023-07-31 15:02:01 +0200 | shapr[m] | (~shaprcofr@2001:470:69fc:105::2:d107) (Remote host closed the connection) |
| 2023-07-31 15:02:01 +0200 | VarikValefor[m] | (~varikvale@2001:470:69fc:105::a5d) (Write error: Connection reset by peer) |
| 2023-07-31 15:02:01 +0200 | ribosomerocker[m | (~ribosomer@2001:470:69fc:105::3:8ac7) (Write error: Connection reset by peer) |
| 2023-07-31 15:02:01 +0200 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) (Write error: Connection reset by peer) |
| 2023-07-31 15:02:01 +0200 | mon_aaraj | (~montchncs@2001:470:69fc:105::8e6b) (Write error: Connection reset by peer) |
| 2023-07-31 15:02:01 +0200 | alexfmpe[m] | (~alexfmpem@2001:470:69fc:105::38ba) (Remote host closed the connection) |
| 2023-07-31 15:02:01 +0200 | jean-paul[m] | (~jean-paul@2001:470:69fc:105::d1ab) (Read error: Connection reset by peer) |
| 2023-07-31 15:02:01 +0200 | JensPetersen[m] | (~juhp@2001:470:69fc:105::6e9) (Write error: Connection reset by peer) |
| 2023-07-31 15:02:01 +0200 | elevenkb | (~elevenkb@2001:470:69fc:105::2:cb89) (Write error: Connection reset by peer) |
| 2023-07-31 15:02:01 +0200 | fendor[m] | (~fendormat@2001:470:69fc:105::fcbd) (Write error: Connection reset by peer) |
| 2023-07-31 15:02:01 +0200 | nomagno | (~nomagno@2001:470:69fc:105::c1f0) (Remote host closed the connection) |
| 2023-07-31 15:02:01 +0200 | paulapatience | (~paulapati@2001:470:69fc:105::16a4) (Remote host closed the connection) |
| 2023-07-31 15:02:01 +0200 | lamnou[m] | (~lamnoumat@2001:470:69fc:105::3:7a7e) (Remote host closed the connection) |
| 2023-07-31 15:02:01 +0200 | adziahel | (~adziahelm@2001:470:69fc:105::b4d) (Write error: Connection reset by peer) |
| 2023-07-31 15:02:01 +0200 | yoggurt[m] | (~yoggurtma@2001:470:69fc:105::2:ba5) (Write error: Connection reset by peer) |
| 2023-07-31 15:02:01 +0200 | SeanKing[m] | (~seankingm@2001:470:69fc:105::cf9c) (Write error: Connection reset by peer) |
| 2023-07-31 15:02:01 +0200 | Null_A[m] | (~jasonjckn@2001:470:69fc:105::bb85) (Write error: Connection reset by peer) |
| 2023-07-31 15:02:01 +0200 | siraben | (~siraben@user/siraben) (Remote host closed the connection) |
| 2023-07-31 15:02:01 +0200 | Guillaum[m] | (~guiboumat@2001:470:69fc:105::1:72ac) (Remote host closed the connection) |
| 2023-07-31 15:02:01 +0200 | kadoban | (~kadoban@user/kadoban) (Remote host closed the connection) |
| 2023-07-31 15:02:01 +0200 | chreekat | (~chreekat@2001:470:69fc:105::16b5) (Remote host closed the connection) |
| 2023-07-31 15:02:01 +0200 | jade[m] | (~jade256th@2001:470:69fc:105::3:58df) (Write error: Connection reset by peer) |
| 2023-07-31 15:02:02 +0200 | Matthew|m | (~arathorn@2001:470:69fc:105::1f) (Write error: Connection reset by peer) |
| 2023-07-31 15:02:02 +0200 | hsiktas[m] | (~hsiktasm]@2001:470:69fc:105::30d4) (Remote host closed the connection) |
| 2023-07-31 15:02:02 +0200 | alanz | (~alanz@2001:470:69fc:105::2:49a6) (Write error: Connection reset by peer) |
| 2023-07-31 15:02:02 +0200 | Christoph[m] | (~hpotsirhc@2001:470:69fc:105::2ff8) (Write error: Connection reset by peer) |
| 2023-07-31 15:02:02 +0200 | ormaaaj | (~ormaaj@user/ormaaj) (Write error: Connection reset by peer) |
| 2023-07-31 15:02:02 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) (Write error: Connection reset by peer) |
| 2023-07-31 15:02:02 +0200 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) (Write error: Broken pipe) |
| 2023-07-31 15:02:02 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) (Remote host closed the connection) |
| 2023-07-31 15:02:02 +0200 | the_guruji[m] | (~theguruji@2001:470:69fc:105::3:825f) (Remote host closed the connection) |
| 2023-07-31 15:02:04 +0200 | <Hecate> | aouch |
| 2023-07-31 15:03:05 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-31 15:04:19 +0200 | <fendor> | oh no, my matrix account :( |
| 2023-07-31 15:04:32 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-31 15:07:26 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 252 seconds) |
| 2023-07-31 15:07:38 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 246 seconds) |
| 2023-07-31 15:07:48 +0200 | reach__ | (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) (Ping timeout: 252 seconds) |
| 2023-07-31 15:09:38 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2023-07-31 15:15:15 +0200 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) |
| 2023-07-31 15:15:33 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) |
| 2023-07-31 15:17:04 +0200 | <geekosaur> | it's D-day |
| 2023-07-31 15:17:26 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) |
| 2023-07-31 15:17:27 +0200 | ocharles[m] | (~ocharlesm@2001:470:69fc:105::3:5899) |
| 2023-07-31 15:17:27 +0200 | Null_A[m] | (~jasonjckn@2001:470:69fc:105::bb85) |
| 2023-07-31 15:17:27 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) |
| 2023-07-31 15:17:27 +0200 | alanz | (~alanz@2001:470:69fc:105::2:49a6) |
| 2023-07-31 15:17:28 +0200 | ribosomerocker[m | (~ribosomer@2001:470:69fc:105::3:8ac7) |
| 2023-07-31 15:17:28 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-07-31 15:17:28 +0200 | nomagno | (~nomagno@2001:470:69fc:105::c1f0) |
| 2023-07-31 15:17:28 +0200 | Christoph[m] | (~hpotsirhc@2001:470:69fc:105::2ff8) |
| 2023-07-31 15:17:29 +0200 | smichel17[m] | (~smichel17@2001:470:69fc:105::2d32) |
| 2023-07-31 15:17:30 +0200 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) |
| 2023-07-31 15:17:30 +0200 | fendor[m] | (~fendormat@2001:470:69fc:105::fcbd) |
| 2023-07-31 15:17:30 +0200 | lamnou[m] | (~lamnoumat@2001:470:69fc:105::3:7a7e) |
| 2023-07-31 15:17:31 +0200 | romes[m] | (~romesmatr@2001:470:69fc:105::2:1660) |
| 2023-07-31 15:17:31 +0200 | JensPetersen[m] | (~juhp@2001:470:69fc:105::6e9) |
| 2023-07-31 15:17:31 +0200 | ormaaaj | (~ormaaj@user/ormaaj) |
| 2023-07-31 15:17:31 +0200 | Guillaum[m] | (~guiboumat@2001:470:69fc:105::1:72ac) |
| 2023-07-31 15:17:31 +0200 | chreekat | (~chreekat@2001:470:69fc:105::16b5) |
| 2023-07-31 15:17:44 +0200 | <geekosaur> | oh, interesting. this room isn't plumbed… |
| 2023-07-31 15:17:50 +0200 | RandomInt[m] | (~randomint@2001:470:69fc:105::3:852e) |
| 2023-07-31 15:17:50 +0200 | alexfmpe[m] | (~alexfmpem@2001:470:69fc:105::38ba) |
| 2023-07-31 15:17:51 +0200 | jean-paul[m] | (~jean-paul@2001:470:69fc:105::d1ab) |
| 2023-07-31 15:17:51 +0200 | elevenkb | (~elevenkb@2001:470:69fc:105::2:cb89) |
| 2023-07-31 15:18:13 +0200 | xosdy[m] | (~xosdymozi@2001:470:69fc:105::2:63f7) |
| 2023-07-31 15:18:13 +0200 | mon_aaraj | (~montchncs@2001:470:69fc:105::8e6b) |
| 2023-07-31 15:18:33 +0200 | jaror[m] | (~jaror@2001:470:69fc:105::265) |
| 2023-07-31 15:18:34 +0200 | jade[m] | (~jade256th@2001:470:69fc:105::3:58df) |
| 2023-07-31 15:18:54 +0200 | Clinton[m] | (~clintonme@2001:470:69fc:105::2:31d4) |
| 2023-07-31 15:19:27 +0200 | Nate[m] | (~m52957mat@2001:470:69fc:105::1:591a) |
| 2023-07-31 15:19:27 +0200 | VarikValefor[m] | (~varikvale@2001:470:69fc:105::a5d) |
| 2023-07-31 15:19:28 +0200 | akadude[m] | (~akadudema@2001:470:69fc:105::2:5bf7) |
| 2023-07-31 15:19:40 +0200 | stites[m] | (~stitesbee@2001:470:69fc:105::3:7bdc) |
| 2023-07-31 15:19:43 +0200 | bgamari[m] | (~bgamari@2001:470:69fc:105::c7b9) |
| 2023-07-31 15:19:48 +0200 | Matthew|m | (~arathorn@2001:470:69fc:105::1f) |
| 2023-07-31 15:19:59 +0200 | Drew[m] | (~drewefenw@2001:470:69fc:105::c8c4) |
| 2023-07-31 15:20:40 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2023-07-31 15:20:40 +0200 | siraben | (~siraben@user/siraben) |
| 2023-07-31 15:20:40 +0200 | zebrag[m] | (~inkbottle@2001:470:69fc:105::2ff5) |
| 2023-07-31 15:20:41 +0200 | cstml[m] | (~cstmmatri@2001:470:69fc:105::2:f76f) |
| 2023-07-31 15:20:45 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-07-31 15:20:55 +0200 | supersven[m] | (~supersven@2001:470:69fc:105::31b6) |
| 2023-07-31 15:20:56 +0200 | paulapatience | (~paulapati@2001:470:69fc:105::16a4) |
| 2023-07-31 15:20:58 +0200 | elvishjerricco | (~elvishjer@2001:470:69fc:105::6172) |
| 2023-07-31 15:20:59 +0200 | shapr[m] | (~shaprcofr@2001:470:69fc:105::2:d107) |
| 2023-07-31 15:21:00 +0200 | MangoIV[m] | (~mangoivma@2001:470:69fc:105::2:8417) |
| 2023-07-31 15:21:05 +0200 | danse-nr3 | (~francesco@151.57.27.101) (Ping timeout: 258 seconds) |
| 2023-07-31 15:21:08 +0200 | <geekosaur> | oh, delayed it seems by security holes. https://libera.chat/news/deportalling-delay |
| 2023-07-31 15:21:19 +0200 | oak- | (~oak-@2001:470:69fc:105::fcd) |
| 2023-07-31 15:21:28 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-31 15:22:01 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-07-31 15:22:06 +0200 | ners[m] | (~nersnixos@2001:470:69fc:105::3:648b) |
| 2023-07-31 15:22:07 +0200 | hsiktas[m] | (~hsiktasm]@2001:470:69fc:105::30d4) |
| 2023-07-31 15:22:09 +0200 | ozkutuk[m] | (~ozkutuk@2001:470:69fc:105::2:9af8) |
| 2023-07-31 15:22:09 +0200 | joyfulmantis[m] | (~joyfulman@2001:470:69fc:105::3:400a) |
| 2023-07-31 15:22:10 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) |
| 2023-07-31 15:22:10 +0200 | zfnmxt | (~zfnmxt@user/zfnmxt) |
| 2023-07-31 15:23:35 +0200 | somerandomnick[m | (~somerando@2001:470:69fc:105::3:4f2e) |
| 2023-07-31 15:27:26 +0200 | <geekosaur> | so, this is probably a good time to say this |
| 2023-07-31 15:27:53 +0200 | <geekosaur> | we (#haskell ops) have been discussing the possibility of a dedicated plumbed Matrix room for this channel |
| 2023-07-31 15:28:02 +0200 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) |
| 2023-07-31 15:28:08 +0200 | kadoban | (~kadoban@user/kadoban) |
| 2023-07-31 15:28:10 +0200 | SeanKing[m] | (~seankingm@2001:470:69fc:105::cf9c) |
| 2023-07-31 15:28:11 +0200 | <geekosaur> | (1) this room will be brand new, not one of the existing rooms |
| 2023-07-31 15:28:32 +0200 | <geekosaur> | (2) IRC will be primary, so the expectation is that edits etc. will be kept to a minimum |
| 2023-07-31 15:29:04 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-31 15:29:10 +0200 | <kuribas> | merijn: unsafeCoerce is not what I had in mind :) |
| 2023-07-31 15:29:22 +0200 | <kuribas> | merijn: just "error", with a meaning full error message. |
| 2023-07-31 15:29:24 +0200 | <geekosaur> | the main purpose is to allow people who are still on matrix side (see all the joins as the bridge comes back up) can still participate, with the understanding that this is and will remain an IRC channel |
| 2023-07-31 15:29:26 +0200 | <kuribas> | Or a custom exception. |
| 2023-07-31 15:30:29 +0200 | <geekosaur> | unfortunately we can't do much about the bridge rewriting mentions into @-form, replies/threads, etc. |
| 2023-07-31 15:33:22 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-07-31 15:34:20 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-07-31 15:34:20 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-07-31 15:34:20 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-31 15:34:40 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 246 seconds) |
| 2023-07-31 15:35:24 +0200 | <carbolymer> | I have a type `data Foo = A | B String | C System.IO.Handle` and I'd like to have automatically derived `instance Data Foo`, but there's no `instance Data Handle`. What's the best way to do it? In my case `Foo` has has much more constructors and is getting changed from time to time, so having manually written instance seems impractical. Also writing orphan stubbed `instance Data Handle` also feels wrong. Is there an easy way out implementing that? |
| 2023-07-31 15:35:42 +0200 | aniketd[m] | (~aniketdma@2001:470:69fc:105::dede) |
| 2023-07-31 15:35:42 +0200 | Inst[m] | (~instrmatr@2001:470:69fc:105::1:903e) |
| 2023-07-31 15:35:42 +0200 | the_guruji[m] | (~theguruji@2001:470:69fc:105::3:825f) |
| 2023-07-31 15:35:50 +0200 | mei | (~mei@user/mei) |
| 2023-07-31 15:36:22 +0200 | <carbolymer> | I guess I could write another typeclass providing behaviours I need from `Data` instance.... but that also seems like a lot of manual work |
| 2023-07-31 15:37:15 +0200 | <carbolymer> | because I have few dozens of such Foos |
| 2023-07-31 15:37:44 +0200 | JanusTroelsen[m] | (~janustmat@2001:470:69fc:105::3:7e89) |
| 2023-07-31 15:37:44 +0200 | FurudeRika[m] | (~chitandae@2001:470:69fc:105::1:6039) |
| 2023-07-31 15:38:35 +0200 | <dminuoso> | carbolymer: You could hoist Handle into a type parameter instead. |
| 2023-07-31 15:38:59 +0200 | adziahel | (~adziahelm@2001:470:69fc:105::b4d) |
| 2023-07-31 15:39:07 +0200 | <dminuoso> | i.e. `data Foo' a = A | B | C a; type Foo = Foo' Handle` |
| 2023-07-31 15:39:09 +0200 | <dminuoso> | Or some such |
| 2023-07-31 15:39:14 +0200 | boxscape[m] | (~jabruenma@2001:470:69fc:105::3:88e7) |
| 2023-07-31 15:39:14 +0200 | yoggurt[m] | (~yoggurtma@2001:470:69fc:105::2:ba5) |
| 2023-07-31 15:39:14 +0200 | jmcantrell | (~jmcantrel@user/jmcantrell) |
| 2023-07-31 15:39:28 +0200 | deb776[m] | (~deb776ted@2001:470:69fc:105::3:84c5) |
| 2023-07-31 15:39:29 +0200 | kadenwolff[m] | (~kadenwolf@2001:470:69fc:105::1:d97f) |
| 2023-07-31 15:39:43 +0200 | <dminuoso> | Ah but I guess that wont help much |
| 2023-07-31 15:39:45 +0200 | <carbolymer> | But that requires changing Foo, and I have a lot of such Foos |
| 2023-07-31 15:39:55 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2023-07-31 15:40:33 +0200 | danse-nr3 | (~francesco@151.47.233.19) |
| 2023-07-31 15:41:30 +0200 | <carbolymer> | dminuoso: I guess I could newtype wrap that Handle and write instance by hand for that, then coerce between `Foo' HandleWrap` and `Foo' Handle`, but again, too many Foos |
| 2023-07-31 15:42:44 +0200 | barcisz | (~barcisz@79.191.74.154.ipv4.supernova.orange.pl) |
| 2023-07-31 15:45:30 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-07-31 15:47:33 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-07-31 15:53:18 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-07-31 15:53:36 +0200 | ystael | (~ystael@user/ystael) |
| 2023-07-31 15:54:46 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-07-31 15:56:14 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Quit: WeeChat 4.0.2) |
| 2023-07-31 15:57:20 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) |
| 2023-07-31 15:57:33 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Client Quit) |
| 2023-07-31 15:57:51 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-31 15:58:12 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 240 seconds) |
| 2023-07-31 16:00:55 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 2023-07-31 16:01:56 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) |
| 2023-07-31 16:03:25 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-07-31 16:03:42 +0200 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) (Remote host closed the connection) |
| 2023-07-31 16:04:06 +0200 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) |
| 2023-07-31 16:04:09 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Client Quit) |
| 2023-07-31 16:04:31 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) |
| 2023-07-31 16:06:02 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Client Quit) |
| 2023-07-31 16:06:16 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) |
| 2023-07-31 16:07:07 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-07-31 16:07:46 +0200 | briandaed | (~briandaed@185.234.210.211) (Remote host closed the connection) |
| 2023-07-31 16:10:54 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Client Quit) |
| 2023-07-31 16:11:24 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) |
| 2023-07-31 16:12:02 +0200 | mncheck | (~mncheck@193.224.205.254) (Ping timeout: 245 seconds) |
| 2023-07-31 16:14:02 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-07-31 16:15:26 +0200 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) (Ping timeout: 245 seconds) |
| 2023-07-31 16:16:31 +0200 | gensyst | (~gensyst@user/gensyst) |
| 2023-07-31 16:16:50 +0200 | Inst | (~Inst@2601:6c4:4081:2fc0:452a:b245:2efc:f3e4) |
| 2023-07-31 16:18:52 +0200 | <gensyst> | Is this not supposed to work, ordinarily with template haskell? |
| 2023-07-31 16:18:53 +0200 | <gensyst> | [d| data LOL = LOL Int |] |
| 2023-07-31 16:19:05 +0200 | <gensyst> | I mean it works, but it's some strange Internal Decs thing |
| 2023-07-31 16:19:14 +0200 | <gensyst> | not a normal Q Dec |
| 2023-07-31 16:19:41 +0200 | <gensyst> | wait, never mind hmm |
| 2023-07-31 16:20:36 +0200 | <int-e> | You see a type alias, I think. |
| 2023-07-31 16:20:46 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-07-31 16:21:17 +0200 | <int-e> | (type DecsQ = Q [Dec]) |
| 2023-07-31 16:21:26 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-31 16:22:23 +0200 | thegeekinside | (~thegeekin@189.180.94.123) |
| 2023-07-31 16:22:36 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Quit: WeeChat 4.0.2) |
| 2023-07-31 16:22:56 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) |
| 2023-07-31 16:23:03 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Client Quit) |
| 2023-07-31 16:23:41 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) |
| 2023-07-31 16:24:01 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Client Quit) |
| 2023-07-31 16:24:21 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) |
| 2023-07-31 16:24:35 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Client Quit) |
| 2023-07-31 16:25:52 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-07-31 16:25:58 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) |
| 2023-07-31 16:26:04 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-07-31 16:26:58 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Client Quit) |
| 2023-07-31 16:28:57 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-07-31 16:30:22 +0200 | libertyprime | (~libertypr@203.96.203.44) (Client Quit) |
| 2023-07-31 16:30:26 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-31 16:30:35 +0200 | kenran | (~user@user/kenran) |
| 2023-07-31 16:31:23 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: Lost terminal) |
| 2023-07-31 16:31:49 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-31 16:34:40 +0200 | mango | (~finn@2001:861:5863:3d50:b09a:672:21a:350) |
| 2023-07-31 16:34:47 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-07-31 16:35:40 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-07-31 16:37:13 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-07-31 16:37:46 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Read error: Connection reset by peer) |
| 2023-07-31 16:38:22 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-07-31 16:39:06 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-31 16:44:06 +0200 | kimiamania60 | (~681cf57f@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 2023-07-31 16:44:57 +0200 | mncheck | (~mncheck@193.224.205.254) |
| 2023-07-31 16:45:02 +0200 | kimiamania60 | (~681cf57f@user/kimiamania) |
| 2023-07-31 16:45:30 +0200 | sidy | (~sidy@user/sidy) |
| 2023-07-31 16:53:12 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-07-31 16:53:50 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 245 seconds) |
| 2023-07-31 16:54:23 +0200 | reach__ | (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) |
| 2023-07-31 16:57:21 +0200 | barcisz | (~barcisz@79.191.74.154.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 2023-07-31 16:57:42 +0200 | barcisz | (~barcisz@79.191.74.154.ipv4.supernova.orange.pl) |
| 2023-07-31 17:00:51 +0200 | ripspin | (~chatzilla@1.145.225.151) |
| 2023-07-31 17:05:10 +0200 | gensyst | (~gensyst@user/gensyst) (Quit: Leaving) |
| 2023-07-31 17:08:47 +0200 | dispater | (~dispater@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-07-31 17:08:47 +0200 | orcus | (~orcus@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-07-31 17:09:03 +0200 | flounders | (~flounders@24.246.133.1) |
| 2023-07-31 17:11:17 +0200 | mango | (~finn@2001:861:5863:3d50:b09a:672:21a:350) (Ping timeout: 260 seconds) |
| 2023-07-31 17:19:13 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-31 17:19:51 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-31 17:23:52 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-07-31 17:25:10 +0200 | lortabac | (~lortabac@2a01:e0a:50d:8d40:f4cc:e84e:3beb:ac1) (Quit: WeeChat 2.8) |
| 2023-07-31 17:26:32 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-07-31 17:27:04 +0200 | aeroplane | (~user@user/aeroplane) (Ping timeout: 244 seconds) |
| 2023-07-31 17:29:42 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds) |
| 2023-07-31 17:31:37 +0200 | mima | (~mmh@aftr-62-216-202-61.dynamic.mnet-online.de) |
| 2023-07-31 17:31:48 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-31 17:31:48 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-31 17:31:48 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-31 17:34:23 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-07-31 17:34:34 +0200 | noscript | (~james@user/earldouglas) |
| 2023-07-31 17:37:08 +0200 | danse-nr3 | (~francesco@151.47.233.19) (Remote host closed the connection) |
| 2023-07-31 17:37:32 +0200 | danse-nr3 | (~francesco@151.47.233.19) |
| 2023-07-31 17:37:57 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-07-31 17:40:24 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-07-31 17:41:38 +0200 | troydm | (~troydm@user/troydm) (Ping timeout: 246 seconds) |
| 2023-07-31 17:44:47 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-07-31 17:48:01 +0200 | dispater | (~dispater@mail.brprice.uk) |
| 2023-07-31 17:48:31 +0200 | orcus | (~orcus@mail.brprice.uk) |
| 2023-07-31 17:48:48 +0200 | mauke | (~mauke@user/mauke) |
| 2023-07-31 17:53:11 +0200 | merijn | (~merijn@185.143.104.11) (Ping timeout: 246 seconds) |
| 2023-07-31 17:53:30 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-07-31 17:57:41 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-07-31 17:58:15 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-07-31 18:01:40 +0200 | <Inst> | can i ask for indulgence to a hypothesis? |
| 2023-07-31 18:02:15 +0200 | <Inst> | been playing around a bit with clojurians, but tbh one hypothesis I have is that the type-driven design / type-oriented programming you see in the MLs and their relatives |
| 2023-07-31 18:02:29 +0200 | <Inst> | is the actual FP counterpart to OOP |
| 2023-07-31 18:03:41 +0200 | razetime | (~quassel@117.254.36.184) |
| 2023-07-31 18:03:53 +0200 | <Inst> | that is to say, you can have FP without TyDD, just as you can have imperative programming without OOP |
| 2023-07-31 18:04:02 +0200 | razetime | (~quassel@117.254.36.184) (Client Quit) |
| 2023-07-31 18:04:20 +0200 | razetime | (~quassel@117.254.36.184) |
| 2023-07-31 18:04:35 +0200 | <Inst> | but it's better with, and TyDD / type-oriented programming / type-level is the natural complement / extension of FP just as imperative programming naturally moves toward an OOP direction |
| 2023-07-31 18:04:37 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-31 18:04:38 +0200 | razetime | (~quassel@117.254.36.184) (Client Quit) |
| 2023-07-31 18:04:59 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-07-31 18:05:00 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) |
| 2023-07-31 18:05:24 +0200 | <Inst> | it also helps put dynamic typing advocates into context; i.e, strong, expressive types can be misused and have drawbacks, but powerful types, with appropriate judgment, just improve programming overall |
| 2023-07-31 18:06:20 +0200 | <Inst> | so yeah, you can do a dynamically-typed lisp, but you can do C instead of C++ / Java etc as well |
| 2023-07-31 18:06:27 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-07-31 18:07:52 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2023-07-31 18:08:52 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-07-31 18:09:47 +0200 | kenran | (~user@user/kenran) |
| 2023-07-31 18:10:36 +0200 | <monochrom> | All of them are Jackson Structured Design rediscovered again and again. |
| 2023-07-31 18:11:44 +0200 | <danse-nr3> | if i recall correctly from when i was doing untyped functional programming, higher-order functions can be a pain to troubleshoot at runtime |
| 2023-07-31 18:11:54 +0200 | <kuribas> | Inst: strong, expressive types can be misused, so the solution is to get rid of all types. |
| 2023-07-31 18:12:03 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-07-31 18:12:12 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-31 18:12:34 +0200 | <kuribas> | A hammer can be abused for something else than a nail, so you should get rid of all hammers. |
| 2023-07-31 18:12:35 +0200 | <monochrom> | The only moment when I like untyped FP is when I want to use \x -> x x :) |
| 2023-07-31 18:12:57 +0200 | <kuribas> | fix? |
| 2023-07-31 18:12:59 +0200 | <kuribas> | :t fix |
| 2023-07-31 18:12:59 +0200 | <lambdabot> | (a -> a) -> a |
| 2023-07-31 18:13:11 +0200 | <monochrom> | Oh we did all get rid of infinite types, no? >:D |
| 2023-07-31 18:13:24 +0200 | <dolio> | :t \(x :: forall a. a -> a) -> x x |
| 2023-07-31 18:13:25 +0200 | <lambdabot> | (forall a1. a1 -> a1) -> a -> a |
| 2023-07-31 18:13:58 +0200 | <monochrom> | And also goto. |
| 2023-07-31 18:14:05 +0200 | <Inst> | kuribas: I'm not attacking powerful types (wherein powerful types are defined as strong, expressive types) |
| 2023-07-31 18:14:34 +0200 | <Inst> | but I like the analogy between typelevel / tydd and OOP |
| 2023-07-31 18:15:08 +0200 | Momentum | (momentum@2607:5300:60:4f58::248) (WeeChat 3.6) |
| 2023-07-31 18:15:57 +0200 | <Inst> | and dividing type-level / tydd off from "straight" or dynamically-typed FP |
| 2023-07-31 18:16:02 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2023-07-31 18:16:23 +0200 | <danse-nr3> | not sure, you can do OOP with such strong types, sounds a bit confusing |
| 2023-07-31 18:16:26 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-07-31 18:16:48 +0200 | <danse-nr3> | jackson's structured design seems related to test-driven development, interesting |
| 2023-07-31 18:16:55 +0200 | <kuribas> | IMO FP as in clojure is mostly a lie. You don't get to reason about your code, as everything is "generic", and "dynamic". |
| 2023-07-31 18:17:18 +0200 | <kuribas> | It's just a different form of "live coding". |
| 2023-07-31 18:17:55 +0200 | <kuribas> | IMO live coding is the opposite of FP, you don't try to reason about code, but you just evolve the system. |
| 2023-07-31 18:18:23 +0200 | <kuribas> | Of course you could evolve about a system, and reason about it in the small. |
| 2023-07-31 18:18:25 +0200 | <Inst> | well, untyped lambda calculus is a thing, no? |
| 2023-07-31 18:18:30 +0200 | <monochrom> | Intelligent Design vs Evolution. Teach the controversy. |
| 2023-07-31 18:18:38 +0200 | <kuribas> | But reasoning about even a small part of clojure is hard. |
| 2023-07-31 18:18:40 +0200 | hiredman | (~hiredman@frontier1.downey.family) |
| 2023-07-31 18:19:01 +0200 | <monochrom> | Turing machines are also the thing, too. >:) |
| 2023-07-31 18:19:17 +0200 | <Inst> | monochrom: there are many happy Clojurians |
| 2023-07-31 18:19:27 +0200 | <Inst> | the point I'm trying to make isn't that they're wrong, but they're missing out |
| 2023-07-31 18:19:28 +0200 | monochrom | considers creating a new course "PCP Programming" |
| 2023-07-31 18:19:46 +0200 | <monochrom> | Oh they too think we are missing out. |
| 2023-07-31 18:20:13 +0200 | <monochrom> | Me, I think we are missing out \x -> x x . (I was teaching that recently.) |
| 2023-07-31 18:20:14 +0200 | <Inst> | I don't think we're missing out insofar as we have mechanisms to get dynamic-like typing or just straight shoehorn dynamic types in, albeit not ergonomically |
| 2023-07-31 18:20:22 +0200 | <int-e> | monochrom: does it involve sending letters to other people... that is, actual correspondence? |
| 2023-07-31 18:20:37 +0200 | <Inst> | :t (\x -> x x) |
| 2023-07-31 18:20:38 +0200 | <lambdabot> | error: |
| 2023-07-31 18:20:38 +0200 | <lambdabot> | • Occurs check: cannot construct the infinite type: t ~ t -> t1 |
| 2023-07-31 18:20:38 +0200 | <lambdabot> | • In the first argument of ‘x’, namely ‘x’ |
| 2023-07-31 18:20:39 +0200 | <int-e> | (by post, of course) |
| 2023-07-31 18:20:42 +0200 | reach__ | (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2023-07-31 18:20:44 +0200 | <dolio> | :t \(x :: forall a. a -> a) -> x x |
| 2023-07-31 18:20:45 +0200 | <lambdabot> | (forall a1. a1 -> a1) -> a -> a |
| 2023-07-31 18:20:53 +0200 | <Inst> | (a -> a) -> b |
| 2023-07-31 18:21:20 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-07-31 18:21:23 +0200 | <kuribas> | Inst: sure clojurians are happy. I am not happy doing clojure... |
| 2023-07-31 18:21:48 +0200 | <Inst> | the OOP analogy is that you can program imperatively without OOP, but quite often you're missing out |
| 2023-07-31 18:22:33 +0200 | <monochrom> | This is interesting. Everyone is like "the other pasture is greener" except programmers. |
| 2023-07-31 18:23:30 +0200 | danse-nr3 | wonders whether imperative programming without OOP had actually evolved into anything bearable |
| 2023-07-31 18:23:46 +0200 | <Inst> | *Rust |
| 2023-07-31 18:23:59 +0200 | <monochrom> | Modula-3 |
| 2023-07-31 18:24:01 +0200 | <Inst> | but as far as I understand, they're replacing OOP with TyDD, even if they don't say it out loud |
| 2023-07-31 18:24:30 +0200 | <int-e> | monochrom: I don't know... doesn't everybody have their own dream language that they've written a hello world in and that they love until the point they actually use it for real for the first time? |
| 2023-07-31 18:25:19 +0200 | <int-e> | Though maybe after going through that once or twice you become skeptical of greener pastures. |
| 2023-07-31 18:25:22 +0200 | Square | (~Square@user/square) |
| 2023-07-31 18:25:24 +0200 | <Inst> | by the way, just curious, but how far would you approve Eric Normand's formulation of FP as a distinction between actions (effectual code), calculations (pure code), and values? |
| 2023-07-31 18:25:56 +0200 | <danse-nr3> | Inst, is TyDD (type driven design) not more than a developing methodology rather than a code structuring model? |
| 2023-07-31 18:26:00 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-31 18:26:02 +0200 | <monochrom> | I have friends who are ardent advocates of the languages they use at work. But so far the language has only been C++ though. >:D |
| 2023-07-31 18:26:26 +0200 | <kuribas> | monochrom: they are just stockholm syndromed in it. |
| 2023-07-31 18:26:55 +0200 | <kuribas> | If you have spend so much effort and becomming proficient in C++, you don't want to admit there is something better. |
| 2023-07-31 18:26:57 +0200 | <monochrom> | No, I think a friend (who is indifferent) has a co-worker who love Java which is their language at work. |
| 2023-07-31 18:27:12 +0200 | <Inst> | kuribas: unfortunately, the same applies to Haskell, no? :) |
| 2023-07-31 18:27:38 +0200 | <kuribas> | Inst: Sort of. |
| 2023-07-31 18:27:57 +0200 | <Inst> | danse-nr3: what's the difference? |
| 2023-07-31 18:27:58 +0200 | <monochrom> | Yeah kuribas, everyone is like "I hate my job" except programmers who are like "I love this echo chamber". |
| 2023-07-31 18:28:13 +0200 | <Inst> | OOP can also be seen as a development methodology, or as the spawner of such |
| 2023-07-31 18:29:02 +0200 | <Inst> | no one is going to say TOP, though, although that'd be a snazzy acronym for what's happening in MLs, ML relatives + Rust |
| 2023-07-31 18:29:21 +0200 | <kuribas> | IMO OOP makes more sense in the large. |
| 2023-07-31 18:29:26 +0200 | <danse-nr3> | well, a code structuring model provides a framework for abstractions to apply to your code, whereas a developing methodology ... can be many things, for instance it can suggest where to start developing from (test driven, type driven) |
| 2023-07-31 18:29:46 +0200 | <monochrom> | My theory is that programmers would have been mad scientists, i.e., they do it because they can, never asking whether they should. |
| 2023-07-31 18:29:49 +0200 | <Inst> | yeah, I guess I'm too inexperienced to have an intuition for the difference |
| 2023-07-31 18:29:53 +0200 | <kuribas> | As an architecture, it is silly to have strings talk to each other in order to concatenate. |
| 2023-07-31 18:30:10 +0200 | <kuribas> | Or that two integers need to talk to add themselves. |
| 2023-07-31 18:30:22 +0200 | <Inst> | isn't the silliness part of the value? :) |
| 2023-07-31 18:30:39 +0200 | <kuribas> | But on a bigger level, message passing and encapsulated state makes a lot sense. |
| 2023-07-31 18:30:51 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-07-31 18:31:26 +0200 | <mauke> | I send the concatenation object a message, telling it to combine two strings |
| 2023-07-31 18:31:53 +0200 | <Square> | What is OOP really? More than "put stuff you can associate with X in X's file..." |
| 2023-07-31 18:32:06 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-07-31 18:32:12 +0200 | <monochrom> | I send the concatenation object as a message to the foldr object >:) |
| 2023-07-31 18:32:20 +0200 | ubert | (~Thunderbi@77.119.169.121.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2023-07-31 18:32:20 +0200 | <danse-nr3> | well it is more than on a bigger level, message passing and encapsulated state cannot be avoided |
| 2023-07-31 18:32:23 +0200 | qqq | (~qqq@92.43.167.61) (Quit: leaving) |
| 2023-07-31 18:32:33 +0200 | ubert | (~Thunderbi@77.119.169.121.wireless.dyn.drei.com) |
| 2023-07-31 18:32:53 +0200 | <kuribas> | I am now even convinced OO goes against good design, since you cannot have modularity. |
| 2023-07-31 18:33:03 +0200 | <mauke> | in a pure OO system, messages should be objects, too |
| 2023-07-31 18:33:24 +0200 | <danse-nr3> | just have faulty modules. Done |
| 2023-07-31 18:33:43 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-07-31 18:33:54 +0200 | <Inst> | Square: OOP is nebulously defined voodoo which makes sense in parts but creates a market for shaman-consultants |
| 2023-07-31 18:34:12 +0200 | <mauke> | I propose the following syntax for objects: \m -> ... where 'm' is the incoming message and ... is how the object responds to it |
| 2023-07-31 18:34:44 +0200 | <danse-nr3> | cannot fly, you need the rest to enclose the local mutable state |
| 2023-07-31 18:34:53 +0200 | <Square> | Inst, id say you're pretty spot on there. |
| 2023-07-31 18:35:16 +0200 | <mauke> | sending messages should be easy, so we'll just write 'someObject theMessage' |
| 2023-07-31 18:35:26 +0200 | <monochrom> | Hey the standard model is also like "messages are particles too" >:) |
| 2023-07-31 18:35:44 +0200 | <Inst> | message-object duality? :) |
| 2023-07-31 18:35:45 +0200 | <monochrom> | and "they are also all field excitations" |
| 2023-07-31 18:35:51 +0200 | <Inst> | are all objects also messages? |
| 2023-07-31 18:36:04 +0200 | <mauke> | if you want them to |
| 2023-07-31 18:36:28 +0200 | <monochrom> | A string has a deBrogie wavelength... |
| 2023-07-31 18:36:34 +0200 | <Inst> | but seriously, if you accept Clojure and Racket, as well as dialects of JS, as FP |
| 2023-07-31 18:36:41 +0200 | ubert | (~Thunderbi@77.119.169.121.wireless.dyn.drei.com) (Ping timeout: 245 seconds) |
| 2023-07-31 18:36:53 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2023-07-31 18:37:10 +0200 | <Inst> | welp, drove kuribas off :( |
| 2023-07-31 18:37:30 +0200 | reach__ | (~reach@142.198.51.47) |
| 2023-07-31 18:37:51 +0200 | <Inst> | well, forget it, then, I'm still holding to my hypothesis (that type-driven or type-oriented programming is a useful alternative to OOP that is a natural complement to untyped FP) |
| 2023-07-31 18:38:10 +0200 | bjobjo | (~bjobjo@user/bjobjo) |
| 2023-07-31 18:38:58 +0200 | noscript | (~james@user/earldouglas) () |
| 2023-07-31 18:39:41 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) (Remote host closed the connection) |
| 2023-07-31 18:40:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-31 18:40:52 +0200 | <EvanR> | untyped FP is just typed FP where you are the type checker |
| 2023-07-31 18:41:47 +0200 | haasn` | (~nand@haasn.dev) |
| 2023-07-31 18:42:11 +0200 | <jade[m]> | typechecker role play |
| 2023-07-31 18:42:28 +0200 | <mauke> | I thought that was called Hungarian notation |
| 2023-07-31 18:44:20 +0200 | barcisz | (~barcisz@79.191.74.154.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 2023-07-31 18:44:41 +0200 | kimiamania60 | (~681cf57f@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 2023-07-31 18:45:15 +0200 | kimiamania60 | (~681cf57f@user/kimiamania) |
| 2023-07-31 18:48:01 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-092-121.46.114.pool.telefonica.de) |
| 2023-07-31 18:49:01 +0200 | <Hecate> | well I'm putting this in my quotefile |
| 2023-07-31 18:50:41 +0200 | <EvanR> | OOP: everything is an object. FP: everything is a function. |
| 2023-07-31 18:53:04 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) |
| 2023-07-31 18:59:51 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2023-07-31 19:00:34 +0200 | <danse-nr3> | "I love this echo chamber" ... that is brilliant monochrom |
| 2023-07-31 19:03:36 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-31 19:03:40 +0200 | kimiamania60 | (~681cf57f@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 2023-07-31 19:05:53 +0200 | kimiamania60 | (~681cf57f@user/kimiamania) |
| 2023-07-31 19:06:04 +0200 | reach__ | (~reach@142.198.51.47) (Remote host closed the connection) |
| 2023-07-31 19:06:27 +0200 | reach__ | (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) |
| 2023-07-31 19:08:23 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2023-07-31 19:13:02 +0200 | AlexNoo_ | (~AlexNoo@94.233.240.229) |
| 2023-07-31 19:15:26 +0200 | AlexZenon | (~alzenon@178.34.162.202) (Ping timeout: 245 seconds) |
| 2023-07-31 19:15:26 +0200 | Alex_test | (~al_test@178.34.162.202) (Ping timeout: 245 seconds) |
| 2023-07-31 19:16:29 +0200 | shapr | (~user@2600:1700:c640:3100:c8e5:6004:fe0c:5f1a) |
| 2023-07-31 19:16:34 +0200 | puke | (~puke@user/puke) (Quit: puke) |
| 2023-07-31 19:16:42 +0200 | AlexNoo | (~AlexNoo@178.34.162.202) (Ping timeout: 260 seconds) |
| 2023-07-31 19:17:13 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-07-31 19:18:43 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-31 19:22:24 +0200 | Alex_test | (~al_test@94.233.240.229) |
| 2023-07-31 19:23:05 +0200 | puke | (~puke@user/puke) |
| 2023-07-31 19:23:27 +0200 | puke | (~puke@user/puke) (Max SendQ exceeded) |
| 2023-07-31 19:24:46 +0200 | puke | (~puke@user/puke) |
| 2023-07-31 19:25:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-31 19:26:58 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-07-31 19:27:52 +0200 | ripspin | (~chatzilla@1.145.225.151) (Ping timeout: 240 seconds) |
| 2023-07-31 19:28:05 +0200 | danse-nr3 | (~francesco@151.47.233.19) (Read error: Connection reset by peer) |
| 2023-07-31 19:28:07 +0200 | Guest|38 | (~Guest|38@pool-74-109-254-148.pitbpa.fios.verizon.net) |
| 2023-07-31 19:28:16 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-07-31 19:28:28 +0200 | jludwig | (~justin@li657-110.members.linode.com) (Quit: ZNC - https://znc.in) |
| 2023-07-31 19:28:31 +0200 | danse-nr3 | (~francesco@151.35.251.57) |
| 2023-07-31 19:30:29 +0200 | AlexZenon | (~alzenon@94.233.240.229) |
| 2023-07-31 19:41:42 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-07-31 19:43:20 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-31 19:43:38 +0200 | AlexNoo_ | AlexNoo |
| 2023-07-31 19:46:25 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-07-31 19:47:36 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2023-07-31 19:50:29 +0200 | reach__ | (~reach@bras-base-toroon2643w-grc-02-142-198-51-47.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2023-07-31 19:50:57 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-07-31 19:51:24 +0200 | kimiamania60 | (~681cf57f@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 2023-07-31 19:51:45 +0200 | jludwig | (~justin@li657-110.members.linode.com) |
| 2023-07-31 19:52:09 +0200 | kimiamania60 | (~681cf57f@user/kimiamania) |
| 2023-07-31 19:53:02 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-07-31 19:59:55 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-31 20:00:51 +0200 | danse-nr3 | (~francesco@151.35.251.57) (Ping timeout: 245 seconds) |
| 2023-07-31 20:03:22 +0200 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2023-07-31 20:05:20 +0200 | Square | (~Square@user/square) |
| 2023-07-31 20:07:38 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-07-31 20:10:55 +0200 | reach__ | (~reach@142.198.51.47) |
| 2023-07-31 20:14:28 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-31 20:15:36 +0200 | johnw | (~johnw@69.62.242.138) (Remote host closed the connection) |
| 2023-07-31 20:15:53 +0200 | johnw | (~johnw@69.62.242.138) |
| 2023-07-31 20:19:07 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) (Remote host closed the connection) |
| 2023-07-31 20:21:52 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-07-31 20:21:52 +0200 | mima | (~mmh@aftr-62-216-202-61.dynamic.mnet-online.de) (Ping timeout: 240 seconds) |
| 2023-07-31 20:22:00 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Remote host closed the connection) |
| 2023-07-31 20:22:23 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-07-31 20:22:29 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-07-31 20:34:50 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-31 20:35:00 +0200 | sidy | (~sidy@user/sidy) (Quit: Leaving) |
| 2023-07-31 20:38:04 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) |
| 2023-07-31 20:38:37 +0200 | nick2 | (~nick@2600:100d:b105:76fe:39f9:5c0f:c3c2:60d3) |
| 2023-07-31 20:41:10 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2023-07-31 20:43:46 +0200 | hippoid | (~hippoid@user/hippoid) |
| 2023-07-31 20:47:52 +0200 | Square | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2023-07-31 20:57:16 +0200 | Guest13 | (~Guest13@250.79-105-213.static.virginmediabusiness.co.uk) |
| 2023-07-31 20:58:55 +0200 | Guest13 | (~Guest13@250.79-105-213.static.virginmediabusiness.co.uk) (Client Quit) |
| 2023-07-31 20:59:20 +0200 | haskGPT | (~haskGPT@250.79-105-213.static.virginmediabusiness.co.uk) |
| 2023-07-31 20:59:21 +0200 | <haskGPT> | hey |
| 2023-07-31 21:00:32 +0200 | <haskGPT> | you can ask me questions about haskell, and I will respond with convincing answers. |
| 2023-07-31 21:00:57 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) (Remote host closed the connection) |
| 2023-07-31 21:01:56 +0200 | <haskGPT> | in particular, about large language models in haskell. |
| 2023-07-31 21:02:27 +0200 | <haskGPT> | and the use of large language models for producing haskell code |
| 2023-07-31 21:02:42 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-07-31 21:03:55 +0200 | <haskGPT> | with the particular aim of community development of a chatGPT alternative in haskell. |
| 2023-07-31 21:08:30 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-07-31 21:08:47 +0200 | Clint | squints. |
| 2023-07-31 21:08:52 +0200 | thegeekinside | (~thegeekin@189.180.94.123) (Ping timeout: 240 seconds) |
| 2023-07-31 21:10:23 +0200 | sm | sniffs |
| 2023-07-31 21:12:11 +0200 | <yushyin> | maybe it will trigger ozone at some point (/me crosses fingers) |
| 2023-07-31 21:12:32 +0200 | thegeekinside | (~thegeekin@189.180.94.123) |
| 2023-07-31 21:17:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-31 21:20:44 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-31 21:21:29 +0200 | thyriaen | (~thyriaen@2a01:aea0:dd4:6a18:6245:cbff:fe9f:48b1) |
| 2023-07-31 21:25:37 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-07-31 21:26:32 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-07-31 21:28:42 +0200 | ursa-major | (~ursa-majo@37.19.210.10) (Ping timeout: 245 seconds) |
| 2023-07-31 21:29:49 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Remote host closed the connection) |
| 2023-07-31 21:30:07 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-07-31 21:30:44 +0200 | ursa-major | (~ursa-majo@static-198-44-128-216.cust.tzulo.com) |
| 2023-07-31 21:31:12 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 240 seconds) |
| 2023-07-31 21:31:20 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-31 21:31:20 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-31 21:31:20 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-31 21:31:58 +0200 | nick2 | (~nick@2600:100d:b105:76fe:39f9:5c0f:c3c2:60d3) (Ping timeout: 244 seconds) |
| 2023-07-31 21:37:40 +0200 | danza | (~francesco@151.35.251.57) |
| 2023-07-31 21:38:11 +0200 | kaptch | (~user@95.10.3.18) |
| 2023-07-31 21:38:32 +0200 | reach__ | (~reach@142.198.51.47) (Ping timeout: 240 seconds) |
| 2023-07-31 21:41:45 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-07-31 21:42:12 +0200 | kaptch | (~user@95.10.3.18) () |
| 2023-07-31 21:45:55 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 244 seconds) |
| 2023-07-31 21:47:54 +0200 | MajorBiscuit | (~MajorBisc@62-110-179.netrun.cytanet.com.cy) |
| 2023-07-31 21:50:58 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Quit: Leaving) |
| 2023-07-31 21:52:22 +0200 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) |
| 2023-07-31 21:52:35 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 246 seconds) |
| 2023-07-31 21:55:33 +0200 | <shapr> | haskGPT: vad tror du om Haskell? |
| 2023-07-31 21:56:07 +0200 | <shapr> | haskGPT: kan du tala svenska? |
| 2023-07-31 21:56:20 +0200 | <shapr> | haskGPT: what's the airsped of an unladen swallow? |
| 2023-07-31 21:56:27 +0200 | <shapr> | haskGPT: is this thing on? |
| 2023-07-31 21:56:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-31 21:56:40 +0200 | <shapr> | I'm gonna say it's not working. |
| 2023-07-31 21:56:50 +0200 | shapr | shrugs |
| 2023-07-31 21:56:52 +0200 | <shapr> | so anyway |
| 2023-07-31 21:57:07 +0200 | thegeekinside | (~thegeekin@189.180.94.123) (Ping timeout: 260 seconds) |
| 2023-07-31 21:57:22 +0200 | ft | (~ft@p508dbe45.dip0.t-ipconnect.de) |
| 2023-07-31 22:03:49 +0200 | reach__ | (~reach@142.198.51.47) |
| 2023-07-31 22:04:10 +0200 | Guest|38 | (~Guest|38@pool-74-109-254-148.pitbpa.fios.verizon.net) (Quit: Connection closed) |
| 2023-07-31 22:05:11 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-31 22:05:11 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-31 22:07:13 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-31 22:09:55 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-07-31 22:09:57 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-07-31 22:09:59 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-07-31 22:10:35 +0200 | <hgolden> | is cabal cradle documented anywhere? i'm getting a "Multi Cradle: No prefixes matched cradle [Ln 1, Col 1]" |
| 2023-07-31 22:11:20 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-07-31 22:11:33 +0200 | Lycurgus | (~juan@user/Lycurgus) () |
| 2023-07-31 22:11:34 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 250 seconds) |
| 2023-07-31 22:11:41 +0200 | <jade[m]> | that usually for me just means the module isn't in your cabal file under other-modules |
| 2023-07-31 22:11:46 +0200 | <geekosaur> | probably best asked in #haskell-language-server |
| 2023-07-31 22:12:11 +0200 | <hgolden> | geekosaur: thanks, will do. |
| 2023-07-31 22:12:13 +0200 | <sm> | yes, sounds like probably one of the subtools of HLS (hie ?) |
| 2023-07-31 22:12:52 +0200 | <hgolden> | sm: yes, hie is a suspect! |
| 2023-07-31 22:13:33 +0200 | <sm> | https://github.com/haskell/hie-bios |
| 2023-07-31 22:16:25 +0200 | <hgolden> | sm: thanks! this is the place, but it needs to be linked from cabal, etc. |
| 2023-07-31 22:17:25 +0200 | <sm> | I agree with your general sentiment, but why cabal in particular |
| 2023-07-31 22:17:55 +0200 | <sm> | The Haskell extension's (and HLS's) user guide I would have thought |
| 2023-07-31 22:19:15 +0200 | <hgolden> | sm: not cabal, in particular. just suggesting cross-references wherever a new user (like me) might stumble. |
| 2023-07-31 22:19:39 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) |
| 2023-07-31 22:19:50 +0200 | <sm> | better still, the error message... |
| 2023-07-31 22:20:33 +0200 | <hgolden> | sm: i agree |
| 2023-07-31 22:20:38 +0200 | <sm> | even better still justworkmumblemumble |
| 2023-07-31 22:21:12 +0200 | <hgolden> | that isn't the "haskell way"! |
| 2023-07-31 22:21:22 +0200 | <sm> | like most things, it's awaiting volunteers/funders/organisers/motivation |
| 2023-07-31 22:22:08 +0200 | <hgolden> | haskell is an adventure game.... |
| 2023-07-31 22:22:19 +0200 | <sm> | I believe HF should hire a roving technical writer, analogous to chreekat |
| 2023-07-31 22:24:15 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2023-07-31 22:24:27 +0200 | shapr | (~user@2600:1700:c640:3100:c8e5:6004:fe0c:5f1a) (Remote host closed the connection) |
| 2023-07-31 22:24:28 +0200 | <hgolden> | sm: Hécate Moonlight? |
| 2023-07-31 22:24:41 +0200 | shapr | (~user@2600:1700:c640:3100:48aa:7045:6a06:128b) |
| 2023-07-31 22:25:13 +0200 | <sm> | if they are a writer, then +1! |
| 2023-07-31 22:25:13 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-31 22:25:19 +0200 | <hgolden> | see https://ko-fi.com/hecatemoonlight, perhaps |
| 2023-07-31 22:25:27 +0200 | <mauke> | Hecate is here |
| 2023-07-31 22:25:58 +0200 | <geekosaur> | every so often I consider hanging out a shingle, but I'm not that great as a technical writer |
| 2023-07-31 22:26:11 +0200 | <sm> | +1 to that too! |
| 2023-07-31 22:26:36 +0200 | <sm> | Haskell Writer Strike Force ? |
| 2023-07-31 22:27:01 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) |
| 2023-07-31 22:28:28 +0200 | <hgolden> | a suggestion: technical writers and wannabes should congregate (if they don't already) |
| 2023-07-31 22:29:02 +0200 | <monochrom> | Maybe I tell you an Aesop fable again. :) |
| 2023-07-31 22:29:54 +0200 | <hgolden> | monochrom: please explain your reference to Aesop. |
| 2023-07-31 22:30:02 +0200 | <sm> | hgolden it's a good idea to organise tech writers team, like eg the library custodians, security team, etc. |
| 2023-07-31 22:30:12 +0200 | <monochrom> | There was an internation conference of mice. First resolution: Someone should put a bell on the cat's neck so the mice get early warnings. Second resolution: Someone else should do it. |
| 2023-07-31 22:31:12 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) (Ping timeout: 245 seconds) |
| 2023-07-31 22:31:19 +0200 | <sm> | writers would need to be the most mobile and self-sufficient, capable of dropping in anywhere and getting out alive |
| 2023-07-31 22:32:46 +0200 | <sm> | sometimes we talk about things to get clear on what might be good to do, and you never know, maybe inspire someone to grab their sword |
| 2023-07-31 22:33:46 +0200 | <geekosaur> | one complication here is that to write well about something, you need to understand it; just dropping in on a project doesn't work that well |
| 2023-07-31 22:34:03 +0200 | <geekosaur> | unless the documentation is already there but needs polishing |
| 2023-07-31 22:35:25 +0200 | <mauke> | btw, is orion banned from matrix #haskell? |
| 2023-07-31 22:35:37 +0200 | <sm> | you need some badass long-experienced haskeller-writers, mainly. A project manager could probably also organise tasks for less experienced helpers |
| 2023-07-31 22:37:46 +0200 | <sm> | mauke: I don't see any "orion" in the banned list of #haskell:matrix.org |
| 2023-07-31 22:38:31 +0200 | <mauke> | shame |
| 2023-07-31 22:38:35 +0200 | <geekosaur> | ^ |
| 2023-07-31 22:38:36 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-07-31 22:38:39 +0200 | <sm> | n #haskell:libera.chat, I don't think matrix users can be banned, or at least none are listed here |
| 2023-07-31 22:38:58 +0200 | <geekosaur> | tried to dm you about them the other day, I can't tell if it went through or not |
| 2023-07-31 22:39:12 +0200 | <sm> | (on the matrix side I mean, of course banning can be done on the irc side) |
| 2023-07-31 22:39:14 +0200 | <mauke> | geekosaur: I don't see anything |
| 2023-07-31 22:39:22 +0200 | <hgolden> | monochrom: i'm familiar with that fable, though you had to remind me. i've been a mouse keeping the haskell wiki running, sort of, for a few years, but now i want someone else to do that, so i can learn more haskell. |
| 2023-07-31 22:39:23 +0200 | <jade[m]> | is orion onion or is that someone else |
| 2023-07-31 22:39:30 +0200 | <sm> | geekosaur: I accepted your DM and joined the chat but didn't see anything else.. |
| 2023-07-31 22:40:12 +0200 | <geekosaur> | oh |
| 2023-07-31 22:40:20 +0200 | <geekosaur> | it never completed on my end for some reason |
| 2023-07-31 22:40:32 +0200 | <geekosaur> | nheko is still a little glitchy at times I guess |
| 2023-07-31 22:40:50 +0200 | <jade[m]> | hgolden: I wanted to contribute to the haskell wiki previously but it's kind of a mess |
| 2023-07-31 22:40:52 +0200 | <mauke> | oh, I may be blind |
| 2023-07-31 22:41:11 +0200 | <jade[m]> | geekosaur: I tried that client and it completely bugged out on me |
| 2023-07-31 22:41:12 +0200 | <geekosaur> | onion. "@igothackedontor:matrix.org" |
| 2023-07-31 22:41:42 +0200 | <jade[m]> | oh yes, they are very weird and followed me from mathematics channels where they were originally banned as well |
| 2023-07-31 22:41:48 +0200 | <geekosaur> | jade[m], I had that with quaternion but so far nheko has been pretty good for most things. rarely I have to pop over into element |
| 2023-07-31 22:41:53 +0200 | <jade[m]> | I voiced my concern about them early on |
| 2023-07-31 22:41:58 +0200 | <mauke> | jade[m]: I mean the user who joined a while ago, never talks about haskell, and occasionally posts annoying stuff and self-promoting links |
| 2023-07-31 22:42:09 +0200 | <geekosaur> | yes, that one |
| 2023-07-31 22:42:24 +0200 | <jade[m]> | yes, I might have led them there by accident because I mentioned haskell in another room once |
| 2023-07-31 22:42:24 +0200 | <hgolden> | jade[m]: please explain what would help the wiki. we're open to suggestions, though remember Aesop. |
| 2023-07-31 22:42:44 +0200 | <sm> | uh.. why am I the only matrix-side Mod in here.. |
| 2023-07-31 22:42:47 +0200 | <jade[m]> | hgolden: what is Aesop? |
| 2023-07-31 22:43:07 +0200 | <geekosaur> | an ancient Greek who penned a book of fables |
| 2023-07-31 22:43:15 +0200 | <sm> | well today is this portal's last day.. MORE WINE |
| 2023-07-31 22:43:23 +0200 | <glguy> | sm: 2 more weeks |
| 2023-07-31 22:43:24 +0200 | <geekosaur> | monochrom quoted one of them a few minutes ago |
| 2023-07-31 22:43:43 +0200 | <hgolden> | jade[m]: see monochrom's reference to mice and cats above about 20 minutes ago. |
| 2023-07-31 22:43:43 +0200 | <davean> | Why is the portal going away? |
| 2023-07-31 22:43:46 +0200 | <glguy> | moderation chatter also good on #haskell-ops |
| 2023-07-31 22:43:46 +0200 | <sm> | oh you're right, 2 more weeks. |
| 2023-07-31 22:43:47 +0200 | <geekosaur> | sm: what glguy said, they need to fix some bugs & security holes before they can drop portaling |
| 2023-07-31 22:43:58 +0200 | mechap | (~mechap@user/mechap) |
| 2023-07-31 22:44:08 +0200 | <glguy> | davean: check out the last 3 postings at https://libera.chat |
| 2023-07-31 22:44:24 +0200 | <glguy> | davean: anything I told you about it would be based on having looked at those postings :) |
| 2023-07-31 22:45:04 +0200 | <sm> | hgolden: thanks for doing that (wiki tending) |
| 2023-07-31 22:45:40 +0200 | <jade[m]> | hgolden: My main issue was navigation and finding articles, and then there were *lots* of articles with wrong information or bad code which were listed under solutions for some kind of problems |
| 2023-07-31 22:46:19 +0200 | <jade[m]> | it's been a while though, so I would love to get in contact and contribute to the wiki |
| 2023-07-31 22:46:32 +0200 | <jade[m]> | it's one of the most important resources that I also personally use a lot |
| 2023-07-31 22:47:00 +0200 | <hgolden> | jade[m] feel free to contact me. i'm easy to reach. |
| 2023-07-31 22:47:11 +0200 | <geekosaur> | I should mention again that we are considering creating a plumbed room for this channel. it would NOT be plumbed to an existing room, and we would specifically request that people avoid things that don't work well on IRC |
| 2023-07-31 22:47:16 +0200 | <jade[m]> | sounds good! |
| 2023-07-31 22:47:30 +0200 | <geekosaur> | comments, conmcerns, etc. should probably be raised in #haskell-ops |
| 2023-07-31 22:47:32 +0200 | <sm> | +1 |
| 2023-07-31 22:47:57 +0200 | <jade[m]> | hgolden: are you on matrix by any chance? I still have to set up my irc thingy ... |
| 2023-07-31 22:49:24 +0200 | <sm> | * +1 (to plumbing) |
| 2023-07-31 22:49:42 +0200 | <Guest4879> | how to express a type variable which is either Float or Double? |
| 2023-07-31 22:49:44 +0200 | <hgolden> | jade[m]: i think i have a matrix account, but i haven't used it for a long time. i'll try it. |
| 2023-07-31 22:50:41 +0200 | <mauke> | Guest4879: why only Float or Double? |
| 2023-07-31 22:50:46 +0200 | wrengr | (~wrengr@201.59.83.34.bc.googleusercontent.com) |
| 2023-07-31 22:52:01 +0200 | <Guest4879> | i want my client to decide which precision to choose |
| 2023-07-31 22:52:11 +0200 | <Guest4879> | on the fly |
| 2023-07-31 22:52:40 +0200 | <davean> | Guest4879: but not another type that has similar properties but aren't those two? |
| 2023-07-31 22:52:44 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-07-31 22:52:52 +0200 | <davean> | Haskell usually restricts by the properties of the type when it gets general. |
| 2023-07-31 22:53:00 +0200 | <davean> | like being RealFloat |
| 2023-07-31 22:53:46 +0200 | <davean> | Or being Fractional, or being a Number at all, or some combination of those ... well I'd say laws but I just mentioned Num |
| 2023-07-31 22:55:56 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-31 22:56:25 +0200 | nick2 | (~nick@2600:8807:9084:7800:9d26:91c1:bd87:e9e5) |
| 2023-07-31 22:58:07 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-31 22:58:22 +0200 | MajorBiscuit | (~MajorBisc@62-110-179.netrun.cytanet.com.cy) (Ping timeout: 260 seconds) |
| 2023-07-31 22:58:45 +0200 | <Guest4879> | how to put a typeclass constraint on instance clause: instance Vectorizable (n,n), here n is Num |
| 2023-07-31 22:59:11 +0200 | <davean> | Same way as anywhere else |
| 2023-07-31 22:59:20 +0200 | <davean> | instance Num n => Vectorizable (n,n) |
| 2023-07-31 22:59:38 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Remote host closed the connection) |
| 2023-07-31 22:59:40 +0200 | <davean> | thats not GENERALLY a great idea, you'd usually do the specific ones though |
| 2023-07-31 22:59:54 +0200 | <davean> | you'll need extensions to make the constrained version go though because its illfounded |
| 2023-07-31 23:00:42 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-07-31 23:00:50 +0200 | nick2 | (~nick@2600:8807:9084:7800:9d26:91c1:bd87:e9e5) (Ping timeout: 244 seconds) |
| 2023-07-31 23:01:05 +0200 | <glguy> | The issue there is more that 'n' got used twice, rather than that n was contained to implement Num, though |
| 2023-07-31 23:02:30 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) |
| 2023-07-31 23:03:25 +0200 | reach__ | (~reach@142.198.51.47) (Ping timeout: 244 seconds) |
| 2023-07-31 23:04:50 +0200 | <Guest4879> | glguy: why is it an issue that n being used twice |
| 2023-07-31 23:05:03 +0200 | <monochrom> | hgolden: IMO we need people to stop being afraid of deleting tangential material, even outdated material. |
| 2023-07-31 23:06:10 +0200 | <monochrom> | Part of the mess is because people merely add "Update: Now it is this way" but allow the old (and therefore wrong) stuff to stay. |
| 2023-07-31 23:06:45 +0200 | <monochrom> | For example N-1 of the IO articles there. |
| 2023-07-31 23:07:38 +0200 | <Guest4879> | class Vectorizable v where distance :: (Num n) => v -> v -> n |
| 2023-07-31 23:07:45 +0200 | <Guest4879> | is this good practice? |
| 2023-07-31 23:07:50 +0200 | <hgolden> | monochrom: atravers has been doing this a lot afaict |
| 2023-07-31 23:08:03 +0200 | <Guest4879> | or should i use class Vectoriable v n |
| 2023-07-31 23:09:01 +0200 | <Guest4879> | i want to generilze both the Vector type and their distance |
| 2023-07-31 23:09:06 +0200 | <hgolden> | monochrom: this is a problem in many sources of information. i suggest putting the latest news at the top instead of the bottom |
| 2023-07-31 23:12:14 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-07-31 23:12:25 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-31 23:15:16 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Remote host closed the connection) |
| 2023-07-31 23:16:37 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-07-31 23:18:12 +0200 | danza | (~francesco@151.35.251.57) (Ping timeout: 240 seconds) |
| 2023-07-31 23:22:17 +0200 | <glguy> | Guest4879: How about put up some more complete code that you have a question about on a pastebin and we can get more specific |
| 2023-07-31 23:23:49 +0200 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) |
| 2023-07-31 23:27:41 +0200 | reach__ | (~reach@142.198.51.47) |
| 2023-07-31 23:28:50 +0200 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) (Remote host closed the connection) |
| 2023-07-31 23:29:01 +0200 | <monochrom> | Haha Data.ByteString.isSuffixOf says "accursedUnutterablePerformIO $ unsafeWithForeignPtr x1 $ \p1 -> unsafeWithForeignPtr x2 $ \p2 -> memcmp ..." |
| 2023-07-31 23:30:13 +0200 | <monochrom> | In my use case I just want to know whether '\n' is the last byte. Should I use isSuffixOf or should I write my own equivalent of b[n-1] == '\n' ? |
| 2023-07-31 23:31:04 +0200 | <glguy> | monochrom: I'd say write it in terms of unsnoc |
| 2023-07-31 23:32:11 +0200 | <monochrom> | You're right! That's a better idea. 75% of the time I do want to take out the non-newline prefix. |
| 2023-07-31 23:32:47 +0200 | <mauke> | last str == '\n' |
| 2023-07-31 23:34:48 +0200 | schuelermine | (~anselmsch@user/schuelermine) |
| 2023-07-31 23:35:17 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-07-31 23:35:17 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-07-31 23:35:17 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-31 23:37:18 +0200 | jinsun__ | (~jinsun@user/jinsun) |
| 2023-07-31 23:37:18 +0200 | jinsun | Guest4158 |
| 2023-07-31 23:37:18 +0200 | jinsun__ | jinsun |
| 2023-07-31 23:37:57 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) |
| 2023-07-31 23:38:02 +0200 | Guest4158 | (~jinsun@user/jinsun) (Ping timeout: 260 seconds) |
| 2023-07-31 23:41:31 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2023-07-31 23:43:00 +0200 | reach__ | (~reach@142.198.51.47) (Ping timeout: 250 seconds) |
| 2023-07-31 23:44:45 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-07-31 23:46:22 +0200 | ubert | (~Thunderbi@77.119.169.121.wireless.dyn.drei.com) |
| 2023-07-31 23:47:03 +0200 | accord | (uid568320@id-568320.hampstead.irccloud.com) |
| 2023-07-31 23:48:00 +0200 | kimiamania60 | (~681cf57f@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 2023-07-31 23:48:21 +0200 | kimiamania60 | (~681cf57f@user/kimiamania) |
| 2023-07-31 23:49:09 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-07-31 23:49:16 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-07-31 23:49:16 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-07-31 23:49:16 +0200 | finn_elija | FinnElija |
| 2023-07-31 23:49:46 +0200 | thyriaen | (~thyriaen@2a01:aea0:dd4:6a18:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 2023-07-31 23:49:55 +0200 | thegeekinside | (~thegeekin@189.180.94.123) |
| 2023-07-31 23:50:17 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-07-31 23:52:24 +0200 | talismanick | (~user@76.133.152.122) |
| 2023-07-31 23:57:25 +0200 | FurudeRika[m] | (~chitandae@2001:470:69fc:105::1:6039) (Ping timeout: 240 seconds) |
| 2023-07-31 23:59:28 +0200 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-31 23:59:28 +0200 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-31 23:59:28 +0200 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-31 23:59:37 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Read error: Connection reset by peer) |
| 2023-07-31 23:59:46 +0200 | dobblego | dibblego |