PinnedPublished inThoughtworks: 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 15, 2024Mar 15, 2024
NewType Pattern and Dependent Type TheoryThe NewType pattern in Rust is something that just clicks. What if I told you, that magic behind this pattern is it’s roots in Type Theory.Jul 29, 2025Jul 29, 2025
Published inThoughtworks: 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 14, 2024Feb 14, 2024
Published inThoughtworks: 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 10, 2024Jan 10, 2024
Published inThoughtworks: 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
Published inThoughtworks: 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