PinnedNimalaninThoughtworks: e4r™ Tech BlogsSolving Logic Puzzles with Dependently Typed Functional ProgrammingAgda is a dependently typed functional programming language and a proof assistant. Agda uses the Programs as Proof paradigm in which…Mar 15Mar 15
NimalaninThoughtworks: e4r™ Tech BlogsThe Algebra of Pretty PrintingPretty printing is concept of printing structured data in a user friendly manner with some constraints. Linters, code transformers and…Feb 14Feb 14
NimalaninThoughtworks: e4r™ Tech BlogsAccelerating an Lorenz ODE Solver with DahliaIn this article, we will design a Lorenz ODE Solver in Dahlia, exploring the use of Dahlia records, functions, and single-precision floats…Jan 10Jan 10
NimalaninThoughtworks: e4r™ Tech BlogsDahlia Part 1: Affine types for High Level SynthesisIn this article we will be looking at the affine type system and it’s application in FPGA based accelerator design using Dahlia.Dec 28, 2023Dec 28, 2023
NimalaninThoughtworks: e4r™ Tech BlogsBuilding a hardware accelerated simulation using JAXIn this article we will looking at how to build a hardware accelerated (GPU) simulation with JAX.Dec 15, 2023Dec 15, 2023