Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
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.