gignico

6 ms·

31.
by gignico 7mo ago
Your statement contradicts itself. It was unusable hard before non-lexical lifetimes, but they vastly increased the complexity? Then maybe what’s complex for compiler writers to implement can make the user’s life easier by lowering the co
32.
by gignico 7mo ago
I'm not sure it shows that. Even basic features of Rust we take from granted come from concepts common users do not need to understand. Borrowing of lifetime draws from affine types, but nobody cares when writing Rust code. If in 2012
33.
by gignico 7mo ago
Well, Rust as well has been around for more than 10 years now. I don't imply Rust invented the approach. Surely academia knew about it decades before. I was rather commenting on how one's mental model of things can change by lea
34.
by gignico 7mo ago
I think the misunderstanding here is that the article was not intended to users but to other language designers. As a user, using a feature such as pattern types will be natural if you know the rest of the language. Do you have a function t
35.
by gignico 7mo ago
It’s unbelievable how that 16th century book looks like it is written in LaTeX. Or plain TeX, probably, given its age XD
36.
by gignico 7mo ago
I think the problem is the under representation of other branches of AI research: knowledge representation, automated reasoning, planning, etc. These are important topics with important industrial applications which have the only downsides
37.
by gignico 7mo ago
> Under the hood, a virtual table (vtable) is created for each class, and a pointer (vptr) to the vtable is added to each instance. Coming from C++ I assumed this was the only way but Rust has an interesting approach where the single obj
38.
by gignico 7mo ago
That’s great news!
39.
by gignico 7mo ago
I was under the wrong assumption that defer was approved for the next standard already.
40.
by gignico 7mo ago
Absolutely, it's not their first language. In our curriculum C programming is part of the Operating Systems course and comes after Computer Architecture where they see assembly. So its purpose is to be low level to understand what&#x27
41.
by gignico 7mo ago
I’m just going to start teaching classes of C programming to university first-year CS students. Would you teach `defer` straight away to manage allocated memory?
42.
by gignico 8mo ago
Exactly. This flawed argument by which everything will be fixed by future models drives me crazy every time.
43.
by gignico 8mo ago
> To stress test it, I tasked 16 agents with writing a Rust-based C compiler, from scratch, capable of compiling the Linux kernel. Over nearly 2,000 Claude Code sessions and $20,000 in API costs, the agent team produced a 100,000-line co
44.
by gignico 8mo ago
I see your point about pragmatic software engineering not being valued enough in university programs. Somehow the incentives are not aligned properly, which is unfortunate. I try to be as pragmatic as possible when I happen to teach courses
45.
by gignico 8mo ago
My two cents as a university teacher: In my view AI tools are a sort of super-advanced interactive documentation. You can learn factual information (excluding allucinations) by either asking or looking at the generated code and explanations
46.
by gignico 8mo ago
Even better, what if I had invested that money in Apple stock instead? :)
47.
by gignico 8mo ago
At $666.66 this must have been a diabolic deal!
48.
by gignico 8mo ago
That's cool!
49.
by gignico 8mo ago
Is that display port over USB-C? That’s the main showstopper for me to use Asahi on my M1 Pro MBP.
50.
by gignico 9mo ago
The article does not mention the possible additional optimisation opportunities that arise in Rust code due to stricter aliasing rules of references. But I don’t have an example in mind. Does anyone know of an example of it happening in rea
51.
by gignico 9mo ago
I used this library extensively in a prototype of a project and it was awesome! Besides performance, the API is very well thought.
52.
by gignico 10mo ago
I was about to comment the same. Z3 always takes all the credit but cvc5 is just as great!
53.
by gignico 1y ago
Actually number 5 is not an issue. Defining macros in the preamble is a custom but you can define macros anywhere.
54.
by gignico 2y ago
Yes, Peru (and South America in general) can be fairly dangerous for people used to Europe or the US, but if you let you be guided by someone who knows where to go, it is a wonderful place. My wife herself is Peruvian but lived in Europe fo
55.
by gignico 2y ago
I've visited Chan Chan during my honeymoon last year, it's impressive! All Peru is impressive, north to south. Highly recommended!