Mmastodon TechnologyTechnology first seen 2 d ago, last 2 d ago, peak #6

Evergreen debuts as a provably safe systems programming language

Original: Evergreen: A Provably Safe Systems Language Article URL: https:// evergreenlang.net Comments URL: https:// news.ycombina

A new programming language called Evergreen is being introduced, pitched as a systems language with provable safety guarantees. The project has its own website describing the language, and early discussion among developers is just beginning, with modest engagement so far. Attention is focused on whether it can deliver formal safety guarantees while remaining practical for systems work.

Why now: A new programming language claiming provable safety is a novel claim that developers want to evaluate

EvergreenHacker News

Open on mastodon →

Evidence

• Evergreen: A Provably Safe Systems Language Article URL: https:// evergreenlang.net Comments URL: https:// news.ycombinator.com/item?id=5 0366919 Points: 11 # Comments: 2 https:// evergreenlang.net/ # Tech # Technology # TechNews # Gadgets # Software # HackerNews [Hacker News] · techwire@gamefan.net · 1

API: https://socialmediatrends-api.osmike.com/v1/trends/4930271