Cure – Verification-First Programming for the Beam(cure-lang.org)

9 points by tablets 11 months ago | 1 comments

Vx – One Language, Every Chip(vxlang.org)

60 points by elffjs 23 days ago | 29 comments

Homepage of Vx, a systems programming language for heterogeneous computing that encodes CPU, GPU, NPU and accelerator memory in its type system.

Lem v2.0.0 – Common Lisp IDE with high expansibility(github.com)

98 points by mepian 3 years ago | 19 comments

Quint(quint-lang.org)

68 points by todsacerdoti 2 years ago | 16 comments

Show HN: Zyme – An Evolvable Programming Language(zyme.dev)

137 points by almusdives 1 year ago | 17 comments

Bun v0.8(bun.sh)

336 points by todsacerdoti 3 years ago | 140 comments

Bun v0.8.0 release blog post announcing debugger support, fetch streaming, SvelteKit support, node:tty streams, and Node.js compatibility fixes.