(blog.adacore.com)

193 points jaypatelani | 1 comments | 02 Sep 25 17:32 UTC | HN request time: 0s | source

Show context

ducktective ◴[02 Sep 25 18:39 UTC] No.45107245[source]▶

Would the "LLM era" revitalize languages like Ada and Haskell into mainstream?

replies(4): >>45107380 #>>45109942 #>>45112320 #>>45112892 #

1. ajdude ◴[03 Sep 25 04:44 UTC] No.45112320[source]▶

There was a pretty good article a while ago on how using verified SPARK (a subset of Ada) could help with llm generated output https://arxiv.org/html/2502.07728v1

↑

Introduction to Ada: a project-based exploration with rosettas