On Tue 2021-04-20 05:40:19 -0400, Greg Reagle wrote:
> $ gnatmake hello -largs -static -bargs -static
> $ ldd hello
> not a dynamic executable
>
> Of course it is big now: 1.2M. I assume if I had musl it would be smaller.
Wouldn't you need to turn on LTO—link time optimisation, for what l
I am curious, what experiences have people had with Go?
--
Sebastian LaVine | https://smlavine.com
2021-04-20 10:56 GMT+02:00, Laslo Hunhold :
> I'm certain the only main reason Ada wasn't picked up is because it was
> developed in the military, and the hippies in the FSF didn't like that.
Probably it's a matter of power (no GNU folks in that standard
commission) and of taste (Ada never been a
On Tue, Apr 20, 2021, at 09:45, Jeremy wrote:
> Have a look at the arguments you can pass to "-fsanitize=" in gcc(1).
I am glad that you pointed that out to me--thank you. Does clang have
comparable functionality?
I gave up on using dvtm a while ago (now I use tmux which is good) because it
woul
On 04/20/21 10:56AM, Laslo Hunhold wrote:
> The strong point over Rust is readability, stronger guarantees, built-in
> concurrency and the fact that it's ISO-standardized, among many other
> things. To see how far you can go with Ada (using SPARK, a very close
> subset), read chapter 2.2 in [0]. Al
Thank you for your explanation Laslo Hunhold. I wholeheartedly agree with you
about the fallibility of human programmers, and the vulnerability of C to
errors. Even though I am a fan of the suckless philosophy and its programs,
which are written in C, I wish that a less error-prone language would
On Mon, 19 Apr 2021 16:19:18 -0400
"Greg Reagle" wrote:
Dear Greg,
let me give a short overview of Ada and why I think it's great: Ada is
all about dependability (that's why it was developed and is still
widely used in a wide range of fields) and many things you'd find in
other languages are not
On Mon, Apr 19, 2021, at 20:37, Samuel Holland wrote:
> On my machine (using musl), using `-largs -static` is sufficient to get a
> fully
> static PIE executable:
Thank you. (My machine has glibc). I can do it now.
$ gnatmake hello -largs -static -bargs -static
$ ldd hello
not a dynami
Hi,
Sorry to step in but I find this conversation very interesting :-)
I don’t know much about ADA and would like to know a bit more, especially
now that I see it could be a viable alternative to rust.
I am not too keen on rust, on the other hand I like the idea of doing system
programming with
