2025/01/22

Newest at the top

2025-01-22 11:01:57 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 248 seconds)
2025-01-22 11:01:16 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-01-22 11:01:10 +0100 <homo> and for self-hosted implementation to be bootstrappable, best practice is that it uses small subset of it's own features, not almost entire set of features
2025-01-22 10:58:17 +0100 <homo> bootstrappable is not about getting archives of all historical laggage, if there is alternative and maintained implementation capable of doing bootstrap it's more preferable path than going back in history
2025-01-22 10:57:04 +0100 <homo> that assumes I must have an emulator for that platform or I must buy specific hardware
2025-01-22 10:56:49 +0100hellwolfnot being serious here
2025-01-22 10:56:41 +0100 <hellwolf> ultimate bootstrap goal was build everything from a FORTH compiler
2025-01-22 10:56:20 +0100 <hellwolf> I guess you just need to build an old one from one platform?
2025-01-22 10:55:28 +0100 <homo> older ghc path is what Googulator from #bootstrappable channel prefers
2025-01-22 10:54:23 +0100sprotte24(~sprotte24@p200300d16f084200f435cd8a7bac203a.dip0.t-ipconnect.de)
2025-01-22 10:54:18 +0100 <[exa]> homo: well, true
2025-01-22 10:54:17 +0100 <homo> hellwolf how do you get older ghc working on riscv and arm without running x86 instruction emulator?
2025-01-22 10:54:15 +0100JuanDaughertyColinRobinson
2025-01-22 10:53:51 +0100 <hellwolf> and GHC compiles itself version by version
2025-01-22 10:53:41 +0100 <hellwolf> the idea was bootstrap from a older GHC
2025-01-22 10:53:29 +0100 <haskellbridge> <sm> a dramatically simpler, cleaner and more portable new haskell compiler actively maintained by a top haskell developer - valuable
2025-01-22 10:53:10 +0100 <[exa]> sm: because there's never enough compiler alternatives
2025-01-22 10:51:23 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-01-22 10:49:36 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-01-22 10:48:03 +0100 <homo> [exa] I'm afraid without cooperation from ghc developers, ghc will never be buildable by alternative implementations, because ghc depends too much on its own extensions and internal quirks, and 7.x bugs show there is no guarantee that ghc can build itself, alternative option is to fork ghc to reduce those requirements
2025-01-22 10:48:01 +0100 <haskellbridge> <sm> why microhs exists at all ?
2025-01-22 10:44:49 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds)
2025-01-22 10:42:14 +0100cy7(~yt@pool-99-238-69-14.cpe.net.cable.rogers.com) (Ping timeout: 252 seconds)
2025-01-22 10:40:36 +0100alexherbo2(~alexherbo@2a02-8440-350e-d10b-25a2-ca7e-51a0-4409.rev.sfr.net) alexherbo2
2025-01-22 10:40:17 +0100alexherbo2(~alexherbo@2a02-8440-350e-d10b-25a2-ca7e-51a0-4409.rev.sfr.net) (Remote host closed the connection)
2025-01-22 10:39:55 +0100 <hellwolf> I am missing the "why" clearly stated for the MicroHs. But it's exciting if we could bootstrap GHC from it.
2025-01-22 10:18:43 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 245 seconds)
2025-01-22 10:14:23 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-01-22 10:06:02 +0100 <kqr> opqdonut, Wait, yeah, that does exactly what I need. I think when I tested it I accidentally gave it the wrong boolean and then never stopped to think it through again. Thanks!
2025-01-22 10:02:05 +0100merijn(~merijn@77.242.116.146) merijn
2025-01-22 09:57:46 +0100merijn(~merijn@77.242.116.146) (Quit: leaving)
2025-01-22 09:56:10 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-01-22 09:54:45 +0100Square(~Square@user/square) (Ping timeout: 248 seconds)
2025-01-22 09:53:35 +0100alexherbo2(~alexherbo@2a02-8440-350e-d10b-25a2-ca7e-51a0-4409.rev.sfr.net) alexherbo2
2025-01-22 09:49:09 +0100 <opqdonut> kqr: showFixed, "First arg is whether to chop off trailing zeros"
2025-01-22 09:48:25 +0100acidjnk(~acidjnk@p200300d6e7283f9071ccd1d777a13b28.dip0.t-ipconnect.de) acidjnk
2025-01-22 09:41:11 +0100 <kqr> I feel like I'm missing something obvious here. I have a Data.Fixed number, and I want to stringify it with just the precision needed. I.e. something like 200 becomes "200", 5 becomes "5", while 0.1 becomes "0.1", and 0.003 is "0.003". I could do this manually, of course, but there ought to be something to help me, right?
2025-01-22 09:40:04 +0100 <kqr> Oops, premature return. Sorry!
2025-01-22 09:39:59 +0100 <kqr> I feel like I'
2025-01-22 09:39:06 +0100Square(~Square@user/square) Square
2025-01-22 09:35:16 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds)
2025-01-22 09:29:59 +0100tnt2tnt1
2025-01-22 09:29:58 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 272 seconds)
2025-01-22 09:29:38 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-01-22 09:28:37 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-01-22 09:27:58 +0100kuribas(~user@ptr-17d51emnohepwfpyix2.18120a2.ip6.access.telenet.be) kuribas
2025-01-22 09:27:39 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2025-01-22 09:25:11 +0100euleritian(~euleritia@ip2504f9f4.dynamic.kabel-deutschland.de)
2025-01-22 09:24:35 +0100euleritian(~euleritia@dynamic-176-006-129-235.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-01-22 09:24:19 +0100alfiee(~alfiee@user/alfiee) alfiee