Java and Scala's type system is unsound -- Lessons for Rust?
[
language design
]
(7)
MIR optimisations in checking
[
Uncategorized
]
(4)
Upcoming tier-2/3 libc breakage
[
Uncategorized
]
(2)
Not rouding size of types up to a multiple of alignment?
[
compiler
]
(9)
#[test] and external test harnesses
(
2
)
[
language design
]
(23)
Bootstrapping Rust on new platform?
[
internals
]
(10)
Benchmark Multiple Steps Separately Within A Single Bench Test
[
tools and infrastructure
]
(2)
Expanding lifetime error messages
[
compiler
]
(4)
Simplifying custom comparison and hashing
[
libs
]
(2)
Refining cross-platform crt-static semantics
[
compiler
]
(4)
Tool for executing `rustc` based on your current directory
[
compiler
]
(3)
Grammatical ambiguity around `catch` blocks
(
2
)
[
language design
]
(21)
Rust debugger
[
tools and infrastructure
]
(19)
Nightly cargobomb report 2017-04-11
[
Uncategorized
]
(4)
Announcing the unofficial Rust infrastructure team
[
announcements
]
(3)
Str vs slice APIs
[
libs
]
(4)
[1st April joke] [pre-RFC] Improving the ergonomics of creating owned string objects
[
language design
]
(17)
[Pre-RFC] Provide flavors for libraries (non-additive features)
[
cargo
]
(5)
Statically preventing reference cycles
(
2
)
[
Uncategorized
]
(22)
Announcement: Carol Nichols and Nick Cameron join the core team; Patrick Walton retires
[
announcements
]
(7)
Allow redundant `pub fn` in traits
[
language design
]
(3)
Ideas to enhance rustdoc search speed
[
documentation
]
(8)
Cargobomb beta report for 1.17-beta.3
[
Uncategorized
]
(2)
std::io::Write: "[a] call to write represents at most one attempt to write to any wrapped object"
[
libs
]
(7)
Rust + Unicode
(
2
)
[
libs
]
(21)
<File as Write>::flush should call fsync
[
libs
]
(5)
Use statements & paths (and the epoch proposal)
[
Uncategorized
]
(14)
[pre-RFC] Deprecate and replace CStr/CString
(
2
3
)
[
language design
]
(52)
On type systems and nature of the top type
[
Uncategorized
]
(19)
Automatic marker trait for unconditionally valid `#repr(C)` types
[
compiler
]
(7)
← previous page
next page →
