ETH Programming Languages and Formal Methods company blog

Tree Borrows

plf.inf.ethz.ch 1 min read

external page Neven Villani , external page Johannes Hostert , external page Derek Dreyer , external page Ralf Jung

Points

584

HN comments

146

Submissions

1

Cited by

0 commenters

Programming LanguagesSoftware Engineering2025

Related posts from the same era

A 10x Faster TypeScript

Microsoft Developer Blogs20251,827 points907 commentscited by 14 details

JavaScript Temporal is coming

MDN20251,405 points399 comments details

Python 3.13 Gets a JIT

AAnthony Shaw20241,081 points521 commentscited by 3 details

Elixir v1.20: Now a gradually typed language

Elixir Blog2026992 points411 comments details

Pkl, a Programming Language for Configuration

Pkl Blog2024930 points564 comments details

UTF-8 is a brilliant design

Vishnu's Pages2025849 points348 comments details