λ-Files

When we talk about formal verification of programs, one of the first questions is: does the programming language we are verifying have a formal semantics?

Periodic password expiry (e.g.

I hate voicemail.

There is an ongoing, sometimes heated, argument between people embracing AI "vibe coding" as a great new technology liberating us from mundane tasks and allowing us to focus on high-level problems, vs people considering it is "stupid autocomplete" which p…

If anyone is trying to set up the Evolution email client to access a Tufts University (tufts.edu) email account, I hope a Google search leads you here!

Between 1993 and 1995, I've been leading a team at a software company in Kyiv, Ukraine, developing a mail client (MUA) with a graphical user interface for Unix (Irix, HPUX, Solaris, and Linux).

I had a Google Takeout export of my old University Google account, which I wanted to import into my personal Gmail.

In this post, I will share how my 2020 computer setup looks (hardware and software).

I type in 3 languages: English, Ukrainian, and Russian.

I am using i3 window manager with i3status bar.

I recently switched to DELL XPS 13 as my primary laptop.

Until very recently photography, for decades, has not endured much change.

In the last post, we reviewed Writer comonad in Haskell.

Writer monad is readily available in Haskell.

I use three languages: English, Russian, and Ukrainian.

If you have multiple user accounts at BitBucket (e.g. personal and work), you may run into a problem.

Looking at current Pokemon Go success (It added whopping $9B to company's capitalization) I could not help help looking back at another project we did few years ago.

In this post we will review usage of StateMonad in Coq using ExtLib on an adapted example from a Haskell State Monad tutorial.

If you are using Coq under Emacs, you are most likely using Proof General (note the new link, they moved to github recently).

I often do remote video meetings which require writing and discussing math: formulae and plots.

I have a bunch of applications installed on my Android phone.

Back in 2014 I wrote: "When things get virtual we usually start by mimicking familiar physical world.

Being a Pebble happy user for a while I am convinced smart watches have a future.

During a lunch chat with some friends we come up with interesting idea for small mobile app.

While doing business I have to sign a lot of paperwork: contracts, NDAs, amendments, etc.

Imagine you are driving with a friend who is giving you directions from passenger seat.

Some engineering design solutions are so obvious it is hard to see in retrospect why it was not invented earlier.

Welcome to λ-Files.