Open Web and Web3 messaging all stems from the idea that the next generation of the internet will be built for and governed by the people. NEAR has even codified this in our mission: empowering all people to control their own money, data, and power of governance. A very old…

View this post on the NEAR blog at https://nearprotocol.com/blog/open-sourcing-near-client/ Today we are open sourcing the main code base of the NEAR Protocol client. You can start exploring code on GitHub right now. It’s the first milestone in our plan to build a decentralized future. From my previous experience at Google…

A central component of any blockchain is the consensus. At its core, Blockchain is a distributed storage system where every member of the network must agree on what information is stored there. A consensus is the protocol by which this agreement is achieved. The consensus algorithm usually involves: Election. How…

View this post on the NEAR blog at https://nearprotocol.com/blog/near-ai-near-protocol/ A bit more than a year ago Alexander Skidanov and I started NEAR.ai. We strongly believed that program synthesis, the field that studies automated programming from a human specification, was going to transform software development and the world in general. Last…

This originally was published on http://near.ai/ in 2017, but since then we moved our blog to medium, thus republishing here. We continue reviewing some interesting advances in using machine learning for both writing and executing code. This particular post is about a machine learning model proposed early last year by…

Hi everybody, In this blog post we will outline some of our work on using neural networks and search techniques to synthesize programs from natural language spec and few examples from our paper (which was presented at ICLR Workshop 2018). Code synthesis is a rather old field of research, that…

Program Synthesis is a subfield of Computer Science to automatically construct a program that satisfy given specification. Specification can be set of input/output examples (unit tests), natural language, first order logic expression or any other form that is easier to write then the expected program. Program Synthesis has been around…

If you have been reading my blog, you may have seen that I was a TensorFlow contributor and built a lot of high-level APIs there. In Feb 2017 though, I have left Google and co-founded my own company — NEAR.ai. …

Today I want to show an example of Sequence to Sequence model with all the latest TensorFlow APIs [as of TF 1.3]. Seq2Seq models are very useful when both your input and output have some structure or time component. …