microsoft/verona
View on GitHub ↗ ★ 3,738 C++
Research programming language for concurrent ownership
20 mentions on Hacker News by 17 people: 6 stories, 14 comments · first 2020-01-16 · latest 2025-02-10
20082026
-
Verona is a research language: https://github.com/microsoft/verona/blob/master/docs/faq.md
comment by rzzzt · 2025-02-10 · in Library Sandboxing for Verona -
…on the website or in the GitHub repo. There are a few types defined in a pretty low-level way: https://github.com/microsoft/verona/tree/master/std/builtin
comment by chrisaycock · 2023-10-12 · in Snmalloc: A Message Passing Allocator -
…https://verdagon.dev/blog/zero-cost-borrowing-regions-part-1... (am author) [1] http://forty2.is/ [2] https://github.com/microsoft/verona [3] https://cone.jondgoodwin.com/ [4] https://www.jot.fm/issues/issue_2022_02/article2.pdf
comment by verdagon · 2023-06-23 · in Making C++ safe without borrow checking, reference counting, or tracing GC -
…[2] https://verdagon.dev/blog/regions-prototype [3] http://forty2.is/ [4] https://github.com/microsoft/verona
comment by verdagon · 2023-05-14 · in A Flexible Type System for Fearless Concurrency (2022) [pdf] -
…ownership. We are providing a new concurrency model that seamlessly integrates ownership. [0] https://github.com/microsoft/verona/tree/master
comment by zengid · 2022-12-13 · in Pony Programming Language -
…point in this design space--it allows references to be scoped to arbitrary heap regions: https://github.com/microsoft/verona/blob/master/docs/explore... . You can have arbitrary aliasing within a region, but the type system ensures that…
comment by rayiner · 2022-04-30 · in Indirect ownership, shallow borrow and self-referential data structures in Rust -
…improvement: https://en.wikipedia.org/wiki/SPARK_(programming_language) https://www.rust-lang.org/ https://github.com/microsoft/verona/blob/master/docs/faq.md https://plantuml.com https://en.wikipedia.org/wiki/Infrastructure_as_code
comment by based2 · 2021-01-02 · in The Great Software Stagnation -
…to keep experimenting and see if we can get the same benefits but with better ergonomics. 0 - https://github.com/microsoft/verona/blob/master/docs/explore...
comment by rubiquity · 2020-11-20 · in The Vale Programming Language -
…also are associated with Verona and vice-versa so there's a cross-polination of ideas going on. https://github.com/microsoft/verona In particular see: https://github.com/microsoft/verona/blob/master/docs/explore... and…
comment by spooneybarger · 2020-09-07 · in Pony, Actors, Causality, Types, and Garbage Collection -
…programming languages for every niche, so they'll probably make one in the tradition of Rust. https://github.com/microsoft/verona
comment by zelly · 2020-08-14 · in "Much" of the Rust/Wasmtime team hit by layoffs at Mozilla -
…having their core team working on Verona full-time is considerably delaying Pony development. [1] - https://github.com/microsoft/verona [2] - https://github.com/ponylang/ponyc (edit: formatting)
comment by pull_my_finger · 2020-06-15 · in Microsoft: Rust Is the Industry’s ‘Best Chance’ at Safe Systems Programming -
…- look at this research project from Microsoft, which aims to build a slightly different Rust. https://github.com/microsoft/verona
comment by drej · 2020-04-30 · in Rust/WinRT Public Preview -
There's also Project Verona [0], a research project inspired by Rust, Cyclone and Pony. [0]: https://github.com/microsoft/verona
comment by ldeangelis · 2020-03-13 · in Windows has a new wormable vulnerability, with no patch -
…interesting about Verona is the use of regions, which is related but somewhat different from Rust: https://github.com/microsoft/verona/blob/master/docs/explore... > Verona uses regions, groups of objects, as its fundamental concept of…
comment by rayiner · 2020-02-10 · in Project Verona FAQ