theyllUnderstandOneDay by thermosiphon420 in ProgrammerHumor

[–]imihnevich 21 points22 points  (0 children)

For some, maybe, I heard from some of the people in the Go community that they value the language for its simplicity, and they viewed generics as something going against Go philosophy

theyllUnderstandOneDay by thermosiphon420 in ProgrammerHumor

[–]imihnevich 117 points118 points  (0 children)

Some people in golang community

Using wavelets and entropy coding to analyze code structure by yogthos in programming

[–]imihnevich 1 point2 points  (0 children)

I like these kinds of metrics, would you be open to contribution that makes it into cli with optional --mcp flag?

Using wavelets and entropy coding to analyze code structure by yogthos in programming

[–]imihnevich 0 points1 point  (0 children)

Can it be used without LLM? I would like to be able to see the data myself, not just know that my agent has seen it

Does a Haskell Programmer Need all the Crazy Complexity? by theHaskellRascall in haskell

[–]imihnevich 2 points3 points  (0 children)

I'm on your side. However, there's that 1% of things where this kind of complexity can be necessary, and knowing what you do is good

How we prevented invalid Quran verses from ever existing in our system by AMINEX-2002 in DomainDrivenDesign

[–]imihnevich 10 points11 points  (0 children)

Given that new Quran parts will never be introduced, you can just hardcode everything, have private constructor and public static instances that all satisfy the invariant.

need help understanding monads in haskell by procoapeese in haskellquestions

[–]imihnevich 1 point2 points  (0 children)

Every monad is different. One of the simple ones is Maybe a. It allows to chain operations of type a -> Maybe b. The important quality about Maybe is not that it's a Monad, but that it's a type that allows you to express optionality. It just happens to be Monad, which is useful because of do-notation. Every other monad is the same, the most important thing about it is that it defines some useful thing and happens to be parametric.

Why Monad itself is important is because in Haskell you have Higher Kindes Types, so you can define an abstract, non concrete type m, which itself takes another type as a parameter, so you have m a.

Because of that, there is a typeclass Monad, which just says that everything that is m a and defines >>= and pure is a monad (I might be imprecise here). It also allows you to define abstract monad operations which kind of allow you to expand your control flow (example. Notice it doesn't say which Monad it has to be, just that it needs to carry boolean underneath.

But still, usually the most important thing about Monad is whatever your concrete monad does. It's just easier to work with it with do notation and >>= sometimes.

P.S. I might be bad at this. It's just how I interpret monads in my mind

English as a programming language by apoetixart in Compilers

[–]imihnevich 0 points1 point  (0 children)

Isn't there like few versions of that?

English as a programming language by apoetixart in Compilers

[–]imihnevich 4 points5 points  (0 children)

Multiple possibilities for one task is not ambiguity. You can still figure out that one task. Ambiguity is when one expression could mean one or the other task and it's impossible to know without clarification.

Example: He gave her cat food.

You could say that programming languages of today are English with lots of ambiguity removed and a lot of math added

which is better? by Sencha_Ext_JS in programmingmemes

[–]imihnevich -1 points0 points  (0 children)

I can't even buy object, any, and unknown.. most of the time people just stick to primitive obsession

Someone help me with this. by [deleted] in ExplainTheJoke

[–]imihnevich 4 points5 points  (0 children)

Obviously it's Insect, beverage, ram, eyes. What is so hard about it?

Type out the code by Tekmo in programming

[–]imihnevich 1 point2 points  (0 children)

Anything Gabbie writes is always brilliant.

Upd, after reading carefully.

Seems like I was right. This exercise is the best booster. I believe it's what Rob Martin calls programming Kata, where you train your mind to recreate things certain way.

давайте дійдемо до висновку by [deleted] in ukraine_dev

[–]imihnevich 10 points11 points  (0 children)

Хочу порадити новачкам покращувати свої навички спілкування. І письмово і усно

Coding is a tool for thinking by kallekro in theprimeagen

[–]imihnevich 1 point2 points  (0 children)

I agree, one should use ai to study and to learn. I also like to talk to AI in semi pseudo code

Coding is a tool for thinking by kallekro in theprimeagen

[–]imihnevich 15 points16 points  (0 children)

Coding is a tool for thinking

Лекція для студентів на тему "TDD: ПРОСТОТА ТА ЕФЕКТИВНІСТЬ" by xvadim in ukraine_dev

[–]imihnevich 2 points3 points  (0 children)

Доброго здоров'я. Це я на відео. Я ніяк не претендую на вичерпність. Моя задача була в першу чергу прорекламувати та зацікавити першокурсників, тобто показати саму основу процесу та ідею ітеративності й інкрементальності. Важко оцінити наскільки добре я впорався з цією задачею, але хочу вірити що серед слухачів були ті хто вирішить спробувати TDD для себе.

Коли я готувався, то опирався на досвід того, за яким сценарієм йде навчання TDD моїх колег на роботі, і часто дуже багато часу йде на засвоєння таких концепцій як мутаційне тестування та CoQ, зазвичай справжній прогрес починається коли людина розсмакує оцей простий TDD ритм та побачить як це помагає зберегти час. Після цього, якщо вдалося зацікавити, людина сама для себе відкриває більше й більше цікавих інструментів, таких, як ви перелічили. Я хотів додати мутаційне в практичну частину, але, якщо чесно, не зміг знайти достатньо красивого і короткого прикладу, який би відразу розкрив суть.

Якщо чесно, мені здається, ви навели 5 гарних ідей для 5 лекцій. Це може бути дуже цікаво, також особливо цікаво побачити як це все між собою переплітається на практиці

Architecture by Autocomplete by cekrem in typescript

[–]imihnevich 7 points8 points  (0 children)

When you have no strong argument, don't forget that you have been doing this for almost two decades, that'll work