"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram

Why HN readers recommended it

Cited in Rust and systems-language threads as the best introduction to ATS, a language claimed to go beyond Rust's safety guarantees.

This is a summary from the source dataset, not an endorsement by Hacker News or the video creator.

Video & recommendation details

Creator / channel

Strange Loop Conference

Topic

ATS systems programming

Format

talk

Level

advanced

HN recommenders in dataset

4

HN mentions in dataset

11

Recommendation years in dataset

2017–2022

These counts and years describe the included Hacker News records; they are not YouTube views or the video’s publication date.

From the original HN conversations

Excerpts from the recorded comments. Follow each source for the full comment and surrounding discussion.

• > Without these, you simply can’t have a fast, > memory-safe language: either you surrender > speed, by boxing everything, or you surrender safety. Not only can you have speed and safety without Rust's rigid enforcement of exclusive ownership, you can do even better--even faster …

• How many buffer overflows were involved in the Equifax leak? The ultimate solution to the problem is formal verification. Rust solves this for buffer overflows, but nothing else. It's a one trick pony. Someone posted this interesting nugget on HN the other day: [VIDEO] Aside …

• If you are interesting in a programming language suitable for system level programming, and using proving techniques, maybe ATS would be of interest. [VIDEO] [LINK]