Raphael_Amiard

24 ms·

1.
by Raphael_Amiard 3mo ago
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 across 1,816 files. » I noticed that both Claude and GPT are fond
2.
by Raphael_Amiard 3mo ago
Average american is what you mean
3.
by Raphael_Amiard 4mo ago
It’s pattern matching. A big part of reasoning for sure, but not reasoning per se
4.
by Raphael_Amiard 5mo ago
"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 some other. On top of that, as I said in another
5.
by Raphael_Amiard 5mo ago
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, which added a kind of bastardized and very complex Java s
6.
by Raphael_Amiard 5mo ago
> 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. I have worked on an ada compiler for the best part of a
7.
by Raphael_Amiard 5mo ago
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 problem is by allowing much more in terms of what you can give
8.
by Raphael_Amiard 6mo ago
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. You can invent a new meaning, but it seems kind of dishone
9.
by Raphael_Amiard 10mo ago
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 closest being comptime which is not actually new. Also high
10.
by Raphael_Amiard 1y ago
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 clients are still a long way from being able to use those. I
11.
by Raphael_Amiard 4y ago
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 provide. Similar technology exists for Rust, but it is much less
12.
by Raphael_Amiard 4y ago
This is about firmware, nothing to do with the performance of GPUs...
13.
I can’t believe that I can prove that it can sort(blog.adacore.com)
270 points by Raphael_Amiard 4y ago|113 comments
14.
by Raphael_Amiard 5y ago
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-diplomatique.fr/cartes/PPA ), not onl
15.
by Raphael_Amiard 5y ago
> 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 might have a model checker that could scale better. I don
16.
by Raphael_Amiard 5y ago
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: * Install package
17.
by Raphael_Amiard 5y ago
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 of life that is very close to what I know as a Pa
18.
by Raphael_Amiard 5y ago
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 getting at is that if people drive less, they'll realiz
19.
by Raphael_Amiard 5y ago
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 in the short term infuse some life in local life, from n
20.
by Raphael_Amiard 5y ago
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 car to go to work in my life. I'm also very c
21.
by Raphael_Amiard 5y ago
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 impossible at least in C), then it will be much m
22.
by Raphael_Amiard 5y ago
> 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 with Ada but not that much. That is completely a
23.
by Raphael_Amiard 5y ago
> 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. That's why I'm going to answer that here rather th
24.
by Raphael_Amiard 6y ago
It'll be alt-n on mac's I think!
25.
by Raphael_Amiard 6y ago
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 that my setup has low latency. Of course if you're pl
26.
by Raphael_Amiard 6y ago
Affine types, which Rust more or less implements with its ownership system are very close to linear types, see https://en.m.wikipedia.org/wiki/Substructural_type_system#Af...
27.
by Raphael_Amiard 6y ago
I'm not young anymore (35) but I really don't care about albums
28.
by Raphael_Amiard 6y ago
> sane countries like France You might want to look at what's going on in France right now before calling our democratic institutions sane :)
29.
by Raphael_Amiard 6y ago
I have a completely opposite experience (on chess.com). Playing a lot of games lately at a low level, never stumbled upon a cheater.
30.
by Raphael_Amiard 6y ago
I'm not sure why you are being downvoted, that sounds pretty reasonable to me. The idea that we'll have to make (at least) this level of compromise to survive as a species seems to still not be taken seriously in the tech world.

More ›