IRC channel logs

<lanodan> https://nlnet.nl/project/Ada-bootstrap/ Oh neat

<daddy>one step closer to bootstrapped coreboot

<daddy>... I wonder if C => Go => Ada would count?

<daddy>I suppose the only claim is "auditable" trail

<lanodan>How does the Go => Ada works?

<daddy>It doesn't, but I'd rather write Go than C.

<daddy>Just a little thought experiment, probably not a practical course to pursue

<lanodan>Ah yeah Go would make sense, although part of me does wonder a bit how it will work out long term (think decades) as Go now requires multiple steps to bootstrap

<daddy>multiple, yes, but they're quite fast and far between (AIUI)

<daddy>much unlike Rust, which is so much more difficult

<daddy>I think going from stage0 to Go (which can be tinycc'd!) takes about as long as stage3 to rust.

<daddy>at least for stagex, where there's likely room for optimizations

<lanodan>Yeah Rust would be a disaster, same for like Java, or $deity forbids C#

<daddy>god, Java. at least Rust doesn't need X.

<daddy>Why, Swing. :(

<lanodan>I think that one's optional but well I haven't managed to bootstrap java here, maybe some kind of musl issues I haven't dug (I just avoid java for now)

<matrix_bridge><Andrius Štikonas> musl should be fine, just need some patches to openjdk

<fossy>out of curiosity, who's behind the Ada bootstrap?

IRC channel logs

2025-04-25.log