Blog
The first public section is the restored technical archive: Haskell, type systems, numerical methods, databases, testing, benchmarking, and software correctness. Newer writing will move toward platform engineering, AI infrastructure, MLOps, cloud systems, and production data systems.
Prefer RSS? Subscribe via /rss.xml
- 30 April 2020 Status: Published
The Software Testing Fallacy
A quick leap from the undecidable halting problem through denotational semantics and straight to the caveats of software testing.
- 23 April 2020 Status: Published
Functional C++ Juxtaposed with Haskell
In the last few years with each new iteration of the C++ standard, the committee introduced further concepts inspired by functional programming. They are poised to standardize and optimize the use of modern functional-programming paradigms such as functional arguments, immutability, functors, and monads, thereby improving the notation for standard idioms such as structure-preserving transformations (functor), structure-preserving parallel computation (applicative functor) or structure-preserving sequential computations.
- 12 April 2020 Status: Published
On the Updated Design of My Blog
A quick update on the state of the design of this blog, in which I will progressively expand on theming plain vanilla Hakyll with HTML5, CSS3, and JavaScript. Eventually, I will rewrite the frontend in TypeScript. Some separate posts will follow. Dive in!
- 31 March 2020 Status: Published
Functors in Haskell
A lot of types satisfy the Functor laws, which guarantee that we can consistently apply functions to their values. Most importantly, the structure is preserved under the transformation that we apply. Learn here why this is important and how this works in practice. This is a great setting to familiarize yourself with key syntax of Haskell.
- 26 March 2020 Status: Published
Database Transactions and Management in Haskell
In this post we will see how to employ Haskell's type system to ensure correctness of database queries. In fact, if you are familiar with SQL, you might know how unwieldy and repetitive nested SQL strings may become. The more complex they are, the more error-prone they get. Besides, many checks must be interspersed to protect the integrity of the database. In addition, query optimization has become a prevalent problem for cloud-based solutions, where a single SQL request may eat up the entire budget. To alleviate and obtain a control of such issues, Haskell's ecosystem provides us with type-checker guarantees for the correctness and integrity of the queries and paves the road for us to query analysis and subsequent query optimization. Read on for an initial survey of Haskell database libraries.
- 26 March 2020 Status: Published
Testing and Benchmarking Software in Haskell
Learn to Use Testing and Benchmarking Libraries and Frameworks
- 1 March 2020 Status: Published
Numerical Methods with Haskell and Python
A general note on differential equations. There are three classical approaches to differential equations:
- 28 February 2020 Status: Published
Numerical Methods with Haskell and Python
This blog post will initiate a series of tutorial posts on formulations of numerical methods of linear algebra and analysis, and perhaps stochastics, in Haskell in comparison with Python. In the process, we will also analyze the algorithms