HN Explorer

rmnull

↗ HN profile [ 52.3 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Ask HN: How are you preventing sloppy verification with AI-assisted coding?

    After the introduction of agentic code tools, the development speed has increased rapidly, but i have been struggling to keep up with the verification of these tools, since some of these things "just work"(reminds me of…

    1 points 1
  2. Ask HN: How do you get over typed languages?

    Hi HN, I had to put some prototype together in python and I just find it hard to work with it now. Python is something I used to regularly write and then ship code asap, now all the various scenarios where it can fail…

    3 points 4
  3. Ask HN: Programming ideas that redefine the way you look at programming

    What are the ideas in programming that once you saw you could never go back looking into other programs the same way. For e.g, one a recent HN thread about units[0] one user shared a F# snippet like this unit type…

    4 points 11