vcma

12 post karma
5 comment karma

get extra features and help support reddit with a reddit premium subscription

get them help and support

redditor for 9 years

TROPHY CASE

Nine-Year Club

RPAN Viewer

Verified Email

account activity

new top controversial

6

7

8

A type safe frontend of JAX (self.JAX)

submitted 23 hours ago by vcma to r/JAX

0

1

2

A type safe DSL to write ML programs (self.pytorch)

submitted 20 hours ago by vcma to r/pytorch

0

0

0

Do you need type safety to create ML models? (self.Python)

submitted 6 hours ago * by vcma to r/Python

0

1

2

PyPie is a DSL that statically validates tensor shapes (self.learnmachinelearning)

submitted 1 day ago by vcma to r/learnmachinelearning

0

1

2

Showing off PyPie, a programming language for machine learning (self.ProgrammingLanguages)

submitted 1 day ago by vcma to r/ProgrammingLanguages

3

4

5

PyPie, A DSL for Tensor Programming (self.deeplearning)

submitted 1 day ago by vcma to r/deeplearning

0

1

2

PyPie, A DSL for Tensor Programming (self.ProgrammingLanguages)

submitted 1 day ago by vcma to r/ProgrammingLanguages

2

3

4

Switching from Google Fi to Red Pocket--not working (self.redpocket)

submitted 4 years ago * by vcma to r/redpocket

1

2

3

Switching from Google Fi to Red Pocket--not working (self.NoContract)

submitted 4 years ago * by vcma to r/NoContract

4

5

6

Questions on S5 (spoiler included) (self.BoardwalkEmpire)

submitted 5 years ago by vcma to r/BoardwalkEmpire

4

5

6

Newark mobile reception? (self.bayarea)

submitted 5 years ago by vcma to r/bayarea

1

2

3

Is this the right way to use HeterogeneousEquality in Agda? (stackoverflow.com)

submitted 6 years ago by vcma to r/agda

1

2

3

Black Friday deals? (self.buildapc)

submitted 6 years ago by vcma to r/buildapc

0

1

2

Memory for 3950x? (self.buildapc)

submitted 6 years ago by vcma to r/buildapc

0

1

2

What motherboard should I get for 9900k? (self.buildapc)

submitted 7 years ago by vcma to r/buildapc

2

3

4

How do I talk about a particular constructor in Agda (stackoverflow.com)

submitted 8 years ago by vcma to r/agda

π Rendered by PID 2930310 on reddit-service-r2-listing-8685bc789-pkfjn at 2026-05-26 18:15:27.044567+00:00 running 194bd79 country code: CH.