| 2023-04-08 00:01:20 +0200 | mikess | (~sam@user/mikess) (Ping timeout: 260 seconds) |
| 2023-04-08 00:01:50 +0200 | <Umeaboy> | %autosetup -n ghc-%{version} -p0 gives me the same result. It's asking for which file to patch. |
| 2023-04-08 00:02:24 +0200 | <geekosaur> | hrm. so the spec file isn't in the top level and the path in the patch needs to change |
| 2023-04-08 00:03:26 +0200 | <geekosaur> | and I don't see a "ghc.spec" in my ghc checkout. I think that AI sold you a hill of beans |
| 2023-04-08 00:04:15 +0200 | <Umeaboy> | I believe I see the error now. What if I did this for the Patch0 line? ghc-%{version}-fix.patch |
| 2023-04-08 00:04:33 +0200 | <geekosaur> | come to think of it, patching a spec file from within a spec file sounds wrong anyway |
| 2023-04-08 00:04:59 +0200 | Cale | (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) |
| 2023-04-08 00:05:21 +0200 | <geekosaur> | what problem is this patch supposed to fix? |
| 2023-04-08 00:05:30 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-04-08 00:08:14 +0200 | <Umeaboy> | There was a file that rpmbuild couldn't find so I asked OpenAI to help me with a patch. |
| 2023-04-08 00:08:57 +0200 | <Umeaboy> | I'm now building without using the patch and so far so good, but I expect a breakage. |
| 2023-04-08 00:09:11 +0200 | <Umeaboy> | 163 of 299 built. |
| 2023-04-08 00:10:12 +0200 | <Umeaboy> | I'm building the same version that I've installed with ghcup, namely 9.2.7 when querying with ghc --version |
| 2023-04-08 00:10:15 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 250 seconds) |
| 2023-04-08 00:10:20 +0200 | <Umeaboy> | Almost done. |
| 2023-04-08 00:11:26 +0200 | <geekosaur[m]> | But you said you'd built it outside of rpmbuild? |
| 2023-04-08 00:12:16 +0200 | <geekosaur[m]> | Also I think you need a BuildDepends on a bootstrap ghc |
| 2023-04-08 00:13:05 +0200 | <geekosaur[m]> | Which has to unpack a binary distribution or you end up with a dependency loop |
| 2023-04-08 00:13:53 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-08 00:13:56 +0200 | <geekosaur[m]> | Self -bootstrapping compilers have that issue |
| 2023-04-08 00:14:34 +0200 | <Umeaboy> | Here's the error at the bottom: https://pastebin.com/MxLXEVwL |
| 2023-04-08 00:14:40 +0200 | <Umeaboy> | stage1 yes. |
| 2023-04-08 00:15:10 +0200 | <Umeaboy> | geekosaur[m]: AFAIK Mageia doesn't use BuildDepends. |
| 2023-04-08 00:15:23 +0200 | <Umeaboy> | I could be wrong though- |
| 2023-04-08 00:17:03 +0200 | <geekosaur[m]> | There are a lot of them in that spec file though |
| 2023-04-08 00:17:38 +0200 | dfg | (~dfg@user/dfg) (Quit: I hate quit messages.) |
| 2023-04-08 00:18:15 +0200 | <Umeaboy> | BuildRequires you mean? Yeah, OpenAI made the spec-file as well. I have merely edited it. |
| 2023-04-08 00:20:58 +0200 | dfg | (~dfg@dfg.rocks) |
| 2023-04-08 00:20:58 +0200 | dfg | (~dfg@dfg.rocks) (Changing host) |
| 2023-04-08 00:20:58 +0200 | dfg | (~dfg@user/dfg) |
| 2023-04-08 00:23:28 +0200 | <Umeaboy> | I think I know what the cause is. I need to move from using ./boot to ./hadrian/build |
| 2023-04-08 00:23:42 +0200 | <Umeaboy> | Building 9.6.1 now. |
| 2023-04-08 00:24:03 +0200 | <geekosaur> | sorry, yes, BuildRequires, I said it had been a while |
| 2023-04-08 00:24:41 +0200 | <geekosaur> | I think you can still use make with 9.2 but hadrian is preferred; beyond 9.2 hadrian is the only option |
| 2023-04-08 00:25:05 +0200 | <geekosaur> | anyway that error you should probably ask in #ghc about |
| 2023-04-08 00:25:25 +0200 | MajorBiscuit | (~MajorBisc@2001:1c00:2408:a400:7f99:b6d8:c8b8:dc05) (Ping timeout: 250 seconds) |
| 2023-04-08 00:25:39 +0200 | <geekosaur> | it almost makes me think something is confused about whether the interpreter (including TH) was enabled for the build |
| 2023-04-08 00:26:31 +0200 | acidjnk | (~acidjnk@p200300d6e715c406d9e68a9a5ded2776.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2023-04-08 00:26:53 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-04-08 00:37:26 +0200 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2023-04-08 00:38:11 +0200 | cheater | (~Username@user/cheater) |
| 2023-04-08 00:40:59 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) (Remote host closed the connection) |
| 2023-04-08 00:41:31 +0200 | adam_ | (~adam@2406:3400:418:d7e0:67c:16ff:fe3e:b769) |
| 2023-04-08 00:41:55 +0200 | Cale | (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2023-04-08 00:44:53 +0200 | adam_ | (~adam@2406:3400:418:d7e0:67c:16ff:fe3e:b769) (Client Quit) |
| 2023-04-08 00:45:49 +0200 | catch22 | (~catch22@2406:3400:418:d7e0:67c:16ff:fe3e:b769) |
| 2023-04-08 00:45:56 +0200 | andrewboltachev | (~andrey@178.141.217.5) (Quit: Leaving.) |
| 2023-04-08 00:47:07 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 2023-04-08 00:51:29 +0200 | Cale | (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) |
| 2023-04-08 00:52:42 +0200 | chomwitt | (~chomwitt@ppp-94-67-189-62.home.otenet.gr) (Ping timeout: 252 seconds) |
| 2023-04-08 00:55:44 +0200 | jwiegley | (~jwiegley@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
| 2023-04-08 01:00:07 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 260 seconds) |
| 2023-04-08 01:00:08 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 01:03:04 +0200 | Cale | (~cale@cpe80d04ade0a03-cm80d04ade0a01.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2023-04-08 01:03:05 +0200 | zeenk | (~zeenk@2a02:2f04:a307:2300::fba) (Quit: Konversation terminated!) |
| 2023-04-08 01:03:07 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-177-022.46.114.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2023-04-08 01:05:19 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 2023-04-08 01:05:54 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-04-08 01:06:14 +0200 | Guest48 | (~Guest48@2604:4080:11a5:8050:d8a3:b401:7b54:bb05) |
| 2023-04-08 01:07:24 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 255 seconds) |
| 2023-04-08 01:07:25 +0200 | mauke_ | mauke |
| 2023-04-08 01:09:51 +0200 | <Guest48> | i'm reading about simplified subsumption and this section of the proposal doesn't make sense to me: https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0287-simplify-subsumption.rst… |
| 2023-04-08 01:09:56 +0200 | <Guest48> | why would `g f` evaluate to 0? |
| 2023-04-08 01:12:40 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-04-08 01:12:49 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) |
| 2023-04-08 01:14:09 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 255 seconds) |
| 2023-04-08 01:14:47 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2023-04-08 01:16:44 +0200 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-04-08 01:17:31 +0200 | <Guest48> | `g f` diverges as expected if I don't provide type annotations for `f` and `g`, and I can validate that adding the type annotations causes `g f` to evaluate to 0 |
| 2023-04-08 01:17:48 +0200 | <Guest48> | but I'm not seeing why the higher rank type should change what it means to evaluate f to whnf at runtime |
| 2023-04-08 01:19:12 +0200 | <Guest48> | the difference between `seq` on f vs. its eta expansion is clear |
| 2023-04-08 01:21:19 +0200 | <jackdk> | I think that with deep skolemisation, that eta expansion was silently happening. So `g f` is actually `g (\x y -> f x y)` and `seq (\x y -> _|_ x y) 0` evaluates to `0` |
| 2023-04-08 01:21:34 +0200 | <Guest48> | ah! |
| 2023-04-08 01:21:37 +0200 | <jackdk> | but I'm not 100% across this |
| 2023-04-08 01:24:35 +0200 | <Guest48> | rereading, I think that is what's happening, thanks |
| 2023-04-08 01:26:16 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-04-08 01:26:27 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 265 seconds) |
| 2023-04-08 01:34:17 +0200 | <Guest48> | one thing that's not clear to me from reading https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/putting.pdf is whether the silent eta-expansion is a required implementation detail when you "float out" the foralls |
| 2023-04-08 01:34:50 +0200 | <Guest48> | that is, could you enrich the definition of subsumption at the type level (allowing you to admit additional programs) without performing the eta expansion at term level? |
| 2023-04-08 01:35:01 +0200 | phma | (~phma@2001:5b0:215d:9858:7d74:e4dd:3d68:8787) (Read error: Connection reset by peer) |
| 2023-04-08 01:35:15 +0200 | <Guest48> | the deep skolemization type rules are syntax directed, but only on type syntax, not term syntax, right? |
| 2023-04-08 01:35:29 +0200 | phma | (~phma@host-67-44-208-55.hnremote.net) |
| 2023-04-08 01:36:35 +0200 | <Guest48> | jackdk: i'm not sure if these questions are likely to get a response here, feel free to lmk if that's the case :P |
| 2023-04-08 01:38:53 +0200 | <jackdk> | I personally have no idea how to answer your questions, but I would expect that the people in other timezones would be able to help. You may also have some success on discourse.haskell.org |
| 2023-04-08 01:39:42 +0200 | <Guest48> | thanks! |
| 2023-04-08 01:43:20 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-08 01:46:16 +0200 | malte | (~malte@mal.tc) (Ping timeout: 276 seconds) |
| 2023-04-08 01:46:50 +0200 | <Umeaboy> | I'm now trying to build with the latest 9.7-start branch. |
| 2023-04-08 01:46:57 +0200 | <Umeaboy> | Lets see how that goes. |
| 2023-04-08 01:47:07 +0200 | <Umeaboy> | Nope. Same result. |
| 2023-04-08 01:47:17 +0200 | <Umeaboy> | hadrian/cfg/system.config is missing. |
| 2023-04-08 01:48:40 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2023-04-08 01:49:22 +0200 | <geekosaur> | sounds to me like you're missing a step somewhere. `./boot && ./configure && hadrian/build` |
| 2023-04-08 01:49:34 +0200 | <geekosaur> | looks to me like system.config is built by configure |
| 2023-04-08 01:51:28 +0200 | <geekosaur> | confirmed |
| 2023-04-08 01:59:39 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2023-04-08 02:00:01 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-04-08 02:01:54 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-04-08 02:02:37 +0200 | malte | (~malte@mal.tc) |
| 2023-04-08 02:03:22 +0200 | califax | (~califax@user/califx) |
| 2023-04-08 02:05:07 +0200 | vglfr | (~vglfr@88.155.38.77) (Ping timeout: 276 seconds) |
| 2023-04-08 02:06:32 +0200 | <geekosaur[m]> | Actually I missed a step: on a branch instead of a release you need to run aclocal before ./configure |
| 2023-04-08 02:23:52 +0200 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 252 seconds) |
| 2023-04-08 02:25:40 +0200 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) |
| 2023-04-08 02:25:45 +0200 | Guest48 | (~Guest48@2604:4080:11a5:8050:d8a3:b401:7b54:bb05) (Quit: Client closed) |
| 2023-04-08 02:26:24 +0200 | <Umeaboy> | geekosaur[m]: Is autoreconf still needed before ./configure? |
| 2023-04-08 02:27:06 +0200 | <geekosaur> | autoreconf is aclocal plus a few other things that aren't relevant to ghc; all you really should need is aclocal |
| 2023-04-08 02:27:24 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-04-08 02:27:50 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::708a) |
| 2023-04-08 02:31:29 +0200 | <Umeaboy> | geekosaur: Does this %build part look correct to you then? https://pastebin.com/sFEfiTDR |
| 2023-04-08 02:31:39 +0200 | lbseale | (~quassel@user/ep1ctetus) |
| 2023-04-08 02:31:54 +0200 | <geekosaur> | more to the point, autoreconf runs autoheader (unneeded), aclocal, libtoolize (unneeded), autopoint (unneeded), and configure |
| 2023-04-08 02:32:08 +0200 | <geekosaur> | er, autoconf, which should also not be needed |
| 2023-04-08 02:33:12 +0200 | <geekosaur> | uh? why are you running hadrian/build before aclocal and configure? and make afterward (make isn't even supported if you're building 9.7) |
| 2023-04-08 02:33:49 +0200 | <Umeaboy> | Okey. I'm new to porting compilers. :) |
| 2023-04-08 02:34:55 +0200 | mikess | (~sam@user/mikess) |
| 2023-04-08 02:35:46 +0200 | <geekosaur> | mm, you may need autoconf at that; been a while since I updated my checkout to the point of needing it |
| 2023-04-08 02:36:03 +0200 | <geekosaur> | so autoreconf in place of aclocal to be certain |
| 2023-04-08 02:36:48 +0200 | heraldo | (~heraldo@user/heraldo) (Ping timeout: 248 seconds) |
| 2023-04-08 02:37:46 +0200 | <geekosaur> | run hadrian/build after configure, and get rid of the make invocation because on 9.3 or later you'll get a complaint that there's no Makefile (which is correct as make is no longer supported after 9.2) |
| 2023-04-08 02:40:50 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-04-08 02:44:45 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-08 02:49:37 +0200 | qy | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) |
| 2023-04-08 02:50:08 +0200 | ix | (~ix@2a02:8012:281f:0:d65d:64ff:fe52:5efe) (Ping timeout: 248 seconds) |
| 2023-04-08 02:52:16 +0200 | mikess | (~sam@user/mikess) (Ping timeout: 248 seconds) |
| 2023-04-08 02:52:47 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Read error: Connection reset by peer) |
| 2023-04-08 02:57:25 +0200 | <geekosaur[m]> | Also I still don't see you running ./boot which you need for a build from git at least |
| 2023-04-08 02:58:11 +0200 | <geekosaur[m]> | But I'm going to bed, it's getting late here |
| 2023-04-08 03:00:13 +0200 | <Umeaboy> | Okidoki. |
| 2023-04-08 03:04:32 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-04-08 03:04:32 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-04-08 03:04:32 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-04-08 03:10:18 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-04-08 03:13:17 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-04-08 03:16:25 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-04-08 03:19:13 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 2023-04-08 03:32:26 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 03:34:09 +0200 | mikess | (~sam@user/mikess) |
| 2023-04-08 03:38:04 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 2023-04-08 03:44:38 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-08 03:49:05 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::708a) (Quit: Leaving) |
| 2023-04-08 03:49:20 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 2023-04-08 03:49:31 +0200 | dfg | (~dfg@user/dfg) (Quit: I hate quit messages.) |
| 2023-04-08 03:52:55 +0200 | nate1 | (~nate@98.45.169.16) |
| 2023-04-08 03:57:45 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 250 seconds) |
| 2023-04-08 04:04:02 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-04-08 04:04:02 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-04-08 04:04:02 +0200 | finn_elija | FinnElija |
| 2023-04-08 04:07:59 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 264 seconds) |
| 2023-04-08 04:08:09 +0200 | catch22 | (~catch22@2406:3400:418:d7e0:67c:16ff:fe3e:b769) (Ping timeout: 250 seconds) |
| 2023-04-08 04:10:35 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 04:16:15 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 260 seconds) |
| 2023-04-08 04:16:56 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-04-08 04:19:25 +0200 | td_ | (~td@i53870919.versanet.de) (Ping timeout: 250 seconds) |
| 2023-04-08 04:21:11 +0200 | td_ | (~td@i5387093E.versanet.de) |
| 2023-04-08 04:21:15 +0200 | zer0bitz_ | (~zer0bitz@2001:2003:f443:d600:8072:a2d3:32b3:1df4) |
| 2023-04-08 04:22:26 +0200 | zer0bitz | (~zer0bitz@2001:2003:f443:d600:f43c:a9e1:5195:3fd4) (Ping timeout: 252 seconds) |
| 2023-04-08 04:24:21 +0200 | talismanick | (~talismani@2601:204:ef81:1430::fbe0) |
| 2023-04-08 04:26:10 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-08 04:27:32 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-08 04:28:27 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 04:32:51 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 250 seconds) |
| 2023-04-08 04:40:46 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2023-04-08 04:45:53 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-08 04:47:01 +0200 | nate1 | (~nate@98.45.169.16) |
| 2023-04-08 05:00:24 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 05:05:00 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 255 seconds) |
| 2023-04-08 05:13:04 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 248 seconds) |
| 2023-04-08 05:17:09 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 2023-04-08 05:17:24 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-04-08 05:17:42 +0200 | tusko | (~yeurt@user/tusko) (Byeee) |
| 2023-04-08 05:18:40 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2023-04-08 05:19:25 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds) |
| 2023-04-08 05:30:08 +0200 | czy | (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection) |
| 2023-04-08 05:35:01 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 05:36:49 +0200 | mei | (~mei@user/mei) (Ping timeout: 265 seconds) |
| 2023-04-08 05:43:31 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 2023-04-08 05:49:23 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2023-04-08 05:59:05 +0200 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 250 seconds) |
| 2023-04-08 06:00:55 +0200 | xff0x | (~xff0x@178.255.149.135) |
| 2023-04-08 06:05:35 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds) |
| 2023-04-08 06:06:24 +0200 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 248 seconds) |
| 2023-04-08 06:08:13 +0200 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) |
| 2023-04-08 06:10:31 +0200 | jwiegley | (~jwiegley@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 2023-04-08 06:13:02 +0200 | mei | (~mei@user/mei) |
| 2023-04-08 06:15:43 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-08 06:32:06 +0200 | bilegeek | (~bilegeek@25.sub-174-209-32.myvzw.com) |
| 2023-04-08 06:36:27 +0200 | bilegeek | (~bilegeek@25.sub-174-209-32.myvzw.com) (Ping timeout: 248 seconds) |
| 2023-04-08 06:36:27 +0200 | fluffyballoon | (45ce440a48@2604:bf00:561:2000::e2) (Ping timeout: 248 seconds) |
| 2023-04-08 06:37:22 +0200 | bilegeek | (~bilegeek@216.sub-174-208-226.myvzw.com) |
| 2023-04-08 06:37:34 +0200 | fluffyballoon | (45ce440a48@2604:bf00:561:2000::e2) |
| 2023-04-08 06:38:54 +0200 | catch22 | (~catch22@2406:3400:418:d7e0:67c:16ff:fe3e:b769) |
| 2023-04-08 06:41:59 +0200 | bilegeek_ | (~bilegeek@37.sub-174-208-228.myvzw.com) |
| 2023-04-08 06:44:30 +0200 | bilegeek | (~bilegeek@216.sub-174-208-226.myvzw.com) (Ping timeout: 268 seconds) |
| 2023-04-08 06:48:24 +0200 | catch22_ | (~catch22@2406:3400:418:d7e0:67c:16ff:fe3e:b769) |
| 2023-04-08 06:49:03 +0200 | catch22 | (~catch22@2406:3400:418:d7e0:67c:16ff:fe3e:b769) (Read error: Connection reset by peer) |
| 2023-04-08 06:49:48 +0200 | bilegeek | (~bilegeek@177.sub-174-228-99.myvzw.com) |
| 2023-04-08 06:50:08 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 2023-04-08 06:50:46 +0200 | bilegeek_ | (~bilegeek@37.sub-174-208-228.myvzw.com) (Ping timeout: 265 seconds) |
| 2023-04-08 06:57:40 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2023-04-08 07:00:11 +0200 | bilegeek_ | (~bilegeek@73.sub-174-228-98.myvzw.com) |
| 2023-04-08 07:01:41 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-04-08 07:02:54 +0200 | bilegeek | (~bilegeek@177.sub-174-228-99.myvzw.com) (Ping timeout: 255 seconds) |
| 2023-04-08 07:03:28 +0200 | mikess | (~sam@user/mikess) (Ping timeout: 276 seconds) |
| 2023-04-08 07:06:50 +0200 | Parth | (~Parth@203.110.242.30) |
| 2023-04-08 07:07:17 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 07:07:18 +0200 | Parth | (~Parth@203.110.242.30) (Client Quit) |
| 2023-04-08 07:11:20 +0200 | Umeaboy | (~Umeaboy@94-255-145-133.cust.bredband2.com) (Quit: Leaving) |
| 2023-04-08 07:12:28 +0200 | todi | (~snuckls@p5dca57c0.dip0.t-ipconnect.de) |
| 2023-04-08 07:12:34 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 2023-04-08 07:19:39 +0200 | bilegeek_ | (~bilegeek@73.sub-174-228-98.myvzw.com) (Ping timeout: 248 seconds) |
| 2023-04-08 07:20:39 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-04-08 07:24:22 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 07:30:21 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 255 seconds) |
| 2023-04-08 07:32:04 +0200 | todi | (~snuckls@p5dca57c0.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2023-04-08 07:34:31 +0200 | mikess | (~sam@user/mikess) |
| 2023-04-08 07:36:26 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-08 07:37:43 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-08 07:39:59 +0200 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2023-04-08 07:41:19 +0200 | gawen | (~gawen@user/gawen) |
| 2023-04-08 07:42:57 +0200 | trev | (~trev@user/trev) |
| 2023-04-08 07:46:25 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-08 07:48:27 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 07:50:16 +0200 | mikess | (~sam@user/mikess) (Ping timeout: 276 seconds) |
| 2023-04-08 07:51:04 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2023-04-08 07:53:07 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 265 seconds) |
| 2023-04-08 07:53:27 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-04-08 07:55:30 +0200 | todi | (~snuckls@p5dca57c0.dip0.t-ipconnect.de) |
| 2023-04-08 07:59:15 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-177-022.46.114.pool.telefonica.de) |
| 2023-04-08 08:00:03 +0200 | todi | (~snuckls@p5dca57c0.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2023-04-08 08:01:12 +0200 | czy | (~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 2023-04-08 08:10:23 +0200 | nunggu | (~q@user/nunggu) |
| 2023-04-08 08:18:26 +0200 | kenran | (~user@user/kenran) |
| 2023-04-08 08:21:43 +0200 | mikess | (~sam@user/mikess) |
| 2023-04-08 08:28:26 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-04-08 08:30:34 +0200 | mikess | (~sam@user/mikess) (Ping timeout: 276 seconds) |
| 2023-04-08 08:35:24 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 08:37:05 +0200 | acidjnk | (~acidjnk@p200300d6e715c45269fa6b647c85025b.dip0.t-ipconnect.de) |
| 2023-04-08 08:37:25 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2023-04-08 08:39:51 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 250 seconds) |
| 2023-04-08 08:45:29 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-04-08 08:45:55 +0200 | talismanick | (~talismani@2601:204:ef81:1430::fbe0) (Remote host closed the connection) |
| 2023-04-08 08:47:00 +0200 | talismanick | (~talismani@2601:204:ef81:1430::fbe0) |
| 2023-04-08 08:47:14 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-08 08:51:57 +0200 | catch22_ | (~catch22@2406:3400:418:d7e0:67c:16ff:fe3e:b769) (Quit: Leaving) |
| 2023-04-08 09:12:29 +0200 | nunggu | (~q@user/nunggu) (Ping timeout: 255 seconds) |
| 2023-04-08 09:21:34 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds) |
| 2023-04-08 09:24:16 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 09:29:04 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 2023-04-08 09:29:22 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-04-08 09:30:11 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-04-08 09:31:15 +0200 | Inst | (~Inst@2601:6c4:4081:54f0:2db7:7969:50f2:df0c) (Ping timeout: 260 seconds) |
| 2023-04-08 09:46:12 +0200 | nate1 | (~nate@98.45.169.16) |
| 2023-04-08 09:47:23 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) (Remote host closed the connection) |
| 2023-04-08 09:48:37 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 09:51:12 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 2023-04-08 09:53:07 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-08 09:57:43 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 260 seconds) |
| 2023-04-08 09:59:54 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-04-08 10:10:05 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 10:11:14 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-04-08 10:14:44 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 265 seconds) |
| 2023-04-08 10:25:18 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 10:29:52 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 248 seconds) |
| 2023-04-08 10:36:32 +0200 | zer0bitz_ | (~zer0bitz@2001:2003:f443:d600:8072:a2d3:32b3:1df4) () |
| 2023-04-08 10:41:14 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-04-08 10:42:06 +0200 | zer0bitz | (~zer0bitz@2001:2003:f443:d600:8072:a2d3:32b3:1df4) |
| 2023-04-08 10:47:51 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) |
| 2023-04-08 10:49:28 +0200 | mechap | (~mechap@user/mechap) |
| 2023-04-08 10:50:50 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 10:52:08 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) (Ping timeout: 246 seconds) |
| 2023-04-08 10:55:31 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 2023-04-08 10:56:59 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2023-04-08 11:00:08 +0200 | cstml[m] | (~cstmmatri@2001:470:69fc:105::2:f76f) (Quit: You have been kicked for being idle) |
| 2023-04-08 11:02:11 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-04-08 11:06:30 +0200 | NiceBird | (~NiceBird@185.133.111.196) |
| 2023-04-08 11:13:20 +0200 | chomwitt | (~chomwitt@ppp-94-67-192-72.home.otenet.gr) |
| 2023-04-08 11:20:49 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 11:21:11 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 2023-04-08 11:25:47 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 265 seconds) |
| 2023-04-08 11:27:31 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-04-08 11:29:38 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-04-08 11:33:06 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Client Quit) |
| 2023-04-08 11:34:30 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-04-08 11:38:36 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-08 11:40:02 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-08 11:46:18 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-04-08 11:47:17 +0200 | califax | (~califax@user/califx) |
| 2023-04-08 11:48:59 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-04-08 11:52:05 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2023-04-08 11:52:47 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-04-08 11:53:08 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-08 11:54:02 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 2023-04-08 11:58:24 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 248 seconds) |
| 2023-04-08 11:59:01 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-04-08 12:01:16 +0200 | zeenk | (~zeenk@2a02:2f04:a307:2300::7fe) |
| 2023-04-08 12:11:38 +0200 | andrewboltachev | (~andrey@178.141.217.5) |
| 2023-04-08 12:12:03 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 12:16:33 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 255 seconds) |
| 2023-04-08 12:23:24 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2023-04-08 12:24:30 +0200 | <random-jellyfish> | how does an smt solver work? does it just translate higher level expressions to boolean expressions and feed them to a sat solver? or does it so something more complicates |
| 2023-04-08 12:24:57 +0200 | <random-jellyfish> | I'm having a hard tike reverse engineering their code... |
| 2023-04-08 12:25:02 +0200 | <random-jellyfish> | time* |
| 2023-04-08 12:25:36 +0200 | <random-jellyfish> | sorry for the typos, typing on mobile |
| 2023-04-08 12:27:49 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 2023-04-08 12:29:11 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-04-08 12:29:12 +0200 | coot | (~coot@213.134.170.228) |
| 2023-04-08 12:39:10 +0200 | <pkal> | I was just reading about that in "Handbook of Satisfiability" a few days ago. That might be a useful resource to understanding how they work. |
| 2023-04-08 12:39:58 +0200 | <pkal> | It seems the chapter can be found here: https://homepage.cs.uiowa.edu/~tinelli/papers/BarSST-09.pdf |
| 2023-04-08 12:40:44 +0200 | <probie> | I remember being loaned a good book on this (and other things related to automated theorem proving), but I can't remember the name. All I remember is that all the code examples were in ocaml. I don't suppose anyone here can identify the book based on such a vague description |
| 2023-04-08 12:40:51 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 2023-04-08 12:41:12 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2023-04-08 12:49:14 +0200 | dsrt^ | (~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) |
| 2023-04-08 12:50:08 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-04-08 12:51:40 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Quit: o/) |
| 2023-04-08 12:54:29 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) |
| 2023-04-08 12:55:42 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-177-022.46.114.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2023-04-08 12:58:40 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-04-08 13:09:26 +0200 | freemanX | (~user@203.117.163.130) (Remote host closed the connection) |
| 2023-04-08 13:19:39 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 13:22:38 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-04-08 13:22:57 +0200 | califax | (~califax@user/califx) |
| 2023-04-08 13:23:56 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-08 13:24:36 +0200 | Rembane | (~Rembane@li346-36.members.linode.com) (Read error: Connection reset by peer) |
| 2023-04-08 13:27:54 +0200 | todi | (~kalle3@p5dca57c0.dip0.t-ipconnect.de) |
| 2023-04-08 13:28:55 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 2023-04-08 13:29:35 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2023-04-08 13:30:43 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 13:35:40 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 260 seconds) |
| 2023-04-08 13:37:44 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 265 seconds) |
| 2023-04-08 13:46:34 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-04-08 13:47:40 +0200 | nate1 | (~nate@98.45.169.16) |
| 2023-04-08 13:53:04 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2023-04-08 13:59:54 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 14:01:54 +0200 | jpds2 | (~jpds@gateway/tor-sasl/jpds) |
| 2023-04-08 14:02:25 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2023-04-08 14:03:26 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2023-04-08 14:04:40 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 2023-04-08 14:08:09 +0200 | coot | (~coot@213.134.170.228) (Quit: coot) |
| 2023-04-08 14:11:53 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 14:13:18 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-177-022.46.114.pool.telefonica.de) |
| 2023-04-08 14:15:33 +0200 | vglfr | (~vglfr@46.96.169.53) |
| 2023-04-08 14:16:15 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 255 seconds) |
| 2023-04-08 14:25:13 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-08 14:30:04 +0200 | drdo | (~drdo@bl7-76-103.dsl.telepac.pt) (Ping timeout: 268 seconds) |
| 2023-04-08 14:31:47 +0200 | todi | (~kalle3@p5dca57c0.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2023-04-08 14:36:19 +0200 | vglfr | (~vglfr@46.96.169.53) (Remote host closed the connection) |
| 2023-04-08 14:36:47 +0200 | dipper | (~dipper@203.168.11.65) |
| 2023-04-08 14:36:54 +0200 | vglfr | (~vglfr@46.96.169.53) |
| 2023-04-08 14:38:03 +0200 | vglfr | (~vglfr@46.96.169.53) (Remote host closed the connection) |
| 2023-04-08 14:38:13 +0200 | <dipper> | hi how do create a api in haskell, or does it have a framework to do that, |
| 2023-04-08 14:38:38 +0200 | vglfr | (~vglfr@46.96.169.53) |
| 2023-04-08 14:39:29 +0200 | vglfr | (~vglfr@46.96.169.53) (Remote host closed the connection) |
| 2023-04-08 14:39:36 +0200 | <dipper> | like a api get user data in front-end |
| 2023-04-08 14:39:54 +0200 | vglfr | (~vglfr@46.96.169.53) |
| 2023-04-08 14:40:04 +0200 | <mauke> | you know, I really hate that "API" has somehow changed meaning from "application programmer interface" to "web application" |
| 2023-04-08 14:40:18 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 14:41:34 +0200 | vglfr | (~vglfr@46.96.169.53) (Remote host closed the connection) |
| 2023-04-08 14:42:00 +0200 | vglfr | (~vglfr@46.96.169.53) |
| 2023-04-08 14:46:55 +0200 | <probie> | mauke: It's like how REST doesn't actually mean REST any more and instead just means "using HTTP" |
| 2023-04-08 14:47:11 +0200 | <dipper> | hi mauke I know what you mean, but it doesn't matter, it just a including relationship, so I measure it |
| 2023-04-08 14:48:39 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 255 seconds) |
| 2023-04-08 14:49:45 +0200 | <dipper> | I know a Yesod , but it maybe have more choice |
| 2023-04-08 14:51:50 +0200 | <probie> | dipper: servant is very popular right now, but uses advanced type level features |
| 2023-04-08 14:52:35 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) |
| 2023-04-08 14:56:19 +0200 | <darkling> | probie: I call that "HTTP-RPC", because it's so often that, too. |
| 2023-04-08 14:56:51 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) (Ping timeout: 250 seconds) |
| 2023-04-08 14:58:19 +0200 | <dipper> | thankyou probie I'll see it |
| 2023-04-08 14:59:27 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds) |
| 2023-04-08 14:59:52 +0200 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 2023-04-08 15:01:38 +0200 | forell | (~forell@user/forell) |
| 2023-04-08 15:04:58 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-04-08 15:09:14 +0200 | jumper149 | (~jumper149@base.felixspringer.xyz) |
| 2023-04-08 15:13:00 +0200 | tan00kee | (~paul@85.red-2-141-91.dynamicip.rima-tde.net) |
| 2023-04-08 15:13:11 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-04-08 15:13:59 +0200 | tan00kee | (~paul@85.red-2-141-91.dynamicip.rima-tde.net) (Client Quit) |
| 2023-04-08 15:23:08 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-04-08 15:27:13 +0200 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
| 2023-04-08 15:28:41 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-04-08 15:37:07 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 265 seconds) |
| 2023-04-08 15:41:01 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-04-08 15:43:16 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 15:45:50 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-04-08 15:47:33 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 250 seconds) |
| 2023-04-08 15:48:36 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-04-08 15:49:31 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 248 seconds) |
| 2023-04-08 15:55:16 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-08 15:57:05 +0200 | dipper_ | (~dipper@203.168.11.65) |
| 2023-04-08 15:57:27 +0200 | dipper | (~dipper@203.168.11.65) (Ping timeout: 265 seconds) |
| 2023-04-08 16:01:55 +0200 | kenran | (~user@user/kenran) |
| 2023-04-08 16:03:02 +0200 | <jumper149> | Hi people, when do you think will there be the first frontend framework using the new JS backend? |
| 2023-04-08 16:03:24 +0200 | <jumper149> | And do you think miso and reflex will be ported? |
| 2023-04-08 16:05:51 +0200 | <dipper_> | what do you mean 'new js backend'? |
| 2023-04-08 16:08:01 +0200 | <geekosaur> | ghc 9.6.1 has javascript and wasm backends |
| 2023-04-08 16:08:02 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-04-08 16:08:18 +0200 | <geekosaur> | I suspect it'll be a while since they're both at "tech preview" status |
| 2023-04-08 16:08:32 +0200 | <geekosaur> | if you want production level, ghcjs is still the way to go |
| 2023-04-08 16:09:03 +0200 | andrewboltachev | (~andrey@178.141.217.5) (Quit: Leaving.) |
| 2023-04-08 16:09:21 +0200 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 268 seconds) |
| 2023-04-08 16:09:26 +0200 | microcao | (~microcao@192.161.60.140) |
| 2023-04-08 16:10:44 +0200 | microcao | (~microcao@192.161.60.140) (Client Quit) |
| 2023-04-08 16:11:06 +0200 | Vq | (~vq@90-227-192-206-no77.tbcn.telia.com) |
| 2023-04-08 16:14:31 +0200 | chomwitt | (~chomwitt@ppp-94-67-192-72.home.otenet.gr) (Ping timeout: 240 seconds) |
| 2023-04-08 16:19:53 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) |
| 2023-04-08 16:22:01 +0200 | pyook | (~puke@user/puke) (Remote host closed the connection) |
| 2023-04-08 16:22:06 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 16:22:18 +0200 | pyook | (~puke@user/puke) |
| 2023-04-08 16:26:33 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 250 seconds) |
| 2023-04-08 16:28:32 +0200 | o-90 | (~o-90@gateway/tor-sasl/o-90) (Ping timeout: 255 seconds) |
| 2023-04-08 16:29:00 +0200 | <maralorn> | <jumper149> "And do you think miso and reflex..." <- I guess that depends a lot on library support. |
| 2023-04-08 16:29:55 +0200 | mesaoptimizer | (apotheosis@user/PapuaHardyNet) () |
| 2023-04-08 16:30:16 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 2023-04-08 16:30:53 +0200 | <maralorn> | Stuff like jsaddle needs to support it. |
| 2023-04-08 16:31:34 +0200 | <maralorn> | reflex still hangs on ghc 8.6.5 or something? They are generally not quick on stuff like that... |
| 2023-04-08 16:31:57 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-04-08 16:35:53 +0200 | zeenk | (~zeenk@2a02:2f04:a307:2300::7fe) (Quit: Konversation terminated!) |
| 2023-04-08 16:35:59 +0200 | <jumper149> | maralorn: Well, both projects are depending on legacy versions of GHC by now. |
| 2023-04-08 16:36:19 +0200 | <jumper149> | There are no ambitions trying to write up something new, right? |
| 2023-04-08 16:37:00 +0200 | <geekosaur> | there are ambitions for reflex but they're kinda different from the ghc devs' ambitions as I understand it |
| 2023-04-08 16:37:10 +0200 | <geekosaur> | they want to rewire Arrow |
| 2023-04-08 16:37:58 +0200 | <geekosaur> | but if someone got that into ghc 9.8 I could see reflex being updated to take advantage of it |
| 2023-04-08 16:38:38 +0200 | <jumper149> | geekosaur: `Control.Arrow`? |
| 2023-04-08 16:39:13 +0200 | <geekosaur> | yes |
| 2023-04-08 16:39:56 +0200 | <jumper149> | Why don't they just use their own typeclasses? I don't understand why they would be blocked by GHC. |
| 2023-04-08 16:40:06 +0200 | <geekosaur> | they want it to become a symmetric monoidal category, and for the `arr` combinator to go away |
| 2023-04-08 16:40:35 +0200 | <geekosaur> | because they can take advantage of existing stuff instead of having to write their own versions |
| 2023-04-08 16:41:16 +0200 | <geekosaur> | (lots of people want `arr` to go away, it's like the main reason almost nobody uses Arrow) |
| 2023-04-08 16:44:14 +0200 | <geekosaur> | talk to Cale about it when he's around, he'll talk your ear off 🙂 |
| 2023-04-08 16:49:41 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-04-08 16:50:38 +0200 | <ski> | there's special syntax that ties to `Arrow' |
| 2023-04-08 16:50:52 +0200 | <geekosaur> | that too |
| 2023-04-08 16:51:17 +0200 | <geekosaur> | you really want to be able to use `proc`, but it requires you to use the standard `Arrow` |
| 2023-04-08 16:51:54 +0200 | <geekosaur> | and `-<` |
| 2023-04-08 16:53:57 +0200 | <jumper149> | If I wanted to read up on arrows, should I use "Generalising Monads to Arrows, by John Hughes"? Or is there anything else? |
| 2023-04-08 16:54:33 +0200 | <ski> | % :set -XArrows |
| 2023-04-08 16:54:34 +0200 | <yahb2> | <no output> |
| 2023-04-08 16:54:39 +0200 | <ski> | % :set -XRebindableSyntax |
| 2023-04-08 16:54:39 +0200 | <yahb2> | <no output> |
| 2023-04-08 16:54:43 +0200 | <ski> | % :t let (>>>) = flip (.); first f (x,y) = (f x,y); arr = undefined in proc x -> id -< x |
| 2023-04-08 16:54:43 +0200 | <yahb2> | let (>>>) = flip (.); first f (x,y) = (f x,y); arr = undefined in proc x -> id -< x ; :: forall {t}. t -> t |
| 2023-04-08 16:55:28 +0200 | <ski> | istr there was Ross Patterson paper ? |
| 2023-04-08 16:55:56 +0200 | <jumper149> | "A New Notation for Arrows, by Ross Paterson, in ICFP 2001, Firenze, Italy, pp229-240." |
| 2023-04-08 16:56:08 +0200 | <ski> | @where arrows |
| 2023-04-08 16:56:08 +0200 | <lambdabot> | http://www.haskell.org/arrows/ |
| 2023-04-08 16:56:12 +0200 | <jumper149> | From the Haddocks of `Control.Arrow` |
| 2023-04-08 17:02:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-04-08 17:03:57 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-04-08 17:06:51 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Read error: Connection reset by peer) |
| 2023-04-08 17:08:16 +0200 | <maralorn> | Interesting. But there is not even a ghc proposal for modifying arrow yet, is there? |
| 2023-04-08 17:14:28 +0200 | dipper_ | (~dipper@203.168.11.65) (Ping timeout: 276 seconds) |
| 2023-04-08 17:14:42 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2023-04-08 17:17:16 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 17:22:07 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 268 seconds) |
| 2023-04-08 17:22:08 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-04-08 17:23:17 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-04-08 17:26:04 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-08 17:30:32 +0200 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::a8c4) |
| 2023-04-08 17:36:37 +0200 | econo | (uid147250@user/econo) |
| 2023-04-08 17:40:35 +0200 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::a8c4) (Quit: Where is it) |
| 2023-04-08 17:45:30 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 17:45:38 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-04-08 17:49:06 +0200 | heraldo | (~heraldo@user/heraldo) |
| 2023-04-08 17:49:12 +0200 | nate1 | (~nate@98.45.169.16) |
| 2023-04-08 17:49:45 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 250 seconds) |
| 2023-04-08 17:54:23 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2023-04-08 17:58:04 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-04-08 17:59:44 +0200 | chomwitt | (~chomwitt@ppp-94-67-192-72.home.otenet.gr) |
| 2023-04-08 18:00:37 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 2023-04-08 18:02:24 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-04-08 18:05:52 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2c24:c958:e9eb:d096) |
| 2023-04-08 18:07:31 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-04-08 18:07:57 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 18:09:08 +0200 | chomwitt | (~chomwitt@ppp-94-67-192-72.home.otenet.gr) (Ping timeout: 260 seconds) |
| 2023-04-08 18:09:43 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2023-04-08 18:16:35 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 260 seconds) |
| 2023-04-08 18:16:38 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-04-08 18:26:15 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: Leaving) |
| 2023-04-08 18:36:08 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 18:40:47 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 256 seconds) |
| 2023-04-08 18:42:30 +0200 | mikess | (~sam@user/mikess) |
| 2023-04-08 18:43:04 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-08 18:44:11 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-08 18:46:24 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2023-04-08 18:49:36 +0200 | JScript | (~JScript@103.137.12.221) (Ping timeout: 248 seconds) |
| 2023-04-08 18:52:23 +0200 | JScript | (~JScript@cpe-172-193-72-46.qld.foxtel.net.au) |
| 2023-04-08 18:53:13 +0200 | smallville7123_ | (~JScript@144.48.39.29) |
| 2023-04-08 18:53:16 +0200 | smallville7123_ | (~JScript@144.48.39.29) (Max SendQ exceeded) |
| 2023-04-08 18:53:42 +0200 | smallville7123_ | (~JScript@144.48.39.29) |
| 2023-04-08 18:54:06 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-04-08 18:56:33 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-08 18:57:03 +0200 | JScript | (~JScript@cpe-172-193-72-46.qld.foxtel.net.au) (Ping timeout: 255 seconds) |
| 2023-04-08 18:59:12 +0200 | mon_aaraj | sent a hs code block: https://libera.ems.host/_matrix/media/v3/download/libera.chat/fbfe42c262829f497cafd9c8d19ceaefdd7c… |
| 2023-04-08 19:00:06 +0200 | <mon_aaraj> | s/bpa/paste/, s/st/tomsmeding.com/, s/GTJOUWWSAVYDTOT62OJDRL5HSU/uIaZKfJI/ |
| 2023-04-08 19:00:40 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 19:00:42 +0200 | chomwitt | (~chomwitt@ppp-94-67-192-72.home.otenet.gr) |
| 2023-04-08 19:01:11 +0200 | <mon_aaraj> | starting to think i should just go with debrujin indices. it's probably not going to change much but i feel it deep in my bones that my current implementation has tons of ways it could go wrong |
| 2023-04-08 19:04:17 +0200 | heraldo | (~heraldo@user/heraldo) (Ping timeout: 250 seconds) |
| 2023-04-08 19:05:04 +0200 | chomwitt | (~chomwitt@ppp-94-67-192-72.home.otenet.gr) (Ping timeout: 248 seconds) |
| 2023-04-08 19:05:28 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 265 seconds) |
| 2023-04-08 19:08:56 +0200 | dfg | (~dfg@dfg.rocks) |
| 2023-04-08 19:08:57 +0200 | dfg | (~dfg@dfg.rocks) (Changing host) |
| 2023-04-08 19:08:57 +0200 | dfg | (~dfg@user/dfg) |
| 2023-04-08 19:11:50 +0200 | heraldo | (~heraldo@user/heraldo) |
| 2023-04-08 19:14:40 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 248 seconds) |
| 2023-04-08 19:16:35 +0200 | heraldo | (~heraldo@user/heraldo) (Ping timeout: 265 seconds) |
| 2023-04-08 19:17:02 +0200 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-04-08 19:17:45 +0200 | biberu\ | (~biberu@user/biberu) |
| 2023-04-08 19:17:54 +0200 | <ski> | mon_aaraj : line 23,24 |
| 2023-04-08 19:18:13 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-04-08 19:18:29 +0200 | <ski> | also `eval' is partial |
| 2023-04-08 19:19:41 +0200 | <ski> | (and `freeVariables' is inefficient) |
| 2023-04-08 19:19:45 +0200 | arkeet` | (arkeet@moriya.ca) |
| 2023-04-08 19:20:19 +0200 | lyxia_ | (~lyxia@poisson.chat) |
| 2023-04-08 19:20:22 +0200 | danso_o | (~danso@user/danso) |
| 2023-04-08 19:20:39 +0200 | stilgart_ | (~Christoph@chezlefab.net) |
| 2023-04-08 19:21:36 +0200 | cln_ | (cln@wtf.cx) |
| 2023-04-08 19:22:36 +0200 | Midjak | (~Midjak@82.66.147.146) (Ping timeout: 255 seconds) |
| 2023-04-08 19:22:36 +0200 | arkeet | (~arkeet@moriya.ca) (Ping timeout: 255 seconds) |
| 2023-04-08 19:22:36 +0200 | [exa] | (~exa@user/exa/x-3587197) (Ping timeout: 255 seconds) |
| 2023-04-08 19:22:36 +0200 | arkeet` | arkeet |
| 2023-04-08 19:22:48 +0200 | elevenkb | (~elevenkb@105.186.233.148) |
| 2023-04-08 19:24:37 +0200 | biberu | (~biberu@user/biberu) (Ping timeout: 255 seconds) |
| 2023-04-08 19:24:37 +0200 | lyxia | (~lyxia@poisson.chat) (Ping timeout: 255 seconds) |
| 2023-04-08 19:24:37 +0200 | cln | (~cln@wtf.cx) (Ping timeout: 255 seconds) |
| 2023-04-08 19:24:37 +0200 | stilgart | (~Christoph@chezlefab.net) (Ping timeout: 255 seconds) |
| 2023-04-08 19:24:37 +0200 | danso | (~danso@user/danso) (Ping timeout: 255 seconds) |
| 2023-04-08 19:24:37 +0200 | biberu\ | biberu |
| 2023-04-08 19:24:42 +0200 | [exa] | (~exa@srv3n.blesmrt.net) |
| 2023-04-08 19:30:29 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 2023-04-08 19:33:08 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-08 19:36:07 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-07-174-95-68-142.dsl.bell.ca) |
| 2023-04-08 19:40:15 +0200 | vglfr | (~vglfr@46.96.169.53) (Ping timeout: 255 seconds) |
| 2023-04-08 19:48:57 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2023-04-08 19:49:31 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-04-08 19:50:53 +0200 | vglfr | (~vglfr@46.96.169.53) |
| 2023-04-08 19:52:08 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2023-04-08 20:05:38 +0200 | <mon_aaraj> | <ski> "ribosomerocker : line 23,24" <- what's wrong with them? |
| 2023-04-08 20:07:26 +0200 | jpds3 | (~jpds@gateway/tor-sasl/jpds) |
| 2023-04-08 20:09:29 +0200 | jpds2 | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 2023-04-08 20:15:01 +0200 | <mauke> | if var' is among the free variables of applied, you don't substitute var |
| 2023-04-08 20:15:56 +0200 | <mauke> | I'm pretty sure you're supposed to rename var' instead and then substitute var -> applied |
| 2023-04-08 20:20:08 +0200 | MajorBiscuit | (~MajorBisc@2001:1c00:2408:a400:7f99:b6d8:c8b8:dc05) |
| 2023-04-08 20:20:08 +0200 | MacSlow | (~MacSlow@213.135.13.170) |
| 2023-04-08 20:21:17 +0200 | <MacSlow> | Greetings everyone |
| 2023-04-08 20:23:56 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-04-08 20:27:16 +0200 | <ski> | (.. fwiw, i didn't actually say "ribosomerocker") |
| 2023-04-08 20:28:01 +0200 | <ski> | mon_aaraj : what mauke said |
| 2023-04-08 20:28:31 +0200 | <ski> | Saluations, MacSlow |
| 2023-04-08 20:28:58 +0200 | <mauke> | I assume the matrix bridge rewrites nicknames |
| 2023-04-08 20:29:14 +0200 | <ski> | apparently so |
| 2023-04-08 20:29:20 +0200 | <ski> | (i wasn't aware of that, before) |
| 2023-04-08 20:33:51 +0200 | vysn | (~vysn@user/vysn) |
| 2023-04-08 20:37:32 +0200 | <geekosaur> | yes |
| 2023-04-08 20:42:06 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-04-08 20:42:33 +0200 | MacSlow | (~MacSlow@213.135.13.170) (Quit: leaving) |
| 2023-04-08 20:49:25 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-04-08 20:52:17 +0200 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::d90f) |
| 2023-04-08 20:54:16 +0200 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::d90f) (Remote host closed the connection) |
| 2023-04-08 20:58:29 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 256 seconds) |
| 2023-04-08 21:00:55 +0200 | elevenkb | (~elevenkb@105.186.233.148) (Quit: Client closed) |
| 2023-04-08 21:08:30 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-04-08 21:16:22 +0200 | Tails | (~Tails@2a06:c701:4c9c:be00:76e6:43eb:a59e:1c2a) |
| 2023-04-08 21:17:26 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-04-08 21:19:07 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds) |
| 2023-04-08 21:22:13 +0200 | Tails | (~Tails@2a06:c701:4c9c:be00:76e6:43eb:a59e:1c2a) (Ping timeout: 260 seconds) |
| 2023-04-08 21:24:25 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-04-08 21:30:36 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-04-08 21:33:31 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-04-08 21:37:48 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 21:38:27 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-04-08 21:38:52 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2023-04-08 21:39:57 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-177-022.46.114.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2023-04-08 21:42:00 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-176-015.46.114.pool.telefonica.de) |
| 2023-04-08 21:43:19 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 260 seconds) |
| 2023-04-08 21:45:17 +0200 | pavonia | (~user@user/siracusa) |
| 2023-04-08 21:50:49 +0200 | nate1 | (~nate@98.45.169.16) |
| 2023-04-08 21:53:04 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-08 21:54:21 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-08 21:55:42 +0200 | nate1 | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 2023-04-08 22:03:06 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-04-08 22:06:30 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-04-08 22:12:39 +0200 | andrewboltachev | (~andrey@178.141.217.5) |
| 2023-04-08 22:17:57 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-04-08 22:19:53 +0200 | danso_o | danso |
| 2023-04-08 22:20:05 +0200 | cheater__ | (~Username@user/cheater) |
| 2023-04-08 22:20:48 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2023-04-08 22:20:51 +0200 | cheater__ | cheater |
| 2023-04-08 22:23:35 +0200 | cheater_ | (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 2023-04-08 22:33:35 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-04-08 22:33:43 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-04-08 22:34:55 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 276 seconds) |
| 2023-04-08 22:35:27 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::708a) |
| 2023-04-08 22:36:27 +0200 | TonyStone | (~TonyStone@cpe-74-76-57-186.nycap.res.rr.com) |
| 2023-04-08 22:36:54 +0200 | cheater__ | (~Username@user/cheater) |
| 2023-04-08 22:36:55 +0200 | cheater__ | cheater |
| 2023-04-08 22:37:39 +0200 | TonyStone | (~TonyStone@cpe-74-76-57-186.nycap.res.rr.com) (Remote host closed the connection) |
| 2023-04-08 22:39:04 +0200 | cheater_ | (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2023-04-08 22:40:56 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-04-08 22:41:28 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-04-08 22:47:18 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 22:47:29 +0200 | mechap | (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 2023-04-08 22:48:57 +0200 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 268 seconds) |
| 2023-04-08 22:50:19 +0200 | <Nosrep> | can i make stack only profile with manual cost centers |
| 2023-04-08 22:50:30 +0200 | <Nosrep> | --profile seems to add fprof auto or something like that |
| 2023-04-08 22:51:24 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2023-04-08 22:51:39 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-04-08 22:51:57 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 255 seconds) |
| 2023-04-08 22:58:29 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::708a) (Quit: Leaving) |
| 2023-04-08 22:58:40 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 248 seconds) |
| 2023-04-08 22:59:06 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-04-08 22:59:14 +0200 | haasn` | (~nand@haasn.dev) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2023-04-08 23:00:40 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2023-04-08 23:00:41 +0200 | cheater_ | cheater |
| 2023-04-08 23:02:51 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-04-08 23:04:12 +0200 | chomwitt | (~chomwitt@ppp-94-67-192-72.home.otenet.gr) |
| 2023-04-08 23:05:36 +0200 | <Nosrep> | hm |
| 2023-04-08 23:05:46 +0200 | <Nosrep> | -fno-prof-auto works if i add it to ghc-options during build |
| 2023-04-08 23:08:31 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Ping timeout: 240 seconds) |
| 2023-04-08 23:08:58 +0200 | MajorBiscuit | (~MajorBisc@2001:1c00:2408:a400:7f99:b6d8:c8b8:dc05) (Quit: WeeChat 3.6) |
| 2023-04-08 23:11:46 +0200 | rburkholder | (~blurb@96.45.2.121) (Remote host closed the connection) |
| 2023-04-08 23:12:09 +0200 | rburkholder | (~blurb@96.45.2.121) |
| 2023-04-08 23:21:43 +0200 | <energizer> | % [] > [1] |
| 2023-04-08 23:21:43 +0200 | <yahb2> | False |
| 2023-04-08 23:21:46 +0200 | <energizer> | why is that/ |
| 2023-04-08 23:22:40 +0200 | <c_wraith> | [] uses a lexicographic ordering where [] is the minimal element |
| 2023-04-08 23:22:43 +0200 | <energizer> | ok |
| 2023-04-08 23:23:37 +0200 | vysn | (~vysn@user/vysn) (Quit: WeeChat 3.8) |
| 2023-04-08 23:24:15 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-04-08 23:26:58 +0200 | cassiopea | (~cassiopea@user/cassiopea) |
| 2023-04-08 23:27:34 +0200 | <monochrom> | Nosrep: Yeah, if you tell stack or cabal-install "enable profiling" they add -fprof-auto by default, so if you prefer manual-only, you have to override with -fno-prof-auto. |
| 2023-04-08 23:27:54 +0200 | <c_wraith> | energizer: it's sort of necessary given that String = [Char] and standard sorting for words has things like "ant" < "ante". |
| 2023-04-08 23:28:12 +0200 | <monochrom> | Err in the cabal-install case -fprop-auto-top actually. |
| 2023-04-08 23:28:21 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-04-08 23:28:22 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-04-08 23:28:22 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-04-08 23:28:36 +0200 | freeside | (~mengwong@103.252.202.85) |
| 2023-04-08 23:28:41 +0200 | <c_wraith> | energizer: but it turns out to have convenient properties like making comparison just proceed down the two lists in lock-step |
| 2023-04-08 23:28:52 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 276 seconds) |
| 2023-04-08 23:29:16 +0200 | <monochrom> | I know how to tell cabal-install "enable profiling but no auto at all", but I don't know what stack offers. |
| 2023-04-08 23:29:24 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-04-08 23:29:26 +0200 | <sclv> | it also means that [()] has the same ordering properties as the natural numbers they are in bijection to! |
| 2023-04-08 23:30:09 +0200 | <c_wraith> | yeah. Lots of stuff that just works out to be really convenient |
| 2023-04-08 23:30:10 +0200 | <sclv> | i.e. there is something literally "natural" about such a choice. |
| 2023-04-08 23:30:31 +0200 | <monochrom> | And it is also consistent with "deriving Ord" does lexicographical order universally for all ADTs. |
| 2023-04-08 23:30:31 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-04-08 23:30:59 +0200 | <c_wraith> | Assuming you put the [] constructor first in the (imaginary) definition, anyway |
| 2023-04-08 23:31:03 +0200 | <monochrom> | The most favourite total order. :) |
| 2023-04-08 23:33:25 +0200 | freeside | (~mengwong@103.252.202.85) (Ping timeout: 276 seconds) |
| 2023-04-08 23:34:20 +0200 | <monochrom> | Lexicographic order also has a nice straightforward correspondence with ordinals. It is a bit more significant than someone inventing it by the least thinking. |
| 2023-04-08 23:35:27 +0200 | <sclv> | arguably this is because the ordinals themselves arise by the principle of least thinking (a mathematical analogue to the physical principle of least action?) |
| 2023-04-08 23:35:40 +0200 | <monochrom> | haha good point |
| 2023-04-08 23:40:27 +0200 | AlexZenon | (~alzenon@178.34.162.18) (Ping timeout: 248 seconds) |
| 2023-04-08 23:44:46 +0200 | AlexZenon | (~alzenon@178.34.162.18) |
| 2023-04-08 23:54:48 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-04-08 23:56:53 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:d4f1:5756:cd71:d4c) (Quit: The Lounge - https://thelounge.chat) |
| 2023-04-08 23:58:33 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) |
| 2023-04-08 23:59:00 +0200 | chomwitt | (~chomwitt@ppp-94-67-192-72.home.otenet.gr) (Ping timeout: 255 seconds) |