| 2023-10-13 00:02:13 +0200 | <monochrom> | You can re-live effectful-and-lazy in Haskell by playing with unsafeInterleaveIO. :) |
| 2023-10-13 00:05:34 +0200 | <monochrom> | But the other angle is that pure-and-eager is the worst of both worlds. For example, suppose you want constant-time FIFO queue operations. Okasaki's book (and thesis probably, I haven't checked) shows how to do it with laziness, if you want pure (immutable). It looks like you need either lazy or mutable. |
| 2023-10-13 00:06:50 +0200 | waleee | (~waleee@2001:9b0:21c:e600:f2f3:f744:435d:137c) |
| 2023-10-13 00:09:27 +0200 | <monochrom> | Haha Jensen's device is pretty cute. At least the example on wikipedia. |
| 2023-10-13 00:10:01 +0200 | <monochrom> | It almost reads like a macro system. (Then again call-by-name does, in general.) |
| 2023-10-13 00:10:19 +0200 | <dolio> | unsafeInterleaveIO is too well behaved, I think. |
| 2023-10-13 00:12:46 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 2023-10-13 00:13:28 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-10-13 00:25:01 +0200 | <cheater> | unsafeLaunchRockets |
| 2023-10-13 00:26:19 +0200 | arahael | (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) |
| 2023-10-13 00:26:54 +0200 | <davean> | Rocket launches should be safe, its the arrivals we want to have be unsafe. |
| 2023-10-13 00:28:03 +0200 | <monochrom> | No! Rocket launches release so much poisonous gases that observers are required to stay like 2 miles away. That's how unsafe it is. |
| 2023-10-13 00:28:22 +0200 | <EvanR> | unless you're filming soyuz launches for roscosmos |
| 2023-10-13 00:28:25 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-13 00:29:03 +0200 | <EvanR> | also I wonder if there has been haskell in space ever |
| 2023-10-13 00:29:27 +0200 | <EvanR> | space probe teams write all their code in C and wonder why they crash into the moon |
| 2023-10-13 00:29:58 +0200 | <geekosaur> | actually nasa is funding clash and another write-trusted-C-code-via-Haskell tool |
| 2023-10-13 00:30:21 +0200 | <monochrom> | Um, "clash" is not a very lucky name :) |
| 2023-10-13 00:30:43 +0200 | <EvanR> | crash -> clash |
| 2023-10-13 00:30:47 +0200 | <EvanR> | right -> left |
| 2023-10-13 00:31:13 +0200 | <tomsmeding> | geekosaur: Copilot? |
| 2023-10-13 00:31:20 +0200 | <tomsmeding> | not to be confused with the other thing with the same name |
| 2023-10-13 00:31:29 +0200 | <monochrom> | Someone is going to jinx themselves by naming their language "crash" and their system "burn". >:) |
| 2023-10-13 00:31:40 +0200 | <geekosaur> | right, that one |
| 2023-10-13 00:32:10 +0200 | <monochrom> | Ugh too many chefs and copilots. >:) |
| 2023-10-13 00:32:32 +0200 | waleee | (~waleee@2001:9b0:21c:e600:f2f3:f744:435d:137c) (Ping timeout: 260 seconds) |
| 2023-10-13 00:32:59 +0200 | <tomsmeding> | monochrom: here in NL most trailers for rent seem to be made by a company whose name translates to "falters" |
| 2023-10-13 00:33:26 +0200 | <tomsmeding> | and that translation is not an exaggeration |
| 2023-10-13 00:33:35 +0200 | <monochrom> | haha |
| 2023-10-13 00:33:38 +0200 | <EvanR> | faulty towers Inc |
| 2023-10-13 00:33:48 +0200 | <tomsmeding> | (Hapert, for the dutchies around) |
| 2023-10-13 00:34:23 +0200 | <tomsmeding> | oh it's a European brand apparently |
| 2023-10-13 00:35:28 +0200 | waleee | (~waleee@2001:9b0:21c:e600:f2f3:f744:435d:137c) |
| 2023-10-13 00:36:58 +0200 | <davean> | monochrom: uh, I mean it varies by the rocket, many don't give off any toxins. |
| 2023-10-13 00:37:31 +0200 | <davean> | You have to be much more worried about launch failures |
| 2023-10-13 00:37:52 +0200 | <monochrom> | I forgot those. |
| 2023-10-13 00:41:03 +0200 | <davean> | Some of the largest explosions in human history are rocket launch failures |
| 2023-10-13 00:41:38 +0200 | <davean> | We don't want those though, hence safeLaunchRockets, unsafeDeliverRockets |
| 2023-10-13 00:45:06 +0200 | acidjnk | (~acidjnk@p200300d6e7072f66ed0567410d5301c2.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2023-10-13 00:51:48 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2023-10-13 00:52:37 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2023-10-13 01:09:57 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 252 seconds) |
| 2023-10-13 01:10:30 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2023-10-13 01:11:39 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-13 01:14:25 +0200 | alphacentauri | (~alphacent@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-10-13 01:16:32 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-10-13 01:16:39 +0200 | zero | (~z@user/zero) |
| 2023-10-13 01:19:41 +0200 | zzz | (~z@user/zero) |
| 2023-10-13 01:20:05 +0200 | yin | (~z@user/zero) (Ping timeout: 258 seconds) |
| 2023-10-13 01:21:26 +0200 | zero | (~z@user/zero) (Ping timeout: 260 seconds) |
| 2023-10-13 01:21:26 +0200 | zzz | zero |
| 2023-10-13 01:25:36 +0200 | alphacentauri | (~alphacent@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.5) |
| 2023-10-13 01:42:31 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 260 seconds) |
| 2023-10-13 01:45:08 +0200 | xff0x | (~xff0x@ai101218.d.east.v6connect.net) (Ping timeout: 272 seconds) |
| 2023-10-13 01:46:28 +0200 | hiyori | (~hiyori@user/hiyori) |
| 2023-10-13 01:46:52 +0200 | xff0x | (~xff0x@178.255.149.135) |
| 2023-10-13 01:52:28 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-10-13 01:55:24 +0200 | waleee | (~waleee@2001:9b0:21c:e600:f2f3:f744:435d:137c) (Ping timeout: 240 seconds) |
| 2023-10-13 01:55:50 +0200 | waleee | (~waleee@2001:9b0:21c:e600:f2f3:f744:435d:137c) |
| 2023-10-13 01:59:23 +0200 | adium | (adium@user/adium) |
| 2023-10-13 02:00:42 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2023-10-13 02:01:58 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2023-10-13 02:03:32 +0200 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 260 seconds) |
| 2023-10-13 02:03:48 +0200 | hiyori | (~hiyori@user/hiyori) (Quit: Client closed) |
| 2023-10-13 02:05:05 +0200 | xff0x | (~xff0x@2405:6580:b080:900:48d1:b80:5bf6:f420) |
| 2023-10-13 02:09:07 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2023-10-13 02:10:23 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2023-10-13 02:14:35 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Quit: quit) |
| 2023-10-13 02:36:19 +0200 | dtman34 | (~dtman34@c-76-156-89-180.hsd1.mn.comcast.net) (Ping timeout: 255 seconds) |
| 2023-10-13 02:39:28 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2023-10-13 02:46:39 +0200 | <EvanR> | The equivalence f x = y <=> f = \x -> y is only valid if there is exactly one function which solves the first equation. -- wikipedia on curry's paradox |
| 2023-10-13 02:53:48 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2023-10-13 02:54:46 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-10-13 03:04:21 +0200 | <geekosaur> | is this supposed to be a problem? (only 0 or 1 such may exist in a given Haskell program) |
| 2023-10-13 03:05:16 +0200 | xff0x | (~xff0x@2405:6580:b080:900:48d1:b80:5bf6:f420) (Ping timeout: 252 seconds) |
| 2023-10-13 03:05:21 +0200 | <geekosaur> | (and it's not relevant if there are zero) |
| 2023-10-13 03:05:25 +0200 | <EvanR> | yeah I'm not sure it makes sense. They give square root as a counter example but it doesn't seem to type check |
| 2023-10-13 03:05:39 +0200 | xff0x | (~xff0x@ai101218.d.east.v6connect.net) |
| 2023-10-13 03:06:07 +0200 | <EvanR> | squared x = y doesn't lead to two functions |
| 2023-10-13 03:07:44 +0200 | <geekosaur> | but the other side does because it can be satisfied by x and -x |
| 2023-10-13 03:08:41 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-10-13 03:09:13 +0200 | <geekosaur> | did you manage to get in touch with int-e re lambdabot? |
| 2023-10-13 03:10:37 +0200 | zero | yin |
| 2023-10-13 03:10:49 +0200 | <EvanR> | lambdabot seems to be working, was I supposed to contact int-e about something |
| 2023-10-13 03:10:58 +0200 | <geekosaur> | no, lisbeths was |
| 2023-10-13 03:11:55 +0200 | <lisbeths> | pls we has no bot |
| 2023-10-13 03:12:37 +0200 | <geekosaur> | @ask int-e lisbeths would like lambdabot to join #lambdacalculus |
| 2023-10-13 03:12:37 +0200 | <lambdabot> | Consider it noted. |
| 2023-10-13 03:19:18 +0200 | otto_s | (~user@p5b044ce8.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2023-10-13 03:20:01 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-10-13 03:20:01 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-10-13 03:20:01 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-10-13 03:21:08 +0200 | otto_s | (~user@p5de2f441.dip0.t-ipconnect.de) |
| 2023-10-13 03:21:49 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2023-10-13 03:26:04 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2023-10-13 03:27:48 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Quit: Leaving) |
| 2023-10-13 03:27:51 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-10-13 03:29:17 +0200 | waleee | (~waleee@2001:9b0:21c:e600:f2f3:f744:435d:137c) (Ping timeout: 260 seconds) |
| 2023-10-13 03:30:11 +0200 | waleee | (~waleee@2001:9b0:21c:e600:f2f3:f744:435d:137c) |
| 2023-10-13 03:33:37 +0200 | _________ | (~nobody@user/noodly) (Ping timeout: 255 seconds) |
| 2023-10-13 03:34:10 +0200 | thyriaen | (~thyriaen@2a01:aea0:dd4:7157:6245:cbff:fe9f:48b1) (Quit: Leaving) |
| 2023-10-13 03:39:33 +0200 | kaskal- | (~kaskal@2001:4bb8:2c2:d155:91d2:a4ad:c9f9:5f9a) |
| 2023-10-13 03:39:55 +0200 | waleee | (~waleee@2001:9b0:21c:e600:f2f3:f744:435d:137c) (Ping timeout: 252 seconds) |
| 2023-10-13 03:40:32 +0200 | kaskal | (~kaskal@089144221019.atnat0030.highway.webapn.at) (Ping timeout: 255 seconds) |
| 2023-10-13 03:44:28 +0200 | Square3 | (~Square4@user/square) |
| 2023-10-13 03:47:11 +0200 | Square | (~Square@user/square) (Ping timeout: 255 seconds) |
| 2023-10-13 04:10:12 +0200 | waleee | (~waleee@2001:9b0:21c:e600:f2f3:f744:435d:137c) |
| 2023-10-13 04:16:54 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-10-13 04:17:39 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Quit: WeeChat 4.0.5) |
| 2023-10-13 04:24:10 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e08f:f595:f5d4:b57f) (Remote host closed the connection) |
| 2023-10-13 04:24:24 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e08f:f595:f5d4:b57f) |
| 2023-10-13 04:41:14 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-10-13 04:41:14 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-10-13 04:41:14 +0200 | finn_elija | FinnElija |
| 2023-10-13 04:42:21 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-10-13 04:45:10 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 2023-10-13 04:46:40 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-10-13 04:46:40 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-10-13 04:46:40 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-10-13 04:47:15 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-10-13 04:49:00 +0200 | xff0x | (~xff0x@ai101218.d.east.v6connect.net) (Ping timeout: 258 seconds) |
| 2023-10-13 04:54:20 +0200 | td_ | (~td@83.135.9.0) (Ping timeout: 255 seconds) |
| 2023-10-13 04:56:14 +0200 | td_ | (~td@i53870911.versanet.de) |
| 2023-10-13 04:59:32 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-13 05:00:14 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-10-13 05:04:56 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-13 05:05:18 +0200 | sabino | (~sabino@user/sabino) (Quit: Lambda _ -> x) |
| 2023-10-13 05:08:28 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 252 seconds) |
| 2023-10-13 05:13:11 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-13 05:14:11 +0200 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 260 seconds) |
| 2023-10-13 05:14:56 +0200 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 2023-10-13 05:15:31 +0200 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) |
| 2023-10-13 05:17:49 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-10-13 05:20:19 +0200 | angelore | (~u0_a291@37.214.56.114) |
| 2023-10-13 05:20:58 +0200 | cpressey | (~cpressey@host-2-102-82-205.as13285.net) (Ping timeout: 245 seconds) |
| 2023-10-13 05:37:02 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-10-13 05:39:24 +0200 | migas4 | (~migas@astra4961.startdedicated.net) |
| 2023-10-13 05:39:31 +0200 | migas | (~migas@astra4961.startdedicated.net) (Read error: Connection reset by peer) |
| 2023-10-13 05:39:31 +0200 | migas4 | migas |
| 2023-10-13 05:40:14 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 2023-10-13 05:42:23 +0200 | aforemny | (~aforemny@2001:9e8:6cf2:3b00:b450:922f:4e53:8c55) (Ping timeout: 255 seconds) |
| 2023-10-13 05:42:46 +0200 | aforemny | (~aforemny@2001:9e8:6cd6:7400:b7d3:7ab0:b698:3db3) |
| 2023-10-13 05:44:17 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2023-10-13 05:45:40 +0200 | shapr | (~user@2600:1700:c640:3100:b619:36b:df80:3ea0) (Remote host closed the connection) |
| 2023-10-13 05:45:49 +0200 | dtman34 | (~dtman34@c-76-156-89-180.hsd1.mn.comcast.net) |
| 2023-10-13 05:45:53 +0200 | shapr | (~user@2600:1700:c640:3100:1bba:13eb:be6:2bb9) |
| 2023-10-13 05:46:14 +0200 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-10-13 05:51:55 +0200 | waleee | (~waleee@2001:9b0:21c:e600:f2f3:f744:435d:137c) (Ping timeout: 252 seconds) |
| 2023-10-13 05:59:41 +0200 | angelore | (~u0_a291@37.214.56.114) (Quit: WeeChat 4.0.5) |
| 2023-10-13 06:06:46 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-10-13 06:14:32 +0200 | pavonia_ | (~user@user/siracusa) |
| 2023-10-13 06:15:40 +0200 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2023-10-13 06:15:56 +0200 | pavonia_ | pavonia |
| 2023-10-13 06:25:28 +0200 | _________ | (~nobody@user/noodly) |
| 2023-10-13 06:34:14 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 245 seconds) |
| 2023-10-13 06:45:46 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-13 06:48:34 +0200 | bilegeek_ | (~bilegeek@2600:1008:b0ad:12bd:96ec:644e:d052:37ec) |
| 2023-10-13 06:51:01 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 2023-10-13 06:51:17 +0200 | bilegeek | (~bilegeek@2600:1008:b0ad:12bd:96ec:644e:d052:37ec) (Ping timeout: 258 seconds) |
| 2023-10-13 06:54:02 +0200 | foul_owl | (~kerry@185.216.231.181) (Ping timeout: 255 seconds) |
| 2023-10-13 06:57:52 +0200 | foul_owl | (~kerry@174-21-66-189.tukw.qwest.net) |
| 2023-10-13 06:58:57 +0200 | vglfr | (~vglfr@88.155.190.13) |
| 2023-10-13 06:59:12 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-13 07:00:13 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-10-13 07:01:49 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-13 07:07:05 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-10-13 07:18:20 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-10-13 07:24:55 +0200 | foul_owl | (~kerry@174-21-66-189.tukw.qwest.net) (Ping timeout: 264 seconds) |
| 2023-10-13 07:27:05 +0200 | CiaoSen | (~Jura@2a05:5800:282:7b00:664b:f0ff:fe37:9ef) |
| 2023-10-13 07:29:27 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-10-13 07:29:31 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2023-10-13 07:30:11 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-10-13 07:30:50 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2023-10-13 07:33:11 +0200 | acidjnk | (~acidjnk@p200300d6e7072f666428f14fa4abdd8b.dip0.t-ipconnect.de) |
| 2023-10-13 07:34:34 +0200 | kantokuen | (~kantokuen@user/kantokuen) (Remote host closed the connection) |
| 2023-10-13 07:35:15 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2023-10-13 07:37:09 +0200 | vglfr | (~vglfr@88.155.190.13) (Read error: Connection reset by peer) |
| 2023-10-13 07:37:30 +0200 | vglfr | (vglfr@gateway/vpn/protonvpn/vglfr) |
| 2023-10-13 07:38:06 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2023-10-13 07:38:57 +0200 | foul_owl | (~kerry@157.97.134.166) |
| 2023-10-13 07:47:59 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-10-13 07:48:02 +0200 | vglfr | (vglfr@gateway/vpn/protonvpn/vglfr) (Ping timeout: 246 seconds) |
| 2023-10-13 07:49:24 +0200 | xdej | (~xdej@quatramaran.salle-s.org) (Remote host closed the connection) |
| 2023-10-13 07:49:34 +0200 | kantokuen | (~kantokuen@user/kantokuen) |
| 2023-10-13 07:51:18 +0200 | vglfr | (~vglfr@88.155.190.13) |
| 2023-10-13 08:05:11 +0200 | harveypwca | (~harveypwc@2601:246:c280:6a90:837d:db39:3eea:f7db) |
| 2023-10-13 08:20:56 +0200 | myme | (~myme@2a01:799:d60:e400:4d89:c3c5:a1f:1014) (Quit: WeeChat 3.8) |
| 2023-10-13 08:27:09 +0200 | simendsjo | (~user@84.211.91.241) |
| 2023-10-13 08:28:53 +0200 | ft | (~ft@p3e9bc680.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-10-13 08:33:54 +0200 | cpressey | (~cpressey@host-2-102-82-205.as13285.net) |
| 2023-10-13 08:34:09 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-10-13 08:40:46 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:e449:33b4:e883:901b) |
| 2023-10-13 08:42:50 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2023-10-13 08:43:58 +0200 | euleritian | (~euleritia@dynamic-046-114-206-104.46.114.pool.telefonica.de) |
| 2023-10-13 08:46:22 +0200 | Nosrep | (~Nosrep@user/nosrep) (Ping timeout: 255 seconds) |
| 2023-10-13 08:49:53 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-10-13 08:59:15 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2023-10-13 09:06:17 +0200 | xdej | (~xdej@quatramaran.salle-s.org) |
| 2023-10-13 09:06:59 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 2023-10-13 09:11:56 +0200 | rgw | (~R@2605:a601:a0df:5600:6e:28bc:4499:64c5) (Quit: rgw) |
| 2023-10-13 09:14:43 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-13 09:17:22 +0200 | euleritian | (~euleritia@dynamic-046-114-206-104.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-13 09:17:40 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-13 09:19:52 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2023-10-13 09:20:37 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2023-10-13 09:22:26 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
| 2023-10-13 09:26:03 +0200 | _xor3 | (~xor@72.49.199.93) |
| 2023-10-13 09:26:13 +0200 | _xor | (~xor@ip-50-5-233-250.dynamic.fuse.net) (Killed (NickServ (GHOST command used by _xor3!~xor@72.49.199.93))) |
| 2023-10-13 09:26:17 +0200 | _xor3 | _xor |
| 2023-10-13 09:29:16 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-10-13 09:31:44 +0200 | vpan | (~vpan@212.117.1.172) |
| 2023-10-13 09:36:05 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-10-13 09:52:24 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.5) |
| 2023-10-13 09:56:38 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-10-13 09:57:16 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-10-13 10:01:05 +0200 | danza | (~francesco@151.37.184.162) |
| 2023-10-13 10:02:32 +0200 | Jackneill | (~Jackneill@20014C4E1E021C0049C6FB28ABA15FDF.dsl.pool.telekom.hu) |
| 2023-10-13 10:10:28 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-10-13 10:12:22 +0200 | danza | (~francesco@151.37.184.162) (Read error: Connection reset by peer) |
| 2023-10-13 10:13:17 +0200 | danza | (~francesco@151.35.166.105) |
| 2023-10-13 10:15:11 +0200 | flocks_ | flocks |
| 2023-10-13 10:20:07 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-10-13 10:22:05 +0200 | bilegeek__ | (~bilegeek@2600:1008:b0ad:12bd:96ec:644e:d052:37ec) |
| 2023-10-13 10:24:31 +0200 | bilegeek_ | (~bilegeek@2600:1008:b0ad:12bd:96ec:644e:d052:37ec) (Ping timeout: 260 seconds) |
| 2023-10-13 10:24:46 +0200 | danza | (~francesco@151.35.166.105) (Ping timeout: 255 seconds) |
| 2023-10-13 10:25:30 +0200 | harveypwca | (~harveypwc@2601:246:c280:6a90:837d:db39:3eea:f7db) (Quit: Leaving) |
| 2023-10-13 10:32:25 +0200 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) |
| 2023-10-13 10:37:08 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-13 10:39:04 +0200 | chele | (~chele@user/chele) |
| 2023-10-13 10:48:20 +0200 | sabino | (~sabino@user/sabino) |
| 2023-10-13 10:58:40 +0200 | danse-nr3 | (~francesco@151.35.166.105) |
| 2023-10-13 10:59:52 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-10-13 11:06:48 +0200 | mmhat | (~mmh@p200300f1c73a95edee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-10-13 11:06:55 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2023-10-13 11:06:57 +0200 | mmhat | (~mmh@p200300f1c73a95edee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-10-13 11:07:07 +0200 | <ncf> | EvanR: i guess it's weird because it seems to imply that x is a variable by using it as a binder, but in that case the solution λ x. y is obviously unique (an agda developer would say that the equation f x = y is in the pattern fragment of higher order unification) |
| 2023-10-13 11:08:51 +0200 | <ncf> | or maybe it's intending that f can appear in y, or something? |
| 2023-10-13 11:08:59 +0200 | Square3 | (~Square4@user/square) (Remote host closed the connection) |
| 2023-10-13 11:09:40 +0200 | Square3 | (~Square4@user/square) |
| 2023-10-13 11:10:25 +0200 | bilegeek__ | (~bilegeek@2600:1008:b0ad:12bd:96ec:644e:d052:37ec) (Quit: Leaving) |
| 2023-10-13 11:13:07 +0200 | vpan | (~vpan@212.117.1.172) (Ping timeout: 252 seconds) |
| 2023-10-13 11:13:16 +0200 | <tomsmeding> | I mean, in Haskell f can also appear in y if you write f = \x -> y |
| 2023-10-13 11:15:22 +0200 | shapr | (~user@2600:1700:c640:3100:1bba:13eb:be6:2bb9) (Remote host closed the connection) |
| 2023-10-13 11:15:35 +0200 | shapr | (~user@2600:1700:c640:3100:bfe1:f742:1b66:58fa) |
| 2023-10-13 11:15:52 +0200 | <tomsmeding> | EvanR: perhaps the point of that line on wikipedia is that x may be an arbitrary expression |
| 2023-10-13 11:16:06 +0200 | <tomsmeding> | oh no then the RHS wouldn't be syntactically valid |
| 2023-10-13 11:16:54 +0200 | <tomsmeding> | nah I claim that wikipedia line is just bogus :p |
| 2023-10-13 11:17:30 +0200 | <tomsmeding> | I can think of two things that they could have tried to write down, but neither are fully consistent with the equation's notation |
| 2023-10-13 11:19:56 +0200 | <tomsmeding> | (1. x is an arbitrary expression, not just a variable: then you can only deduce from that a definition of f if the functional equation fully determines f. But then the definition wouldn't be \x. y, because you'd have to solve the fun.eq. first. 2. the intent of 'f x = y' is that this is a _property_ of f, and not necessarily the only such property: then indeed, it can only be used to derive a |
| 2023-10-13 11:19:56 +0200 | <tomsmeding> | definition of f if no other properties are necessary to fully determine f. But then again, if '\x. y' is to make sense, then x is a variable, and 'f x = y' by construction fully determines f) |
| 2023-10-13 11:22:56 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-10-13 11:23:26 +0200 | Square3 | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2023-10-13 11:23:29 +0200 | CiaoSen | (~Jura@2a05:5800:282:7b00:664b:f0ff:fe37:9ef) (Ping timeout: 255 seconds) |
| 2023-10-13 11:24:10 +0200 | <int-e> | . o O ( sqrt = \(x^2) -> y ) |
| 2023-10-13 11:24:19 +0200 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-10-13 11:25:33 +0200 | <tomsmeding> | right, that makes no sense in the lambda calculus |
| 2023-10-13 11:25:57 +0200 | <tomsmeding> | people may say "it makes sense in some logic programming languages", fine, but the wikipedia section was about LC :p |
| 2023-10-13 11:26:05 +0200 | <int-e> | err, -> x, not -> y |
| 2023-10-13 11:26:10 +0200 | <ncf> | just add a β² rule: (λ x². y) e² → y[x/e] |
| 2023-10-13 11:26:44 +0200 | <tomsmeding> | what if I call my variable x² |
| 2023-10-13 11:27:46 +0200 | <int-e> | I mean, the sentence in that page is *valid*, it's just much less of a caveat when you restrict `x` to be a variable as the lambda calculus does... I believe you really have to consider fixed points before that becomes problematic if your idea is to model total functions. |
| 2023-10-13 11:27:57 +0200 | <int-e> | :t fix id |
| 2023-10-13 11:27:58 +0200 | <lambdabot> | a |
| 2023-10-13 11:28:27 +0200 | <int-e> | s/model/express/ |
| 2023-10-13 11:28:35 +0200 | <tomsmeding> | it... is valid, but it doesn't say anything then :p |
| 2023-10-13 11:29:09 +0200 | <int-e> | It's incongruous. Not unexpected from Wikipedia... |
| 2023-10-13 11:30:00 +0200 | <int-e> | (I imagine that if you go through the history of that section you'll find several contributors for the different paragraphs at least, not counting typo and cosmetic fixes) |
| 2023-10-13 11:37:46 +0200 | Guest33 | (~Guest33@2a12:a301:1000::20eb) |
| 2023-10-13 11:41:07 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-10-13 11:41:48 +0200 | Guest33 | (~Guest33@2a12:a301:1000::20eb) (Client Quit) |
| 2023-10-13 11:42:19 +0200 | vpan | (~vpan@212.117.1.172) |
| 2023-10-13 11:44:28 +0200 | cpressey | (~cpressey@host-2-102-82-205.as13285.net) (Quit: Client closed) |
| 2023-10-13 11:53:17 +0200 | cpressey | (~cpressey@host-2-102-83-134.as13285.net) |
| 2023-10-13 12:00:13 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-10-13 12:03:44 +0200 | RedFlamingos | (~RedFlamin@user/RedFlamingos) (Quit: RedFlamingos) |
| 2023-10-13 12:05:53 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-10-13 12:12:28 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2023-10-13 12:13:06 +0200 | driib5 | (~driib@vmi931078.contaboserver.net) |
| 2023-10-13 12:14:26 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 255 seconds) |
| 2023-10-13 12:26:17 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-10-13 12:29:34 +0200 | Vajb | (~Vajb@2001:999:400:fb4a:5fa:e213:c009:c212) (Ping timeout: 252 seconds) |
| 2023-10-13 12:29:46 +0200 | Vajb | (~Vajb@2001:999:400:fb4a:5fa:e213:c009:c212) |
| 2023-10-13 12:30:51 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e08f:f595:f5d4:b57f) (Remote host closed the connection) |
| 2023-10-13 12:30:51 +0200 | haskl | (~haskl@user/haskl) (Read error: Connection reset by peer) |
| 2023-10-13 12:30:52 +0200 | cpressey | (~cpressey@host-2-102-83-134.as13285.net) (Quit: Client closed) |
| 2023-10-13 12:33:03 +0200 | haskl | (~haskl@user/haskl) |
| 2023-10-13 12:34:36 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2023-10-13 12:38:25 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-10-13 12:39:40 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-10-13 12:41:52 +0200 | cpressey | (~cpressey@host-2-102-84-229.as13285.net) |
| 2023-10-13 12:43:22 +0200 | <mauke> | use Acme::Lvalue qw(:builtins); sqrt(my $x) = 5; say $x; |
| 2023-10-13 12:46:19 +0200 | <ncf> | is this 🦋 a lens? |
| 2023-10-13 12:48:12 +0200 | mango | (~finn@2001:861:5863:3d50:b845:51cf:16ef:2c2) |
| 2023-10-13 12:49:19 +0200 | <ncf> | > undefined & from (exponentiating 2) .~ 5 |
| 2023-10-13 12:49:20 +0200 | <lambdabot> | 25.0 |
| 2023-10-13 12:56:26 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-10-13 13:02:41 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e08f:f595:f5d4:b57f) |
| 2023-10-13 13:04:31 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 264 seconds) |
| 2023-10-13 13:06:22 +0200 | ghoulguy | (g@libera/staff/glguy) (Read error: Connection reset by peer) |
| 2023-10-13 13:06:36 +0200 | glguy | (g@libera/staff/glguy) |
| 2023-10-13 13:07:01 +0200 | g | (g@libera/staff/glguy) (Read error: Connection reset by peer) |
| 2023-10-13 13:07:08 +0200 | g | (g@libera/staff/glguy) |
| 2023-10-13 13:09:19 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2023-10-13 13:10:00 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-13 13:12:34 +0200 | barzo | (~hd@31.223.56.222) |
| 2023-10-13 13:16:13 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-13 13:19:19 +0200 | xff0x | (~xff0x@2405:6580:b080:900:da3e:b908:c3c0:e808) |
| 2023-10-13 13:19:42 +0200 | elkcl_ | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) |
| 2023-10-13 13:20:06 +0200 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 260 seconds) |
| 2023-10-13 13:20:06 +0200 | elkcl_ | elkcl |
| 2023-10-13 13:21:19 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 2023-10-13 13:22:26 +0200 | danse-nr3 | (~francesco@151.35.166.105) (Ping timeout: 272 seconds) |
| 2023-10-13 13:23:11 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Ping timeout: 255 seconds) |
| 2023-10-13 13:23:54 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-10-13 13:28:08 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-10-13 13:36:14 +0200 | waleee | (~waleee@2001:9b0:21c:e600:f2f3:f744:435d:137c) |
| 2023-10-13 13:38:57 +0200 | kuribas | (~user@2a02:1808:84:d93a:b256:65ba:de56:cc18) |
| 2023-10-13 13:47:35 +0200 | mango | (~finn@2001:861:5863:3d50:b845:51cf:16ef:2c2) (Ping timeout: 258 seconds) |
| 2023-10-13 13:51:17 +0200 | Sciencentistguy0 | (~sciencent@hacksoc/ordinary-member) |
| 2023-10-13 13:51:19 +0200 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 264 seconds) |
| 2023-10-13 13:51:36 +0200 | cpressey | (~cpressey@host-2-102-84-229.as13285.net) (Quit: Client closed) |
| 2023-10-13 13:51:45 +0200 | wagle | (~wagle@quassel.wagle.io) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2023-10-13 13:52:17 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Quit: WeeChat 4.0.5) |
| 2023-10-13 13:52:39 +0200 | wagle | (~wagle@quassel.wagle.io) |
| 2023-10-13 13:53:42 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 255 seconds) |
| 2023-10-13 13:53:43 +0200 | Sciencentistguy0 | Sciencentistguy |
| 2023-10-13 13:57:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-10-13 13:58:05 +0200 | vglfr | (~vglfr@88.155.190.13) (Remote host closed the connection) |
| 2023-10-13 13:58:52 +0200 | vglfr | (~vglfr@88.155.190.13) |
| 2023-10-13 13:59:35 +0200 | cpressey | (~cpressey@host-2-102-87-108.as13285.net) |
| 2023-10-13 14:00:09 +0200 | kuribas` | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-10-13 14:01:00 +0200 | wagle | (~wagle@quassel.wagle.io) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2023-10-13 14:01:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-10-13 14:01:17 +0200 | wagle | (~wagle@quassel.wagle.io) |
| 2023-10-13 14:01:17 +0200 | wagle | (~wagle@quassel.wagle.io) (Client Quit) |
| 2023-10-13 14:01:46 +0200 | kuribas | (~user@2a02:1808:84:d93a:b256:65ba:de56:cc18) (Ping timeout: 258 seconds) |
| 2023-10-13 14:02:11 +0200 | wagle | (~wagle@quassel.wagle.io) |
| 2023-10-13 14:05:29 +0200 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) |
| 2023-10-13 14:14:37 +0200 | xff0x | (~xff0x@2405:6580:b080:900:da3e:b908:c3c0:e808) (Ping timeout: 252 seconds) |
| 2023-10-13 14:16:39 +0200 | xff0x | (~xff0x@ai101218.d.east.v6connect.net) |
| 2023-10-13 14:19:44 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-10-13 14:22:52 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-10-13 14:28:11 +0200 | waleee | (~waleee@2001:9b0:21c:e600:f2f3:f744:435d:137c) (Quit: WeeChat 4.0.2) |
| 2023-10-13 14:30:37 +0200 | danse-nr3 | (~francesco@151.37.137.208) |
| 2023-10-13 14:31:07 +0200 | waleee | (~waleee@2001:9b0:21c:e600:f2f3:f744:435d:137c) |
| 2023-10-13 14:36:16 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2023-10-13 14:38:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-10-13 14:39:11 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 252 seconds) |
| 2023-10-13 14:39:20 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Ping timeout: 255 seconds) |
| 2023-10-13 14:39:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-10-13 14:44:09 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-10-13 14:47:23 +0200 | waleee | (~waleee@2001:9b0:21c:e600:f2f3:f744:435d:137c) (Ping timeout: 258 seconds) |
| 2023-10-13 14:54:47 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-10-13 14:54:51 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-10-13 14:56:53 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 255 seconds) |
| 2023-10-13 15:02:51 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2023-10-13 15:03:13 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Quit: WeeChat 4.0.5) |
| 2023-10-13 15:03:24 +0200 | euleritian | (~euleritia@dynamic-046-114-207-152.46.114.pool.telefonica.de) |
| 2023-10-13 15:05:11 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 2023-10-13 15:07:43 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-10-13 15:16:37 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2023-10-13 15:19:51 +0200 | waleee | (~waleee@2001:9b0:21c:e600:f2f3:f744:435d:137c) |
| 2023-10-13 15:20:42 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-10-13 15:21:57 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-10-13 15:25:23 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 252 seconds) |
| 2023-10-13 15:27:09 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 245 seconds) |
| 2023-10-13 15:27:34 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 245 seconds) |
| 2023-10-13 15:32:30 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-10-13 15:32:45 +0200 | chele | (~chele@user/chele) |
| 2023-10-13 15:34:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-10-13 15:34:21 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-10-13 15:42:51 +0200 | kuribas` | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2023-10-13 15:42:59 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 2023-10-13 15:45:27 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2023-10-13 15:46:56 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-10-13 15:46:57 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-10-13 15:46:57 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-10-13 15:56:38 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2023-10-13 15:56:58 +0200 | cpressey | (~cpressey@host-2-102-87-108.as13285.net) (Quit: Client closed) |
| 2023-10-13 15:58:53 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-10-13 15:59:37 +0200 | cpressey | (~cpressey@host-2-102-87-108.as13285.net) |
| 2023-10-13 16:03:18 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e08f:f595:f5d4:b57f) (Remote host closed the connection) |
| 2023-10-13 16:03:27 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-10-13 16:03:34 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e08f:f595:f5d4:b57f) |
| 2023-10-13 16:05:34 +0200 | Guest18 | (~Guest38@ip4d14203b.dynamic.kabel-deutschland.de) |
| 2023-10-13 16:06:42 +0200 | CiaoSen | (~Jura@2a05:5800:282:7b00:664b:f0ff:fe37:9ef) |
| 2023-10-13 16:07:21 +0200 | Guest18 | (~Guest38@ip4d14203b.dynamic.kabel-deutschland.de) (Client Quit) |
| 2023-10-13 16:10:20 +0200 | mango | (~finn@2001:861:5863:3d50:806e:88a3:2fbf:9158) |
| 2023-10-13 16:13:38 +0200 | jrm | (~jrm@user/jrm) (Ping timeout: 258 seconds) |
| 2023-10-13 16:21:50 +0200 | acidjnk | (~acidjnk@p200300d6e7072f666428f14fa4abdd8b.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2023-10-13 16:22:57 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e08f:f595:f5d4:b57f) (Remote host closed the connection) |
| 2023-10-13 16:23:23 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e08f:f595:f5d4:b57f) |
| 2023-10-13 16:23:31 +0200 | euleritian | (~euleritia@dynamic-046-114-207-152.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-13 16:23:49 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2023-10-13 16:24:14 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e08f:f595:f5d4:b57f) (Remote host closed the connection) |
| 2023-10-13 16:25:40 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Ping timeout: 255 seconds) |
| 2023-10-13 16:29:22 +0200 | dgnl^ | (~cd@76.145.193.217) |
| 2023-10-13 16:32:47 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-10-13 16:33:53 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-10-13 16:36:34 +0200 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-10-13 16:38:08 +0200 | AlexNoo_ | (~AlexNoo@94.233.241.173) |
| 2023-10-13 16:38:58 +0200 | apache_ | (apache2@anubis.0x90.dk) |
| 2023-10-13 16:39:07 +0200 | AlexNoo | (~AlexNoo@94.233.241.173) (Read error: Connection reset by peer) |
| 2023-10-13 16:39:44 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2023-10-13 16:40:00 +0200 | acidjnk | (~acidjnk@p200300d6e7072f66fdc2fee6a7217a34.dip0.t-ipconnect.de) |
| 2023-10-13 16:40:02 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2023-10-13 16:40:17 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 2023-10-13 16:40:26 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-13 16:41:56 +0200 | apache2 | (apache2@anubis.0x90.dk) (Ping timeout: 272 seconds) |
| 2023-10-13 16:42:56 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-10-13 16:45:14 +0200 | waleee | (~waleee@2001:9b0:21c:e600:f2f3:f744:435d:137c) (Ping timeout: 255 seconds) |
| 2023-10-13 16:48:35 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-10-13 16:50:49 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 258 seconds) |
| 2023-10-13 16:54:10 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 255 seconds) |
| 2023-10-13 16:54:13 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-10-13 16:57:15 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-13 17:01:40 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e08f:f595:f5d4:b57f) |
| 2023-10-13 17:01:49 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2023-10-13 17:03:15 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-10-13 17:07:31 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:e449:33b4:e883:901b) (Ping timeout: 264 seconds) |
| 2023-10-13 17:08:15 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-10-13 17:09:06 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-10-13 17:09:24 +0200 | jrm | (~jrm@user/jrm) |
| 2023-10-13 17:11:00 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-10-13 17:11:10 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 252 seconds) |
| 2023-10-13 17:16:11 +0200 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::708) |
| 2023-10-13 17:17:45 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-13 17:18:19 +0200 | danse-nr3 | (~francesco@151.37.137.208) (Ping timeout: 252 seconds) |
| 2023-10-13 17:21:19 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2023-10-13 17:21:46 +0200 | euleritian | (~euleritia@dynamic-046-114-207-152.46.114.pool.telefonica.de) |
| 2023-10-13 17:22:38 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 258 seconds) |
| 2023-10-13 17:23:24 +0200 | mango | (~finn@2001:861:5863:3d50:806e:88a3:2fbf:9158) (Ping timeout: 245 seconds) |
| 2023-10-13 17:26:53 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-10-13 17:27:00 +0200 | euleritian | (~euleritia@dynamic-046-114-207-152.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-13 17:27:08 +0200 | danse-nr3 | (~francesco@151.37.137.208) |
| 2023-10-13 17:27:18 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-13 17:28:07 +0200 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2023-10-13 17:28:22 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.0.4) |
| 2023-10-13 17:30:50 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-10-13 17:33:04 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2023-10-13 17:37:04 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-10-13 17:43:33 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Quit: WeeChat 4.0.5) |
| 2023-10-13 17:46:55 +0200 | edr | (~edr@user/edr) |
| 2023-10-13 17:50:01 +0200 | ft | (~ft@p3e9bc680.dip0.t-ipconnect.de) |
| 2023-10-13 17:54:24 +0200 | Cale | (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) |
| 2023-10-13 18:00:06 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-10-13 18:00:24 +0200 | thegeekinside | (~thegeekin@189.217.90.224) (Remote host closed the connection) |
| 2023-10-13 18:01:51 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-13 18:02:06 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-13 18:02:09 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-10-13 18:06:28 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2023-10-13 18:06:44 +0200 | CiaoSen | (~Jura@2a05:5800:282:7b00:664b:f0ff:fe37:9ef) (Ping timeout: 245 seconds) |
| 2023-10-13 18:07:24 +0200 | cpressey | (~cpressey@host-2-102-87-108.as13285.net) (Quit: Client closed) |
| 2023-10-13 18:07:55 +0200 | euleritian | (~euleritia@dynamic-046-114-207-152.46.114.pool.telefonica.de) |
| 2023-10-13 18:08:12 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-10-13 18:10:17 +0200 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2023-10-13 18:11:03 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-10-13 18:12:38 +0200 | cpressey | (~cpressey@host-2-102-87-108.as13285.net) |
| 2023-10-13 18:13:39 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-10-13 18:18:24 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Ping timeout: 245 seconds) |
| 2023-10-13 18:19:27 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2023-10-13 18:22:39 +0200 | danse-nr3_ | (~francesco@151.37.129.47) |
| 2023-10-13 18:23:12 +0200 | danse-nr3 | (~francesco@151.37.137.208) (Read error: Connection reset by peer) |
| 2023-10-13 18:26:21 +0200 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2023-10-13 18:26:21 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Killed (erbium.libera.chat (Nickname regained by services))) |
| 2023-10-13 18:26:21 +0200 | Feuermagier_ | Feuermagier |
| 2023-10-13 18:31:15 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 258 seconds) |
| 2023-10-13 18:31:18 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-10-13 18:31:34 +0200 | cpressey | (~cpressey@host-2-102-87-108.as13285.net) (Quit: Client closed) |
| 2023-10-13 18:34:01 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 2023-10-13 18:35:55 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-10-13 18:36:54 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-10-13 18:38:58 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e08f:f595:f5d4:b57f) (Remote host closed the connection) |
| 2023-10-13 18:39:14 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e08f:f595:f5d4:b57f) |
| 2023-10-13 18:40:27 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 2023-10-13 18:42:57 +0200 | thegeekinside | (~thegeekin@189.217.90.224) |
| 2023-10-13 18:44:17 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 2023-10-13 18:46:39 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-10-13 18:47:45 +0200 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::708) (Remote host closed the connection) |
| 2023-10-13 18:49:05 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Quit: WeeChat 4.0.5) |
| 2023-10-13 18:49:18 +0200 | derpyxdhs | (~Thunderbi@user/derpyxdhs) |
| 2023-10-13 18:49:40 +0200 | stites | (~stites@130.44.147.204) (Ping timeout: 255 seconds) |
| 2023-10-13 18:49:58 +0200 | stites | (~stites@2607:fb91:de1:5076:f63e:26cf:4622:d9ad) |
| 2023-10-13 18:51:24 +0200 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) (Remote host closed the connection) |
| 2023-10-13 18:52:02 +0200 | Simikando | (~Simikando@adsl-dyn158.91-127-59.t-com.sk) |
| 2023-10-13 18:52:03 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-10-13 18:52:15 +0200 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2023-10-13 18:56:53 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e08f:f595:f5d4:b57f) (Remote host closed the connection) |
| 2023-10-13 18:57:00 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2023-10-13 18:57:04 +0200 | stites | (~stites@2607:fb91:de1:5076:f63e:26cf:4622:d9ad) (Read error: Connection reset by peer) |
| 2023-10-13 18:57:24 +0200 | stites | (~stites@130.44.147.204) |
| 2023-10-13 18:58:44 +0200 | drdo4 | (~drdo@bl14-14-49.dsl.telepac.pt) |
| 2023-10-13 18:59:45 +0200 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
| 2023-10-13 19:00:07 +0200 | Simikando | (~Simikando@adsl-dyn158.91-127-59.t-com.sk) (Remote host closed the connection) |
| 2023-10-13 19:00:28 +0200 | drdo | (~drdo@bl14-14-49.dsl.telepac.pt) (Ping timeout: 248 seconds) |
| 2023-10-13 19:00:29 +0200 | drdo4 | drdo |
| 2023-10-13 19:00:29 +0200 | Simikando | (~Simikando@adsl-dyn158.91-127-59.t-com.sk) |
| 2023-10-13 19:02:39 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2023-10-13 19:02:59 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Quit: WeeChat 4.0.5) |
| 2023-10-13 19:03:10 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-13 19:03:49 +0200 | stites | (~stites@130.44.147.204) (Ping timeout: 245 seconds) |
| 2023-10-13 19:03:59 +0200 | Simikando | (~Simikando@adsl-dyn158.91-127-59.t-com.sk) (Client Quit) |
| 2023-10-13 19:05:02 +0200 | stites | (~stites@2607:fb91:de1:5076:f63e:26cf:4622:d9ad) |
| 2023-10-13 19:05:53 +0200 | euleritian | (~euleritia@dynamic-046-114-207-152.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-13 19:05:56 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-10-13 19:06:11 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-13 19:08:52 +0200 | barzo | (~hd@31.223.56.222) (Ping timeout: 272 seconds) |
| 2023-10-13 19:11:19 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-10-13 19:11:20 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-10-13 19:11:20 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-10-13 19:13:18 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1cda:fcb5:6d38:4a3d) |
| 2023-10-13 19:20:19 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1cda:fcb5:6d38:4a3d) (Remote host closed the connection) |
| 2023-10-13 19:23:24 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2023-10-13 19:29:19 +0200 | Inst | (~Inst@120.244.192.250) |
| 2023-10-13 19:29:27 +0200 | <Inst> | ... |
| 2023-10-13 19:33:51 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2023-10-13 19:35:42 +0200 | <Cale> | ... |
| 2023-10-13 19:37:14 +0200 | <danse-nr3_> | ... |
| 2023-10-13 19:38:21 +0200 | <ncf> | :t (...) |
| 2023-10-13 19:38:21 +0200 | <geekosaur> | ... |
| 2023-10-13 19:38:22 +0200 | <lambdabot> | forall k (f :: * -> *) c s t (p :: k -> * -> *) (a :: k) b. (Applicative f, Plated c) => LensLike f s t c c -> Over p f c c a b -> Over p f s t a b |
| 2023-10-13 19:39:23 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-10-13 19:40:22 +0200 | stites | (~stites@2607:fb91:de1:5076:f63e:26cf:4622:d9ad) (Read error: Connection reset by peer) |
| 2023-10-13 19:40:41 +0200 | stites | (~stites@130.44.147.204) |
| 2023-10-13 19:41:36 +0200 | <EvanR> | … |
| 2023-10-13 19:42:46 +0200 | mango | (~finn@2001:861:5863:3d50:12c2:8d87:fb22:381f) |
| 2023-10-13 19:43:49 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2023-10-13 19:47:42 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-10-13 19:47:42 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-10-13 19:47:42 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-10-13 19:49:54 +0200 | <cheater> | any new haskell jobs around? |
| 2023-10-13 19:50:34 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-13 19:54:12 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e9bd:5819:8ed0:a709) |
| 2023-10-13 19:54:51 +0200 | <danse-nr3_> | haha good one cheater |
| 2023-10-13 19:55:18 +0200 | <cheater> | what an odd answer |
| 2023-10-13 19:55:40 +0200 | <danse-nr3_> | nice joke |
| 2023-10-13 19:56:49 +0200 | <EvanR> | I heard jane street is hiring |
| 2023-10-13 19:57:01 +0200 | <cheater> | they don't do remote |
| 2023-10-13 19:57:03 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e9bd:5819:8ed0:a709) (Remote host closed the connection) |
| 2023-10-13 19:57:15 +0200 | <EvanR> | goalpost whack-a-mole! |
| 2023-10-13 19:57:18 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e9bd:5819:8ed0:a709) |
| 2023-10-13 19:57:57 +0200 | waleee | (~waleee@2001:9b0:21c:e600:f2f3:f744:435d:137c) |
| 2023-10-13 19:58:34 +0200 | <nullie> | heh |
| 2023-10-13 19:59:03 +0200 | <monochrom> | Hey that's great lateral thinking. Rip out the goalpost and use it to whack moles. >:) |
| 2023-10-13 19:59:30 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e9bd:5819:8ed0:a709) (Remote host closed the connection) |
| 2023-10-13 19:59:48 +0200 | <haskellbridge> | <Inst> https://www.indeed.com/jobs?q=Haskell+language&l=&vjk=1d7fd376362e5074 |
| 2023-10-13 20:00:00 +0200 | <monochrom> | ObHaskell: I have just learned the equiv of hello world in wai and warp. |
| 2023-10-13 20:00:18 +0200 | <danse-nr3_> | indeed is quite bad for haskell jobs |
| 2023-10-13 20:00:58 +0200 | <monochrom> | But I am not used to pulling in and initially building that many dependencies. |
| 2023-10-13 20:01:08 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-10-13 20:02:41 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2023-10-13 20:02:42 +0200 | Inst | (~Inst@120.244.192.250) (Leaving) |
| 2023-10-13 20:02:47 +0200 | <danse-nr3_> | although thanks for the input Inst |
| 2023-10-13 20:03:47 +0200 | hiyori | (~hiyori@user/hiyori) |
| 2023-10-13 20:04:25 +0200 | <EvanR> | webtech expands to fill the computational resources allowed for it |
| 2023-10-13 20:04:35 +0200 | <monochrom> | I know it is a one-time setup cost that doesn't matter in the long run. But I am learning any web thing at all because I am giving a docker intro talk tomorrow, so I want to show a web hello-world example so that I can talk about port forwarding. |
| 2023-10-13 20:06:28 +0200 | <monochrom> | And then it becomes apparent that if I go the "use docker-build to build an image that contains the exe for running", it is not easy to avoid rebuilding all dependencies all the time. (There are mitigations, but some are probably too advanced to fit in this very intro talk.) |
| 2023-10-13 20:07:46 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-10-13 20:08:49 +0200 | <monochrom> | To be sure, that is not the only way to use docker. One can instead use the host to make the exe. (So I meant in the previous sentence using the container to make the exe. Many people in many other languages do that.) |
| 2023-10-13 20:11:51 +0200 | <danse-nr3_> | i did not practice nix enough to understand whether it could be used as a replacement for docker |
| 2023-10-13 20:12:39 +0200 | CiaoSen | (~Jura@2a05:5800:282:7b00:664b:f0ff:fe37:9ef) |
| 2023-10-13 20:13:11 +0200 | edr | (~edr@user/edr) (Quit: Leaving) |
| 2023-10-13 20:18:01 +0200 | <ddellacosta> | I use nix to generate a docker image for me at the end of build, fwiw |
| 2023-10-13 20:19:20 +0200 | <danse-nr3_> | for deployment, i guess, but the idea in docker is one would build images from other images, so possibly you are bypassing parts of it through nix |
| 2023-10-13 20:20:16 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-10-13 20:25:10 +0200 | <danse-nr3_> | uh strange, #nix is an invite-only channel |
| 2023-10-13 20:29:02 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e9bd:5819:8ed0:a709) |
| 2023-10-13 20:30:28 +0200 | <EvanR> | it's comonad, users can only come out of that channel not go in |
| 2023-10-13 20:31:32 +0200 | <danse-nr3_> | sounds like a great way to avoid success. Interesting property of comonads, i will check them out |
| 2023-10-13 20:31:46 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-10-13 20:34:04 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e9bd:5819:8ed0:a709) (Remote host closed the connection) |
| 2023-10-13 20:37:52 +0200 | <geekosaur> | isn't there a #haskell-nix? |
| 2023-10-13 20:37:55 +0200 | <yushyin> | a bit odd but nix/nixos use matrix.org for their support channels anyway |
| 2023-10-13 20:39:52 +0200 | <danse-nr3_> | #haskell-nix is desert |
| 2023-10-13 20:39:57 +0200 | <[Leary]> | The nix channel has always been #nixos, though it's unofficial. |
| 2023-10-13 20:41:15 +0200 | <danse-nr3_> | thanks |
| 2023-10-13 20:45:00 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-10-13 20:55:13 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 255 seconds) |
| 2023-10-13 21:04:44 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-10-13 21:05:20 +0200 | masterbuilder | (~masterbui@user/masterbuilder) (Remote host closed the connection) |
| 2023-10-13 21:05:46 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e9bd:5819:8ed0:a709) |
| 2023-10-13 21:06:16 +0200 | masterbuilder | (~masterbui@user/masterbuilder) |
| 2023-10-13 21:07:22 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) (Ping timeout: 255 seconds) |
| 2023-10-13 21:09:00 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:d787:4af7:2e88:d219) |
| 2023-10-13 21:09:56 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:d787:4af7:2e88:d219) (Client Quit) |
| 2023-10-13 21:10:53 +0200 | <johnw> | I think haskell-nix is for the hnix implementation |
| 2023-10-13 21:10:55 +0200 | <[exa]> | is there any existing aeson function for "patching over" the Object-ish values? |
| 2023-10-13 21:11:06 +0200 | danse-nr3_ | (~francesco@151.37.129.47) (Ping timeout: 272 seconds) |
| 2023-10-13 21:11:10 +0200 | <johnw> | funny story: although I wrote hnix, one day I went there to ask a question about IOG's haskellNix library. Hilarity ensued. |
| 2023-10-13 21:12:20 +0200 | AlexNoo_ | AlexNoo |
| 2023-10-13 21:12:44 +0200 | hiyori | (~hiyori@user/hiyori) (Quit: Client closed) |
| 2023-10-13 21:14:46 +0200 | <EvanR> | [exa], the Object in latest aeson seems to implemented as its own KeyMap type with a bunch of operations |
| 2023-10-13 21:15:44 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-10-13 21:15:55 +0200 | <EvanR> | in the old days it was a HashMap, how times have changed! |
| 2023-10-13 21:16:41 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 2023-10-13 21:18:06 +0200 | <__monty__> | johnw: More story time! |
| 2023-10-13 21:18:22 +0200 | <EvanR> | now the choice depends on a preprocessor defined constant |
| 2023-10-13 21:19:16 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-13 21:20:52 +0200 | hiyori | (~hiyori@user/hiyori) |
| 2023-10-13 21:22:25 +0200 | <[exa]> | EvanR: yeah that one has `union`...more like scanning for reasonable implementation over the whole Value business |
| 2023-10-13 21:22:42 +0200 | <[exa]> | but yeah nvm it's like 5 lines of code at this point |
| 2023-10-13 21:22:48 +0200 | <[exa]> | thanks :] |
| 2023-10-13 21:23:40 +0200 | <EvanR> | the unreasonable effectiveness of json |
| 2023-10-13 21:23:51 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-10-13 21:23:58 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-10-13 21:24:44 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-10-13 21:25:11 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-10-13 21:27:45 +0200 | Square | (~Square@user/square) |
| 2023-10-13 21:28:56 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2023-10-13 21:29:10 +0200 | <johnw> | It really lives up to the saying "Don't let the perfect be the enemy of the somewhat OK at least it's not XML with a schema" |
| 2023-10-13 21:30:15 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2023-10-13 21:31:25 +0200 | <darkling> | Having a schema is good. |
| 2023-10-13 21:31:30 +0200 | <darkling> | XML... less so. :) |
| 2023-10-13 21:34:06 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.5) |
| 2023-10-13 21:35:54 +0200 | <[exa]> | oh wow there's `lodashMerge :: Value -> Value -> Value` |
| 2023-10-13 21:37:21 +0200 | cpressey | (~cpressey@host-2-102-87-108.as13285.net) |
| 2023-10-13 21:37:30 +0200 | <EvanR> | "lodash" ? |
| 2023-10-13 21:37:56 +0200 | <[exa]> | from the javascript _ library |
| 2023-10-13 21:38:16 +0200 | <EvanR> | underscore? |
| 2023-10-13 21:38:54 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e9bd:5819:8ed0:a709) (Remote host closed the connection) |
| 2023-10-13 21:39:01 +0200 | <EvanR> | funny oblique reference |
| 2023-10-13 21:39:09 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e9bd:5819:8ed0:a709) |
| 2023-10-13 21:39:58 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-10-13 21:41:20 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Remote host closed the connection) |
| 2023-10-13 21:41:41 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-10-13 21:42:01 +0200 | bilegeek | (~bilegeek@2600:1008:b049:c9c0:75cb:b58c:fd88:3c06) |
| 2023-10-13 21:46:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-10-13 21:48:56 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2023-10-13 21:50:12 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2023-10-13 21:55:20 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e9bd:5819:8ed0:a709) (Remote host closed the connection) |
| 2023-10-13 21:57:06 +0200 | mango | (~finn@2001:861:5863:3d50:12c2:8d87:fb22:381f) (Ping timeout: 258 seconds) |
| 2023-10-13 22:00:56 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e9bd:5819:8ed0:a709) |
| 2023-10-13 22:01:34 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 252 seconds) |
| 2023-10-13 22:03:49 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Quit: WeeChat 4.0.5) |
| 2023-10-13 22:08:11 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-10-13 22:09:59 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-10-13 22:10:54 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2023-10-13 22:13:42 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2023-10-13 22:13:59 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-10-13 22:22:28 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2023-10-13 22:23:44 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2023-10-13 22:23:58 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-10-13 22:24:32 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-10-13 22:33:34 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-10-13 22:38:19 +0200 | vglfr | (~vglfr@88.155.190.13) (Read error: Connection reset by peer) |
| 2023-10-13 22:46:10 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 2023-10-13 22:51:53 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-10-13 22:52:29 +0200 | cpressey | (~cpressey@host-2-102-87-108.as13285.net) (Quit: Client closed) |
| 2023-10-13 22:52:43 +0200 | cpressey | (~cpressey@host-2-102-87-108.as13285.net) |
| 2023-10-13 22:55:13 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Quit: WeeChat 4.0.5) |
| 2023-10-13 22:56:49 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-10-13 22:58:16 +0200 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-10-13 23:02:18 +0200 | kimiamania4 | (~b4f4a2ab@user/kimiamania) (Quit: PegeLinux) |
| 2023-10-13 23:02:46 +0200 | kimiamania4 | (~b4f4a2ab@user/kimiamania) |
| 2023-10-13 23:02:57 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-10-13 23:05:22 +0200 | stites | (~stites@130.44.147.204) (Ping timeout: 252 seconds) |
| 2023-10-13 23:06:07 +0200 | stites | (~stites@2607:fb91:ded:48e3:83d8:c2d:8ba4:feb4) |
| 2023-10-13 23:08:01 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 2023-10-13 23:09:18 +0200 | hiyori | (~hiyori@user/hiyori) (Ping timeout: 245 seconds) |
| 2023-10-13 23:09:26 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-10-13 23:09:26 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-10-13 23:09:26 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-10-13 23:17:09 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-10-13 23:29:21 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-10-13 23:34:17 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-13 23:37:19 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e9bd:5819:8ed0:a709) (Remote host closed the connection) |
| 2023-10-13 23:37:42 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-10-13 23:38:00 +0200 | <jackdk> | [exa]: consider https://hackage.haskell.org/package/lens-aeson-1.2.3/docs/Data-Aeson-Lens.html |
| 2023-10-13 23:40:11 +0200 | CiaoSen | (~Jura@2a05:5800:282:7b00:664b:f0ff:fe37:9ef) (Ping timeout: 260 seconds) |
| 2023-10-13 23:41:44 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2023-10-13 23:46:11 +0200 | <ncf> | jackdk: how does that help with merging objects? |
| 2023-10-13 23:46:43 +0200 | <ncf> | i guess you mean in general |
| 2023-10-13 23:47:01 +0200 | <jackdk> | ncf: Yeah more that rather than patching one object over another |
| 2023-10-13 23:47:07 +0200 | acidjnk | (~acidjnk@p200300d6e7072f66fdc2fee6a7217a34.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2023-10-13 23:47:15 +0200 | cpressey | (~cpressey@host-2-102-87-108.as13285.net) (Quit: Client closed) |
| 2023-10-13 23:48:05 +0200 | <ncf> | i had implemented that at some point as merge (Object a) (Object b) = Object (a <> b) |
| 2023-10-13 23:49:40 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e9bd:5819:8ed0:a709) |
| 2023-10-13 23:55:54 +0200 | <jackdk> | Do you want to be replacing or appending when there's a collision at a key? |