Viewing profile — rafaelRiv

> Not me! I'm 100x AI engineer who will certainly remain comfy an secure. LLMs are awesome! It's all those luddite doomer jerks who cling to their old ways of understanding how thi…

I see that the fantasy world of llms is still strong

I do but I have no guarantee that the llms will make a sane implementation of the types

I program very often in idris2 and I cannot agree more. LLMs tend to take the least effort possible to the point where most of the time, llms are just not useful to program with de…

I would say that the value of dependent types in software engineering isn't in proving all code correctness. As a user pointed out in the idris2 Zulip, most programs using dependen…

As if programming by hand was sooooooo inconvenient

Jesus ! You guys are very authoritharian. Even if it is now the norm, I prefer to not use that tool and I bet the more the time past and the more I will be faster than anyone that …

What is your metric ? How do you calculate ROI ? Strange that you didn't specify that. Also, are you sure your "25% increase" is due to LLMs ? Every time I see this claim, it is al…

LLMs are not deterministic and I still look at compiler result and I encourage people to look at it. That people don't look at the result of compiler is a problem and not a an argu…

And you are being authoritarian by telling us which tools we should use for our careers. At this point, llms have give me more work than anything else