ATS: Why Linear Types Are the Future of Systems Programming - https://news.ycombinator.com/item?id=26191219 - Feb 2021 (1 comment)
Type-Safe Pointers in ATS - https://news.ycombinator.com/item?id=22726512 - March 2020 (8 comments)
The ATS Programming Language - https://news.ycombinator.com/item?id=19404347 - March 2019 (38 comments)
Casting in ATS - https://news.ycombinator.com/item?id=16058803 - Jan 2018 (12 comments)
The ATS Programming Language – Unleashing the Potentials of Types and Templates - https://news.ycombinator.com/item?id=10570444 - Nov 2015 (9 comments)
ATS: a dependently-typed systems programming language? - https://news.ycombinator.com/item?id=3340010 - Dec 2011 (5 comments)
Sharing Linear Resources in ATS - https://news.ycombinator.com/item?id=2487512 - April 2011 (1 comment)
Safer C Code Using ATS - https://news.ycombinator.com/item?id=1397984 - June 2010 (2 comments)
ATS - Applied Type System Programming Language - https://news.ycombinator.com/item?id=1357229 - May 2010 (3 comments)
ATS programming language - https://news.ycombinator.com/item?id=449453 - Jan 2009 (1 comment)