I found a great domain name for sale on @undeveloped. Check it out!

Explore TagSpaces' suite of offline tools for file management, tagging, and note-taking. Compare Lite, Pro, Web, and Custom versions to find the perfect fit for your needs.

Empowering everyone to build reliable and efficient software.

A short guide on OCaml type checker, describing the surprisingly elegant algorithm for generalization, which generalizes to first-class polymorphism, MLF and local types. Polymorphism and regions have much in common.

[sorry this post is a little sloppy – I had a hard stop at 7:00 pm and wanted to get it out the door.] During the last day of my machine learning class we discussed “word2vec.” I&…

A detailed look at the interesting LSM file organisation seen in BigTable, Cassandra and most recently MongoDB.

A methodology for building modern, scalable, maintainable software-as-a-service apps.

From time to time I’m toying with the idea to give a lecture to newcomers in the  IT industry (systems or software engineers). Here are some of the points that I would include in it: Human fa…

Несколько вещей гарантированно будут увеличиваться со временем: расстояния между звёздами, энтропия вселенной и бизнес-требования к ПО. Многие статьи пишут «Не у...

Проект продолжается - спасибо omega_hyperon 1) Материалы IV Всероссийской научно-технической конференции «Актуальные проблемы ракетно-космической техники» (IV…

Bell Labs, formerly known as AT&T, Bell Laboratories and Bell Telephone Laboratories is the research and development subsidiary of Nokia. Nokia Bell Labs operates its headquarters in Murray Hill, New Jersey, United States, and has research and development…