Viewing profile — learningstud

Too true. I realized that the only way to do an actual review is to have wrote it yourself in the first place. The relatively slow speed of writing code reflects the amount of subt…

Yes, or to settle dispute and remove doubt once and for all, i.e. the Leibniz way.

All just for Apple to sue them... A SpaceMouse is way cooler.

Too true. This is why Rudin's little book, Principles of Mathematical Analysis, normally takes a whole year to cover: one has to work through the proof line by line in order gain e…

What DDoS mitigations are there besides the less affordable Akamai?

I've come to believe that democracy doesn't work because most citizens don't want to work it. Many of the legislations passed are harmful to the majority even when the intentions a…

This was the sentiment for programmers well-versed in assembly languages (counting cycles, self-modifying code, story of Mel) when compilers came out, yet the advances in compiler …

If developers are not using TLA+ or Lean4 etc. They are vibe coding. Nothing wrong with that. They just have to realize that they were never in control. Thinking logically is much …

No, formal specification helps from the get-go. You can iterate more reliably, thus faster. The successful development of mathematical theories depends on having rigorous definitio…

> Major flaws in a specification for one function are usually quickly picked up when the proof for another function relies on the missing specification properties Great point! In a…

Yeah, that's why I mentioned Lean 4, Agda, and Rocq. Homotopy type theory is even better; see it's definition of a circle.

As I was watching a YouTube video on Michelangelo's "Pieta", I was reminded of Milton's "Paradise Lost". Though the latter takes a lot more patience to appreciate. Then, I thought …

Architecture astronaut type of stuff indicates programmers' lack of critical thinking. People are just hopelessly dim.

Naive optimism, sheer ignorance, and a general inability to think. Let's face it. Can you claim that the code you wrote yesterday is free of errors? Most programmers cannot, yet ev…

LLM or not, most programmers cannot think straight. LLMs just lead to more false impressions of understanding. When LLMs become really good, they will refuse doing your work for yo…

This speaks volumes of why the Elixir people left in the first place. As a separate point, if a company wants the most generally applicable programming language, there is no reason…

The OCaml people probably know C/C++ better than most C/C++ programmers. Do you even know any of them?

Lesser pay is simply due to less demand. It simply reflects the overall needs of living people.

I really don't get why people would want AI to think like humans even remotely, especially when we don't even know how humans think. Most people simply cannot provide justification…

Edsgar Dijkstra!

Exactly, most of us behave in almost the same as AI does. We finally have a mirror to reflect upon.

Validity is not soundness. Wonder why people are just beginning to realize what logicians have been studying for more than a century. This goes to show that most programming was ne…

People hallucinate all the time out of pressure or habit. We don't need AI for that. It's hard to tell most people from AI. Most people would fail Turing tests as subjects.

To say the least, requiring FDA to approve drugs and medical doctors get licenses actually harm citizens. These claims might seem absurd at first glance, but please give Hayek's bo…

Wittgenstein would be flabbergasted by the misguidedness of vibe coding.