Sponsor

Improve devops workflows and self-host Docker, Grafana, GitLab, OpenFaaS and more on the simplest cloud platform. Spin up preconfigured cloud servers with the growing library of 1-Click Apps on DigitalOcean Marketplace.

Get started with a new user credit for Morning Cup of Coding readers.

Articles

(Jun 10) #machine-learning

Cross-entropy is an integral part of machine learning models as it is used to deduce the number of bits needed between two probability distributions. In this article Nikola Živković walks us through an example to give us a better understanding of Cross-entropy.

(Jun 10) #algorithms

Last time Brandon Skerritt gave us an intro to Divide & Conquer algorithms. This time we are going to look into Greedy algorithms. What they are, how they work, what's good and what's bad.

(Jun 05) #type-theory

In type theory, Simply Typed Lambda Calculus is a typed lambda calculus where types only have one type constructor. With this constructor you are able to build function types. One extension of the this system is System T. Developed by Kurt Gödel, System T introduces boolean and natural numbers, but the interesting thing about it is that you can only perform primitive recursion, considerably limiting what can be done. But, there's a good reason for it: it guarantees that programs always terminate. In this article Denis Kyashif explains why and how this limitation exists with examples.

-- * --

Programming language of the day: Janet. "Janet is a functional and imperative programming language. It runs on Windows, Linux, macOS, and should run on other systems with some porting. The entire language (core library, interpreter, compiler, assembler, PEG) is about 300-500 kB and should run on many constrained systems."

-- * --

And that''s it for today! Discuss this issue at our subreddit r/morningcupofcoding.

Did you like what you read? Let us know by clicking one of the links below.

Liked - Disliked

I hope you enjoyed reading the latest issue of Morning Cup of Coding. If you did, consider supporting us by becoming a patron (Patreon) for perks like ad-free issues, or via a one-time donation via PayPal.

Cheers,

Pek