technical.cx Topics

Lobsters

Reasons to dislike AI coding

Code as Art I covered this before in Art or tool? If you think of software as artistic output then generated software isn't real because it doesn't have the creative ineffability that's a sign of true art. There's no argument against this one except that...

Topics: Programming

Entities: Programming

Lobsters

Bidirectional Type Slicing

Abstract: Development tools report what type an expression has, but not why it has that type. This paper develops a theory of type slicing that answers such questions: a programmer selects a term, queries any part of the type information associated with it,...

Topics: Programming

Entities: Programming