Logs: freenode/#haskell
| 2020-11-12 12:44:01 | → | dexterlb joins (~dexterlb@2a01:9e40:2:2::2) |
| 2020-11-12 12:48:39 | × | dexterlb quits (~dexterlb@2a01:9e40:2:2::2) (Ping timeout: 272 seconds) |
| 2020-11-12 12:48:48 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2020-11-12 12:49:23 | × | nek0 quits (~nek0@mail.nek0.eu) (Quit: The Lounge - https://thelounge.chat) |
| 2020-11-12 12:50:20 | → | nek0 joins (~nek0@mail.nek0.eu) |
| 2020-11-12 12:51:13 | → | jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 2020-11-12 12:51:17 | → | kjak joins (~kjak@pool-173-73-38-16.washdc.fios.verizon.net) |
| 2020-11-12 12:51:27 | → | revprez_stg joins (~revprez_s@pool-108-49-213-40.bstnma.fios.verizon.net) |
| 2020-11-12 12:51:29 | × | amiri quits (~amiri@cpe-76-91-154-9.socal.res.rr.com) (Remote host closed the connection) |
| 2020-11-12 12:52:43 | × | teardown quits (~user@gateway/tor-sasl/mrush) (Ping timeout: 240 seconds) |
| 2020-11-12 12:53:58 | → | amiri joins (~amiri@cpe-76-91-154-9.socal.res.rr.com) |
| 2020-11-12 12:54:24 | → | tw1sted1 joins (~tw1sted@195.206.169.184) |
| 2020-11-12 12:54:54 | → | teardown joins (~user@gateway/tor-sasl/mrush) |
| 2020-11-12 12:55:37 | × | elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2020-11-12 12:55:50 | → | elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) |
| 2020-11-12 12:56:07 | × | revprez_stg quits (~revprez_s@pool-108-49-213-40.bstnma.fios.verizon.net) (Client Quit) |
| 2020-11-12 12:56:18 | × | Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Remote host closed the connection) |
| 2020-11-12 12:56:18 | × | gxt quits (~gxt@gateway/tor-sasl/gxt) (Read error: Connection reset by peer) |
| 2020-11-12 12:56:41 | → | renzhi joins (~renzhi@2607:fa49:655f:e600::28da) |
| 2020-11-12 12:56:57 | → | dexterlb joins (~dexterlb@2a01:9e40:2:2::2) |
| 2020-11-12 12:57:12 | → | gxt joins (~gxt@gateway/tor-sasl/gxt) |
| 2020-11-12 12:57:16 | → | carlomagno1 joins (~cararell@148.87.23.13) |
| 2020-11-12 12:57:25 | × | jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Ping timeout: 240 seconds) |
| 2020-11-12 12:57:40 | → | Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer) |
| 2020-11-12 12:58:11 | → | thir joins (~thir@p200300f27f0b7e00894576386620b0d0.dip0.t-ipconnect.de) |
| 2020-11-12 12:58:22 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 2020-11-12 12:58:47 | × | carlomagno quits (~cararell@148.87.23.10) (Ping timeout: 272 seconds) |
| 2020-11-12 13:00:25 | × | p-core quits (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Remote host closed the connection) |
| 2020-11-12 13:01:31 | hackage | vulkan-utils 0.1.3 - Utils for the vulkan package https://hackage.haskell.org/package/vulkan-utils-0.1.3 (jophish) |
| 2020-11-12 13:02:52 | × | thir quits (~thir@p200300f27f0b7e00894576386620b0d0.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-11-12 13:03:27 | × | nek0 quits (~nek0@mail.nek0.eu) (Quit: The Lounge - https://thelounge.chat) |
| 2020-11-12 13:03:49 | → | z0k joins (~user@101.50.68.94) |
| 2020-11-12 13:05:34 | → | nek0 joins (~nek0@mail.nek0.eu) |
| 2020-11-12 13:07:11 | <xerox_> | will ghc run on the arm macs straight away? |
| 2020-11-12 13:08:04 | <merijn> | Who knows |
| 2020-11-12 13:08:18 | <jophish> | do the GHC team have one of the dev boxeS? |
| 2020-11-12 13:08:26 | <merijn> | Probably not |
| 2020-11-12 13:08:50 | <merijn> | ARM has tier 2 support, currently, iirc |
| 2020-11-12 13:10:07 | → | texasmynsted joins (~texasmyns@212.102.45.118) |
| 2020-11-12 13:10:14 | <merijn> | So the answer to "will GHC run on ARM macs?" is "that depends how much effort you will contribute to that cause" ;) |
| 2020-11-12 13:10:48 | → | texasmyn_ joins (~texasmyns@212.102.45.118) |
| 2020-11-12 13:10:54 | × | texasmynsted quits (~texasmyns@212.102.45.118) (Read error: Connection reset by peer) |
| 2020-11-12 13:11:41 | <merijn> | I know angerman is doing a lot of stuff w.r.t Aarch64 support in GHC |
| 2020-11-12 13:12:19 | → | AlterEgo- joins (~ladew@124-198-158-163.dynamic.caiway.nl) |
| 2020-11-12 13:12:31 | → | Amras joins (~Amras@unaffiliated/amras0000) |
| 2020-11-12 13:12:38 | <angerman> | xerox_: yes; jophish: yes, I have a DTK on my desk. |
| 2020-11-12 13:13:05 | × | Feuermagier quits (~Feuermagi@213.178.26.41) (Remote host closed the connection) |
| 2020-11-12 13:13:10 | <angerman> | xerox_: you can use rosetta2, ghc works well enough to build a native ghc. |
| 2020-11-12 13:13:47 | <angerman> | here's a fully native, GHC-9.1 with an arm64 NCG: https://dl.dropbox.com/s/jskw2pjpkhquj4g/ghc-9.1.0.20201110-aarch64-apple-darwin.tar.xz |
| 2020-11-12 13:14:12 | → | WeChanTonio joins (~WeChanTon@186-130-20-31.ftth.glasoperator.nl) |
| 2020-11-12 13:14:16 | <jophish> | I wonder how the code signing thing is going to impact nixos |
| 2020-11-12 13:14:21 | <angerman> | We'll likely need a bit of time to get this (a) merged into master, (b) backported into 9.0 and maybe earlier. |
| 2020-11-12 13:14:51 | <angerman> | jophish: it's ok. thefloweringash and I did test, and manage to produce identical binaries. However "nixos" and darwin don't mix well :p |
| 2020-11-12 13:15:00 | hackage | apecs-stm 0.1.4 - STM stores for apecs https://hackage.haskell.org/package/apecs-stm-0.1.4 (jonascarpay) |
| 2020-11-12 13:15:03 | <angerman> | darwin + nixpkgs, will need some more work, but we'll get there. |
| 2020-11-12 13:15:24 | <jophish> | I guess you had to share a key? |
| 2020-11-12 13:15:38 | <angerman> | no. adhoc signatures don't need keeys. |
| 2020-11-12 13:15:53 | <jophish> | oh, so they always use the same key |
| 2020-11-12 13:16:15 | <angerman> | it's just some integrity hash. |
| 2020-11-12 13:16:20 | <jophish> | right |
| 2020-11-12 13:16:38 | → | wei2912 joins (~wei2912@unaffiliated/wei2912) |
| 2020-11-12 13:16:40 | <angerman> | I think thefloweringhash did provide some more details in the nixpkgs comments on the issue. |
| 2020-11-12 13:17:01 | → | Yumasi joins (~guillaume@2a01cb09b06b29ea5faf5572fb93fcc2.ipv6.abo.wanadoo.fr) |
| 2020-11-12 13:17:04 | <angerman> | if you want to use GHC or nix right away on an arm64 mac, maybe hold off for at least a month. |
| 2020-11-12 13:17:13 | <angerman> | it's possible, but it's going to be painful. |
| 2020-11-12 13:17:24 | <jophish> | heh, I'm probably not getting a mac again any time soon |
| 2020-11-12 13:17:35 | <angerman> | your loss :p |
| 2020-11-12 13:17:48 | <Uniaika> | that being said there is Rosetta right? |
| 2020-11-12 13:17:51 | <angerman> | apple sg doesn't seem to want to sell M1 mac minis :-/ |
| 2020-11-12 13:17:56 | <jophish> | used one for quite a while, but coming back to Linux was always such a relief ;) |
| 2020-11-12 13:18:06 | <jophish> | also the keyboard suck :) |
| 2020-11-12 13:18:15 | <angerman> | did I say mac mini? |
| 2020-11-12 13:18:55 | <jophish> | ah, keyboard is probably similar then |
| 2020-11-12 13:20:29 | <angerman> | macOS to me is a glorified desktop environment to run terminals that are connected to linux machines 🙊 |
| 2020-11-12 13:20:33 | <xerox_> | angerman: grand |
| 2020-11-12 13:21:25 | <jophish> | s/1000$ facebook machine/1000$ ssh machine/ |
| 2020-11-12 13:21:32 | × | dftxbs3e quits (~dftxbs3e@unaffiliated/dftxbs3e) (Remote host closed the connection) |
| 2020-11-12 13:21:51 | → | dftxbs3e joins (~dftxbs3e@unaffiliated/dftxbs3e) |
| 2020-11-12 13:21:59 | <xerox_> | angerman: how long did it take to build? |
| 2020-11-12 13:22:17 | <angerman> | xerox_: sorry can't comment on that. Once I get my hands on a proper m1 mac mini, I can. |
| 2020-11-12 13:22:28 | → | encod3 joins (~encod3@45-154-157-94.ftth.glasoperator.nl) |
| 2020-11-12 13:22:31 | <jophish> | NDA? |
| 2020-11-12 13:22:46 | <angerman> | DTKs come with limits. |
| 2020-11-12 13:22:48 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2020-11-12 13:23:11 | <xerox_> | ah ok |
| 2020-11-12 13:23:17 | <jophish> | angerman: can you build me a ghc distribution starting now, upload it the second you are done |
| 2020-11-12 13:23:38 | → | DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 2020-11-12 13:23:58 | <angerman> | lol. |
| 2020-11-12 13:24:17 | <angerman> | I'll just say this much: you can develop on ghc on apple arm machines :-) |
| 2020-11-12 13:24:34 | <angerman> | without wanting to jump out of the window. |
| 2020-11-12 13:24:40 | <xerox_> | I'm just hoping to develop *with* ghc, so that's good |
| 2020-11-12 13:25:03 | <angerman> | well you've seen the early benchmarks I guess? |
| 2020-11-12 13:25:11 | <xerox_> | nope! |
| 2020-11-12 13:25:21 | <angerman> | most of your time developing in haskell is spent looking at the screen, not actually compiling software. |
| 2020-11-12 13:25:25 | <angerman> | xerox_: macrumors.com |
| 2020-11-12 13:25:29 | × | texasmyn_ quits (~texasmyns@212.102.45.118) (Remote host closed the connection) |
| 2020-11-12 13:25:37 | <xerox_> | oh I thought you meant ghc specific benchmarks |
| 2020-11-12 13:25:50 | → | texasmynsted joins (~texasmyns@212.102.45.118) |
| 2020-11-12 13:28:45 | → | geekosaur joins (82659a09@host154-009.vpn.uakron.edu) |
| 2020-11-12 13:29:46 | <dminuoso> | angerman: Oh dunno, that kind of depends on what project you're working on. |
All times are in UTC.