rust-lang/fls
View on GitHub ↗ ★ 497 reStructuredText
The FLS
11 mentions on Hacker News by 8 people: 0 stories, 11 comments · first 2023-05-30 · latest 2026-10-13
20082026
-
…), minirust ( https://github.com/minirust/minirust ), the FLS ( https://github.com/rust-lang/fls ), and Rust via Desugarings ( https://nadrieril.github.io/rust-via-desugarings/ ). But writing a 100% complete and correct fo
comment by Georgelemental · 2026-10-13 · in 11 year old unsoundness bugs found in Rust borrow checker -
…disinformation under the name StopDisinfo. As this user is aware, rust has a specification https://github.com/rust-lang/fls , which they have previously commented on: https://news.ycombinator.com/item?id=44927141 (and which I probably…
comment by gpm · 2025-11-01 · in Hard Rust requirements from May onward -
…run into nightly requirements... ever? These days. Progress on language specification is good https://github.com/rust-lang/fls
comment by cmrdporcupine · 2025-09-29 · in Why we develop EloqDB mainly in C++ -
…https://github.com/rustfoundation/safety-critical-rust-conso... rust-lang/fls: https://github.com/rust-lang/fls How does what FLS enables compare to these Safe C++ proposals? Safe C++ draft: https://safecpp.org/draft.html
comment by westurner · 2025-09-14 · in Safe C++ proposal is not being continued -
…about whether to write something from scratch or somehow convert the FLS[1] into a spec. [1]: https://github.com/rust-lang/fls
comment by mjw1007 · 2025-08-16 · in Rust in 2025: Targeting foundational software -
…filed issues for the problems I found that were easy to write up crisply. They fixed the easy bugs: https://github.com/ferrocene/specification/issues/453 https://github.com/ferrocene/specification/issues/454…
comment by mjw1007 · 2025-03-27 · in Rust Adopting Ferrocene Language Specification -
It does have a specification: https://github.com/ferrocene/specification It also strikes me as extraordinarily unlikely that any formal verification effort will use the existing specification, and not build their own (using their own…
comment by gpm · 2024-12-21 · in Compiling C to Safe Rust, Formalized -
…it be accepted by upstream. 1: https://ferrous-systems.com/blog/officially-qualified-ferroc... 2: https://github.com/ferrocene/specification
comment by steveklabnik · 2024-02-05 · in Improving Interoperability Between Rust and C++ -
Ferrous created a language specification. https://github.com/ferrocene/specification They do say any differences between it and upstream behavior or documentation is a defect in the spec, not upstream. So it isn't authoritative. Unless we…
comment by galangalalgol · 2023-11-08 · in Officially Qualified – Ferrocene -
…) is working on producing a safety-critical Rust specification ( https://github.com/ferrocene/specification ) because having a language specification matters for safety-critical work.
comment by thesuperbigfrog · 2023-08-18 · in A Guide to Undefined Behavior in C and C++ (2010) -
>> Rust is defined by the implementation. Hopefully not for long: https://github.com/ferrocene/specification https://ferrous-systems.com/blog/the-ferrocene-language-spec... Hopefully Ferrocene can lead to Rust itself being standardized. To…
comment by thesuperbigfrog · 2023-05-30 · in Rust has been forked to the Crab Language