Viewing profile — akkad33

These LLM articles are so boring. Most of them are like shower thoughts with no data to back up and only the writers experience.

Lean the language?

Great game.

I find all of them slow especially when 3 language servers are running

What is nil-punning?

Nvim is good but requires set up which now I delegate to Claude Emacs feels too slow and not good if you have carpel tunnel syndrome

With the use AI I find myself writing less and less code, but reading way more than before at work. I have been using IDEA, because in my experience no IDE offers code inspection a…

It looks very crowded and the paragraphs are off

Pointing them to docs? Which is anyway what stack overflow answers did?

Or Reddit. I don't know about Claude but Gemini has given me answers that are verbatim comments from Reddit.

One thinking is most people writing software who are not software engineers prefer using AI because they don't think software is valuable in itself, it's only a way to solve a prob…

You can use Ocaml today and achieve all the correctness

But good data structure is not always evident from the get go. And if your types are too specific it would make future development hard if the specs change. This is what I struggle…

This website is asking me for permissions on my phone. Why?

Google translate was not very good, it didn't get context. Deepl was better

And many people don't know what Google stands for. Just like they probably didn't care what AOL stands for, or MSN

I have started using chatgpt for everything from financial planning to holiday planning to product purchase. Whenever I think I hit something useful I add it to memory. I'm a "go" …

I don't think that would stop people

Are you talking about Macron?

It didn't say BLM supporter. It says black lives matter. If you take offence to that, that's a you problem

How is it hosted if you don't mind saying

Wake up and smell the coffee: fsharp is dead. Look at the release notes of fsharp. It's laughable for a major version update. It's maintained by like 5 people working in eastern Eu…

What's wrong with using AI to write code?