Ideas & society2017 · shared on Hacker News
Safe Pointers in SPARK 2014
Explore Safe Pointers in SPARK 2014, its original source and Hacker News discussions. Discover community perspectives and save it to your reading list.
GO BEYOND THE ABSTRACT
The conversation around the idea.
Original Hacker News threads. Different perspectives, questions, and things worth thinking about.
Showing up to 100 related threads. A paper may appear in a comment rather than the original submission.
Links found in the discussion
Up to 50 recent source links, in HN item order.
Yfogus ·
Why Ada Is the Language You Want to Be Programming Your Systems With
301 points324 comments
YUkiahSmith ·
Rust: Beyond the Typechecker
273 points129 comments
YuserSumo ·
Red Lang goes blockchain
188 points94 comments
Yjorangreef ·
An intro to Zig's integer casting for C programmers
129 points131 comments
Ytouisteur ·
Safe Pointers in SPARK 2014
70 points38 comments
Ygypsyharlot ·
Ask HN: C with a Borrow-Checker
3 points4 comments