plainOldText
Joined 16 years ago
Karma
2,806
Submissions
678
Member since
Apr 28
Recent submissions
Comment · 1 month ago
Comment · 10 months ago
It's not strange at all.
The second story, and highly upvoted, on HN right now is: "AI will make formal verification go mainstream"[1].
Comment · 10 months ago
This Scott Wlaschin talk [1] is a good introduction to TLA+. And the slides [2].
[1] https://www.youtube.com/watch?v=qs_mmezrOWs
[2] https://speakerdeck.com/swlaschin/tla-plus-for-programmers
Comment · 10 months ago
I guess it’s time to learn OCaml then.
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.
Comment · 1 year ago
The main designer is Andreas Rumpf, but investigating the git commits of the new Nim reveals more people being involved. [1] Whether Andreas is a genius, I have no idea, but he has been doing compiler and language development for over 20 years [2] so he's probably extremely knowledgeable regardless.
[1] https://github.com/nim-lang/nimony/commits/master/
[2] https://en.wikipedia.org/wiki/Nim_(programming_language)
Comment · 1 year ago
Reminder the creator of Wren wrote the awesome Crafting Interpreters book [0].
Comment · 1 year ago
The article allocates the last section to explaining why Rust is not a good fit (yet) so I wanted the title to cover that part of the conversation since I believe it is meaningful. It illustrates the tradeoffs in software engineering.
Comment · 1 year ago
I’d be curious to know what the creators of SQLite would have to say about Zig.
Zig gives the programmer more control than Rust. I think this is one of the reasons why TigerBeetle is written in Zig.
Comment · 1 year ago
It's interesting to observe how many people are undergoing an identity crisis due to the emergence of LLMs challenging the status quo.
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.
I've noticed less comments on posts, but this is probably also the result of more AI-assisted Elixir projects being announced, not just the change in UI/UX.