Learn how logic makes your everyday life easier, from navigating complex decisions to understanding the latest news. — Logic is everywhere in our lives and it has been a part of human thought since the dawn of time. From the way we think to the way we make decisions, logic has always been an important part of our lives. …

Exploring the basic building blocks of recursive functions in JavaScript in an easy and intuitive way. — Because many of us developers are struggling to understand recursive functions, we shy away from using them like they’re Pandora's Box and resort to imperative code (the familiar for and while loops) just to get the job done. That’s a shame because there are many benefits in understanding and writing…

A very easy introduction to Agda for working programmers. — I want you, as a programmer, to clear your mind. Better yet, close your eyes and imagine looking up at a star-studded night sky. What you see in your mind is a universe filled with stars. Now, imagine a universe filled with natural numbers. This universe contains nothing but. …

How I’m beginning to (slowly) understand dependently typed programming languages. — In a dependently typed language, a type is allowed to depend on another variable. This makes it possible to describe a more precise situation in programming, such as a “vector of type A with length n”, which is different from a conventional typed language such as Rust or Java, where…

ERC-1155 is the new so-called multi-token standard. Technically, we called it the fungible-agnostic standard because the interface can handle both fungible and non-fungible tokens in a single contract “natively” without any kind of hack. …

Now that the American Dream is over, can we officially move away from hard to smart work? — The notion of hard work and the great American Dream were the by-products of the pre-Baby Boomer era, where persistence was believed to be the only work ethic that could put food on the table in a white-picketed fence house, if not status and wealth. …

This post intends to demystify the process of setting up an Ocaml project with Dune in the hope that it will show up in searches to help attract more developers to stick to Ocaml. In my opinion, Ocaml is a really great language that strikes a balance between functional, ergonomy…

There are many more factors to consider than six-digit salaries and raising funds — I’d say if you’re considering moving to the bay area now, you are a masochist who loves to bleed a little. If you have a family, you are probably worse than that. When I first got a job as an engineer with a mobile start-up based in Mountain View in…

You can’t miss this hacker’s paradise combo — In this fun and short tutorial, I’ll show you how easy it is to build a fast front-end web app entirely in Rust, compile it to WebAssembly, and host it on the decentralized IPFS network. Yes, this is a Tutorial-to-learn-on-the-weekend-and-boast-to-your-DevOps-on-Monday you don’t want to miss. O, Wasm Fun! You may have heard in…