About:

Pema Malling is a developer at Unity with interests in graphics and VR, known for blogging and creating various programming projects.

Website:

Specializations:

Interests:

Graphics Virtual reality Programming language development Functional programming Pure mathematics

Outgoing Links:

Subscribe to RSS:
The post explains how mipmap levels are selected when sampling textures on the GPU. It assumes knowledge of graphics programming and mipmapping. It discusses the use of pixel derivatives and the hardware implementation of mipmap l...
The text discusses the relationship between Haskell and category theory, explaining that Haskell is not built upon category-theoretic foundations, but rather certain abstractions in Haskell are inspired by category theory. It goes...
The author shares a list of technical blogs they love and frequently read, categorized by topics such as functional programming, Unity, general tech, techno wizardry, and more.
The text is a deep dive into the author's project Shaderception, which is a compiler for a shading language that runs within the social VR platform VRChat. The project consists of several distinct parts, including the language, th...
The text discusses various tricks and techniques for writing HLSL code in Unity, including dynamically assigning to arrays, vectors, and matrices, handling NaNs, using [forcecase] for switch statements, and cbuffer aliasing to wor...
The text is a guide to setting up Haskell language server with Visual Studio Code. The author shares their experience and provides a cheatsheet for future reference. The process involves using ghcup to install the necessary toolin...
The text explains the concepts of monoid, functor, and monad in functional programming. It provides examples and code snippets to illustrate the concepts and their applications. The author also addresses the common questions and m...
The text is about Hindley-Milner type systems, which are an extension of typed lambda calculus with parametric polymorphism. It explains the types of types, instantiation and generalization, reading inference rules, unification an...