2024-06-17 00:01:49 +0200 | <monochrom> | ObHaskell: I just lament (rejoice?) that C doesn't have binary syntax, GHC does. :) |
2024-06-17 00:02:09 +0200 | <EvanR> | just to clarify, 10_10 |
2024-06-17 00:02:14 +0200 | <EvanR> | 10_10_10_10_... |
2024-06-17 00:02:44 +0200 | <monochrom> | Proof by intimidation. Clarification by repetition. :) |
2024-06-17 00:03:38 +0200 | <EvanR> | five = 12_10 |
2024-06-17 00:03:59 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
2024-06-17 00:04:13 +0200 | <dolio> | Yeah, that actually doesn't clarify anything. |
2024-06-17 00:04:27 +0200 | <monochrom> | Hey people who like the Cantor set may like that too. :) |
2024-06-17 00:04:31 +0200 | <brett303> | 31337 being the 3379th prime |
2024-06-17 00:04:51 +0200 | hololeap | (~quassel@user/hololeap) (Quit: Bye) |
2024-06-17 00:05:36 +0200 | hololeap | (~quassel@user/hololeap) |
2024-06-17 00:06:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-06-17 00:06:26 +0200 | <cheater> | given that there are bugs about performance in monorepos, i'd guess hls does work in monorepos https://github.com/haskell/haskell-language-server/issues/2151 |
2024-06-17 00:07:11 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-06-17 00:07:14 +0200 | <EvanR> | on the scientific calculator log_10 means one thing, but the programmer's calculator it should be another xD |
2024-06-17 00:07:48 +0200 | <EvanR> | 10 kinds of calculator |
2024-06-17 00:07:53 +0200 | califax | (~califax@user/califx) |
2024-06-17 00:08:17 +0200 | <brett303> | does haskell just not work on arm64? |
2024-06-17 00:08:35 +0200 | <monochrom> | Haha EvanR yes! |
2024-06-17 00:08:50 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2024-06-17 00:09:32 +0200 | <monochrom> | I think haskell works on arm64. I heard people ran ghc on android phones. I don't know how easy though, probably not easy. |
2024-06-17 00:09:48 +0200 | <hololeap> | I just guided someone to install ghc-9.4 on arm64 on Gentoo |
2024-06-17 00:10:03 +0200 | <hololeap> | not sure how much pain remains for them though |
2024-06-17 00:11:12 +0200 | <brett303> | Oh yeah Gentoo has building from source as a strength |
2024-06-17 00:11:23 +0200 | <brett303> | I'm on Debian on my arm64 |
2024-06-17 00:11:45 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-06-17 00:11:57 +0200 | <hololeap> | they built ghc-9.4.8 with https://downloads.haskell.org/~ghc/9.4.3/ghc-9.4.3-aarch64-deb10-linux.tar.xz |
2024-06-17 00:12:22 +0200 | <hololeap> | using https://downloads.haskell.org/~ghc/9.8.2/hadrian-bootstrap-sources/hadrian-bootstrap-sources-9.4.3… |
2024-06-17 00:12:55 +0200 | <hololeap> | just saying it's possible |
2024-06-17 00:13:07 +0200 | <brett303> | ok thank you |
2024-06-17 00:13:12 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc91484bcbbc96a78a6f.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2024-06-17 00:14:07 +0200 | <hololeap> | there's also a aarch64-deb10 tarball for other versions. I just wanted it to match the hadrian-bootstrap-sources version |
2024-06-17 00:14:18 +0200 | <monochrom> | Tangentially, I teach a Unix course and I recommend students who prefer staying with Windows or Mac to install Ubuntu in VirtualBox. Except that it doesn't exist for M1/M2. Last year we were stuck. This year fortunately I stumbled across UTM (https://docs.getutm.app/installation/macos/), so that's something. But next up is Ubuntu simply doesn't make a desktop installer for arm64, you have to install server then "apt install ubuntu-desktop". |
2024-06-17 00:15:06 +0200 | <monochrom> | I'm trying to say that a lot of software and people have not caught up to arm and M1/M2. It is a little bit shameful. |
2024-06-17 00:15:36 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-06-17 00:19:41 +0200 | <EvanR> | students don't telnet into the mainframe?! |
2024-06-17 00:20:05 +0200 | <EvanR> | for a unix course at a university |
2024-06-17 00:20:18 +0200 | <EvanR> | a mainframe running, ahem... unix? lol |
2024-06-17 00:20:29 +0200 | <monochrom> | Oh, a lot of them are too lazy to install anything, so they ssh into the school server. Close enough. |
2024-06-17 00:21:14 +0200 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) |
2024-06-17 00:21:25 +0200 | <haskellbridge> | <sm> monochrom: multipass is/was very good for running ubuntu on macs. A mac firewall bug has been breaking it for a while but they might have a workaround now |
2024-06-17 00:23:59 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 264 seconds) |
2024-06-17 00:34:35 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
2024-06-17 00:45:01 +0200 | xdminsy | (~xdminsy@117.147.70.212) |
2024-06-17 00:46:27 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 264 seconds) |
2024-06-17 00:53:39 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
2024-06-17 00:56:10 +0200 | jrm | (~jrm@user/jrm) |
2024-06-17 01:00:15 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:1cec:9f59:c786:1af1) |
2024-06-17 01:02:44 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-06-17 01:06:55 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
2024-06-17 01:10:58 +0200 | solaire | (~solaire@syn-024-165-026-201.res.spectrum.com) (Ping timeout: 255 seconds) |
2024-06-17 01:11:00 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-06-17 01:11:09 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-06-17 01:15:44 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
2024-06-17 01:19:28 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
2024-06-17 01:19:58 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-06-17 01:20:03 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 264 seconds) |
2024-06-17 01:22:42 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Client Quit) |
2024-06-17 01:22:43 +0200 | spenat | (~spenat@c-1125235c.012-6-62726f1.bbcust.telenor.se) |
2024-06-17 01:23:22 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-06-17 01:30:55 +0200 | <jjhoo> | really no virtualbox for apple m2? I guess I want to keep my intel-based macbook pro as long as possible |
2024-06-17 01:33:38 +0200 | <geekosaur> | apparently it's in beta and still has a lot of limitations |
2024-06-17 01:34:53 +0200 | <geekosaur> | apple seems to have gone to a lot of effort to be as un-ARM as possible with their ARM-based products |
2024-06-17 01:38:43 +0200 | solaire | (~solaire@syn-024-165-026-201.res.spectrum.com) |
2024-06-17 01:40:37 +0200 | <cheater> | is the hls integration in vim way worse than nvim, or are they pretty much the same? |
2024-06-17 01:42:43 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
2024-06-17 01:45:51 +0200 | solaire | (~solaire@syn-024-165-026-201.res.spectrum.com) (Ping timeout: 264 seconds) |
2024-06-17 01:46:46 +0200 | solaire | (~solaire@syn-024-165-026-201.res.spectrum.com) |
2024-06-17 01:46:58 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
2024-06-17 01:51:35 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
2024-06-17 01:56:39 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
2024-06-17 02:00:04 +0200 | solaire | (~solaire@syn-024-165-026-201.res.spectrum.com) (Ping timeout: 256 seconds) |
2024-06-17 02:00:20 +0200 | solaire | (~solaire@syn-024-165-026-201.res.spectrum.com) |
2024-06-17 02:01:45 +0200 | zzz | (~yin@user/zero) (Ping timeout: 256 seconds) |
2024-06-17 02:02:02 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-06-17 02:03:17 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
2024-06-17 02:06:27 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
2024-06-17 02:08:42 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-06-17 02:14:33 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:1cec:9f59:c786:1af1) (Quit: Leaving) |
2024-06-17 02:14:50 +0200 | dmj` | (uid72307@id-72307.hampstead.irccloud.com) |
2024-06-17 02:18:19 +0200 | <Axman6> | geekosaur: how so? |
2024-06-17 02:18:39 +0200 | <Axman6> | Just don't use register 18 and you're all good =) |
2024-06-17 02:29:17 +0200 | <geekosaur> | what about that whole thing about not promoting values that required a redesign of ghc's backend? |
2024-06-17 02:30:12 +0200 | <Axman6> | not sure what you mean |
2024-06-17 02:30:42 +0200 | <geekosaur> | ghc had to switch to using exact sizes for types because extending to word size violated Apple's special ABI |
2024-06-17 02:30:45 +0200 | <Axman6> | I spent quite a lot of time spelunking in the aarch64 backend and haven't seen anything macos specific |
2024-06-17 02:30:56 +0200 | <geekosaur> | no, they changed it across the board |
2024-06-17 02:31:22 +0200 | <Axman6> | Oh, I thought that was an intentional thing, because being able to store Word8 in less than a full Word is great |
2024-06-17 02:31:23 +0200 | <geekosaur> | but it was a fairly massive effort because a lot of ghc assumed that things were machien word-sized |
2024-06-17 02:31:54 +0200 | <geekosaur> | it was something they wanted to do at some point but apple's ARM ABI forced it on them |
2024-06-17 02:32:12 +0200 | <Axman6> | Sounds like a good thing to me =) |
2024-06-17 02:34:08 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) |
2024-06-17 02:35:17 +0200 | henry40408 | (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
2024-06-17 02:35:42 +0200 | henry40408 | (~henry4040@175.182.111.183) |
2024-06-17 02:39:39 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
2024-06-17 02:40:05 +0200 | k_hachig | (~k_hachig@bras-base-mtrlpq42zf4-grc-08-65-94-221-127.dsl.bell.ca) (Ping timeout: 240 seconds) |
2024-06-17 02:40:35 +0200 | mIRC-rockcavera | (~mirc-rc@186.214.132.97) |
2024-06-17 02:40:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-06-17 02:40:51 +0200 | mIRC-rockcavera | (~mirc-rc@186.214.132.97) () |
2024-06-17 02:45:54 +0200 | solaire | (~solaire@syn-024-165-026-201.res.spectrum.com) (Ping timeout: 255 seconds) |