News for hackers. Stuff that matters.

A comment on Pony: An actor-model, capabilities-secure, high-performance programming language. Parent comment

Re:Pony: An actor-model, capabilities-secure, high-performan... by yuppiemephisto on Tuesday July 29, 2025 @04:42PM (#44728038)
Lean 4 truly lets you mathematically reason about code and has metaprogramming that truly makes syntax a surface thing, but if anything people who know this have the taste to want better syntax
[ Parent | on HN ]

There are no comments on this comment yet.