PLSS 2025: Designing Hylo, a programming language for safe systems programming by Dimi Racordon Blog 27/06/2026 · 0 Comment PLSS 2025: Designing Hylo, a programming language for safe systems programming by Dimi RacordonPLSS 2025: Opening and Keynote: Engineering a Formal Language Specification by Andreas RossbergHylo - The Safe Systems and Generic-programming Language Built on Value Semantics - Dave AbrahamsHow To Pick a Programming Language in 2025... And Should You?The Past, Present and Future of Programming Languages - Kevlin Henney - NDC TechTown 2025Block-Based Parallel Programming - Bryce Adelstein Lelbach - NDC TechTown 2025Stephen Dolan, "Types for more than memory safety in OxCaml", VeTSS Annual Conference 2026how NASA writes space-proof codeWhy You Should Be Programming PASCAL in 2025Programming Languages in 2025!12
