Comments URL: https://news.ycombinator.com/item?id=47720862

Points: 8

# Comments: 2

The second story, and highly upvoted, on HN right now is: "AI will make formal verification go mainstream"[1].

[1] https://news.ycombinator.com/item?id=46294574

[1] https://www.youtube.com/watch?v=qs_mmezrOWs

[2] https://speakerdeck.com/swlaschin/tla-plus-for-programmers

It appears many of the proof assistants/verification systems can generate OCaml. Or perhaps ADA/Spark?

Regardless of how the software engineering discipline will change in the age of gen AI, we must aim to produce higher not lower quality software than whatever we have today, and formal verification will definitely help.

Comments URL: https://news.ycombinator.com/item?id=45888648

Points: 2

# Comments: 0

[1] https://github.com/nim-lang/nimony/commits/master/

[2] https://en.wikipedia.org/wiki/Nim_(programming_language)

[0] https://craftinginterpreters.com/

Comments URL: https://news.ycombinator.com/item?id=45694979

Points: 3

# Comments: 0

Comments URL: https://news.ycombinator.com/item?id=45615508

Points: 1

# Comments: 0

Zig gives the programmer more control than Rust. I think this is one of the reasons why TigerBeetle is written in Zig.

Comments URL: https://news.ycombinator.com/item?id=45584464

Points: 357

# Comments: 391

What will our craft of programming turn into? So far programming has been quite fun and creative, but LLMs are undeniably changing the programmer's game. Will it still be as enjoyable? I don't know. But then, what else could we switch to which would allow us to be highly creative while still maintaining control?

Perhaps this is similar to how people felt during the industrial revolution.

Now, seriously though, no tools is perfect, and I agree we should not trust it blindly, but leaving aside AI Agents, LLMs are very helpful in illuminating one's path, by consulting a large body of knowledge on demand, particularly when dealing with problems which might be new to you, but which have already been tackled one way or another by other people in the industry (provided they're in the training set of course).

Yes, there's always the risk of perpetuating existing slop. But that is the risk in any human endeavor. The majority of people mostly follow practices and knowledge established by the few. How many invent new things?

To be honest, I haven't yet used AI agents, I'm mostly just using LLMs as a dialogue partner to further my own understanding and to deepen my knowledge. I think we're all still trying to figure it out how to best use it.

You want something to inspire engineers to do their best work.

When you can expand your capabilities using the power of AI, then yeah, you can do your best work; hence augmented engineering.

But vibing? Not so much.

I guess AE could also stand for Advanced Engineering, after all the AI gives you the power to access and understand the latest in engineering knowledge, on demand, which you can then apply to your work.

Comments URL: https://news.ycombinator.com/item?id=45502543

Points: 170

# Comments: 19

Comments URL: https://news.ycombinator.com/item?id=45486009

Points: 5

# Comments: 0

  let ageFails = (200 + 2).Age
  Error: 202 can't be converted to Age

  import std/strutils

  stdout.write("What's your age: ")
  let age = stdin.readLine().parseInt().Age

  $ nim r main.nim
  What's your age: 999
  Error: unhandled exception: value out of range: 999 notin 0 .. 200 [RangeDefect]

  type
    Age = range[0..200]

  let ageWorks = 200.Age
  let ageFails = 201.Age

  $ nim c main.nim
  Error: 201 can't be converted to Age

Sometimes I'm questioning if it has the potential to become more popular in the future if AI becomes adept at translating Python projects to Nim.