Dependently Typing R Vectors, Arrays, and Matrices (arxiv.org) | HN Screenshots

YHacker Newsscreenshots

Screenshot of arxiv.org: Dependently Typing R Vectors, Arrays, and Matrices

First screen, captured 3 years ago.

Looks similar

Screenshot of arxiv.org: Mixing Visual and Textual Code

Mixing Visual and Textual Code (arxiv.org)

68 points by doppioandante 4 months ago | 42 comments

Screenshot of arxiv.org: Deriving Dependently-Typed OOP from First Principles

Deriving Dependently-Typed OOP from First Principles (arxiv.org)

157 points by matt_d 2 years ago | 16 comments

Screenshot of arxiv.org: API-Driven Program Synthesis for Testing Static Typing Implementations

API-Driven Program Synthesis for Testing Static Typing Implementations (arxiv.org)

26 points by luu 2 years ago | 1 comments

Screenshot of arxiv.org: PyGraph: Robust Compiler Support for CUDA Graphs in PyTorch

PyGraph: Robust Compiler Support for CUDA Graphs in PyTorch (arxiv.org)

75 points by mfiguiere 1 year ago | 7 comments

Screenshot of arxiv.org: Minotaur: A SIMD-oriented synthesizing superoptimizer

Minotaur: A SIMD-oriented synthesizing superoptimizer (arxiv.org)

102 points by luu 3 years ago | 13 comments

Screenshot of arxiv.org: Type-constrained code generation with language models

Type-constrained code generation with language models (arxiv.org)

237 points by tough 1 year ago | 109 comments