Viewing profile — Raphael_Amiard

I mean I’m only answering that because you’re asking, nothing set me off personally there, but now that you ask: « The pull request alone adds over 197 thousand lines of code acros…

Average american is what you mean

It’s pattern matching. A big part of reasoning for sure, but not reasoning per se

"Is this true for the Ada lang/compiler" Yes, Ada has a lot of the same kind of fractal complexity that C++ has, which derives from unforeseen interaction of some features with som…

You're right in your first part. Ada 83 is less complex than modern C++ or Rust. However Ada kept evolving, and a lot of complexity was added in later revisions, such as Ada 95, wh…

> Today, the criticism about complexity seems naive, because many later languages have become much more complex than Ada I don’t think you really understand what you’re saying here…

There is none as far as affine types go, even is there is a parallel to be made with limited types, but they don’t serve the same purpose. The way Ada generally solves the same pro…

The very obvious flaw with that argument is that flying is defined by, you know, moving in the air, whereas intelligence tends to be defined with the baseline of human intelligence…

I love systems programming language and have worked on the Ada language for a long time. I find Zig to be incredibly underwhelming. Absolutely nothing about it is new or novel, the…

Came here to say that. It’s important to remember how biased hacker news is in that regard. I’m just out of ten years in the safety critical market, and I can assure you that our c…

SPARK allows you to formally prove that your code is correct according to a given specification. It can thus provides much stronger guarantees than what Rust would be able to provi…

This is about firmware, nothing to do with the performance of GPUs...

Not defending Russia in general, or in particular russian government. As a French person whose national medias are completely taken over by multinationals (source https://www.monde…

> For verification in general, is the expense of verification in this case because of the model needed to verify Ada? For instance, perhaps a language that makes different choices …

There are also toolchains shipped as part of Alire since 1.1: https://github.com/alire-project/alire/blob/release/1.1/doc/... So you have a workflow similar to cargo in Rust: * Ins…

Of course! But there are some tendencies, or else OP's comment wouldn't have made sense even in the context of the US. My first few times in the US were in NYC, where I found a way…

Ok! Sorry about the violent agreement message then. Yes, there is definitely a balance to be found between individual freedom and collective well being here. I guess what I'm getti…

Interesting. I'm symmetrically not used to think about those problems from an american perspective. Thanks for the insight. I can indeed see a world where working from home might i…

I'm used to the conversation in here being extremely US-centric, but realize that this is much less true for European cities with good public transportation. I haven't ever used a …

As said in another comment, that's completely and demonstrably false. As soon as a coding standard for C/C++ doesn't completely forbid the use of pointers (which is completely impo…

> C/C++ is used over Ada just for familiar syntax. From a safety perspective, the choice of language is inconsequential. With C/C++ the code analyzers used must do more work than w…

> I just think the FSF (and opensource as a whole) would be more successful with someone other than RMS as the figurehead. I appreciate the moderation you show in your comment. Tha…

It'll be alt-n on mac's I think!

As a musician I kind of strongly disagree with that. I was never able to adjust to latency above ~8ms. Some people might. I can't. I spent as much effort as necessary to ensure tha…