Hacker News
- Val, a high-level systems programming language https://www.val-lang.dev/ 277 comments
- The Val Programming Language https://www.val-lang.dev/ 3 comments
Lobsters
- Val is a research programming language to explore the concepts of mutable value semantics and generic programming for high-level systems programming https://www.val-lang.dev/ 29 comments programming
- The Val Programming Language https://www.val-lang.dev/ 105 comments rust
Linking pages
- How (memory) safe is zig? https://www.scattered-thoughts.net/writing/how-safe-is-zig/ 701 comments
- When Rust hurts https://mmapped.blog/posts/15-when-rust-hurts.html 342 comments
- Unsafe — Sympolymathesy, by Chris Krycho https://v5.chriskrycho.com/journal/unsafe/ 252 comments
- C++ at the end of 2022 - C++ Stories https://www.cppstories.com/2022/cpp-status-2022/ 238 comments
- New integer types I'd like to see https://www.foonathan.net/2022/09/new-integer-types/ 211 comments
- If we must, let's talk about safety | cor3ntin https://cor3ntin.github.io/posts/safety/ 142 comments
- Type Systems for Memory Safety https://borretti.me/article/type-systems-memory-safety 23 comments
- Value Oriented Programming Needs Implicits? https://matklad.github.io/2023/05/02/implicits-for-mvs.html 17 comments
- Episode 97: C++ vs Carbon vs Circle vs CppFront with Sean Baxter | ADSP: The Podcast https://adspthepodcast.com/2022/09/30/Episode-97.html 13 comments
- Second-Class References https://borretti.me/article/second-class-references 10 comments
- Episode 114: Rust, Val, Carbon, ChatGPT & Errors with Barry Revzin! | ADSP: The Podcast https://adspthepodcast.com/2023/01/27/Episode-114.html 6 comments
- Episode 137: Sean Parent on Val (vs Rust)! | ADSP: The Podcast https://adspthepodcast.com/2023/07/07/Episode-137.html 5 comments
- Episode 98: The Future of C++ with Sean Baxter (Part 2) | ADSP: The Podcast https://adspthepodcast.com/2022/10/07/Episode-98.html 2 comments
- 0028: HYTRADBOI jam, sqllogictest in a week, how safe is zig again, rr on alder lake, google maps jank, links https://www.scattered-thoughts.net/log/0028/ 1 comment
- Episode 105: Jason Turner from CppCast! (Part 3) | ADSP: The Podcast https://adspthepodcast.com/2022/11/25/Episode-105.html 1 comment
- GitHub - val-lang/val: The val compiler https://github.com/val-lang/val 0 comments
- Why Subspace | Subspace Blog https://danakj.github.io/2022/12/31/why-subspace.html 0 comments
- Episode 111: C++23 Ranges, 2022 Retro & Star Wars | ADSP: The Podcast https://adspthepodcast.com/2023/01/06/Episode-111.html 0 comments
Related searches:
Search whole site: site:www.val-lang.dev
Search title: Val | The Val Programming Language
See how to search.