On Thu, 13 May 2021 05:54:03 +0300
Greg Minshall wrote:
Dear Greg,
> > I'm just glad that I, as a numerical mathematician, don't have to
> > use MATLAB anymore. I initiated and finalized that the current
> > lecture on numerical mathematics here in Cologne, which I
> > co-supervise, is using Jul
Laslo,
thank you very much.
> I'm just glad that I, as a numerical mathematician, don't have to use
> MATLAB anymore. I initiated and finalized that the current lecture on
> numerical mathematics here in Cologne, which I co-supervise, is using
> Julia for the first time (instead of MATLAB), and I
On 4/20/21, Miles Rout wrote:
> We'd all be better off if we focused our efforts on tools to make C
> programming better. I was thinking today about how useful it would be
> to have a way to indicate that a particular variable shouldn't be able
> to impact the running time of a function for cryp
On Tue, 11 May 2021 11:15:37 +0300
Greg Minshall wrote:
Dear Greg,
> i'm ignorant, but curious. a friend who does high performance
> computing is a fan of Julia, and in the past pointed me at
>
> https://www.nextplatform.com/2017/11/28/julia-language-delivers-petascale-hpc-performance/
>
> i'
Anders Damsgaard,
> However, I would *never* consider Julia a viable alternative to C/FORTRAN
> tasks, including numerical simulations and massively parallel deployment
> on HPC systems.
i'm ignorant, but curious. a friend who does high performance computing
is a fan of Julia, and in the past po
* Laslo Hunhold [2021-05-04 09:17:01 +0200]:
On Sun, 02 May 2021 18:17:45 -0400
"Greg Reagle" wrote:
Dear Greg,
Do you have any other suggestions for alternatives to C?
this question is too general. For academic purposes (HPC, data
analysis, numerical mathematics, statistics, etc.) I can
On Sun, 02 May 2021 18:17:45 -0400
"Greg Reagle" wrote:
Dear Greg,
> Do you have any other suggestions for alternatives to C?
this question is too general. For academic purposes (HPC, data
analysis, numerical mathematics, statistics, etc.) I can recommend
Julia.
> I haven't started re-writing
On Sun, May 2, 2021, at 09:22, Laslo Hunhold wrote:
> "Greg Reagle" wrote:
> > 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
> > philos
On Wed, 21 Apr 2021 02:38:48 +1200
Miles Rout wrote:
Dear Miles,
> On Tue, Apr 20, 2021 at 06:45:40AM -0700, Jeremy wrote:
> > Regarding readability: in terms of the just the standard libraries,
> > I agree that Rust is more readable than C, especially it comes to
> > iterating and generics.
>
On Tue, 20 Apr 2021 06:29:30 -0400
"Greg Reagle" wrote:
Dear Greg,
> 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 p
On 04/26/21 03:43PM, Ross Mohn wrote:
> > Ross Mohn wrote:
> > > I and my entire team have been actively and successfully using dvtm for
> > > years. I haven't had it crash in a long while now, and I regularly keep
> > > sessions alive for months. However, I am very interested in using
> > > somet
Hello,
> I have PREFIX defined in my environment and make use if it in scripts as
> well as in Makefiles, so I don't generally have to pass it in on the
> commandline. I could certainly run it as `PREFIX=$PREFIX make`.I have
> to use my own PREFIX on the several shared servers I use where I com
On 4/26/21 2:39 PM, Mattias Andrée wrote:
On Mon, 26 Apr 2021 10:10:20 -0400
Ross Mohn wrote:
On 4/23/21 10:12 PM, Jeremy wrote:
On 04/20/21 10:23AM, Greg Reagle wrote:
On Tue, Apr 20, 2021, at 09:45, Jeremy wrote:
I gave up on using dvtm a while ago (now I use tmux which is good) because it
On Mon, 26 Apr 2021 10:10:20 -0400
Ross Mohn wrote:
> On 4/23/21 10:12 PM, Jeremy wrote:
> > On 04/20/21 10:23AM, Greg Reagle wrote:
> >> On Tue, Apr 20, 2021, at 09:45, Jeremy wrote:
> >> I gave up on using dvtm a while ago (now I use tmux which is good) because
> >> it
> >> would keep crashi
On 4/23/21 10:12 PM, Jeremy wrote:
On 04/20/21 10:23AM, Greg Reagle wrote:
On Tue, Apr 20, 2021, at 09:45, Jeremy wrote:
I gave up on using dvtm a while ago (now I use tmux which is good) because it
would keep crashing. And I could not figure out how to debug the crashes or get
specific informa
Hello,
On 2021-04-20 19:53:04 -0400, Sebastian LaVine wrote:
> I am curious, what experiences have people had with Go?
The language is kinda fine I guess? It gets the job done, but I cannot
say I enjoy writing code in it that much. And some design choices
(context.Context) are in my opinion weird
On Fri, Apr 23, 2021, at 22:12, Jeremy wrote:
> I wrote a library, libst(a fork of st), and modified st, dvtm to link
> against it:
> https://github.com/jeremybobbin/libst
>
> Try compiling & installing libst, then compile & run dvtm in libst/examples.
Okay, I am trying it. I get [[dvtm.c:39:10
On Tue, Apr 20, 2021 at 10:23:35AM -0400, Greg Reagle wrote:
> Can someone point me to an article or blog post recommending which of these
> sanitize options would be recommended for general daily use?
Take your favourite Makefile and add
CFLAGS += -fsanitize=address -fsanitize=undefined
LDFLAGS
On Tue, Apr 20, 2021 at 06:45:40AM -0700, Jeremy wrote:
> Regarding readability: in terms of the just the standard libraries, I
> agree that Rust is more readable than C, especially it comes to iterating
> and generics.
impl I {
fn know<'a, How::Someone>(could: &'a Say) -> This<'a>
wit
On 04/20/21 10:23AM, Greg Reagle wrote:
> On Tue, Apr 20, 2021, at 09:45, Jeremy wrote:
> I gave up on using dvtm a while ago (now I use tmux which is good) because it
> would keep crashing. And I could not figure out how to debug the crashes or
> get
> specific information about the cause of the
fwiw, i think Ada sat (sits) on the "Pascal" side of the "C | Pascal"
divide.
that probably explains a lot of the subsequent history of who used it,
who didn't, etc.
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
Jeremy wrote:
> What does Ada(or Rust for that matter) do better than C?
>
> Surely, you have all of the tools for static analysis, debugging, macros
> for C that you would for any other language, no?
>
> I could understand generics, interfaces, iterators, OOP and all of that
> from a masturbator
On 04/19/21 04:19PM, Greg Reagle wrote:
> Okay, I did. Very interesting. I briefly studied Ada many years ago. Do
> you think that Ada is a viable alternative to Rust? Do you think it is a
> decent alternative to C for things like operating systems or utilities like
> sbase or ubase?
>
> I
On Mon, Apr 19, 2021, at 16:36, Mattias Andrée wrote:
> For me, libgnat is only dynamically linked if I run gnatbind
> with -shared, but if you -static it should be statically linked.
Thank you. [[ gnatmake hello.adb -bargs -static ]] does the trick, i.e. it
makes the executable larger (of course
On Mon, 19 Apr 2021 16:19:18 -0400
Greg Reagle wrote:
> On Sat, Apr 17, 2021, at 11:57, Laslo Hunhold wrote:
> > Anyway, I can't say it enough: Check out Ada 2012 (and the SPARK
> > subset) if you care about "secure" languages. It's not as lean as C, but
> > you end up solving so many problems wi
On Sat, Apr 17, 2021, at 11:57, Laslo Hunhold wrote:
> Anyway, I can't say it enough: Check out Ada 2012 (and the SPARK
> subset) if you care about "secure" languages. It's not as lean as C, but
> you end up solving so many problems with it, especially in regard to
> software engineering and safety
On Sat, Apr 17, 2021, at 11:57, Laslo Hunhold wrote:
> Anyway, I can't say it enough: Check out Ada 2012 (and the SPARK
> subset) if you care about "secure" languages. It's not as lean as C, but
> you end up solving so many problems with it, especially in regard to
> software engineering and safety
36 matches
Mail list logo
