AKA Master Patata. Full name is Farooq Karimi Zadeh

Website: https://far.chickenkiller.com/ Persian website: https://blogfa.farooqkz.com/ Mastodon: https://mastodon.bsd.cafe/@farooqkz Persian Bitcoin Cash: https://persianbitcoincash.com/

  • 1 Post
  • 17 Comments
Joined 11 months ago
cake
Cake day: September 9th, 2025

help-circle




  • oh I thought this “one generation of suffering” only happens in me country! It happens in here for non technical stuff. When some new stuff gets widespread in me country for the first time, a lot of people misuse or abuse it. An example is telephone. Another is Internet itself. And lately, coffee has become widespread in here(Iran) and people don’t know when to have an espresso and how many espressos per day is fine. There was a guy “I take 5-6 espressos per day and I’m fine”.

    In a similar way, many people spend too much time on social media rather than doing something productive.






  • Generating a working assembly code is not a big deal. People were doing it before LLMs see slightest light of the day using various other heuristics including Genetic Programming. The challenge is writing an Assembly code which you can prove works well and will continue to do so :)

    That’s why Genetic Programming is very rarely used to directly generate a software.

    Edit: But you can use GP for Machine Learning tasks. Tell it to generate a program, like an assembly code which plays chess well. Or can do a binary classification given a photo or other media.






  • Hey. The number of problems which can are decidable are infinite as are those which are not. But as soon as there is a backward jump in your code, a Turing machine most likely won’t be able to decide if it’ll halt or not. The while(true) is an exception. In the real world we have a great number of programs whose loops cannot be decided by a Turing machine. But the programmer who has written the code knows when the loop will terminate.

    If we see the machine code, if there is a conditional backward jump(unlike while(true) which is unconditional), in the general case it’s undecidable.


  • I personally think both pro LLM and anti LLM are wrong. One group think they are gods. The other think they are demons. LLMs can be useful for programming to some extent. But they will create a disaster if you don’t know what are you doing. I have recently published a post about the matter on me blog. I think the best part is:

    I strongly believe that LLMs are useful for programming to some extent. Imagine you have a shop and you get a robot to do the moves for you. So you instead focus on the main business concerns.

    So if you want to make some changes to the code which don’t require intelligence, that is they are just mechanical tasks, LLMs are good. If you want the LLMs to understand semantics of your code, you have chosen the wrong tool. Maybe in future we’ll have new AI software and tools which also understand semantics to some extent. But I highly doubt a transformer will be able to do it. They just predict the next likely token.

    There is something I haven’t yet added to the post. So I am writing it here. Our computers are Universal Turing Machines. There are some fundamental limits to what a turing machine can’t do. Those are called undecidable problems. For instance a turing machine can never check if two pieces of code are semantically equivalent[1]. But that’s what human programmers can do. That’s why I emphasize on tasks which require no intelligence.

    [1] That’s about the general case. Sure there are exceptions. But as we say “exception is not the rule”.